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