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