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