#vars [
x6,
x5,
x4,
x3,
x2,
x1,
x0,
y19,
y18,
y17,
y16,
y15,
y14,
y13,
y12,
y11,
y10,
y9,
y8,
y7,
y6,
y5,
y4,
y3,
y2,
y1,
y0
]

#list

[
1732*x6*y19 + 18826*x5*y19 + 26135*x4*y19 + 5655*x3*y19 + 5429*x2*y19 + 63756*x1*y19 + 36366*x0*y19 + 52335*x6*y18 + 29827*x5*y18 + 55719*x4*y18 + 58768*x3*y18 + 1721*x2*y18 + 60867*x1*y18 + 8189*x0*y18 + 47963*x6*y17 + 9704*x5*y17 + 20850*x4*y17 + 22716*x3*y17 + 387*x2*y17 + 25457*x1*y17 + 23522*x0*y17 + 16415*x6*y16 + 41851*x5*y16 + 62780*x4*y16 + 39555*x3*y16 + 5981*x2*y16 + 16541*x1*y16 + 17594*x0*y16 + 39024*x6*y15 + 5339*x5*y15 + 10346*x4*y15 + 6252*x3*y15 + 43046*x2*y15 + 57790*x1*y15 + 20677*x0*y15 + 15472*x6*y14 + 60068*x5*y14 + 12906*x4*y14 + 37555*x3*y14 + 5606*x2*y14 + 4919*x1*y14 + 4338*x0*y14 + 54997*x6*y13 + 60861*x5*y13 + 28861*x4*y13 + 16033*x3*y13 + 9803*x2*y13 + 31662*x1*y13 + 39744*x0*y13 + 25194*x6*y12 + 61909*x5*y12 + 14548*x4*y12 + 2076*x3*y12 + 8552*x2*y12 + 29853*x1*y12 + 26532*x0*y12 + 49903*x6*y11 + 2183*x5*y11 + 39356*x4*y11 + 15120*x3*y11 + 29891*x2*y11 + 6658*x1*y11 + 10928*x0*y11 + 46002*x6*y10 + 16369*x5*y10 + 61900*x4*y10 + 56036*x3*y10 + 45022*x2*y10 + 15953*x1*y10 + 41679*x0*y10 + 34696*x6*y9 + 28352*x5*y9 + 6453*x4*y9 + 51472*x3*y9 + 48042*x2*y9 + 14443*x1*y9 + 52701*x0*y9 + 3921*x6*y8 + 27133*x5*y8 + 29614*x4*y8 + 37913*x3*y8 + 8848*x2*y8 + 8086*x1*y8 + 57858*x0*y8 + 1697*x6*y7 + 40811*x5*y7 + 11663*x4*y7 + 841*x3*y7 + 19132*x2*y7 + 45143*x1*y7 + 40856*x0*y7 + 35872*x6*y6 + 24447*x5*y6 + 30409*x4*y6 + 1845*x3*y6 + 2990*x2*y6 + 946*x1*y6 + 9566*x0*y6 + 48184*x6*y5 + 44171*x5*y5 + 5172*x4*y5 + 31387*x3*y5 + 47674*x2*y5 + 32555*x1*y5 + 32049*x0*y5 + 22230*x6*y4 + 53207*x5*y4 + 34235*x4*y4 + 27055*x3*y4 + 2478*x2*y4 + 4284*x1*y4 + 35887*x0*y4 + 14300*x6*y3 + 30741*x5*y3 + 1231*x4*y3 + 47063*x3*y3 + 37004*x2*y3 + 8894*x1*y3 + 32706*x0*y3 + 29835*x6*y2 + 7969*x5*y2 + 47411*x4*y2 + 51281*x3*y2 + 45286*x2*y2 + 48271*x1*y2 + 31534*x0*y2 + 35967*x6*y1 + 58132*x5*y1 + 8163*x4*y1 + 53623*x3*y1 + 45741*x2*y1 + 8705*x1*y1 + 11070*x0*y1 + 26848*x6*y0 + 59843*x5*y0 + 36826*x4*y0 + 7315*x3*y0 + 59521*x2*y0 + 8846*x1*y0 + 17014*x0*y0,
44605*x6*y19 + 64448*x5*y19 + 36024*x4*y19 + 41339*x3*y19 + 19860*x2*y19 + 16355*x1*y19 + 38865*x0*y19 + 40176*x6*y18 + 9275*x5*y18 + 12427*x4*y18 + 19944*x3*y18 + 30145*x2*y18 + 29548*x1*y18 + 27214*x0*y18 + 53665*x6*y17 + 4585*x5*y17 + 59328*x4*y17 + 46673*x3*y17 + 33639*x2*y17 + 32710*x1*y17 + 21273*x0*y17 + 58158*x6*y16 + 41070*x5*y16 + 21252*x4*y16 + 39001*x3*y16 + 56879*x2*y16 + 13818*x1*y16 + 8620*x0*y16 + 50955*x6*y15 + 55645*x5*y15 + 29461*x4*y15 + 43313*x3*y15 + 43903*x2*y15 + 60216*x1*y15 + 1605*x0*y15 + 12066*x6*y14 + 31551*x5*y14 + 16889*x4*y14 + 3016*x3*y14 + 670*x2*y14 + 15642*x1*y14 + 64093*x0*y14 + 64456*x6*y13 + 39756*x5*y13 + 16436*x4*y13 + 52218*x3*y13 + 58997*x2*y13 + 402*x1*y13 + 40793*x0*y13 + 34112*x6*y12 + 48962*x5*y12 + 36021*x4*y12 + 24963*x3*y12 + 27462*x2*y12 + 38082*x1*y12 + 41846*x0*y12 + 2106*x6*y11 + 31104*x5*y11 + 60687*x4*y11 + 13015*x3*y11 + 25543*x2*y11 + 13342*x1*y11 + 41294*x0*y11 + 32720*x6*y10 + 61144*x5*y10 + 17290*x4*y10 + 44568*x3*y10 + 6523*x2*y10 + 50942*x1*y10 + 5922*x0*y10 + 47009*x6*y9 + 30129*x5*y9 + 7365*x4*y9 + 33791*x3*y9 + 56229*x2*y9 + 22515*x1*y9 + 55926*x0*y9 + 47429*x6*y8 + 48060*x5*y8 + 37310*x4*y8 + 52568*x3*y8 + 38348*x2*y8 + 50194*x1*y8 + 20451*x0*y8 + 21491*x6*y7 + 33407*x5*y7 + 39633*x4*y7 + 16556*x3*y7 + 46681*x2*y7 + 3644*x1*y7 + 7435*x0*y7 + 18516*x6*y6 + 42300*x5*y6 + 33804*x4*y6 + 44212*x3*y6 + 3366*x2*y6 + 35780*x1*y6 + 1775*x0*y6 + 10171*x6*y5 + 38869*x5*y5 + 20248*x4*y5 + 62593*x3*y5 + 54455*x2*y5 + 63282*x1*y5 + 4700*x0*y5 + 40301*x6*y4 + 2647*x5*y4 + 3304*x4*y4 + 45883*x3*y4 + 16134*x2*y4 + 37825*x1*y4 + 25440*x0*y4 + 53026*x6*y3 + 29132*x5*y3 + 48597*x4*y3 + 53905*x3*y3 + 63369*x2*y3 + 37485*x1*y3 + 46194*x0*y3 + 60355*x6*y2 + 32698*x5*y2 + 64775*x4*y2 + 4147*x3*y2 + 37474*x2*y2 + 64933*x1*y2 + 50363*x0*y2 + 13067*x6*y1 + 6576*x5*y1 + 2224*x4*y1 + 59986*x3*y1 + 56450*x2*y1 + 16303*x1*y1 + 50241*x0*y1 + 9204*x6*y0 + 3215*x5*y0 + 39148*x4*y0 + 27378*x3*y0 + 36600*x2*y0 + 18707*x1*y0 + 7683*x0*y0,
9821*x6*y19 + 48615*x5*y19 + 62400*x4*y19 + 2829*x3*y19 + 22373*x2*y19 + 14239*x1*y19 + 4254*x0*y19 + 41938*x6*y18 + 60946*x5*y18 + 51904*x4*y18 + 31026*x3*y18 + 64321*x2*y18 + 20914*x1*y18 + 33211*x0*y18 + 40466*x6*y17 + 20146*x5*y17 + 31252*x4*y17 + 29394*x3*y17 + 25823*x2*y17 + 40335*x1*y17 + 58398*x0*y17 + 9236*x6*y16 + 15052*x5*y16 + 52142*x4*y16 + 10670*x3*y16 + 42303*x2*y16 + 4592*x1*y16 + 12272*x0*y16 + 43452*x6*y15 + 64257*x5*y15 + 14583*x4*y15 + 35176*x3*y15 + 16901*x2*y15 + 44908*x1*y15 + 18939*x0*y15 + 48240*x6*y14 + 1413*x5*y14 + 49467*x4*y14 + 55847*x3*y14 + 56197*x2*y14 + 16331*x1*y14 + 45662*x0*y14 + 20982*x6*y13 + 36444*x5*y13 + 43272*x4*y13 + 59990*x3*y13 + 13721*x2*y13 + 5130*x1*y13 + 28238*x0*y13 + 19346*x6*y12 + 19856*x5*y12 + 29987*x4*y12 + 31601*x3*y12 + 21298*x2*y12 + 24673*x1*y12 + 59138*x0*y12 + 33096*x6*y11 + 22183*x5*y11 + 46288*x4*y11 + 46312*x3*y11 + 62673*x2*y11 + 2740*x1*y11 + 4554*x0*y11 + 61194*x6*y10 + 58851*x5*y10 + 7547*x4*y10 + 12279*x3*y10 + 46386*x2*y10 + 44999*x1*y10 + 41810*x0*y10 + 3666*x6*y9 + 35379*x5*y9 + 4316*x4*y9 + 20989*x3*y9 + 50718*x2*y9 + 46406*x1*y9 + 46166*x0*y9 + 54002*x6*y8 + 43258*x5*y8 + 49633*x4*y8 + 20488*x3*y8 + 24745*x2*y8 + 44646*x1*y8 + 11043*x0*y8 + 42786*x6*y7 + 63303*x5*y7 + 23401*x4*y7 + 8726*x3*y7 + 49167*x2*y7 + 48879*x1*y7 + 46795*x0*y7 + 31108*x6*y6 + 39796*x5*y6 + 45479*x4*y6 + 22117*x3*y6 + 22564*x2*y6 + 24746*x1*y6 + 55838*x0*y6 + 16*x6*y5 + 12088*x5*y5 + 40620*x4*y5 + 24160*x3*y5 + 40672*x2*y5 + 20306*x1*y5 + 31681*x0*y5 + 58598*x6*y4 + 53683*x5*y4 + 49011*x4*y4 + 3234*x3*y4 + 6096*x2*y4 + 33859*x1*y4 + 25041*x0*y4 + 15606*x6*y3 + 21508*x5*y3 + 47315*x4*y3 + 45987*x3*y3 + 64126*x2*y3 + 63887*x1*y3 + 61915*x0*y3 + 16724*x6*y2 + 3388*x5*y2 + 18111*x4*y2 + 25761*x3*y2 + 46323*x2*y2 + 25525*x1*y2 + 22614*x0*y2 + 59842*x6*y1 + 61967*x5*y1 + 33456*x4*y1 + 38505*x3*y1 + 11501*x2*y1 + 17571*x1*y1 + 27066*x0*y1 + 29362*x6*y0 + 41588*x5*y0 + 59493*x4*y0 + 11333*x3*y0 + 19840*x2*y0 + 25319*x1*y0 + 49318*x0*y0,
14490*x6*y19 + 14410*x5*y19 + 27285*x4*y19 + 38442*x3*y19 + 53818*x2*y19 + 491*x1*y19 + 47886*x0*y19 + 20263*x6*y18 + 15885*x5*y18 + 14288*x4*y18 + 6065*x3*y18 + 57940*x2*y18 + 61848*x1*y18 + 6276*x0*y18 + 34664*x6*y17 + 19715*x5*y17 + 7076*x4*y17 + 15098*x3*y17 + 49211*x2*y17 + 19174*x1*y17 + 4443*x0*y17 + 56451*x6*y16 + 39073*x5*y16 + 1139*x4*y16 + 20487*x3*y16 + 23958*x2*y16 + 41107*x1*y16 + 8128*x0*y16 + 21819*x6*y15 + 55165*x5*y15 + 16784*x4*y15 + 17205*x3*y15 + 55045*x2*y15 + 47472*x1*y15 + 22458*x0*y15 + 49917*x6*y14 + 9959*x5*y14 + 2835*x4*y14 + 3592*x3*y14 + 17506*x2*y14 + 33494*x1*y14 + 29978*x0*y14 + 55371*x6*y13 + 60248*x5*y13 + 45828*x4*y13 + 47955*x3*y13 + 32551*x2*y13 + 30378*x1*y13 + 14354*x0*y13 + 64935*x6*y12 + 31911*x5*y12 + 58812*x4*y12 + 46131*x3*y12 + 24515*x2*y12 + 37294*x1*y12 + 16300*x0*y12 + 2311*x6*y11 + 36635*x5*y11 + 64766*x4*y11 + 62573*x3*y11 + 20631*x2*y11 + 38407*x1*y11 + 12716*x0*y11 + 3007*x6*y10 + 25024*x5*y10 + 50349*x4*y10 + 4131*x3*y10 + 33720*x2*y10 + 22057*x1*y10 + 8154*x0*y10 + 60075*x6*y9 + 13260*x5*y9 + 13929*x4*y9 + 31159*x3*y9 + 62653*x2*y9 + 51174*x1*y9 + 12775*x0*y9 + 6059*x6*y8 + 34220*x5*y8 + 51705*x4*y8 + 28489*x3*y8 + 29010*x2*y8 + 41689*x1*y8 + 17595*x0*y8 + 61213*x6*y7 + 6068*x5*y7 + 43899*x4*y7 + 35816*x3*y7 + 29675*x2*y7 + 28535*x1*y7 + 60404*x0*y7 + 14758*x6*y6 + 28510*x5*y6 + 52465*x4*y6 + 23180*x3*y6 + 13170*x2*y6 + 59014*x1*y6 + 26499*x0*y6 + 5138*x6*y5 + 29059*x5*y5 + 47213*x4*y5 + 30028*x3*y5 + 37339*x2*y5 + 51002*x1*y5 + 6423*x0*y5 + 2775*x6*y4 + 32242*x5*y4 + 39417*x4*y4 + 5267*x3*y4 + 56119*x2*y4 + 16095*x1*y4 + 9982*x0*y4 + 37858*x6*y3 + 28172*x5*y3 + 50073*x4*y3 + 59561*x3*y3 + 33683*x2*y3 + 3638*x1*y3 + 41503*x0*y3 + 12896*x6*y2 + 32371*x5*y2 + 58867*x4*y2 + 60763*x3*y2 + 23634*x2*y2 + 22604*x1*y2 + 4729*x0*y2 + 56950*x6*y1 + 8600*x5*y1 + 51333*x4*y1 + 37815*x3*y1 + 45081*x2*y1 + 20533*x1*y1 + 13675*x0*y1 + 9710*x6*y0 + 53080*x5*y0 + 54056*x4*y0 + 1117*x3*y0 + 50837*x2*y0 + 54200*x1*y0 + 19707*x0*y0,
4844*x6*y19 + 33913*x5*y19 + 34169*x4*y19 + 26895*x3*y19 + 20471*x2*y19 + 33119*x1*y19 + 56498*x0*y19 + 31795*x6*y18 + 45573*x5*y18 + 3405*x4*y18 + 28466*x3*y18 + 2363*x2*y18 + 32516*x1*y18 + 44406*x0*y18 + 10095*x6*y17 + 10622*x5*y17 + 896*x4*y17 + 63445*x3*y17 + 36680*x2*y17 + 35543*x1*y17 + 33704*x0*y17 + 25564*x6*y16 + 7618*x5*y16 + 60448*x4*y16 + 50013*x3*y16 + 55705*x2*y16 + 45502*x1*y16 + 13487*x0*y16 + 17474*x6*y15 + 26651*x5*y15 + 14115*x4*y15 + 22709*x3*y15 + 31088*x2*y15 + 59088*x1*y15 + 30582*x0*y15 + 61814*x6*y14 + 7313*x5*y14 + 25494*x4*y14 + 30977*x3*y14 + 22745*x2*y14 + 7591*x1*y14 + 55320*x0*y14 + 24488*x6*y13 + 59673*x5*y13 + 6068*x4*y13 + 47277*x3*y13 + 64576*x2*y13 + 45607*x1*y13 + 50936*x0*y13 + 45072*x6*y12 + 63008*x5*y12 + 3200*x4*y12 + 55692*x3*y12 + 52572*x2*y12 + 44605*x1*y12 + 15872*x0*y12 + 51778*x6*y11 + 44960*x5*y11 + 56617*x4*y11 + 17832*x3*y11 + 22117*x2*y11 + 44702*x1*y11 + 29770*x0*y11 + 40964*x6*y10 + 40455*x5*y10 + 29217*x4*y10 + 3107*x3*y10 + 5240*x2*y10 + 27577*x1*y10 + 58644*x0*y10 + 22759*x6*y9 + 35160*x5*y9 + 21228*x4*y9 + 46022*x3*y9 + 56402*x2*y9 + 17157*x1*y9 + 33584*x0*y9 + 20389*x6*y8 + 58260*x5*y8 + 44626*x4*y8 + 13348*x3*y8 + 12799*x2*y8 + 19845*x1*y8 + 38109*x0*y8 + 37752*x6*y7 + 10504*x5*y7 + 62062*x4*y7 + 9205*x3*y7 + 45745*x2*y7 + 60194*x1*y7 + 54956*x0*y7 + 7152*x6*y6 + 46285*x5*y6 + 49645*x4*y6 + 17750*x3*y6 + 18003*x2*y6 + 1665*x1*y6 + 35278*x0*y6 + 27237*x6*y5 + 45002*x5*y5 + 53545*x4*y5 + 17447*x3*y5 + 290*x2*y5 + 10050*x1*y5 + 10489*x0*y5 + 33441*x6*y4 + 44748*x5*y4 + 2374*x4*y4 + 45130*x3*y4 + 14828*x2*y4 + 56819*x1*y4 + 48892*x0*y4 + 63097*x6*y3 + 8503*x5*y3 + 16880*x4*y3 + 11986*x3*y3 + 50667*x2*y3 + 2026*x1*y3 + 42544*x0*y3 + 47799*x6*y2 + 23684*x5*y2 + 62532*x4*y2 + 25070*x3*y2 + 45513*x2*y2 + 38329*x1*y2 + 64071*x0*y2 + 44392*x6*y1 + 44193*x5*y1 + 10705*x4*y1 + 54382*x3*y1 + 14898*x2*y1 + 34669*x1*y1 + 32836*x0*y1 + 51007*x6*y0 + 44534*x5*y0 + 40642*x4*y0 + 6832*x3*y0 + 49950*x2*y0 + 1070*x1*y0 + 56421*x0*y0,
13839*x6*y19 + 47668*x5*y19 + 39912*x4*y19 + 12627*x3*y19 + 39505*x2*y19 + 15587*x1*y19 + 46972*x0*y19 + 1455*x6*y18 + 15606*x5*y18 + 20035*x4*y18 + 21187*x3*y18 + 47812*x2*y18 + 54124*x1*y18 + 3988*x0*y18 + 5938*x6*y17 + 39302*x5*y17 + 53644*x4*y17 + 7514*x3*y17 + 51402*x2*y17 + 63416*x1*y17 + 5973*x0*y17 + 37994*x6*y16 + 54937*x5*y16 + 54614*x4*y16 + 27349*x3*y16 + 18423*x2*y16 + 64306*x1*y16 + 12409*x0*y16 + 37047*x6*y15 + 24175*x5*y15 + 35721*x4*y15 + 46184*x3*y15 + 45945*x2*y15 + 42048*x1*y15 + 44569*x0*y15 + 31747*x6*y14 + 17799*x5*y14 + 12150*x4*y14 + 11618*x3*y14 + 41731*x2*y14 + 11779*x1*y14 + 34657*x0*y14 + 470*x6*y13 + 33610*x5*y13 + 17383*x4*y13 + 13690*x3*y13 + 24670*x2*y13 + 42497*x1*y13 + 9213*x0*y13 + 61968*x6*y12 + 1189*x5*y12 + 32075*x4*y12 + 44339*x3*y12 + 60553*x2*y12 + 37731*x1*y12 + 8249*x0*y12 + 46290*x6*y11 + 3600*x5*y11 + 11887*x4*y11 + 30011*x3*y11 + 49599*x2*y11 + 48286*x1*y11 + 24957*x0*y11 + 15149*x6*y10 + 13893*x5*y10 + 33356*x4*y10 + 31773*x3*y10 + 61328*x2*y10 + 34633*x1*y10 + 49761*x0*y10 + 63453*x6*y9 + 19472*x5*y9 + 8068*x4*y9 + 11330*x3*y9 + 30118*x2*y9 + 13434*x1*y9 + 43090*x0*y9 + 28403*x6*y8 + 54048*x5*y8 + 62452*x4*y8 + 26544*x3*y8 + 56872*x2*y8 + 43945*x1*y8 + 59423*x0*y8 + 18455*x6*y7 + 29023*x5*y7 + 51711*x4*y7 + 18437*x3*y7 + 8796*x2*y7 + 42079*x1*y7 + 45046*x0*y7 + 22314*x6*y6 + 27795*x5*y6 + 48601*x4*y6 + 60843*x3*y6 + 22378*x2*y6 + 34776*x1*y6 + 21168*x0*y6 + 6218*x6*y5 + 1739*x5*y5 + 39341*x4*y5 + 27296*x3*y5 + 19644*x2*y5 + 52517*x1*y5 + 20299*x0*y5 + 14469*x6*y4 + 8750*x5*y4 + 11949*x4*y4 + 5796*x3*y4 + 33932*x2*y4 + 48798*x1*y4 + 57141*x0*y4 + 54469*x6*y3 + 62161*x5*y3 + 10893*x4*y3 + 56302*x3*y3 + 18572*x2*y3 + 58802*x1*y3 + 10169*x0*y3 + 3041*x6*y2 + 46124*x5*y2 + 51338*x4*y2 + 48746*x3*y2 + 16180*x2*y2 + 55514*x1*y2 + 54892*x0*y2 + 61269*x6*y1 + 28499*x5*y1 + 44132*x4*y1 + 20642*x3*y1 + 47805*x2*y1 + 35861*x1*y1 + 24781*x0*y1 + 57677*x6*y0 + 18813*x5*y0 + 1897*x4*y0 + 42523*x3*y0 + 37931*x2*y0 + 49142*x1*y0 + 32922*x0*y0,
58281*x6*y19 + 60277*x5*y19 + 38703*x4*y19 + 20260*x3*y19 + 49111*x2*y19 + 44220*x1*y19 + 41982*x0*y19 + 11300*x6*y18 + 25944*x5*y18 + 5839*x4*y18 + 21497*x3*y18 + 47142*x2*y18 + 63750*x1*y18 + 13474*x0*y18 + 1201*x6*y17 + 17433*x5*y17 + 61540*x4*y17 + 23320*x3*y17 + 8097*x2*y17 + 39339*x1*y17 + 25804*x0*y17 + 62675*x6*y16 + 30259*x5*y16 + 57992*x4*y16 + 64770*x3*y16 + 40001*x2*y16 + 39173*x1*y16 + 2775*x0*y16 + 46495*x6*y15 + 17166*x5*y15 + 14093*x4*y15 + 21735*x3*y15 + 1148*x2*y15 + 33531*x1*y15 + 22372*x0*y15 + 9836*x6*y14 + 50352*x5*y14 + 19082*x4*y14 + 34528*x3*y14 + 48301*x2*y14 + 37783*x1*y14 + 19696*x0*y14 + 27440*x6*y13 + 10018*x5*y13 + 44447*x4*y13 + 21028*x3*y13 + 37278*x2*y13 + 35301*x1*y13 + 7102*x0*y13 + 2027*x6*y12 + 63162*x5*y12 + 1358*x4*y12 + 19203*x3*y12 + 46595*x2*y12 + 63686*x1*y12 + 12788*x0*y12 + 327*x6*y11 + 29292*x5*y11 + 38036*x4*y11 + 39516*x3*y11 + 19663*x2*y11 + 60566*x1*y11 + 53878*x0*y11 + 3772*x6*y10 + 59469*x5*y10 + 3310*x4*y10 + 4789*x3*y10 + 16885*x2*y10 + 61867*x1*y10 + 53163*x0*y10 + 16064*x6*y9 + 58913*x5*y9 + 41572*x4*y9 + 53879*x3*y9 + 19764*x2*y9 + 28316*x1*y9 + 37615*x0*y9 + 7819*x6*y8 + 61308*x5*y8 + 19213*x4*y8 + 25174*x3*y8 + 36521*x2*y8 + 43806*x1*y8 + 49156*x0*y8 + 32571*x6*y7 + 60954*x5*y7 + 34927*x4*y7 + 49803*x3*y7 + 16806*x2*y7 + 30296*x1*y7 + 18323*x0*y7 + 45595*x6*y6 + 46107*x5*y6 + 57245*x4*y6 + 56106*x3*y6 + 5319*x2*y6 + 24833*x1*y6 + 36287*x0*y6 + 48353*x6*y5 + 3854*x5*y5 + 33810*x4*y5 + 1487*x3*y5 + 61039*x2*y5 + 42961*x1*y5 + 27436*x0*y5 + 13444*x6*y4 + 49930*x5*y4 + 17764*x4*y4 + 23769*x3*y4 + 5555*x2*y4 + 42745*x1*y4 + 22395*x0*y4 + 35082*x6*y3 + 61957*x5*y3 + 58243*x4*y3 + 62556*x3*y3 + 29742*x2*y3 + 51270*x1*y3 + 34825*x0*y3 + 62290*x6*y2 + 56060*x5*y2 + 63165*x4*y2 + 63828*x3*y2 + 14321*x2*y2 + 23289*x1*y2 + 46017*x0*y2 + 51801*x6*y1 + 60756*x5*y1 + 29615*x4*y1 + 42314*x3*y1 + 20422*x2*y1 + 14702*x1*y1 + 22510*x0*y1 + 38042*x6*y0 + 51709*x5*y0 + 52254*x4*y0 + 30644*x3*y0 + 7876*x2*y0 + 3394*x1*y0 + 1041*x0*y0,
47114*x6*y19 + 28332*x5*y19 + 45354*x4*y19 + 43069*x3*y19 + 56014*x2*y19 + 8168*x1*y19 + 37352*x0*y19 + 63219*x6*y18 + 50065*x5*y18 + 61085*x4*y18 + 45899*x3*y18 + 25167*x2*y18 + 18514*x1*y18 + 62563*x0*y18 + 11598*x6*y17 + 46939*x5*y17 + 16817*x4*y17 + 14203*x3*y17 + 22907*x2*y17 + 64109*x1*y17 + 17222*x0*y17 + 3695*x6*y16 + 14282*x5*y16 + 25688*x4*y16 + 30506*x3*y16 + 7511*x2*y16 + 63599*x1*y16 + 590*x0*y16 + 35235*x6*y15 + 53581*x5*y15 + 58881*x4*y15 + 27941*x3*y15 + 21*x2*y15 + 58084*x1*y15 + 44786*x0*y15 + 4738*x6*y14 + 23751*x5*y14 + 20720*x4*y14 + 9608*x3*y14 + 56122*x2*y14 + 6732*x1*y14 + 40635*x0*y14 + 52297*x6*y13 + 6422*x5*y13 + 3983*x4*y13 + 64645*x3*y13 + 37445*x2*y13 + 10798*x1*y13 + 23788*x0*y13 + 59027*x6*y12 + 48127*x5*y12 + 36648*x4*y12 + 31999*x3*y12 + 29165*x2*y12 + 13861*x1*y12 + 526*x0*y12 + 55904*x6*y11 + 56079*x5*y11 + 52238*x4*y11 + 40095*x3*y11 + 18032*x2*y11 + 13972*x1*y11 + 32674*x0*y11 + 12905*x6*y10 + 53357*x5*y10 + 20903*x4*y10 + 10293*x3*y10 + 23607*x2*y10 + 59883*x1*y10 + 37130*x0*y10 + 4679*x6*y9 + 17367*x5*y9 + 20709*x4*y9 + 26989*x3*y9 + 38037*x2*y9 + 20581*x1*y9 + 24721*x0*y9 + 15890*x6*y8 + 43495*x5*y8 + 14229*x4*y8 + 61080*x3*y8 + 21581*x2*y8 + 47372*x1*y8 + 42856*x0*y8 + 43756*x6*y7 + 12351*x5*y7 + 463*x4*y7 + 17068*x3*y7 + 30827*x2*y7 + 22092*x1*y7 + 7953*x0*y7 + 36665*x6*y6 + 57457*x5*y6 + 9678*x4*y6 + 64201*x3*y6 + 26335*x2*y6 + 53491*x1*y6 + 26533*x0*y6 + 27896*x6*y5 + 1722*x5*y5 + 23080*x4*y5 + 5078*x3*y5 + 11050*x2*y5 + 57201*x1*y5 + 32512*x0*y5 + 24198*x6*y4 + 78*x5*y4 + 12960*x4*y4 + 3580*x3*y4 + 23852*x2*y4 + 3332*x1*y4 + 27372*x0*y4 + 53302*x6*y3 + 34064*x5*y3 + 20664*x4*y3 + 64101*x3*y3 + 55689*x2*y3 + 27059*x1*y3 + 48292*x0*y3 + 5374*x6*y2 + 42888*x5*y2 + 30535*x4*y2 + 38895*x3*y2 + 64337*x2*y2 + 50847*x1*y2 + 18363*x0*y2 + 15383*x6*y1 + 33872*x5*y1 + 46834*x4*y1 + 35497*x3*y1 + 4370*x2*y1 + 42134*x1*y1 + 29753*x0*y1 + 29765*x6*y0 + 36423*x5*y0 + 26673*x4*y0 + 63730*x3*y0 + 36598*x2*y0 + 56143*x1*y0 + 39122*x0*y0,
52946*x6*y19 + 28857*x5*y19 + 5147*x4*y19 + 29570*x3*y19 + 40629*x2*y19 + 90*x1*y19 + 13965*x0*y19 + 3223*x6*y18 + 27200*x5*y18 + 31206*x4*y18 + 62355*x3*y18 + 9632*x2*y18 + 12311*x1*y18 + 45327*x0*y18 + 39684*x6*y17 + 57988*x5*y17 + 54091*x4*y17 + 39433*x3*y17 + 62425*x2*y17 + 16163*x1*y17 + 14622*x0*y17 + 6284*x6*y16 + 28074*x5*y16 + 4665*x4*y16 + 34161*x3*y16 + 7331*x2*y16 + 6349*x1*y16 + 16899*x0*y16 + 29864*x6*y15 + 20893*x5*y15 + 19731*x4*y15 + 62362*x3*y15 + 31291*x2*y15 + 63947*x1*y15 + 15842*x0*y15 + 63775*x6*y14 + 4705*x5*y14 + 45694*x4*y14 + 22830*x3*y14 + 26616*x2*y14 + 9494*x1*y14 + 32239*x0*y14 + 15594*x6*y13 + 6134*x5*y13 + 38740*x4*y13 + 58597*x3*y13 + 39498*x2*y13 + 13973*x1*y13 + 37779*x0*y13 + 11787*x6*y12 + 13159*x5*y12 + 39422*x4*y12 + 47122*x3*y12 + 44583*x2*y12 + 53602*x1*y12 + 57428*x0*y12 + 20549*x6*y11 + 26550*x5*y11 + 62811*x4*y11 + 64830*x3*y11 + 27129*x2*y11 + 17890*x1*y11 + 57445*x0*y11 + 28235*x6*y10 + 4331*x5*y10 + 31992*x4*y10 + 2317*x3*y10 + 7197*x2*y10 + 26389*x1*y10 + 61371*x0*y10 + 37562*x6*y9 + 7812*x5*y9 + 40831*x4*y9 + 179*x3*y9 + 63569*x2*y9 + 54253*x1*y9 + 44635*x0*y9 + 4860*x6*y8 + 19538*x5*y8 + 26735*x4*y8 + 24696*x3*y8 + 13610*x2*y8 + 22090*x1*y8 + 23301*x0*y8 + 5385*x6*y7 + 56768*x5*y7 + 41467*x4*y7 + 59530*x3*y7 + 57393*x2*y7 + 2739*x1*y7 + 59613*x0*y7 + 38983*x6*y6 + 31143*x5*y6 + 6310*x4*y6 + 50090*x3*y6 + 45460*x2*y6 + 51918*x1*y6 + 45008*x0*y6 + 33137*x6*y5 + 62361*x5*y5 + 20773*x4*y5 + 55382*x3*y5 + 32169*x2*y5 + 10284*x1*y5 + 29367*x0*y5 + 11257*x6*y4 + 44686*x5*y4 + 28398*x4*y4 + 44286*x3*y4 + 44876*x2*y4 + 34368*x1*y4 + 51271*x0*y4 + 18433*x6*y3 + 57467*x5*y3 + 48707*x4*y3 + 7820*x3*y3 + 25823*x2*y3 + 19910*x1*y3 + 60000*x0*y3 + 24332*x6*y2 + 63901*x5*y2 + 45797*x4*y2 + 16498*x3*y2 + 2156*x2*y2 + 24388*x1*y2 + 13335*x0*y2 + 61787*x6*y1 + 34920*x5*y1 + 62320*x4*y1 + 19713*x3*y1 + 21466*x2*y1 + 27733*x1*y1 + 50115*x0*y1 + 57704*x6*y0 + 2183*x5*y0 + 3496*x4*y0 + 19842*x3*y0 + 14997*x2*y0 + 17162*x1*y0 + 7086*x0*y0,
56169*x6*y19 + 27138*x5*y19 + 35440*x4*y19 + 6246*x3*y19 + 34500*x2*y19 + 11047*x1*y19 + 46050*x0*y19 + 7617*x6*y18 + 33367*x5*y18 + 32741*x4*y18 + 10363*x3*y18 + 8514*x2*y18 + 21480*x1*y18 + 28505*x0*y18 + 64723*x6*y17 + 51200*x5*y17 + 49728*x4*y17 + 27526*x3*y17 + 20714*x2*y17 + 61616*x1*y17 + 44991*x0*y17 + 21049*x6*y16 + 21741*x5*y16 + 62149*x4*y16 + 14710*x3*y16 + 11863*x2*y16 + 44139*x1*y16 + 36305*x0*y16 + 23109*x6*y15 + 61210*x5*y15 + 25164*x4*y15 + 38190*x3*y15 + 11017*x2*y15 + 9327*x1*y15 + 35665*x0*y15 + 62461*x6*y14 + 10152*x5*y14 + 2720*x4*y14 + 9229*x3*y14 + 27471*x2*y14 + 23530*x1*y14 + 43275*x0*y14 + 20943*x6*y13 + 45790*x5*y13 + 20036*x4*y13 + 35711*x3*y13 + 42167*x2*y13 + 1774*x1*y13 + 19029*x0*y13 + 1463*x6*y12 + 23815*x5*y12 + 8212*x4*y12 + 3895*x3*y12 + 667*x2*y12 + 20752*x1*y12 + 58130*x0*y12 + 26130*x6*y11 + 9538*x5*y11 + 8508*x4*y11 + 60692*x3*y11 + 57379*x2*y11 + 14519*x1*y11 + 41678*x0*y11 + 12727*x6*y10 + 8155*x5*y10 + 33339*x4*y10 + 11668*x3*y10 + 34008*x2*y10 + 28696*x1*y10 + 25787*x0*y10 + 57268*x6*y9 + 19079*x5*y9 + 26676*x4*y9 + 17959*x3*y9 + 12202*x2*y9 + 15203*x1*y9 + 59376*x0*y9 + 45007*x6*y8 + 44123*x5*y8 + 34630*x4*y8 + 43851*x3*y8 + 1539*x2*y8 + 57173*x1*y8 + 54076*x0*y8 + 47511*x6*y7 + 20601*x5*y7 + 41661*x4*y7 + 56288*x3*y7 + 36292*x2*y7 + 36011*x1*y7 + 14486*x0*y7 + 33480*x6*y6 + 44426*x5*y6 + 7958*x4*y6 + 48680*x3*y6 + 29080*x2*y6 + 52405*x1*y6 + 51283*x0*y6 + 52502*x6*y5 + 7316*x5*y5 + 64664*x4*y5 + 57259*x3*y5 + 59513*x2*y5 + 59088*x1*y5 + 53440*x0*y5 + 26231*x6*y4 + 37617*x5*y4 + 3159*x4*y4 + 11788*x3*y4 + 52955*x2*y4 + 19630*x1*y4 + 33443*x0*y4 + 8187*x6*y3 + 43219*x5*y3 + 49232*x4*y3 + 32136*x3*y3 + 49902*x2*y3 + 18440*x1*y3 + 21494*x0*y3 + 26900*x6*y2 + 12501*x5*y2 + 53413*x4*y2 + 22285*x3*y2 + 44663*x2*y2 + 11511*x1*y2 + 16654*x0*y2 + 27914*x6*y1 + 4024*x5*y1 + 55147*x4*y1 + 25853*x3*y1 + 34156*x2*y1 + 12527*x1*y1 + 43338*x0*y1 + 53455*x6*y0 + 29559*x5*y0 + 32320*x4*y0 + 64962*x3*y0 + 9144*x2*y0 + 25155*x1*y0 + 54323*x0*y0,
15634*x6*y19 + 5619*x5*y19 + 2161*x4*y19 + 49480*x3*y19 + 61495*x2*y19 + 48007*x1*y19 + 3611*x0*y19 + 50321*x6*y18 + 11985*x5*y18 + 27752*x4*y18 + 41424*x3*y18 + 21252*x2*y18 + 51512*x1*y18 + 46550*x0*y18 + 21246*x6*y17 + 60324*x5*y17 + 55202*x4*y17 + 2581*x3*y17 + 47266*x2*y17 + 22223*x1*y17 + 5289*x0*y17 + 42824*x6*y16 + 27325*x5*y16 + 6256*x4*y16 + 53090*x3*y16 + 56312*x2*y16 + 21197*x1*y16 + 52349*x0*y16 + 60230*x6*y15 + 47033*x5*y15 + 52600*x4*y15 + 1805*x3*y15 + 15097*x2*y15 + 56993*x1*y15 + 48906*x0*y15 + 14161*x6*y14 + 9536*x5*y14 + 45593*x4*y14 + 56168*x3*y14 + 37005*x2*y14 + 51605*x1*y14 + 28162*x0*y14 + 31672*x6*y13 + 54402*x5*y13 + 30808*x4*y13 + 17555*x3*y13 + 53249*x2*y13 + 2911*x1*y13 + 30857*x0*y13 + 55634*x6*y12 + 24479*x5*y12 + 44622*x4*y12 + 41472*x3*y12 + 16143*x2*y12 + 46611*x1*y12 + 24007*x0*y12 + 42221*x6*y11 + 2617*x5*y11 + 40894*x4*y11 + 47213*x3*y11 + 60118*x2*y11 + 40767*x1*y11 + 56522*x0*y11 + 31943*x6*y10 + 60698*x5*y10 + 38035*x4*y10 + 11199*x3*y10 + 17684*x2*y10 + 15921*x1*y10 + 44601*x0*y10 + 40681*x6*y9 + 47958*x5*y9 + 45005*x4*y9 + 48881*x3*y9 + 31328*x2*y9 + 10629*x1*y9 + 50615*x0*y9 + 48640*x6*y8 + 50101*x5*y8 + 24780*x4*y8 + 21497*x3*y8 + 42553*x2*y8 + 39647*x1*y8 + 27310*x0*y8 + 20811*x6*y7 + 52654*x5*y7 + 47358*x4*y7 + 58305*x3*y7 + 35615*x2*y7 + 29660*x1*y7 + 7082*x0*y7 + 29639*x6*y6 + 29141*x5*y6 + 53481*x4*y6 + 22017*x3*y6 + 5526*x2*y6 + 7784*x1*y6 + 31499*x0*y6 + 17928*x6*y5 + 56952*x5*y5 + 1945*x4*y5 + 55808*x3*y5 + 31680*x2*y5 + 42868*x1*y5 + 45536*x0*y5 + 46421*x6*y4 + 32631*x5*y4 + 8795*x4*y4 + 45408*x3*y4 + 38019*x2*y4 + 55776*x1*y4 + 40700*x0*y4 + 3062*x6*y3 + 45409*x5*y3 + 28750*x4*y3 + 55229*x3*y3 + 36719*x2*y3 + 55530*x1*y3 + 6174*x0*y3 + 20103*x6*y2 + 23451*x5*y2 + 11123*x4*y2 + 6248*x3*y2 + 19662*x2*y2 + 11549*x1*y2 + 53415*x0*y2 + 26702*x6*y1 + 33121*x5*y1 + 44926*x4*y1 + 53975*x3*y1 + 48060*x2*y1 + 60229*x1*y1 + 64115*x0*y1 + 49814*x6*y0 + 30800*x5*y0 + 11420*x4*y0 + 28491*x3*y0 + 38603*x2*y0 + 31539*x1*y0 + 22768*x0*y0,
35841*x6*y19 + 30255*x5*y19 + 52207*x4*y19 + 49280*x3*y19 + 32048*x2*y19 + 43121*x1*y19 + 18104*x0*y19 + 40602*x6*y18 + 57995*x5*y18 + 57938*x4*y18 + 51152*x3*y18 + 54866*x2*y18 + 45551*x1*y18 + 54868*x0*y18 + 11636*x6*y17 + 27476*x5*y17 + 18203*x4*y17 + 60316*x3*y17 + 26060*x2*y17 + 19774*x1*y17 + 14051*x0*y17 + 17638*x6*y16 + 46902*x5*y16 + 56991*x4*y16 + 22367*x3*y16 + 52467*x2*y16 + 40493*x1*y16 + 406*x0*y16 + 31593*x6*y15 + 41347*x5*y15 + 25439*x4*y15 + 47846*x3*y15 + 29515*x2*y15 + 38896*x1*y15 + 53260*x0*y15 + 55568*x6*y14 + 1035*x5*y14 + 2865*x4*y14 + 46487*x3*y14 + 31545*x2*y14 + 39722*x1*y14 + 30459*x0*y14 + 26197*x6*y13 + 47310*x5*y13 + 24915*x4*y13 + 32267*x3*y13 + 27591*x2*y13 + 8957*x1*y13 + 22702*x0*y13 + 38516*x6*y12 + 57569*x5*y12 + 285*x4*y12 + 59454*x3*y12 + 9441*x2*y12 + 7417*x1*y12 + 53396*x0*y12 + 14165*x6*y11 + 48743*x5*y11 + 34798*x4*y11 + 63116*x3*y11 + 46359*x2*y11 + 64226*x1*y11 + 18911*x0*y11 + 63297*x6*y10 + 20254*x5*y10 + 48819*x4*y10 + 50752*x3*y10 + 33674*x2*y10 + 12012*x1*y10 + 21934*x0*y10 + 35828*x6*y9 + 52014*x5*y9 + 54006*x4*y9 + 51999*x3*y9 + 11850*x2*y9 + 1221*x1*y9 + 38036*x0*y9 + 3465*x6*y8 + 13755*x5*y8 + 21502*x4*y8 + 45744*x3*y8 + 5378*x2*y8 + 36982*x1*y8 + 57961*x0*y8 + 61164*x6*y7 + 18868*x5*y7 + 34492*x4*y7 + 19943*x3*y7 + 63727*x2*y7 + 16746*x1*y7 + 59844*x0*y7 + 19997*x6*y6 + 55081*x5*y6 + 41879*x4*y6 + 46405*x3*y6 + 16099*x2*y6 + 11716*x1*y6 + 26746*x0*y6 + 41641*x6*y5 + 13837*x5*y5 + 54792*x4*y5 + 33743*x3*y5 + 46016*x2*y5 + 63470*x1*y5 + 22339*x0*y5 + 16768*x6*y4 + 1527*x5*y4 + 4812*x4*y4 + 15701*x3*y4 + 35835*x2*y4 + 26402*x1*y4 + 42418*x0*y4 + 43899*x6*y3 + 43499*x5*y3 + 19837*x4*y3 + 57571*x3*y3 + 13164*x2*y3 + 5840*x1*y3 + 61066*x0*y3 + 23384*x6*y2 + 30101*x5*y2 + 457*x4*y2 + 9841*x3*y2 + 47966*x2*y2 + 32466*x1*y2 + 30870*x0*y2 + 52674*x6*y1 + 1969*x5*y1 + 51157*x4*y1 + 64594*x3*y1 + 52834*x2*y1 + 14201*x1*y1 + 3944*x0*y1 + 10603*x6*y0 + 5709*x5*y0 + 38580*x4*y0 + 10915*x3*y0 + 23595*x2*y0 + 23337*x1*y0 + 31521*x0*y0,
11492*x6*y19 + 12128*x5*y19 + 35346*x4*y19 + 27615*x3*y19 + 27289*x2*y19 + 41891*x1*y19 + 50806*x0*y19 + 39524*x6*y18 + 52367*x5*y18 + 42324*x4*y18 + 54981*x3*y18 + 63164*x2*y18 + 35932*x1*y18 + 33681*x0*y18 + 64537*x6*y17 + 63155*x5*y17 + 20305*x4*y17 + 20710*x3*y17 + 40186*x2*y17 + 14359*x1*y17 + 37910*x0*y17 + 64985*x6*y16 + 21996*x5*y16 + 26856*x4*y16 + 34492*x3*y16 + 19273*x2*y16 + 37266*x1*y16 + 51521*x0*y16 + 16543*x6*y15 + 48372*x5*y15 + 18264*x4*y15 + 13207*x3*y15 + 26768*x2*y15 + 39209*x1*y15 + 15508*x0*y15 + 51652*x6*y14 + 25326*x5*y14 + 50232*x4*y14 + 9668*x3*y14 + 54530*x2*y14 + 32575*x1*y14 + 20037*x0*y14 + 12319*x6*y13 + 7203*x5*y13 + 40123*x4*y13 + 11100*x3*y13 + 14107*x2*y13 + 19467*x1*y13 + 53870*x0*y13 + 10228*x6*y12 + 4868*x5*y12 + 31643*x4*y12 + 26375*x3*y12 + 6916*x2*y12 + 34020*x1*y12 + 12303*x0*y12 + 26956*x6*y11 + 38207*x5*y11 + 22103*x4*y11 + 60665*x3*y11 + 18170*x2*y11 + 28854*x1*y11 + 50170*x0*y11 + 49580*x6*y10 + 27916*x5*y10 + 33444*x4*y10 + 58900*x3*y10 + 16315*x2*y10 + 1344*x1*y10 + 36052*x0*y10 + 29309*x6*y9 + 57917*x5*y9 + 54153*x4*y9 + 28849*x3*y9 + 53779*x2*y9 + 45731*x1*y9 + 39927*x0*y9 + 10360*x6*y8 + 56439*x5*y8 + 23815*x4*y8 + 60036*x3*y8 + 23571*x2*y8 + 9927*x1*y8 + 21902*x0*y8 + 38676*x6*y7 + 24983*x5*y7 + 48359*x4*y7 + 24080*x3*y7 + 53533*x2*y7 + 2106*x1*y7 + 23172*x0*y7 + 29785*x6*y6 + 15394*x5*y6 + 14840*x4*y6 + 61428*x3*y6 + 3370*x2*y6 + 41951*x1*y6 + 20127*x0*y6 + 46516*x6*y5 + 3350*x5*y5 + 53079*x4*y5 + 30535*x3*y5 + 47763*x2*y5 + 44512*x1*y5 + 53664*x0*y5 + 64545*x6*y4 + 40577*x5*y4 + 37438*x4*y4 + 33021*x3*y4 + 9072*x2*y4 + 16481*x1*y4 + 18108*x0*y4 + 34666*x6*y3 + 29168*x5*y3 + 6717*x4*y3 + 18855*x3*y3 + 26047*x2*y3 + 43160*x1*y3 + 61520*x0*y3 + 38323*x6*y2 + 7293*x5*y2 + 43177*x4*y2 + 33760*x3*y2 + 56893*x2*y2 + 24237*x1*y2 + 25543*x0*y2 + 45380*x6*y1 + 32694*x5*y1 + 31585*x4*y1 + 45817*x3*y1 + 42835*x2*y1 + 22937*x1*y1 + 25307*x0*y1 + 47709*x6*y0 + 9544*x5*y0 + 29601*x4*y0 + 16537*x3*y0 + 21030*x2*y0 + 58007*x1*y0 + 51030*x0*y0,
14753*x6*y19 + 39375*x5*y19 + 12633*x4*y19 + 40195*x3*y19 + 27464*x2*y19 + 28152*x1*y19 + 40536*x0*y19 + 37635*x6*y18 + 21870*x5*y18 + 60223*x4*y18 + 30035*x3*y18 + 44020*x2*y18 + 7425*x1*y18 + 10397*x0*y18 + 32601*x6*y17 + 24466*x5*y17 + 56096*x4*y17 + 44088*x3*y17 + 13074*x2*y17 + 8140*x1*y17 + 18639*x0*y17 + 51012*x6*y16 + 25924*x5*y16 + 25642*x4*y16 + 17091*x3*y16 + 63369*x2*y16 + 26747*x1*y16 + 29894*x0*y16 + 58989*x6*y15 + 63367*x5*y15 + 15042*x4*y15 + 63474*x3*y15 + 12651*x2*y15 + 23773*x1*y15 + 21088*x0*y15 + 4924*x6*y14 + 43433*x5*y14 + 37427*x4*y14 + 22100*x3*y14 + 35523*x2*y14 + 45530*x1*y14 + 63228*x0*y14 + 24001*x6*y13 + 49539*x5*y13 + 62695*x4*y13 + 47494*x3*y13 + 61673*x2*y13 + 60157*x1*y13 + 48765*x0*y13 + 24958*x6*y12 + 17992*x5*y12 + 9075*x4*y12 + 7774*x3*y12 + 56661*x2*y12 + 36218*x1*y12 + 60199*x0*y12 + 39832*x6*y11 + 6150*x5*y11 + 63186*x4*y11 + 34959*x3*y11 + 58233*x2*y11 + 12653*x1*y11 + 48983*x0*y11 + 24275*x6*y10 + 31206*x5*y10 + 40816*x4*y10 + 42511*x3*y10 + 42935*x2*y10 + 32603*x1*y10 + 20052*x0*y10 + 40533*x6*y9 + 8985*x5*y9 + 57060*x4*y9 + 41326*x3*y9 + 36339*x2*y9 + 35701*x1*y9 + 26775*x0*y9 + 34353*x6*y8 + 20843*x5*y8 + 6538*x4*y8 + 19464*x3*y8 + 31098*x2*y8 + 14793*x1*y8 + 19473*x0*y8 + 58008*x6*y7 + 25845*x5*y7 + 7410*x4*y7 + 28614*x3*y7 + 5492*x2*y7 + 16429*x1*y7 + 9929*x0*y7 + 15691*x6*y6 + 36082*x5*y6 + 64794*x4*y6 + 63356*x3*y6 + 59779*x2*y6 + 63905*x1*y6 + 63621*x0*y6 + 56117*x6*y5 + 62949*x5*y5 + 45370*x4*y5 + 36837*x3*y5 + 52401*x2*y5 + 47477*x1*y5 + 52184*x0*y5 + 35286*x6*y4 + 23980*x5*y4 + 56990*x4*y4 + 17909*x3*y4 + 42755*x2*y4 + 37921*x1*y4 + 39436*x0*y4 + 39156*x6*y3 + 34372*x5*y3 + 11259*x4*y3 + 33976*x3*y3 + 21012*x2*y3 + 50238*x1*y3 + 32235*x0*y3 + 61089*x6*y2 + 2386*x5*y2 + 60887*x4*y2 + 39397*x3*y2 + 41467*x2*y2 + 10106*x1*y2 + 41541*x0*y2 + 16984*x6*y1 + 60645*x5*y1 + 17344*x4*y1 + 40290*x3*y1 + 52143*x2*y1 + 52392*x1*y1 + 45901*x0*y1 + 45493*x6*y0 + 22500*x5*y0 + 60549*x4*y0 + 24385*x3*y0 + 28421*x2*y0 + 48517*x1*y0 + 50306*x0*y0,
16481*x6*y19 + 10745*x5*y19 + 26496*x4*y19 + 34943*x3*y19 + 14785*x2*y19 + 13731*x1*y19 + 59619*x0*y19 + 58019*x6*y18 + 19971*x5*y18 + 5263*x4*y18 + 48224*x3*y18 + 12724*x2*y18 + 27533*x1*y18 + 2200*x0*y18 + 14385*x6*y17 + 59645*x5*y17 + 54245*x4*y17 + 21937*x3*y17 + 19599*x2*y17 + 47427*x1*y17 + 63441*x0*y17 + 46552*x6*y16 + 25289*x5*y16 + 40857*x4*y16 + 37416*x3*y16 + 172*x2*y16 + 60480*x1*y16 + 37799*x0*y16 + 53519*x6*y15 + 8951*x5*y15 + 36025*x4*y15 + 30457*x3*y15 + 55548*x2*y15 + 41033*x1*y15 + 14840*x0*y15 + 34358*x6*y14 + 28105*x5*y14 + 42706*x4*y14 + 44283*x3*y14 + 9778*x2*y14 + 20934*x1*y14 + 37277*x0*y14 + 28654*x6*y13 + 37237*x5*y13 + 64590*x4*y13 + 33515*x3*y13 + 51630*x2*y13 + 7403*x1*y13 + 34962*x0*y13 + 54978*x6*y12 + 42975*x5*y12 + 26830*x4*y12 + 33585*x3*y12 + 34588*x2*y12 + 34915*x1*y12 + 9254*x0*y12 + 21856*x6*y11 + 7005*x5*y11 + 46691*x4*y11 + 37189*x3*y11 + 42185*x2*y11 + 9002*x1*y11 + 60085*x0*y11 + 1682*x6*y10 + 44836*x5*y10 + 12111*x4*y10 + 34147*x3*y10 + 62278*x2*y10 + 5177*x1*y10 + 43897*x0*y10 + 52594*x6*y9 + 61425*x5*y9 + 21421*x4*y9 + 29363*x3*y9 + 32742*x2*y9 + 60813*x1*y9 + 49403*x0*y9 + 22386*x6*y8 + 38165*x5*y8 + 39292*x4*y8 + 59555*x3*y8 + 40280*x2*y8 + 18713*x1*y8 + 57935*x0*y8 + 16221*x6*y7 + 1085*x5*y7 + 36920*x4*y7 + 12978*x3*y7 + 61065*x2*y7 + 63267*x1*y7 + 7720*x0*y7 + 6388*x6*y6 + 63901*x5*y6 + 56629*x4*y6 + 58323*x3*y6 + 21403*x2*y6 + 24172*x1*y6 + 27474*x0*y6 + 36368*x6*y5 + 46215*x5*y5 + 27027*x4*y5 + 21755*x3*y5 + 25806*x2*y5 + 14418*x1*y5 + 54420*x0*y5 + 1203*x6*y4 + 40451*x5*y4 + 62899*x4*y4 + 38825*x3*y4 + 48747*x2*y4 + 35276*x1*y4 + 46925*x0*y4 + 27245*x6*y3 + 32147*x5*y3 + 16359*x4*y3 + 17336*x3*y3 + 1346*x2*y3 + 18993*x1*y3 + 28780*x0*y3 + 36050*x6*y2 + 28794*x5*y2 + 33042*x4*y2 + 32717*x3*y2 + 64945*x2*y2 + 30397*x1*y2 + 61378*x0*y2 + 20663*x6*y1 + 20096*x5*y1 + 252*x4*y1 + 24044*x3*y1 + 42254*x2*y1 + 41729*x1*y1 + 44163*x0*y1 + 46621*x6*y0 + 53299*x5*y0 + 34295*x4*y0 + 3530*x3*y0 + 37453*x2*y0 + 4506*x1*y0 + 23874*x0*y0,
17410*x6*y19 + 20068*x5*y19 + 30968*x4*y19 + 12902*x3*y19 + 63720*x2*y19 + 2718*x1*y19 + 10900*x0*y19 + 17103*x6*y18 + 16041*x5*y18 + 3052*x4*y18 + 48202*x3*y18 + 33878*x2*y18 + 56205*x1*y18 + 43729*x0*y18 + 46520*x6*y17 + 47228*x5*y17 + 50291*x4*y17 + 34539*x3*y17 + 35022*x2*y17 + 16017*x1*y17 + 32939*x0*y17 + 51542*x6*y16 + 42374*x5*y16 + 54358*x4*y16 + 24287*x3*y16 + 27677*x2*y16 + 52359*x1*y16 + 48811*x0*y16 + 48110*x6*y15 + 16648*x5*y15 + 60526*x4*y15 + 10980*x3*y15 + 59353*x2*y15 + 15609*x1*y15 + 38450*x0*y15 + 26151*x6*y14 + 37398*x5*y14 + 6074*x4*y14 + 53504*x3*y14 + 55625*x2*y14 + 39843*x1*y14 + 382*x0*y14 + 57300*x6*y13 + 49454*x5*y13 + 64209*x4*y13 + 46982*x3*y13 + 46511*x2*y13 + 38465*x1*y13 + 12670*x0*y13 + 12842*x6*y12 + 59808*x5*y12 + 45878*x4*y12 + 29579*x3*y12 + 17922*x2*y12 + 43363*x1*y12 + 63901*x0*y12 + 30122*x6*y11 + 51142*x5*y11 + 9906*x4*y11 + 55730*x3*y11 + 41202*x2*y11 + 35122*x1*y11 + 59696*x0*y11 + 63233*x6*y10 + 64138*x5*y10 + 3234*x4*y10 + 28323*x3*y10 + 6015*x2*y10 + 535*x1*y10 + 7404*x0*y10 + 62797*x6*y9 + 1044*x5*y9 + 51425*x4*y9 + 40115*x3*y9 + 43245*x2*y9 + 29066*x1*y9 + 8288*x0*y9 + 40273*x6*y8 + 47277*x5*y8 + 15790*x4*y8 + 23492*x3*y8 + 54507*x2*y8 + 8399*x1*y8 + 18800*x0*y8 + 32010*x6*y7 + 45843*x5*y7 + 2807*x4*y7 + 64708*x3*y7 + 53171*x2*y7 + 63147*x1*y7 + 63918*x0*y7 + 54657*x6*y6 + 39812*x5*y6 + 14900*x4*y6 + 14361*x3*y6 + 60096*x2*y6 + 16709*x1*y6 + 29538*x0*y6 + 22688*x6*y5 + 53650*x5*y5 + 27470*x4*y5 + 17198*x3*y5 + 32515*x2*y5 + 44168*x1*y5 + 40753*x0*y5 + 19110*x6*y4 + 38437*x5*y4 + 54882*x4*y4 + 11317*x3*y4 + 49586*x2*y4 + 28313*x1*y4 + 9950*x0*y4 + 3612*x6*y3 + 32337*x5*y3 + 22348*x4*y3 + 51840*x3*y3 + 62514*x2*y3 + 63109*x1*y3 + 43865*x0*y3 + 59947*x6*y2 + 8975*x5*y2 + 8132*x4*y2 + 36700*x3*y2 + 41383*x2*y2 + 33658*x1*y2 + 35881*x0*y2 + 55021*x6*y1 + 60242*x5*y1 + 2567*x4*y1 + 7570*x3*y1 + 13421*x2*y1 + 39940*x1*y1 + 63401*x0*y1 + 54289*x6*y0 + 5887*x5*y0 + 59581*x4*y0 + 25595*x3*y0 + 1566*x2*y0 + 16339*x1*y0 + 49863*x0*y0,
6933*x6*y19 + 35608*x5*y19 + 47318*x4*y19 + 60331*x3*y19 + 28719*x2*y19 + 16667*x1*y19 + 46028*x0*y19 + 57660*x6*y18 + 14051*x5*y18 + 33641*x4*y18 + 53139*x3*y18 + 5332*x2*y18 + 8164*x1*y18 + 19023*x0*y18 + 29287*x6*y17 + 10806*x5*y17 + 38273*x4*y17 + 23263*x3*y17 + 25821*x2*y17 + 12585*x1*y17 + 61643*x0*y17 + 53413*x6*y16 + 31936*x5*y16 + 17358*x4*y16 + 56995*x3*y16 + 2712*x2*y16 + 64571*x1*y16 + 32794*x0*y16 + 35965*x6*y15 + 9356*x5*y15 + 2477*x4*y15 + 25570*x3*y15 + 62620*x2*y15 + 20996*x1*y15 + 10821*x0*y15 + 11889*x6*y14 + 38359*x5*y14 + 28796*x4*y14 + 63936*x3*y14 + 36283*x2*y14 + 63147*x1*y14 + 6247*x0*y14 + 56788*x6*y13 + 62723*x5*y13 + 20712*x4*y13 + 17070*x3*y13 + 7940*x2*y13 + 25470*x1*y13 + 58197*x0*y13 + 5789*x6*y12 + 28106*x5*y12 + 18200*x4*y12 + 54665*x3*y12 + 57462*x2*y12 + 13040*x1*y12 + 50899*x0*y12 + 876*x6*y11 + 49138*x5*y11 + 14917*x4*y11 + 14084*x3*y11 + 50448*x2*y11 + 53960*x1*y11 + 61645*x0*y11 + 7313*x6*y10 + 45997*x5*y10 + 21464*x4*y10 + 26175*x3*y10 + 16192*x2*y10 + 38864*x1*y10 + 58109*x0*y10 + 28101*x6*y9 + 47267*x5*y9 + 34215*x4*y9 + 43995*x3*y9 + 45712*x2*y9 + 14861*x1*y9 + 3389*x0*y9 + 23668*x6*y8 + 8644*x5*y8 + 54328*x4*y8 + 27303*x3*y8 + 43350*x2*y8 + 8973*x1*y8 + 11321*x0*y8 + 41427*x6*y7 + 4183*x5*y7 + 41470*x4*y7 + 35743*x3*y7 + 16736*x2*y7 + 18020*x1*y7 + 44031*x0*y7 + 38006*x6*y6 + 46299*x5*y6 + 6775*x4*y6 + 20746*x3*y6 + 3346*x2*y6 + 57331*x1*y6 + 43708*x0*y6 + 49032*x6*y5 + 5633*x5*y5 + 50805*x4*y5 + 38020*x3*y5 + 42738*x2*y5 + 49470*x1*y5 + 2916*x0*y5 + 24750*x6*y4 + 4187*x5*y4 + 60917*x4*y4 + 5614*x3*y4 + 25612*x2*y4 + 24569*x1*y4 + 11309*x0*y4 + 48661*x6*y3 + 25731*x5*y3 + 37474*x4*y3 + 46730*x3*y3 + 3060*x2*y3 + 29299*x1*y3 + 46904*x0*y3 + 62033*x6*y2 + 35603*x5*y2 + 31582*x4*y2 + 27204*x3*y2 + 11172*x2*y2 + 19590*x1*y2 + 63861*x0*y2 + 37166*x6*y1 + 28227*x5*y1 + 4525*x4*y1 + 5321*x3*y1 + 45099*x2*y1 + 57721*x1*y1 + 62179*x0*y1 + 55491*x6*y0 + 52742*x5*y0 + 53*x4*y0 + 39632*x3*y0 + 3228*x2*y0 + 54725*x1*y0 + 17430*x0*y0,
8226*x6*y19 + 51168*x5*y19 + 62980*x4*y19 + 36643*x3*y19 + 11381*x2*y19 + 64284*x1*y19 + 33828*x0*y19 + 28899*x6*y18 + 61958*x5*y18 + 20838*x4*y18 + 10142*x3*y18 + 25113*x2*y18 + 31656*x1*y18 + 34915*x0*y18 + 59465*x6*y17 + 13226*x5*y17 + 24801*x4*y17 + 29758*x3*y17 + 46634*x2*y17 + 41571*x1*y17 + 36519*x0*y17 + 56590*x6*y16 + 1674*x5*y16 + 12863*x4*y16 + 15189*x3*y16 + 8359*x2*y16 + 35656*x1*y16 + 19830*x0*y16 + 39311*x6*y15 + 36805*x5*y15 + 47706*x4*y15 + 55390*x3*y15 + 63365*x2*y15 + 59649*x1*y15 + 6641*x0*y15 + 19892*x6*y14 + 46716*x5*y14 + 35458*x4*y14 + 5794*x3*y14 + 3862*x2*y14 + 23059*x1*y14 + 48414*x0*y14 + 14272*x6*y13 + 53237*x5*y13 + 55731*x4*y13 + 59098*x3*y13 + 36964*x2*y13 + 11462*x1*y13 + 44425*x0*y13 + 60799*x6*y12 + 57292*x5*y12 + 14831*x4*y12 + 34137*x3*y12 + 55104*x2*y12 + 51546*x1*y12 + 42075*x0*y12 + 32040*x6*y11 + 41618*x5*y11 + 59340*x4*y11 + 19970*x3*y11 + 57215*x2*y11 + 1310*x1*y11 + 21751*x0*y11 + 40641*x6*y10 + 6241*x5*y10 + 9005*x4*y10 + 54119*x3*y10 + 16688*x2*y10 + 168*x1*y10 + 49549*x0*y10 + 63634*x6*y9 + 50538*x5*y9 + 57882*x4*y9 + 37074*x3*y9 + 59110*x2*y9 + 59925*x1*y9 + 64609*x0*y9 + 29209*x6*y8 + 26554*x5*y8 + 41057*x4*y8 + 63246*x3*y8 + 3513*x2*y8 + 23466*x1*y8 + 61453*x0*y8 + 64130*x6*y7 + 9272*x5*y7 + 27246*x4*y7 + 25859*x3*y7 + 28344*x2*y7 + 46324*x1*y7 + 8193*x0*y7 + 11834*x6*y6 + 18602*x5*y6 + 52926*x4*y6 + 29329*x3*y6 + 43591*x2*y6 + 45597*x1*y6 + 54538*x0*y6 + 38526*x6*y5 + 55260*x5*y5 + 13091*x4*y5 + 18862*x3*y5 + 28905*x2*y5 + 22653*x1*y5 + 16820*x0*y5 + 38461*x6*y4 + 27798*x5*y4 + 7884*x4*y4 + 29582*x3*y4 + 63603*x2*y4 + 23737*x1*y4 + 54393*x0*y4 + 59763*x6*y3 + 54427*x5*y3 + 18525*x4*y3 + 48822*x3*y3 + 59951*x2*y3 + 24645*x1*y3 + 25348*x0*y3 + 60301*x6*y2 + 7124*x5*y2 + 9351*x4*y2 + 31748*x3*y2 + 11012*x2*y2 + 34512*x1*y2 + 28329*x0*y2 + 29717*x6*y1 + 40355*x5*y1 + 12322*x4*y1 + 46701*x3*y1 + 28827*x2*y1 + 51539*x1*y1 + 805*x0*y1 + 28835*x6*y0 + 52957*x5*y0 + 11522*x4*y0 + 38383*x3*y0 + 40198*x2*y0 + 62163*x1*y0 + 29472*x0*y0,
45926*x6*y19 + 41338*x5*y19 + 7382*x4*y19 + 51233*x3*y19 + 47114*x2*y19 + 53174*x1*y19 + 9439*x0*y19 + 10123*x6*y18 + 22809*x5*y18 + 15396*x4*y18 + 24637*x3*y18 + 55843*x2*y18 + 42858*x1*y18 + 59973*x0*y18 + 55867*x6*y17 + 38393*x5*y17 + 47547*x4*y17 + 57883*x3*y17 + 51166*x2*y17 + 49968*x1*y17 + 35670*x0*y17 + 4034*x6*y16 + 35317*x5*y16 + 14899*x4*y16 + 2116*x3*y16 + 34596*x2*y16 + 2656*x1*y16 + 27274*x0*y16 + 62117*x6*y15 + 46929*x5*y15 + 57321*x4*y15 + 17866*x3*y15 + 36857*x2*y15 + 47632*x1*y15 + 40555*x0*y15 + 4971*x6*y14 + 20684*x5*y14 + 38044*x4*y14 + 50887*x3*y14 + 37612*x2*y14 + 7876*x1*y14 + 23821*x0*y14 + 55488*x6*y13 + 56958*x5*y13 + 39052*x4*y13 + 5346*x3*y13 + 34130*x2*y13 + 56148*x1*y13 + 50366*x0*y13 + 9880*x6*y12 + 48320*x5*y12 + 64694*x4*y12 + 59259*x3*y12 + 51171*x2*y12 + 5443*x1*y12 + 21437*x0*y12 + 348*x6*y11 + 18994*x5*y11 + 4990*x4*y11 + 44592*x3*y11 + 7513*x2*y11 + 53060*x1*y11 + 60194*x0*y11 + 58733*x6*y10 + 46868*x5*y10 + 54040*x4*y10 + 58717*x3*y10 + 47288*x2*y10 + 36511*x1*y10 + 47464*x0*y10 + 36394*x6*y9 + 64743*x5*y9 + 64749*x4*y9 + 57594*x3*y9 + 20332*x2*y9 + 44351*x1*y9 + 30730*x0*y9 + 24627*x6*y8 + 28252*x5*y8 + 11104*x4*y8 + 5656*x3*y8 + 7076*x2*y8 + 11642*x1*y8 + 63137*x0*y8 + 58882*x6*y7 + 14588*x5*y7 + 37688*x4*y7 + 44502*x3*y7 + 33970*x2*y7 + 35594*x1*y7 + 5037*x0*y7 + 6969*x6*y6 + 41407*x5*y6 + 6742*x4*y6 + 42962*x3*y6 + 45492*x2*y6 + 37408*x1*y6 + 25636*x0*y6 + 13699*x6*y5 + 36014*x5*y5 + 1410*x4*y5 + 778*x3*y5 + 64902*x2*y5 + 21069*x1*y5 + 25039*x0*y5 + 5556*x6*y4 + 42281*x5*y4 + 30190*x4*y4 + 55373*x3*y4 + 48013*x2*y4 + 30821*x1*y4 + 133*x0*y4 + 212*x6*y3 + 59325*x5*y3 + 32118*x4*y3 + 39221*x3*y3 + 38851*x2*y3 + 63775*x1*y3 + 46850*x0*y3 + 54783*x6*y2 + 4886*x5*y2 + 51059*x4*y2 + 56257*x3*y2 + 62821*x2*y2 + 48192*x1*y2 + 28550*x0*y2 + 32357*x6*y1 + 39951*x5*y1 + 20019*x4*y1 + 46413*x3*y1 + 20332*x2*y1 + 63839*x1*y1 + 25361*x0*y1 + 41265*x6*y0 + 46573*x5*y0 + 35895*x4*y0 + 7424*x3*y0 + 36287*x2*y0 + 16434*x1*y0 + 23808*x0*y0,
31263*x6*y19 + 11937*x5*y19 + 9759*x4*y19 + 35139*x3*y19 + 43302*x2*y19 + 19260*x1*y19 + 8984*x0*y19 + 30032*x6*y18 + 26344*x5*y18 + 57493*x4*y18 + 4574*x3*y18 + 23609*x2*y18 + 44691*x1*y18 + 46757*x0*y18 + 12468*x6*y17 + 17836*x5*y17 + 62350*x4*y17 + 21059*x3*y17 + 6815*x2*y17 + 12424*x1*y17 + 42812*x0*y17 + 55155*x6*y16 + 48017*x5*y16 + 64839*x4*y16 + 43141*x3*y16 + 35116*x2*y16 + 5674*x1*y16 + 10198*x0*y16 + 9663*x6*y15 + 38910*x5*y15 + 53774*x4*y15 + 45251*x3*y15 + 8857*x2*y15 + 44662*x1*y15 + 43278*x0*y15 + 35134*x6*y14 + 17984*x5*y14 + 14813*x4*y14 + 43990*x3*y14 + 40212*x2*y14 + 63810*x1*y14 + 26336*x0*y14 + 13828*x6*y13 + 45710*x5*y13 + 53941*x4*y13 + 32951*x3*y13 + 21591*x2*y13 + 33652*x1*y13 + 41474*x0*y13 + 9695*x6*y12 + 6310*x5*y12 + 62327*x4*y12 + 24035*x3*y12 + 8089*x2*y12 + 13038*x1*y12 + 20661*x0*y12 + 57136*x6*y11 + 49908*x5*y11 + 22336*x4*y11 + 10351*x3*y11 + 27579*x2*y11 + 3592*x1*y11 + 50384*x0*y11 + 17005*x6*y10 + 53964*x5*y10 + 54535*x4*y10 + 49988*x3*y10 + 52966*x2*y10 + 33757*x1*y10 + 55194*x0*y10 + 57982*x6*y9 + 9001*x5*y9 + 33873*x4*y9 + 30975*x3*y9 + 55357*x2*y9 + 49770*x1*y9 + 32057*x0*y9 + 6562*x6*y8 + 50540*x5*y8 + 55219*x4*y8 + 21813*x3*y8 + 48960*x2*y8 + 50481*x1*y8 + 17737*x0*y8 + 12777*x6*y7 + 11134*x5*y7 + 40591*x4*y7 + 54442*x3*y7 + 10539*x2*y7 + 10650*x1*y7 + 15114*x0*y7 + 31646*x6*y6 + 62125*x5*y6 + 39394*x4*y6 + 45634*x3*y6 + 26612*x2*y6 + 23380*x1*y6 + 18737*x0*y6 + 17635*x6*y5 + 18042*x5*y5 + 20150*x4*y5 + 53601*x3*y5 + 14095*x2*y5 + 46758*x1*y5 + 442*x0*y5 + 11293*x6*y4 + 15890*x5*y4 + 33059*x4*y4 + 30168*x3*y4 + 11862*x2*y4 + 16666*x1*y4 + 55754*x0*y4 + 4047*x6*y3 + 53130*x5*y3 + 36322*x4*y3 + 16796*x3*y3 + 26342*x2*y3 + 49624*x1*y3 + 29035*x0*y3 + 23501*x6*y2 + 9641*x5*y2 + 53770*x4*y2 + 27714*x3*y2 + 27122*x2*y2 + 2620*x1*y2 + 51136*x0*y2 + 41309*x6*y1 + 9230*x5*y1 + 62838*x4*y1 + 18317*x3*y1 + 55324*x2*y1 + 13134*x1*y1 + 27607*x0*y1 + 57544*x6*y0 + 23023*x5*y0 + 16304*x4*y0 + 21219*x3*y0 + 47527*x2*y0 + 31082*x1*y0 + 44016*x0*y0,
56777*x6*y19 + 29587*x5*y19 + 7604*x4*y19 + 22615*x3*y19 + 1760*x2*y19 + 8427*x1*y19 + 41496*x0*y19 + 26213*x6*y18 + 36986*x5*y18 + 40331*x4*y18 + 4889*x3*y18 + 27666*x2*y18 + 41722*x1*y18 + 55342*x0*y18 + 8575*x6*y17 + 12181*x5*y17 + 31026*x4*y17 + 24601*x3*y17 + 26161*x2*y17 + 34139*x1*y17 + 63070*x0*y17 + 11327*x6*y16 + 54557*x5*y16 + 12550*x4*y16 + 3721*x3*y16 + 43671*x2*y16 + 63940*x1*y16 + 10675*x0*y16 + 1184*x6*y15 + 13473*x5*y15 + 21647*x4*y15 + 34690*x3*y15 + 32082*x2*y15 + 21281*x1*y15 + 19253*x0*y15 + 10384*x6*y14 + 32745*x5*y14 + 728*x4*y14 + 54381*x3*y14 + 30147*x2*y14 + 56591*x1*y14 + 25644*x0*y14 + 37580*x6*y13 + 5591*x5*y13 + 32421*x4*y13 + 15849*x3*y13 + 53813*x2*y13 + 53501*x1*y13 + 33784*x0*y13 + 39876*x6*y12 + 7332*x5*y12 + 53753*x4*y12 + 12600*x3*y12 + 51617*x2*y12 + 59770*x1*y12 + 10747*x0*y12 + 32256*x6*y11 + 18146*x5*y11 + 47091*x4*y11 + 6197*x3*y11 + 45214*x2*y11 + 30543*x1*y11 + 35973*x0*y11 + 1219*x6*y10 + 16486*x5*y10 + 42980*x4*y10 + 20748*x3*y10 + 42250*x2*y10 + 21803*x1*y10 + 51462*x0*y10 + 46483*x6*y9 + 1827*x5*y9 + 8564*x4*y9 + 57350*x3*y9 + 55627*x2*y9 + 11185*x1*y9 + 30977*x0*y9 + 28845*x6*y8 + 39168*x5*y8 + 62931*x4*y8 + 17295*x3*y8 + 30517*x2*y8 + 33677*x1*y8 + 14168*x0*y8 + 57807*x6*y7 + 28639*x5*y7 + 41832*x4*y7 + 50552*x3*y7 + 1520*x2*y7 + 29286*x1*y7 + 4294*x0*y7 + 21966*x6*y6 + 44783*x5*y6 + 59410*x4*y6 + 39755*x3*y6 + 36784*x2*y6 + 51066*x1*y6 + 61527*x0*y6 + 43932*x6*y5 + 38503*x5*y5 + 32573*x4*y5 + 5784*x3*y5 + 16581*x2*y5 + 42164*x1*y5 + 47640*x0*y5 + 55154*x6*y4 + 7122*x5*y4 + 15579*x4*y4 + 56924*x3*y4 + 1008*x2*y4 + 19455*x1*y4 + 25395*x0*y4 + 56613*x6*y3 + 61128*x5*y3 + 63090*x4*y3 + 32819*x3*y3 + 40858*x2*y3 + 22963*x1*y3 + 22533*x0*y3 + 11693*x6*y2 + 64276*x5*y2 + 32051*x4*y2 + 39687*x3*y2 + 16755*x2*y2 + 2238*x1*y2 + 3712*x0*y2 + 2387*x6*y1 + 32166*x5*y1 + 47107*x4*y1 + 33725*x3*y1 + 64428*x2*y1 + 35245*x1*y1 + 40647*x0*y1 + 14273*x6*y0 + 4297*x5*y0 + 58361*x4*y0 + 14015*x3*y0 + 55667*x2*y0 + 10791*x1*y0 + 2993*x0*y0,
62365*x6*y19 + 32102*x5*y19 + 33990*x4*y19 + 19034*x3*y19 + 30237*x2*y19 + 34628*x1*y19 + 12255*x0*y19 + 50341*x6*y18 + 25064*x5*y18 + 33362*x4*y18 + 57965*x3*y18 + 28166*x2*y18 + 28890*x1*y18 + 55530*x0*y18 + 10274*x6*y17 + 47221*x5*y17 + 26069*x4*y17 + 1475*x3*y17 + 23534*x2*y17 + 35699*x1*y17 + 14145*x0*y17 + 48548*x6*y16 + 48402*x5*y16 + 40771*x4*y16 + 24853*x3*y16 + 64931*x2*y16 + 18216*x1*y16 + 51070*x0*y16 + 54852*x6*y15 + 33751*x5*y15 + 48486*x4*y15 + 53640*x3*y15 + 20556*x2*y15 + 20329*x1*y15 + 57964*x0*y15 + 3639*x6*y14 + 30807*x5*y14 + 46709*x4*y14 + 8670*x3*y14 + 31616*x2*y14 + 406*x1*y14 + 25599*x0*y14 + 49243*x6*y13 + 28481*x5*y13 + 29000*x4*y13 + 50662*x3*y13 + 12442*x2*y13 + 50143*x1*y13 + 51415*x0*y13 + 51911*x6*y12 + 1041*x5*y12 + 13173*x4*y12 + 18326*x3*y12 + 63210*x2*y12 + 35633*x1*y12 + 2202*x0*y12 + 7930*x6*y11 + 14863*x5*y11 + 39436*x4*y11 + 62518*x3*y11 + 58888*x2*y11 + 35570*x1*y11 + 10538*x0*y11 + 40565*x6*y10 + 20111*x5*y10 + 55909*x4*y10 + 55363*x3*y10 + 37948*x2*y10 + 42473*x1*y10 + 332*x0*y10 + 8725*x6*y9 + 12887*x5*y9 + 20558*x4*y9 + 42416*x3*y9 + 40554*x2*y9 + 8097*x1*y9 + 63458*x0*y9 + 42628*x6*y8 + 12090*x5*y8 + 44503*x4*y8 + 15169*x3*y8 + 49907*x2*y8 + 7492*x1*y8 + 32646*x0*y8 + 31478*x6*y7 + 14670*x5*y7 + 61205*x4*y7 + 57732*x3*y7 + 62578*x2*y7 + 43868*x1*y7 + 17703*x0*y7 + 33461*x6*y6 + 16530*x5*y6 + 19830*x4*y6 + 17734*x3*y6 + 15546*x2*y6 + 2098*x1*y6 + 43717*x0*y6 + 31506*x6*y5 + 33676*x5*y5 + 41497*x4*y5 + 43983*x3*y5 + 63434*x2*y5 + 26095*x1*y5 + 14967*x0*y5 + 5415*x6*y4 + 14618*x5*y4 + 55426*x4*y4 + 12871*x3*y4 + 56086*x2*y4 + 24510*x1*y4 + 40580*x0*y4 + 50165*x6*y3 + 45340*x5*y3 + 63943*x4*y3 + 10952*x3*y3 + 38865*x2*y3 + 17944*x1*y3 + 5910*x0*y3 + 51714*x6*y2 + 3529*x5*y2 + 26483*x4*y2 + 33887*x3*y2 + 971*x2*y2 + 49847*x1*y2 + 46045*x0*y2 + 41297*x6*y1 + 30195*x5*y1 + 10985*x4*y1 + 2189*x3*y1 + 12545*x2*y1 + 56997*x1*y1 + 7825*x0*y1 + 56867*x6*y0 + 55962*x5*y0 + 18531*x4*y0 + 37220*x3*y0 + 50972*x2*y0 + 48255*x1*y0 + 36867*x0*y0,
9495*x6*y19 + 60224*x5*y19 + 14305*x4*y19 + 6074*x3*y19 + 43967*x2*y19 + 7764*x1*y19 + 52645*x0*y19 + 6448*x6*y18 + 46757*x5*y18 + 56899*x4*y18 + 36960*x3*y18 + 28666*x2*y18 + 54289*x1*y18 + 3595*x0*y18 + 35961*x6*y17 + 17670*x5*y17 + 58574*x4*y17 + 30859*x3*y17 + 9334*x2*y17 + 15974*x1*y17 + 48833*x0*y17 + 11707*x6*y16 + 51199*x5*y16 + 30869*x4*y16 + 42325*x3*y16 + 56347*x2*y16 + 287*x1*y16 + 27713*x0*y16 + 25845*x6*y15 + 31139*x5*y15 + 41064*x4*y15 + 18310*x3*y15 + 39377*x2*y15 + 60508*x1*y15 + 17892*x0*y15 + 62050*x6*y14 + 17869*x5*y14 + 46744*x4*y14 + 43972*x3*y14 + 60232*x2*y14 + 42726*x1*y14 + 52336*x0*y14 + 13277*x6*y13 + 14182*x5*y13 + 15166*x4*y13 + 49837*x3*y13 + 38193*x2*y13 + 39897*x1*y13 + 42432*x0*y13 + 8960*x6*y12 + 7846*x5*y12 + 24681*x4*y12 + 5210*x3*y12 + 14972*x2*y12 + 13132*x1*y12 + 13414*x0*y12 + 47891*x6*y11 + 47830*x5*y11 + 47366*x4*y11 + 61373*x3*y11 + 17313*x2*y11 + 12374*x1*y11 + 53372*x0*y11 + 14788*x6*y10 + 57657*x5*y10 + 6735*x4*y10 + 58188*x3*y10 + 4027*x2*y10 + 9899*x1*y10 + 63891*x0*y10 + 560*x6*y9 + 52711*x5*y9 + 31303*x4*y9 + 35393*x3*y9 + 12326*x2*y9 + 54156*x1*y9 + 62197*x0*y9 + 353*x6*y8 + 35888*x5*y8 + 63778*x4*y8 + 2139*x3*y8 + 58203*x2*y8 + 35482*x1*y8 + 56709*x0*y8 + 63191*x6*y7 + 17557*x5*y7 + 43265*x4*y7 + 36992*x3*y7 + 48183*x2*y7 + 46799*x1*y7 + 63961*x0*y7 + 15039*x6*y6 + 58402*x5*y6 + 41991*x4*y6 + 15242*x3*y6 + 5725*x2*y6 + 43270*x1*y6 + 7094*x0*y6 + 51491*x6*y5 + 44692*x5*y5 + 26410*x4*y5 + 44031*x3*y5 + 44937*x2*y5 + 60490*x1*y5 + 9931*x0*y5 + 16371*x6*y4 + 3920*x5*y4 + 11705*x4*y4 + 55132*x3*y4 + 52753*x2*y4 + 17197*x1*y4 + 29075*x0*y4 + 30542*x6*y3 + 36137*x5*y3 + 44586*x4*y3 + 26281*x3*y3 + 34463*x2*y3 + 17361*x1*y3 + 6884*x0*y3 + 22162*x6*y2 + 50704*x5*y2 + 27117*x4*y2 + 30296*x3*y2 + 53433*x2*y2 + 57378*x1*y2 + 19712*x0*y2 + 47582*x6*y1 + 52217*x5*y1 + 39456*x4*y1 + 17605*x3*y1 + 725*x2*y1 + 56522*x1*y1 + 24535*x0*y1 + 63015*x6*y0 + 16958*x5*y0 + 37793*x4*y0 + 17219*x3*y0 + 50481*x2*y0 + 23902*x1*y0 + 27368*x0*y0,
54883*x6*y19 + 19891*x5*y19 + 14423*x4*y19 + 37603*x3*y19 + 51483*x2*y19 + 19339*x1*y19 + 42908*x0*y19 + 28608*x6*y18 + 15924*x5*y18 + 48878*x4*y18 + 64806*x3*y18 + 56816*x2*y18 + 33322*x1*y18 + 43410*x0*y18 + 40293*x6*y17 + 6394*x5*y17 + 4073*x4*y17 + 14687*x3*y17 + 37428*x2*y17 + 62288*x1*y17 + 31948*x0*y17 + 31203*x6*y16 + 47308*x5*y16 + 3221*x4*y16 + 56203*x3*y16 + 27295*x2*y16 + 26917*x1*y16 + 16459*x0*y16 + 37460*x6*y15 + 35608*x5*y15 + 62681*x4*y15 + 56495*x3*y15 + 51785*x2*y15 + 60958*x1*y15 + 39025*x0*y15 + 45578*x6*y14 + 24909*x5*y14 + 50868*x4*y14 + 6565*x3*y14 + 49078*x2*y14 + 50528*x1*y14 + 14444*x0*y14 + 47670*x6*y13 + 17974*x5*y13 + 55323*x4*y13 + 21503*x3*y13 + 4683*x2*y13 + 28863*x1*y13 + 46069*x0*y13 + 36586*x6*y12 + 21851*x5*y12 + 14743*x4*y12 + 58261*x3*y12 + 14545*x2*y12 + 36961*x1*y12 + 9618*x0*y12 + 28038*x6*y11 + 27411*x5*y11 + 50912*x4*y11 + 10588*x3*y11 + 6046*x2*y11 + 30891*x1*y11 + 25576*x0*y11 + 20880*x6*y10 + 26656*x5*y10 + 15366*x4*y10 + 9101*x3*y10 + 58040*x2*y10 + 59298*x1*y10 + 22695*x0*y10 + 52952*x6*y9 + 41401*x5*y9 + 15871*x4*y9 + 9245*x3*y9 + 61578*x2*y9 + 2090*x1*y9 + 50403*x0*y9 + 35183*x6*y8 + 54660*x5*y8 + 8949*x4*y8 + 32965*x3*y8 + 3306*x2*y8 + 38680*x1*y8 + 28460*x0*y8 + 3049*x6*y7 + 34780*x5*y7 + 26469*x4*y7 + 58615*x3*y7 + 31089*x2*y7 + 61174*x1*y7 + 57537*x0*y7 + 22529*x6*y6 + 24234*x5*y6 + 10806*x4*y6 + 32923*x3*y6 + 9860*x2*y6 + 10213*x1*y6 + 24438*x0*y6 + 47970*x6*y5 + 43904*x5*y5 + 12046*x4*y5 + 35679*x3*y5 + 63742*x2*y5 + 13422*x1*y5 + 30698*x0*y5 + 40669*x6*y4 + 10865*x5*y4 + 35803*x4*y4 + 23673*x3*y4 + 10570*x2*y4 + 22222*x1*y4 + 26176*x0*y4 + 55406*x6*y3 + 51928*x5*y3 + 8949*x4*y3 + 54398*x3*y3 + 57021*x2*y3 + 54083*x1*y3 + 60881*x0*y3 + 40337*x6*y2 + 37215*x5*y2 + 57349*x4*y2 + 39160*x3*y2 + 60120*x2*y2 + 52001*x1*y2 + 30313*x0*y2 + 29124*x6*y1 + 27179*x5*y1 + 534*x4*y1 + 40499*x3*y1 + 2935*x2*y1 + 7751*x1*y1 + 46156*x0*y1 + 20912*x6*y0 + 22066*x5*y0 + 54811*x4*y0 + 4363*x3*y0 + 780*x2*y0 + 28652*x1*y0 + 58289*x0*y0,
48419*x6*y19 + 44381*x5*y19 + 52153*x4*y19 + 38511*x3*y19 + 44446*x2*y19 + 4950*x1*y19 + 49778*x0*y19 + 34123*x6*y18 + 21540*x5*y18 + 37515*x4*y18 + 1249*x3*y18 + 58464*x2*y18 + 58855*x1*y18 + 63215*x0*y18 + 35285*x6*y17 + 35213*x5*y17 + 6347*x4*y17 + 52283*x3*y17 + 28521*x2*y17 + 49376*x1*y17 + 34631*x0*y17 + 50335*x6*y16 + 9819*x5*y16 + 35397*x4*y16 + 32634*x3*y16 + 22504*x2*y16 + 28834*x1*y16 + 57799*x0*y16 + 48413*x6*y15 + 36138*x5*y15 + 45618*x4*y15 + 30508*x3*y15 + 33219*x2*y15 + 53185*x1*y15 + 145*x0*y15 + 38837*x6*y14 + 55622*x5*y14 + 25493*x4*y14 + 34368*x3*y14 + 37263*x2*y14 + 22420*x1*y14 + 12538*x0*y14 + 29331*x6*y13 + 27766*x5*y13 + 41092*x4*y13 + 36382*x3*y13 + 63143*x2*y13 + 36085*x1*y13 + 40232*x0*y13 + 8653*x6*y12 + 17248*x5*y12 + 46084*x4*y12 + 43826*x3*y12 + 47939*x2*y12 + 51390*x1*y12 + 13787*x0*y12 + 55967*x6*y11 + 55854*x5*y11 + 43798*x4*y11 + 35386*x3*y11 + 37987*x2*y11 + 64470*x1*y11 + 19722*x0*y11 + 36096*x6*y10 + 380*x5*y10 + 63215*x4*y10 + 23325*x3*y10 + 52508*x2*y10 + 43641*x1*y10 + 41650*x0*y10 + 62357*x6*y9 + 22600*x5*y9 + 48693*x4*y9 + 62852*x3*y9 + 4622*x2*y9 + 14109*x1*y9 + 12929*x0*y9 + 21877*x6*y8 + 27902*x5*y8 + 49515*x4*y8 + 24768*x3*y8 + 64644*x2*y8 + 19082*x1*y8 + 39253*x0*y8 + 11821*x6*y7 + 34938*x5*y7 + 50718*x4*y7 + 45089*x3*y7 + 55311*x2*y7 + 28066*x1*y7 + 38502*x0*y7 + 19405*x6*y6 + 865*x5*y6 + 43791*x4*y6 + 59987*x3*y6 + 46075*x2*y6 + 63084*x1*y6 + 49151*x0*y6 + 30363*x6*y5 + 23937*x5*y5 + 53506*x4*y5 + 56433*x3*y5 + 31711*x2*y5 + 9988*x1*y5 + 25838*x0*y5 + 31145*x6*y4 + 37545*x5*y4 + 9899*x4*y4 + 4235*x3*y4 + 54285*x2*y4 + 22588*x1*y4 + 31114*x0*y4 + 19548*x6*y3 + 36144*x5*y3 + 31896*x4*y3 + 8472*x3*y3 + 35950*x2*y3 + 24118*x1*y3 + 61437*x0*y3 + 22365*x6*y2 + 16915*x5*y2 + 50507*x4*y2 + 9668*x3*y2 + 44774*x2*y2 + 53157*x1*y2 + 54590*x0*y2 + 36938*x6*y1 + 36937*x5*y1 + 6657*x4*y1 + 12044*x3*y1 + 17882*x2*y1 + 31070*x1*y1 + 43292*x0*y1 + 22656*x6*y0 + 57366*x5*y0 + 43544*x4*y0 + 41179*x3*y0 + 9792*x2*y0 + 9963*x1*y0 + 39214*x0*y0,
31597*x6*y19 + 33372*x5*y19 + 34721*x4*y19 + 2227*x3*y19 + 53793*x2*y19 + 17179*x1*y19 + 48223*x0*y19 + 40045*x6*y18 + 12608*x5*y18 + 42880*x4*y18 + 30386*x3*y18 + 738*x2*y18 + 24581*x1*y18 + 3439*x0*y18 + 10249*x6*y17 + 8301*x5*y17 + 60745*x4*y17 + 36714*x3*y17 + 48345*x2*y17 + 48474*x1*y17 + 4202*x0*y17 + 34562*x6*y16 + 58211*x5*y16 + 44971*x4*y16 + 19535*x3*y16 + 20838*x2*y16 + 26674*x1*y16 + 3018*x0*y16 + 49967*x6*y15 + 24403*x5*y15 + 60119*x4*y15 + 29943*x3*y15 + 32362*x2*y15 + 28649*x1*y15 + 8888*x0*y15 + 60635*x6*y14 + 18137*x5*y14 + 35366*x4*y14 + 32529*x3*y14 + 52939*x2*y14 + 10910*x1*y14 + 18561*x0*y14 + 19156*x6*y13 + 57710*x5*y13 + 17072*x4*y13 + 60669*x3*y13 + 27190*x2*y13 + 13953*x1*y13 + 53023*x0*y13 + 54378*x6*y12 + 43149*x5*y12 + 4818*x4*y12 + 32971*x3*y12 + 38728*x2*y12 + 19643*x1*y12 + 49756*x0*y12 + 54044*x6*y11 + 17769*x5*y11 + 6307*x4*y11 + 52823*x3*y11 + 43894*x2*y11 + 27135*x1*y11 + 46949*x0*y11 + 54090*x6*y10 + 57181*x5*y10 + 13353*x4*y10 + 53843*x3*y10 + 47430*x2*y10 + 55489*x1*y10 + 57354*x0*y10 + 6958*x6*y9 + 59008*x5*y9 + 42249*x4*y9 + 35456*x3*y9 + 59634*x2*y9 + 49840*x1*y9 + 27295*x0*y9 + 37712*x6*y8 + 63848*x5*y8 + 64077*x4*y8 + 25605*x3*y8 + 58947*x2*y8 + 29085*x1*y8 + 39490*x0*y8 + 39706*x6*y7 + 8217*x5*y7 + 718*x4*y7 + 40396*x3*y7 + 61461*x2*y7 + 41683*x1*y7 + 45452*x0*y7 + 56086*x6*y6 + 32130*x5*y6 + 27589*x4*y6 + 39059*x3*y6 + 23127*x2*y6 + 19938*x1*y6 + 51372*x0*y6 + 19269*x6*y5 + 12618*x5*y5 + 18833*x4*y5 + 57760*x3*y5 + 62949*x2*y5 + 47264*x1*y5 + 711*x0*y5 + 8897*x6*y4 + 45782*x5*y4 + 3935*x4*y4 + 37357*x3*y4 + 51812*x2*y4 + 48063*x1*y4 + 36210*x0*y4 + 17889*x6*y3 + 36394*x5*y3 + 28336*x4*y3 + 26364*x3*y3 + 58295*x2*y3 + 40453*x1*y3 + 58843*x0*y3 + 35927*x6*y2 + 8333*x5*y2 + 29364*x4*y2 + 38892*x3*y2 + 31231*x2*y2 + 10241*x1*y2 + 51197*x0*y2 + 37254*x6*y1 + 47779*x5*y1 + 60390*x4*y1 + 54854*x3*y1 + 45753*x2*y1 + 34392*x1*y1 + 34828*x0*y1 + 217*x6*y0 + 22585*x5*y0 + 36672*x4*y0 + 31897*x3*y0 + 7876*x2*y0 + 56041*x1*y0 + 62229*x0*y0,
10289*x6*y19 + 49283*x5*y19 + 9312*x4*y19 + 14089*x3*y19 + 38175*x2*y19 + 25189*x1*y19 + 39426*x0*y19 + 47044*x6*y18 + 30704*x5*y18 + 39880*x4*y18 + 35278*x3*y18 + 50574*x2*y18 + 11691*x1*y18 + 9626*x0*y18 + 38889*x6*y17 + 5545*x5*y17 + 42447*x4*y17 + 5776*x3*y17 + 55635*x2*y17 + 38181*x1*y17 + 2200*x0*y17 + 38595*x6*y16 + 8134*x5*y16 + 37562*x4*y16 + 29927*x3*y16 + 47220*x2*y16 + 52298*x1*y16 + 32150*x0*y16 + 34601*x6*y15 + 12308*x5*y15 + 6387*x4*y15 + 23837*x3*y15 + 10745*x2*y15 + 28432*x1*y15 + 29325*x0*y15 + 18575*x6*y14 + 16243*x5*y14 + 40270*x4*y14 + 12269*x3*y14 + 11537*x2*y14 + 40010*x1*y14 + 47549*x0*y14 + 20037*x6*y13 + 40810*x5*y13 + 64732*x4*y13 + 27029*x3*y13 + 14565*x2*y13 + 20022*x1*y13 + 47150*x0*y13 + 49660*x6*y12 + 11457*x5*y12 + 43593*x4*y12 + 28511*x3*y12 + 61665*x2*y12 + 5356*x1*y12 + 11326*x0*y12 + 56111*x6*y11 + 34351*x5*y11 + 8957*x4*y11 + 4775*x3*y11 + 5255*x2*y11 + 4905*x1*y11 + 23682*x0*y11 + 1059*x6*y10 + 51981*x5*y10 + 56530*x4*y10 + 24300*x3*y10 + 25040*x2*y10 + 63117*x1*y10 + 47417*x0*y10 + 24021*x6*y9 + 14400*x5*y9 + 18661*x4*y9 + 53287*x3*y9 + 19492*x2*y9 + 58663*x1*y9 + 18384*x0*y9 + 9301*x6*y8 + 63477*x5*y8 + 19831*x4*y8 + 4015*x3*y8 + 47208*x2*y8 + 62221*x1*y8 + 41523*x0*y8 + 1609*x6*y7 + 33339*x5*y7 + 32672*x4*y7 + 2260*x3*y7 + 5497*x2*y7 + 62492*x1*y7 + 23574*x0*y7 + 22420*x6*y6 + 46818*x5*y6 + 47322*x4*y6 + 63212*x3*y6 + 42141*x2*y6 + 30897*x1*y6 + 17998*x0*y6 + 29554*x6*y5 + 52832*x5*y5 + 12522*x4*y5 + 62134*x3*y5 + 13865*x2*y5 + 861*x1*y5 + 38826*x0*y5 + 34075*x6*y4 + 63926*x5*y4 + 6120*x4*y4 + 32649*x3*y4 + 5748*x2*y4 + 60847*x1*y4 + 9637*x0*y4 + 14404*x6*y3 + 48931*x5*y3 + 22612*x4*y3 + 13446*x3*y3 + 37455*x2*y3 + 36021*x1*y3 + 33312*x0*y3 + 5734*x6*y2 + 23689*x5*y2 + 18501*x4*y2 + 20679*x3*y2 + 16810*x2*y2 + 37007*x1*y2 + 30565*x0*y2 + 16350*x6*y1 + 12841*x5*y1 + 39380*x4*y1 + 4913*x3*y1 + 30065*x2*y1 + 14293*x1*y1 + 30861*x0*y1 + 29270*x6*y0 + 42465*x5*y0 + 8202*x4*y0 + 38983*x3*y0 + 22744*x2*y0 + 49055*x1*y0 + 29227*x0*y0,
1897*x6*y19 + 31857*x5*y19 + 42728*x4*y19 + 43116*x3*y19 + 47747*x2*y19 + 61281*x1*y19 + 15738*x0*y19 + 39695*x6*y18 + 58580*x5*y18 + 41525*x4*y18 + 42580*x3*y18 + 56611*x2*y18 + 40056*x1*y18 + 33646*x0*y18 + 49942*x6*y17 + 25025*x5*y17 + 29522*x4*y17 + 16804*x3*y17 + 29535*x2*y17 + 27973*x1*y17 + 38626*x0*y17 + 54894*x6*y16 + 53257*x5*y16 + 2279*x4*y16 + 11001*x3*y16 + 32847*x2*y16 + 9570*x1*y16 + 44431*x0*y16 + 59578*x6*y15 + 40201*x5*y15 + 24170*x4*y15 + 34871*x3*y15 + 47119*x2*y15 + 9756*x1*y15 + 16915*x0*y15 + 36670*x6*y14 + 47367*x5*y14 + 43147*x4*y14 + 6030*x3*y14 + 36817*x2*y14 + 55350*x1*y14 + 46402*x0*y14 + 26189*x6*y13 + 55691*x5*y13 + 32301*x4*y13 + 17493*x3*y13 + 1224*x2*y13 + 56950*x1*y13 + 45929*x0*y13 + 34973*x6*y12 + 18795*x5*y12 + 45557*x4*y12 + 64058*x3*y12 + 47486*x2*y12 + 7532*x1*y12 + 2599*x0*y12 + 32120*x6*y11 + 62754*x5*y11 + 2778*x4*y11 + 56983*x3*y11 + 36744*x2*y11 + 19031*x1*y11 + 46667*x0*y11 + 25277*x6*y10 + 20326*x5*y10 + 63668*x4*y10 + 43836*x3*y10 + 7871*x2*y10 + 7099*x1*y10 + 47008*x0*y10 + 11440*x6*y9 + 46870*x5*y9 + 44565*x4*y9 + 51394*x3*y9 + 31789*x2*y9 + 57538*x1*y9 + 43226*x0*y9 + 1543*x6*y8 + 15951*x5*y8 + 5990*x4*y8 + 64821*x3*y8 + 47712*x2*y8 + 17279*x1*y8 + 43168*x0*y8 + 13561*x6*y7 + 21532*x5*y7 + 60828*x4*y7 + 39648*x3*y7 + 47647*x2*y7 + 42853*x1*y7 + 64831*x0*y7 + 62745*x6*y6 + 33509*x5*y6 + 38725*x4*y6 + 635*x3*y6 + 64708*x2*y6 + 32973*x1*y6 + 26743*x0*y6 + 34049*x6*y5 + 61434*x5*y5 + 22514*x4*y5 + 43752*x3*y5 + 53349*x2*y5 + 51283*x1*y5 + 498*x0*y5 + 12650*x6*y4 + 43238*x5*y4 + 2051*x4*y4 + 11745*x3*y4 + 62700*x2*y4 + 8796*x1*y4 + 53310*x0*y4 + 15122*x6*y3 + 53799*x5*y3 + 10125*x4*y3 + 13941*x3*y3 + 63651*x2*y3 + 21886*x1*y3 + 23824*x0*y3 + 39654*x6*y2 + 3119*x5*y2 + 12091*x4*y2 + 55871*x3*y2 + 6840*x2*y2 + 50865*x1*y2 + 32655*x0*y2 + 45626*x6*y1 + 12103*x5*y1 + 2000*x4*y1 + 457*x3*y1 + 8203*x2*y1 + 5668*x1*y1 + 64705*x0*y1 + 32145*x6*y0 + 37539*x5*y0 + 49887*x4*y0 + 51213*x3*y0 + 15823*x2*y0 + 21250*x1*y0 + 27709*x0*y0,
23115*x6*y19 + 11170*x5*y19 + 26124*x4*y19 + 33578*x3*y19 + 22347*x2*y19 + 47379*x1*y19 + 8553*x0*y19 + 30280*x6*y18 + 58539*x5*y18 + 44652*x4*y18 + 20273*x3*y18 + 31551*x2*y18 + 49724*x1*y18 + 224*x0*y18 + 52741*x6*y17 + 18242*x5*y17 + 18339*x4*y17 + 54354*x3*y17 + 58678*x2*y17 + 32061*x1*y17 + 1494*x0*y17 + 12073*x6*y16 + 41852*x5*y16 + 64392*x4*y16 + 44181*x3*y16 + 26049*x2*y16 + 19888*x1*y16 + 34752*x0*y16 + 46203*x6*y15 + 60452*x5*y15 + 27692*x4*y15 + 33563*x3*y15 + 31193*x2*y15 + 40655*x1*y15 + 11812*x0*y15 + 36674*x6*y14 + 55901*x5*y14 + 49565*x4*y14 + 64509*x3*y14 + 58236*x2*y14 + 7268*x1*y14 + 33934*x0*y14 + 26782*x6*y13 + 12568*x5*y13 + 53117*x4*y13 + 15291*x3*y13 + 22210*x2*y13 + 5524*x1*y13 + 34248*x0*y13 + 34674*x6*y12 + 38774*x5*y12 + 49592*x4*y12 + 60082*x3*y12 + 22024*x2*y12 + 2139*x1*y12 + 38222*x0*y12 + 63793*x6*y11 + 36568*x5*y11 + 39*x4*y11 + 5167*x3*y11 + 40061*x2*y11 + 56591*x1*y11 + 5986*x0*y11 + 20926*x6*y10 + 64160*x5*y10 + 34662*x4*y10 + 25752*x3*y10 + 31016*x2*y10 + 56953*x1*y10 + 55558*x0*y10 + 58596*x6*y9 + 7567*x5*y9 + 61932*x4*y9 + 42952*x3*y9 + 22055*x2*y9 + 55036*x1*y9 + 51454*x0*y9 + 46667*x6*y8 + 39810*x5*y8 + 10575*x4*y8 + 1708*x3*y8 + 52230*x2*y8 + 50840*x1*y8 + 10131*x0*y8 + 40648*x6*y7 + 13186*x5*y7 + 10102*x4*y7 + 40586*x3*y7 + 55623*x2*y7 + 2217*x1*y7 + 41713*x0*y7 + 15344*x6*y6 + 51117*x5*y6 + 11717*x4*y6 + 16655*x3*y6 + 21856*x2*y6 + 45530*x1*y6 + 9786*x0*y6 + 35023*x6*y5 + 45862*x5*y5 + 55613*x4*y5 + 21852*x3*y5 + 38663*x2*y5 + 27096*x1*y5 + 7549*x0*y5 + 58405*x6*y4 + 8472*x5*y4 + 38727*x4*y4 + 58144*x3*y4 + 62935*x2*y4 + 25695*x1*y4 + 53190*x0*y4 + 53040*x6*y3 + 56237*x5*y3 + 44077*x4*y3 + 6866*x3*y3 + 7746*x2*y3 + 8747*x1*y3 + 53492*x0*y3 + 23056*x6*y2 + 13955*x5*y2 + 63911*x4*y2 + 25677*x3*y2 + 28271*x2*y2 + 37915*x1*y2 + 31100*x0*y2 + 48744*x6*y1 + 46841*x5*y1 + 15715*x4*y1 + 49188*x3*y1 + 21530*x2*y1 + 12338*x1*y1 + 48660*x0*y1 + 9122*x6*y0 + 8191*x5*y0 + 62759*x4*y0 + 55789*x3*y0 + 49558*x2*y0 + 55116*x1*y0 + 3655*x0*y0,
62915*x6*y19 + 44719*x5*y19 + 54015*x4*y19 + 35783*x3*y19 + 675*x2*y19 + 3353*x1*y19 + 51669*x0*y19 + 63664*x6*y18 + 44364*x5*y18 + 5254*x4*y18 + 859*x3*y18 + 21482*x2*y18 + 43924*x1*y18 + 55269*x0*y18 + 31865*x6*y17 + 43470*x5*y17 + 13205*x4*y17 + 58449*x3*y17 + 41771*x2*y17 + 25482*x1*y17 + 24200*x0*y17 + 27972*x6*y16 + 32056*x5*y16 + 63566*x4*y16 + 63215*x3*y16 + 8813*x2*y16 + 23426*x1*y16 + 23624*x0*y16 + 34230*x6*y15 + 31094*x5*y15 + 43162*x4*y15 + 2746*x3*y15 + 60993*x2*y15 + 51050*x1*y15 + 11443*x0*y15 + 46539*x6*y14 + 26780*x5*y14 + 9008*x4*y14 + 11299*x3*y14 + 49122*x2*y14 + 62471*x1*y14 + 56910*x0*y14 + 4827*x6*y13 + 41786*x5*y13 + 33459*x4*y13 + 26738*x3*y13 + 46713*x2*y13 + 62138*x1*y13 + 63264*x0*y13 + 60498*x6*y12 + 4158*x5*y12 + 20559*x4*y12 + 46788*x3*y12 + 31827*x2*y12 + 14645*x1*y12 + 55712*x0*y12 + 63492*x6*y11 + 47540*x5*y11 + 43430*x4*y11 + 9325*x3*y11 + 63946*x2*y11 + 29846*x1*y11 + 7533*x0*y11 + 20584*x6*y10 + 23458*x5*y10 + 27114*x4*y10 + 53289*x3*y10 + 44797*x2*y10 + 41675*x1*y10 + 5873*x0*y10 + 34710*x6*y9 + 25871*x5*y9 + 27144*x4*y9 + 20309*x3*y9 + 42493*x2*y9 + 28971*x1*y9 + 54577*x0*y9 + 35378*x6*y8 + 17442*x5*y8 + 5867*x4*y8 + 27258*x3*y8 + 39110*x2*y8 + 64398*x1*y8 + 62409*x0*y8 + 8275*x6*y7 + 44630*x5*y7 + 32786*x4*y7 + 6750*x3*y7 + 29892*x2*y7 + 30939*x1*y7 + 48668*x0*y7 + 17230*x6*y6 + 30157*x5*y6 + 16406*x4*y6 + 5734*x3*y6 + 5993*x2*y6 + 29044*x1*y6 + 19846*x0*y6 + 29671*x6*y5 + 43318*x5*y5 + 36113*x4*y5 + 47249*x3*y5 + 49918*x2*y5 + 32662*x1*y5 + 25010*x0*y5 + 21302*x6*y4 + 7681*x5*y4 + 50827*x4*y4 + 47210*x3*y4 + 31316*x2*y4 + 7688*x1*y4 + 16559*x0*y4 + 38354*x6*y3 + 9630*x5*y3 + 63128*x4*y3 + 37016*x3*y3 + 61795*x2*y3 + 17382*x1*y3 + 32510*x0*y3 + 37738*x6*y2 + 8169*x5*y2 + 26037*x4*y2 + 38747*x3*y2 + 45998*x2*y2 + 17877*x1*y2 + 58795*x0*y2 + 51218*x6*y1 + 5841*x5*y1 + 30732*x4*y1 + 12568*x3*y1 + 16328*x2*y1 + 35179*x1*y1 + 13637*x0*y1 + 43998*x6*y0 + 49334*x5*y0 + 15282*x4*y0 + 21098*x3*y0 + 54954*x2*y0 + 16916*x1*y0 + 6350*x0*y0,
27921*x6*y19 + 20011*x5*y19 + 8340*x4*y19 + 13362*x3*y19 + 33496*x2*y19 + 16414*x1*y19 + 11445*x0*y19 + 21008*x6*y18 + 57940*x5*y18 + 35384*x4*y18 + 36744*x3*y18 + 4659*x2*y18 + 45024*x1*y18 + 61291*x0*y18 + 59543*x6*y17 + 8281*x5*y17 + 62728*x4*y17 + 13100*x3*y17 + 32589*x2*y17 + 43069*x1*y17 + 25994*x0*y17 + 50602*x6*y16 + 3201*x5*y16 + 50238*x4*y16 + 5023*x3*y16 + 51610*x2*y16 + 57916*x1*y16 + 10133*x0*y16 + 776*x6*y15 + 10496*x5*y15 + 40294*x4*y15 + 40967*x3*y15 + 36996*x2*y15 + 6878*x1*y15 + 25253*x0*y15 + 38191*x6*y14 + 26308*x5*y14 + 39486*x4*y14 + 64922*x3*y14 + 23594*x2*y14 + 31097*x1*y14 + 42249*x0*y14 + 21645*x6*y13 + 1934*x5*y13 + 8236*x4*y13 + 2364*x3*y13 + 28176*x2*y13 + 23776*x1*y13 + 57236*x0*y13 + 3388*x6*y12 + 64825*x5*y12 + 62428*x4*y12 + 41869*x3*y12 + 21083*x2*y12 + 27780*x1*y12 + 39833*x0*y12 + 38836*x6*y11 + 6782*x5*y11 + 57520*x4*y11 + 41657*x3*y11 + 26513*x2*y11 + 2952*x1*y11 + 52139*x0*y11 + 44502*x6*y10 + 742*x5*y10 + 19476*x4*y10 + 33376*x3*y10 + 10427*x2*y10 + 25744*x1*y10 + 35794*x0*y10 + 56069*x6*y9 + 21224*x5*y9 + 35873*x4*y9 + 46109*x3*y9 + 32381*x2*y9 + 3878*x1*y9 + 16372*x0*y9 + 1213*x6*y8 + 11124*x5*y8 + 8337*x4*y8 + 18347*x3*y8 + 26483*x2*y8 + 59613*x1*y8 + 64158*x0*y8 + 21044*x6*y7 + 823*x5*y7 + 34613*x4*y7 + 28698*x3*y7 + 33043*x2*y7 + 50360*x1*y7 + 64988*x0*y7 + 16813*x6*y6 + 3096*x5*y6 + 40747*x4*y6 + 5081*x3*y6 + 34620*x2*y6 + 50249*x1*y6 + 43892*x0*y6 + 41413*x6*y5 + 3559*x5*y5 + 41509*x4*y5 + 29667*x3*y5 + 29524*x2*y5 + 56495*x1*y5 + 8592*x0*y5 + 13415*x6*y4 + 29382*x5*y4 + 19056*x4*y4 + 37634*x3*y4 + 22282*x2*y4 + 63203*x1*y4 + 56093*x0*y4 + 4050*x6*y3 + 3243*x5*y3 + 25987*x4*y3 + 6806*x3*y3 + 16375*x2*y3 + 52250*x1*y3 + 56053*x0*y3 + 17413*x6*y2 + 26297*x5*y2 + 42987*x4*y2 + 29754*x3*y2 + 564*x2*y2 + 55667*x1*y2 + 5344*x0*y2 + 16054*x6*y1 + 4269*x5*y1 + 57624*x4*y1 + 2228*x3*y1 + 52827*x2*y1 + 32136*x1*y1 + 43340*x0*y1 + 49939*x6*y0 + 42281*x5*y0 + 30793*x4*y0 + 45555*x3*y0 + 2310*x2*y0 + 62530*x1*y0 + 4408*x0*y0,
17437*x6*y19 + 47026*x5*y19 + 40564*x4*y19 + 7956*x3*y19 + 20667*x2*y19 + 3157*x1*y19 + 7104*x0*y19 + 20517*x6*y18 + 44929*x5*y18 + 4002*x4*y18 + 12013*x3*y18 + 45541*x2*y18 + 35726*x1*y18 + 45738*x0*y18 + 50878*x6*y17 + 3883*x5*y17 + 46755*x4*y17 + 12844*x3*y17 + 21101*x2*y17 + 9851*x1*y17 + 51140*x0*y17 + 24810*x6*y16 + 2160*x5*y16 + 57274*x4*y16 + 6570*x3*y16 + 44484*x2*y16 + 49970*x1*y16 + 1183*x0*y16 + 46061*x6*y15 + 40449*x5*y15 + 9976*x4*y15 + 18190*x3*y15 + 59378*x2*y15 + 27830*x1*y15 + 17128*x0*y15 + 58545*x6*y14 + 20435*x5*y14 + 38415*x4*y14 + 2049*x3*y14 + 18836*x2*y14 + 25478*x1*y14 + 20539*x0*y14 + 46065*x6*y13 + 57111*x5*y13 + 60687*x4*y13 + 5441*x3*y13 + 19854*x2*y13 + 61865*x1*y13 + 1381*x0*y13 + 48292*x6*y12 + 50475*x5*y12 + 50256*x4*y12 + 21479*x3*y12 + 35868*x2*y12 + 44355*x1*y12 + 61721*x0*y12 + 19222*x6*y11 + 54038*x5*y11 + 19916*x4*y11 + 13877*x3*y11 + 60583*x2*y11 + 58178*x1*y11 + 17755*x0*y11 + 43805*x6*y10 + 28383*x5*y10 + 10087*x4*y10 + 3626*x3*y10 + 1299*x2*y10 + 8623*x1*y10 + 50810*x0*y10 + 41569*x6*y9 + 42760*x5*y9 + 22273*x4*y9 + 12171*x3*y9 + 34004*x2*y9 + 4361*x1*y9 + 25934*x0*y9 + 35774*x6*y8 + 29966*x5*y8 + 37822*x4*y8 + 13382*x3*y8 + 43659*x2*y8 + 18874*x1*y8 + 21594*x0*y8 + 33961*x6*y7 + 42123*x5*y7 + 27650*x4*y7 + 44665*x3*y7 + 29226*x2*y7 + 14098*x1*y7 + 49232*x0*y7 + 42138*x6*y6 + 42622*x5*y6 + 30199*x4*y6 + 1675*x3*y6 + 22980*x2*y6 + 22664*x1*y6 + 45020*x0*y6 + 34189*x6*y5 + 54342*x5*y5 + 51408*x4*y5 + 45740*x3*y5 + 22614*x2*y5 + 64836*x1*y5 + 4639*x0*y5 + 59400*x6*y4 + 43046*x5*y4 + 7144*x4*y4 + 36283*x3*y4 + 10857*x2*y4 + 55447*x1*y4 + 29502*x0*y4 + 38268*x6*y3 + 39403*x5*y3 + 55376*x4*y3 + 32118*x3*y3 + 51649*x2*y3 + 3338*x1*y3 + 56951*x0*y3 + 50810*x6*y2 + 660*x5*y2 + 34881*x4*y2 + 27741*x3*y2 + 62341*x2*y2 + 30987*x1*y2 + 3802*x0*y2 + 56317*x6*y1 + 39540*x5*y1 + 32474*x4*y1 + 64343*x3*y1 + 33863*x2*y1 + 35431*x1*y1 + 31166*x0*y1 + 57349*x6*y0 + 54251*x5*y0 + 4503*x4*y0 + 5864*x3*y0 + 46717*x2*y0 + 26003*x1*y0 + 3715*x0*y0,
54361*x6*y19 + 41412*x5*y19 + 46176*x4*y19 + 29*x3*y19 + 55351*x2*y19 + 36979*x1*y19 + 31640*x0*y19 + 42143*x6*y18 + 35165*x5*y18 + 34178*x4*y18 + 2416*x3*y18 + 59306*x2*y18 + 19999*x1*y18 + 64927*x0*y18 + 14843*x6*y17 + 4909*x5*y17 + 31887*x4*y17 + 3133*x3*y17 + 62910*x2*y17 + 29252*x1*y17 + 15935*x0*y17 + 60234*x6*y16 + 14636*x5*y16 + 43190*x4*y16 + 45021*x3*y16 + 47754*x2*y16 + 3374*x1*y16 + 28491*x0*y16 + 13948*x6*y15 + 52496*x5*y15 + 40549*x4*y15 + 8694*x3*y15 + 37333*x2*y15 + 32320*x1*y15 + 9564*x0*y15 + 52431*x6*y14 + 20134*x5*y14 + 42758*x4*y14 + 13284*x3*y14 + 59425*x2*y14 + 5925*x1*y14 + 9687*x0*y14 + 50099*x6*y13 + 57298*x5*y13 + 54635*x4*y13 + 23806*x3*y13 + 24983*x2*y13 + 13637*x1*y13 + 48459*x0*y13 + 33127*x6*y12 + 38428*x5*y12 + 3146*x4*y12 + 4137*x3*y12 + 37978*x2*y12 + 41103*x1*y12 + 60513*x0*y12 + 37859*x6*y11 + 21421*x5*y11 + 45917*x4*y11 + 40675*x3*y11 + 32508*x2*y11 + 15485*x1*y11 + 15761*x0*y11 + 13137*x6*y10 + 17106*x5*y10 + 59168*x4*y10 + 51322*x3*y10 + 10711*x2*y10 + 9597*x1*y10 + 2587*x0*y10 + 62348*x6*y9 + 41925*x5*y9 + 12579*x4*y9 + 63042*x3*y9 + 36054*x2*y9 + 51429*x1*y9 + 29494*x0*y9 + 4553*x6*y8 + 21161*x5*y8 + 22575*x4*y8 + 54580*x3*y8 + 24735*x2*y8 + 4062*x1*y8 + 42045*x0*y8 + 13190*x6*y7 + 49468*x5*y7 + 3310*x4*y7 + 9742*x3*y7 + 62715*x2*y7 + 57219*x1*y7 + 18865*x0*y7 + 40595*x6*y6 + 46950*x5*y6 + 63637*x4*y6 + 2918*x3*y6 + 47234*x2*y6 + 59674*x1*y6 + 7363*x0*y6 + 13835*x6*y5 + 11999*x5*y5 + 5195*x4*y5 + 48893*x3*y5 + 12205*x2*y5 + 19162*x1*y5 + 43072*x0*y5 + 15497*x6*y4 + 44989*x5*y4 + 48247*x4*y4 + 14238*x3*y4 + 50740*x2*y4 + 19133*x1*y4 + 14552*x0*y4 + 38582*x6*y3 + 52439*x5*y3 + 29403*x4*y3 + 25709*x3*y3 + 29566*x2*y3 + 20502*x1*y3 + 55846*x0*y3 + 1383*x6*y2 + 5106*x5*y2 + 41479*x4*y2 + 5479*x3*y2 + 920*x2*y2 + 61275*x1*y2 + 31523*x0*y2 + 32982*x6*y1 + 47711*x5*y1 + 7728*x4*y1 + 47736*x3*y1 + 13468*x2*y1 + 62766*x1*y1 + 51021*x0*y1 + 51349*x6*y0 + 43764*x5*y0 + 54084*x4*y0 + 31278*x3*y0 + 46173*x2*y0 + 24588*x1*y0 + 6126*x0*y0,
3494*x6*y19 + 34716*x5*y19 + 31580*x4*y19 + 30279*x3*y19 + 6480*x2*y19 + 60163*x1*y19 + 54705*x0*y19 + 35068*x6*y18 + 50184*x5*y18 + 21991*x4*y18 + 43223*x3*y18 + 64091*x2*y18 + 480*x1*y18 + 31293*x0*y18 + 49009*x6*y17 + 43806*x5*y17 + 64438*x4*y17 + 26*x3*y17 + 62988*x2*y17 + 31376*x1*y17 + 12226*x0*y17 + 44196*x6*y16 + 38059*x5*y16 + 46632*x4*y16 + 6707*x3*y16 + 22206*x2*y16 + 19497*x1*y16 + 58612*x0*y16 + 63707*x6*y15 + 925*x5*y15 + 2292*x4*y15 + 37633*x3*y15 + 19842*x2*y15 + 1134*x1*y15 + 50534*x0*y15 + 51285*x6*y14 + 39917*x5*y14 + 32804*x4*y14 + 11844*x3*y14 + 28705*x2*y14 + 47212*x1*y14 + 21770*x0*y14 + 2993*x6*y13 + 64522*x5*y13 + 8829*x4*y13 + 5608*x3*y13 + 51637*x2*y13 + 17119*x1*y13 + 49586*x0*y13 + 25099*x6*y12 + 59818*x5*y12 + 10280*x4*y12 + 42983*x3*y12 + 29454*x2*y12 + 45286*x1*y12 + 27660*x0*y12 + 25262*x6*y11 + 33404*x5*y11 + 14468*x4*y11 + 9166*x3*y11 + 59559*x2*y11 + 25438*x1*y11 + 56188*x0*y11 + 60872*x6*y10 + 26667*x5*y10 + 214*x4*y10 + 50937*x3*y10 + 41155*x2*y10 + 30892*x1*y10 + 12239*x0*y10 + 26865*x6*y9 + 11201*x5*y9 + 64782*x4*y9 + 59704*x3*y9 + 6647*x2*y9 + 64118*x1*y9 + 64971*x0*y9 + 6280*x6*y8 + 689*x5*y8 + 16690*x4*y8 + 4280*x3*y8 + 47249*x2*y8 + 57216*x1*y8 + 19182*x0*y8 + 2670*x6*y7 + 61015*x5*y7 + 55556*x4*y7 + 32187*x3*y7 + 54096*x2*y7 + 35091*x1*y7 + 33587*x0*y7 + 34184*x6*y6 + 49656*x5*y6 + 38292*x4*y6 + 9660*x3*y6 + 46752*x2*y6 + 11776*x1*y6 + 62812*x0*y6 + 49006*x6*y5 + 28915*x5*y5 + 2273*x4*y5 + 49809*x3*y5 + 53169*x2*y5 + 47105*x1*y5 + 44359*x0*y5 + 29651*x6*y4 + 27246*x5*y4 + 55510*x4*y4 + 54228*x3*y4 + 14967*x2*y4 + 35287*x1*y4 + 6438*x0*y4 + 19068*x6*y3 + 23000*x5*y3 + 20465*x4*y3 + 62116*x3*y3 + 3264*x2*y3 + 55130*x1*y3 + 60894*x0*y3 + 7769*x6*y2 + 32180*x5*y2 + 23054*x4*y2 + 28773*x3*y2 + 24586*x2*y2 + 6643*x1*y2 + 10631*x0*y2 + 62349*x6*y1 + 44716*x5*y1 + 58217*x4*y1 + 48337*x3*y1 + 9034*x2*y1 + 33674*x1*y1 + 9461*x0*y1 + 35417*x6*y0 + 39993*x5*y0 + 45751*x4*y0 + 13036*x3*y0 + 46906*x2*y0 + 43791*x1*y0 + 17904*x0*y0,
27979*x6*y19 + 58354*x5*y19 + 9590*x4*y19 + 22807*x3*y19 + 35808*x2*y19 + 10346*x1*y19 + 40153*x0*y19 + 16812*x6*y18 + 29226*x5*y18 + 63554*x4*y18 + 54496*x3*y18 + 52552*x2*y18 + 19139*x1*y18 + 27596*x0*y18 + 34899*x6*y17 + 1944*x5*y17 + 21013*x4*y17 + 32028*x3*y17 + 33191*x2*y17 + 55779*x1*y17 + 1984*x0*y17 + 9357*x6*y16 + 46804*x5*y16 + 22639*x4*y16 + 2977*x3*y16 + 52600*x2*y16 + 19660*x1*y16 + 8379*x0*y16 + 43723*x6*y15 + 30478*x5*y15 + 59808*x4*y15 + 28766*x3*y15 + 20179*x2*y15 + 19068*x1*y15 + 12773*x0*y15 + 28222*x6*y14 + 31254*x5*y14 + 37253*x4*y14 + 19967*x3*y14 + 49466*x2*y14 + 25561*x1*y14 + 53079*x0*y14 + 49149*x6*y13 + 10604*x5*y13 + 23383*x4*y13 + 35279*x3*y13 + 13650*x2*y13 + 36322*x1*y13 + 62053*x0*y13 + 62225*x6*y12 + 64233*x5*y12 + 22830*x4*y12 + 34393*x3*y12 + 8683*x2*y12 + 5914*x1*y12 + 21582*x0*y12 + 19126*x6*y11 + 28577*x5*y11 + 54664*x4*y11 + 13095*x3*y11 + 32946*x2*y11 + 34802*x1*y11 + 41790*x0*y11 + 845*x6*y10 + 19776*x5*y10 + 52686*x4*y10 + 10421*x3*y10 + 56198*x2*y10 + 63804*x1*y10 + 25995*x0*y10 + 54475*x6*y9 + 989*x5*y9 + 7975*x4*y9 + 46582*x3*y9 + 31381*x2*y9 + 41382*x1*y9 + 58550*x0*y9 + 59553*x6*y8 + 12552*x5*y8 + 20101*x4*y8 + 12459*x3*y8 + 1747*x2*y8 + 40187*x1*y8 + 11127*x0*y8 + 47246*x6*y7 + 43342*x5*y7 + 62616*x4*y7 + 22415*x3*y7 + 15771*x2*y7 + 34357*x1*y7 + 1320*x0*y7 + 19561*x6*y6 + 50580*x5*y6 + 63953*x4*y6 + 58314*x3*y6 + 16693*x2*y6 + 43863*x1*y6 + 20212*x0*y6 + 34127*x6*y5 + 2173*x5*y5 + 11366*x4*y5 + 2501*x3*y5 + 39299*x2*y5 + 54549*x1*y5 + 63405*x0*y5 + 53126*x6*y4 + 15586*x5*y4 + 44947*x4*y4 + 48263*x3*y4 + 23467*x2*y4 + 42512*x1*y4 + 45957*x0*y4 + 12487*x6*y3 + 63252*x5*y3 + 5997*x4*y3 + 15562*x3*y3 + 459*x2*y3 + 47436*x1*y3 + 58881*x0*y3 + 34001*x6*y2 + 3835*x5*y2 + 6367*x4*y2 + 49139*x3*y2 + 44382*x2*y2 + 63807*x1*y2 + 61564*x0*y2 + 57734*x6*y1 + 6299*x5*y1 + 63287*x4*y1 + 50547*x3*y1 + 37734*x2*y1 + 57941*x1*y1 + 27236*x0*y1 + 25956*x6*y0 + 49308*x5*y0 + 26464*x4*y0 + 16920*x3*y0 + 40595*x2*y0 + 10455*x1*y0 + 31951*x0*y0,
23887*x6*y19 + 33801*x5*y19 + 47071*x4*y19 + 28684*x3*y19 + 22437*x2*y19 + 8686*x1*y19 + 32620*x0*y19 + 14731*x6*y18 + 4293*x5*y18 + 21286*x4*y18 + 7579*x3*y18 + 36496*x2*y18 + 34639*x1*y18 + 60083*x0*y18 + 56281*x6*y17 + 17852*x5*y17 + 63886*x4*y17 + 13112*x3*y17 + 48182*x2*y17 + 41580*x1*y17 + 30677*x0*y17 + 10109*x6*y16 + 59077*x5*y16 + 12086*x4*y16 + 9148*x3*y16 + 26323*x2*y16 + 23954*x1*y16 + 3432*x0*y16 + 51688*x6*y15 + 36471*x5*y15 + 59266*x4*y15 + 64953*x3*y15 + 38477*x2*y15 + 53980*x1*y15 + 62185*x0*y15 + 55880*x6*y14 + 56171*x5*y14 + 24588*x4*y14 + 44436*x3*y14 + 8012*x2*y14 + 7590*x1*y14 + 38964*x0*y14 + 20154*x6*y13 + 41392*x5*y13 + 6435*x4*y13 + 46207*x3*y13 + 61485*x2*y13 + 56877*x1*y13 + 7570*x0*y13 + 17487*x6*y12 + 50867*x5*y12 + 64089*x4*y12 + 54540*x3*y12 + 62590*x2*y12 + 14678*x1*y12 + 43985*x0*y12 + 28861*x6*y11 + 278*x5*y11 + 21036*x4*y11 + 60900*x3*y11 + 33711*x2*y11 + 59290*x1*y11 + 60275*x0*y11 + 59105*x6*y10 + 2357*x5*y10 + 21462*x4*y10 + 63946*x3*y10 + 19561*x2*y10 + 14246*x1*y10 + 11463*x0*y10 + 42367*x6*y9 + 30708*x5*y9 + 14713*x4*y9 + 14020*x3*y9 + 10200*x2*y9 + 57312*x1*y9 + 46160*x0*y9 + 24299*x6*y8 + 55606*x5*y8 + 14499*x4*y8 + 12217*x3*y8 + 14983*x2*y8 + 3818*x1*y8 + 36325*x0*y8 + 29818*x6*y7 + 54163*x5*y7 + 15152*x4*y7 + 22352*x3*y7 + 42819*x2*y7 + 48388*x1*y7 + 10749*x0*y7 + 10518*x6*y6 + 9916*x5*y6 + 10989*x4*y6 + 35066*x3*y6 + 36980*x2*y6 + 6420*x1*y6 + 55949*x0*y6 + 64506*x6*y5 + 47066*x5*y5 + 32745*x4*y5 + 963*x3*y5 + 10205*x2*y5 + 42453*x1*y5 + 29963*x0*y5 + 36217*x6*y4 + 24697*x5*y4 + 55878*x4*y4 + 60528*x3*y4 + 34704*x2*y4 + 47868*x1*y4 + 61806*x0*y4 + 33901*x6*y3 + 53932*x5*y3 + 7178*x4*y3 + 49713*x3*y3 + 20803*x2*y3 + 46754*x1*y3 + 17246*x0*y3 + 47683*x6*y2 + 3676*x5*y2 + 23308*x4*y2 + 401*x3*y2 + 29553*x2*y2 + 38730*x1*y2 + 13487*x0*y2 + 27278*x6*y1 + 53248*x5*y1 + 31286*x4*y1 + 454*x3*y1 + 37556*x2*y1 + 36351*x1*y1 + 2137*x0*y1 + 43956*x6*y0 + 862*x5*y0 + 7179*x4*y0 + 58971*x3*y0 + 52278*x2*y0 + 30198*x1*y0 + 60774*x0*y0,
45038*x6*y19 + 13930*x5*y19 + 8625*x4*y19 + 43042*x3*y19 + 54648*x2*y19 + 42209*x1*y19 + 16016*x0*y19 + 52860*x6*y18 + 25192*x5*y18 + 26110*x4*y18 + 52510*x3*y18 + 25376*x2*y18 + 42521*x1*y18 + 49027*x0*y18 + 36944*x6*y17 + 11054*x5*y17 + 14115*x4*y17 + 26790*x3*y17 + 57886*x2*y17 + 39170*x1*y17 + 49199*x0*y17 + 25766*x6*y16 + 28922*x5*y16 + 51411*x4*y16 + 42031*x3*y16 + 35511*x2*y16 + 51466*x1*y16 + 39994*x0*y16 + 52652*x6*y15 + 50489*x5*y15 + 56307*x4*y15 + 31961*x3*y15 + 1713*x2*y15 + 17227*x1*y15 + 9895*x0*y15 + 20737*x6*y14 + 59084*x5*y14 + 57821*x4*y14 + 11519*x3*y14 + 63140*x2*y14 + 21674*x1*y14 + 26079*x0*y14 + 7603*x6*y13 + 21497*x5*y13 + 53129*x4*y13 + 21545*x3*y13 + 17629*x2*y13 + 42078*x1*y13 + 9859*x0*y13 + 293*x6*y12 + 30163*x5*y12 + 59244*x4*y12 + 39365*x3*y12 + 21111*x2*y12 + 26597*x1*y12 + 35944*x0*y12 + 17102*x6*y11 + 63725*x5*y11 + 32498*x4*y11 + 17036*x3*y11 + 29158*x2*y11 + 15530*x1*y11 + 20529*x0*y11 + 58643*x6*y10 + 34385*x5*y10 + 22501*x4*y10 + 2426*x3*y10 + 44540*x2*y10 + 55124*x1*y10 + 20370*x0*y10 + 55604*x6*y9 + 40987*x5*y9 + 48391*x4*y9 + 12946*x3*y9 + 57175*x2*y9 + 52691*x1*y9 + 35194*x0*y9 + 50965*x6*y8 + 27655*x5*y8 + 37183*x4*y8 + 59104*x3*y8 + 14545*x2*y8 + 19507*x1*y8 + 56641*x0*y8 + 28146*x6*y7 + 40915*x5*y7 + 1736*x4*y7 + 60080*x3*y7 + 28083*x2*y7 + 44588*x1*y7 + 14741*x0*y7 + 14461*x6*y6 + 24181*x5*y6 + 16820*x4*y6 + 32575*x3*y6 + 43655*x2*y6 + 51666*x1*y6 + 33181*x0*y6 + 64627*x6*y5 + 57150*x5*y5 + 49584*x4*y5 + 9155*x3*y5 + 34963*x2*y5 + 63434*x1*y5 + 34378*x0*y5 + 4214*x6*y4 + 22208*x5*y4 + 56237*x4*y4 + 45211*x3*y4 + 62082*x2*y4 + 14298*x1*y4 + 35561*x0*y4 + 26993*x6*y3 + 23381*x5*y3 + 1723*x4*y3 + 63244*x3*y3 + 60133*x2*y3 + 23644*x1*y3 + 49340*x0*y3 + 38135*x6*y2 + 62983*x5*y2 + 13021*x4*y2 + 49195*x3*y2 + 18731*x2*y2 + 55322*x1*y2 + 50271*x0*y2 + 9074*x6*y1 + 37418*x5*y1 + 64048*x4*y1 + 41928*x3*y1 + 35581*x2*y1 + 40662*x1*y1 + 38752*x0*y1 + 19157*x6*y0 + 44479*x5*y0 + 32650*x4*y0 + 30043*x3*y0 + 51998*x2*y0 + 63098*x1*y0 + 38166*x0*y0,
14150*x6*y19 + 50141*x5*y19 + 58577*x4*y19 + 8485*x3*y19 + 26060*x2*y19 + 29720*x1*y19 + 20055*x0*y19 + 39828*x6*y18 + 25050*x5*y18 + 167*x4*y18 + 62191*x3*y18 + 25460*x2*y18 + 43370*x1*y18 + 695*x0*y18 + 38863*x6*y17 + 10901*x5*y17 + 48208*x4*y17 + 52689*x3*y17 + 3050*x2*y17 + 52696*x1*y17 + 43073*x0*y17 + 19766*x6*y16 + 35245*x5*y16 + 38093*x4*y16 + 11950*x3*y16 + 52409*x2*y16 + 37295*x1*y16 + 7340*x0*y16 + 30328*x6*y15 + 971*x5*y15 + 61756*x4*y15 + 49431*x3*y15 + 28835*x2*y15 + 9831*x1*y15 + 23780*x0*y15 + 18148*x6*y14 + 695*x5*y14 + 45930*x4*y14 + 37504*x3*y14 + 62679*x2*y14 + 4466*x1*y14 + 18300*x0*y14 + 33285*x6*y13 + 33866*x5*y13 + 5358*x4*y13 + 10793*x3*y13 + 61903*x2*y13 + 52131*x1*y13 + 11981*x0*y13 + 331*x6*y12 + 32328*x5*y12 + 6625*x4*y12 + 18492*x3*y12 + 39617*x2*y12 + 38586*x1*y12 + 9235*x0*y12 + 21314*x6*y11 + 37667*x5*y11 + 3915*x4*y11 + 24693*x3*y11 + 9376*x2*y11 + 48841*x1*y11 + 55993*x0*y11 + 33551*x6*y10 + 34756*x5*y10 + 46139*x4*y10 + 46564*x3*y10 + 28480*x2*y10 + 55869*x1*y10 + 49517*x0*y10 + 34712*x6*y9 + 35944*x5*y9 + 43831*x4*y9 + 52858*x3*y9 + 41089*x2*y9 + 15608*x1*y9 + 57765*x0*y9 + 41420*x6*y8 + 36703*x5*y8 + 19163*x4*y8 + 41637*x3*y8 + 8204*x2*y8 + 18615*x1*y8 + 51512*x0*y8 + 62548*x6*y7 + 44852*x5*y7 + 25269*x4*y7 + 19903*x3*y7 + 18107*x2*y7 + 24578*x1*y7 + 20167*x0*y7 + 14331*x6*y6 + 9893*x5*y6 + 28091*x4*y6 + 59706*x3*y6 + 30595*x2*y6 + 3357*x1*y6 + 54828*x0*y6 + 43251*x6*y5 + 26573*x5*y5 + 5544*x4*y5 + 40489*x3*y5 + 17650*x2*y5 + 813*x1*y5 + 3084*x0*y5 + 35543*x6*y4 + 48345*x5*y4 + 49145*x4*y4 + 49415*x3*y4 + 40461*x2*y4 + 17548*x1*y4 + 55945*x0*y4 + 58295*x6*y3 + 11829*x5*y3 + 12412*x4*y3 + 58283*x3*y3 + 23444*x2*y3 + 46975*x1*y3 + 20831*x0*y3 + 30966*x6*y2 + 58467*x5*y2 + 27580*x4*y2 + 288*x3*y2 + 23394*x2*y2 + 752*x1*y2 + 63566*x0*y2 + 14423*x6*y1 + 56327*x5*y1 + 12483*x4*y1 + 33967*x3*y1 + 12560*x2*y1 + 24118*x1*y1 + 29934*x0*y1 + 13742*x6*y0 + 4745*x5*y0 + 63658*x4*y0 + 30448*x3*y0 + 9199*x2*y0 + 22214*x1*y0 + 10471*x0*y0,
23804*x6*y19 + 64833*x5*y19 + 9052*x4*y19 + 40033*x3*y19 + 12411*x2*y19 + 59642*x1*y19 + 34919*x0*y19 + 9373*x6*y18 + 19926*x5*y18 + 14653*x4*y18 + 23593*x3*y18 + 62458*x2*y18 + 60979*x1*y18 + 45094*x0*y18 + 51513*x6*y17 + 25525*x5*y17 + 24020*x4*y17 + 47887*x3*y17 + 37092*x2*y17 + 31295*x1*y17 + 64254*x0*y17 + 60963*x6*y16 + 205*x5*y16 + 19429*x4*y16 + 34796*x3*y16 + 29631*x2*y16 + 27738*x1*y16 + 36847*x0*y16 + 30352*x6*y15 + 61675*x5*y15 + 58505*x4*y15 + 17026*x3*y15 + 63301*x2*y15 + 37122*x1*y15 + 26132*x0*y15 + 5134*x6*y14 + 57634*x5*y14 + 42484*x4*y14 + 50206*x3*y14 + 61478*x2*y14 + 23530*x1*y14 + 15988*x0*y14 + 17028*x6*y13 + 40184*x5*y13 + 18926*x4*y13 + 60642*x3*y13 + 1480*x2*y13 + 55067*x1*y13 + 30857*x0*y13 + 32400*x6*y12 + 22610*x5*y12 + 2075*x4*y12 + 7980*x3*y12 + 28102*x2*y12 + 31378*x1*y12 + 63651*x0*y12 + 31136*x6*y11 + 24917*x5*y11 + 28868*x4*y11 + 17481*x3*y11 + 30419*x2*y11 + 19383*x1*y11 + 50771*x0*y11 + 27909*x6*y10 + 47197*x5*y10 + 29668*x4*y10 + 40410*x3*y10 + 37617*x2*y10 + 18641*x1*y10 + 39642*x0*y10 + 35528*x6*y9 + 60066*x5*y9 + 15016*x4*y9 + 48301*x3*y9 + 20460*x2*y9 + 31727*x1*y9 + 29158*x0*y9 + 56814*x6*y8 + 10888*x5*y8 + 46365*x4*y8 + 2865*x3*y8 + 54873*x2*y8 + 27920*x1*y8 + 35762*x0*y8 + 47014*x6*y7 + 13245*x5*y7 + 44416*x4*y7 + 26102*x3*y7 + 57833*x2*y7 + 60954*x1*y7 + 27282*x0*y7 + 43457*x6*y6 + 41540*x5*y6 + 15747*x4*y6 + 3741*x3*y6 + 3876*x2*y6 + 31197*x1*y6 + 16445*x0*y6 + 20571*x6*y5 + 335*x5*y5 + 53384*x4*y5 + 26400*x3*y5 + 36494*x2*y5 + 9893*x1*y5 + 33065*x0*y5 + 49436*x6*y4 + 1756*x5*y4 + 15780*x4*y4 + 56504*x3*y4 + 29037*x2*y4 + 13963*x1*y4 + 35879*x0*y4 + 60076*x6*y3 + 1189*x5*y3 + 21694*x4*y3 + 32840*x3*y3 + 61129*x2*y3 + 15893*x1*y3 + 47889*x0*y3 + 17998*x6*y2 + 7810*x5*y2 + 35235*x4*y2 + 31695*x3*y2 + 19708*x2*y2 + 9785*x1*y2 + 48183*x0*y2 + 31097*x6*y1 + 5271*x5*y1 + 17089*x4*y1 + 42904*x3*y1 + 1562*x2*y1 + 32748*x1*y1 + 10148*x0*y1 + 35592*x6*y0 + 55512*x5*y0 + 59390*x4*y0 + 25726*x3*y0 + 31415*x2*y0 + 40347*x1*y0 + 26433*x0*y0,
52649*x6*y19 + 43624*x5*y19 + 26956*x4*y19 + 43055*x3*y19 + 58658*x2*y19 + 57693*x1*y19 + 36237*x0*y19 + 16897*x6*y18 + 6419*x5*y18 + 31831*x4*y18 + 46314*x3*y18 + 23184*x2*y18 + 10599*x1*y18 + 1280*x0*y18 + 19918*x6*y17 + 29621*x5*y17 + 29540*x4*y17 + 10551*x3*y17 + 20384*x2*y17 + 57206*x1*y17 + 12035*x0*y17 + 38908*x6*y16 + 5074*x5*y16 + 20881*x4*y16 + 5136*x3*y16 + 26431*x2*y16 + 22256*x1*y16 + 24688*x0*y16 + 13932*x6*y15 + 34884*x5*y15 + 28710*x4*y15 + 28876*x3*y15 + 27100*x2*y15 + 3327*x1*y15 + 49932*x0*y15 + 15376*x6*y14 + 4230*x5*y14 + 16587*x4*y14 + 56897*x3*y14 + 55650*x2*y14 + 14973*x1*y14 + 52150*x0*y14 + 52010*x6*y13 + 40364*x5*y13 + 53060*x4*y13 + 23966*x3*y13 + 37508*x2*y13 + 61852*x1*y13 + 50953*x0*y13 + 45612*x6*y12 + 19457*x5*y12 + 38861*x4*y12 + 54356*x3*y12 + 35820*x2*y12 + 52110*x1*y12 + 51095*x0*y12 + 59339*x6*y11 + 52018*x5*y11 + 24673*x4*y11 + 59681*x3*y11 + 1135*x2*y11 + 40652*x1*y11 + 21184*x0*y11 + 58022*x6*y10 + 54454*x5*y10 + 57424*x4*y10 + 58406*x3*y10 + 36667*x2*y10 + 14470*x1*y10 + 37681*x0*y10 + 16416*x6*y9 + 40662*x5*y9 + 48358*x4*y9 + 2507*x3*y9 + 24281*x2*y9 + 10572*x1*y9 + 3827*x0*y9 + 54078*x6*y8 + 17394*x5*y8 + 50880*x4*y8 + 38027*x3*y8 + 39288*x2*y8 + 50499*x1*y8 + 55364*x0*y8 + 19411*x6*y7 + 11998*x5*y7 + 22710*x4*y7 + 4211*x3*y7 + 24139*x2*y7 + 50158*x1*y7 + 4845*x0*y7 + 12797*x6*y6 + 49885*x5*y6 + 42960*x4*y6 + 54495*x3*y6 + 59832*x2*y6 + 57019*x1*y6 + 21227*x0*y6 + 33699*x6*y5 + 47995*x5*y5 + 62347*x4*y5 + 17600*x3*y5 + 48067*x2*y5 + 55918*x1*y5 + 9364*x0*y5 + 512*x6*y4 + 34891*x5*y4 + 56313*x4*y4 + 27960*x3*y4 + 29684*x2*y4 + 27227*x1*y4 + 18869*x0*y4 + 21499*x6*y3 + 326*x5*y3 + 57333*x4*y3 + 13599*x3*y3 + 20951*x2*y3 + 21351*x1*y3 + 42943*x0*y3 + 57072*x6*y2 + 33900*x5*y2 + 61365*x4*y2 + 29337*x3*y2 + 33014*x2*y2 + 921*x1*y2 + 55250*x0*y2 + 45564*x6*y1 + 27129*x5*y1 + 42214*x4*y1 + 30558*x3*y1 + 47205*x2*y1 + 37420*x1*y1 + 20302*x0*y1 + 31033*x6*y0 + 17834*x5*y0 + 41227*x4*y0 + 42077*x3*y0 + 1817*x2*y0 + 7590*x1*y0 + 19903*x0*y0,
22113*x6*y19 + 62397*x5*y19 + 63748*x4*y19 + 48209*x3*y19 + 42548*x2*y19 + 49268*x1*y19 + 18311*x0*y19 + 1268*x6*y18 + 49855*x5*y18 + 43947*x4*y18 + 54061*x3*y18 + 20090*x2*y18 + 51382*x1*y18 + 40498*x0*y18 + 23629*x6*y17 + 1021*x5*y17 + 52608*x4*y17 + 59490*x3*y17 + 25579*x2*y17 + 59875*x1*y17 + 54745*x0*y17 + 36953*x6*y16 + 46066*x5*y16 + 889*x4*y16 + 17988*x3*y16 + 53485*x2*y16 + 20821*x1*y16 + 407*x0*y16 + 20672*x6*y15 + 51081*x5*y15 + 49874*x4*y15 + 8892*x3*y15 + 6683*x2*y15 + 6761*x1*y15 + 22288*x0*y15 + 18234*x6*y14 + 10731*x5*y14 + 61974*x4*y14 + 5830*x3*y14 + 54307*x2*y14 + 63832*x1*y14 + 14170*x0*y14 + 32485*x6*y13 + 27256*x5*y13 + 50734*x4*y13 + 32523*x3*y13 + 53833*x2*y13 + 8239*x1*y13 + 6912*x0*y13 + 36530*x6*y12 + 58990*x5*y12 + 32753*x4*y12 + 60676*x3*y12 + 7211*x2*y12 + 57205*x1*y12 + 7265*x0*y12 + 49662*x6*y11 + 39578*x5*y11 + 39924*x4*y11 + 14097*x3*y11 + 8999*x2*y11 + 63536*x1*y11 + 49020*x0*y11 + 51840*x6*y10 + 52050*x5*y10 + 23594*x4*y10 + 31397*x3*y10 + 13322*x2*y10 + 51249*x1*y10 + 29351*x0*y10 + 14252*x6*y9 + 30716*x5*y9 + 16350*x4*y9 + 19161*x3*y9 + 18146*x2*y9 + 30368*x1*y9 + 8470*x0*y9 + 55973*x6*y8 + 10777*x5*y8 + 50624*x4*y8 + 50132*x3*y8 + 44310*x2*y8 + 37235*x1*y8 + 51767*x0*y8 + 49889*x6*y7 + 26405*x5*y7 + 58045*x4*y7 + 39800*x3*y7 + 23006*x2*y7 + 26548*x1*y7 + 37176*x0*y7 + 492*x6*y6 + 32013*x5*y6 + 52365*x4*y6 + 21651*x3*y6 + 43173*x2*y6 + 34966*x1*y6 + 52329*x0*y6 + 38358*x6*y5 + 58208*x5*y5 + 23187*x4*y5 + 12824*x3*y5 + 60761*x2*y5 + 30923*x1*y5 + 28553*x0*y5 + 520*x6*y4 + 61699*x5*y4 + 30739*x4*y4 + 54044*x3*y4 + 33826*x2*y4 + 31003*x1*y4 + 39382*x0*y4 + 63765*x6*y3 + 30615*x5*y3 + 37408*x4*y3 + 13626*x3*y3 + 32098*x2*y3 + 18083*x1*y3 + 44110*x0*y3 + 39855*x6*y2 + 14859*x5*y2 + 63323*x4*y2 + 39078*x3*y2 + 59857*x2*y2 + 21849*x1*y2 + 53115*x0*y2 + 58358*x6*y1 + 53571*x5*y1 + 26055*x4*y1 + 34654*x3*y1 + 30407*x2*y1 + 5347*x1*y1 + 4667*x0*y1 + 63505*x6*y0 + 38405*x5*y0 + 37701*x4*y0 + 22332*x3*y0 + 6609*x2*y0 + 63580*x1*y0 + 38351*x0*y0,
6723*x6*y19 + 15786*x5*y19 + 3378*x4*y19 + 6790*x3*y19 + 47230*x2*y19 + 14820*x1*y19 + 35996*x0*y19 + 15531*x6*y18 + 25084*x5*y18 + 38484*x4*y18 + 54755*x3*y18 + 24589*x2*y18 + 33770*x1*y18 + 20483*x0*y18 + 22164*x6*y17 + 11801*x5*y17 + 18238*x4*y17 + 19478*x3*y17 + 31806*x2*y17 + 32464*x1*y17 + 13030*x0*y17 + 49345*x6*y16 + 60338*x5*y16 + 35596*x4*y16 + 62774*x3*y16 + 15813*x2*y16 + 48196*x1*y16 + 5085*x0*y16 + 23544*x6*y15 + 15741*x5*y15 + 18251*x4*y15 + 56328*x3*y15 + 27828*x2*y15 + 15441*x1*y15 + 38922*x0*y15 + 16329*x6*y14 + 37269*x5*y14 + 3407*x4*y14 + 9791*x3*y14 + 25731*x2*y14 + 34479*x1*y14 + 41583*x0*y14 + 18831*x6*y13 + 5589*x5*y13 + 32778*x4*y13 + 62105*x3*y13 + 36838*x2*y13 + 15380*x1*y13 + 416*x0*y13 + 26335*x6*y12 + 98*x5*y12 + 50882*x4*y12 + 3943*x3*y12 + 53962*x2*y12 + 29608*x1*y12 + 53050*x0*y12 + 61183*x6*y11 + 13814*x5*y11 + 54067*x4*y11 + 25073*x3*y11 + 34896*x2*y11 + 61007*x1*y11 + 63573*x0*y11 + 48701*x6*y10 + 50455*x5*y10 + 64620*x4*y10 + 51039*x3*y10 + 39650*x2*y10 + 43860*x1*y10 + 1356*x0*y10 + 20984*x6*y9 + 34339*x5*y9 + 20632*x4*y9 + 56405*x3*y9 + 11476*x2*y9 + 51123*x1*y9 + 44439*x0*y9 + 57023*x6*y8 + 1691*x5*y8 + 24696*x4*y8 + 7391*x3*y8 + 22657*x2*y8 + 6141*x1*y8 + 54611*x0*y8 + 45912*x6*y7 + 8650*x5*y7 + 64661*x4*y7 + 3508*x3*y7 + 16396*x2*y7 + 9718*x1*y7 + 16641*x0*y7 + 26894*x6*y6 + 25397*x5*y6 + 27615*x4*y6 + 31740*x3*y6 + 48928*x2*y6 + 7428*x1*y6 + 31332*x0*y6 + 42900*x6*y5 + 17114*x5*y5 + 27550*x4*y5 + 3355*x3*y5 + 45059*x2*y5 + 38530*x1*y5 + 8386*x0*y5 + 34013*x6*y4 + 1343*x5*y4 + 20257*x4*y4 + 34225*x3*y4 + 7565*x2*y4 + 39783*x1*y4 + 701*x0*y4 + 21966*x6*y3 + 63010*x5*y3 + 29845*x4*y3 + 8579*x3*y3 + 20251*x2*y3 + 35853*x1*y3 + 58310*x0*y3 + 2077*x6*y2 + 11456*x5*y2 + 32604*x4*y2 + 26662*x3*y2 + 15334*x2*y2 + 46761*x1*y2 + 52109*x0*y2 + 6334*x6*y1 + 19746*x5*y1 + 49906*x4*y1 + 37019*x3*y1 + 29449*x2*y1 + 52083*x1*y1 + 20731*x0*y1 + 62220*x6*y0 + 44269*x5*y0 + 6132*x4*y0 + 44188*x3*y0 + 62028*x2*y0 + 47305*x1*y0 + 27431*x0*y0,
27205*x6*y19 + 13063*x5*y19 + 9544*x4*y19 + 50575*x3*y19 + 45374*x2*y19 + 23288*x1*y19 + 43861*x0*y19 + 35394*x6*y18 + 64270*x5*y18 + 53671*x4*y18 + 33977*x3*y18 + 44951*x2*y18 + 3297*x1*y18 + 26227*x0*y18 + 27924*x6*y17 + 43867*x5*y17 + 60406*x4*y17 + 30776*x3*y17 + 38722*x2*y17 + 30510*x1*y17 + 1369*x0*y17 + 6682*x6*y16 + 57953*x5*y16 + 37208*x4*y16 + 8363*x3*y16 + 45391*x2*y16 + 3826*x1*y16 + 26053*x0*y16 + 37742*x6*y15 + 32978*x5*y15 + 31860*x4*y15 + 27047*x3*y15 + 23387*x2*y15 + 18979*x1*y15 + 19483*x0*y15 + 4720*x6*y14 + 15327*x5*y14 + 61680*x4*y14 + 6537*x3*y14 + 8177*x2*y14 + 56233*x1*y14 + 62659*x0*y14 + 44823*x6*y13 + 40335*x5*y13 + 23744*x4*y13 + 1318*x3*y13 + 26208*x2*y13 + 43314*x1*y13 + 10409*x0*y13 + 49971*x6*y12 + 27913*x5*y12 + 18883*x4*y12 + 42726*x3*y12 + 43584*x2*y12 + 42707*x1*y12 + 21885*x0*y12 + 27860*x6*y11 + 17181*x5*y11 + 30338*x4*y11 + 63043*x3*y11 + 1145*x2*y11 + 7380*x1*y11 + 5095*x0*y11 + 57634*x6*y10 + 39880*x5*y10 + 53407*x4*y10 + 48969*x3*y10 + 63601*x2*y10 + 19997*x1*y10 + 46303*x0*y10 + 60370*x6*y9 + 63986*x5*y9 + 53216*x4*y9 + 39556*x3*y9 + 7187*x2*y9 + 52601*x1*y9 + 29663*x0*y9 + 42564*x6*y8 + 58847*x5*y8 + 27740*x4*y8 + 10794*x3*y8 + 47043*x2*y8 + 58674*x1*y8 + 4464*x0*y8 + 42675*x6*y7 + 41994*x5*y7 + 62299*x4*y7 + 1177*x3*y7 + 43042*x2*y7 + 23505*x1*y7 + 5234*x0*y7 + 25433*x6*y6 + 25854*x5*y6 + 31739*x4*y6 + 2938*x3*y6 + 41172*x2*y6 + 46892*x1*y6 + 49004*x0*y6 + 19938*x6*y5 + 18789*x5*y5 + 40868*x4*y5 + 9027*x3*y5 + 21583*x2*y5 + 17406*x1*y5 + 24272*x0*y5 + 60945*x6*y4 + 27595*x5*y4 + 30439*x4*y4 + 3007*x3*y4 + 7770*x2*y4 + 33923*x1*y4 + 31794*x0*y4 + 12805*x6*y3 + 28297*x5*y3 + 1834*x4*y3 + 11279*x3*y3 + 21229*x2*y3 + 55990*x1*y3 + 21162*x0*y3 + 4256*x6*y2 + 51318*x5*y2 + 7321*x4*y2 + 30045*x3*y2 + 32879*x2*y2 + 7437*x1*y2 + 33550*x0*y2 + 49519*x6*y1 + 31036*x5*y1 + 3936*x4*y1 + 36305*x3*y1 + 50779*x2*y1 + 31102*x1*y1 + 2961*x0*y1 + 17144*x6*y0 + 44839*x5*y0 + 43456*x4*y0 + 53607*x3*y0 + 46448*x2*y0 + 38337*x1*y0 + 1028*x0*y0,
27236*x6*y19 + 63559*x5*y19 + 3722*x4*y19 + 7369*x3*y19 + 20725*x2*y19 + 6056*x1*y19 + 10283*x0*y19 + 57054*x6*y18 + 51036*x5*y18 + 54839*x4*y18 + 27105*x3*y18 + 15748*x2*y18 + 15386*x1*y18 + 51857*x0*y18 + 11666*x6*y17 + 10888*x5*y17 + 6347*x4*y17 + 40633*x3*y17 + 40327*x2*y17 + 256*x1*y17 + 45156*x0*y17 + 54459*x6*y16 + 57391*x5*y16 + 39737*x4*y16 + 26127*x3*y16 + 60101*x2*y16 + 62937*x1*y16 + 585*x0*y16 + 57233*x6*y15 + 17289*x5*y15 + 41465*x4*y15 + 62793*x3*y15 + 3915*x2*y15 + 16156*x1*y15 + 49874*x0*y15 + 22639*x6*y14 + 43378*x5*y14 + 30398*x4*y14 + 32991*x3*y14 + 7065*x2*y14 + 64556*x1*y14 + 41486*x0*y14 + 7709*x6*y13 + 37019*x5*y13 + 37295*x4*y13 + 3052*x3*y13 + 9498*x2*y13 + 5713*x1*y13 + 35841*x0*y13 + 54921*x6*y12 + 7391*x5*y12 + 20132*x4*y12 + 63705*x3*y12 + 53332*x2*y12 + 18080*x1*y12 + 19301*x0*y12 + 64885*x6*y11 + 63949*x5*y11 + 55053*x4*y11 + 58720*x3*y11 + 44533*x2*y11 + 9029*x1*y11 + 39825*x0*y11 + 53707*x6*y10 + 57191*x5*y10 + 22897*x4*y10 + 30506*x3*y10 + 53747*x2*y10 + 41781*x1*y10 + 38941*x0*y10 + 45775*x6*y9 + 5055*x5*y9 + 53474*x4*y9 + 770*x3*y9 + 12955*x2*y9 + 31142*x1*y9 + 22345*x0*y9 + 43372*x6*y8 + 51141*x5*y8 + 46704*x4*y8 + 51828*x3*y8 + 805*x2*y8 + 15277*x1*y8 + 89*x0*y8 + 48500*x6*y7 + 28999*x5*y7 + 14020*x4*y7 + 39042*x3*y7 + 52799*x2*y7 + 49200*x1*y7 + 14729*x0*y7 + 13432*x6*y6 + 54182*x5*y6 + 30129*x4*y6 + 63927*x3*y6 + 43027*x2*y6 + 34206*x1*y6 + 43598*x0*y6 + 37923*x6*y5 + 35766*x5*y5 + 6083*x4*y5 + 23058*x3*y5 + 2663*x2*y5 + 6094*x1*y5 + 2799*x0*y5 + 15857*x6*y4 + 12650*x5*y4 + 63414*x4*y4 + 13239*x3*y4 + 19147*x2*y4 + 2356*x1*y4 + 29103*x0*y4 + 33744*x6*y3 + 38698*x5*y3 + 50455*x4*y3 + 54627*x3*y3 + 52382*x2*y3 + 29838*x1*y3 + 47973*x0*y3 + 7287*x6*y2 + 22934*x5*y2 + 11817*x4*y2 + 43071*x3*y2 + 58389*x2*y2 + 12204*x1*y2 + 2403*x0*y2 + 21333*x6*y1 + 14089*x5*y1 + 18604*x4*y1 + 13662*x3*y1 + 9191*x2*y1 + 16080*x1*y1 + 37866*x0*y1 + 14247*x6*y0 + 36398*x5*y0 + 21749*x4*y0 + 63016*x3*y0 + 32754*x2*y0 + 43734*x1*y0 + 28464*x0*y0,
41316*x6*y19 + 14892*x5*y19 + 60807*x4*y19 + 62722*x3*y19 + 17115*x2*y19 + 30396*x1*y19 + 36982*x0*y19 + 12766*x6*y18 + 7411*x5*y18 + 13390*x4*y18 + 21791*x3*y18 + 63157*x2*y18 + 16095*x1*y18 + 30036*x0*y18 + 38627*x6*y17 + 5227*x5*y17 + 35566*x4*y17 + 44153*x3*y17 + 1379*x2*y17 + 63710*x1*y17 + 8937*x0*y17 + 23695*x6*y16 + 19816*x5*y16 + 11188*x4*y16 + 51452*x3*y16 + 8726*x2*y16 + 58306*x1*y16 + 43538*x0*y16 + 8629*x6*y15 + 50797*x5*y15 + 9292*x4*y15 + 8586*x3*y15 + 35523*x2*y15 + 58110*x1*y15 + 62348*x0*y15 + 54150*x6*y14 + 16094*x5*y14 + 37884*x4*y14 + 47370*x3*y14 + 19083*x2*y14 + 4036*x1*y14 + 46228*x0*y14 + 64094*x6*y13 + 32362*x5*y13 + 5385*x4*y13 + 21408*x3*y13 + 50312*x2*y13 + 46559*x1*y13 + 9656*x0*y13 + 63424*x6*y12 + 32649*x5*y12 + 63309*x4*y12 + 48231*x3*y12 + 16259*x2*y12 + 54036*x1*y12 + 37578*x0*y12 + 56389*x6*y11 + 35645*x5*y11 + 23718*x4*y11 + 48593*x3*y11 + 41963*x2*y11 + 31251*x1*y11 + 16571*x0*y11 + 28756*x6*y10 + 56309*x5*y10 + 30872*x4*y10 + 48979*x3*y10 + 12370*x2*y10 + 32274*x1*y10 + 6533*x0*y10 + 3566*x6*y9 + 50732*x5*y9 + 19375*x4*y9 + 63523*x3*y9 + 63859*x2*y9 + 7042*x1*y9 + 55539*x0*y9 + 26216*x6*y8 + 11120*x5*y8 + 646*x4*y8 + 34779*x3*y8 + 46989*x2*y8 + 49057*x1*y8 + 50879*x0*y8 + 26773*x6*y7 + 24372*x5*y7 + 31629*x4*y7 + 48737*x3*y7 + 34285*x2*y7 + 61187*x1*y7 + 37072*x0*y7 + 19502*x6*y6 + 10574*x5*y6 + 13159*x4*y6 + 35317*x3*y6 + 38680*x2*y6 + 27551*x1*y6 + 24519*x0*y6 + 53892*x6*y5 + 1037*x5*y5 + 17017*x4*y5 + 22944*x3*y5 + 11066*x2*y5 + 29201*x1*y5 + 792*x0*y5 + 60775*x6*y4 + 44789*x5*y4 + 16273*x4*y4 + 58214*x3*y4 + 4075*x2*y4 + 15121*x1*y4 + 13713*x0*y4 + 39894*x6*y3 + 16661*x5*y3 + 46281*x4*y3 + 8047*x3*y3 + 62868*x2*y3 + 58930*x1*y3 + 36098*x0*y3 + 1322*x6*y2 + 4788*x5*y2 + 56854*x4*y2 + 25982*x3*y2 + 39887*x2*y2 + 23271*x1*y2 + 54004*x0*y2 + 62913*x6*y1 + 58194*x5*y1 + 24062*x4*y1 + 49037*x3*y1 + 14793*x2*y1 + 41649*x1*y1 + 49719*x0*y1 + 57001*x6*y0 + 16326*x5*y0 + 34190*x4*y0 + 32168*x3*y0 + 17921*x2*y0 + 7574*x1*y0 + 37855*x0*y0,
30654*x6*y19 + 40249*x5*y19 + 31972*x4*y19 + 755*x3*y19 + 30418*x2*y19 + 27226*x1*y19 + 58181*x0*y19 + 2470*x6*y18 + 8660*x5*y18 + 37848*x4*y18 + 53455*x3*y18 + 58321*x2*y18 + 47735*x1*y18 + 57118*x0*y18 + 40348*x6*y17 + 31680*x5*y17 + 22072*x4*y17 + 59800*x3*y17 + 1449*x2*y17 + 32222*x1*y17 + 58474*x0*y17 + 39290*x6*y16 + 39096*x5*y16 + 46939*x4*y16 + 60855*x3*y16 + 25460*x2*y16 + 62452*x1*y16 + 29577*x0*y16 + 28343*x6*y15 + 61238*x5*y15 + 57878*x4*y15 + 16226*x3*y15 + 54257*x2*y15 + 42754*x1*y15 + 30001*x0*y15 + 49132*x6*y14 + 62380*x5*y14 + 6290*x4*y14 + 47088*x3*y14 + 2426*x2*y14 + 7060*x1*y14 + 52894*x0*y14 + 34445*x6*y13 + 62314*x5*y13 + 24793*x4*y13 + 18193*x3*y13 + 55966*x2*y13 + 58411*x1*y13 + 47020*x0*y13 + 10304*x6*y12 + 47274*x5*y12 + 16251*x4*y12 + 13802*x3*y12 + 48634*x2*y12 + 21940*x1*y12 + 39933*x0*y12 + 17313*x6*y11 + 25904*x5*y11 + 11054*x4*y11 + 17100*x3*y11 + 54799*x2*y11 + 16358*x1*y11 + 40362*x0*y11 + 26865*x6*y10 + 60598*x5*y10 + 50272*x4*y10 + 38118*x3*y10 + 40565*x2*y10 + 64539*x1*y10 + 52414*x0*y10 + 30516*x6*y9 + 15357*x5*y9 + 30571*x4*y9 + 10892*x3*y9 + 10399*x2*y9 + 55577*x1*y9 + 20881*x0*y9 + 23451*x6*y8 + 25260*x5*y8 + 55777*x4*y8 + 13486*x3*y8 + 43800*x2*y8 + 21622*x1*y8 + 57194*x0*y8 + 19371*x6*y7 + 9474*x5*y7 + 17398*x4*y7 + 50303*x3*y7 + 5075*x2*y7 + 5245*x1*y7 + 17542*x0*y7 + 54971*x6*y6 + 56164*x5*y6 + 36996*x4*y6 + 11089*x3*y6 + 27826*x2*y6 + 20498*x1*y6 + 5312*x0*y6 + 35199*x6*y5 + 27496*x5*y5 + 43116*x4*y5 + 18211*x3*y5 + 40861*x2*y5 + 3732*x1*y5 + 2962*x0*y5 + 19068*x6*y4 + 58083*x5*y4 + 24988*x4*y4 + 1606*x3*y4 + 64604*x2*y4 + 2760*x1*y4 + 32046*x0*y4 + 23690*x6*y3 + 60799*x5*y3 + 41423*x4*y3 + 26278*x3*y3 + 24667*x2*y3 + 49968*x1*y3 + 43616*x0*y3 + 31896*x6*y2 + 45827*x5*y2 + 57132*x4*y2 + 43775*x3*y2 + 443*x2*y2 + 46074*x1*y2 + 53787*x0*y2 + 41306*x6*y1 + 1258*x5*y1 + 63789*x4*y1 + 13445*x3*y1 + 46419*x2*y1 + 63403*x1*y1 + 11762*x0*y1 + 9332*x6*y0 + 22870*x5*y0 + 41653*x4*y0 + 19004*x3*y0 + 17529*x2*y0 + 28531*x1*y0 + 47828*x0*y0,
48735*x6*y19 + 7034*x5*y19 + 50134*x4*y19 + 7419*x3*y19 + 10978*x2*y19 + 19519*x1*y19 + 11050*x0*y19 + 53366*x6*y18 + 30829*x5*y18 + 57616*x4*y18 + 32054*x3*y18 + 12276*x2*y18 + 31322*x1*y18 + 20282*x0*y18 + 27714*x6*y17 + 35559*x5*y17 + 44165*x4*y17 + 14286*x3*y17 + 6878*x2*y17 + 3686*x1*y17 + 35875*x0*y17 + 466*x6*y16 + 22402*x5*y16 + 43146*x4*y16 + 156*x3*y16 + 29252*x2*y16 + 46565*x1*y16 + 12249*x0*y16 + 47270*x6*y15 + 50904*x5*y15 + 10088*x4*y15 + 28177*x3*y15 + 49541*x2*y15 + 16536*x1*y15 + 12378*x0*y15 + 22681*x6*y14 + 23177*x5*y14 + 25908*x4*y14 + 50646*x3*y14 + 63853*x2*y14 + 60519*x1*y14 + 22740*x0*y14 + 24747*x6*y13 + 10397*x5*y13 + 45501*x4*y13 + 30175*x3*y13 + 45028*x2*y13 + 24723*x1*y13 + 10843*x0*y13 + 49769*x6*y12 + 32894*x5*y12 + 2423*x4*y12 + 49643*x3*y12 + 13405*x2*y12 + 62481*x1*y12 + 22047*x0*y12 + 29303*x6*y11 + 61277*x5*y11 + 64974*x4*y11 + 53981*x3*y11 + 35859*x2*y11 + 56647*x1*y11 + 20804*x0*y11 + 17702*x6*y10 + 54736*x5*y10 + 8907*x4*y10 + 30877*x3*y10 + 9160*x2*y10 + 11928*x1*y10 + 4757*x0*y10 + 31252*x6*y9 + 33968*x5*y9 + 59404*x4*y9 + 49380*x3*y9 + 35263*x2*y9 + 47590*x1*y9 + 1970*x0*y9 + 26445*x6*y8 + 51240*x5*y8 + 218*x4*y8 + 25761*x3*y8 + 52323*x2*y8 + 17840*x1*y8 + 60912*x0*y8 + 42373*x6*y7 + 21381*x5*y7 + 56074*x4*y7 + 6201*x3*y7 + 3673*x2*y7 + 52225*x1*y7 + 23039*x0*y7 + 10317*x6*y6 + 4838*x5*y6 + 9199*x4*y6 + 10189*x3*y6 + 61591*x2*y6 + 61251*x1*y6 + 11970*x0*y6 + 2009*x6*y5 + 37631*x5*y5 + 26304*x4*y5 + 771*x3*y5 + 54960*x2*y5 + 53835*x1*y5 + 15979*x0*y5 + 2458*x6*y4 + 57698*x5*y4 + 34770*x4*y4 + 3360*x3*y4 + 24345*x2*y4 + 56256*x1*y4 + 26426*x0*y4 + 62209*x6*y3 + 17284*x5*y3 + 5637*x4*y3 + 17225*x3*y3 + 17119*x2*y3 + 25107*x1*y3 + 54241*x0*y3 + 15134*x6*y2 + 58309*x5*y2 + 2286*x4*y2 + 32221*x3*y2 + 58841*x2*y2 + 28648*x1*y2 + 64977*x0*y2 + 13538*x6*y1 + 33575*x5*y1 + 15157*x4*y1 + 34519*x3*y1 + 16779*x2*y1 + 161*x1*y1 + 13927*x0*y1 + 21272*x6*y0 + 44947*x5*y0 + 47453*x4*y0 + 35809*x3*y0 + 17983*x2*y0 + 21940*x1*y0 + 11415*x0*y0,
38155*x6*y19 + 12193*x5*y19 + 20523*x4*y19 + 49403*x3*y19 + 6599*x2*y19 + 34177*x1*y19 + 53007*x0*y19 + 52441*x6*y18 + 51936*x5*y18 + 10604*x4*y18 + 5449*x3*y18 + 21605*x2*y18 + 24898*x1*y18 + 14990*x0*y18 + 36807*x6*y17 + 25963*x5*y17 + 43969*x4*y17 + 16689*x3*y17 + 35924*x2*y17 + 38584*x1*y17 + 34702*x0*y17 + 40329*x6*y16 + 1517*x5*y16 + 5618*x4*y16 + 39474*x3*y16 + 44655*x2*y16 + 11787*x1*y16 + 18869*x0*y16 + 29185*x6*y15 + 29635*x5*y15 + 11582*x4*y15 + 56072*x3*y15 + 29120*x2*y15 + 25332*x1*y15 + 63409*x0*y15 + 61688*x6*y14 + 21120*x5*y14 + 40434*x4*y14 + 28716*x3*y14 + 48829*x2*y14 + 59640*x1*y14 + 14859*x0*y14 + 16905*x6*y13 + 27694*x5*y13 + 30414*x4*y13 + 18594*x3*y13 + 26742*x2*y13 + 10564*x1*y13 + 20867*x0*y13 + 39219*x6*y12 + 18715*x5*y12 + 17369*x4*y12 + 60976*x3*y12 + 22458*x2*y12 + 43848*x1*y12 + 26348*x0*y12 + 28450*x6*y11 + 56911*x5*y11 + 21398*x4*y11 + 1154*x3*y11 + 53111*x2*y11 + 16593*x1*y11 + 57209*x0*y11 + 40186*x6*y10 + 39323*x5*y10 + 48357*x4*y10 + 27070*x3*y10 + 36132*x2*y10 + 35098*x1*y10 + 45717*x0*y10 + 36149*x6*y9 + 10953*x5*y9 + 2071*x4*y9 + 14814*x3*y9 + 43204*x2*y9 + 169*x1*y9 + 811*x0*y9 + 10432*x6*y8 + 18884*x5*y8 + 43740*x4*y8 + 46704*x3*y8 + 13995*x2*y8 + 932*x1*y8 + 19845*x0*y8 + 44888*x6*y7 + 59353*x5*y7 + 21236*x4*y7 + 25177*x3*y7 + 45516*x2*y7 + 51940*x1*y7 + 16154*x0*y7 + 45826*x6*y6 + 4687*x5*y6 + 41521*x4*y6 + 58833*x3*y6 + 13306*x2*y6 + 42672*x1*y6 + 58323*x0*y6 + 38144*x6*y5 + 5379*x5*y5 + 22183*x4*y5 + 37924*x3*y5 + 21000*x2*y5 + 44199*x1*y5 + 41473*x0*y5 + 576*x6*y4 + 55960*x5*y4 + 27007*x4*y4 + 8803*x3*y4 + 1011*x2*y4 + 41621*x1*y4 + 21139*x0*y4 + 63171*x6*y3 + 11780*x5*y3 + 28197*x4*y3 + 25889*x3*y3 + 7010*x2*y3 + 10968*x1*y3 + 28034*x0*y3 + 30576*x6*y2 + 21299*x5*y2 + 15807*x4*y2 + 49168*x3*y2 + 28166*x2*y2 + 27601*x1*y2 + 52672*x0*y2 + 43676*x6*y1 + 34543*x5*y1 + 38539*x4*y1 + 40451*x3*y1 + 1236*x2*y1 + 39627*x1*y1 + 47680*x0*y1 + 52984*x6*y0 + 26034*x5*y0 + 2986*x4*y0 + 29310*x3*y0 + 3554*x2*y0 + 21845*x1*y0 + 8300*x0*y0,
54984*x6*y19 + 50080*x5*y19 + 23108*x4*y19 + 55835*x3*y19 + 2518*x2*y19 + 15344*x1*y19 + 40942*x0*y19 + 53400*x6*y18 + 57661*x5*y18 + 62076*x4*y18 + 17785*x3*y18 + 22858*x2*y18 + 45798*x1*y18 + 27079*x0*y18 + 61572*x6*y17 + 42396*x5*y17 + 55325*x4*y17 + 62445*x3*y17 + 32953*x2*y17 + 41682*x1*y17 + 11249*x0*y17 + 45518*x6*y16 + 60103*x5*y16 + 6183*x4*y16 + 37608*x3*y16 + 36770*x2*y16 + 10140*x1*y16 + 23211*x0*y16 + 38846*x6*y15 + 64992*x5*y15 + 5447*x4*y15 + 21487*x3*y15 + 3090*x2*y15 + 12752*x1*y15 + 29157*x0*y15 + 64076*x6*y14 + 57058*x5*y14 + 59508*x4*y14 + 18324*x3*y14 + 32762*x2*y14 + 10266*x1*y14 + 6067*x0*y14 + 33101*x6*y13 + 21478*x5*y13 + 51497*x4*y13 + 40589*x3*y13 + 7915*x2*y13 + 57283*x1*y13 + 59898*x0*y13 + 41598*x6*y12 + 23086*x5*y12 + 5934*x4*y12 + 13789*x3*y12 + 51438*x2*y12 + 58402*x1*y12 + 61106*x0*y12 + 46649*x6*y11 + 6288*x5*y11 + 18615*x4*y11 + 57826*x3*y11 + 39640*x2*y11 + 35298*x1*y11 + 44260*x0*y11 + 58299*x6*y10 + 5811*x5*y10 + 16975*x4*y10 + 11647*x3*y10 + 6026*x2*y10 + 33574*x1*y10 + 32827*x0*y10 + 26195*x6*y9 + 44597*x5*y9 + 52531*x4*y9 + 32745*x3*y9 + 43019*x2*y9 + 22510*x1*y9 + 48753*x0*y9 + 30055*x6*y8 + 62838*x5*y8 + 54260*x4*y8 + 21347*x3*y8 + 17494*x2*y8 + 29655*x1*y8 + 15454*x0*y8 + 48861*x6*y7 + 1651*x5*y7 + 40942*x4*y7 + 64421*x3*y7 + 6259*x2*y7 + 8771*x1*y7 + 16528*x0*y7 + 46429*x6*y6 + 27783*x5*y6 + 62619*x4*y6 + 41632*x3*y6 + 64800*x2*y6 + 52235*x1*y6 + 56950*x0*y6 + 31098*x6*y5 + 25198*x5*y5 + 32460*x4*y5 + 60472*x3*y5 + 13782*x2*y5 + 56319*x1*y5 + 1347*x0*y5 + 17774*x6*y4 + 25334*x5*y4 + 44960*x4*y4 + 32411*x3*y4 + 17217*x2*y4 + 60160*x1*y4 + 15074*x0*y4 + 1262*x6*y3 + 64877*x5*y3 + 4615*x4*y3 + 53116*x3*y3 + 8123*x2*y3 + 47992*x1*y3 + 11134*x0*y3 + 18736*x6*y2 + 52941*x5*y2 + 41424*x4*y2 + 14242*x3*y2 + 62469*x2*y2 + 13412*x1*y2 + 16399*x0*y2 + 41118*x6*y1 + 41009*x5*y1 + 19468*x4*y1 + 10501*x3*y1 + 64182*x2*y1 + 28479*x1*y1 + 40729*x0*y1 + 51851*x6*y0 + 56726*x5*y0 + 3562*x4*y0 + 34680*x3*y0 + 23022*x2*y0 + 41742*x1*y0 + 19803*x0*y0,
31605*x6*y19 + 9622*x5*y19 + 14704*x4*y19 + 14160*x3*y19 + 30428*x2*y19 + 38426*x1*y19 + 55550*x0*y19 + 39446*x6*y18 + 54438*x5*y18 + 59435*x4*y18 + 5747*x3*y18 + 1795*x2*y18 + 31631*x1*y18 + 40070*x0*y18 + 49665*x6*y17 + 26606*x5*y17 + 19576*x4*y17 + 18127*x3*y17 + 59565*x2*y17 + 26801*x1*y17 + 31095*x0*y17 + 64895*x6*y16 + 22260*x5*y16 + 56824*x4*y16 + 13579*x3*y16 + 30314*x2*y16 + 36380*x1*y16 + 48093*x0*y16 + 42442*x6*y15 + 16307*x5*y15 + 23376*x4*y15 + 15005*x3*y15 + 58481*x2*y15 + 64751*x1*y15 + 53015*x0*y15 + 36359*x6*y14 + 61870*x5*y14 + 62381*x4*y14 + 19193*x3*y14 + 41864*x2*y14 + 35186*x1*y14 + 48373*x0*y14 + 16901*x6*y13 + 41661*x5*y13 + 20195*x4*y13 + 23788*x3*y13 + 41307*x2*y13 + 9156*x1*y13 + 30617*x0*y13 + 33796*x6*y12 + 10963*x5*y12 + 52125*x4*y12 + 3064*x3*y12 + 30631*x2*y12 + 44495*x1*y12 + 9693*x0*y12 + 47914*x6*y11 + 20421*x5*y11 + 18318*x4*y11 + 3578*x3*y11 + 20060*x2*y11 + 24597*x1*y11 + 9079*x0*y11 + 53684*x6*y10 + 21550*x5*y10 + 33791*x4*y10 + 41358*x3*y10 + 329*x2*y10 + 38291*x1*y10 + 40402*x0*y10 + 51827*x6*y9 + 32076*x5*y9 + 33712*x4*y9 + 53378*x3*y9 + 61000*x2*y9 + 10277*x1*y9 + 46131*x0*y9 + 50766*x6*y8 + 22559*x5*y8 + 10858*x4*y8 + 4189*x3*y8 + 31805*x2*y8 + 47899*x1*y8 + 15912*x0*y8 + 24748*x6*y7 + 24261*x5*y7 + 47468*x4*y7 + 56567*x3*y7 + 33959*x2*y7 + 41391*x1*y7 + 44525*x0*y7 + 8355*x6*y6 + 16314*x5*y6 + 21741*x4*y6 + 25974*x3*y6 + 14419*x2*y6 + 1248*x1*y6 + 47461*x0*y6 + 11549*x6*y5 + 39101*x5*y5 + 57954*x4*y5 + 46224*x3*y5 + 34855*x2*y5 + 19225*x1*y5 + 57343*x0*y5 + 17975*x6*y4 + 49445*x5*y4 + 34595*x4*y4 + 21175*x3*y4 + 24035*x2*y4 + 1446*x1*y4 + 59133*x0*y4 + 62036*x6*y3 + 7910*x5*y3 + 42627*x4*y3 + 62886*x3*y3 + 60326*x2*y3 + 55109*x1*y3 + 2302*x0*y3 + 27782*x6*y2 + 22251*x5*y2 + 30522*x4*y2 + 51033*x3*y2 + 758*x2*y2 + 26184*x1*y2 + 19561*x0*y2 + 60500*x6*y1 + 42553*x5*y1 + 24762*x4*y1 + 1532*x3*y1 + 12158*x2*y1 + 46635*x1*y1 + 17504*x0*y1 + 21321*x6*y0 + 43864*x5*y0 + 57466*x4*y0 + 14437*x3*y0 + 15225*x2*y0 + 5221*x1*y0 + 20128*x0*y0,
49996*x6*y19 + 9604*x5*y19 + 45251*x4*y19 + 47380*x3*y19 + 53968*x2*y19 + 62294*x1*y19 + 34744*x0*y19 + 38456*x6*y18 + 23456*x5*y18 + 32190*x4*y18 + 56478*x3*y18 + 50994*x2*y18 + 12392*x1*y18 + 30505*x0*y18 + 34849*x6*y17 + 29051*x5*y17 + 38077*x4*y17 + 11244*x3*y17 + 987*x2*y17 + 12602*x1*y17 + 17332*x0*y17 + 13157*x6*y16 + 61609*x5*y16 + 23748*x4*y16 + 2626*x3*y16 + 62467*x2*y16 + 48994*x1*y16 + 51260*x0*y16 + 60453*x6*y15 + 46782*x5*y15 + 28501*x4*y15 + 18375*x3*y15 + 8177*x2*y15 + 52706*x1*y15 + 3568*x0*y15 + 45894*x6*y14 + 42889*x5*y14 + 5554*x4*y14 + 13523*x3*y14 + 29141*x2*y14 + 21627*x1*y14 + 4654*x0*y14 + 13211*x6*y13 + 40936*x5*y13 + 57948*x4*y13 + 48084*x3*y13 + 43746*x2*y13 + 43360*x1*y13 + 14367*x0*y13 + 42026*x6*y12 + 2110*x5*y12 + 30348*x4*y12 + 22358*x3*y12 + 45735*x2*y12 + 63604*x1*y12 + 28031*x0*y12 + 3842*x6*y11 + 12130*x5*y11 + 27784*x4*y11 + 19600*x3*y11 + 189*x2*y11 + 44362*x1*y11 + 49007*x0*y11 + 60712*x6*y10 + 17241*x5*y10 + 31405*x4*y10 + 60248*x3*y10 + 6063*x2*y10 + 39076*x1*y10 + 1486*x0*y10 + 37557*x6*y9 + 21340*x5*y9 + 58595*x4*y9 + 60744*x3*y9 + 43712*x2*y9 + 43583*x1*y9 + 64537*x0*y9 + 8713*x6*y8 + 37228*x5*y8 + 12955*x4*y8 + 8040*x3*y8 + 38152*x2*y8 + 61296*x1*y8 + 42571*x0*y8 + 38715*x6*y7 + 11778*x5*y7 + 63434*x4*y7 + 63167*x3*y7 + 14811*x2*y7 + 44466*x1*y7 + 42650*x0*y7 + 37806*x6*y6 + 51726*x5*y6 + 54011*x4*y6 + 50498*x3*y6 + 9746*x2*y6 + 22915*x1*y6 + 43413*x0*y6 + 60517*x6*y5 + 10371*x5*y5 + 50315*x4*y5 + 8741*x3*y5 + 24908*x2*y5 + 13046*x1*y5 + 49279*x0*y5 + 22819*x6*y4 + 59663*x5*y4 + 36900*x4*y4 + 11719*x3*y4 + 49526*x2*y4 + 11384*x1*y4 + 37974*x0*y4 + 58494*x6*y3 + 57249*x5*y3 + 21087*x4*y3 + 30556*x3*y3 + 12702*x2*y3 + 47846*x1*y3 + 30954*x0*y3 + 30257*x6*y2 + 21146*x5*y2 + 61406*x4*y2 + 39284*x3*y2 + 47557*x2*y2 + 9336*x1*y2 + 8716*x0*y2 + 25289*x6*y1 + 12119*x5*y1 + 40813*x4*y1 + 154*x3*y1 + 43677*x2*y1 + 42843*x1*y1 + 48302*x0*y1 + 36149*x6*y0 + 54113*x5*y0 + 8969*x4*y0 + 26321*x3*y0 + 54211*x2*y0 + 40145*x1*y0 + 20930*x0*y0,
45162*x6*y19 + 10726*x5*y19 + 38904*x4*y19 + 5913*x3*y19 + 18037*x2*y19 + 11936*x1*y19 + 50176*x0*y19 + 41925*x6*y18 + 3935*x5*y18 + 30324*x4*y18 + 14377*x3*y18 + 29468*x2*y18 + 17693*x1*y18 + 18278*x0*y18 + 6176*x6*y17 + 2989*x5*y17 + 19726*x4*y17 + 54847*x3*y17 + 38209*x2*y17 + 3412*x1*y17 + 32838*x0*y17 + 47358*x6*y16 + 40589*x5*y16 + 11634*x4*y16 + 46726*x3*y16 + 388*x2*y16 + 24690*x1*y16 + 48242*x0*y16 + 5802*x6*y15 + 36718*x5*y15 + 25833*x4*y15 + 48053*x3*y15 + 48733*x2*y15 + 16144*x1*y15 + 58721*x0*y15 + 42220*x6*y14 + 64571*x5*y14 + 17011*x4*y14 + 15435*x3*y14 + 64525*x2*y14 + 7952*x1*y14 + 14292*x0*y14 + 49512*x6*y13 + 13099*x5*y13 + 64074*x4*y13 + 45890*x3*y13 + 11459*x2*y13 + 8014*x1*y13 + 3927*x0*y13 + 33970*x6*y12 + 51672*x5*y12 + 925*x4*y12 + 42419*x3*y12 + 55208*x2*y12 + 45465*x1*y12 + 55644*x0*y12 + 36413*x6*y11 + 30051*x5*y11 + 25467*x4*y11 + 11527*x3*y11 + 12561*x2*y11 + 55961*x1*y11 + 58425*x0*y11 + 53696*x6*y10 + 59936*x5*y10 + 4714*x4*y10 + 39280*x3*y10 + 115*x2*y10 + 4362*x1*y10 + 13162*x0*y10 + 11271*x6*y9 + 29222*x5*y9 + 63887*x4*y9 + 13621*x3*y9 + 64585*x2*y9 + 56003*x1*y9 + 25633*x0*y9 + 3705*x6*y8 + 56744*x5*y8 + 30676*x4*y8 + 31806*x3*y8 + 62061*x2*y8 + 56009*x1*y8 + 11830*x0*y8 + 58026*x6*y7 + 15677*x5*y7 + 18516*x4*y7 + 17369*x3*y7 + 45276*x2*y7 + 33702*x1*y7 + 31752*x0*y7 + 8951*x6*y6 + 32242*x5*y6 + 55314*x4*y6 + 30514*x3*y6 + 22593*x2*y6 + 51816*x1*y6 + 52102*x0*y6 + 30377*x6*y5 + 46518*x5*y5 + 6693*x4*y5 + 784*x3*y5 + 26713*x2*y5 + 21770*x1*y5 + 43486*x0*y5 + 30696*x6*y4 + 52667*x5*y4 + 6808*x4*y4 + 16985*x3*y4 + 43463*x2*y4 + 4398*x1*y4 + 20655*x0*y4 + 35018*x6*y3 + 37192*x5*y3 + 26879*x4*y3 + 48267*x3*y3 + 51989*x2*y3 + 62333*x1*y3 + 63981*x0*y3 + 45339*x6*y2 + 54674*x5*y2 + 13799*x4*y2 + 11665*x3*y2 + 28429*x2*y2 + 56156*x1*y2 + 16027*x0*y2 + 41111*x6*y1 + 27791*x5*y1 + 48881*x4*y1 + 53149*x3*y1 + 50016*x2*y1 + 49292*x1*y1 + 29535*x0*y1 + 51832*x6*y0 + 16208*x5*y0 + 44486*x4*y0 + 25769*x3*y0 + 38592*x2*y0 + 46*x1*y0 + 47128*x0*y0
]