Polytope of Type {884}

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