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