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