Part of the Atlas of Small Regular Polytopes

Polytope of Type {458,2}

Atlas Canonical Name {458,2}*1832

Overview

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

Special Properties

  • Degenerate
  • Universal
  • Compact Hyperbolic Quotient
  • Locally Spherical
  • Orientable
  • Flat
  • Self-Petrie

Quotients maximal quotients in bold

2-fold

229-fold

Covers minimal covers in bold

None in this atlas.

Representations

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