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