Part of the Atlas of Small Regular Polytopes

Polytope of Type {934}

Atlas Canonical Name {934}*1868

Overview

Group
SmallGroup(1868,3)
Rank
2
Schläfli Type
{934}
Vertices, edges, …
934, 934
Order of s0s1
934
Also known as
934-gon, {934}. if this polytope has another name.

Special Properties

  • Universal
  • Spherical
  • Locally Spherical
  • Orientable
  • Self-Dual

Quotients maximal quotients in bold

2-fold

467-fold

Covers minimal covers in bold

None in this atlas.

Irregular Quotients of which this is a minimal cover

None.

Representations

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.