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