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