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