Polytope of Type {938}

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