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