Questions?
See the FAQ
or other info.

Polytope of Type {912}

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