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