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