Polytope of Type {914}

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

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

Permutation Representation (Magma) :

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

References : None.
to this polytope