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