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