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