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