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