Polytope of Type {892}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {892}*1784
Also Known As : 892-gon, {892}. if this polytope has another name.
Group : SmallGroup(1784,10)
Rank : 2
Schlafli Type : {892}
Number of vertices, edges, etc : 892, 892
Order of s₀s₁ : 892
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 : {446}*892
   4-fold quotients : {223}*446
   223-fold quotients : {4}*8
   446-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope