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