Polytope of Type {2,466}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,466}*1864
if this polytope has a name.
Group : SmallGroup(1864,12)
Rank : 3
Schlafli Type : {2,466}
Number of vertices, edges, etc : 2, 466, 466
Order of s₀s₁s₂ : 466
Order of s₀s₁s₂s₁ : 2
Special Properties :
   Degenerate
   Universal
   Compact Hyperbolic Quotient
   Locally Spherical
   Orientable
   Flat
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 : {2,233}*932
   233-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

s0 := (1,2);;
s1 := (  4,235)(  5,234)(  6,233)(  7,232)(  8,231)(  9,230)( 10,229)( 11,228)
( 12,227)( 13,226)( 14,225)( 15,224)( 16,223)( 17,222)( 18,221)( 19,220)
( 20,219)( 21,218)( 22,217)( 23,216)( 24,215)( 25,214)( 26,213)( 27,212)
( 28,211)( 29,210)( 30,209)( 31,208)( 32,207)( 33,206)( 34,205)( 35,204)
( 36,203)( 37,202)( 38,201)( 39,200)( 40,199)( 41,198)( 42,197)( 43,196)
( 44,195)( 45,194)( 46,193)( 47,192)( 48,191)( 49,190)( 50,189)( 51,188)
( 52,187)( 53,186)( 54,185)( 55,184)( 56,183)( 57,182)( 58,181)( 59,180)
( 60,179)( 61,178)( 62,177)( 63,176)( 64,175)( 65,174)( 66,173)( 67,172)
( 68,171)( 69,170)( 70,169)( 71,168)( 72,167)( 73,166)( 74,165)( 75,164)
( 76,163)( 77,162)( 78,161)( 79,160)( 80,159)( 81,158)( 82,157)( 83,156)
( 84,155)( 85,154)( 86,153)( 87,152)( 88,151)( 89,150)( 90,149)( 91,148)
( 92,147)( 93,146)( 94,145)( 95,144)( 96,143)( 97,142)( 98,141)( 99,140)
(100,139)(101,138)(102,137)(103,136)(104,135)(105,134)(106,133)(107,132)
(108,131)(109,130)(110,129)(111,128)(112,127)(113,126)(114,125)(115,124)
(116,123)(117,122)(118,121)(119,120)(237,468)(238,467)(239,466)(240,465)
(241,464)(242,463)(243,462)(244,461)(245,460)(246,459)(247,458)(248,457)
(249,456)(250,455)(251,454)(252,453)(253,452)(254,451)(255,450)(256,449)
(257,448)(258,447)(259,446)(260,445)(261,444)(262,443)(263,442)(264,441)
(265,440)(266,439)(267,438)(268,437)(269,436)(270,435)(271,434)(272,433)
(273,432)(274,431)(275,430)(276,429)(277,428)(278,427)(279,426)(280,425)
(281,424)(282,423)(283,422)(284,421)(285,420)(286,419)(287,418)(288,417)
(289,416)(290,415)(291,414)(292,413)(293,412)(294,411)(295,410)(296,409)
(297,408)(298,407)(299,406)(300,405)(301,404)(302,403)(303,402)(304,401)
(305,400)(306,399)(307,398)(308,397)(309,396)(310,395)(311,394)(312,393)
(313,392)(314,391)(315,390)(316,389)(317,388)(318,387)(319,386)(320,385)
(321,384)(322,383)(323,382)(324,381)(325,380)(326,379)(327,378)(328,377)
(329,376)(330,375)(331,374)(332,373)(333,372)(334,371)(335,370)(336,369)
(337,368)(338,367)(339,366)(340,365)(341,364)(342,363)(343,362)(344,361)
(345,360)(346,359)(347,358)(348,357)(349,356)(350,355)(351,354)(352,353);;
s2 := (  3,237)(  4,236)(  5,468)(  6,467)(  7,466)(  8,465)(  9,464)( 10,463)
( 11,462)( 12,461)( 13,460)( 14,459)( 15,458)( 16,457)( 17,456)( 18,455)
( 19,454)( 20,453)( 21,452)( 22,451)( 23,450)( 24,449)( 25,448)( 26,447)
( 27,446)( 28,445)( 29,444)( 30,443)( 31,442)( 32,441)( 33,440)( 34,439)
( 35,438)( 36,437)( 37,436)( 38,435)( 39,434)( 40,433)( 41,432)( 42,431)
( 43,430)( 44,429)( 45,428)( 46,427)( 47,426)( 48,425)( 49,424)( 50,423)
( 51,422)( 52,421)( 53,420)( 54,419)( 55,418)( 56,417)( 57,416)( 58,415)
( 59,414)( 60,413)( 61,412)( 62,411)( 63,410)( 64,409)( 65,408)( 66,407)
( 67,406)( 68,405)( 69,404)( 70,403)( 71,402)( 72,401)( 73,400)( 74,399)
( 75,398)( 76,397)( 77,396)( 78,395)( 79,394)( 80,393)( 81,392)( 82,391)
( 83,390)( 84,389)( 85,388)( 86,387)( 87,386)( 88,385)( 89,384)( 90,383)
( 91,382)( 92,381)( 93,380)( 94,379)( 95,378)( 96,377)( 97,376)( 98,375)
( 99,374)(100,373)(101,372)(102,371)(103,370)(104,369)(105,368)(106,367)
(107,366)(108,365)(109,364)(110,363)(111,362)(112,361)(113,360)(114,359)
(115,358)(116,357)(117,356)(118,355)(119,354)(120,353)(121,352)(122,351)
(123,350)(124,349)(125,348)(126,347)(127,346)(128,345)(129,344)(130,343)
(131,342)(132,341)(133,340)(134,339)(135,338)(136,337)(137,336)(138,335)
(139,334)(140,333)(141,332)(142,331)(143,330)(144,329)(145,328)(146,327)
(147,326)(148,325)(149,324)(150,323)(151,322)(152,321)(153,320)(154,319)
(155,318)(156,317)(157,316)(158,315)(159,314)(160,313)(161,312)(162,311)
(163,310)(164,309)(165,308)(166,307)(167,306)(168,305)(169,304)(170,303)
(171,302)(172,301)(173,300)(174,299)(175,298)(176,297)(177,296)(178,295)
(179,294)(180,293)(181,292)(182,291)(183,290)(184,289)(185,288)(186,287)
(187,286)(188,285)(189,284)(190,283)(191,282)(192,281)(193,280)(194,279)
(195,278)(196,277)(197,276)(198,275)(199,274)(200,273)(201,272)(202,271)
(203,270)(204,269)(205,268)(206,267)(207,266)(208,265)(209,264)(210,263)
(211,262)(212,261)(213,260)(214,259)(215,258)(216,257)(217,256)(218,255)
(219,254)(220,253)(221,252)(222,251)(223,250)(224,249)(225,248)(226,247)
(227,246)(228,245)(229,244)(230,243)(231,242)(232,241)(233,240)(234,239)
(235,238);;
poly := Group([s0,s1,s2]);;

Finitely Presented Group Representation (GAP) :

F := FreeGroup("s0","s1","s2");;
s0 := F.1;;  s1 := F.2;;  s2 := F.3;;  
rels := [ s0*s0, s1*s1, s2*s2, s0*s1*s0*s1, s0*s2*s0*s2, 
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 ];;
poly := F / rels;;

Permutation Representation (Magma) :

s0 := Sym(468)!(1,2);
s1 := Sym(468)!(  4,235)(  5,234)(  6,233)(  7,232)(  8,231)(  9,230)( 10,229)
( 11,228)( 12,227)( 13,226)( 14,225)( 15,224)( 16,223)( 17,222)( 18,221)
( 19,220)( 20,219)( 21,218)( 22,217)( 23,216)( 24,215)( 25,214)( 26,213)
( 27,212)( 28,211)( 29,210)( 30,209)( 31,208)( 32,207)( 33,206)( 34,205)
( 35,204)( 36,203)( 37,202)( 38,201)( 39,200)( 40,199)( 41,198)( 42,197)
( 43,196)( 44,195)( 45,194)( 46,193)( 47,192)( 48,191)( 49,190)( 50,189)
( 51,188)( 52,187)( 53,186)( 54,185)( 55,184)( 56,183)( 57,182)( 58,181)
( 59,180)( 60,179)( 61,178)( 62,177)( 63,176)( 64,175)( 65,174)( 66,173)
( 67,172)( 68,171)( 69,170)( 70,169)( 71,168)( 72,167)( 73,166)( 74,165)
( 75,164)( 76,163)( 77,162)( 78,161)( 79,160)( 80,159)( 81,158)( 82,157)
( 83,156)( 84,155)( 85,154)( 86,153)( 87,152)( 88,151)( 89,150)( 90,149)
( 91,148)( 92,147)( 93,146)( 94,145)( 95,144)( 96,143)( 97,142)( 98,141)
( 99,140)(100,139)(101,138)(102,137)(103,136)(104,135)(105,134)(106,133)
(107,132)(108,131)(109,130)(110,129)(111,128)(112,127)(113,126)(114,125)
(115,124)(116,123)(117,122)(118,121)(119,120)(237,468)(238,467)(239,466)
(240,465)(241,464)(242,463)(243,462)(244,461)(245,460)(246,459)(247,458)
(248,457)(249,456)(250,455)(251,454)(252,453)(253,452)(254,451)(255,450)
(256,449)(257,448)(258,447)(259,446)(260,445)(261,444)(262,443)(263,442)
(264,441)(265,440)(266,439)(267,438)(268,437)(269,436)(270,435)(271,434)
(272,433)(273,432)(274,431)(275,430)(276,429)(277,428)(278,427)(279,426)
(280,425)(281,424)(282,423)(283,422)(284,421)(285,420)(286,419)(287,418)
(288,417)(289,416)(290,415)(291,414)(292,413)(293,412)(294,411)(295,410)
(296,409)(297,408)(298,407)(299,406)(300,405)(301,404)(302,403)(303,402)
(304,401)(305,400)(306,399)(307,398)(308,397)(309,396)(310,395)(311,394)
(312,393)(313,392)(314,391)(315,390)(316,389)(317,388)(318,387)(319,386)
(320,385)(321,384)(322,383)(323,382)(324,381)(325,380)(326,379)(327,378)
(328,377)(329,376)(330,375)(331,374)(332,373)(333,372)(334,371)(335,370)
(336,369)(337,368)(338,367)(339,366)(340,365)(341,364)(342,363)(343,362)
(344,361)(345,360)(346,359)(347,358)(348,357)(349,356)(350,355)(351,354)
(352,353);
s2 := Sym(468)!(  3,237)(  4,236)(  5,468)(  6,467)(  7,466)(  8,465)(  9,464)
( 10,463)( 11,462)( 12,461)( 13,460)( 14,459)( 15,458)( 16,457)( 17,456)
( 18,455)( 19,454)( 20,453)( 21,452)( 22,451)( 23,450)( 24,449)( 25,448)
( 26,447)( 27,446)( 28,445)( 29,444)( 30,443)( 31,442)( 32,441)( 33,440)
( 34,439)( 35,438)( 36,437)( 37,436)( 38,435)( 39,434)( 40,433)( 41,432)
( 42,431)( 43,430)( 44,429)( 45,428)( 46,427)( 47,426)( 48,425)( 49,424)
( 50,423)( 51,422)( 52,421)( 53,420)( 54,419)( 55,418)( 56,417)( 57,416)
( 58,415)( 59,414)( 60,413)( 61,412)( 62,411)( 63,410)( 64,409)( 65,408)
( 66,407)( 67,406)( 68,405)( 69,404)( 70,403)( 71,402)( 72,401)( 73,400)
( 74,399)( 75,398)( 76,397)( 77,396)( 78,395)( 79,394)( 80,393)( 81,392)
( 82,391)( 83,390)( 84,389)( 85,388)( 86,387)( 87,386)( 88,385)( 89,384)
( 90,383)( 91,382)( 92,381)( 93,380)( 94,379)( 95,378)( 96,377)( 97,376)
( 98,375)( 99,374)(100,373)(101,372)(102,371)(103,370)(104,369)(105,368)
(106,367)(107,366)(108,365)(109,364)(110,363)(111,362)(112,361)(113,360)
(114,359)(115,358)(116,357)(117,356)(118,355)(119,354)(120,353)(121,352)
(122,351)(123,350)(124,349)(125,348)(126,347)(127,346)(128,345)(129,344)
(130,343)(131,342)(132,341)(133,340)(134,339)(135,338)(136,337)(137,336)
(138,335)(139,334)(140,333)(141,332)(142,331)(143,330)(144,329)(145,328)
(146,327)(147,326)(148,325)(149,324)(150,323)(151,322)(152,321)(153,320)
(154,319)(155,318)(156,317)(157,316)(158,315)(159,314)(160,313)(161,312)
(162,311)(163,310)(164,309)(165,308)(166,307)(167,306)(168,305)(169,304)
(170,303)(171,302)(172,301)(173,300)(174,299)(175,298)(176,297)(177,296)
(178,295)(179,294)(180,293)(181,292)(182,291)(183,290)(184,289)(185,288)
(186,287)(187,286)(188,285)(189,284)(190,283)(191,282)(192,281)(193,280)
(194,279)(195,278)(196,277)(197,276)(198,275)(199,274)(200,273)(201,272)
(202,271)(203,270)(204,269)(205,268)(206,267)(207,266)(208,265)(209,264)
(210,263)(211,262)(212,261)(213,260)(214,259)(215,258)(216,257)(217,256)
(218,255)(219,254)(220,253)(221,252)(222,251)(223,250)(224,249)(225,248)
(226,247)(227,246)(228,245)(229,244)(230,243)(231,242)(232,241)(233,240)
(234,239)(235,238);
poly := sub<Sym(468)|s0,s1,s2>;

Finitely Presented Group Representation (Magma) :

poly<s0,s1,s2> := Group< s0,s1,s2 | s0*s0, s1*s1, s2*s2, 
s0*s1*s0*s1, s0*s2*s0*s2, s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 >;

to this polytope