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