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