Questions?
See the FAQ
or other info.

# 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