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