Polytope of Type {948}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {948}*1896
Also Known As : 948-gon, {948}. if this polytope has another name.
Group : SmallGroup(1896,36)
Rank : 2
Schlafli Type : {948}
Number of vertices, edges, etc : 948, 948
Order of s₀s₁ : 948
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 : {474}*948
   3-fold quotients : {316}*632
   4-fold quotients : {237}*474
   6-fold quotients : {158}*316
   12-fold quotients : {79}*158
   79-fold quotients : {12}*24
   158-fold quotients : {6}*12
   237-fold quotients : {4}*8
   316-fold quotients : {3}*6
   474-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope