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