Polytope of Type {4,14,16}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {4,14,16}*1792
Also Known As : {{4,14|2},{14,16|2}}. if this polytope has another name.
Group : SmallGroup(1792,326216)
Rank : 4
Schlafli Type : {4,14,16}
Number of vertices, edges, etc : 4, 28, 112, 16
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 : {4,14,8}*896, {2,14,16}*896
4-fold quotients : {4,14,4}*448, {2,14,8}*448
7-fold quotients : {4,2,16}*256
8-fold quotients : {2,14,4}*224, {4,14,2}*224
14-fold quotients : {4,2,8}*128, {2,2,16}*128
16-fold quotients : {2,14,2}*112
28-fold quotients : {4,2,4}*64, {2,2,8}*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,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);;
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,197)( 30,203)( 31,202)( 32,201)
( 33,200)( 34,199)( 35,198)( 36,204)( 37,210)( 38,209)( 39,208)( 40,207)
( 41,206)( 42,205)( 43,211)( 44,217)( 45,216)( 46,215)( 47,214)( 48,213)
( 49,212)( 50,218)( 51,224)( 52,223)( 53,222)( 54,221)( 55,220)( 56,219)
( 57,134)( 58,140)( 59,139)( 60,138)( 61,137)( 62,136)( 63,135)( 64,127)
( 65,133)( 66,132)( 67,131)( 68,130)( 69,129)( 70,128)( 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,141)(100,147)(101,146)(102,145)(103,144)(104,143)
(105,142)(106,148)(107,154)(108,153)(109,152)(110,151)(111,150)(112,149)
(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,386)(282,392)(283,391)(284,390)(285,389)(286,388)(287,387)(288,379)
(289,385)(290,384)(291,383)(292,382)(293,381)(294,380)(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,358)(310,364)(311,363)(312,362)
(313,361)(314,360)(315,359)(316,351)(317,357)(318,356)(319,355)(320,354)
(321,353)(322,352)(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,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,603)(492,609)(493,608)(494,607)(495,606)(496,605)
(497,604)(498,610)(499,616)(500,615)(501,614)(502,613)(503,612)(504,611)
(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,645)(534,651)(535,650)(536,649)
(537,648)(538,647)(539,646)(540,652)(541,658)(542,657)(543,656)(544,655)
(545,654)(546,653)(547,659)(548,665)(549,664)(550,663)(551,662)(552,661)
(553,660)(554,666)(555,672)(556,671)(557,670)(558,669)(559,668)(560,667)
(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,135)( 16,134)
( 17,140)( 18,139)( 19,138)( 20,137)( 21,136)( 22,128)( 23,127)( 24,133)
( 25,132)( 26,131)( 27,130)( 28,129)( 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,163)( 44,162)( 45,168)( 46,167)( 47,166)( 48,165)
( 49,164)( 50,156)( 51,155)( 52,161)( 53,160)( 54,159)( 55,158)( 56,157)
( 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,359)(240,358)
(241,364)(242,363)(243,362)(244,361)(245,360)(246,352)(247,351)(248,357)
(249,356)(250,355)(251,354)(252,353)(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,387)(268,386)(269,392)(270,391)(271,390)(272,389)
(273,388)(274,380)(275,379)(276,385)(277,384)(278,383)(279,382)(280,381)
(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,583)(464,582)
(465,588)(466,587)(467,586)(468,585)(469,584)(470,576)(471,575)(472,581)
(473,580)(474,579)(475,578)(476,577)(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,611)(492,610)(493,616)(494,615)(495,614)(496,613)
(497,612)(498,604)(499,603)(500,609)(501,608)(502,607)(503,606)(504,605)
(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,807)(688,806)
(689,812)(690,811)(691,810)(692,809)(693,808)(694,800)(695,799)(696,805)
(697,804)(698,803)(699,802)(700,801)(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,835)(716,834)(717,840)(718,839)(719,838)(720,837)
(721,836)(722,828)(723,827)(724,833)(725,832)(726,831)(727,830)(728,829)
(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,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);;
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*s3*s2*s1*s2*s3*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*s1*s2,
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 ];;
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,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);
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,197)( 30,203)( 31,202)
( 32,201)( 33,200)( 34,199)( 35,198)( 36,204)( 37,210)( 38,209)( 39,208)
( 40,207)( 41,206)( 42,205)( 43,211)( 44,217)( 45,216)( 46,215)( 47,214)
( 48,213)( 49,212)( 50,218)( 51,224)( 52,223)( 53,222)( 54,221)( 55,220)
( 56,219)( 57,134)( 58,140)( 59,139)( 60,138)( 61,137)( 62,136)( 63,135)
( 64,127)( 65,133)( 66,132)( 67,131)( 68,130)( 69,129)( 70,128)( 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,141)(100,147)(101,146)(102,145)(103,144)
(104,143)(105,142)(106,148)(107,154)(108,153)(109,152)(110,151)(111,150)
(112,149)(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,386)(282,392)(283,391)(284,390)(285,389)(286,388)(287,387)
(288,379)(289,385)(290,384)(291,383)(292,382)(293,381)(294,380)(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,358)(310,364)(311,363)
(312,362)(313,361)(314,360)(315,359)(316,351)(317,357)(318,356)(319,355)
(320,354)(321,353)(322,352)(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,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,603)(492,609)(493,608)(494,607)(495,606)
(496,605)(497,604)(498,610)(499,616)(500,615)(501,614)(502,613)(503,612)
(504,611)(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,645)(534,651)(535,650)
(536,649)(537,648)(538,647)(539,646)(540,652)(541,658)(542,657)(543,656)
(544,655)(545,654)(546,653)(547,659)(548,665)(549,664)(550,663)(551,662)
(552,661)(553,660)(554,666)(555,672)(556,671)(557,670)(558,669)(559,668)
(560,667)(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,135)
( 16,134)( 17,140)( 18,139)( 19,138)( 20,137)( 21,136)( 22,128)( 23,127)
( 24,133)( 25,132)( 26,131)( 27,130)( 28,129)( 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,163)( 44,162)( 45,168)( 46,167)( 47,166)
( 48,165)( 49,164)( 50,156)( 51,155)( 52,161)( 53,160)( 54,159)( 55,158)
( 56,157)( 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,359)
(240,358)(241,364)(242,363)(243,362)(244,361)(245,360)(246,352)(247,351)
(248,357)(249,356)(250,355)(251,354)(252,353)(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,387)(268,386)(269,392)(270,391)(271,390)
(272,389)(273,388)(274,380)(275,379)(276,385)(277,384)(278,383)(279,382)
(280,381)(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,583)
(464,582)(465,588)(466,587)(467,586)(468,585)(469,584)(470,576)(471,575)
(472,581)(473,580)(474,579)(475,578)(476,577)(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,611)(492,610)(493,616)(494,615)(495,614)
(496,613)(497,612)(498,604)(499,603)(500,609)(501,608)(502,607)(503,606)
(504,605)(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,807)
(688,806)(689,812)(690,811)(691,810)(692,809)(693,808)(694,800)(695,799)
(696,805)(697,804)(698,803)(699,802)(700,801)(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,835)(716,834)(717,840)(718,839)(719,838)
(720,837)(721,836)(722,828)(723,827)(724,833)(725,832)(726,831)(727,830)
(728,829)(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,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);
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*s3*s2*s1*s2*s3*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*s1*s2,
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 >;
References : None.
to this polytope