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