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