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