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