#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] #modulo 65413 #list [65390*y0+7293*y8*y15+22179*y9*y14+50009*y10*y13+50912*y11*y12+41201*y4*y19+34126*y5*y18+32136*y6*y17+57511*y7*y16+23*y0^2+56346*y1*y22+7178*y2*y21+5580*y3*y20, 39938*y22+35089*y8*y14+27859*y9*y13+11572*y10*y12+13442*y11^2+34332*y4*y18+46434*y5*y17+44187*y6*y16+21327*y7*y15+50950*y0*y22+54672*y1*y21+29889*y2*y20+58907*y3*y19, 20878*y21+54613*y22^2+37454*y8*y13+42531*y9*y12+64308*y10*y11+8865*y4*y17+14787*y5*y16+58281*y6*y15+58267*y7*y14+23657*y0*y21+56438*y1*y20+53986*y2*y19+31552*y3*y18, 45362*y20+43187*y21*y22+31586*y8*y12+2852*y9*y11+52894*y10^2+20366*y4*y16+47780*y5*y15+22228*y6*y14+43280*y7*y13+40102*y0*y20+13864*y1*y19+65190*y2*y18+16058*y3*y17, 18197*y19+10448*y21^2+7585*y20*y22+11523*y9*y10+17549*y4*y15+36319*y5*y14+53559*y6*y13+53028*y7*y12+59921*y8*y11+29019*y0*y19+33186*y1*y18+977*y2*y17+38433*y3*y16, 51022*y18+40978*y19*y22+7290*y20*y21+24259*y9^2+33318*y4*y14+43131*y5*y13+29645*y6*y12+30571*y7*y11+9462*y8*y10+28782*y0*y18+43219*y1*y17+9520*y2*y16+51460*y3*y15, 2623*y17+57191*y18*y22+8381*y19*y21+9154*y20^2+43054*y4*y13+5817*y5*y12+27202*y6*y11+10099*y7*y10+24002*y8*y9+60167*y0*y17+18543*y1*y16+13991*y2*y15+783*y3*y14, 60843*y16+25462*y17*y22+15900*y18*y21+14713*y19*y20+2053*y4*y12+39720*y5*y11+47657*y6*y10+11584*y7*y9+43404*y8^2+9140*y0*y16+11716*y1*y15+34685*y2*y14+2178*y3*y13, 62201*y15+20979*y17*y21+35624*y18*y20+26040*y19^2+18657*y16*y22+11522*y4*y11+38096*y5*y10+53583*y6*y9+54574*y7*y8+6424*y0*y15+18259*y1*y14+25804*y2*y13+22365*y3*y12, 21347*y14+42511*y17*y20+29129*y18*y19+33610*y15*y22+53376*y16*y21+11736*y4*y10+14978*y5*y9+487*y6*y8+35021*y7^2+22719*y0*y14+65075*y1*y13+64407*y2*y12+31334*y3*y11, 65394*y13+6727*y17*y19+34273*y18^2+48014*y14*y22+1817*y15*y21+50276*y16*y20+18488*y4*y9+3818*y5*y8+16358*y6*y7+38*y0*y13+26803*y1*y12+14013*y2*y11+7379*y3*y10, 33052*y12+13847*y17*y18+33557*y13*y22+2078*y14*y21+8942*y15*y20+1073*y16*y19+30270*y4*y8+15551*y5*y7+45281*y6^2+64722*y0*y12+17242*y1*y11+1227*y2*y10+3509*y3*y9, 12581*y11+34640*y17^2+59415*y12*y22+36607*y13*y21+45615*y14*y20+33933*y15*y19+10863*y16*y18+12854*y4*y7+24968*y5*y6+40251*y0*y11+64388*y1*y10+34305*y2*y9+46087*y3*y8, 33423*y10+50192*y13*y20+22427*y14*y19+37808*y15*y18+29847*y16*y17+61701*y11*y22+55595*y12*y21+46978*y4*y6+19162*y5^2+63980*y0*y10+35796*y1*y9+44399*y2*y8+29563*y3*y7, 39944*y9+9752*y13*y19+51843*y14*y18+6836*y15*y17+49138*y16^2+65186*y10*y22+11395*y11*y21+37508*y12*y20+63263*y4*y5+50938*y0*y9+8225*y1*y8+43247*y2*y7+12872*y3*y6, 1430*y8+60749*y13*y18+11346*y14*y17+42106*y15*y16+50430*y9*y22+46567*y10*y21+42974*y11*y20+12021*y12*y19+23584*y4^2+62553*y0*y8+22142*y1*y7+19994*y2*y6+32815*y3*y5, 42660*y7+38327*y13*y17+31954*y14*y16+4892*y15^2+28944*y8*y22+62612*y9*y21+24867*y10*y20+21966*y11*y19+5627*y12*y18+45506*y0*y7+38848*y1*y6+34923*y2*y5+16057*y3*y4, 3732*y6+44523*y13*y16+49998*y14*y15+50715*y8*y21+22720*y9*y20+7511*y10*y19+20779*y11*y18+10547*y12*y17+14923*y7*y22+57949*y0*y6+734*y1*y5+19646*y2*y4+40767*y3^2, 37586*y5+19527*y13*y15+32478*y14^2+9460*y8*y20+44784*y9*y19+10628*y10*y18+56803*y11*y17+39032*y12*y16+60168*y6*y22+24907*y7*y21+55654*y0*y5+28743*y1*y4+2264*y2*y3, 39354*y4+27300*y13*y14+13119*y8*y19+7022*y9*y18+12690*y10*y17+37221*y11*y16+11574*y12*y15+1056*y5*y22+46358*y6*y21+5465*y7*y20+52118*y0*y4+39425*y1*y3+60504*y2^2, 43438*y3+19924*y13^2+13634*y8*y18+58115*y9*y17+33802*y10*y16+18374*y11*y15+44089*y12*y14+32084*y4*y22+16495*y5*y21+59911*y6*y20+45091*y7*y19+43950*y0*y3+1751*y1*y2, 46352*y2+41760*y8*y17+39025*y9*y16+33090*y10*y15+1177*y11*y14+53466*y12*y13+49464*y4*y21+27248*y5*y20+12464*y6*y19+60912*y7*y18+38122*y0*y2+26644*y1^2+754*y3*y22, 58732*y1+57420*y8*y16+20558*y9*y15+27439*y10*y14+44627*y11*y13+4479*y12^2+38944*y4*y20+53525*y5*y19+62296*y6*y18+12093*y7*y17+13362*y0*y1+52782*y2*y22+57988*y3*y21, 65390*y0+46*y8*y15+46*y9*y14+46*y10*y13+46*y11*y12+46*y4*y19+46*y5*y18+46*y6*y17+46*y7*y16+23*y0^2+46*y1*y22+46*y2*y21+46*y3*y20, 65390*y22+46*y8*y14+46*y9*y13+46*y10*y12+23*y11^2+46*y4*y18+46*y5*y17+46*y6*y16+46*y7*y15+46*y0*y22+46*y1*y21+46*y2*y20+46*y3*y19, 65390*y21+23*y22^2+46*y8*y13+46*y9*y12+46*y10*y11+46*y4*y17+46*y5*y16+46*y6*y15+46*y7*y14+46*y0*y21+46*y1*y20+46*y2*y19+46*y3*y18, 65390*y20+46*y21*y22+46*y8*y12+46*y9*y11+23*y10^2+46*y4*y16+46*y5*y15+46*y6*y14+46*y7*y13+46*y0*y20+46*y1*y19+46*y2*y18+46*y3*y17, 65390*y19+23*y21^2+46*y20*y22+46*y9*y10+46*y4*y15+46*y5*y14+46*y6*y13+46*y7*y12+46*y8*y11+46*y0*y19+46*y1*y18+46*y2*y17+46*y3*y16, 65390*y18+46*y19*y22+46*y20*y21+23*y9^2+46*y4*y14+46*y5*y13+46*y6*y12+46*y7*y11+46*y8*y10+46*y0*y18+46*y1*y17+46*y2*y16+46*y3*y15, 65390*y17+46*y18*y22+46*y19*y21+23*y20^2+46*y4*y13+46*y5*y12+46*y6*y11+46*y7*y10+46*y8*y9+46*y0*y17+46*y1*y16+46*y2*y15+46*y3*y14, 65390*y16+46*y17*y22+46*y18*y21+46*y19*y20+46*y4*y12+46*y5*y11+46*y6*y10+46*y7*y9+23*y8^2+46*y0*y16+46*y1*y15+46*y2*y14+46*y3*y13, 65390*y15+46*y17*y21+46*y18*y20+23*y19^2+46*y16*y22+46*y4*y11+46*y5*y10+46*y6*y9+46*y7*y8+46*y0*y15+46*y1*y14+46*y2*y13+46*y3*y12, 65390*y14+46*y17*y20+46*y18*y19+46*y15*y22+46*y16*y21+46*y4*y10+46*y5*y9+46*y6*y8+23*y7^2+46*y0*y14+46*y1*y13+46*y2*y12+46*y3*y11, 65390*y13+46*y17*y19+23*y18^2+46*y14*y22+46*y15*y21+46*y16*y20+46*y4*y9+46*y5*y8+46*y6*y7+46*y0*y13+46*y1*y12+46*y2*y11+46*y3*y10, 65390*y12+46*y17*y18+46*y13*y22+46*y14*y21+46*y15*y20+46*y16*y19+46*y4*y8+46*y5*y7+23*y6^2+46*y0*y12+46*y1*y11+46*y2*y10+46*y3*y9, 65390*y11+23*y17^2+46*y12*y22+46*y13*y21+46*y14*y20+46*y15*y19+46*y16*y18+46*y4*y7+46*y5*y6+46*y0*y11+46*y1*y10+46*y2*y9+46*y3*y8, 65390*y10+46*y13*y20+46*y14*y19+46*y15*y18+46*y16*y17+46*y11*y22+46*y12*y21+46*y4*y6+23*y5^2+46*y0*y10+46*y1*y9+46*y2*y8+46*y3*y7, 65390*y9+46*y13*y19+46*y14*y18+46*y15*y17+23*y16^2+46*y10*y22+46*y11*y21+46*y12*y20+46*y4*y5+46*y0*y9+46*y1*y8+46*y2*y7+46*y3*y6, 65390*y8+46*y13*y18+46*y14*y17+46*y15*y16+46*y9*y22+46*y10*y21+46*y11*y20+46*y12*y19+23*y4^2+46*y0*y8+46*y1*y7+46*y2*y6+46*y3*y5, 65390*y7+46*y13*y17+46*y14*y16+23*y15^2+46*y8*y22+46*y9*y21+46*y10*y20+46*y11*y19+46*y12*y18+46*y0*y7+46*y1*y6+46*y2*y5+46*y3*y4, 65390*y6+46*y13*y16+46*y14*y15+46*y8*y21+46*y9*y20+46*y10*y19+46*y11*y18+46*y12*y17+46*y7*y22+46*y0*y6+46*y1*y5+46*y2*y4+23*y3^2, 65390*y5+46*y13*y15+23*y14^2+46*y8*y20+46*y9*y19+46*y10*y18+46*y11*y17+46*y12*y16+46*y6*y22+46*y7*y21+46*y0*y5+46*y1*y4+46*y2*y3, 65390*y4+46*y13*y14+46*y8*y19+46*y9*y18+46*y10*y17+46*y11*y16+46*y12*y15+46*y5*y22+46*y6*y21+46*y7*y20+46*y0*y4+46*y1*y3+23*y2^2, 65390*y3+23*y13^2+46*y8*y18+46*y9*y17+46*y10*y16+46*y11*y15+46*y12*y14+46*y4*y22+46*y5*y21+46*y6*y20+46*y7*y19+46*y0*y3+46*y1*y2, 65390*y2+46*y8*y17+46*y9*y16+46*y10*y15+46*y11*y14+46*y12*y13+46*y4*y21+46*y5*y20+46*y6*y19+46*y7*y18+46*y0*y2+23*y1^2+46*y3*y22, 65390*y1+46*y8*y16+46*y9*y15+46*y10*y14+46*y11*y13+23*y12^2+46*y4*y20+46*y5*y19+46*y6*y18+46*y7*y17+46*y0*y1+46*y2*y22+46*y3*y21]