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