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