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