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