Questions?
See the FAQ
or other info.

# Polytope of Type {10,20}

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