Polytope of Type {920}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {920}*1840
Also Known As : 920-gon, {920}. if this polytope has another name.
Group : SmallGroup(1840,67)
Rank : 2
Schlafli Type : {920}
Number of vertices, edges, etc : 920, 920
Order of s₀s₁ : 920
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 : {460}*920
   4-fold quotients : {230}*460
   5-fold quotients : {184}*368
   8-fold quotients : {115}*230
   10-fold quotients : {92}*184
   20-fold quotients : {46}*92
   23-fold quotients : {40}*80
   40-fold quotients : {23}*46
   46-fold quotients : {20}*40
   92-fold quotients : {10}*20
   115-fold quotients : {8}*16
   184-fold quotients : {5}*10
   230-fold quotients : {4}*8
   460-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope