Polytope of Type {476,2}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {476,2}*1904
if this polytope has a name.
Group : SmallGroup(1904,160)
Rank : 3
Schlafli Type : {476,2}
Number of vertices, edges, etc : 476, 476, 2
Order of s₀s₁s₂ : 476
Order of s₀s₁s₂s₁ : 2
Special Properties :
   Degenerate
   Universal
   Compact Hyperbolic Quotient
   Locally Spherical
   Orientable
   Flat
   Self-Petrie
Related Polytopes :
   Facet
   Vertex Figure
   Dual
   Petrial
Facet Of :
   None in this Atlas
Vertex Figure Of :
   None in this Atlas
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {238,2}*952
   4-fold quotients : {119,2}*476
   7-fold quotients : {68,2}*272
   14-fold quotients : {34,2}*136
   17-fold quotients : {28,2}*112
   28-fold quotients : {17,2}*68
   34-fold quotients : {14,2}*56
   68-fold quotients : {7,2}*28
   119-fold quotients : {4,2}*16
   238-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.

Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

to this polytope