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

#modulo 65437

#list


[23646*f12+37893*f0+43334*f1+61005*f2+45332*f3+2296*f4+29107*f5+22182*f6+23487*f7+43434*f8+3027*f9+58136*f10+25308*f11+16106*f13+49686*f14+3344*f15+3483*f16+53189*f17+44937*f18+22334*f14^2+10882*f14*f15+58684*f14*f18+58046*f15^2+51952*f15*f18+13586*f18^2+10968*f13^2+12955*f13*f0+38161*f13*f1+19950*f13*f2+7729*f13*f3+14942*f13*f4+13348*f13*f5+19981*f13*f6+35378*f13*f16+52534*f13*f17+27286*f13*f14+7626*f13*f15+44204*f13*f18+60795*f0^2+23805*f0*f1+4569*f0*f2+23015*f0*f3+7673*f0*f4+21832*f0*f5+8522*f0*f6+55217*f0*f16+62354*f0*f17+61905*f0*f14+56320*f0*f15+57691*f0*f18+55404*f1^2+2614*f1*f2+61733*f1*f3+61248*f1*f4+49126*f1*f5+61390*f1*f6+3763*f1*f16+9350*f1*f17+39026*f1*f14+62756*f1*f15+51424*f1*f18+11524*f2^2+25769*f2*f3+64600*f2*f4+13643*f2*f5+16937*f2*f6+12952*f2*f16+6289*f2*f17+39743*f2*f14+1745*f2*f15+58888*f2*f18+6676*f3^2+9447*f3*f4+13712*f3*f5+33527*f3*f6+49187*f3*f16+13218*f3*f17+48424*f3*f14+10795*f3*f15+60548*f3*f18+36656*f4^2+36990*f4*f5+39772*f4*f6+27308*f4*f16+33004*f4*f17+44730*f4*f14+43390*f4*f15+27843*f4*f18+4610*f5^2+34627*f5*f6+35536*f5*f16+61917*f5*f17+39967*f5*f14+57978*f5*f15+53006*f5*f18+20321*f6^2+23055*f6*f16+18576*f6*f17+24359*f6*f14+7537*f6*f15+46863*f6*f18+25444*f16^2+10280*f16*f17+16383*f16*f14+64169*f16*f15+45971*f16*f18+31900*f17^2+19944*f17*f14+12500*f17*f15+4462*f17*f18+39588*f12^2+19566*f12*f7+13298*f12*f8+42165*f12*f9+32157*f12*f10+23206*f12*f11+63709*f12*f13+43511*f12*f0+60999*f12*f1+62004*f12*f2+59387*f12*f3+22449*f12*f4+60949*f12*f5+10597*f12*f6+13107*f12*f16+15908*f12*f17+38516*f12*f14+48656*f12*f15+28592*f12*f18+5259*f7^2+8493*f7*f8+61134*f7*f9+63580*f7*f10+24013*f7*f11+46087*f7*f13+33945*f7*f0+22557*f7*f1+31766*f7*f2+39951*f7*f3+12128*f7*f4+31540*f7*f5+23917*f7*f6+17942*f7*f16+49989*f7*f17+8685*f7*f14+32256*f7*f15+3892*f7*f18+29083*f8^2+23570*f8*f9+57573*f8*f10+33892*f8*f11+52948*f8*f13+11713*f8*f0+9050*f8*f1+32332*f8*f2+32390*f8*f3+62389*f8*f4+46633*f8*f5+48074*f8*f6+45993*f8*f16+46356*f8*f17+29802*f8*f14+11749*f8*f15+8518*f8*f18+1549*f9^2+35158*f9*f10+26615*f9*f11+4594*f9*f13+47537*f9*f0+7103*f9*f1+63279*f9*f2+62587*f9*f3+27340*f9*f4+57374*f9*f5+13104*f9*f6+15368*f9*f16+56166*f9*f17+50592*f9*f14+24543*f9*f15+26989*f9*f18+38883*f10^2+40760*f10*f11+766*f10*f13+21686*f10*f0+12722*f10*f1+64308*f10*f2+22828*f10*f3+42989*f10*f4+58338*f10*f5+11586*f10*f6+51220*f10*f16+5975*f10*f17+50484*f10*f14+52351*f10*f15+32162*f10*f18+62945*f11^2+7150*f11*f13+33618*f11*f0+10941*f11*f1+53361*f11*f2+41544*f11*f3+63661*f11*f4+31294*f11*f5+61503*f11*f6+8250*f11*f16+5370*f11*f17+31792*f11*f14+39822*f11*f15+6509*f11*f18, 25308*f12+44937*f0+37893*f1+43334*f2+61005*f3+45332*f4+2296*f5+29107*f6+22182*f7+23487*f8+43434*f9+3027*f10+58136*f11+23646*f13+16106*f14+49686*f15+3344*f16+3483*f17+53189*f18+10968*f14^2+27286*f14*f15+52534*f14*f18+22334*f15^2+19944*f15*f18+31900*f18^2+39588*f13^2+28592*f13*f0+43511*f13*f1+60999*f13*f2+62004*f13*f3+59387*f13*f4+22449*f13*f5+60949*f13*f6+48656*f13*f16+13107*f13*f17+63709*f13*f14+38516*f13*f15+15908*f13*f18+13586*f0^2+57691*f0*f1+51424*f0*f2+58888*f0*f3+60548*f0*f4+27843*f0*f5+53006*f0*f6+51952*f0*f16+45971*f0*f17+44204*f0*f14+58684*f0*f15+4462*f0*f18+60795*f1^2+23805*f1*f2+4569*f1*f3+23015*f1*f4+7673*f1*f5+21832*f1*f6+56320*f1*f16+55217*f1*f17+12955*f1*f14+61905*f1*f15+62354*f1*f18+55404*f2^2+2614*f2*f3+61733*f2*f4+61248*f2*f5+49126*f2*f6+62756*f2*f16+3763*f2*f17+38161*f2*f14+39026*f2*f15+9350*f2*f18+11524*f3^2+25769*f3*f4+64600*f3*f5+13643*f3*f6+1745*f3*f16+12952*f3*f17+19950*f3*f14+39743*f3*f15+6289*f3*f18+6676*f4^2+9447*f4*f5+13712*f4*f6+10795*f4*f16+49187*f4*f17+7729*f4*f14+48424*f4*f15+13218*f4*f18+36656*f5^2+36990*f5*f6+43390*f5*f16+27308*f5*f17+14942*f5*f14+44730*f5*f15+33004*f5*f18+4610*f6^2+57978*f6*f16+35536*f6*f17+13348*f6*f14+39967*f6*f15+61917*f6*f18+58046*f16^2+64169*f16*f17+7626*f16*f14+10882*f16*f15+12500*f16*f18+25444*f17^2+35378*f17*f14+16383*f17*f15+10280*f17*f18+62945*f12^2+61503*f12*f7+24013*f12*f8+33892*f12*f9+26615*f12*f10+40760*f12*f11+23206*f12*f13+6509*f12*f0+33618*f12*f1+10941*f12*f2+53361*f12*f3+41544*f12*f4+63661*f12*f5+31294*f12*f6+39822*f12*f16+8250*f12*f17+7150*f12*f14+31792*f12*f15+5370*f12*f18+20321*f7^2+23917*f7*f8+48074*f7*f9+13104*f7*f10+11586*f7*f11+10597*f7*f13+46863*f7*f0+8522*f7*f1+61390*f7*f2+16937*f7*f3+33527*f7*f4+39772*f7*f5+34627*f7*f6+7537*f7*f16+23055*f7*f17+19981*f7*f14+24359*f7*f15+18576*f7*f18+5259*f8^2+8493*f8*f9+61134*f8*f10+63580*f8*f11+19566*f8*f13+3892*f8*f0+33945*f8*f1+22557*f8*f2+31766*f8*f3+39951*f8*f4+12128*f8*f5+31540*f8*f6+32256*f8*f16+17942*f8*f17+46087*f8*f14+8685*f8*f15+49989*f8*f18+29083*f9^2+23570*f9*f10+57573*f9*f11+13298*f9*f13+8518*f9*f0+11713*f9*f1+9050*f9*f2+32332*f9*f3+32390*f9*f4+62389*f9*f5+46633*f9*f6+11749*f9*f16+45993*f9*f17+52948*f9*f14+29802*f9*f15+46356*f9*f18+1549*f10^2+35158*f10*f11+42165*f10*f13+26989*f10*f0+47537*f10*f1+7103*f10*f2+63279*f10*f3+62587*f10*f4+27340*f10*f5+57374*f10*f6+24543*f10*f16+15368*f10*f17+4594*f10*f14+50592*f10*f15+56166*f10*f18+38883*f11^2+32157*f11*f13+32162*f11*f0+21686*f11*f1+12722*f11*f2+64308*f11*f3+22828*f11*f4+42989*f11*f5+58338*f11*f6+52351*f11*f16+51220*f11*f17+766*f11*f14+50484*f11*f15+5975*f11*f18, 58136*f12+53189*f0+44937*f1+37893*f2+43334*f3+61005*f4+45332*f5+2296*f6+29107*f7+22182*f8+23487*f9+43434*f10+3027*f11+25308*f13+23646*f14+16106*f15+49686*f16+3344*f17+3483*f18+39588*f14^2+63709*f14*f15+13107*f14*f18+10968*f15^2+35378*f15*f18+25444*f18^2+62945*f13^2+5370*f13*f0+6509*f13*f1+33618*f13*f2+10941*f13*f3+53361*f13*f4+41544*f13*f5+63661*f13*f6+31792*f13*f16+39822*f13*f17+23206*f13*f14+7150*f13*f15+8250*f13*f18+31900*f0^2+4462*f0*f1+62354*f0*f2+9350*f0*f3+6289*f0*f4+13218*f0*f5+33004*f0*f6+19944*f0*f16+12500*f0*f17+15908*f0*f14+52534*f0*f15+10280*f0*f18+13586*f1^2+57691*f1*f2+51424*f1*f3+58888*f1*f4+60548*f1*f5+27843*f1*f6+58684*f1*f16+51952*f1*f17+28592*f1*f14+44204*f1*f15+45971*f1*f18+60795*f2^2+23805*f2*f3+4569*f2*f4+23015*f2*f5+7673*f2*f6+61905*f2*f16+56320*f2*f17+43511*f2*f14+12955*f2*f15+55217*f2*f18+55404*f3^2+2614*f3*f4+61733*f3*f5+61248*f3*f6+39026*f3*f16+62756*f3*f17+60999*f3*f14+38161*f3*f15+3763*f3*f18+11524*f4^2+25769*f4*f5+64600*f4*f6+39743*f4*f16+1745*f4*f17+62004*f4*f14+19950*f4*f15+12952*f4*f18+6676*f5^2+9447*f5*f6+48424*f5*f16+10795*f5*f17+59387*f5*f14+7729*f5*f15+49187*f5*f18+36656*f6^2+44730*f6*f16+43390*f6*f17+22449*f6*f14+14942*f6*f15+27308*f6*f18+22334*f16^2+10882*f16*f17+38516*f16*f14+27286*f16*f15+16383*f16*f18+58046*f17^2+48656*f17*f14+7626*f17*f15+64169*f17*f18+38883*f12^2+58338*f12*f7+11586*f12*f8+63580*f12*f9+57573*f12*f10+35158*f12*f11+40760*f12*f13+5975*f12*f0+32162*f12*f1+21686*f12*f2+12722*f12*f3+64308*f12*f4+22828*f12*f5+42989*f12*f6+50484*f12*f16+52351*f12*f17+32157*f12*f14+766*f12*f15+51220*f12*f18+4610*f7^2+34627*f7*f8+31540*f7*f9+46633*f7*f10+57374*f7*f11+31294*f7*f13+61917*f7*f0+53006*f7*f1+21832*f7*f2+49126*f7*f3+13643*f7*f4+13712*f7*f5+36990*f7*f6+39967*f7*f16+57978*f7*f17+60949*f7*f14+13348*f7*f15+35536*f7*f18+20321*f8^2+23917*f8*f9+48074*f8*f10+13104*f8*f11+61503*f8*f13+18576*f8*f0+46863*f8*f1+8522*f8*f2+61390*f8*f3+16937*f8*f4+33527*f8*f5+39772*f8*f6+24359*f8*f16+7537*f8*f17+10597*f8*f14+19981*f8*f15+23055*f8*f18+5259*f9^2+8493*f9*f10+61134*f9*f11+24013*f9*f13+49989*f9*f0+3892*f9*f1+33945*f9*f2+22557*f9*f3+31766*f9*f4+39951*f9*f5+12128*f9*f6+8685*f9*f16+32256*f9*f17+19566*f9*f14+46087*f9*f15+17942*f9*f18+29083*f10^2+23570*f10*f11+33892*f10*f13+46356*f10*f0+8518*f10*f1+11713*f10*f2+9050*f10*f3+32332*f10*f4+32390*f10*f5+62389*f10*f6+29802*f10*f16+11749*f10*f17+13298*f10*f14+52948*f10*f15+45993*f10*f18+1549*f11^2+26615*f11*f13+56166*f11*f0+26989*f11*f1+47537*f11*f2+7103*f11*f3+63279*f11*f4+62587*f11*f5+27340*f11*f6+50592*f11*f16+24543*f11*f17+42165*f11*f14+4594*f11*f15+15368*f11*f18, 3027*f12+3483*f0+53189*f1+44937*f2+37893*f3+43334*f4+61005*f5+45332*f6+2296*f7+29107*f8+22182*f9+23487*f10+43434*f11+58136*f13+25308*f14+23646*f15+16106*f16+49686*f17+3344*f18+62945*f14^2+23206*f14*f15+39822*f14*f18+39588*f15^2+48656*f15*f18+58046*f18^2+38883*f13^2+51220*f13*f0+5975*f13*f1+32162*f13*f2+21686*f13*f3+12722*f13*f4+64308*f13*f5+22828*f13*f6+766*f13*f16+50484*f13*f17+40760*f13*f14+32157*f13*f15+52351*f13*f18+25444*f0^2+10280*f0*f1+45971*f0*f2+55217*f0*f3+3763*f0*f4+12952*f0*f5+49187*f0*f6+35378*f0*f16+16383*f0*f17+8250*f0*f14+13107*f0*f15+64169*f0*f18+31900*f1^2+4462*f1*f2+62354*f1*f3+9350*f1*f4+6289*f1*f5+13218*f1*f6+52534*f1*f16+19944*f1*f17+5370*f1*f14+15908*f1*f15+12500*f1*f18+13586*f2^2+57691*f2*f3+51424*f2*f4+58888*f2*f5+60548*f2*f6+44204*f2*f16+58684*f2*f17+6509*f2*f14+28592*f2*f15+51952*f2*f18+60795*f3^2+23805*f3*f4+4569*f3*f5+23015*f3*f6+12955*f3*f16+61905*f3*f17+33618*f3*f14+43511*f3*f15+56320*f3*f18+55404*f4^2+2614*f4*f5+61733*f4*f6+38161*f4*f16+39026*f4*f17+10941*f4*f14+60999*f4*f15+62756*f4*f18+11524*f5^2+25769*f5*f6+19950*f5*f16+39743*f5*f17+53361*f5*f14+62004*f5*f15+1745*f5*f18+6676*f6^2+7729*f6*f16+48424*f6*f17+41544*f6*f14+59387*f6*f15+10795*f6*f18+10968*f16^2+27286*f16*f17+7150*f16*f14+63709*f16*f15+7626*f16*f18+22334*f17^2+31792*f17*f14+38516*f17*f15+10882*f17*f18+1549*f12^2+27340*f12*f7+57374*f12*f8+13104*f12*f9+61134*f12*f10+23570*f12*f11+35158*f12*f13+15368*f12*f0+56166*f12*f1+26989*f12*f2+47537*f12*f3+7103*f12*f4+63279*f12*f5+62587*f12*f6+4594*f12*f16+50592*f12*f17+26615*f12*f14+42165*f12*f15+24543*f12*f18+36656*f7^2+36990*f7*f8+39772*f7*f9+12128*f7*f10+62389*f7*f11+42989*f7*f13+27308*f7*f0+33004*f7*f1+27843*f7*f2+7673*f7*f3+61248*f7*f4+64600*f7*f5+9447*f7*f6+14942*f7*f16+44730*f7*f17+63661*f7*f14+22449*f7*f15+43390*f7*f18+4610*f8^2+34627*f8*f9+31540*f8*f10+46633*f8*f11+58338*f8*f13+35536*f8*f0+61917*f8*f1+53006*f8*f2+21832*f8*f3+49126*f8*f4+13643*f8*f5+13712*f8*f6+13348*f8*f16+39967*f8*f17+31294*f8*f14+60949*f8*f15+57978*f8*f18+20321*f9^2+23917*f9*f10+48074*f9*f11+11586*f9*f13+23055*f9*f0+18576*f9*f1+46863*f9*f2+8522*f9*f3+61390*f9*f4+16937*f9*f5+33527*f9*f6+19981*f9*f16+24359*f9*f17+61503*f9*f14+10597*f9*f15+7537*f9*f18+5259*f10^2+8493*f10*f11+63580*f10*f13+17942*f10*f0+49989*f10*f1+3892*f10*f2+33945*f10*f3+22557*f10*f4+31766*f10*f5+39951*f10*f6+46087*f10*f16+8685*f10*f17+24013*f10*f14+19566*f10*f15+32256*f10*f18+29083*f11^2+57573*f11*f13+45993*f11*f0+46356*f11*f1+8518*f11*f2+11713*f11*f3+9050*f11*f4+32332*f11*f5+32390*f11*f6+52948*f11*f16+29802*f11*f17+33892*f11*f14+13298*f11*f15+11749*f11*f18, 43434*f12+3344*f0+3483*f1+53189*f2+44937*f3+37893*f4+43334*f5+61005*f6+45332*f7+2296*f8+29107*f9+22182*f10+23487*f11+3027*f13+58136*f14+25308*f15+23646*f16+16106*f17+49686*f18+38883*f14^2+40760*f14*f15+50484*f14*f18+62945*f15^2+31792*f15*f18+22334*f18^2+1549*f13^2+24543*f13*f0+15368*f13*f1+56166*f13*f2+26989*f13*f3+47537*f13*f4+7103*f13*f5+63279*f13*f6+42165*f13*f16+4594*f13*f17+35158*f13*f14+26615*f13*f15+50592*f13*f18+58046*f0^2+64169*f0*f1+12500*f0*f2+51952*f0*f3+56320*f0*f4+62756*f0*f5+1745*f0*f6+48656*f0*f16+7626*f0*f17+52351*f0*f14+39822*f0*f15+10882*f0*f18+25444*f1^2+10280*f1*f2+45971*f1*f3+55217*f1*f4+3763*f1*f5+12952*f1*f6+13107*f1*f16+35378*f1*f17+51220*f1*f14+8250*f1*f15+16383*f1*f18+31900*f2^2+4462*f2*f3+62354*f2*f4+9350*f2*f5+6289*f2*f6+15908*f2*f16+52534*f2*f17+5975*f2*f14+5370*f2*f15+19944*f2*f18+13586*f3^2+57691*f3*f4+51424*f3*f5+58888*f3*f6+28592*f3*f16+44204*f3*f17+32162*f3*f14+6509*f3*f15+58684*f3*f18+60795*f4^2+23805*f4*f5+4569*f4*f6+43511*f4*f16+12955*f4*f17+21686*f4*f14+33618*f4*f15+61905*f4*f18+55404*f5^2+2614*f5*f6+60999*f5*f16+38161*f5*f17+12722*f5*f14+10941*f5*f15+39026*f5*f18+11524*f6^2+62004*f6*f16+19950*f6*f17+64308*f6*f14+53361*f6*f15+39743*f6*f18+39588*f16^2+63709*f16*f17+32157*f16*f14+23206*f16*f15+38516*f16*f18+10968*f17^2+766*f17*f14+7150*f17*f15+27286*f17*f18+29083*f12^2+32390*f12*f7+62389*f12*f8+46633*f12*f9+48074*f12*f10+8493*f12*f11+23570*f12*f13+11749*f12*f0+45993*f12*f1+46356*f12*f2+8518*f12*f3+11713*f12*f4+9050*f12*f5+32332*f12*f6+13298*f12*f16+52948*f12*f17+57573*f12*f14+33892*f12*f15+29802*f12*f18+6676*f7^2+9447*f7*f8+13712*f7*f9+33527*f7*f10+39951*f7*f11+62587*f7*f13+10795*f7*f0+49187*f7*f1+13218*f7*f2+60548*f7*f3+23015*f7*f4+61733*f7*f5+25769*f7*f6+59387*f7*f16+7729*f7*f17+22828*f7*f14+41544*f7*f15+48424*f7*f18+36656*f8^2+36990*f8*f9+39772*f8*f10+12128*f8*f11+27340*f8*f13+43390*f8*f0+27308*f8*f1+33004*f8*f2+27843*f8*f3+7673*f8*f4+61248*f8*f5+64600*f8*f6+22449*f8*f16+14942*f8*f17+42989*f8*f14+63661*f8*f15+44730*f8*f18+4610*f9^2+34627*f9*f10+31540*f9*f11+57374*f9*f13+57978*f9*f0+35536*f9*f1+61917*f9*f2+53006*f9*f3+21832*f9*f4+49126*f9*f5+13643*f9*f6+60949*f9*f16+13348*f9*f17+58338*f9*f14+31294*f9*f15+39967*f9*f18+20321*f10^2+23917*f10*f11+13104*f10*f13+7537*f10*f0+23055*f10*f1+18576*f10*f2+46863*f10*f3+8522*f10*f4+61390*f10*f5+16937*f10*f6+10597*f10*f16+19981*f10*f17+11586*f10*f14+61503*f10*f15+24359*f10*f18+5259*f11^2+61134*f11*f13+32256*f11*f0+17942*f11*f1+49989*f11*f2+3892*f11*f3+33945*f11*f4+22557*f11*f5+31766*f11*f6+19566*f11*f16+46087*f11*f17+63580*f11*f14+24013*f11*f15+8685*f11*f18, 23487*f12+49686*f0+3344*f1+3483*f2+53189*f3+44937*f4+37893*f5+43334*f6+61005*f7+45332*f8+2296*f9+29107*f10+22182*f11+43434*f13+3027*f14+58136*f15+25308*f16+23646*f17+16106*f18+1549*f14^2+35158*f14*f15+4594*f14*f18+38883*f15^2+766*f15*f18+10968*f18^2+29083*f13^2+29802*f13*f0+11749*f13*f1+45993*f13*f2+46356*f13*f3+8518*f13*f4+11713*f13*f5+9050*f13*f6+33892*f13*f16+13298*f13*f17+23570*f13*f14+57573*f13*f15+52948*f13*f18+22334*f0^2+10882*f0*f1+16383*f0*f2+19944*f0*f3+58684*f0*f4+61905*f0*f5+39026*f0*f6+31792*f0*f16+38516*f0*f17+50592*f0*f14+50484*f0*f15+27286*f0*f18+58046*f1^2+64169*f1*f2+12500*f1*f3+51952*f1*f4+56320*f1*f5+62756*f1*f6+39822*f1*f16+48656*f1*f17+24543*f1*f14+52351*f1*f15+7626*f1*f18+25444*f2^2+10280*f2*f3+45971*f2*f4+55217*f2*f5+3763*f2*f6+8250*f2*f16+13107*f2*f17+15368*f2*f14+51220*f2*f15+35378*f2*f18+31900*f3^2+4462*f3*f4+62354*f3*f5+9350*f3*f6+5370*f3*f16+15908*f3*f17+56166*f3*f14+5975*f3*f15+52534*f3*f18+13586*f4^2+57691*f4*f5+51424*f4*f6+6509*f4*f16+28592*f4*f17+26989*f4*f14+32162*f4*f15+44204*f4*f18+60795*f5^2+23805*f5*f6+33618*f5*f16+43511*f5*f17+47537*f5*f14+21686*f5*f15+12955*f5*f18+55404*f6^2+10941*f6*f16+60999*f6*f17+7103*f6*f14+12722*f6*f15+38161*f6*f18+62945*f16^2+23206*f16*f17+26615*f16*f14+40760*f16*f15+7150*f16*f18+39588*f17^2+42165*f17*f14+32157*f17*f15+63709*f17*f18+5259*f12^2+31766*f12*f7+39951*f12*f8+12128*f12*f9+31540*f12*f10+23917*f12*f11+8493*f12*f13+8685*f12*f0+32256*f12*f1+17942*f12*f2+49989*f12*f3+3892*f12*f4+33945*f12*f5+22557*f12*f6+24013*f12*f16+19566*f12*f17+61134*f12*f14+63580*f12*f15+46087*f12*f18+11524*f7^2+25769*f7*f8+64600*f7*f9+13643*f7*f10+16937*f7*f11+32332*f7*f13+39743*f7*f0+1745*f7*f1+12952*f7*f2+6289*f7*f3+58888*f7*f4+4569*f7*f5+2614*f7*f6+53361*f7*f16+62004*f7*f17+63279*f7*f14+64308*f7*f15+19950*f7*f18+6676*f8^2+9447*f8*f9+13712*f8*f10+33527*f8*f11+32390*f8*f13+48424*f8*f0+10795*f8*f1+49187*f8*f2+13218*f8*f3+60548*f8*f4+23015*f8*f5+61733*f8*f6+41544*f8*f16+59387*f8*f17+62587*f8*f14+22828*f8*f15+7729*f8*f18+36656*f9^2+36990*f9*f10+39772*f9*f11+62389*f9*f13+44730*f9*f0+43390*f9*f1+27308*f9*f2+33004*f9*f3+27843*f9*f4+7673*f9*f5+61248*f9*f6+63661*f9*f16+22449*f9*f17+27340*f9*f14+42989*f9*f15+14942*f9*f18+4610*f10^2+34627*f10*f11+46633*f10*f13+39967*f10*f0+57978*f10*f1+35536*f10*f2+61917*f10*f3+53006*f10*f4+21832*f10*f5+49126*f10*f6+31294*f10*f16+60949*f10*f17+57374*f10*f14+58338*f10*f15+13348*f10*f18+20321*f11^2+48074*f11*f13+24359*f11*f0+7537*f11*f1+23055*f11*f2+18576*f11*f3+46863*f11*f4+8522*f11*f5+61390*f11*f6+61503*f11*f16+10597*f11*f17+13104*f11*f14+11586*f11*f15+19981*f11*f18, 22182*f12+16106*f0+49686*f1+3344*f2+3483*f3+53189*f4+44937*f5+37893*f6+43334*f7+61005*f8+45332*f9+2296*f10+29107*f11+23487*f13+43434*f14+3027*f15+58136*f16+25308*f17+23646*f18+29083*f14^2+23570*f14*f15+13298*f14*f18+1549*f15^2+42165*f15*f18+39588*f18^2+5259*f13^2+46087*f13*f0+8685*f13*f1+32256*f13*f2+17942*f13*f3+49989*f13*f4+3892*f13*f5+33945*f13*f6+63580*f13*f16+24013*f13*f17+8493*f13*f14+61134*f13*f15+19566*f13*f18+10968*f0^2+27286*f0*f1+7626*f0*f2+35378*f0*f3+52534*f0*f4+44204*f0*f5+12955*f0*f6+766*f0*f16+7150*f0*f17+52948*f0*f14+4594*f0*f15+63709*f0*f18+22334*f1^2+10882*f1*f2+16383*f1*f3+19944*f1*f4+58684*f1*f5+61905*f1*f6+50484*f1*f16+31792*f1*f17+29802*f1*f14+50592*f1*f15+38516*f1*f18+58046*f2^2+64169*f2*f3+12500*f2*f4+51952*f2*f5+56320*f2*f6+52351*f2*f16+39822*f2*f17+11749*f2*f14+24543*f2*f15+48656*f2*f18+25444*f3^2+10280*f3*f4+45971*f3*f5+55217*f3*f6+51220*f3*f16+8250*f3*f17+45993*f3*f14+15368*f3*f15+13107*f3*f18+31900*f4^2+4462*f4*f5+62354*f4*f6+5975*f4*f16+5370*f4*f17+46356*f4*f14+56166*f4*f15+15908*f4*f18+13586*f5^2+57691*f5*f6+32162*f5*f16+6509*f5*f17+8518*f5*f14+26989*f5*f15+28592*f5*f18+60795*f6^2+21686*f6*f16+33618*f6*f17+11713*f6*f14+47537*f6*f15+43511*f6*f18+38883*f16^2+40760*f16*f17+57573*f16*f14+35158*f16*f15+32157*f16*f18+62945*f17^2+33892*f17*f14+26615*f17*f15+23206*f17*f18+20321*f12^2+61390*f12*f7+16937*f12*f8+33527*f12*f9+39772*f12*f10+34627*f12*f11+23917*f12*f13+19981*f12*f0+24359*f12*f1+7537*f12*f2+23055*f12*f3+18576*f12*f4+46863*f12*f5+8522*f12*f6+11586*f12*f16+61503*f12*f17+48074*f12*f14+13104*f12*f15+10597*f12*f18+55404*f7^2+2614*f7*f8+61733*f7*f9+61248*f7*f10+49126*f7*f11+22557*f7*f13+38161*f7*f0+39026*f7*f1+62756*f7*f2+3763*f7*f3+9350*f7*f4+51424*f7*f5+23805*f7*f6+12722*f7*f16+10941*f7*f17+9050*f7*f14+7103*f7*f15+60999*f7*f18+11524*f8^2+25769*f8*f9+64600*f8*f10+13643*f8*f11+31766*f8*f13+19950*f8*f0+39743*f8*f1+1745*f8*f2+12952*f8*f3+6289*f8*f4+58888*f8*f5+4569*f8*f6+64308*f8*f16+53361*f8*f17+32332*f8*f14+63279*f8*f15+62004*f8*f18+6676*f9^2+9447*f9*f10+13712*f9*f11+39951*f9*f13+7729*f9*f0+48424*f9*f1+10795*f9*f2+49187*f9*f3+13218*f9*f4+60548*f9*f5+23015*f9*f6+22828*f9*f16+41544*f9*f17+32390*f9*f14+62587*f9*f15+59387*f9*f18+36656*f10^2+36990*f10*f11+12128*f10*f13+14942*f10*f0+44730*f10*f1+43390*f10*f2+27308*f10*f3+33004*f10*f4+27843*f10*f5+7673*f10*f6+42989*f10*f16+63661*f10*f17+62389*f10*f14+27340*f10*f15+22449*f10*f18+4610*f11^2+31540*f11*f13+13348*f11*f0+39967*f11*f1+57978*f11*f2+35536*f11*f3+61917*f11*f4+53006*f11*f5+21832*f11*f6+58338*f11*f16+31294*f11*f17+46633*f11*f14+57374*f11*f15+60949*f11*f18, 29107*f12+23646*f0+16106*f1+49686*f2+3344*f3+3483*f4+53189*f5+44937*f6+37893*f7+43334*f8+61005*f9+45332*f10+2296*f11+22182*f13+23487*f14+43434*f15+3027*f16+58136*f17+25308*f18+5259*f14^2+8493*f14*f15+24013*f14*f18+29083*f15^2+33892*f15*f18+62945*f18^2+20321*f13^2+10597*f13*f0+19981*f13*f1+24359*f13*f2+7537*f13*f3+23055*f13*f4+18576*f13*f5+46863*f13*f6+13104*f13*f16+11586*f13*f17+23917*f13*f14+48074*f13*f15+61503*f13*f18+39588*f0^2+63709*f0*f1+38516*f0*f2+48656*f0*f3+13107*f0*f4+15908*f0*f5+28592*f0*f6+42165*f0*f16+32157*f0*f17+19566*f0*f14+13298*f0*f15+23206*f0*f18+10968*f1^2+27286*f1*f2+7626*f1*f3+35378*f1*f4+52534*f1*f5+44204*f1*f6+4594*f1*f16+766*f1*f17+46087*f1*f14+52948*f1*f15+7150*f1*f18+22334*f2^2+10882*f2*f3+16383*f2*f4+19944*f2*f5+58684*f2*f6+50592*f2*f16+50484*f2*f17+8685*f2*f14+29802*f2*f15+31792*f2*f18+58046*f3^2+64169*f3*f4+12500*f3*f5+51952*f3*f6+24543*f3*f16+52351*f3*f17+32256*f3*f14+11749*f3*f15+39822*f3*f18+25444*f4^2+10280*f4*f5+45971*f4*f6+15368*f4*f16+51220*f4*f17+17942*f4*f14+45993*f4*f15+8250*f4*f18+31900*f5^2+4462*f5*f6+56166*f5*f16+5975*f5*f17+49989*f5*f14+46356*f5*f15+5370*f5*f18+13586*f6^2+26989*f6*f16+32162*f6*f17+3892*f6*f14+8518*f6*f15+6509*f6*f18+1549*f16^2+35158*f16*f17+61134*f16*f14+23570*f16*f15+26615*f16*f18+38883*f17^2+63580*f17*f14+57573*f17*f15+40760*f17*f18+4610*f12^2+21832*f12*f7+49126*f12*f8+13643*f12*f9+13712*f12*f10+36990*f12*f11+34627*f12*f13+60949*f12*f0+13348*f12*f1+39967*f12*f2+57978*f12*f3+35536*f12*f4+61917*f12*f5+53006*f12*f6+57374*f12*f16+58338*f12*f17+31540*f12*f14+46633*f12*f15+31294*f12*f18+60795*f7^2+23805*f7*f8+4569*f7*f9+23015*f7*f10+7673*f7*f11+8522*f7*f13+43511*f7*f0+12955*f7*f1+61905*f7*f2+56320*f7*f3+55217*f7*f4+62354*f7*f5+57691*f7*f6+47537*f7*f16+21686*f7*f17+33945*f7*f14+11713*f7*f15+33618*f7*f18+55404*f8^2+2614*f8*f9+61733*f8*f10+61248*f8*f11+61390*f8*f13+60999*f8*f0+38161*f8*f1+39026*f8*f2+62756*f8*f3+3763*f8*f4+9350*f8*f5+51424*f8*f6+7103*f8*f16+12722*f8*f17+22557*f8*f14+9050*f8*f15+10941*f8*f18+11524*f9^2+25769*f9*f10+64600*f9*f11+16937*f9*f13+62004*f9*f0+19950*f9*f1+39743*f9*f2+1745*f9*f3+12952*f9*f4+6289*f9*f5+58888*f9*f6+63279*f9*f16+64308*f9*f17+31766*f9*f14+32332*f9*f15+53361*f9*f18+6676*f10^2+9447*f10*f11+33527*f10*f13+59387*f10*f0+7729*f10*f1+48424*f10*f2+10795*f10*f3+49187*f10*f4+13218*f10*f5+60548*f10*f6+62587*f10*f16+22828*f10*f17+39951*f10*f14+32390*f10*f15+41544*f10*f18+36656*f11^2+39772*f11*f13+22449*f11*f0+14942*f11*f1+44730*f11*f2+43390*f11*f3+27308*f11*f4+33004*f11*f5+27843*f11*f6+27340*f11*f16+42989*f11*f17+12128*f11*f14+62389*f11*f15+63661*f11*f18, 2296*f12+25308*f0+23646*f1+16106*f2+49686*f3+3344*f4+3483*f5+53189*f6+44937*f7+37893*f8+43334*f9+61005*f10+45332*f11+29107*f13+22182*f14+23487*f15+43434*f16+3027*f17+58136*f18+20321*f14^2+23917*f14*f15+11586*f14*f18+5259*f15^2+63580*f15*f18+38883*f18^2+4610*f13^2+31294*f13*f0+60949*f13*f1+13348*f13*f2+39967*f13*f3+57978*f13*f4+35536*f13*f5+61917*f13*f6+46633*f13*f16+57374*f13*f17+34627*f13*f14+31540*f13*f15+58338*f13*f18+62945*f0^2+23206*f0*f1+7150*f0*f2+31792*f0*f3+39822*f0*f4+8250*f0*f5+5370*f0*f6+33892*f0*f16+26615*f0*f17+61503*f0*f14+24013*f0*f15+40760*f0*f18+39588*f1^2+63709*f1*f2+38516*f1*f3+48656*f1*f4+13107*f1*f5+15908*f1*f6+13298*f1*f16+42165*f1*f17+10597*f1*f14+19566*f1*f15+32157*f1*f18+10968*f2^2+27286*f2*f3+7626*f2*f4+35378*f2*f5+52534*f2*f6+52948*f2*f16+4594*f2*f17+19981*f2*f14+46087*f2*f15+766*f2*f18+22334*f3^2+10882*f3*f4+16383*f3*f5+19944*f3*f6+29802*f3*f16+50592*f3*f17+24359*f3*f14+8685*f3*f15+50484*f3*f18+58046*f4^2+64169*f4*f5+12500*f4*f6+11749*f4*f16+24543*f4*f17+7537*f4*f14+32256*f4*f15+52351*f4*f18+25444*f5^2+10280*f5*f6+45993*f5*f16+15368*f5*f17+23055*f5*f14+17942*f5*f15+51220*f5*f18+31900*f6^2+46356*f6*f16+56166*f6*f17+18576*f6*f14+49989*f6*f15+5975*f6*f18+29083*f16^2+23570*f16*f17+48074*f16*f14+8493*f16*f15+57573*f16*f18+1549*f17^2+13104*f17*f14+61134*f17*f15+35158*f17*f18+36656*f12^2+27843*f12*f7+7673*f12*f8+61248*f12*f9+64600*f12*f10+9447*f12*f11+36990*f12*f13+63661*f12*f0+22449*f12*f1+14942*f12*f2+44730*f12*f3+43390*f12*f4+27308*f12*f5+33004*f12*f6+62389*f12*f16+27340*f12*f17+39772*f12*f14+12128*f12*f15+42989*f12*f18+13586*f7^2+57691*f7*f8+51424*f7*f9+58888*f7*f10+60548*f7*f11+53006*f7*f13+6509*f7*f0+28592*f7*f1+44204*f7*f2+58684*f7*f3+51952*f7*f4+45971*f7*f5+4462*f7*f6+8518*f7*f16+26989*f7*f17+46863*f7*f14+3892*f7*f15+32162*f7*f18+60795*f8^2+23805*f8*f9+4569*f8*f10+23015*f8*f11+21832*f8*f13+33618*f8*f0+43511*f8*f1+12955*f8*f2+61905*f8*f3+56320*f8*f4+55217*f8*f5+62354*f8*f6+11713*f8*f16+47537*f8*f17+8522*f8*f14+33945*f8*f15+21686*f8*f18+55404*f9^2+2614*f9*f10+61733*f9*f11+49126*f9*f13+10941*f9*f0+60999*f9*f1+38161*f9*f2+39026*f9*f3+62756*f9*f4+3763*f9*f5+9350*f9*f6+9050*f9*f16+7103*f9*f17+61390*f9*f14+22557*f9*f15+12722*f9*f18+11524*f10^2+25769*f10*f11+13643*f10*f13+53361*f10*f0+62004*f10*f1+19950*f10*f2+39743*f10*f3+1745*f10*f4+12952*f10*f5+6289*f10*f6+32332*f10*f16+63279*f10*f17+16937*f10*f14+31766*f10*f15+64308*f10*f18+6676*f11^2+13712*f11*f13+41544*f11*f0+59387*f11*f1+7729*f11*f2+48424*f11*f3+10795*f11*f4+49187*f11*f5+13218*f11*f6+32390*f11*f16+62587*f11*f17+33527*f11*f14+39951*f11*f15+22828*f11*f18, 45332*f12+58136*f0+25308*f1+23646*f2+16106*f3+49686*f4+3344*f5+3483*f6+53189*f7+44937*f8+37893*f9+43334*f10+61005*f11+2296*f13+29107*f14+22182*f15+23487*f16+43434*f17+3027*f18+4610*f14^2+34627*f14*f15+57374*f14*f18+20321*f15^2+13104*f15*f18+1549*f18^2+36656*f13^2+42989*f13*f0+63661*f13*f1+22449*f13*f2+14942*f13*f3+44730*f13*f4+43390*f13*f5+27308*f13*f6+12128*f13*f16+62389*f13*f17+36990*f13*f14+39772*f13*f15+27340*f13*f18+38883*f0^2+40760*f0*f1+32157*f0*f2+766*f0*f3+50484*f0*f4+52351*f0*f5+51220*f0*f6+63580*f0*f16+57573*f0*f17+58338*f0*f14+11586*f0*f15+35158*f0*f18+62945*f1^2+23206*f1*f2+7150*f1*f3+31792*f1*f4+39822*f1*f5+8250*f1*f6+24013*f1*f16+33892*f1*f17+31294*f1*f14+61503*f1*f15+26615*f1*f18+39588*f2^2+63709*f2*f3+38516*f2*f4+48656*f2*f5+13107*f2*f6+19566*f2*f16+13298*f2*f17+60949*f2*f14+10597*f2*f15+42165*f2*f18+10968*f3^2+27286*f3*f4+7626*f3*f5+35378*f3*f6+46087*f3*f16+52948*f3*f17+13348*f3*f14+19981*f3*f15+4594*f3*f18+22334*f4^2+10882*f4*f5+16383*f4*f6+8685*f4*f16+29802*f4*f17+39967*f4*f14+24359*f4*f15+50592*f4*f18+58046*f5^2+64169*f5*f6+32256*f5*f16+11749*f5*f17+57978*f5*f14+7537*f5*f15+24543*f5*f18+25444*f6^2+17942*f6*f16+45993*f6*f17+35536*f6*f14+23055*f6*f15+15368*f6*f18+5259*f16^2+8493*f16*f17+31540*f16*f14+23917*f16*f15+61134*f16*f18+29083*f17^2+46633*f17*f14+48074*f17*f15+23570*f17*f18+6676*f12^2+13218*f12*f7+60548*f12*f8+23015*f12*f9+61733*f12*f10+25769*f12*f11+9447*f12*f13+22828*f12*f0+41544*f12*f1+59387*f12*f2+7729*f12*f3+48424*f12*f4+10795*f12*f5+49187*f12*f6+39951*f12*f16+32390*f12*f17+13712*f12*f14+33527*f12*f15+62587*f12*f18+31900*f7^2+4462*f7*f8+62354*f7*f9+9350*f7*f10+6289*f7*f11+33004*f7*f13+5975*f7*f0+5370*f7*f1+15908*f7*f2+52534*f7*f3+19944*f7*f4+12500*f7*f5+10280*f7*f6+49989*f7*f16+46356*f7*f17+61917*f7*f14+18576*f7*f15+56166*f7*f18+13586*f8^2+57691*f8*f9+51424*f8*f10+58888*f8*f11+27843*f8*f13+32162*f8*f0+6509*f8*f1+28592*f8*f2+44204*f8*f3+58684*f8*f4+51952*f8*f5+45971*f8*f6+3892*f8*f16+8518*f8*f17+53006*f8*f14+46863*f8*f15+26989*f8*f18+60795*f9^2+23805*f9*f10+4569*f9*f11+7673*f9*f13+21686*f9*f0+33618*f9*f1+43511*f9*f2+12955*f9*f3+61905*f9*f4+56320*f9*f5+55217*f9*f6+33945*f9*f16+11713*f9*f17+21832*f9*f14+8522*f9*f15+47537*f9*f18+55404*f10^2+2614*f10*f11+61248*f10*f13+12722*f10*f0+10941*f10*f1+60999*f10*f2+38161*f10*f3+39026*f10*f4+62756*f10*f5+3763*f10*f6+22557*f10*f16+9050*f10*f17+49126*f10*f14+61390*f10*f15+7103*f10*f18+11524*f11^2+64600*f11*f13+64308*f11*f0+53361*f11*f1+62004*f11*f2+19950*f11*f3+39743*f11*f4+1745*f11*f5+12952*f11*f6+31766*f11*f16+32332*f11*f17+13643*f11*f14+16937*f11*f15+63279*f11*f18, 61005*f12+3027*f0+58136*f1+25308*f2+23646*f3+16106*f4+49686*f5+3344*f6+3483*f7+53189*f8+44937*f9+37893*f10+43334*f11+45332*f13+2296*f14+29107*f15+22182*f16+23487*f17+43434*f18+36656*f14^2+36990*f14*f15+62389*f14*f18+4610*f15^2+46633*f15*f18+29083*f18^2+6676*f13^2+62587*f13*f0+22828*f13*f1+41544*f13*f2+59387*f13*f3+7729*f13*f4+48424*f13*f5+10795*f13*f6+33527*f13*f16+39951*f13*f17+9447*f13*f14+13712*f13*f15+32390*f13*f18+1549*f0^2+35158*f0*f1+26615*f0*f2+42165*f0*f3+4594*f0*f4+50592*f0*f5+24543*f0*f6+13104*f0*f16+61134*f0*f17+27340*f0*f14+57374*f0*f15+23570*f0*f18+38883*f1^2+40760*f1*f2+32157*f1*f3+766*f1*f4+50484*f1*f5+52351*f1*f6+11586*f1*f16+63580*f1*f17+42989*f1*f14+58338*f1*f15+57573*f1*f18+62945*f2^2+23206*f2*f3+7150*f2*f4+31792*f2*f5+39822*f2*f6+61503*f2*f16+24013*f2*f17+63661*f2*f14+31294*f2*f15+33892*f2*f18+39588*f3^2+63709*f3*f4+38516*f3*f5+48656*f3*f6+10597*f3*f16+19566*f3*f17+22449*f3*f14+60949*f3*f15+13298*f3*f18+10968*f4^2+27286*f4*f5+7626*f4*f6+19981*f4*f16+46087*f4*f17+14942*f4*f14+13348*f4*f15+52948*f4*f18+22334*f5^2+10882*f5*f6+24359*f5*f16+8685*f5*f17+44730*f5*f14+39967*f5*f15+29802*f5*f18+58046*f6^2+7537*f6*f16+32256*f6*f17+43390*f6*f14+57978*f6*f15+11749*f6*f18+20321*f16^2+23917*f16*f17+39772*f16*f14+34627*f16*f15+48074*f16*f18+5259*f17^2+12128*f17*f14+31540*f17*f15+8493*f17*f18+11524*f12^2+12952*f12*f7+6289*f12*f8+58888*f12*f9+4569*f12*f10+2614*f12*f11+25769*f12*f13+63279*f12*f0+64308*f12*f1+53361*f12*f2+62004*f12*f3+19950*f12*f4+39743*f12*f5+1745*f12*f6+16937*f12*f16+31766*f12*f17+64600*f12*f14+13643*f12*f15+32332*f12*f18+25444*f7^2+10280*f7*f8+45971*f7*f9+55217*f7*f10+3763*f7*f11+49187*f7*f13+15368*f7*f0+51220*f7*f1+8250*f7*f2+13107*f7*f3+35378*f7*f4+16383*f7*f5+64169*f7*f6+23055*f7*f16+17942*f7*f17+27308*f7*f14+35536*f7*f15+45993*f7*f18+31900*f8^2+4462*f8*f9+62354*f8*f10+9350*f8*f11+13218*f8*f13+56166*f8*f0+5975*f8*f1+5370*f8*f2+15908*f8*f3+52534*f8*f4+19944*f8*f5+12500*f8*f6+18576*f8*f16+49989*f8*f17+33004*f8*f14+61917*f8*f15+46356*f8*f18+13586*f9^2+57691*f9*f10+51424*f9*f11+60548*f9*f13+26989*f9*f0+32162*f9*f1+6509*f9*f2+28592*f9*f3+44204*f9*f4+58684*f9*f5+51952*f9*f6+46863*f9*f16+3892*f9*f17+27843*f9*f14+53006*f9*f15+8518*f9*f18+60795*f10^2+23805*f10*f11+23015*f10*f13+47537*f10*f0+21686*f10*f1+33618*f10*f2+43511*f10*f3+12955*f10*f4+61905*f10*f5+56320*f10*f6+8522*f10*f16+33945*f10*f17+7673*f10*f14+21832*f10*f15+11713*f10*f18+55404*f11^2+61733*f11*f13+7103*f11*f0+12722*f11*f1+10941*f11*f2+60999*f11*f3+38161*f11*f4+39026*f11*f5+62756*f11*f6+61390*f11*f16+22557*f11*f17+61248*f11*f14+49126*f11*f15+9050*f11*f18, 43334*f12+43434*f0+3027*f1+58136*f2+25308*f3+23646*f4+16106*f5+49686*f6+3344*f7+3483*f8+53189*f9+44937*f10+37893*f11+61005*f13+45332*f14+2296*f15+29107*f16+22182*f17+23487*f18+6676*f14^2+9447*f14*f15+39951*f14*f18+36656*f15^2+12128*f15*f18+5259*f18^2+11524*f13^2+32332*f13*f0+63279*f13*f1+64308*f13*f2+53361*f13*f3+62004*f13*f4+19950*f13*f5+39743*f13*f6+13643*f13*f16+16937*f13*f17+25769*f13*f14+64600*f13*f15+31766*f13*f18+29083*f0^2+23570*f0*f1+57573*f0*f2+33892*f0*f3+13298*f0*f4+52948*f0*f5+29802*f0*f6+46633*f0*f16+48074*f0*f17+32390*f0*f14+62389*f0*f15+8493*f0*f18+1549*f1^2+35158*f1*f2+26615*f1*f3+42165*f1*f4+4594*f1*f5+50592*f1*f6+57374*f1*f16+13104*f1*f17+62587*f1*f14+27340*f1*f15+61134*f1*f18+38883*f2^2+40760*f2*f3+32157*f2*f4+766*f2*f5+50484*f2*f6+58338*f2*f16+11586*f2*f17+22828*f2*f14+42989*f2*f15+63580*f2*f18+62945*f3^2+23206*f3*f4+7150*f3*f5+31792*f3*f6+31294*f3*f16+61503*f3*f17+41544*f3*f14+63661*f3*f15+24013*f3*f18+39588*f4^2+63709*f4*f5+38516*f4*f6+60949*f4*f16+10597*f4*f17+59387*f4*f14+22449*f4*f15+19566*f4*f18+10968*f5^2+27286*f5*f6+13348*f5*f16+19981*f5*f17+7729*f5*f14+14942*f5*f15+46087*f5*f18+22334*f6^2+39967*f6*f16+24359*f6*f17+48424*f6*f14+44730*f6*f15+8685*f6*f18+4610*f16^2+34627*f16*f17+13712*f16*f14+36990*f16*f15+31540*f16*f18+20321*f17^2+33527*f17*f14+39772*f17*f15+23917*f17*f18+55404*f12^2+62756*f12*f7+3763*f12*f8+9350*f12*f9+51424*f12*f10+23805*f12*f11+2614*f12*f13+9050*f12*f0+7103*f12*f1+12722*f12*f2+10941*f12*f3+60999*f12*f4+38161*f12*f5+39026*f12*f6+49126*f12*f16+61390*f12*f17+61733*f12*f14+61248*f12*f15+22557*f12*f18+58046*f7^2+64169*f7*f8+12500*f7*f9+51952*f7*f10+56320*f7*f11+1745*f7*f13+11749*f7*f0+24543*f7*f1+52351*f7*f2+39822*f7*f3+48656*f7*f4+7626*f7*f5+10882*f7*f6+57978*f7*f16+7537*f7*f17+10795*f7*f14+43390*f7*f15+32256*f7*f18+25444*f8^2+10280*f8*f9+45971*f8*f10+55217*f8*f11+12952*f8*f13+45993*f8*f0+15368*f8*f1+51220*f8*f2+8250*f8*f3+13107*f8*f4+35378*f8*f5+16383*f8*f6+35536*f8*f16+23055*f8*f17+49187*f8*f14+27308*f8*f15+17942*f8*f18+31900*f9^2+4462*f9*f10+62354*f9*f11+6289*f9*f13+46356*f9*f0+56166*f9*f1+5975*f9*f2+5370*f9*f3+15908*f9*f4+52534*f9*f5+19944*f9*f6+61917*f9*f16+18576*f9*f17+13218*f9*f14+33004*f9*f15+49989*f9*f18+13586*f10^2+57691*f10*f11+58888*f10*f13+8518*f10*f0+26989*f10*f1+32162*f10*f2+6509*f10*f3+28592*f10*f4+44204*f10*f5+58684*f10*f6+53006*f10*f16+46863*f10*f17+60548*f10*f14+27843*f10*f15+3892*f10*f18+60795*f11^2+4569*f11*f13+11713*f11*f0+47537*f11*f1+21686*f11*f2+33618*f11*f3+43511*f11*f4+12955*f11*f5+61905*f11*f6+21832*f11*f16+8522*f11*f17+23015*f11*f14+7673*f11*f15+33945*f11*f18, 37893*f12+23487*f0+43434*f1+3027*f2+58136*f3+25308*f4+23646*f5+16106*f6+49686*f7+3344*f8+3483*f9+53189*f10+44937*f11+43334*f13+61005*f14+45332*f15+2296*f16+29107*f17+22182*f18+11524*f14^2+25769*f14*f15+16937*f14*f18+6676*f15^2+33527*f15*f18+20321*f18^2+55404*f13^2+22557*f13*f0+9050*f13*f1+7103*f13*f2+12722*f13*f3+10941*f13*f4+60999*f13*f5+38161*f13*f6+61248*f13*f16+49126*f13*f17+2614*f13*f14+61733*f13*f15+61390*f13*f18+5259*f0^2+8493*f0*f1+61134*f0*f2+63580*f0*f3+24013*f0*f4+19566*f0*f5+46087*f0*f6+12128*f0*f16+31540*f0*f17+31766*f0*f14+39951*f0*f15+23917*f0*f18+29083*f1^2+23570*f1*f2+57573*f1*f3+33892*f1*f4+13298*f1*f5+52948*f1*f6+62389*f1*f16+46633*f1*f17+32332*f1*f14+32390*f1*f15+48074*f1*f18+1549*f2^2+35158*f2*f3+26615*f2*f4+42165*f2*f5+4594*f2*f6+27340*f2*f16+57374*f2*f17+63279*f2*f14+62587*f2*f15+13104*f2*f18+38883*f3^2+40760*f3*f4+32157*f3*f5+766*f3*f6+42989*f3*f16+58338*f3*f17+64308*f3*f14+22828*f3*f15+11586*f3*f18+62945*f4^2+23206*f4*f5+7150*f4*f6+63661*f4*f16+31294*f4*f17+53361*f4*f14+41544*f4*f15+61503*f4*f18+39588*f5^2+63709*f5*f6+22449*f5*f16+60949*f5*f17+62004*f5*f14+59387*f5*f15+10597*f5*f18+10968*f6^2+14942*f6*f16+13348*f6*f17+19950*f6*f14+7729*f6*f15+19981*f6*f18+36656*f16^2+36990*f16*f17+64600*f16*f14+9447*f16*f15+39772*f16*f18+4610*f17^2+13643*f17*f14+13712*f17*f15+34627*f17*f18+60795*f12^2+61905*f12*f7+56320*f12*f8+55217*f12*f9+62354*f12*f10+57691*f12*f11+23805*f12*f13+33945*f12*f0+11713*f12*f1+47537*f12*f2+21686*f12*f3+33618*f12*f4+43511*f12*f5+12955*f12*f6+7673*f12*f16+21832*f12*f17+4569*f12*f14+23015*f12*f15+8522*f12*f18+22334*f7^2+10882*f7*f8+16383*f7*f9+19944*f7*f10+58684*f7*f11+39026*f7*f13+8685*f7*f0+29802*f7*f1+50592*f7*f2+50484*f7*f3+31792*f7*f4+38516*f7*f5+27286*f7*f6+44730*f7*f16+39967*f7*f17+39743*f7*f14+48424*f7*f15+24359*f7*f18+58046*f8^2+64169*f8*f9+12500*f8*f10+51952*f8*f11+62756*f8*f13+32256*f8*f0+11749*f8*f1+24543*f8*f2+52351*f8*f3+39822*f8*f4+48656*f8*f5+7626*f8*f6+43390*f8*f16+57978*f8*f17+1745*f8*f14+10795*f8*f15+7537*f8*f18+25444*f9^2+10280*f9*f10+45971*f9*f11+3763*f9*f13+17942*f9*f0+45993*f9*f1+15368*f9*f2+51220*f9*f3+8250*f9*f4+13107*f9*f5+35378*f9*f6+27308*f9*f16+35536*f9*f17+12952*f9*f14+49187*f9*f15+23055*f9*f18+31900*f10^2+4462*f10*f11+9350*f10*f13+49989*f10*f0+46356*f10*f1+56166*f10*f2+5975*f10*f3+5370*f10*f4+15908*f10*f5+52534*f10*f6+33004*f10*f16+61917*f10*f17+6289*f10*f14+13218*f10*f15+18576*f10*f18+13586*f11^2+51424*f11*f13+3892*f11*f0+8518*f11*f1+26989*f11*f2+32162*f11*f3+6509*f11*f4+28592*f11*f5+44204*f11*f6+27843*f11*f16+53006*f11*f17+58888*f11*f14+60548*f11*f15+46863*f11*f18, 44937*f12+22182*f0+23487*f1+43434*f2+3027*f3+58136*f4+25308*f5+23646*f6+16106*f7+49686*f8+3344*f9+3483*f10+53189*f11+37893*f13+43334*f14+61005*f15+45332*f16+2296*f17+29107*f18+55404*f14^2+2614*f14*f15+49126*f14*f18+11524*f15^2+13643*f15*f18+4610*f18^2+60795*f13^2+8522*f13*f0+33945*f13*f1+11713*f13*f2+47537*f13*f3+21686*f13*f4+33618*f13*f5+43511*f13*f6+23015*f13*f16+7673*f13*f17+23805*f13*f14+4569*f13*f15+21832*f13*f18+20321*f0^2+23917*f0*f1+48074*f0*f2+13104*f0*f3+11586*f0*f4+61503*f0*f5+10597*f0*f6+33527*f0*f16+39772*f0*f17+61390*f0*f14+16937*f0*f15+34627*f0*f18+5259*f1^2+8493*f1*f2+61134*f1*f3+63580*f1*f4+24013*f1*f5+19566*f1*f6+39951*f1*f16+12128*f1*f17+22557*f1*f14+31766*f1*f15+31540*f1*f18+29083*f2^2+23570*f2*f3+57573*f2*f4+33892*f2*f5+13298*f2*f6+32390*f2*f16+62389*f2*f17+9050*f2*f14+32332*f2*f15+46633*f2*f18+1549*f3^2+35158*f3*f4+26615*f3*f5+42165*f3*f6+62587*f3*f16+27340*f3*f17+7103*f3*f14+63279*f3*f15+57374*f3*f18+38883*f4^2+40760*f4*f5+32157*f4*f6+22828*f4*f16+42989*f4*f17+12722*f4*f14+64308*f4*f15+58338*f4*f18+62945*f5^2+23206*f5*f6+41544*f5*f16+63661*f5*f17+10941*f5*f14+53361*f5*f15+31294*f5*f18+39588*f6^2+59387*f6*f16+22449*f6*f17+60999*f6*f14+62004*f6*f15+60949*f6*f18+6676*f16^2+9447*f16*f17+61733*f16*f14+25769*f16*f15+13712*f16*f18+36656*f17^2+61248*f17*f14+64600*f17*f15+36990*f17*f18+13586*f12^2+44204*f12*f7+58684*f12*f8+51952*f12*f9+45971*f12*f10+4462*f12*f11+57691*f12*f13+46863*f12*f0+3892*f12*f1+8518*f12*f2+26989*f12*f3+32162*f12*f4+6509*f12*f5+28592*f12*f6+60548*f12*f16+27843*f12*f17+51424*f12*f14+58888*f12*f15+53006*f12*f18+10968*f7^2+27286*f7*f8+7626*f7*f9+35378*f7*f10+52534*f7*f11+12955*f7*f13+19981*f7*f0+46087*f7*f1+52948*f7*f2+4594*f7*f3+766*f7*f4+7150*f7*f5+63709*f7*f6+7729*f7*f16+14942*f7*f17+38161*f7*f14+19950*f7*f15+13348*f7*f18+22334*f8^2+10882*f8*f9+16383*f8*f10+19944*f8*f11+61905*f8*f13+24359*f8*f0+8685*f8*f1+29802*f8*f2+50592*f8*f3+50484*f8*f4+31792*f8*f5+38516*f8*f6+48424*f8*f16+44730*f8*f17+39026*f8*f14+39743*f8*f15+39967*f8*f18+58046*f9^2+64169*f9*f10+12500*f9*f11+56320*f9*f13+7537*f9*f0+32256*f9*f1+11749*f9*f2+24543*f9*f3+52351*f9*f4+39822*f9*f5+48656*f9*f6+10795*f9*f16+43390*f9*f17+62756*f9*f14+1745*f9*f15+57978*f9*f18+25444*f10^2+10280*f10*f11+55217*f10*f13+23055*f10*f0+17942*f10*f1+45993*f10*f2+15368*f10*f3+51220*f10*f4+8250*f10*f5+13107*f10*f6+49187*f10*f16+27308*f10*f17+3763*f10*f14+12952*f10*f15+35536*f10*f18+31900*f11^2+62354*f11*f13+18576*f11*f0+49989*f11*f1+46356*f11*f2+56166*f11*f3+5975*f11*f4+5370*f11*f5+15908*f11*f6+13218*f11*f16+33004*f11*f17+9350*f11*f14+6289*f11*f15+61917*f11*f18, 53189*f12+29107*f0+22182*f1+23487*f2+43434*f3+3027*f4+58136*f5+25308*f6+23646*f7+16106*f8+49686*f9+3344*f10+3483*f11+44937*f13+37893*f14+43334*f15+61005*f16+45332*f17+2296*f18+60795*f14^2+23805*f14*f15+7673*f14*f18+55404*f15^2+61248*f15*f18+36656*f18^2+13586*f13^2+53006*f13*f0+46863*f13*f1+3892*f13*f2+8518*f13*f3+26989*f13*f4+32162*f13*f5+6509*f13*f6+58888*f13*f16+60548*f13*f17+57691*f13*f14+51424*f13*f15+27843*f13*f18+4610*f0^2+34627*f0*f1+31540*f0*f2+46633*f0*f3+57374*f0*f4+58338*f0*f5+31294*f0*f6+13643*f0*f16+13712*f0*f17+21832*f0*f14+49126*f0*f15+36990*f0*f18+20321*f1^2+23917*f1*f2+48074*f1*f3+13104*f1*f4+11586*f1*f5+61503*f1*f6+16937*f1*f16+33527*f1*f17+8522*f1*f14+61390*f1*f15+39772*f1*f18+5259*f2^2+8493*f2*f3+61134*f2*f4+63580*f2*f5+24013*f2*f6+31766*f2*f16+39951*f2*f17+33945*f2*f14+22557*f2*f15+12128*f2*f18+29083*f3^2+23570*f3*f4+57573*f3*f5+33892*f3*f6+32332*f3*f16+32390*f3*f17+11713*f3*f14+9050*f3*f15+62389*f3*f18+1549*f4^2+35158*f4*f5+26615*f4*f6+63279*f4*f16+62587*f4*f17+47537*f4*f14+7103*f4*f15+27340*f4*f18+38883*f5^2+40760*f5*f6+64308*f5*f16+22828*f5*f17+21686*f5*f14+12722*f5*f15+42989*f5*f18+62945*f6^2+53361*f6*f16+41544*f6*f17+33618*f6*f14+10941*f6*f15+63661*f6*f18+11524*f16^2+25769*f16*f17+4569*f16*f14+2614*f16*f15+64600*f16*f18+6676*f17^2+23015*f17*f14+61733*f17*f15+9447*f17*f18+31900*f12^2+15908*f12*f7+52534*f12*f8+19944*f12*f9+12500*f12*f10+10280*f12*f11+4462*f12*f13+61917*f12*f0+18576*f12*f1+49989*f12*f2+46356*f12*f3+56166*f12*f4+5975*f12*f5+5370*f12*f6+6289*f12*f16+13218*f12*f17+62354*f12*f14+9350*f12*f15+33004*f12*f18+39588*f7^2+63709*f7*f8+38516*f7*f9+48656*f7*f10+13107*f7*f11+28592*f7*f13+60949*f7*f0+10597*f7*f1+19566*f7*f2+13298*f7*f3+42165*f7*f4+32157*f7*f5+23206*f7*f6+62004*f7*f16+59387*f7*f17+43511*f7*f14+60999*f7*f15+22449*f7*f18+10968*f8^2+27286*f8*f9+7626*f8*f10+35378*f8*f11+44204*f8*f13+13348*f8*f0+19981*f8*f1+46087*f8*f2+52948*f8*f3+4594*f8*f4+766*f8*f5+7150*f8*f6+19950*f8*f16+7729*f8*f17+12955*f8*f14+38161*f8*f15+14942*f8*f18+22334*f9^2+10882*f9*f10+16383*f9*f11+58684*f9*f13+39967*f9*f0+24359*f9*f1+8685*f9*f2+29802*f9*f3+50592*f9*f4+50484*f9*f5+31792*f9*f6+39743*f9*f16+48424*f9*f17+61905*f9*f14+39026*f9*f15+44730*f9*f18+58046*f10^2+64169*f10*f11+51952*f10*f13+57978*f10*f0+7537*f10*f1+32256*f10*f2+11749*f10*f3+24543*f10*f4+52351*f10*f5+39822*f10*f6+1745*f10*f16+10795*f10*f17+56320*f10*f14+62756*f10*f15+43390*f10*f18+25444*f11^2+45971*f11*f13+35536*f11*f0+23055*f11*f1+17942*f11*f2+45993*f11*f3+15368*f11*f4+51220*f11*f5+8250*f11*f6+12952*f11*f16+49187*f11*f17+55217*f11*f14+3763*f11*f15+27308*f11*f18, 3483*f12+2296*f0+29107*f1+22182*f2+23487*f3+43434*f4+3027*f5+58136*f6+25308*f7+23646*f8+16106*f9+49686*f10+3344*f11+53189*f13+44937*f14+37893*f15+43334*f16+61005*f17+45332*f18+13586*f14^2+57691*f14*f15+60548*f14*f18+60795*f15^2+23015*f15*f18+6676*f18^2+31900*f13^2+33004*f13*f0+61917*f13*f1+18576*f13*f2+49989*f13*f3+46356*f13*f4+56166*f13*f5+5975*f13*f6+9350*f13*f16+6289*f13*f17+4462*f13*f14+62354*f13*f15+13218*f13*f18+36656*f0^2+36990*f0*f1+39772*f0*f2+12128*f0*f3+62389*f0*f4+27340*f0*f5+42989*f0*f6+61248*f0*f16+64600*f0*f17+27843*f0*f14+7673*f0*f15+9447*f0*f18+4610*f1^2+34627*f1*f2+31540*f1*f3+46633*f1*f4+57374*f1*f5+58338*f1*f6+49126*f1*f16+13643*f1*f17+53006*f1*f14+21832*f1*f15+13712*f1*f18+20321*f2^2+23917*f2*f3+48074*f2*f4+13104*f2*f5+11586*f2*f6+61390*f2*f16+16937*f2*f17+46863*f2*f14+8522*f2*f15+33527*f2*f18+5259*f3^2+8493*f3*f4+61134*f3*f5+63580*f3*f6+22557*f3*f16+31766*f3*f17+3892*f3*f14+33945*f3*f15+39951*f3*f18+29083*f4^2+23570*f4*f5+57573*f4*f6+9050*f4*f16+32332*f4*f17+8518*f4*f14+11713*f4*f15+32390*f4*f18+1549*f5^2+35158*f5*f6+7103*f5*f16+63279*f5*f17+26989*f5*f14+47537*f5*f15+62587*f5*f18+38883*f6^2+12722*f6*f16+64308*f6*f17+32162*f6*f14+21686*f6*f15+22828*f6*f18+55404*f16^2+2614*f16*f17+51424*f16*f14+23805*f16*f15+61733*f16*f18+11524*f17^2+58888*f17*f14+4569*f17*f15+25769*f17*f18+25444*f12^2+8250*f12*f7+13107*f12*f8+35378*f12*f9+16383*f12*f10+64169*f12*f11+10280*f12*f13+27308*f12*f0+35536*f12*f1+23055*f12*f2+17942*f12*f3+45993*f12*f4+15368*f12*f5+51220*f12*f6+3763*f12*f16+12952*f12*f17+45971*f12*f14+55217*f12*f15+49187*f12*f18+62945*f7^2+23206*f7*f8+7150*f7*f9+31792*f7*f10+39822*f7*f11+5370*f7*f13+63661*f7*f0+31294*f7*f1+61503*f7*f2+24013*f7*f3+33892*f7*f4+26615*f7*f5+40760*f7*f6+10941*f7*f16+53361*f7*f17+6509*f7*f14+33618*f7*f15+41544*f7*f18+39588*f8^2+63709*f8*f9+38516*f8*f10+48656*f8*f11+15908*f8*f13+22449*f8*f0+60949*f8*f1+10597*f8*f2+19566*f8*f3+13298*f8*f4+42165*f8*f5+32157*f8*f6+60999*f8*f16+62004*f8*f17+28592*f8*f14+43511*f8*f15+59387*f8*f18+10968*f9^2+27286*f9*f10+7626*f9*f11+52534*f9*f13+14942*f9*f0+13348*f9*f1+19981*f9*f2+46087*f9*f3+52948*f9*f4+4594*f9*f5+766*f9*f6+38161*f9*f16+19950*f9*f17+44204*f9*f14+12955*f9*f15+7729*f9*f18+22334*f10^2+10882*f10*f11+19944*f10*f13+44730*f10*f0+39967*f10*f1+24359*f10*f2+8685*f10*f3+29802*f10*f4+50592*f10*f5+50484*f10*f6+39026*f10*f16+39743*f10*f17+58684*f10*f14+61905*f10*f15+48424*f10*f18+58046*f11^2+12500*f11*f13+43390*f11*f0+57978*f11*f1+7537*f11*f2+32256*f11*f3+11749*f11*f4+24543*f11*f5+52351*f11*f6+62756*f11*f16+1745*f11*f17+51952*f11*f14+56320*f11*f15+10795*f11*f18, 3344*f12+45332*f0+2296*f1+29107*f2+22182*f3+23487*f4+43434*f5+3027*f6+58136*f7+25308*f8+23646*f9+16106*f10+49686*f11+3483*f13+53189*f14+44937*f15+37893*f16+43334*f17+61005*f18+31900*f14^2+4462*f14*f15+6289*f14*f18+13586*f15^2+58888*f15*f18+11524*f18^2+25444*f13^2+49187*f13*f0+27308*f13*f1+35536*f13*f2+23055*f13*f3+17942*f13*f4+45993*f13*f5+15368*f13*f6+55217*f13*f16+3763*f13*f17+10280*f13*f14+45971*f13*f15+12952*f13*f18+6676*f0^2+9447*f0*f1+13712*f0*f2+33527*f0*f3+39951*f0*f4+32390*f0*f5+62587*f0*f6+23015*f0*f16+61733*f0*f17+13218*f0*f14+60548*f0*f15+25769*f0*f18+36656*f1^2+36990*f1*f2+39772*f1*f3+12128*f1*f4+62389*f1*f5+27340*f1*f6+7673*f1*f16+61248*f1*f17+33004*f1*f14+27843*f1*f15+64600*f1*f18+4610*f2^2+34627*f2*f3+31540*f2*f4+46633*f2*f5+57374*f2*f6+21832*f2*f16+49126*f2*f17+61917*f2*f14+53006*f2*f15+13643*f2*f18+20321*f3^2+23917*f3*f4+48074*f3*f5+13104*f3*f6+8522*f3*f16+61390*f3*f17+18576*f3*f14+46863*f3*f15+16937*f3*f18+5259*f4^2+8493*f4*f5+61134*f4*f6+33945*f4*f16+22557*f4*f17+49989*f4*f14+3892*f4*f15+31766*f4*f18+29083*f5^2+23570*f5*f6+11713*f5*f16+9050*f5*f17+46356*f5*f14+8518*f5*f15+32332*f5*f18+1549*f6^2+47537*f6*f16+7103*f6*f17+56166*f6*f14+26989*f6*f15+63279*f6*f18+60795*f16^2+23805*f16*f17+62354*f16*f14+57691*f16*f15+4569*f16*f18+55404*f17^2+9350*f17*f14+51424*f17*f15+2614*f17*f18+58046*f12^2+52351*f12*f7+39822*f12*f8+48656*f12*f9+7626*f12*f10+10882*f12*f11+64169*f12*f13+10795*f12*f0+43390*f12*f1+57978*f12*f2+7537*f12*f3+32256*f12*f4+11749*f12*f5+24543*f12*f6+56320*f12*f16+62756*f12*f17+12500*f12*f14+51952*f12*f15+1745*f12*f18+38883*f7^2+40760*f7*f8+32157*f7*f9+766*f7*f10+50484*f7*f11+51220*f7*f13+22828*f7*f0+42989*f7*f1+58338*f7*f2+11586*f7*f3+63580*f7*f4+57573*f7*f5+35158*f7*f6+21686*f7*f16+12722*f7*f17+5975*f7*f14+32162*f7*f15+64308*f7*f18+62945*f8^2+23206*f8*f9+7150*f8*f10+31792*f8*f11+8250*f8*f13+41544*f8*f0+63661*f8*f1+31294*f8*f2+61503*f8*f3+24013*f8*f4+33892*f8*f5+26615*f8*f6+33618*f8*f16+10941*f8*f17+5370*f8*f14+6509*f8*f15+53361*f8*f18+39588*f9^2+63709*f9*f10+38516*f9*f11+13107*f9*f13+59387*f9*f0+22449*f9*f1+60949*f9*f2+10597*f9*f3+19566*f9*f4+13298*f9*f5+42165*f9*f6+43511*f9*f16+60999*f9*f17+15908*f9*f14+28592*f9*f15+62004*f9*f18+10968*f10^2+27286*f10*f11+35378*f10*f13+7729*f10*f0+14942*f10*f1+13348*f10*f2+19981*f10*f3+46087*f10*f4+52948*f10*f5+4594*f10*f6+12955*f10*f16+38161*f10*f17+52534*f10*f14+44204*f10*f15+19950*f10*f18+22334*f11^2+16383*f11*f13+48424*f11*f0+44730*f11*f1+39967*f11*f2+24359*f11*f3+8685*f11*f4+29802*f11*f5+50592*f11*f6+61905*f11*f16+39026*f11*f17+19944*f11*f14+58684*f11*f15+39743*f11*f18, 49686*f12+61005*f0+45332*f1+2296*f2+29107*f3+22182*f4+23487*f5+43434*f6+3027*f7+58136*f8+25308*f9+23646*f10+16106*f11+3344*f13+3483*f14+53189*f15+44937*f16+37893*f17+43334*f18+25444*f14^2+10280*f14*f15+3763*f14*f18+31900*f15^2+9350*f15*f18+55404*f18^2+58046*f13^2+1745*f13*f0+10795*f13*f1+43390*f13*f2+57978*f13*f3+7537*f13*f4+32256*f13*f5+11749*f13*f6+51952*f13*f16+56320*f13*f17+64169*f13*f14+12500*f13*f15+62756*f13*f18+11524*f0^2+25769*f0*f1+64600*f0*f2+13643*f0*f3+16937*f0*f4+31766*f0*f5+32332*f0*f6+58888*f0*f16+4569*f0*f17+12952*f0*f14+6289*f0*f15+2614*f0*f18+6676*f1^2+9447*f1*f2+13712*f1*f3+33527*f1*f4+39951*f1*f5+32390*f1*f6+60548*f1*f16+23015*f1*f17+49187*f1*f14+13218*f1*f15+61733*f1*f18+36656*f2^2+36990*f2*f3+39772*f2*f4+12128*f2*f5+62389*f2*f6+27843*f2*f16+7673*f2*f17+27308*f2*f14+33004*f2*f15+61248*f2*f18+4610*f3^2+34627*f3*f4+31540*f3*f5+46633*f3*f6+53006*f3*f16+21832*f3*f17+35536*f3*f14+61917*f3*f15+49126*f3*f18+20321*f4^2+23917*f4*f5+48074*f4*f6+46863*f4*f16+8522*f4*f17+23055*f4*f14+18576*f4*f15+61390*f4*f18+5259*f5^2+8493*f5*f6+3892*f5*f16+33945*f5*f17+17942*f5*f14+49989*f5*f15+22557*f5*f18+29083*f6^2+8518*f6*f16+11713*f6*f17+45993*f6*f14+46356*f6*f15+9050*f6*f18+13586*f16^2+57691*f16*f17+45971*f16*f14+4462*f16*f15+51424*f16*f18+60795*f17^2+55217*f17*f14+62354*f17*f15+23805*f17*f18+22334*f12^2+50592*f12*f7+50484*f12*f8+31792*f12*f9+38516*f12*f10+27286*f12*f11+10882*f12*f13+39743*f12*f0+48424*f12*f1+44730*f12*f2+39967*f12*f3+24359*f12*f4+8685*f12*f5+29802*f12*f6+58684*f12*f16+61905*f12*f17+16383*f12*f14+19944*f12*f15+39026*f12*f18+1549*f7^2+35158*f7*f8+26615*f7*f9+42165*f7*f10+4594*f7*f11+24543*f7*f13+63279*f7*f0+62587*f7*f1+27340*f7*f2+57374*f7*f3+13104*f7*f4+61134*f7*f5+23570*f7*f6+26989*f7*f16+47537*f7*f17+15368*f7*f14+56166*f7*f15+7103*f7*f18+38883*f8^2+40760*f8*f9+32157*f8*f10+766*f8*f11+52351*f8*f13+64308*f8*f0+22828*f8*f1+42989*f8*f2+58338*f8*f3+11586*f8*f4+63580*f8*f5+57573*f8*f6+32162*f8*f16+21686*f8*f17+51220*f8*f14+5975*f8*f15+12722*f8*f18+62945*f9^2+23206*f9*f10+7150*f9*f11+39822*f9*f13+53361*f9*f0+41544*f9*f1+63661*f9*f2+31294*f9*f3+61503*f9*f4+24013*f9*f5+33892*f9*f6+6509*f9*f16+33618*f9*f17+8250*f9*f14+5370*f9*f15+10941*f9*f18+39588*f10^2+63709*f10*f11+48656*f10*f13+62004*f10*f0+59387*f10*f1+22449*f10*f2+60949*f10*f3+10597*f10*f4+19566*f10*f5+13298*f10*f6+28592*f10*f16+43511*f10*f17+13107*f10*f14+15908*f10*f15+60999*f10*f18+10968*f11^2+7626*f11*f13+19950*f11*f0+7729*f11*f1+14942*f11*f2+13348*f11*f3+19981*f11*f4+46087*f11*f5+52948*f11*f6+44204*f11*f16+12955*f11*f17+35378*f11*f14+52534*f11*f15+38161*f11*f18, 16106*f12+43334*f0+61005*f1+45332*f2+2296*f3+29107*f4+22182*f5+23487*f6+43434*f7+3027*f8+58136*f9+25308*f10+23646*f11+49686*f13+3344*f14+3483*f15+53189*f16+44937*f17+37893*f18+58046*f14^2+64169*f14*f15+56320*f14*f18+25444*f15^2+55217*f15*f18+60795*f18^2+22334*f13^2+39026*f13*f0+39743*f13*f1+48424*f13*f2+44730*f13*f3+39967*f13*f4+24359*f13*f5+8685*f13*f6+19944*f13*f16+58684*f13*f17+10882*f13*f14+16383*f13*f15+61905*f13*f18+55404*f0^2+2614*f0*f1+61733*f0*f2+61248*f0*f3+49126*f0*f4+61390*f0*f5+22557*f0*f6+9350*f0*f16+51424*f0*f17+62756*f0*f14+3763*f0*f15+23805*f0*f18+11524*f1^2+25769*f1*f2+64600*f1*f3+13643*f1*f4+16937*f1*f5+31766*f1*f6+6289*f1*f16+58888*f1*f17+1745*f1*f14+12952*f1*f15+4569*f1*f18+6676*f2^2+9447*f2*f3+13712*f2*f4+33527*f2*f5+39951*f2*f6+13218*f2*f16+60548*f2*f17+10795*f2*f14+49187*f2*f15+23015*f2*f18+36656*f3^2+36990*f3*f4+39772*f3*f5+12128*f3*f6+33004*f3*f16+27843*f3*f17+43390*f3*f14+27308*f3*f15+7673*f3*f18+4610*f4^2+34627*f4*f5+31540*f4*f6+61917*f4*f16+53006*f4*f17+57978*f4*f14+35536*f4*f15+21832*f4*f18+20321*f5^2+23917*f5*f6+18576*f5*f16+46863*f5*f17+7537*f5*f14+23055*f5*f15+8522*f5*f18+5259*f6^2+49989*f6*f16+3892*f6*f17+32256*f6*f14+17942*f6*f15+33945*f6*f18+31900*f16^2+4462*f16*f17+12500*f16*f14+10280*f16*f15+62354*f16*f18+13586*f17^2+51952*f17*f14+45971*f17*f15+57691*f17*f18+10968*f12^2+52948*f12*f7+4594*f12*f8+766*f12*f9+7150*f12*f10+63709*f12*f11+27286*f12*f13+38161*f12*f0+19950*f12*f1+7729*f12*f2+14942*f12*f3+13348*f12*f4+19981*f12*f5+46087*f12*f6+52534*f12*f16+44204*f12*f17+7626*f12*f14+35378*f12*f15+12955*f12*f18+29083*f7^2+23570*f7*f8+57573*f7*f9+33892*f7*f10+13298*f7*f11+29802*f7*f13+9050*f7*f0+32332*f7*f1+32390*f7*f2+62389*f7*f3+46633*f7*f4+48074*f7*f5+8493*f7*f6+46356*f7*f16+8518*f7*f17+11749*f7*f14+45993*f7*f15+11713*f7*f18+1549*f8^2+35158*f8*f9+26615*f8*f10+42165*f8*f11+50592*f8*f13+7103*f8*f0+63279*f8*f1+62587*f8*f2+27340*f8*f3+57374*f8*f4+13104*f8*f5+61134*f8*f6+56166*f8*f16+26989*f8*f17+24543*f8*f14+15368*f8*f15+47537*f8*f18+38883*f9^2+40760*f9*f10+32157*f9*f11+50484*f9*f13+12722*f9*f0+64308*f9*f1+22828*f9*f2+42989*f9*f3+58338*f9*f4+11586*f9*f5+63580*f9*f6+5975*f9*f16+32162*f9*f17+52351*f9*f14+51220*f9*f15+21686*f9*f18+62945*f10^2+23206*f10*f11+31792*f10*f13+10941*f10*f0+53361*f10*f1+41544*f10*f2+63661*f10*f3+31294*f10*f4+61503*f10*f5+24013*f10*f6+5370*f10*f16+6509*f10*f17+39822*f10*f14+8250*f10*f15+33618*f10*f18+39588*f11^2+38516*f11*f13+60999*f11*f0+62004*f11*f1+59387*f11*f2+22449*f11*f3+60949*f11*f4+10597*f11*f5+19566*f11*f6+15908*f11*f16+28592*f11*f17+48656*f11*f14+13107*f11*f15+43511*f11*f18, 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]