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