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