Polytope of Type {952}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {952}*1904
Also Known As : 952-gon, {952}. if this polytope has another name.
Group : SmallGroup(1904,67)
Rank : 2
Schlafli Type : {952}
Number of vertices, edges, etc : 952, 952
Order of s₀s₁ : 952
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 : {476}*952
   4-fold quotients : {238}*476
   7-fold quotients : {136}*272
   8-fold quotients : {119}*238
   14-fold quotients : {68}*136
   17-fold quotients : {56}*112
   28-fold quotients : {34}*68
   34-fold quotients : {28}*56
   56-fold quotients : {17}*34
   68-fold quotients : {14}*28
   119-fold quotients : {8}*16
   136-fold quotients : {7}*14
   238-fold quotients : {4}*8
   476-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope