Graph forms
for C4 [ 512, 112 ] = UG(ATD[512,133])
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 512, 112 ] =
UG(ATD[512,133]).
(I) Following is a form readable by MAGMA:
g:=Graph<512|{ {136, 137}, {40, 42}, {336, 341}, {344, 349}, {128, 134}, {1, 9},
{275, 283}, {103, 110}, {323, 329}, {247, 249}, {420, 426}, {293, 299}, {436,
443}, {1, 17}, {106, 120}, {420, 438}, {263, 277}, {352, 371}, {461, 478}, {452,
471}, {430, 445}, {268, 280}, {44, 58}, {292, 306}, {106, 124}, {227, 244}, {1,
25}, {457, 465}, {133, 157}, {326, 348}, {138, 150}, {295, 315}, {238, 242},
{46, 51}, {320, 351}, {30, 62}, {23, 54}, {396, 429}, {135, 166}, {407, 437},
{450, 480}, {219, 248}, {349, 382}, {332, 367}, {69, 97}, {273, 309}, {94, 123},
{147, 181}, {463, 489}, {261, 290}, {1, 41}, {391, 431}, {81, 121}, {30, 54},
{17, 57}, {9, 33}, {93, 116}, {268, 293}, {333, 359}, {457, 483}, {151, 188},
{455, 492}, {256, 299}, {279, 315}, {415, 435}, {78, 99}, {456, 485}, {134,
171}, {216, 245}, {80, 127}, {88, 119}, {17, 33}, {345, 361}, {15, 62}, {72,
122}, {90, 104}, {147, 160}, {193, 245}, {284, 296}, {452, 497}, {84, 98}, {463,
505}, {413, 427}, {132, 178}, {147, 164}, {9, 49}, {348, 356}, {73, 113}, {30,
39}, {276, 301}, {66, 120}, {455, 508}, {461, 502}, {202, 246}, {401, 429},
{399, 435}, {389, 440}, {148, 170}, {133, 186}, {333, 370}, {9, 73}, {409, 473},
{129, 193}, {57, 121}, {49, 113}, {41, 105}, {33, 97}, {25, 89}, {17, 81}, {16,
82}, {400, 466}, {266, 329}, {444, 511}, {404, 471}, {146, 214}, {181, 243},
{273, 343}, {136, 207}, {293, 354}, {285, 346}, {14, 71}, {442, 499}, {295,
365}, {49, 125}, {424, 484}, {57, 117}, {22, 91}, {27, 86}, {186, 244}, {260,
331}, {413, 466}, {400, 479}, {303, 352}, {14, 94}, {289, 369}, {54, 102}, {38,
119}, {283, 330}, {24, 74}, {445, 495}, {279, 325}, {160, 243}, {134, 210}, {26,
76}, {387, 468}, {423, 496}, {25, 65}, {145, 201}, {62, 102}, {291, 378}, {419,
506}, {18, 72}, {163, 248}, {424, 499}, {170, 241}, {391, 475}, {441, 485},
{261, 347}, {132, 219}, {152, 199}, {14, 110}, {395, 491}, {7, 102}, {387, 482},
{292, 326}, {302, 333}, {411, 504}, {46, 74}, {409, 508}, {405, 499}, {426,
460}, {400, 503}, {445, 474}, {41, 65}, {135, 238}, {388, 493}, {151, 254},
{130, 232}, {445, 471}, {407, 509}, {428, 455}, {393, 485}, {270, 352}, {306,
348}, {280, 375}, {31, 110}, {405, 484}, {47, 94}, {423, 469}, {435, 449}, {396,
511}, {403, 480}, {149, 224}, {411, 493}, {316, 331}, {133, 253}, {414, 486},
{403, 491}, {149, 237}, {6, 127}, {419, 474}, {143, 246}, {2, 120}, {438, 460},
{280, 354}, {276, 367}, {308, 335}, {42, 86}, {388, 504}, {296, 340}, {152,
229}, {20, 106}, {275, 403}, {341, 469}, {55, 182}, {370, 499}, {303, 430}, {80,
209}, {70, 199}, {63, 190}, {8, 138}, {376, 506}, {50, 176}, {96, 227}, {353,
482}, {291, 416}, {18, 150}, {86, 210}, {38, 163}, {308, 433}, {115, 246}, {92,
219}, {378, 509}, {280, 415}, {377, 497}, {55, 190}, {343, 478}, {124, 245},
{63, 182}, {256, 395}, {359, 492}, {335, 452}, {296, 419}, {37, 169}, {313,
437}, {82, 222}, {10, 132}, {109, 227}, {90, 212}, {76, 194}, {364, 483}, {383,
496}, {38, 182}, {374, 486}, {105, 249}, {97, 241}, {73, 217}, {65, 209}, {62,
175}, {66, 208}, {367, 509}, {357, 503}, {275, 384}, {376, 491}, {327, 468},
{22, 130}, {273, 389}, {89, 205}, {313, 428}, {345, 460}, {88, 207}, {25, 129},
{275, 395}, {89, 193}, {57, 161}, {310, 431}, {56, 162}, {362, 496}, {112, 234},
{96, 250}, {83, 200}, {359, 508}, {300, 439}, {379, 487}, {6, 155}, {289, 444},
{11, 150}, {36, 186}, {351, 449}, {78, 208}, {324, 475}, {362, 501}, {351, 448},
{336, 463}, {6, 166}, {337, 497}, {294, 390}, {267, 427}, {105, 201}, {77, 237},
{34, 128}, {264, 426}, {64, 226}, {83, 240}, {8, 174}, {383, 473}, {71, 224},
{33, 137}, {70, 238}, {49, 153}, {368, 474}, {383, 469}, {370, 472}, {72, 227},
{276, 447}, {74, 230}, {338, 510}, {323, 495}, {105, 197}, {283, 438}, {328,
485}, {291, 397}, {369, 479}, {83, 252}, {81, 225}, {89, 233}, {79, 254}, {32,
146}, {48, 130}, {108, 223}, {337, 482}, {281, 429}, {323, 503}, {59, 142},
{353, 468}, {263, 434}, {4, 178}, {277, 419}, {6, 190}, {41, 145}, {38, 158},
{256, 442}, {357, 479}, {343, 492}, {267, 439}, {70, 251}, {364, 465}, {107,
214}, {50, 140}, {295, 408}, {324, 507}, {110, 174}, {281, 473}, {315, 505},
{333, 399}, {34, 230}, {301, 489}, {288, 484}, {78, 138}, {58, 252}, {307, 501},
{371, 436}, {85, 157}, {298, 483}, {5, 207}, {330, 384}, {318, 500}, {3, 200},
{310, 509}, {329, 389}, {35, 238}, {106, 164}, {351, 401}, {356, 427}, {380,
435}, {93, 141}, {311, 487}, {111, 191}, {79, 158}, {330, 411}, {32, 242}, {383,
429}, {317, 495}, {279, 453}, {56, 235}, {376, 427}, {356, 439}, {307, 480},
{300, 511}, {7, 210}, {51, 230}, {61, 235}, {71, 144}, {346, 397}, {271, 472},
{268, 475}, {45, 245}, {111, 183}, {36, 253}, {309, 492}, {64, 154}, {367, 437},
{264, 467}, {335, 404}, {2, 222}, {82, 142}, {67, 158}, {318, 483}, {258, 476},
{368, 430}, {348, 386}, {298, 500}, {277, 458}, {22, 246}, {53, 213}, {68, 165},
{291, 450}, {262, 487}, {40, 202}, {296, 458}, {271, 493}, {56, 218}, {87, 180},
{108, 143}, {338, 438}, {3, 230}, {283, 510}, {59, 222}, {91, 189}, {127, 152},
{315, 476}, {307, 468}, {65, 169}, {81, 185}, {77, 165}, {97, 136}, {287, 502},
{34, 200}, {317, 471}, {60, 215}, {327, 428}, {120, 147}, {269, 481}, {332,
417}, {5, 235}, {92, 178}, {94, 174}, {53, 196}, {287, 494}, {260, 501}, {87,
166}, {58, 200}, {301, 479}, {288, 466}, {72, 186}, {79, 188}, {332, 447}, {91,
168}, {260, 496}, {325, 433}, {99, 150}, {58, 204}, {302, 472}, {114, 132},
{109, 155}, {68, 178}, {268, 507}, {344, 431}, {73, 177}, {80, 169}, {346, 416},
{5, 254}, {349, 422}, {258, 505}, {96, 155}, {14, 243}, {86, 171}, {54, 203},
{35, 222}, {39, 216}, {269, 498}, {31, 286}, {167, 422}, {159, 414}, {187, 442},
{247, 502}, {248, 506}, {198, 453}, {13, 265}, {85, 336}, {126, 379}, {118,
371}, {91, 350}, {88, 349}, {140, 394}, {76, 331}, {22, 286}, {116, 381}, {124,
373}, {26, 272}, {40, 290}, {192, 458}, {104, 355}, {154, 406}, {205, 449}, {67,
334}, {138, 391}, {179, 446}, {101, 363}, {173, 418}, {118, 358}, {126, 366},
{159, 398}, {155, 392}, {170, 441}, {21, 257}, {46, 314}, {221, 456}, {4, 274},
{51, 293}, {24, 270}, {16, 262}, {12, 282}, {141, 410}, {199, 464}, {212, 451},
{216, 463}, {63, 295}, {30, 263}, {191, 422}, {247, 494}, {160, 442}, {202,
464}, {43, 304}, {99, 376}, {167, 444}, {243, 488}, {66, 350}, {180, 424}, {188,
416}, {115, 366}, {123, 358}, {44, 306}, {139, 405}, {98, 380}, {179, 403},
{236, 460}, {241, 465}, {18, 304}, {248, 474}, {5, 294}, {100, 327}, {28, 319},
{226, 454}, {107, 334}, {229, 448}, {52, 274}, {164, 386}, {146, 436}, {63,
279}, {225, 457}, {29, 308}, {174, 391}, {183, 414}, {191, 406}, {26, 304},
{112, 346}, {96, 330}, {74, 352}, {239, 453}, {19, 312}, {143, 420}, {251, 464},
{131, 431}, {162, 398}, {46, 259}, {224, 461}, {119, 344}, {114, 322}, {187,
395}, {167, 406}, {172, 413}, {10, 312}, {47, 284}, {51, 256}, {15, 314}, {36,
274}, {140, 443}, {121, 321}, {48, 265}, {136, 433}, {183, 398}, {189, 388},
{104, 338}, {175, 405}, {11, 304}, {149, 430}, {172, 400}, {184, 388}, {156,
417}, {164, 409}, {250, 453}, {45, 365}, {122, 314}, {217, 409}, {225, 417},
{194, 387}, {43, 360}, {195, 384}, {117, 305}, {211, 407}, {228, 416}, {19,
342}, {148, 465}, {141, 456}, {83, 277}, {203, 397}, {242, 436}, {15, 328},
{113, 313}, {201, 385}, {95, 278}, {148, 477}, {126, 311}, {111, 294}, {101,
300}, {214, 412}, {32, 363}, {197, 393}, {3, 334}, {27, 342}, {223, 401}, {234,
421}, {70, 278}, {47, 382}, {197, 404}, {201, 410}, {223, 396}, {239, 444},
{125, 297}, {23, 322}, {156, 457}, {131, 470}, {214, 387}, {206, 408}, {23,
320}, {29, 325}, {131, 475}, {101, 317}, {241, 425}, {249, 417}, {118, 303},
{98, 312}, {213, 399}, {159, 452}, {217, 386}, {2, 350}, {10, 342}, {144, 461},
{76, 274}, {194, 412}, {43, 372}, {20, 373}, {250, 411}, {56, 347}, {239, 396},
{218, 446}, {11, 366}, {61, 347}, {68, 290}, {173, 459}, {195, 421}, {255, 408},
{102, 271}, {98, 264}, {168, 450}, {211, 441}, {21, 382}, {206, 421}, {233,
386}, {148, 504}, {131, 494}, {163, 462}, {13, 355}, {134, 488}, {116, 282},
{26, 372}, {231, 393}, {232, 390}, {77, 290}, {172, 451}, {113, 257}, {121,
265}, {12, 381}, {48, 321}, {179, 450}, {234, 408}, {237, 415}, {40, 347}, {87,
292}, {60, 335}, {231, 404}, {211, 423}, {220, 424}, {19, 358}, {206, 443}, {39,
336}, {133, 498}, {254, 390}, {95, 294}, {135, 510}, {122, 259}, {114, 267},
{111, 278}, {103, 286}, {13, 374}, {196, 447}, {42, 342}, {187, 454}, {21, 363},
{152, 486}, {151, 489}, {29, 355}, {52, 331}, {181, 458}, {31, 415}, {107, 491},
{85, 469}, {192, 320}, {10, 392}, {50, 432}, {24, 410}, {52, 439}, {151, 276},
{142, 267}, {196, 321}, {221, 344}, {228, 353}, {236, 361}, {12, 394}, {255,
377}, {156, 282}, {95, 473}, {20, 402}, {212, 338}, {61, 437}, {229, 365}, {87,
478}, {109, 484}, {184, 305}, {203, 322}, {240, 378}, {90, 470}, {165, 297},
{185, 309}, {179, 318}, {233, 356}, {28, 402}, {249, 375}, {45, 418}, {31, 399},
{161, 305}, {137, 281}, {129, 273}, {61, 428}, {144, 257}, {107, 506}, {228,
373}, {250, 360}, {255, 365}, {13, 414}, {153, 266}, {75, 472}, {64, 467}, {35,
432}, {198, 341}, {108, 504}, {213, 321}, {39, 434}, {67, 470}, {175, 314}, {75,
476}, {158, 262}, {171, 307}, {24, 385}, {68, 477}, {205, 340}, {231, 382},
{128, 282}, {176, 298}, {237, 375}, {27, 384}, {29, 385}, {177, 301}, {12, 402},
{20, 394}, {218, 324}, {191, 287}, {64, 481}, {169, 264}, {220, 381}, {28, 447},
{161, 258}, {135, 292}, {100, 455}, {95, 508}, {203, 360}, {226, 326}, {43,
397}, {154, 316}, {140, 298}, {75, 493}, {85, 498}, {204, 363}, {211, 372},
{166, 270}, {183, 287}, {144, 313}, {223, 374}, {253, 340}, {192, 362}, {239,
325}, {69, 489}, {157, 305}, {92, 497}, {244, 345}, {101, 459}, {198, 360}, {71,
488}, {84, 507}, {195, 364}, {212, 379}, {145, 289}, {153, 297}, {182, 262},
{190, 270}, {108, 477}, {205, 380}, {2, 432}, {16, 418}, {197, 375}, {213, 359},
{21, 422}, {139, 312}, {47, 412}, {90, 494}, {122, 462}, {117, 449}, {173, 281},
{11, 446}, {82, 487}, {220, 361}, {48, 390}, {80, 486}, {67, 500}, {221, 357},
{119, 462}, {176, 265}, {79, 500}, {215, 364}, {247, 332}, {69, 505}, {177,
269}, {185, 261}, {123, 454}, {206, 371}, {232, 341}, {233, 340}, {27, 421},
{163, 285}, {92, 482}, {84, 490}, {44, 402}, {7, 440}, {109, 466}, {252, 323},
{55, 503}, {103, 423}, {177, 369}, {185, 377}, {195, 259}, {125, 441}, {162,
358}, {219, 285}, {240, 310}, {15, 456}, {60, 507}, {236, 299}, {251, 316},
{112, 440}, {161, 361}, {145, 345}, {129, 329}, {180, 381}, {188, 373}, {34,
488}, {255, 309}, {52, 511}, {229, 302}, {142, 322}, {115, 446}, {204, 257},
{36, 490}, {59, 501}, {156, 339}, {224, 303}, {160, 370}, {168, 378}, {194,
272}, {37, 502}, {128, 339}, {176, 355}, {236, 319}, {53, 481}, {202, 286},
{215, 259}, {217, 269}, {3, 470}, {157, 328}, {19, 454}, {244, 289}, {60, 490},
{167, 369}, {23, 448}, {115, 420}, {172, 379}, {55, 495}, {137, 337}, {4, 477},
{112, 425}, {184, 354}, {16, 459}, {59, 480}, {18, 462}, {146, 334}, {130, 350},
{35, 510}, {210, 271}, {124, 418}, {170, 372}, {220, 258}, {226, 316}, {28,
451}, {100, 443}, {175, 368}, {181, 362}, {189, 354}, {207, 272}, {232, 311},
{193, 288}, {253, 284}, {180, 343}, {215, 308}, {117, 401}, {218, 318}, {225,
261}, {242, 278}, {93, 440}, {165, 320}, {53, 467}, {162, 324}, {159, 377},
{123, 412}, {126, 406}, {141, 357}, {8, 481}, {104, 385}, {88, 433}, {192, 297},
{199, 302}, {32, 459}, {221, 310}, {69, 425}, {171, 327}, {209, 317}, {45, 448},
{4, 490}, {116, 410}, {100, 394}, {50, 476}, {189, 339}, {228, 266}, {44, 451},
{208, 319}, {66, 434}, {103, 407}, {184, 328}, {198, 311}, {93, 425}, {154,
366}, {125, 393}, {37, 467}, {252, 266}, {127, 392}, {139, 380}, {234, 285},
{240, 263}, {118, 398}, {153, 353}, {216, 288}, {143, 374}, {8, 498}, {114,
392}, {42, 464}, {37, 478}, {139, 368}, {75, 432}, {168, 339}, {196, 319}, {208,
299}, {231, 284}, {235, 272}, {78, 434}, {173, 337}, {187, 326}, {209, 300},
{84, 426}, {99, 413}, {204, 306}, {251, 260}, {7, 512}, {77, 512}, {149, 512},
{389, 512} }>;
(II) A more general form is to represent the graph as the orbit of {136, 137}
under the group generated by the following permutations:
a: (1, 5, 4, 8)(2, 7, 3, 6)(9, 207, 274, 498)(10, 208, 273, 500)(11, 205, 276,
497)(12, 206, 275, 499)(13, 202, 280, 502)(14, 201, 278, 504)(15, 204, 279,
501)(16, 203, 277, 503)(17, 235, 490, 481)(18, 233, 489, 482)(19, 236, 492,
483)(20, 234, 491, 484)(21, 239, 496, 485)(22, 237, 494, 486)(23, 240, 495,
487)(24, 238, 493, 488)(25, 254, 178, 138)(26, 253, 177, 137)(27, 256, 180,
140)(28, 255, 179, 139)(29, 251, 184, 144)(30, 252, 182, 142)(31, 249, 183,
143)(32, 250, 181, 141)(33, 272, 36, 269)(34, 270, 35, 271)(37, 265, 40,
268)(38, 267, 39, 266)(41, 294, 477, 174)(42, 293, 478, 176)(43, 296, 479,
173)(44, 295, 480, 175)(45, 291, 474, 172)(46, 292, 476, 171)(47, 289, 473,
170)(48, 290, 475, 169)(49, 88, 52, 85)(50, 86, 51, 87)(53, 81, 56, 84)(54, 83,
55, 82)(57, 61, 60, 64)(58, 63, 59, 62)(65, 390, 68, 391)(66, 389, 67, 392)(69,
387, 72, 386)(70, 388, 71, 385)(73, 136, 76, 133)(74, 135, 75, 134)(77, 131, 80,
130)(78, 129, 79, 132)(89, 151, 92, 150)(90, 152, 91, 149)(93, 146, 96, 147)(94,
145, 95, 148)(97, 194, 186, 217)(98, 196, 185, 218)(99, 193, 188, 219)(100, 195,
187, 220)(101, 198, 192, 221)(102, 200, 190, 222)(103, 197, 191, 223)(104, 199,
189, 224)(105, 111, 108, 110)(106, 112, 107, 109)(113, 433, 331, 157)(114, 434,
329, 158)(115, 435, 332, 159)(116, 436, 330, 160)(117, 437, 335, 154)(118, 438,
333, 156)(119, 439, 336, 153)(120, 440, 334, 155)(121, 347, 507, 467)(122, 348,
505, 468)(123, 345, 508, 465)(124, 346, 506, 466)(125, 349, 511, 469)(126, 351,
509, 471)(127, 350, 512, 470)(128, 352, 510, 472)(161, 428, 215, 226)(162, 426,
213, 225)(163, 427, 216, 228)(164, 425, 214, 227)(165, 431, 209, 232)(166, 432,
210, 230)(167, 429, 211, 231)(168, 430, 212, 229)(241, 412, 244, 409)(242, 411,
243, 410)(245, 416, 248, 413)(246, 415, 247, 414)(257, 325, 260, 328)(258, 327,
259, 326)(261, 324, 264, 321)(262, 322, 263, 323)(281, 372, 284, 369)(282, 371,
283, 370)(285, 376, 288, 373)(286, 375, 287, 374)(297, 344, 300, 341)(298, 342,
299, 343)(301, 337, 304, 340)(302, 339, 303, 338)(305, 313, 308, 316)(306, 315,
307, 314)(309, 318, 312, 319)(310, 317, 311, 320)(353, 462, 356, 463)(354, 461,
355, 464)(357, 459, 360, 458)(358, 460, 359, 457)(361, 455, 364, 454)(362, 456,
363, 453)(365, 450, 368, 451)(366, 449, 367, 452)(377, 446, 380, 447)(378, 445,
379, 448)(381, 443, 384, 442)(382, 444, 383, 441)(393, 422, 396, 423)(394, 421,
395, 424)(397, 419, 400, 418)(398, 420, 399, 417)(401, 407, 404, 406)(402, 408,
403, 405) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (1, 9, 33, 17)(2, 10, 34, 18)(3, 11, 35, 19)(4, 12, 36, 20)(5, 13, 37, 21)(6,
14, 38, 22)(7, 15, 39, 23)(8, 16, 40, 24)(25, 49, 97, 57)(26, 50, 98, 58)(27,
51, 99, 59)(28, 52, 100, 60)(29, 53, 101, 61)(30, 54, 102, 62)(31, 55, 103,
63)(32, 56, 104, 64)(41, 73, 137, 81)(42, 74, 138, 82)(43, 75, 139, 83)(44, 76,
140, 84)(45, 77, 141, 85)(46, 78, 142, 86)(47, 79, 143, 87)(48, 80, 144, 88)(65,
113, 136, 121)(66, 114, 134, 122)(67, 115, 135, 123)(68, 116, 133, 124)(69, 117,
129, 125)(70, 118, 131, 126)(71, 119, 130, 127)(72, 120, 132, 128)(89, 153, 241,
161)(90, 154, 242, 162)(91, 155, 243, 163)(92, 156, 244, 164)(93, 157, 245,
165)(94, 158, 246, 166)(95, 159, 247, 167)(96, 160, 248, 168)(105, 177, 281,
185)(106, 178, 282, 186)(107, 179, 283, 187)(108, 180, 284, 188)(109, 181, 285,
189)(110, 182, 286, 190)(111, 183, 287, 191)(112, 184, 288, 192)(145, 217, 337,
225)(146, 218, 338, 226)(147, 219, 339, 227)(148, 220, 340, 228)(149, 221, 341,
229)(150, 222, 342, 230)(151, 223, 343, 231)(152, 224, 344, 232)(169, 257, 207,
265)(170, 258, 205, 266)(171, 259, 208, 267)(172, 260, 206, 268)(173, 261, 201,
269)(174, 262, 202, 270)(175, 263, 203, 271)(176, 264, 204, 272)(193, 297, 425,
305)(194, 298, 426, 306)(195, 299, 427, 307)(196, 300, 428, 308)(197, 301, 429,
309)(198, 302, 430, 310)(199, 303, 431, 311)(200, 304, 432, 312)(209, 313, 433,
321)(210, 314, 434, 322)(211, 315, 435, 323)(212, 316, 436, 324)(213, 317, 437,
325)(214, 318, 438, 326)(215, 319, 439, 327)(216, 320, 440, 328)(233, 353, 465,
361)(234, 354, 466, 362)(235, 355, 467, 363)(236, 356, 468, 364)(237, 357, 469,
365)(238, 358, 470, 366)(239, 359, 471, 367)(240, 360, 472, 368)(249, 369, 473,
377)(250, 370, 474, 378)(251, 371, 475, 379)(252, 372, 476, 380)(253, 373, 477,
381)(254, 374, 478, 382)(255, 375, 479, 383)(256, 376, 480, 384)(273, 393, 489,
401)(274, 394, 490, 402)(275, 395, 491, 403)(276, 396, 492, 404)(277, 397, 493,
405)(278, 398, 494, 406)(279, 399, 495, 407)(280, 400, 496, 408)(289, 409, 497,
417)(290, 410, 498, 418)(291, 411, 499, 419)(292, 412, 500, 420)(293, 413, 501,
421)(294, 414, 502, 422)(295, 415, 503, 423)(296, 416, 504, 424)(329, 441, 505,
449)(330, 442, 506, 450)(331, 443, 507, 451)(332, 444, 508, 452)(333, 445, 509,
453)(334, 446, 510, 454)(335, 447, 511, 455)(336, 448, 512, 456)(345, 386, 482,
457)(346, 388, 484, 458)(347, 385, 481, 459)(348, 387, 483, 460)(349, 390, 486,
461)(350, 392, 488, 462)(351, 389, 485, 463)(352, 391, 487, 464)
c: (2, 3)(5, 6)(7, 8)(9, 25)(10, 26)(11, 27)(12, 28)(13, 29)(14, 30)(15, 31)(16,
32)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)(33, 65)(34,
66)(35, 67)(36, 68)(37, 69)(38, 70)(39, 71)(40, 72)(49, 89)(50, 90)(51, 91)(52,
92)(53, 93)(54, 94)(55, 95)(56, 96)(57, 105)(58, 106)(59, 107)(60, 108)(61,
109)(62, 110)(63, 111)(64, 112)(73, 129)(74, 130)(75, 131)(76, 132)(77, 133)(78,
134)(79, 135)(80, 136)(81, 145)(82, 146)(83, 147)(84, 148)(85, 149)(86, 150)(87,
151)(88, 152)(97, 169)(98, 170)(99, 171)(100, 172)(101, 173)(102, 174)(103,
175)(104, 176)(113, 193)(114, 194)(115, 195)(116, 196)(117, 197)(118, 198)(119,
199)(120, 200)(121, 201)(122, 202)(123, 203)(124, 204)(125, 205)(126, 206)(127,
207)(128, 208)(137, 209)(138, 210)(139, 211)(140, 212)(141, 213)(142, 214)(143,
215)(144, 216)(153, 233)(154, 234)(155, 235)(156, 236)(157, 237)(158, 238)(159,
239)(160, 240)(161, 249)(162, 250)(163, 251)(164, 252)(165, 253)(166, 254)(167,
255)(168, 256)(177, 273)(178, 274)(179, 275)(180, 276)(181, 277)(182, 278)(183,
279)(184, 280)(185, 289)(186, 290)(187, 291)(188, 292)(189, 293)(190, 294)(191,
295)(192, 296)(217, 329)(218, 330)(219, 331)(220, 332)(221, 333)(222, 334)(223,
335)(224, 336)(225, 345)(226, 346)(227, 347)(228, 348)(229, 349)(230, 350)(231,
351)(232, 352)(241, 264)(242, 262)(243, 263)(244, 261)(245, 257)(246, 259)(247,
258)(248, 260)(265, 385)(266, 386)(267, 387)(268, 388)(269, 389)(270, 390)(271,
391)(272, 392)(281, 317)(282, 319)(283, 318)(284, 320)(285, 316)(286, 314)(287,
315)(288, 313)(297, 340)(298, 338)(299, 339)(300, 337)(301, 343)(302, 344)(303,
341)(304, 342)(305, 375)(306, 373)(307, 376)(308, 374)(309, 369)(310, 370)(311,
371)(312, 372)(321, 410)(322, 412)(323, 409)(324, 411)(325, 414)(326, 416)(327,
413)(328, 415)(353, 356)(357, 359)(358, 360)(361, 417)(362, 419)(363, 418)(364,
420)(365, 422)(366, 421)(367, 424)(368, 423)(377, 444)(378, 442)(379, 443)(380,
441)(381, 447)(382, 448)(383, 445)(384, 446)(393, 449)(394, 451)(395, 450)(396,
452)(397, 454)(398, 453)(399, 456)(400, 455)(401, 404)(405, 407)(406, 408)(425,
467)(426, 465)(427, 468)(428, 466)(429, 471)(430, 469)(431, 472)(432, 470)(433,
486)(434, 488)(435, 485)(436, 487)(437, 484)(438, 483)(439, 482)(440, 481)(457,
460)(461, 463)(462, 464)(473, 495)(474, 496)(475, 493)(476, 494)(477, 490)(478,
489)(479, 492)(480, 491)(497, 511)(498, 512)(499, 509)(500, 510)(501, 506)(502,
505)(503, 508)(504, 507)
d: (1, 2, 4, 3)(5, 6, 8, 7)(9, 432, 274, 230)(10, 431, 273, 232)(11, 430, 276,
229)(12, 429, 275, 231)(13, 427, 280, 228)(14, 425, 278, 227)(15, 428, 279,
226)(16, 426, 277, 225)(17, 222, 490, 200)(18, 224, 489, 199)(19, 221, 492,
198)(20, 223, 491, 197)(21, 220, 496, 195)(22, 219, 494, 193)(23, 218, 495,
196)(24, 217, 493, 194)(25, 350, 178, 470)(26, 352, 177, 472)(27, 349, 180,
469)(28, 351, 179, 471)(29, 348, 184, 468)(30, 347, 182, 467)(31, 346, 183,
466)(32, 345, 181, 465)(33, 35, 36, 34)(37, 39, 40, 38)(41, 120, 477, 334)(42,
119, 478, 336)(43, 118, 479, 333)(44, 117, 480, 335)(45, 115, 474, 332)(46, 113,
476, 331)(47, 116, 473, 330)(48, 114, 475, 329)(49, 50, 52, 51)(53, 54, 56,
55)(57, 59, 60, 58)(61, 63, 64, 62)(65, 66, 68, 67)(69, 70, 72, 71)(73, 75, 76,
74)(77, 79, 80, 78)(81, 82, 84, 83)(85, 86, 88, 87)(89, 91, 92, 90)(93, 95, 96,
94)(97, 238, 186, 488)(98, 240, 185, 487)(99, 237, 188, 486)(100, 239, 187,
485)(101, 236, 192, 483)(102, 235, 190, 481)(103, 234, 191, 484)(104, 233, 189,
482)(105, 106, 108, 107)(109, 110, 112, 111)(121, 142, 507, 252)(122, 144, 505,
251)(123, 141, 508, 250)(124, 143, 506, 249)(125, 140, 511, 256)(126, 139, 509,
255)(127, 138, 512, 254)(128, 137, 510, 253)(129, 130, 132, 131)(133, 134, 136,
135)(145, 147, 148, 146)(149, 151, 152, 150)(153, 176, 439, 293)(154, 175, 437,
295)(155, 174, 440, 294)(156, 173, 438, 296)(157, 171, 433, 292)(158, 169, 434,
290)(159, 172, 435, 291)(160, 170, 436, 289)(161, 501, 215, 204)(162, 503, 213,
203)(163, 502, 216, 202)(164, 504, 214, 201)(165, 500, 209, 208)(166, 498, 210,
207)(167, 499, 211, 206)(168, 497, 212, 205)(241, 242, 244, 243)(245, 246, 248,
247)(257, 258, 260, 259)(261, 262, 264, 263)(265, 267, 268, 266)(269, 271, 272,
270)(281, 283, 284, 282)(285, 287, 288, 286)(297, 298, 300, 299)(301, 302, 304,
303)(305, 307, 308, 306)(309, 311, 312, 310)(313, 315, 316, 314)(317, 319, 320,
318)(321, 322, 324, 323)(325, 326, 328, 327)(337, 338, 340, 339)(341, 342, 344,
343)(353, 355, 356, 354)(357, 359, 360, 358)(361, 362, 364, 363)(365, 366, 368,
367)(369, 370, 372, 371)(373, 374, 376, 375)(377, 379, 380, 378)(381, 383, 384,
382)(385, 386, 388, 387)(389, 390, 392, 391)(393, 394, 396, 395)(397, 398, 400,
399)(401, 403, 404, 402)(405, 407, 408, 406)(409, 411, 412, 410)(413, 415, 416,
414)(417, 418, 420, 419)(421, 422, 424, 423)(441, 443, 444, 442)(445, 447, 448,
446)(449, 450, 452, 451)(453, 454, 456, 455)(457, 459, 460, 458)(461, 463, 464,
462)
C4[ 512, 112 ]
512
-1 25 17 41 9
-2 222 432 350 120
-3 200 334 470 230
-4 178 477 490 274
-5 254 235 294 207
-6 155 166 190 127
-7 440 210 102 512
-8 498 138 481 174
-9 33 1 49 73
-10 132 342 312 392
-11 366 446 150 304
-12 402 282 381 394
-13 374 265 355 414
-14 110 243 71 94
-15 456 314 62 328
-16 418 82 459 262
-17 33 1 57 81
-18 462 72 150 304
-19 342 454 312 358
-20 402 106 394 373
-21 363 257 422 382
-22 286 91 246 130
-23 320 322 448 54
-24 385 410 270 74
-25 1 89 129 65
-26 304 272 372 76
-27 342 421 86 384
-28 319 451 402 447
-29 308 385 355 325
-30 39 62 54 263
-31 110 286 399 415
-32 242 363 146 459
-33 137 17 9 97
-34 200 488 128 230
-35 222 432 510 238
-36 253 490 186 274
-37 169 467 478 502
-38 158 182 119 163
-39 434 336 216 30
-40 202 290 347 42
-41 1 145 105 65
-42 342 464 40 86
-43 397 304 360 372
-44 451 58 402 306
-45 418 365 245 448
-46 259 314 51 74
-47 412 94 382 284
-48 265 321 390 130
-49 113 125 9 153
-50 176 432 476 140
-51 46 256 293 230
-52 331 511 274 439
-53 213 467 481 196
-54 23 102 203 30
-55 495 190 182 503
-56 235 347 162 218
-57 121 17 117 161
-58 44 200 204 252
-59 222 501 480 142
-60 507 335 215 490
-61 235 347 437 428
-62 102 15 30 175
-63 190 279 182 295
-64 154 467 226 481
-65 209 25 169 41
-66 434 350 120 208
-67 158 334 500 470
-68 165 178 290 477
-69 489 425 97 505
-70 199 278 238 251
-71 144 14 224 488
-72 122 18 227 186
-73 177 113 217 9
-74 352 24 46 230
-75 432 476 493 472
-76 331 26 194 274
-77 165 290 237 512
-78 99 434 138 208
-79 188 254 158 500
-80 209 486 169 127
-81 121 225 17 185
-82 222 487 16 142
-83 200 277 240 252
-84 507 490 426 98
-85 157 498 336 469
-86 210 27 171 42
-87 166 180 478 292
-88 433 349 119 207
-89 233 25 193 205
-90 212 104 470 494
-91 22 189 168 350
-92 178 497 482 219
-93 440 116 425 141
-94 123 14 47 174
-95 473 508 278 294
-96 330 155 227 250
-97 33 69 136 241
-98 264 312 380 84
-99 78 376 413 150
-100 443 455 327 394
-101 363 300 459 317
-102 7 62 271 54
-103 110 286 407 423
-104 385 90 355 338
-105 201 249 41 197
-106 124 20 120 164
-107 506 334 214 491
-108 143 223 477 504
-109 484 155 466 227
-110 14 103 31 174
-111 278 191 183 294
-112 440 234 346 425
-113 257 49 313 73
-114 132 267 322 392
-115 420 366 246 446
-116 410 93 282 381
-117 57 401 305 449
-118 398 303 358 371
-119 88 462 344 38
-120 66 2 147 106
-121 265 57 321 81
-122 462 72 259 314
-123 454 412 94 358
-124 418 245 106 373
-125 297 441 49 393
-126 311 366 379 406
-127 80 6 392 152
-128 34 134 282 339
-129 25 193 273 329
-130 22 232 48 350
-131 431 475 470 494
-132 178 114 10 219
-133 253 157 498 186
-134 210 488 171 128
-135 166 510 292 238
-136 433 137 97 207
-137 33 136 281 337
-138 78 391 150 8
-139 312 368 380 405
-140 298 443 50 394
-141 410 93 357 456
-142 267 322 59 82
-143 374 420 246 108
-144 257 71 313 461
-145 201 289 345 41
-146 334 214 436 32
-147 181 160 120 164
-148 465 477 170 504
-149 430 224 237 512
-150 11 99 138 18
-151 188 254 276 489
-152 199 486 127 229
-153 297 353 266 49
-154 366 316 64 406
-155 6 392 96 109
-156 457 282 339 417
-157 133 85 305 328
-158 67 79 38 262
-159 452 398 377 414
-160 243 442 147 370
-161 57 258 305 361
-162 56 398 324 358
-163 462 38 248 285
-164 386 409 147 106
-165 77 297 320 68
-166 135 6 270 87
-167 422 444 369 406
-168 91 378 339 450
-169 264 80 37 65
-170 441 148 372 241
-171 134 327 86 307
-172 451 400 379 413
-173 418 281 337 459
-174 110 94 391 8
-175 368 314 62 405
-176 265 298 355 50
-177 301 269 369 73
-178 132 68 4 92
-179 446 403 318 450
-180 343 424 381 87
-181 243 147 458 362
-182 55 38 63 262
-183 111 287 398 414
-184 354 388 305 328
-185 309 377 81 261
-186 133 244 36 72
-187 442 454 326 395
-188 79 151 416 373
-189 354 91 388 339
-190 55 6 270 63
-191 111 287 422 406
-192 297 320 458 362
-193 89 288 245 129
-194 387 412 272 76
-195 364 421 259 384
-196 319 321 447 53
-197 375 105 393 404
-198 341 453 311 360
-199 464 70 302 152
-200 34 3 58 83
-201 385 145 410 105
-202 286 464 246 40
-203 397 322 360 54
-204 363 58 257 306
-205 89 380 449 340
-206 408 421 443 371
-207 88 136 5 272
-208 66 319 78 299
-209 80 300 317 65
-210 134 7 271 86
-211 407 441 423 372
-212 451 90 379 338
-213 321 399 359 53
-214 387 146 412 107
-215 308 364 60 259
-216 463 288 245 39
-217 386 409 269 73
-218 56 324 446 318
-219 132 92 248 285
-220 258 424 381 361
-221 310 344 357 456
-222 2 35 59 82
-223 374 396 401 108
-224 71 149 303 461
-225 81 457 261 417
-226 454 326 316 64
-227 244 72 96 109
-228 353 266 416 373
-229 365 302 448 152
-230 34 3 51 74
-231 382 393 404 284
-232 341 311 390 130
-233 89 386 356 340
-234 408 112 421 285
-235 56 5 61 272
-236 319 299 361 460
-237 77 375 149 415
-238 242 35 135 70
-239 396 453 444 325
-240 310 378 83 263
-241 465 170 425 97
-242 278 238 436 32
-243 14 488 181 160
-244 289 345 227 186
-245 45 124 193 216
-246 22 143 202 115
-247 332 249 502 494
-248 506 474 163 219
-249 375 247 105 417
-250 453 411 96 360
-251 464 70 260 316
-252 266 58 323 83
-253 133 36 284 340
-254 79 5 390 151
-255 309 408 365 377
-256 299 442 51 395
-257 144 113 204 21
-258 220 476 161 505
-259 122 46 215 195
-260 331 496 501 251
-261 290 225 347 185
-262 487 158 16 182
-263 277 434 30 240
-264 169 467 426 98
-265 121 176 13 48
-266 228 153 252 329
-267 114 427 142 439
-268 507 475 280 293
-269 177 498 217 481
-270 352 166 24 190
-271 210 102 493 472
-272 26 235 194 207
-273 309 343 389 129
-274 36 4 52 76
-275 403 283 384 395
-276 301 367 447 151
-277 419 83 458 263
-278 242 111 70 95
-279 453 325 315 63
-280 375 354 268 415
-281 429 473 137 173
-282 12 156 116 128
-283 275 330 510 438
-284 231 253 47 296
-285 234 346 163 219
-286 22 103 202 31
-287 191 183 502 494
-288 484 466 193 216
-289 145 244 444 369
-290 77 68 40 261
-291 397 378 416 450
-292 135 326 306 87
-293 299 354 268 51
-294 111 5 390 95
-295 408 365 315 63
-296 419 458 284 340
-297 165 125 192 153
-298 176 500 140 483
-299 256 236 293 208
-300 209 101 511 439
-301 177 276 489 479
-302 199 333 229 472
-303 352 430 224 118
-304 11 26 18 43
-305 157 117 161 184
-306 44 204 292 348
-307 171 468 501 480
-308 433 335 215 29
-309 255 492 185 273
-310 221 431 509 240
-311 198 232 487 126
-312 139 19 10 98
-313 144 113 437 428
-314 122 46 15 175
-315 476 279 295 505
-316 154 331 226 251
-317 209 495 101 471
-318 179 500 218 483
-319 236 28 196 208
-320 165 23 192 351
-321 121 48 213 196
-322 23 114 203 142
-323 495 503 252 329
-324 507 475 162 218
-325 279 433 29 239
-326 187 226 292 348
-327 100 171 468 428
-328 485 157 15 184
-329 266 323 389 129
-330 411 96 283 384
-331 260 52 316 76
-332 367 247 447 417
-333 399 302 359 370
-334 67 3 146 107
-335 308 452 60 404
-336 341 463 39 85
-337 497 137 173 482
-338 212 510 104 438
-339 156 189 168 128
-340 253 233 205 296
-341 198 232 336 469
-342 27 19 42 10
-343 180 478 492 273
-344 221 431 349 119
-345 145 244 361 460
-346 397 112 416 285
-347 56 61 40 261
-348 386 356 326 306
-349 88 344 422 382
-350 66 2 91 130
-351 320 401 448 449
-352 270 303 74 371
-353 468 228 482 153
-354 189 280 293 184
-355 176 13 104 29
-356 233 348 427 439
-357 221 479 503 141
-358 123 19 118 162
-359 508 333 213 492
-360 198 203 250 43
-361 220 345 236 161
-362 496 181 192 501
-363 101 204 21 32
-364 465 215 195 483
-365 45 255 229 295
-366 11 154 115 126
-367 276 332 509 437
-368 430 474 139 175
-369 177 167 289 479
-370 333 499 160 472
-371 352 436 118 206
-372 211 26 170 43
-373 188 124 228 20
-374 143 13 486 223
-375 280 237 249 197
-376 99 506 491 427
-377 255 497 159 185
-378 168 509 291 240
-379 212 487 126 172
-380 435 139 205 98
-381 220 12 180 116
-382 231 47 349 21
-383 429 473 496 469
-384 275 330 27 195
-385 24 201 104 29
-386 233 348 217 164
-387 214 468 194 482
-388 189 184 493 504
-389 440 512 273 329
-390 232 254 48 294
-391 431 475 138 174
-392 155 114 127 10
-393 231 485 125 197
-394 12 100 140 20
-395 187 275 256 491
-396 429 223 511 239
-397 203 291 346 43
-398 159 183 118 162
-399 333 213 435 31
-400 466 479 172 503
-401 429 223 117 351
-402 44 12 28 20
-403 275 179 480 491
-404 231 335 471 197
-405 484 499 139 175
-406 154 167 191 126
-407 211 509 103 437
-408 255 234 206 295
-409 473 508 217 164
-410 24 201 116 141
-411 330 250 493 504
-412 123 47 214 194
-413 99 466 172 427
-414 13 486 159 183
-415 280 237 435 31
-416 188 291 346 228
-417 156 332 225 249
-418 45 124 16 173
-419 506 474 277 296
-420 143 115 426 438
-421 234 27 195 206
-422 167 191 349 21
-423 496 211 103 469
-424 220 484 180 499
-425 112 69 93 241
-426 264 420 84 460
-427 376 267 356 413
-428 455 313 61 327
-429 396 401 281 383
-430 368 445 149 303
-431 310 344 391 131
-432 2 35 50 75
-433 88 308 136 325
-434 66 78 39 263
-435 399 380 415 449
-436 242 146 443 371
-437 407 367 313 61
-438 420 283 338 460
-439 267 300 356 52
-440 112 389 93 7
-441 485 211 125 170
-442 187 256 499 160
-443 100 436 140 206
-444 167 289 511 239
-445 495 430 474 471
-446 11 179 115 218
-447 276 332 28 196
-448 23 45 229 351
-449 435 117 205 351
-450 168 179 291 480
-451 44 212 28 172
-452 497 159 335 471
-453 198 279 239 250
-454 187 123 226 19
-455 100 508 492 428
-456 221 485 15 141
-457 156 465 225 483
-458 277 181 192 296
-459 101 16 173 32
-460 345 236 426 438
-461 144 224 478 502
-462 122 18 119 163
-463 489 336 216 505
-464 199 202 42 251
-465 364 148 457 241
-466 288 400 413 109
-467 264 37 53 64
-468 353 387 327 307
-469 341 423 85 383
-470 67 90 3 131
-471 452 445 404 317
-472 302 271 370 75
-473 409 281 95 383
-474 419 368 445 248
-475 268 324 391 131
-476 258 50 315 75
-477 68 4 148 108
-478 343 37 87 461
-479 301 400 357 369
-480 59 403 307 450
-481 269 8 53 64
-482 353 387 92 337
-483 298 364 457 318
-484 288 424 405 109
-485 441 456 393 328
-486 374 80 414 152
-487 311 82 379 262
-488 34 243 134 71
-489 463 69 301 151
-490 36 4 60 84
-491 376 403 107 395
-492 309 343 455 359
-493 388 411 271 75
-494 287 90 247 131
-495 55 323 445 317
-496 423 260 383 362
-497 452 377 92 337
-498 133 269 8 85
-499 442 424 370 405
-500 67 298 79 318
-501 59 260 307 362
-502 287 37 247 461
-503 55 323 400 357
-504 388 411 148 108
-505 463 69 258 315
-506 419 376 248 107
-507 268 60 324 84
-508 409 455 95 359
-509 407 310 367 378
-510 35 135 283 338
-511 396 300 444 52
-512 77 389 149 7
0