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