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