Polytope of Type {3,6,52}

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

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