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