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