Polytope of Type {508} with group SmallGroup(1016,10)

Overview

Group: SmallGroup(1016,10)
Rank: 2
Schläfli Type: {508}
Vertices, edges, …: 508, 508
Order of s₀s₁: 508
Also known as: 508-gon, {508}. if this polytope has another name.

Special Properties

Universal
Spherical
Locally Spherical
Orientable
Self-Dual

Quotients maximal quotients in bold

2-fold

{254}*508

4-fold

{127}*254

127-fold

{4}*8

254-fold

{2}*4

Covers minimal covers in bold

None in this atlas.

Irregular Quotients of which this is a minimal cover

None.

Representations

Permutation Representation (GAP)

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

Finitely Presented Group Representation (GAP)

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

Finitely Presented Group Representation (Magma)

poly<s0,s1> := Group< s0,s1 | s0*s0, s1*s1, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*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