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