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