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