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