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