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