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