Polytope of Type {910}

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