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