Polytope of Type {12,24}

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