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