Polytope of Type {898}

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

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

Permutation Representation (Magma) :

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

References : None.
to this polytope