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