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