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