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