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