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