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