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