Polytope of Type {934}

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

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

Permutation Representation (Magma) :

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

References : None.
to this polytope