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