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