#C generated from Maple
#vars [f0, f1, f2, f3, f4, f5, f6, f7, f8, f9, f10, f11, f12, f13, f14, f15, f16, f17, f18, f19]

#list


[17453*f12+61195*f14^2+30102*f18^2+33506*f18*f19+40558*f18*f15+7619*f18*f16+9587*f18*f17+62502*f18*f14+57904*f19^2+29446*f19*f15+63547*f19*f16+33351*f19*f17+27811*f19*f14+35652*f15^2+18112*f15*f16+43507*f15*f17+58026*f15*f14+5601*f16^2+54901*f16*f17+62441*f16*f14+26582*f17^2+29732*f17*f14+42563*f13*f1+27403*f13*f2+39746*f13*f3+39185*f13*f18+11493*f13*f19+48493*f13*f15+41127*f13*f16+7264*f13*f17+54178*f13*f14+21001*f0^2+49879*f0*f1+62941*f0*f2+63137*f0*f3+38285*f0*f18+22106*f0*f19+16504*f0*f15+16748*f0*f16+54802*f0*f17+27986*f0*f14+2454*f1^2+63390*f1*f2+12862*f1*f3+62732*f1*f18+38931*f1*f19+2864*f1*f15+56295*f1*f16+56896*f1*f17+30074*f1*f14+45792*f2^2+7525*f2*f3+26055*f2*f18+43291*f2*f19+38272*f2*f15+47286*f2*f16+6268*f2*f17+11319*f2*f14+25317*f3^2+57598*f3*f18+55646*f3*f19+61065*f3*f15+38513*f3*f16+47644*f3*f17+38496*f3*f14+12928*f7*f13+12096*f7*f0+54789*f7*f1+63399*f7*f2+30241*f7*f3+65265*f7*f18+41749*f7*f19+49433*f7*f15+10829*f7*f16+44972*f7*f17+29824*f7*f14+42068*f8^2+46705*f8*f9+18007*f8*f10+44517*f8*f11+49962*f8*f13+31826*f8*f0+25627*f8*f1+53286*f8*f2+27296*f8*f3+14580*f8*f18+63945*f8*f19+7158*f8*f15+14918*f8*f16+55449*f8*f17+4976*f8*f14+27186*f9^2+16370*f9*f10+40470*f9*f11+45420*f9*f13+58715*f9*f0+59036*f9*f1+24616*f9*f2+30771*f9*f3+19211*f9*f18+34306*f9*f19+42246*f9*f15+55257*f9*f16+8713*f9*f17+22393*f9*f14+29214*f10^2+27773*f10*f11+46081*f10*f13+7760*f10*f0+33329*f10*f1+64333*f10*f2+64728*f10*f3+58770*f10*f18+21150*f10*f19+11866*f10*f15+39101*f10*f16+1464*f10*f17+33000*f10*f14+64249*f11^2+56886*f11*f13+29871*f11*f0+13473*f11*f1+44973*f11*f2+27538*f11*f3+11848*f11*f18+60052*f11*f19+40222*f11*f15+33226*f11*f16+39882*f11*f17+61170*f11*f14+9774*f13^2+64998*f13*f0+80*f12^2+62052*f12*f4+33591*f12*f5+45036*f12*f6+34587*f12*f7+27529*f12*f8+7157*f12*f9+38569*f12*f10+43438*f12*f11+44574*f12*f13+56626*f12*f0+10557*f12*f1+4908*f12*f2+42324*f12*f3+49069*f12*f18+7926*f12*f19+39001*f12*f15+60174*f12*f16+27705*f12*f17+16549*f12*f14+12831*f4^2+16597*f4*f5+57157*f4*f6+29401*f4*f7+34186*f4*f8+54904*f4*f9+56909*f4*f10+50034*f4*f11+18852*f4*f13+47480*f4*f0+63089*f4*f1+62305*f4*f2+14399*f4*f3+34009*f4*f18+63211*f4*f19+1678*f4*f15+40990*f4*f16+23818*f4*f17+1972*f4*f14+20532*f5^2+38021*f5*f6+55243*f5*f7+14103*f5*f8+908*f5*f9+38647*f5*f10+37507*f5*f11+7367*f5*f13+42897*f5*f0+10366*f5*f1+52503*f5*f2+22306*f5*f3+56293*f5*f18+15342*f5*f19+17957*f5*f15+39200*f5*f16+44501*f5*f17+26726*f5*f14+44962*f6^2+49734*f6*f7+64750*f6*f8+11212*f6*f9+27226*f6*f10+36529*f6*f11+54888*f6*f13+59789*f6*f0+50933*f6*f1+51403*f6*f2+60399*f6*f3+1508*f6*f18+13085*f6*f19+4677*f6*f15+55991*f6*f16+9456*f6*f17+20881*f6*f14+34535*f7^2+52791*f7*f8+24166*f7*f9+15017*f7*f10+9788*f7*f11+26870*f0+20924*f1+25945*f2+41751*f3+38065*f4+10124*f5+52563*f6+58162*f7+39301*f8+59554*f9+64180*f10+64167*f11+37385*f13+29157*f14+39230*f15+2746*f16+38843*f17+21965*f18+13624*f19, 64167*f12+9774*f14^2+26582*f18^2+9587*f18*f19+29732*f18*f15+43507*f18*f16+54901*f18*f17+7264*f18*f14+30102*f19^2+62502*f19*f15+40558*f19*f16+7619*f19*f17+39185*f19*f14+61195*f15^2+58026*f15*f16+62441*f15*f17+54178*f15*f14+35652*f16^2+18112*f16*f17+48493*f16*f14+5601*f17^2+41127*f17*f14+56626*f13*f1+10557*f13*f2+4908*f13*f3+27705*f13*f18+49069*f13*f19+16549*f13*f15+39001*f13*f16+60174*f13*f17+44574*f13*f14+57904*f0^2+22106*f0*f1+38931*f0*f2+43291*f0*f3+33351*f0*f18+33506*f0*f19+27811*f0*f15+29446*f0*f16+63547*f0*f17+11493*f0*f14+21001*f1^2+49879*f1*f2+62941*f1*f3+54802*f1*f18+38285*f1*f19+27986*f1*f15+16504*f1*f16+16748*f1*f17+64998*f1*f14+2454*f2^2+63390*f2*f3+56896*f2*f18+62732*f2*f19+30074*f2*f15+2864*f2*f16+56295*f2*f17+42563*f2*f14+45792*f3^2+6268*f3*f18+26055*f3*f19+11319*f3*f15+38272*f3*f16+47286*f3*f17+27403*f3*f14+45036*f7*f13+13085*f7*f0+59789*f7*f1+50933*f7*f2+51403*f7*f3+9456*f7*f18+1508*f7*f19+20881*f7*f15+4677*f7*f16+55991*f7*f17+54888*f7*f14+34535*f8^2+52791*f8*f9+24166*f8*f10+15017*f8*f11+34587*f8*f13+41749*f8*f0+12096*f8*f1+54789*f8*f2+63399*f8*f3+44972*f8*f18+65265*f8*f19+29824*f8*f15+49433*f8*f16+10829*f8*f17+12928*f8*f14+42068*f9^2+46705*f9*f10+18007*f9*f11+27529*f9*f13+63945*f9*f0+31826*f9*f1+25627*f9*f2+53286*f9*f3+55449*f9*f18+14580*f9*f19+4976*f9*f15+7158*f9*f16+14918*f9*f17+49962*f9*f14+27186*f10^2+16370*f10*f11+7157*f10*f13+34306*f10*f0+58715*f10*f1+59036*f10*f2+24616*f10*f3+8713*f10*f18+19211*f10*f19+22393*f10*f15+42246*f10*f16+55257*f10*f17+45420*f10*f14+29214*f11^2+38569*f11*f13+21150*f11*f0+7760*f11*f1+33329*f11*f2+64333*f11*f3+1464*f11*f18+58770*f11*f19+33000*f11*f15+11866*f11*f16+39101*f11*f17+46081*f11*f14+80*f13^2+7926*f13*f0+64249*f12^2+27538*f12*f4+50034*f12*f5+37507*f12*f6+36529*f12*f7+9788*f12*f8+44517*f12*f9+40470*f12*f10+27773*f12*f11+43438*f12*f13+60052*f12*f0+29871*f12*f1+13473*f12*f2+44973*f12*f3+39882*f12*f18+11848*f12*f19+61170*f12*f15+40222*f12*f16+33226*f12*f17+56886*f12*f14+25317*f4^2+14399*f4*f5+22306*f4*f6+60399*f4*f7+30241*f4*f8+27296*f4*f9+30771*f4*f10+64728*f4*f11+42324*f4*f13+55646*f4*f0+63137*f4*f1+12862*f4*f2+7525*f4*f3+47644*f4*f18+57598*f4*f19+38496*f4*f15+61065*f4*f16+38513*f4*f17+39746*f4*f14+12831*f5^2+16597*f5*f6+57157*f5*f7+29401*f5*f8+34186*f5*f9+54904*f5*f10+56909*f5*f11+62052*f5*f13+63211*f5*f0+47480*f5*f1+63089*f5*f2+62305*f5*f3+23818*f5*f18+34009*f5*f19+1972*f5*f15+1678*f5*f16+40990*f5*f17+18852*f5*f14+20532*f6^2+38021*f6*f7+55243*f6*f8+14103*f6*f9+908*f6*f10+38647*f6*f11+33591*f6*f13+15342*f6*f0+42897*f6*f1+10366*f6*f2+52503*f6*f3+44501*f6*f18+56293*f6*f19+26726*f6*f15+17957*f6*f16+39200*f6*f17+7367*f6*f14+44962*f7^2+49734*f7*f8+64750*f7*f9+11212*f7*f10+27226*f7*f11+13624*f0+26870*f1+20924*f2+25945*f3+41751*f4+38065*f5+10124*f6+52563*f7+58162*f8+39301*f9+59554*f10+64180*f11+17453*f13+37385*f14+29157*f15+39230*f16+2746*f17+38843*f18+21965*f19, 64180*f12+80*f14^2+5601*f18^2+54901*f18*f19+41127*f18*f15+62441*f18*f16+18112*f18*f17+60174*f18*f14+26582*f19^2+7264*f19*f15+29732*f19*f16+43507*f19*f17+27705*f19*f14+9774*f15^2+54178*f15*f16+48493*f15*f17+44574*f15*f14+61195*f16^2+58026*f16*f17+16549*f16*f14+35652*f17^2+39001*f17*f14+60052*f13*f1+29871*f13*f2+13473*f13*f3+33226*f13*f18+39882*f13*f19+56886*f13*f15+61170*f13*f16+40222*f13*f17+43438*f13*f14+30102*f0^2+33506*f0*f1+38285*f0*f2+62732*f0*f3+7619*f0*f18+9587*f0*f19+39185*f0*f15+62502*f0*f16+40558*f0*f17+49069*f0*f14+57904*f1^2+22106*f1*f2+38931*f1*f3+63547*f1*f18+33351*f1*f19+11493*f1*f15+27811*f1*f16+29446*f1*f17+7926*f1*f14+21001*f2^2+49879*f2*f3+16748*f2*f18+54802*f2*f19+64998*f2*f15+27986*f2*f16+16504*f2*f17+56626*f2*f14+2454*f3^2+56295*f3*f18+56896*f3*f19+42563*f3*f15+30074*f3*f16+2864*f3*f17+10557*f3*f14+37507*f7*f13+56293*f7*f0+15342*f7*f1+42897*f7*f2+10366*f7*f3+39200*f7*f18+44501*f7*f19+7367*f7*f15+26726*f7*f16+17957*f7*f17+33591*f7*f14+44962*f8^2+49734*f8*f9+64750*f8*f10+11212*f8*f11+36529*f8*f13+1508*f8*f0+13085*f8*f1+59789*f8*f2+50933*f8*f3+55991*f8*f18+9456*f8*f19+54888*f8*f15+20881*f8*f16+4677*f8*f17+45036*f8*f14+34535*f9^2+52791*f9*f10+24166*f9*f11+9788*f9*f13+65265*f9*f0+41749*f9*f1+12096*f9*f2+54789*f9*f3+10829*f9*f18+44972*f9*f19+12928*f9*f15+29824*f9*f16+49433*f9*f17+34587*f9*f14+42068*f10^2+46705*f10*f11+44517*f10*f13+14580*f10*f0+63945*f10*f1+31826*f10*f2+25627*f10*f3+14918*f10*f18+55449*f10*f19+49962*f10*f15+4976*f10*f16+7158*f10*f17+27529*f10*f14+27186*f11^2+40470*f11*f13+19211*f11*f0+34306*f11*f1+58715*f11*f2+59036*f11*f3+55257*f11*f18+8713*f11*f19+45420*f11*f15+22393*f11*f16+42246*f11*f17+7157*f11*f14+64249*f13^2+11848*f13*f0+29214*f12^2+64333*f12*f4+64728*f12*f5+56909*f12*f6+38647*f12*f7+27226*f12*f8+15017*f12*f9+18007*f12*f10+16370*f12*f11+27773*f12*f13+58770*f12*f0+21150*f12*f1+7760*f12*f2+33329*f12*f3+39101*f12*f18+1464*f12*f19+46081*f12*f15+33000*f12*f16+11866*f12*f17+38569*f12*f14+45792*f4^2+7525*f4*f5+62305*f4*f6+52503*f4*f7+51403*f4*f8+63399*f4*f9+53286*f4*f10+24616*f4*f11+44973*f4*f13+26055*f4*f0+43291*f4*f1+62941*f4*f2+63390*f4*f3+47286*f4*f18+6268*f4*f19+27403*f4*f15+11319*f4*f16+38272*f4*f17+4908*f4*f14+25317*f5^2+14399*f5*f6+22306*f5*f7+60399*f5*f8+30241*f5*f9+27296*f5*f10+30771*f5*f11+27538*f5*f13+57598*f5*f0+55646*f5*f1+63137*f5*f2+12862*f5*f3+38513*f5*f18+47644*f5*f19+39746*f5*f15+38496*f5*f16+61065*f5*f17+42324*f5*f14+12831*f6^2+16597*f6*f7+57157*f6*f8+29401*f6*f9+34186*f6*f10+54904*f6*f11+50034*f6*f13+34009*f6*f0+63211*f6*f1+47480*f6*f2+63089*f6*f3+40990*f6*f18+23818*f6*f19+18852*f6*f15+1972*f6*f16+1678*f6*f17+62052*f6*f14+20532*f7^2+38021*f7*f8+55243*f7*f9+14103*f7*f10+908*f7*f11+21965*f0+13624*f1+26870*f2+20924*f3+25945*f4+41751*f5+38065*f6+10124*f7+52563*f8+58162*f9+39301*f10+59554*f11+64167*f13+17453*f14+37385*f15+29157*f16+39230*f17+2746*f18+38843*f19, 59554*f12+64249*f14^2+35652*f18^2+18112*f18*f19+39001*f18*f15+48493*f18*f16+58026*f18*f17+40222*f18*f14+5601*f19^2+60174*f19*f15+41127*f19*f16+62441*f19*f17+33226*f19*f14+80*f15^2+44574*f15*f16+16549*f15*f17+43438*f15*f14+9774*f16^2+54178*f16*f17+56886*f16*f14+61195*f17^2+61170*f17*f14+58770*f13*f1+21150*f13*f2+7760*f13*f3+11866*f13*f18+39101*f13*f19+38569*f13*f15+46081*f13*f16+33000*f13*f17+27773*f13*f14+26582*f0^2+9587*f0*f1+33351*f0*f2+54802*f0*f3+43507*f0*f18+54901*f0*f19+27705*f0*f15+7264*f0*f16+29732*f0*f17+39882*f0*f14+30102*f1^2+33506*f1*f2+38285*f1*f3+40558*f1*f18+7619*f1*f19+49069*f1*f15+39185*f1*f16+62502*f1*f17+11848*f1*f14+57904*f2^2+22106*f2*f3+29446*f2*f18+63547*f2*f19+7926*f2*f15+11493*f2*f16+27811*f2*f17+60052*f2*f14+21001*f3^2+16504*f3*f18+16748*f3*f19+56626*f3*f15+64998*f3*f16+27986*f3*f17+29871*f3*f14+56909*f7*f13+23818*f7*f0+34009*f7*f1+63211*f7*f2+47480*f7*f3+1678*f7*f18+40990*f7*f19+62052*f7*f15+18852*f7*f16+1972*f7*f17+50034*f7*f14+20532*f8^2+38021*f8*f9+55243*f8*f10+14103*f8*f11+38647*f8*f13+44501*f8*f0+56293*f8*f1+15342*f8*f2+42897*f8*f3+17957*f8*f18+39200*f8*f19+33591*f8*f15+7367*f8*f16+26726*f8*f17+37507*f8*f14+44962*f9^2+49734*f9*f10+64750*f9*f11+27226*f9*f13+9456*f9*f0+1508*f9*f1+13085*f9*f2+59789*f9*f3+4677*f9*f18+55991*f9*f19+45036*f9*f15+54888*f9*f16+20881*f9*f17+36529*f9*f14+34535*f10^2+52791*f10*f11+15017*f10*f13+44972*f10*f0+65265*f10*f1+41749*f10*f2+12096*f10*f3+49433*f10*f18+10829*f10*f19+34587*f10*f15+12928*f10*f16+29824*f10*f17+9788*f10*f14+42068*f11^2+18007*f11*f13+55449*f11*f0+14580*f11*f1+63945*f11*f2+31826*f11*f3+7158*f11*f18+14918*f11*f19+27529*f11*f15+49962*f11*f16+4976*f11*f17+44517*f11*f14+29214*f13^2+1464*f13*f0+27186*f12^2+59036*f12*f4+24616*f12*f5+30771*f12*f6+54904*f12*f7+908*f12*f8+11212*f12*f9+24166*f12*f10+46705*f12*f11+16370*f12*f13+8713*f12*f0+19211*f12*f1+34306*f12*f2+58715*f12*f3+42246*f12*f18+55257*f12*f19+7157*f12*f15+45420*f12*f16+22393*f12*f17+40470*f12*f14+2454*f4^2+63390*f4*f5+12862*f4*f6+63089*f4*f7+10366*f4*f8+50933*f4*f9+54789*f4*f10+25627*f4*f11+33329*f4*f13+56896*f4*f0+62732*f4*f1+38931*f4*f2+49879*f4*f3+2864*f4*f18+56295*f4*f19+10557*f4*f15+42563*f4*f16+30074*f4*f17+13473*f4*f14+45792*f5^2+7525*f5*f6+62305*f5*f7+52503*f5*f8+51403*f5*f9+63399*f5*f10+53286*f5*f11+64333*f5*f13+6268*f5*f0+26055*f5*f1+43291*f5*f2+62941*f5*f3+38272*f5*f18+47286*f5*f19+4908*f5*f15+27403*f5*f16+11319*f5*f17+44973*f5*f14+25317*f6^2+14399*f6*f7+22306*f6*f8+60399*f6*f9+30241*f6*f10+27296*f6*f11+64728*f6*f13+47644*f6*f0+57598*f6*f1+55646*f6*f2+63137*f6*f3+61065*f6*f18+38513*f6*f19+42324*f6*f15+39746*f6*f16+38496*f6*f17+27538*f6*f14+12831*f7^2+16597*f7*f8+57157*f7*f9+29401*f7*f10+34186*f7*f11+38843*f0+21965*f1+13624*f2+26870*f3+20924*f4+25945*f5+41751*f6+38065*f7+10124*f8+52563*f9+58162*f10+39301*f11+64180*f13+64167*f14+17453*f15+37385*f16+29157*f17+39230*f18+2746*f19, 39301*f12+29214*f14^2+61195*f18^2+58026*f18*f19+61170*f18*f15+16549*f18*f16+54178*f18*f17+33000*f18*f14+35652*f19^2+40222*f19*f15+39001*f19*f16+48493*f19*f17+11866*f19*f14+64249*f15^2+43438*f15*f16+56886*f15*f17+27773*f15*f14+80*f16^2+44574*f16*f17+38569*f16*f14+9774*f17^2+46081*f17*f14+8713*f13*f1+19211*f13*f2+34306*f13*f3+22393*f13*f18+42246*f13*f19+40470*f13*f15+7157*f13*f16+45420*f13*f17+16370*f13*f14+5601*f0^2+54901*f0*f1+7619*f0*f2+63547*f0*f3+62441*f0*f18+18112*f0*f19+33226*f0*f15+60174*f0*f16+41127*f0*f17+39101*f0*f14+26582*f1^2+9587*f1*f2+33351*f1*f3+29732*f1*f18+43507*f1*f19+39882*f1*f15+27705*f1*f16+7264*f1*f17+1464*f1*f14+30102*f2^2+33506*f2*f3+62502*f2*f18+40558*f2*f19+11848*f2*f15+49069*f2*f16+39185*f2*f17+58770*f2*f14+57904*f3^2+27811*f3*f18+29446*f3*f19+60052*f3*f15+7926*f3*f16+11493*f3*f17+21150*f3*f14+30771*f7*f13+38513*f7*f0+47644*f7*f1+57598*f7*f2+55646*f7*f3+38496*f7*f18+61065*f7*f19+27538*f7*f15+42324*f7*f16+39746*f7*f17+64728*f7*f14+12831*f8^2+16597*f8*f9+57157*f8*f10+29401*f8*f11+54904*f8*f13+40990*f8*f0+23818*f8*f1+34009*f8*f2+63211*f8*f3+1972*f8*f18+1678*f8*f19+50034*f8*f15+62052*f8*f16+18852*f8*f17+56909*f8*f14+20532*f9^2+38021*f9*f10+55243*f9*f11+908*f9*f13+39200*f9*f0+44501*f9*f1+56293*f9*f2+15342*f9*f3+26726*f9*f18+17957*f9*f19+37507*f9*f15+33591*f9*f16+7367*f9*f17+38647*f9*f14+44962*f10^2+49734*f10*f11+11212*f10*f13+55991*f10*f0+9456*f10*f1+1508*f10*f2+13085*f10*f3+20881*f10*f18+4677*f10*f19+36529*f10*f15+45036*f10*f16+54888*f10*f17+27226*f10*f14+34535*f11^2+24166*f11*f13+10829*f11*f0+44972*f11*f1+65265*f11*f2+41749*f11*f3+29824*f11*f18+49433*f11*f19+9788*f11*f15+34587*f11*f16+12928*f11*f17+15017*f11*f14+27186*f13^2+55257*f13*f0+42068*f12^2+31826*f12*f4+25627*f12*f5+53286*f12*f6+27296*f12*f7+34186*f12*f8+14103*f12*f9+64750*f12*f10+52791*f12*f11+46705*f12*f13+14918*f12*f0+55449*f12*f1+14580*f12*f2+63945*f12*f3+4976*f12*f18+7158*f12*f19+44517*f12*f15+27529*f12*f16+49962*f12*f17+18007*f12*f14+21001*f4^2+49879*f4*f5+62941*f4*f6+63137*f4*f7+47480*f4*f8+42897*f4*f9+59789*f4*f10+12096*f4*f11+58715*f4*f13+16748*f4*f0+54802*f4*f1+38285*f4*f2+22106*f4*f3+27986*f4*f18+16504*f4*f19+29871*f4*f15+56626*f4*f16+64998*f4*f17+7760*f4*f14+2454*f5^2+63390*f5*f6+12862*f5*f7+63089*f5*f8+10366*f5*f9+50933*f5*f10+54789*f5*f11+59036*f5*f13+56295*f5*f0+56896*f5*f1+62732*f5*f2+38931*f5*f3+30074*f5*f18+2864*f5*f19+13473*f5*f15+10557*f5*f16+42563*f5*f17+33329*f5*f14+45792*f6^2+7525*f6*f7+62305*f6*f8+52503*f6*f9+51403*f6*f10+63399*f6*f11+24616*f6*f13+47286*f6*f0+6268*f6*f1+26055*f6*f2+43291*f6*f3+11319*f6*f18+38272*f6*f19+44973*f6*f15+4908*f6*f16+27403*f6*f17+64333*f6*f14+25317*f7^2+14399*f7*f8+22306*f7*f9+60399*f7*f10+30241*f7*f11+2746*f0+38843*f1+21965*f2+13624*f3+26870*f4+20924*f5+25945*f6+41751*f7+38065*f8+10124*f9+52563*f10+58162*f11+59554*f13+64180*f14+64167*f15+17453*f16+37385*f17+29157*f18+39230*f19, 58162*f12+27186*f14^2+9774*f18^2+54178*f18*f19+46081*f18*f15+56886*f18*f16+44574*f18*f17+45420*f18*f14+61195*f19^2+33000*f19*f15+61170*f19*f16+16549*f19*f17+22393*f19*f14+29214*f15^2+27773*f15*f16+38569*f15*f17+16370*f15*f14+64249*f16^2+43438*f16*f17+40470*f16*f14+80*f17^2+7157*f17*f14+14918*f13*f1+55449*f13*f2+14580*f13*f3+49962*f13*f18+4976*f13*f19+18007*f13*f15+44517*f13*f16+27529*f13*f17+46705*f13*f14+35652*f0^2+18112*f0*f1+43507*f0*f2+40558*f0*f3+48493*f0*f18+58026*f0*f19+11866*f0*f15+40222*f0*f16+39001*f0*f17+42246*f0*f14+5601*f1^2+54901*f1*f2+7619*f1*f3+41127*f1*f18+62441*f1*f19+39101*f1*f15+33226*f1*f16+60174*f1*f17+55257*f1*f14+26582*f2^2+9587*f2*f3+7264*f2*f18+29732*f2*f19+1464*f2*f15+39882*f2*f16+27705*f2*f17+8713*f2*f14+30102*f3^2+39185*f3*f18+62502*f3*f19+58770*f3*f15+11848*f3*f16+49069*f3*f17+19211*f3*f14+53286*f7*f13+38272*f7*f0+47286*f7*f1+6268*f7*f2+26055*f7*f3+27403*f7*f18+11319*f7*f19+64333*f7*f15+44973*f7*f16+4908*f7*f17+24616*f7*f14+25317*f8^2+14399*f8*f9+22306*f8*f10+60399*f8*f11+27296*f8*f13+61065*f8*f0+38513*f8*f1+47644*f8*f2+57598*f8*f3+39746*f8*f18+38496*f8*f19+64728*f8*f15+27538*f8*f16+42324*f8*f17+30771*f8*f14+12831*f9^2+16597*f9*f10+57157*f9*f11+34186*f9*f13+1678*f9*f0+40990*f9*f1+23818*f9*f2+34009*f9*f3+18852*f9*f18+1972*f9*f19+56909*f9*f15+50034*f9*f16+62052*f9*f17+54904*f9*f14+20532*f10^2+38021*f10*f11+14103*f10*f13+17957*f10*f0+39200*f10*f1+44501*f10*f2+56293*f10*f3+7367*f10*f18+26726*f10*f19+38647*f10*f15+37507*f10*f16+33591*f10*f17+908*f10*f14+44962*f11^2+64750*f11*f13+4677*f11*f0+55991*f11*f1+9456*f11*f2+1508*f11*f3+54888*f11*f18+20881*f11*f19+27226*f11*f15+36529*f11*f16+45036*f11*f17+11212*f11*f14+42068*f13^2+7158*f13*f0+34535*f12^2+41749*f12*f4+12096*f12*f5+54789*f12*f6+63399*f12*f7+30241*f12*f8+29401*f12*f9+55243*f12*f10+49734*f12*f11+52791*f12*f13+49433*f12*f0+10829*f12*f1+44972*f12*f2+65265*f12*f3+12928*f12*f18+29824*f12*f19+15017*f12*f15+9788*f12*f16+34587*f12*f17+24166*f12*f14+57904*f4^2+22106*f4*f5+38931*f4*f6+43291*f4*f7+55646*f4*f8+63211*f4*f9+15342*f4*f10+13085*f4*f11+63945*f4*f13+29446*f4*f0+63547*f4*f1+33351*f4*f2+33506*f4*f3+11493*f4*f18+27811*f4*f19+21150*f4*f15+60052*f4*f16+7926*f4*f17+34306*f4*f14+21001*f5^2+49879*f5*f6+62941*f5*f7+63137*f5*f8+47480*f5*f9+42897*f5*f10+59789*f5*f11+31826*f5*f13+16504*f5*f0+16748*f5*f1+54802*f5*f2+38285*f5*f3+64998*f5*f18+27986*f5*f19+7760*f5*f15+29871*f5*f16+56626*f5*f17+58715*f5*f14+2454*f6^2+63390*f6*f7+12862*f6*f8+63089*f6*f9+10366*f6*f10+50933*f6*f11+25627*f6*f13+2864*f6*f0+56295*f6*f1+56896*f6*f2+62732*f6*f3+42563*f6*f18+30074*f6*f19+33329*f6*f15+13473*f6*f16+10557*f6*f17+59036*f6*f14+45792*f7^2+7525*f7*f8+62305*f7*f9+52503*f7*f10+51403*f7*f11+39230*f0+2746*f1+38843*f2+21965*f3+13624*f4+26870*f5+20924*f6+25945*f7+41751*f8+38065*f9+10124*f10+52563*f11+39301*f13+59554*f14+64180*f15+64167*f16+17453*f17+37385*f18+29157*f19, 52563*f12+42068*f14^2+80*f18^2+44574*f18*f19+7157*f18*f15+38569*f18*f16+43438*f18*f17+27529*f18*f14+9774*f19^2+45420*f19*f15+46081*f19*f16+56886*f19*f17+49962*f19*f14+27186*f15^2+16370*f15*f16+40470*f15*f17+46705*f15*f14+29214*f16^2+27773*f16*f17+18007*f16*f14+64249*f17^2+44517*f17*f14+49433*f13*f1+10829*f13*f2+44972*f13*f3+34587*f13*f18+12928*f13*f19+24166*f13*f15+15017*f13*f16+9788*f13*f17+52791*f13*f14+61195*f0^2+58026*f0*f1+62441*f0*f2+29732*f0*f3+16549*f0*f18+54178*f0*f19+22393*f0*f15+33000*f0*f16+61170*f0*f17+4976*f0*f14+35652*f1^2+18112*f1*f2+43507*f1*f3+39001*f1*f18+48493*f1*f19+42246*f1*f15+11866*f1*f16+40222*f1*f17+7158*f1*f14+5601*f2^2+54901*f2*f3+60174*f2*f18+41127*f2*f19+55257*f2*f15+39101*f2*f16+33226*f2*f17+14918*f2*f14+26582*f3^2+27705*f3*f18+7264*f3*f19+8713*f3*f15+1464*f3*f16+39882*f3*f17+55449*f3*f14+54789*f7*f13+30074*f7*f0+2864*f7*f1+56295*f7*f2+56896*f7*f3+10557*f7*f18+42563*f7*f19+59036*f7*f15+33329*f7*f16+13473*f7*f17+25627*f7*f14+45792*f8^2+7525*f8*f9+62305*f8*f10+52503*f8*f11+63399*f8*f13+11319*f8*f0+38272*f8*f1+47286*f8*f2+6268*f8*f3+4908*f8*f18+27403*f8*f19+24616*f8*f15+64333*f8*f16+44973*f8*f17+53286*f8*f14+25317*f9^2+14399*f9*f10+22306*f9*f11+30241*f9*f13+38496*f9*f0+61065*f9*f1+38513*f9*f2+47644*f9*f3+42324*f9*f18+39746*f9*f19+30771*f9*f15+64728*f9*f16+27538*f9*f17+27296*f9*f14+12831*f10^2+16597*f10*f11+29401*f10*f13+1972*f10*f0+1678*f10*f1+40990*f10*f2+23818*f10*f3+62052*f10*f18+18852*f10*f19+54904*f10*f15+56909*f10*f16+50034*f10*f17+34186*f10*f14+20532*f11^2+55243*f11*f13+26726*f11*f0+17957*f11*f1+39200*f11*f2+44501*f11*f3+33591*f11*f18+7367*f11*f19+908*f11*f15+38647*f11*f16+37507*f11*f17+14103*f11*f14+34535*f13^2+29824*f13*f0+44962*f12^2+1508*f12*f4+13085*f12*f5+59789*f12*f6+50933*f12*f7+51403*f12*f8+60399*f12*f9+57157*f12*f10+38021*f12*f11+49734*f12*f13+20881*f12*f0+4677*f12*f1+55991*f12*f2+9456*f12*f3+45036*f12*f18+54888*f12*f19+11212*f12*f15+27226*f12*f16+36529*f12*f17+64750*f12*f14+30102*f4^2+33506*f4*f5+38285*f4*f6+62732*f4*f7+26055*f4*f8+57598*f4*f9+34009*f4*f10+56293*f4*f11+65265*f4*f13+62502*f4*f0+40558*f4*f1+7619*f4*f2+9587*f4*f3+49069*f4*f18+39185*f4*f19+19211*f4*f15+58770*f4*f16+11848*f4*f17+14580*f4*f14+57904*f5^2+22106*f5*f6+38931*f5*f7+43291*f5*f8+55646*f5*f9+63211*f5*f10+15342*f5*f11+41749*f5*f13+27811*f5*f0+29446*f5*f1+63547*f5*f2+33351*f5*f3+7926*f5*f18+11493*f5*f19+34306*f5*f15+21150*f5*f16+60052*f5*f17+63945*f5*f14+21001*f6^2+49879*f6*f7+62941*f6*f8+63137*f6*f9+47480*f6*f10+42897*f6*f11+12096*f6*f13+27986*f6*f0+16504*f6*f1+16748*f6*f2+54802*f6*f3+56626*f6*f18+64998*f6*f19+58715*f6*f15+7760*f6*f16+29871*f6*f17+31826*f6*f14+2454*f7^2+63390*f7*f8+12862*f7*f9+63089*f7*f10+10366*f7*f11+29157*f0+39230*f1+2746*f2+38843*f3+21965*f4+13624*f5+26870*f6+20924*f7+25945*f8+41751*f9+38065*f10+10124*f11+58162*f13+39301*f14+59554*f15+64180*f16+64167*f17+17453*f18+37385*f19, 10124*f12+34535*f14^2+64249*f18^2+43438*f18*f19+44517*f18*f15+40470*f18*f16+27773*f18*f17+9788*f18*f14+80*f19^2+27529*f19*f15+7157*f19*f16+38569*f19*f17+34587*f19*f14+42068*f15^2+46705*f15*f16+18007*f15*f17+52791*f15*f14+27186*f16^2+16370*f16*f17+24166*f16*f14+29214*f17^2+15017*f17*f14+20881*f13*f1+4677*f13*f2+55991*f13*f3+36529*f13*f18+45036*f13*f19+64750*f13*f15+11212*f13*f16+27226*f13*f17+49734*f13*f14+9774*f0^2+54178*f0*f1+48493*f0*f2+41127*f0*f3+56886*f0*f18+44574*f0*f19+49962*f0*f15+45420*f0*f16+46081*f0*f17+12928*f0*f14+61195*f1^2+58026*f1*f2+62441*f1*f3+61170*f1*f18+16549*f1*f19+4976*f1*f15+22393*f1*f16+33000*f1*f17+29824*f1*f14+35652*f2^2+18112*f2*f3+40222*f2*f18+39001*f2*f19+7158*f2*f15+42246*f2*f16+11866*f2*f17+49433*f2*f14+5601*f3^2+33226*f3*f18+60174*f3*f19+14918*f3*f15+55257*f3*f16+39101*f3*f17+10829*f3*f14+59789*f7*f13+64998*f7*f0+27986*f7*f1+16504*f7*f2+16748*f7*f3+29871*f7*f18+56626*f7*f19+31826*f7*f15+58715*f7*f16+7760*f7*f17+12096*f7*f14+2454*f8^2+63390*f8*f9+12862*f8*f10+63089*f8*f11+50933*f8*f13+42563*f8*f0+30074*f8*f1+2864*f8*f2+56295*f8*f3+13473*f8*f18+10557*f8*f19+25627*f8*f15+59036*f8*f16+33329*f8*f17+54789*f8*f14+45792*f9^2+7525*f9*f10+62305*f9*f11+51403*f9*f13+27403*f9*f0+11319*f9*f1+38272*f9*f2+47286*f9*f3+44973*f9*f18+4908*f9*f19+53286*f9*f15+24616*f9*f16+64333*f9*f17+63399*f9*f14+25317*f10^2+14399*f10*f11+60399*f10*f13+39746*f10*f0+38496*f10*f1+61065*f10*f2+38513*f10*f3+27538*f10*f18+42324*f10*f19+27296*f10*f15+30771*f10*f16+64728*f10*f17+30241*f10*f14+12831*f11^2+57157*f11*f13+18852*f11*f0+1972*f11*f1+1678*f11*f2+40990*f11*f3+50034*f11*f18+62052*f11*f19+34186*f11*f15+54904*f11*f16+56909*f11*f17+29401*f11*f14+44962*f13^2+54888*f13*f0+20532*f12^2+44501*f12*f4+56293*f12*f5+15342*f12*f6+42897*f12*f7+10366*f12*f8+52503*f12*f9+22306*f12*f10+16597*f12*f11+38021*f12*f13+7367*f12*f0+26726*f12*f1+17957*f12*f2+39200*f12*f3+37507*f12*f18+33591*f12*f19+14103*f12*f15+908*f12*f16+38647*f12*f17+55243*f12*f14+26582*f4^2+9587*f4*f5+33351*f4*f6+54802*f4*f7+56896*f4*f8+6268*f4*f9+47644*f4*f10+23818*f4*f11+9456*f4*f13+7264*f4*f0+29732*f4*f1+43507*f4*f2+54901*f4*f3+39882*f4*f18+27705*f4*f19+55449*f4*f15+8713*f4*f16+1464*f4*f17+44972*f4*f14+30102*f5^2+33506*f5*f6+38285*f5*f7+62732*f5*f8+26055*f5*f9+57598*f5*f10+34009*f5*f11+1508*f5*f13+39185*f5*f0+62502*f5*f1+40558*f5*f2+7619*f5*f3+11848*f5*f18+49069*f5*f19+14580*f5*f15+19211*f5*f16+58770*f5*f17+65265*f5*f14+57904*f6^2+22106*f6*f7+38931*f6*f8+43291*f6*f9+55646*f6*f10+63211*f6*f11+13085*f6*f13+11493*f6*f0+27811*f6*f1+29446*f6*f2+63547*f6*f3+60052*f6*f18+7926*f6*f19+63945*f6*f15+34306*f6*f16+21150*f6*f17+41749*f6*f14+21001*f7^2+49879*f7*f8+62941*f7*f9+63137*f7*f10+47480*f7*f11+37385*f0+29157*f1+39230*f2+2746*f3+38843*f4+21965*f5+13624*f6+26870*f7+20924*f8+25945*f9+41751*f10+38065*f11+52563*f13+58162*f14+39301*f15+59554*f16+64180*f17+64167*f18+17453*f19, 38065*f12+44962*f14^2+29214*f18^2+27773*f18*f19+15017*f18*f15+18007*f18*f16+16370*f18*f17+27226*f18*f14+64249*f19^2+9788*f19*f15+44517*f19*f16+40470*f19*f17+36529*f19*f14+34535*f15^2+52791*f15*f16+24166*f15*f17+49734*f15*f14+42068*f16^2+46705*f16*f17+64750*f16*f14+27186*f17^2+11212*f17*f14+7367*f13*f1+26726*f13*f2+17957*f13*f3+38647*f13*f18+37507*f13*f19+55243*f13*f15+14103*f13*f16+908*f13*f17+38021*f13*f14+80*f0^2+44574*f0*f1+16549*f0*f2+39001*f0*f3+38569*f0*f18+43438*f0*f19+34587*f0*f15+27529*f0*f16+7157*f0*f17+45036*f0*f14+9774*f1^2+54178*f1*f2+48493*f1*f3+46081*f1*f18+56886*f1*f19+12928*f1*f15+49962*f1*f16+45420*f1*f17+54888*f1*f14+61195*f2^2+58026*f2*f3+33000*f2*f18+61170*f2*f19+29824*f2*f15+4976*f2*f16+22393*f2*f17+20881*f2*f14+35652*f3^2+11866*f3*f18+40222*f3*f19+49433*f3*f15+7158*f3*f16+42246*f3*f17+4677*f3*f14+15342*f7*f13+7926*f7*f0+11493*f7*f1+27811*f7*f2+29446*f7*f3+21150*f7*f18+60052*f7*f19+41749*f7*f15+63945*f7*f16+34306*f7*f17+13085*f7*f14+21001*f8^2+49879*f8*f9+62941*f8*f10+63137*f8*f11+42897*f8*f13+56626*f8*f0+64998*f8*f1+27986*f8*f2+16504*f8*f3+7760*f8*f18+29871*f8*f19+12096*f8*f15+31826*f8*f16+58715*f8*f17+59789*f8*f14+2454*f9^2+63390*f9*f10+12862*f9*f11+10366*f9*f13+10557*f9*f0+42563*f9*f1+30074*f9*f2+2864*f9*f3+33329*f9*f18+13473*f9*f19+54789*f9*f15+25627*f9*f16+59036*f9*f17+50933*f9*f14+45792*f10^2+7525*f10*f11+52503*f10*f13+4908*f10*f0+27403*f10*f1+11319*f10*f2+38272*f10*f3+64333*f10*f18+44973*f10*f19+63399*f10*f15+53286*f10*f16+24616*f10*f17+51403*f10*f14+25317*f11^2+22306*f11*f13+42324*f11*f0+39746*f11*f1+38496*f11*f2+61065*f11*f3+64728*f11*f18+27538*f11*f19+30241*f11*f15+27296*f11*f16+30771*f11*f17+60399*f11*f14+20532*f13^2+33591*f13*f0+12831*f12^2+40990*f12*f4+23818*f12*f5+34009*f12*f6+63211*f12*f7+47480*f12*f8+63089*f12*f9+62305*f12*f10+14399*f12*f11+16597*f12*f13+62052*f12*f0+18852*f12*f1+1972*f12*f2+1678*f12*f3+56909*f12*f18+50034*f12*f19+29401*f12*f15+34186*f12*f16+54904*f12*f17+57157*f12*f14+5601*f4^2+54901*f4*f5+7619*f4*f6+63547*f4*f7+16748*f4*f8+56295*f4*f9+47286*f4*f10+38513*f4*f11+39200*f4*f13+60174*f4*f0+41127*f4*f1+62441*f4*f2+18112*f4*f3+39101*f4*f18+33226*f4*f19+10829*f4*f15+14918*f4*f16+55257*f4*f17+55991*f4*f14+26582*f5^2+9587*f5*f6+33351*f5*f7+54802*f5*f8+56896*f5*f9+6268*f5*f10+47644*f5*f11+44501*f5*f13+27705*f5*f0+7264*f5*f1+29732*f5*f2+43507*f5*f3+1464*f5*f18+39882*f5*f19+44972*f5*f15+55449*f5*f16+8713*f5*f17+9456*f5*f14+30102*f6^2+33506*f6*f7+38285*f6*f8+62732*f6*f9+26055*f6*f10+57598*f6*f11+56293*f6*f13+49069*f6*f0+39185*f6*f1+62502*f6*f2+40558*f6*f3+58770*f6*f18+11848*f6*f19+65265*f6*f15+14580*f6*f16+19211*f6*f17+1508*f6*f14+57904*f7^2+22106*f7*f8+38931*f7*f9+43291*f7*f10+55646*f7*f11+17453*f0+37385*f1+29157*f2+39230*f3+2746*f4+38843*f5+21965*f6+13624*f7+26870*f8+20924*f9+25945*f10+41751*f11+10124*f13+52563*f14+58162*f15+39301*f16+59554*f17+64180*f18+64167*f19, 41751*f12+20532*f14^2+27186*f18^2+16370*f18*f19+11212*f18*f15+24166*f18*f16+46705*f18*f17+908*f18*f14+29214*f19^2+27226*f19*f15+15017*f19*f16+18007*f19*f17+38647*f19*f14+44962*f15^2+49734*f15*f16+64750*f15*f17+38021*f15*f14+34535*f16^2+52791*f16*f17+55243*f16*f14+42068*f17^2+14103*f17*f14+62052*f13*f1+18852*f13*f2+1972*f13*f3+54904*f13*f18+56909*f13*f19+57157*f13*f15+29401*f13*f16+34186*f13*f17+16597*f13*f14+64249*f0^2+43438*f0*f1+56886*f0*f2+61170*f0*f3+40470*f0*f18+27773*f0*f19+36529*f0*f15+9788*f0*f16+44517*f0*f17+37507*f0*f14+80*f1^2+44574*f1*f2+16549*f1*f3+7157*f1*f18+38569*f1*f19+45036*f1*f15+34587*f1*f16+27529*f1*f17+33591*f1*f14+9774*f2^2+54178*f2*f3+45420*f2*f18+46081*f2*f19+54888*f2*f15+12928*f2*f16+49962*f2*f17+7367*f2*f14+61195*f3^2+22393*f3*f18+33000*f3*f19+20881*f3*f15+29824*f3*f16+4976*f3*f17+26726*f3*f14+34009*f7*f13+11848*f7*f0+49069*f7*f1+39185*f7*f2+62502*f7*f3+19211*f7*f18+58770*f7*f19+1508*f7*f15+65265*f7*f16+14580*f7*f17+56293*f7*f14+57904*f8^2+22106*f8*f9+38931*f8*f10+43291*f8*f11+63211*f8*f13+60052*f8*f0+7926*f8*f1+11493*f8*f2+27811*f8*f3+34306*f8*f18+21150*f8*f19+13085*f8*f15+41749*f8*f16+63945*f8*f17+15342*f8*f14+21001*f9^2+49879*f9*f10+62941*f9*f11+47480*f9*f13+29871*f9*f0+56626*f9*f1+64998*f9*f2+27986*f9*f3+58715*f9*f18+7760*f9*f19+59789*f9*f15+12096*f9*f16+31826*f9*f17+42897*f9*f14+2454*f10^2+63390*f10*f11+63089*f10*f13+13473*f10*f0+10557*f10*f1+42563*f10*f2+30074*f10*f3+59036*f10*f18+33329*f10*f19+50933*f10*f15+54789*f10*f16+25627*f10*f17+10366*f10*f14+45792*f11^2+62305*f11*f13+44973*f11*f0+4908*f11*f1+27403*f11*f2+11319*f11*f3+24616*f11*f18+64333*f11*f19+51403*f11*f15+63399*f11*f16+53286*f11*f17+52503*f11*f14+12831*f13^2+50034*f13*f0+25317*f12^2+61065*f12*f4+38513*f12*f5+47644*f12*f6+57598*f12*f7+55646*f12*f8+63137*f12*f9+12862*f12*f10+7525*f12*f11+14399*f12*f13+27538*f12*f0+42324*f12*f1+39746*f12*f2+38496*f12*f3+30771*f12*f18+64728*f12*f19+60399*f12*f15+30241*f12*f16+27296*f12*f17+22306*f12*f14+35652*f4^2+18112*f4*f5+43507*f4*f6+40558*f4*f7+29446*f4*f8+16504*f4*f9+2864*f4*f10+38272*f4*f11+1678*f4*f13+40222*f4*f0+39001*f4*f1+48493*f4*f2+58026*f4*f3+42246*f4*f18+11866*f4*f19+4677*f4*f15+49433*f4*f16+7158*f4*f17+17957*f4*f14+5601*f5^2+54901*f5*f6+7619*f5*f7+63547*f5*f8+16748*f5*f9+56295*f5*f10+47286*f5*f11+40990*f5*f13+33226*f5*f0+60174*f5*f1+41127*f5*f2+62441*f5*f3+55257*f5*f18+39101*f5*f19+55991*f5*f15+10829*f5*f16+14918*f5*f17+39200*f5*f14+26582*f6^2+9587*f6*f7+33351*f6*f8+54802*f6*f9+56896*f6*f10+6268*f6*f11+23818*f6*f13+39882*f6*f0+27705*f6*f1+7264*f6*f2+29732*f6*f3+8713*f6*f18+1464*f6*f19+9456*f6*f15+44972*f6*f16+55449*f6*f17+44501*f6*f14+30102*f7^2+33506*f7*f8+38285*f7*f9+62732*f7*f10+26055*f7*f11+64167*f0+17453*f1+37385*f2+29157*f3+39230*f4+2746*f5+38843*f6+21965*f7+13624*f8+26870*f9+20924*f10+25945*f11+38065*f13+10124*f14+52563*f15+58162*f16+39301*f17+59554*f18+64180*f19, 25945*f12+12831*f14^2+42068*f18^2+46705*f18*f19+14103*f18*f15+64750*f18*f16+52791*f18*f17+34186*f18*f14+27186*f19^2+908*f19*f15+11212*f19*f16+24166*f19*f17+54904*f19*f14+20532*f15^2+38021*f15*f16+55243*f15*f17+16597*f15*f14+44962*f16^2+49734*f16*f17+57157*f16*f14+34535*f17^2+29401*f17*f14+27538*f13*f1+42324*f13*f2+39746*f13*f3+27296*f13*f18+30771*f13*f19+22306*f13*f15+60399*f13*f16+30241*f13*f17+14399*f13*f14+29214*f0^2+27773*f0*f1+38569*f0*f2+46081*f0*f3+18007*f0*f18+16370*f0*f19+38647*f0*f15+27226*f0*f16+15017*f0*f17+56909*f0*f14+64249*f1^2+43438*f1*f2+56886*f1*f3+44517*f1*f18+40470*f1*f19+37507*f1*f15+36529*f1*f16+9788*f1*f17+50034*f1*f14+80*f2^2+44574*f2*f3+27529*f2*f18+7157*f2*f19+33591*f2*f15+45036*f2*f16+34587*f2*f17+62052*f2*f14+9774*f3^2+49962*f3*f18+45420*f3*f19+7367*f3*f15+54888*f3*f16+12928*f3*f17+18852*f3*f14+47644*f7*f13+1464*f7*f0+39882*f7*f1+27705*f7*f2+7264*f7*f3+55449*f7*f18+8713*f7*f19+44501*f7*f15+9456*f7*f16+44972*f7*f17+23818*f7*f14+30102*f8^2+33506*f8*f9+38285*f8*f10+62732*f8*f11+57598*f8*f13+58770*f8*f0+11848*f8*f1+49069*f8*f2+39185*f8*f3+14580*f8*f18+19211*f8*f19+56293*f8*f15+1508*f8*f16+65265*f8*f17+34009*f8*f14+57904*f9^2+22106*f9*f10+38931*f9*f11+55646*f9*f13+21150*f9*f0+60052*f9*f1+7926*f9*f2+11493*f9*f3+63945*f9*f18+34306*f9*f19+15342*f9*f15+13085*f9*f16+41749*f9*f17+63211*f9*f14+21001*f10^2+49879*f10*f11+63137*f10*f13+7760*f10*f0+29871*f10*f1+56626*f10*f2+64998*f10*f3+31826*f10*f18+58715*f10*f19+42897*f10*f15+59789*f10*f16+12096*f10*f17+47480*f10*f14+2454*f11^2+12862*f11*f13+33329*f11*f0+13473*f11*f1+10557*f11*f2+42563*f11*f3+25627*f11*f18+59036*f11*f19+10366*f11*f15+50933*f11*f16+54789*f11*f17+63089*f11*f14+25317*f13^2+64728*f13*f0+45792*f12^2+11319*f12*f4+38272*f12*f5+47286*f12*f6+6268*f12*f7+26055*f12*f8+43291*f12*f9+62941*f12*f10+63390*f12*f11+7525*f12*f13+64333*f12*f0+44973*f12*f1+4908*f12*f2+27403*f12*f3+53286*f12*f18+24616*f12*f19+52503*f12*f15+51403*f12*f16+63399*f12*f17+62305*f12*f14+61195*f4^2+58026*f4*f5+62441*f4*f6+29732*f4*f7+62502*f4*f8+27811*f4*f9+27986*f4*f10+30074*f4*f11+38496*f4*f13+33000*f4*f0+61170*f4*f1+16549*f4*f2+54178*f4*f3+4976*f4*f18+22393*f4*f19+26726*f4*f15+20881*f4*f16+29824*f4*f17+1972*f4*f14+35652*f5^2+18112*f5*f6+43507*f5*f7+40558*f5*f8+29446*f5*f9+16504*f5*f10+2864*f5*f11+61065*f5*f13+11866*f5*f0+40222*f5*f1+39001*f5*f2+48493*f5*f3+7158*f5*f18+42246*f5*f19+17957*f5*f15+4677*f5*f16+49433*f5*f17+1678*f5*f14+5601*f6^2+54901*f6*f7+7619*f6*f8+63547*f6*f9+16748*f6*f10+56295*f6*f11+38513*f6*f13+39101*f6*f0+33226*f6*f1+60174*f6*f2+41127*f6*f3+14918*f6*f18+55257*f6*f19+39200*f6*f15+55991*f6*f16+10829*f6*f17+40990*f6*f14+26582*f7^2+9587*f7*f8+33351*f7*f9+54802*f7*f10+56896*f7*f11+64180*f0+64167*f1+17453*f2+37385*f3+29157*f4+39230*f5+2746*f6+38843*f7+21965*f8+13624*f9+26870*f10+20924*f11+41751*f13+38065*f14+10124*f15+52563*f16+58162*f17+39301*f18+59554*f19, 20924*f12+25317*f14^2+34535*f18^2+52791*f18*f19+29401*f18*f15+55243*f18*f16+49734*f18*f17+30241*f18*f14+42068*f19^2+34186*f19*f15+14103*f19*f16+64750*f19*f17+27296*f19*f14+12831*f15^2+16597*f15*f16+57157*f15*f17+14399*f15*f14+20532*f16^2+38021*f16*f17+22306*f16*f14+44962*f17^2+60399*f17*f14+64333*f13*f1+44973*f13*f2+4908*f13*f3+63399*f13*f18+53286*f13*f19+62305*f13*f15+52503*f13*f16+51403*f13*f17+7525*f13*f14+27186*f0^2+16370*f0*f1+40470*f0*f2+7157*f0*f3+24166*f0*f18+46705*f0*f19+54904*f0*f15+908*f0*f16+11212*f0*f17+30771*f0*f14+29214*f1^2+27773*f1*f2+38569*f1*f3+15017*f1*f18+18007*f1*f19+56909*f1*f15+38647*f1*f16+27226*f1*f17+64728*f1*f14+64249*f2^2+43438*f2*f3+9788*f2*f18+44517*f2*f19+50034*f2*f15+37507*f2*f16+36529*f2*f17+27538*f2*f14+80*f3^2+34587*f3*f18+27529*f3*f19+62052*f3*f15+33591*f3*f16+45036*f3*f17+42324*f3*f14+47286*f7*f13+55257*f7*f0+39101*f7*f1+33226*f7*f2+60174*f7*f3+10829*f7*f18+14918*f7*f19+40990*f7*f15+39200*f7*f16+55991*f7*f17+38513*f7*f14+26582*f8^2+9587*f8*f9+33351*f8*f10+54802*f8*f11+6268*f8*f13+8713*f8*f0+1464*f8*f1+39882*f8*f2+27705*f8*f3+44972*f8*f18+55449*f8*f19+23818*f8*f15+44501*f8*f16+9456*f8*f17+47644*f8*f14+30102*f9^2+33506*f9*f10+38285*f9*f11+26055*f9*f13+19211*f9*f0+58770*f9*f1+11848*f9*f2+49069*f9*f3+65265*f9*f18+14580*f9*f19+34009*f9*f15+56293*f9*f16+1508*f9*f17+57598*f9*f14+57904*f10^2+22106*f10*f11+43291*f10*f13+34306*f10*f0+21150*f10*f1+60052*f10*f2+7926*f10*f3+41749*f10*f18+63945*f10*f19+63211*f10*f15+15342*f10*f16+13085*f10*f17+55646*f10*f14+21001*f11^2+62941*f11*f13+58715*f11*f0+7760*f11*f1+29871*f11*f2+56626*f11*f3+12096*f11*f18+31826*f11*f19+47480*f11*f15+42897*f11*f16+59789*f11*f17+63137*f11*f14+45792*f13^2+24616*f13*f0+2454*f12^2+42563*f12*f4+30074*f12*f5+2864*f12*f6+56295*f12*f7+56896*f12*f8+62732*f12*f9+38931*f12*f10+49879*f12*f11+63390*f12*f13+59036*f12*f0+33329*f12*f1+13473*f12*f2+10557*f12*f3+54789*f12*f18+25627*f12*f19+63089*f12*f15+10366*f12*f16+50933*f12*f17+12862*f12*f14+9774*f4^2+54178*f4*f5+48493*f4*f6+41127*f4*f7+7264*f4*f8+39185*f4*f9+11493*f4*f10+64998*f4*f11+27403*f4*f13+45420*f4*f0+46081*f4*f1+56886*f4*f2+44574*f4*f3+12928*f4*f18+49962*f4*f19+18852*f4*f15+7367*f4*f16+54888*f4*f17+39746*f4*f14+61195*f5^2+58026*f5*f6+62441*f5*f7+29732*f5*f8+62502*f5*f9+27811*f5*f10+27986*f5*f11+11319*f5*f13+22393*f5*f0+33000*f5*f1+61170*f5*f2+16549*f5*f3+29824*f5*f18+4976*f5*f19+1972*f5*f15+26726*f5*f16+20881*f5*f17+38496*f5*f14+35652*f6^2+18112*f6*f7+43507*f6*f8+40558*f6*f9+29446*f6*f10+16504*f6*f11+38272*f6*f13+42246*f6*f0+11866*f6*f1+40222*f6*f2+39001*f6*f3+49433*f6*f18+7158*f6*f19+1678*f6*f15+17957*f6*f16+4677*f6*f17+61065*f6*f14+5601*f7^2+54901*f7*f8+7619*f7*f9+63547*f7*f10+16748*f7*f11+59554*f0+64180*f1+64167*f2+17453*f3+37385*f4+29157*f5+39230*f6+2746*f7+38843*f8+21965*f9+13624*f10+26870*f11+25945*f13+41751*f14+38065*f15+10124*f16+52563*f17+58162*f18+39301*f19, 26870*f12+45792*f14^2+44962*f18^2+49734*f18*f19+60399*f18*f15+57157*f18*f16+38021*f18*f17+51403*f18*f14+34535*f19^2+30241*f19*f15+29401*f19*f16+55243*f19*f17+63399*f19*f14+25317*f15^2+14399*f15*f16+22306*f15*f17+7525*f15*f14+12831*f16^2+16597*f16*f17+62305*f16*f14+20532*f17^2+52503*f17*f14+59036*f13*f1+33329*f13*f2+13473*f13*f3+50933*f13*f18+54789*f13*f19+12862*f13*f15+63089*f13*f16+10366*f13*f17+63390*f13*f14+42068*f0^2+46705*f0*f1+18007*f0*f2+44517*f0*f3+64750*f0*f18+52791*f0*f19+27296*f0*f15+34186*f0*f16+14103*f0*f17+53286*f0*f14+27186*f1^2+16370*f1*f2+40470*f1*f3+11212*f1*f18+24166*f1*f19+30771*f1*f15+54904*f1*f16+908*f1*f17+24616*f1*f14+29214*f2^2+27773*f2*f3+27226*f2*f18+15017*f2*f19+64728*f2*f15+56909*f2*f16+38647*f2*f17+64333*f2*f14+64249*f3^2+36529*f3*f18+9788*f3*f19+27538*f3*f15+50034*f3*f16+37507*f3*f17+44973*f3*f14+2864*f7*f13+7158*f7*f0+42246*f7*f1+11866*f7*f2+40222*f7*f3+4677*f7*f18+49433*f7*f19+61065*f7*f15+1678*f7*f16+17957*f7*f17+38272*f7*f14+5601*f8^2+54901*f8*f9+7619*f8*f10+63547*f8*f11+56295*f8*f13+14918*f8*f0+55257*f8*f1+39101*f8*f2+33226*f8*f3+55991*f8*f18+10829*f8*f19+38513*f8*f15+40990*f8*f16+39200*f8*f17+47286*f8*f14+26582*f9^2+9587*f9*f10+33351*f9*f11+56896*f9*f13+55449*f9*f0+8713*f9*f1+1464*f9*f2+39882*f9*f3+9456*f9*f18+44972*f9*f19+47644*f9*f15+23818*f9*f16+44501*f9*f17+6268*f9*f14+30102*f10^2+33506*f10*f11+62732*f10*f13+14580*f10*f0+19211*f10*f1+58770*f10*f2+11848*f10*f3+1508*f10*f18+65265*f10*f19+57598*f10*f15+34009*f10*f16+56293*f10*f17+26055*f10*f14+57904*f11^2+38931*f11*f13+63945*f11*f0+34306*f11*f1+21150*f11*f2+60052*f11*f3+13085*f11*f18+41749*f11*f19+55646*f11*f15+63211*f11*f16+15342*f11*f17+43291*f11*f14+2454*f13^2+25627*f13*f0+21001*f12^2+56626*f12*f4+64998*f12*f5+27986*f12*f6+16504*f12*f7+16748*f12*f8+54802*f12*f9+38285*f12*f10+22106*f12*f11+49879*f12*f13+31826*f12*f0+58715*f12*f1+7760*f12*f2+29871*f12*f3+59789*f12*f18+12096*f12*f19+63137*f12*f15+47480*f12*f16+42897*f12*f17+62941*f12*f14+80*f4^2+44574*f4*f5+16549*f4*f6+39001*f4*f7+60174*f4*f8+27705*f4*f9+49069*f4*f10+7926*f4*f11+10557*f4*f13+27529*f4*f0+7157*f4*f1+38569*f4*f2+43438*f4*f3+45036*f4*f18+34587*f4*f19+42324*f4*f15+62052*f4*f16+33591*f4*f17+4908*f4*f14+9774*f5^2+54178*f5*f6+48493*f5*f7+41127*f5*f8+7264*f5*f9+39185*f5*f10+11493*f5*f11+42563*f5*f13+49962*f5*f0+45420*f5*f1+46081*f5*f2+56886*f5*f3+54888*f5*f18+12928*f5*f19+39746*f5*f15+18852*f5*f16+7367*f5*f17+27403*f5*f14+61195*f6^2+58026*f6*f7+62441*f6*f8+29732*f6*f9+62502*f6*f10+27811*f6*f11+30074*f6*f13+4976*f6*f0+22393*f6*f1+33000*f6*f2+61170*f6*f3+20881*f6*f18+29824*f6*f19+38496*f6*f15+1972*f6*f16+26726*f6*f17+11319*f6*f14+35652*f7^2+18112*f7*f8+43507*f7*f9+40558*f7*f10+29446*f7*f11+39301*f0+59554*f1+64180*f2+64167*f3+17453*f4+37385*f5+29157*f6+39230*f7+2746*f8+38843*f9+21965*f10+13624*f11+20924*f13+25945*f14+41751*f15+38065*f16+10124*f17+52563*f18+58162*f19, 13624*f12+2454*f14^2+20532*f18^2+38021*f18*f19+52503*f18*f15+22306*f18*f16+16597*f18*f17+10366*f18*f14+44962*f19^2+51403*f19*f15+60399*f19*f16+57157*f19*f17+50933*f19*f14+45792*f15^2+7525*f15*f16+62305*f15*f17+63390*f15*f14+25317*f16^2+14399*f16*f17+12862*f16*f14+12831*f17^2+63089*f17*f14+31826*f13*f1+58715*f13*f2+7760*f13*f3+42897*f13*f18+59789*f13*f19+62941*f13*f15+63137*f13*f16+47480*f13*f17+49879*f13*f14+34535*f0^2+52791*f0*f1+24166*f0*f2+15017*f0*f3+55243*f0*f18+49734*f0*f19+63399*f0*f15+30241*f0*f16+29401*f0*f17+54789*f0*f14+42068*f1^2+46705*f1*f2+18007*f1*f3+14103*f1*f18+64750*f1*f19+53286*f1*f15+27296*f1*f16+34186*f1*f17+25627*f1*f14+27186*f2^2+16370*f2*f3+908*f2*f18+11212*f2*f19+24616*f2*f15+30771*f2*f16+54904*f2*f17+59036*f2*f14+29214*f3^2+38647*f3*f18+27226*f3*f19+64333*f3*f15+64728*f3*f16+56909*f3*f17+33329*f3*f14+27986*f7*f13+29824*f7*f0+4976*f7*f1+22393*f7*f2+33000*f7*f3+26726*f7*f18+20881*f7*f19+11319*f7*f15+38496*f7*f16+1972*f7*f17+30074*f7*f14+35652*f8^2+18112*f8*f9+43507*f8*f10+40558*f8*f11+16504*f8*f13+49433*f8*f0+7158*f8*f1+42246*f8*f2+11866*f8*f3+17957*f8*f18+4677*f8*f19+38272*f8*f15+61065*f8*f16+1678*f8*f17+2864*f8*f14+5601*f9^2+54901*f9*f10+7619*f9*f11+16748*f9*f13+10829*f9*f0+14918*f9*f1+55257*f9*f2+39101*f9*f3+39200*f9*f18+55991*f9*f19+47286*f9*f15+38513*f9*f16+40990*f9*f17+56295*f9*f14+26582*f10^2+9587*f10*f11+54802*f10*f13+44972*f10*f0+55449*f10*f1+8713*f10*f2+1464*f10*f3+44501*f10*f18+9456*f10*f19+6268*f10*f15+47644*f10*f16+23818*f10*f17+56896*f10*f14+30102*f11^2+38285*f11*f13+65265*f11*f0+14580*f11*f1+19211*f11*f2+58770*f11*f3+56293*f11*f18+1508*f11*f19+26055*f11*f15+57598*f11*f16+34009*f11*f17+62732*f11*f14+21001*f13^2+12096*f13*f0+57904*f12^2+60052*f12*f4+7926*f12*f5+11493*f12*f6+27811*f12*f7+29446*f12*f8+63547*f12*f9+33351*f12*f10+33506*f12*f11+22106*f12*f13+41749*f12*f0+63945*f12*f1+34306*f12*f2+21150*f12*f3+15342*f12*f18+13085*f12*f19+43291*f12*f15+55646*f12*f16+63211*f12*f17+38931*f12*f14+64249*f4^2+43438*f4*f5+56886*f4*f6+61170*f4*f7+40222*f4*f8+33226*f4*f9+39882*f4*f10+11848*f4*f11+29871*f4*f13+9788*f4*f0+44517*f4*f1+40470*f4*f2+27773*f4*f3+37507*f4*f18+36529*f4*f19+44973*f4*f15+27538*f4*f16+50034*f4*f17+13473*f4*f14+80*f5^2+44574*f5*f6+16549*f5*f7+39001*f5*f8+60174*f5*f9+27705*f5*f10+49069*f5*f11+56626*f5*f13+34587*f5*f0+27529*f5*f1+7157*f5*f2+38569*f5*f3+33591*f5*f18+45036*f5*f19+4908*f5*f15+42324*f5*f16+62052*f5*f17+10557*f5*f14+9774*f6^2+54178*f6*f7+48493*f6*f8+41127*f6*f9+7264*f6*f10+39185*f6*f11+64998*f6*f13+12928*f6*f0+49962*f6*f1+45420*f6*f2+46081*f6*f3+7367*f6*f18+54888*f6*f19+27403*f6*f15+39746*f6*f16+18852*f6*f17+42563*f6*f14+61195*f7^2+58026*f7*f8+62441*f7*f9+29732*f7*f10+62502*f7*f11+58162*f0+39301*f1+59554*f2+64180*f3+64167*f4+17453*f5+37385*f6+29157*f7+39230*f8+2746*f9+38843*f10+21965*f11+26870*f13+20924*f14+25945*f15+41751*f16+38065*f17+10124*f18+52563*f19, 21965*f12+21001*f14^2+12831*f18^2+16597*f18*f19+63089*f18*f15+62305*f18*f16+14399*f18*f17+47480*f18*f14+20532*f19^2+10366*f19*f15+52503*f19*f16+22306*f19*f17+42897*f19*f14+2454*f15^2+63390*f15*f16+12862*f15*f17+49879*f15*f14+45792*f16^2+7525*f16*f17+62941*f16*f14+25317*f17^2+63137*f17*f14+41749*f13*f1+63945*f13*f2+34306*f13*f3+63211*f13*f18+15342*f13*f19+38931*f13*f15+43291*f13*f16+55646*f13*f17+22106*f13*f14+44962*f0^2+49734*f0*f1+64750*f0*f2+11212*f0*f3+57157*f0*f18+38021*f0*f19+50933*f0*f15+51403*f0*f16+60399*f0*f17+59789*f0*f14+34535*f1^2+52791*f1*f2+24166*f1*f3+29401*f1*f18+55243*f1*f19+54789*f1*f15+63399*f1*f16+30241*f1*f17+12096*f1*f14+42068*f2^2+46705*f2*f3+34186*f2*f18+14103*f2*f19+25627*f2*f15+53286*f2*f16+27296*f2*f17+31826*f2*f14+27186*f3^2+54904*f3*f18+908*f3*f19+59036*f3*f15+24616*f3*f16+30771*f3*f17+58715*f3*f14+11493*f7*f13+54888*f7*f0+12928*f7*f1+49962*f7*f2+45420*f7*f3+18852*f7*f18+7367*f7*f19+42563*f7*f15+27403*f7*f16+39746*f7*f17+64998*f7*f14+61195*f8^2+58026*f8*f9+62441*f8*f10+29732*f8*f11+27811*f8*f13+20881*f8*f0+29824*f8*f1+4976*f8*f2+22393*f8*f3+1972*f8*f18+26726*f8*f19+30074*f8*f15+11319*f8*f16+38496*f8*f17+27986*f8*f14+35652*f9^2+18112*f9*f10+43507*f9*f11+29446*f9*f13+4677*f9*f0+49433*f9*f1+7158*f9*f2+42246*f9*f3+1678*f9*f18+17957*f9*f19+2864*f9*f15+38272*f9*f16+61065*f9*f17+16504*f9*f14+5601*f10^2+54901*f10*f11+63547*f10*f13+55991*f10*f0+10829*f10*f1+14918*f10*f2+55257*f10*f3+40990*f10*f18+39200*f10*f19+56295*f10*f15+47286*f10*f16+38513*f10*f17+16748*f10*f14+26582*f11^2+33351*f11*f13+9456*f11*f0+44972*f11*f1+55449*f11*f2+8713*f11*f3+23818*f11*f18+44501*f11*f19+56896*f11*f15+6268*f11*f16+47644*f11*f17+54802*f11*f14+57904*f13^2+13085*f13*f0+30102*f12^2+58770*f12*f4+11848*f12*f5+49069*f12*f6+39185*f12*f7+62502*f12*f8+40558*f12*f9+7619*f12*f10+9587*f12*f11+33506*f12*f13+1508*f12*f0+65265*f12*f1+14580*f12*f2+19211*f12*f3+34009*f12*f18+56293*f12*f19+62732*f12*f15+26055*f12*f16+57598*f12*f17+38285*f12*f14+29214*f4^2+27773*f4*f5+38569*f4*f6+46081*f4*f7+33000*f4*f8+11866*f4*f9+39101*f4*f10+1464*f4*f11+21150*f4*f13+27226*f4*f0+15017*f4*f1+18007*f4*f2+16370*f4*f3+56909*f4*f18+38647*f4*f19+33329*f4*f15+64333*f4*f16+64728*f4*f17+7760*f4*f14+64249*f5^2+43438*f5*f6+56886*f5*f7+61170*f5*f8+40222*f5*f9+33226*f5*f10+39882*f5*f11+60052*f5*f13+36529*f5*f0+9788*f5*f1+44517*f5*f2+40470*f5*f3+50034*f5*f18+37507*f5*f19+13473*f5*f15+44973*f5*f16+27538*f5*f17+29871*f5*f14+80*f6^2+44574*f6*f7+16549*f6*f8+39001*f6*f9+60174*f6*f10+27705*f6*f11+7926*f6*f13+45036*f6*f0+34587*f6*f1+27529*f6*f2+7157*f6*f3+62052*f6*f18+33591*f6*f19+10557*f6*f15+4908*f6*f16+42324*f6*f17+56626*f6*f14+9774*f7^2+54178*f7*f8+48493*f7*f9+41127*f7*f10+7264*f7*f11+52563*f0+58162*f1+39301*f2+59554*f3+64180*f4+64167*f5+17453*f6+37385*f7+29157*f8+39230*f9+2746*f10+38843*f11+13624*f13+26870*f14+20924*f15+25945*f16+41751*f17+38065*f18+10124*f19, 38843*f12+57904*f14^2+25317*f18^2+14399*f18*f19+63137*f18*f15+12862*f18*f16+7525*f18*f17+55646*f18*f14+12831*f19^2+47480*f19*f15+63089*f19*f16+62305*f19*f17+63211*f19*f14+21001*f15^2+49879*f15*f16+62941*f15*f17+22106*f15*f14+2454*f16^2+63390*f16*f17+38931*f16*f14+45792*f17^2+43291*f17*f14+1508*f13*f1+65265*f13*f2+14580*f13*f3+57598*f13*f18+34009*f13*f19+38285*f13*f15+62732*f13*f16+26055*f13*f17+33506*f13*f14+20532*f0^2+38021*f0*f1+55243*f0*f2+14103*f0*f3+22306*f0*f18+16597*f0*f19+42897*f0*f15+10366*f0*f16+52503*f0*f17+15342*f0*f14+44962*f1^2+49734*f1*f2+64750*f1*f3+60399*f1*f18+57157*f1*f19+59789*f1*f15+50933*f1*f16+51403*f1*f17+13085*f1*f14+34535*f2^2+52791*f2*f3+30241*f2*f18+29401*f2*f19+12096*f2*f15+54789*f2*f16+63399*f2*f17+41749*f2*f14+42068*f3^2+27296*f3*f18+34186*f3*f19+31826*f3*f15+25627*f3*f16+53286*f3*f17+63945*f3*f14+49069*f7*f13+33591*f7*f0+45036*f7*f1+34587*f7*f2+27529*f7*f3+42324*f7*f18+62052*f7*f19+56626*f7*f15+10557*f7*f16+4908*f7*f17+7926*f7*f14+9774*f8^2+54178*f8*f9+48493*f8*f10+41127*f8*f11+39185*f8*f13+7367*f8*f0+54888*f8*f1+12928*f8*f2+49962*f8*f3+39746*f8*f18+18852*f8*f19+64998*f8*f15+42563*f8*f16+27403*f8*f17+11493*f8*f14+61195*f9^2+58026*f9*f10+62441*f9*f11+62502*f9*f13+26726*f9*f0+20881*f9*f1+29824*f9*f2+4976*f9*f3+38496*f9*f18+1972*f9*f19+27986*f9*f15+30074*f9*f16+11319*f9*f17+27811*f9*f14+35652*f10^2+18112*f10*f11+40558*f10*f13+17957*f10*f0+4677*f10*f1+49433*f10*f2+7158*f10*f3+61065*f10*f18+1678*f10*f19+16504*f10*f15+2864*f10*f16+38272*f10*f17+29446*f10*f14+5601*f11^2+7619*f11*f13+39200*f11*f0+55991*f11*f1+10829*f11*f2+14918*f11*f3+38513*f11*f18+40990*f11*f19+16748*f11*f15+56295*f11*f16+47286*f11*f17+63547*f11*f14+30102*f13^2+56293*f13*f0+26582*f12^2+8713*f12*f4+1464*f12*f5+39882*f12*f6+27705*f12*f7+7264*f12*f8+29732*f12*f9+43507*f12*f10+54901*f12*f11+9587*f12*f13+44501*f12*f0+9456*f12*f1+44972*f12*f2+55449*f12*f3+47644*f12*f18+23818*f12*f19+54802*f12*f15+56896*f12*f16+6268*f12*f17+33351*f12*f14+27186*f4^2+16370*f4*f5+40470*f4*f6+7157*f4*f7+45420*f4*f8+22393*f4*f9+42246*f4*f10+55257*f4*f11+19211*f4*f13+908*f4*f0+11212*f4*f1+24166*f4*f2+46705*f4*f3+30771*f4*f18+54904*f4*f19+58715*f4*f15+59036*f4*f16+24616*f4*f17+34306*f4*f14+29214*f5^2+27773*f5*f6+38569*f5*f7+46081*f5*f8+33000*f5*f9+11866*f5*f10+39101*f5*f11+58770*f5*f13+38647*f5*f0+27226*f5*f1+15017*f5*f2+18007*f5*f3+64728*f5*f18+56909*f5*f19+7760*f5*f15+33329*f5*f16+64333*f5*f17+21150*f5*f14+64249*f6^2+43438*f6*f7+56886*f6*f8+61170*f6*f9+40222*f6*f10+33226*f6*f11+11848*f6*f13+37507*f6*f0+36529*f6*f1+9788*f6*f2+44517*f6*f3+27538*f6*f18+50034*f6*f19+29871*f6*f15+13473*f6*f16+44973*f6*f17+60052*f6*f14+80*f7^2+44574*f7*f8+16549*f7*f9+39001*f7*f10+60174*f7*f11+10124*f0+52563*f1+58162*f2+39301*f3+59554*f4+64180*f5+64167*f6+17453*f7+37385*f8+29157*f9+39230*f10+2746*f11+21965*f13+13624*f14+26870*f15+20924*f16+25945*f17+41751*f18+38065*f19, 2746*f12+30102*f14^2+45792*f18^2+7525*f18*f19+43291*f18*f15+62941*f18*f16+63390*f18*f17+26055*f18*f14+25317*f19^2+55646*f19*f15+63137*f19*f16+12862*f19*f17+57598*f19*f14+57904*f15^2+22106*f15*f16+38931*f15*f17+33506*f15*f14+21001*f16^2+49879*f16*f17+38285*f16*f14+2454*f17^2+62732*f17*f14+44501*f13*f1+9456*f13*f2+44972*f13*f3+6268*f13*f18+47644*f13*f19+33351*f13*f15+54802*f13*f16+56896*f13*f17+9587*f13*f14+12831*f0^2+16597*f0*f1+57157*f0*f2+29401*f0*f3+62305*f0*f18+14399*f0*f19+63211*f0*f15+47480*f0*f16+63089*f0*f17+34009*f0*f14+20532*f1^2+38021*f1*f2+55243*f1*f3+52503*f1*f18+22306*f1*f19+15342*f1*f15+42897*f1*f16+10366*f1*f17+56293*f1*f14+44962*f2^2+49734*f2*f3+51403*f2*f18+60399*f2*f19+13085*f2*f15+59789*f2*f16+50933*f2*f17+1508*f2*f14+34535*f3^2+63399*f3*f18+30241*f3*f19+41749*f3*f15+12096*f3*f16+54789*f3*f17+65265*f3*f14+39882*f7*f13+50034*f7*f0+37507*f7*f1+36529*f7*f2+9788*f7*f3+44973*f7*f18+27538*f7*f19+60052*f7*f15+29871*f7*f16+13473*f7*f17+11848*f7*f14+80*f8^2+44574*f8*f9+16549*f8*f10+39001*f8*f11+27705*f8*f13+62052*f8*f0+33591*f8*f1+45036*f8*f2+34587*f8*f3+4908*f8*f18+42324*f8*f19+7926*f8*f15+56626*f8*f16+10557*f8*f17+49069*f8*f14+9774*f9^2+54178*f9*f10+48493*f9*f11+7264*f9*f13+18852*f9*f0+7367*f9*f1+54888*f9*f2+12928*f9*f3+27403*f9*f18+39746*f9*f19+11493*f9*f15+64998*f9*f16+42563*f9*f17+39185*f9*f14+61195*f10^2+58026*f10*f11+29732*f10*f13+1972*f10*f0+26726*f10*f1+20881*f10*f2+29824*f10*f3+11319*f10*f18+38496*f10*f19+27811*f10*f15+27986*f10*f16+30074*f10*f17+62502*f10*f14+35652*f11^2+43507*f11*f13+1678*f11*f0+17957*f11*f1+4677*f11*f2+49433*f11*f3+38272*f11*f18+61065*f11*f19+29446*f11*f15+16504*f11*f16+2864*f11*f17+40558*f11*f14+26582*f13^2+23818*f13*f0+5601*f12^2+14918*f12*f4+55257*f12*f5+39101*f12*f6+33226*f12*f7+60174*f12*f8+41127*f12*f9+62441*f12*f10+18112*f12*f11+54901*f12*f13+40990*f12*f0+39200*f12*f1+55991*f12*f2+10829*f12*f3+47286*f12*f18+38513*f12*f19+63547*f12*f15+16748*f12*f16+56295*f12*f17+7619*f12*f14+42068*f4^2+46705*f4*f5+18007*f4*f6+44517*f4*f7+27529*f4*f8+49962*f4*f9+4976*f4*f10+7158*f4*f11+55449*f4*f13+34186*f4*f0+14103*f4*f1+64750*f4*f2+52791*f4*f3+53286*f4*f18+27296*f4*f19+63945*f4*f15+31826*f4*f16+25627*f4*f17+14580*f4*f14+27186*f5^2+16370*f5*f6+40470*f5*f7+7157*f5*f8+45420*f5*f9+22393*f5*f10+42246*f5*f11+8713*f5*f13+54904*f5*f0+908*f5*f1+11212*f5*f2+24166*f5*f3+24616*f5*f18+30771*f5*f19+34306*f5*f15+58715*f5*f16+59036*f5*f17+19211*f5*f14+29214*f6^2+27773*f6*f7+38569*f6*f8+46081*f6*f9+33000*f6*f10+11866*f6*f11+1464*f6*f13+56909*f6*f0+38647*f6*f1+27226*f6*f2+15017*f6*f3+64333*f6*f18+64728*f6*f19+21150*f6*f15+7760*f6*f16+33329*f6*f17+58770*f6*f14+64249*f7^2+43438*f7*f8+56886*f7*f9+61170*f7*f10+40222*f7*f11+38065*f0+10124*f1+52563*f2+58162*f3+39301*f4+59554*f5+64180*f6+64167*f7+17453*f8+37385*f9+29157*f10+39230*f11+38843*f13+21965*f14+13624*f15+26870*f16+20924*f17+25945*f18+41751*f19, 39230*f12+26582*f14^2+2454*f18^2+63390*f18*f19+62732*f18*f15+38931*f18*f16+49879*f18*f17+56896*f18*f14+45792*f19^2+26055*f19*f15+43291*f19*f16+62941*f19*f17+6268*f19*f14+30102*f15^2+33506*f15*f16+38285*f15*f17+9587*f15*f14+57904*f16^2+22106*f16*f17+33351*f16*f14+21001*f17^2+54802*f17*f14+40990*f13*f1+39200*f13*f2+55991*f13*f3+56295*f13*f18+47286*f13*f19+7619*f13*f15+63547*f13*f16+16748*f13*f17+54901*f13*f14+25317*f0^2+14399*f0*f1+22306*f0*f2+60399*f0*f3+12862*f0*f18+7525*f0*f19+57598*f0*f15+55646*f0*f16+63137*f0*f17+47644*f0*f14+12831*f1^2+16597*f1*f2+57157*f1*f3+63089*f1*f18+62305*f1*f19+34009*f1*f15+63211*f1*f16+47480*f1*f17+23818*f1*f14+20532*f2^2+38021*f2*f3+10366*f2*f18+52503*f2*f19+56293*f2*f15+15342*f2*f16+42897*f2*f17+44501*f2*f14+44962*f3^2+50933*f3*f18+51403*f3*f19+1508*f3*f15+13085*f3*f16+59789*f3*f17+9456*f3*f14+39101*f7*f13+64728*f7*f0+56909*f7*f1+38647*f7*f2+27226*f7*f3+33329*f7*f18+64333*f7*f19+58770*f7*f15+21150*f7*f16+7760*f7*f17+1464*f7*f14+64249*f8^2+43438*f8*f9+56886*f8*f10+61170*f8*f11+33226*f8*f13+27538*f8*f0+50034*f8*f1+37507*f8*f2+36529*f8*f3+13473*f8*f18+44973*f8*f19+11848*f8*f15+60052*f8*f16+29871*f8*f17+39882*f8*f14+80*f9^2+44574*f9*f10+16549*f9*f11+60174*f9*f13+42324*f9*f0+62052*f9*f1+33591*f9*f2+45036*f9*f3+10557*f9*f18+4908*f9*f19+49069*f9*f15+7926*f9*f16+56626*f9*f17+27705*f9*f14+9774*f10^2+54178*f10*f11+41127*f10*f13+39746*f10*f0+18852*f10*f1+7367*f10*f2+54888*f10*f3+42563*f10*f18+27403*f10*f19+39185*f10*f15+11493*f10*f16+64998*f10*f17+7264*f10*f14+61195*f11^2+62441*f11*f13+38496*f11*f0+1972*f11*f1+26726*f11*f2+20881*f11*f3+30074*f11*f18+11319*f11*f19+62502*f11*f15+27811*f11*f16+27986*f11*f17+29732*f11*f14+5601*f13^2+38513*f13*f0+35652*f12^2+49433*f12*f4+7158*f12*f5+42246*f12*f6+11866*f12*f7+40222*f12*f8+39001*f12*f9+48493*f12*f10+58026*f12*f11+18112*f12*f13+61065*f12*f0+1678*f12*f1+17957*f12*f2+4677*f12*f3+2864*f12*f18+38272*f12*f19+40558*f12*f15+29446*f12*f16+16504*f12*f17+43507*f12*f14+34535*f4^2+52791*f4*f5+24166*f4*f6+15017*f4*f7+9788*f4*f8+34587*f4*f9+12928*f4*f10+29824*f4*f11+10829*f4*f13+30241*f4*f0+29401*f4*f1+55243*f4*f2+49734*f4*f3+54789*f4*f18+63399*f4*f19+65265*f4*f15+41749*f4*f16+12096*f4*f17+44972*f4*f14+42068*f5^2+46705*f5*f6+18007*f5*f7+44517*f5*f8+27529*f5*f9+49962*f5*f10+4976*f5*f11+14918*f5*f13+27296*f5*f0+34186*f5*f1+14103*f5*f2+64750*f5*f3+25627*f5*f18+53286*f5*f19+14580*f5*f15+63945*f5*f16+31826*f5*f17+55449*f5*f14+27186*f6^2+16370*f6*f7+40470*f6*f8+7157*f6*f9+45420*f6*f10+22393*f6*f11+55257*f6*f13+30771*f6*f0+54904*f6*f1+908*f6*f2+11212*f6*f3+59036*f6*f18+24616*f6*f19+19211*f6*f15+34306*f6*f16+58715*f6*f17+8713*f6*f14+29214*f7^2+27773*f7*f8+38569*f7*f9+46081*f7*f10+33000*f7*f11+41751*f0+38065*f1+10124*f2+52563*f3+58162*f4+39301*f5+59554*f6+64180*f7+64167*f8+17453*f9+37385*f10+29157*f11+2746*f13+38843*f14+21965*f15+13624*f16+26870*f17+20924*f18+25945*f19, 29157*f12+5601*f14^2+21001*f18^2+49879*f18*f19+54802*f18*f15+38285*f18*f16+22106*f18*f17+16748*f18*f14+2454*f19^2+56896*f19*f15+62732*f19*f16+38931*f19*f17+56295*f19*f14+26582*f15^2+9587*f15*f16+33351*f15*f17+54901*f15*f14+30102*f16^2+33506*f16*f17+7619*f16*f14+57904*f17^2+63547*f17*f14+61065*f13*f1+1678*f13*f2+17957*f13*f3+16504*f13*f18+2864*f13*f19+43507*f13*f15+40558*f13*f16+29446*f13*f17+18112*f13*f14+45792*f0^2+7525*f0*f1+62305*f0*f2+52503*f0*f3+62941*f0*f18+63390*f0*f19+6268*f0*f15+26055*f0*f16+43291*f0*f17+47286*f0*f14+25317*f1^2+14399*f1*f2+22306*f1*f3+63137*f1*f18+12862*f1*f19+47644*f1*f15+57598*f1*f16+55646*f1*f17+38513*f1*f14+12831*f2^2+16597*f2*f3+47480*f2*f18+63089*f2*f19+23818*f2*f15+34009*f2*f16+63211*f2*f17+40990*f2*f14+20532*f3^2+42897*f3*f18+10366*f3*f19+44501*f3*f15+56293*f3*f16+15342*f3*f17+39200*f3*f14+42246*f7*f13+24616*f7*f0+30771*f7*f1+54904*f7*f2+908*f7*f3+58715*f7*f18+59036*f7*f19+8713*f7*f15+19211*f7*f16+34306*f7*f17+55257*f7*f14+29214*f8^2+27773*f8*f9+38569*f8*f10+46081*f8*f11+11866*f8*f13+64333*f8*f0+64728*f8*f1+56909*f8*f2+38647*f8*f3+7760*f8*f18+33329*f8*f19+1464*f8*f15+58770*f8*f16+21150*f8*f17+39101*f8*f14+64249*f9^2+43438*f9*f10+56886*f9*f11+40222*f9*f13+44973*f9*f0+27538*f9*f1+50034*f9*f2+37507*f9*f3+29871*f9*f18+13473*f9*f19+39882*f9*f15+11848*f9*f16+60052*f9*f17+33226*f9*f14+80*f10^2+44574*f10*f11+39001*f10*f13+4908*f10*f0+42324*f10*f1+62052*f10*f2+33591*f10*f3+56626*f10*f18+10557*f10*f19+27705*f10*f15+49069*f10*f16+7926*f10*f17+60174*f10*f14+9774*f11^2+48493*f11*f13+27403*f11*f0+39746*f11*f1+18852*f11*f2+7367*f11*f3+64998*f11*f18+42563*f11*f19+7264*f11*f15+39185*f11*f16+11493*f11*f17+41127*f11*f14+35652*f13^2+38272*f13*f0+61195*f12^2+20881*f12*f4+29824*f12*f5+4976*f12*f6+22393*f12*f7+33000*f12*f8+61170*f12*f9+16549*f12*f10+54178*f12*f11+58026*f12*f13+11319*f12*f0+38496*f12*f1+1972*f12*f2+26726*f12*f3+27986*f12*f18+30074*f12*f19+29732*f12*f15+62502*f12*f16+27811*f12*f17+62441*f12*f14+44962*f4^2+49734*f4*f5+64750*f4*f6+11212*f4*f7+27226*f4*f8+36529*f4*f9+45036*f4*f10+54888*f4*f11+4677*f4*f13+51403*f4*f0+60399*f4*f1+57157*f4*f2+38021*f4*f3+59789*f4*f18+50933*f4*f19+9456*f4*f15+1508*f4*f16+13085*f4*f17+55991*f4*f14+34535*f5^2+52791*f5*f6+24166*f5*f7+15017*f5*f8+9788*f5*f9+34587*f5*f10+12928*f5*f11+49433*f5*f13+63399*f5*f0+30241*f5*f1+29401*f5*f2+55243*f5*f3+12096*f5*f18+54789*f5*f19+44972*f5*f15+65265*f5*f16+41749*f5*f17+10829*f5*f14+42068*f6^2+46705*f6*f7+18007*f6*f8+44517*f6*f9+27529*f6*f10+49962*f6*f11+7158*f6*f13+53286*f6*f0+27296*f6*f1+34186*f6*f2+14103*f6*f3+31826*f6*f18+25627*f6*f19+55449*f6*f15+14580*f6*f16+63945*f6*f17+14918*f6*f14+27186*f7^2+16370*f7*f8+40470*f7*f9+7157*f7*f10+45420*f7*f11+25945*f0+41751*f1+38065*f2+10124*f3+52563*f4+58162*f5+39301*f6+59554*f7+64180*f8+64167*f9+17453*f10+37385*f11+39230*f13+2746*f14+38843*f15+21965*f16+13624*f17+26870*f18+20924*f19, 37385*f12+35652*f14^2+57904*f18^2+22106*f18*f19+63547*f18*f15+33351*f18*f16+33506*f18*f17+29446*f18*f14+21001*f19^2+16748*f19*f15+54802*f19*f16+38285*f19*f17+16504*f19*f14+5601*f15^2+54901*f15*f16+7619*f15*f17+18112*f15*f14+26582*f16^2+9587*f16*f17+43507*f16*f14+30102*f17^2+40558*f17*f14+11319*f13*f1+38496*f13*f2+1972*f13*f3+27811*f13*f18+27986*f13*f19+62441*f13*f15+29732*f13*f16+62502*f13*f17+58026*f13*f14+2454*f0^2+63390*f0*f1+12862*f0*f2+63089*f0*f3+38931*f0*f18+49879*f0*f19+56295*f0*f15+56896*f0*f16+62732*f0*f17+2864*f0*f14+45792*f1^2+7525*f1*f2+62305*f1*f3+43291*f1*f18+62941*f1*f19+47286*f1*f15+6268*f1*f16+26055*f1*f17+38272*f1*f14+25317*f2^2+14399*f2*f3+55646*f2*f18+63137*f2*f19+38513*f2*f15+47644*f2*f16+57598*f2*f17+61065*f2*f14+12831*f3^2+63211*f3*f18+47480*f3*f19+40990*f3*f15+23818*f3*f16+34009*f3*f17+1678*f3*f14+4976*f7*f13+25627*f7*f0+53286*f7*f1+27296*f7*f2+34186*f7*f3+63945*f7*f18+31826*f7*f19+14918*f7*f15+55449*f7*f16+14580*f7*f17+7158*f7*f14+27186*f8^2+16370*f8*f9+40470*f8*f10+7157*f8*f11+22393*f8*f13+59036*f8*f0+24616*f8*f1+30771*f8*f2+54904*f8*f3+34306*f8*f18+58715*f8*f19+55257*f8*f15+8713*f8*f16+19211*f8*f17+42246*f8*f14+29214*f9^2+27773*f9*f10+38569*f9*f11+33000*f9*f13+33329*f9*f0+64333*f9*f1+64728*f9*f2+56909*f9*f3+21150*f9*f18+7760*f9*f19+39101*f9*f15+1464*f9*f16+58770*f9*f17+11866*f9*f14+64249*f10^2+43438*f10*f11+61170*f10*f13+13473*f10*f0+44973*f10*f1+27538*f10*f2+50034*f10*f3+60052*f10*f18+29871*f10*f19+33226*f10*f15+39882*f10*f16+11848*f10*f17+40222*f10*f14+80*f11^2+16549*f11*f13+10557*f11*f0+4908*f11*f1+42324*f11*f2+62052*f11*f3+7926*f11*f18+56626*f11*f19+60174*f11*f15+27705*f11*f16+49069*f11*f17+39001*f11*f14+61195*f13^2+30074*f13*f0+9774*f12^2+7367*f12*f4+54888*f12*f5+12928*f12*f6+49962*f12*f7+45420*f12*f8+46081*f12*f9+56886*f12*f10+44574*f12*f11+54178*f12*f13+42563*f12*f0+27403*f12*f1+39746*f12*f2+18852*f12*f3+11493*f12*f18+64998*f12*f19+41127*f12*f15+7264*f12*f16+39185*f12*f17+48493*f12*f14+20532*f4^2+38021*f4*f5+55243*f4*f6+14103*f4*f7+908*f4*f8+38647*f4*f9+37507*f4*f10+33591*f4*f11+26726*f4*f13+10366*f4*f0+52503*f4*f1+22306*f4*f2+16597*f4*f3+15342*f4*f18+42897*f4*f19+39200*f4*f15+44501*f4*f16+56293*f4*f17+17957*f4*f14+44962*f5^2+49734*f5*f6+64750*f5*f7+11212*f5*f8+27226*f5*f9+36529*f5*f10+45036*f5*f11+20881*f5*f13+50933*f5*f0+51403*f5*f1+60399*f5*f2+57157*f5*f3+13085*f5*f18+59789*f5*f19+55991*f5*f15+9456*f5*f16+1508*f5*f17+4677*f5*f14+34535*f6^2+52791*f6*f7+24166*f6*f8+15017*f6*f9+9788*f6*f10+34587*f6*f11+29824*f6*f13+54789*f6*f0+63399*f6*f1+30241*f6*f2+29401*f6*f3+41749*f6*f18+12096*f6*f19+10829*f6*f15+44972*f6*f16+65265*f6*f17+49433*f6*f14+42068*f7^2+46705*f7*f8+18007*f7*f9+44517*f7*f10+27529*f7*f11+20924*f0+25945*f1+41751*f2+38065*f3+10124*f4+52563*f5+58162*f6+39301*f7+59554*f8+64180*f9+64167*f10+17453*f11+29157*f13+39230*f14+2746*f15+38843*f16+21965*f17+13624*f18+26870*f19, f0^2-f0, f1^2-f1, f2^2-f2, f3^2-f3, f4^2-f4, f5^2-f5, f6^2-f6, f7^2-f7, f8^2-f8, f9^2-f9, f10^2-f10, f11^2-f11, f12^2-f12, f13^2-f13, f14^2-f14, f15^2-f15, f16^2-f16, f17^2-f17, f18^2-f18, f19^2-f19]