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