Polytope of Type {12,18}

Play with this polytope as a twisty puzzle

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {12,18}*1728a
if this polytope has a name.
Group : SmallGroup(1728,30184)
Rank : 3
Schlafli Type : {12,18}
Number of vertices, edges, etc : 48, 432, 72
Order of s₀s₁s₂ : 72
Order of s₀s₁s₂s₁ : 12
Special Properties :
   Compact Hyperbolic Quotient
   Locally Spherical
   Orientable
Related Polytopes :
   Facet
   Vertex Figure
   Dual
Facet Of :
   None in this Atlas
Vertex Figure Of :
   None in this Atlas
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {12,9}*864, {6,18}*864
   3-fold quotients : {12,6}*576c
   4-fold quotients : {6,9}*432
   6-fold quotients : {12,3}*288, {6,6}*288a
   8-fold quotients : {6,18}*216b
   9-fold quotients : {12,6}*192b
   12-fold quotients : {6,3}*144
   16-fold quotients : {6,9}*108
   18-fold quotients : {12,3}*96, {6,6}*96
   24-fold quotients : {2,18}*72, {6,6}*72b
   36-fold quotients : {3,6}*48, {6,3}*48
   48-fold quotients : {2,9}*36, {6,3}*36
   72-fold quotients : {3,3}*24, {2,6}*24
   144-fold quotients : {2,3}*12
   216-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Irregular Quotients (of which this is a minimal cover):
   P/N, where N=<s0*s1*s0*s1*s0*s1*s0*s1> of order 3.
      36 facets:
         18 of {4}*8
         18 of {12}*24
      16 vertex figures:
         16 of {18}*36

Permutation Representation (GAP) :

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

Finitely Presented Group Representation (GAP) :

F := FreeGroup("s0","s1","s2");;
s0 := F.1;;  s1 := F.2;;  s2 := F.3;;  
rels := [ s0*s0, s1*s1, s2*s2, s0*s2*s0*s2, s0*s1*s2*s1*s2*s1*s0*s1*s2*s1*s2*s1, 
s0*s1*s0*s2*s1*s0*s1*s2*s1*s0*s1*s0*s1*s0*s2*s1*s0*s1*s2*s1*s0*s1, 
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 ];;
poly := F / rels;;

Permutation Representation (Magma) :

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

Finitely Presented Group Representation (Magma) :

poly<s0,s1,s2> := Group< s0,s1,s2 | s0*s0, s1*s1, s2*s2, 
s0*s2*s0*s2, s0*s1*s2*s1*s2*s1*s0*s1*s2*s1*s2*s1, 
s0*s1*s0*s2*s1*s0*s1*s2*s1*s0*s1*s0*s1*s0*s2*s1*s0*s1*s2*s1*s0*s1, 
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 >;

References : None.
to this polytope

Polytope of Type {12,18}

Twisty Puzzle