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