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