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