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