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