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