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