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