Polytope of Type {900}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {900}*1800
Also Known As : 900-gon, {900}. if this polytope has another name.
Group : SmallGroup(1800,27)
Rank : 2
Schlafli Type : {900}
Number of vertices, edges, etc : 900, 900
Order of s₀s₁ : 900
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 : {450}*900
   3-fold quotients : {300}*600
   4-fold quotients : {225}*450
   5-fold quotients : {180}*360
   6-fold quotients : {150}*300
   9-fold quotients : {100}*200
   10-fold quotients : {90}*180
   12-fold quotients : {75}*150
   15-fold quotients : {60}*120
   18-fold quotients : {50}*100
   20-fold quotients : {45}*90
   25-fold quotients : {36}*72
   30-fold quotients : {30}*60
   36-fold quotients : {25}*50
   45-fold quotients : {20}*40
   50-fold quotients : {18}*36
   60-fold quotients : {15}*30
   75-fold quotients : {12}*24
   90-fold quotients : {10}*20
   100-fold quotients : {9}*18
   150-fold quotients : {6}*12
   180-fold quotients : {5}*10
   225-fold quotients : {4}*8
   300-fold quotients : {3}*6
   450-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope