#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] #coeffring modulo <65521> #list [65476*y0+41035*y0^2+6*y12^2+55403*y9*y15+50569*y10*y14+50365*y11*y13+27*y8*y16+33662*y7*y17+49757*y3*y21+84*y4*y20+2003*y5*y19+24*y6*y18+45492*y1*y23+15144*y2*y22, 31171*y23+30531*y23*y0+20343*y9*y14+62943*y10*y13+5226*y11*y12+4899*y8*y15+36414*y7*y16+54606*y3*y20+9007*y4*y19+48031*y5*y18+52045*y6*y17+24487*y1*y22+17228*y2*y21, 28979*y22+38751*y22*y0+55448*y23^2+7057*y9*y13+22418*y10*y12+56865*y11^2+44669*y8*y14+55018*y7*y15+424*y3*y19+7023*y4*y18+58006*y5*y17+43940*y6*y16+37427*y1*y21+36418*y2*y20, 5952*y21+43201*y21*y0+29959*y22*y23+58289*y9*y12+410*y10*y11+63328*y8*y13+7952*y7*y14+2382*y3*y18+20606*y4*y17+18494*y5*y16+51908*y6*y15+28055*y1*y20+12704*y2*y19, 7014*y20+65512*y22^2+6458*y20*y0+63381*y21*y23+28161*y10^2+38030*y8*y12+60993*y9*y11+56340*y7*y13+38448*y3*y17+48587*y4*y16+43183*y5*y15+44006*y6*y14+9085*y1*y19+35519*y2*y18, 64114*y19+54417*y19*y0+37372*y20*y23+24485*y21*y22+50773*y8*y11+8585*y9*y10+30531*y7*y12+36659*y3*y16+21467*y4*y15+3157*y5*y14+63871*y6*y13+26623*y1*y18+7226*y2*y17, 29492*y18+63517*y19*y23+1047*y20*y22+34634*y21^2+20447*y18*y0+65295*y8*y10+38890*y9^2+28248*y7*y11+41231*y3*y15+51520*y4*y14+55820*y5*y13+36053*y6*y12+22734*y1*y17+21617*y2*y16, 17055*y17+58445*y19*y22+6331*y20*y21+17945*y17*y0+35719*y18*y23+34777*y8*y9+966*y7*y10+10449*y3*y14+57717*y4*y13+49438*y5*y12+8802*y6*y11+5572*y1*y16+20145*y2*y15, 27473*y16+22859*y19*y21+51451*y20^2+25968*y17*y23+43076*y18*y22+11638*y16*y0+36985*y8^2+11385*y7*y9+58459*y4*y12+39361*y5*y11+8345*y6*y10+64594*y1*y15+37393*y2*y14+40*y3*y13, 56188*y15+62142*y19*y20+55596*y17*y22+16849*y18*y21+51379*y15*y0+16498*y16*y23+16071*y7*y8+3986*y4*y11+61175*y5*y10+46871*y6*y9+62405*y1*y14+64247*y2*y13+23746*y3*y12, 43055*y14+57915*y19^2+7071*y17*y21+6051*y18*y20+51487*y14*y0+15905*y15*y23+65054*y16*y22+26246*y7^2+42249*y4*y10+61101*y5*y9+262*y6*y8+20637*y1*y13+36494*y2*y12+54586*y3*y11, 3576*y13+42216*y17*y20+14676*y18*y19+32824*y14*y23+17187*y15*y22+63761*y16*y21+52111*y13*y0+62688*y4*y9+38391*y5*y8+47586*y6*y7+60973*y1*y12+37055*y2*y11+25609*y3*y10, 12*y12+15072*y17*y19+29480*y18^2+52471*y14*y22+22823*y15*y21+38084*y16*y20+65476*y12*y0+50497*y13*y23+27527*y4*y8+15072*y5*y7+36041*y6^2+50497*y1*y11+13194*y2*y10+16336*y3*y9, 5226*y11+47586*y17*y18+60955*y14*y21+15865*y15*y20+5700*y16*y19+31171*y12*y23+52491*y13*y22+13163*y11*y0+18021*y4*y7+50845*y5*y6+21308*y1*y10+43179*y2*y9+58764*y3*y8, 22418*y10+39275*y17^2+38344*y14*y20+29578*y15*y19+11006*y16*y18+28979*y12*y22+4629*y13*y21+14214*y10*y0+44884*y11*y23+44374*y4*y6+7606*y5^2+54567*y1*y9+54684*y2*y8+38159*y3*y7, 58289*y9+46059*y14*y19+60468*y15*y18+44626*y16*y17+5952*y12*y21+59021*y13*y20+27120*y9*y0+39055*y10*y23+7562*y11*y22+62582*y4*y5+1250*y1*y8+39363*y2*y7+45110*y3*y6, 38030*y8+52617*y15*y17+61283*y16^2+7014*y12*y20+39361*y13*y19+42104*y14*y18+62485*y9*y23+28176*y10*y22+36777*y11*y21+21190*y8*y0+14082*y4^2+25968*y1*y7+37469*y2*y6+50390*y3*y5, 30531*y7+41861*y15*y16+64114*y12*y19+8802*y13*y18+11685*y14*y17+51270*y9*y22+46279*y10*y21+40631*y11*y20+35027*y8*y23+32931*y7*y0+29802*y1*y6+343*y2*y5+46973*y3*y4, 36053*y6+1145*y15^2+29492*y12*y18+37273*y13*y17+54551*y14*y16+16583*y9*y21+64642*y10*y20+9701*y11*y19+55280*y8*y22+42787*y7*y23+44984*y6*y0+2004*y1*y5+14169*y2*y4+27250*y3^2, 49438*y5+17055*y12*y17+62350*y13*y16+11585*y14*y15+31761*y9*y20+25090*y10*y19+1650*y11*y18+58353*y8*y21+35076*y7*y22+43931*y5*y0+26623*y6*y23+55658*y1*y4+33242*y2*y3, 58459*y4+27473*y12*y16+36169*y13*y15+52408*y14^2+61700*y9*y19+36491*y10*y18+56340*y11*y17+16916*y8*y20+8025*y7*y21+59243*y4*y0+9085*y5*y23+14882*y6*y22+42164*y1*y3+50482*y2^2, 23746*y3+56188*y12*y15+53795*y13*y14+4186*y9*y18+51137*y10*y17+6909*y11*y16+29171*y8*y19+56418*y7*y20+9234*y3*y0+34507*y4*y23+63989*y5*y22+60576*y6*y21+59226*y1*y2, 36494*y2+43055*y12*y14+8656*y13^2+8317*y9*y17+32120*y10*y16+30541*y11*y15+10277*y8*y18+7515*y7*y19+37873*y3*y23+14079*y4*y22+16394*y5*y21+7977*y6*y20+10073*y1^2+26950*y2*y0, 60973*y1+3576*y12*y13+41592*y9*y16+25747*y10*y15+44207*y11*y14+28073*y8*y17+13476*y7*y18+2816*y3*y22+35382*y4*y21+1750*y5*y20+48031*y6*y19+17055*y1*y0+41920*y2*y23, 65497*y0+24*y0^2+24*y12^2+48*y9*y15+48*y10*y14+48*y11*y13+48*y8*y16+48*y7*y17+48*y3*y21+48*y4*y20+48*y5*y19+48*y6*y18+48*y1*y23+48*y2*y22, 65497*y23+48*y23*y0+48*y9*y14+48*y10*y13+48*y11*y12+48*y8*y15+48*y7*y16+48*y3*y20+48*y4*y19+48*y5*y18+48*y6*y17+48*y1*y22+48*y2*y21, 65497*y22+48*y22*y0+24*y23^2+48*y9*y13+48*y10*y12+24*y11^2+48*y8*y14+48*y7*y15+48*y3*y19+48*y4*y18+48*y5*y17+48*y6*y16+48*y1*y21+48*y2*y20, 65497*y21+48*y21*y0+48*y22*y23+48*y9*y12+48*y10*y11+48*y8*y13+48*y7*y14+48*y3*y18+48*y4*y17+48*y5*y16+48*y6*y15+48*y1*y20+48*y2*y19, 65497*y20+24*y22^2+48*y20*y0+48*y21*y23+24*y10^2+48*y8*y12+48*y9*y11+48*y7*y13+48*y3*y17+48*y4*y16+48*y5*y15+48*y6*y14+48*y1*y19+48*y2*y18, 65497*y19+48*y19*y0+48*y20*y23+48*y21*y22+48*y8*y11+48*y9*y10+48*y7*y12+48*y3*y16+48*y4*y15+48*y5*y14+48*y6*y13+48*y1*y18+48*y2*y17, 65497*y18+48*y19*y23+48*y20*y22+24*y21^2+48*y18*y0+48*y8*y10+24*y9^2+48*y7*y11+48*y3*y15+48*y4*y14+48*y5*y13+48*y6*y12+48*y1*y17+48*y2*y16, 65497*y17+48*y19*y22+48*y20*y21+48*y17*y0+48*y18*y23+48*y8*y9+48*y7*y10+48*y3*y14+48*y4*y13+48*y5*y12+48*y6*y11+48*y1*y16+48*y2*y15, 65497*y16+48*y19*y21+24*y20^2+48*y17*y23+48*y18*y22+48*y16*y0+24*y8^2+48*y7*y9+48*y4*y12+48*y5*y11+48*y6*y10+48*y1*y15+48*y2*y14+48*y3*y13, 65497*y15+48*y19*y20+48*y17*y22+48*y18*y21+48*y15*y0+48*y16*y23+48*y7*y8+48*y4*y11+48*y5*y10+48*y6*y9+48*y1*y14+48*y2*y13+48*y3*y12, 65497*y14+24*y19^2+48*y17*y21+48*y18*y20+48*y14*y0+48*y15*y23+48*y16*y22+24*y7^2+48*y4*y10+48*y5*y9+48*y6*y8+48*y1*y13+48*y2*y12+48*y3*y11, 65497*y13+48*y17*y20+48*y18*y19+48*y14*y23+48*y15*y22+48*y16*y21+48*y13*y0+48*y4*y9+48*y5*y8+48*y6*y7+48*y1*y12+48*y2*y11+48*y3*y10, 65497*y12+48*y17*y19+24*y18^2+48*y14*y22+48*y15*y21+48*y16*y20+48*y12*y0+48*y13*y23+48*y4*y8+48*y5*y7+24*y6^2+48*y1*y11+48*y2*y10+48*y3*y9, 65497*y11+48*y17*y18+48*y14*y21+48*y15*y20+48*y16*y19+48*y12*y23+48*y13*y22+48*y11*y0+48*y4*y7+48*y5*y6+48*y1*y10+48*y2*y9+48*y3*y8, 65497*y10+24*y17^2+48*y14*y20+48*y15*y19+48*y16*y18+48*y12*y22+48*y13*y21+48*y10*y0+48*y11*y23+48*y4*y6+24*y5^2+48*y1*y9+48*y2*y8+48*y3*y7, 65497*y9+48*y14*y19+48*y15*y18+48*y16*y17+48*y12*y21+48*y13*y20+48*y9*y0+48*y10*y23+48*y11*y22+48*y4*y5+48*y1*y8+48*y2*y7+48*y3*y6, 65497*y8+48*y15*y17+24*y16^2+48*y12*y20+48*y13*y19+48*y14*y18+48*y9*y23+48*y10*y22+48*y11*y21+48*y8*y0+24*y4^2+48*y1*y7+48*y2*y6+48*y3*y5, 65497*y7+48*y15*y16+48*y12*y19+48*y13*y18+48*y14*y17+48*y9*y22+48*y10*y21+48*y11*y20+48*y8*y23+48*y7*y0+48*y1*y6+48*y2*y5+48*y3*y4, 65497*y6+24*y15^2+48*y12*y18+48*y13*y17+48*y14*y16+48*y9*y21+48*y10*y20+48*y11*y19+48*y8*y22+48*y7*y23+48*y6*y0+48*y1*y5+48*y2*y4+24*y3^2, 65497*y5+48*y12*y17+48*y13*y16+48*y14*y15+48*y9*y20+48*y10*y19+48*y11*y18+48*y8*y21+48*y7*y22+48*y5*y0+48*y6*y23+48*y1*y4+48*y2*y3, 65497*y4+48*y12*y16+48*y13*y15+24*y14^2+48*y9*y19+48*y10*y18+48*y11*y17+48*y8*y20+48*y7*y21+48*y4*y0+48*y5*y23+48*y6*y22+48*y1*y3+24*y2^2, 65497*y3+48*y12*y15+48*y13*y14+48*y9*y18+48*y10*y17+48*y11*y16+48*y8*y19+48*y7*y20+48*y3*y0+48*y4*y23+48*y5*y22+48*y6*y21+48*y1*y2, 65497*y2+48*y12*y14+24*y13^2+48*y9*y17+48*y10*y16+48*y11*y15+48*y8*y18+48*y7*y19+48*y3*y23+48*y4*y22+48*y5*y21+48*y6*y20+24*y1^2+48*y2*y0, 65497*y1+48*y12*y13+48*y9*y16+48*y10*y15+48*y11*y14+48*y8*y17+48*y7*y18+48*y3*y22+48*y4*y21+48*y5*y20+48*y6*y19+48*y1*y0+48*y2*y23]