Polytope of Type {886}

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

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

Permutation Representation (Magma) :

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

References : None.
to this polytope