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