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