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