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