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