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