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