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