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