Polytope of Type {932}

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