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 s0s1 : 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.
Irregular Quotients (of which this is a minimal cover):
None.
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