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