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