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