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