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