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