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