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