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