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