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