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