Polytope of Type {4,3,24} with group SmallGroup(1152,157645)

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

Permutation Representation (Magma)

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

References

None.

to this polytope.

Overview

Special Properties

Related Polytopes

Quotients maximal quotients in bold

Covers minimal covers in bold

Irregular Quotients of which this is a minimal cover

Representations

References