Part of the Atlas of Small Regular Polytopes

Polytope of Type {30,24}

Atlas Canonical Name {30,24}*1920b

▶ Play as a twisty puzzle

Overview

Group
SmallGroup(1920,239317)
Rank
3
Schläfli Type
{30,24}
Vertices, edges, …
40, 480, 32
Order of s0s1s2
20
Order of s0s1s2s1
12
Also known as
if this polytope has a name.

Special Properties

  • Compact Hyperbolic Quotient
  • Locally Spherical
  • Orientable

Quotients maximal quotients in bold

2-fold

4-fold

5-fold

8-fold

10-fold

20-fold

24-fold

40-fold

48-fold

80-fold

96-fold

120-fold

240-fold

Covers minimal covers in bold

None in this atlas.

Irregular Quotients of which this is a minimal cover

None.

Representations

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, s0*s1*s2*s0*s1*s2*s1*s2*s1*s2*s1*s2*s0*s1*s0*s1*s2*s1, 
s2*s0*s1*s2*s0*s1*s2*s1*s2*s0*s1*s2*s0*s1*s2*s0*s1*s2*s1*s2*s0*s1, 
s0*s2*s1*s0*s2*s1*s0*s2*s1*s0*s2*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 ];;
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, s0*s1*s2*s0*s1*s2*s1*s2*s1*s2*s1*s2*s0*s1*s0*s1*s2*s1, 
s2*s0*s1*s2*s0*s1*s2*s1*s2*s0*s1*s2*s0*s1*s2*s0*s1*s2*s1*s2*s0*s1, 
s0*s2*s1*s0*s2*s1*s0*s2*s1*s0*s2*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 >;

References

None.

to this polytope.

Twisty Puzzle