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