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