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