#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]

#list


[2159*f12+8013*f5^2+57824*f3^2+60074*f3*f0+53300*f3*f1+40844*f3*f2+42143*f3*f4+54971*f3*f5+59503*f0^2+26921*f0*f1+12954*f0*f2+34878*f0*f4+25465*f0*f5+13402*f1^2+60423*f1*f2+22752*f1*f4+43866*f1*f5+48000*f2^2+57967*f2*f4+59769*f2*f5+45003*f4^2+10248*f4*f5+11013*f18*f6+45658*f18*f7+39834*f18*f3+64455*f18*f0+24192*f18*f1+53342*f18*f2+37646*f18*f4+35778*f18*f5+7640*f19^2+12232*f19*f20+16449*f19*f6+52399*f19*f7+64672*f19*f3+8974*f19*f0+24621*f19*f1+10331*f19*f2+16587*f19*f4+55669*f19*f5+14707*f20^2+784*f20*f6+47401*f20*f7+10332*f20*f3+22758*f20*f0+27977*f20*f1+53243*f20*f2+18321*f20*f4+44187*f20*f5+57392*f6^2+16*f6*f7+61867*f6*f3+47884*f6*f0+40445*f6*f1+65069*f6*f2+45458*f6*f4+52291*f6*f5+39930*f7^2+9571*f7*f3+45928*f7*f0+50046*f7*f1+37190*f7*f2+25780*f7*f4+43691*f7*f5+21760*f13*f0+41652*f13*f1+5454*f13*f2+57991*f13*f4+1344*f13*f5+4362*f14^2+45197*f14*f15+9960*f14*f16+58244*f14*f17+29992*f14*f18+40209*f14*f19+48963*f14*f20+52200*f14*f6+31754*f14*f7+4631*f14*f3+59094*f14*f0+62264*f14*f1+53004*f14*f2+43807*f14*f4+952*f14*f5+36592*f15^2+24653*f15*f16+52252*f15*f17+54922*f15*f18+43497*f15*f19+30944*f15*f20+24214*f15*f6+4643*f15*f7+61702*f15*f3+54027*f15*f0+45230*f15*f1+49018*f15*f2+62573*f15*f4+1988*f15*f5+41285*f16^2+52887*f16*f17+54970*f16*f18+53296*f16*f19+63110*f16*f20+8044*f16*f6+50763*f16*f7+12407*f16*f3+26910*f16*f0+33323*f16*f1+56548*f16*f2+53258*f16*f4+65256*f16*f5+4293*f17^2+9110*f17*f18+55211*f17*f19+27766*f17*f20+26936*f17*f6+60739*f17*f7+27373*f17*f3+5008*f17*f0+57956*f17*f1+36810*f17*f2+25728*f17*f4+6476*f17*f5+49872*f18^2+50812*f18*f19+9528*f18*f20+11214*f12*f4+39556*f12*f5+24830*f8^2+33732*f8*f9+4101*f8*f10+54536*f8*f11+25857*f8*f13+59266*f8*f14+50532*f8*f15+30441*f8*f16+11684*f8*f17+53300*f8*f18+9947*f8*f19+41478*f8*f20+30077*f8*f6+62356*f8*f7+10266*f8*f3+12111*f8*f0+29891*f8*f1+7510*f8*f2+25167*f8*f4+37170*f8*f5+25215*f9^2+11900*f9*f10+47082*f9*f11+6106*f9*f13+64386*f9*f14+22682*f9*f15+27364*f9*f16+64132*f9*f17+32088*f9*f18+31292*f9*f19+12083*f9*f20+1320*f9*f6+36350*f9*f7+36116*f9*f3+54363*f9*f0+972*f9*f1+54209*f9*f2+30178*f9*f4+33613*f9*f5+39381*f10^2+35198*f10*f11+27023*f10*f13+31*f10*f14+5846*f10*f15+56634*f10*f16+62153*f10*f17+48654*f10*f18+14270*f10*f19+56705*f10*f20+6314*f10*f6+31912*f10*f7+50449*f10*f3+40541*f10*f0+43962*f10*f1+15780*f10*f2+50438*f10*f4+17728*f10*f5+486*f11^2+59201*f11*f13+39204*f11*f14+12492*f11*f15+58187*f11*f16+10108*f11*f17+14281*f11*f18+55688*f11*f19+61320*f11*f20+29452*f11*f6+38692*f11*f7+41810*f11*f3+19876*f11*f0+32409*f11*f1+20808*f11*f2+17331*f11*f4+13561*f11*f5+62879*f13^2+50858*f13*f14+52245*f13*f15+10207*f13*f16+20560*f13*f17+50050*f13*f18+64474*f13*f19+42145*f13*f20+27444*f13*f6+40975*f13*f7+52788*f13*f3+9290*f12^2+5765*f12*f8+46717*f12*f9+27992*f12*f10+35516*f12*f11+60547*f12*f13+12857*f12*f14+17213*f12*f15+50999*f12*f16+40384*f12*f17+34317*f12*f18+23591*f12*f19+23379*f12*f20+61248*f12*f6+48615*f12*f7+11549*f12*f3+19541*f12*f0+58205*f12*f1+51708*f12*f2+59896*f0+63486*f1+37704*f2+31701*f3+17574*f4+19887*f5+49815*f6+3304*f7+19166*f8+10496*f9+58942*f10+53906*f11+32380*f13+33856*f14+20595*f15+23061*f16+58520*f17+13710*f18+22387*f19+30854*f20, 53906*f12+45003*f5^2+48000*f3^2+53243*f3*f0+12954*f3*f1+60423*f3*f2+40844*f3*f4+57967*f3*f5+14707*f0^2+22758*f0*f1+27977*f0*f2+10332*f0*f4+18321*f0*f5+59503*f1^2+26921*f1*f2+60074*f1*f4+34878*f1*f5+13402*f2^2+53300*f2*f4+22752*f2*f5+57824*f4^2+42143*f4*f5+6476*f18*f6+26936*f18*f7+36810*f18*f3+27766*f18*f0+5008*f18*f1+57956*f18*f2+27373*f18*f4+25728*f18*f5+49872*f19^2+50812*f19*f20+35778*f19*f6+11013*f19*f7+53342*f19*f3+9528*f19*f0+64455*f19*f1+24192*f19*f2+39834*f19*f4+37646*f19*f5+7640*f20^2+55669*f20*f6+16449*f20*f7+10331*f20*f3+12232*f20*f0+8974*f20*f1+24621*f20*f2+64672*f20*f4+16587*f20*f5+8013*f6^2+52291*f6*f7+59769*f6*f3+44187*f6*f0+25465*f6*f1+43866*f6*f2+54971*f6*f4+10248*f6*f5+57392*f7^2+65069*f7*f3+784*f7*f0+47884*f7*f1+40445*f7*f2+61867*f7*f4+45458*f7*f5+23379*f13*f0+19541*f13*f1+58205*f13*f2+11549*f13*f4+11214*f13*f5+62879*f14^2+50858*f14*f15+52245*f14*f16+10207*f14*f17+20560*f14*f18+50050*f14*f19+64474*f14*f20+1344*f14*f6+27444*f14*f7+5454*f14*f3+42145*f14*f0+21760*f14*f1+41652*f14*f2+52788*f14*f4+57991*f14*f5+4362*f15^2+45197*f15*f16+9960*f15*f17+58244*f15*f18+29992*f15*f19+40209*f15*f20+952*f15*f6+52200*f15*f7+53004*f15*f3+48963*f15*f0+59094*f15*f1+62264*f15*f2+4631*f15*f4+43807*f15*f5+36592*f16^2+24653*f16*f17+52252*f16*f18+54922*f16*f19+43497*f16*f20+1988*f16*f6+24214*f16*f7+49018*f16*f3+30944*f16*f0+54027*f16*f1+45230*f16*f2+61702*f16*f4+62573*f16*f5+41285*f17^2+52887*f17*f18+54970*f17*f19+53296*f17*f20+65256*f17*f6+8044*f17*f7+56548*f17*f3+63110*f17*f0+26910*f17*f1+33323*f17*f2+12407*f17*f4+53258*f17*f5+4293*f18^2+9110*f18*f19+55211*f18*f20+41810*f12*f4+17331*f12*f5+39930*f8^2+62356*f8*f9+36350*f8*f10+31912*f8*f11+48615*f8*f13+40975*f8*f14+31754*f8*f15+4643*f8*f16+50763*f8*f17+60739*f8*f18+45658*f8*f19+52399*f8*f20+43691*f8*f6+16*f8*f7+37190*f8*f3+47401*f8*f0+45928*f8*f1+50046*f8*f2+9571*f8*f4+25780*f8*f5+24830*f9^2+33732*f9*f10+4101*f9*f11+5765*f9*f13+25857*f9*f14+59266*f9*f15+50532*f9*f16+30441*f9*f17+11684*f9*f18+53300*f9*f19+9947*f9*f20+37170*f9*f6+30077*f9*f7+7510*f9*f3+41478*f9*f0+12111*f9*f1+29891*f9*f2+10266*f9*f4+25167*f9*f5+25215*f10^2+11900*f10*f11+46717*f10*f13+6106*f10*f14+64386*f10*f15+22682*f10*f16+27364*f10*f17+64132*f10*f18+32088*f10*f19+31292*f10*f20+33613*f10*f6+1320*f10*f7+54209*f10*f3+12083*f10*f0+54363*f10*f1+972*f10*f2+36116*f10*f4+30178*f10*f5+39381*f11^2+27992*f11*f13+27023*f11*f14+31*f11*f15+5846*f11*f16+56634*f11*f17+62153*f11*f18+48654*f11*f19+14270*f11*f20+17728*f11*f6+6314*f11*f7+15780*f11*f3+56705*f11*f0+40541*f11*f1+43962*f11*f2+50449*f11*f4+50438*f11*f5+9290*f13^2+60547*f13*f14+12857*f13*f15+17213*f13*f16+50999*f13*f17+40384*f13*f18+34317*f13*f19+23591*f13*f20+39556*f13*f6+61248*f13*f7+51708*f13*f3+486*f12^2+38692*f12*f8+54536*f12*f9+47082*f12*f10+35198*f12*f11+35516*f12*f13+59201*f12*f14+39204*f12*f15+12492*f12*f16+58187*f12*f17+10108*f12*f18+14281*f12*f19+55688*f12*f20+13561*f12*f6+29452*f12*f7+20808*f12*f3+61320*f12*f0+19876*f12*f1+32409*f12*f2+30854*f0+59896*f1+63486*f2+37704*f3+31701*f4+17574*f5+19887*f6+49815*f7+3304*f8+19166*f9+10496*f10+58942*f11+2159*f13+32380*f14+33856*f15+20595*f16+23061*f17+58520*f18+13710*f19+22387*f20, 58942*f12+57824*f5^2+13402*f3^2+24621*f3*f0+27977*f3*f1+26921*f3*f2+60423*f3*f4+53300*f3*f5+7640*f0^2+12232*f0*f1+8974*f0*f2+10331*f0*f4+64672*f0*f5+14707*f1^2+22758*f1*f2+53243*f1*f4+10332*f1*f5+59503*f2^2+12954*f2*f4+60074*f2*f5+48000*f4^2+40844*f4*f5+53258*f18*f6+65256*f18*f7+33323*f18*f3+53296*f18*f0+63110*f18*f1+26910*f18*f2+56548*f18*f4+12407*f18*f5+4293*f19^2+9110*f19*f20+25728*f19*f6+6476*f19*f7+57956*f19*f3+55211*f19*f0+27766*f19*f1+5008*f19*f2+36810*f19*f4+27373*f19*f5+49872*f20^2+37646*f20*f6+35778*f20*f7+24192*f20*f3+50812*f20*f0+9528*f20*f1+64455*f20*f2+53342*f20*f4+39834*f20*f5+45003*f6^2+10248*f6*f7+22752*f6*f3+16587*f6*f0+18321*f6*f1+34878*f6*f2+57967*f6*f4+42143*f6*f5+8013*f7^2+43866*f7*f3+55669*f7*f0+44187*f7*f1+25465*f7*f2+59769*f7*f4+54971*f7*f5+55688*f13*f0+61320*f13*f1+19876*f13*f2+20808*f13*f4+41810*f13*f5+9290*f14^2+60547*f14*f15+12857*f14*f16+17213*f14*f17+50999*f14*f18+40384*f14*f19+34317*f14*f20+11214*f14*f6+39556*f14*f7+58205*f14*f3+23591*f14*f0+23379*f14*f1+19541*f14*f2+51708*f14*f4+11549*f14*f5+62879*f15^2+50858*f15*f16+52245*f15*f17+10207*f15*f18+20560*f15*f19+50050*f15*f20+57991*f15*f6+1344*f15*f7+41652*f15*f3+64474*f15*f0+42145*f15*f1+21760*f15*f2+5454*f15*f4+52788*f15*f5+4362*f16^2+45197*f16*f17+9960*f16*f18+58244*f16*f19+29992*f16*f20+43807*f16*f6+952*f16*f7+62264*f16*f3+40209*f16*f0+48963*f16*f1+59094*f16*f2+53004*f16*f4+4631*f16*f5+36592*f17^2+24653*f17*f18+52252*f17*f19+54922*f17*f20+62573*f17*f6+1988*f17*f7+45230*f17*f3+43497*f17*f0+30944*f17*f1+54027*f17*f2+49018*f17*f4+61702*f17*f5+41285*f18^2+52887*f18*f19+54970*f18*f20+15780*f12*f4+50449*f12*f5+57392*f8^2+16*f8*f9+30077*f8*f10+1320*f8*f11+29452*f8*f13+61248*f8*f14+27444*f8*f15+52200*f8*f16+24214*f8*f17+8044*f8*f18+26936*f8*f19+11013*f8*f20+45458*f8*f6+52291*f8*f7+40445*f8*f3+16449*f8*f0+784*f8*f1+47884*f8*f2+65069*f8*f4+61867*f8*f5+39930*f9^2+62356*f9*f10+36350*f9*f11+38692*f9*f13+48615*f9*f14+40975*f9*f15+31754*f9*f16+4643*f9*f17+50763*f9*f18+60739*f9*f19+45658*f9*f20+25780*f9*f6+43691*f9*f7+50046*f9*f3+52399*f9*f0+47401*f9*f1+45928*f9*f2+37190*f9*f4+9571*f9*f5+24830*f10^2+33732*f10*f11+54536*f10*f13+5765*f10*f14+25857*f10*f15+59266*f10*f16+50532*f10*f17+30441*f10*f18+11684*f10*f19+53300*f10*f20+25167*f10*f6+37170*f10*f7+29891*f10*f3+9947*f10*f0+41478*f10*f1+12111*f10*f2+7510*f10*f4+10266*f10*f5+25215*f11^2+47082*f11*f13+46717*f11*f14+6106*f11*f15+64386*f11*f16+22682*f11*f17+27364*f11*f18+64132*f11*f19+32088*f11*f20+30178*f11*f6+33613*f11*f7+972*f11*f3+31292*f11*f0+12083*f11*f1+54363*f11*f2+54209*f11*f4+36116*f11*f5+486*f13^2+35516*f13*f14+59201*f13*f15+39204*f13*f16+12492*f13*f17+58187*f13*f18+10108*f13*f19+14281*f13*f20+17331*f13*f6+13561*f13*f7+32409*f13*f3+39381*f12^2+6314*f12*f8+31912*f12*f9+4101*f12*f10+11900*f12*f11+35198*f12*f13+27992*f12*f14+27023*f12*f15+31*f12*f16+5846*f12*f17+56634*f12*f18+62153*f12*f19+48654*f12*f20+50438*f12*f6+17728*f12*f7+43962*f12*f3+14270*f12*f0+56705*f12*f1+40541*f12*f2+22387*f0+30854*f1+59896*f2+63486*f3+37704*f4+31701*f5+17574*f6+19887*f7+49815*f8+3304*f9+19166*f10+10496*f11+53906*f13+2159*f14+32380*f15+33856*f16+20595*f17+23061*f18+58520*f19+13710*f20, 10496*f12+48000*f5^2+59503*f3^2+64455*f3*f0+8974*f3*f1+22758*f3*f2+26921*f3*f4+12954*f3*f5+49872*f0^2+50812*f0*f1+9528*f0*f2+24192*f0*f4+53342*f0*f5+7640*f1^2+12232*f1*f2+24621*f1*f4+10331*f1*f5+14707*f2^2+27977*f2*f4+53243*f2*f5+13402*f4^2+60423*f4*f5+61702*f18*f6+62573*f18*f7+54027*f18*f3+54922*f18*f0+43497*f18*f1+30944*f18*f2+45230*f18*f4+49018*f18*f5+41285*f19^2+52887*f19*f20+12407*f19*f6+53258*f19*f7+26910*f19*f3+54970*f19*f0+53296*f19*f1+63110*f19*f2+33323*f19*f4+56548*f19*f5+4293*f20^2+27373*f20*f6+25728*f20*f7+5008*f20*f3+9110*f20*f0+55211*f20*f1+27766*f20*f2+57956*f20*f4+36810*f20*f5+57824*f6^2+42143*f6*f7+60074*f6*f3+39834*f6*f0+64672*f6*f1+10332*f6*f2+53300*f6*f4+40844*f6*f5+45003*f7^2+34878*f7*f3+37646*f7*f0+16587*f7*f1+18321*f7*f2+22752*f7*f4+57967*f7*f5+48654*f13*f0+14270*f13*f1+56705*f13*f2+43962*f13*f4+15780*f13*f5+486*f14^2+35516*f14*f15+59201*f14*f16+39204*f14*f17+12492*f14*f18+58187*f14*f19+10108*f14*f20+41810*f14*f6+17331*f14*f7+19876*f14*f3+14281*f14*f0+55688*f14*f1+61320*f14*f2+32409*f14*f4+20808*f14*f5+9290*f15^2+60547*f15*f16+12857*f15*f17+17213*f15*f18+50999*f15*f19+40384*f15*f20+11549*f15*f6+11214*f15*f7+19541*f15*f3+34317*f15*f0+23591*f15*f1+23379*f15*f2+58205*f15*f4+51708*f15*f5+62879*f16^2+50858*f16*f17+52245*f16*f18+10207*f16*f19+20560*f16*f20+52788*f16*f6+57991*f16*f7+21760*f16*f3+50050*f16*f0+64474*f16*f1+42145*f16*f2+41652*f16*f4+5454*f16*f5+4362*f17^2+45197*f17*f18+9960*f17*f19+58244*f17*f20+4631*f17*f6+43807*f17*f7+59094*f17*f3+29992*f17*f0+40209*f17*f1+48963*f17*f2+62264*f17*f4+53004*f17*f5+36592*f18^2+24653*f18*f19+52252*f18*f20+972*f12*f4+54209*f12*f5+8013*f8^2+52291*f8*f9+43691*f8*f10+37170*f8*f11+17728*f8*f13+13561*f8*f14+39556*f8*f15+1344*f8*f16+952*f8*f17+1988*f8*f18+65256*f8*f19+6476*f8*f20+54971*f8*f6+10248*f8*f7+25465*f8*f3+35778*f8*f0+55669*f8*f1+44187*f8*f2+43866*f8*f4+59769*f8*f5+57392*f9^2+16*f9*f10+30077*f9*f11+6314*f9*f13+29452*f9*f14+61248*f9*f15+27444*f9*f16+52200*f9*f17+24214*f9*f18+8044*f9*f19+26936*f9*f20+61867*f9*f6+45458*f9*f7+47884*f9*f3+11013*f9*f0+16449*f9*f1+784*f9*f2+40445*f9*f4+65069*f9*f5+39930*f10^2+62356*f10*f11+31912*f10*f13+38692*f10*f14+48615*f10*f15+40975*f10*f16+31754*f10*f17+4643*f10*f18+50763*f10*f19+60739*f10*f20+9571*f10*f6+25780*f10*f7+45928*f10*f3+45658*f10*f0+52399*f10*f1+47401*f10*f2+50046*f10*f4+37190*f10*f5+24830*f11^2+4101*f11*f13+54536*f11*f14+5765*f11*f15+25857*f11*f16+59266*f11*f17+50532*f11*f18+30441*f11*f19+11684*f11*f20+10266*f11*f6+25167*f11*f7+12111*f11*f3+53300*f11*f0+9947*f11*f1+41478*f11*f2+29891*f11*f4+7510*f11*f5+39381*f13^2+35198*f13*f14+27992*f13*f15+27023*f13*f16+31*f13*f17+5846*f13*f18+56634*f13*f19+62153*f13*f20+50449*f13*f6+50438*f13*f7+40541*f13*f3+25215*f12^2+33613*f12*f8+1320*f12*f9+36350*f12*f10+33732*f12*f11+11900*f12*f13+47082*f12*f14+46717*f12*f15+6106*f12*f16+64386*f12*f17+22682*f12*f18+27364*f12*f19+64132*f12*f20+36116*f12*f6+30178*f12*f7+54363*f12*f3+32088*f12*f0+31292*f12*f1+12083*f12*f2+13710*f0+22387*f1+30854*f2+59896*f3+63486*f4+37704*f5+31701*f6+17574*f7+19887*f8+49815*f9+3304*f10+19166*f11+58942*f13+53906*f14+2159*f15+32380*f16+33856*f17+20595*f18+23061*f19+58520*f20, 19166*f12+13402*f5^2+14707*f3^2+27766*f3*f0+9528*f3*f1+12232*f3*f2+22758*f3*f4+27977*f3*f5+4293*f0^2+9110*f0*f1+55211*f0*f2+5008*f0*f4+57956*f0*f5+49872*f1^2+50812*f1*f2+64455*f1*f4+24192*f1*f5+7640*f2^2+8974*f2*f4+24621*f2*f5+59503*f4^2+26921*f4*f5+53004*f18*f6+4631*f18*f7+48963*f18*f3+58244*f18*f0+29992*f18*f1+40209*f18*f2+59094*f18*f4+62264*f18*f5+36592*f19^2+24653*f19*f20+49018*f19*f6+61702*f19*f7+30944*f19*f3+52252*f19*f0+54922*f19*f1+43497*f19*f2+54027*f19*f4+45230*f19*f5+41285*f20^2+56548*f20*f6+12407*f20*f7+63110*f20*f3+52887*f20*f0+54970*f20*f1+53296*f20*f2+26910*f20*f4+33323*f20*f5+48000*f6^2+40844*f6*f7+53243*f6*f3+36810*f6*f0+53342*f6*f1+10331*f6*f2+12954*f6*f4+60423*f6*f5+57824*f7^2+10332*f7*f3+27373*f7*f0+39834*f7*f1+64672*f7*f2+60074*f7*f4+53300*f7*f5+64132*f13*f0+32088*f13*f1+31292*f13*f2+54363*f13*f4+972*f13*f5+39381*f14^2+35198*f14*f15+27992*f14*f16+27023*f14*f17+31*f14*f18+5846*f14*f19+56634*f14*f20+15780*f14*f6+50449*f14*f7+56705*f14*f3+62153*f14*f0+48654*f14*f1+14270*f14*f2+40541*f14*f4+43962*f14*f5+486*f15^2+35516*f15*f16+59201*f15*f17+39204*f15*f18+12492*f15*f19+58187*f15*f20+20808*f15*f6+41810*f15*f7+61320*f15*f3+10108*f15*f0+14281*f15*f1+55688*f15*f2+19876*f15*f4+32409*f15*f5+9290*f16^2+60547*f16*f17+12857*f16*f18+17213*f16*f19+50999*f16*f20+51708*f16*f6+11549*f16*f7+23379*f16*f3+40384*f16*f0+34317*f16*f1+23591*f16*f2+19541*f16*f4+58205*f16*f5+62879*f17^2+50858*f17*f18+52245*f17*f19+10207*f17*f20+5454*f17*f6+52788*f17*f7+42145*f17*f3+20560*f17*f0+50050*f17*f1+64474*f17*f2+21760*f17*f4+41652*f17*f5+4362*f18^2+45197*f18*f19+9960*f18*f20+12111*f12*f4+29891*f12*f5+45003*f8^2+10248*f8*f9+45458*f8*f10+25780*f8*f11+30178*f8*f13+50438*f8*f14+17331*f8*f15+11214*f8*f16+57991*f8*f17+43807*f8*f18+62573*f8*f19+53258*f8*f20+57967*f8*f6+42143*f8*f7+18321*f8*f3+25728*f8*f0+37646*f8*f1+16587*f8*f2+34878*f8*f4+22752*f8*f5+8013*f9^2+52291*f9*f10+43691*f9*f11+33613*f9*f13+17728*f9*f14+13561*f9*f15+39556*f9*f16+1344*f9*f17+952*f9*f18+1988*f9*f19+65256*f9*f20+59769*f9*f6+54971*f9*f7+44187*f9*f3+6476*f9*f0+35778*f9*f1+55669*f9*f2+25465*f9*f4+43866*f9*f5+57392*f10^2+16*f10*f11+1320*f10*f13+6314*f10*f14+29452*f10*f15+61248*f10*f16+27444*f10*f17+52200*f10*f18+24214*f10*f19+8044*f10*f20+65069*f10*f6+61867*f10*f7+784*f10*f3+26936*f10*f0+11013*f10*f1+16449*f10*f2+47884*f10*f4+40445*f10*f5+39930*f11^2+36350*f11*f13+31912*f11*f14+38692*f11*f15+48615*f11*f16+40975*f11*f17+31754*f11*f18+4643*f11*f19+50763*f11*f20+37190*f11*f6+9571*f11*f7+47401*f11*f3+60739*f11*f0+45658*f11*f1+52399*f11*f2+45928*f11*f4+50046*f11*f5+25215*f13^2+11900*f13*f14+47082*f13*f15+46717*f13*f16+6106*f13*f17+64386*f13*f18+22682*f13*f19+27364*f13*f20+54209*f13*f6+36116*f13*f7+12083*f13*f3+24830*f12^2+25167*f12*f8+37170*f12*f9+30077*f12*f10+62356*f12*f11+33732*f12*f13+4101*f12*f14+54536*f12*f15+5765*f12*f16+25857*f12*f17+59266*f12*f18+50532*f12*f19+30441*f12*f20+7510*f12*f6+10266*f12*f7+41478*f12*f3+11684*f12*f0+53300*f12*f1+9947*f12*f2+58520*f0+13710*f1+22387*f2+30854*f3+59896*f4+63486*f5+37704*f6+31701*f7+17574*f8+19887*f9+49815*f10+3304*f11+10496*f13+58942*f14+53906*f15+2159*f16+32380*f17+33856*f18+20595*f19+23061*f20, 3304*f12+59503*f5^2+7640*f3^2+53296*f3*f0+55211*f3*f1+50812*f3*f2+12232*f3*f4+8974*f3*f5+41285*f0^2+52887*f0*f1+54970*f0*f2+63110*f0*f4+26910*f0*f5+4293*f1^2+9110*f1*f2+27766*f1*f4+5008*f1*f5+49872*f2^2+9528*f2*f4+64455*f2*f5+14707*f4^2+22758*f4*f5+41652*f18*f6+5454*f18*f7+64474*f18*f3+10207*f18*f0+20560*f18*f1+50050*f18*f2+42145*f18*f4+21760*f18*f5+4362*f19^2+45197*f19*f20+62264*f19*f6+53004*f19*f7+40209*f19*f3+9960*f19*f0+58244*f19*f1+29992*f19*f2+48963*f19*f4+59094*f19*f5+36592*f20^2+45230*f20*f6+49018*f20*f7+43497*f20*f3+24653*f20*f0+52252*f20*f1+54922*f20*f2+30944*f20*f4+54027*f20*f5+13402*f6^2+60423*f6*f7+24621*f6*f3+33323*f6*f0+57956*f6*f1+24192*f6*f2+27977*f6*f4+26921*f6*f5+48000*f7^2+10331*f7*f3+56548*f7*f0+36810*f7*f1+53342*f7*f2+53243*f7*f4+12954*f7*f5+30441*f13*f0+11684*f13*f1+53300*f13*f2+41478*f13*f4+12111*f13*f5+25215*f14^2+11900*f14*f15+47082*f14*f16+46717*f14*f17+6106*f14*f18+64386*f14*f19+22682*f14*f20+972*f14*f6+54209*f14*f7+31292*f14*f3+27364*f14*f0+64132*f14*f1+32088*f14*f2+12083*f14*f4+54363*f14*f5+39381*f15^2+35198*f15*f16+27992*f15*f17+27023*f15*f18+31*f15*f19+5846*f15*f20+43962*f15*f6+15780*f15*f7+14270*f15*f3+56634*f15*f0+62153*f15*f1+48654*f15*f2+56705*f15*f4+40541*f15*f5+486*f16^2+35516*f16*f17+59201*f16*f18+39204*f16*f19+12492*f16*f20+32409*f16*f6+20808*f16*f7+55688*f16*f3+58187*f16*f0+10108*f16*f1+14281*f16*f2+61320*f16*f4+19876*f16*f5+9290*f17^2+60547*f17*f18+12857*f17*f19+17213*f17*f20+58205*f17*f6+51708*f17*f7+23591*f17*f3+50999*f17*f0+40384*f17*f1+34317*f17*f2+23379*f17*f4+19541*f17*f5+62879*f18^2+50858*f18*f19+52245*f18*f20+47401*f12*f4+45928*f12*f5+57824*f8^2+42143*f8*f9+54971*f8*f10+61867*f8*f11+10266*f8*f13+36116*f8*f14+50449*f8*f15+41810*f8*f16+11549*f8*f17+52788*f8*f18+4631*f8*f19+61702*f8*f20+53300*f8*f6+40844*f8*f7+64672*f8*f3+12407*f8*f0+27373*f8*f1+39834*f8*f2+10332*f8*f4+60074*f8*f5+45003*f9^2+10248*f9*f10+45458*f9*f11+25167*f9*f13+30178*f9*f14+50438*f9*f15+17331*f9*f16+11214*f9*f17+57991*f9*f18+43807*f9*f19+62573*f9*f20+22752*f9*f6+57967*f9*f7+16587*f9*f3+53258*f9*f0+25728*f9*f1+37646*f9*f2+18321*f9*f4+34878*f9*f5+8013*f10^2+52291*f10*f11+37170*f10*f13+33613*f10*f14+17728*f10*f15+13561*f10*f16+39556*f10*f17+1344*f10*f18+952*f10*f19+1988*f10*f20+43866*f10*f6+59769*f10*f7+55669*f10*f3+65256*f10*f0+6476*f10*f1+35778*f10*f2+44187*f10*f4+25465*f10*f5+57392*f11^2+30077*f11*f13+1320*f11*f14+6314*f11*f15+29452*f11*f16+61248*f11*f17+27444*f11*f18+52200*f11*f19+24214*f11*f20+40445*f11*f6+65069*f11*f7+16449*f11*f3+8044*f11*f0+26936*f11*f1+11013*f11*f2+784*f11*f4+47884*f11*f5+24830*f13^2+33732*f13*f14+4101*f13*f15+54536*f13*f16+5765*f13*f17+25857*f13*f18+59266*f13*f19+50532*f13*f20+29891*f13*f6+7510*f13*f7+9947*f13*f3+39930*f12^2+9571*f12*f8+25780*f12*f9+43691*f12*f10+16*f12*f11+62356*f12*f13+36350*f12*f14+31912*f12*f15+38692*f12*f16+48615*f12*f17+40975*f12*f18+31754*f12*f19+4643*f12*f20+50046*f12*f6+37190*f12*f7+52399*f12*f3+50763*f12*f0+60739*f12*f1+45658*f12*f2+23061*f0+58520*f1+13710*f2+22387*f3+30854*f4+59896*f5+63486*f6+37704*f7+31701*f8+17574*f9+19887*f10+49815*f11+19166*f13+10496*f14+58942*f15+53906*f16+2159*f17+32380*f18+33856*f19+20595*f20, 49815*f12+14707*f5^2+49872*f3^2+54922*f3*f0+54970*f3*f1+9110*f3*f2+50812*f3*f4+9528*f3*f5+36592*f0^2+24653*f0*f1+52252*f0*f2+43497*f0*f4+30944*f0*f5+41285*f1^2+52887*f1*f2+53296*f1*f4+63110*f1*f5+4293*f2^2+55211*f2*f4+27766*f2*f5+7640*f4^2+12232*f4*f5+19541*f18*f6+58205*f18*f7+34317*f18*f3+17213*f18*f0+50999*f18*f1+40384*f18*f2+23591*f18*f4+23379*f18*f5+62879*f19^2+50858*f19*f20+21760*f19*f6+41652*f19*f7+50050*f19*f3+52245*f19*f0+10207*f19*f1+20560*f19*f2+64474*f19*f4+42145*f19*f5+4362*f20^2+59094*f20*f6+62264*f20*f7+29992*f20*f3+45197*f20*f0+9960*f20*f1+58244*f20*f2+40209*f20*f4+48963*f20*f5+59503*f6^2+26921*f6*f7+64455*f6*f3+54027*f6*f0+26910*f6*f1+5008*f6*f2+8974*f6*f4+22758*f6*f5+13402*f7^2+24192*f7*f3+45230*f7*f0+33323*f7*f1+57956*f7*f2+24621*f7*f4+27977*f7*f5+4643*f13*f0+50763*f13*f1+60739*f13*f2+52399*f13*f4+47401*f13*f5+24830*f14^2+33732*f14*f15+4101*f14*f16+54536*f14*f17+5765*f14*f18+25857*f14*f19+59266*f14*f20+12111*f14*f6+29891*f14*f7+53300*f14*f3+50532*f14*f0+30441*f14*f1+11684*f14*f2+9947*f14*f4+41478*f14*f5+25215*f15^2+11900*f15*f16+47082*f15*f17+46717*f15*f18+6106*f15*f19+64386*f15*f20+54363*f15*f6+972*f15*f7+32088*f15*f3+22682*f15*f0+27364*f15*f1+64132*f15*f2+31292*f15*f4+12083*f15*f5+39381*f16^2+35198*f16*f17+27992*f16*f18+27023*f16*f19+31*f16*f20+40541*f16*f6+43962*f16*f7+48654*f16*f3+5846*f16*f0+56634*f16*f1+62153*f16*f2+14270*f16*f4+56705*f16*f5+486*f17^2+35516*f17*f18+59201*f17*f19+39204*f17*f20+19876*f17*f6+32409*f17*f7+14281*f17*f3+12492*f17*f0+58187*f17*f1+10108*f17*f2+55688*f17*f4+61320*f17*f5+9290*f18^2+60547*f18*f19+12857*f18*f20+16449*f12*f4+784*f12*f5+48000*f8^2+40844*f8*f9+57967*f8*f10+59769*f8*f11+37190*f8*f13+7510*f8*f14+54209*f8*f15+15780*f8*f16+20808*f8*f17+51708*f8*f18+5454*f8*f19+53004*f8*f20+12954*f8*f6+60423*f8*f7+53342*f8*f3+49018*f8*f0+56548*f8*f1+36810*f8*f2+10331*f8*f4+53243*f8*f5+57824*f9^2+42143*f9*f10+54971*f9*f11+9571*f9*f13+10266*f9*f14+36116*f9*f15+50449*f9*f16+41810*f9*f17+11549*f9*f18+52788*f9*f19+4631*f9*f20+60074*f9*f6+53300*f9*f7+39834*f9*f3+61702*f9*f0+12407*f9*f1+27373*f9*f2+64672*f9*f4+10332*f9*f5+45003*f10^2+10248*f10*f11+25780*f10*f13+25167*f10*f14+30178*f10*f15+50438*f10*f16+17331*f10*f17+11214*f10*f18+57991*f10*f19+43807*f10*f20+34878*f10*f6+22752*f10*f7+37646*f10*f3+62573*f10*f0+53258*f10*f1+25728*f10*f2+16587*f10*f4+18321*f10*f5+8013*f11^2+43691*f11*f13+37170*f11*f14+33613*f11*f15+17728*f11*f16+13561*f11*f17+39556*f11*f18+1344*f11*f19+952*f11*f20+25465*f11*f6+43866*f11*f7+35778*f11*f3+1988*f11*f0+65256*f11*f1+6476*f11*f2+55669*f11*f4+44187*f11*f5+39930*f13^2+62356*f13*f14+36350*f13*f15+31912*f13*f16+38692*f13*f17+48615*f13*f18+40975*f13*f19+31754*f13*f20+45928*f13*f6+50046*f13*f7+45658*f13*f3+57392*f12^2+65069*f12*f8+61867*f12*f9+45458*f12*f10+52291*f12*f11+16*f12*f13+30077*f12*f14+1320*f12*f15+6314*f12*f16+29452*f12*f17+61248*f12*f18+27444*f12*f19+52200*f12*f20+47884*f12*f6+40445*f12*f7+11013*f12*f3+24214*f12*f0+8044*f12*f1+26936*f12*f2+20595*f0+23061*f1+58520*f2+13710*f3+22387*f4+30854*f5+59896*f6+63486*f7+37704*f8+31701*f9+17574*f10+19887*f11+3304*f13+19166*f14+10496*f15+58942*f16+53906*f17+2159*f18+32380*f19+33856*f20, 19887*f12+7640*f5^2+4293*f3^2+58244*f3*f0+52252*f3*f1+52887*f3*f2+9110*f3*f4+55211*f3*f5+4362*f0^2+45197*f0*f1+9960*f0*f2+29992*f0*f4+40209*f0*f5+36592*f1^2+24653*f1*f2+54922*f1*f4+43497*f1*f5+41285*f2^2+54970*f2*f4+53296*f2*f5+49872*f4^2+50812*f4*f5+61320*f18*f6+19876*f18*f7+10108*f18*f3+39204*f18*f0+12492*f18*f1+58187*f18*f2+14281*f18*f4+55688*f18*f5+9290*f19^2+60547*f19*f20+23379*f19*f6+19541*f19*f7+40384*f19*f3+12857*f19*f0+17213*f19*f1+50999*f19*f2+34317*f19*f4+23591*f19*f5+62879*f20^2+42145*f20*f6+21760*f20*f7+20560*f20*f3+50858*f20*f0+52245*f20*f1+10207*f20*f2+50050*f20*f4+64474*f20*f5+14707*f6^2+22758*f6*f7+27766*f6*f3+48963*f6*f0+30944*f6*f1+63110*f6*f2+9528*f6*f4+12232*f6*f5+59503*f7^2+5008*f7*f3+59094*f7*f0+54027*f7*f1+26910*f7*f2+64455*f7*f4+8974*f7*f5+52200*f13*f0+24214*f13*f1+8044*f13*f2+11013*f13*f4+16449*f13*f5+39930*f14^2+62356*f14*f15+36350*f14*f16+31912*f14*f17+38692*f14*f18+48615*f14*f19+40975*f14*f20+47401*f14*f6+45928*f14*f7+60739*f14*f3+31754*f14*f0+4643*f14*f1+50763*f14*f2+45658*f14*f4+52399*f14*f5+24830*f15^2+33732*f15*f16+4101*f15*f17+54536*f15*f18+5765*f15*f19+25857*f15*f20+41478*f15*f6+12111*f15*f7+11684*f15*f3+59266*f15*f0+50532*f15*f1+30441*f15*f2+53300*f15*f4+9947*f15*f5+25215*f16^2+11900*f16*f17+47082*f16*f18+46717*f16*f19+6106*f16*f20+12083*f16*f6+54363*f16*f7+64132*f16*f3+64386*f16*f0+22682*f16*f1+27364*f16*f2+32088*f16*f4+31292*f16*f5+39381*f17^2+35198*f17*f18+27992*f17*f19+27023*f17*f20+56705*f17*f6+40541*f17*f7+62153*f17*f3+31*f17*f0+5846*f17*f1+56634*f17*f2+48654*f17*f4+14270*f17*f5+486*f18^2+35516*f18*f19+59201*f18*f20+35778*f12*f4+55669*f12*f5+13402*f8^2+60423*f8*f9+53300*f8*f10+22752*f8*f11+40445*f8*f13+50046*f8*f14+29891*f8*f15+972*f8*f16+43962*f8*f17+32409*f8*f18+58205*f8*f19+41652*f8*f20+27977*f8*f6+26921*f8*f7+57956*f8*f3+62264*f8*f0+45230*f8*f1+33323*f8*f2+24192*f8*f4+24621*f8*f5+48000*f9^2+40844*f9*f10+57967*f9*f11+65069*f9*f13+37190*f9*f14+7510*f9*f15+54209*f9*f16+15780*f9*f17+20808*f9*f18+51708*f9*f19+5454*f9*f20+53243*f9*f6+12954*f9*f7+36810*f9*f3+53004*f9*f0+49018*f9*f1+56548*f9*f2+53342*f9*f4+10331*f9*f5+57824*f10^2+42143*f10*f11+61867*f10*f13+9571*f10*f14+10266*f10*f15+36116*f10*f16+50449*f10*f17+41810*f10*f18+11549*f10*f19+52788*f10*f20+10332*f10*f6+60074*f10*f7+27373*f10*f3+4631*f10*f0+61702*f10*f1+12407*f10*f2+39834*f10*f4+64672*f10*f5+45003*f11^2+45458*f11*f13+25780*f11*f14+25167*f11*f15+30178*f11*f16+50438*f11*f17+17331*f11*f18+11214*f11*f19+57991*f11*f20+18321*f11*f6+34878*f11*f7+25728*f11*f3+43807*f11*f0+62573*f11*f1+53258*f11*f2+37646*f11*f4+16587*f11*f5+57392*f13^2+16*f13*f14+30077*f13*f15+1320*f13*f16+6314*f13*f17+29452*f13*f18+61248*f13*f19+27444*f13*f20+784*f13*f6+47884*f13*f7+26936*f13*f3+8013*f12^2+43866*f12*f8+59769*f12*f9+54971*f12*f10+10248*f12*f11+52291*f12*f13+43691*f12*f14+37170*f12*f15+33613*f12*f16+17728*f12*f17+13561*f12*f18+39556*f12*f19+1344*f12*f20+44187*f12*f6+25465*f12*f7+6476*f12*f3+952*f12*f0+1988*f12*f1+65256*f12*f2+33856*f0+20595*f1+23061*f2+58520*f3+13710*f4+22387*f5+30854*f6+59896*f7+63486*f8+37704*f9+31701*f10+17574*f11+49815*f13+3304*f14+19166*f15+10496*f16+58942*f17+53906*f18+2159*f19+32380*f20, 17574*f12+49872*f5^2+41285*f3^2+10207*f3*f0+9960*f3*f1+24653*f3*f2+52887*f3*f4+54970*f3*f5+62879*f0^2+50858*f0*f1+52245*f0*f2+20560*f0*f4+50050*f0*f5+4362*f1^2+45197*f1*f2+58244*f1*f4+29992*f1*f5+36592*f2^2+52252*f2*f4+54922*f2*f5+4293*f4^2+9110*f4*f5+14270*f18*f6+56705*f18*f7+56634*f18*f3+27023*f18*f0+31*f18*f1+5846*f18*f2+62153*f18*f4+48654*f18*f5+486*f19^2+35516*f19*f20+55688*f19*f6+61320*f19*f7+58187*f19*f3+59201*f19*f0+39204*f19*f1+12492*f19*f2+10108*f19*f4+14281*f19*f5+9290*f20^2+23591*f20*f6+23379*f20*f7+50999*f20*f3+60547*f20*f0+12857*f20*f1+17213*f20*f2+40384*f20*f4+34317*f20*f5+7640*f6^2+12232*f6*f7+53296*f6*f3+64474*f6*f0+40209*f6*f1+43497*f6*f2+55211*f6*f4+50812*f6*f5+14707*f7^2+63110*f7*f3+42145*f7*f0+48963*f7*f1+30944*f7*f2+27766*f7*f4+9528*f7*f5+1344*f13*f0+952*f13*f1+1988*f13*f2+6476*f13*f4+35778*f13*f5+57392*f14^2+16*f14*f15+30077*f14*f16+1320*f14*f17+6314*f14*f18+29452*f14*f19+61248*f14*f20+16449*f14*f6+784*f14*f7+8044*f14*f3+27444*f14*f0+52200*f14*f1+24214*f14*f2+26936*f14*f4+11013*f14*f5+39930*f15^2+62356*f15*f16+36350*f15*f17+31912*f15*f18+38692*f15*f19+48615*f15*f20+52399*f15*f6+47401*f15*f7+50763*f15*f3+40975*f15*f0+31754*f15*f1+4643*f15*f2+60739*f15*f4+45658*f15*f5+24830*f16^2+33732*f16*f17+4101*f16*f18+54536*f16*f19+5765*f16*f20+9947*f16*f6+41478*f16*f7+30441*f16*f3+25857*f16*f0+59266*f16*f1+50532*f16*f2+11684*f16*f4+53300*f16*f5+25215*f17^2+11900*f17*f18+47082*f17*f19+46717*f17*f20+31292*f17*f6+12083*f17*f7+27364*f17*f3+6106*f17*f0+64386*f17*f1+22682*f17*f2+64132*f17*f4+32088*f17*f5+39381*f18^2+35198*f18*f19+27992*f18*f20+25728*f12*f4+37646*f12*f5+59503*f8^2+26921*f8*f9+12954*f8*f10+60074*f8*f11+25465*f8*f13+47884*f8*f14+45928*f8*f15+12111*f8*f16+54363*f8*f17+40541*f8*f18+19876*f8*f19+19541*f8*f20+8974*f8*f6+22758*f8*f7+26910*f8*f3+21760*f8*f0+59094*f8*f1+54027*f8*f2+5008*f8*f4+64455*f8*f5+13402*f9^2+60423*f9*f10+53300*f9*f11+43866*f9*f13+40445*f9*f14+50046*f9*f15+29891*f9*f16+972*f9*f17+43962*f9*f18+32409*f9*f19+58205*f9*f20+24621*f9*f6+27977*f9*f7+33323*f9*f3+41652*f9*f0+62264*f9*f1+45230*f9*f2+57956*f9*f4+24192*f9*f5+48000*f10^2+40844*f10*f11+59769*f10*f13+65069*f10*f14+37190*f10*f15+7510*f10*f16+54209*f10*f17+15780*f10*f18+20808*f10*f19+51708*f10*f20+10331*f10*f6+53243*f10*f7+56548*f10*f3+5454*f10*f0+53004*f10*f1+49018*f10*f2+36810*f10*f4+53342*f10*f5+57824*f11^2+54971*f11*f13+61867*f11*f14+9571*f11*f15+10266*f11*f16+36116*f11*f17+50449*f11*f18+41810*f11*f19+11549*f11*f20+64672*f11*f6+10332*f11*f7+12407*f11*f3+52788*f11*f0+4631*f11*f1+61702*f11*f2+27373*f11*f4+39834*f11*f5+8013*f13^2+52291*f13*f14+43691*f13*f15+37170*f13*f16+33613*f13*f17+17728*f13*f18+13561*f13*f19+39556*f13*f20+55669*f13*f6+44187*f13*f7+65256*f13*f3+45003*f12^2+34878*f12*f8+22752*f12*f9+57967*f12*f10+42143*f12*f11+10248*f12*f13+45458*f12*f14+25780*f12*f15+25167*f12*f16+30178*f12*f17+50438*f12*f18+17331*f12*f19+11214*f12*f20+16587*f12*f6+18321*f12*f7+53258*f12*f3+57991*f12*f0+43807*f12*f1+62573*f12*f2+32380*f0+33856*f1+20595*f2+23061*f3+58520*f4+13710*f5+22387*f6+30854*f7+59896*f8+63486*f9+37704*f10+31701*f11+19887*f13+49815*f14+3304*f15+19166*f16+10496*f17+58942*f18+53906*f19+2159*f20, 31701*f12+4293*f5^2+36592*f3^2+17213*f3*f0+52245*f3*f1+45197*f3*f2+24653*f3*f4+52252*f3*f5+9290*f0^2+60547*f0*f1+12857*f0*f2+50999*f0*f4+40384*f0*f5+62879*f1^2+50858*f1*f2+10207*f1*f4+20560*f1*f5+4362*f2^2+9960*f2*f4+58244*f2*f5+41285*f4^2+52887*f4*f5+32088*f18*f6+31292*f18*f7+22682*f18*f3+46717*f18*f0+6106*f18*f1+64386*f18*f2+27364*f18*f4+64132*f18*f5+39381*f19^2+35198*f19*f20+48654*f19*f6+14270*f19*f7+5846*f19*f3+27992*f19*f0+27023*f19*f1+31*f19*f2+56634*f19*f4+62153*f19*f5+486*f20^2+14281*f20*f6+55688*f20*f7+12492*f20*f3+35516*f20*f0+59201*f20*f1+39204*f20*f2+58187*f20*f4+10108*f20*f5+49872*f6^2+50812*f6*f7+54922*f6*f3+34317*f6*f0+50050*f6*f1+29992*f6*f2+54970*f6*f4+9110*f6*f5+7640*f7^2+43497*f7*f3+23591*f7*f0+64474*f7*f1+40209*f7*f2+53296*f7*f4+55211*f7*f5+11214*f13*f0+57991*f13*f1+43807*f13*f2+53258*f13*f4+25728*f13*f5+8013*f14^2+52291*f14*f15+43691*f14*f16+37170*f14*f17+33613*f14*f18+17728*f14*f19+13561*f14*f20+35778*f14*f6+55669*f14*f7+1988*f14*f3+39556*f14*f0+1344*f14*f1+952*f14*f2+65256*f14*f4+6476*f14*f5+57392*f15^2+16*f15*f16+30077*f15*f17+1320*f15*f18+6314*f15*f19+29452*f15*f20+11013*f15*f6+16449*f15*f7+24214*f15*f3+61248*f15*f0+27444*f15*f1+52200*f15*f2+8044*f15*f4+26936*f15*f5+39930*f16^2+62356*f16*f17+36350*f16*f18+31912*f16*f19+38692*f16*f20+45658*f16*f6+52399*f16*f7+4643*f16*f3+48615*f16*f0+40975*f16*f1+31754*f16*f2+50763*f16*f4+60739*f16*f5+24830*f17^2+33732*f17*f18+4101*f17*f19+54536*f17*f20+53300*f17*f6+9947*f17*f7+50532*f17*f3+5765*f17*f0+25857*f17*f1+59266*f17*f2+30441*f17*f4+11684*f17*f5+25215*f18^2+11900*f18*f19+47082*f18*f20+12407*f12*f4+27373*f12*f5+14707*f8^2+22758*f8*f9+27977*f8*f10+53243*f8*f11+18321*f8*f13+44187*f8*f14+784*f8*f15+47401*f8*f16+41478*f8*f17+12083*f8*f18+56705*f8*f19+61320*f8*f20+9528*f8*f6+12232*f8*f7+30944*f8*f3+23379*f8*f0+42145*f8*f1+48963*f8*f2+63110*f8*f4+27766*f8*f5+59503*f9^2+26921*f9*f10+12954*f9*f11+34878*f9*f13+25465*f9*f14+47884*f9*f15+45928*f9*f16+12111*f9*f17+54363*f9*f18+40541*f9*f19+19876*f9*f20+64455*f9*f6+8974*f9*f7+54027*f9*f3+19541*f9*f0+21760*f9*f1+59094*f9*f2+26910*f9*f4+5008*f9*f5+13402*f10^2+60423*f10*f11+22752*f10*f13+43866*f10*f14+40445*f10*f15+50046*f10*f16+29891*f10*f17+972*f10*f18+43962*f10*f19+32409*f10*f20+24192*f10*f6+24621*f10*f7+45230*f10*f3+58205*f10*f0+41652*f10*f1+62264*f10*f2+33323*f10*f4+57956*f10*f5+48000*f11^2+57967*f11*f13+59769*f11*f14+65069*f11*f15+37190*f11*f16+7510*f11*f17+54209*f11*f18+15780*f11*f19+20808*f11*f20+53342*f11*f6+10331*f11*f7+49018*f11*f3+51708*f11*f0+5454*f11*f1+53004*f11*f2+56548*f11*f4+36810*f11*f5+45003*f13^2+10248*f13*f14+45458*f13*f15+25780*f13*f16+25167*f13*f17+30178*f13*f18+50438*f13*f19+17331*f13*f20+37646*f13*f6+16587*f13*f7+62573*f13*f3+57824*f12^2+10332*f12*f8+60074*f12*f9+53300*f12*f10+40844*f12*f11+42143*f12*f13+54971*f12*f14+61867*f12*f15+9571*f12*f16+10266*f12*f17+36116*f12*f18+50449*f12*f19+41810*f12*f20+39834*f12*f6+64672*f12*f7+61702*f12*f3+11549*f12*f0+52788*f12*f1+4631*f12*f2+2159*f0+32380*f1+33856*f2+20595*f3+23061*f4+58520*f5+13710*f6+22387*f7+30854*f8+59896*f9+63486*f10+37704*f11+17574*f13+19887*f14+49815*f15+3304*f16+19166*f17+10496*f18+58942*f19+53906*f20, 37704*f12+41285*f5^2+4362*f3^2+39204*f3*f0+12857*f3*f1+50858*f3*f2+45197*f3*f4+9960*f3*f5+486*f0^2+35516*f0*f1+59201*f0*f2+12492*f0*f4+58187*f0*f5+9290*f1^2+60547*f1*f2+17213*f1*f4+50999*f1*f5+62879*f2^2+52245*f2*f4+10207*f2*f5+36592*f4^2+24653*f4*f5+11684*f18*f6+53300*f18*f7+59266*f18*f3+54536*f18*f0+5765*f18*f1+25857*f18*f2+50532*f18*f4+30441*f18*f5+25215*f19^2+11900*f19*f20+64132*f19*f6+32088*f19*f7+64386*f19*f3+47082*f19*f0+46717*f19*f1+6106*f19*f2+22682*f19*f4+27364*f19*f5+39381*f20^2+62153*f20*f6+48654*f20*f7+31*f20*f3+35198*f20*f0+27992*f20*f1+27023*f20*f2+5846*f20*f4+56634*f20*f5+4293*f6^2+9110*f6*f7+58244*f6*f3+10108*f6*f0+40384*f6*f1+20560*f6*f2+52252*f6*f4+52887*f6*f5+49872*f7^2+29992*f7*f3+14281*f7*f0+34317*f7*f1+50050*f7*f2+54922*f7*f4+54970*f7*f5+41810*f13*f0+11549*f13*f1+52788*f13*f2+61702*f13*f4+12407*f13*f5+45003*f14^2+10248*f14*f15+45458*f14*f16+25780*f14*f17+25167*f14*f18+30178*f14*f19+50438*f14*f20+25728*f14*f6+37646*f14*f7+43807*f14*f3+17331*f14*f0+11214*f14*f1+57991*f14*f2+62573*f14*f4+53258*f14*f5+8013*f15^2+52291*f15*f16+43691*f15*f17+37170*f15*f18+33613*f15*f19+17728*f15*f20+6476*f15*f6+35778*f15*f7+952*f15*f3+13561*f15*f0+39556*f15*f1+1344*f15*f2+1988*f15*f4+65256*f15*f5+57392*f16^2+16*f16*f17+30077*f16*f18+1320*f16*f19+6314*f16*f20+26936*f16*f6+11013*f16*f7+52200*f16*f3+29452*f16*f0+61248*f16*f1+27444*f16*f2+24214*f16*f4+8044*f16*f5+39930*f17^2+62356*f17*f18+36350*f17*f19+31912*f17*f20+60739*f17*f6+45658*f17*f7+31754*f17*f3+38692*f17*f0+48615*f17*f1+40975*f17*f2+4643*f17*f4+50763*f17*f5+24830*f18^2+33732*f18*f19+4101*f18*f20+49018*f12*f4+56548*f12*f5+7640*f8^2+12232*f8*f9+8974*f8*f10+24621*f8*f11+64672*f8*f13+16587*f8*f14+55669*f8*f15+16449*f8*f16+52399*f8*f17+9947*f8*f18+31292*f8*f19+14270*f8*f20+55211*f8*f6+50812*f8*f7+40209*f8*f3+55688*f8*f0+23591*f8*f1+64474*f8*f2+43497*f8*f4+53296*f8*f5+14707*f9^2+22758*f9*f10+27977*f9*f11+10332*f9*f13+18321*f9*f14+44187*f9*f15+784*f9*f16+47401*f9*f17+41478*f9*f18+12083*f9*f19+56705*f9*f20+27766*f9*f6+9528*f9*f7+48963*f9*f3+61320*f9*f0+23379*f9*f1+42145*f9*f2+30944*f9*f4+63110*f9*f5+59503*f10^2+26921*f10*f11+60074*f10*f13+34878*f10*f14+25465*f10*f15+47884*f10*f16+45928*f10*f17+12111*f10*f18+54363*f10*f19+40541*f10*f20+5008*f10*f6+64455*f10*f7+59094*f10*f3+19876*f10*f0+19541*f10*f1+21760*f10*f2+54027*f10*f4+26910*f10*f5+13402*f11^2+53300*f11*f13+22752*f11*f14+43866*f11*f15+40445*f11*f16+50046*f11*f17+29891*f11*f18+972*f11*f19+43962*f11*f20+57956*f11*f6+24192*f11*f7+62264*f11*f3+32409*f11*f0+58205*f11*f1+41652*f11*f2+45230*f11*f4+33323*f11*f5+57824*f13^2+42143*f13*f14+54971*f13*f15+61867*f13*f16+9571*f13*f17+10266*f13*f18+36116*f13*f19+50449*f13*f20+27373*f13*f6+39834*f13*f7+4631*f13*f3+48000*f12^2+10331*f12*f8+53243*f12*f9+12954*f12*f10+60423*f12*f11+40844*f12*f13+57967*f12*f14+59769*f12*f15+65069*f12*f16+37190*f12*f17+7510*f12*f18+54209*f12*f19+15780*f12*f20+36810*f12*f6+53342*f12*f7+53004*f12*f3+20808*f12*f0+51708*f12*f1+5454*f12*f2+53906*f0+2159*f1+32380*f2+33856*f3+20595*f4+23061*f5+58520*f6+13710*f7+22387*f8+30854*f9+59896*f10+63486*f11+31701*f13+17574*f14+19887*f15+49815*f16+3304*f17+19166*f18+10496*f19+58942*f20, 63486*f12+36592*f5^2+62879*f3^2+27023*f3*f0+59201*f3*f1+60547*f3*f2+50858*f3*f4+52245*f3*f5+39381*f0^2+35198*f0*f1+27992*f0*f2+31*f0*f4+5846*f0*f5+486*f1^2+35516*f1*f2+39204*f1*f4+12492*f1*f5+9290*f2^2+12857*f2*f4+17213*f2*f5+4362*f4^2+45197*f4*f5+50763*f18*f6+60739*f18*f7+40975*f18*f3+31912*f18*f0+38692*f18*f1+48615*f18*f2+31754*f18*f4+4643*f18*f5+24830*f19^2+33732*f19*f20+30441*f19*f6+11684*f19*f7+25857*f19*f3+4101*f19*f0+54536*f19*f1+5765*f19*f2+59266*f19*f4+50532*f19*f5+25215*f20^2+27364*f20*f6+64132*f20*f7+6106*f20*f3+11900*f20*f0+47082*f20*f1+46717*f20*f2+64386*f20*f4+22682*f20*f5+41285*f6^2+52887*f6*f7+10207*f6*f3+56634*f6*f0+58187*f6*f1+50999*f6*f2+9960*f6*f4+24653*f6*f5+4293*f7^2+20560*f7*f3+62153*f7*f0+10108*f7*f1+40384*f7*f2+58244*f7*f4+52252*f7*f5+15780*f13*f0+20808*f13*f1+51708*f13*f2+53004*f13*f4+49018*f13*f5+57824*f14^2+42143*f14*f15+54971*f14*f16+61867*f14*f17+9571*f14*f18+10266*f14*f19+36116*f14*f20+12407*f14*f6+27373*f14*f7+52788*f14*f3+50449*f14*f0+41810*f14*f1+11549*f14*f2+4631*f14*f4+61702*f14*f5+45003*f15^2+10248*f15*f16+45458*f15*f17+25780*f15*f18+25167*f15*f19+30178*f15*f20+53258*f15*f6+25728*f15*f7+57991*f15*f3+50438*f15*f0+17331*f15*f1+11214*f15*f2+43807*f15*f4+62573*f15*f5+8013*f16^2+52291*f16*f17+43691*f16*f18+37170*f16*f19+33613*f16*f20+65256*f16*f6+6476*f16*f7+1344*f16*f3+17728*f16*f0+13561*f16*f1+39556*f16*f2+952*f16*f4+1988*f16*f5+57392*f17^2+16*f17*f18+30077*f17*f19+1320*f17*f20+8044*f17*f6+26936*f17*f7+27444*f17*f3+6314*f17*f0+29452*f17*f1+61248*f17*f2+52200*f17*f4+24214*f17*f5+39930*f18^2+62356*f18*f19+36350*f18*f20+62264*f12*f4+45230*f12*f5+49872*f8^2+50812*f8*f9+9528*f8*f10+64455*f8*f11+53342*f8*f13+39834*f8*f14+37646*f8*f15+35778*f8*f16+11013*f8*f17+45658*f8*f18+53300*f8*f19+32088*f8*f20+54970*f8*f6+9110*f8*f7+50050*f8*f3+48654*f8*f0+14281*f8*f1+34317*f8*f2+29992*f8*f4+54922*f8*f5+7640*f9^2+12232*f9*f10+8974*f9*f11+10331*f9*f13+64672*f9*f14+16587*f9*f15+55669*f9*f16+16449*f9*f17+52399*f9*f18+9947*f9*f19+31292*f9*f20+53296*f9*f6+55211*f9*f7+64474*f9*f3+14270*f9*f0+55688*f9*f1+23591*f9*f2+40209*f9*f4+43497*f9*f5+14707*f10^2+22758*f10*f11+53243*f10*f13+10332*f10*f14+18321*f10*f15+44187*f10*f16+784*f10*f17+47401*f10*f18+41478*f10*f19+12083*f10*f20+63110*f10*f6+27766*f10*f7+42145*f10*f3+56705*f10*f0+61320*f10*f1+23379*f10*f2+48963*f10*f4+30944*f10*f5+59503*f11^2+12954*f11*f13+60074*f11*f14+34878*f11*f15+25465*f11*f16+47884*f11*f17+45928*f11*f18+12111*f11*f19+54363*f11*f20+26910*f11*f6+5008*f11*f7+21760*f11*f3+40541*f11*f0+19876*f11*f1+19541*f11*f2+59094*f11*f4+54027*f11*f5+48000*f13^2+40844*f13*f14+57967*f13*f15+59769*f13*f16+65069*f13*f17+37190*f13*f18+7510*f13*f19+54209*f13*f20+56548*f13*f6+36810*f13*f7+5454*f13*f3+13402*f12^2+24192*f12*f8+24621*f12*f9+27977*f12*f10+26921*f12*f11+60423*f12*f13+53300*f12*f14+22752*f12*f15+43866*f12*f16+40445*f12*f17+50046*f12*f18+29891*f12*f19+972*f12*f20+33323*f12*f6+57956*f12*f7+41652*f12*f3+43962*f12*f0+32409*f12*f1+58205*f12*f2+58942*f0+53906*f1+2159*f2+32380*f3+33856*f4+20595*f5+23061*f6+58520*f7+13710*f8+22387*f9+30854*f10+59896*f11+37704*f13+31701*f14+17574*f15+19887*f16+49815*f17+3304*f18+19166*f19+10496*f20, 59896*f12+4362*f5^2+9290*f3^2+46717*f3*f0+27992*f3*f1+35516*f3*f2+60547*f3*f4+12857*f3*f5+25215*f0^2+11900*f0*f1+47082*f0*f2+6106*f0*f4+64386*f0*f5+39381*f1^2+35198*f1*f2+27023*f1*f4+31*f1*f5+486*f2^2+59201*f2*f4+39204*f2*f5+62879*f4^2+50858*f4*f5+24214*f18*f6+8044*f18*f7+61248*f18*f3+1320*f18*f0+6314*f18*f1+29452*f18*f2+27444*f18*f4+52200*f18*f5+39930*f19^2+62356*f19*f20+4643*f19*f6+50763*f19*f7+48615*f19*f3+36350*f19*f0+31912*f19*f1+38692*f19*f2+40975*f19*f4+31754*f19*f5+24830*f20^2+50532*f20*f6+30441*f20*f7+5765*f20*f3+33732*f20*f0+4101*f20*f1+54536*f20*f2+25857*f20*f4+59266*f20*f5+36592*f6^2+24653*f6*f7+17213*f6*f3+22682*f6*f0+5846*f6*f1+12492*f6*f2+52245*f6*f4+45197*f6*f5+41285*f7^2+50999*f7*f3+27364*f7*f0+56634*f7*f1+58187*f7*f2+10207*f7*f4+9960*f7*f5+972*f13*f0+43962*f13*f1+32409*f13*f2+41652*f13*f4+62264*f13*f5+48000*f14^2+40844*f14*f15+57967*f14*f16+59769*f14*f17+65069*f14*f18+37190*f14*f19+7510*f14*f20+49018*f14*f6+56548*f14*f7+51708*f14*f3+54209*f14*f0+15780*f14*f1+20808*f14*f2+5454*f14*f4+53004*f14*f5+57824*f15^2+42143*f15*f16+54971*f15*f17+61867*f15*f18+9571*f15*f19+10266*f15*f20+61702*f15*f6+12407*f15*f7+11549*f15*f3+36116*f15*f0+50449*f15*f1+41810*f15*f2+52788*f15*f4+4631*f15*f5+45003*f16^2+10248*f16*f17+45458*f16*f18+25780*f16*f19+25167*f16*f20+62573*f16*f6+53258*f16*f7+11214*f16*f3+30178*f16*f0+50438*f16*f1+17331*f16*f2+57991*f16*f4+43807*f16*f5+8013*f17^2+52291*f17*f18+43691*f17*f19+37170*f17*f20+1988*f17*f6+65256*f17*f7+39556*f17*f3+33613*f17*f0+17728*f17*f1+13561*f17*f2+1344*f17*f4+952*f17*f5+57392*f18^2+16*f18*f19+30077*f18*f20+21760*f12*f4+59094*f12*f5+4293*f8^2+9110*f8*f9+55211*f8*f10+27766*f8*f11+57956*f8*f13+36810*f8*f14+27373*f8*f15+25728*f8*f16+6476*f8*f17+26936*f8*f18+60739*f8*f19+11684*f8*f20+52252*f8*f6+52887*f8*f7+40384*f8*f3+64132*f8*f0+62153*f8*f1+10108*f8*f2+20560*f8*f4+58244*f8*f5+49872*f9^2+50812*f9*f10+9528*f9*f11+24192*f9*f13+53342*f9*f14+39834*f9*f15+37646*f9*f16+35778*f9*f17+11013*f9*f18+45658*f9*f19+53300*f9*f20+54922*f9*f6+54970*f9*f7+34317*f9*f3+32088*f9*f0+48654*f9*f1+14281*f9*f2+50050*f9*f4+29992*f9*f5+7640*f10^2+12232*f10*f11+24621*f10*f13+10331*f10*f14+64672*f10*f15+16587*f10*f16+55669*f10*f17+16449*f10*f18+52399*f10*f19+9947*f10*f20+43497*f10*f6+53296*f10*f7+23591*f10*f3+31292*f10*f0+14270*f10*f1+55688*f10*f2+64474*f10*f4+40209*f10*f5+14707*f11^2+27977*f11*f13+53243*f11*f14+10332*f11*f15+18321*f11*f16+44187*f11*f17+784*f11*f18+47401*f11*f19+41478*f11*f20+30944*f11*f6+63110*f11*f7+23379*f11*f3+12083*f11*f0+56705*f11*f1+61320*f11*f2+42145*f11*f4+48963*f11*f5+13402*f13^2+60423*f13*f14+53300*f13*f15+22752*f13*f16+43866*f13*f17+40445*f13*f18+50046*f13*f19+29891*f13*f20+45230*f13*f6+33323*f13*f7+58205*f13*f3+59503*f12^2+5008*f12*f8+64455*f12*f9+8974*f12*f10+22758*f12*f11+26921*f12*f13+12954*f12*f14+60074*f12*f15+34878*f12*f16+25465*f12*f17+47884*f12*f18+45928*f12*f19+12111*f12*f20+54027*f12*f6+26910*f12*f7+19541*f12*f3+54363*f12*f0+40541*f12*f1+19876*f12*f2+10496*f0+58942*f1+53906*f2+2159*f3+32380*f4+33856*f5+20595*f6+23061*f7+58520*f8+13710*f9+22387*f10+30854*f11+63486*f13+37704*f14+31701*f15+17574*f16+19887*f17+49815*f18+3304*f19+19166*f20, 30854*f12+62879*f5^2+486*f3^2+54536*f3*f0+47082*f3*f1+35198*f3*f2+35516*f3*f4+59201*f3*f5+24830*f0^2+33732*f0*f1+4101*f0*f2+5765*f0*f4+25857*f0*f5+25215*f1^2+11900*f1*f2+46717*f1*f4+6106*f1*f5+39381*f2^2+27992*f2*f4+27023*f2*f5+9290*f4^2+60547*f4*f5+952*f18*f6+1988*f18*f7+13561*f18*f3+37170*f18*f0+33613*f18*f1+17728*f18*f2+39556*f18*f4+1344*f18*f5+57392*f19^2+16*f19*f20+52200*f19*f6+24214*f19*f7+29452*f19*f3+30077*f19*f0+1320*f19*f1+6314*f19*f2+61248*f19*f4+27444*f19*f5+39930*f20^2+31754*f20*f6+4643*f20*f7+38692*f20*f3+62356*f20*f0+36350*f20*f1+31912*f20*f2+48615*f20*f4+40975*f20*f5+4362*f6^2+45197*f6*f7+39204*f6*f3+59266*f6*f0+64386*f6*f1+31*f6*f2+12857*f6*f4+50858*f6*f5+36592*f7^2+12492*f7*f3+50532*f7*f0+22682*f7*f1+5846*f7*f2+17213*f7*f4+52245*f7*f5+12111*f13*f0+54363*f13*f1+40541*f13*f2+19541*f13*f4+21760*f13*f5+13402*f14^2+60423*f14*f15+53300*f14*f16+22752*f14*f17+43866*f14*f18+40445*f14*f19+50046*f14*f20+62264*f14*f6+45230*f14*f7+32409*f14*f3+29891*f14*f0+972*f14*f1+43962*f14*f2+58205*f14*f4+41652*f14*f5+48000*f15^2+40844*f15*f16+57967*f15*f17+59769*f15*f18+65069*f15*f19+37190*f15*f20+53004*f15*f6+49018*f15*f7+20808*f15*f3+7510*f15*f0+54209*f15*f1+15780*f15*f2+51708*f15*f4+5454*f15*f5+57824*f16^2+42143*f16*f17+54971*f16*f18+61867*f16*f19+9571*f16*f20+4631*f16*f6+61702*f16*f7+41810*f16*f3+10266*f16*f0+36116*f16*f1+50449*f16*f2+11549*f16*f4+52788*f16*f5+45003*f17^2+10248*f17*f18+45458*f17*f19+25780*f17*f20+43807*f17*f6+62573*f17*f7+17331*f17*f3+25167*f17*f0+30178*f17*f1+50438*f17*f2+11214*f17*f4+57991*f17*f5+8013*f18^2+52291*f18*f19+43691*f18*f20+23379*f12*f4+42145*f12*f5+41285*f8^2+52887*f8*f9+54970*f8*f10+53296*f8*f11+26910*f8*f13+33323*f8*f14+56548*f8*f15+12407*f8*f16+53258*f8*f17+65256*f8*f18+8044*f8*f19+50763*f8*f20+9960*f8*f6+24653*f8*f7+58187*f8*f3+30441*f8*f0+27364*f8*f1+56634*f8*f2+50999*f8*f4+10207*f8*f5+4293*f9^2+9110*f9*f10+55211*f9*f11+5008*f9*f13+57956*f9*f14+36810*f9*f15+27373*f9*f16+25728*f9*f17+6476*f9*f18+26936*f9*f19+60739*f9*f20+58244*f9*f6+52252*f9*f7+10108*f9*f3+11684*f9*f0+64132*f9*f1+62153*f9*f2+40384*f9*f4+20560*f9*f5+49872*f10^2+50812*f10*f11+64455*f10*f13+24192*f10*f14+53342*f10*f15+39834*f10*f16+37646*f10*f17+35778*f10*f18+11013*f10*f19+45658*f10*f20+29992*f10*f6+54922*f10*f7+14281*f10*f3+53300*f10*f0+32088*f10*f1+48654*f10*f2+34317*f10*f4+50050*f10*f5+7640*f11^2+8974*f11*f13+24621*f11*f14+10331*f11*f15+64672*f11*f16+16587*f11*f17+55669*f11*f18+16449*f11*f19+52399*f11*f20+40209*f11*f6+43497*f11*f7+55688*f11*f3+9947*f11*f0+31292*f11*f1+14270*f11*f2+23591*f11*f4+64474*f11*f5+59503*f13^2+26921*f13*f14+12954*f13*f15+60074*f13*f16+34878*f13*f17+25465*f13*f18+47884*f13*f19+45928*f13*f20+59094*f13*f6+54027*f13*f7+19876*f13*f3+14707*f12^2+63110*f12*f8+27766*f12*f9+9528*f12*f10+12232*f12*f11+22758*f12*f13+27977*f12*f14+53243*f12*f15+10332*f12*f16+18321*f12*f17+44187*f12*f18+784*f12*f19+47401*f12*f20+48963*f12*f6+30944*f12*f7+61320*f12*f3+41478*f12*f0+12083*f12*f1+56705*f12*f2+19166*f0+10496*f1+58942*f2+53906*f3+2159*f4+32380*f5+33856*f6+20595*f7+23061*f8+58520*f9+13710*f10+22387*f11+59896*f13+63486*f14+37704*f15+31701*f16+17574*f17+19887*f18+49815*f19+3304*f20, 22387*f12+9290*f5^2+39381*f3^2+31912*f3*f0+4101*f3*f1+11900*f3*f2+35198*f3*f4+27992*f3*f5+39930*f0^2+62356*f0*f1+36350*f0*f2+38692*f0*f4+48615*f0*f5+24830*f1^2+33732*f1*f2+54536*f1*f4+5765*f1*f5+25215*f2^2+47082*f2*f4+46717*f2*f5+486*f4^2+35516*f4*f5+57991*f18*f6+43807*f18*f7+50438*f18*f3+25780*f18*f0+25167*f18*f1+30178*f18*f2+17331*f18*f4+11214*f18*f5+8013*f19^2+52291*f19*f20+1344*f19*f6+952*f19*f7+17728*f19*f3+43691*f19*f0+37170*f19*f1+33613*f19*f2+13561*f19*f4+39556*f19*f5+57392*f20^2+27444*f20*f6+52200*f20*f7+6314*f20*f3+16*f20*f0+30077*f20*f1+1320*f20*f2+29452*f20*f4+61248*f20*f5+62879*f6^2+50858*f6*f7+27023*f6*f3+40975*f6*f0+25857*f6*f1+6106*f6*f2+59201*f6*f4+60547*f6*f5+4362*f7^2+31*f7*f3+31754*f7*f0+59266*f7*f1+64386*f7*f2+39204*f7*f4+12857*f7*f5+47401*f13*f0+41478*f13*f1+12083*f13*f2+61320*f13*f4+23379*f13*f5+59503*f14^2+26921*f14*f15+12954*f14*f16+60074*f14*f17+34878*f14*f18+25465*f14*f19+47884*f14*f20+21760*f14*f6+59094*f14*f7+40541*f14*f3+45928*f14*f0+12111*f14*f1+54363*f14*f2+19876*f14*f4+19541*f14*f5+13402*f15^2+60423*f15*f16+53300*f15*f17+22752*f15*f18+43866*f15*f19+40445*f15*f20+41652*f15*f6+62264*f15*f7+43962*f15*f3+50046*f15*f0+29891*f15*f1+972*f15*f2+32409*f15*f4+58205*f15*f5+48000*f16^2+40844*f16*f17+57967*f16*f18+59769*f16*f19+65069*f16*f20+5454*f16*f6+53004*f16*f7+15780*f16*f3+37190*f16*f0+7510*f16*f1+54209*f16*f2+20808*f16*f4+51708*f16*f5+57824*f17^2+42143*f17*f18+54971*f17*f19+61867*f17*f20+52788*f17*f6+4631*f17*f7+50449*f17*f3+9571*f17*f0+10266*f17*f1+36116*f17*f2+41810*f17*f4+11549*f17*f5+45003*f18^2+10248*f18*f19+45458*f18*f20+55688*f12*f4+23591*f12*f5+36592*f8^2+24653*f8*f9+52252*f8*f10+54922*f8*f11+30944*f8*f13+54027*f8*f14+45230*f8*f15+49018*f8*f16+61702*f8*f17+62573*f8*f18+1988*f8*f19+24214*f8*f20+52245*f8*f6+45197*f8*f7+5846*f8*f3+4643*f8*f0+50532*f8*f1+22682*f8*f2+12492*f8*f4+17213*f8*f5+41285*f9^2+52887*f9*f10+54970*f9*f11+63110*f9*f13+26910*f9*f14+33323*f9*f15+56548*f9*f16+12407*f9*f17+53258*f9*f18+65256*f9*f19+8044*f9*f20+10207*f9*f6+9960*f9*f7+56634*f9*f3+50763*f9*f0+30441*f9*f1+27364*f9*f2+58187*f9*f4+50999*f9*f5+4293*f10^2+9110*f10*f11+27766*f10*f13+5008*f10*f14+57956*f10*f15+36810*f10*f16+27373*f10*f17+25728*f10*f18+6476*f10*f19+26936*f10*f20+20560*f10*f6+58244*f10*f7+62153*f10*f3+60739*f10*f0+11684*f10*f1+64132*f10*f2+10108*f10*f4+40384*f10*f5+49872*f11^2+9528*f11*f13+64455*f11*f14+24192*f11*f15+53342*f11*f16+39834*f11*f17+37646*f11*f18+35778*f11*f19+11013*f11*f20+50050*f11*f6+29992*f11*f7+48654*f11*f3+45658*f11*f0+53300*f11*f1+32088*f11*f2+14281*f11*f4+34317*f11*f5+14707*f13^2+22758*f13*f14+27977*f13*f15+53243*f13*f16+10332*f13*f17+18321*f13*f18+44187*f13*f19+784*f13*f20+42145*f13*f6+48963*f13*f7+56705*f13*f3+7640*f12^2+43497*f12*f8+53296*f12*f9+55211*f12*f10+50812*f12*f11+12232*f12*f13+8974*f12*f14+24621*f12*f15+10331*f12*f16+64672*f12*f17+16587*f12*f18+55669*f12*f19+16449*f12*f20+64474*f12*f6+40209*f12*f7+14270*f12*f3+52399*f12*f0+9947*f12*f1+31292*f12*f2+3304*f0+19166*f1+10496*f2+58942*f3+53906*f4+2159*f5+32380*f6+33856*f7+20595*f8+23061*f9+58520*f10+13710*f11+30854*f13+59896*f14+63486*f15+37704*f16+31701*f17+17574*f18+19887*f19+49815*f20, 13710*f12+486*f5^2+25215*f3^2+1320*f3*f0+36350*f3*f1+33732*f3*f2+11900*f3*f4+47082*f3*f5+57392*f0^2+16*f0*f1+30077*f0*f2+6314*f0*f4+29452*f0*f5+39930*f1^2+62356*f1*f2+31912*f1*f4+38692*f1*f5+24830*f2^2+4101*f2*f4+54536*f2*f5+39381*f4^2+35198*f4*f5+11549*f18*f6+52788*f18*f7+36116*f18*f3+61867*f18*f0+9571*f18*f1+10266*f18*f2+50449*f18*f4+41810*f18*f5+45003*f19^2+10248*f19*f20+11214*f19*f6+57991*f19*f7+30178*f19*f3+45458*f19*f0+25780*f19*f1+25167*f19*f2+50438*f19*f4+17331*f19*f5+8013*f20^2+39556*f20*f6+1344*f20*f7+33613*f20*f3+52291*f20*f0+43691*f20*f1+37170*f20*f2+17728*f20*f4+13561*f20*f5+9290*f6^2+60547*f6*f7+46717*f6*f3+61248*f6*f0+48615*f6*f1+5765*f6*f2+27992*f6*f4+35516*f6*f5+62879*f7^2+6106*f7*f3+27444*f7*f0+40975*f7*f1+25857*f7*f2+27023*f7*f4+59201*f7*f5+16449*f13*f0+52399*f13*f1+9947*f13*f2+14270*f13*f4+55688*f13*f5+14707*f14^2+22758*f14*f15+27977*f14*f16+53243*f14*f17+10332*f14*f18+18321*f14*f19+44187*f14*f20+23379*f14*f6+42145*f14*f7+12083*f14*f3+784*f14*f0+47401*f14*f1+41478*f14*f2+56705*f14*f4+61320*f14*f5+59503*f15^2+26921*f15*f16+12954*f15*f17+60074*f15*f18+34878*f15*f19+25465*f15*f20+19541*f15*f6+21760*f15*f7+54363*f15*f3+47884*f15*f0+45928*f15*f1+12111*f15*f2+40541*f15*f4+19876*f15*f5+13402*f16^2+60423*f16*f17+53300*f16*f18+22752*f16*f19+43866*f16*f20+58205*f16*f6+41652*f16*f7+972*f16*f3+40445*f16*f0+50046*f16*f1+29891*f16*f2+43962*f16*f4+32409*f16*f5+48000*f17^2+40844*f17*f18+57967*f17*f19+59769*f17*f20+51708*f17*f6+5454*f17*f7+54209*f17*f3+65069*f17*f0+37190*f17*f1+7510*f17*f2+15780*f17*f4+20808*f17*f5+57824*f18^2+42143*f18*f19+54971*f18*f20+48654*f12*f4+14281*f12*f5+4362*f8^2+45197*f8*f9+9960*f8*f10+58244*f8*f11+40209*f8*f13+48963*f8*f14+59094*f8*f15+62264*f8*f16+53004*f8*f17+4631*f8*f18+43807*f8*f19+952*f8*f20+12857*f8*f6+50858*f8*f7+64386*f8*f3+52200*f8*f0+31754*f8*f1+59266*f8*f2+31*f8*f4+39204*f8*f5+36592*f9^2+24653*f9*f10+52252*f9*f11+43497*f9*f13+30944*f9*f14+54027*f9*f15+45230*f9*f16+49018*f9*f17+61702*f9*f18+62573*f9*f19+1988*f9*f20+17213*f9*f6+52245*f9*f7+22682*f9*f3+24214*f9*f0+4643*f9*f1+50532*f9*f2+5846*f9*f4+12492*f9*f5+41285*f10^2+52887*f10*f11+53296*f10*f13+63110*f10*f14+26910*f10*f15+33323*f10*f16+56548*f10*f17+12407*f10*f18+53258*f10*f19+65256*f10*f20+50999*f10*f6+10207*f10*f7+27364*f10*f3+8044*f10*f0+50763*f10*f1+30441*f10*f2+56634*f10*f4+58187*f10*f5+4293*f11^2+55211*f11*f13+27766*f11*f14+5008*f11*f15+57956*f11*f16+36810*f11*f17+27373*f11*f18+25728*f11*f19+6476*f11*f20+40384*f11*f6+20560*f11*f7+64132*f11*f3+26936*f11*f0+60739*f11*f1+11684*f11*f2+62153*f11*f4+10108*f11*f5+7640*f13^2+12232*f13*f14+8974*f13*f15+24621*f13*f16+10331*f13*f17+64672*f13*f18+16587*f13*f19+55669*f13*f20+23591*f13*f6+64474*f13*f7+31292*f13*f3+49872*f12^2+29992*f12*f8+54922*f12*f9+54970*f12*f10+9110*f12*f11+50812*f12*f13+9528*f12*f14+64455*f12*f15+24192*f12*f16+53342*f12*f17+39834*f12*f18+37646*f12*f19+35778*f12*f20+34317*f12*f6+50050*f12*f7+32088*f12*f3+11013*f12*f0+45658*f12*f1+53300*f12*f2+49815*f0+3304*f1+19166*f2+10496*f3+58942*f4+53906*f5+2159*f6+32380*f7+33856*f8+20595*f9+23061*f10+58520*f11+22387*f13+30854*f14+59896*f15+63486*f16+37704*f17+31701*f18+17574*f19+19887*f20, 58520*f12+39381*f5^2+24830*f3^2+37170*f3*f0+30077*f3*f1+62356*f3*f2+33732*f3*f4+4101*f3*f5+8013*f0^2+52291*f0*f1+43691*f0*f2+33613*f0*f4+17728*f0*f5+57392*f1^2+16*f1*f2+1320*f1*f4+6314*f1*f5+39930*f2^2+36350*f2*f4+31912*f2*f5+25215*f4^2+11900*f4*f5+20808*f18*f6+51708*f18*f7+7510*f18*f3+59769*f18*f0+65069*f18*f1+37190*f18*f2+54209*f18*f4+15780*f18*f5+57824*f19^2+42143*f19*f20+41810*f19*f6+11549*f19*f7+10266*f19*f3+54971*f19*f0+61867*f19*f1+9571*f19*f2+36116*f19*f4+50449*f19*f5+45003*f20^2+17331*f20*f6+11214*f20*f7+25167*f20*f3+10248*f20*f0+45458*f20*f1+25780*f20*f2+30178*f20*f4+50438*f20*f5+486*f6^2+35516*f6*f7+54536*f6*f3+13561*f6*f0+29452*f6*f1+38692*f6*f2+47082*f6*f4+35198*f6*f5+9290*f7^2+5765*f7*f3+39556*f7*f0+61248*f7*f1+48615*f7*f2+46717*f7*f4+27992*f7*f5+35778*f13*f0+11013*f13*f1+45658*f13*f2+32088*f13*f4+48654*f13*f5+7640*f14^2+12232*f14*f15+8974*f14*f16+24621*f14*f17+10331*f14*f18+64672*f14*f19+16587*f14*f20+55688*f14*f6+23591*f14*f7+9947*f14*f3+55669*f14*f0+16449*f14*f1+52399*f14*f2+31292*f14*f4+14270*f14*f5+14707*f15^2+22758*f15*f16+27977*f15*f17+53243*f15*f18+10332*f15*f19+18321*f15*f20+61320*f15*f6+23379*f15*f7+41478*f15*f3+44187*f15*f0+784*f15*f1+47401*f15*f2+12083*f15*f4+56705*f15*f5+59503*f16^2+26921*f16*f17+12954*f16*f18+60074*f16*f19+34878*f16*f20+19876*f16*f6+19541*f16*f7+12111*f16*f3+25465*f16*f0+47884*f16*f1+45928*f16*f2+54363*f16*f4+40541*f16*f5+13402*f17^2+60423*f17*f18+53300*f17*f19+22752*f17*f20+32409*f17*f6+58205*f17*f7+29891*f17*f3+43866*f17*f0+40445*f17*f1+50046*f17*f2+972*f17*f4+43962*f17*f5+48000*f18^2+40844*f18*f19+57967*f18*f20+64132*f12*f4+62153*f12*f5+62879*f8^2+50858*f8*f9+52245*f8*f10+10207*f8*f11+50050*f8*f13+64474*f8*f14+42145*f8*f15+21760*f8*f16+41652*f8*f17+5454*f8*f18+52788*f8*f19+57991*f8*f20+59201*f8*f6+60547*f8*f7+25857*f8*f3+1344*f8*f0+27444*f8*f1+40975*f8*f2+6106*f8*f4+27023*f8*f5+4362*f9^2+45197*f9*f10+9960*f9*f11+29992*f9*f13+40209*f9*f14+48963*f9*f15+59094*f9*f16+62264*f9*f17+53004*f9*f18+4631*f9*f19+43807*f9*f20+39204*f9*f6+12857*f9*f7+59266*f9*f3+952*f9*f0+52200*f9*f1+31754*f9*f2+64386*f9*f4+31*f9*f5+36592*f10^2+24653*f10*f11+54922*f10*f13+43497*f10*f14+30944*f10*f15+54027*f10*f16+45230*f10*f17+49018*f10*f18+61702*f10*f19+62573*f10*f20+12492*f10*f6+17213*f10*f7+50532*f10*f3+1988*f10*f0+24214*f10*f1+4643*f10*f2+22682*f10*f4+5846*f10*f5+41285*f11^2+54970*f11*f13+53296*f11*f14+63110*f11*f15+26910*f11*f16+33323*f11*f17+56548*f11*f18+12407*f11*f19+53258*f11*f20+58187*f11*f6+50999*f11*f7+30441*f11*f3+65256*f11*f0+8044*f11*f1+50763*f11*f2+27364*f11*f4+56634*f11*f5+49872*f13^2+50812*f13*f14+9528*f13*f15+64455*f13*f16+24192*f13*f17+53342*f13*f18+39834*f13*f19+37646*f13*f20+14281*f13*f6+34317*f13*f7+53300*f13*f3+4293*f12^2+20560*f12*f8+58244*f12*f9+52252*f12*f10+52887*f12*f11+9110*f12*f13+55211*f12*f14+27766*f12*f15+5008*f12*f16+57956*f12*f17+36810*f12*f18+27373*f12*f19+25728*f12*f20+10108*f12*f6+40384*f12*f7+11684*f12*f3+6476*f12*f0+26936*f12*f1+60739*f12*f2+19887*f0+49815*f1+3304*f2+19166*f3+10496*f4+58942*f5+53906*f6+2159*f7+32380*f8+33856*f9+20595*f10+23061*f11+13710*f13+22387*f14+30854*f15+59896*f16+63486*f17+37704*f18+31701*f19+17574*f20, 23061*f12+25215*f5^2+39930*f3^2+25780*f3*f0+43691*f3*f1+16*f3*f2+62356*f3*f4+36350*f3*f5+45003*f0^2+10248*f0*f1+45458*f0*f2+25167*f0*f4+30178*f0*f5+8013*f1^2+52291*f1*f2+37170*f1*f4+33613*f1*f5+57392*f2^2+30077*f2*f4+1320*f2*f5+24830*f4^2+33732*f4*f5+43962*f18*f6+32409*f18*f7+50046*f18*f3+22752*f18*f0+43866*f18*f1+40445*f18*f2+29891*f18*f4+972*f18*f5+48000*f19^2+40844*f19*f20+15780*f19*f6+20808*f19*f7+37190*f19*f3+57967*f19*f0+59769*f19*f1+65069*f19*f2+7510*f19*f4+54209*f19*f5+57824*f20^2+50449*f20*f6+41810*f20*f7+9571*f20*f3+42143*f20*f0+54971*f20*f1+61867*f20*f2+10266*f20*f4+36116*f20*f5+39381*f6^2+35198*f6*f7+31912*f6*f3+50438*f6*f0+17728*f6*f1+6314*f6*f2+4101*f6*f4+11900*f6*f5+486*f7^2+38692*f7*f3+17331*f7*f0+13561*f7*f1+29452*f7*f2+54536*f7*f4+47082*f7*f5+25728*f13*f0+6476*f13*f1+26936*f13*f2+11684*f13*f4+64132*f13*f5+49872*f14^2+50812*f14*f15+9528*f14*f16+64455*f14*f17+24192*f14*f18+53342*f14*f19+39834*f14*f20+48654*f14*f6+14281*f14*f7+45658*f14*f3+37646*f14*f0+35778*f14*f1+11013*f14*f2+53300*f14*f4+32088*f14*f5+7640*f15^2+12232*f15*f16+8974*f15*f17+24621*f15*f18+10331*f15*f19+64672*f15*f20+14270*f15*f6+55688*f15*f7+52399*f15*f3+16587*f15*f0+55669*f15*f1+16449*f15*f2+9947*f15*f4+31292*f15*f5+14707*f16^2+22758*f16*f17+27977*f16*f18+53243*f16*f19+10332*f16*f20+56705*f16*f6+61320*f16*f7+47401*f16*f3+18321*f16*f0+44187*f16*f1+784*f16*f2+41478*f16*f4+12083*f16*f5+59503*f17^2+26921*f17*f18+12954*f17*f19+60074*f17*f20+40541*f17*f6+19876*f17*f7+45928*f17*f3+34878*f17*f0+25465*f17*f1+47884*f17*f2+12111*f17*f4+54363*f17*f5+13402*f18^2+60423*f18*f19+53300*f18*f20+30441*f12*f4+27364*f12*f5+9290*f8^2+60547*f8*f9+12857*f8*f10+17213*f8*f11+40384*f8*f13+34317*f8*f14+23591*f8*f15+23379*f8*f16+19541*f8*f17+58205*f8*f18+51708*f8*f19+11549*f8*f20+27992*f8*f6+35516*f8*f7+48615*f8*f3+11214*f8*f0+39556*f8*f1+61248*f8*f2+5765*f8*f4+46717*f8*f5+62879*f9^2+50858*f9*f10+52245*f9*f11+20560*f9*f13+50050*f9*f14+64474*f9*f15+42145*f9*f16+21760*f9*f17+41652*f9*f18+5454*f9*f19+52788*f9*f20+27023*f9*f6+59201*f9*f7+40975*f9*f3+57991*f9*f0+1344*f9*f1+27444*f9*f2+25857*f9*f4+6106*f9*f5+4362*f10^2+45197*f10*f11+58244*f10*f13+29992*f10*f14+40209*f10*f15+48963*f10*f16+59094*f10*f17+62264*f10*f18+53004*f10*f19+4631*f10*f20+31*f10*f6+39204*f10*f7+31754*f10*f3+43807*f10*f0+952*f10*f1+52200*f10*f2+59266*f10*f4+64386*f10*f5+36592*f11^2+52252*f11*f13+54922*f11*f14+43497*f11*f15+30944*f11*f16+54027*f11*f17+45230*f11*f18+49018*f11*f19+61702*f11*f20+5846*f11*f6+12492*f11*f7+4643*f11*f3+62573*f11*f0+1988*f11*f1+24214*f11*f2+50532*f11*f4+22682*f11*f5+4293*f13^2+9110*f13*f14+55211*f13*f15+27766*f13*f16+5008*f13*f17+57956*f13*f18+36810*f13*f19+27373*f13*f20+62153*f13*f6+10108*f13*f7+60739*f13*f3+41285*f12^2+50999*f12*f8+10207*f12*f9+9960*f12*f10+24653*f12*f11+52887*f12*f13+54970*f12*f14+53296*f12*f15+63110*f12*f16+26910*f12*f17+33323*f12*f18+56548*f12*f19+12407*f12*f20+56634*f12*f6+58187*f12*f7+50763*f12*f3+53258*f12*f0+65256*f12*f1+8044*f12*f2+17574*f0+19887*f1+49815*f2+3304*f3+19166*f4+10496*f5+58942*f6+53906*f7+2159*f8+32380*f9+33856*f10+20595*f11+58520*f13+13710*f14+22387*f15+30854*f16+59896*f17+63486*f18+37704*f19+31701*f20, 20595*f12+24830*f5^2+57392*f3^2+61867*f3*f0+45458*f3*f1+52291*f3*f2+16*f3*f4+30077*f3*f5+57824*f0^2+42143*f0*f1+54971*f0*f2+9571*f0*f4+10266*f0*f5+45003*f1^2+10248*f1*f2+25780*f1*f4+25167*f1*f5+8013*f2^2+43691*f2*f4+37170*f2*f5+39930*f4^2+62356*f4*f5+54363*f18*f6+40541*f18*f7+47884*f18*f3+60074*f18*f0+34878*f18*f1+25465*f18*f2+45928*f18*f4+12111*f18*f5+13402*f19^2+60423*f19*f20+972*f19*f6+43962*f19*f7+40445*f19*f3+53300*f19*f0+22752*f19*f1+43866*f19*f2+50046*f19*f4+29891*f19*f5+48000*f20^2+54209*f20*f6+15780*f20*f7+65069*f20*f3+40844*f20*f0+57967*f20*f1+59769*f20*f2+37190*f20*f4+7510*f20*f5+25215*f6^2+11900*f6*f7+1320*f6*f3+36116*f6*f0+30178*f6*f1+33613*f6*f2+36350*f6*f4+33732*f6*f5+39381*f7^2+6314*f7*f3+50449*f7*f0+50438*f7*f1+17728*f7*f2+31912*f7*f4+4101*f7*f5+12407*f13*f0+53258*f13*f1+65256*f13*f2+50763*f13*f4+30441*f13*f5+4293*f14^2+9110*f14*f15+55211*f14*f16+27766*f14*f17+5008*f14*f18+57956*f14*f19+36810*f14*f20+64132*f14*f6+62153*f14*f7+26936*f14*f3+27373*f14*f0+25728*f14*f1+6476*f14*f2+60739*f14*f4+11684*f14*f5+49872*f15^2+50812*f15*f16+9528*f15*f17+64455*f15*f18+24192*f15*f19+53342*f15*f20+32088*f15*f6+48654*f15*f7+11013*f15*f3+39834*f15*f0+37646*f15*f1+35778*f15*f2+45658*f15*f4+53300*f15*f5+7640*f16^2+12232*f16*f17+8974*f16*f18+24621*f16*f19+10331*f16*f20+31292*f16*f6+14270*f16*f7+16449*f16*f3+64672*f16*f0+16587*f16*f1+55669*f16*f2+52399*f16*f4+9947*f16*f5+14707*f17^2+22758*f17*f18+27977*f17*f19+53243*f17*f20+12083*f17*f6+56705*f17*f7+784*f17*f3+10332*f17*f0+18321*f17*f1+44187*f17*f2+47401*f17*f4+41478*f17*f5+59503*f18^2+26921*f18*f19+12954*f18*f20+4643*f12*f4+50532*f12*f5+486*f8^2+35516*f8*f9+59201*f8*f10+39204*f8*f11+58187*f8*f13+10108*f8*f14+14281*f8*f15+55688*f8*f16+61320*f8*f17+19876*f8*f18+32409*f8*f19+20808*f8*f20+47082*f8*f6+35198*f8*f7+29452*f8*f3+41810*f8*f0+17331*f8*f1+13561*f8*f2+38692*f8*f4+54536*f8*f5+9290*f9^2+60547*f9*f10+12857*f9*f11+50999*f9*f13+40384*f9*f14+34317*f9*f15+23591*f9*f16+23379*f9*f17+19541*f9*f18+58205*f9*f19+51708*f9*f20+46717*f9*f6+27992*f9*f7+61248*f9*f3+11549*f9*f0+11214*f9*f1+39556*f9*f2+48615*f9*f4+5765*f9*f5+62879*f10^2+50858*f10*f11+10207*f10*f13+20560*f10*f14+50050*f10*f15+64474*f10*f16+42145*f10*f17+21760*f10*f18+41652*f10*f19+5454*f10*f20+6106*f10*f6+27023*f10*f7+27444*f10*f3+52788*f10*f0+57991*f10*f1+1344*f10*f2+40975*f10*f4+25857*f10*f5+4362*f11^2+9960*f11*f13+58244*f11*f14+29992*f11*f15+40209*f11*f16+48963*f11*f17+59094*f11*f18+62264*f11*f19+53004*f11*f20+64386*f11*f6+31*f11*f7+52200*f11*f3+4631*f11*f0+43807*f11*f1+952*f11*f2+31754*f11*f4+59266*f11*f5+41285*f13^2+52887*f13*f14+54970*f13*f15+53296*f13*f16+63110*f13*f17+26910*f13*f18+33323*f13*f19+56548*f13*f20+27364*f13*f6+56634*f13*f7+8044*f13*f3+36592*f12^2+12492*f12*f8+17213*f12*f9+52245*f12*f10+45197*f12*f11+24653*f12*f13+52252*f12*f14+54922*f12*f15+43497*f12*f16+30944*f12*f17+54027*f12*f18+45230*f12*f19+49018*f12*f20+22682*f12*f6+5846*f12*f7+24214*f12*f3+61702*f12*f0+62573*f12*f1+1988*f12*f2+31701*f0+17574*f1+19887*f2+49815*f3+3304*f4+19166*f5+10496*f6+58942*f7+53906*f8+2159*f9+32380*f10+33856*f11+23061*f13+58520*f14+13710*f15+22387*f16+30854*f17+59896*f18+63486*f19+37704*f20, 33856*f12+39930*f5^2+8013*f3^2+59769*f3*f0+54971*f3*f1+10248*f3*f2+52291*f3*f4+43691*f3*f5+48000*f0^2+40844*f0*f1+57967*f0*f2+65069*f0*f4+37190*f0*f5+57824*f1^2+42143*f1*f2+61867*f1*f4+9571*f1*f5+45003*f2^2+45458*f2*f4+25780*f2*f5+57392*f4^2+16*f4*f5+41478*f18*f6+12083*f18*f7+44187*f18*f3+53243*f18*f0+10332*f18*f1+18321*f18*f2+784*f18*f4+47401*f18*f5+59503*f19^2+26921*f19*f20+12111*f19*f6+54363*f19*f7+25465*f19*f3+12954*f19*f0+60074*f19*f1+34878*f19*f2+47884*f19*f4+45928*f19*f5+13402*f20^2+29891*f20*f6+972*f20*f7+43866*f20*f3+60423*f20*f0+53300*f20*f1+22752*f20*f2+40445*f20*f4+50046*f20*f5+24830*f6^2+33732*f6*f7+37170*f6*f3+7510*f6*f0+10266*f6*f1+25167*f6*f2+30077*f6*f4+62356*f6*f5+25215*f7^2+33613*f7*f3+54209*f7*f0+36116*f7*f1+30178*f7*f2+1320*f7*f4+36350*f7*f5+49018*f13*f0+61702*f13*f1+62573*f13*f2+24214*f13*f4+4643*f13*f5+41285*f14^2+52887*f14*f15+54970*f14*f16+53296*f14*f17+63110*f14*f18+26910*f14*f19+33323*f14*f20+30441*f14*f6+27364*f14*f7+65256*f14*f3+56548*f14*f0+12407*f14*f1+53258*f14*f2+8044*f14*f4+50763*f14*f5+4293*f15^2+9110*f15*f16+55211*f15*f17+27766*f15*f18+5008*f15*f19+57956*f15*f20+11684*f15*f6+64132*f15*f7+6476*f15*f3+36810*f15*f0+27373*f15*f1+25728*f15*f2+26936*f15*f4+60739*f15*f5+49872*f16^2+50812*f16*f17+9528*f16*f18+64455*f16*f19+24192*f16*f20+53300*f16*f6+32088*f16*f7+35778*f16*f3+53342*f16*f0+39834*f16*f1+37646*f16*f2+11013*f16*f4+45658*f16*f5+7640*f17^2+12232*f17*f18+8974*f17*f19+24621*f17*f20+9947*f17*f6+31292*f17*f7+55669*f17*f3+10331*f17*f0+64672*f17*f1+16587*f17*f2+16449*f17*f4+52399*f17*f5+14707*f18^2+22758*f18*f19+27977*f18*f20+52200*f12*f4+31754*f12*f5+39381*f8^2+35198*f8*f9+27992*f8*f10+27023*f8*f11+5846*f8*f13+56634*f8*f14+62153*f8*f15+48654*f8*f16+14270*f8*f17+56705*f8*f18+40541*f8*f19+43962*f8*f20+4101*f8*f6+11900*f8*f7+17728*f8*f3+15780*f8*f0+50449*f8*f1+50438*f8*f2+6314*f8*f4+31912*f8*f5+486*f9^2+35516*f9*f10+59201*f9*f11+12492*f9*f13+58187*f9*f14+10108*f9*f15+14281*f9*f16+55688*f9*f17+61320*f9*f18+19876*f9*f19+32409*f9*f20+54536*f9*f6+47082*f9*f7+13561*f9*f3+20808*f9*f0+41810*f9*f1+17331*f9*f2+29452*f9*f4+38692*f9*f5+9290*f10^2+60547*f10*f11+17213*f10*f13+50999*f10*f14+40384*f10*f15+34317*f10*f16+23591*f10*f17+23379*f10*f18+19541*f10*f19+58205*f10*f20+5765*f10*f6+46717*f10*f7+39556*f10*f3+51708*f10*f0+11549*f10*f1+11214*f10*f2+61248*f10*f4+48615*f10*f5+62879*f11^2+52245*f11*f13+10207*f11*f14+20560*f11*f15+50050*f11*f16+64474*f11*f17+42145*f11*f18+21760*f11*f19+41652*f11*f20+25857*f11*f6+6106*f11*f7+1344*f11*f3+5454*f11*f0+52788*f11*f1+57991*f11*f2+27444*f11*f4+40975*f11*f5+36592*f13^2+24653*f13*f14+52252*f13*f15+54922*f13*f16+43497*f13*f17+30944*f13*f18+54027*f13*f19+45230*f13*f20+50532*f13*f6+22682*f13*f7+1988*f13*f3+4362*f12^2+31*f12*f8+39204*f12*f9+12857*f12*f10+50858*f12*f11+45197*f12*f13+9960*f12*f14+58244*f12*f15+29992*f12*f16+40209*f12*f17+48963*f12*f18+59094*f12*f19+62264*f12*f20+59266*f12*f6+64386*f12*f7+952*f12*f3+53004*f12*f0+4631*f12*f1+43807*f12*f2+37704*f0+31701*f1+17574*f2+19887*f3+49815*f4+3304*f5+19166*f6+10496*f7+58942*f8+53906*f9+2159*f10+32380*f11+20595*f13+23061*f14+58520*f15+13710*f16+22387*f17+30854*f18+59896*f19+63486*f20, 32380*f12+57392*f5^2+45003*f3^2+22752*f3*f0+57967*f3*f1+42143*f3*f2+10248*f3*f4+45458*f3*f5+13402*f0^2+60423*f0*f1+53300*f0*f2+43866*f0*f4+40445*f0*f5+48000*f1^2+40844*f1*f2+59769*f1*f4+65069*f1*f5+57824*f2^2+54971*f2*f4+61867*f2*f5+8013*f4^2+52291*f4*f5+52399*f18*f6+9947*f18*f7+16587*f18*f3+24621*f18*f0+10331*f18*f1+64672*f18*f2+55669*f18*f4+16449*f18*f5+14707*f19^2+22758*f19*f20+47401*f19*f6+41478*f19*f7+18321*f19*f3+27977*f19*f0+53243*f19*f1+10332*f19*f2+44187*f19*f4+784*f19*f5+59503*f20^2+45928*f20*f6+12111*f20*f7+34878*f20*f3+26921*f20*f0+12954*f20*f1+60074*f20*f2+25465*f20*f4+47884*f20*f5+39930*f6^2+62356*f6*f7+25780*f6*f3+50046*f6*f0+37190*f6*f1+9571*f6*f2+43691*f6*f4+16*f6*f5+24830*f7^2+25167*f7*f3+29891*f7*f0+7510*f7*f1+10266*f7*f2+37170*f7*f4+30077*f7*f5+62264*f13*f0+53004*f13*f1+4631*f13*f2+952*f13*f4+52200*f13*f5+36592*f14^2+24653*f14*f15+52252*f14*f16+54922*f14*f17+43497*f14*f18+30944*f14*f19+54027*f14*f20+4643*f14*f6+50532*f14*f7+62573*f14*f3+45230*f14*f0+49018*f14*f1+61702*f14*f2+1988*f14*f4+24214*f14*f5+41285*f15^2+52887*f15*f16+54970*f15*f17+53296*f15*f18+63110*f15*f19+26910*f15*f20+50763*f15*f6+30441*f15*f7+53258*f15*f3+33323*f15*f0+56548*f15*f1+12407*f15*f2+65256*f15*f4+8044*f15*f5+4293*f16^2+9110*f16*f17+55211*f16*f18+27766*f16*f19+5008*f16*f20+60739*f16*f6+11684*f16*f7+25728*f16*f3+57956*f16*f0+36810*f16*f1+27373*f16*f2+6476*f16*f4+26936*f16*f5+49872*f17^2+50812*f17*f18+9528*f17*f19+64455*f17*f20+45658*f17*f6+53300*f17*f7+37646*f17*f3+24192*f17*f0+53342*f17*f1+39834*f17*f2+35778*f17*f4+11013*f17*f5+7640*f18^2+12232*f18*f19+8974*f18*f20+1344*f12*f4+27444*f12*f5+25215*f8^2+11900*f8*f9+47082*f8*f10+46717*f8*f11+64386*f8*f13+22682*f8*f14+27364*f8*f15+64132*f8*f16+32088*f8*f17+31292*f8*f18+12083*f8*f19+54363*f8*f20+36350*f8*f6+33732*f8*f7+30178*f8*f3+972*f8*f0+54209*f8*f1+36116*f8*f2+33613*f8*f4+1320*f8*f5+39381*f9^2+35198*f9*f10+27992*f9*f11+31*f9*f13+5846*f9*f14+56634*f9*f15+62153*f9*f16+48654*f9*f17+14270*f9*f18+56705*f9*f19+40541*f9*f20+31912*f9*f6+4101*f9*f7+50438*f9*f3+43962*f9*f0+15780*f9*f1+50449*f9*f2+17728*f9*f4+6314*f9*f5+486*f10^2+35516*f10*f11+39204*f10*f13+12492*f10*f14+58187*f10*f15+10108*f10*f16+14281*f10*f17+55688*f10*f18+61320*f10*f19+19876*f10*f20+38692*f10*f6+54536*f10*f7+17331*f10*f3+32409*f10*f0+20808*f10*f1+41810*f10*f2+13561*f10*f4+29452*f10*f5+9290*f11^2+12857*f11*f13+17213*f11*f14+50999*f11*f15+40384*f11*f16+34317*f11*f17+23591*f11*f18+23379*f11*f19+19541*f11*f20+48615*f11*f6+5765*f11*f7+11214*f11*f3+58205*f11*f0+51708*f11*f1+11549*f11*f2+39556*f11*f4+61248*f11*f5+4362*f13^2+45197*f13*f14+9960*f13*f15+58244*f13*f16+29992*f13*f17+40209*f13*f18+48963*f13*f19+59094*f13*f20+31754*f13*f6+59266*f13*f7+43807*f13*f3+62879*f12^2+6106*f12*f8+27023*f12*f9+59201*f12*f10+60547*f12*f11+50858*f12*f13+52245*f12*f14+10207*f12*f15+20560*f12*f16+50050*f12*f17+64474*f12*f18+42145*f12*f19+21760*f12*f20+40975*f12*f6+25857*f12*f7+57991*f12*f3+41652*f12*f0+5454*f12*f1+52788*f12*f2+63486*f0+37704*f1+31701*f2+17574*f3+19887*f4+49815*f5+3304*f6+19166*f7+10496*f8+58942*f9+53906*f10+2159*f11+33856*f13+20595*f14+23061*f15+58520*f16+13710*f17+22387*f18+30854*f19+59896*f20, 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]