#C generated from Maple #vars [y0, y1, y2, y3, y4, y5, y6, y7, y8, y9, y10, y11, y12, y13, y14, y15, y16, y17, y18, y19, y20, y21, y22, y23, y24, y25, y26, y27, y28] #modulo 65309 #list [4323*y0+47636*y0^2+2138*y12*y17+20566*y13*y16+50116*y14*y15+51435*y8*y21+3945*y9*y20+9815*y10*y19+32430*y11*y18+48748*y4*y25+20938*y5*y24+33810*y6*y23+54811*y7*y22+23604*y1*y28+27434*y2*y27+38178*y3*y26, 24998*y28+7626*y28*y0+6027*y12*y16+23870*y13*y15+37627*y14^2+59610*y8*y20+62040*y9*y19+42444*y10*y18+5836*y11*y17+3959*y4*y24+16197*y5*y23+32818*y6*y22+3867*y7*y21+56187*y1*y27+60058*y2*y26+36373*y3*y25, 12939*y27+24644*y27*y0+61615*y28^2+55588*y12*y15+58836*y13*y14+45464*y8*y19+36394*y9*y18+50098*y10*y17+44127*y11*y16+22261*y4*y23+6983*y5*y22+65227*y6*y21+12081*y7*y20+3879*y1*y26+6060*y2*y25+6101*y3*y24, 56850*y26+9338*y26*y0+36467*y27*y28+40894*y12*y14+58908*y13^2+3612*y8*y18+48244*y9*y17+37550*y10*y16+21118*y11*y15+45653*y4*y22+35843*y5*y21+30093*y6*y20+42733*y7*y19+48482*y1*y25+18900*y2*y24+6014*y3*y23, 21441*y25+32630*y25*y0+45900*y26*y28+34841*y27^2+61335*y12*y13+35413*y8*y17+22793*y9*y16+61677*y10*y15+8134*y11*y14+64757*y5*y20+55570*y6*y19+15996*y7*y18+14122*y1*y24+41046*y2*y23+26935*y3*y22+31428*y4*y21, 38419*y24+64699*y25*y28+20743*y26*y27+13826*y24*y0+1485*y12^2+41454*y8*y16+13473*y9*y15+3710*y10*y14+1982*y11*y13+35024*y5*y19+26514*y6*y18+26211*y7*y17+26*y1*y23+46135*y2*y22+1071*y3*y21+46708*y4*y20, 34071*y23+33261*y25*y27+64482*y26^2+5686*y23*y0+11030*y24*y28+6412*y8*y15+7348*y9*y14+14955*y10*y13+29612*y11*y12+17952*y5*y18+37444*y6*y17+52964*y7*y16+19164*y1*y22+47164*y2*y21+56951*y3*y20+8444*y4*y19, 9173*y22+17580*y25*y26+41386*y22*y0+25613*y23*y28+275*y24*y27+2513*y8*y14+15713*y9*y13+54198*y10*y12+51351*y11^2+30200*y5*y17+21795*y6*y16+28396*y7*y15+2372*y1*y21+17387*y2*y20+2158*y3*y19+34193*y4*y18, 28753*y21+18238*y25^2+9474*y22*y28+59168*y23*y27+35430*y24*y26+21385*y21*y0+15675*y8*y13+29079*y9*y12+26610*y10*y11+63262*y5*y16+59218*y6*y15+11129*y7*y14+26309*y1*y20+13686*y2*y19+50334*y3*y18+50333*y4*y17, 30447*y20+15098*y22*y27+9148*y23*y26+65265*y24*y25+26479*y20*y0+641*y21*y28+17242*y8*y12+54816*y9*y11+40915*y10^2+1492*y5*y15+45026*y6*y14+60088*y7*y13+26854*y1*y19+19486*y2*y18+14302*y3*y17+31706*y4*y16, 38788*y19+31024*y22*y26+11432*y23*y25+5751*y24^2+65286*y19*y0+47501*y20*y28+2414*y21*y27+20489*y8*y11+11738*y9*y10+27678*y5*y14+52466*y6*y13+39038*y7*y12+50193*y1*y18+941*y2*y17+50642*y3*y16+2478*y4*y15, 40557*y18+31545*y22*y25+39534*y23*y24+4911*y18*y0+59405*y19*y28+2931*y20*y27+30776*y21*y26+54196*y8*y10+45282*y9^2+31474*y5*y13+15909*y6*y12+25428*y7*y11+23931*y1*y17+1889*y2*y16+45307*y3*y15+14803*y4*y14, 3879*y17+56999*y22*y24+23585*y23^2+39638*y18*y28+52550*y19*y27+58199*y20*y26+23125*y21*y25+43972*y17*y0+16823*y8*y9+7801*y5*y12+25098*y6*y11+34754*y7*y10+51302*y1*y16+24466*y2*y15+57042*y3*y14+35290*y4*y13, 39435*y16+33578*y22*y23+63692*y18*y27+13838*y19*y26+28267*y20*y25+19746*y21*y24+46490*y16*y0+25878*y17*y28+21066*y8^2+39561*y5*y11+50453*y6*y10+65172*y7*y9+34425*y1*y15+7735*y2*y14+63407*y3*y13+20923*y4*y12, 35545*y15+41431*y22^2+26784*y18*y26+56901*y19*y25+64881*y20*y24+23104*y21*y23+33019*y15*y0+64580*y16*y28+27053*y17*y27+4218*y5*y10+3178*y6*y9+27977*y7*y8+13278*y1*y14+2222*y2*y13+60617*y3*y12+52836*y4*y11, 62770*y14+60343*y18*y25+54605*y19*y24+39956*y20*y23+54109*y21*y22+19738*y15*y28+35360*y16*y27+45407*y17*y26+40248*y14*y0+50849*y5*y9+58450*y6*y8+1305*y7^2+361*y1*y13+39063*y2*y12+41749*y3*y11+40623*y4*y10, 53578*y13+39475*y18*y24+44053*y19*y23+51548*y20*y22+49144*y21^2+50288*y15*y27+55270*y16*y26+42694*y17*y25+33734*y13*y0+63776*y14*y28+15426*y5*y8+62923*y6*y7+14488*y1*y12+13583*y2*y11+28372*y3*y10+45145*y4*y9, 35752*y12+26948*y19*y22+23079*y20*y21+5020*y15*y26+20466*y16*y25+30988*y17*y24+20939*y18*y23+58701*y12*y0+21546*y13*y28+53932*y14*y27+12336*y5*y7+14803*y6^2+32216*y1*y11+60938*y2*y10+11058*y3*y9+3734*y4*y8, 1857*y11+15045*y19*y21+9831*y20^2+65100*y15*y25+52837*y16*y24+41133*y17*y23+35801*y18*y22+22162*y11*y0+50061*y12*y28+57912*y13*y27+39898*y14*y26+15597*y5*y6+53812*y1*y10+56511*y2*y9+36223*y3*y8+35196*y4*y7, 17933*y10+13208*y19*y20+21980*y15*y24+28437*y16*y23+60023*y17*y22+61534*y18*y21+1327*y11*y28+14304*y12*y27+6446*y13*y26+35781*y14*y25+22698*y10*y0+25099*y5^2+14795*y1*y9+60007*y2*y8+39128*y3*y7+64512*y4*y6, 43686*y9+40037*y19^2+24514*y15*y23+6115*y16*y22+35006*y17*y21+5129*y18*y20+1839*y11*y27+48659*y12*y26+48206*y13*y25+24300*y14*y24+50483*y9*y0+25335*y10*y28+53455*y1*y8+23169*y2*y7+33843*y3*y6+5106*y4*y5, 49977*y8+58491*y15*y22+12112*y16*y21+17505*y17*y20+44653*y18*y19+51690*y11*y26+60408*y12*y25+56585*y13*y24+15454*y14*y23+50124*y8*y0+13387*y9*y28+15227*y10*y27+59462*y1*y7+5994*y2*y6+48763*y3*y5+12557*y4^2, 6740*y7+61139*y15*y21+56586*y16*y20+8092*y17*y19+47216*y18^2+23217*y11*y25+25452*y12*y24+52085*y13*y23+21997*y14*y22+17777*y8*y28+49804*y9*y27+64268*y10*y26+7391*y7*y0+43297*y2*y5+44657*y3*y4+62697*y1*y6, 58647*y6+63276*y15*y20+27210*y16*y19+24167*y17*y18+49131*y11*y24+60500*y12*y23+44221*y13*y22+23320*y14*y21+26703*y8*y27+21034*y9*y26+28912*y10*y25+31628*y6*y0+60067*y7*y28+18770*y2*y4+23101*y3^2+42628*y1*y5, 41615*y5+14465*y15*y19+5414*y16*y18+16646*y17^2+5751*y11*y23+27297*y12*y22+19364*y13*y21+3695*y14*y20+24063*y8*y26+54728*y9*y25+6110*y10*y24+63609*y5*y0+9096*y6*y28+62277*y7*y27+44366*y2*y3+34205*y1*y4, 28583*y4+40561*y15*y18+7769*y16*y17+23458*y12*y21+47373*y13*y20+36256*y14*y19+42750*y8*y25+20023*y9*y24+15550*y10*y23+23987*y11*y22+65287*y4*y0+34978*y5*y28+14082*y6*y27+22596*y7*y26+28406*y2^2+54823*y1*y3, 8960*y3+16575*y15*y17+15120*y16^2+29510*y12*y20+1271*y13*y19+53043*y14*y18+46035*y8*y24+4569*y9*y23+57590*y10*y22+27315*y11*y21+34106*y4*y28+39418*y5*y27+35494*y6*y26+21384*y7*y25+2655*y3*y0+32097*y1*y2, 34308*y2+6067*y15*y16+36717*y12*y19+6887*y13*y18+57189*y14*y17+56126*y8*y23+46993*y9*y22+57197*y10*y21+59597*y11*y20+21870*y4*y27+17618*y5*y26+42157*y6*y25+26602*y7*y24+31304*y2*y0+34116*y3*y28+12292*y1^2, 38199*y1+19548*y15^2+22758*y12*y18+46132*y13*y17+49078*y14*y16+58725*y8*y22+55122*y9*y21+55622*y10*y20+1803*y11*y19+33113*y4*y26+14592*y5*y25+2155*y6*y24+52631*y7*y23+36065*y1*y0+42347*y2*y28+50232*y3*y27, 65280*y0+29*y0^2+58*y12*y17+58*y13*y16+58*y14*y15+58*y8*y21+58*y9*y20+58*y10*y19+58*y11*y18+58*y4*y25+58*y5*y24+58*y6*y23+58*y7*y22+58*y1*y28+58*y2*y27+58*y3*y26, 65280*y28+58*y28*y0+58*y12*y16+58*y13*y15+29*y14^2+58*y8*y20+58*y9*y19+58*y10*y18+58*y11*y17+58*y4*y24+58*y5*y23+58*y6*y22+58*y7*y21+58*y1*y27+58*y2*y26+58*y3*y25, 65280*y27+58*y27*y0+29*y28^2+58*y12*y15+58*y13*y14+58*y8*y19+58*y9*y18+58*y10*y17+58*y11*y16+58*y4*y23+58*y5*y22+58*y6*y21+58*y7*y20+58*y1*y26+58*y2*y25+58*y3*y24, 65280*y26+58*y26*y0+58*y27*y28+58*y12*y14+29*y13^2+58*y8*y18+58*y9*y17+58*y10*y16+58*y11*y15+58*y4*y22+58*y5*y21+58*y6*y20+58*y7*y19+58*y1*y25+58*y2*y24+58*y3*y23, 65280*y25+58*y25*y0+58*y26*y28+29*y27^2+58*y12*y13+58*y8*y17+58*y9*y16+58*y10*y15+58*y11*y14+58*y5*y20+58*y6*y19+58*y7*y18+58*y1*y24+58*y2*y23+58*y3*y22+58*y4*y21, 65280*y24+58*y25*y28+58*y26*y27+58*y24*y0+29*y12^2+58*y8*y16+58*y9*y15+58*y10*y14+58*y11*y13+58*y5*y19+58*y6*y18+58*y7*y17+58*y1*y23+58*y2*y22+58*y3*y21+58*y4*y20, 65280*y23+58*y25*y27+29*y26^2+58*y23*y0+58*y24*y28+58*y8*y15+58*y9*y14+58*y10*y13+58*y11*y12+58*y5*y18+58*y6*y17+58*y7*y16+58*y1*y22+58*y2*y21+58*y3*y20+58*y4*y19, 65280*y22+58*y25*y26+58*y22*y0+58*y23*y28+58*y24*y27+58*y8*y14+58*y9*y13+58*y10*y12+29*y11^2+58*y5*y17+58*y6*y16+58*y7*y15+58*y1*y21+58*y2*y20+58*y3*y19+58*y4*y18, 65280*y21+29*y25^2+58*y22*y28+58*y23*y27+58*y24*y26+58*y21*y0+58*y8*y13+58*y9*y12+58*y10*y11+58*y5*y16+58*y6*y15+58*y7*y14+58*y1*y20+58*y2*y19+58*y3*y18+58*y4*y17, 65280*y20+58*y22*y27+58*y23*y26+58*y24*y25+58*y20*y0+58*y21*y28+58*y8*y12+58*y9*y11+29*y10^2+58*y5*y15+58*y6*y14+58*y7*y13+58*y1*y19+58*y2*y18+58*y3*y17+58*y4*y16, 65280*y19+58*y22*y26+58*y23*y25+29*y24^2+58*y19*y0+58*y20*y28+58*y21*y27+58*y8*y11+58*y9*y10+58*y5*y14+58*y6*y13+58*y7*y12+58*y1*y18+58*y2*y17+58*y3*y16+58*y4*y15, 65280*y18+58*y22*y25+58*y23*y24+58*y18*y0+58*y19*y28+58*y20*y27+58*y21*y26+58*y8*y10+29*y9^2+58*y5*y13+58*y6*y12+58*y7*y11+58*y1*y17+58*y2*y16+58*y3*y15+58*y4*y14, 65280*y17+58*y22*y24+29*y23^2+58*y18*y28+58*y19*y27+58*y20*y26+58*y21*y25+58*y17*y0+58*y8*y9+58*y5*y12+58*y6*y11+58*y7*y10+58*y1*y16+58*y2*y15+58*y3*y14+58*y4*y13, 65280*y16+58*y22*y23+58*y18*y27+58*y19*y26+58*y20*y25+58*y21*y24+58*y16*y0+58*y17*y28+29*y8^2+58*y5*y11+58*y6*y10+58*y7*y9+58*y1*y15+58*y2*y14+58*y3*y13+58*y4*y12, 65280*y15+29*y22^2+58*y18*y26+58*y19*y25+58*y20*y24+58*y21*y23+58*y15*y0+58*y16*y28+58*y17*y27+58*y5*y10+58*y6*y9+58*y7*y8+58*y1*y14+58*y2*y13+58*y3*y12+58*y4*y11, 65280*y14+58*y18*y25+58*y19*y24+58*y20*y23+58*y21*y22+58*y15*y28+58*y16*y27+58*y17*y26+58*y14*y0+58*y5*y9+58*y6*y8+29*y7^2+58*y1*y13+58*y2*y12+58*y3*y11+58*y4*y10, 65280*y13+58*y18*y24+58*y19*y23+58*y20*y22+29*y21^2+58*y15*y27+58*y16*y26+58*y17*y25+58*y13*y0+58*y14*y28+58*y5*y8+58*y6*y7+58*y1*y12+58*y2*y11+58*y3*y10+58*y4*y9, 65280*y12+58*y19*y22+58*y20*y21+58*y15*y26+58*y16*y25+58*y17*y24+58*y18*y23+58*y12*y0+58*y13*y28+58*y14*y27+58*y5*y7+29*y6^2+58*y1*y11+58*y2*y10+58*y3*y9+58*y4*y8, 65280*y11+58*y19*y21+29*y20^2+58*y15*y25+58*y16*y24+58*y17*y23+58*y18*y22+58*y11*y0+58*y12*y28+58*y13*y27+58*y14*y26+58*y5*y6+58*y1*y10+58*y2*y9+58*y3*y8+58*y4*y7, 65280*y10+58*y19*y20+58*y15*y24+58*y16*y23+58*y17*y22+58*y18*y21+58*y11*y28+58*y12*y27+58*y13*y26+58*y14*y25+58*y10*y0+29*y5^2+58*y1*y9+58*y2*y8+58*y3*y7+58*y4*y6, 65280*y9+29*y19^2+58*y15*y23+58*y16*y22+58*y17*y21+58*y18*y20+58*y11*y27+58*y12*y26+58*y13*y25+58*y14*y24+58*y9*y0+58*y10*y28+58*y1*y8+58*y2*y7+58*y3*y6+58*y4*y5, 65280*y8+58*y15*y22+58*y16*y21+58*y17*y20+58*y18*y19+58*y11*y26+58*y12*y25+58*y13*y24+58*y14*y23+58*y8*y0+58*y9*y28+58*y10*y27+58*y1*y7+58*y2*y6+58*y3*y5+29*y4^2, 65280*y7+58*y15*y21+58*y16*y20+58*y17*y19+29*y18^2+58*y11*y25+58*y12*y24+58*y13*y23+58*y14*y22+58*y8*y28+58*y9*y27+58*y10*y26+58*y7*y0+58*y2*y5+58*y3*y4+58*y1*y6, 65280*y6+58*y15*y20+58*y16*y19+58*y17*y18+58*y11*y24+58*y12*y23+58*y13*y22+58*y14*y21+58*y8*y27+58*y9*y26+58*y10*y25+58*y6*y0+58*y7*y28+58*y2*y4+29*y3^2+58*y1*y5, 65280*y5+58*y15*y19+58*y16*y18+29*y17^2+58*y11*y23+58*y12*y22+58*y13*y21+58*y14*y20+58*y8*y26+58*y9*y25+58*y10*y24+58*y5*y0+58*y6*y28+58*y7*y27+58*y2*y3+58*y1*y4, 65280*y4+58*y15*y18+58*y16*y17+58*y12*y21+58*y13*y20+58*y14*y19+58*y8*y25+58*y9*y24+58*y10*y23+58*y11*y22+58*y4*y0+58*y5*y28+58*y6*y27+58*y7*y26+29*y2^2+58*y1*y3, 65280*y3+58*y15*y17+29*y16^2+58*y12*y20+58*y13*y19+58*y14*y18+58*y8*y24+58*y9*y23+58*y10*y22+58*y11*y21+58*y4*y28+58*y5*y27+58*y6*y26+58*y7*y25+58*y3*y0+58*y1*y2, 65280*y2+58*y15*y16+58*y12*y19+58*y13*y18+58*y14*y17+58*y8*y23+58*y9*y22+58*y10*y21+58*y11*y20+58*y4*y27+58*y5*y26+58*y6*y25+58*y7*y24+58*y2*y0+58*y3*y28+29*y1^2, 65280*y1+29*y15^2+58*y12*y18+58*y13*y17+58*y14*y16+58*y8*y22+58*y9*y21+58*y10*y20+58*y11*y19+58*y4*y26+58*y5*y25+58*y6*y24+58*y7*y23+58*y1*y0+58*y2*y28+58*y3*y27]