Polytope of Type {20,10}

Play with this polytope as a twisty puzzle

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.
Irregular Quotients (of which this is a minimal cover):
   P/N, where N=<s0*s1*s0*s1*s0*s1*s2*s1*s2*s1*s0*s2*s1*s2> of order 5.
      10 facets:
         10 of {20}*40
      20 vertex figures:
         20 of {10}*20
   P/N, where N=<s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s2*s1*s0*s1*s0*s1*s2*s1*s0*s1> of order 5.
      10 facets:
         10 of {20}*40
      20 vertex figures:
         20 of {10}*20
   P/N, where N=<s0*s1*s2*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s2*s1> of order 5.
      10 facets:
         10 of {20}*40
      20 vertex figures:
         20 of {10}*20
   P/N, where N=<s0*s1*s0*s1*s0*s1*s0*s1> of order 5.
      30 facets:
         25 of {4}*8
         5 of {20}*40
      20 vertex figures:
         20 of {10}*20
   P/N, where N=<s0*s1*s2*s1*s0*s2> of order 5.
      10 facets:
         10 of {20}*40
      60 vertex figures:
         10 of {10}*20
         50 of {2}*4
   P/N, where N=<s0*s1*s2*s1*s0*s1*s0*s1*s2*s1*s0*s1> of order 5.
      10 facets:
         10 of {20}*40
      20 vertex figures:
         20 of {10}*20

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, s0*s1*s2*s1*s2*s0*s1*s0*s1*s2*s1*s2*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, s0*s1*s2*s1*s2*s0*s1*s0*s1*s2*s1*s2*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

Twisty Puzzle