Polytope of Type {902}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {902}*1804
Also Known As : 902-gon, {902}. if this polytope has another name.
Group : SmallGroup(1804,10)
Rank : 2
Schlafli Type : {902}
Number of vertices, edges, etc : 902, 902
Order of s₀s₁ : 902
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 : {451}*902
   11-fold quotients : {82}*164
   22-fold quotients : {41}*82
   41-fold quotients : {22}*44
   82-fold quotients : {11}*22
   451-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope