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