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