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