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