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