Polytope of Type {904}

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