#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, f20, f21, f22, f23, f24, f25]

#list


[676*f12+6616*f0+24557*f1+56438*f2+63018*f3+10200*f4+50835*f5+19306*f6+44380*f7+41759*f8+63725*f9+39338*f10+58663*f11+53929*f13+35458*f14+25526*f15+59060*f16+63930*f17+39429*f18+29845*f19+14371*f20+29830*f21+34849*f22+4874*f23+22185*f24+19456*f25+37274*f23^2+40080*f23*f24+39314*f23*f25+45994*f24^2+23545*f24*f25+21119*f25^2+31551*f19^2+4058*f19*f20+19525*f19*f21+41623*f19*f22+15820*f19*f23+43240*f19*f24+34436*f19*f25+3449*f20^2+31575*f20*f21+10431*f20*f22+4610*f20*f23+56419*f20*f24+48138*f20*f25+53720*f21^2+44489*f21*f22+642*f21*f23+32900*f21*f24+40445*f21*f25+21066*f22^2+47188*f22*f23+20051*f22*f24+21672*f22*f25+35852*f15^2+51263*f15*f16+22308*f15*f17+58667*f15*f18+21606*f15*f19+29655*f15*f20+42078*f15*f21+19435*f15*f22+44211*f15*f23+58135*f15*f24+34873*f15*f25+7644*f16^2+50829*f16*f17+55279*f16*f18+65037*f16*f19+49973*f16*f20+62304*f16*f21+7055*f16*f22+49374*f16*f23+45326*f16*f24+59166*f16*f25+41483*f17^2+9637*f17*f18+38660*f17*f19+5136*f17*f20+20869*f17*f21+37535*f17*f22+19409*f17*f23+38968*f17*f24+8353*f17*f25+29274*f18^2+2690*f18*f19+17102*f18*f20+64719*f18*f21+40660*f18*f22+7706*f18*f23+54030*f18*f24+21512*f18*f25+51803*f10*f16+37115*f10*f17+24259*f10*f18+9143*f10*f19+22420*f10*f20+8381*f10*f21+53679*f10*f22+37932*f10*f23+13141*f10*f24+18654*f10*f25+53607*f11^2+41926*f11*f13+20455*f11*f14+29608*f11*f15+34684*f11*f16+3663*f11*f17+2170*f11*f18+21188*f11*f19+40053*f11*f20+30365*f11*f21+52332*f11*f22+45157*f11*f23+55585*f11*f24+8537*f11*f25+56414*f13^2+33715*f13*f14+56409*f13*f15+10818*f13*f16+62942*f13*f17+27056*f13*f18+40801*f13*f19+62542*f13*f20+60956*f13*f21+235*f13*f22+24909*f13*f23+2810*f13*f24+44181*f13*f25+52816*f14^2+53149*f14*f15+77*f14*f16+65327*f14*f17+38289*f14*f18+28678*f14*f19+20202*f14*f20+13274*f14*f21+30606*f14*f22+21309*f14*f23+46729*f14*f24+478*f14*f25+52113*f6*f18+57313*f6*f19+61224*f6*f20+2301*f6*f21+50332*f6*f22+18576*f6*f23+51187*f6*f24+36807*f6*f25+23140*f7^2+5870*f7*f8+65154*f7*f9+26790*f7*f10+39531*f7*f11+35864*f7*f13+16366*f7*f14+37101*f7*f15+26953*f7*f16+46116*f7*f17+44867*f7*f18+28170*f7*f19+7132*f7*f20+7190*f7*f21+16351*f7*f22+46598*f7*f23+37987*f7*f24+43084*f7*f25+38187*f8^2+44762*f8*f9+11581*f8*f10+18138*f8*f11+63161*f8*f13+28607*f8*f14+23691*f8*f15+21158*f8*f16+64971*f8*f17+11283*f8*f18+44828*f8*f19+23500*f8*f20+36957*f8*f21+10441*f8*f22+50280*f8*f23+43992*f8*f24+5408*f8*f25+15087*f9^2+26701*f9*f10+63561*f9*f11+32629*f9*f13+7688*f9*f14+40008*f9*f15+13478*f9*f16+14545*f9*f17+27434*f9*f18+54637*f9*f19+9916*f9*f20+42996*f9*f21+33023*f9*f22+52220*f9*f23+50537*f9*f24+24955*f9*f25+3266*f10^2+5427*f10*f11+40128*f10*f13+5991*f10*f14+64926*f10*f15+37599*f2*f20+32411*f2*f21+62489*f2*f22+43308*f2*f23+6961*f2*f24+48099*f2*f25+40514*f3^2+45180*f3*f4+3554*f3*f5+63160*f3*f6+15431*f3*f7+31957*f3*f8+14399*f3*f9+30098*f3*f10+63665*f3*f11+43467*f3*f13+59162*f3*f14+48315*f3*f15+41913*f3*f16+36505*f3*f17+33199*f3*f18+49331*f3*f19+832*f3*f20+58900*f3*f21+28329*f3*f22+40089*f3*f23+65506*f3*f24+32991*f3*f25+58173*f4^2+33133*f4*f5+61190*f4*f6+48343*f4*f7+45079*f4*f8+53360*f4*f9+59513*f4*f10+49656*f4*f11+54010*f4*f13+56881*f4*f14+35013*f4*f15+23852*f4*f16+42016*f4*f17+15804*f4*f18+16868*f4*f19+27446*f4*f20+38473*f4*f21+16750*f4*f22+34243*f4*f23+20453*f4*f24+41703*f4*f25+48985*f5^2+28423*f5*f6+10935*f5*f7+7772*f5*f8+7707*f5*f9+27099*f5*f10+21622*f5*f11+33108*f5*f13+49440*f5*f14+7131*f5*f15+23676*f5*f16+14379*f5*f17+40608*f5*f18+63640*f5*f19+46791*f5*f20+45573*f5*f21+49755*f5*f22+4257*f5*f23+54046*f5*f24+12530*f5*f25+38188*f6^2+29847*f6*f7+57740*f6*f8+39587*f6*f9+11034*f6*f10+34786*f6*f11+49168*f6*f13+43001*f6*f14+43030*f6*f15+31836*f6*f16+27006*f6*f17+63850*f12^2+33976*f12*f0+47438*f12*f1+37732*f12*f2+23036*f12*f3+30990*f12*f4+62912*f12*f5+24354*f12*f6+50045*f12*f7+44587*f12*f8+61606*f12*f9+47445*f12*f10+31966*f12*f11+52656*f12*f13+43365*f12*f14+47106*f12*f15+44542*f12*f16+11161*f12*f17+39435*f12*f18+55025*f12*f19+35376*f12*f20+34745*f12*f21+6249*f12*f22+37548*f12*f23+51023*f12*f24+30591*f12*f25+3428*f0^2+19585*f0*f1+44779*f0*f2+33930*f0*f3+58661*f0*f4+10134*f0*f5+56134*f0*f6+36958*f0*f7+16495*f0*f8+19451*f0*f9+21592*f0*f10+1529*f0*f11+64838*f0*f13+49896*f0*f14+64798*f0*f15+12953*f0*f16+45650*f0*f17+46326*f0*f18+13973*f0*f19+15130*f0*f20+12056*f0*f21+50691*f0*f22+20104*f0*f23+17840*f0*f24+9783*f0*f25+56486*f1^2+30027*f1*f2+50575*f1*f3+54755*f1*f4+32485*f1*f5+40493*f1*f6+57734*f1*f7+13184*f1*f8+48043*f1*f9+28805*f1*f10+19649*f1*f11+48002*f1*f13+1553*f1*f14+5150*f1*f15+58170*f1*f16+26179*f1*f17+42751*f1*f18+37039*f1*f19+25082*f1*f20+21060*f1*f21+34224*f1*f22+33423*f1*f23+45381*f1*f24+3720*f1*f25+9950*f2^2+63445*f2*f3+188*f2*f4+49885*f2*f5+21117*f2*f6+28825*f2*f7+8144*f2*f8+62199*f2*f9+23439*f2*f10+27007*f2*f11+61299*f2*f13+6923*f2*f14+52322*f2*f15+22415*f2*f16+7345*f2*f17+8358*f2*f18+22005*f2*f19, 58663*f12+19456*f0+6616*f1+24557*f2+56438*f3+63018*f4+10200*f5+50835*f6+19306*f7+44380*f8+41759*f9+63725*f10+39338*f11+676*f13+53929*f14+35458*f15+25526*f16+59060*f17+63930*f18+39429*f19+29845*f20+14371*f21+29830*f22+34849*f23+4874*f24+22185*f25+21066*f23^2+47188*f23*f24+20051*f23*f25+37274*f24^2+40080*f24*f25+45994*f25^2+29274*f19^2+2690*f19*f20+17102*f19*f21+64719*f19*f22+40660*f19*f23+7706*f19*f24+54030*f19*f25+31551*f20^2+4058*f20*f21+19525*f20*f22+41623*f20*f23+15820*f20*f24+43240*f20*f25+3449*f21^2+31575*f21*f22+10431*f21*f23+4610*f21*f24+56419*f21*f25+53720*f22^2+44489*f22*f23+642*f22*f24+32900*f22*f25+52816*f15^2+53149*f15*f16+77*f15*f17+65327*f15*f18+38289*f15*f19+28678*f15*f20+20202*f15*f21+13274*f15*f22+30606*f15*f23+21309*f15*f24+46729*f15*f25+35852*f16^2+51263*f16*f17+22308*f16*f18+58667*f16*f19+21606*f16*f20+29655*f16*f21+42078*f16*f22+19435*f16*f23+44211*f16*f24+58135*f16*f25+7644*f17^2+50829*f17*f18+55279*f17*f19+65037*f17*f20+49973*f17*f21+62304*f17*f22+7055*f17*f23+49374*f17*f24+45326*f17*f25+41483*f18^2+9637*f18*f19+38660*f18*f20+5136*f18*f21+20869*f18*f22+37535*f18*f23+19409*f18*f24+38968*f18*f25+40008*f10*f16+13478*f10*f17+14545*f10*f18+27434*f10*f19+54637*f10*f20+9916*f10*f21+42996*f10*f22+33023*f10*f23+52220*f10*f24+50537*f10*f25+3266*f11^2+47445*f11*f13+40128*f11*f14+5991*f11*f15+64926*f11*f16+51803*f11*f17+37115*f11*f18+24259*f11*f19+9143*f11*f20+22420*f11*f21+8381*f11*f22+53679*f11*f23+37932*f11*f24+13141*f11*f25+63850*f13^2+52656*f13*f14+43365*f13*f15+47106*f13*f16+44542*f13*f17+11161*f13*f18+39435*f13*f19+55025*f13*f20+35376*f13*f21+34745*f13*f22+6249*f13*f23+37548*f13*f24+51023*f13*f25+56414*f14^2+33715*f14*f15+56409*f14*f16+10818*f14*f17+62942*f14*f18+27056*f14*f19+40801*f14*f20+62542*f14*f21+60956*f14*f22+235*f14*f23+24909*f14*f24+2810*f14*f25+14379*f6*f18+40608*f6*f19+63640*f6*f20+46791*f6*f21+45573*f6*f22+49755*f6*f23+4257*f6*f24+54046*f6*f25+38188*f7^2+29847*f7*f8+57740*f7*f9+39587*f7*f10+11034*f7*f11+24354*f7*f13+49168*f7*f14+43001*f7*f15+43030*f7*f16+31836*f7*f17+27006*f7*f18+52113*f7*f19+57313*f7*f20+61224*f7*f21+2301*f7*f22+50332*f7*f23+18576*f7*f24+51187*f7*f25+23140*f8^2+5870*f8*f9+65154*f8*f10+26790*f8*f11+50045*f8*f13+35864*f8*f14+16366*f8*f15+37101*f8*f16+26953*f8*f17+46116*f8*f18+44867*f8*f19+28170*f8*f20+7132*f8*f21+7190*f8*f22+16351*f8*f23+46598*f8*f24+37987*f8*f25+38187*f9^2+44762*f9*f10+11581*f9*f11+44587*f9*f13+63161*f9*f14+28607*f9*f15+23691*f9*f16+21158*f9*f17+64971*f9*f18+11283*f9*f19+44828*f9*f20+23500*f9*f21+36957*f9*f22+10441*f9*f23+50280*f9*f24+43992*f9*f25+15087*f10^2+26701*f10*f11+61606*f10*f13+32629*f10*f14+7688*f10*f15+37039*f2*f20+25082*f2*f21+21060*f2*f22+34224*f2*f23+33423*f2*f24+45381*f2*f25+9950*f3^2+63445*f3*f4+188*f3*f5+49885*f3*f6+21117*f3*f7+28825*f3*f8+8144*f3*f9+62199*f3*f10+23439*f3*f11+37732*f3*f13+61299*f3*f14+6923*f3*f15+52322*f3*f16+22415*f3*f17+7345*f3*f18+8358*f3*f19+22005*f3*f20+37599*f3*f21+32411*f3*f22+62489*f3*f23+43308*f3*f24+6961*f3*f25+40514*f4^2+45180*f4*f5+3554*f4*f6+63160*f4*f7+15431*f4*f8+31957*f4*f9+14399*f4*f10+30098*f4*f11+23036*f4*f13+43467*f4*f14+59162*f4*f15+48315*f4*f16+41913*f4*f17+36505*f4*f18+33199*f4*f19+49331*f4*f20+832*f4*f21+58900*f4*f22+28329*f4*f23+40089*f4*f24+65506*f4*f25+58173*f5^2+33133*f5*f6+61190*f5*f7+48343*f5*f8+45079*f5*f9+53360*f5*f10+59513*f5*f11+30990*f5*f13+54010*f5*f14+56881*f5*f15+35013*f5*f16+23852*f5*f17+42016*f5*f18+15804*f5*f19+16868*f5*f20+27446*f5*f21+38473*f5*f22+16750*f5*f23+34243*f5*f24+20453*f5*f25+48985*f6^2+28423*f6*f7+10935*f6*f8+7772*f6*f9+7707*f6*f10+27099*f6*f11+62912*f6*f13+33108*f6*f14+49440*f6*f15+7131*f6*f16+23676*f6*f17+53607*f12^2+8537*f12*f0+1529*f12*f1+19649*f12*f2+27007*f12*f3+63665*f12*f4+49656*f12*f5+21622*f12*f6+34786*f12*f7+39531*f12*f8+18138*f12*f9+63561*f12*f10+5427*f12*f11+31966*f12*f13+41926*f12*f14+20455*f12*f15+29608*f12*f16+34684*f12*f17+3663*f12*f18+2170*f12*f19+21188*f12*f20+40053*f12*f21+30365*f12*f22+52332*f12*f23+45157*f12*f24+55585*f12*f25+21119*f0^2+9783*f0*f1+3720*f0*f2+48099*f0*f3+32991*f0*f4+41703*f0*f5+12530*f0*f6+36807*f0*f7+43084*f0*f8+5408*f0*f9+24955*f0*f10+18654*f0*f11+30591*f0*f13+44181*f0*f14+478*f0*f15+34873*f0*f16+59166*f0*f17+8353*f0*f18+21512*f0*f19+34436*f0*f20+48138*f0*f21+40445*f0*f22+21672*f0*f23+39314*f0*f24+23545*f0*f25+3428*f1^2+19585*f1*f2+44779*f1*f3+33930*f1*f4+58661*f1*f5+10134*f1*f6+56134*f1*f7+36958*f1*f8+16495*f1*f9+19451*f1*f10+21592*f1*f11+33976*f1*f13+64838*f1*f14+49896*f1*f15+64798*f1*f16+12953*f1*f17+45650*f1*f18+46326*f1*f19+13973*f1*f20+15130*f1*f21+12056*f1*f22+50691*f1*f23+20104*f1*f24+17840*f1*f25+56486*f2^2+30027*f2*f3+50575*f2*f4+54755*f2*f5+32485*f2*f6+40493*f2*f7+57734*f2*f8+13184*f2*f9+48043*f2*f10+28805*f2*f11+47438*f2*f13+48002*f2*f14+1553*f2*f15+5150*f2*f16+58170*f2*f17+26179*f2*f18+42751*f2*f19, 39338*f12+22185*f0+19456*f1+6616*f2+24557*f3+56438*f4+63018*f5+10200*f6+50835*f7+19306*f8+44380*f9+41759*f10+63725*f11+58663*f13+676*f14+53929*f15+35458*f16+25526*f17+59060*f18+63930*f19+39429*f20+29845*f21+14371*f22+29830*f23+34849*f24+4874*f25+53720*f23^2+44489*f23*f24+642*f23*f25+21066*f24^2+47188*f24*f25+37274*f25^2+41483*f19^2+9637*f19*f20+38660*f19*f21+5136*f19*f22+20869*f19*f23+37535*f19*f24+19409*f19*f25+29274*f20^2+2690*f20*f21+17102*f20*f22+64719*f20*f23+40660*f20*f24+7706*f20*f25+31551*f21^2+4058*f21*f22+19525*f21*f23+41623*f21*f24+15820*f21*f25+3449*f22^2+31575*f22*f23+10431*f22*f24+4610*f22*f25+56414*f15^2+33715*f15*f16+56409*f15*f17+10818*f15*f18+62942*f15*f19+27056*f15*f20+40801*f15*f21+62542*f15*f22+60956*f15*f23+235*f15*f24+24909*f15*f25+52816*f16^2+53149*f16*f17+77*f16*f18+65327*f16*f19+38289*f16*f20+28678*f16*f21+20202*f16*f22+13274*f16*f23+30606*f16*f24+21309*f16*f25+35852*f17^2+51263*f17*f18+22308*f17*f19+58667*f17*f20+21606*f17*f21+29655*f17*f22+42078*f17*f23+19435*f17*f24+44211*f17*f25+7644*f18^2+50829*f18*f19+55279*f18*f20+65037*f18*f21+49973*f18*f22+62304*f18*f23+7055*f18*f24+49374*f18*f25+28607*f10*f16+23691*f10*f17+21158*f10*f18+64971*f10*f19+11283*f10*f20+44828*f10*f21+23500*f10*f22+36957*f10*f23+10441*f10*f24+50280*f10*f25+15087*f11^2+63561*f11*f13+61606*f11*f14+32629*f11*f15+7688*f11*f16+40008*f11*f17+13478*f11*f18+14545*f11*f19+27434*f11*f20+54637*f11*f21+9916*f11*f22+42996*f11*f23+33023*f11*f24+52220*f11*f25+53607*f13^2+31966*f13*f14+41926*f13*f15+20455*f13*f16+29608*f13*f17+34684*f13*f18+3663*f13*f19+2170*f13*f20+21188*f13*f21+40053*f13*f22+30365*f13*f23+52332*f13*f24+45157*f13*f25+63850*f14^2+52656*f14*f15+43365*f14*f16+47106*f14*f17+44542*f14*f18+11161*f14*f19+39435*f14*f20+55025*f14*f21+35376*f14*f22+34745*f14*f23+6249*f14*f24+37548*f14*f25+23852*f6*f18+42016*f6*f19+15804*f6*f20+16868*f6*f21+27446*f6*f22+38473*f6*f23+16750*f6*f24+34243*f6*f25+48985*f7^2+28423*f7*f8+10935*f7*f9+7772*f7*f10+7707*f7*f11+21622*f7*f13+62912*f7*f14+33108*f7*f15+49440*f7*f16+7131*f7*f17+23676*f7*f18+14379*f7*f19+40608*f7*f20+63640*f7*f21+46791*f7*f22+45573*f7*f23+49755*f7*f24+4257*f7*f25+38188*f8^2+29847*f8*f9+57740*f8*f10+39587*f8*f11+34786*f8*f13+24354*f8*f14+49168*f8*f15+43001*f8*f16+43030*f8*f17+31836*f8*f18+27006*f8*f19+52113*f8*f20+57313*f8*f21+61224*f8*f22+2301*f8*f23+50332*f8*f24+18576*f8*f25+23140*f9^2+5870*f9*f10+65154*f9*f11+39531*f9*f13+50045*f9*f14+35864*f9*f15+16366*f9*f16+37101*f9*f17+26953*f9*f18+46116*f9*f19+44867*f9*f20+28170*f9*f21+7132*f9*f22+7190*f9*f23+16351*f9*f24+46598*f9*f25+38187*f10^2+44762*f10*f11+18138*f10*f13+44587*f10*f14+63161*f10*f15+46326*f2*f20+13973*f2*f21+15130*f2*f22+12056*f2*f23+50691*f2*f24+20104*f2*f25+56486*f3^2+30027*f3*f4+50575*f3*f5+54755*f3*f6+32485*f3*f7+40493*f3*f8+57734*f3*f9+13184*f3*f10+48043*f3*f11+19649*f3*f13+47438*f3*f14+48002*f3*f15+1553*f3*f16+5150*f3*f17+58170*f3*f18+26179*f3*f19+42751*f3*f20+37039*f3*f21+25082*f3*f22+21060*f3*f23+34224*f3*f24+33423*f3*f25+9950*f4^2+63445*f4*f5+188*f4*f6+49885*f4*f7+21117*f4*f8+28825*f4*f9+8144*f4*f10+62199*f4*f11+27007*f4*f13+37732*f4*f14+61299*f4*f15+6923*f4*f16+52322*f4*f17+22415*f4*f18+7345*f4*f19+8358*f4*f20+22005*f4*f21+37599*f4*f22+32411*f4*f23+62489*f4*f24+43308*f4*f25+40514*f5^2+45180*f5*f6+3554*f5*f7+63160*f5*f8+15431*f5*f9+31957*f5*f10+14399*f5*f11+63665*f5*f13+23036*f5*f14+43467*f5*f15+59162*f5*f16+48315*f5*f17+41913*f5*f18+36505*f5*f19+33199*f5*f20+49331*f5*f21+832*f5*f22+58900*f5*f23+28329*f5*f24+40089*f5*f25+58173*f6^2+33133*f6*f7+61190*f6*f8+48343*f6*f9+45079*f6*f10+53360*f6*f11+49656*f6*f13+30990*f6*f14+54010*f6*f15+56881*f6*f16+35013*f6*f17+3266*f12^2+13141*f12*f0+18654*f12*f1+21592*f12*f2+28805*f12*f3+23439*f12*f4+30098*f12*f5+59513*f12*f6+27099*f12*f7+11034*f12*f8+26790*f12*f9+11581*f12*f10+26701*f12*f11+5427*f12*f13+47445*f12*f14+40128*f12*f15+5991*f12*f16+64926*f12*f17+51803*f12*f18+37115*f12*f19+24259*f12*f20+9143*f12*f21+22420*f12*f22+8381*f12*f23+53679*f12*f24+37932*f12*f25+45994*f0^2+23545*f0*f1+17840*f0*f2+45381*f0*f3+6961*f0*f4+65506*f0*f5+20453*f0*f6+54046*f0*f7+51187*f0*f8+37987*f0*f9+43992*f0*f10+50537*f0*f11+55585*f0*f13+51023*f0*f14+2810*f0*f15+46729*f0*f16+58135*f0*f17+45326*f0*f18+38968*f0*f19+54030*f0*f20+43240*f0*f21+56419*f0*f22+32900*f0*f23+20051*f0*f24+40080*f0*f25+21119*f1^2+9783*f1*f2+3720*f1*f3+48099*f1*f4+32991*f1*f5+41703*f1*f6+12530*f1*f7+36807*f1*f8+43084*f1*f9+5408*f1*f10+24955*f1*f11+8537*f1*f13+30591*f1*f14+44181*f1*f15+478*f1*f16+34873*f1*f17+59166*f1*f18+8353*f1*f19+21512*f1*f20+34436*f1*f21+48138*f1*f22+40445*f1*f23+21672*f1*f24+39314*f1*f25+3428*f2^2+19585*f2*f3+44779*f2*f4+33930*f2*f5+58661*f2*f6+10134*f2*f7+56134*f2*f8+36958*f2*f9+16495*f2*f10+19451*f2*f11+1529*f2*f13+33976*f2*f14+64838*f2*f15+49896*f2*f16+64798*f2*f17+12953*f2*f18+45650*f2*f19, 63725*f12+4874*f0+22185*f1+19456*f2+6616*f3+24557*f4+56438*f5+63018*f6+10200*f7+50835*f8+19306*f9+44380*f10+41759*f11+39338*f13+58663*f14+676*f15+53929*f16+35458*f17+25526*f18+59060*f19+63930*f20+39429*f21+29845*f22+14371*f23+29830*f24+34849*f25+3449*f23^2+31575*f23*f24+10431*f23*f25+53720*f24^2+44489*f24*f25+21066*f25^2+7644*f19^2+50829*f19*f20+55279*f19*f21+65037*f19*f22+49973*f19*f23+62304*f19*f24+7055*f19*f25+41483*f20^2+9637*f20*f21+38660*f20*f22+5136*f20*f23+20869*f20*f24+37535*f20*f25+29274*f21^2+2690*f21*f22+17102*f21*f23+64719*f21*f24+40660*f21*f25+31551*f22^2+4058*f22*f23+19525*f22*f24+41623*f22*f25+63850*f15^2+52656*f15*f16+43365*f15*f17+47106*f15*f18+44542*f15*f19+11161*f15*f20+39435*f15*f21+55025*f15*f22+35376*f15*f23+34745*f15*f24+6249*f15*f25+56414*f16^2+33715*f16*f17+56409*f16*f18+10818*f16*f19+62942*f16*f20+27056*f16*f21+40801*f16*f22+62542*f16*f23+60956*f16*f24+235*f16*f25+52816*f17^2+53149*f17*f18+77*f17*f19+65327*f17*f20+38289*f17*f21+28678*f17*f22+20202*f17*f23+13274*f17*f24+30606*f17*f25+35852*f18^2+51263*f18*f19+22308*f18*f20+58667*f18*f21+21606*f18*f22+29655*f18*f23+42078*f18*f24+19435*f18*f25+35864*f10*f16+16366*f10*f17+37101*f10*f18+26953*f10*f19+46116*f10*f20+44867*f10*f21+28170*f10*f22+7132*f10*f23+7190*f10*f24+16351*f10*f25+38187*f11^2+11581*f11*f13+18138*f11*f14+44587*f11*f15+63161*f11*f16+28607*f11*f17+23691*f11*f18+21158*f11*f19+64971*f11*f20+11283*f11*f21+44828*f11*f22+23500*f11*f23+36957*f11*f24+10441*f11*f25+3266*f13^2+5427*f13*f14+47445*f13*f15+40128*f13*f16+5991*f13*f17+64926*f13*f18+51803*f13*f19+37115*f13*f20+24259*f13*f21+9143*f13*f22+22420*f13*f23+8381*f13*f24+53679*f13*f25+53607*f14^2+31966*f14*f15+41926*f14*f16+20455*f14*f17+29608*f14*f18+34684*f14*f19+3663*f14*f20+2170*f14*f21+21188*f14*f22+40053*f14*f23+30365*f14*f24+52332*f14*f25+48315*f6*f18+41913*f6*f19+36505*f6*f20+33199*f6*f21+49331*f6*f22+832*f6*f23+58900*f6*f24+28329*f6*f25+58173*f7^2+33133*f7*f8+61190*f7*f9+48343*f7*f10+45079*f7*f11+59513*f7*f13+49656*f7*f14+30990*f7*f15+54010*f7*f16+56881*f7*f17+35013*f7*f18+23852*f7*f19+42016*f7*f20+15804*f7*f21+16868*f7*f22+27446*f7*f23+38473*f7*f24+16750*f7*f25+48985*f8^2+28423*f8*f9+10935*f8*f10+7772*f8*f11+27099*f8*f13+21622*f8*f14+62912*f8*f15+33108*f8*f16+49440*f8*f17+7131*f8*f18+23676*f8*f19+14379*f8*f20+40608*f8*f21+63640*f8*f22+46791*f8*f23+45573*f8*f24+49755*f8*f25+38188*f9^2+29847*f9*f10+57740*f9*f11+11034*f9*f13+34786*f9*f14+24354*f9*f15+49168*f9*f16+43001*f9*f17+43030*f9*f18+31836*f9*f19+27006*f9*f20+52113*f9*f21+57313*f9*f22+61224*f9*f23+2301*f9*f24+50332*f9*f25+23140*f10^2+5870*f10*f11+26790*f10*f13+39531*f10*f14+50045*f10*f15+8353*f2*f20+21512*f2*f21+34436*f2*f22+48138*f2*f23+40445*f2*f24+21672*f2*f25+3428*f3^2+19585*f3*f4+44779*f3*f5+33930*f3*f6+58661*f3*f7+10134*f3*f8+56134*f3*f9+36958*f3*f10+16495*f3*f11+21592*f3*f13+1529*f3*f14+33976*f3*f15+64838*f3*f16+49896*f3*f17+64798*f3*f18+12953*f3*f19+45650*f3*f20+46326*f3*f21+13973*f3*f22+15130*f3*f23+12056*f3*f24+50691*f3*f25+56486*f4^2+30027*f4*f5+50575*f4*f6+54755*f4*f7+32485*f4*f8+40493*f4*f9+57734*f4*f10+13184*f4*f11+28805*f4*f13+19649*f4*f14+47438*f4*f15+48002*f4*f16+1553*f4*f17+5150*f4*f18+58170*f4*f19+26179*f4*f20+42751*f4*f21+37039*f4*f22+25082*f4*f23+21060*f4*f24+34224*f4*f25+9950*f5^2+63445*f5*f6+188*f5*f7+49885*f5*f8+21117*f5*f9+28825*f5*f10+8144*f5*f11+23439*f5*f13+27007*f5*f14+37732*f5*f15+61299*f5*f16+6923*f5*f17+52322*f5*f18+22415*f5*f19+7345*f5*f20+8358*f5*f21+22005*f5*f22+37599*f5*f23+32411*f5*f24+62489*f5*f25+40514*f6^2+45180*f6*f7+3554*f6*f8+63160*f6*f9+15431*f6*f10+31957*f6*f11+30098*f6*f13+63665*f6*f14+23036*f6*f15+43467*f6*f16+59162*f6*f17+15087*f12^2+52220*f12*f0+50537*f12*f1+24955*f12*f2+19451*f12*f3+48043*f12*f4+62199*f12*f5+14399*f12*f6+53360*f12*f7+7707*f12*f8+39587*f12*f9+65154*f12*f10+44762*f12*f11+26701*f12*f13+63561*f12*f14+61606*f12*f15+32629*f12*f16+7688*f12*f17+40008*f12*f18+13478*f12*f19+14545*f12*f20+27434*f12*f21+54637*f12*f22+9916*f12*f23+42996*f12*f24+33023*f12*f25+37274*f0^2+40080*f0*f1+39314*f0*f2+20104*f0*f3+33423*f0*f4+43308*f0*f5+40089*f0*f6+34243*f0*f7+4257*f0*f8+18576*f0*f9+46598*f0*f10+50280*f0*f11+37932*f0*f13+45157*f0*f14+37548*f0*f15+24909*f0*f16+21309*f0*f17+44211*f0*f18+49374*f0*f19+19409*f0*f20+7706*f0*f21+15820*f0*f22+4610*f0*f23+642*f0*f24+47188*f0*f25+45994*f1^2+23545*f1*f2+17840*f1*f3+45381*f1*f4+6961*f1*f5+65506*f1*f6+20453*f1*f7+54046*f1*f8+51187*f1*f9+37987*f1*f10+43992*f1*f11+13141*f1*f13+55585*f1*f14+51023*f1*f15+2810*f1*f16+46729*f1*f17+58135*f1*f18+45326*f1*f19+38968*f1*f20+54030*f1*f21+43240*f1*f22+56419*f1*f23+32900*f1*f24+20051*f1*f25+21119*f2^2+9783*f2*f3+3720*f2*f4+48099*f2*f5+32991*f2*f6+41703*f2*f7+12530*f2*f8+36807*f2*f9+43084*f2*f10+5408*f2*f11+18654*f2*f13+8537*f2*f14+30591*f2*f15+44181*f2*f16+478*f2*f17+34873*f2*f18+59166*f2*f19, 41759*f12+34849*f0+4874*f1+22185*f2+19456*f3+6616*f4+24557*f5+56438*f6+63018*f7+10200*f8+50835*f9+19306*f10+44380*f11+63725*f13+39338*f14+58663*f15+676*f16+53929*f17+35458*f18+25526*f19+59060*f20+63930*f21+39429*f22+29845*f23+14371*f24+29830*f25+31551*f23^2+4058*f23*f24+19525*f23*f25+3449*f24^2+31575*f24*f25+53720*f25^2+35852*f19^2+51263*f19*f20+22308*f19*f21+58667*f19*f22+21606*f19*f23+29655*f19*f24+42078*f19*f25+7644*f20^2+50829*f20*f21+55279*f20*f22+65037*f20*f23+49973*f20*f24+62304*f20*f25+41483*f21^2+9637*f21*f22+38660*f21*f23+5136*f21*f24+20869*f21*f25+29274*f22^2+2690*f22*f23+17102*f22*f24+64719*f22*f25+53607*f15^2+31966*f15*f16+41926*f15*f17+20455*f15*f18+29608*f15*f19+34684*f15*f20+3663*f15*f21+2170*f15*f22+21188*f15*f23+40053*f15*f24+30365*f15*f25+63850*f16^2+52656*f16*f17+43365*f16*f18+47106*f16*f19+44542*f16*f20+11161*f16*f21+39435*f16*f22+55025*f16*f23+35376*f16*f24+34745*f16*f25+56414*f17^2+33715*f17*f18+56409*f17*f19+10818*f17*f20+62942*f17*f21+27056*f17*f22+40801*f17*f23+62542*f17*f24+60956*f17*f25+52816*f18^2+53149*f18*f19+77*f18*f20+65327*f18*f21+38289*f18*f22+28678*f18*f23+20202*f18*f24+13274*f18*f25+24354*f10*f16+49168*f10*f17+43001*f10*f18+43030*f10*f19+31836*f10*f20+27006*f10*f21+52113*f10*f22+57313*f10*f23+61224*f10*f24+2301*f10*f25+23140*f11^2+65154*f11*f13+26790*f11*f14+39531*f11*f15+50045*f11*f16+35864*f11*f17+16366*f11*f18+37101*f11*f19+26953*f11*f20+46116*f11*f21+44867*f11*f22+28170*f11*f23+7132*f11*f24+7190*f11*f25+15087*f13^2+26701*f13*f14+63561*f13*f15+61606*f13*f16+32629*f13*f17+7688*f13*f18+40008*f13*f19+13478*f13*f20+14545*f13*f21+27434*f13*f22+54637*f13*f23+9916*f13*f24+42996*f13*f25+3266*f14^2+5427*f14*f15+47445*f14*f16+40128*f14*f17+5991*f14*f18+64926*f14*f19+51803*f14*f20+37115*f14*f21+24259*f14*f22+9143*f14*f23+22420*f14*f24+8381*f14*f25+6923*f6*f18+52322*f6*f19+22415*f6*f20+7345*f6*f21+8358*f6*f22+22005*f6*f23+37599*f6*f24+32411*f6*f25+40514*f7^2+45180*f7*f8+3554*f7*f9+63160*f7*f10+15431*f7*f11+14399*f7*f13+30098*f7*f14+63665*f7*f15+23036*f7*f16+43467*f7*f17+59162*f7*f18+48315*f7*f19+41913*f7*f20+36505*f7*f21+33199*f7*f22+49331*f7*f23+832*f7*f24+58900*f7*f25+58173*f8^2+33133*f8*f9+61190*f8*f10+48343*f8*f11+53360*f8*f13+59513*f8*f14+49656*f8*f15+30990*f8*f16+54010*f8*f17+56881*f8*f18+35013*f8*f19+23852*f8*f20+42016*f8*f21+15804*f8*f22+16868*f8*f23+27446*f8*f24+38473*f8*f25+48985*f9^2+28423*f9*f10+10935*f9*f11+7707*f9*f13+27099*f9*f14+21622*f9*f15+62912*f9*f16+33108*f9*f17+49440*f9*f18+7131*f9*f19+23676*f9*f20+14379*f9*f21+40608*f9*f22+63640*f9*f23+46791*f9*f24+45573*f9*f25+38188*f10^2+29847*f10*f11+39587*f10*f13+11034*f10*f14+34786*f10*f15+45326*f2*f20+38968*f2*f21+54030*f2*f22+43240*f2*f23+56419*f2*f24+32900*f2*f25+21119*f3^2+9783*f3*f4+3720*f3*f5+48099*f3*f6+32991*f3*f7+41703*f3*f8+12530*f3*f9+36807*f3*f10+43084*f3*f11+24955*f3*f13+18654*f3*f14+8537*f3*f15+30591*f3*f16+44181*f3*f17+478*f3*f18+34873*f3*f19+59166*f3*f20+8353*f3*f21+21512*f3*f22+34436*f3*f23+48138*f3*f24+40445*f3*f25+3428*f4^2+19585*f4*f5+44779*f4*f6+33930*f4*f7+58661*f4*f8+10134*f4*f9+56134*f4*f10+36958*f4*f11+19451*f4*f13+21592*f4*f14+1529*f4*f15+33976*f4*f16+64838*f4*f17+49896*f4*f18+64798*f4*f19+12953*f4*f20+45650*f4*f21+46326*f4*f22+13973*f4*f23+15130*f4*f24+12056*f4*f25+56486*f5^2+30027*f5*f6+50575*f5*f7+54755*f5*f8+32485*f5*f9+40493*f5*f10+57734*f5*f11+48043*f5*f13+28805*f5*f14+19649*f5*f15+47438*f5*f16+48002*f5*f17+1553*f5*f18+5150*f5*f19+58170*f5*f20+26179*f5*f21+42751*f5*f22+37039*f5*f23+25082*f5*f24+21060*f5*f25+9950*f6^2+63445*f6*f7+188*f6*f8+49885*f6*f9+21117*f6*f10+28825*f6*f11+62199*f6*f13+23439*f6*f14+27007*f6*f15+37732*f6*f16+61299*f6*f17+38187*f12^2+10441*f12*f0+50280*f12*f1+43992*f12*f2+5408*f12*f3+16495*f12*f4+13184*f12*f5+8144*f12*f6+31957*f12*f7+45079*f12*f8+7772*f12*f9+57740*f12*f10+5870*f12*f11+44762*f12*f13+11581*f12*f14+18138*f12*f15+44587*f12*f16+63161*f12*f17+28607*f12*f18+23691*f12*f19+21158*f12*f20+64971*f12*f21+11283*f12*f22+44828*f12*f23+23500*f12*f24+36957*f12*f25+21066*f0^2+47188*f0*f1+20051*f0*f2+21672*f0*f3+50691*f0*f4+34224*f0*f5+62489*f0*f6+28329*f0*f7+16750*f0*f8+49755*f0*f9+50332*f0*f10+16351*f0*f11+33023*f0*f13+53679*f0*f14+52332*f0*f15+6249*f0*f16+235*f0*f17+30606*f0*f18+19435*f0*f19+7055*f0*f20+37535*f0*f21+40660*f0*f22+41623*f0*f23+10431*f0*f24+44489*f0*f25+37274*f1^2+40080*f1*f2+39314*f1*f3+20104*f1*f4+33423*f1*f5+43308*f1*f6+40089*f1*f7+34243*f1*f8+4257*f1*f9+18576*f1*f10+46598*f1*f11+52220*f1*f13+37932*f1*f14+45157*f1*f15+37548*f1*f16+24909*f1*f17+21309*f1*f18+44211*f1*f19+49374*f1*f20+19409*f1*f21+7706*f1*f22+15820*f1*f23+4610*f1*f24+642*f1*f25+45994*f2^2+23545*f2*f3+17840*f2*f4+45381*f2*f5+6961*f2*f6+65506*f2*f7+20453*f2*f8+54046*f2*f9+51187*f2*f10+37987*f2*f11+50537*f2*f13+13141*f2*f14+55585*f2*f15+51023*f2*f16+2810*f2*f17+46729*f2*f18+58135*f2*f19, 44380*f12+29830*f0+34849*f1+4874*f2+22185*f3+19456*f4+6616*f5+24557*f6+56438*f7+63018*f8+10200*f9+50835*f10+19306*f11+41759*f13+63725*f14+39338*f15+58663*f16+676*f17+53929*f18+35458*f19+25526*f20+59060*f21+63930*f22+39429*f23+29845*f24+14371*f25+29274*f23^2+2690*f23*f24+17102*f23*f25+31551*f24^2+4058*f24*f25+3449*f25^2+52816*f19^2+53149*f19*f20+77*f19*f21+65327*f19*f22+38289*f19*f23+28678*f19*f24+20202*f19*f25+35852*f20^2+51263*f20*f21+22308*f20*f22+58667*f20*f23+21606*f20*f24+29655*f20*f25+7644*f21^2+50829*f21*f22+55279*f21*f23+65037*f21*f24+49973*f21*f25+41483*f22^2+9637*f22*f23+38660*f22*f24+5136*f22*f25+3266*f15^2+5427*f15*f16+47445*f15*f17+40128*f15*f18+5991*f15*f19+64926*f15*f20+51803*f15*f21+37115*f15*f22+24259*f15*f23+9143*f15*f24+22420*f15*f25+53607*f16^2+31966*f16*f17+41926*f16*f18+20455*f16*f19+29608*f16*f20+34684*f16*f21+3663*f16*f22+2170*f16*f23+21188*f16*f24+40053*f16*f25+63850*f17^2+52656*f17*f18+43365*f17*f19+47106*f17*f20+44542*f17*f21+11161*f17*f22+39435*f17*f23+55025*f17*f24+35376*f17*f25+56414*f18^2+33715*f18*f19+56409*f18*f20+10818*f18*f21+62942*f18*f22+27056*f18*f23+40801*f18*f24+62542*f18*f25+21622*f10*f16+62912*f10*f17+33108*f10*f18+49440*f10*f19+7131*f10*f20+23676*f10*f21+14379*f10*f22+40608*f10*f23+63640*f10*f24+46791*f10*f25+38188*f11^2+57740*f11*f13+39587*f11*f14+11034*f11*f15+34786*f11*f16+24354*f11*f17+49168*f11*f18+43001*f11*f19+43030*f11*f20+31836*f11*f21+27006*f11*f22+52113*f11*f23+57313*f11*f24+61224*f11*f25+38187*f13^2+44762*f13*f14+11581*f13*f15+18138*f13*f16+44587*f13*f17+63161*f13*f18+28607*f13*f19+23691*f13*f20+21158*f13*f21+64971*f13*f22+11283*f13*f23+44828*f13*f24+23500*f13*f25+15087*f14^2+26701*f14*f15+63561*f14*f16+61606*f14*f17+32629*f14*f18+7688*f14*f19+40008*f14*f20+13478*f14*f21+14545*f14*f22+27434*f14*f23+54637*f14*f24+9916*f14*f25+48002*f6*f18+1553*f6*f19+5150*f6*f20+58170*f6*f21+26179*f6*f22+42751*f6*f23+37039*f6*f24+25082*f6*f25+9950*f7^2+63445*f7*f8+188*f7*f9+49885*f7*f10+21117*f7*f11+8144*f7*f13+62199*f7*f14+23439*f7*f15+27007*f7*f16+37732*f7*f17+61299*f7*f18+6923*f7*f19+52322*f7*f20+22415*f7*f21+7345*f7*f22+8358*f7*f23+22005*f7*f24+37599*f7*f25+40514*f8^2+45180*f8*f9+3554*f8*f10+63160*f8*f11+31957*f8*f13+14399*f8*f14+30098*f8*f15+63665*f8*f16+23036*f8*f17+43467*f8*f18+59162*f8*f19+48315*f8*f20+41913*f8*f21+36505*f8*f22+33199*f8*f23+49331*f8*f24+832*f8*f25+58173*f9^2+33133*f9*f10+61190*f9*f11+45079*f9*f13+53360*f9*f14+59513*f9*f15+49656*f9*f16+30990*f9*f17+54010*f9*f18+56881*f9*f19+35013*f9*f20+23852*f9*f21+42016*f9*f22+15804*f9*f23+16868*f9*f24+27446*f9*f25+48985*f10^2+28423*f10*f11+7772*f10*f13+7707*f10*f14+27099*f10*f15+44211*f2*f20+49374*f2*f21+19409*f2*f22+7706*f2*f23+15820*f2*f24+4610*f2*f25+45994*f3^2+23545*f3*f4+17840*f3*f5+45381*f3*f6+6961*f3*f7+65506*f3*f8+20453*f3*f9+54046*f3*f10+51187*f3*f11+43992*f3*f13+50537*f3*f14+13141*f3*f15+55585*f3*f16+51023*f3*f17+2810*f3*f18+46729*f3*f19+58135*f3*f20+45326*f3*f21+38968*f3*f22+54030*f3*f23+43240*f3*f24+56419*f3*f25+21119*f4^2+9783*f4*f5+3720*f4*f6+48099*f4*f7+32991*f4*f8+41703*f4*f9+12530*f4*f10+36807*f4*f11+5408*f4*f13+24955*f4*f14+18654*f4*f15+8537*f4*f16+30591*f4*f17+44181*f4*f18+478*f4*f19+34873*f4*f20+59166*f4*f21+8353*f4*f22+21512*f4*f23+34436*f4*f24+48138*f4*f25+3428*f5^2+19585*f5*f6+44779*f5*f7+33930*f5*f8+58661*f5*f9+10134*f5*f10+56134*f5*f11+16495*f5*f13+19451*f5*f14+21592*f5*f15+1529*f5*f16+33976*f5*f17+64838*f5*f18+49896*f5*f19+64798*f5*f20+12953*f5*f21+45650*f5*f22+46326*f5*f23+13973*f5*f24+15130*f5*f25+56486*f6^2+30027*f6*f7+50575*f6*f8+54755*f6*f9+32485*f6*f10+40493*f6*f11+13184*f6*f13+48043*f6*f14+28805*f6*f15+19649*f6*f16+47438*f6*f17+23140*f12^2+7190*f12*f0+16351*f12*f1+46598*f12*f2+37987*f12*f3+43084*f12*f4+36958*f12*f5+57734*f12*f6+28825*f12*f7+15431*f12*f8+48343*f12*f9+10935*f12*f10+29847*f12*f11+5870*f12*f13+65154*f12*f14+26790*f12*f15+39531*f12*f16+50045*f12*f17+35864*f12*f18+16366*f12*f19+37101*f12*f20+26953*f12*f21+46116*f12*f22+44867*f12*f23+28170*f12*f24+7132*f12*f25+53720*f0^2+44489*f0*f1+642*f0*f2+32900*f0*f3+40445*f0*f4+12056*f0*f5+21060*f0*f6+32411*f0*f7+58900*f0*f8+38473*f0*f9+45573*f0*f10+2301*f0*f11+36957*f0*f13+42996*f0*f14+8381*f0*f15+30365*f0*f16+34745*f0*f17+60956*f0*f18+13274*f0*f19+42078*f0*f20+62304*f0*f21+20869*f0*f22+64719*f0*f23+19525*f0*f24+31575*f0*f25+21066*f1^2+47188*f1*f2+20051*f1*f3+21672*f1*f4+50691*f1*f5+34224*f1*f6+62489*f1*f7+28329*f1*f8+16750*f1*f9+49755*f1*f10+50332*f1*f11+10441*f1*f13+33023*f1*f14+53679*f1*f15+52332*f1*f16+6249*f1*f17+235*f1*f18+30606*f1*f19+19435*f1*f20+7055*f1*f21+37535*f1*f22+40660*f1*f23+41623*f1*f24+10431*f1*f25+37274*f2^2+40080*f2*f3+39314*f2*f4+20104*f2*f5+33423*f2*f6+43308*f2*f7+40089*f2*f8+34243*f2*f9+4257*f2*f10+18576*f2*f11+50280*f2*f13+52220*f2*f14+37932*f2*f15+45157*f2*f16+37548*f2*f17+24909*f2*f18+21309*f2*f19, 19306*f12+14371*f0+29830*f1+34849*f2+4874*f3+22185*f4+19456*f5+6616*f6+24557*f7+56438*f8+63018*f9+10200*f10+50835*f11+44380*f13+41759*f14+63725*f15+39338*f16+58663*f17+676*f18+53929*f19+35458*f20+25526*f21+59060*f22+63930*f23+39429*f24+29845*f25+41483*f23^2+9637*f23*f24+38660*f23*f25+29274*f24^2+2690*f24*f25+31551*f25^2+56414*f19^2+33715*f19*f20+56409*f19*f21+10818*f19*f22+62942*f19*f23+27056*f19*f24+40801*f19*f25+52816*f20^2+53149*f20*f21+77*f20*f22+65327*f20*f23+38289*f20*f24+28678*f20*f25+35852*f21^2+51263*f21*f22+22308*f21*f23+58667*f21*f24+21606*f21*f25+7644*f22^2+50829*f22*f23+55279*f22*f24+65037*f22*f25+15087*f15^2+26701*f15*f16+63561*f15*f17+61606*f15*f18+32629*f15*f19+7688*f15*f20+40008*f15*f21+13478*f15*f22+14545*f15*f23+27434*f15*f24+54637*f15*f25+3266*f16^2+5427*f16*f17+47445*f16*f18+40128*f16*f19+5991*f16*f20+64926*f16*f21+51803*f16*f22+37115*f16*f23+24259*f16*f24+9143*f16*f25+53607*f17^2+31966*f17*f18+41926*f17*f19+20455*f17*f20+29608*f17*f21+34684*f17*f22+3663*f17*f23+2170*f17*f24+21188*f17*f25+63850*f18^2+52656*f18*f19+43365*f18*f20+47106*f18*f21+44542*f18*f22+11161*f18*f23+39435*f18*f24+55025*f18*f25+59513*f10*f16+49656*f10*f17+30990*f10*f18+54010*f10*f19+56881*f10*f20+35013*f10*f21+23852*f10*f22+42016*f10*f23+15804*f10*f24+16868*f10*f25+48985*f11^2+10935*f11*f13+7772*f11*f14+7707*f11*f15+27099*f11*f16+21622*f11*f17+62912*f11*f18+33108*f11*f19+49440*f11*f20+7131*f11*f21+23676*f11*f22+14379*f11*f23+40608*f11*f24+63640*f11*f25+23140*f13^2+5870*f13*f14+65154*f13*f15+26790*f13*f16+39531*f13*f17+50045*f13*f18+35864*f13*f19+16366*f13*f20+37101*f13*f21+26953*f13*f22+46116*f13*f23+44867*f13*f24+28170*f13*f25+38187*f14^2+44762*f14*f15+11581*f14*f16+18138*f14*f17+44587*f14*f18+63161*f14*f19+28607*f14*f20+23691*f14*f21+21158*f14*f22+64971*f14*f23+11283*f14*f24+44828*f14*f25+33976*f6*f18+64838*f6*f19+49896*f6*f20+64798*f6*f21+12953*f6*f22+45650*f6*f23+46326*f6*f24+13973*f6*f25+56486*f7^2+30027*f7*f8+50575*f7*f9+54755*f7*f10+32485*f7*f11+57734*f7*f13+13184*f7*f14+48043*f7*f15+28805*f7*f16+19649*f7*f17+47438*f7*f18+48002*f7*f19+1553*f7*f20+5150*f7*f21+58170*f7*f22+26179*f7*f23+42751*f7*f24+37039*f7*f25+9950*f8^2+63445*f8*f9+188*f8*f10+49885*f8*f11+28825*f8*f13+8144*f8*f14+62199*f8*f15+23439*f8*f16+27007*f8*f17+37732*f8*f18+61299*f8*f19+6923*f8*f20+52322*f8*f21+22415*f8*f22+7345*f8*f23+8358*f8*f24+22005*f8*f25+40514*f9^2+45180*f9*f10+3554*f9*f11+15431*f9*f13+31957*f9*f14+14399*f9*f15+30098*f9*f16+63665*f9*f17+23036*f9*f18+43467*f9*f19+59162*f9*f20+48315*f9*f21+41913*f9*f22+36505*f9*f23+33199*f9*f24+49331*f9*f25+58173*f10^2+33133*f10*f11+48343*f10*f13+45079*f10*f14+53360*f10*f15+30606*f2*f20+19435*f2*f21+7055*f2*f22+37535*f2*f23+40660*f2*f24+41623*f2*f25+37274*f3^2+40080*f3*f4+39314*f3*f5+20104*f3*f6+33423*f3*f7+43308*f3*f8+40089*f3*f9+34243*f3*f10+4257*f3*f11+46598*f3*f13+50280*f3*f14+52220*f3*f15+37932*f3*f16+45157*f3*f17+37548*f3*f18+24909*f3*f19+21309*f3*f20+44211*f3*f21+49374*f3*f22+19409*f3*f23+7706*f3*f24+15820*f3*f25+45994*f4^2+23545*f4*f5+17840*f4*f6+45381*f4*f7+6961*f4*f8+65506*f4*f9+20453*f4*f10+54046*f4*f11+37987*f4*f13+43992*f4*f14+50537*f4*f15+13141*f4*f16+55585*f4*f17+51023*f4*f18+2810*f4*f19+46729*f4*f20+58135*f4*f21+45326*f4*f22+38968*f4*f23+54030*f4*f24+43240*f4*f25+21119*f5^2+9783*f5*f6+3720*f5*f7+48099*f5*f8+32991*f5*f9+41703*f5*f10+12530*f5*f11+43084*f5*f13+5408*f5*f14+24955*f5*f15+18654*f5*f16+8537*f5*f17+30591*f5*f18+44181*f5*f19+478*f5*f20+34873*f5*f21+59166*f5*f22+8353*f5*f23+21512*f5*f24+34436*f5*f25+3428*f6^2+19585*f6*f7+44779*f6*f8+33930*f6*f9+58661*f6*f10+10134*f6*f11+36958*f6*f13+16495*f6*f14+19451*f6*f15+21592*f6*f16+1529*f6*f17+38188*f12^2+61224*f12*f0+2301*f12*f1+50332*f12*f2+18576*f12*f3+51187*f12*f4+36807*f12*f5+56134*f12*f6+40493*f12*f7+21117*f12*f8+63160*f12*f9+61190*f12*f10+28423*f12*f11+29847*f12*f13+57740*f12*f14+39587*f12*f15+11034*f12*f16+34786*f12*f17+24354*f12*f18+49168*f12*f19+43001*f12*f20+43030*f12*f21+31836*f12*f22+27006*f12*f23+52113*f12*f24+57313*f12*f25+3449*f0^2+31575*f0*f1+10431*f0*f2+4610*f0*f3+56419*f0*f4+48138*f0*f5+15130*f0*f6+25082*f0*f7+37599*f0*f8+832*f0*f9+27446*f0*f10+46791*f0*f11+7132*f0*f13+23500*f0*f14+9916*f0*f15+22420*f0*f16+40053*f0*f17+35376*f0*f18+62542*f0*f19+20202*f0*f20+29655*f0*f21+49973*f0*f22+5136*f0*f23+17102*f0*f24+4058*f0*f25+53720*f1^2+44489*f1*f2+642*f1*f3+32900*f1*f4+40445*f1*f5+12056*f1*f6+21060*f1*f7+32411*f1*f8+58900*f1*f9+38473*f1*f10+45573*f1*f11+7190*f1*f13+36957*f1*f14+42996*f1*f15+8381*f1*f16+30365*f1*f17+34745*f1*f18+60956*f1*f19+13274*f1*f20+42078*f1*f21+62304*f1*f22+20869*f1*f23+64719*f1*f24+19525*f1*f25+21066*f2^2+47188*f2*f3+20051*f2*f4+21672*f2*f5+50691*f2*f6+34224*f2*f7+62489*f2*f8+28329*f2*f9+16750*f2*f10+49755*f2*f11+16351*f2*f13+10441*f2*f14+33023*f2*f15+53679*f2*f16+52332*f2*f17+6249*f2*f18+235*f2*f19, 50835*f12+29845*f0+14371*f1+29830*f2+34849*f3+4874*f4+22185*f5+19456*f6+6616*f7+24557*f8+56438*f9+63018*f10+10200*f11+19306*f13+44380*f14+41759*f15+63725*f16+39338*f17+58663*f18+676*f19+53929*f20+35458*f21+25526*f22+59060*f23+63930*f24+39429*f25+7644*f23^2+50829*f23*f24+55279*f23*f25+41483*f24^2+9637*f24*f25+29274*f25^2+63850*f19^2+52656*f19*f20+43365*f19*f21+47106*f19*f22+44542*f19*f23+11161*f19*f24+39435*f19*f25+56414*f20^2+33715*f20*f21+56409*f20*f22+10818*f20*f23+62942*f20*f24+27056*f20*f25+52816*f21^2+53149*f21*f22+77*f21*f23+65327*f21*f24+38289*f21*f25+35852*f22^2+51263*f22*f23+22308*f22*f24+58667*f22*f25+38187*f15^2+44762*f15*f16+11581*f15*f17+18138*f15*f18+44587*f15*f19+63161*f15*f20+28607*f15*f21+23691*f15*f22+21158*f15*f23+64971*f15*f24+11283*f15*f25+15087*f16^2+26701*f16*f17+63561*f16*f18+61606*f16*f19+32629*f16*f20+7688*f16*f21+40008*f16*f22+13478*f16*f23+14545*f16*f24+27434*f16*f25+3266*f17^2+5427*f17*f18+47445*f17*f19+40128*f17*f20+5991*f17*f21+64926*f17*f22+51803*f17*f23+37115*f17*f24+24259*f17*f25+53607*f18^2+31966*f18*f19+41926*f18*f20+20455*f18*f21+29608*f18*f22+34684*f18*f23+3663*f18*f24+2170*f18*f25+14399*f10*f16+30098*f10*f17+63665*f10*f18+23036*f10*f19+43467*f10*f20+59162*f10*f21+48315*f10*f22+41913*f10*f23+36505*f10*f24+33199*f10*f25+58173*f11^2+61190*f11*f13+48343*f11*f14+45079*f11*f15+53360*f11*f16+59513*f11*f17+49656*f11*f18+30990*f11*f19+54010*f11*f20+56881*f11*f21+35013*f11*f22+23852*f11*f23+42016*f11*f24+15804*f11*f25+38188*f13^2+29847*f13*f14+57740*f13*f15+39587*f13*f16+11034*f13*f17+34786*f13*f18+24354*f13*f19+49168*f13*f20+43001*f13*f21+43030*f13*f22+31836*f13*f23+27006*f13*f24+52113*f13*f25+23140*f14^2+5870*f14*f15+65154*f14*f16+26790*f14*f17+39531*f14*f18+50045*f14*f19+35864*f14*f20+16366*f14*f21+37101*f14*f22+26953*f14*f23+46116*f14*f24+44867*f14*f25+8537*f6*f18+30591*f6*f19+44181*f6*f20+478*f6*f21+34873*f6*f22+59166*f6*f23+8353*f6*f24+21512*f6*f25+3428*f7^2+19585*f7*f8+44779*f7*f9+33930*f7*f10+58661*f7*f11+56134*f7*f13+36958*f7*f14+16495*f7*f15+19451*f7*f16+21592*f7*f17+1529*f7*f18+33976*f7*f19+64838*f7*f20+49896*f7*f21+64798*f7*f22+12953*f7*f23+45650*f7*f24+46326*f7*f25+56486*f8^2+30027*f8*f9+50575*f8*f10+54755*f8*f11+40493*f8*f13+57734*f8*f14+13184*f8*f15+48043*f8*f16+28805*f8*f17+19649*f8*f18+47438*f8*f19+48002*f8*f20+1553*f8*f21+5150*f8*f22+58170*f8*f23+26179*f8*f24+42751*f8*f25+9950*f9^2+63445*f9*f10+188*f9*f11+21117*f9*f13+28825*f9*f14+8144*f9*f15+62199*f9*f16+23439*f9*f17+27007*f9*f18+37732*f9*f19+61299*f9*f20+6923*f9*f21+52322*f9*f22+22415*f9*f23+7345*f9*f24+8358*f9*f25+40514*f10^2+45180*f10*f11+63160*f10*f13+15431*f10*f14+31957*f10*f15+60956*f2*f20+13274*f2*f21+42078*f2*f22+62304*f2*f23+20869*f2*f24+64719*f2*f25+21066*f3^2+47188*f3*f4+20051*f3*f5+21672*f3*f6+50691*f3*f7+34224*f3*f8+62489*f3*f9+28329*f3*f10+16750*f3*f11+50332*f3*f13+16351*f3*f14+10441*f3*f15+33023*f3*f16+53679*f3*f17+52332*f3*f18+6249*f3*f19+235*f3*f20+30606*f3*f21+19435*f3*f22+7055*f3*f23+37535*f3*f24+40660*f3*f25+37274*f4^2+40080*f4*f5+39314*f4*f6+20104*f4*f7+33423*f4*f8+43308*f4*f9+40089*f4*f10+34243*f4*f11+18576*f4*f13+46598*f4*f14+50280*f4*f15+52220*f4*f16+37932*f4*f17+45157*f4*f18+37548*f4*f19+24909*f4*f20+21309*f4*f21+44211*f4*f22+49374*f4*f23+19409*f4*f24+7706*f4*f25+45994*f5^2+23545*f5*f6+17840*f5*f7+45381*f5*f8+6961*f5*f9+65506*f5*f10+20453*f5*f11+51187*f5*f13+37987*f5*f14+43992*f5*f15+50537*f5*f16+13141*f5*f17+55585*f5*f18+51023*f5*f19+2810*f5*f20+46729*f5*f21+58135*f5*f22+45326*f5*f23+38968*f5*f24+54030*f5*f25+21119*f6^2+9783*f6*f7+3720*f6*f8+48099*f6*f9+32991*f6*f10+41703*f6*f11+36807*f6*f13+43084*f6*f14+5408*f6*f15+24955*f6*f16+18654*f6*f17+48985*f12^2+63640*f12*f0+46791*f12*f1+45573*f12*f2+49755*f12*f3+4257*f12*f4+54046*f12*f5+12530*f12*f6+10134*f12*f7+32485*f12*f8+49885*f12*f9+3554*f12*f10+33133*f12*f11+28423*f12*f13+10935*f12*f14+7772*f12*f15+7707*f12*f16+27099*f12*f17+21622*f12*f18+62912*f12*f19+33108*f12*f20+49440*f12*f21+7131*f12*f22+23676*f12*f23+14379*f12*f24+40608*f12*f25+31551*f0^2+4058*f0*f1+19525*f0*f2+41623*f0*f3+15820*f0*f4+43240*f0*f5+34436*f0*f6+13973*f0*f7+37039*f0*f8+22005*f0*f9+49331*f0*f10+16868*f0*f11+57313*f0*f13+28170*f0*f14+44828*f0*f15+54637*f0*f16+9143*f0*f17+21188*f0*f18+55025*f0*f19+40801*f0*f20+28678*f0*f21+21606*f0*f22+65037*f0*f23+38660*f0*f24+2690*f0*f25+3449*f1^2+31575*f1*f2+10431*f1*f3+4610*f1*f4+56419*f1*f5+48138*f1*f6+15130*f1*f7+25082*f1*f8+37599*f1*f9+832*f1*f10+27446*f1*f11+61224*f1*f13+7132*f1*f14+23500*f1*f15+9916*f1*f16+22420*f1*f17+40053*f1*f18+35376*f1*f19+62542*f1*f20+20202*f1*f21+29655*f1*f22+49973*f1*f23+5136*f1*f24+17102*f1*f25+53720*f2^2+44489*f2*f3+642*f2*f4+32900*f2*f5+40445*f2*f6+12056*f2*f7+21060*f2*f8+32411*f2*f9+58900*f2*f10+38473*f2*f11+2301*f2*f13+7190*f2*f14+36957*f2*f15+42996*f2*f16+8381*f2*f17+30365*f2*f18+34745*f2*f19, 10200*f12+39429*f0+29845*f1+14371*f2+29830*f3+34849*f4+4874*f5+22185*f6+19456*f7+6616*f8+24557*f9+56438*f10+63018*f11+50835*f13+19306*f14+44380*f15+41759*f16+63725*f17+39338*f18+58663*f19+676*f20+53929*f21+35458*f22+25526*f23+59060*f24+63930*f25+35852*f23^2+51263*f23*f24+22308*f23*f25+7644*f24^2+50829*f24*f25+41483*f25^2+53607*f19^2+31966*f19*f20+41926*f19*f21+20455*f19*f22+29608*f19*f23+34684*f19*f24+3663*f19*f25+63850*f20^2+52656*f20*f21+43365*f20*f22+47106*f20*f23+44542*f20*f24+11161*f20*f25+56414*f21^2+33715*f21*f22+56409*f21*f23+10818*f21*f24+62942*f21*f25+52816*f22^2+53149*f22*f23+77*f22*f24+65327*f22*f25+23140*f15^2+5870*f15*f16+65154*f15*f17+26790*f15*f18+39531*f15*f19+50045*f15*f20+35864*f15*f21+16366*f15*f22+37101*f15*f23+26953*f15*f24+46116*f15*f25+38187*f16^2+44762*f16*f17+11581*f16*f18+18138*f16*f19+44587*f16*f20+63161*f16*f21+28607*f16*f22+23691*f16*f23+21158*f16*f24+64971*f16*f25+15087*f17^2+26701*f17*f18+63561*f17*f19+61606*f17*f20+32629*f17*f21+7688*f17*f22+40008*f17*f23+13478*f17*f24+14545*f17*f25+3266*f18^2+5427*f18*f19+47445*f18*f20+40128*f18*f21+5991*f18*f22+64926*f18*f23+51803*f18*f24+37115*f18*f25+8144*f10*f16+62199*f10*f17+23439*f10*f18+27007*f10*f19+37732*f10*f20+61299*f10*f21+6923*f10*f22+52322*f10*f23+22415*f10*f24+7345*f10*f25+40514*f11^2+3554*f11*f13+63160*f11*f14+15431*f11*f15+31957*f11*f16+14399*f11*f17+30098*f11*f18+63665*f11*f19+23036*f11*f20+43467*f11*f21+59162*f11*f22+48315*f11*f23+41913*f11*f24+36505*f11*f25+48985*f13^2+28423*f13*f14+10935*f13*f15+7772*f13*f16+7707*f13*f17+27099*f13*f18+21622*f13*f19+62912*f13*f20+33108*f13*f21+49440*f13*f22+7131*f13*f23+23676*f13*f24+14379*f13*f25+38188*f14^2+29847*f14*f15+57740*f14*f16+39587*f14*f17+11034*f14*f18+34786*f14*f19+24354*f14*f20+49168*f14*f21+43001*f14*f22+43030*f14*f23+31836*f14*f24+27006*f14*f25+13141*f6*f18+55585*f6*f19+51023*f6*f20+2810*f6*f21+46729*f6*f22+58135*f6*f23+45326*f6*f24+38968*f6*f25+21119*f7^2+9783*f7*f8+3720*f7*f9+48099*f7*f10+32991*f7*f11+12530*f7*f13+36807*f7*f14+43084*f7*f15+5408*f7*f16+24955*f7*f17+18654*f7*f18+8537*f7*f19+30591*f7*f20+44181*f7*f21+478*f7*f22+34873*f7*f23+59166*f7*f24+8353*f7*f25+3428*f8^2+19585*f8*f9+44779*f8*f10+33930*f8*f11+10134*f8*f13+56134*f8*f14+36958*f8*f15+16495*f8*f16+19451*f8*f17+21592*f8*f18+1529*f8*f19+33976*f8*f20+64838*f8*f21+49896*f8*f22+64798*f8*f23+12953*f8*f24+45650*f8*f25+56486*f9^2+30027*f9*f10+50575*f9*f11+32485*f9*f13+40493*f9*f14+57734*f9*f15+13184*f9*f16+48043*f9*f17+28805*f9*f18+19649*f9*f19+47438*f9*f20+48002*f9*f21+1553*f9*f22+5150*f9*f23+58170*f9*f24+26179*f9*f25+9950*f10^2+63445*f10*f11+49885*f10*f13+21117*f10*f14+28825*f10*f15+35376*f2*f20+62542*f2*f21+20202*f2*f22+29655*f2*f23+49973*f2*f24+5136*f2*f25+53720*f3^2+44489*f3*f4+642*f3*f5+32900*f3*f6+40445*f3*f7+12056*f3*f8+21060*f3*f9+32411*f3*f10+58900*f3*f11+45573*f3*f13+2301*f3*f14+7190*f3*f15+36957*f3*f16+42996*f3*f17+8381*f3*f18+30365*f3*f19+34745*f3*f20+60956*f3*f21+13274*f3*f22+42078*f3*f23+62304*f3*f24+20869*f3*f25+21066*f4^2+47188*f4*f5+20051*f4*f6+21672*f4*f7+50691*f4*f8+34224*f4*f9+62489*f4*f10+28329*f4*f11+49755*f4*f13+50332*f4*f14+16351*f4*f15+10441*f4*f16+33023*f4*f17+53679*f4*f18+52332*f4*f19+6249*f4*f20+235*f4*f21+30606*f4*f22+19435*f4*f23+7055*f4*f24+37535*f4*f25+37274*f5^2+40080*f5*f6+39314*f5*f7+20104*f5*f8+33423*f5*f9+43308*f5*f10+40089*f5*f11+4257*f5*f13+18576*f5*f14+46598*f5*f15+50280*f5*f16+52220*f5*f17+37932*f5*f18+45157*f5*f19+37548*f5*f20+24909*f5*f21+21309*f5*f22+44211*f5*f23+49374*f5*f24+19409*f5*f25+45994*f6^2+23545*f6*f7+17840*f6*f8+45381*f6*f9+6961*f6*f10+65506*f6*f11+54046*f6*f13+51187*f6*f14+37987*f6*f15+43992*f6*f16+50537*f6*f17+58173*f12^2+15804*f12*f0+16868*f12*f1+27446*f12*f2+38473*f12*f3+16750*f12*f4+34243*f12*f5+20453*f12*f6+41703*f12*f7+58661*f12*f8+54755*f12*f9+188*f12*f10+45180*f12*f11+33133*f12*f13+61190*f12*f14+48343*f12*f15+45079*f12*f16+53360*f12*f17+59513*f12*f18+49656*f12*f19+30990*f12*f20+54010*f12*f21+56881*f12*f22+35013*f12*f23+23852*f12*f24+42016*f12*f25+29274*f0^2+2690*f0*f1+17102*f0*f2+64719*f0*f3+40660*f0*f4+7706*f0*f5+54030*f0*f6+21512*f0*f7+46326*f0*f8+42751*f0*f9+8358*f0*f10+33199*f0*f11+40608*f0*f13+52113*f0*f14+44867*f0*f15+11283*f0*f16+27434*f0*f17+24259*f0*f18+2170*f0*f19+39435*f0*f20+27056*f0*f21+38289*f0*f22+58667*f0*f23+55279*f0*f24+9637*f0*f25+31551*f1^2+4058*f1*f2+19525*f1*f3+41623*f1*f4+15820*f1*f5+43240*f1*f6+34436*f1*f7+13973*f1*f8+37039*f1*f9+22005*f1*f10+49331*f1*f11+63640*f1*f13+57313*f1*f14+28170*f1*f15+44828*f1*f16+54637*f1*f17+9143*f1*f18+21188*f1*f19+55025*f1*f20+40801*f1*f21+28678*f1*f22+21606*f1*f23+65037*f1*f24+38660*f1*f25+3449*f2^2+31575*f2*f3+10431*f2*f4+4610*f2*f5+56419*f2*f6+48138*f2*f7+15130*f2*f8+25082*f2*f9+37599*f2*f10+832*f2*f11+46791*f2*f13+61224*f2*f14+7132*f2*f15+23500*f2*f16+9916*f2*f17+22420*f2*f18+40053*f2*f19, 63018*f12+63930*f0+39429*f1+29845*f2+14371*f3+29830*f4+34849*f5+4874*f6+22185*f7+19456*f8+6616*f9+24557*f10+56438*f11+10200*f13+50835*f14+19306*f15+44380*f16+41759*f17+63725*f18+39338*f19+58663*f20+676*f21+53929*f22+35458*f23+25526*f24+59060*f25+52816*f23^2+53149*f23*f24+77*f23*f25+35852*f24^2+51263*f24*f25+7644*f25^2+3266*f19^2+5427*f19*f20+47445*f19*f21+40128*f19*f22+5991*f19*f23+64926*f19*f24+51803*f19*f25+53607*f20^2+31966*f20*f21+41926*f20*f22+20455*f20*f23+29608*f20*f24+34684*f20*f25+63850*f21^2+52656*f21*f22+43365*f21*f23+47106*f21*f24+44542*f21*f25+56414*f22^2+33715*f22*f23+56409*f22*f24+10818*f22*f25+38188*f15^2+29847*f15*f16+57740*f15*f17+39587*f15*f18+11034*f15*f19+34786*f15*f20+24354*f15*f21+49168*f15*f22+43001*f15*f23+43030*f15*f24+31836*f15*f25+23140*f16^2+5870*f16*f17+65154*f16*f18+26790*f16*f19+39531*f16*f20+50045*f16*f21+35864*f16*f22+16366*f16*f23+37101*f16*f24+26953*f16*f25+38187*f17^2+44762*f17*f18+11581*f17*f19+18138*f17*f20+44587*f17*f21+63161*f17*f22+28607*f17*f23+23691*f17*f24+21158*f17*f25+15087*f18^2+26701*f18*f19+63561*f18*f20+61606*f18*f21+32629*f18*f22+7688*f18*f23+40008*f18*f24+13478*f18*f25+57734*f10*f16+13184*f10*f17+48043*f10*f18+28805*f10*f19+19649*f10*f20+47438*f10*f21+48002*f10*f22+1553*f10*f23+5150*f10*f24+58170*f10*f25+9950*f11^2+188*f11*f13+49885*f11*f14+21117*f11*f15+28825*f11*f16+8144*f11*f17+62199*f11*f18+23439*f11*f19+27007*f11*f20+37732*f11*f21+61299*f11*f22+6923*f11*f23+52322*f11*f24+22415*f11*f25+58173*f13^2+33133*f13*f14+61190*f13*f15+48343*f13*f16+45079*f13*f17+53360*f13*f18+59513*f13*f19+49656*f13*f20+30990*f13*f21+54010*f13*f22+56881*f13*f23+35013*f13*f24+23852*f13*f25+48985*f14^2+28423*f14*f15+10935*f14*f16+7772*f14*f17+7707*f14*f18+27099*f14*f19+21622*f14*f20+62912*f14*f21+33108*f14*f22+49440*f14*f23+7131*f14*f24+23676*f14*f25+52220*f6*f18+37932*f6*f19+45157*f6*f20+37548*f6*f21+24909*f6*f22+21309*f6*f23+44211*f6*f24+49374*f6*f25+45994*f7^2+23545*f7*f8+17840*f7*f9+45381*f7*f10+6961*f7*f11+20453*f7*f13+54046*f7*f14+51187*f7*f15+37987*f7*f16+43992*f7*f17+50537*f7*f18+13141*f7*f19+55585*f7*f20+51023*f7*f21+2810*f7*f22+46729*f7*f23+58135*f7*f24+45326*f7*f25+21119*f8^2+9783*f8*f9+3720*f8*f10+48099*f8*f11+41703*f8*f13+12530*f8*f14+36807*f8*f15+43084*f8*f16+5408*f8*f17+24955*f8*f18+18654*f8*f19+8537*f8*f20+30591*f8*f21+44181*f8*f22+478*f8*f23+34873*f8*f24+59166*f8*f25+3428*f9^2+19585*f9*f10+44779*f9*f11+58661*f9*f13+10134*f9*f14+56134*f9*f15+36958*f9*f16+16495*f9*f17+19451*f9*f18+21592*f9*f19+1529*f9*f20+33976*f9*f21+64838*f9*f22+49896*f9*f23+64798*f9*f24+12953*f9*f25+56486*f10^2+30027*f10*f11+54755*f10*f13+32485*f10*f14+40493*f10*f15+21188*f2*f20+55025*f2*f21+40801*f2*f22+28678*f2*f23+21606*f2*f24+65037*f2*f25+3449*f3^2+31575*f3*f4+10431*f3*f5+4610*f3*f6+56419*f3*f7+48138*f3*f8+15130*f3*f9+25082*f3*f10+37599*f3*f11+27446*f3*f13+46791*f3*f14+61224*f3*f15+7132*f3*f16+23500*f3*f17+9916*f3*f18+22420*f3*f19+40053*f3*f20+35376*f3*f21+62542*f3*f22+20202*f3*f23+29655*f3*f24+49973*f3*f25+53720*f4^2+44489*f4*f5+642*f4*f6+32900*f4*f7+40445*f4*f8+12056*f4*f9+21060*f4*f10+32411*f4*f11+38473*f4*f13+45573*f4*f14+2301*f4*f15+7190*f4*f16+36957*f4*f17+42996*f4*f18+8381*f4*f19+30365*f4*f20+34745*f4*f21+60956*f4*f22+13274*f4*f23+42078*f4*f24+62304*f4*f25+21066*f5^2+47188*f5*f6+20051*f5*f7+21672*f5*f8+50691*f5*f9+34224*f5*f10+62489*f5*f11+16750*f5*f13+49755*f5*f14+50332*f5*f15+16351*f5*f16+10441*f5*f17+33023*f5*f18+53679*f5*f19+52332*f5*f20+6249*f5*f21+235*f5*f22+30606*f5*f23+19435*f5*f24+7055*f5*f25+37274*f6^2+40080*f6*f7+39314*f6*f8+20104*f6*f9+33423*f6*f10+43308*f6*f11+34243*f6*f13+4257*f6*f14+18576*f6*f15+46598*f6*f16+50280*f6*f17+40514*f12^2+36505*f12*f0+33199*f12*f1+49331*f12*f2+832*f12*f3+58900*f12*f4+28329*f12*f5+40089*f12*f6+65506*f12*f7+32991*f12*f8+33930*f12*f9+50575*f12*f10+63445*f12*f11+45180*f12*f13+3554*f12*f14+63160*f12*f15+15431*f12*f16+31957*f12*f17+14399*f12*f18+30098*f12*f19+63665*f12*f20+23036*f12*f21+43467*f12*f22+59162*f12*f23+48315*f12*f24+41913*f12*f25+41483*f0^2+9637*f0*f1+38660*f0*f2+5136*f0*f3+20869*f0*f4+37535*f0*f5+19409*f0*f6+38968*f0*f7+8353*f0*f8+45650*f0*f9+26179*f0*f10+7345*f0*f11+42016*f0*f13+14379*f0*f14+27006*f0*f15+46116*f0*f16+64971*f0*f17+14545*f0*f18+37115*f0*f19+3663*f0*f20+11161*f0*f21+62942*f0*f22+65327*f0*f23+22308*f0*f24+50829*f0*f25+29274*f1^2+2690*f1*f2+17102*f1*f3+64719*f1*f4+40660*f1*f5+7706*f1*f6+54030*f1*f7+21512*f1*f8+46326*f1*f9+42751*f1*f10+8358*f1*f11+15804*f1*f13+40608*f1*f14+52113*f1*f15+44867*f1*f16+11283*f1*f17+27434*f1*f18+24259*f1*f19+2170*f1*f20+39435*f1*f21+27056*f1*f22+38289*f1*f23+58667*f1*f24+55279*f1*f25+31551*f2^2+4058*f2*f3+19525*f2*f4+41623*f2*f5+15820*f2*f6+43240*f2*f7+34436*f2*f8+13973*f2*f9+37039*f2*f10+22005*f2*f11+16868*f2*f13+63640*f2*f14+57313*f2*f15+28170*f2*f16+44828*f2*f17+54637*f2*f18+9143*f2*f19, 56438*f12+59060*f0+63930*f1+39429*f2+29845*f3+14371*f4+29830*f5+34849*f6+4874*f7+22185*f8+19456*f9+6616*f10+24557*f11+63018*f13+10200*f14+50835*f15+19306*f16+44380*f17+41759*f18+63725*f19+39338*f20+58663*f21+676*f22+53929*f23+35458*f24+25526*f25+56414*f23^2+33715*f23*f24+56409*f23*f25+52816*f24^2+53149*f24*f25+35852*f25^2+15087*f19^2+26701*f19*f20+63561*f19*f21+61606*f19*f22+32629*f19*f23+7688*f19*f24+40008*f19*f25+3266*f20^2+5427*f20*f21+47445*f20*f22+40128*f20*f23+5991*f20*f24+64926*f20*f25+53607*f21^2+31966*f21*f22+41926*f21*f23+20455*f21*f24+29608*f21*f25+63850*f22^2+52656*f22*f23+43365*f22*f24+47106*f22*f25+48985*f15^2+28423*f15*f16+10935*f15*f17+7772*f15*f18+7707*f15*f19+27099*f15*f20+21622*f15*f21+62912*f15*f22+33108*f15*f23+49440*f15*f24+7131*f15*f25+38188*f16^2+29847*f16*f17+57740*f16*f18+39587*f16*f19+11034*f16*f20+34786*f16*f21+24354*f16*f22+49168*f16*f23+43001*f16*f24+43030*f16*f25+23140*f17^2+5870*f17*f18+65154*f17*f19+26790*f17*f20+39531*f17*f21+50045*f17*f22+35864*f17*f23+16366*f17*f24+37101*f17*f25+38187*f18^2+44762*f18*f19+11581*f18*f20+18138*f18*f21+44587*f18*f22+63161*f18*f23+28607*f18*f24+23691*f18*f25+56134*f10*f16+36958*f10*f17+16495*f10*f18+19451*f10*f19+21592*f10*f20+1529*f10*f21+33976*f10*f22+64838*f10*f23+49896*f10*f24+64798*f10*f25+56486*f11^2+50575*f11*f13+54755*f11*f14+32485*f11*f15+40493*f11*f16+57734*f11*f17+13184*f11*f18+48043*f11*f19+28805*f11*f20+19649*f11*f21+47438*f11*f22+48002*f11*f23+1553*f11*f24+5150*f11*f25+40514*f13^2+45180*f13*f14+3554*f13*f15+63160*f13*f16+15431*f13*f17+31957*f13*f18+14399*f13*f19+30098*f13*f20+63665*f13*f21+23036*f13*f22+43467*f13*f23+59162*f13*f24+48315*f13*f25+58173*f14^2+33133*f14*f15+61190*f14*f16+48343*f14*f17+45079*f14*f18+53360*f14*f19+59513*f14*f20+49656*f14*f21+30990*f14*f22+54010*f14*f23+56881*f14*f24+35013*f14*f25+10441*f6*f18+33023*f6*f19+53679*f6*f20+52332*f6*f21+6249*f6*f22+235*f6*f23+30606*f6*f24+19435*f6*f25+37274*f7^2+40080*f7*f8+39314*f7*f9+20104*f7*f10+33423*f7*f11+40089*f7*f13+34243*f7*f14+4257*f7*f15+18576*f7*f16+46598*f7*f17+50280*f7*f18+52220*f7*f19+37932*f7*f20+45157*f7*f21+37548*f7*f22+24909*f7*f23+21309*f7*f24+44211*f7*f25+45994*f8^2+23545*f8*f9+17840*f8*f10+45381*f8*f11+65506*f8*f13+20453*f8*f14+54046*f8*f15+51187*f8*f16+37987*f8*f17+43992*f8*f18+50537*f8*f19+13141*f8*f20+55585*f8*f21+51023*f8*f22+2810*f8*f23+46729*f8*f24+58135*f8*f25+21119*f9^2+9783*f9*f10+3720*f9*f11+32991*f9*f13+41703*f9*f14+12530*f9*f15+36807*f9*f16+43084*f9*f17+5408*f9*f18+24955*f9*f19+18654*f9*f20+8537*f9*f21+30591*f9*f22+44181*f9*f23+478*f9*f24+34873*f9*f25+3428*f10^2+19585*f10*f11+33930*f10*f13+58661*f10*f14+10134*f10*f15+24259*f2*f20+2170*f2*f21+39435*f2*f22+27056*f2*f23+38289*f2*f24+58667*f2*f25+31551*f3^2+4058*f3*f4+19525*f3*f5+41623*f3*f6+15820*f3*f7+43240*f3*f8+34436*f3*f9+13973*f3*f10+37039*f3*f11+49331*f3*f13+16868*f3*f14+63640*f3*f15+57313*f3*f16+28170*f3*f17+44828*f3*f18+54637*f3*f19+9143*f3*f20+21188*f3*f21+55025*f3*f22+40801*f3*f23+28678*f3*f24+21606*f3*f25+3449*f4^2+31575*f4*f5+10431*f4*f6+4610*f4*f7+56419*f4*f8+48138*f4*f9+15130*f4*f10+25082*f4*f11+832*f4*f13+27446*f4*f14+46791*f4*f15+61224*f4*f16+7132*f4*f17+23500*f4*f18+9916*f4*f19+22420*f4*f20+40053*f4*f21+35376*f4*f22+62542*f4*f23+20202*f4*f24+29655*f4*f25+53720*f5^2+44489*f5*f6+642*f5*f7+32900*f5*f8+40445*f5*f9+12056*f5*f10+21060*f5*f11+58900*f5*f13+38473*f5*f14+45573*f5*f15+2301*f5*f16+7190*f5*f17+36957*f5*f18+42996*f5*f19+8381*f5*f20+30365*f5*f21+34745*f5*f22+60956*f5*f23+13274*f5*f24+42078*f5*f25+21066*f6^2+47188*f6*f7+20051*f6*f8+21672*f6*f9+50691*f6*f10+34224*f6*f11+28329*f6*f13+16750*f6*f14+49755*f6*f15+50332*f6*f16+16351*f6*f17+9950*f12^2+22415*f12*f0+7345*f12*f1+8358*f12*f2+22005*f12*f3+37599*f12*f4+32411*f12*f5+62489*f12*f6+43308*f12*f7+6961*f12*f8+48099*f12*f9+44779*f12*f10+30027*f12*f11+63445*f12*f13+188*f12*f14+49885*f12*f15+21117*f12*f16+28825*f12*f17+8144*f12*f18+62199*f12*f19+23439*f12*f20+27007*f12*f21+37732*f12*f22+61299*f12*f23+6923*f12*f24+52322*f12*f25+7644*f0^2+50829*f0*f1+55279*f0*f2+65037*f0*f3+49973*f0*f4+62304*f0*f5+7055*f0*f6+49374*f0*f7+45326*f0*f8+59166*f0*f9+12953*f0*f10+58170*f0*f11+41913*f0*f13+23852*f0*f14+23676*f0*f15+31836*f0*f16+26953*f0*f17+21158*f0*f18+13478*f0*f19+51803*f0*f20+34684*f0*f21+44542*f0*f22+10818*f0*f23+77*f0*f24+51263*f0*f25+41483*f1^2+9637*f1*f2+38660*f1*f3+5136*f1*f4+20869*f1*f5+37535*f1*f6+19409*f1*f7+38968*f1*f8+8353*f1*f9+45650*f1*f10+26179*f1*f11+36505*f1*f13+42016*f1*f14+14379*f1*f15+27006*f1*f16+46116*f1*f17+64971*f1*f18+14545*f1*f19+37115*f1*f20+3663*f1*f21+11161*f1*f22+62942*f1*f23+65327*f1*f24+22308*f1*f25+29274*f2^2+2690*f2*f3+17102*f2*f4+64719*f2*f5+40660*f2*f6+7706*f2*f7+54030*f2*f8+21512*f2*f9+46326*f2*f10+42751*f2*f11+33199*f2*f13+15804*f2*f14+40608*f2*f15+52113*f2*f16+44867*f2*f17+11283*f2*f18+27434*f2*f19, 24557*f12+25526*f0+59060*f1+63930*f2+39429*f3+29845*f4+14371*f5+29830*f6+34849*f7+4874*f8+22185*f9+19456*f10+6616*f11+56438*f13+63018*f14+10200*f15+50835*f16+19306*f17+44380*f18+41759*f19+63725*f20+39338*f21+58663*f22+676*f23+53929*f24+35458*f25+63850*f23^2+52656*f23*f24+43365*f23*f25+56414*f24^2+33715*f24*f25+52816*f25^2+38187*f19^2+44762*f19*f20+11581*f19*f21+18138*f19*f22+44587*f19*f23+63161*f19*f24+28607*f19*f25+15087*f20^2+26701*f20*f21+63561*f20*f22+61606*f20*f23+32629*f20*f24+7688*f20*f25+3266*f21^2+5427*f21*f22+47445*f21*f23+40128*f21*f24+5991*f21*f25+53607*f22^2+31966*f22*f23+41926*f22*f24+20455*f22*f25+58173*f15^2+33133*f15*f16+61190*f15*f17+48343*f15*f18+45079*f15*f19+53360*f15*f20+59513*f15*f21+49656*f15*f22+30990*f15*f23+54010*f15*f24+56881*f15*f25+48985*f16^2+28423*f16*f17+10935*f16*f18+7772*f16*f19+7707*f16*f20+27099*f16*f21+21622*f16*f22+62912*f16*f23+33108*f16*f24+49440*f16*f25+38188*f17^2+29847*f17*f18+57740*f17*f19+39587*f17*f20+11034*f17*f21+34786*f17*f22+24354*f17*f23+49168*f17*f24+43001*f17*f25+23140*f18^2+5870*f18*f19+65154*f18*f20+26790*f18*f21+39531*f18*f22+50045*f18*f23+35864*f18*f24+16366*f18*f25+12530*f10*f16+36807*f10*f17+43084*f10*f18+5408*f10*f19+24955*f10*f20+18654*f10*f21+8537*f10*f22+30591*f10*f23+44181*f10*f24+478*f10*f25+3428*f11^2+44779*f11*f13+33930*f11*f14+58661*f11*f15+10134*f11*f16+56134*f11*f17+36958*f11*f18+16495*f11*f19+19451*f11*f20+21592*f11*f21+1529*f11*f22+33976*f11*f23+64838*f11*f24+49896*f11*f25+9950*f13^2+63445*f13*f14+188*f13*f15+49885*f13*f16+21117*f13*f17+28825*f13*f18+8144*f13*f19+62199*f13*f20+23439*f13*f21+27007*f13*f22+37732*f13*f23+61299*f13*f24+6923*f13*f25+40514*f14^2+45180*f14*f15+3554*f14*f16+63160*f14*f17+15431*f14*f18+31957*f14*f19+14399*f14*f20+30098*f14*f21+63665*f14*f22+23036*f14*f23+43467*f14*f24+59162*f14*f25+7190*f6*f18+36957*f6*f19+42996*f6*f20+8381*f6*f21+30365*f6*f22+34745*f6*f23+60956*f6*f24+13274*f6*f25+21066*f7^2+47188*f7*f8+20051*f7*f9+21672*f7*f10+50691*f7*f11+62489*f7*f13+28329*f7*f14+16750*f7*f15+49755*f7*f16+50332*f7*f17+16351*f7*f18+10441*f7*f19+33023*f7*f20+53679*f7*f21+52332*f7*f22+6249*f7*f23+235*f7*f24+30606*f7*f25+37274*f8^2+40080*f8*f9+39314*f8*f10+20104*f8*f11+43308*f8*f13+40089*f8*f14+34243*f8*f15+4257*f8*f16+18576*f8*f17+46598*f8*f18+50280*f8*f19+52220*f8*f20+37932*f8*f21+45157*f8*f22+37548*f8*f23+24909*f8*f24+21309*f8*f25+45994*f9^2+23545*f9*f10+17840*f9*f11+6961*f9*f13+65506*f9*f14+20453*f9*f15+54046*f9*f16+51187*f9*f17+37987*f9*f18+43992*f9*f19+50537*f9*f20+13141*f9*f21+55585*f9*f22+51023*f9*f23+2810*f9*f24+46729*f9*f25+21119*f10^2+9783*f10*f11+48099*f10*f13+32991*f10*f14+41703*f10*f15+14545*f2*f20+37115*f2*f21+3663*f2*f22+11161*f2*f23+62942*f2*f24+65327*f2*f25+29274*f3^2+2690*f3*f4+17102*f3*f5+64719*f3*f6+40660*f3*f7+7706*f3*f8+54030*f3*f9+21512*f3*f10+46326*f3*f11+8358*f3*f13+33199*f3*f14+15804*f3*f15+40608*f3*f16+52113*f3*f17+44867*f3*f18+11283*f3*f19+27434*f3*f20+24259*f3*f21+2170*f3*f22+39435*f3*f23+27056*f3*f24+38289*f3*f25+31551*f4^2+4058*f4*f5+19525*f4*f6+41623*f4*f7+15820*f4*f8+43240*f4*f9+34436*f4*f10+13973*f4*f11+22005*f4*f13+49331*f4*f14+16868*f4*f15+63640*f4*f16+57313*f4*f17+28170*f4*f18+44828*f4*f19+54637*f4*f20+9143*f4*f21+21188*f4*f22+55025*f4*f23+40801*f4*f24+28678*f4*f25+3449*f5^2+31575*f5*f6+10431*f5*f7+4610*f5*f8+56419*f5*f9+48138*f5*f10+15130*f5*f11+37599*f5*f13+832*f5*f14+27446*f5*f15+46791*f5*f16+61224*f5*f17+7132*f5*f18+23500*f5*f19+9916*f5*f20+22420*f5*f21+40053*f5*f22+35376*f5*f23+62542*f5*f24+20202*f5*f25+53720*f6^2+44489*f6*f7+642*f6*f8+32900*f6*f9+40445*f6*f10+12056*f6*f11+32411*f6*f13+58900*f6*f14+38473*f6*f15+45573*f6*f16+2301*f6*f17+56486*f12^2+5150*f12*f0+58170*f12*f1+26179*f12*f2+42751*f12*f3+37039*f12*f4+25082*f12*f5+21060*f12*f6+34224*f12*f7+33423*f12*f8+45381*f12*f9+3720*f12*f10+19585*f12*f11+30027*f12*f13+50575*f12*f14+54755*f12*f15+32485*f12*f16+40493*f12*f17+57734*f12*f18+13184*f12*f19+48043*f12*f20+28805*f12*f21+19649*f12*f22+47438*f12*f23+48002*f12*f24+1553*f12*f25+35852*f0^2+51263*f0*f1+22308*f0*f2+58667*f0*f3+21606*f0*f4+29655*f0*f5+42078*f0*f6+19435*f0*f7+44211*f0*f8+58135*f0*f9+34873*f0*f10+64798*f0*f11+52322*f0*f13+48315*f0*f14+35013*f0*f15+7131*f0*f16+43030*f0*f17+37101*f0*f18+23691*f0*f19+40008*f0*f20+64926*f0*f21+29608*f0*f22+47106*f0*f23+56409*f0*f24+53149*f0*f25+7644*f1^2+50829*f1*f2+55279*f1*f3+65037*f1*f4+49973*f1*f5+62304*f1*f6+7055*f1*f7+49374*f1*f8+45326*f1*f9+59166*f1*f10+12953*f1*f11+22415*f1*f13+41913*f1*f14+23852*f1*f15+23676*f1*f16+31836*f1*f17+26953*f1*f18+21158*f1*f19+13478*f1*f20+51803*f1*f21+34684*f1*f22+44542*f1*f23+10818*f1*f24+77*f1*f25+41483*f2^2+9637*f2*f3+38660*f2*f4+5136*f2*f5+20869*f2*f6+37535*f2*f7+19409*f2*f8+38968*f2*f9+8353*f2*f10+45650*f2*f11+7345*f2*f13+36505*f2*f14+42016*f2*f15+14379*f2*f16+27006*f2*f17+46116*f2*f18+64971*f2*f19, 6616*f12+35458*f0+25526*f1+59060*f2+63930*f3+39429*f4+29845*f5+14371*f6+29830*f7+34849*f8+4874*f9+22185*f10+19456*f11+24557*f13+56438*f14+63018*f15+10200*f16+50835*f17+19306*f18+44380*f19+41759*f20+63725*f21+39338*f22+58663*f23+676*f24+53929*f25+53607*f23^2+31966*f23*f24+41926*f23*f25+63850*f24^2+52656*f24*f25+56414*f25^2+23140*f19^2+5870*f19*f20+65154*f19*f21+26790*f19*f22+39531*f19*f23+50045*f19*f24+35864*f19*f25+38187*f20^2+44762*f20*f21+11581*f20*f22+18138*f20*f23+44587*f20*f24+63161*f20*f25+15087*f21^2+26701*f21*f22+63561*f21*f23+61606*f21*f24+32629*f21*f25+3266*f22^2+5427*f22*f23+47445*f22*f24+40128*f22*f25+40514*f15^2+45180*f15*f16+3554*f15*f17+63160*f15*f18+15431*f15*f19+31957*f15*f20+14399*f15*f21+30098*f15*f22+63665*f15*f23+23036*f15*f24+43467*f15*f25+58173*f16^2+33133*f16*f17+61190*f16*f18+48343*f16*f19+45079*f16*f20+53360*f16*f21+59513*f16*f22+49656*f16*f23+30990*f16*f24+54010*f16*f25+48985*f17^2+28423*f17*f18+10935*f17*f19+7772*f17*f20+7707*f17*f21+27099*f17*f22+21622*f17*f23+62912*f17*f24+33108*f17*f25+38188*f18^2+29847*f18*f19+57740*f18*f20+39587*f18*f21+11034*f18*f22+34786*f18*f23+24354*f18*f24+49168*f18*f25+20453*f10*f16+54046*f10*f17+51187*f10*f18+37987*f10*f19+43992*f10*f20+50537*f10*f21+13141*f10*f22+55585*f10*f23+51023*f10*f24+2810*f10*f25+21119*f11^2+3720*f11*f13+48099*f11*f14+32991*f11*f15+41703*f11*f16+12530*f11*f17+36807*f11*f18+43084*f11*f19+5408*f11*f20+24955*f11*f21+18654*f11*f22+8537*f11*f23+30591*f11*f24+44181*f11*f25+56486*f13^2+30027*f13*f14+50575*f13*f15+54755*f13*f16+32485*f13*f17+40493*f13*f18+57734*f13*f19+13184*f13*f20+48043*f13*f21+28805*f13*f22+19649*f13*f23+47438*f13*f24+48002*f13*f25+9950*f14^2+63445*f14*f15+188*f14*f16+49885*f14*f17+21117*f14*f18+28825*f14*f19+8144*f14*f20+62199*f14*f21+23439*f14*f22+27007*f14*f23+37732*f14*f24+61299*f14*f25+61224*f6*f18+7132*f6*f19+23500*f6*f20+9916*f6*f21+22420*f6*f22+40053*f6*f23+35376*f6*f24+62542*f6*f25+53720*f7^2+44489*f7*f8+642*f7*f9+32900*f7*f10+40445*f7*f11+21060*f7*f13+32411*f7*f14+58900*f7*f15+38473*f7*f16+45573*f7*f17+2301*f7*f18+7190*f7*f19+36957*f7*f20+42996*f7*f21+8381*f7*f22+30365*f7*f23+34745*f7*f24+60956*f7*f25+21066*f8^2+47188*f8*f9+20051*f8*f10+21672*f8*f11+34224*f8*f13+62489*f8*f14+28329*f8*f15+16750*f8*f16+49755*f8*f17+50332*f8*f18+16351*f8*f19+10441*f8*f20+33023*f8*f21+53679*f8*f22+52332*f8*f23+6249*f8*f24+235*f8*f25+37274*f9^2+40080*f9*f10+39314*f9*f11+33423*f9*f13+43308*f9*f14+40089*f9*f15+34243*f9*f16+4257*f9*f17+18576*f9*f18+46598*f9*f19+50280*f9*f20+52220*f9*f21+37932*f9*f22+45157*f9*f23+37548*f9*f24+24909*f9*f25+45994*f10^2+23545*f10*f11+45381*f10*f13+6961*f10*f14+65506*f10*f15+21158*f2*f20+13478*f2*f21+51803*f2*f22+34684*f2*f23+44542*f2*f24+10818*f2*f25+41483*f3^2+9637*f3*f4+38660*f3*f5+5136*f3*f6+20869*f3*f7+37535*f3*f8+19409*f3*f9+38968*f3*f10+8353*f3*f11+26179*f3*f13+7345*f3*f14+36505*f3*f15+42016*f3*f16+14379*f3*f17+27006*f3*f18+46116*f3*f19+64971*f3*f20+14545*f3*f21+37115*f3*f22+3663*f3*f23+11161*f3*f24+62942*f3*f25+29274*f4^2+2690*f4*f5+17102*f4*f6+64719*f4*f7+40660*f4*f8+7706*f4*f9+54030*f4*f10+21512*f4*f11+42751*f4*f13+8358*f4*f14+33199*f4*f15+15804*f4*f16+40608*f4*f17+52113*f4*f18+44867*f4*f19+11283*f4*f20+27434*f4*f21+24259*f4*f22+2170*f4*f23+39435*f4*f24+27056*f4*f25+31551*f5^2+4058*f5*f6+19525*f5*f7+41623*f5*f8+15820*f5*f9+43240*f5*f10+34436*f5*f11+37039*f5*f13+22005*f5*f14+49331*f5*f15+16868*f5*f16+63640*f5*f17+57313*f5*f18+28170*f5*f19+44828*f5*f20+54637*f5*f21+9143*f5*f22+21188*f5*f23+55025*f5*f24+40801*f5*f25+3449*f6^2+31575*f6*f7+10431*f6*f8+4610*f6*f9+56419*f6*f10+48138*f6*f11+25082*f6*f13+37599*f6*f14+832*f6*f15+27446*f6*f16+46791*f6*f17+3428*f12^2+49896*f12*f0+64798*f12*f1+12953*f12*f2+45650*f12*f3+46326*f12*f4+13973*f12*f5+15130*f12*f6+12056*f12*f7+50691*f12*f8+20104*f12*f9+17840*f12*f10+9783*f12*f11+19585*f12*f13+44779*f12*f14+33930*f12*f15+58661*f12*f16+10134*f12*f17+56134*f12*f18+36958*f12*f19+16495*f12*f20+19451*f12*f21+21592*f12*f22+1529*f12*f23+33976*f12*f24+64838*f12*f25+52816*f0^2+53149*f0*f1+77*f0*f2+65327*f0*f3+38289*f0*f4+28678*f0*f5+20202*f0*f6+13274*f0*f7+30606*f0*f8+21309*f0*f9+46729*f0*f10+478*f0*f11+1553*f0*f13+6923*f0*f14+59162*f0*f15+56881*f0*f16+49440*f0*f17+43001*f0*f18+16366*f0*f19+28607*f0*f20+7688*f0*f21+5991*f0*f22+20455*f0*f23+43365*f0*f24+33715*f0*f25+35852*f1^2+51263*f1*f2+22308*f1*f3+58667*f1*f4+21606*f1*f5+29655*f1*f6+42078*f1*f7+19435*f1*f8+44211*f1*f9+58135*f1*f10+34873*f1*f11+5150*f1*f13+52322*f1*f14+48315*f1*f15+35013*f1*f16+7131*f1*f17+43030*f1*f18+37101*f1*f19+23691*f1*f20+40008*f1*f21+64926*f1*f22+29608*f1*f23+47106*f1*f24+56409*f1*f25+7644*f2^2+50829*f2*f3+55279*f2*f4+65037*f2*f5+49973*f2*f6+62304*f2*f7+7055*f2*f8+49374*f2*f9+45326*f2*f10+59166*f2*f11+58170*f2*f13+22415*f2*f14+41913*f2*f15+23852*f2*f16+23676*f2*f17+31836*f2*f18+26953*f2*f19, 19456*f12+53929*f0+35458*f1+25526*f2+59060*f3+63930*f4+39429*f5+29845*f6+14371*f7+29830*f8+34849*f9+4874*f10+22185*f11+6616*f13+24557*f14+56438*f15+63018*f16+10200*f17+50835*f18+19306*f19+44380*f20+41759*f21+63725*f22+39338*f23+58663*f24+676*f25+3266*f23^2+5427*f23*f24+47445*f23*f25+53607*f24^2+31966*f24*f25+63850*f25^2+38188*f19^2+29847*f19*f20+57740*f19*f21+39587*f19*f22+11034*f19*f23+34786*f19*f24+24354*f19*f25+23140*f20^2+5870*f20*f21+65154*f20*f22+26790*f20*f23+39531*f20*f24+50045*f20*f25+38187*f21^2+44762*f21*f22+11581*f21*f23+18138*f21*f24+44587*f21*f25+15087*f22^2+26701*f22*f23+63561*f22*f24+61606*f22*f25+9950*f15^2+63445*f15*f16+188*f15*f17+49885*f15*f18+21117*f15*f19+28825*f15*f20+8144*f15*f21+62199*f15*f22+23439*f15*f23+27007*f15*f24+37732*f15*f25+40514*f16^2+45180*f16*f17+3554*f16*f18+63160*f16*f19+15431*f16*f20+31957*f16*f21+14399*f16*f22+30098*f16*f23+63665*f16*f24+23036*f16*f25+58173*f17^2+33133*f17*f18+61190*f17*f19+48343*f17*f20+45079*f17*f21+53360*f17*f22+59513*f17*f23+49656*f17*f24+30990*f17*f25+48985*f18^2+28423*f18*f19+10935*f18*f20+7772*f18*f21+7707*f18*f22+27099*f18*f23+21622*f18*f24+62912*f18*f25+40089*f10*f16+34243*f10*f17+4257*f10*f18+18576*f10*f19+46598*f10*f20+50280*f10*f21+52220*f10*f22+37932*f10*f23+45157*f10*f24+37548*f10*f25+45994*f11^2+17840*f11*f13+45381*f11*f14+6961*f11*f15+65506*f11*f16+20453*f11*f17+54046*f11*f18+51187*f11*f19+37987*f11*f20+43992*f11*f21+50537*f11*f22+13141*f11*f23+55585*f11*f24+51023*f11*f25+3428*f13^2+19585*f13*f14+44779*f13*f15+33930*f13*f16+58661*f13*f17+10134*f13*f18+56134*f13*f19+36958*f13*f20+16495*f13*f21+19451*f13*f22+21592*f13*f23+1529*f13*f24+33976*f13*f25+56486*f14^2+30027*f14*f15+50575*f14*f16+54755*f14*f17+32485*f14*f18+40493*f14*f19+57734*f14*f20+13184*f14*f21+48043*f14*f22+28805*f14*f23+19649*f14*f24+47438*f14*f25+63640*f6*f18+57313*f6*f19+28170*f6*f20+44828*f6*f21+54637*f6*f22+9143*f6*f23+21188*f6*f24+55025*f6*f25+3449*f7^2+31575*f7*f8+10431*f7*f9+4610*f7*f10+56419*f7*f11+15130*f7*f13+25082*f7*f14+37599*f7*f15+832*f7*f16+27446*f7*f17+46791*f7*f18+61224*f7*f19+7132*f7*f20+23500*f7*f21+9916*f7*f22+22420*f7*f23+40053*f7*f24+35376*f7*f25+53720*f8^2+44489*f8*f9+642*f8*f10+32900*f8*f11+12056*f8*f13+21060*f8*f14+32411*f8*f15+58900*f8*f16+38473*f8*f17+45573*f8*f18+2301*f8*f19+7190*f8*f20+36957*f8*f21+42996*f8*f22+8381*f8*f23+30365*f8*f24+34745*f8*f25+21066*f9^2+47188*f9*f10+20051*f9*f11+50691*f9*f13+34224*f9*f14+62489*f9*f15+28329*f9*f16+16750*f9*f17+49755*f9*f18+50332*f9*f19+16351*f9*f20+10441*f9*f21+33023*f9*f22+53679*f9*f23+52332*f9*f24+6249*f9*f25+37274*f10^2+40080*f10*f11+20104*f10*f13+33423*f10*f14+43308*f10*f15+37101*f2*f20+23691*f2*f21+40008*f2*f22+64926*f2*f23+29608*f2*f24+47106*f2*f25+7644*f3^2+50829*f3*f4+55279*f3*f5+65037*f3*f6+49973*f3*f7+62304*f3*f8+7055*f3*f9+49374*f3*f10+45326*f3*f11+12953*f3*f13+58170*f3*f14+22415*f3*f15+41913*f3*f16+23852*f3*f17+23676*f3*f18+31836*f3*f19+26953*f3*f20+21158*f3*f21+13478*f3*f22+51803*f3*f23+34684*f3*f24+44542*f3*f25+41483*f4^2+9637*f4*f5+38660*f4*f6+5136*f4*f7+20869*f4*f8+37535*f4*f9+19409*f4*f10+38968*f4*f11+45650*f4*f13+26179*f4*f14+7345*f4*f15+36505*f4*f16+42016*f4*f17+14379*f4*f18+27006*f4*f19+46116*f4*f20+64971*f4*f21+14545*f4*f22+37115*f4*f23+3663*f4*f24+11161*f4*f25+29274*f5^2+2690*f5*f6+17102*f5*f7+64719*f5*f8+40660*f5*f9+7706*f5*f10+54030*f5*f11+46326*f5*f13+42751*f5*f14+8358*f5*f15+33199*f5*f16+15804*f5*f17+40608*f5*f18+52113*f5*f19+44867*f5*f20+11283*f5*f21+27434*f5*f22+24259*f5*f23+2170*f5*f24+39435*f5*f25+31551*f6^2+4058*f6*f7+19525*f6*f8+41623*f6*f9+15820*f6*f10+43240*f6*f11+13973*f6*f13+37039*f6*f14+22005*f6*f15+49331*f6*f16+16868*f6*f17+21119*f12^2+44181*f12*f0+478*f12*f1+34873*f12*f2+59166*f12*f3+8353*f12*f4+21512*f12*f5+34436*f12*f6+48138*f12*f7+40445*f12*f8+21672*f12*f9+39314*f12*f10+23545*f12*f11+9783*f12*f13+3720*f12*f14+48099*f12*f15+32991*f12*f16+41703*f12*f17+12530*f12*f18+36807*f12*f19+43084*f12*f20+5408*f12*f21+24955*f12*f22+18654*f12*f23+8537*f12*f24+30591*f12*f25+56414*f0^2+33715*f0*f1+56409*f0*f2+10818*f0*f3+62942*f0*f4+27056*f0*f5+40801*f0*f6+62542*f0*f7+60956*f0*f8+235*f0*f9+24909*f0*f10+2810*f0*f11+64838*f0*f13+48002*f0*f14+61299*f0*f15+43467*f0*f16+54010*f0*f17+33108*f0*f18+49168*f0*f19+35864*f0*f20+63161*f0*f21+32629*f0*f22+40128*f0*f23+41926*f0*f24+52656*f0*f25+52816*f1^2+53149*f1*f2+77*f1*f3+65327*f1*f4+38289*f1*f5+28678*f1*f6+20202*f1*f7+13274*f1*f8+30606*f1*f9+21309*f1*f10+46729*f1*f11+49896*f1*f13+1553*f1*f14+6923*f1*f15+59162*f1*f16+56881*f1*f17+49440*f1*f18+43001*f1*f19+16366*f1*f20+28607*f1*f21+7688*f1*f22+5991*f1*f23+20455*f1*f24+43365*f1*f25+35852*f2^2+51263*f2*f3+22308*f2*f4+58667*f2*f5+21606*f2*f6+29655*f2*f7+42078*f2*f8+19435*f2*f9+44211*f2*f10+58135*f2*f11+64798*f2*f13+5150*f2*f14+52322*f2*f15+48315*f2*f16+35013*f2*f17+7131*f2*f18+43030*f2*f19, 22185*f12+676*f0+53929*f1+35458*f2+25526*f3+59060*f4+63930*f5+39429*f6+29845*f7+14371*f8+29830*f9+34849*f10+4874*f11+19456*f13+6616*f14+24557*f15+56438*f16+63018*f17+10200*f18+50835*f19+19306*f20+44380*f21+41759*f22+63725*f23+39338*f24+58663*f25+15087*f23^2+26701*f23*f24+63561*f23*f25+3266*f24^2+5427*f24*f25+53607*f25^2+48985*f19^2+28423*f19*f20+10935*f19*f21+7772*f19*f22+7707*f19*f23+27099*f19*f24+21622*f19*f25+38188*f20^2+29847*f20*f21+57740*f20*f22+39587*f20*f23+11034*f20*f24+34786*f20*f25+23140*f21^2+5870*f21*f22+65154*f21*f23+26790*f21*f24+39531*f21*f25+38187*f22^2+44762*f22*f23+11581*f22*f24+18138*f22*f25+56486*f15^2+30027*f15*f16+50575*f15*f17+54755*f15*f18+32485*f15*f19+40493*f15*f20+57734*f15*f21+13184*f15*f22+48043*f15*f23+28805*f15*f24+19649*f15*f25+9950*f16^2+63445*f16*f17+188*f16*f18+49885*f16*f19+21117*f16*f20+28825*f16*f21+8144*f16*f22+62199*f16*f23+23439*f16*f24+27007*f16*f25+40514*f17^2+45180*f17*f18+3554*f17*f19+63160*f17*f20+15431*f17*f21+31957*f17*f22+14399*f17*f23+30098*f17*f24+63665*f17*f25+58173*f18^2+33133*f18*f19+61190*f18*f20+48343*f18*f21+45079*f18*f22+53360*f18*f23+59513*f18*f24+49656*f18*f25+62489*f10*f16+28329*f10*f17+16750*f10*f18+49755*f10*f19+50332*f10*f20+16351*f10*f21+10441*f10*f22+33023*f10*f23+53679*f10*f24+52332*f10*f25+37274*f11^2+39314*f11*f13+20104*f11*f14+33423*f11*f15+43308*f11*f16+40089*f11*f17+34243*f11*f18+4257*f11*f19+18576*f11*f20+46598*f11*f21+50280*f11*f22+52220*f11*f23+37932*f11*f24+45157*f11*f25+21119*f13^2+9783*f13*f14+3720*f13*f15+48099*f13*f16+32991*f13*f17+41703*f13*f18+12530*f13*f19+36807*f13*f20+43084*f13*f21+5408*f13*f22+24955*f13*f23+18654*f13*f24+8537*f13*f25+3428*f14^2+19585*f14*f15+44779*f14*f16+33930*f14*f17+58661*f14*f18+10134*f14*f19+56134*f14*f20+36958*f14*f21+16495*f14*f22+19451*f14*f23+21592*f14*f24+1529*f14*f25+15804*f6*f18+40608*f6*f19+52113*f6*f20+44867*f6*f21+11283*f6*f22+27434*f6*f23+24259*f6*f24+2170*f6*f25+31551*f7^2+4058*f7*f8+19525*f7*f9+41623*f7*f10+15820*f7*f11+34436*f7*f13+13973*f7*f14+37039*f7*f15+22005*f7*f16+49331*f7*f17+16868*f7*f18+63640*f7*f19+57313*f7*f20+28170*f7*f21+44828*f7*f22+54637*f7*f23+9143*f7*f24+21188*f7*f25+3449*f8^2+31575*f8*f9+10431*f8*f10+4610*f8*f11+48138*f8*f13+15130*f8*f14+25082*f8*f15+37599*f8*f16+832*f8*f17+27446*f8*f18+46791*f8*f19+61224*f8*f20+7132*f8*f21+23500*f8*f22+9916*f8*f23+22420*f8*f24+40053*f8*f25+53720*f9^2+44489*f9*f10+642*f9*f11+40445*f9*f13+12056*f9*f14+21060*f9*f15+32411*f9*f16+58900*f9*f17+38473*f9*f18+45573*f9*f19+2301*f9*f20+7190*f9*f21+36957*f9*f22+42996*f9*f23+8381*f9*f24+30365*f9*f25+21066*f10^2+47188*f10*f11+21672*f10*f13+50691*f10*f14+34224*f10*f15+43001*f2*f20+16366*f2*f21+28607*f2*f22+7688*f2*f23+5991*f2*f24+20455*f2*f25+35852*f3^2+51263*f3*f4+22308*f3*f5+58667*f3*f6+21606*f3*f7+29655*f3*f8+42078*f3*f9+19435*f3*f10+44211*f3*f11+34873*f3*f13+64798*f3*f14+5150*f3*f15+52322*f3*f16+48315*f3*f17+35013*f3*f18+7131*f3*f19+43030*f3*f20+37101*f3*f21+23691*f3*f22+40008*f3*f23+64926*f3*f24+29608*f3*f25+7644*f4^2+50829*f4*f5+55279*f4*f6+65037*f4*f7+49973*f4*f8+62304*f4*f9+7055*f4*f10+49374*f4*f11+59166*f4*f13+12953*f4*f14+58170*f4*f15+22415*f4*f16+41913*f4*f17+23852*f4*f18+23676*f4*f19+31836*f4*f20+26953*f4*f21+21158*f4*f22+13478*f4*f23+51803*f4*f24+34684*f4*f25+41483*f5^2+9637*f5*f6+38660*f5*f7+5136*f5*f8+20869*f5*f9+37535*f5*f10+19409*f5*f11+8353*f5*f13+45650*f5*f14+26179*f5*f15+7345*f5*f16+36505*f5*f17+42016*f5*f18+14379*f5*f19+27006*f5*f20+46116*f5*f21+64971*f5*f22+14545*f5*f23+37115*f5*f24+3663*f5*f25+29274*f6^2+2690*f6*f7+17102*f6*f8+64719*f6*f9+40660*f6*f10+7706*f6*f11+21512*f6*f13+46326*f6*f14+42751*f6*f15+8358*f6*f16+33199*f6*f17+45994*f12^2+51023*f12*f0+2810*f12*f1+46729*f12*f2+58135*f12*f3+45326*f12*f4+38968*f12*f5+54030*f12*f6+43240*f12*f7+56419*f12*f8+32900*f12*f9+20051*f12*f10+40080*f12*f11+23545*f12*f13+17840*f12*f14+45381*f12*f15+6961*f12*f16+65506*f12*f17+20453*f12*f18+54046*f12*f19+51187*f12*f20+37987*f12*f21+43992*f12*f22+50537*f12*f23+13141*f12*f24+55585*f12*f25+63850*f0^2+52656*f0*f1+43365*f0*f2+47106*f0*f3+44542*f0*f4+11161*f0*f5+39435*f0*f6+55025*f0*f7+35376*f0*f8+34745*f0*f9+6249*f0*f10+37548*f0*f11+30591*f0*f13+33976*f0*f14+47438*f0*f15+37732*f0*f16+23036*f0*f17+30990*f0*f18+62912*f0*f19+24354*f0*f20+50045*f0*f21+44587*f0*f22+61606*f0*f23+47445*f0*f24+31966*f0*f25+56414*f1^2+33715*f1*f2+56409*f1*f3+10818*f1*f4+62942*f1*f5+27056*f1*f6+40801*f1*f7+62542*f1*f8+60956*f1*f9+235*f1*f10+24909*f1*f11+44181*f1*f13+64838*f1*f14+48002*f1*f15+61299*f1*f16+43467*f1*f17+54010*f1*f18+33108*f1*f19+49168*f1*f20+35864*f1*f21+63161*f1*f22+32629*f1*f23+40128*f1*f24+41926*f1*f25+52816*f2^2+53149*f2*f3+77*f2*f4+65327*f2*f5+38289*f2*f6+28678*f2*f7+20202*f2*f8+13274*f2*f9+30606*f2*f10+21309*f2*f11+478*f2*f13+49896*f2*f14+1553*f2*f15+6923*f2*f16+59162*f2*f17+56881*f2*f18+49440*f2*f19, 4874*f12+58663*f0+676*f1+53929*f2+35458*f3+25526*f4+59060*f5+63930*f6+39429*f7+29845*f8+14371*f9+29830*f10+34849*f11+22185*f13+19456*f14+6616*f15+24557*f16+56438*f17+63018*f18+10200*f19+50835*f20+19306*f21+44380*f22+41759*f23+63725*f24+39338*f25+38187*f23^2+44762*f23*f24+11581*f23*f25+15087*f24^2+26701*f24*f25+3266*f25^2+58173*f19^2+33133*f19*f20+61190*f19*f21+48343*f19*f22+45079*f19*f23+53360*f19*f24+59513*f19*f25+48985*f20^2+28423*f20*f21+10935*f20*f22+7772*f20*f23+7707*f20*f24+27099*f20*f25+38188*f21^2+29847*f21*f22+57740*f21*f23+39587*f21*f24+11034*f21*f25+23140*f22^2+5870*f22*f23+65154*f22*f24+26790*f22*f25+3428*f15^2+19585*f15*f16+44779*f15*f17+33930*f15*f18+58661*f15*f19+10134*f15*f20+56134*f15*f21+36958*f15*f22+16495*f15*f23+19451*f15*f24+21592*f15*f25+56486*f16^2+30027*f16*f17+50575*f16*f18+54755*f16*f19+32485*f16*f20+40493*f16*f21+57734*f16*f22+13184*f16*f23+48043*f16*f24+28805*f16*f25+9950*f17^2+63445*f17*f18+188*f17*f19+49885*f17*f20+21117*f17*f21+28825*f17*f22+8144*f17*f23+62199*f17*f24+23439*f17*f25+40514*f18^2+45180*f18*f19+3554*f18*f20+63160*f18*f21+15431*f18*f22+31957*f18*f23+14399*f18*f24+30098*f18*f25+21060*f10*f16+32411*f10*f17+58900*f10*f18+38473*f10*f19+45573*f10*f20+2301*f10*f21+7190*f10*f22+36957*f10*f23+42996*f10*f24+8381*f10*f25+21066*f11^2+20051*f11*f13+21672*f11*f14+50691*f11*f15+34224*f11*f16+62489*f11*f17+28329*f11*f18+16750*f11*f19+49755*f11*f20+50332*f11*f21+16351*f11*f22+10441*f11*f23+33023*f11*f24+53679*f11*f25+45994*f13^2+23545*f13*f14+17840*f13*f15+45381*f13*f16+6961*f13*f17+65506*f13*f18+20453*f13*f19+54046*f13*f20+51187*f13*f21+37987*f13*f22+43992*f13*f23+50537*f13*f24+13141*f13*f25+21119*f14^2+9783*f14*f15+3720*f14*f16+48099*f14*f17+32991*f14*f18+41703*f14*f19+12530*f14*f20+36807*f14*f21+43084*f14*f22+5408*f14*f23+24955*f14*f24+18654*f14*f25+36505*f6*f18+42016*f6*f19+14379*f6*f20+27006*f6*f21+46116*f6*f22+64971*f6*f23+14545*f6*f24+37115*f6*f25+29274*f7^2+2690*f7*f8+17102*f7*f9+64719*f7*f10+40660*f7*f11+54030*f7*f13+21512*f7*f14+46326*f7*f15+42751*f7*f16+8358*f7*f17+33199*f7*f18+15804*f7*f19+40608*f7*f20+52113*f7*f21+44867*f7*f22+11283*f7*f23+27434*f7*f24+24259*f7*f25+31551*f8^2+4058*f8*f9+19525*f8*f10+41623*f8*f11+43240*f8*f13+34436*f8*f14+13973*f8*f15+37039*f8*f16+22005*f8*f17+49331*f8*f18+16868*f8*f19+63640*f8*f20+57313*f8*f21+28170*f8*f22+44828*f8*f23+54637*f8*f24+9143*f8*f25+3449*f9^2+31575*f9*f10+10431*f9*f11+56419*f9*f13+48138*f9*f14+15130*f9*f15+25082*f9*f16+37599*f9*f17+832*f9*f18+27446*f9*f19+46791*f9*f20+61224*f9*f21+7132*f9*f22+23500*f9*f23+9916*f9*f24+22420*f9*f25+53720*f10^2+44489*f10*f11+32900*f10*f13+40445*f10*f14+12056*f10*f15+33108*f2*f20+49168*f2*f21+35864*f2*f22+63161*f2*f23+32629*f2*f24+40128*f2*f25+52816*f3^2+53149*f3*f4+77*f3*f5+65327*f3*f6+38289*f3*f7+28678*f3*f8+20202*f3*f9+13274*f3*f10+30606*f3*f11+46729*f3*f13+478*f3*f14+49896*f3*f15+1553*f3*f16+6923*f3*f17+59162*f3*f18+56881*f3*f19+49440*f3*f20+43001*f3*f21+16366*f3*f22+28607*f3*f23+7688*f3*f24+5991*f3*f25+35852*f4^2+51263*f4*f5+22308*f4*f6+58667*f4*f7+21606*f4*f8+29655*f4*f9+42078*f4*f10+19435*f4*f11+58135*f4*f13+34873*f4*f14+64798*f4*f15+5150*f4*f16+52322*f4*f17+48315*f4*f18+35013*f4*f19+7131*f4*f20+43030*f4*f21+37101*f4*f22+23691*f4*f23+40008*f4*f24+64926*f4*f25+7644*f5^2+50829*f5*f6+55279*f5*f7+65037*f5*f8+49973*f5*f9+62304*f5*f10+7055*f5*f11+45326*f5*f13+59166*f5*f14+12953*f5*f15+58170*f5*f16+22415*f5*f17+41913*f5*f18+23852*f5*f19+23676*f5*f20+31836*f5*f21+26953*f5*f22+21158*f5*f23+13478*f5*f24+51803*f5*f25+41483*f6^2+9637*f6*f7+38660*f6*f8+5136*f6*f9+20869*f6*f10+37535*f6*f11+38968*f6*f13+8353*f6*f14+45650*f6*f15+26179*f6*f16+7345*f6*f17+37274*f12^2+45157*f12*f0+37548*f12*f1+24909*f12*f2+21309*f12*f3+44211*f12*f4+49374*f12*f5+19409*f12*f6+7706*f12*f7+15820*f12*f8+4610*f12*f9+642*f12*f10+47188*f12*f11+40080*f12*f13+39314*f12*f14+20104*f12*f15+33423*f12*f16+43308*f12*f17+40089*f12*f18+34243*f12*f19+4257*f12*f20+18576*f12*f21+46598*f12*f22+50280*f12*f23+52220*f12*f24+37932*f12*f25+53607*f0^2+31966*f0*f1+41926*f0*f2+20455*f0*f3+29608*f0*f4+34684*f0*f5+3663*f0*f6+2170*f0*f7+21188*f0*f8+40053*f0*f9+30365*f0*f10+52332*f0*f11+55585*f0*f13+8537*f0*f14+1529*f0*f15+19649*f0*f16+27007*f0*f17+63665*f0*f18+49656*f0*f19+21622*f0*f20+34786*f0*f21+39531*f0*f22+18138*f0*f23+63561*f0*f24+5427*f0*f25+63850*f1^2+52656*f1*f2+43365*f1*f3+47106*f1*f4+44542*f1*f5+11161*f1*f6+39435*f1*f7+55025*f1*f8+35376*f1*f9+34745*f1*f10+6249*f1*f11+51023*f1*f13+30591*f1*f14+33976*f1*f15+47438*f1*f16+37732*f1*f17+23036*f1*f18+30990*f1*f19+62912*f1*f20+24354*f1*f21+50045*f1*f22+44587*f1*f23+61606*f1*f24+47445*f1*f25+56414*f2^2+33715*f2*f3+56409*f2*f4+10818*f2*f5+62942*f2*f6+27056*f2*f7+40801*f2*f8+62542*f2*f9+60956*f2*f10+235*f2*f11+2810*f2*f13+44181*f2*f14+64838*f2*f15+48002*f2*f16+61299*f2*f17+43467*f2*f18+54010*f2*f19, 34849*f12+39338*f0+58663*f1+676*f2+53929*f3+35458*f4+25526*f5+59060*f6+63930*f7+39429*f8+29845*f9+14371*f10+29830*f11+4874*f13+22185*f14+19456*f15+6616*f16+24557*f17+56438*f18+63018*f19+10200*f20+50835*f21+19306*f22+44380*f23+41759*f24+63725*f25+23140*f23^2+5870*f23*f24+65154*f23*f25+38187*f24^2+44762*f24*f25+15087*f25^2+40514*f19^2+45180*f19*f20+3554*f19*f21+63160*f19*f22+15431*f19*f23+31957*f19*f24+14399*f19*f25+58173*f20^2+33133*f20*f21+61190*f20*f22+48343*f20*f23+45079*f20*f24+53360*f20*f25+48985*f21^2+28423*f21*f22+10935*f21*f23+7772*f21*f24+7707*f21*f25+38188*f22^2+29847*f22*f23+57740*f22*f24+39587*f22*f25+21119*f15^2+9783*f15*f16+3720*f15*f17+48099*f15*f18+32991*f15*f19+41703*f15*f20+12530*f15*f21+36807*f15*f22+43084*f15*f23+5408*f15*f24+24955*f15*f25+3428*f16^2+19585*f16*f17+44779*f16*f18+33930*f16*f19+58661*f16*f20+10134*f16*f21+56134*f16*f22+36958*f16*f23+16495*f16*f24+19451*f16*f25+56486*f17^2+30027*f17*f18+50575*f17*f19+54755*f17*f20+32485*f17*f21+40493*f17*f22+57734*f17*f23+13184*f17*f24+48043*f17*f25+9950*f18^2+63445*f18*f19+188*f18*f20+49885*f18*f21+21117*f18*f22+28825*f18*f23+8144*f18*f24+62199*f18*f25+15130*f10*f16+25082*f10*f17+37599*f10*f18+832*f10*f19+27446*f10*f20+46791*f10*f21+61224*f10*f22+7132*f10*f23+23500*f10*f24+9916*f10*f25+53720*f11^2+642*f11*f13+32900*f11*f14+40445*f11*f15+12056*f11*f16+21060*f11*f17+32411*f11*f18+58900*f11*f19+38473*f11*f20+45573*f11*f21+2301*f11*f22+7190*f11*f23+36957*f11*f24+42996*f11*f25+37274*f13^2+40080*f13*f14+39314*f13*f15+20104*f13*f16+33423*f13*f17+43308*f13*f18+40089*f13*f19+34243*f13*f20+4257*f13*f21+18576*f13*f22+46598*f13*f23+50280*f13*f24+52220*f13*f25+45994*f14^2+23545*f14*f15+17840*f14*f16+45381*f14*f17+6961*f14*f18+65506*f14*f19+20453*f14*f20+54046*f14*f21+51187*f14*f22+37987*f14*f23+43992*f14*f24+50537*f14*f25+22415*f6*f18+41913*f6*f19+23852*f6*f20+23676*f6*f21+31836*f6*f22+26953*f6*f23+21158*f6*f24+13478*f6*f25+41483*f7^2+9637*f7*f8+38660*f7*f9+5136*f7*f10+20869*f7*f11+19409*f7*f13+38968*f7*f14+8353*f7*f15+45650*f7*f16+26179*f7*f17+7345*f7*f18+36505*f7*f19+42016*f7*f20+14379*f7*f21+27006*f7*f22+46116*f7*f23+64971*f7*f24+14545*f7*f25+29274*f8^2+2690*f8*f9+17102*f8*f10+64719*f8*f11+7706*f8*f13+54030*f8*f14+21512*f8*f15+46326*f8*f16+42751*f8*f17+8358*f8*f18+33199*f8*f19+15804*f8*f20+40608*f8*f21+52113*f8*f22+44867*f8*f23+11283*f8*f24+27434*f8*f25+31551*f9^2+4058*f9*f10+19525*f9*f11+15820*f9*f13+43240*f9*f14+34436*f9*f15+13973*f9*f16+37039*f9*f17+22005*f9*f18+49331*f9*f19+16868*f9*f20+63640*f9*f21+57313*f9*f22+28170*f9*f23+44828*f9*f24+54637*f9*f25+3449*f10^2+31575*f10*f11+4610*f10*f13+56419*f10*f14+48138*f10*f15+30990*f2*f20+62912*f2*f21+24354*f2*f22+50045*f2*f23+44587*f2*f24+61606*f2*f25+56414*f3^2+33715*f3*f4+56409*f3*f5+10818*f3*f6+62942*f3*f7+27056*f3*f8+40801*f3*f9+62542*f3*f10+60956*f3*f11+24909*f3*f13+2810*f3*f14+44181*f3*f15+64838*f3*f16+48002*f3*f17+61299*f3*f18+43467*f3*f19+54010*f3*f20+33108*f3*f21+49168*f3*f22+35864*f3*f23+63161*f3*f24+32629*f3*f25+52816*f4^2+53149*f4*f5+77*f4*f6+65327*f4*f7+38289*f4*f8+28678*f4*f9+20202*f4*f10+13274*f4*f11+21309*f4*f13+46729*f4*f14+478*f4*f15+49896*f4*f16+1553*f4*f17+6923*f4*f18+59162*f4*f19+56881*f4*f20+49440*f4*f21+43001*f4*f22+16366*f4*f23+28607*f4*f24+7688*f4*f25+35852*f5^2+51263*f5*f6+22308*f5*f7+58667*f5*f8+21606*f5*f9+29655*f5*f10+42078*f5*f11+44211*f5*f13+58135*f5*f14+34873*f5*f15+64798*f5*f16+5150*f5*f17+52322*f5*f18+48315*f5*f19+35013*f5*f20+7131*f5*f21+43030*f5*f22+37101*f5*f23+23691*f5*f24+40008*f5*f25+7644*f6^2+50829*f6*f7+55279*f6*f8+65037*f6*f9+49973*f6*f10+62304*f6*f11+49374*f6*f13+45326*f6*f14+59166*f6*f15+12953*f6*f16+58170*f6*f17+21066*f12^2+53679*f12*f0+52332*f12*f1+6249*f12*f2+235*f12*f3+30606*f12*f4+19435*f12*f5+7055*f12*f6+37535*f12*f7+40660*f12*f8+41623*f12*f9+10431*f12*f10+44489*f12*f11+47188*f12*f13+20051*f12*f14+21672*f12*f15+50691*f12*f16+34224*f12*f17+62489*f12*f18+28329*f12*f19+16750*f12*f20+49755*f12*f21+50332*f12*f22+16351*f12*f23+10441*f12*f24+33023*f12*f25+3266*f0^2+5427*f0*f1+47445*f0*f2+40128*f0*f3+5991*f0*f4+64926*f0*f5+51803*f0*f6+37115*f0*f7+24259*f0*f8+9143*f0*f9+22420*f0*f10+8381*f0*f11+37932*f0*f13+13141*f0*f14+18654*f0*f15+21592*f0*f16+28805*f0*f17+23439*f0*f18+30098*f0*f19+59513*f0*f20+27099*f0*f21+11034*f0*f22+26790*f0*f23+11581*f0*f24+26701*f0*f25+53607*f1^2+31966*f1*f2+41926*f1*f3+20455*f1*f4+29608*f1*f5+34684*f1*f6+3663*f1*f7+2170*f1*f8+21188*f1*f9+40053*f1*f10+30365*f1*f11+45157*f1*f13+55585*f1*f14+8537*f1*f15+1529*f1*f16+19649*f1*f17+27007*f1*f18+63665*f1*f19+49656*f1*f20+21622*f1*f21+34786*f1*f22+39531*f1*f23+18138*f1*f24+63561*f1*f25+63850*f2^2+52656*f2*f3+43365*f2*f4+47106*f2*f5+44542*f2*f6+11161*f2*f7+39435*f2*f8+55025*f2*f9+35376*f2*f10+34745*f2*f11+37548*f2*f13+51023*f2*f14+30591*f2*f15+33976*f2*f16+47438*f2*f17+37732*f2*f18+23036*f2*f19, 29830*f12+63725*f0+39338*f1+58663*f2+676*f3+53929*f4+35458*f5+25526*f6+59060*f7+63930*f8+39429*f9+29845*f10+14371*f11+34849*f13+4874*f14+22185*f15+19456*f16+6616*f17+24557*f18+56438*f19+63018*f20+10200*f21+50835*f22+19306*f23+44380*f24+41759*f25+38188*f23^2+29847*f23*f24+57740*f23*f25+23140*f24^2+5870*f24*f25+38187*f25^2+9950*f19^2+63445*f19*f20+188*f19*f21+49885*f19*f22+21117*f19*f23+28825*f19*f24+8144*f19*f25+40514*f20^2+45180*f20*f21+3554*f20*f22+63160*f20*f23+15431*f20*f24+31957*f20*f25+58173*f21^2+33133*f21*f22+61190*f21*f23+48343*f21*f24+45079*f21*f25+48985*f22^2+28423*f22*f23+10935*f22*f24+7772*f22*f25+45994*f15^2+23545*f15*f16+17840*f15*f17+45381*f15*f18+6961*f15*f19+65506*f15*f20+20453*f15*f21+54046*f15*f22+51187*f15*f23+37987*f15*f24+43992*f15*f25+21119*f16^2+9783*f16*f17+3720*f16*f18+48099*f16*f19+32991*f16*f20+41703*f16*f21+12530*f16*f22+36807*f16*f23+43084*f16*f24+5408*f16*f25+3428*f17^2+19585*f17*f18+44779*f17*f19+33930*f17*f20+58661*f17*f21+10134*f17*f22+56134*f17*f23+36958*f17*f24+16495*f17*f25+56486*f18^2+30027*f18*f19+50575*f18*f20+54755*f18*f21+32485*f18*f22+40493*f18*f23+57734*f18*f24+13184*f18*f25+34436*f10*f16+13973*f10*f17+37039*f10*f18+22005*f10*f19+49331*f10*f20+16868*f10*f21+63640*f10*f22+57313*f10*f23+28170*f10*f24+44828*f10*f25+3449*f11^2+10431*f11*f13+4610*f11*f14+56419*f11*f15+48138*f11*f16+15130*f11*f17+25082*f11*f18+37599*f11*f19+832*f11*f20+27446*f11*f21+46791*f11*f22+61224*f11*f23+7132*f11*f24+23500*f11*f25+21066*f13^2+47188*f13*f14+20051*f13*f15+21672*f13*f16+50691*f13*f17+34224*f13*f18+62489*f13*f19+28329*f13*f20+16750*f13*f21+49755*f13*f22+50332*f13*f23+16351*f13*f24+10441*f13*f25+37274*f14^2+40080*f14*f15+39314*f14*f16+20104*f14*f17+33423*f14*f18+43308*f14*f19+40089*f14*f20+34243*f14*f21+4257*f14*f22+18576*f14*f23+46598*f14*f24+50280*f14*f25+5150*f6*f18+52322*f6*f19+48315*f6*f20+35013*f6*f21+7131*f6*f22+43030*f6*f23+37101*f6*f24+23691*f6*f25+7644*f7^2+50829*f7*f8+55279*f7*f9+65037*f7*f10+49973*f7*f11+7055*f7*f13+49374*f7*f14+45326*f7*f15+59166*f7*f16+12953*f7*f17+58170*f7*f18+22415*f7*f19+41913*f7*f20+23852*f7*f21+23676*f7*f22+31836*f7*f23+26953*f7*f24+21158*f7*f25+41483*f8^2+9637*f8*f9+38660*f8*f10+5136*f8*f11+37535*f8*f13+19409*f8*f14+38968*f8*f15+8353*f8*f16+45650*f8*f17+26179*f8*f18+7345*f8*f19+36505*f8*f20+42016*f8*f21+14379*f8*f22+27006*f8*f23+46116*f8*f24+64971*f8*f25+29274*f9^2+2690*f9*f10+17102*f9*f11+40660*f9*f13+7706*f9*f14+54030*f9*f15+21512*f9*f16+46326*f9*f17+42751*f9*f18+8358*f9*f19+33199*f9*f20+15804*f9*f21+40608*f9*f22+52113*f9*f23+44867*f9*f24+11283*f9*f25+31551*f10^2+4058*f10*f11+41623*f10*f13+15820*f10*f14+43240*f10*f15+63665*f2*f20+49656*f2*f21+21622*f2*f22+34786*f2*f23+39531*f2*f24+18138*f2*f25+63850*f3^2+52656*f3*f4+43365*f3*f5+47106*f3*f6+44542*f3*f7+11161*f3*f8+39435*f3*f9+55025*f3*f10+35376*f3*f11+6249*f3*f13+37548*f3*f14+51023*f3*f15+30591*f3*f16+33976*f3*f17+47438*f3*f18+37732*f3*f19+23036*f3*f20+30990*f3*f21+62912*f3*f22+24354*f3*f23+50045*f3*f24+44587*f3*f25+56414*f4^2+33715*f4*f5+56409*f4*f6+10818*f4*f7+62942*f4*f8+27056*f4*f9+40801*f4*f10+62542*f4*f11+235*f4*f13+24909*f4*f14+2810*f4*f15+44181*f4*f16+64838*f4*f17+48002*f4*f18+61299*f4*f19+43467*f4*f20+54010*f4*f21+33108*f4*f22+49168*f4*f23+35864*f4*f24+63161*f4*f25+52816*f5^2+53149*f5*f6+77*f5*f7+65327*f5*f8+38289*f5*f9+28678*f5*f10+20202*f5*f11+30606*f5*f13+21309*f5*f14+46729*f5*f15+478*f5*f16+49896*f5*f17+1553*f5*f18+6923*f5*f19+59162*f5*f20+56881*f5*f21+49440*f5*f22+43001*f5*f23+16366*f5*f24+28607*f5*f25+35852*f6^2+51263*f6*f7+22308*f6*f8+58667*f6*f9+21606*f6*f10+29655*f6*f11+19435*f6*f13+44211*f6*f14+58135*f6*f15+34873*f6*f16+64798*f6*f17+53720*f12^2+42996*f12*f0+8381*f12*f1+30365*f12*f2+34745*f12*f3+60956*f12*f4+13274*f12*f5+42078*f12*f6+62304*f12*f7+20869*f12*f8+64719*f12*f9+19525*f12*f10+31575*f12*f11+44489*f12*f13+642*f12*f14+32900*f12*f15+40445*f12*f16+12056*f12*f17+21060*f12*f18+32411*f12*f19+58900*f12*f20+38473*f12*f21+45573*f12*f22+2301*f12*f23+7190*f12*f24+36957*f12*f25+15087*f0^2+26701*f0*f1+63561*f0*f2+61606*f0*f3+32629*f0*f4+7688*f0*f5+40008*f0*f6+13478*f0*f7+14545*f0*f8+27434*f0*f9+54637*f0*f10+9916*f0*f11+33023*f0*f13+52220*f0*f14+50537*f0*f15+24955*f0*f16+19451*f0*f17+48043*f0*f18+62199*f0*f19+14399*f0*f20+53360*f0*f21+7707*f0*f22+39587*f0*f23+65154*f0*f24+44762*f0*f25+3266*f1^2+5427*f1*f2+47445*f1*f3+40128*f1*f4+5991*f1*f5+64926*f1*f6+51803*f1*f7+37115*f1*f8+24259*f1*f9+9143*f1*f10+22420*f1*f11+53679*f1*f13+37932*f1*f14+13141*f1*f15+18654*f1*f16+21592*f1*f17+28805*f1*f18+23439*f1*f19+30098*f1*f20+59513*f1*f21+27099*f1*f22+11034*f1*f23+26790*f1*f24+11581*f1*f25+53607*f2^2+31966*f2*f3+41926*f2*f4+20455*f2*f5+29608*f2*f6+34684*f2*f7+3663*f2*f8+2170*f2*f9+21188*f2*f10+40053*f2*f11+52332*f2*f13+45157*f2*f14+55585*f2*f15+8537*f2*f16+1529*f2*f17+19649*f2*f18+27007*f2*f19, 14371*f12+41759*f0+63725*f1+39338*f2+58663*f3+676*f4+53929*f5+35458*f6+25526*f7+59060*f8+63930*f9+39429*f10+29845*f11+29830*f13+34849*f14+4874*f15+22185*f16+19456*f17+6616*f18+24557*f19+56438*f20+63018*f21+10200*f22+50835*f23+19306*f24+44380*f25+48985*f23^2+28423*f23*f24+10935*f23*f25+38188*f24^2+29847*f24*f25+23140*f25^2+56486*f19^2+30027*f19*f20+50575*f19*f21+54755*f19*f22+32485*f19*f23+40493*f19*f24+57734*f19*f25+9950*f20^2+63445*f20*f21+188*f20*f22+49885*f20*f23+21117*f20*f24+28825*f20*f25+40514*f21^2+45180*f21*f22+3554*f21*f23+63160*f21*f24+15431*f21*f25+58173*f22^2+33133*f22*f23+61190*f22*f24+48343*f22*f25+37274*f15^2+40080*f15*f16+39314*f15*f17+20104*f15*f18+33423*f15*f19+43308*f15*f20+40089*f15*f21+34243*f15*f22+4257*f15*f23+18576*f15*f24+46598*f15*f25+45994*f16^2+23545*f16*f17+17840*f16*f18+45381*f16*f19+6961*f16*f20+65506*f16*f21+20453*f16*f22+54046*f16*f23+51187*f16*f24+37987*f16*f25+21119*f17^2+9783*f17*f18+3720*f17*f19+48099*f17*f20+32991*f17*f21+41703*f17*f22+12530*f17*f23+36807*f17*f24+43084*f17*f25+3428*f18^2+19585*f18*f19+44779*f18*f20+33930*f18*f21+58661*f18*f22+10134*f18*f23+56134*f18*f24+36958*f18*f25+54030*f10*f16+21512*f10*f17+46326*f10*f18+42751*f10*f19+8358*f10*f20+33199*f10*f21+15804*f10*f22+40608*f10*f23+52113*f10*f24+44867*f10*f25+31551*f11^2+19525*f11*f13+41623*f11*f14+15820*f11*f15+43240*f11*f16+34436*f11*f17+13973*f11*f18+37039*f11*f19+22005*f11*f20+49331*f11*f21+16868*f11*f22+63640*f11*f23+57313*f11*f24+28170*f11*f25+53720*f13^2+44489*f13*f14+642*f13*f15+32900*f13*f16+40445*f13*f17+12056*f13*f18+21060*f13*f19+32411*f13*f20+58900*f13*f21+38473*f13*f22+45573*f13*f23+2301*f13*f24+7190*f13*f25+21066*f14^2+47188*f14*f15+20051*f14*f16+21672*f14*f17+50691*f14*f18+34224*f14*f19+62489*f14*f20+28329*f14*f21+16750*f14*f22+49755*f14*f23+50332*f14*f24+16351*f14*f25+49896*f6*f18+1553*f6*f19+6923*f6*f20+59162*f6*f21+56881*f6*f22+49440*f6*f23+43001*f6*f24+16366*f6*f25+35852*f7^2+51263*f7*f8+22308*f7*f9+58667*f7*f10+21606*f7*f11+42078*f7*f13+19435*f7*f14+44211*f7*f15+58135*f7*f16+34873*f7*f17+64798*f7*f18+5150*f7*f19+52322*f7*f20+48315*f7*f21+35013*f7*f22+7131*f7*f23+43030*f7*f24+37101*f7*f25+7644*f8^2+50829*f8*f9+55279*f8*f10+65037*f8*f11+62304*f8*f13+7055*f8*f14+49374*f8*f15+45326*f8*f16+59166*f8*f17+12953*f8*f18+58170*f8*f19+22415*f8*f20+41913*f8*f21+23852*f8*f22+23676*f8*f23+31836*f8*f24+26953*f8*f25+41483*f9^2+9637*f9*f10+38660*f9*f11+20869*f9*f13+37535*f9*f14+19409*f9*f15+38968*f9*f16+8353*f9*f17+45650*f9*f18+26179*f9*f19+7345*f9*f20+36505*f9*f21+42016*f9*f22+14379*f9*f23+27006*f9*f24+46116*f9*f25+29274*f10^2+2690*f10*f11+64719*f10*f13+40660*f10*f14+7706*f10*f15+23439*f2*f20+30098*f2*f21+59513*f2*f22+27099*f2*f23+11034*f2*f24+26790*f2*f25+53607*f3^2+31966*f3*f4+41926*f3*f5+20455*f3*f6+29608*f3*f7+34684*f3*f8+3663*f3*f9+2170*f3*f10+21188*f3*f11+30365*f3*f13+52332*f3*f14+45157*f3*f15+55585*f3*f16+8537*f3*f17+1529*f3*f18+19649*f3*f19+27007*f3*f20+63665*f3*f21+49656*f3*f22+21622*f3*f23+34786*f3*f24+39531*f3*f25+63850*f4^2+52656*f4*f5+43365*f4*f6+47106*f4*f7+44542*f4*f8+11161*f4*f9+39435*f4*f10+55025*f4*f11+34745*f4*f13+6249*f4*f14+37548*f4*f15+51023*f4*f16+30591*f4*f17+33976*f4*f18+47438*f4*f19+37732*f4*f20+23036*f4*f21+30990*f4*f22+62912*f4*f23+24354*f4*f24+50045*f4*f25+56414*f5^2+33715*f5*f6+56409*f5*f7+10818*f5*f8+62942*f5*f9+27056*f5*f10+40801*f5*f11+60956*f5*f13+235*f5*f14+24909*f5*f15+2810*f5*f16+44181*f5*f17+64838*f5*f18+48002*f5*f19+61299*f5*f20+43467*f5*f21+54010*f5*f22+33108*f5*f23+49168*f5*f24+35864*f5*f25+52816*f6^2+53149*f6*f7+77*f6*f8+65327*f6*f9+38289*f6*f10+28678*f6*f11+13274*f6*f13+30606*f6*f14+21309*f6*f15+46729*f6*f16+478*f6*f17+3449*f12^2+23500*f12*f0+9916*f12*f1+22420*f12*f2+40053*f12*f3+35376*f12*f4+62542*f12*f5+20202*f12*f6+29655*f12*f7+49973*f12*f8+5136*f12*f9+17102*f12*f10+4058*f12*f11+31575*f12*f13+10431*f12*f14+4610*f12*f15+56419*f12*f16+48138*f12*f17+15130*f12*f18+25082*f12*f19+37599*f12*f20+832*f12*f21+27446*f12*f22+46791*f12*f23+61224*f12*f24+7132*f12*f25+38187*f0^2+44762*f0*f1+11581*f0*f2+18138*f0*f3+44587*f0*f4+63161*f0*f5+28607*f0*f6+23691*f0*f7+21158*f0*f8+64971*f0*f9+11283*f0*f10+44828*f0*f11+36957*f0*f13+10441*f0*f14+50280*f0*f15+43992*f0*f16+5408*f0*f17+16495*f0*f18+13184*f0*f19+8144*f0*f20+31957*f0*f21+45079*f0*f22+7772*f0*f23+57740*f0*f24+5870*f0*f25+15087*f1^2+26701*f1*f2+63561*f1*f3+61606*f1*f4+32629*f1*f5+7688*f1*f6+40008*f1*f7+13478*f1*f8+14545*f1*f9+27434*f1*f10+54637*f1*f11+42996*f1*f13+33023*f1*f14+52220*f1*f15+50537*f1*f16+24955*f1*f17+19451*f1*f18+48043*f1*f19+62199*f1*f20+14399*f1*f21+53360*f1*f22+7707*f1*f23+39587*f1*f24+65154*f1*f25+3266*f2^2+5427*f2*f3+47445*f2*f4+40128*f2*f5+5991*f2*f6+64926*f2*f7+51803*f2*f8+37115*f2*f9+24259*f2*f10+9143*f2*f11+8381*f2*f13+53679*f2*f14+37932*f2*f15+13141*f2*f16+18654*f2*f17+21592*f2*f18+28805*f2*f19, 29845*f12+44380*f0+41759*f1+63725*f2+39338*f3+58663*f4+676*f5+53929*f6+35458*f7+25526*f8+59060*f9+63930*f10+39429*f11+14371*f13+29830*f14+34849*f15+4874*f16+22185*f17+19456*f18+6616*f19+24557*f20+56438*f21+63018*f22+10200*f23+50835*f24+19306*f25+58173*f23^2+33133*f23*f24+61190*f23*f25+48985*f24^2+28423*f24*f25+38188*f25^2+3428*f19^2+19585*f19*f20+44779*f19*f21+33930*f19*f22+58661*f19*f23+10134*f19*f24+56134*f19*f25+56486*f20^2+30027*f20*f21+50575*f20*f22+54755*f20*f23+32485*f20*f24+40493*f20*f25+9950*f21^2+63445*f21*f22+188*f21*f23+49885*f21*f24+21117*f21*f25+40514*f22^2+45180*f22*f23+3554*f22*f24+63160*f22*f25+21066*f15^2+47188*f15*f16+20051*f15*f17+21672*f15*f18+50691*f15*f19+34224*f15*f20+62489*f15*f21+28329*f15*f22+16750*f15*f23+49755*f15*f24+50332*f15*f25+37274*f16^2+40080*f16*f17+39314*f16*f18+20104*f16*f19+33423*f16*f20+43308*f16*f21+40089*f16*f22+34243*f16*f23+4257*f16*f24+18576*f16*f25+45994*f17^2+23545*f17*f18+17840*f17*f19+45381*f17*f20+6961*f17*f21+65506*f17*f22+20453*f17*f23+54046*f17*f24+51187*f17*f25+21119*f18^2+9783*f18*f19+3720*f18*f20+48099*f18*f21+32991*f18*f22+41703*f18*f23+12530*f18*f24+36807*f18*f25+19409*f10*f16+38968*f10*f17+8353*f10*f18+45650*f10*f19+26179*f10*f20+7345*f10*f21+36505*f10*f22+42016*f10*f23+14379*f10*f24+27006*f10*f25+29274*f11^2+17102*f11*f13+64719*f11*f14+40660*f11*f15+7706*f11*f16+54030*f11*f17+21512*f11*f18+46326*f11*f19+42751*f11*f20+8358*f11*f21+33199*f11*f22+15804*f11*f23+40608*f11*f24+52113*f11*f25+3449*f13^2+31575*f13*f14+10431*f13*f15+4610*f13*f16+56419*f13*f17+48138*f13*f18+15130*f13*f19+25082*f13*f20+37599*f13*f21+832*f13*f22+27446*f13*f23+46791*f13*f24+61224*f13*f25+53720*f14^2+44489*f14*f15+642*f14*f16+32900*f14*f17+40445*f14*f18+12056*f14*f19+21060*f14*f20+32411*f14*f21+58900*f14*f22+38473*f14*f23+45573*f14*f24+2301*f14*f25+44181*f6*f18+64838*f6*f19+48002*f6*f20+61299*f6*f21+43467*f6*f22+54010*f6*f23+33108*f6*f24+49168*f6*f25+52816*f7^2+53149*f7*f8+77*f7*f9+65327*f7*f10+38289*f7*f11+20202*f7*f13+13274*f7*f14+30606*f7*f15+21309*f7*f16+46729*f7*f17+478*f7*f18+49896*f7*f19+1553*f7*f20+6923*f7*f21+59162*f7*f22+56881*f7*f23+49440*f7*f24+43001*f7*f25+35852*f8^2+51263*f8*f9+22308*f8*f10+58667*f8*f11+29655*f8*f13+42078*f8*f14+19435*f8*f15+44211*f8*f16+58135*f8*f17+34873*f8*f18+64798*f8*f19+5150*f8*f20+52322*f8*f21+48315*f8*f22+35013*f8*f23+7131*f8*f24+43030*f8*f25+7644*f9^2+50829*f9*f10+55279*f9*f11+49973*f9*f13+62304*f9*f14+7055*f9*f15+49374*f9*f16+45326*f9*f17+59166*f9*f18+12953*f9*f19+58170*f9*f20+22415*f9*f21+41913*f9*f22+23852*f9*f23+23676*f9*f24+31836*f9*f25+41483*f10^2+9637*f10*f11+5136*f10*f13+20869*f10*f14+37535*f10*f15+48043*f2*f20+62199*f2*f21+14399*f2*f22+53360*f2*f23+7707*f2*f24+39587*f2*f25+3266*f3^2+5427*f3*f4+47445*f3*f5+40128*f3*f6+5991*f3*f7+64926*f3*f8+51803*f3*f9+37115*f3*f10+24259*f3*f11+22420*f3*f13+8381*f3*f14+53679*f3*f15+37932*f3*f16+13141*f3*f17+18654*f3*f18+21592*f3*f19+28805*f3*f20+23439*f3*f21+30098*f3*f22+59513*f3*f23+27099*f3*f24+11034*f3*f25+53607*f4^2+31966*f4*f5+41926*f4*f6+20455*f4*f7+29608*f4*f8+34684*f4*f9+3663*f4*f10+2170*f4*f11+40053*f4*f13+30365*f4*f14+52332*f4*f15+45157*f4*f16+55585*f4*f17+8537*f4*f18+1529*f4*f19+19649*f4*f20+27007*f4*f21+63665*f4*f22+49656*f4*f23+21622*f4*f24+34786*f4*f25+63850*f5^2+52656*f5*f6+43365*f5*f7+47106*f5*f8+44542*f5*f9+11161*f5*f10+39435*f5*f11+35376*f5*f13+34745*f5*f14+6249*f5*f15+37548*f5*f16+51023*f5*f17+30591*f5*f18+33976*f5*f19+47438*f5*f20+37732*f5*f21+23036*f5*f22+30990*f5*f23+62912*f5*f24+24354*f5*f25+56414*f6^2+33715*f6*f7+56409*f6*f8+10818*f6*f9+62942*f6*f10+27056*f6*f11+62542*f6*f13+60956*f6*f14+235*f6*f15+24909*f6*f16+2810*f6*f17+31551*f12^2+28170*f12*f0+44828*f12*f1+54637*f12*f2+9143*f12*f3+21188*f12*f4+55025*f12*f5+40801*f12*f6+28678*f12*f7+21606*f12*f8+65037*f12*f9+38660*f12*f10+2690*f12*f11+4058*f12*f13+19525*f12*f14+41623*f12*f15+15820*f12*f16+43240*f12*f17+34436*f12*f18+13973*f12*f19+37039*f12*f20+22005*f12*f21+49331*f12*f22+16868*f12*f23+63640*f12*f24+57313*f12*f25+23140*f0^2+5870*f0*f1+65154*f0*f2+26790*f0*f3+39531*f0*f4+50045*f0*f5+35864*f0*f6+16366*f0*f7+37101*f0*f8+26953*f0*f9+46116*f0*f10+44867*f0*f11+7132*f0*f13+7190*f0*f14+16351*f0*f15+46598*f0*f16+37987*f0*f17+43084*f0*f18+36958*f0*f19+57734*f0*f20+28825*f0*f21+15431*f0*f22+48343*f0*f23+10935*f0*f24+29847*f0*f25+38187*f1^2+44762*f1*f2+11581*f1*f3+18138*f1*f4+44587*f1*f5+63161*f1*f6+28607*f1*f7+23691*f1*f8+21158*f1*f9+64971*f1*f10+11283*f1*f11+23500*f1*f13+36957*f1*f14+10441*f1*f15+50280*f1*f16+43992*f1*f17+5408*f1*f18+16495*f1*f19+13184*f1*f20+8144*f1*f21+31957*f1*f22+45079*f1*f23+7772*f1*f24+57740*f1*f25+15087*f2^2+26701*f2*f3+63561*f2*f4+61606*f2*f5+32629*f2*f6+7688*f2*f7+40008*f2*f8+13478*f2*f9+14545*f2*f10+27434*f2*f11+9916*f2*f13+42996*f2*f14+33023*f2*f15+52220*f2*f16+50537*f2*f17+24955*f2*f18+19451*f2*f19, 39429*f12+19306*f0+44380*f1+41759*f2+63725*f3+39338*f4+58663*f5+676*f6+53929*f7+35458*f8+25526*f9+59060*f10+63930*f11+29845*f13+14371*f14+29830*f15+34849*f16+4874*f17+22185*f18+19456*f19+6616*f20+24557*f21+56438*f22+63018*f23+10200*f24+50835*f25+40514*f23^2+45180*f23*f24+3554*f23*f25+58173*f24^2+33133*f24*f25+48985*f25^2+21119*f19^2+9783*f19*f20+3720*f19*f21+48099*f19*f22+32991*f19*f23+41703*f19*f24+12530*f19*f25+3428*f20^2+19585*f20*f21+44779*f20*f22+33930*f20*f23+58661*f20*f24+10134*f20*f25+56486*f21^2+30027*f21*f22+50575*f21*f23+54755*f21*f24+32485*f21*f25+9950*f22^2+63445*f22*f23+188*f22*f24+49885*f22*f25+53720*f15^2+44489*f15*f16+642*f15*f17+32900*f15*f18+40445*f15*f19+12056*f15*f20+21060*f15*f21+32411*f15*f22+58900*f15*f23+38473*f15*f24+45573*f15*f25+21066*f16^2+47188*f16*f17+20051*f16*f18+21672*f16*f19+50691*f16*f20+34224*f16*f21+62489*f16*f22+28329*f16*f23+16750*f16*f24+49755*f16*f25+37274*f17^2+40080*f17*f18+39314*f17*f19+20104*f17*f20+33423*f17*f21+43308*f17*f22+40089*f17*f23+34243*f17*f24+4257*f17*f25+45994*f18^2+23545*f18*f19+17840*f18*f20+45381*f18*f21+6961*f18*f22+65506*f18*f23+20453*f18*f24+54046*f18*f25+7055*f10*f16+49374*f10*f17+45326*f10*f18+59166*f10*f19+12953*f10*f20+58170*f10*f21+22415*f10*f22+41913*f10*f23+23852*f10*f24+23676*f10*f25+41483*f11^2+38660*f11*f13+5136*f11*f14+20869*f11*f15+37535*f11*f16+19409*f11*f17+38968*f11*f18+8353*f11*f19+45650*f11*f20+26179*f11*f21+7345*f11*f22+36505*f11*f23+42016*f11*f24+14379*f11*f25+31551*f13^2+4058*f13*f14+19525*f13*f15+41623*f13*f16+15820*f13*f17+43240*f13*f18+34436*f13*f19+13973*f13*f20+37039*f13*f21+22005*f13*f22+49331*f13*f23+16868*f13*f24+63640*f13*f25+3449*f14^2+31575*f14*f15+10431*f14*f16+4610*f14*f17+56419*f14*f18+48138*f14*f19+15130*f14*f20+25082*f14*f21+37599*f14*f22+832*f14*f23+27446*f14*f24+46791*f14*f25+51023*f6*f18+30591*f6*f19+33976*f6*f20+47438*f6*f21+37732*f6*f22+23036*f6*f23+30990*f6*f24+62912*f6*f25+56414*f7^2+33715*f7*f8+56409*f7*f9+10818*f7*f10+62942*f7*f11+40801*f7*f13+62542*f7*f14+60956*f7*f15+235*f7*f16+24909*f7*f17+2810*f7*f18+44181*f7*f19+64838*f7*f20+48002*f7*f21+61299*f7*f22+43467*f7*f23+54010*f7*f24+33108*f7*f25+52816*f8^2+53149*f8*f9+77*f8*f10+65327*f8*f11+28678*f8*f13+20202*f8*f14+13274*f8*f15+30606*f8*f16+21309*f8*f17+46729*f8*f18+478*f8*f19+49896*f8*f20+1553*f8*f21+6923*f8*f22+59162*f8*f23+56881*f8*f24+49440*f8*f25+35852*f9^2+51263*f9*f10+22308*f9*f11+21606*f9*f13+29655*f9*f14+42078*f9*f15+19435*f9*f16+44211*f9*f17+58135*f9*f18+34873*f9*f19+64798*f9*f20+5150*f9*f21+52322*f9*f22+48315*f9*f23+35013*f9*f24+7131*f9*f25+7644*f10^2+50829*f10*f11+65037*f10*f13+49973*f10*f14+62304*f10*f15+16495*f2*f20+13184*f2*f21+8144*f2*f22+31957*f2*f23+45079*f2*f24+7772*f2*f25+15087*f3^2+26701*f3*f4+63561*f3*f5+61606*f3*f6+32629*f3*f7+7688*f3*f8+40008*f3*f9+13478*f3*f10+14545*f3*f11+54637*f3*f13+9916*f3*f14+42996*f3*f15+33023*f3*f16+52220*f3*f17+50537*f3*f18+24955*f3*f19+19451*f3*f20+48043*f3*f21+62199*f3*f22+14399*f3*f23+53360*f3*f24+7707*f3*f25+3266*f4^2+5427*f4*f5+47445*f4*f6+40128*f4*f7+5991*f4*f8+64926*f4*f9+51803*f4*f10+37115*f4*f11+9143*f4*f13+22420*f4*f14+8381*f4*f15+53679*f4*f16+37932*f4*f17+13141*f4*f18+18654*f4*f19+21592*f4*f20+28805*f4*f21+23439*f4*f22+30098*f4*f23+59513*f4*f24+27099*f4*f25+53607*f5^2+31966*f5*f6+41926*f5*f7+20455*f5*f8+29608*f5*f9+34684*f5*f10+3663*f5*f11+21188*f5*f13+40053*f5*f14+30365*f5*f15+52332*f5*f16+45157*f5*f17+55585*f5*f18+8537*f5*f19+1529*f5*f20+19649*f5*f21+27007*f5*f22+63665*f5*f23+49656*f5*f24+21622*f5*f25+63850*f6^2+52656*f6*f7+43365*f6*f8+47106*f6*f9+44542*f6*f10+11161*f6*f11+55025*f6*f13+35376*f6*f14+34745*f6*f15+6249*f6*f16+37548*f6*f17+29274*f12^2+52113*f12*f0+44867*f12*f1+11283*f12*f2+27434*f12*f3+24259*f12*f4+2170*f12*f5+39435*f12*f6+27056*f12*f7+38289*f12*f8+58667*f12*f9+55279*f12*f10+9637*f12*f11+2690*f12*f13+17102*f12*f14+64719*f12*f15+40660*f12*f16+7706*f12*f17+54030*f12*f18+21512*f12*f19+46326*f12*f20+42751*f12*f21+8358*f12*f22+33199*f12*f23+15804*f12*f24+40608*f12*f25+38188*f0^2+29847*f0*f1+57740*f0*f2+39587*f0*f3+11034*f0*f4+34786*f0*f5+24354*f0*f6+49168*f0*f7+43001*f0*f8+43030*f0*f9+31836*f0*f10+27006*f0*f11+57313*f0*f13+61224*f0*f14+2301*f0*f15+50332*f0*f16+18576*f0*f17+51187*f0*f18+36807*f0*f19+56134*f0*f20+40493*f0*f21+21117*f0*f22+63160*f0*f23+61190*f0*f24+28423*f0*f25+23140*f1^2+5870*f1*f2+65154*f1*f3+26790*f1*f4+39531*f1*f5+50045*f1*f6+35864*f1*f7+16366*f1*f8+37101*f1*f9+26953*f1*f10+46116*f1*f11+28170*f1*f13+7132*f1*f14+7190*f1*f15+16351*f1*f16+46598*f1*f17+37987*f1*f18+43084*f1*f19+36958*f1*f20+57734*f1*f21+28825*f1*f22+15431*f1*f23+48343*f1*f24+10935*f1*f25+38187*f2^2+44762*f2*f3+11581*f2*f4+18138*f2*f5+44587*f2*f6+63161*f2*f7+28607*f2*f8+23691*f2*f9+21158*f2*f10+64971*f2*f11+44828*f2*f13+23500*f2*f14+36957*f2*f15+10441*f2*f16+50280*f2*f17+43992*f2*f18+5408*f2*f19, 63930*f12+50835*f0+19306*f1+44380*f2+41759*f3+63725*f4+39338*f5+58663*f6+676*f7+53929*f8+35458*f9+25526*f10+59060*f11+39429*f13+29845*f14+14371*f15+29830*f16+34849*f17+4874*f18+22185*f19+19456*f20+6616*f21+24557*f22+56438*f23+63018*f24+10200*f25+9950*f23^2+63445*f23*f24+188*f23*f25+40514*f24^2+45180*f24*f25+58173*f25^2+45994*f19^2+23545*f19*f20+17840*f19*f21+45381*f19*f22+6961*f19*f23+65506*f19*f24+20453*f19*f25+21119*f20^2+9783*f20*f21+3720*f20*f22+48099*f20*f23+32991*f20*f24+41703*f20*f25+3428*f21^2+19585*f21*f22+44779*f21*f23+33930*f21*f24+58661*f21*f25+56486*f22^2+30027*f22*f23+50575*f22*f24+54755*f22*f25+3449*f15^2+31575*f15*f16+10431*f15*f17+4610*f15*f18+56419*f15*f19+48138*f15*f20+15130*f15*f21+25082*f15*f22+37599*f15*f23+832*f15*f24+27446*f15*f25+53720*f16^2+44489*f16*f17+642*f16*f18+32900*f16*f19+40445*f16*f20+12056*f16*f21+21060*f16*f22+32411*f16*f23+58900*f16*f24+38473*f16*f25+21066*f17^2+47188*f17*f18+20051*f17*f19+21672*f17*f20+50691*f17*f21+34224*f17*f22+62489*f17*f23+28329*f17*f24+16750*f17*f25+37274*f18^2+40080*f18*f19+39314*f18*f20+20104*f18*f21+33423*f18*f22+43308*f18*f23+40089*f18*f24+34243*f18*f25+42078*f10*f16+19435*f10*f17+44211*f10*f18+58135*f10*f19+34873*f10*f20+64798*f10*f21+5150*f10*f22+52322*f10*f23+48315*f10*f24+35013*f10*f25+7644*f11^2+55279*f11*f13+65037*f11*f14+49973*f11*f15+62304*f11*f16+7055*f11*f17+49374*f11*f18+45326*f11*f19+59166*f11*f20+12953*f11*f21+58170*f11*f22+22415*f11*f23+41913*f11*f24+23852*f11*f25+29274*f13^2+2690*f13*f14+17102*f13*f15+64719*f13*f16+40660*f13*f17+7706*f13*f18+54030*f13*f19+21512*f13*f20+46326*f13*f21+42751*f13*f22+8358*f13*f23+33199*f13*f24+15804*f13*f25+31551*f14^2+4058*f14*f15+19525*f14*f16+41623*f14*f17+15820*f14*f18+43240*f14*f19+34436*f14*f20+13973*f14*f21+37039*f14*f22+22005*f14*f23+49331*f14*f24+16868*f14*f25+45157*f6*f18+55585*f6*f19+8537*f6*f20+1529*f6*f21+19649*f6*f22+27007*f6*f23+63665*f6*f24+49656*f6*f25+63850*f7^2+52656*f7*f8+43365*f7*f9+47106*f7*f10+44542*f7*f11+39435*f7*f13+55025*f7*f14+35376*f7*f15+34745*f7*f16+6249*f7*f17+37548*f7*f18+51023*f7*f19+30591*f7*f20+33976*f7*f21+47438*f7*f22+37732*f7*f23+23036*f7*f24+30990*f7*f25+56414*f8^2+33715*f8*f9+56409*f8*f10+10818*f8*f11+27056*f8*f13+40801*f8*f14+62542*f8*f15+60956*f8*f16+235*f8*f17+24909*f8*f18+2810*f8*f19+44181*f8*f20+64838*f8*f21+48002*f8*f22+61299*f8*f23+43467*f8*f24+54010*f8*f25+52816*f9^2+53149*f9*f10+77*f9*f11+38289*f9*f13+28678*f9*f14+20202*f9*f15+13274*f9*f16+30606*f9*f17+21309*f9*f18+46729*f9*f19+478*f9*f20+49896*f9*f21+1553*f9*f22+6923*f9*f23+59162*f9*f24+56881*f9*f25+35852*f10^2+51263*f10*f11+58667*f10*f13+21606*f10*f14+29655*f10*f15+43084*f2*f20+36958*f2*f21+57734*f2*f22+28825*f2*f23+15431*f2*f24+48343*f2*f25+38187*f3^2+44762*f3*f4+11581*f3*f5+18138*f3*f6+44587*f3*f7+63161*f3*f8+28607*f3*f9+23691*f3*f10+21158*f3*f11+11283*f3*f13+44828*f3*f14+23500*f3*f15+36957*f3*f16+10441*f3*f17+50280*f3*f18+43992*f3*f19+5408*f3*f20+16495*f3*f21+13184*f3*f22+8144*f3*f23+31957*f3*f24+45079*f3*f25+15087*f4^2+26701*f4*f5+63561*f4*f6+61606*f4*f7+32629*f4*f8+7688*f4*f9+40008*f4*f10+13478*f4*f11+27434*f4*f13+54637*f4*f14+9916*f4*f15+42996*f4*f16+33023*f4*f17+52220*f4*f18+50537*f4*f19+24955*f4*f20+19451*f4*f21+48043*f4*f22+62199*f4*f23+14399*f4*f24+53360*f4*f25+3266*f5^2+5427*f5*f6+47445*f5*f7+40128*f5*f8+5991*f5*f9+64926*f5*f10+51803*f5*f11+24259*f5*f13+9143*f5*f14+22420*f5*f15+8381*f5*f16+53679*f5*f17+37932*f5*f18+13141*f5*f19+18654*f5*f20+21592*f5*f21+28805*f5*f22+23439*f5*f23+30098*f5*f24+59513*f5*f25+53607*f6^2+31966*f6*f7+41926*f6*f8+20455*f6*f9+29608*f6*f10+34684*f6*f11+2170*f6*f13+21188*f6*f14+40053*f6*f15+30365*f6*f16+52332*f6*f17+41483*f12^2+14379*f12*f0+27006*f12*f1+46116*f12*f2+64971*f12*f3+14545*f12*f4+37115*f12*f5+3663*f12*f6+11161*f12*f7+62942*f12*f8+65327*f12*f9+22308*f12*f10+50829*f12*f11+9637*f12*f13+38660*f12*f14+5136*f12*f15+20869*f12*f16+37535*f12*f17+19409*f12*f18+38968*f12*f19+8353*f12*f20+45650*f12*f21+26179*f12*f22+7345*f12*f23+36505*f12*f24+42016*f12*f25+48985*f0^2+28423*f0*f1+10935*f0*f2+7772*f0*f3+7707*f0*f4+27099*f0*f5+21622*f0*f6+62912*f0*f7+33108*f0*f8+49440*f0*f9+7131*f0*f10+23676*f0*f11+40608*f0*f13+63640*f0*f14+46791*f0*f15+45573*f0*f16+49755*f0*f17+4257*f0*f18+54046*f0*f19+12530*f0*f20+10134*f0*f21+32485*f0*f22+49885*f0*f23+3554*f0*f24+33133*f0*f25+38188*f1^2+29847*f1*f2+57740*f1*f3+39587*f1*f4+11034*f1*f5+34786*f1*f6+24354*f1*f7+49168*f1*f8+43001*f1*f9+43030*f1*f10+31836*f1*f11+52113*f1*f13+57313*f1*f14+61224*f1*f15+2301*f1*f16+50332*f1*f17+18576*f1*f18+51187*f1*f19+36807*f1*f20+56134*f1*f21+40493*f1*f22+21117*f1*f23+63160*f1*f24+61190*f1*f25+23140*f2^2+5870*f2*f3+65154*f2*f4+26790*f2*f5+39531*f2*f6+50045*f2*f7+35864*f2*f8+16366*f2*f9+37101*f2*f10+26953*f2*f11+44867*f2*f13+28170*f2*f14+7132*f2*f15+7190*f2*f16+16351*f2*f17+46598*f2*f18+37987*f2*f19, 59060*f12+10200*f0+50835*f1+19306*f2+44380*f3+41759*f4+63725*f5+39338*f6+58663*f7+676*f8+53929*f9+35458*f10+25526*f11+63930*f13+39429*f14+29845*f15+14371*f16+29830*f17+34849*f18+4874*f19+22185*f20+19456*f21+6616*f22+24557*f23+56438*f24+63018*f25+56486*f23^2+30027*f23*f24+50575*f23*f25+9950*f24^2+63445*f24*f25+40514*f25^2+37274*f19^2+40080*f19*f20+39314*f19*f21+20104*f19*f22+33423*f19*f23+43308*f19*f24+40089*f19*f25+45994*f20^2+23545*f20*f21+17840*f20*f22+45381*f20*f23+6961*f20*f24+65506*f20*f25+21119*f21^2+9783*f21*f22+3720*f21*f23+48099*f21*f24+32991*f21*f25+3428*f22^2+19585*f22*f23+44779*f22*f24+33930*f22*f25+31551*f15^2+4058*f15*f16+19525*f15*f17+41623*f15*f18+15820*f15*f19+43240*f15*f20+34436*f15*f21+13973*f15*f22+37039*f15*f23+22005*f15*f24+49331*f15*f25+3449*f16^2+31575*f16*f17+10431*f16*f18+4610*f16*f19+56419*f16*f20+48138*f16*f21+15130*f16*f22+25082*f16*f23+37599*f16*f24+832*f16*f25+53720*f17^2+44489*f17*f18+642*f17*f19+32900*f17*f20+40445*f17*f21+12056*f17*f22+21060*f17*f23+32411*f17*f24+58900*f17*f25+21066*f18^2+47188*f18*f19+20051*f18*f20+21672*f18*f21+50691*f18*f22+34224*f18*f23+62489*f18*f24+28329*f18*f25+20202*f10*f16+13274*f10*f17+30606*f10*f18+21309*f10*f19+46729*f10*f20+478*f10*f21+49896*f10*f22+1553*f10*f23+6923*f10*f24+59162*f10*f25+35852*f11^2+22308*f11*f13+58667*f11*f14+21606*f11*f15+29655*f11*f16+42078*f11*f17+19435*f11*f18+44211*f11*f19+58135*f11*f20+34873*f11*f21+64798*f11*f22+5150*f11*f23+52322*f11*f24+48315*f11*f25+41483*f13^2+9637*f13*f14+38660*f13*f15+5136*f13*f16+20869*f13*f17+37535*f13*f18+19409*f13*f19+38968*f13*f20+8353*f13*f21+45650*f13*f22+26179*f13*f23+7345*f13*f24+36505*f13*f25+29274*f14^2+2690*f14*f15+17102*f14*f16+64719*f14*f17+40660*f14*f18+7706*f14*f19+54030*f14*f20+21512*f14*f21+46326*f14*f22+42751*f14*f23+8358*f14*f24+33199*f14*f25+53679*f6*f18+37932*f6*f19+13141*f6*f20+18654*f6*f21+21592*f6*f22+28805*f6*f23+23439*f6*f24+30098*f6*f25+53607*f7^2+31966*f7*f8+41926*f7*f9+20455*f7*f10+29608*f7*f11+3663*f7*f13+2170*f7*f14+21188*f7*f15+40053*f7*f16+30365*f7*f17+52332*f7*f18+45157*f7*f19+55585*f7*f20+8537*f7*f21+1529*f7*f22+19649*f7*f23+27007*f7*f24+63665*f7*f25+63850*f8^2+52656*f8*f9+43365*f8*f10+47106*f8*f11+11161*f8*f13+39435*f8*f14+55025*f8*f15+35376*f8*f16+34745*f8*f17+6249*f8*f18+37548*f8*f19+51023*f8*f20+30591*f8*f21+33976*f8*f22+47438*f8*f23+37732*f8*f24+23036*f8*f25+56414*f9^2+33715*f9*f10+56409*f9*f11+62942*f9*f13+27056*f9*f14+40801*f9*f15+62542*f9*f16+60956*f9*f17+235*f9*f18+24909*f9*f19+2810*f9*f20+44181*f9*f21+64838*f9*f22+48002*f9*f23+61299*f9*f24+43467*f9*f25+52816*f10^2+53149*f10*f11+65327*f10*f13+38289*f10*f14+28678*f10*f15+51187*f2*f20+36807*f2*f21+56134*f2*f22+40493*f2*f23+21117*f2*f24+63160*f2*f25+23140*f3^2+5870*f3*f4+65154*f3*f5+26790*f3*f6+39531*f3*f7+50045*f3*f8+35864*f3*f9+16366*f3*f10+37101*f3*f11+46116*f3*f13+44867*f3*f14+28170*f3*f15+7132*f3*f16+7190*f3*f17+16351*f3*f18+46598*f3*f19+37987*f3*f20+43084*f3*f21+36958*f3*f22+57734*f3*f23+28825*f3*f24+15431*f3*f25+38187*f4^2+44762*f4*f5+11581*f4*f6+18138*f4*f7+44587*f4*f8+63161*f4*f9+28607*f4*f10+23691*f4*f11+64971*f4*f13+11283*f4*f14+44828*f4*f15+23500*f4*f16+36957*f4*f17+10441*f4*f18+50280*f4*f19+43992*f4*f20+5408*f4*f21+16495*f4*f22+13184*f4*f23+8144*f4*f24+31957*f4*f25+15087*f5^2+26701*f5*f6+63561*f5*f7+61606*f5*f8+32629*f5*f9+7688*f5*f10+40008*f5*f11+14545*f5*f13+27434*f5*f14+54637*f5*f15+9916*f5*f16+42996*f5*f17+33023*f5*f18+52220*f5*f19+50537*f5*f20+24955*f5*f21+19451*f5*f22+48043*f5*f23+62199*f5*f24+14399*f5*f25+3266*f6^2+5427*f6*f7+47445*f6*f8+40128*f6*f9+5991*f6*f10+64926*f6*f11+37115*f6*f13+24259*f6*f14+9143*f6*f15+22420*f6*f16+8381*f6*f17+7644*f12^2+23852*f12*f0+23676*f12*f1+31836*f12*f2+26953*f12*f3+21158*f12*f4+13478*f12*f5+51803*f12*f6+34684*f12*f7+44542*f12*f8+10818*f12*f9+77*f12*f10+51263*f12*f11+50829*f12*f13+55279*f12*f14+65037*f12*f15+49973*f12*f16+62304*f12*f17+7055*f12*f18+49374*f12*f19+45326*f12*f20+59166*f12*f21+12953*f12*f22+58170*f12*f23+22415*f12*f24+41913*f12*f25+58173*f0^2+33133*f0*f1+61190*f0*f2+48343*f0*f3+45079*f0*f4+53360*f0*f5+59513*f0*f6+49656*f0*f7+30990*f0*f8+54010*f0*f9+56881*f0*f10+35013*f0*f11+42016*f0*f13+15804*f0*f14+16868*f0*f15+27446*f0*f16+38473*f0*f17+16750*f0*f18+34243*f0*f19+20453*f0*f20+41703*f0*f21+58661*f0*f22+54755*f0*f23+188*f0*f24+45180*f0*f25+48985*f1^2+28423*f1*f2+10935*f1*f3+7772*f1*f4+7707*f1*f5+27099*f1*f6+21622*f1*f7+62912*f1*f8+33108*f1*f9+49440*f1*f10+7131*f1*f11+14379*f1*f13+40608*f1*f14+63640*f1*f15+46791*f1*f16+45573*f1*f17+49755*f1*f18+4257*f1*f19+54046*f1*f20+12530*f1*f21+10134*f1*f22+32485*f1*f23+49885*f1*f24+3554*f1*f25+38188*f2^2+29847*f2*f3+57740*f2*f4+39587*f2*f5+11034*f2*f6+34786*f2*f7+24354*f2*f8+49168*f2*f9+43001*f2*f10+43030*f2*f11+27006*f2*f13+52113*f2*f14+57313*f2*f15+61224*f2*f16+2301*f2*f17+50332*f2*f18+18576*f2*f19, 25526*f12+63018*f0+10200*f1+50835*f2+19306*f3+44380*f4+41759*f5+63725*f6+39338*f7+58663*f8+676*f9+53929*f10+35458*f11+59060*f13+63930*f14+39429*f15+29845*f16+14371*f17+29830*f18+34849*f19+4874*f20+22185*f21+19456*f22+6616*f23+24557*f24+56438*f25+3428*f23^2+19585*f23*f24+44779*f23*f25+56486*f24^2+30027*f24*f25+9950*f25^2+21066*f19^2+47188*f19*f20+20051*f19*f21+21672*f19*f22+50691*f19*f23+34224*f19*f24+62489*f19*f25+37274*f20^2+40080*f20*f21+39314*f20*f22+20104*f20*f23+33423*f20*f24+43308*f20*f25+45994*f21^2+23545*f21*f22+17840*f21*f23+45381*f21*f24+6961*f21*f25+21119*f22^2+9783*f22*f23+3720*f22*f24+48099*f22*f25+29274*f15^2+2690*f15*f16+17102*f15*f17+64719*f15*f18+40660*f15*f19+7706*f15*f20+54030*f15*f21+21512*f15*f22+46326*f15*f23+42751*f15*f24+8358*f15*f25+31551*f16^2+4058*f16*f17+19525*f16*f18+41623*f16*f19+15820*f16*f20+43240*f16*f21+34436*f16*f22+13973*f16*f23+37039*f16*f24+22005*f16*f25+3449*f17^2+31575*f17*f18+10431*f17*f19+4610*f17*f20+56419*f17*f21+48138*f17*f22+15130*f17*f23+25082*f17*f24+37599*f17*f25+53720*f18^2+44489*f18*f19+642*f18*f20+32900*f18*f21+40445*f18*f22+12056*f18*f23+21060*f18*f24+32411*f18*f25+40801*f10*f16+62542*f10*f17+60956*f10*f18+235*f10*f19+24909*f10*f20+2810*f10*f21+44181*f10*f22+64838*f10*f23+48002*f10*f24+61299*f10*f25+52816*f11^2+77*f11*f13+65327*f11*f14+38289*f11*f15+28678*f11*f16+20202*f11*f17+13274*f11*f18+30606*f11*f19+21309*f11*f20+46729*f11*f21+478*f11*f22+49896*f11*f23+1553*f11*f24+6923*f11*f25+7644*f13^2+50829*f13*f14+55279*f13*f15+65037*f13*f16+49973*f13*f17+62304*f13*f18+7055*f13*f19+49374*f13*f20+45326*f13*f21+59166*f13*f22+12953*f13*f23+58170*f13*f24+22415*f13*f25+41483*f14^2+9637*f14*f15+38660*f14*f16+5136*f14*f17+20869*f14*f18+37535*f14*f19+19409*f14*f20+38968*f14*f21+8353*f14*f22+45650*f14*f23+26179*f14*f24+7345*f14*f25+42996*f6*f18+33023*f6*f19+52220*f6*f20+50537*f6*f21+24955*f6*f22+19451*f6*f23+48043*f6*f24+62199*f6*f25+3266*f7^2+5427*f7*f8+47445*f7*f9+40128*f7*f10+5991*f7*f11+51803*f7*f13+37115*f7*f14+24259*f7*f15+9143*f7*f16+22420*f7*f17+8381*f7*f18+53679*f7*f19+37932*f7*f20+13141*f7*f21+18654*f7*f22+21592*f7*f23+28805*f7*f24+23439*f7*f25+53607*f8^2+31966*f8*f9+41926*f8*f10+20455*f8*f11+34684*f8*f13+3663*f8*f14+2170*f8*f15+21188*f8*f16+40053*f8*f17+30365*f8*f18+52332*f8*f19+45157*f8*f20+55585*f8*f21+8537*f8*f22+1529*f8*f23+19649*f8*f24+27007*f8*f25+63850*f9^2+52656*f9*f10+43365*f9*f11+44542*f9*f13+11161*f9*f14+39435*f9*f15+55025*f9*f16+35376*f9*f17+34745*f9*f18+6249*f9*f19+37548*f9*f20+51023*f9*f21+30591*f9*f22+33976*f9*f23+47438*f9*f24+37732*f9*f25+56414*f10^2+33715*f10*f11+10818*f10*f13+62942*f10*f14+27056*f10*f15+4257*f2*f20+54046*f2*f21+12530*f2*f22+10134*f2*f23+32485*f2*f24+49885*f2*f25+38188*f3^2+29847*f3*f4+57740*f3*f5+39587*f3*f6+11034*f3*f7+34786*f3*f8+24354*f3*f9+49168*f3*f10+43001*f3*f11+31836*f3*f13+27006*f3*f14+52113*f3*f15+57313*f3*f16+61224*f3*f17+2301*f3*f18+50332*f3*f19+18576*f3*f20+51187*f3*f21+36807*f3*f22+56134*f3*f23+40493*f3*f24+21117*f3*f25+23140*f4^2+5870*f4*f5+65154*f4*f6+26790*f4*f7+39531*f4*f8+50045*f4*f9+35864*f4*f10+16366*f4*f11+26953*f4*f13+46116*f4*f14+44867*f4*f15+28170*f4*f16+7132*f4*f17+7190*f4*f18+16351*f4*f19+46598*f4*f20+37987*f4*f21+43084*f4*f22+36958*f4*f23+57734*f4*f24+28825*f4*f25+38187*f5^2+44762*f5*f6+11581*f5*f7+18138*f5*f8+44587*f5*f9+63161*f5*f10+28607*f5*f11+21158*f5*f13+64971*f5*f14+11283*f5*f15+44828*f5*f16+23500*f5*f17+36957*f5*f18+10441*f5*f19+50280*f5*f20+43992*f5*f21+5408*f5*f22+16495*f5*f23+13184*f5*f24+8144*f5*f25+15087*f6^2+26701*f6*f7+63561*f6*f8+61606*f6*f9+32629*f6*f10+7688*f6*f11+13478*f6*f13+14545*f6*f14+27434*f6*f15+54637*f6*f16+9916*f6*f17+35852*f12^2+48315*f12*f0+35013*f12*f1+7131*f12*f2+43030*f12*f3+37101*f12*f4+23691*f12*f5+40008*f12*f6+64926*f12*f7+29608*f12*f8+47106*f12*f9+56409*f12*f10+53149*f12*f11+51263*f12*f13+22308*f12*f14+58667*f12*f15+21606*f12*f16+29655*f12*f17+42078*f12*f18+19435*f12*f19+44211*f12*f20+58135*f12*f21+34873*f12*f22+64798*f12*f23+5150*f12*f24+52322*f12*f25+40514*f0^2+45180*f0*f1+3554*f0*f2+63160*f0*f3+15431*f0*f4+31957*f0*f5+14399*f0*f6+30098*f0*f7+63665*f0*f8+23036*f0*f9+43467*f0*f10+59162*f0*f11+41913*f0*f13+36505*f0*f14+33199*f0*f15+49331*f0*f16+832*f0*f17+58900*f0*f18+28329*f0*f19+40089*f0*f20+65506*f0*f21+32991*f0*f22+33930*f0*f23+50575*f0*f24+63445*f0*f25+58173*f1^2+33133*f1*f2+61190*f1*f3+48343*f1*f4+45079*f1*f5+53360*f1*f6+59513*f1*f7+49656*f1*f8+30990*f1*f9+54010*f1*f10+56881*f1*f11+23852*f1*f13+42016*f1*f14+15804*f1*f15+16868*f1*f16+27446*f1*f17+38473*f1*f18+16750*f1*f19+34243*f1*f20+20453*f1*f21+41703*f1*f22+58661*f1*f23+54755*f1*f24+188*f1*f25+48985*f2^2+28423*f2*f3+10935*f2*f4+7772*f2*f5+7707*f2*f6+27099*f2*f7+21622*f2*f8+62912*f2*f9+33108*f2*f10+49440*f2*f11+23676*f2*f13+14379*f2*f14+40608*f2*f15+63640*f2*f16+46791*f2*f17+45573*f2*f18+49755*f2*f19, 35458*f12+56438*f0+63018*f1+10200*f2+50835*f3+19306*f4+44380*f5+41759*f6+63725*f7+39338*f8+58663*f9+676*f10+53929*f11+25526*f13+59060*f14+63930*f15+39429*f16+29845*f17+14371*f18+29830*f19+34849*f20+4874*f21+22185*f22+19456*f23+6616*f24+24557*f25+21119*f23^2+9783*f23*f24+3720*f23*f25+3428*f24^2+19585*f24*f25+56486*f25^2+53720*f19^2+44489*f19*f20+642*f19*f21+32900*f19*f22+40445*f19*f23+12056*f19*f24+21060*f19*f25+21066*f20^2+47188*f20*f21+20051*f20*f22+21672*f20*f23+50691*f20*f24+34224*f20*f25+37274*f21^2+40080*f21*f22+39314*f21*f23+20104*f21*f24+33423*f21*f25+45994*f22^2+23545*f22*f23+17840*f22*f24+45381*f22*f25+41483*f15^2+9637*f15*f16+38660*f15*f17+5136*f15*f18+20869*f15*f19+37535*f15*f20+19409*f15*f21+38968*f15*f22+8353*f15*f23+45650*f15*f24+26179*f15*f25+29274*f16^2+2690*f16*f17+17102*f16*f18+64719*f16*f19+40660*f16*f20+7706*f16*f21+54030*f16*f22+21512*f16*f23+46326*f16*f24+42751*f16*f25+31551*f17^2+4058*f17*f18+19525*f17*f19+41623*f17*f20+15820*f17*f21+43240*f17*f22+34436*f17*f23+13973*f17*f24+37039*f17*f25+3449*f18^2+31575*f18*f19+10431*f18*f20+4610*f18*f21+56419*f18*f22+48138*f18*f23+15130*f18*f24+25082*f18*f25+39435*f10*f16+55025*f10*f17+35376*f10*f18+34745*f10*f19+6249*f10*f20+37548*f10*f21+51023*f10*f22+30591*f10*f23+33976*f10*f24+47438*f10*f25+56414*f11^2+56409*f11*f13+10818*f11*f14+62942*f11*f15+27056*f11*f16+40801*f11*f17+62542*f11*f18+60956*f11*f19+235*f11*f20+24909*f11*f21+2810*f11*f22+44181*f11*f23+64838*f11*f24+48002*f11*f25+35852*f13^2+51263*f13*f14+22308*f13*f15+58667*f13*f16+21606*f13*f17+29655*f13*f18+42078*f13*f19+19435*f13*f20+44211*f13*f21+58135*f13*f22+34873*f13*f23+64798*f13*f24+5150*f13*f25+7644*f14^2+50829*f14*f15+55279*f14*f16+65037*f14*f17+49973*f14*f18+62304*f14*f19+7055*f14*f20+49374*f14*f21+45326*f14*f22+59166*f14*f23+12953*f14*f24+58170*f14*f25+23500*f6*f18+36957*f6*f19+10441*f6*f20+50280*f6*f21+43992*f6*f22+5408*f6*f23+16495*f6*f24+13184*f6*f25+15087*f7^2+26701*f7*f8+63561*f7*f9+61606*f7*f10+32629*f7*f11+40008*f7*f13+13478*f7*f14+14545*f7*f15+27434*f7*f16+54637*f7*f17+9916*f7*f18+42996*f7*f19+33023*f7*f20+52220*f7*f21+50537*f7*f22+24955*f7*f23+19451*f7*f24+48043*f7*f25+3266*f8^2+5427*f8*f9+47445*f8*f10+40128*f8*f11+64926*f8*f13+51803*f8*f14+37115*f8*f15+24259*f8*f16+9143*f8*f17+22420*f8*f18+8381*f8*f19+53679*f8*f20+37932*f8*f21+13141*f8*f22+18654*f8*f23+21592*f8*f24+28805*f8*f25+53607*f9^2+31966*f9*f10+41926*f9*f11+29608*f9*f13+34684*f9*f14+3663*f9*f15+2170*f9*f16+21188*f9*f17+40053*f9*f18+30365*f9*f19+52332*f9*f20+45157*f9*f21+55585*f9*f22+8537*f9*f23+1529*f9*f24+19649*f9*f25+63850*f10^2+52656*f10*f11+47106*f10*f13+44542*f10*f14+11161*f10*f15+16750*f2*f20+34243*f2*f21+20453*f2*f22+41703*f2*f23+58661*f2*f24+54755*f2*f25+48985*f3^2+28423*f3*f4+10935*f3*f5+7772*f3*f6+7707*f3*f7+27099*f3*f8+21622*f3*f9+62912*f3*f10+33108*f3*f11+7131*f3*f13+23676*f3*f14+14379*f3*f15+40608*f3*f16+63640*f3*f17+46791*f3*f18+45573*f3*f19+49755*f3*f20+4257*f3*f21+54046*f3*f22+12530*f3*f23+10134*f3*f24+32485*f3*f25+38188*f4^2+29847*f4*f5+57740*f4*f6+39587*f4*f7+11034*f4*f8+34786*f4*f9+24354*f4*f10+49168*f4*f11+43030*f4*f13+31836*f4*f14+27006*f4*f15+52113*f4*f16+57313*f4*f17+61224*f4*f18+2301*f4*f19+50332*f4*f20+18576*f4*f21+51187*f4*f22+36807*f4*f23+56134*f4*f24+40493*f4*f25+23140*f5^2+5870*f5*f6+65154*f5*f7+26790*f5*f8+39531*f5*f9+50045*f5*f10+35864*f5*f11+37101*f5*f13+26953*f5*f14+46116*f5*f15+44867*f5*f16+28170*f5*f17+7132*f5*f18+7190*f5*f19+16351*f5*f20+46598*f5*f21+37987*f5*f22+43084*f5*f23+36958*f5*f24+57734*f5*f25+38187*f6^2+44762*f6*f7+11581*f6*f8+18138*f6*f9+44587*f6*f10+63161*f6*f11+23691*f6*f13+21158*f6*f14+64971*f6*f15+11283*f6*f16+44828*f6*f17+52816*f12^2+6923*f12*f0+59162*f12*f1+56881*f12*f2+49440*f12*f3+43001*f12*f4+16366*f12*f5+28607*f12*f6+7688*f12*f7+5991*f12*f8+20455*f12*f9+43365*f12*f10+33715*f12*f11+53149*f12*f13+77*f12*f14+65327*f12*f15+38289*f12*f16+28678*f12*f17+20202*f12*f18+13274*f12*f19+30606*f12*f20+21309*f12*f21+46729*f12*f22+478*f12*f23+49896*f12*f24+1553*f12*f25+9950*f0^2+63445*f0*f1+188*f0*f2+49885*f0*f3+21117*f0*f4+28825*f0*f5+8144*f0*f6+62199*f0*f7+23439*f0*f8+27007*f0*f9+37732*f0*f10+61299*f0*f11+52322*f0*f13+22415*f0*f14+7345*f0*f15+8358*f0*f16+22005*f0*f17+37599*f0*f18+32411*f0*f19+62489*f0*f20+43308*f0*f21+6961*f0*f22+48099*f0*f23+44779*f0*f24+30027*f0*f25+40514*f1^2+45180*f1*f2+3554*f1*f3+63160*f1*f4+15431*f1*f5+31957*f1*f6+14399*f1*f7+30098*f1*f8+63665*f1*f9+23036*f1*f10+43467*f1*f11+48315*f1*f13+41913*f1*f14+36505*f1*f15+33199*f1*f16+49331*f1*f17+832*f1*f18+58900*f1*f19+28329*f1*f20+40089*f1*f21+65506*f1*f22+32991*f1*f23+33930*f1*f24+50575*f1*f25+58173*f2^2+33133*f2*f3+61190*f2*f4+48343*f2*f5+45079*f2*f6+53360*f2*f7+59513*f2*f8+49656*f2*f9+30990*f2*f10+54010*f2*f11+35013*f2*f13+23852*f2*f14+42016*f2*f15+15804*f2*f16+16868*f2*f17+27446*f2*f18+38473*f2*f19, 53929*f12+24557*f0+56438*f1+63018*f2+10200*f3+50835*f4+19306*f5+44380*f6+41759*f7+63725*f8+39338*f9+58663*f10+676*f11+35458*f13+25526*f14+59060*f15+63930*f16+39429*f17+29845*f18+14371*f19+29830*f20+34849*f21+4874*f22+22185*f23+19456*f24+6616*f25+45994*f23^2+23545*f23*f24+17840*f23*f25+21119*f24^2+9783*f24*f25+3428*f25^2+3449*f19^2+31575*f19*f20+10431*f19*f21+4610*f19*f22+56419*f19*f23+48138*f19*f24+15130*f19*f25+53720*f20^2+44489*f20*f21+642*f20*f22+32900*f20*f23+40445*f20*f24+12056*f20*f25+21066*f21^2+47188*f21*f22+20051*f21*f23+21672*f21*f24+50691*f21*f25+37274*f22^2+40080*f22*f23+39314*f22*f24+20104*f22*f25+7644*f15^2+50829*f15*f16+55279*f15*f17+65037*f15*f18+49973*f15*f19+62304*f15*f20+7055*f15*f21+49374*f15*f22+45326*f15*f23+59166*f15*f24+12953*f15*f25+41483*f16^2+9637*f16*f17+38660*f16*f18+5136*f16*f19+20869*f16*f20+37535*f16*f21+19409*f16*f22+38968*f16*f23+8353*f16*f24+45650*f16*f25+29274*f17^2+2690*f17*f18+17102*f17*f19+64719*f17*f20+40660*f17*f21+7706*f17*f22+54030*f17*f23+21512*f17*f24+46326*f17*f25+31551*f18^2+4058*f18*f19+19525*f18*f20+41623*f18*f21+15820*f18*f22+43240*f18*f23+34436*f18*f24+13973*f18*f25+3663*f10*f16+2170*f10*f17+21188*f10*f18+40053*f10*f19+30365*f10*f20+52332*f10*f21+45157*f10*f22+55585*f10*f23+8537*f10*f24+1529*f10*f25+63850*f11^2+43365*f11*f13+47106*f11*f14+44542*f11*f15+11161*f11*f16+39435*f11*f17+55025*f11*f18+35376*f11*f19+34745*f11*f20+6249*f11*f21+37548*f11*f22+51023*f11*f23+30591*f11*f24+33976*f11*f25+52816*f13^2+53149*f13*f14+77*f13*f15+65327*f13*f16+38289*f13*f17+28678*f13*f18+20202*f13*f19+13274*f13*f20+30606*f13*f21+21309*f13*f22+46729*f13*f23+478*f13*f24+49896*f13*f25+35852*f14^2+51263*f14*f15+22308*f14*f16+58667*f14*f17+21606*f14*f18+29655*f14*f19+42078*f14*f20+19435*f14*f21+44211*f14*f22+58135*f14*f23+34873*f14*f24+64798*f14*f25+28170*f6*f18+7132*f6*f19+7190*f6*f20+16351*f6*f21+46598*f6*f22+37987*f6*f23+43084*f6*f24+36958*f6*f25+38187*f7^2+44762*f7*f8+11581*f7*f9+18138*f7*f10+44587*f7*f11+28607*f7*f13+23691*f7*f14+21158*f7*f15+64971*f7*f16+11283*f7*f17+44828*f7*f18+23500*f7*f19+36957*f7*f20+10441*f7*f21+50280*f7*f22+43992*f7*f23+5408*f7*f24+16495*f7*f25+15087*f8^2+26701*f8*f9+63561*f8*f10+61606*f8*f11+7688*f8*f13+40008*f8*f14+13478*f8*f15+14545*f8*f16+27434*f8*f17+54637*f8*f18+9916*f8*f19+42996*f8*f20+33023*f8*f21+52220*f8*f22+50537*f8*f23+24955*f8*f24+19451*f8*f25+3266*f9^2+5427*f9*f10+47445*f9*f11+5991*f9*f13+64926*f9*f14+51803*f9*f15+37115*f9*f16+24259*f9*f17+9143*f9*f18+22420*f9*f19+8381*f9*f20+53679*f9*f21+37932*f9*f22+13141*f9*f23+18654*f9*f24+21592*f9*f25+53607*f10^2+31966*f10*f11+20455*f10*f13+29608*f10*f14+34684*f10*f15+58900*f2*f20+28329*f2*f21+40089*f2*f22+65506*f2*f23+32991*f2*f24+33930*f2*f25+58173*f3^2+33133*f3*f4+61190*f3*f5+48343*f3*f6+45079*f3*f7+53360*f3*f8+59513*f3*f9+49656*f3*f10+30990*f3*f11+56881*f3*f13+35013*f3*f14+23852*f3*f15+42016*f3*f16+15804*f3*f17+16868*f3*f18+27446*f3*f19+38473*f3*f20+16750*f3*f21+34243*f3*f22+20453*f3*f23+41703*f3*f24+58661*f3*f25+48985*f4^2+28423*f4*f5+10935*f4*f6+7772*f4*f7+7707*f4*f8+27099*f4*f9+21622*f4*f10+62912*f4*f11+49440*f4*f13+7131*f4*f14+23676*f4*f15+14379*f4*f16+40608*f4*f17+63640*f4*f18+46791*f4*f19+45573*f4*f20+49755*f4*f21+4257*f4*f22+54046*f4*f23+12530*f4*f24+10134*f4*f25+38188*f5^2+29847*f5*f6+57740*f5*f7+39587*f5*f8+11034*f5*f9+34786*f5*f10+24354*f5*f11+43001*f5*f13+43030*f5*f14+31836*f5*f15+27006*f5*f16+52113*f5*f17+57313*f5*f18+61224*f5*f19+2301*f5*f20+50332*f5*f21+18576*f5*f22+51187*f5*f23+36807*f5*f24+56134*f5*f25+23140*f6^2+5870*f6*f7+65154*f6*f8+26790*f6*f9+39531*f6*f10+50045*f6*f11+16366*f6*f13+37101*f6*f14+26953*f6*f15+46116*f6*f16+44867*f6*f17+56414*f12^2+48002*f12*f0+61299*f12*f1+43467*f12*f2+54010*f12*f3+33108*f12*f4+49168*f12*f5+35864*f12*f6+63161*f12*f7+32629*f12*f8+40128*f12*f9+41926*f12*f10+52656*f12*f11+33715*f12*f13+56409*f12*f14+10818*f12*f15+62942*f12*f16+27056*f12*f17+40801*f12*f18+62542*f12*f19+60956*f12*f20+235*f12*f21+24909*f12*f22+2810*f12*f23+44181*f12*f24+64838*f12*f25+56486*f0^2+30027*f0*f1+50575*f0*f2+54755*f0*f3+32485*f0*f4+40493*f0*f5+57734*f0*f6+13184*f0*f7+48043*f0*f8+28805*f0*f9+19649*f0*f10+47438*f0*f11+1553*f0*f13+5150*f0*f14+58170*f0*f15+26179*f0*f16+42751*f0*f17+37039*f0*f18+25082*f0*f19+21060*f0*f20+34224*f0*f21+33423*f0*f22+45381*f0*f23+3720*f0*f24+19585*f0*f25+9950*f1^2+63445*f1*f2+188*f1*f3+49885*f1*f4+21117*f1*f5+28825*f1*f6+8144*f1*f7+62199*f1*f8+23439*f1*f9+27007*f1*f10+37732*f1*f11+6923*f1*f13+52322*f1*f14+22415*f1*f15+7345*f1*f16+8358*f1*f17+22005*f1*f18+37599*f1*f19+32411*f1*f20+62489*f1*f21+43308*f1*f22+6961*f1*f23+48099*f1*f24+44779*f1*f25+40514*f2^2+45180*f2*f3+3554*f2*f4+63160*f2*f5+15431*f2*f6+31957*f2*f7+14399*f2*f8+30098*f2*f9+63665*f2*f10+23036*f2*f11+59162*f2*f13+48315*f2*f14+41913*f2*f15+36505*f2*f16+33199*f2*f17+49331*f2*f18+832*f2*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, f20^2-f20, f21^2-f21, f22^2-f22, f23^2-f23, f24^2-f24, f25^2-f25]