Polytope of Type {906}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {906}*1812
Also Known As : 906-gon, {906}. if this polytope has another name.
Group : SmallGroup(1812,14)
Rank : 2
Schlafli Type : {906}
Number of vertices, edges, etc : 906, 906
Order of s₀s₁ : 906
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 : {453}*906
   3-fold quotients : {302}*604
   6-fold quotients : {151}*302
   151-fold quotients : {6}*12
   302-fold quotients : {3}*6
   453-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope