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.
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