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