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