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