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