Graph forms
for C4 [ 320, 162 ] = PL(CS(PX(5,3)[4^20],1))
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 320, 162 ] =
PL(CS(PX(5,3)[4^20],1)).
(I) Following is a form readable by MAGMA:
g:=Graph<320|{ {128, 249}, {34, 162}, {80, 208}, {77, 205}, {74, 202}, {72,
200}, {69, 197}, {66, 194}, {64, 192}, {61, 189}, {58, 186}, {56, 184}, {37,
165}, {40, 168}, {42, 170}, {45, 173}, {48, 176}, {50, 178}, {53, 181}, {82,
210}, {85, 213}, {88, 216}, {90, 218}, {93, 221}, {96, 224}, {98, 226}, {101,
229}, {104, 232}, {106, 234}, {109, 237}, {112, 240}, {114, 242}, {117, 245},
{120, 248}, {122, 250}, {125, 253}, {34, 163}, {77, 204}, {74, 203}, {69, 196},
{66, 195}, {61, 188}, {58, 187}, {37, 164}, {42, 171}, {45, 172}, {50, 179},
{53, 180}, {82, 211}, {85, 212}, {90, 219}, {93, 220}, {98, 227}, {101, 228},
{106, 235}, {109, 236}, {114, 243}, {117, 244}, {122, 251}, {125, 252}, {33,
163}, {78, 204}, {76, 206}, {73, 203}, {70, 196}, {68, 198}, {65, 195}, {62,
188}, {60, 190}, {57, 187}, {36, 166}, {38, 164}, {41, 171}, {44, 174}, {46,
172}, {49, 179}, {52, 182}, {54, 180}, {81, 211}, {84, 214}, {86, 212}, {89,
219}, {92, 222}, {94, 220}, {97, 227}, {100, 230}, {102, 228}, {105, 235}, {108,
238}, {110, 236}, {113, 243}, {116, 246}, {118, 244}, {121, 251}, {124, 254},
{126, 252}, {33, 162}, {78, 205}, {76, 207}, {73, 202}, {70, 197}, {68, 199},
{65, 194}, {62, 189}, {60, 191}, {57, 186}, {54, 181}, {36, 167}, {38, 165},
{41, 170}, {44, 175}, {46, 173}, {49, 178}, {52, 183}, {81, 210}, {84, 215},
{86, 213}, {89, 218}, {92, 223}, {94, 221}, {97, 226}, {100, 231}, {102, 229},
{105, 234}, {108, 239}, {110, 237}, {113, 242}, {116, 247}, {118, 245}, {121,
250}, {124, 255}, {126, 253}, {35, 167}, {75, 207}, {67, 199}, {59, 191}, {43,
175}, {51, 183}, {83, 215}, {91, 223}, {99, 231}, {107, 239}, {115, 247}, {123,
255}, {35, 166}, {75, 206}, {67, 198}, {59, 190}, {43, 174}, {51, 182}, {83,
214}, {91, 222}, {99, 230}, {107, 238}, {115, 246}, {123, 254}, {39, 161}, {79,
201}, {71, 193}, {63, 185}, {55, 177}, {47, 169}, {87, 209}, {95, 217}, {103,
225}, {111, 233}, {119, 241}, {127, 249}, {40, 161}, {72, 193}, {56, 177}, {88,
209}, {104, 225}, {120, 241}, {39, 168}, {71, 200}, {55, 184}, {87, 216}, {103,
232}, {119, 248}, {48, 169}, {80, 201}, {112, 233}, {32, 191}, {79, 208}, {64,
223}, {47, 176}, {96, 255}, {111, 240}, {1, 161}, {66, 226}, {64, 224}, {2,
162}, {31, 191}, {4, 165}, {68, 229}, {67, 226}, {29, 188}, {89, 248}, {4, 166},
{68, 230}, {67, 225}, {30, 188}, {93, 255}, {94, 252}, {1, 162}, {66, 225}, {2,
161}, {27, 184}, {95, 252}, {28, 184}, {65, 229}, {92, 248}, {95, 251}, {3,
166}, {72, 237}, {8, 173}, {30, 187}, {85, 240}, {94, 251}, {3, 165}, {72, 238},
{8, 174}, {29, 187}, {23, 176}, {65, 230}, {24, 176}, {69, 237}, {88, 240}, {91,
243}, {7, 174}, {26, 179}, {90, 243}, {7, 173}, {25, 179}, {28, 183}, {69, 238},
{92, 247}, {5, 169}, {70, 234}, {6, 170}, {27, 183}, {16, 189}, {71, 234}, {25,
180}, {80, 253}, {16, 190}, {71, 233}, {26, 180}, {80, 254}, {89, 247}, {90,
244}, {5, 170}, {70, 233}, {6, 169}, {91, 244}, {77, 253}, {83, 227}, {15, 190},
{18, 163}, {82, 227}, {15, 189}, {17, 163}, {20, 167}, {77, 254}, {84, 231},
{13, 185}, {78, 250}, {14, 186}, {19, 167}, {17, 164}, {79, 250}, {18, 164},
{79, 249}, {81, 231}, {82, 228}, {13, 186}, {78, 249}, {14, 185}, {24, 175},
{83, 228}, {88, 239}, {9, 177}, {74, 242}, {10, 178}, {23, 175}, {12, 181}, {76,
245}, {75, 242}, {21, 172}, {81, 232}, {96, 217}, {12, 182}, {76, 246}, {75,
241}, {22, 172}, {85, 239}, {86, 236}, {9, 178}, {74, 241}, {10, 177}, {19,
168}, {87, 236}, {20, 168}, {73, 245}, {84, 232}, {87, 235}, {11, 182}, {22,
171}, {86, 235}, {11, 181}, {21, 171}, {73, 246}, {95, 224}, {61, 224}, {31,
192}, {32, 192}, {34, 194}, {35, 194}, {57, 216}, {36, 197}, {35, 193}, {62,
220}, {61, 223}, {36, 198}, {34, 193}, {63, 220}, {33, 197}, {63, 219}, {60,
216}, {40, 205}, {62, 219}, {53, 208}, {40, 206}, {33, 198}, {37, 205}, {59,
211}, {56, 208}, {58, 211}, {37, 206}, {60, 215}, {38, 202}, {39, 202}, {48,
221}, {39, 201}, {58, 212}, {57, 215}, {48, 222}, {38, 201}, {59, 212}, {45,
221}, {51, 195}, {50, 195}, {45, 222}, {52, 199}, {46, 218}, {47, 218}, {47,
217}, {49, 199}, {50, 196}, {46, 217}, {56, 207}, {51, 196}, {42, 210}, {43,
210}, {64, 185}, {44, 213}, {49, 200}, {43, 209}, {54, 204}, {44, 214}, {53,
207}, {42, 209}, {55, 204}, {41, 213}, {55, 203}, {52, 200}, {54, 203}, {41,
214}, {63, 192}, {32, 319}, {2, 290}, {8, 296}, {10, 298}, {16, 304}, {18, 306},
{24, 312}, {26, 314}, {3, 290}, {4, 293}, {11, 298}, {12, 301}, {19, 306}, {20,
309}, {27, 314}, {28, 317}, {3, 289}, {4, 294}, {5, 295}, {6, 292}, {11, 297},
{12, 302}, {13, 303}, {14, 300}, {19, 305}, {20, 310}, {21, 311}, {22, 308},
{27, 313}, {28, 318}, {29, 319}, {30, 316}, {2, 289}, {7, 292}, {10, 297}, {15,
300}, {18, 305}, {23, 308}, {26, 313}, {31, 316}, {1, 293}, {7, 291}, {9, 301},
{15, 299}, {17, 309}, {23, 307}, {25, 317}, {31, 315}, {6, 291}, {14, 299}, {22,
307}, {30, 315}, {1, 294}, {9, 302}, {17, 310}, {25, 318}, {5, 296}, {21, 312},
{8, 295}, {24, 311}, {13, 304}, {16, 303}, {29, 320}, {93, 256}, {125, 288},
{32, 320}, {96, 256}, {98, 258}, {99, 258}, {100, 261}, {121, 280}, {99, 257},
{100, 262}, {125, 287}, {126, 284}, {98, 257}, {127, 284}, {97, 261}, {124,
280}, {127, 283}, {104, 269}, {117, 272}, {126, 283}, {104, 270}, {97, 262},
{101, 269}, {120, 272}, {123, 275}, {122, 275}, {101, 270}, {124, 279}, {102,
266}, {103, 266}, {112, 285}, {103, 265}, {112, 286}, {121, 279}, {122, 276},
{102, 265}, {123, 276}, {109, 285}, {115, 259}, {114, 259}, {109, 286}, {116,
263}, {110, 282}, {111, 282}, {111, 281}, {113, 263}, {114, 260}, {110, 281},
{115, 260}, {120, 271}, {106, 274}, {107, 274}, {108, 277}, {113, 264}, {107,
273}, {108, 278}, {117, 271}, {118, 268}, {106, 273}, {119, 268}, {105, 277},
{116, 264}, {119, 267}, {118, 267}, {105, 278}, {127, 256}, {128, 256}, {160,
288}, {157, 285}, {154, 282}, {152, 280}, {149, 277}, {146, 274}, {144, 272},
{141, 269}, {138, 266}, {130, 258}, {133, 261}, {136, 264}, {130, 259}, {157,
284}, {154, 283}, {149, 276}, {146, 275}, {141, 268}, {138, 267}, {133, 260},
{129, 259}, {158, 284}, {156, 286}, {153, 283}, {150, 276}, {148, 278}, {145,
275}, {142, 268}, {140, 270}, {137, 267}, {132, 262}, {134, 260}, {129, 258},
{158, 285}, {156, 287}, {153, 282}, {150, 277}, {148, 279}, {145, 274}, {142,
269}, {140, 271}, {137, 266}, {132, 263}, {134, 261}, {131, 263}, {155, 287},
{147, 279}, {139, 271}, {131, 262}, {155, 286}, {147, 278}, {139, 270}, {135,
257}, {159, 281}, {151, 273}, {143, 265}, {136, 257}, {152, 273}, {135, 264},
{151, 280}, {144, 265}, {160, 313}, {128, 287}, {143, 272}, {128, 288}, {130,
290}, {131, 291}, {130, 291}, {153, 312}, {131, 290}, {132, 294}, {159, 317},
{158, 316}, {132, 295}, {159, 316}, {158, 317}, {156, 312}, {157, 313}, {149,
304}, {129, 295}, {136, 302}, {129, 294}, {136, 303}, {152, 304}, {153, 305},
{133, 303}, {133, 302}, {134, 298}, {135, 299}, {134, 299}, {156, 305}, {135,
298}, {144, 318}, {155, 309}, {154, 308}, {144, 319}, {155, 308}, {154, 309},
{145, 289}, {152, 297}, {141, 319}, {141, 318}, {142, 314}, {143, 315}, {142,
315}, {148, 289}, {143, 314}, {146, 292}, {147, 293}, {146, 293}, {147, 292},
{138, 306}, {139, 307}, {138, 307}, {160, 281}, {145, 296}, {139, 306}, {140,
310}, {151, 301}, {150, 300}, {140, 311}, {151, 300}, {150, 301}, {148, 296},
{149, 297}, {137, 311}, {137, 310}, {159, 288}, {157, 320}, {160, 320} }>;
(II) A more general form is to represent the graph as the orbit of {128, 249}
under the group generated by the following permutations:
a: (77, 78)(79, 80)(93, 94)(95, 96)(109, 110)(111, 112)(121, 124)(122, 123)(125,
127)(126, 128)(153, 156)(154, 155)(157, 160)(158, 159)(249, 253)(250, 254)(251,
255)(252, 256)(281, 285)(282, 286)(283, 287)(284, 288) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (9, 10)(11, 12)(13, 14)(15, 16)(133, 134)(135, 136)(149, 150)(151, 152)(297,
301)(298, 302)(299, 303)(300, 304)
c: (5, 6)(7, 8)(13, 14)(15, 16)(17, 18)(19, 20)(25, 26)(27, 28)(33, 34)(35,
36)(37, 38)(39, 40)(41, 42)(43, 44)(45, 46)(47, 48)(65, 69)(66, 70)(67, 71)(68,
72)(73, 77)(74, 78)(75, 79)(76, 80)(81, 85)(82, 86)(83, 87)(84, 88)(89, 93)(90,
94)(91, 95)(92, 96)(97, 105)(98, 106)(99, 107)(100, 108)(101, 109)(102,
110)(103, 111)(104, 112)(113, 121)(114, 122)(115, 123)(116, 124)(117, 125)(118,
126)(119, 127)(120, 128)(129, 146)(130, 145)(131, 148)(132, 147)(133, 150)(134,
149)(135, 152)(136, 151)(137, 153)(138, 154)(139, 155)(140, 156)(141, 157)(142,
158)(143, 159)(144, 160)(193, 198)(194, 197)(195, 196)(199, 200)(201, 206)(202,
205)(203, 204)(207, 208)(209, 214)(210, 213)(211, 212)(215, 216)(217, 222)(218,
221)(219, 220)(223, 224)(225, 233)(226, 234)(227, 235)(228, 236)(229, 237)(230,
238)(231, 239)(232, 240)(241, 249)(242, 250)(243, 251)(244, 252)(245, 253)(246,
254)(247, 255)(248, 256)(257, 273)(258, 274)(259, 275)(260, 276)(261, 277)(262,
278)(263, 279)(264, 280)(265, 281)(266, 282)(267, 283)(268, 284)(269, 285)(270,
286)(271, 287)(272, 288)(289, 290)(291, 296)(292, 295)(293, 294)(297, 298)(299,
304)(300, 303)(301, 302)(305, 310)(306, 309)(307, 308)(311, 312)(313, 318)(314,
317)(315, 316)(319, 320)
d: (1, 9)(2, 10)(3, 11)(4, 12)(5, 13)(6, 14)(7, 15)(8, 16)(17, 25)(18, 26)(19,
27)(20, 28)(21, 29)(22, 30)(23, 31)(24, 32)(33, 49)(34, 50)(35, 51)(36, 52)(37,
53)(38, 54)(39, 55)(40, 56)(41, 57)(42, 58)(43, 59)(44, 60)(45, 61)(46, 62)(47,
63)(48, 64)(69, 72)(70, 71)(77, 80)(78, 79)(85, 88)(86, 87)(93, 96)(94, 95)(97,
98)(99, 100)(105, 106)(107, 108)(109, 110)(111, 112)(117, 118)(119, 120)(129,
133)(130, 134)(131, 135)(132, 136)(137, 144)(138, 143)(139, 142)(140, 141)(145,
149)(146, 150)(147, 151)(148, 152)(153, 157)(154, 158)(155, 159)(156, 160)(161,
177)(162, 178)(163, 179)(164, 180)(165, 181)(166, 182)(167, 183)(168, 184)(169,
185)(170, 186)(171, 187)(172, 188)(173, 189)(174, 190)(175, 191)(176, 192)(193,
196)(194, 195)(197, 200)(198, 199)(201, 204)(202, 203)(205, 208)(206, 207)(209,
212)(210, 211)(213, 216)(214, 215)(217, 220)(218, 219)(221, 224)(222, 223)(257,
262)(258, 261)(259, 260)(263, 264)(265, 266)(267, 272)(268, 271)(269, 270)(273,
278)(274, 277)(275, 276)(279, 280)(281, 286)(282, 285)(283, 284)(287, 288)(289,
297)(290, 298)(291, 299)(292, 300)(293, 301)(294, 302)(295, 303)(296, 304)(305,
313)(306, 314)(307, 315)(308, 316)(309, 317)(310, 318)(311, 319)(312, 320)
e: (105, 106)(107, 108)(121, 122)(123, 124)(145, 148)(146, 147)(149, 152)(150,
151)(273, 277)(274, 278)(275, 279)(276, 280)
f: (65, 66)(67, 68)(81, 82)(83, 84)(97, 100)(98, 99)(101, 104)(102, 103)(225,
229)(226, 230)(227, 231)(228, 232)
g: (97, 98)(99, 100)(113, 114)(115, 116)(129, 132)(130, 131)(133, 136)(134,
135)(257, 261)(258, 262)(259, 263)(260, 264)
h: (33, 34)(35, 36)(49, 50)(51, 52)(65, 68)(66, 67)(69, 72)(70, 71)(193,
197)(194, 198)(195, 199)(196, 200)
m: (73, 74)(75, 76)(89, 90)(91, 92)(113, 116)(114, 115)(117, 120)(118, 119)(241,
245)(242, 246)(243, 247)(244, 248)
n1: (41, 42)(43, 44)(57, 58)(59, 60)(65, 66)(67, 68)(81, 83)(82, 84)(85, 88)(86,
87)(97, 100)(98, 99)(101, 104)(102, 103)(209, 213)(210, 214)(211, 215)(212,
216)(225, 229)(226, 230)(227, 231)(228, 232)
a1: (17, 18)(19, 20)(21, 22)(23, 24)(137, 138)(139, 140)(153, 154)(155,
156)(305, 309)(306, 310)(307, 311)(308, 312)
b1: (69, 70)(71, 72)(85, 86)(87, 88)(105, 108)(106, 107)(109, 112)(110,
111)(233, 237)(234, 238)(235, 239)(236, 240)
c1: (101, 102)(103, 104)(117, 118)(119, 120)(137, 140)(138, 139)(141, 144)(142,
143)(265, 269)(266, 270)(267, 271)(268, 272)
d1: (37, 38)(39, 40)(53, 54)(55, 56)(73, 76)(74, 75)(77, 80)(78, 79)(201,
205)(202, 206)(203, 207)(204, 208)
e1: (1, 2)(3, 4)(5, 6)(7, 8)(129, 130)(131, 132)(145, 146)(147, 148)(289,
293)(290, 294)(291, 295)(292, 296)
f1: (25, 26)(27, 28)(29, 30)(31, 32)(141, 142)(143, 144)(157, 158)(159,
160)(313, 317)(314, 318)(315, 319)(316, 320)
g1: (109, 110)(111, 112)(125, 126)(127, 128)(153, 156)(154, 155)(157, 160)(158,
159)(281, 285)(282, 286)(283, 287)(284, 288)
h1: (1, 5)(2, 6)(3, 7)(4, 8)(9, 13)(10, 14)(11, 15)(12, 16)(17, 21)(18, 22)(19,
23)(20, 24)(25, 29)(26, 30)(27, 31)(28, 32)(33, 41)(34, 42)(35, 43)(36, 44)(37,
45)(38, 46)(39, 47)(40, 48)(49, 57)(50, 58)(51, 59)(52, 60)(53, 61)(54, 62)(55,
63)(56, 64)(65, 81)(66, 82)(67, 83)(68, 84)(69, 85)(70, 86)(71, 87)(72, 88)(73,
89)(74, 90)(75, 91)(76, 92)(77, 94)(78, 93)(79, 96)(80, 95)(101, 104)(102,
103)(109, 112)(110, 111)(117, 120)(118, 119)(121, 124)(122, 123)(145, 146)(147,
148)(149, 150)(151, 152)(153, 154)(155, 156)(157, 158)(159, 160)(161, 169)(162,
170)(163, 171)(164, 172)(165, 173)(166, 174)(167, 175)(168, 176)(177, 185)(178,
186)(179, 187)(180, 188)(181, 189)(182, 190)(183, 191)(184, 192)(193, 209)(194,
210)(195, 211)(196, 212)(197, 213)(198, 214)(199, 215)(200, 216)(201, 217)(202,
218)(203, 219)(204, 220)(205, 221)(206, 222)(207, 223)(208, 224)(225, 228)(226,
227)(229, 232)(230, 231)(233, 236)(234, 235)(237, 240)(238, 239)(241, 244)(242,
243)(245, 248)(246, 247)(249, 256)(250, 255)(251, 254)(252, 253)(289, 292)(290,
291)(293, 296)(294, 295)(297, 300)(298, 299)(301, 304)(302, 303)(305, 308)(306,
307)(309, 312)(310, 311)(313, 316)(314, 315)(317, 320)(318, 319)
m1: (1, 33, 68, 100, 131, 3, 35, 66, 98, 129)(2, 36, 65, 97, 130, 4, 34, 67, 99,
132)(5, 40, 69, 101, 133, 6, 37, 72, 104, 136)(7, 38, 71, 103, 135, 8, 39, 70,
102, 134)(9, 41, 76, 108, 139)(10, 44, 73, 105, 138)(11, 43, 74, 106, 137)(12,
42, 75, 107, 140)(13, 48, 77, 109, 142)(14, 45, 80, 112, 143)(15, 46, 79, 111,
144)(16, 47, 78, 110, 141)(17, 52, 81, 113, 145, 20, 51, 82, 114, 146)(18, 49,
84, 116, 148, 19, 50, 83, 115, 147)(21, 53, 88, 120, 151)(22, 56, 85, 117,
150)(23, 55, 86, 118, 149)(24, 54, 87, 119, 152)(25, 60, 89, 121, 153)(26, 57,
92, 124, 156)(27, 58, 91, 123, 155)(28, 59, 90, 122, 154)(29, 61, 96, 128,
160)(30, 64, 93, 125, 157)(31, 63, 94, 126, 158)(32, 62, 95, 127, 159)(161, 197,
229, 261, 291, 165, 193, 225, 257, 295)(162, 198, 230, 262, 290, 166, 194, 226,
258, 294)(163, 199, 231, 263, 289, 167, 195, 227, 259, 293)(164, 200, 232, 264,
296, 168, 196, 228, 260, 292)(169, 205, 237, 269, 303)(170, 206, 238, 270,
302)(171, 207, 239, 271, 301)(172, 208, 240, 272, 300)(173, 201, 233, 265,
299)(174, 202, 234, 266, 298)(175, 203, 235, 267, 297)(176, 204, 236, 268,
304)(177, 213, 245, 277, 307)(178, 214, 246, 278, 306)(179, 215, 247, 279,
305)(180, 216, 248, 280, 312)(181, 209, 241, 273, 311)(182, 210, 242, 274,
310)(183, 211, 243, 275, 309)(184, 212, 244, 276, 308)(185, 221, 253, 285,
315)(186, 222, 254, 286, 314)(187, 223, 255, 287, 313)(188, 224, 256, 288,
320)(189, 217, 249, 281, 319)(190, 218, 250, 282, 318)(191, 219, 251, 283,
317)(192, 220, 252, 284, 316)
n2: (9, 11)(10, 12)(13, 14)(15, 16)(25, 28)(26, 27)(49, 52)(50, 51)(53, 56)(54,
55)(133, 134)(135, 136)(149, 150)(151, 152)(177, 181)(178, 182)(179, 183)(180,
184)(297, 301)(298, 302)(299, 303)(300, 304)
a2: (13, 16)(14, 15)(25, 26)(27, 28)(29, 31)(30, 32)(57, 60)(58, 59)(61, 64)(62,
63)(141, 142)(143, 144)(157, 158)(159, 160)(185, 189)(186, 190)(187, 191)(188,
192)(313, 317)(314, 318)(315, 319)(316, 320)
b2: (5, 8)(6, 7)(13, 16)(14, 15)(17, 20)(18, 19)(25, 28)(26, 27)(33, 40)(34,
39)(35, 38)(36, 37)(41, 45)(42, 46)(43, 47)(44, 48)(49, 56)(50, 55)(51, 54)(52,
53)(57, 61)(58, 62)(59, 63)(60, 64)(65, 73)(66, 74)(67, 75)(68, 76)(69, 77)(70,
78)(71, 79)(72, 80)(81, 89)(82, 90)(83, 91)(84, 92)(85, 93)(86, 94)(87, 95)(88,
96)(97, 113)(98, 114)(99, 115)(100, 116)(101, 117)(102, 118)(103, 119)(104,
120)(105, 121)(106, 122)(107, 123)(108, 124)(109, 125)(110, 126)(111, 127)(112,
128)(133, 136)(134, 135)(141, 144)(142, 143)(149, 152)(150, 151)(157, 160)(158,
159)(161, 162)(163, 168)(164, 167)(165, 166)(169, 174)(170, 173)(171, 172)(175,
176)(177, 178)(179, 184)(180, 183)(181, 182)(185, 190)(186, 189)(187, 188)(191,
192)(193, 201)(194, 202)(195, 203)(196, 204)(197, 205)(198, 206)(199, 207)(200,
208)(209, 217)(210, 218)(211, 219)(212, 220)(213, 221)(214, 222)(215, 223)(216,
224)(225, 241)(226, 242)(227, 243)(228, 244)(229, 245)(230, 246)(231, 247)(232,
248)(233, 249)(234, 250)(235, 251)(236, 252)(237, 253)(238, 254)(239, 255)(240,
256)(257, 260)(258, 259)(261, 264)(262, 263)(265, 268)(266, 267)(269, 272)(270,
271)(273, 276)(274, 275)(277, 280)(278, 279)(281, 284)(282, 283)(285, 288)(286,
287)
c2: (45, 46)(47, 48)(61, 62)(63, 64)(73, 74)(75, 76)(89, 91)(90, 92)(93, 96)(94,
95)(113, 116)(114, 115)(117, 120)(118, 119)(217, 221)(218, 222)(219, 223)(220,
224)(241, 245)(242, 246)(243, 247)(244, 248)
d2: (5, 8)(6, 7)(17, 18)(19, 20)(21, 23)(22, 24)(41, 44)(42, 43)(45, 48)(46,
47)(137, 138)(139, 140)(153, 154)(155, 156)(169, 173)(170, 174)(171, 175)(172,
176)(305, 309)(306, 310)(307, 311)(308, 312)
e2: (2, 4)(5, 17)(6, 20)(7, 19)(8, 18)(10, 12)(13, 25)(14, 28)(15, 27)(16,
26)(22, 24)(30, 32)(33, 129)(34, 132)(35, 131)(36, 130)(37, 148, 38, 145)(39,
146, 40, 147)(41, 137, 42, 140)(43, 139, 44, 138)(45, 153, 46, 156)(47, 155, 48,
154)(49, 136)(50, 133)(51, 134)(52, 135)(53, 149, 54, 152)(55, 151, 56, 150)(57,
144, 58, 141)(59, 142, 60, 143)(61, 160, 62, 157)(63, 158, 64, 159)(65, 100)(66,
97)(67, 98)(68, 99)(69, 114, 70, 115)(71, 116, 72, 113)(73, 107, 75, 105)(74,
106, 76, 108)(77, 124, 80, 123)(78, 121, 79, 122)(81, 101, 84, 102)(82, 104, 83,
103)(85, 119, 87, 117)(86, 118, 88, 120)(89, 109, 91, 111)(90, 112, 92, 110)(93,
126, 96, 125)(94, 127, 95, 128)(161, 293)(162, 294)(163, 295)(164, 296)(165,
289)(166, 290)(167, 291)(168, 292)(169, 309)(170, 310)(171, 311)(172, 312)(173,
305)(174, 306)(175, 307)(176, 308)(177, 301)(178, 302)(179, 303)(180, 304)(181,
297)(182, 298)(183, 299)(184, 300)(185, 317)(186, 318)(187, 319)(188, 320)(189,
313)(190, 314)(191, 315)(192, 316)(193, 263)(194, 262)(195, 261)(196, 260)(197,
259)(198, 258)(199, 257)(200, 264)(201, 275, 205, 279)(202, 274, 206, 278)(203,
273, 207, 277)(204, 280, 208, 276)(209, 271, 213, 267)(210, 270, 214, 266)(211,
269, 215, 265)(212, 268, 216, 272)(217, 287, 221, 283)(218, 286, 222, 282)(219,
285, 223, 281)(220, 284, 224, 288)(225, 227)(228, 232)(229, 231)(233, 247, 237,
243)(234, 246, 238, 242)(235, 245, 239, 241)(236, 244, 240, 248)(249, 251)(252,
256)(253, 255)
C4[ 320, 162 ]
320
-1 161 293 162 294
-2 289 290 161 162
-3 165 166 289 290
-4 165 166 293 294
-5 169 170 295 296
-6 169 170 291 292
-7 291 292 173 174
-8 173 174 295 296
-9 177 178 301 302
-10 297 177 298 178
-11 297 298 181 182
-12 301 181 302 182
-13 303 304 185 186
-14 299 300 185 186
-15 189 299 190 300
-16 189 190 303 304
-17 309 310 163 164
-18 305 163 306 164
-19 167 168 305 306
-20 309 167 310 168
-21 311 312 171 172
-22 308 171 172 307
-23 176 308 175 307
-24 176 311 312 175
-25 179 180 317 318
-26 179 180 313 314
-27 313 314 183 184
-28 183 184 317 318
-29 187 319 188 320
-30 187 188 315 316
-31 191 192 315 316
-32 319 320 191 192
-33 198 162 163 197
-34 193 194 162 163
-35 166 167 193 194
-36 198 166 167 197
-37 165 205 206 164
-38 165 201 202 164
-39 168 201 202 161
-40 168 161 205 206
-41 213 170 214 171
-42 209 210 170 171
-43 209 210 174 175
-44 213 214 174 175
-45 221 222 172 173
-46 172 173 217 218
-47 176 169 217 218
-48 176 221 222 169
-49 199 178 200 179
-50 178 179 195 196
-51 182 183 195 196
-52 199 200 182 183
-53 180 181 207 208
-54 180 181 203 204
-55 177 203 204 184
-56 177 184 207 208
-57 187 215 216 186
-58 187 211 212 186
-59 211 190 212 191
-60 190 191 215 216
-61 188 189 223 224
-62 220 188 189 219
-63 220 192 185 219
-64 223 224 192 185
-65 194 195 229 230
-66 225 226 194 195
-67 198 199 225 226
-68 198 199 229 230
-69 237 238 196 197
-70 233 234 196 197
-71 200 233 234 193
-72 200 193 237 238
-73 245 202 246 203
-74 242 202 203 241
-75 242 206 207 241
-76 245 246 206 207
-77 253 254 204 205
-78 204 205 249 250
-79 201 249 250 208
-80 253 254 201 208
-81 231 210 232 211
-82 210 211 227 228
-83 214 215 227 228
-84 231 232 214 215
-85 212 213 239 240
-86 212 213 235 236
-87 209 235 236 216
-88 209 216 239 240
-89 247 248 218 219
-90 243 244 218 219
-91 243 222 244 223
-92 222 223 247 248
-93 220 221 255 256
-94 220 221 251 252
-95 224 217 251 252
-96 255 256 224 217
-97 226 227 261 262
-98 257 258 226 227
-99 231 257 258 230
-100 231 261 262 230
-101 269 270 228 229
-102 265 266 228 229
-103 232 265 266 225
-104 232 225 269 270
-105 277 234 278 235
-106 234 235 273 274
-107 238 239 273 274
-108 277 278 238 239
-109 286 236 237 285
-110 236 237 281 282
-111 233 281 282 240
-112 286 233 240 285
-113 242 264 243 263
-114 242 243 259 260
-115 246 247 259 260
-116 264 246 247 263
-117 244 245 271 272
-118 244 245 267 268
-119 267 268 248 241
-120 248 271 272 241
-121 279 280 250 251
-122 275 276 250 251
-123 275 254 276 255
-124 254 255 279 280
-125 253 287 288 252
-126 253 283 284 252
-127 256 249 283 284
-128 287 288 256 249
-129 258 259 294 295
-130 290 258 291 259
-131 290 291 262 263
-132 294 262 295 263
-133 302 303 260 261
-134 298 299 260 261
-135 264 298 299 257
-136 264 257 302 303
-137 266 310 267 311
-138 266 267 306 307
-139 270 271 306 307
-140 310 311 270 271
-141 319 268 269 318
-142 268 269 314 315
-143 265 314 315 272
-144 319 265 272 318
-145 275 289 274 296
-146 275 292 293 274
-147 278 279 292 293
-148 278 289 279 296
-149 297 276 277 304
-150 276 277 300 301
-151 300 301 280 273
-152 297 280 304 273
-153 312 282 283 305
-154 308 309 282 283
-155 286 308 287 309
-156 286 287 312 305
-157 320 313 284 285
-158 316 284 317 285
-159 288 281 316 317
-160 320 288 313 281
-161 1 2 39 40
-162 33 1 34 2
-163 33 34 17 18
-164 37 38 17 18
-165 3 4 37 38
-166 35 3 36 4
-167 35 36 19 20
-168 39 40 19 20
-169 47 48 5 6
-170 5 6 41 42
-171 22 41 42 21
-172 22 45 46 21
-173 45 46 7 8
-174 44 7 8 43
-175 44 23 24 43
-176 23 24 47 48
-177 55 56 9 10
-178 49 50 9 10
-179 25 26 49 50
-180 25 26 53 54
-181 11 12 53 54
-182 11 12 51 52
-183 27 28 51 52
-184 55 56 27 28
-185 13 14 63 64
-186 13 57 14 58
-187 57 58 29 30
-188 61 29 62 30
-189 15 16 61 62
-190 15 59 16 60
-191 59 60 31 32
-192 63 31 64 32
-193 34 35 71 72
-194 66 34 35 65
-195 66 50 51 65
-196 69 70 50 51
-197 33 36 69 70
-198 33 67 68 36
-199 67 68 49 52
-200 49 71 72 52
-201 79 80 38 39
-202 38 39 73 74
-203 55 73 74 54
-204 55 77 78 54
-205 77 78 37 40
-206 37 40 75 76
-207 56 53 75 76
-208 56 79 80 53
-209 88 42 43 87
-210 81 82 42 43
-211 58 59 81 82
-212 58 59 85 86
-213 44 41 85 86
-214 44 83 84 41
-215 57 60 83 84
-216 88 57 60 87
-217 46 47 95 96
-218 89 46 90 47
-219 89 90 62 63
-220 93 94 62 63
-221 45 48 93 94
-222 45 91 48 92
-223 91 92 61 64
-224 61 95 96 64
-225 66 67 103 104
-226 66 67 97 98
-227 82 83 97 98
-228 101 102 82 83
-229 68 101 102 65
-230 99 100 68 65
-231 99 100 81 84
-232 81 103 104 84
-233 111 112 70 71
-234 70 71 105 106
-235 105 106 86 87
-236 110 86 87 109
-237 110 69 72 109
-238 69 72 107 108
-239 88 85 107 108
-240 88 111 112 85
-241 74 75 119 120
-242 113 114 74 75
-243 90 91 113 114
-244 90 91 117 118
-245 73 117 118 76
-246 115 116 73 76
-247 89 92 115 116
-248 89 92 119 120
-249 78 79 127 128
-250 121 78 122 79
-251 121 122 94 95
-252 125 126 94 95
-253 77 80 125 126
-254 77 123 80 124
-255 123 124 93 96
-256 93 127 128 96
-257 99 135 136 98
-258 99 129 130 98
-259 114 115 129 130
-260 133 134 114 115
-261 100 133 134 97
-262 132 100 97 131
-263 132 113 116 131
-264 113 135 136 116
-265 143 144 102 103
-266 102 103 137 138
-267 137 138 118 119
-268 118 119 141 142
-269 101 104 141 142
-270 101 104 139 140
-271 117 139 140 120
-272 143 144 117 120
-273 106 107 151 152
-274 145 146 106 107
-275 122 123 145 146
-276 122 123 149 150
-277 105 149 150 108
-278 147 148 105 108
-279 121 124 147 148
-280 121 124 151 152
-281 110 111 159 160
-282 110 154 111 153
-283 154 126 127 153
-284 157 158 126 127
-285 112 157 158 109
-286 155 112 156 109
-287 155 156 125 128
-288 125 159 160 128
-289 2 145 3 148
-290 2 3 130 131
-291 6 7 130 131
-292 146 147 6 7
-293 1 146 4 147
-294 132 1 4 129
-295 132 5 8 129
-296 145 5 148 8
-297 11 149 152 10
-298 11 134 135 10
-299 134 14 135 15
-300 14 15 150 151
-301 12 150 151 9
-302 12 133 136 9
-303 133 13 136 16
-304 13 16 149 152
-305 156 18 19 153
-306 138 18 139 19
-307 22 23 138 139
-308 22 154 23 155
-309 154 155 17 20
-310 137 17 140 20
-311 24 137 140 21
-312 24 156 21 153
-313 157 26 27 160
-314 143 26 27 142
-315 143 30 31 142
-316 158 159 30 31
-317 25 158 159 28
-318 144 25 28 141
-319 144 29 141 32
-320 157 160 29 32
0