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