Polytope of Type {944}

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