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