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