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