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