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