Polytope of Type {922}

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

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