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