Questions?
See the FAQ
or other info.

Polytope of Type {24,20}

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