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