Polytope of Type {3,6,12,4}

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