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