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