Polytope of Type {928}

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

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

Permutation Representation (Magma) :

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

References : None.
to this polytope