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