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