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