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