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