Polytope of Type {30,24}

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