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