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