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