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 s₀s₁ : 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.
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