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