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