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