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