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.
Irregular Quotients (of which this is a minimal cover):
None.
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