Questions?
See the FAQ
or other info.

Polytope of Type {4,6,12}

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