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