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