Polytope of Type {12,51}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {12,51}*1632
if this polytope has a name.
Group : SmallGroup(1632,957)
Rank : 3
Schlafli Type : {12,51}
Number of vertices, edges, etc : 16, 408, 68
Order of s0s1s2 : 136
Order of s0s1s2s1 : 12
Special Properties :
Compact Hyperbolic Quotient
Locally Spherical
Orientable
Related Polytopes :
Facet
Vertex Figure
Dual
Facet Of :
None in this Atlas
Vertex Figure Of :
None in this Atlas
Quotients (Maximal Quotients in Boldface) :
2-fold quotients : {6,51}*816
17-fold quotients : {12,3}*96
24-fold quotients : {2,17}*68
34-fold quotients : {6,3}*48
68-fold quotients : {3,3}*24
Covers (Minimal Covers in Boldface) :
None in this atlas.
Permutation Representation (GAP) :
s0 := ( 1, 409)( 2, 410)( 3, 412)( 4, 411)( 5, 415)( 6, 416)
( 7, 413)( 8, 414)( 9, 417)( 10, 418)( 11, 420)( 12, 419)( 13, 423)
( 14, 424)( 15, 421)( 16, 422)( 17, 425)( 18, 426)( 19, 428)( 20, 427)
( 21, 431)( 22, 432)( 23, 429)( 24, 430)( 25, 433)( 26, 434)( 27, 436)
( 28, 435)( 29, 439)( 30, 440)( 31, 437)( 32, 438)( 33, 441)( 34, 442)
( 35, 444)( 36, 443)( 37, 447)( 38, 448)( 39, 445)( 40, 446)( 41, 449)
( 42, 450)( 43, 452)( 44, 451)( 45, 455)( 46, 456)( 47, 453)( 48, 454)
( 49, 457)( 50, 458)( 51, 460)( 52, 459)( 53, 463)( 54, 464)( 55, 461)
( 56, 462)( 57, 465)( 58, 466)( 59, 468)( 60, 467)( 61, 471)( 62, 472)
( 63, 469)( 64, 470)( 65, 473)( 66, 474)( 67, 476)( 68, 475)( 69, 479)
( 70, 480)( 71, 477)( 72, 478)( 73, 481)( 74, 482)( 75, 484)( 76, 483)
( 77, 487)( 78, 488)( 79, 485)( 80, 486)( 81, 489)( 82, 490)( 83, 492)
( 84, 491)( 85, 495)( 86, 496)( 87, 493)( 88, 494)( 89, 497)( 90, 498)
( 91, 500)( 92, 499)( 93, 503)( 94, 504)( 95, 501)( 96, 502)( 97, 505)
( 98, 506)( 99, 508)( 100, 507)( 101, 511)( 102, 512)( 103, 509)( 104, 510)
( 105, 513)( 106, 514)( 107, 516)( 108, 515)( 109, 519)( 110, 520)( 111, 517)
( 112, 518)( 113, 521)( 114, 522)( 115, 524)( 116, 523)( 117, 527)( 118, 528)
( 119, 525)( 120, 526)( 121, 529)( 122, 530)( 123, 532)( 124, 531)( 125, 535)
( 126, 536)( 127, 533)( 128, 534)( 129, 537)( 130, 538)( 131, 540)( 132, 539)
( 133, 543)( 134, 544)( 135, 541)( 136, 542)( 137, 681)( 138, 682)( 139, 684)
( 140, 683)( 141, 687)( 142, 688)( 143, 685)( 144, 686)( 145, 689)( 146, 690)
( 147, 692)( 148, 691)( 149, 695)( 150, 696)( 151, 693)( 152, 694)( 153, 697)
( 154, 698)( 155, 700)( 156, 699)( 157, 703)( 158, 704)( 159, 701)( 160, 702)
( 161, 705)( 162, 706)( 163, 708)( 164, 707)( 165, 711)( 166, 712)( 167, 709)
( 168, 710)( 169, 713)( 170, 714)( 171, 716)( 172, 715)( 173, 719)( 174, 720)
( 175, 717)( 176, 718)( 177, 721)( 178, 722)( 179, 724)( 180, 723)( 181, 727)
( 182, 728)( 183, 725)( 184, 726)( 185, 729)( 186, 730)( 187, 732)( 188, 731)
( 189, 735)( 190, 736)( 191, 733)( 192, 734)( 193, 737)( 194, 738)( 195, 740)
( 196, 739)( 197, 743)( 198, 744)( 199, 741)( 200, 742)( 201, 745)( 202, 746)
( 203, 748)( 204, 747)( 205, 751)( 206, 752)( 207, 749)( 208, 750)( 209, 753)
( 210, 754)( 211, 756)( 212, 755)( 213, 759)( 214, 760)( 215, 757)( 216, 758)
( 217, 761)( 218, 762)( 219, 764)( 220, 763)( 221, 767)( 222, 768)( 223, 765)
( 224, 766)( 225, 769)( 226, 770)( 227, 772)( 228, 771)( 229, 775)( 230, 776)
( 231, 773)( 232, 774)( 233, 777)( 234, 778)( 235, 780)( 236, 779)( 237, 783)
( 238, 784)( 239, 781)( 240, 782)( 241, 785)( 242, 786)( 243, 788)( 244, 787)
( 245, 791)( 246, 792)( 247, 789)( 248, 790)( 249, 793)( 250, 794)( 251, 796)
( 252, 795)( 253, 799)( 254, 800)( 255, 797)( 256, 798)( 257, 801)( 258, 802)
( 259, 804)( 260, 803)( 261, 807)( 262, 808)( 263, 805)( 264, 806)( 265, 809)
( 266, 810)( 267, 812)( 268, 811)( 269, 815)( 270, 816)( 271, 813)( 272, 814)
( 273, 545)( 274, 546)( 275, 548)( 276, 547)( 277, 551)( 278, 552)( 279, 549)
( 280, 550)( 281, 553)( 282, 554)( 283, 556)( 284, 555)( 285, 559)( 286, 560)
( 287, 557)( 288, 558)( 289, 561)( 290, 562)( 291, 564)( 292, 563)( 293, 567)
( 294, 568)( 295, 565)( 296, 566)( 297, 569)( 298, 570)( 299, 572)( 300, 571)
( 301, 575)( 302, 576)( 303, 573)( 304, 574)( 305, 577)( 306, 578)( 307, 580)
( 308, 579)( 309, 583)( 310, 584)( 311, 581)( 312, 582)( 313, 585)( 314, 586)
( 315, 588)( 316, 587)( 317, 591)( 318, 592)( 319, 589)( 320, 590)( 321, 593)
( 322, 594)( 323, 596)( 324, 595)( 325, 599)( 326, 600)( 327, 597)( 328, 598)
( 329, 601)( 330, 602)( 331, 604)( 332, 603)( 333, 607)( 334, 608)( 335, 605)
( 336, 606)( 337, 609)( 338, 610)( 339, 612)( 340, 611)( 341, 615)( 342, 616)
( 343, 613)( 344, 614)( 345, 617)( 346, 618)( 347, 620)( 348, 619)( 349, 623)
( 350, 624)( 351, 621)( 352, 622)( 353, 625)( 354, 626)( 355, 628)( 356, 627)
( 357, 631)( 358, 632)( 359, 629)( 360, 630)( 361, 633)( 362, 634)( 363, 636)
( 364, 635)( 365, 639)( 366, 640)( 367, 637)( 368, 638)( 369, 641)( 370, 642)
( 371, 644)( 372, 643)( 373, 647)( 374, 648)( 375, 645)( 376, 646)( 377, 649)
( 378, 650)( 379, 652)( 380, 651)( 381, 655)( 382, 656)( 383, 653)( 384, 654)
( 385, 657)( 386, 658)( 387, 660)( 388, 659)( 389, 663)( 390, 664)( 391, 661)
( 392, 662)( 393, 665)( 394, 666)( 395, 668)( 396, 667)( 397, 671)( 398, 672)
( 399, 669)( 400, 670)( 401, 673)( 402, 674)( 403, 676)( 404, 675)( 405, 679)
( 406, 680)( 407, 677)( 408, 678)( 817,1225)( 818,1226)( 819,1228)( 820,1227)
( 821,1231)( 822,1232)( 823,1229)( 824,1230)( 825,1233)( 826,1234)( 827,1236)
( 828,1235)( 829,1239)( 830,1240)( 831,1237)( 832,1238)( 833,1241)( 834,1242)
( 835,1244)( 836,1243)( 837,1247)( 838,1248)( 839,1245)( 840,1246)( 841,1249)
( 842,1250)( 843,1252)( 844,1251)( 845,1255)( 846,1256)( 847,1253)( 848,1254)
( 849,1257)( 850,1258)( 851,1260)( 852,1259)( 853,1263)( 854,1264)( 855,1261)
( 856,1262)( 857,1265)( 858,1266)( 859,1268)( 860,1267)( 861,1271)( 862,1272)
( 863,1269)( 864,1270)( 865,1273)( 866,1274)( 867,1276)( 868,1275)( 869,1279)
( 870,1280)( 871,1277)( 872,1278)( 873,1281)( 874,1282)( 875,1284)( 876,1283)
( 877,1287)( 878,1288)( 879,1285)( 880,1286)( 881,1289)( 882,1290)( 883,1292)
( 884,1291)( 885,1295)( 886,1296)( 887,1293)( 888,1294)( 889,1297)( 890,1298)
( 891,1300)( 892,1299)( 893,1303)( 894,1304)( 895,1301)( 896,1302)( 897,1305)
( 898,1306)( 899,1308)( 900,1307)( 901,1311)( 902,1312)( 903,1309)( 904,1310)
( 905,1313)( 906,1314)( 907,1316)( 908,1315)( 909,1319)( 910,1320)( 911,1317)
( 912,1318)( 913,1321)( 914,1322)( 915,1324)( 916,1323)( 917,1327)( 918,1328)
( 919,1325)( 920,1326)( 921,1329)( 922,1330)( 923,1332)( 924,1331)( 925,1335)
( 926,1336)( 927,1333)( 928,1334)( 929,1337)( 930,1338)( 931,1340)( 932,1339)
( 933,1343)( 934,1344)( 935,1341)( 936,1342)( 937,1345)( 938,1346)( 939,1348)
( 940,1347)( 941,1351)( 942,1352)( 943,1349)( 944,1350)( 945,1353)( 946,1354)
( 947,1356)( 948,1355)( 949,1359)( 950,1360)( 951,1357)( 952,1358)( 953,1497)
( 954,1498)( 955,1500)( 956,1499)( 957,1503)( 958,1504)( 959,1501)( 960,1502)
( 961,1505)( 962,1506)( 963,1508)( 964,1507)( 965,1511)( 966,1512)( 967,1509)
( 968,1510)( 969,1513)( 970,1514)( 971,1516)( 972,1515)( 973,1519)( 974,1520)
( 975,1517)( 976,1518)( 977,1521)( 978,1522)( 979,1524)( 980,1523)( 981,1527)
( 982,1528)( 983,1525)( 984,1526)( 985,1529)( 986,1530)( 987,1532)( 988,1531)
( 989,1535)( 990,1536)( 991,1533)( 992,1534)( 993,1537)( 994,1538)( 995,1540)
( 996,1539)( 997,1543)( 998,1544)( 999,1541)(1000,1542)(1001,1545)(1002,1546)
(1003,1548)(1004,1547)(1005,1551)(1006,1552)(1007,1549)(1008,1550)(1009,1553)
(1010,1554)(1011,1556)(1012,1555)(1013,1559)(1014,1560)(1015,1557)(1016,1558)
(1017,1561)(1018,1562)(1019,1564)(1020,1563)(1021,1567)(1022,1568)(1023,1565)
(1024,1566)(1025,1569)(1026,1570)(1027,1572)(1028,1571)(1029,1575)(1030,1576)
(1031,1573)(1032,1574)(1033,1577)(1034,1578)(1035,1580)(1036,1579)(1037,1583)
(1038,1584)(1039,1581)(1040,1582)(1041,1585)(1042,1586)(1043,1588)(1044,1587)
(1045,1591)(1046,1592)(1047,1589)(1048,1590)(1049,1593)(1050,1594)(1051,1596)
(1052,1595)(1053,1599)(1054,1600)(1055,1597)(1056,1598)(1057,1601)(1058,1602)
(1059,1604)(1060,1603)(1061,1607)(1062,1608)(1063,1605)(1064,1606)(1065,1609)
(1066,1610)(1067,1612)(1068,1611)(1069,1615)(1070,1616)(1071,1613)(1072,1614)
(1073,1617)(1074,1618)(1075,1620)(1076,1619)(1077,1623)(1078,1624)(1079,1621)
(1080,1622)(1081,1625)(1082,1626)(1083,1628)(1084,1627)(1085,1631)(1086,1632)
(1087,1629)(1088,1630)(1089,1361)(1090,1362)(1091,1364)(1092,1363)(1093,1367)
(1094,1368)(1095,1365)(1096,1366)(1097,1369)(1098,1370)(1099,1372)(1100,1371)
(1101,1375)(1102,1376)(1103,1373)(1104,1374)(1105,1377)(1106,1378)(1107,1380)
(1108,1379)(1109,1383)(1110,1384)(1111,1381)(1112,1382)(1113,1385)(1114,1386)
(1115,1388)(1116,1387)(1117,1391)(1118,1392)(1119,1389)(1120,1390)(1121,1393)
(1122,1394)(1123,1396)(1124,1395)(1125,1399)(1126,1400)(1127,1397)(1128,1398)
(1129,1401)(1130,1402)(1131,1404)(1132,1403)(1133,1407)(1134,1408)(1135,1405)
(1136,1406)(1137,1409)(1138,1410)(1139,1412)(1140,1411)(1141,1415)(1142,1416)
(1143,1413)(1144,1414)(1145,1417)(1146,1418)(1147,1420)(1148,1419)(1149,1423)
(1150,1424)(1151,1421)(1152,1422)(1153,1425)(1154,1426)(1155,1428)(1156,1427)
(1157,1431)(1158,1432)(1159,1429)(1160,1430)(1161,1433)(1162,1434)(1163,1436)
(1164,1435)(1165,1439)(1166,1440)(1167,1437)(1168,1438)(1169,1441)(1170,1442)
(1171,1444)(1172,1443)(1173,1447)(1174,1448)(1175,1445)(1176,1446)(1177,1449)
(1178,1450)(1179,1452)(1180,1451)(1181,1455)(1182,1456)(1183,1453)(1184,1454)
(1185,1457)(1186,1458)(1187,1460)(1188,1459)(1189,1463)(1190,1464)(1191,1461)
(1192,1462)(1193,1465)(1194,1466)(1195,1468)(1196,1467)(1197,1471)(1198,1472)
(1199,1469)(1200,1470)(1201,1473)(1202,1474)(1203,1476)(1204,1475)(1205,1479)
(1206,1480)(1207,1477)(1208,1478)(1209,1481)(1210,1482)(1211,1484)(1212,1483)
(1213,1487)(1214,1488)(1215,1485)(1216,1486)(1217,1489)(1218,1490)(1219,1492)
(1220,1491)(1221,1495)(1222,1496)(1223,1493)(1224,1494);;
s1 := ( 1,1361)( 2,1362)( 3,1367)( 4,1368)( 5,1366)( 6,1365)
( 7,1363)( 8,1364)( 9,1489)( 10,1490)( 11,1495)( 12,1496)( 13,1494)
( 14,1493)( 15,1491)( 16,1492)( 17,1481)( 18,1482)( 19,1487)( 20,1488)
( 21,1486)( 22,1485)( 23,1483)( 24,1484)( 25,1473)( 26,1474)( 27,1479)
( 28,1480)( 29,1478)( 30,1477)( 31,1475)( 32,1476)( 33,1465)( 34,1466)
( 35,1471)( 36,1472)( 37,1470)( 38,1469)( 39,1467)( 40,1468)( 41,1457)
( 42,1458)( 43,1463)( 44,1464)( 45,1462)( 46,1461)( 47,1459)( 48,1460)
( 49,1449)( 50,1450)( 51,1455)( 52,1456)( 53,1454)( 54,1453)( 55,1451)
( 56,1452)( 57,1441)( 58,1442)( 59,1447)( 60,1448)( 61,1446)( 62,1445)
( 63,1443)( 64,1444)( 65,1433)( 66,1434)( 67,1439)( 68,1440)( 69,1438)
( 70,1437)( 71,1435)( 72,1436)( 73,1425)( 74,1426)( 75,1431)( 76,1432)
( 77,1430)( 78,1429)( 79,1427)( 80,1428)( 81,1417)( 82,1418)( 83,1423)
( 84,1424)( 85,1422)( 86,1421)( 87,1419)( 88,1420)( 89,1409)( 90,1410)
( 91,1415)( 92,1416)( 93,1414)( 94,1413)( 95,1411)( 96,1412)( 97,1401)
( 98,1402)( 99,1407)( 100,1408)( 101,1406)( 102,1405)( 103,1403)( 104,1404)
( 105,1393)( 106,1394)( 107,1399)( 108,1400)( 109,1398)( 110,1397)( 111,1395)
( 112,1396)( 113,1385)( 114,1386)( 115,1391)( 116,1392)( 117,1390)( 118,1389)
( 119,1387)( 120,1388)( 121,1377)( 122,1378)( 123,1383)( 124,1384)( 125,1382)
( 126,1381)( 127,1379)( 128,1380)( 129,1369)( 130,1370)( 131,1375)( 132,1376)
( 133,1374)( 134,1373)( 135,1371)( 136,1372)( 137,1225)( 138,1226)( 139,1231)
( 140,1232)( 141,1230)( 142,1229)( 143,1227)( 144,1228)( 145,1353)( 146,1354)
( 147,1359)( 148,1360)( 149,1358)( 150,1357)( 151,1355)( 152,1356)( 153,1345)
( 154,1346)( 155,1351)( 156,1352)( 157,1350)( 158,1349)( 159,1347)( 160,1348)
( 161,1337)( 162,1338)( 163,1343)( 164,1344)( 165,1342)( 166,1341)( 167,1339)
( 168,1340)( 169,1329)( 170,1330)( 171,1335)( 172,1336)( 173,1334)( 174,1333)
( 175,1331)( 176,1332)( 177,1321)( 178,1322)( 179,1327)( 180,1328)( 181,1326)
( 182,1325)( 183,1323)( 184,1324)( 185,1313)( 186,1314)( 187,1319)( 188,1320)
( 189,1318)( 190,1317)( 191,1315)( 192,1316)( 193,1305)( 194,1306)( 195,1311)
( 196,1312)( 197,1310)( 198,1309)( 199,1307)( 200,1308)( 201,1297)( 202,1298)
( 203,1303)( 204,1304)( 205,1302)( 206,1301)( 207,1299)( 208,1300)( 209,1289)
( 210,1290)( 211,1295)( 212,1296)( 213,1294)( 214,1293)( 215,1291)( 216,1292)
( 217,1281)( 218,1282)( 219,1287)( 220,1288)( 221,1286)( 222,1285)( 223,1283)
( 224,1284)( 225,1273)( 226,1274)( 227,1279)( 228,1280)( 229,1278)( 230,1277)
( 231,1275)( 232,1276)( 233,1265)( 234,1266)( 235,1271)( 236,1272)( 237,1270)
( 238,1269)( 239,1267)( 240,1268)( 241,1257)( 242,1258)( 243,1263)( 244,1264)
( 245,1262)( 246,1261)( 247,1259)( 248,1260)( 249,1249)( 250,1250)( 251,1255)
( 252,1256)( 253,1254)( 254,1253)( 255,1251)( 256,1252)( 257,1241)( 258,1242)
( 259,1247)( 260,1248)( 261,1246)( 262,1245)( 263,1243)( 264,1244)( 265,1233)
( 266,1234)( 267,1239)( 268,1240)( 269,1238)( 270,1237)( 271,1235)( 272,1236)
( 273,1497)( 274,1498)( 275,1503)( 276,1504)( 277,1502)( 278,1501)( 279,1499)
( 280,1500)( 281,1625)( 282,1626)( 283,1631)( 284,1632)( 285,1630)( 286,1629)
( 287,1627)( 288,1628)( 289,1617)( 290,1618)( 291,1623)( 292,1624)( 293,1622)
( 294,1621)( 295,1619)( 296,1620)( 297,1609)( 298,1610)( 299,1615)( 300,1616)
( 301,1614)( 302,1613)( 303,1611)( 304,1612)( 305,1601)( 306,1602)( 307,1607)
( 308,1608)( 309,1606)( 310,1605)( 311,1603)( 312,1604)( 313,1593)( 314,1594)
( 315,1599)( 316,1600)( 317,1598)( 318,1597)( 319,1595)( 320,1596)( 321,1585)
( 322,1586)( 323,1591)( 324,1592)( 325,1590)( 326,1589)( 327,1587)( 328,1588)
( 329,1577)( 330,1578)( 331,1583)( 332,1584)( 333,1582)( 334,1581)( 335,1579)
( 336,1580)( 337,1569)( 338,1570)( 339,1575)( 340,1576)( 341,1574)( 342,1573)
( 343,1571)( 344,1572)( 345,1561)( 346,1562)( 347,1567)( 348,1568)( 349,1566)
( 350,1565)( 351,1563)( 352,1564)( 353,1553)( 354,1554)( 355,1559)( 356,1560)
( 357,1558)( 358,1557)( 359,1555)( 360,1556)( 361,1545)( 362,1546)( 363,1551)
( 364,1552)( 365,1550)( 366,1549)( 367,1547)( 368,1548)( 369,1537)( 370,1538)
( 371,1543)( 372,1544)( 373,1542)( 374,1541)( 375,1539)( 376,1540)( 377,1529)
( 378,1530)( 379,1535)( 380,1536)( 381,1534)( 382,1533)( 383,1531)( 384,1532)
( 385,1521)( 386,1522)( 387,1527)( 388,1528)( 389,1526)( 390,1525)( 391,1523)
( 392,1524)( 393,1513)( 394,1514)( 395,1519)( 396,1520)( 397,1518)( 398,1517)
( 399,1515)( 400,1516)( 401,1505)( 402,1506)( 403,1511)( 404,1512)( 405,1510)
( 406,1509)( 407,1507)( 408,1508)( 409, 954)( 410, 953)( 411, 960)( 412, 959)
( 413, 957)( 414, 958)( 415, 956)( 416, 955)( 417,1082)( 418,1081)( 419,1088)
( 420,1087)( 421,1085)( 422,1086)( 423,1084)( 424,1083)( 425,1074)( 426,1073)
( 427,1080)( 428,1079)( 429,1077)( 430,1078)( 431,1076)( 432,1075)( 433,1066)
( 434,1065)( 435,1072)( 436,1071)( 437,1069)( 438,1070)( 439,1068)( 440,1067)
( 441,1058)( 442,1057)( 443,1064)( 444,1063)( 445,1061)( 446,1062)( 447,1060)
( 448,1059)( 449,1050)( 450,1049)( 451,1056)( 452,1055)( 453,1053)( 454,1054)
( 455,1052)( 456,1051)( 457,1042)( 458,1041)( 459,1048)( 460,1047)( 461,1045)
( 462,1046)( 463,1044)( 464,1043)( 465,1034)( 466,1033)( 467,1040)( 468,1039)
( 469,1037)( 470,1038)( 471,1036)( 472,1035)( 473,1026)( 474,1025)( 475,1032)
( 476,1031)( 477,1029)( 478,1030)( 479,1028)( 480,1027)( 481,1018)( 482,1017)
( 483,1024)( 484,1023)( 485,1021)( 486,1022)( 487,1020)( 488,1019)( 489,1010)
( 490,1009)( 491,1016)( 492,1015)( 493,1013)( 494,1014)( 495,1012)( 496,1011)
( 497,1002)( 498,1001)( 499,1008)( 500,1007)( 501,1005)( 502,1006)( 503,1004)
( 504,1003)( 505, 994)( 506, 993)( 507,1000)( 508, 999)( 509, 997)( 510, 998)
( 511, 996)( 512, 995)( 513, 986)( 514, 985)( 515, 992)( 516, 991)( 517, 989)
( 518, 990)( 519, 988)( 520, 987)( 521, 978)( 522, 977)( 523, 984)( 524, 983)
( 525, 981)( 526, 982)( 527, 980)( 528, 979)( 529, 970)( 530, 969)( 531, 976)
( 532, 975)( 533, 973)( 534, 974)( 535, 972)( 536, 971)( 537, 962)( 538, 961)
( 539, 968)( 540, 967)( 541, 965)( 542, 966)( 543, 964)( 544, 963)( 545, 818)
( 546, 817)( 547, 824)( 548, 823)( 549, 821)( 550, 822)( 551, 820)( 552, 819)
( 553, 946)( 554, 945)( 555, 952)( 556, 951)( 557, 949)( 558, 950)( 559, 948)
( 560, 947)( 561, 938)( 562, 937)( 563, 944)( 564, 943)( 565, 941)( 566, 942)
( 567, 940)( 568, 939)( 569, 930)( 570, 929)( 571, 936)( 572, 935)( 573, 933)
( 574, 934)( 575, 932)( 576, 931)( 577, 922)( 578, 921)( 579, 928)( 580, 927)
( 581, 925)( 582, 926)( 583, 924)( 584, 923)( 585, 914)( 586, 913)( 587, 920)
( 588, 919)( 589, 917)( 590, 918)( 591, 916)( 592, 915)( 593, 906)( 594, 905)
( 595, 912)( 596, 911)( 597, 909)( 598, 910)( 599, 908)( 600, 907)( 601, 898)
( 602, 897)( 603, 904)( 604, 903)( 605, 901)( 606, 902)( 607, 900)( 608, 899)
( 609, 890)( 610, 889)( 611, 896)( 612, 895)( 613, 893)( 614, 894)( 615, 892)
( 616, 891)( 617, 882)( 618, 881)( 619, 888)( 620, 887)( 621, 885)( 622, 886)
( 623, 884)( 624, 883)( 625, 874)( 626, 873)( 627, 880)( 628, 879)( 629, 877)
( 630, 878)( 631, 876)( 632, 875)( 633, 866)( 634, 865)( 635, 872)( 636, 871)
( 637, 869)( 638, 870)( 639, 868)( 640, 867)( 641, 858)( 642, 857)( 643, 864)
( 644, 863)( 645, 861)( 646, 862)( 647, 860)( 648, 859)( 649, 850)( 650, 849)
( 651, 856)( 652, 855)( 653, 853)( 654, 854)( 655, 852)( 656, 851)( 657, 842)
( 658, 841)( 659, 848)( 660, 847)( 661, 845)( 662, 846)( 663, 844)( 664, 843)
( 665, 834)( 666, 833)( 667, 840)( 668, 839)( 669, 837)( 670, 838)( 671, 836)
( 672, 835)( 673, 826)( 674, 825)( 675, 832)( 676, 831)( 677, 829)( 678, 830)
( 679, 828)( 680, 827)( 681,1090)( 682,1089)( 683,1096)( 684,1095)( 685,1093)
( 686,1094)( 687,1092)( 688,1091)( 689,1218)( 690,1217)( 691,1224)( 692,1223)
( 693,1221)( 694,1222)( 695,1220)( 696,1219)( 697,1210)( 698,1209)( 699,1216)
( 700,1215)( 701,1213)( 702,1214)( 703,1212)( 704,1211)( 705,1202)( 706,1201)
( 707,1208)( 708,1207)( 709,1205)( 710,1206)( 711,1204)( 712,1203)( 713,1194)
( 714,1193)( 715,1200)( 716,1199)( 717,1197)( 718,1198)( 719,1196)( 720,1195)
( 721,1186)( 722,1185)( 723,1192)( 724,1191)( 725,1189)( 726,1190)( 727,1188)
( 728,1187)( 729,1178)( 730,1177)( 731,1184)( 732,1183)( 733,1181)( 734,1182)
( 735,1180)( 736,1179)( 737,1170)( 738,1169)( 739,1176)( 740,1175)( 741,1173)
( 742,1174)( 743,1172)( 744,1171)( 745,1162)( 746,1161)( 747,1168)( 748,1167)
( 749,1165)( 750,1166)( 751,1164)( 752,1163)( 753,1154)( 754,1153)( 755,1160)
( 756,1159)( 757,1157)( 758,1158)( 759,1156)( 760,1155)( 761,1146)( 762,1145)
( 763,1152)( 764,1151)( 765,1149)( 766,1150)( 767,1148)( 768,1147)( 769,1138)
( 770,1137)( 771,1144)( 772,1143)( 773,1141)( 774,1142)( 775,1140)( 776,1139)
( 777,1130)( 778,1129)( 779,1136)( 780,1135)( 781,1133)( 782,1134)( 783,1132)
( 784,1131)( 785,1122)( 786,1121)( 787,1128)( 788,1127)( 789,1125)( 790,1126)
( 791,1124)( 792,1123)( 793,1114)( 794,1113)( 795,1120)( 796,1119)( 797,1117)
( 798,1118)( 799,1116)( 800,1115)( 801,1106)( 802,1105)( 803,1112)( 804,1111)
( 805,1109)( 806,1110)( 807,1108)( 808,1107)( 809,1098)( 810,1097)( 811,1104)
( 812,1103)( 813,1101)( 814,1102)( 815,1100)( 816,1099);;
s2 := ( 1,1235)( 2,1236)( 3,1233)( 4,1234)( 5,1238)( 6,1237)
( 7,1239)( 8,1240)( 9,1227)( 10,1228)( 11,1225)( 12,1226)( 13,1230)
( 14,1229)( 15,1231)( 16,1232)( 17,1355)( 18,1356)( 19,1353)( 20,1354)
( 21,1358)( 22,1357)( 23,1359)( 24,1360)( 25,1347)( 26,1348)( 27,1345)
( 28,1346)( 29,1350)( 30,1349)( 31,1351)( 32,1352)( 33,1339)( 34,1340)
( 35,1337)( 36,1338)( 37,1342)( 38,1341)( 39,1343)( 40,1344)( 41,1331)
( 42,1332)( 43,1329)( 44,1330)( 45,1334)( 46,1333)( 47,1335)( 48,1336)
( 49,1323)( 50,1324)( 51,1321)( 52,1322)( 53,1326)( 54,1325)( 55,1327)
( 56,1328)( 57,1315)( 58,1316)( 59,1313)( 60,1314)( 61,1318)( 62,1317)
( 63,1319)( 64,1320)( 65,1307)( 66,1308)( 67,1305)( 68,1306)( 69,1310)
( 70,1309)( 71,1311)( 72,1312)( 73,1299)( 74,1300)( 75,1297)( 76,1298)
( 77,1302)( 78,1301)( 79,1303)( 80,1304)( 81,1291)( 82,1292)( 83,1289)
( 84,1290)( 85,1294)( 86,1293)( 87,1295)( 88,1296)( 89,1283)( 90,1284)
( 91,1281)( 92,1282)( 93,1286)( 94,1285)( 95,1287)( 96,1288)( 97,1275)
( 98,1276)( 99,1273)( 100,1274)( 101,1278)( 102,1277)( 103,1279)( 104,1280)
( 105,1267)( 106,1268)( 107,1265)( 108,1266)( 109,1270)( 110,1269)( 111,1271)
( 112,1272)( 113,1259)( 114,1260)( 115,1257)( 116,1258)( 117,1262)( 118,1261)
( 119,1263)( 120,1264)( 121,1251)( 122,1252)( 123,1249)( 124,1250)( 125,1254)
( 126,1253)( 127,1255)( 128,1256)( 129,1243)( 130,1244)( 131,1241)( 132,1242)
( 133,1246)( 134,1245)( 135,1247)( 136,1248)( 137,1507)( 138,1508)( 139,1505)
( 140,1506)( 141,1510)( 142,1509)( 143,1511)( 144,1512)( 145,1499)( 146,1500)
( 147,1497)( 148,1498)( 149,1502)( 150,1501)( 151,1503)( 152,1504)( 153,1627)
( 154,1628)( 155,1625)( 156,1626)( 157,1630)( 158,1629)( 159,1631)( 160,1632)
( 161,1619)( 162,1620)( 163,1617)( 164,1618)( 165,1622)( 166,1621)( 167,1623)
( 168,1624)( 169,1611)( 170,1612)( 171,1609)( 172,1610)( 173,1614)( 174,1613)
( 175,1615)( 176,1616)( 177,1603)( 178,1604)( 179,1601)( 180,1602)( 181,1606)
( 182,1605)( 183,1607)( 184,1608)( 185,1595)( 186,1596)( 187,1593)( 188,1594)
( 189,1598)( 190,1597)( 191,1599)( 192,1600)( 193,1587)( 194,1588)( 195,1585)
( 196,1586)( 197,1590)( 198,1589)( 199,1591)( 200,1592)( 201,1579)( 202,1580)
( 203,1577)( 204,1578)( 205,1582)( 206,1581)( 207,1583)( 208,1584)( 209,1571)
( 210,1572)( 211,1569)( 212,1570)( 213,1574)( 214,1573)( 215,1575)( 216,1576)
( 217,1563)( 218,1564)( 219,1561)( 220,1562)( 221,1566)( 222,1565)( 223,1567)
( 224,1568)( 225,1555)( 226,1556)( 227,1553)( 228,1554)( 229,1558)( 230,1557)
( 231,1559)( 232,1560)( 233,1547)( 234,1548)( 235,1545)( 236,1546)( 237,1550)
( 238,1549)( 239,1551)( 240,1552)( 241,1539)( 242,1540)( 243,1537)( 244,1538)
( 245,1542)( 246,1541)( 247,1543)( 248,1544)( 249,1531)( 250,1532)( 251,1529)
( 252,1530)( 253,1534)( 254,1533)( 255,1535)( 256,1536)( 257,1523)( 258,1524)
( 259,1521)( 260,1522)( 261,1526)( 262,1525)( 263,1527)( 264,1528)( 265,1515)
( 266,1516)( 267,1513)( 268,1514)( 269,1518)( 270,1517)( 271,1519)( 272,1520)
( 273,1371)( 274,1372)( 275,1369)( 276,1370)( 277,1374)( 278,1373)( 279,1375)
( 280,1376)( 281,1363)( 282,1364)( 283,1361)( 284,1362)( 285,1366)( 286,1365)
( 287,1367)( 288,1368)( 289,1491)( 290,1492)( 291,1489)( 292,1490)( 293,1494)
( 294,1493)( 295,1495)( 296,1496)( 297,1483)( 298,1484)( 299,1481)( 300,1482)
( 301,1486)( 302,1485)( 303,1487)( 304,1488)( 305,1475)( 306,1476)( 307,1473)
( 308,1474)( 309,1478)( 310,1477)( 311,1479)( 312,1480)( 313,1467)( 314,1468)
( 315,1465)( 316,1466)( 317,1470)( 318,1469)( 319,1471)( 320,1472)( 321,1459)
( 322,1460)( 323,1457)( 324,1458)( 325,1462)( 326,1461)( 327,1463)( 328,1464)
( 329,1451)( 330,1452)( 331,1449)( 332,1450)( 333,1454)( 334,1453)( 335,1455)
( 336,1456)( 337,1443)( 338,1444)( 339,1441)( 340,1442)( 341,1446)( 342,1445)
( 343,1447)( 344,1448)( 345,1435)( 346,1436)( 347,1433)( 348,1434)( 349,1438)
( 350,1437)( 351,1439)( 352,1440)( 353,1427)( 354,1428)( 355,1425)( 356,1426)
( 357,1430)( 358,1429)( 359,1431)( 360,1432)( 361,1419)( 362,1420)( 363,1417)
( 364,1418)( 365,1422)( 366,1421)( 367,1423)( 368,1424)( 369,1411)( 370,1412)
( 371,1409)( 372,1410)( 373,1414)( 374,1413)( 375,1415)( 376,1416)( 377,1403)
( 378,1404)( 379,1401)( 380,1402)( 381,1406)( 382,1405)( 383,1407)( 384,1408)
( 385,1395)( 386,1396)( 387,1393)( 388,1394)( 389,1398)( 390,1397)( 391,1399)
( 392,1400)( 393,1387)( 394,1388)( 395,1385)( 396,1386)( 397,1390)( 398,1389)
( 399,1391)( 400,1392)( 401,1379)( 402,1380)( 403,1377)( 404,1378)( 405,1382)
( 406,1381)( 407,1383)( 408,1384)( 409, 828)( 410, 827)( 411, 826)( 412, 825)
( 413, 829)( 414, 830)( 415, 832)( 416, 831)( 417, 820)( 418, 819)( 419, 818)
( 420, 817)( 421, 821)( 422, 822)( 423, 824)( 424, 823)( 425, 948)( 426, 947)
( 427, 946)( 428, 945)( 429, 949)( 430, 950)( 431, 952)( 432, 951)( 433, 940)
( 434, 939)( 435, 938)( 436, 937)( 437, 941)( 438, 942)( 439, 944)( 440, 943)
( 441, 932)( 442, 931)( 443, 930)( 444, 929)( 445, 933)( 446, 934)( 447, 936)
( 448, 935)( 449, 924)( 450, 923)( 451, 922)( 452, 921)( 453, 925)( 454, 926)
( 455, 928)( 456, 927)( 457, 916)( 458, 915)( 459, 914)( 460, 913)( 461, 917)
( 462, 918)( 463, 920)( 464, 919)( 465, 908)( 466, 907)( 467, 906)( 468, 905)
( 469, 909)( 470, 910)( 471, 912)( 472, 911)( 473, 900)( 474, 899)( 475, 898)
( 476, 897)( 477, 901)( 478, 902)( 479, 904)( 480, 903)( 481, 892)( 482, 891)
( 483, 890)( 484, 889)( 485, 893)( 486, 894)( 487, 896)( 488, 895)( 489, 884)
( 490, 883)( 491, 882)( 492, 881)( 493, 885)( 494, 886)( 495, 888)( 496, 887)
( 497, 876)( 498, 875)( 499, 874)( 500, 873)( 501, 877)( 502, 878)( 503, 880)
( 504, 879)( 505, 868)( 506, 867)( 507, 866)( 508, 865)( 509, 869)( 510, 870)
( 511, 872)( 512, 871)( 513, 860)( 514, 859)( 515, 858)( 516, 857)( 517, 861)
( 518, 862)( 519, 864)( 520, 863)( 521, 852)( 522, 851)( 523, 850)( 524, 849)
( 525, 853)( 526, 854)( 527, 856)( 528, 855)( 529, 844)( 530, 843)( 531, 842)
( 532, 841)( 533, 845)( 534, 846)( 535, 848)( 536, 847)( 537, 836)( 538, 835)
( 539, 834)( 540, 833)( 541, 837)( 542, 838)( 543, 840)( 544, 839)( 545,1100)
( 546,1099)( 547,1098)( 548,1097)( 549,1101)( 550,1102)( 551,1104)( 552,1103)
( 553,1092)( 554,1091)( 555,1090)( 556,1089)( 557,1093)( 558,1094)( 559,1096)
( 560,1095)( 561,1220)( 562,1219)( 563,1218)( 564,1217)( 565,1221)( 566,1222)
( 567,1224)( 568,1223)( 569,1212)( 570,1211)( 571,1210)( 572,1209)( 573,1213)
( 574,1214)( 575,1216)( 576,1215)( 577,1204)( 578,1203)( 579,1202)( 580,1201)
( 581,1205)( 582,1206)( 583,1208)( 584,1207)( 585,1196)( 586,1195)( 587,1194)
( 588,1193)( 589,1197)( 590,1198)( 591,1200)( 592,1199)( 593,1188)( 594,1187)
( 595,1186)( 596,1185)( 597,1189)( 598,1190)( 599,1192)( 600,1191)( 601,1180)
( 602,1179)( 603,1178)( 604,1177)( 605,1181)( 606,1182)( 607,1184)( 608,1183)
( 609,1172)( 610,1171)( 611,1170)( 612,1169)( 613,1173)( 614,1174)( 615,1176)
( 616,1175)( 617,1164)( 618,1163)( 619,1162)( 620,1161)( 621,1165)( 622,1166)
( 623,1168)( 624,1167)( 625,1156)( 626,1155)( 627,1154)( 628,1153)( 629,1157)
( 630,1158)( 631,1160)( 632,1159)( 633,1148)( 634,1147)( 635,1146)( 636,1145)
( 637,1149)( 638,1150)( 639,1152)( 640,1151)( 641,1140)( 642,1139)( 643,1138)
( 644,1137)( 645,1141)( 646,1142)( 647,1144)( 648,1143)( 649,1132)( 650,1131)
( 651,1130)( 652,1129)( 653,1133)( 654,1134)( 655,1136)( 656,1135)( 657,1124)
( 658,1123)( 659,1122)( 660,1121)( 661,1125)( 662,1126)( 663,1128)( 664,1127)
( 665,1116)( 666,1115)( 667,1114)( 668,1113)( 669,1117)( 670,1118)( 671,1120)
( 672,1119)( 673,1108)( 674,1107)( 675,1106)( 676,1105)( 677,1109)( 678,1110)
( 679,1112)( 680,1111)( 681, 964)( 682, 963)( 683, 962)( 684, 961)( 685, 965)
( 686, 966)( 687, 968)( 688, 967)( 689, 956)( 690, 955)( 691, 954)( 692, 953)
( 693, 957)( 694, 958)( 695, 960)( 696, 959)( 697,1084)( 698,1083)( 699,1082)
( 700,1081)( 701,1085)( 702,1086)( 703,1088)( 704,1087)( 705,1076)( 706,1075)
( 707,1074)( 708,1073)( 709,1077)( 710,1078)( 711,1080)( 712,1079)( 713,1068)
( 714,1067)( 715,1066)( 716,1065)( 717,1069)( 718,1070)( 719,1072)( 720,1071)
( 721,1060)( 722,1059)( 723,1058)( 724,1057)( 725,1061)( 726,1062)( 727,1064)
( 728,1063)( 729,1052)( 730,1051)( 731,1050)( 732,1049)( 733,1053)( 734,1054)
( 735,1056)( 736,1055)( 737,1044)( 738,1043)( 739,1042)( 740,1041)( 741,1045)
( 742,1046)( 743,1048)( 744,1047)( 745,1036)( 746,1035)( 747,1034)( 748,1033)
( 749,1037)( 750,1038)( 751,1040)( 752,1039)( 753,1028)( 754,1027)( 755,1026)
( 756,1025)( 757,1029)( 758,1030)( 759,1032)( 760,1031)( 761,1020)( 762,1019)
( 763,1018)( 764,1017)( 765,1021)( 766,1022)( 767,1024)( 768,1023)( 769,1012)
( 770,1011)( 771,1010)( 772,1009)( 773,1013)( 774,1014)( 775,1016)( 776,1015)
( 777,1004)( 778,1003)( 779,1002)( 780,1001)( 781,1005)( 782,1006)( 783,1008)
( 784,1007)( 785, 996)( 786, 995)( 787, 994)( 788, 993)( 789, 997)( 790, 998)
( 791,1000)( 792, 999)( 793, 988)( 794, 987)( 795, 986)( 796, 985)( 797, 989)
( 798, 990)( 799, 992)( 800, 991)( 801, 980)( 802, 979)( 803, 978)( 804, 977)
( 805, 981)( 806, 982)( 807, 984)( 808, 983)( 809, 972)( 810, 971)( 811, 970)
( 812, 969)( 813, 973)( 814, 974)( 815, 976)( 816, 975);;
poly := Group([s0,s1,s2]);;
Finitely Presented Group Representation (GAP) :
F := FreeGroup("s0","s1","s2");;
s0 := F.1;; s1 := F.2;; s2 := F.3;;
rels := [ s0*s0, s1*s1, s2*s2, s0*s2*s0*s2, s0*s1*s2*s1*s2*s1*s0*s1*s2*s1*s2*s1,
s0*s2*s1*s0*s1*s2*s1*s0*s1*s0*s1*s0*s2*s1*s0*s1*s2*s1*s0*s1*s0*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s0*s2*s1*s2*s1*s2*s1*s2*s1*s2*s0*s1*s2*s1*s2*s0*s1*s2*s0*s1*s2*s0*s1*s2*s1*s2*s0*s1*s2*s1*s2 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(1632)!( 1, 409)( 2, 410)( 3, 412)( 4, 411)( 5, 415)
( 6, 416)( 7, 413)( 8, 414)( 9, 417)( 10, 418)( 11, 420)( 12, 419)
( 13, 423)( 14, 424)( 15, 421)( 16, 422)( 17, 425)( 18, 426)( 19, 428)
( 20, 427)( 21, 431)( 22, 432)( 23, 429)( 24, 430)( 25, 433)( 26, 434)
( 27, 436)( 28, 435)( 29, 439)( 30, 440)( 31, 437)( 32, 438)( 33, 441)
( 34, 442)( 35, 444)( 36, 443)( 37, 447)( 38, 448)( 39, 445)( 40, 446)
( 41, 449)( 42, 450)( 43, 452)( 44, 451)( 45, 455)( 46, 456)( 47, 453)
( 48, 454)( 49, 457)( 50, 458)( 51, 460)( 52, 459)( 53, 463)( 54, 464)
( 55, 461)( 56, 462)( 57, 465)( 58, 466)( 59, 468)( 60, 467)( 61, 471)
( 62, 472)( 63, 469)( 64, 470)( 65, 473)( 66, 474)( 67, 476)( 68, 475)
( 69, 479)( 70, 480)( 71, 477)( 72, 478)( 73, 481)( 74, 482)( 75, 484)
( 76, 483)( 77, 487)( 78, 488)( 79, 485)( 80, 486)( 81, 489)( 82, 490)
( 83, 492)( 84, 491)( 85, 495)( 86, 496)( 87, 493)( 88, 494)( 89, 497)
( 90, 498)( 91, 500)( 92, 499)( 93, 503)( 94, 504)( 95, 501)( 96, 502)
( 97, 505)( 98, 506)( 99, 508)( 100, 507)( 101, 511)( 102, 512)( 103, 509)
( 104, 510)( 105, 513)( 106, 514)( 107, 516)( 108, 515)( 109, 519)( 110, 520)
( 111, 517)( 112, 518)( 113, 521)( 114, 522)( 115, 524)( 116, 523)( 117, 527)
( 118, 528)( 119, 525)( 120, 526)( 121, 529)( 122, 530)( 123, 532)( 124, 531)
( 125, 535)( 126, 536)( 127, 533)( 128, 534)( 129, 537)( 130, 538)( 131, 540)
( 132, 539)( 133, 543)( 134, 544)( 135, 541)( 136, 542)( 137, 681)( 138, 682)
( 139, 684)( 140, 683)( 141, 687)( 142, 688)( 143, 685)( 144, 686)( 145, 689)
( 146, 690)( 147, 692)( 148, 691)( 149, 695)( 150, 696)( 151, 693)( 152, 694)
( 153, 697)( 154, 698)( 155, 700)( 156, 699)( 157, 703)( 158, 704)( 159, 701)
( 160, 702)( 161, 705)( 162, 706)( 163, 708)( 164, 707)( 165, 711)( 166, 712)
( 167, 709)( 168, 710)( 169, 713)( 170, 714)( 171, 716)( 172, 715)( 173, 719)
( 174, 720)( 175, 717)( 176, 718)( 177, 721)( 178, 722)( 179, 724)( 180, 723)
( 181, 727)( 182, 728)( 183, 725)( 184, 726)( 185, 729)( 186, 730)( 187, 732)
( 188, 731)( 189, 735)( 190, 736)( 191, 733)( 192, 734)( 193, 737)( 194, 738)
( 195, 740)( 196, 739)( 197, 743)( 198, 744)( 199, 741)( 200, 742)( 201, 745)
( 202, 746)( 203, 748)( 204, 747)( 205, 751)( 206, 752)( 207, 749)( 208, 750)
( 209, 753)( 210, 754)( 211, 756)( 212, 755)( 213, 759)( 214, 760)( 215, 757)
( 216, 758)( 217, 761)( 218, 762)( 219, 764)( 220, 763)( 221, 767)( 222, 768)
( 223, 765)( 224, 766)( 225, 769)( 226, 770)( 227, 772)( 228, 771)( 229, 775)
( 230, 776)( 231, 773)( 232, 774)( 233, 777)( 234, 778)( 235, 780)( 236, 779)
( 237, 783)( 238, 784)( 239, 781)( 240, 782)( 241, 785)( 242, 786)( 243, 788)
( 244, 787)( 245, 791)( 246, 792)( 247, 789)( 248, 790)( 249, 793)( 250, 794)
( 251, 796)( 252, 795)( 253, 799)( 254, 800)( 255, 797)( 256, 798)( 257, 801)
( 258, 802)( 259, 804)( 260, 803)( 261, 807)( 262, 808)( 263, 805)( 264, 806)
( 265, 809)( 266, 810)( 267, 812)( 268, 811)( 269, 815)( 270, 816)( 271, 813)
( 272, 814)( 273, 545)( 274, 546)( 275, 548)( 276, 547)( 277, 551)( 278, 552)
( 279, 549)( 280, 550)( 281, 553)( 282, 554)( 283, 556)( 284, 555)( 285, 559)
( 286, 560)( 287, 557)( 288, 558)( 289, 561)( 290, 562)( 291, 564)( 292, 563)
( 293, 567)( 294, 568)( 295, 565)( 296, 566)( 297, 569)( 298, 570)( 299, 572)
( 300, 571)( 301, 575)( 302, 576)( 303, 573)( 304, 574)( 305, 577)( 306, 578)
( 307, 580)( 308, 579)( 309, 583)( 310, 584)( 311, 581)( 312, 582)( 313, 585)
( 314, 586)( 315, 588)( 316, 587)( 317, 591)( 318, 592)( 319, 589)( 320, 590)
( 321, 593)( 322, 594)( 323, 596)( 324, 595)( 325, 599)( 326, 600)( 327, 597)
( 328, 598)( 329, 601)( 330, 602)( 331, 604)( 332, 603)( 333, 607)( 334, 608)
( 335, 605)( 336, 606)( 337, 609)( 338, 610)( 339, 612)( 340, 611)( 341, 615)
( 342, 616)( 343, 613)( 344, 614)( 345, 617)( 346, 618)( 347, 620)( 348, 619)
( 349, 623)( 350, 624)( 351, 621)( 352, 622)( 353, 625)( 354, 626)( 355, 628)
( 356, 627)( 357, 631)( 358, 632)( 359, 629)( 360, 630)( 361, 633)( 362, 634)
( 363, 636)( 364, 635)( 365, 639)( 366, 640)( 367, 637)( 368, 638)( 369, 641)
( 370, 642)( 371, 644)( 372, 643)( 373, 647)( 374, 648)( 375, 645)( 376, 646)
( 377, 649)( 378, 650)( 379, 652)( 380, 651)( 381, 655)( 382, 656)( 383, 653)
( 384, 654)( 385, 657)( 386, 658)( 387, 660)( 388, 659)( 389, 663)( 390, 664)
( 391, 661)( 392, 662)( 393, 665)( 394, 666)( 395, 668)( 396, 667)( 397, 671)
( 398, 672)( 399, 669)( 400, 670)( 401, 673)( 402, 674)( 403, 676)( 404, 675)
( 405, 679)( 406, 680)( 407, 677)( 408, 678)( 817,1225)( 818,1226)( 819,1228)
( 820,1227)( 821,1231)( 822,1232)( 823,1229)( 824,1230)( 825,1233)( 826,1234)
( 827,1236)( 828,1235)( 829,1239)( 830,1240)( 831,1237)( 832,1238)( 833,1241)
( 834,1242)( 835,1244)( 836,1243)( 837,1247)( 838,1248)( 839,1245)( 840,1246)
( 841,1249)( 842,1250)( 843,1252)( 844,1251)( 845,1255)( 846,1256)( 847,1253)
( 848,1254)( 849,1257)( 850,1258)( 851,1260)( 852,1259)( 853,1263)( 854,1264)
( 855,1261)( 856,1262)( 857,1265)( 858,1266)( 859,1268)( 860,1267)( 861,1271)
( 862,1272)( 863,1269)( 864,1270)( 865,1273)( 866,1274)( 867,1276)( 868,1275)
( 869,1279)( 870,1280)( 871,1277)( 872,1278)( 873,1281)( 874,1282)( 875,1284)
( 876,1283)( 877,1287)( 878,1288)( 879,1285)( 880,1286)( 881,1289)( 882,1290)
( 883,1292)( 884,1291)( 885,1295)( 886,1296)( 887,1293)( 888,1294)( 889,1297)
( 890,1298)( 891,1300)( 892,1299)( 893,1303)( 894,1304)( 895,1301)( 896,1302)
( 897,1305)( 898,1306)( 899,1308)( 900,1307)( 901,1311)( 902,1312)( 903,1309)
( 904,1310)( 905,1313)( 906,1314)( 907,1316)( 908,1315)( 909,1319)( 910,1320)
( 911,1317)( 912,1318)( 913,1321)( 914,1322)( 915,1324)( 916,1323)( 917,1327)
( 918,1328)( 919,1325)( 920,1326)( 921,1329)( 922,1330)( 923,1332)( 924,1331)
( 925,1335)( 926,1336)( 927,1333)( 928,1334)( 929,1337)( 930,1338)( 931,1340)
( 932,1339)( 933,1343)( 934,1344)( 935,1341)( 936,1342)( 937,1345)( 938,1346)
( 939,1348)( 940,1347)( 941,1351)( 942,1352)( 943,1349)( 944,1350)( 945,1353)
( 946,1354)( 947,1356)( 948,1355)( 949,1359)( 950,1360)( 951,1357)( 952,1358)
( 953,1497)( 954,1498)( 955,1500)( 956,1499)( 957,1503)( 958,1504)( 959,1501)
( 960,1502)( 961,1505)( 962,1506)( 963,1508)( 964,1507)( 965,1511)( 966,1512)
( 967,1509)( 968,1510)( 969,1513)( 970,1514)( 971,1516)( 972,1515)( 973,1519)
( 974,1520)( 975,1517)( 976,1518)( 977,1521)( 978,1522)( 979,1524)( 980,1523)
( 981,1527)( 982,1528)( 983,1525)( 984,1526)( 985,1529)( 986,1530)( 987,1532)
( 988,1531)( 989,1535)( 990,1536)( 991,1533)( 992,1534)( 993,1537)( 994,1538)
( 995,1540)( 996,1539)( 997,1543)( 998,1544)( 999,1541)(1000,1542)(1001,1545)
(1002,1546)(1003,1548)(1004,1547)(1005,1551)(1006,1552)(1007,1549)(1008,1550)
(1009,1553)(1010,1554)(1011,1556)(1012,1555)(1013,1559)(1014,1560)(1015,1557)
(1016,1558)(1017,1561)(1018,1562)(1019,1564)(1020,1563)(1021,1567)(1022,1568)
(1023,1565)(1024,1566)(1025,1569)(1026,1570)(1027,1572)(1028,1571)(1029,1575)
(1030,1576)(1031,1573)(1032,1574)(1033,1577)(1034,1578)(1035,1580)(1036,1579)
(1037,1583)(1038,1584)(1039,1581)(1040,1582)(1041,1585)(1042,1586)(1043,1588)
(1044,1587)(1045,1591)(1046,1592)(1047,1589)(1048,1590)(1049,1593)(1050,1594)
(1051,1596)(1052,1595)(1053,1599)(1054,1600)(1055,1597)(1056,1598)(1057,1601)
(1058,1602)(1059,1604)(1060,1603)(1061,1607)(1062,1608)(1063,1605)(1064,1606)
(1065,1609)(1066,1610)(1067,1612)(1068,1611)(1069,1615)(1070,1616)(1071,1613)
(1072,1614)(1073,1617)(1074,1618)(1075,1620)(1076,1619)(1077,1623)(1078,1624)
(1079,1621)(1080,1622)(1081,1625)(1082,1626)(1083,1628)(1084,1627)(1085,1631)
(1086,1632)(1087,1629)(1088,1630)(1089,1361)(1090,1362)(1091,1364)(1092,1363)
(1093,1367)(1094,1368)(1095,1365)(1096,1366)(1097,1369)(1098,1370)(1099,1372)
(1100,1371)(1101,1375)(1102,1376)(1103,1373)(1104,1374)(1105,1377)(1106,1378)
(1107,1380)(1108,1379)(1109,1383)(1110,1384)(1111,1381)(1112,1382)(1113,1385)
(1114,1386)(1115,1388)(1116,1387)(1117,1391)(1118,1392)(1119,1389)(1120,1390)
(1121,1393)(1122,1394)(1123,1396)(1124,1395)(1125,1399)(1126,1400)(1127,1397)
(1128,1398)(1129,1401)(1130,1402)(1131,1404)(1132,1403)(1133,1407)(1134,1408)
(1135,1405)(1136,1406)(1137,1409)(1138,1410)(1139,1412)(1140,1411)(1141,1415)
(1142,1416)(1143,1413)(1144,1414)(1145,1417)(1146,1418)(1147,1420)(1148,1419)
(1149,1423)(1150,1424)(1151,1421)(1152,1422)(1153,1425)(1154,1426)(1155,1428)
(1156,1427)(1157,1431)(1158,1432)(1159,1429)(1160,1430)(1161,1433)(1162,1434)
(1163,1436)(1164,1435)(1165,1439)(1166,1440)(1167,1437)(1168,1438)(1169,1441)
(1170,1442)(1171,1444)(1172,1443)(1173,1447)(1174,1448)(1175,1445)(1176,1446)
(1177,1449)(1178,1450)(1179,1452)(1180,1451)(1181,1455)(1182,1456)(1183,1453)
(1184,1454)(1185,1457)(1186,1458)(1187,1460)(1188,1459)(1189,1463)(1190,1464)
(1191,1461)(1192,1462)(1193,1465)(1194,1466)(1195,1468)(1196,1467)(1197,1471)
(1198,1472)(1199,1469)(1200,1470)(1201,1473)(1202,1474)(1203,1476)(1204,1475)
(1205,1479)(1206,1480)(1207,1477)(1208,1478)(1209,1481)(1210,1482)(1211,1484)
(1212,1483)(1213,1487)(1214,1488)(1215,1485)(1216,1486)(1217,1489)(1218,1490)
(1219,1492)(1220,1491)(1221,1495)(1222,1496)(1223,1493)(1224,1494);
s1 := Sym(1632)!( 1,1361)( 2,1362)( 3,1367)( 4,1368)( 5,1366)
( 6,1365)( 7,1363)( 8,1364)( 9,1489)( 10,1490)( 11,1495)( 12,1496)
( 13,1494)( 14,1493)( 15,1491)( 16,1492)( 17,1481)( 18,1482)( 19,1487)
( 20,1488)( 21,1486)( 22,1485)( 23,1483)( 24,1484)( 25,1473)( 26,1474)
( 27,1479)( 28,1480)( 29,1478)( 30,1477)( 31,1475)( 32,1476)( 33,1465)
( 34,1466)( 35,1471)( 36,1472)( 37,1470)( 38,1469)( 39,1467)( 40,1468)
( 41,1457)( 42,1458)( 43,1463)( 44,1464)( 45,1462)( 46,1461)( 47,1459)
( 48,1460)( 49,1449)( 50,1450)( 51,1455)( 52,1456)( 53,1454)( 54,1453)
( 55,1451)( 56,1452)( 57,1441)( 58,1442)( 59,1447)( 60,1448)( 61,1446)
( 62,1445)( 63,1443)( 64,1444)( 65,1433)( 66,1434)( 67,1439)( 68,1440)
( 69,1438)( 70,1437)( 71,1435)( 72,1436)( 73,1425)( 74,1426)( 75,1431)
( 76,1432)( 77,1430)( 78,1429)( 79,1427)( 80,1428)( 81,1417)( 82,1418)
( 83,1423)( 84,1424)( 85,1422)( 86,1421)( 87,1419)( 88,1420)( 89,1409)
( 90,1410)( 91,1415)( 92,1416)( 93,1414)( 94,1413)( 95,1411)( 96,1412)
( 97,1401)( 98,1402)( 99,1407)( 100,1408)( 101,1406)( 102,1405)( 103,1403)
( 104,1404)( 105,1393)( 106,1394)( 107,1399)( 108,1400)( 109,1398)( 110,1397)
( 111,1395)( 112,1396)( 113,1385)( 114,1386)( 115,1391)( 116,1392)( 117,1390)
( 118,1389)( 119,1387)( 120,1388)( 121,1377)( 122,1378)( 123,1383)( 124,1384)
( 125,1382)( 126,1381)( 127,1379)( 128,1380)( 129,1369)( 130,1370)( 131,1375)
( 132,1376)( 133,1374)( 134,1373)( 135,1371)( 136,1372)( 137,1225)( 138,1226)
( 139,1231)( 140,1232)( 141,1230)( 142,1229)( 143,1227)( 144,1228)( 145,1353)
( 146,1354)( 147,1359)( 148,1360)( 149,1358)( 150,1357)( 151,1355)( 152,1356)
( 153,1345)( 154,1346)( 155,1351)( 156,1352)( 157,1350)( 158,1349)( 159,1347)
( 160,1348)( 161,1337)( 162,1338)( 163,1343)( 164,1344)( 165,1342)( 166,1341)
( 167,1339)( 168,1340)( 169,1329)( 170,1330)( 171,1335)( 172,1336)( 173,1334)
( 174,1333)( 175,1331)( 176,1332)( 177,1321)( 178,1322)( 179,1327)( 180,1328)
( 181,1326)( 182,1325)( 183,1323)( 184,1324)( 185,1313)( 186,1314)( 187,1319)
( 188,1320)( 189,1318)( 190,1317)( 191,1315)( 192,1316)( 193,1305)( 194,1306)
( 195,1311)( 196,1312)( 197,1310)( 198,1309)( 199,1307)( 200,1308)( 201,1297)
( 202,1298)( 203,1303)( 204,1304)( 205,1302)( 206,1301)( 207,1299)( 208,1300)
( 209,1289)( 210,1290)( 211,1295)( 212,1296)( 213,1294)( 214,1293)( 215,1291)
( 216,1292)( 217,1281)( 218,1282)( 219,1287)( 220,1288)( 221,1286)( 222,1285)
( 223,1283)( 224,1284)( 225,1273)( 226,1274)( 227,1279)( 228,1280)( 229,1278)
( 230,1277)( 231,1275)( 232,1276)( 233,1265)( 234,1266)( 235,1271)( 236,1272)
( 237,1270)( 238,1269)( 239,1267)( 240,1268)( 241,1257)( 242,1258)( 243,1263)
( 244,1264)( 245,1262)( 246,1261)( 247,1259)( 248,1260)( 249,1249)( 250,1250)
( 251,1255)( 252,1256)( 253,1254)( 254,1253)( 255,1251)( 256,1252)( 257,1241)
( 258,1242)( 259,1247)( 260,1248)( 261,1246)( 262,1245)( 263,1243)( 264,1244)
( 265,1233)( 266,1234)( 267,1239)( 268,1240)( 269,1238)( 270,1237)( 271,1235)
( 272,1236)( 273,1497)( 274,1498)( 275,1503)( 276,1504)( 277,1502)( 278,1501)
( 279,1499)( 280,1500)( 281,1625)( 282,1626)( 283,1631)( 284,1632)( 285,1630)
( 286,1629)( 287,1627)( 288,1628)( 289,1617)( 290,1618)( 291,1623)( 292,1624)
( 293,1622)( 294,1621)( 295,1619)( 296,1620)( 297,1609)( 298,1610)( 299,1615)
( 300,1616)( 301,1614)( 302,1613)( 303,1611)( 304,1612)( 305,1601)( 306,1602)
( 307,1607)( 308,1608)( 309,1606)( 310,1605)( 311,1603)( 312,1604)( 313,1593)
( 314,1594)( 315,1599)( 316,1600)( 317,1598)( 318,1597)( 319,1595)( 320,1596)
( 321,1585)( 322,1586)( 323,1591)( 324,1592)( 325,1590)( 326,1589)( 327,1587)
( 328,1588)( 329,1577)( 330,1578)( 331,1583)( 332,1584)( 333,1582)( 334,1581)
( 335,1579)( 336,1580)( 337,1569)( 338,1570)( 339,1575)( 340,1576)( 341,1574)
( 342,1573)( 343,1571)( 344,1572)( 345,1561)( 346,1562)( 347,1567)( 348,1568)
( 349,1566)( 350,1565)( 351,1563)( 352,1564)( 353,1553)( 354,1554)( 355,1559)
( 356,1560)( 357,1558)( 358,1557)( 359,1555)( 360,1556)( 361,1545)( 362,1546)
( 363,1551)( 364,1552)( 365,1550)( 366,1549)( 367,1547)( 368,1548)( 369,1537)
( 370,1538)( 371,1543)( 372,1544)( 373,1542)( 374,1541)( 375,1539)( 376,1540)
( 377,1529)( 378,1530)( 379,1535)( 380,1536)( 381,1534)( 382,1533)( 383,1531)
( 384,1532)( 385,1521)( 386,1522)( 387,1527)( 388,1528)( 389,1526)( 390,1525)
( 391,1523)( 392,1524)( 393,1513)( 394,1514)( 395,1519)( 396,1520)( 397,1518)
( 398,1517)( 399,1515)( 400,1516)( 401,1505)( 402,1506)( 403,1511)( 404,1512)
( 405,1510)( 406,1509)( 407,1507)( 408,1508)( 409, 954)( 410, 953)( 411, 960)
( 412, 959)( 413, 957)( 414, 958)( 415, 956)( 416, 955)( 417,1082)( 418,1081)
( 419,1088)( 420,1087)( 421,1085)( 422,1086)( 423,1084)( 424,1083)( 425,1074)
( 426,1073)( 427,1080)( 428,1079)( 429,1077)( 430,1078)( 431,1076)( 432,1075)
( 433,1066)( 434,1065)( 435,1072)( 436,1071)( 437,1069)( 438,1070)( 439,1068)
( 440,1067)( 441,1058)( 442,1057)( 443,1064)( 444,1063)( 445,1061)( 446,1062)
( 447,1060)( 448,1059)( 449,1050)( 450,1049)( 451,1056)( 452,1055)( 453,1053)
( 454,1054)( 455,1052)( 456,1051)( 457,1042)( 458,1041)( 459,1048)( 460,1047)
( 461,1045)( 462,1046)( 463,1044)( 464,1043)( 465,1034)( 466,1033)( 467,1040)
( 468,1039)( 469,1037)( 470,1038)( 471,1036)( 472,1035)( 473,1026)( 474,1025)
( 475,1032)( 476,1031)( 477,1029)( 478,1030)( 479,1028)( 480,1027)( 481,1018)
( 482,1017)( 483,1024)( 484,1023)( 485,1021)( 486,1022)( 487,1020)( 488,1019)
( 489,1010)( 490,1009)( 491,1016)( 492,1015)( 493,1013)( 494,1014)( 495,1012)
( 496,1011)( 497,1002)( 498,1001)( 499,1008)( 500,1007)( 501,1005)( 502,1006)
( 503,1004)( 504,1003)( 505, 994)( 506, 993)( 507,1000)( 508, 999)( 509, 997)
( 510, 998)( 511, 996)( 512, 995)( 513, 986)( 514, 985)( 515, 992)( 516, 991)
( 517, 989)( 518, 990)( 519, 988)( 520, 987)( 521, 978)( 522, 977)( 523, 984)
( 524, 983)( 525, 981)( 526, 982)( 527, 980)( 528, 979)( 529, 970)( 530, 969)
( 531, 976)( 532, 975)( 533, 973)( 534, 974)( 535, 972)( 536, 971)( 537, 962)
( 538, 961)( 539, 968)( 540, 967)( 541, 965)( 542, 966)( 543, 964)( 544, 963)
( 545, 818)( 546, 817)( 547, 824)( 548, 823)( 549, 821)( 550, 822)( 551, 820)
( 552, 819)( 553, 946)( 554, 945)( 555, 952)( 556, 951)( 557, 949)( 558, 950)
( 559, 948)( 560, 947)( 561, 938)( 562, 937)( 563, 944)( 564, 943)( 565, 941)
( 566, 942)( 567, 940)( 568, 939)( 569, 930)( 570, 929)( 571, 936)( 572, 935)
( 573, 933)( 574, 934)( 575, 932)( 576, 931)( 577, 922)( 578, 921)( 579, 928)
( 580, 927)( 581, 925)( 582, 926)( 583, 924)( 584, 923)( 585, 914)( 586, 913)
( 587, 920)( 588, 919)( 589, 917)( 590, 918)( 591, 916)( 592, 915)( 593, 906)
( 594, 905)( 595, 912)( 596, 911)( 597, 909)( 598, 910)( 599, 908)( 600, 907)
( 601, 898)( 602, 897)( 603, 904)( 604, 903)( 605, 901)( 606, 902)( 607, 900)
( 608, 899)( 609, 890)( 610, 889)( 611, 896)( 612, 895)( 613, 893)( 614, 894)
( 615, 892)( 616, 891)( 617, 882)( 618, 881)( 619, 888)( 620, 887)( 621, 885)
( 622, 886)( 623, 884)( 624, 883)( 625, 874)( 626, 873)( 627, 880)( 628, 879)
( 629, 877)( 630, 878)( 631, 876)( 632, 875)( 633, 866)( 634, 865)( 635, 872)
( 636, 871)( 637, 869)( 638, 870)( 639, 868)( 640, 867)( 641, 858)( 642, 857)
( 643, 864)( 644, 863)( 645, 861)( 646, 862)( 647, 860)( 648, 859)( 649, 850)
( 650, 849)( 651, 856)( 652, 855)( 653, 853)( 654, 854)( 655, 852)( 656, 851)
( 657, 842)( 658, 841)( 659, 848)( 660, 847)( 661, 845)( 662, 846)( 663, 844)
( 664, 843)( 665, 834)( 666, 833)( 667, 840)( 668, 839)( 669, 837)( 670, 838)
( 671, 836)( 672, 835)( 673, 826)( 674, 825)( 675, 832)( 676, 831)( 677, 829)
( 678, 830)( 679, 828)( 680, 827)( 681,1090)( 682,1089)( 683,1096)( 684,1095)
( 685,1093)( 686,1094)( 687,1092)( 688,1091)( 689,1218)( 690,1217)( 691,1224)
( 692,1223)( 693,1221)( 694,1222)( 695,1220)( 696,1219)( 697,1210)( 698,1209)
( 699,1216)( 700,1215)( 701,1213)( 702,1214)( 703,1212)( 704,1211)( 705,1202)
( 706,1201)( 707,1208)( 708,1207)( 709,1205)( 710,1206)( 711,1204)( 712,1203)
( 713,1194)( 714,1193)( 715,1200)( 716,1199)( 717,1197)( 718,1198)( 719,1196)
( 720,1195)( 721,1186)( 722,1185)( 723,1192)( 724,1191)( 725,1189)( 726,1190)
( 727,1188)( 728,1187)( 729,1178)( 730,1177)( 731,1184)( 732,1183)( 733,1181)
( 734,1182)( 735,1180)( 736,1179)( 737,1170)( 738,1169)( 739,1176)( 740,1175)
( 741,1173)( 742,1174)( 743,1172)( 744,1171)( 745,1162)( 746,1161)( 747,1168)
( 748,1167)( 749,1165)( 750,1166)( 751,1164)( 752,1163)( 753,1154)( 754,1153)
( 755,1160)( 756,1159)( 757,1157)( 758,1158)( 759,1156)( 760,1155)( 761,1146)
( 762,1145)( 763,1152)( 764,1151)( 765,1149)( 766,1150)( 767,1148)( 768,1147)
( 769,1138)( 770,1137)( 771,1144)( 772,1143)( 773,1141)( 774,1142)( 775,1140)
( 776,1139)( 777,1130)( 778,1129)( 779,1136)( 780,1135)( 781,1133)( 782,1134)
( 783,1132)( 784,1131)( 785,1122)( 786,1121)( 787,1128)( 788,1127)( 789,1125)
( 790,1126)( 791,1124)( 792,1123)( 793,1114)( 794,1113)( 795,1120)( 796,1119)
( 797,1117)( 798,1118)( 799,1116)( 800,1115)( 801,1106)( 802,1105)( 803,1112)
( 804,1111)( 805,1109)( 806,1110)( 807,1108)( 808,1107)( 809,1098)( 810,1097)
( 811,1104)( 812,1103)( 813,1101)( 814,1102)( 815,1100)( 816,1099);
s2 := Sym(1632)!( 1,1235)( 2,1236)( 3,1233)( 4,1234)( 5,1238)
( 6,1237)( 7,1239)( 8,1240)( 9,1227)( 10,1228)( 11,1225)( 12,1226)
( 13,1230)( 14,1229)( 15,1231)( 16,1232)( 17,1355)( 18,1356)( 19,1353)
( 20,1354)( 21,1358)( 22,1357)( 23,1359)( 24,1360)( 25,1347)( 26,1348)
( 27,1345)( 28,1346)( 29,1350)( 30,1349)( 31,1351)( 32,1352)( 33,1339)
( 34,1340)( 35,1337)( 36,1338)( 37,1342)( 38,1341)( 39,1343)( 40,1344)
( 41,1331)( 42,1332)( 43,1329)( 44,1330)( 45,1334)( 46,1333)( 47,1335)
( 48,1336)( 49,1323)( 50,1324)( 51,1321)( 52,1322)( 53,1326)( 54,1325)
( 55,1327)( 56,1328)( 57,1315)( 58,1316)( 59,1313)( 60,1314)( 61,1318)
( 62,1317)( 63,1319)( 64,1320)( 65,1307)( 66,1308)( 67,1305)( 68,1306)
( 69,1310)( 70,1309)( 71,1311)( 72,1312)( 73,1299)( 74,1300)( 75,1297)
( 76,1298)( 77,1302)( 78,1301)( 79,1303)( 80,1304)( 81,1291)( 82,1292)
( 83,1289)( 84,1290)( 85,1294)( 86,1293)( 87,1295)( 88,1296)( 89,1283)
( 90,1284)( 91,1281)( 92,1282)( 93,1286)( 94,1285)( 95,1287)( 96,1288)
( 97,1275)( 98,1276)( 99,1273)( 100,1274)( 101,1278)( 102,1277)( 103,1279)
( 104,1280)( 105,1267)( 106,1268)( 107,1265)( 108,1266)( 109,1270)( 110,1269)
( 111,1271)( 112,1272)( 113,1259)( 114,1260)( 115,1257)( 116,1258)( 117,1262)
( 118,1261)( 119,1263)( 120,1264)( 121,1251)( 122,1252)( 123,1249)( 124,1250)
( 125,1254)( 126,1253)( 127,1255)( 128,1256)( 129,1243)( 130,1244)( 131,1241)
( 132,1242)( 133,1246)( 134,1245)( 135,1247)( 136,1248)( 137,1507)( 138,1508)
( 139,1505)( 140,1506)( 141,1510)( 142,1509)( 143,1511)( 144,1512)( 145,1499)
( 146,1500)( 147,1497)( 148,1498)( 149,1502)( 150,1501)( 151,1503)( 152,1504)
( 153,1627)( 154,1628)( 155,1625)( 156,1626)( 157,1630)( 158,1629)( 159,1631)
( 160,1632)( 161,1619)( 162,1620)( 163,1617)( 164,1618)( 165,1622)( 166,1621)
( 167,1623)( 168,1624)( 169,1611)( 170,1612)( 171,1609)( 172,1610)( 173,1614)
( 174,1613)( 175,1615)( 176,1616)( 177,1603)( 178,1604)( 179,1601)( 180,1602)
( 181,1606)( 182,1605)( 183,1607)( 184,1608)( 185,1595)( 186,1596)( 187,1593)
( 188,1594)( 189,1598)( 190,1597)( 191,1599)( 192,1600)( 193,1587)( 194,1588)
( 195,1585)( 196,1586)( 197,1590)( 198,1589)( 199,1591)( 200,1592)( 201,1579)
( 202,1580)( 203,1577)( 204,1578)( 205,1582)( 206,1581)( 207,1583)( 208,1584)
( 209,1571)( 210,1572)( 211,1569)( 212,1570)( 213,1574)( 214,1573)( 215,1575)
( 216,1576)( 217,1563)( 218,1564)( 219,1561)( 220,1562)( 221,1566)( 222,1565)
( 223,1567)( 224,1568)( 225,1555)( 226,1556)( 227,1553)( 228,1554)( 229,1558)
( 230,1557)( 231,1559)( 232,1560)( 233,1547)( 234,1548)( 235,1545)( 236,1546)
( 237,1550)( 238,1549)( 239,1551)( 240,1552)( 241,1539)( 242,1540)( 243,1537)
( 244,1538)( 245,1542)( 246,1541)( 247,1543)( 248,1544)( 249,1531)( 250,1532)
( 251,1529)( 252,1530)( 253,1534)( 254,1533)( 255,1535)( 256,1536)( 257,1523)
( 258,1524)( 259,1521)( 260,1522)( 261,1526)( 262,1525)( 263,1527)( 264,1528)
( 265,1515)( 266,1516)( 267,1513)( 268,1514)( 269,1518)( 270,1517)( 271,1519)
( 272,1520)( 273,1371)( 274,1372)( 275,1369)( 276,1370)( 277,1374)( 278,1373)
( 279,1375)( 280,1376)( 281,1363)( 282,1364)( 283,1361)( 284,1362)( 285,1366)
( 286,1365)( 287,1367)( 288,1368)( 289,1491)( 290,1492)( 291,1489)( 292,1490)
( 293,1494)( 294,1493)( 295,1495)( 296,1496)( 297,1483)( 298,1484)( 299,1481)
( 300,1482)( 301,1486)( 302,1485)( 303,1487)( 304,1488)( 305,1475)( 306,1476)
( 307,1473)( 308,1474)( 309,1478)( 310,1477)( 311,1479)( 312,1480)( 313,1467)
( 314,1468)( 315,1465)( 316,1466)( 317,1470)( 318,1469)( 319,1471)( 320,1472)
( 321,1459)( 322,1460)( 323,1457)( 324,1458)( 325,1462)( 326,1461)( 327,1463)
( 328,1464)( 329,1451)( 330,1452)( 331,1449)( 332,1450)( 333,1454)( 334,1453)
( 335,1455)( 336,1456)( 337,1443)( 338,1444)( 339,1441)( 340,1442)( 341,1446)
( 342,1445)( 343,1447)( 344,1448)( 345,1435)( 346,1436)( 347,1433)( 348,1434)
( 349,1438)( 350,1437)( 351,1439)( 352,1440)( 353,1427)( 354,1428)( 355,1425)
( 356,1426)( 357,1430)( 358,1429)( 359,1431)( 360,1432)( 361,1419)( 362,1420)
( 363,1417)( 364,1418)( 365,1422)( 366,1421)( 367,1423)( 368,1424)( 369,1411)
( 370,1412)( 371,1409)( 372,1410)( 373,1414)( 374,1413)( 375,1415)( 376,1416)
( 377,1403)( 378,1404)( 379,1401)( 380,1402)( 381,1406)( 382,1405)( 383,1407)
( 384,1408)( 385,1395)( 386,1396)( 387,1393)( 388,1394)( 389,1398)( 390,1397)
( 391,1399)( 392,1400)( 393,1387)( 394,1388)( 395,1385)( 396,1386)( 397,1390)
( 398,1389)( 399,1391)( 400,1392)( 401,1379)( 402,1380)( 403,1377)( 404,1378)
( 405,1382)( 406,1381)( 407,1383)( 408,1384)( 409, 828)( 410, 827)( 411, 826)
( 412, 825)( 413, 829)( 414, 830)( 415, 832)( 416, 831)( 417, 820)( 418, 819)
( 419, 818)( 420, 817)( 421, 821)( 422, 822)( 423, 824)( 424, 823)( 425, 948)
( 426, 947)( 427, 946)( 428, 945)( 429, 949)( 430, 950)( 431, 952)( 432, 951)
( 433, 940)( 434, 939)( 435, 938)( 436, 937)( 437, 941)( 438, 942)( 439, 944)
( 440, 943)( 441, 932)( 442, 931)( 443, 930)( 444, 929)( 445, 933)( 446, 934)
( 447, 936)( 448, 935)( 449, 924)( 450, 923)( 451, 922)( 452, 921)( 453, 925)
( 454, 926)( 455, 928)( 456, 927)( 457, 916)( 458, 915)( 459, 914)( 460, 913)
( 461, 917)( 462, 918)( 463, 920)( 464, 919)( 465, 908)( 466, 907)( 467, 906)
( 468, 905)( 469, 909)( 470, 910)( 471, 912)( 472, 911)( 473, 900)( 474, 899)
( 475, 898)( 476, 897)( 477, 901)( 478, 902)( 479, 904)( 480, 903)( 481, 892)
( 482, 891)( 483, 890)( 484, 889)( 485, 893)( 486, 894)( 487, 896)( 488, 895)
( 489, 884)( 490, 883)( 491, 882)( 492, 881)( 493, 885)( 494, 886)( 495, 888)
( 496, 887)( 497, 876)( 498, 875)( 499, 874)( 500, 873)( 501, 877)( 502, 878)
( 503, 880)( 504, 879)( 505, 868)( 506, 867)( 507, 866)( 508, 865)( 509, 869)
( 510, 870)( 511, 872)( 512, 871)( 513, 860)( 514, 859)( 515, 858)( 516, 857)
( 517, 861)( 518, 862)( 519, 864)( 520, 863)( 521, 852)( 522, 851)( 523, 850)
( 524, 849)( 525, 853)( 526, 854)( 527, 856)( 528, 855)( 529, 844)( 530, 843)
( 531, 842)( 532, 841)( 533, 845)( 534, 846)( 535, 848)( 536, 847)( 537, 836)
( 538, 835)( 539, 834)( 540, 833)( 541, 837)( 542, 838)( 543, 840)( 544, 839)
( 545,1100)( 546,1099)( 547,1098)( 548,1097)( 549,1101)( 550,1102)( 551,1104)
( 552,1103)( 553,1092)( 554,1091)( 555,1090)( 556,1089)( 557,1093)( 558,1094)
( 559,1096)( 560,1095)( 561,1220)( 562,1219)( 563,1218)( 564,1217)( 565,1221)
( 566,1222)( 567,1224)( 568,1223)( 569,1212)( 570,1211)( 571,1210)( 572,1209)
( 573,1213)( 574,1214)( 575,1216)( 576,1215)( 577,1204)( 578,1203)( 579,1202)
( 580,1201)( 581,1205)( 582,1206)( 583,1208)( 584,1207)( 585,1196)( 586,1195)
( 587,1194)( 588,1193)( 589,1197)( 590,1198)( 591,1200)( 592,1199)( 593,1188)
( 594,1187)( 595,1186)( 596,1185)( 597,1189)( 598,1190)( 599,1192)( 600,1191)
( 601,1180)( 602,1179)( 603,1178)( 604,1177)( 605,1181)( 606,1182)( 607,1184)
( 608,1183)( 609,1172)( 610,1171)( 611,1170)( 612,1169)( 613,1173)( 614,1174)
( 615,1176)( 616,1175)( 617,1164)( 618,1163)( 619,1162)( 620,1161)( 621,1165)
( 622,1166)( 623,1168)( 624,1167)( 625,1156)( 626,1155)( 627,1154)( 628,1153)
( 629,1157)( 630,1158)( 631,1160)( 632,1159)( 633,1148)( 634,1147)( 635,1146)
( 636,1145)( 637,1149)( 638,1150)( 639,1152)( 640,1151)( 641,1140)( 642,1139)
( 643,1138)( 644,1137)( 645,1141)( 646,1142)( 647,1144)( 648,1143)( 649,1132)
( 650,1131)( 651,1130)( 652,1129)( 653,1133)( 654,1134)( 655,1136)( 656,1135)
( 657,1124)( 658,1123)( 659,1122)( 660,1121)( 661,1125)( 662,1126)( 663,1128)
( 664,1127)( 665,1116)( 666,1115)( 667,1114)( 668,1113)( 669,1117)( 670,1118)
( 671,1120)( 672,1119)( 673,1108)( 674,1107)( 675,1106)( 676,1105)( 677,1109)
( 678,1110)( 679,1112)( 680,1111)( 681, 964)( 682, 963)( 683, 962)( 684, 961)
( 685, 965)( 686, 966)( 687, 968)( 688, 967)( 689, 956)( 690, 955)( 691, 954)
( 692, 953)( 693, 957)( 694, 958)( 695, 960)( 696, 959)( 697,1084)( 698,1083)
( 699,1082)( 700,1081)( 701,1085)( 702,1086)( 703,1088)( 704,1087)( 705,1076)
( 706,1075)( 707,1074)( 708,1073)( 709,1077)( 710,1078)( 711,1080)( 712,1079)
( 713,1068)( 714,1067)( 715,1066)( 716,1065)( 717,1069)( 718,1070)( 719,1072)
( 720,1071)( 721,1060)( 722,1059)( 723,1058)( 724,1057)( 725,1061)( 726,1062)
( 727,1064)( 728,1063)( 729,1052)( 730,1051)( 731,1050)( 732,1049)( 733,1053)
( 734,1054)( 735,1056)( 736,1055)( 737,1044)( 738,1043)( 739,1042)( 740,1041)
( 741,1045)( 742,1046)( 743,1048)( 744,1047)( 745,1036)( 746,1035)( 747,1034)
( 748,1033)( 749,1037)( 750,1038)( 751,1040)( 752,1039)( 753,1028)( 754,1027)
( 755,1026)( 756,1025)( 757,1029)( 758,1030)( 759,1032)( 760,1031)( 761,1020)
( 762,1019)( 763,1018)( 764,1017)( 765,1021)( 766,1022)( 767,1024)( 768,1023)
( 769,1012)( 770,1011)( 771,1010)( 772,1009)( 773,1013)( 774,1014)( 775,1016)
( 776,1015)( 777,1004)( 778,1003)( 779,1002)( 780,1001)( 781,1005)( 782,1006)
( 783,1008)( 784,1007)( 785, 996)( 786, 995)( 787, 994)( 788, 993)( 789, 997)
( 790, 998)( 791,1000)( 792, 999)( 793, 988)( 794, 987)( 795, 986)( 796, 985)
( 797, 989)( 798, 990)( 799, 992)( 800, 991)( 801, 980)( 802, 979)( 803, 978)
( 804, 977)( 805, 981)( 806, 982)( 807, 984)( 808, 983)( 809, 972)( 810, 971)
( 811, 970)( 812, 969)( 813, 973)( 814, 974)( 815, 976)( 816, 975);
poly := sub<Sym(1632)|s0,s1,s2>;
Finitely Presented Group Representation (Magma) :
poly<s0,s1,s2> := Group< s0,s1,s2 | s0*s0, s1*s1, s2*s2,
s0*s2*s0*s2, s0*s1*s2*s1*s2*s1*s0*s1*s2*s1*s2*s1,
s0*s2*s1*s0*s1*s2*s1*s0*s1*s0*s1*s0*s2*s1*s0*s1*s2*s1*s0*s1*s0*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s0*s2*s1*s2*s1*s2*s1*s2*s1*s2*s0*s1*s2*s1*s2*s0*s1*s2*s0*s1*s2*s0*s1*s2*s1*s2*s0*s1*s2*s1*s2 >;
References : None.
to this polytope