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