Polytope of Type {12,12}

Play with this polytope as a twisty puzzle

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {12,12}*1152f
if this polytope has a name.
Group : SmallGroup(1152,155677)
Rank : 3
Schlafli Type : {12,12}
Number of vertices, edges, etc : 48, 288, 48
Order of s0s1s2 : 24
Order of s0s1s2s1 : 12
Special Properties :
   Compact Hyperbolic Quotient
   Locally Spherical
   Orientable
Related Polytopes :
   Facet
   Vertex Figure
   Dual
   Petrial
Facet Of :
   None in this Atlas
Vertex Figure Of :
   None in this Atlas
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {6,12}*576a, {12,6}*576c
   3-fold quotients : {12,12}*384c
   4-fold quotients : {12,3}*288, {6,6}*288a
   6-fold quotients : {6,12}*192a, {12,6}*192b
   8-fold quotients : {6,12}*144b, {6,3}*144
   12-fold quotients : {12,3}*96, {6,6}*96
   16-fold quotients : {6,6}*72b
   24-fold quotients : {2,12}*48, {3,6}*48, {6,3}*48
   32-fold quotients : {6,3}*36
   48-fold quotients : {3,3}*24, {2,6}*24
   72-fold quotients : {2,4}*16
   96-fold quotients : {2,3}*12
   144-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Irregular Quotients (of which this is a minimal cover):
   P/N, where N=<s0*s1*s0*s1*s0*s1*s0*s1> of order 3.
      24 facets:
         12 of {4}*8
         12 of {12}*24
      16 vertex figures:
         16 of {12}*24

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

Twisty Puzzle