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