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