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