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