Part of the Atlas of Small Regular Polytopes

Polytope of Type {2,454}

Atlas Canonical Name {2,454}*1816

Overview

Group
SmallGroup(1816,12)
Rank
3
Schläfli Type
{2,454}
Vertices, edges, …
2, 454, 454
Order of s0s1s2
454
Order of s0s1s2s1
2
Also known as
if this polytope has a name.

Special Properties

  • Degenerate
  • Universal
  • Compact Hyperbolic Quotient
  • Locally Spherical
  • Orientable
  • Flat

Quotients maximal quotients in bold

2-fold

227-fold

Covers minimal covers in bold

None in this atlas.

Representations

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