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