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