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