Polytope of Type {52,6,3}

s0 := (  2, 13)(  3, 12)(  4, 11)(  5, 10)(  6,  9)(  7,  8)( 15, 26)( 16, 25)
( 17, 24)( 18, 23)( 19, 22)( 20, 21)( 28, 39)( 29, 38)( 30, 37)( 31, 36)
( 32, 35)( 33, 34)( 41, 52)( 42, 51)( 43, 50)( 44, 49)( 45, 48)( 46, 47)
( 54, 65)( 55, 64)( 56, 63)( 57, 62)( 58, 61)( 59, 60)( 67, 78)( 68, 77)
( 69, 76)( 70, 75)( 71, 74)( 72, 73)( 80, 91)( 81, 90)( 82, 89)( 83, 88)
( 84, 87)( 85, 86)( 93,104)( 94,103)( 95,102)( 96,101)( 97,100)( 98, 99)
(106,117)(107,116)(108,115)(109,114)(110,113)(111,112)(119,130)(120,129)
(121,128)(122,127)(123,126)(124,125)(132,143)(133,142)(134,141)(135,140)
(136,139)(137,138)(145,156)(146,155)(147,154)(148,153)(149,152)(150,151)
(158,169)(159,168)(160,167)(161,166)(162,165)(163,164)(171,182)(172,181)
(173,180)(174,179)(175,178)(176,177)(184,195)(185,194)(186,193)(187,192)
(188,191)(189,190)(197,208)(198,207)(199,206)(200,205)(201,204)(202,203)
(210,221)(211,220)(212,219)(213,218)(214,217)(215,216)(223,234)(224,233)
(225,232)(226,231)(227,230)(228,229)(235,352)(236,364)(237,363)(238,362)
(239,361)(240,360)(241,359)(242,358)(243,357)(244,356)(245,355)(246,354)
(247,353)(248,365)(249,377)(250,376)(251,375)(252,374)(253,373)(254,372)
(255,371)(256,370)(257,369)(258,368)(259,367)(260,366)(261,378)(262,390)
(263,389)(264,388)(265,387)(266,386)(267,385)(268,384)(269,383)(270,382)
(271,381)(272,380)(273,379)(274,391)(275,403)(276,402)(277,401)(278,400)
(279,399)(280,398)(281,397)(282,396)(283,395)(284,394)(285,393)(286,392)
(287,404)(288,416)(289,415)(290,414)(291,413)(292,412)(293,411)(294,410)
(295,409)(296,408)(297,407)(298,406)(299,405)(300,417)(301,429)(302,428)
(303,427)(304,426)(305,425)(306,424)(307,423)(308,422)(309,421)(310,420)
(311,419)(312,418)(313,430)(314,442)(315,441)(316,440)(317,439)(318,438)
(319,437)(320,436)(321,435)(322,434)(323,433)(324,432)(325,431)(326,443)
(327,455)(328,454)(329,453)(330,452)(331,451)(332,450)(333,449)(334,448)
(335,447)(336,446)(337,445)(338,444)(339,456)(340,468)(341,467)(342,466)
(343,465)(344,464)(345,463)(346,462)(347,461)(348,460)(349,459)(350,458)
(351,457)(469,586)(470,598)(471,597)(472,596)(473,595)(474,594)(475,593)
(476,592)(477,591)(478,590)(479,589)(480,588)(481,587)(482,599)(483,611)
(484,610)(485,609)(486,608)(487,607)(488,606)(489,605)(490,604)(491,603)
(492,602)(493,601)(494,600)(495,612)(496,624)(497,623)(498,622)(499,621)
(500,620)(501,619)(502,618)(503,617)(504,616)(505,615)(506,614)(507,613)
(508,625)(509,637)(510,636)(511,635)(512,634)(513,633)(514,632)(515,631)
(516,630)(517,629)(518,628)(519,627)(520,626)(521,638)(522,650)(523,649)
(524,648)(525,647)(526,646)(527,645)(528,644)(529,643)(530,642)(531,641)
(532,640)(533,639)(534,651)(535,663)(536,662)(537,661)(538,660)(539,659)
(540,658)(541,657)(542,656)(543,655)(544,654)(545,653)(546,652)(547,664)
(548,676)(549,675)(550,674)(551,673)(552,672)(553,671)(554,670)(555,669)
(556,668)(557,667)(558,666)(559,665)(560,677)(561,689)(562,688)(563,687)
(564,686)(565,685)(566,684)(567,683)(568,682)(569,681)(570,680)(571,679)
(572,678)(573,690)(574,702)(575,701)(576,700)(577,699)(578,698)(579,697)
(580,696)(581,695)(582,694)(583,693)(584,692)(585,691)(704,715)(705,714)
(706,713)(707,712)(708,711)(709,710)(717,728)(718,727)(719,726)(720,725)
(721,724)(722,723)(730,741)(731,740)(732,739)(733,738)(734,737)(735,736)
(743,754)(744,753)(745,752)(746,751)(747,750)(748,749)(756,767)(757,766)
(758,765)(759,764)(760,763)(761,762)(769,780)(770,779)(771,778)(772,777)
(773,776)(774,775)(782,793)(783,792)(784,791)(785,790)(786,789)(787,788)
(795,806)(796,805)(797,804)(798,803)(799,802)(800,801)(808,819)(809,818)
(810,817)(811,816)(812,815)(813,814)(821,832)(822,831)(823,830)(824,829)
(825,828)(826,827)(834,845)(835,844)(836,843)(837,842)(838,841)(839,840)
(847,858)(848,857)(849,856)(850,855)(851,854)(852,853)(860,871)(861,870)
(862,869)(863,868)(864,867)(865,866)(873,884)(874,883)(875,882)(876,881)
(877,880)(878,879)(886,897)(887,896)(888,895)(889,894)(890,893)(891,892)
(899,910)(900,909)(901,908)(902,907)(903,906)(904,905)(912,923)(913,922)
(914,921)(915,920)(916,919)(917,918)(925,936)(926,935)(927,934)(928,933)
(929,932)(930,931);;
s1 := (  1,470)(  2,469)(  3,481)(  4,480)(  5,479)(  6,478)(  7,477)(  8,476)
(  9,475)( 10,474)( 11,473)( 12,472)( 13,471)( 14,483)( 15,482)( 16,494)
( 17,493)( 18,492)( 19,491)( 20,490)( 21,489)( 22,488)( 23,487)( 24,486)
( 25,485)( 26,484)( 27,496)( 28,495)( 29,507)( 30,506)( 31,505)( 32,504)
( 33,503)( 34,502)( 35,501)( 36,500)( 37,499)( 38,498)( 39,497)( 40,548)
( 41,547)( 42,559)( 43,558)( 44,557)( 45,556)( 46,555)( 47,554)( 48,553)
( 49,552)( 50,551)( 51,550)( 52,549)( 53,561)( 54,560)( 55,572)( 56,571)
( 57,570)( 58,569)( 59,568)( 60,567)( 61,566)( 62,565)( 63,564)( 64,563)
( 65,562)( 66,574)( 67,573)( 68,585)( 69,584)( 70,583)( 71,582)( 72,581)
( 73,580)( 74,579)( 75,578)( 76,577)( 77,576)( 78,575)( 79,509)( 80,508)
( 81,520)( 82,519)( 83,518)( 84,517)( 85,516)( 86,515)( 87,514)( 88,513)
( 89,512)( 90,511)( 91,510)( 92,522)( 93,521)( 94,533)( 95,532)( 96,531)
( 97,530)( 98,529)( 99,528)(100,527)(101,526)(102,525)(103,524)(104,523)
(105,535)(106,534)(107,546)(108,545)(109,544)(110,543)(111,542)(112,541)
(113,540)(114,539)(115,538)(116,537)(117,536)(118,587)(119,586)(120,598)
(121,597)(122,596)(123,595)(124,594)(125,593)(126,592)(127,591)(128,590)
(129,589)(130,588)(131,600)(132,599)(133,611)(134,610)(135,609)(136,608)
(137,607)(138,606)(139,605)(140,604)(141,603)(142,602)(143,601)(144,613)
(145,612)(146,624)(147,623)(148,622)(149,621)(150,620)(151,619)(152,618)
(153,617)(154,616)(155,615)(156,614)(157,665)(158,664)(159,676)(160,675)
(161,674)(162,673)(163,672)(164,671)(165,670)(166,669)(167,668)(168,667)
(169,666)(170,678)(171,677)(172,689)(173,688)(174,687)(175,686)(176,685)
(177,684)(178,683)(179,682)(180,681)(181,680)(182,679)(183,691)(184,690)
(185,702)(186,701)(187,700)(188,699)(189,698)(190,697)(191,696)(192,695)
(193,694)(194,693)(195,692)(196,626)(197,625)(198,637)(199,636)(200,635)
(201,634)(202,633)(203,632)(204,631)(205,630)(206,629)(207,628)(208,627)
(209,639)(210,638)(211,650)(212,649)(213,648)(214,647)(215,646)(216,645)
(217,644)(218,643)(219,642)(220,641)(221,640)(222,652)(223,651)(224,663)
(225,662)(226,661)(227,660)(228,659)(229,658)(230,657)(231,656)(232,655)
(233,654)(234,653)(235,821)(236,820)(237,832)(238,831)(239,830)(240,829)
(241,828)(242,827)(243,826)(244,825)(245,824)(246,823)(247,822)(248,834)
(249,833)(250,845)(251,844)(252,843)(253,842)(254,841)(255,840)(256,839)
(257,838)(258,837)(259,836)(260,835)(261,847)(262,846)(263,858)(264,857)
(265,856)(266,855)(267,854)(268,853)(269,852)(270,851)(271,850)(272,849)
(273,848)(274,899)(275,898)(276,910)(277,909)(278,908)(279,907)(280,906)
(281,905)(282,904)(283,903)(284,902)(285,901)(286,900)(287,912)(288,911)
(289,923)(290,922)(291,921)(292,920)(293,919)(294,918)(295,917)(296,916)
(297,915)(298,914)(299,913)(300,925)(301,924)(302,936)(303,935)(304,934)
(305,933)(306,932)(307,931)(308,930)(309,929)(310,928)(311,927)(312,926)
(313,860)(314,859)(315,871)(316,870)(317,869)(318,868)(319,867)(320,866)
(321,865)(322,864)(323,863)(324,862)(325,861)(326,873)(327,872)(328,884)
(329,883)(330,882)(331,881)(332,880)(333,879)(334,878)(335,877)(336,876)
(337,875)(338,874)(339,886)(340,885)(341,897)(342,896)(343,895)(344,894)
(345,893)(346,892)(347,891)(348,890)(349,889)(350,888)(351,887)(352,704)
(353,703)(354,715)(355,714)(356,713)(357,712)(358,711)(359,710)(360,709)
(361,708)(362,707)(363,706)(364,705)(365,717)(366,716)(367,728)(368,727)
(369,726)(370,725)(371,724)(372,723)(373,722)(374,721)(375,720)(376,719)
(377,718)(378,730)(379,729)(380,741)(381,740)(382,739)(383,738)(384,737)
(385,736)(386,735)(387,734)(388,733)(389,732)(390,731)(391,782)(392,781)
(393,793)(394,792)(395,791)(396,790)(397,789)(398,788)(399,787)(400,786)
(401,785)(402,784)(403,783)(404,795)(405,794)(406,806)(407,805)(408,804)
(409,803)(410,802)(411,801)(412,800)(413,799)(414,798)(415,797)(416,796)
(417,808)(418,807)(419,819)(420,818)(421,817)(422,816)(423,815)(424,814)
(425,813)(426,812)(427,811)(428,810)(429,809)(430,743)(431,742)(432,754)
(433,753)(434,752)(435,751)(436,750)(437,749)(438,748)(439,747)(440,746)
(441,745)(442,744)(443,756)(444,755)(445,767)(446,766)(447,765)(448,764)
(449,763)(450,762)(451,761)(452,760)(453,759)(454,758)(455,757)(456,769)
(457,768)(458,780)(459,779)(460,778)(461,777)(462,776)(463,775)(464,774)
(465,773)(466,772)(467,771)(468,770);;
s2 := (  1,742)(  2,743)(  3,744)(  4,745)(  5,746)(  6,747)(  7,748)(  8,749)
(  9,750)( 10,751)( 11,752)( 12,753)( 13,754)( 14,768)( 15,769)( 16,770)
( 17,771)( 18,772)( 19,773)( 20,774)( 21,775)( 22,776)( 23,777)( 24,778)
( 25,779)( 26,780)( 27,755)( 28,756)( 29,757)( 30,758)( 31,759)( 32,760)
( 33,761)( 34,762)( 35,763)( 36,764)( 37,765)( 38,766)( 39,767)( 40,703)
( 41,704)( 42,705)( 43,706)( 44,707)( 45,708)( 46,709)( 47,710)( 48,711)
( 49,712)( 50,713)( 51,714)( 52,715)( 53,729)( 54,730)( 55,731)( 56,732)
( 57,733)( 58,734)( 59,735)( 60,736)( 61,737)( 62,738)( 63,739)( 64,740)
( 65,741)( 66,716)( 67,717)( 68,718)( 69,719)( 70,720)( 71,721)( 72,722)
( 73,723)( 74,724)( 75,725)( 76,726)( 77,727)( 78,728)( 79,781)( 80,782)
( 81,783)( 82,784)( 83,785)( 84,786)( 85,787)( 86,788)( 87,789)( 88,790)
( 89,791)( 90,792)( 91,793)( 92,807)( 93,808)( 94,809)( 95,810)( 96,811)
( 97,812)( 98,813)( 99,814)(100,815)(101,816)(102,817)(103,818)(104,819)
(105,794)(106,795)(107,796)(108,797)(109,798)(110,799)(111,800)(112,801)
(113,802)(114,803)(115,804)(116,805)(117,806)(118,859)(119,860)(120,861)
(121,862)(122,863)(123,864)(124,865)(125,866)(126,867)(127,868)(128,869)
(129,870)(130,871)(131,885)(132,886)(133,887)(134,888)(135,889)(136,890)
(137,891)(138,892)(139,893)(140,894)(141,895)(142,896)(143,897)(144,872)
(145,873)(146,874)(147,875)(148,876)(149,877)(150,878)(151,879)(152,880)
(153,881)(154,882)(155,883)(156,884)(157,820)(158,821)(159,822)(160,823)
(161,824)(162,825)(163,826)(164,827)(165,828)(166,829)(167,830)(168,831)
(169,832)(170,846)(171,847)(172,848)(173,849)(174,850)(175,851)(176,852)
(177,853)(178,854)(179,855)(180,856)(181,857)(182,858)(183,833)(184,834)
(185,835)(186,836)(187,837)(188,838)(189,839)(190,840)(191,841)(192,842)
(193,843)(194,844)(195,845)(196,898)(197,899)(198,900)(199,901)(200,902)
(201,903)(202,904)(203,905)(204,906)(205,907)(206,908)(207,909)(208,910)
(209,924)(210,925)(211,926)(212,927)(213,928)(214,929)(215,930)(216,931)
(217,932)(218,933)(219,934)(220,935)(221,936)(222,911)(223,912)(224,913)
(225,914)(226,915)(227,916)(228,917)(229,918)(230,919)(231,920)(232,921)
(233,922)(234,923)(235,625)(236,626)(237,627)(238,628)(239,629)(240,630)
(241,631)(242,632)(243,633)(244,634)(245,635)(246,636)(247,637)(248,651)
(249,652)(250,653)(251,654)(252,655)(253,656)(254,657)(255,658)(256,659)
(257,660)(258,661)(259,662)(260,663)(261,638)(262,639)(263,640)(264,641)
(265,642)(266,643)(267,644)(268,645)(269,646)(270,647)(271,648)(272,649)
(273,650)(274,586)(275,587)(276,588)(277,589)(278,590)(279,591)(280,592)
(281,593)(282,594)(283,595)(284,596)(285,597)(286,598)(287,612)(288,613)
(289,614)(290,615)(291,616)(292,617)(293,618)(294,619)(295,620)(296,621)
(297,622)(298,623)(299,624)(300,599)(301,600)(302,601)(303,602)(304,603)
(305,604)(306,605)(307,606)(308,607)(309,608)(310,609)(311,610)(312,611)
(313,664)(314,665)(315,666)(316,667)(317,668)(318,669)(319,670)(320,671)
(321,672)(322,673)(323,674)(324,675)(325,676)(326,690)(327,691)(328,692)
(329,693)(330,694)(331,695)(332,696)(333,697)(334,698)(335,699)(336,700)
(337,701)(338,702)(339,677)(340,678)(341,679)(342,680)(343,681)(344,682)
(345,683)(346,684)(347,685)(348,686)(349,687)(350,688)(351,689)(352,508)
(353,509)(354,510)(355,511)(356,512)(357,513)(358,514)(359,515)(360,516)
(361,517)(362,518)(363,519)(364,520)(365,534)(366,535)(367,536)(368,537)
(369,538)(370,539)(371,540)(372,541)(373,542)(374,543)(375,544)(376,545)
(377,546)(378,521)(379,522)(380,523)(381,524)(382,525)(383,526)(384,527)
(385,528)(386,529)(387,530)(388,531)(389,532)(390,533)(391,469)(392,470)
(393,471)(394,472)(395,473)(396,474)(397,475)(398,476)(399,477)(400,478)
(401,479)(402,480)(403,481)(404,495)(405,496)(406,497)(407,498)(408,499)
(409,500)(410,501)(411,502)(412,503)(413,504)(414,505)(415,506)(416,507)
(417,482)(418,483)(419,484)(420,485)(421,486)(422,487)(423,488)(424,489)
(425,490)(426,491)(427,492)(428,493)(429,494)(430,547)(431,548)(432,549)
(433,550)(434,551)(435,552)(436,553)(437,554)(438,555)(439,556)(440,557)
(441,558)(442,559)(443,573)(444,574)(445,575)(446,576)(447,577)(448,578)
(449,579)(450,580)(451,581)(452,582)(453,583)(454,584)(455,585)(456,560)
(457,561)(458,562)(459,563)(460,564)(461,565)(462,566)(463,567)(464,568)
(465,569)(466,570)(467,571)(468,572);;
s3 := (  1,716)(  2,717)(  3,718)(  4,719)(  5,720)(  6,721)(  7,722)(  8,723)
(  9,724)( 10,725)( 11,726)( 12,727)( 13,728)( 14,703)( 15,704)( 16,705)
( 17,706)( 18,707)( 19,708)( 20,709)( 21,710)( 22,711)( 23,712)( 24,713)
( 25,714)( 26,715)( 27,729)( 28,730)( 29,731)( 30,732)( 31,733)( 32,734)
( 33,735)( 34,736)( 35,737)( 36,738)( 37,739)( 38,740)( 39,741)( 40,794)
( 41,795)( 42,796)( 43,797)( 44,798)( 45,799)( 46,800)( 47,801)( 48,802)
( 49,803)( 50,804)( 51,805)( 52,806)( 53,781)( 54,782)( 55,783)( 56,784)
( 57,785)( 58,786)( 59,787)( 60,788)( 61,789)( 62,790)( 63,791)( 64,792)
( 65,793)( 66,807)( 67,808)( 68,809)( 69,810)( 70,811)( 71,812)( 72,813)
( 73,814)( 74,815)( 75,816)( 76,817)( 77,818)( 78,819)( 79,755)( 80,756)
( 81,757)( 82,758)( 83,759)( 84,760)( 85,761)( 86,762)( 87,763)( 88,764)
( 89,765)( 90,766)( 91,767)( 92,742)( 93,743)( 94,744)( 95,745)( 96,746)
( 97,747)( 98,748)( 99,749)(100,750)(101,751)(102,752)(103,753)(104,754)
(105,768)(106,769)(107,770)(108,771)(109,772)(110,773)(111,774)(112,775)
(113,776)(114,777)(115,778)(116,779)(117,780)(118,833)(119,834)(120,835)
(121,836)(122,837)(123,838)(124,839)(125,840)(126,841)(127,842)(128,843)
(129,844)(130,845)(131,820)(132,821)(133,822)(134,823)(135,824)(136,825)
(137,826)(138,827)(139,828)(140,829)(141,830)(142,831)(143,832)(144,846)
(145,847)(146,848)(147,849)(148,850)(149,851)(150,852)(151,853)(152,854)
(153,855)(154,856)(155,857)(156,858)(157,911)(158,912)(159,913)(160,914)
(161,915)(162,916)(163,917)(164,918)(165,919)(166,920)(167,921)(168,922)
(169,923)(170,898)(171,899)(172,900)(173,901)(174,902)(175,903)(176,904)
(177,905)(178,906)(179,907)(180,908)(181,909)(182,910)(183,924)(184,925)
(185,926)(186,927)(187,928)(188,929)(189,930)(190,931)(191,932)(192,933)
(193,934)(194,935)(195,936)(196,872)(197,873)(198,874)(199,875)(200,876)
(201,877)(202,878)(203,879)(204,880)(205,881)(206,882)(207,883)(208,884)
(209,859)(210,860)(211,861)(212,862)(213,863)(214,864)(215,865)(216,866)
(217,867)(218,868)(219,869)(220,870)(221,871)(222,885)(223,886)(224,887)
(225,888)(226,889)(227,890)(228,891)(229,892)(230,893)(231,894)(232,895)
(233,896)(234,897)(235,599)(236,600)(237,601)(238,602)(239,603)(240,604)
(241,605)(242,606)(243,607)(244,608)(245,609)(246,610)(247,611)(248,586)
(249,587)(250,588)(251,589)(252,590)(253,591)(254,592)(255,593)(256,594)
(257,595)(258,596)(259,597)(260,598)(261,612)(262,613)(263,614)(264,615)
(265,616)(266,617)(267,618)(268,619)(269,620)(270,621)(271,622)(272,623)
(273,624)(274,677)(275,678)(276,679)(277,680)(278,681)(279,682)(280,683)
(281,684)(282,685)(283,686)(284,687)(285,688)(286,689)(287,664)(288,665)
(289,666)(290,667)(291,668)(292,669)(293,670)(294,671)(295,672)(296,673)
(297,674)(298,675)(299,676)(300,690)(301,691)(302,692)(303,693)(304,694)
(305,695)(306,696)(307,697)(308,698)(309,699)(310,700)(311,701)(312,702)
(313,638)(314,639)(315,640)(316,641)(317,642)(318,643)(319,644)(320,645)
(321,646)(322,647)(323,648)(324,649)(325,650)(326,625)(327,626)(328,627)
(329,628)(330,629)(331,630)(332,631)(333,632)(334,633)(335,634)(336,635)
(337,636)(338,637)(339,651)(340,652)(341,653)(342,654)(343,655)(344,656)
(345,657)(346,658)(347,659)(348,660)(349,661)(350,662)(351,663)(352,482)
(353,483)(354,484)(355,485)(356,486)(357,487)(358,488)(359,489)(360,490)
(361,491)(362,492)(363,493)(364,494)(365,469)(366,470)(367,471)(368,472)
(369,473)(370,474)(371,475)(372,476)(373,477)(374,478)(375,479)(376,480)
(377,481)(378,495)(379,496)(380,497)(381,498)(382,499)(383,500)(384,501)
(385,502)(386,503)(387,504)(388,505)(389,506)(390,507)(391,560)(392,561)
(393,562)(394,563)(395,564)(396,565)(397,566)(398,567)(399,568)(400,569)
(401,570)(402,571)(403,572)(404,547)(405,548)(406,549)(407,550)(408,551)
(409,552)(410,553)(411,554)(412,555)(413,556)(414,557)(415,558)(416,559)
(417,573)(418,574)(419,575)(420,576)(421,577)(422,578)(423,579)(424,580)
(425,581)(426,582)(427,583)(428,584)(429,585)(430,521)(431,522)(432,523)
(433,524)(434,525)(435,526)(436,527)(437,528)(438,529)(439,530)(440,531)
(441,532)(442,533)(443,508)(444,509)(445,510)(446,511)(447,512)(448,513)
(449,514)(450,515)(451,516)(452,517)(453,518)(454,519)(455,520)(456,534)
(457,535)(458,536)(459,537)(460,538)(461,539)(462,540)(463,541)(464,542)
(465,543)(466,544)(467,545)(468,546);;
poly := Group([s0,s1,s2,s3]);;
 

F := FreeGroup("s0","s1","s2","s3");;
s0 := F.1;;  s1 := F.2;;  s2 := F.3;;  s3 := F.4;;  
rels := [ s0*s0, s1*s1, s2*s2, s3*s3, s0*s2*s0*s2, 
s0*s3*s0*s3, s1*s3*s1*s3, s2*s3*s2*s3*s2*s3, 
s0*s1*s2*s1*s0*s1*s2*s1, s3*s1*s2*s1*s2*s3*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 ];;
poly := F / rels;;
 

s0 := Sym(936)!(  2, 13)(  3, 12)(  4, 11)(  5, 10)(  6,  9)(  7,  8)( 15, 26)
( 16, 25)( 17, 24)( 18, 23)( 19, 22)( 20, 21)( 28, 39)( 29, 38)( 30, 37)
( 31, 36)( 32, 35)( 33, 34)( 41, 52)( 42, 51)( 43, 50)( 44, 49)( 45, 48)
( 46, 47)( 54, 65)( 55, 64)( 56, 63)( 57, 62)( 58, 61)( 59, 60)( 67, 78)
( 68, 77)( 69, 76)( 70, 75)( 71, 74)( 72, 73)( 80, 91)( 81, 90)( 82, 89)
( 83, 88)( 84, 87)( 85, 86)( 93,104)( 94,103)( 95,102)( 96,101)( 97,100)
( 98, 99)(106,117)(107,116)(108,115)(109,114)(110,113)(111,112)(119,130)
(120,129)(121,128)(122,127)(123,126)(124,125)(132,143)(133,142)(134,141)
(135,140)(136,139)(137,138)(145,156)(146,155)(147,154)(148,153)(149,152)
(150,151)(158,169)(159,168)(160,167)(161,166)(162,165)(163,164)(171,182)
(172,181)(173,180)(174,179)(175,178)(176,177)(184,195)(185,194)(186,193)
(187,192)(188,191)(189,190)(197,208)(198,207)(199,206)(200,205)(201,204)
(202,203)(210,221)(211,220)(212,219)(213,218)(214,217)(215,216)(223,234)
(224,233)(225,232)(226,231)(227,230)(228,229)(235,352)(236,364)(237,363)
(238,362)(239,361)(240,360)(241,359)(242,358)(243,357)(244,356)(245,355)
(246,354)(247,353)(248,365)(249,377)(250,376)(251,375)(252,374)(253,373)
(254,372)(255,371)(256,370)(257,369)(258,368)(259,367)(260,366)(261,378)
(262,390)(263,389)(264,388)(265,387)(266,386)(267,385)(268,384)(269,383)
(270,382)(271,381)(272,380)(273,379)(274,391)(275,403)(276,402)(277,401)
(278,400)(279,399)(280,398)(281,397)(282,396)(283,395)(284,394)(285,393)
(286,392)(287,404)(288,416)(289,415)(290,414)(291,413)(292,412)(293,411)
(294,410)(295,409)(296,408)(297,407)(298,406)(299,405)(300,417)(301,429)
(302,428)(303,427)(304,426)(305,425)(306,424)(307,423)(308,422)(309,421)
(310,420)(311,419)(312,418)(313,430)(314,442)(315,441)(316,440)(317,439)
(318,438)(319,437)(320,436)(321,435)(322,434)(323,433)(324,432)(325,431)
(326,443)(327,455)(328,454)(329,453)(330,452)(331,451)(332,450)(333,449)
(334,448)(335,447)(336,446)(337,445)(338,444)(339,456)(340,468)(341,467)
(342,466)(343,465)(344,464)(345,463)(346,462)(347,461)(348,460)(349,459)
(350,458)(351,457)(469,586)(470,598)(471,597)(472,596)(473,595)(474,594)
(475,593)(476,592)(477,591)(478,590)(479,589)(480,588)(481,587)(482,599)
(483,611)(484,610)(485,609)(486,608)(487,607)(488,606)(489,605)(490,604)
(491,603)(492,602)(493,601)(494,600)(495,612)(496,624)(497,623)(498,622)
(499,621)(500,620)(501,619)(502,618)(503,617)(504,616)(505,615)(506,614)
(507,613)(508,625)(509,637)(510,636)(511,635)(512,634)(513,633)(514,632)
(515,631)(516,630)(517,629)(518,628)(519,627)(520,626)(521,638)(522,650)
(523,649)(524,648)(525,647)(526,646)(527,645)(528,644)(529,643)(530,642)
(531,641)(532,640)(533,639)(534,651)(535,663)(536,662)(537,661)(538,660)
(539,659)(540,658)(541,657)(542,656)(543,655)(544,654)(545,653)(546,652)
(547,664)(548,676)(549,675)(550,674)(551,673)(552,672)(553,671)(554,670)
(555,669)(556,668)(557,667)(558,666)(559,665)(560,677)(561,689)(562,688)
(563,687)(564,686)(565,685)(566,684)(567,683)(568,682)(569,681)(570,680)
(571,679)(572,678)(573,690)(574,702)(575,701)(576,700)(577,699)(578,698)
(579,697)(580,696)(581,695)(582,694)(583,693)(584,692)(585,691)(704,715)
(705,714)(706,713)(707,712)(708,711)(709,710)(717,728)(718,727)(719,726)
(720,725)(721,724)(722,723)(730,741)(731,740)(732,739)(733,738)(734,737)
(735,736)(743,754)(744,753)(745,752)(746,751)(747,750)(748,749)(756,767)
(757,766)(758,765)(759,764)(760,763)(761,762)(769,780)(770,779)(771,778)
(772,777)(773,776)(774,775)(782,793)(783,792)(784,791)(785,790)(786,789)
(787,788)(795,806)(796,805)(797,804)(798,803)(799,802)(800,801)(808,819)
(809,818)(810,817)(811,816)(812,815)(813,814)(821,832)(822,831)(823,830)
(824,829)(825,828)(826,827)(834,845)(835,844)(836,843)(837,842)(838,841)
(839,840)(847,858)(848,857)(849,856)(850,855)(851,854)(852,853)(860,871)
(861,870)(862,869)(863,868)(864,867)(865,866)(873,884)(874,883)(875,882)
(876,881)(877,880)(878,879)(886,897)(887,896)(888,895)(889,894)(890,893)
(891,892)(899,910)(900,909)(901,908)(902,907)(903,906)(904,905)(912,923)
(913,922)(914,921)(915,920)(916,919)(917,918)(925,936)(926,935)(927,934)
(928,933)(929,932)(930,931);
s1 := Sym(936)!(  1,470)(  2,469)(  3,481)(  4,480)(  5,479)(  6,478)(  7,477)
(  8,476)(  9,475)( 10,474)( 11,473)( 12,472)( 13,471)( 14,483)( 15,482)
( 16,494)( 17,493)( 18,492)( 19,491)( 20,490)( 21,489)( 22,488)( 23,487)
( 24,486)( 25,485)( 26,484)( 27,496)( 28,495)( 29,507)( 30,506)( 31,505)
( 32,504)( 33,503)( 34,502)( 35,501)( 36,500)( 37,499)( 38,498)( 39,497)
( 40,548)( 41,547)( 42,559)( 43,558)( 44,557)( 45,556)( 46,555)( 47,554)
( 48,553)( 49,552)( 50,551)( 51,550)( 52,549)( 53,561)( 54,560)( 55,572)
( 56,571)( 57,570)( 58,569)( 59,568)( 60,567)( 61,566)( 62,565)( 63,564)
( 64,563)( 65,562)( 66,574)( 67,573)( 68,585)( 69,584)( 70,583)( 71,582)
( 72,581)( 73,580)( 74,579)( 75,578)( 76,577)( 77,576)( 78,575)( 79,509)
( 80,508)( 81,520)( 82,519)( 83,518)( 84,517)( 85,516)( 86,515)( 87,514)
( 88,513)( 89,512)( 90,511)( 91,510)( 92,522)( 93,521)( 94,533)( 95,532)
( 96,531)( 97,530)( 98,529)( 99,528)(100,527)(101,526)(102,525)(103,524)
(104,523)(105,535)(106,534)(107,546)(108,545)(109,544)(110,543)(111,542)
(112,541)(113,540)(114,539)(115,538)(116,537)(117,536)(118,587)(119,586)
(120,598)(121,597)(122,596)(123,595)(124,594)(125,593)(126,592)(127,591)
(128,590)(129,589)(130,588)(131,600)(132,599)(133,611)(134,610)(135,609)
(136,608)(137,607)(138,606)(139,605)(140,604)(141,603)(142,602)(143,601)
(144,613)(145,612)(146,624)(147,623)(148,622)(149,621)(150,620)(151,619)
(152,618)(153,617)(154,616)(155,615)(156,614)(157,665)(158,664)(159,676)
(160,675)(161,674)(162,673)(163,672)(164,671)(165,670)(166,669)(167,668)
(168,667)(169,666)(170,678)(171,677)(172,689)(173,688)(174,687)(175,686)
(176,685)(177,684)(178,683)(179,682)(180,681)(181,680)(182,679)(183,691)
(184,690)(185,702)(186,701)(187,700)(188,699)(189,698)(190,697)(191,696)
(192,695)(193,694)(194,693)(195,692)(196,626)(197,625)(198,637)(199,636)
(200,635)(201,634)(202,633)(203,632)(204,631)(205,630)(206,629)(207,628)
(208,627)(209,639)(210,638)(211,650)(212,649)(213,648)(214,647)(215,646)
(216,645)(217,644)(218,643)(219,642)(220,641)(221,640)(222,652)(223,651)
(224,663)(225,662)(226,661)(227,660)(228,659)(229,658)(230,657)(231,656)
(232,655)(233,654)(234,653)(235,821)(236,820)(237,832)(238,831)(239,830)
(240,829)(241,828)(242,827)(243,826)(244,825)(245,824)(246,823)(247,822)
(248,834)(249,833)(250,845)(251,844)(252,843)(253,842)(254,841)(255,840)
(256,839)(257,838)(258,837)(259,836)(260,835)(261,847)(262,846)(263,858)
(264,857)(265,856)(266,855)(267,854)(268,853)(269,852)(270,851)(271,850)
(272,849)(273,848)(274,899)(275,898)(276,910)(277,909)(278,908)(279,907)
(280,906)(281,905)(282,904)(283,903)(284,902)(285,901)(286,900)(287,912)
(288,911)(289,923)(290,922)(291,921)(292,920)(293,919)(294,918)(295,917)
(296,916)(297,915)(298,914)(299,913)(300,925)(301,924)(302,936)(303,935)
(304,934)(305,933)(306,932)(307,931)(308,930)(309,929)(310,928)(311,927)
(312,926)(313,860)(314,859)(315,871)(316,870)(317,869)(318,868)(319,867)
(320,866)(321,865)(322,864)(323,863)(324,862)(325,861)(326,873)(327,872)
(328,884)(329,883)(330,882)(331,881)(332,880)(333,879)(334,878)(335,877)
(336,876)(337,875)(338,874)(339,886)(340,885)(341,897)(342,896)(343,895)
(344,894)(345,893)(346,892)(347,891)(348,890)(349,889)(350,888)(351,887)
(352,704)(353,703)(354,715)(355,714)(356,713)(357,712)(358,711)(359,710)
(360,709)(361,708)(362,707)(363,706)(364,705)(365,717)(366,716)(367,728)
(368,727)(369,726)(370,725)(371,724)(372,723)(373,722)(374,721)(375,720)
(376,719)(377,718)(378,730)(379,729)(380,741)(381,740)(382,739)(383,738)
(384,737)(385,736)(386,735)(387,734)(388,733)(389,732)(390,731)(391,782)
(392,781)(393,793)(394,792)(395,791)(396,790)(397,789)(398,788)(399,787)
(400,786)(401,785)(402,784)(403,783)(404,795)(405,794)(406,806)(407,805)
(408,804)(409,803)(410,802)(411,801)(412,800)(413,799)(414,798)(415,797)
(416,796)(417,808)(418,807)(419,819)(420,818)(421,817)(422,816)(423,815)
(424,814)(425,813)(426,812)(427,811)(428,810)(429,809)(430,743)(431,742)
(432,754)(433,753)(434,752)(435,751)(436,750)(437,749)(438,748)(439,747)
(440,746)(441,745)(442,744)(443,756)(444,755)(445,767)(446,766)(447,765)
(448,764)(449,763)(450,762)(451,761)(452,760)(453,759)(454,758)(455,757)
(456,769)(457,768)(458,780)(459,779)(460,778)(461,777)(462,776)(463,775)
(464,774)(465,773)(466,772)(467,771)(468,770);
s2 := Sym(936)!(  1,742)(  2,743)(  3,744)(  4,745)(  5,746)(  6,747)(  7,748)
(  8,749)(  9,750)( 10,751)( 11,752)( 12,753)( 13,754)( 14,768)( 15,769)
( 16,770)( 17,771)( 18,772)( 19,773)( 20,774)( 21,775)( 22,776)( 23,777)
( 24,778)( 25,779)( 26,780)( 27,755)( 28,756)( 29,757)( 30,758)( 31,759)
( 32,760)( 33,761)( 34,762)( 35,763)( 36,764)( 37,765)( 38,766)( 39,767)
( 40,703)( 41,704)( 42,705)( 43,706)( 44,707)( 45,708)( 46,709)( 47,710)
( 48,711)( 49,712)( 50,713)( 51,714)( 52,715)( 53,729)( 54,730)( 55,731)
( 56,732)( 57,733)( 58,734)( 59,735)( 60,736)( 61,737)( 62,738)( 63,739)
( 64,740)( 65,741)( 66,716)( 67,717)( 68,718)( 69,719)( 70,720)( 71,721)
( 72,722)( 73,723)( 74,724)( 75,725)( 76,726)( 77,727)( 78,728)( 79,781)
( 80,782)( 81,783)( 82,784)( 83,785)( 84,786)( 85,787)( 86,788)( 87,789)
( 88,790)( 89,791)( 90,792)( 91,793)( 92,807)( 93,808)( 94,809)( 95,810)
( 96,811)( 97,812)( 98,813)( 99,814)(100,815)(101,816)(102,817)(103,818)
(104,819)(105,794)(106,795)(107,796)(108,797)(109,798)(110,799)(111,800)
(112,801)(113,802)(114,803)(115,804)(116,805)(117,806)(118,859)(119,860)
(120,861)(121,862)(122,863)(123,864)(124,865)(125,866)(126,867)(127,868)
(128,869)(129,870)(130,871)(131,885)(132,886)(133,887)(134,888)(135,889)
(136,890)(137,891)(138,892)(139,893)(140,894)(141,895)(142,896)(143,897)
(144,872)(145,873)(146,874)(147,875)(148,876)(149,877)(150,878)(151,879)
(152,880)(153,881)(154,882)(155,883)(156,884)(157,820)(158,821)(159,822)
(160,823)(161,824)(162,825)(163,826)(164,827)(165,828)(166,829)(167,830)
(168,831)(169,832)(170,846)(171,847)(172,848)(173,849)(174,850)(175,851)
(176,852)(177,853)(178,854)(179,855)(180,856)(181,857)(182,858)(183,833)
(184,834)(185,835)(186,836)(187,837)(188,838)(189,839)(190,840)(191,841)
(192,842)(193,843)(194,844)(195,845)(196,898)(197,899)(198,900)(199,901)
(200,902)(201,903)(202,904)(203,905)(204,906)(205,907)(206,908)(207,909)
(208,910)(209,924)(210,925)(211,926)(212,927)(213,928)(214,929)(215,930)
(216,931)(217,932)(218,933)(219,934)(220,935)(221,936)(222,911)(223,912)
(224,913)(225,914)(226,915)(227,916)(228,917)(229,918)(230,919)(231,920)
(232,921)(233,922)(234,923)(235,625)(236,626)(237,627)(238,628)(239,629)
(240,630)(241,631)(242,632)(243,633)(244,634)(245,635)(246,636)(247,637)
(248,651)(249,652)(250,653)(251,654)(252,655)(253,656)(254,657)(255,658)
(256,659)(257,660)(258,661)(259,662)(260,663)(261,638)(262,639)(263,640)
(264,641)(265,642)(266,643)(267,644)(268,645)(269,646)(270,647)(271,648)
(272,649)(273,650)(274,586)(275,587)(276,588)(277,589)(278,590)(279,591)
(280,592)(281,593)(282,594)(283,595)(284,596)(285,597)(286,598)(287,612)
(288,613)(289,614)(290,615)(291,616)(292,617)(293,618)(294,619)(295,620)
(296,621)(297,622)(298,623)(299,624)(300,599)(301,600)(302,601)(303,602)
(304,603)(305,604)(306,605)(307,606)(308,607)(309,608)(310,609)(311,610)
(312,611)(313,664)(314,665)(315,666)(316,667)(317,668)(318,669)(319,670)
(320,671)(321,672)(322,673)(323,674)(324,675)(325,676)(326,690)(327,691)
(328,692)(329,693)(330,694)(331,695)(332,696)(333,697)(334,698)(335,699)
(336,700)(337,701)(338,702)(339,677)(340,678)(341,679)(342,680)(343,681)
(344,682)(345,683)(346,684)(347,685)(348,686)(349,687)(350,688)(351,689)
(352,508)(353,509)(354,510)(355,511)(356,512)(357,513)(358,514)(359,515)
(360,516)(361,517)(362,518)(363,519)(364,520)(365,534)(366,535)(367,536)
(368,537)(369,538)(370,539)(371,540)(372,541)(373,542)(374,543)(375,544)
(376,545)(377,546)(378,521)(379,522)(380,523)(381,524)(382,525)(383,526)
(384,527)(385,528)(386,529)(387,530)(388,531)(389,532)(390,533)(391,469)
(392,470)(393,471)(394,472)(395,473)(396,474)(397,475)(398,476)(399,477)
(400,478)(401,479)(402,480)(403,481)(404,495)(405,496)(406,497)(407,498)
(408,499)(409,500)(410,501)(411,502)(412,503)(413,504)(414,505)(415,506)
(416,507)(417,482)(418,483)(419,484)(420,485)(421,486)(422,487)(423,488)
(424,489)(425,490)(426,491)(427,492)(428,493)(429,494)(430,547)(431,548)
(432,549)(433,550)(434,551)(435,552)(436,553)(437,554)(438,555)(439,556)
(440,557)(441,558)(442,559)(443,573)(444,574)(445,575)(446,576)(447,577)
(448,578)(449,579)(450,580)(451,581)(452,582)(453,583)(454,584)(455,585)
(456,560)(457,561)(458,562)(459,563)(460,564)(461,565)(462,566)(463,567)
(464,568)(465,569)(466,570)(467,571)(468,572);
s3 := Sym(936)!(  1,716)(  2,717)(  3,718)(  4,719)(  5,720)(  6,721)(  7,722)
(  8,723)(  9,724)( 10,725)( 11,726)( 12,727)( 13,728)( 14,703)( 15,704)
( 16,705)( 17,706)( 18,707)( 19,708)( 20,709)( 21,710)( 22,711)( 23,712)
( 24,713)( 25,714)( 26,715)( 27,729)( 28,730)( 29,731)( 30,732)( 31,733)
( 32,734)( 33,735)( 34,736)( 35,737)( 36,738)( 37,739)( 38,740)( 39,741)
( 40,794)( 41,795)( 42,796)( 43,797)( 44,798)( 45,799)( 46,800)( 47,801)
( 48,802)( 49,803)( 50,804)( 51,805)( 52,806)( 53,781)( 54,782)( 55,783)
( 56,784)( 57,785)( 58,786)( 59,787)( 60,788)( 61,789)( 62,790)( 63,791)
( 64,792)( 65,793)( 66,807)( 67,808)( 68,809)( 69,810)( 70,811)( 71,812)
( 72,813)( 73,814)( 74,815)( 75,816)( 76,817)( 77,818)( 78,819)( 79,755)
( 80,756)( 81,757)( 82,758)( 83,759)( 84,760)( 85,761)( 86,762)( 87,763)
( 88,764)( 89,765)( 90,766)( 91,767)( 92,742)( 93,743)( 94,744)( 95,745)
( 96,746)( 97,747)( 98,748)( 99,749)(100,750)(101,751)(102,752)(103,753)
(104,754)(105,768)(106,769)(107,770)(108,771)(109,772)(110,773)(111,774)
(112,775)(113,776)(114,777)(115,778)(116,779)(117,780)(118,833)(119,834)
(120,835)(121,836)(122,837)(123,838)(124,839)(125,840)(126,841)(127,842)
(128,843)(129,844)(130,845)(131,820)(132,821)(133,822)(134,823)(135,824)
(136,825)(137,826)(138,827)(139,828)(140,829)(141,830)(142,831)(143,832)
(144,846)(145,847)(146,848)(147,849)(148,850)(149,851)(150,852)(151,853)
(152,854)(153,855)(154,856)(155,857)(156,858)(157,911)(158,912)(159,913)
(160,914)(161,915)(162,916)(163,917)(164,918)(165,919)(166,920)(167,921)
(168,922)(169,923)(170,898)(171,899)(172,900)(173,901)(174,902)(175,903)
(176,904)(177,905)(178,906)(179,907)(180,908)(181,909)(182,910)(183,924)
(184,925)(185,926)(186,927)(187,928)(188,929)(189,930)(190,931)(191,932)
(192,933)(193,934)(194,935)(195,936)(196,872)(197,873)(198,874)(199,875)
(200,876)(201,877)(202,878)(203,879)(204,880)(205,881)(206,882)(207,883)
(208,884)(209,859)(210,860)(211,861)(212,862)(213,863)(214,864)(215,865)
(216,866)(217,867)(218,868)(219,869)(220,870)(221,871)(222,885)(223,886)
(224,887)(225,888)(226,889)(227,890)(228,891)(229,892)(230,893)(231,894)
(232,895)(233,896)(234,897)(235,599)(236,600)(237,601)(238,602)(239,603)
(240,604)(241,605)(242,606)(243,607)(244,608)(245,609)(246,610)(247,611)
(248,586)(249,587)(250,588)(251,589)(252,590)(253,591)(254,592)(255,593)
(256,594)(257,595)(258,596)(259,597)(260,598)(261,612)(262,613)(263,614)
(264,615)(265,616)(266,617)(267,618)(268,619)(269,620)(270,621)(271,622)
(272,623)(273,624)(274,677)(275,678)(276,679)(277,680)(278,681)(279,682)
(280,683)(281,684)(282,685)(283,686)(284,687)(285,688)(286,689)(287,664)
(288,665)(289,666)(290,667)(291,668)(292,669)(293,670)(294,671)(295,672)
(296,673)(297,674)(298,675)(299,676)(300,690)(301,691)(302,692)(303,693)
(304,694)(305,695)(306,696)(307,697)(308,698)(309,699)(310,700)(311,701)
(312,702)(313,638)(314,639)(315,640)(316,641)(317,642)(318,643)(319,644)
(320,645)(321,646)(322,647)(323,648)(324,649)(325,650)(326,625)(327,626)
(328,627)(329,628)(330,629)(331,630)(332,631)(333,632)(334,633)(335,634)
(336,635)(337,636)(338,637)(339,651)(340,652)(341,653)(342,654)(343,655)
(344,656)(345,657)(346,658)(347,659)(348,660)(349,661)(350,662)(351,663)
(352,482)(353,483)(354,484)(355,485)(356,486)(357,487)(358,488)(359,489)
(360,490)(361,491)(362,492)(363,493)(364,494)(365,469)(366,470)(367,471)
(368,472)(369,473)(370,474)(371,475)(372,476)(373,477)(374,478)(375,479)
(376,480)(377,481)(378,495)(379,496)(380,497)(381,498)(382,499)(383,500)
(384,501)(385,502)(386,503)(387,504)(388,505)(389,506)(390,507)(391,560)
(392,561)(393,562)(394,563)(395,564)(396,565)(397,566)(398,567)(399,568)
(400,569)(401,570)(402,571)(403,572)(404,547)(405,548)(406,549)(407,550)
(408,551)(409,552)(410,553)(411,554)(412,555)(413,556)(414,557)(415,558)
(416,559)(417,573)(418,574)(419,575)(420,576)(421,577)(422,578)(423,579)
(424,580)(425,581)(426,582)(427,583)(428,584)(429,585)(430,521)(431,522)
(432,523)(433,524)(434,525)(435,526)(436,527)(437,528)(438,529)(439,530)
(440,531)(441,532)(442,533)(443,508)(444,509)(445,510)(446,511)(447,512)
(448,513)(449,514)(450,515)(451,516)(452,517)(453,518)(454,519)(455,520)
(456,534)(457,535)(458,536)(459,537)(460,538)(461,539)(462,540)(463,541)
(464,542)(465,543)(466,544)(467,545)(468,546);
poly := sub<Sym(936)|s0,s1,s2,s3>;
 

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