Polytope of Type {880}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {880}*1760
Also Known As : 880-gon, {880}. if this polytope has another name.
Group : SmallGroup(1760,221)
Rank : 2
Schlafli Type : {880}
Number of vertices, edges, etc : 880, 880
Order of s₀s₁ : 880
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 : {440}*880
   4-fold quotients : {220}*440
   5-fold quotients : {176}*352
   8-fold quotients : {110}*220
   10-fold quotients : {88}*176
   11-fold quotients : {80}*160
   16-fold quotients : {55}*110
   20-fold quotients : {44}*88
   22-fold quotients : {40}*80
   40-fold quotients : {22}*44
   44-fold quotients : {20}*40
   55-fold quotients : {16}*32
   80-fold quotients : {11}*22
   88-fold quotients : {10}*20
   110-fold quotients : {8}*16
   176-fold quotients : {5}*10
   220-fold quotients : {4}*8
   440-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope