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