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