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