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