Polytope of Type {918}

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