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