Polytope of Type {12,12}

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