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