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