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