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