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