Part of the Atlas of Small Regular Polytopes

Polytope of Type {478,2}

Atlas Canonical Name {478,2}*1912

Overview

Group
SmallGroup(1912,12)
Rank
3
Schläfli Type
{478,2}
Vertices, edges, …
478, 478, 2
Order of s0s1s2
478
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

239-fold

Covers minimal covers in bold

None in this atlas.

Representations

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