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