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