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