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