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