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