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