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