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