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