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