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