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