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