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