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