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