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