Polytope of Type {950}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {950}*1900
Also Known As : 950-gon, {950}. if this polytope has another name.
Group : SmallGroup(1900,10)
Rank : 2
Schlafli Type : {950}
Number of vertices, edges, etc : 950, 950
Order of s₀s₁ : 950
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 : {475}*950
   5-fold quotients : {190}*380
   10-fold quotients : {95}*190
   19-fold quotients : {50}*100
   25-fold quotients : {38}*76
   38-fold quotients : {25}*50
   50-fold quotients : {19}*38
   95-fold quotients : {10}*20
   190-fold quotients : {5}*10
   475-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope