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