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