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