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