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