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