#C generated from Maple #vars [f0, f1, f2, f3, f4, f5, f6, f7, f8, f9, f10, f11, f12, f13, f14, f15, f16, f17, f18, f19, f20, f21, f22, f23] #modulo 65521 #list [6347*f12+14199*f6^2+21618*f6*f7+22711*f6*f8+1908*f6*f14+31250*f7^2+45917*f7*f8+9717*f7*f14+49780*f8^2+57135*f8*f14+9976*f14^2+45603*f2^2+6300*f2*f3+61806*f2*f4+25685*f2*f5+45070*f2*f6+27817*f2*f7+45587*f2*f8+5783*f2*f14+40950*f3^2+17226*f3*f4+6300*f3*f5+61742*f3*f6+34016*f3*f7+2942*f3*f8+9658*f3*f14+56230*f4^2+61806*f4*f5+40865*f4*f6+21958*f4*f7+53698*f4*f8+4393*f4*f14+45603*f5^2+45070*f5*f6+27817*f5*f7+45587*f5*f8+5783*f5*f14+49780*f11^2+51691*f11*f13+42920*f11*f0+5499*f11*f1+45587*f11*f2+2942*f11*f3+53698*f11*f4+45587*f11*f5+22711*f11*f6+45917*f11*f7+34039*f11*f8+57135*f11*f14+34649*f13^2+55505*f13*f0+8035*f13*f1+17866*f13*f2+35695*f13*f3+26012*f13*f4+17866*f13*f5+37*f13*f6+53450*f13*f7+51691*f13*f8+49562*f13*f14+42025*f0^2+55177*f0*f1+43002*f0*f2+34858*f0*f3+55054*f0*f4+43002*f0*f5+51146*f0*f6+55464*f0*f7+42920*f0*f8+43084*f0*f14+49391*f1^2+31953*f1*f2+22263*f1*f3+59101*f1*f4+31953*f1*f5+41643*f1*f6+60329*f1*f7+5499*f1*f8+58407*f1*f14+44036*f21*f5+39772*f21*f6+38541*f21*f7+55*f21*f8+22496*f21*f14+49391*f22^2+19340*f22*f23+8729*f22*f9+8035*f22*f10+5499*f22*f11+8035*f22*f13+55177*f22*f0+33261*f22*f1+31953*f22*f2+22263*f22*f3+59101*f22*f4+31953*f22*f5+41643*f22*f6+60329*f22*f7+5499*f22*f8+58407*f22*f14+8420*f23^2+59638*f23*f9+15737*f23*f10+3162*f23*f11+15737*f23*f13+43166*f23*f0+19340*f23*f1+51402*f23*f2+13016*f23*f3+12501*f23*f4+51402*f23*f5+24267*f23*f6+57138*f23*f7+3162*f23*f8+34121*f23*f14+7391*f9^2+45748*f9*f10+48254*f9*f11+45748*f9*f13+1954*f9*f0+8729*f9*f1+8368*f9*f2+43263*f9*f3+3037*f9*f4+8368*f9*f5+38994*f9*f6+170*f9*f7+48254*f9*f8+34003*f9*f14+34649*f10^2+51691*f10*f11+3777*f10*f13+55505*f10*f0+8035*f10*f1+17866*f10*f2+35695*f10*f3+26012*f10*f4+17866*f10*f5+37*f10*f6+53450*f10*f7+51691*f10*f8+49562*f10*f14+49562*f17*f13+43084*f17*f0+58407*f17*f1+5783*f17*f2+9658*f17*f3+4393*f17*f4+5783*f17*f5+1908*f17*f6+9717*f17*f7+57135*f17*f8+19952*f17*f14+61497*f18^2+3395*f18*f19+31106*f18*f20+7462*f18*f21+15803*f18*f22+31106*f18*f23+44686*f18*f9+47581*f18*f10+40033*f18*f11+47581*f18*f13+51269*f18*f0+15803*f18*f1+15217*f18*f2+1258*f18*f3+53027*f18*f4+15217*f18*f5+29176*f18*f6+59989*f18*f7+40033*f18*f8+55922*f18*f14+9546*f19^2+43460*f19*f20+37640*f19*f21+46488*f19*f22+43460*f19*f23+54307*f19*f9+23883*f19*f10+11273*f19*f11+23883*f19*f13+55218*f19*f0+46488*f19*f1+22002*f19*f2+23942*f19*f3+63155*f19*f4+22002*f19*f5+20062*f19*f6+51279*f19*f7+11273*f19*f8+32731*f19*f14+8420*f20^2+956*f20*f21+19340*f20*f22+16840*f20*f23+59638*f20*f9+15737*f20*f10+3162*f20*f11+15737*f20*f13+43166*f20*f0+19340*f20*f1+51402*f20*f2+13016*f20*f3+12501*f20*f4+51402*f20*f5+24267*f20*f6+57138*f20*f7+3162*f20*f8+34121*f20*f14+59603*f21^2+48410*f21*f22+956*f21*f23+20474*f21*f9+27771*f21*f10+55*f21*f11+27771*f21*f13+2077*f21*f0+48410*f21*f1+44036*f21*f2+48300*f21*f3+15199*f21*f4+54515*f12^2+61476*f12*f15+27822*f12*f16+17408*f12*f17+38861*f12*f18+27822*f12*f19+1765*f12*f20+56828*f12*f21+2883*f12*f22+1765*f12*f23+47532*f12*f9+5832*f12*f10+48694*f12*f11+5832*f12*f13+18570*f12*f0+2883*f12*f1+33051*f12*f2+36537*f12*f3+59108*f12*f4+33051*f12*f5+29565*f12*f6+46414*f12*f7+48694*f12*f8+17408*f12*f14+55078*f15^2+62067*f15*f16+49503*f15*f17+54371*f15*f18+62067*f15*f19+37136*f15*f20+37530*f15*f21+35490*f15*f22+37136*f15*f23+23320*f15*f9+51543*f15*f10+8716*f15*f11+51543*f15*f13+34899*f15*f0+35490*f15*f1+61870*f15*f2+18058*f15*f3+21280*f15*f4+61870*f15*f5+40161*f15*f6+24966*f15*f7+8716*f15*f8+49503*f15*f14+9546*f16^2+32731*f16*f17+3395*f16*f18+19092*f16*f19+43460*f16*f20+37640*f16*f21+46488*f16*f22+43460*f16*f23+54307*f16*f9+23883*f16*f10+11273*f16*f11+23883*f16*f13+55218*f16*f0+46488*f16*f1+22002*f16*f2+23942*f16*f3+63155*f16*f4+22002*f16*f5+20062*f16*f6+51279*f16*f7+11273*f16*f8+32731*f16*f14+9976*f17^2+55922*f17*f18+32731*f17*f19+34121*f17*f20+22496*f17*f21+58407*f17*f22+34121*f17*f23+34003*f17*f9+49562*f17*f10+57135*f17*f11+65316*f0+64907*f1+49755*f2+57126*f3+45251*f4+49755*f5+42384*f6+45250*f7+36651*f8+34194*f9+51802*f10+36651*f11+51802*f13+62859*f14+63678*f15+5938*f16+62859*f17+62040*f18+5938*f19+10442*f20+53850*f21+64907*f22+10442*f23, 36651*f12+45603*f6^2+45070*f6*f7+27817*f6*f8+17866*f6*f14+14199*f7^2+21618*f7*f8+37*f7*f14+31250*f8^2+53450*f8*f14+34649*f14^2+49391*f2^2+31953*f2*f3+22263*f2*f4+59101*f2*f5+31953*f2*f6+41643*f2*f7+60329*f2*f8+8035*f2*f14+45603*f3^2+6300*f3*f4+61806*f3*f5+25685*f3*f6+45070*f3*f7+27817*f3*f8+17866*f3*f14+40950*f4^2+17226*f4*f5+6300*f4*f6+61742*f4*f7+34016*f4*f8+35695*f4*f14+56230*f5^2+61806*f5*f6+40865*f5*f7+21958*f5*f8+26012*f5*f14+34649*f11^2+5832*f11*f13+15737*f11*f0+55505*f11*f1+8035*f11*f2+17866*f11*f3+35695*f11*f4+26012*f11*f5+17866*f11*f6+37*f11*f7+53450*f11*f8+3777*f11*f14+54515*f13^2+1765*f13*f0+18570*f13*f1+2883*f13*f2+33051*f13*f3+36537*f13*f4+59108*f13*f5+33051*f13*f6+29565*f13*f7+46414*f13*f8+5832*f13*f14+8420*f0^2+43166*f0*f1+19340*f0*f2+51402*f0*f3+13016*f0*f4+12501*f0*f5+51402*f0*f6+24267*f0*f7+57138*f0*f8+15737*f0*f14+42025*f1^2+55177*f1*f2+43002*f1*f3+34858*f1*f4+55054*f1*f5+43002*f1*f6+51146*f1*f7+55464*f1*f8+55505*f1*f14+12501*f21*f5+51402*f21*f6+24267*f21*f7+57138*f21*f8+15737*f21*f14+59603*f22^2+48410*f22*f23+55*f22*f9+20474*f22*f10+27771*f22*f11+56828*f22*f13+956*f22*f0+2077*f22*f1+48410*f22*f2+44036*f22*f3+48300*f22*f4+15199*f22*f5+44036*f22*f6+39772*f22*f7+38541*f22*f8+27771*f22*f14+49391*f23^2+5499*f23*f9+8729*f23*f10+8035*f23*f11+2883*f23*f13+19340*f23*f0+55177*f23*f1+33261*f23*f2+31953*f23*f3+22263*f23*f4+59101*f23*f5+31953*f23*f6+41643*f23*f7+60329*f23*f8+8035*f23*f14+49780*f9^2+48254*f9*f10+51691*f9*f11+48694*f9*f13+3162*f9*f0+42920*f9*f1+5499*f9*f2+45587*f9*f3+2942*f9*f4+53698*f9*f5+45587*f9*f6+22711*f9*f7+45917*f9*f8+51691*f9*f14+7391*f10^2+45748*f10*f11+47532*f10*f13+59638*f10*f0+1954*f10*f1+8729*f10*f2+8368*f10*f3+43263*f10*f4+3037*f10*f5+8368*f10*f6+38994*f10*f7+170*f10*f8+45748*f10*f14+27822*f17*f13+43460*f17*f0+55218*f17*f1+46488*f17*f2+22002*f17*f3+23942*f17*f4+63155*f17*f5+22002*f17*f6+20062*f17*f7+51279*f17*f8+23883*f17*f14+9976*f18^2+55922*f18*f19+32731*f18*f20+34121*f18*f21+22496*f18*f22+58407*f18*f23+57135*f18*f9+34003*f18*f10+49562*f18*f11+17408*f18*f13+34121*f18*f0+43084*f18*f1+58407*f18*f2+5783*f18*f3+9658*f18*f4+4393*f18*f5+5783*f18*f6+1908*f18*f7+9717*f18*f8+49562*f18*f14+61497*f19^2+3395*f19*f20+31106*f19*f21+7462*f19*f22+15803*f19*f23+40033*f19*f9+44686*f19*f10+47581*f19*f11+38861*f19*f13+31106*f19*f0+51269*f19*f1+15803*f19*f2+15217*f19*f3+1258*f19*f4+53027*f19*f5+15217*f19*f6+29176*f19*f7+59989*f19*f8+47581*f19*f14+9546*f20^2+43460*f20*f21+37640*f20*f22+46488*f20*f23+11273*f20*f9+54307*f20*f10+23883*f20*f11+27822*f20*f13+43460*f20*f0+55218*f20*f1+46488*f20*f2+22002*f20*f3+23942*f20*f4+63155*f20*f5+22002*f20*f6+20062*f20*f7+51279*f20*f8+23883*f20*f14+8420*f21^2+956*f21*f22+19340*f21*f23+3162*f21*f9+59638*f21*f10+15737*f21*f11+1765*f21*f13+16840*f21*f0+43166*f21*f1+19340*f21*f2+51402*f21*f3+13016*f21*f4+49780*f12^2+57135*f12*f15+8716*f12*f16+11273*f12*f17+57135*f12*f18+40033*f12*f19+11273*f12*f20+3162*f12*f21+55*f12*f22+5499*f12*f23+34039*f12*f9+48254*f12*f10+51691*f12*f11+48694*f12*f13+3162*f12*f0+42920*f12*f1+5499*f12*f2+45587*f12*f3+2942*f12*f4+53698*f12*f5+45587*f12*f6+22711*f12*f7+45917*f12*f8+51691*f12*f14+9976*f15^2+49503*f15*f16+32731*f15*f17+19952*f15*f18+55922*f15*f19+32731*f15*f20+34121*f15*f21+22496*f15*f22+58407*f15*f23+57135*f15*f9+34003*f15*f10+49562*f15*f11+17408*f15*f13+34121*f15*f0+43084*f15*f1+58407*f15*f2+5783*f15*f3+9658*f15*f4+4393*f15*f5+5783*f15*f6+1908*f15*f7+9717*f15*f8+49562*f15*f14+55078*f16^2+62067*f16*f17+49503*f16*f18+54371*f16*f19+62067*f16*f20+37136*f16*f21+37530*f16*f22+35490*f16*f23+8716*f16*f9+23320*f16*f10+51543*f16*f11+61476*f16*f13+37136*f16*f0+34899*f16*f1+35490*f16*f2+61870*f16*f3+18058*f16*f4+21280*f16*f5+61870*f16*f6+40161*f16*f7+24966*f16*f8+51543*f16*f14+9546*f17^2+32731*f17*f18+3395*f17*f19+19092*f17*f20+43460*f17*f21+37640*f17*f22+46488*f17*f23+11273*f17*f9+54307*f17*f10+23883*f17*f11+10442*f0+65316*f1+64907*f2+49755*f3+57126*f4+45251*f5+49755*f6+42384*f7+45250*f8+36651*f9+34194*f10+51802*f11+6347*f13+51802*f14+62859*f15+63678*f16+5938*f17+62859*f18+62040*f19+5938*f20+10442*f21+53850*f22+64907*f23, 51802*f12+56230*f6^2+61806*f6*f7+40865*f6*f8+59108*f6*f14+45603*f7^2+45070*f7*f8+33051*f7*f14+14199*f8^2+29565*f8*f14+54515*f14^2+42025*f2^2+55177*f2*f3+43002*f2*f4+34858*f2*f5+55054*f2*f6+43002*f2*f7+51146*f2*f8+18570*f2*f14+49391*f3^2+31953*f3*f4+22263*f3*f5+59101*f3*f6+31953*f3*f7+41643*f3*f8+2883*f3*f14+45603*f4^2+6300*f4*f5+61806*f4*f6+25685*f4*f7+45070*f4*f8+33051*f4*f14+40950*f5^2+17226*f5*f6+6300*f5*f7+61742*f5*f8+36537*f5*f14+7391*f11^2+48254*f11*f13+8729*f11*f0+59638*f11*f1+1954*f11*f2+8729*f11*f3+8368*f11*f4+43263*f11*f5+3037*f11*f6+8368*f11*f7+38994*f11*f8+47532*f11*f14+49780*f13^2+5499*f13*f0+3162*f13*f1+42920*f13*f2+5499*f13*f3+45587*f13*f4+2942*f13*f5+53698*f13*f6+45587*f13*f7+22711*f13*f8+48694*f13*f14+49391*f0^2+19340*f0*f1+55177*f0*f2+33261*f0*f3+31953*f0*f4+22263*f0*f5+59101*f0*f6+31953*f0*f7+41643*f0*f8+2883*f0*f14+8420*f1^2+43166*f1*f2+19340*f1*f3+51402*f1*f4+13016*f1*f5+12501*f1*f6+51402*f1*f7+24267*f1*f8+1765*f1*f14+23942*f21*f5+63155*f21*f6+22002*f21*f7+20062*f21*f8+27822*f21*f14+8420*f22^2+956*f22*f23+57138*f22*f9+3162*f22*f10+59638*f22*f11+3162*f22*f13+19340*f22*f0+16840*f22*f1+43166*f22*f2+19340*f22*f3+51402*f22*f4+13016*f22*f5+12501*f22*f6+51402*f22*f7+24267*f22*f8+1765*f22*f14+59603*f23^2+38541*f23*f9+55*f23*f10+20474*f23*f11+55*f23*f13+48410*f23*f0+956*f23*f1+2077*f23*f2+48410*f23*f3+44036*f23*f4+48300*f23*f5+15199*f23*f6+44036*f23*f7+39772*f23*f8+56828*f23*f14+31250*f9^2+45917*f9*f10+170*f9*f11+45917*f9*f13+60329*f9*f0+57138*f9*f1+55464*f9*f2+60329*f9*f3+27817*f9*f4+34016*f9*f5+21958*f9*f6+27817*f9*f7+21618*f9*f8+46414*f9*f14+49780*f10^2+48254*f10*f11+34039*f10*f13+5499*f10*f0+3162*f10*f1+42920*f10*f2+5499*f10*f3+45587*f10*f4+2942*f10*f5+53698*f10*f6+45587*f10*f7+22711*f10*f8+48694*f10*f14+8716*f17*f13+35490*f17*f0+37136*f17*f1+34899*f17*f2+35490*f17*f3+61870*f17*f4+18058*f17*f5+21280*f17*f6+61870*f17*f7+40161*f17*f8+61476*f17*f14+9546*f18^2+32731*f18*f19+3395*f18*f20+19092*f18*f21+43460*f18*f22+37640*f18*f23+51279*f18*f9+11273*f18*f10+54307*f18*f11+11273*f18*f13+46488*f18*f0+43460*f18*f1+55218*f18*f2+46488*f18*f3+22002*f18*f4+23942*f18*f5+63155*f18*f6+22002*f18*f7+20062*f18*f8+27822*f18*f14+9976*f19^2+55922*f19*f20+32731*f19*f21+34121*f19*f22+22496*f19*f23+9717*f19*f9+57135*f19*f10+34003*f19*f11+57135*f19*f13+58407*f19*f0+34121*f19*f1+43084*f19*f2+58407*f19*f3+5783*f19*f4+9658*f19*f5+4393*f19*f6+5783*f19*f7+1908*f19*f8+17408*f19*f14+61497*f20^2+3395*f20*f21+31106*f20*f22+7462*f20*f23+59989*f20*f9+40033*f20*f10+44686*f20*f11+40033*f20*f13+15803*f20*f0+31106*f20*f1+51269*f20*f2+15803*f20*f3+15217*f20*f4+1258*f20*f5+53027*f20*f6+15217*f20*f7+29176*f20*f8+38861*f20*f14+9546*f21^2+43460*f21*f22+37640*f21*f23+51279*f21*f9+11273*f21*f10+54307*f21*f11+11273*f21*f13+46488*f21*f0+43460*f21*f1+55218*f21*f2+46488*f21*f3+22002*f21*f4+34649*f12^2+3777*f12*f15+49562*f12*f16+51543*f12*f17+23883*f12*f18+49562*f12*f19+47581*f12*f20+23883*f12*f21+15737*f12*f22+27771*f12*f23+53450*f12*f9+51691*f12*f10+45748*f12*f11+51691*f12*f13+8035*f12*f0+15737*f12*f1+55505*f12*f2+8035*f12*f3+17866*f12*f4+35695*f12*f5+26012*f12*f6+17866*f12*f7+37*f12*f8+5832*f12*f14+34649*f15^2+49562*f15*f16+51543*f15*f17+23883*f15*f18+49562*f15*f19+47581*f15*f20+23883*f15*f21+15737*f15*f22+27771*f15*f23+53450*f15*f9+51691*f15*f10+45748*f15*f11+51691*f15*f13+8035*f15*f0+15737*f15*f1+55505*f15*f2+8035*f15*f3+17866*f15*f4+35695*f15*f5+26012*f15*f6+17866*f15*f7+37*f15*f8+5832*f15*f14+9976*f16^2+49503*f16*f17+32731*f16*f18+19952*f16*f19+55922*f16*f20+32731*f16*f21+34121*f16*f22+22496*f16*f23+9717*f16*f9+57135*f16*f10+34003*f16*f11+57135*f16*f13+58407*f16*f0+34121*f16*f1+43084*f16*f2+58407*f16*f3+5783*f16*f4+9658*f16*f5+4393*f16*f6+5783*f16*f7+1908*f16*f8+17408*f16*f14+55078*f17^2+62067*f17*f18+49503*f17*f19+54371*f17*f20+62067*f17*f21+37136*f17*f22+37530*f17*f23+24966*f17*f9+8716*f17*f10+23320*f17*f11+64907*f0+10442*f1+65316*f2+64907*f3+49755*f4+57126*f5+45251*f6+49755*f7+42384*f8+45250*f9+36651*f10+34194*f11+36651*f13+6347*f14+51802*f15+62859*f16+63678*f17+5938*f18+62859*f19+62040*f20+5938*f21+10442*f22+53850*f23, 34194*f12+40950*f6^2+17226*f6*f7+6300*f6*f8+2942*f6*f14+56230*f7^2+61806*f7*f8+53698*f7*f14+45603*f8^2+45587*f8*f14+49780*f14^2+8420*f2^2+43166*f2*f3+19340*f2*f4+51402*f2*f5+13016*f2*f6+12501*f2*f7+51402*f2*f8+3162*f2*f14+42025*f3^2+55177*f3*f4+43002*f3*f5+34858*f3*f6+55054*f3*f7+43002*f3*f8+42920*f3*f14+49391*f4^2+31953*f4*f5+22263*f4*f6+59101*f4*f7+31953*f4*f8+5499*f4*f14+45603*f5^2+6300*f5*f6+61806*f5*f7+25685*f5*f8+45587*f5*f14+49780*f11^2+51691*f11*f13+55*f11*f0+5499*f11*f1+3162*f11*f2+42920*f11*f3+5499*f11*f4+45587*f11*f5+2942*f11*f6+53698*f11*f7+45587*f11*f8+34039*f11*f14+34649*f13^2+27771*f13*f0+8035*f13*f1+15737*f13*f2+55505*f13*f3+8035*f13*f4+17866*f13*f5+35695*f13*f6+26012*f13*f7+17866*f13*f8+51691*f13*f14+59603*f0^2+48410*f0*f1+956*f0*f2+2077*f0*f3+48410*f0*f4+44036*f0*f5+48300*f0*f6+15199*f0*f7+44036*f0*f8+55*f0*f14+49391*f1^2+19340*f1*f2+55177*f1*f3+33261*f1*f4+31953*f1*f5+22263*f1*f6+59101*f1*f7+31953*f1*f8+5499*f1*f14+15217*f21*f5+1258*f21*f6+53027*f21*f7+15217*f21*f8+40033*f21*f14+9546*f22^2+43460*f22*f23+20062*f22*f9+51279*f22*f10+11273*f22*f11+23883*f22*f13+37640*f22*f0+46488*f22*f1+43460*f22*f2+55218*f22*f3+46488*f22*f4+22002*f22*f5+23942*f22*f6+63155*f22*f7+22002*f22*f8+11273*f22*f14+8420*f23^2+24267*f23*f9+57138*f23*f10+3162*f23*f11+15737*f23*f13+956*f23*f0+19340*f23*f1+16840*f23*f2+43166*f23*f3+19340*f23*f4+51402*f23*f5+13016*f23*f6+12501*f23*f7+51402*f23*f8+3162*f23*f14+14199*f9^2+21618*f9*f10+22711*f9*f11+37*f9*f13+39772*f9*f0+41643*f9*f1+24267*f9*f2+51146*f9*f3+41643*f9*f4+45070*f9*f5+61742*f9*f6+40865*f9*f7+45070*f9*f8+22711*f9*f14+31250*f10^2+45917*f10*f11+53450*f10*f13+38541*f10*f0+60329*f10*f1+57138*f10*f2+55464*f10*f3+60329*f10*f4+27817*f10*f5+34016*f10*f6+21958*f10*f7+27817*f10*f8+45917*f10*f14+49562*f17*f13+22496*f17*f0+58407*f17*f1+34121*f17*f2+43084*f17*f3+58407*f17*f4+5783*f17*f5+9658*f17*f6+4393*f17*f7+5783*f17*f8+57135*f17*f14+55078*f18^2+62067*f18*f19+49503*f18*f20+54371*f18*f21+62067*f18*f22+37136*f18*f23+40161*f18*f9+24966*f18*f10+8716*f18*f11+51543*f18*f13+37530*f18*f0+35490*f18*f1+37136*f18*f2+34899*f18*f3+35490*f18*f4+61870*f18*f5+18058*f18*f6+21280*f18*f7+61870*f18*f8+8716*f18*f14+9546*f19^2+32731*f19*f20+3395*f19*f21+19092*f19*f22+43460*f19*f23+20062*f19*f9+51279*f19*f10+11273*f19*f11+23883*f19*f13+37640*f19*f0+46488*f19*f1+43460*f19*f2+55218*f19*f3+46488*f19*f4+22002*f19*f5+23942*f19*f6+63155*f19*f7+22002*f19*f8+11273*f19*f14+9976*f20^2+55922*f20*f21+32731*f20*f22+34121*f20*f23+1908*f20*f9+9717*f20*f10+57135*f20*f11+49562*f20*f13+22496*f20*f0+58407*f20*f1+34121*f20*f2+43084*f20*f3+58407*f20*f4+5783*f20*f5+9658*f20*f6+4393*f20*f7+5783*f20*f8+57135*f20*f14+61497*f21^2+3395*f21*f22+31106*f21*f23+29176*f21*f9+59989*f21*f10+40033*f21*f11+47581*f21*f13+7462*f21*f0+15803*f21*f1+31106*f21*f2+51269*f21*f3+15803*f21*f4+7391*f12^2+47532*f12*f15+45748*f12*f16+34003*f12*f17+23320*f12*f18+54307*f12*f19+34003*f12*f20+44686*f12*f21+54307*f12*f22+59638*f12*f23+38994*f12*f9+170*f12*f10+48254*f12*f11+45748*f12*f13+20474*f12*f0+8729*f12*f1+59638*f12*f2+1954*f12*f3+8729*f12*f4+8368*f12*f5+43263*f12*f6+3037*f12*f7+8368*f12*f8+48254*f12*f14+54515*f15^2+5832*f15*f16+17408*f15*f17+61476*f15*f18+27822*f15*f19+17408*f15*f20+38861*f15*f21+27822*f15*f22+1765*f15*f23+29565*f15*f9+46414*f15*f10+48694*f15*f11+5832*f15*f13+56828*f15*f0+2883*f15*f1+1765*f15*f2+18570*f15*f3+2883*f15*f4+33051*f15*f5+36537*f15*f6+59108*f15*f7+33051*f15*f8+48694*f15*f14+34649*f16^2+49562*f16*f17+51543*f16*f18+23883*f16*f19+49562*f16*f20+47581*f16*f21+23883*f16*f22+15737*f16*f23+37*f16*f9+53450*f16*f10+51691*f16*f11+3777*f16*f13+27771*f16*f0+8035*f16*f1+15737*f16*f2+55505*f16*f3+8035*f16*f4+17866*f16*f5+35695*f16*f6+26012*f16*f7+17866*f16*f8+51691*f16*f14+9976*f17^2+49503*f17*f18+32731*f17*f19+19952*f17*f20+55922*f17*f21+32731*f17*f22+34121*f17*f23+1908*f17*f9+9717*f17*f10+57135*f17*f11+53850*f0+64907*f1+10442*f2+65316*f3+64907*f4+49755*f5+57126*f6+45251*f7+49755*f8+42384*f9+45250*f10+36651*f11+51802*f13+36651*f14+6347*f15+51802*f16+62859*f17+63678*f18+5938*f19+62859*f20+62040*f21+5938*f22+10442*f23, 36651*f12+45603*f6^2+6300*f6*f7+61806*f6*f8+17866*f6*f14+40950*f7^2+17226*f7*f8+35695*f7*f14+56230*f8^2+26012*f8*f14+34649*f14^2+49391*f2^2+19340*f2*f3+55177*f2*f4+33261*f2*f5+31953*f2*f6+22263*f2*f7+59101*f2*f8+8035*f2*f14+8420*f3^2+43166*f3*f4+19340*f3*f5+51402*f3*f6+13016*f3*f7+12501*f3*f8+15737*f3*f14+42025*f4^2+55177*f4*f5+43002*f4*f6+34858*f4*f7+55054*f4*f8+55505*f4*f14+49391*f5^2+31953*f5*f6+22263*f5*f7+59101*f5*f8+8035*f5*f14+31250*f11^2+170*f11*f13+57138*f11*f0+38541*f11*f1+60329*f11*f2+57138*f11*f3+55464*f11*f4+60329*f11*f5+27817*f11*f6+34016*f11*f7+21958*f11*f8+53450*f11*f14+7391*f13^2+59638*f13*f0+20474*f13*f1+8729*f13*f2+59638*f13*f3+1954*f13*f4+8729*f13*f5+8368*f13*f6+43263*f13*f7+3037*f13*f8+45748*f13*f14+8420*f0^2+956*f0*f1+19340*f0*f2+16840*f0*f3+43166*f0*f4+19340*f0*f5+51402*f0*f6+13016*f0*f7+12501*f0*f8+15737*f0*f14+59603*f1^2+48410*f1*f2+956*f1*f3+2077*f1*f4+48410*f1*f5+44036*f1*f6+48300*f1*f7+15199*f1*f8+27771*f1*f14+58407*f21*f5+5783*f21*f6+9658*f21*f7+4393*f21*f8+49562*f21*f14+61497*f22^2+3395*f22*f23+15217*f22*f9+29176*f22*f10+59989*f22*f11+44686*f22*f13+31106*f22*f0+7462*f22*f1+15803*f22*f2+31106*f22*f3+51269*f22*f4+15803*f22*f5+15217*f22*f6+1258*f22*f7+53027*f22*f8+47581*f22*f14+9546*f23^2+22002*f23*f9+20062*f23*f10+51279*f23*f11+54307*f23*f13+43460*f23*f0+37640*f23*f1+46488*f23*f2+43460*f23*f3+55218*f23*f4+46488*f23*f5+22002*f23*f6+23942*f23*f7+63155*f23*f8+23883*f23*f14+45603*f9^2+45070*f9*f10+27817*f9*f11+8368*f9*f13+51402*f9*f0+44036*f9*f1+31953*f9*f2+51402*f9*f3+43002*f9*f4+31953*f9*f5+25685*f9*f6+6300*f9*f7+61806*f9*f8+17866*f9*f14+14199*f10^2+21618*f10*f11+38994*f10*f13+24267*f10*f0+39772*f10*f1+41643*f10*f2+24267*f10*f3+51146*f10*f4+41643*f10*f5+45070*f10*f6+61742*f10*f7+40865*f10*f8+37*f10*f14+45748*f17*f13+15737*f17*f0+27771*f17*f1+8035*f17*f2+15737*f17*f3+55505*f17*f4+8035*f17*f5+17866*f17*f6+35695*f17*f7+26012*f17*f8+3777*f17*f14+9976*f18^2+49503*f18*f19+32731*f18*f20+19952*f18*f21+55922*f18*f22+32731*f18*f23+5783*f18*f9+1908*f18*f10+9717*f18*f11+34003*f18*f13+34121*f18*f0+22496*f18*f1+58407*f18*f2+34121*f18*f3+43084*f18*f4+58407*f18*f5+5783*f18*f6+9658*f18*f7+4393*f18*f8+49562*f18*f14+55078*f19^2+62067*f19*f20+49503*f19*f21+54371*f19*f22+62067*f19*f23+61870*f19*f9+40161*f19*f10+24966*f19*f11+23320*f19*f13+37136*f19*f0+37530*f19*f1+35490*f19*f2+37136*f19*f3+34899*f19*f4+35490*f19*f5+61870*f19*f6+18058*f19*f7+21280*f19*f8+51543*f19*f14+9546*f20^2+32731*f20*f21+3395*f20*f22+19092*f20*f23+22002*f20*f9+20062*f20*f10+51279*f20*f11+54307*f20*f13+43460*f20*f0+37640*f20*f1+46488*f20*f2+43460*f20*f3+55218*f20*f4+46488*f20*f5+22002*f20*f6+23942*f20*f7+63155*f20*f8+23883*f20*f14+9976*f21^2+55922*f21*f22+32731*f21*f23+5783*f21*f9+1908*f21*f10+9717*f21*f11+34003*f21*f13+34121*f21*f0+22496*f21*f1+58407*f21*f2+34121*f21*f3+43084*f21*f4+49780*f12^2+34039*f12*f15+48694*f12*f16+51691*f12*f17+57135*f12*f18+8716*f12*f19+11273*f12*f20+57135*f12*f21+40033*f12*f22+11273*f12*f23+45587*f12*f9+22711*f12*f10+45917*f12*f11+48254*f12*f13+3162*f12*f0+55*f12*f1+5499*f12*f2+3162*f12*f3+42920*f12*f4+5499*f12*f5+45587*f12*f6+2942*f12*f7+53698*f12*f8+51691*f12*f14+49780*f15^2+48694*f15*f16+51691*f15*f17+57135*f15*f18+8716*f15*f19+11273*f15*f20+57135*f15*f21+40033*f15*f22+11273*f15*f23+45587*f15*f9+22711*f15*f10+45917*f15*f11+48254*f15*f13+3162*f15*f0+55*f15*f1+5499*f15*f2+3162*f15*f3+42920*f15*f4+5499*f15*f5+45587*f15*f6+2942*f15*f7+53698*f15*f8+51691*f15*f14+54515*f16^2+5832*f16*f17+17408*f16*f18+61476*f16*f19+27822*f16*f20+17408*f16*f21+38861*f16*f22+27822*f16*f23+33051*f16*f9+29565*f16*f10+46414*f16*f11+47532*f16*f13+1765*f16*f0+56828*f16*f1+2883*f16*f2+1765*f16*f3+18570*f16*f4+2883*f16*f5+33051*f16*f6+36537*f16*f7+59108*f16*f8+5832*f16*f14+34649*f17^2+49562*f17*f18+51543*f17*f19+23883*f17*f20+49562*f17*f21+47581*f17*f22+23883*f17*f23+17866*f17*f9+37*f17*f10+53450*f17*f11+10442*f0+53850*f1+64907*f2+10442*f3+65316*f4+64907*f5+49755*f6+57126*f7+45251*f8+49755*f9+42384*f10+45250*f11+34194*f13+51802*f14+36651*f15+6347*f16+51802*f17+62859*f18+63678*f19+5938*f20+62859*f21+62040*f22+5938*f23, 45250*f12+49391*f6^2+31953*f6*f7+22263*f6*f8+8729*f6*f14+45603*f7^2+6300*f7*f8+8368*f7*f14+40950*f8^2+43263*f8*f14+7391*f14^2+59603*f2^2+48410*f2*f3+956*f2*f4+2077*f2*f5+48410*f2*f6+44036*f2*f7+48300*f2*f8+20474*f2*f14+49391*f3^2+19340*f3*f4+55177*f3*f5+33261*f3*f6+31953*f3*f7+22263*f3*f8+8729*f3*f14+8420*f4^2+43166*f4*f5+19340*f4*f6+51402*f4*f7+13016*f4*f8+59638*f4*f14+42025*f5^2+55177*f5*f6+43002*f5*f7+34858*f5*f8+1954*f5*f14+14199*f11^2+22711*f11*f13+20062*f11*f0+24267*f11*f1+39772*f11*f2+41643*f11*f3+24267*f11*f4+51146*f11*f5+41643*f11*f6+45070*f11*f7+61742*f11*f8+38994*f11*f14+49780*f13^2+11273*f13*f0+3162*f13*f1+55*f13*f2+5499*f13*f3+3162*f13*f4+42920*f13*f5+5499*f13*f6+45587*f13*f7+2942*f13*f8+48254*f13*f14+9546*f0^2+43460*f0*f1+37640*f0*f2+46488*f0*f3+43460*f0*f4+55218*f0*f5+46488*f0*f6+22002*f0*f7+23942*f0*f8+54307*f0*f14+8420*f1^2+956*f1*f2+19340*f1*f3+16840*f1*f4+43166*f1*f5+19340*f1*f6+51402*f1*f7+13016*f1*f8+59638*f1*f14+55218*f21*f5+46488*f21*f6+22002*f21*f7+23942*f21*f8+54307*f21*f14+9976*f22^2+55922*f22*f23+4393*f22*f9+5783*f22*f10+1908*f22*f11+57135*f22*f13+32731*f22*f0+34121*f22*f1+22496*f22*f2+58407*f22*f3+34121*f22*f4+43084*f22*f5+58407*f22*f6+5783*f22*f7+9658*f22*f8+34003*f22*f14+61497*f23^2+53027*f23*f9+15217*f23*f10+29176*f23*f11+40033*f23*f13+3395*f23*f0+31106*f23*f1+7462*f23*f2+15803*f23*f3+31106*f23*f4+51269*f23*f5+15803*f23*f6+15217*f23*f7+1258*f23*f8+44686*f23*f14+56230*f9^2+61806*f9*f10+40865*f9*f11+53698*f9*f13+63155*f9*f0+12501*f9*f1+15199*f9*f2+59101*f9*f3+12501*f9*f4+55054*f9*f5+59101*f9*f6+61806*f9*f7+17226*f9*f8+3037*f9*f14+45603*f10^2+45070*f10*f11+45587*f10*f13+22002*f10*f0+51402*f10*f1+44036*f10*f2+31953*f10*f3+51402*f10*f4+43002*f10*f5+31953*f10*f6+25685*f10*f7+6300*f10*f8+8368*f10*f14+48694*f17*f13+27822*f17*f0+1765*f17*f1+56828*f17*f2+2883*f17*f3+1765*f17*f4+18570*f17*f5+2883*f17*f6+33051*f17*f7+36537*f17*f8+47532*f17*f14+34649*f18^2+49562*f18*f19+51543*f18*f20+23883*f18*f21+49562*f18*f22+47581*f18*f23+26012*f18*f9+17866*f18*f10+37*f18*f11+51691*f18*f13+23883*f18*f0+15737*f18*f1+27771*f18*f2+8035*f18*f3+15737*f18*f4+55505*f18*f5+8035*f18*f6+17866*f18*f7+35695*f18*f8+45748*f18*f14+9976*f19^2+49503*f19*f20+32731*f19*f21+19952*f19*f22+55922*f19*f23+4393*f19*f9+5783*f19*f10+1908*f19*f11+57135*f19*f13+32731*f19*f0+34121*f19*f1+22496*f19*f2+58407*f19*f3+34121*f19*f4+43084*f19*f5+58407*f19*f6+5783*f19*f7+9658*f19*f8+34003*f19*f14+55078*f20^2+62067*f20*f21+49503*f20*f22+54371*f20*f23+21280*f20*f9+61870*f20*f10+40161*f20*f11+8716*f20*f13+62067*f20*f0+37136*f20*f1+37530*f20*f2+35490*f20*f3+37136*f20*f4+34899*f20*f5+35490*f20*f6+61870*f20*f7+18058*f20*f8+23320*f20*f14+9546*f21^2+32731*f21*f22+3395*f21*f23+63155*f21*f9+22002*f21*f10+20062*f21*f11+11273*f21*f13+19092*f21*f0+43460*f21*f1+37640*f21*f2+46488*f21*f3+43460*f21*f4+31250*f12^2+53450*f12*f15+45917*f12*f16+46414*f12*f17+53450*f12*f18+9717*f12*f19+24966*f12*f20+51279*f12*f21+9717*f12*f22+59989*f12*f23+21958*f12*f9+27817*f12*f10+21618*f12*f11+45917*f12*f13+51279*f12*f0+57138*f12*f1+38541*f12*f2+60329*f12*f3+57138*f12*f4+55464*f12*f5+60329*f12*f6+27817*f12*f7+34016*f12*f8+170*f12*f14+34649*f15^2+51691*f15*f16+5832*f15*f17+3777*f15*f18+49562*f15*f19+51543*f15*f20+23883*f15*f21+49562*f15*f22+47581*f15*f23+26012*f15*f9+17866*f15*f10+37*f15*f11+51691*f15*f13+23883*f15*f0+15737*f15*f1+27771*f15*f2+8035*f15*f3+15737*f15*f4+55505*f15*f5+8035*f15*f6+17866*f15*f7+35695*f15*f8+45748*f15*f14+49780*f16^2+48694*f16*f17+51691*f16*f18+57135*f16*f19+8716*f16*f20+11273*f16*f21+57135*f16*f22+40033*f16*f23+53698*f16*f9+45587*f16*f10+22711*f16*f11+34039*f16*f13+11273*f16*f0+3162*f16*f1+55*f16*f2+5499*f16*f3+3162*f16*f4+42920*f16*f5+5499*f16*f6+45587*f16*f7+2942*f16*f8+48254*f16*f14+54515*f17^2+5832*f17*f18+17408*f17*f19+61476*f17*f20+27822*f17*f21+17408*f17*f22+38861*f17*f23+59108*f17*f9+33051*f17*f10+29565*f17*f11+5938*f0+10442*f1+53850*f2+64907*f3+10442*f4+65316*f5+64907*f6+49755*f7+57126*f8+45251*f9+49755*f10+42384*f11+36651*f13+34194*f14+51802*f15+36651*f16+6347*f17+51802*f18+62859*f19+63678*f20+5938*f21+62859*f22+62040*f23, 42384*f12+42025*f6^2+55177*f6*f7+43002*f6*f8+42920*f6*f14+49391*f7^2+31953*f7*f8+5499*f7*f14+45603*f8^2+45587*f8*f14+49780*f14^2+8420*f2^2+956*f2*f3+19340*f2*f4+16840*f2*f5+43166*f2*f6+19340*f2*f7+51402*f2*f8+3162*f2*f14+59603*f3^2+48410*f3*f4+956*f3*f5+2077*f3*f6+48410*f3*f7+44036*f3*f8+55*f3*f14+49391*f4^2+19340*f4*f5+55177*f4*f6+33261*f4*f7+31953*f4*f8+5499*f4*f14+8420*f5^2+43166*f5*f6+19340*f5*f7+51402*f5*f8+3162*f5*f14+45603*f11^2+27817*f11*f13+15217*f11*f0+22002*f11*f1+51402*f11*f2+44036*f11*f3+31953*f11*f4+51402*f11*f5+43002*f11*f6+31953*f11*f7+25685*f11*f8+45587*f11*f14+31250*f13^2+59989*f13*f0+51279*f13*f1+57138*f13*f2+38541*f13*f3+60329*f13*f4+57138*f13*f5+55464*f13*f6+60329*f13*f7+27817*f13*f8+45917*f13*f14+61497*f0^2+3395*f0*f1+31106*f0*f2+7462*f0*f3+15803*f0*f4+31106*f0*f5+51269*f0*f6+15803*f0*f7+15217*f0*f8+40033*f0*f14+9546*f1^2+43460*f1*f2+37640*f1*f3+46488*f1*f4+43460*f1*f5+55218*f1*f6+46488*f1*f7+22002*f1*f8+11273*f1*f14+37136*f21*f5+34899*f21*f6+35490*f21*f7+61870*f21*f8+8716*f21*f14+9546*f22^2+32731*f22*f23+23942*f22*f9+63155*f22*f10+22002*f22*f11+51279*f22*f13+3395*f22*f0+19092*f22*f1+43460*f22*f2+37640*f22*f3+46488*f22*f4+43460*f22*f5+55218*f22*f6+46488*f22*f7+22002*f22*f8+11273*f22*f14+9976*f23^2+9658*f23*f9+4393*f23*f10+5783*f23*f11+9717*f23*f13+55922*f23*f0+32731*f23*f1+34121*f23*f2+22496*f23*f3+58407*f23*f4+34121*f23*f5+43084*f23*f6+58407*f23*f7+5783*f23*f8+57135*f23*f14+40950*f9^2+17226*f9*f10+6300*f9*f11+34016*f9*f13+1258*f9*f0+23942*f9*f1+13016*f9*f2+48300*f9*f3+22263*f9*f4+13016*f9*f5+34858*f9*f6+22263*f9*f7+6300*f9*f8+2942*f9*f14+56230*f10^2+61806*f10*f11+21958*f10*f13+53027*f10*f0+63155*f10*f1+12501*f10*f2+15199*f10*f3+59101*f10*f4+12501*f10*f5+55054*f10*f6+59101*f10*f7+61806*f10*f8+53698*f10*f14+45917*f17*f13+40033*f17*f0+11273*f17*f1+3162*f17*f2+55*f17*f3+5499*f17*f4+3162*f17*f5+42920*f17*f6+5499*f17*f7+45587*f17*f8+34039*f17*f14+54515*f18^2+5832*f18*f19+17408*f18*f20+61476*f18*f21+27822*f18*f22+17408*f18*f23+36537*f18*f9+59108*f18*f10+33051*f18*f11+46414*f18*f13+38861*f18*f0+27822*f18*f1+1765*f18*f2+56828*f18*f3+2883*f18*f4+1765*f18*f5+18570*f18*f6+2883*f18*f7+33051*f18*f8+48694*f18*f14+34649*f19^2+49562*f19*f20+51543*f19*f21+23883*f19*f22+49562*f19*f23+35695*f19*f9+26012*f19*f10+17866*f19*f11+53450*f19*f13+47581*f19*f0+23883*f19*f1+15737*f19*f2+27771*f19*f3+8035*f19*f4+15737*f19*f5+55505*f19*f6+8035*f19*f7+17866*f19*f8+51691*f19*f14+9976*f20^2+49503*f20*f21+32731*f20*f22+19952*f20*f23+9658*f20*f9+4393*f20*f10+5783*f20*f11+9717*f20*f13+55922*f20*f0+32731*f20*f1+34121*f20*f2+22496*f20*f3+58407*f20*f4+34121*f20*f5+43084*f20*f6+58407*f20*f7+5783*f20*f8+57135*f20*f14+55078*f21^2+62067*f21*f22+49503*f21*f23+18058*f21*f9+21280*f21*f10+61870*f21*f11+24966*f21*f13+54371*f21*f0+62067*f21*f1+37136*f21*f2+37530*f21*f3+35490*f21*f4+14199*f12^2+38994*f12*f15+37*f12*f16+22711*f12*f17+29565*f12*f18+37*f12*f19+1908*f12*f20+40161*f12*f21+20062*f12*f22+1908*f12*f23+61742*f12*f9+40865*f12*f10+45070*f12*f11+21618*f12*f13+29176*f12*f0+20062*f12*f1+24267*f12*f2+39772*f12*f3+41643*f12*f4+24267*f12*f5+51146*f12*f6+41643*f12*f7+45070*f12*f8+22711*f12*f14+7391*f15^2+45748*f15*f16+48254*f15*f17+47532*f15*f18+45748*f15*f19+34003*f15*f20+23320*f15*f21+54307*f15*f22+34003*f15*f23+43263*f15*f9+3037*f15*f10+8368*f15*f11+170*f15*f13+44686*f15*f0+54307*f15*f1+59638*f15*f2+20474*f15*f3+8729*f15*f4+59638*f15*f5+1954*f15*f6+8729*f15*f7+8368*f15*f8+48254*f15*f14+34649*f16^2+51691*f16*f17+5832*f16*f18+3777*f16*f19+49562*f16*f20+51543*f16*f21+23883*f16*f22+49562*f16*f23+35695*f16*f9+26012*f16*f10+17866*f16*f11+53450*f16*f13+47581*f16*f0+23883*f16*f1+15737*f16*f2+27771*f16*f3+8035*f16*f4+15737*f16*f5+55505*f16*f6+8035*f16*f7+17866*f16*f8+51691*f16*f14+49780*f17^2+48694*f17*f18+51691*f17*f19+57135*f17*f20+8716*f17*f21+11273*f17*f22+57135*f17*f23+2942*f17*f9+53698*f17*f10+45587*f17*f11+62040*f0+5938*f1+10442*f2+53850*f3+64907*f4+10442*f5+65316*f6+64907*f7+49755*f8+57126*f9+45251*f10+49755*f11+45250*f13+36651*f14+34194*f15+51802*f16+36651*f17+6347*f18+51802*f19+62859*f20+63678*f21+5938*f22+62859*f23, 49755*f12+8420*f6^2+43166*f6*f7+19340*f6*f8+57138*f6*f14+42025*f7^2+55177*f7*f8+55464*f7*f14+49391*f8^2+60329*f8*f14+31250*f14^2+9546*f2^2+43460*f2*f3+37640*f2*f4+46488*f2*f5+43460*f2*f6+55218*f2*f7+46488*f2*f8+51279*f2*f14+8420*f3^2+956*f3*f4+19340*f3*f5+16840*f3*f6+43166*f3*f7+19340*f3*f8+57138*f3*f14+59603*f4^2+48410*f4*f5+956*f4*f6+2077*f4*f7+48410*f4*f8+38541*f4*f14+49391*f5^2+19340*f5*f6+55177*f5*f7+33261*f5*f8+60329*f5*f14+56230*f11^2+40865*f11*f13+4393*f11*f0+53027*f11*f1+63155*f11*f2+12501*f11*f3+15199*f11*f4+59101*f11*f5+12501*f11*f6+55054*f11*f7+59101*f11*f8+21958*f11*f14+14199*f13^2+1908*f13*f0+29176*f13*f1+20062*f13*f2+24267*f13*f3+39772*f13*f4+41643*f13*f5+24267*f13*f6+51146*f13*f7+41643*f13*f8+21618*f13*f14+9976*f0^2+55922*f0*f1+32731*f0*f2+34121*f0*f3+22496*f0*f4+58407*f0*f5+34121*f0*f6+43084*f0*f7+58407*f0*f8+9717*f0*f14+61497*f1^2+3395*f1*f2+31106*f1*f3+7462*f1*f4+15803*f1*f5+31106*f1*f6+51269*f1*f7+15803*f1*f8+59989*f1*f14+58407*f21*f5+34121*f21*f6+43084*f21*f7+58407*f21*f8+9717*f21*f14+55078*f22^2+62067*f22*f23+61870*f22*f9+18058*f22*f10+21280*f22*f11+40161*f22*f13+49503*f22*f0+54371*f22*f1+62067*f22*f2+37136*f22*f3+37530*f22*f4+35490*f22*f5+37136*f22*f6+34899*f22*f7+35490*f22*f8+24966*f22*f14+9546*f23^2+22002*f23*f9+23942*f23*f10+63155*f23*f11+20062*f23*f13+32731*f23*f0+3395*f23*f1+19092*f23*f2+43460*f23*f3+37640*f23*f4+46488*f23*f5+43460*f23*f6+55218*f23*f7+46488*f23*f8+51279*f23*f14+45603*f9^2+6300*f9*f10+61806*f9*f11+45070*f9*f13+5783*f9*f0+15217*f9*f1+22002*f9*f2+51402*f9*f3+44036*f9*f4+31953*f9*f5+51402*f9*f6+43002*f9*f7+31953*f9*f8+27817*f9*f14+40950*f10^2+17226*f10*f11+61742*f10*f13+9658*f10*f0+1258*f10*f1+23942*f10*f2+13016*f10*f3+48300*f10*f4+22263*f10*f5+13016*f10*f6+34858*f10*f7+22263*f10*f8+34016*f10*f14+37*f17*f13+49562*f17*f0+47581*f17*f1+23883*f17*f2+15737*f17*f3+27771*f17*f4+8035*f17*f5+15737*f17*f6+55505*f17*f7+8035*f17*f8+53450*f17*f14+49780*f18^2+48694*f18*f19+51691*f18*f20+57135*f18*f21+8716*f18*f22+11273*f18*f23+45587*f18*f9+2942*f18*f10+53698*f18*f11+22711*f18*f13+57135*f18*f0+40033*f18*f1+11273*f18*f2+3162*f18*f3+55*f18*f4+5499*f18*f5+3162*f18*f6+42920*f18*f7+5499*f18*f8+45917*f18*f14+54515*f19^2+5832*f19*f20+17408*f19*f21+61476*f19*f22+27822*f19*f23+33051*f19*f9+36537*f19*f10+59108*f19*f11+29565*f19*f13+17408*f19*f0+38861*f19*f1+27822*f19*f2+1765*f19*f3+56828*f19*f4+2883*f19*f5+1765*f19*f6+18570*f19*f7+2883*f19*f8+46414*f19*f14+34649*f20^2+49562*f20*f21+51543*f20*f22+23883*f20*f23+17866*f20*f9+35695*f20*f10+26012*f20*f11+37*f20*f13+49562*f20*f0+47581*f20*f1+23883*f20*f2+15737*f20*f3+27771*f20*f4+8035*f20*f5+15737*f20*f6+55505*f20*f7+8035*f20*f8+53450*f20*f14+9976*f21^2+49503*f21*f22+32731*f21*f23+5783*f21*f9+9658*f21*f10+4393*f21*f11+1908*f21*f13+19952*f21*f0+55922*f21*f1+32731*f21*f2+34121*f21*f3+22496*f21*f4+45603*f12^2+45587*f12*f15+8368*f12*f16+17866*f12*f17+45587*f12*f18+33051*f12*f19+17866*f12*f20+5783*f12*f21+61870*f12*f22+22002*f12*f23+25685*f12*f9+6300*f12*f10+61806*f12*f11+45070*f12*f13+5783*f12*f0+15217*f12*f1+22002*f12*f2+51402*f12*f3+44036*f12*f4+31953*f12*f5+51402*f12*f6+43002*f12*f7+31953*f12*f8+27817*f12*f14+49780*f15^2+48254*f15*f16+51691*f15*f17+34039*f15*f18+48694*f15*f19+51691*f15*f20+57135*f15*f21+8716*f15*f22+11273*f15*f23+45587*f15*f9+2942*f15*f10+53698*f15*f11+22711*f15*f13+57135*f15*f0+40033*f15*f1+11273*f15*f2+3162*f15*f3+55*f15*f4+5499*f15*f5+3162*f15*f6+42920*f15*f7+5499*f15*f8+45917*f15*f14+7391*f16^2+45748*f16*f17+48254*f16*f18+47532*f16*f19+45748*f16*f20+34003*f16*f21+23320*f16*f22+54307*f16*f23+8368*f16*f9+43263*f16*f10+3037*f16*f11+38994*f16*f13+34003*f16*f0+44686*f16*f1+54307*f16*f2+59638*f16*f3+20474*f16*f4+8729*f16*f5+59638*f16*f6+1954*f16*f7+8729*f16*f8+170*f16*f14+34649*f17^2+51691*f17*f18+5832*f17*f19+3777*f17*f20+49562*f17*f21+51543*f17*f22+23883*f17*f23+17866*f17*f9+35695*f17*f10+26012*f17*f11+62859*f0+62040*f1+5938*f2+10442*f3+53850*f4+64907*f5+10442*f6+65316*f7+64907*f8+49755*f9+57126*f10+45251*f11+42384*f13+45250*f14+36651*f15+34194*f16+51802*f17+36651*f18+6347*f19+51802*f20+62859*f21+63678*f22+5938*f23, 45251*f12+49391*f6^2+19340*f6*f7+55177*f6*f8+41643*f6*f14+8420*f7^2+43166*f7*f8+24267*f7*f14+42025*f8^2+51146*f8*f14+14199*f14^2+61497*f2^2+3395*f2*f3+31106*f2*f4+7462*f2*f5+15803*f2*f6+31106*f2*f7+51269*f2*f8+29176*f2*f14+9546*f3^2+43460*f3*f4+37640*f3*f5+46488*f3*f6+43460*f3*f7+55218*f3*f8+20062*f3*f14+8420*f4^2+956*f4*f5+19340*f4*f6+16840*f4*f7+43166*f4*f8+24267*f4*f14+59603*f5^2+48410*f5*f6+956*f5*f7+2077*f5*f8+39772*f5*f14+40950*f11^2+6300*f11*f13+23942*f11*f0+9658*f11*f1+1258*f11*f2+23942*f11*f3+13016*f11*f4+48300*f11*f5+22263*f11*f6+13016*f11*f7+34858*f11*f8+61742*f11*f14+45603*f13^2+22002*f13*f0+5783*f13*f1+15217*f13*f2+22002*f13*f3+51402*f13*f4+44036*f13*f5+31953*f13*f6+51402*f13*f7+43002*f13*f8+45070*f13*f14+9546*f0^2+32731*f0*f1+3395*f0*f2+19092*f0*f3+43460*f0*f4+37640*f0*f5+46488*f0*f6+43460*f0*f7+55218*f0*f8+20062*f0*f14+9976*f1^2+55922*f1*f2+32731*f1*f3+34121*f1*f4+22496*f1*f5+58407*f1*f6+34121*f1*f7+43084*f1*f8+1908*f1*f14+27771*f21*f5+8035*f21*f6+15737*f21*f7+55505*f21*f8+37*f21*f14+9976*f22^2+49503*f22*f23+58407*f22*f9+5783*f22*f10+9658*f22*f11+5783*f22*f13+32731*f22*f0+19952*f22*f1+55922*f22*f2+32731*f22*f3+34121*f22*f4+22496*f22*f5+58407*f22*f6+34121*f22*f7+43084*f22*f8+1908*f22*f14+55078*f23^2+35490*f23*f9+61870*f23*f10+18058*f23*f11+61870*f23*f13+62067*f23*f0+49503*f23*f1+54371*f23*f2+62067*f23*f3+37136*f23*f4+37530*f23*f5+35490*f23*f6+37136*f23*f7+34899*f23*f8+40161*f23*f14+49391*f9^2+31953*f9*f10+22263*f9*f11+31953*f9*f13+46488*f9*f0+58407*f9*f1+15803*f9*f2+46488*f9*f3+19340*f9*f4+48410*f9*f5+33261*f9*f6+19340*f9*f7+55177*f9*f8+41643*f9*f14+45603*f10^2+6300*f10*f11+25685*f10*f13+22002*f10*f0+5783*f10*f1+15217*f10*f2+22002*f10*f3+51402*f10*f4+44036*f10*f5+31953*f10*f6+51402*f10*f7+43002*f10*f8+45070*f10*f14+8368*f17*f13+54307*f17*f0+34003*f17*f1+44686*f17*f2+54307*f17*f3+59638*f17*f4+20474*f17*f5+8729*f17*f6+59638*f17*f7+1954*f17*f8+38994*f17*f14+34649*f18^2+51691*f18*f19+5832*f18*f20+3777*f18*f21+49562*f18*f22+51543*f18*f23+8035*f18*f9+17866*f18*f10+35695*f18*f11+17866*f18*f13+23883*f18*f0+49562*f18*f1+47581*f18*f2+23883*f18*f3+15737*f18*f4+27771*f18*f5+8035*f18*f6+15737*f18*f7+55505*f18*f8+37*f18*f14+49780*f19^2+48694*f19*f20+51691*f19*f21+57135*f19*f22+8716*f19*f23+5499*f19*f9+45587*f19*f10+2942*f19*f11+45587*f19*f13+11273*f19*f0+57135*f19*f1+40033*f19*f2+11273*f19*f3+3162*f19*f4+55*f19*f5+5499*f19*f6+3162*f19*f7+42920*f19*f8+22711*f19*f14+54515*f20^2+5832*f20*f21+17408*f20*f22+61476*f20*f23+2883*f20*f9+33051*f20*f10+36537*f20*f11+33051*f20*f13+27822*f20*f0+17408*f20*f1+38861*f20*f2+27822*f20*f3+1765*f20*f4+56828*f20*f5+2883*f20*f6+1765*f20*f7+18570*f20*f8+29565*f20*f14+34649*f21^2+49562*f21*f22+51543*f21*f23+8035*f21*f9+17866*f21*f10+35695*f21*f11+17866*f21*f13+23883*f21*f0+49562*f21*f1+47581*f21*f2+23883*f21*f3+15737*f21*f4+56230*f12^2+21958*f12*f15+53698*f12*f16+3037*f12*f17+26012*f12*f18+53698*f12*f19+59108*f12*f20+26012*f12*f21+4393*f12*f22+21280*f12*f23+59101*f12*f9+61806*f12*f10+17226*f12*f11+61806*f12*f13+63155*f12*f0+4393*f12*f1+53027*f12*f2+63155*f12*f3+12501*f12*f4+15199*f12*f5+59101*f12*f6+12501*f12*f7+55054*f12*f8+40865*f12*f14+31250*f15^2+45917*f15*f16+170*f15*f17+53450*f15*f18+45917*f15*f19+46414*f15*f20+53450*f15*f21+9717*f15*f22+24966*f15*f23+60329*f15*f9+27817*f15*f10+34016*f15*f11+27817*f15*f13+51279*f15*f0+9717*f15*f1+59989*f15*f2+51279*f15*f3+57138*f15*f4+38541*f15*f5+60329*f15*f6+57138*f15*f7+55464*f15*f8+21618*f15*f14+49780*f16^2+48254*f16*f17+51691*f16*f18+34039*f16*f19+48694*f16*f20+51691*f16*f21+57135*f16*f22+8716*f16*f23+5499*f16*f9+45587*f16*f10+2942*f16*f11+45587*f16*f13+11273*f16*f0+57135*f16*f1+40033*f16*f2+11273*f16*f3+3162*f16*f4+55*f16*f5+5499*f16*f6+3162*f16*f7+42920*f16*f8+22711*f16*f14+7391*f17^2+45748*f17*f18+48254*f17*f19+47532*f17*f20+45748*f17*f21+34003*f17*f22+23320*f17*f23+8729*f17*f9+8368*f17*f10+43263*f17*f11+5938*f0+62859*f1+62040*f2+5938*f3+10442*f4+53850*f5+64907*f6+10442*f7+65316*f8+64907*f9+49755*f10+57126*f11+49755*f13+42384*f14+45250*f15+36651*f16+34194*f17+51802*f18+36651*f19+6347*f20+51802*f21+62859*f22+63678*f23, 57126*f12+59603*f6^2+48410*f6*f7+956*f6*f8+44036*f6*f14+49391*f7^2+19340*f7*f8+31953*f7*f14+8420*f8^2+51402*f8*f14+45603*f14^2+9976*f2^2+55922*f2*f3+32731*f2*f4+34121*f2*f5+22496*f2*f6+58407*f2*f7+34121*f2*f8+5783*f2*f14+61497*f3^2+3395*f3*f4+31106*f3*f5+7462*f3*f6+15803*f3*f7+31106*f3*f8+15217*f3*f14+9546*f4^2+43460*f4*f5+37640*f4*f6+46488*f4*f7+43460*f4*f8+22002*f4*f14+8420*f5^2+956*f5*f6+19340*f5*f7+16840*f5*f8+51402*f5*f14+45603*f11^2+61806*f11*f13+61870*f11*f0+22002*f11*f1+5783*f11*f2+15217*f11*f3+22002*f11*f4+51402*f11*f5+44036*f11*f6+31953*f11*f7+51402*f11*f8+25685*f11*f14+56230*f13^2+21280*f13*f0+63155*f13*f1+4393*f13*f2+53027*f13*f3+63155*f13*f4+12501*f13*f5+15199*f13*f6+59101*f13*f7+12501*f13*f8+61806*f13*f14+55078*f0^2+62067*f0*f1+49503*f0*f2+54371*f0*f3+62067*f0*f4+37136*f0*f5+37530*f0*f6+35490*f0*f7+37136*f0*f8+61870*f0*f14+9546*f1^2+32731*f1*f2+3395*f1*f3+19092*f1*f4+43460*f1*f5+37640*f1*f6+46488*f1*f7+43460*f1*f8+22002*f1*f14+1765*f21*f5+56828*f21*f6+2883*f21*f7+1765*f21*f8+33051*f21*f14+34649*f22^2+49562*f22*f23+55505*f22*f9+8035*f22*f10+17866*f22*f11+26012*f22*f13+51543*f22*f0+23883*f22*f1+49562*f22*f2+47581*f22*f3+23883*f22*f4+15737*f22*f5+27771*f22*f6+8035*f22*f7+15737*f22*f8+17866*f22*f14+9976*f23^2+43084*f23*f9+58407*f23*f10+5783*f23*f11+4393*f23*f13+49503*f23*f0+32731*f23*f1+19952*f23*f2+55922*f23*f3+32731*f23*f4+34121*f23*f5+22496*f23*f6+58407*f23*f7+34121*f23*f8+5783*f23*f14+42025*f9^2+55177*f9*f10+43002*f9*f11+55054*f9*f13+34899*f9*f0+55218*f9*f1+43084*f9*f2+51269*f9*f3+55218*f9*f4+43166*f9*f5+2077*f9*f6+55177*f9*f7+43166*f9*f8+43002*f9*f14+49391*f10^2+31953*f10*f11+59101*f10*f13+35490*f10*f0+46488*f10*f1+58407*f10*f2+15803*f10*f3+46488*f10*f4+19340*f10*f5+48410*f10*f6+33261*f10*f7+19340*f10*f8+31953*f10*f14+53698*f17*f13+8716*f17*f0+11273*f17*f1+57135*f17*f2+40033*f17*f3+11273*f17*f4+3162*f17*f5+55*f17*f6+5499*f17*f7+3162*f17*f8+45587*f17*f14+7391*f18^2+45748*f18*f19+48254*f18*f20+47532*f18*f21+45748*f18*f22+34003*f18*f23+1954*f18*f9+8729*f18*f10+8368*f18*f11+3037*f18*f13+23320*f18*f0+54307*f18*f1+34003*f18*f2+44686*f18*f3+54307*f18*f4+59638*f18*f5+20474*f18*f6+8729*f18*f7+59638*f18*f8+8368*f18*f14+34649*f19^2+51691*f19*f20+5832*f19*f21+3777*f19*f22+49562*f19*f23+55505*f19*f9+8035*f19*f10+17866*f19*f11+26012*f19*f13+51543*f19*f0+23883*f19*f1+49562*f19*f2+47581*f19*f3+23883*f19*f4+15737*f19*f5+27771*f19*f6+8035*f19*f7+15737*f19*f8+17866*f19*f14+49780*f20^2+48694*f20*f21+51691*f20*f22+57135*f20*f23+42920*f20*f9+5499*f20*f10+45587*f20*f11+53698*f20*f13+8716*f20*f0+11273*f20*f1+57135*f20*f2+40033*f20*f3+11273*f20*f4+3162*f20*f5+55*f20*f6+5499*f20*f7+3162*f20*f8+45587*f20*f14+54515*f21^2+5832*f21*f22+17408*f21*f23+18570*f21*f9+2883*f21*f10+33051*f21*f11+59108*f21*f13+61476*f21*f0+27822*f21*f1+17408*f21*f2+38861*f21*f3+27822*f21*f4+40950*f12^2+61742*f12*f15+34016*f12*f16+2942*f12*f17+43263*f12*f18+35695*f12*f19+2942*f12*f20+36537*f12*f21+35695*f12*f22+9658*f12*f23+34858*f12*f9+22263*f12*f10+6300*f12*f11+17226*f12*f13+18058*f12*f0+23942*f12*f1+9658*f12*f2+1258*f12*f3+23942*f12*f4+13016*f12*f5+48300*f12*f6+22263*f12*f7+13016*f12*f8+6300*f12*f14+14199*f15^2+21618*f15*f16+22711*f15*f17+38994*f15*f18+37*f15*f19+22711*f15*f20+29565*f15*f21+37*f15*f22+1908*f15*f23+51146*f15*f9+41643*f15*f10+45070*f15*f11+40865*f15*f13+40161*f15*f0+20062*f15*f1+1908*f15*f2+29176*f15*f3+20062*f15*f4+24267*f15*f5+39772*f15*f6+41643*f15*f7+24267*f15*f8+45070*f15*f14+31250*f16^2+45917*f16*f17+170*f16*f18+53450*f16*f19+45917*f16*f20+46414*f16*f21+53450*f16*f22+9717*f16*f23+55464*f16*f9+60329*f16*f10+27817*f16*f11+21958*f16*f13+24966*f16*f0+51279*f16*f1+9717*f16*f2+59989*f16*f3+51279*f16*f4+57138*f16*f5+38541*f16*f6+60329*f16*f7+57138*f16*f8+27817*f16*f14+49780*f17^2+48254*f17*f18+51691*f17*f19+34039*f17*f20+48694*f17*f21+51691*f17*f22+57135*f17*f23+42920*f17*f9+5499*f17*f10+45587*f17*f11+63678*f0+5938*f1+62859*f2+62040*f3+5938*f4+10442*f5+53850*f6+64907*f7+10442*f8+65316*f9+64907*f10+49755*f11+45251*f13+49755*f14+42384*f15+45250*f16+36651*f17+34194*f18+51802*f19+36651*f20+6347*f21+51802*f22+62859*f23, 49755*f12+8420*f6^2+956*f6*f7+19340*f6*f8+12501*f6*f14+59603*f7^2+48410*f7*f8+15199*f7*f14+49391*f8^2+59101*f8*f14+56230*f14^2+9546*f2^2+32731*f2*f3+3395*f2*f4+19092*f2*f5+43460*f2*f6+37640*f2*f7+46488*f2*f8+63155*f2*f14+9976*f3^2+55922*f3*f4+32731*f3*f5+34121*f3*f6+22496*f3*f7+58407*f3*f8+4393*f3*f14+61497*f4^2+3395*f4*f5+31106*f4*f6+7462*f4*f7+15803*f4*f8+53027*f4*f14+9546*f5^2+43460*f5*f6+37640*f5*f7+46488*f5*f8+63155*f5*f14+49391*f11^2+22263*f11*f13+58407*f11*f0+35490*f11*f1+46488*f11*f2+58407*f11*f3+15803*f11*f4+46488*f11*f5+19340*f11*f6+48410*f11*f7+33261*f11*f8+59101*f11*f14+40950*f13^2+9658*f13*f0+18058*f13*f1+23942*f13*f2+9658*f13*f3+1258*f13*f4+23942*f13*f5+13016*f13*f6+48300*f13*f7+22263*f13*f8+17226*f13*f14+9976*f0^2+49503*f0*f1+32731*f0*f2+19952*f0*f3+55922*f0*f4+32731*f0*f5+34121*f0*f6+22496*f0*f7+58407*f0*f8+4393*f0*f14+55078*f1^2+62067*f1*f2+49503*f1*f3+54371*f1*f4+62067*f1*f5+37136*f1*f6+37530*f1*f7+35490*f1*f8+21280*f1*f14+11273*f21*f5+3162*f21*f6+55*f21*f7+5499*f21*f8+53698*f21*f14+54515*f22^2+5832*f22*f23+1765*f22*f9+18570*f22*f10+2883*f22*f11+36537*f22*f13+17408*f22*f0+61476*f22*f1+27822*f22*f2+17408*f22*f3+38861*f22*f4+27822*f22*f5+1765*f22*f6+56828*f22*f7+2883*f22*f8+59108*f22*f14+34649*f23^2+15737*f23*f9+55505*f23*f10+8035*f23*f11+35695*f23*f13+49562*f23*f0+51543*f23*f1+23883*f23*f2+49562*f23*f3+47581*f23*f4+23883*f23*f5+15737*f23*f6+27771*f23*f7+8035*f23*f8+26012*f23*f14+8420*f9^2+43166*f9*f10+19340*f9*f11+13016*f9*f13+34121*f9*f0+37136*f9*f1+43460*f9*f2+34121*f9*f3+31106*f9*f4+43460*f9*f5+16840*f9*f6+956*f9*f7+19340*f9*f8+12501*f9*f14+42025*f10^2+55177*f10*f11+34858*f10*f13+43084*f10*f0+34899*f10*f1+55218*f10*f2+43084*f10*f3+51269*f10*f4+55218*f10*f5+43166*f10*f6+2077*f10*f7+55177*f10*f8+55054*f10*f14+34016*f17*f13+9717*f17*f0+24966*f17*f1+51279*f17*f2+9717*f17*f3+59989*f17*f4+51279*f17*f5+57138*f17*f6+38541*f17*f7+60329*f17*f8+21958*f17*f14+49780*f18^2+48254*f18*f19+51691*f18*f20+34039*f18*f21+48694*f18*f22+51691*f18*f23+3162*f18*f9+42920*f18*f10+5499*f18*f11+2942*f18*f13+57135*f18*f0+8716*f18*f1+11273*f18*f2+57135*f18*f3+40033*f18*f4+11273*f18*f5+3162*f18*f6+55*f18*f7+5499*f18*f8+53698*f18*f14+7391*f19^2+45748*f19*f20+48254*f19*f21+47532*f19*f22+45748*f19*f23+59638*f19*f9+1954*f19*f10+8729*f19*f11+43263*f19*f13+34003*f19*f0+23320*f19*f1+54307*f19*f2+34003*f19*f3+44686*f19*f4+54307*f19*f5+59638*f19*f6+20474*f19*f7+8729*f19*f8+3037*f19*f14+34649*f20^2+51691*f20*f21+5832*f20*f22+3777*f20*f23+15737*f20*f9+55505*f20*f10+8035*f20*f11+35695*f20*f13+49562*f20*f0+51543*f20*f1+23883*f20*f2+49562*f20*f3+47581*f20*f4+23883*f20*f5+15737*f20*f6+27771*f20*f7+8035*f20*f8+26012*f20*f14+49780*f21^2+48694*f21*f22+51691*f21*f23+3162*f21*f9+42920*f21*f10+5499*f21*f11+2942*f21*f13+57135*f21*f0+8716*f21*f1+11273*f21*f2+57135*f21*f3+40033*f21*f4+45603*f12^2+25685*f12*f15+45070*f12*f16+27817*f12*f17+45587*f12*f18+8368*f12*f19+17866*f12*f20+45587*f12*f21+33051*f12*f22+17866*f12*f23+51402*f12*f9+43002*f12*f10+31953*f12*f11+6300*f12*f13+5783*f12*f0+61870*f12*f1+22002*f12*f2+5783*f12*f3+15217*f12*f4+22002*f12*f5+51402*f12*f6+44036*f12*f7+31953*f12*f8+61806*f12*f14+45603*f15^2+45070*f15*f16+27817*f15*f17+45587*f15*f18+8368*f15*f19+17866*f15*f20+45587*f15*f21+33051*f15*f22+17866*f15*f23+51402*f15*f9+43002*f15*f10+31953*f15*f11+6300*f15*f13+5783*f15*f0+61870*f15*f1+22002*f15*f2+5783*f15*f3+15217*f15*f4+22002*f15*f5+51402*f15*f6+44036*f15*f7+31953*f15*f8+61806*f15*f14+14199*f16^2+21618*f16*f17+22711*f16*f18+38994*f16*f19+37*f16*f20+22711*f16*f21+29565*f16*f22+37*f16*f23+24267*f16*f9+51146*f16*f10+41643*f16*f11+61742*f16*f13+1908*f16*f0+40161*f16*f1+20062*f16*f2+1908*f16*f3+29176*f16*f4+20062*f16*f5+24267*f16*f6+39772*f16*f7+41643*f16*f8+40865*f16*f14+31250*f17^2+45917*f17*f18+170*f17*f19+53450*f17*f20+45917*f17*f21+46414*f17*f22+53450*f17*f23+57138*f17*f9+55464*f17*f10+60329*f17*f11+62859*f0+63678*f1+5938*f2+62859*f3+62040*f4+5938*f5+10442*f6+53850*f7+64907*f8+10442*f9+65316*f10+64907*f11+57126*f13+45251*f14+49755*f15+42384*f16+45250*f17+36651*f18+34194*f19+51802*f20+36651*f21+6347*f22+51802*f23, 64907*f12+9546*f6^2+43460*f6*f7+37640*f6*f8+23942*f6*f14+8420*f7^2+956*f7*f8+13016*f7*f14+59603*f8^2+48300*f8*f14+40950*f14^2+55078*f2^2+62067*f2*f3+49503*f2*f4+54371*f2*f5+62067*f2*f6+37136*f2*f7+37530*f2*f8+18058*f2*f14+9546*f3^2+32731*f3*f4+3395*f3*f5+19092*f3*f6+43460*f3*f7+37640*f3*f8+23942*f3*f14+9976*f4^2+55922*f4*f5+32731*f4*f6+34121*f4*f7+22496*f4*f8+9658*f4*f14+61497*f5^2+3395*f5*f6+31106*f5*f7+7462*f5*f8+1258*f5*f14+42025*f11^2+43002*f11*f13+55505*f11*f0+43084*f11*f1+34899*f11*f2+55218*f11*f3+43084*f11*f4+51269*f11*f5+55218*f11*f6+43166*f11*f7+2077*f11*f8+34858*f11*f14+45603*f13^2+17866*f13*f0+5783*f13*f1+61870*f13*f2+22002*f13*f3+5783*f13*f4+15217*f13*f5+22002*f13*f6+51402*f13*f7+44036*f13*f8+6300*f13*f14+34649*f0^2+49562*f0*f1+51543*f0*f2+23883*f0*f3+49562*f0*f4+47581*f0*f5+23883*f0*f6+15737*f0*f7+27771*f0*f8+35695*f0*f14+9976*f1^2+49503*f1*f2+32731*f1*f3+19952*f1*f4+55922*f1*f5+32731*f1*f6+34121*f1*f7+22496*f1*f8+9658*f1*f14+47581*f21*f5+23883*f21*f6+15737*f21*f7+27771*f21*f8+35695*f21*f14+49780*f22^2+48694*f22*f23+5499*f22*f9+3162*f22*f10+42920*f22*f11+45587*f22*f13+51691*f22*f0+57135*f22*f1+8716*f22*f2+11273*f22*f3+57135*f22*f4+40033*f22*f5+11273*f22*f6+3162*f22*f7+55*f22*f8+2942*f22*f14+54515*f23^2+2883*f23*f9+1765*f23*f10+18570*f23*f11+33051*f23*f13+5832*f23*f0+17408*f23*f1+61476*f23*f2+27822*f23*f3+17408*f23*f4+38861*f23*f5+27822*f23*f6+1765*f23*f7+56828*f23*f8+36537*f23*f14+49391*f9^2+19340*f9*f10+55177*f9*f11+31953*f9*f13+8035*f9*f0+58407*f9*f1+35490*f9*f2+46488*f9*f3+58407*f9*f4+15803*f9*f5+46488*f9*f6+19340*f9*f7+48410*f9*f8+22263*f9*f14+8420*f10^2+43166*f10*f11+51402*f10*f13+15737*f10*f0+34121*f10*f1+37136*f10*f2+43460*f10*f3+34121*f10*f4+31106*f10*f5+43460*f10*f6+16840*f10*f7+956*f10*f8+13016*f10*f14+45070*f17*f13+37*f17*f0+1908*f17*f1+40161*f17*f2+20062*f17*f3+1908*f17*f4+29176*f17*f5+20062*f17*f6+24267*f17*f7+39772*f17*f8+61742*f17*f14+31250*f18^2+45917*f18*f19+170*f18*f20+53450*f18*f21+45917*f18*f22+46414*f18*f23+60329*f18*f9+57138*f18*f10+55464*f18*f11+27817*f18*f13+53450*f18*f0+9717*f18*f1+24966*f18*f2+51279*f18*f3+9717*f18*f4+59989*f18*f5+51279*f18*f6+57138*f18*f7+38541*f18*f8+34016*f18*f14+49780*f19^2+48254*f19*f20+51691*f19*f21+34039*f19*f22+48694*f19*f23+5499*f19*f9+3162*f19*f10+42920*f19*f11+45587*f19*f13+51691*f19*f0+57135*f19*f1+8716*f19*f2+11273*f19*f3+57135*f19*f4+40033*f19*f5+11273*f19*f6+3162*f19*f7+55*f19*f8+2942*f19*f14+7391*f20^2+45748*f20*f21+48254*f20*f22+47532*f20*f23+8729*f20*f9+59638*f20*f10+1954*f20*f11+8368*f20*f13+45748*f20*f0+34003*f20*f1+23320*f20*f2+54307*f20*f3+34003*f20*f4+44686*f20*f5+54307*f20*f6+59638*f20*f7+20474*f20*f8+43263*f20*f14+34649*f21^2+51691*f21*f22+5832*f21*f23+8035*f21*f9+15737*f21*f10+55505*f21*f11+17866*f21*f13+3777*f21*f0+49562*f21*f1+51543*f21*f2+23883*f21*f3+49562*f21*f4+49391*f12^2+59101*f12*f15+31953*f12*f16+41643*f12*f17+60329*f12*f18+5499*f12*f19+8729*f12*f20+8035*f12*f21+5499*f12*f22+2883*f12*f23+33261*f12*f9+19340*f12*f10+55177*f12*f11+31953*f12*f13+8035*f12*f0+58407*f12*f1+35490*f12*f2+46488*f12*f3+58407*f12*f4+15803*f12*f5+46488*f12*f6+19340*f12*f7+48410*f12*f8+22263*f12*f14+56230*f15^2+61806*f15*f16+40865*f15*f17+21958*f15*f18+53698*f15*f19+3037*f15*f20+26012*f15*f21+53698*f15*f22+59108*f15*f23+59101*f15*f9+12501*f15*f10+55054*f15*f11+61806*f15*f13+26012*f15*f0+4393*f15*f1+21280*f15*f2+63155*f15*f3+4393*f15*f4+53027*f15*f5+63155*f15*f6+12501*f15*f7+15199*f15*f8+17226*f15*f14+45603*f16^2+45070*f16*f17+27817*f16*f18+45587*f16*f19+8368*f16*f20+17866*f16*f21+45587*f16*f22+33051*f16*f23+31953*f16*f9+51402*f16*f10+43002*f16*f11+25685*f16*f13+17866*f16*f0+5783*f16*f1+61870*f16*f2+22002*f16*f3+5783*f16*f4+15217*f16*f5+22002*f16*f6+51402*f16*f7+44036*f16*f8+6300*f16*f14+14199*f17^2+21618*f17*f18+22711*f17*f19+38994*f17*f20+37*f17*f21+22711*f17*f22+29565*f17*f23+41643*f17*f9+24267*f17*f10+51146*f17*f11+51802*f0+62859*f1+63678*f2+5938*f3+62859*f4+62040*f5+5938*f6+10442*f7+53850*f8+64907*f9+10442*f10+65316*f11+49755*f13+57126*f14+45251*f15+49755*f16+42384*f17+45250*f18+36651*f19+34194*f20+51802*f21+36651*f22+6347*f23, 65316*f12+61497*f6^2+3395*f6*f7+31106*f6*f8+15217*f6*f14+9546*f7^2+43460*f7*f8+22002*f7*f14+8420*f8^2+51402*f8*f14+45603*f14^2+9976*f2^2+49503*f2*f3+32731*f2*f4+19952*f2*f5+55922*f2*f6+32731*f2*f7+34121*f2*f8+5783*f2*f14+55078*f3^2+62067*f3*f4+49503*f3*f5+54371*f3*f6+62067*f3*f7+37136*f3*f8+61870*f3*f14+9546*f4^2+32731*f4*f5+3395*f4*f6+19092*f4*f7+43460*f4*f8+22002*f4*f14+9976*f5^2+55922*f5*f6+32731*f5*f7+34121*f5*f8+5783*f5*f14+8420*f11^2+19340*f11*f13+1765*f11*f0+15737*f11*f1+34121*f11*f2+37136*f11*f3+43460*f11*f4+34121*f11*f5+31106*f11*f6+43460*f11*f7+16840*f11*f8+51402*f11*f14+49391*f13^2+2883*f13*f0+8035*f13*f1+58407*f13*f2+35490*f13*f3+46488*f13*f4+58407*f13*f5+15803*f13*f6+46488*f13*f7+19340*f13*f8+31953*f13*f14+54515*f0^2+5832*f0*f1+17408*f0*f2+61476*f0*f3+27822*f0*f4+17408*f0*f5+38861*f0*f6+27822*f0*f7+1765*f0*f8+33051*f0*f14+34649*f1^2+49562*f1*f2+51543*f1*f3+23883*f1*f4+49562*f1*f5+47581*f1*f6+23883*f1*f7+15737*f1*f8+17866*f1*f14+34003*f21*f5+44686*f21*f6+54307*f21*f7+59638*f21*f8+8368*f21*f14+34649*f22^2+51691*f22*f23+27771*f22*f9+8035*f22*f10+15737*f22*f11+8035*f22*f13+5832*f22*f0+3777*f22*f1+49562*f22*f2+51543*f22*f3+23883*f22*f4+49562*f22*f5+47581*f22*f6+23883*f22*f7+15737*f22*f8+17866*f22*f14+49780*f23^2+55*f23*f9+5499*f23*f10+3162*f23*f11+5499*f23*f13+48694*f23*f0+51691*f23*f1+57135*f23*f2+8716*f23*f3+11273*f23*f4+57135*f23*f5+40033*f23*f6+11273*f23*f7+3162*f23*f8+45587*f23*f14+59603*f9^2+48410*f9*f10+956*f9*f11+48410*f9*f13+56828*f9*f0+27771*f9*f1+22496*f9*f2+37530*f9*f3+37640*f9*f4+22496*f9*f5+7462*f9*f6+37640*f9*f7+956*f9*f8+44036*f9*f14+49391*f10^2+19340*f10*f11+33261*f10*f13+2883*f10*f0+8035*f10*f1+58407*f10*f2+35490*f10*f3+46488*f10*f4+58407*f10*f5+15803*f10*f6+46488*f10*f7+19340*f10*f8+31953*f10*f14+31953*f17*f13+33051*f17*f0+17866*f17*f1+5783*f17*f2+61870*f17*f3+22002*f17*f4+5783*f17*f5+15217*f17*f6+22002*f17*f7+51402*f17*f8+25685*f17*f14+14199*f18^2+21618*f18*f19+22711*f18*f20+38994*f18*f21+37*f18*f22+22711*f18*f23+39772*f18*f9+41643*f18*f10+24267*f18*f11+41643*f18*f13+29565*f18*f0+37*f18*f1+1908*f18*f2+40161*f18*f3+20062*f18*f4+1908*f18*f5+29176*f18*f6+20062*f18*f7+24267*f18*f8+45070*f18*f14+31250*f19^2+45917*f19*f20+170*f19*f21+53450*f19*f22+45917*f19*f23+38541*f19*f9+60329*f19*f10+57138*f19*f11+60329*f19*f13+46414*f19*f0+53450*f19*f1+9717*f19*f2+24966*f19*f3+51279*f19*f4+9717*f19*f5+59989*f19*f6+51279*f19*f7+57138*f19*f8+27817*f19*f14+49780*f20^2+48254*f20*f21+51691*f20*f22+34039*f20*f23+55*f20*f9+5499*f20*f10+3162*f20*f11+5499*f20*f13+48694*f20*f0+51691*f20*f1+57135*f20*f2+8716*f20*f3+11273*f20*f4+57135*f20*f5+40033*f20*f6+11273*f20*f7+3162*f20*f8+45587*f20*f14+7391*f21^2+45748*f21*f22+48254*f21*f23+20474*f21*f9+8729*f21*f10+59638*f21*f11+8729*f21*f13+47532*f21*f0+45748*f21*f1+34003*f21*f2+23320*f21*f3+54307*f21*f4+42025*f12^2+34858*f12*f15+55054*f12*f16+43002*f12*f17+51146*f12*f18+55464*f12*f19+42920*f12*f20+1954*f12*f21+55505*f12*f22+42920*f12*f23+2077*f12*f9+55177*f12*f10+43166*f12*f11+55177*f12*f13+18570*f12*f0+55505*f12*f1+43084*f12*f2+34899*f12*f3+55218*f12*f4+43084*f12*f5+51269*f12*f6+55218*f12*f7+43166*f12*f8+43002*f12*f14+40950*f15^2+17226*f15*f16+6300*f15*f17+61742*f15*f18+34016*f15*f19+2942*f15*f20+43263*f15*f21+35695*f15*f22+2942*f15*f23+48300*f15*f9+22263*f15*f10+13016*f15*f11+22263*f15*f13+36537*f15*f0+35695*f15*f1+9658*f15*f2+18058*f15*f3+23942*f15*f4+9658*f15*f5+1258*f15*f6+23942*f15*f7+13016*f15*f8+6300*f15*f14+56230*f16^2+61806*f16*f17+40865*f16*f18+21958*f16*f19+53698*f16*f20+3037*f16*f21+26012*f16*f22+53698*f16*f23+15199*f16*f9+59101*f16*f10+12501*f16*f11+59101*f16*f13+59108*f16*f0+26012*f16*f1+4393*f16*f2+21280*f16*f3+63155*f16*f4+4393*f16*f5+53027*f16*f6+63155*f16*f7+12501*f16*f8+61806*f16*f14+45603*f17^2+45070*f17*f18+27817*f17*f19+45587*f17*f20+8368*f17*f21+17866*f17*f22+45587*f17*f23+44036*f17*f9+31953*f17*f10+51402*f17*f11+6347*f0+51802*f1+62859*f2+63678*f3+5938*f4+62859*f5+62040*f6+5938*f7+10442*f8+53850*f9+64907*f10+10442*f11+64907*f13+49755*f14+57126*f15+45251*f16+49755*f17+42384*f18+45250*f19+36651*f20+34194*f21+51802*f22+36651*f23, 10442*f12+9976*f6^2+55922*f6*f7+32731*f6*f8+58407*f6*f14+61497*f7^2+3395*f7*f8+15803*f7*f14+9546*f8^2+46488*f8*f14+49391*f14^2+34649*f2^2+49562*f2*f3+51543*f2*f4+23883*f2*f5+49562*f2*f6+47581*f2*f7+23883*f2*f8+8035*f2*f14+9976*f3^2+49503*f3*f4+32731*f3*f5+19952*f3*f6+55922*f3*f7+32731*f3*f8+58407*f3*f14+55078*f4^2+62067*f4*f5+49503*f4*f6+54371*f4*f7+62067*f4*f8+35490*f4*f14+9546*f5^2+32731*f5*f6+3395*f5*f7+19092*f5*f8+46488*f5*f14+49391*f11^2+55177*f11*f13+5499*f11*f0+2883*f11*f1+8035*f11*f2+58407*f11*f3+35490*f11*f4+46488*f11*f5+58407*f11*f6+15803*f11*f7+46488*f11*f8+33261*f11*f14+42025*f13^2+42920*f13*f0+18570*f13*f1+55505*f13*f2+43084*f13*f3+34899*f13*f4+55218*f13*f5+43084*f13*f6+51269*f13*f7+55218*f13*f8+55177*f13*f14+49780*f0^2+48694*f0*f1+51691*f0*f2+57135*f0*f3+8716*f0*f4+11273*f0*f5+57135*f0*f6+40033*f0*f7+11273*f0*f8+5499*f0*f14+54515*f1^2+5832*f1*f2+17408*f1*f3+61476*f1*f4+27822*f1*f5+17408*f1*f6+38861*f1*f7+27822*f1*f8+2883*f1*f14+11273*f21*f5+57135*f21*f6+40033*f21*f7+11273*f21*f8+5499*f21*f14+7391*f22^2+45748*f22*f23+59638*f22*f9+20474*f22*f10+8729*f22*f11+1954*f22*f13+48254*f22*f0+47532*f22*f1+45748*f22*f2+34003*f22*f3+23320*f22*f4+54307*f22*f5+34003*f22*f6+44686*f22*f7+54307*f22*f8+8729*f22*f14+34649*f23^2+15737*f23*f9+27771*f23*f10+8035*f23*f11+55505*f23*f13+51691*f23*f0+5832*f23*f1+3777*f23*f2+49562*f23*f3+51543*f23*f4+23883*f23*f5+49562*f23*f6+47581*f23*f7+23883*f23*f8+8035*f23*f14+8420*f9^2+956*f9*f10+19340*f9*f11+43166*f9*f13+3162*f9*f0+1765*f9*f1+15737*f9*f2+34121*f9*f3+37136*f9*f4+43460*f9*f5+34121*f9*f6+31106*f9*f7+43460*f9*f8+19340*f9*f14+59603*f10^2+48410*f10*f11+2077*f10*f13+55*f10*f0+56828*f10*f1+27771*f10*f2+22496*f10*f3+37530*f10*f4+37640*f10*f5+22496*f10*f6+7462*f10*f7+37640*f10*f8+48410*f10*f14+55054*f17*f13+53698*f17*f0+59108*f17*f1+26012*f17*f2+4393*f17*f3+21280*f17*f4+63155*f17*f5+4393*f17*f6+53027*f17*f7+63155*f17*f8+59101*f17*f14+45603*f18^2+45070*f18*f19+27817*f18*f20+45587*f18*f21+8368*f18*f22+17866*f18*f23+51402*f18*f9+44036*f18*f10+31953*f18*f11+43002*f18*f13+45587*f18*f0+33051*f18*f1+17866*f18*f2+5783*f18*f3+61870*f18*f4+22002*f18*f5+5783*f18*f6+15217*f18*f7+22002*f18*f8+31953*f18*f14+14199*f19^2+21618*f19*f20+22711*f19*f21+38994*f19*f22+37*f19*f23+24267*f19*f9+39772*f19*f10+41643*f19*f11+51146*f19*f13+22711*f19*f0+29565*f19*f1+37*f19*f2+1908*f19*f3+40161*f19*f4+20062*f19*f5+1908*f19*f6+29176*f19*f7+20062*f19*f8+41643*f19*f14+31250*f20^2+45917*f20*f21+170*f20*f22+53450*f20*f23+57138*f20*f9+38541*f20*f10+60329*f20*f11+55464*f20*f13+45917*f20*f0+46414*f20*f1+53450*f20*f2+9717*f20*f3+24966*f20*f4+51279*f20*f5+9717*f20*f6+59989*f20*f7+51279*f20*f8+60329*f20*f14+49780*f21^2+48254*f21*f22+51691*f21*f23+3162*f21*f9+55*f21*f10+5499*f21*f11+42920*f21*f13+34039*f21*f0+48694*f21*f1+51691*f21*f2+57135*f21*f3+8716*f21*f4+8420*f12^2+51402*f12*f15+13016*f12*f16+12501*f12*f17+51402*f12*f18+24267*f12*f19+57138*f12*f20+3162*f12*f21+59638*f12*f22+15737*f12*f23+16840*f12*f9+956*f12*f10+19340*f12*f11+43166*f12*f13+3162*f12*f0+1765*f12*f1+15737*f12*f2+34121*f12*f3+37136*f12*f4+43460*f12*f5+34121*f12*f6+31106*f12*f7+43460*f12*f8+19340*f12*f14+45603*f15^2+6300*f15*f16+61806*f15*f17+25685*f15*f18+45070*f15*f19+27817*f15*f20+45587*f15*f21+8368*f15*f22+17866*f15*f23+51402*f15*f9+44036*f15*f10+31953*f15*f11+43002*f15*f13+45587*f15*f0+33051*f15*f1+17866*f15*f2+5783*f15*f3+61870*f15*f4+22002*f15*f5+5783*f15*f6+15217*f15*f7+22002*f15*f8+31953*f15*f14+40950*f16^2+17226*f16*f17+6300*f16*f18+61742*f16*f19+34016*f16*f20+2942*f16*f21+43263*f16*f22+35695*f16*f23+13016*f16*f9+48300*f16*f10+22263*f16*f11+34858*f16*f13+2942*f16*f0+36537*f16*f1+35695*f16*f2+9658*f16*f3+18058*f16*f4+23942*f16*f5+9658*f16*f6+1258*f16*f7+23942*f16*f8+22263*f16*f14+56230*f17^2+61806*f17*f18+40865*f17*f19+21958*f17*f20+53698*f17*f21+3037*f17*f22+26012*f17*f23+12501*f17*f9+15199*f17*f10+59101*f17*f11+36651*f0+6347*f1+51802*f2+62859*f3+63678*f4+5938*f5+62859*f6+62040*f7+5938*f8+10442*f9+53850*f10+64907*f11+65316*f13+64907*f14+49755*f15+57126*f16+45251*f17+49755*f18+42384*f19+45250*f20+36651*f21+34194*f22+51802*f23, 64907*f12+9546*f6^2+32731*f6*f7+3395*f6*f8+55218*f6*f14+9976*f7^2+55922*f7*f8+43084*f7*f14+61497*f8^2+51269*f8*f14+42025*f14^2+54515*f2^2+5832*f2*f3+17408*f2*f4+61476*f2*f5+27822*f2*f6+17408*f2*f7+38861*f2*f8+18570*f2*f14+34649*f3^2+49562*f3*f4+51543*f3*f5+23883*f3*f6+49562*f3*f7+47581*f3*f8+55505*f3*f14+9976*f4^2+49503*f4*f5+32731*f4*f6+19952*f4*f7+55922*f4*f8+43084*f4*f14+55078*f5^2+62067*f5*f6+49503*f5*f7+54371*f5*f8+34899*f5*f14+59603*f11^2+956*f11*f13+27771*f11*f0+55*f11*f1+56828*f11*f2+27771*f11*f3+22496*f11*f4+37530*f11*f5+37640*f11*f6+22496*f11*f7+7462*f11*f8+2077*f11*f14+8420*f13^2+15737*f13*f0+3162*f13*f1+1765*f13*f2+15737*f13*f3+34121*f13*f4+37136*f13*f5+43460*f13*f6+34121*f13*f7+31106*f13*f8+43166*f13*f14+34649*f0^2+51691*f0*f1+5832*f0*f2+3777*f0*f3+49562*f0*f4+51543*f0*f5+23883*f0*f6+49562*f0*f7+47581*f0*f8+55505*f0*f14+49780*f1^2+48694*f1*f2+51691*f1*f3+57135*f1*f4+8716*f1*f5+11273*f1*f6+57135*f1*f7+40033*f1*f8+42920*f1*f14+24966*f21*f5+51279*f21*f6+9717*f21*f7+59989*f21*f8+55464*f21*f14+49780*f22^2+48254*f22*f23+11273*f22*f9+3162*f22*f10+55*f22*f11+3162*f22*f13+51691*f22*f0+34039*f22*f1+48694*f22*f2+51691*f22*f3+57135*f22*f4+8716*f22*f5+11273*f22*f6+57135*f22*f7+40033*f22*f8+42920*f22*f14+7391*f23^2+54307*f23*f9+59638*f23*f10+20474*f23*f11+59638*f23*f13+45748*f23*f0+48254*f23*f1+47532*f23*f2+45748*f23*f3+34003*f23*f4+23320*f23*f5+54307*f23*f6+34003*f23*f7+44686*f23*f8+1954*f23*f14+9546*f9^2+43460*f9*f10+37640*f9*f11+43460*f9*f13+23883*f9*f0+11273*f9*f1+27822*f9*f2+23883*f9*f3+32731*f9*f4+62067*f9*f5+19092*f9*f6+32731*f9*f7+3395*f9*f8+55218*f9*f14+8420*f10^2+956*f10*f11+16840*f10*f13+15737*f10*f0+3162*f10*f1+1765*f10*f2+15737*f10*f3+34121*f10*f4+37136*f10*f5+43460*f10*f6+34121*f10*f7+31106*f10*f8+43166*f10*f14+13016*f17*f13+35695*f17*f0+2942*f17*f1+36537*f17*f2+35695*f17*f3+9658*f17*f4+18058*f17*f5+23942*f17*f6+9658*f17*f7+1258*f17*f8+34858*f17*f14+56230*f18^2+61806*f18*f19+40865*f18*f20+21958*f18*f21+53698*f18*f22+3037*f18*f23+63155*f18*f9+12501*f18*f10+15199*f18*f11+12501*f18*f13+26012*f18*f0+53698*f18*f1+59108*f18*f2+26012*f18*f3+4393*f18*f4+21280*f18*f5+63155*f18*f6+4393*f18*f7+53027*f18*f8+55054*f18*f14+45603*f19^2+45070*f19*f20+27817*f19*f21+45587*f19*f22+8368*f19*f23+22002*f19*f9+51402*f19*f10+44036*f19*f11+51402*f19*f13+17866*f19*f0+45587*f19*f1+33051*f19*f2+17866*f19*f3+5783*f19*f4+61870*f19*f5+22002*f19*f6+5783*f19*f7+15217*f19*f8+43002*f19*f14+14199*f20^2+21618*f20*f21+22711*f20*f22+38994*f20*f23+20062*f20*f9+24267*f20*f10+39772*f20*f11+24267*f20*f13+37*f20*f0+22711*f20*f1+29565*f20*f2+37*f20*f3+1908*f20*f4+40161*f20*f5+20062*f20*f6+1908*f20*f7+29176*f20*f8+51146*f20*f14+31250*f21^2+45917*f21*f22+170*f21*f23+51279*f21*f9+57138*f21*f10+38541*f21*f11+57138*f21*f13+53450*f21*f0+45917*f21*f1+46414*f21*f2+53450*f21*f3+9717*f21*f4+49391*f12^2+33261*f12*f15+31953*f12*f16+22263*f12*f17+59101*f12*f18+31953*f12*f19+41643*f12*f20+60329*f12*f21+5499*f12*f22+8729*f12*f23+46488*f12*f9+19340*f12*f10+48410*f12*f11+19340*f12*f13+8035*f12*f0+5499*f12*f1+2883*f12*f2+8035*f12*f3+58407*f12*f4+35490*f12*f5+46488*f12*f6+58407*f12*f7+15803*f12*f8+55177*f12*f14+49391*f15^2+31953*f15*f16+22263*f15*f17+59101*f15*f18+31953*f15*f19+41643*f15*f20+60329*f15*f21+5499*f15*f22+8729*f15*f23+46488*f15*f9+19340*f15*f10+48410*f15*f11+19340*f15*f13+8035*f15*f0+5499*f15*f1+2883*f15*f2+8035*f15*f3+58407*f15*f4+35490*f15*f5+46488*f15*f6+58407*f15*f7+15803*f15*f8+55177*f15*f14+45603*f16^2+6300*f16*f17+61806*f16*f18+25685*f16*f19+45070*f16*f20+27817*f16*f21+45587*f16*f22+8368*f16*f23+22002*f16*f9+51402*f16*f10+44036*f16*f11+51402*f16*f13+17866*f16*f0+45587*f16*f1+33051*f16*f2+17866*f16*f3+5783*f16*f4+61870*f16*f5+22002*f16*f6+5783*f16*f7+15217*f16*f8+43002*f16*f14+40950*f17^2+17226*f17*f18+6300*f17*f19+61742*f17*f20+34016*f17*f21+2942*f17*f22+43263*f17*f23+23942*f17*f9+13016*f17*f10+48300*f17*f11+51802*f0+36651*f1+6347*f2+51802*f3+62859*f4+63678*f5+5938*f6+62859*f7+62040*f8+5938*f9+10442*f10+53850*f11+10442*f13+65316*f14+64907*f15+49755*f16+57126*f17+45251*f18+49755*f19+42384*f20+45250*f21+36651*f22+34194*f23, 53850*f12+55078*f6^2+62067*f6*f7+49503*f6*f8+37136*f6*f14+9546*f7^2+32731*f7*f8+43460*f7*f14+9976*f8^2+34121*f8*f14+8420*f14^2+49780*f2^2+48694*f2*f3+51691*f2*f4+57135*f2*f5+8716*f2*f6+11273*f2*f7+57135*f2*f8+3162*f2*f14+54515*f3^2+5832*f3*f4+17408*f3*f5+61476*f3*f6+27822*f3*f7+17408*f3*f8+1765*f3*f14+34649*f4^2+49562*f4*f5+51543*f4*f6+23883*f4*f7+49562*f4*f8+15737*f4*f14+9976*f5^2+49503*f5*f6+32731*f5*f7+19952*f5*f8+34121*f5*f14+8420*f11^2+19340*f11*f13+59638*f11*f0+15737*f11*f1+3162*f11*f2+1765*f11*f3+15737*f11*f4+34121*f11*f5+37136*f11*f6+43460*f11*f7+34121*f11*f8+16840*f11*f14+49391*f13^2+8729*f13*f0+8035*f13*f1+5499*f13*f2+2883*f13*f3+8035*f13*f4+58407*f13*f5+35490*f13*f6+46488*f13*f7+58407*f13*f8+19340*f13*f14+7391*f0^2+45748*f0*f1+48254*f0*f2+47532*f0*f3+45748*f0*f4+34003*f0*f5+23320*f0*f6+54307*f0*f7+34003*f0*f8+59638*f0*f14+34649*f1^2+51691*f1*f2+5832*f1*f3+3777*f1*f4+49562*f1*f5+51543*f1*f6+23883*f1*f7+49562*f1*f8+15737*f1*f14+1908*f21*f5+40161*f21*f6+20062*f21*f7+1908*f21*f8+24267*f21*f14+31250*f22^2+45917*f22*f23+59989*f22*f9+51279*f22*f10+57138*f22*f11+60329*f22*f13+170*f22*f0+53450*f22*f1+45917*f22*f2+46414*f22*f3+53450*f22*f4+9717*f22*f5+24966*f22*f6+51279*f22*f7+9717*f22*f8+57138*f22*f14+49780*f23^2+40033*f23*f9+11273*f23*f10+3162*f23*f11+5499*f23*f13+48254*f23*f0+51691*f23*f1+34039*f23*f2+48694*f23*f3+51691*f23*f4+57135*f23*f5+8716*f23*f6+11273*f23*f7+57135*f23*f8+3162*f23*f14+61497*f9^2+3395*f9*f10+31106*f9*f11+15803*f9*f13+44686*f9*f0+47581*f9*f1+40033*f9*f2+38861*f9*f3+47581*f9*f4+55922*f9*f5+54371*f9*f6+3395*f9*f7+55922*f9*f8+31106*f9*f14+9546*f10^2+43460*f10*f11+46488*f10*f13+54307*f10*f0+23883*f10*f1+11273*f10*f2+27822*f10*f3+23883*f10*f4+32731*f10*f5+62067*f10*f6+19092*f10*f7+32731*f10*f8+43460*f10*f14+31953*f17*f13+8368*f17*f0+17866*f17*f1+45587*f17*f2+33051*f17*f3+17866*f17*f4+5783*f17*f5+61870*f17*f6+22002*f17*f7+5783*f17*f8+51402*f17*f14+40950*f18^2+17226*f18*f19+6300*f18*f20+61742*f18*f21+34016*f18*f22+2942*f18*f23+1258*f18*f9+23942*f18*f10+13016*f18*f11+22263*f18*f13+43263*f18*f0+35695*f18*f1+2942*f18*f2+36537*f18*f3+35695*f18*f4+9658*f18*f5+18058*f18*f6+23942*f18*f7+9658*f18*f8+13016*f18*f14+56230*f19^2+61806*f19*f20+40865*f19*f21+21958*f19*f22+53698*f19*f23+53027*f19*f9+63155*f19*f10+12501*f19*f11+59101*f19*f13+3037*f19*f0+26012*f19*f1+53698*f19*f2+59108*f19*f3+26012*f19*f4+4393*f19*f5+21280*f19*f6+63155*f19*f7+4393*f19*f8+12501*f19*f14+45603*f20^2+45070*f20*f21+27817*f20*f22+45587*f20*f23+15217*f20*f9+22002*f20*f10+51402*f20*f11+31953*f20*f13+8368*f20*f0+17866*f20*f1+45587*f20*f2+33051*f20*f3+17866*f20*f4+5783*f20*f5+61870*f20*f6+22002*f20*f7+5783*f20*f8+51402*f20*f14+14199*f21^2+21618*f21*f22+22711*f21*f23+29176*f21*f9+20062*f21*f10+24267*f21*f11+41643*f21*f13+38994*f21*f0+37*f21*f1+22711*f21*f2+29565*f21*f3+37*f21*f4+59603*f12^2+2077*f12*f15+48410*f12*f16+44036*f12*f17+48300*f12*f18+15199*f12*f19+44036*f12*f20+39772*f12*f21+38541*f12*f22+55*f12*f23+7462*f12*f9+37640*f12*f10+956*f12*f11+48410*f12*f13+20474*f12*f0+27771*f12*f1+55*f12*f2+56828*f12*f3+27771*f12*f4+22496*f12*f5+37530*f12*f6+37640*f12*f7+22496*f12*f8+956*f12*f14+42025*f15^2+55177*f15*f16+43002*f15*f17+34858*f15*f18+55054*f15*f19+43002*f15*f20+51146*f15*f21+55464*f15*f22+42920*f15*f23+51269*f15*f9+55218*f15*f10+43166*f15*f11+55177*f15*f13+1954*f15*f0+55505*f15*f1+42920*f15*f2+18570*f15*f3+55505*f15*f4+43084*f15*f5+34899*f15*f6+55218*f15*f7+43084*f15*f8+43166*f15*f14+49391*f16^2+31953*f16*f17+22263*f16*f18+59101*f16*f19+31953*f16*f20+41643*f16*f21+60329*f16*f22+5499*f16*f23+15803*f16*f9+46488*f16*f10+19340*f16*f11+33261*f16*f13+8729*f16*f0+8035*f16*f1+5499*f16*f2+2883*f16*f3+8035*f16*f4+58407*f16*f5+35490*f16*f6+46488*f16*f7+58407*f16*f8+19340*f16*f14+45603*f17^2+6300*f17*f18+61806*f17*f19+25685*f17*f20+45070*f17*f21+27817*f17*f22+45587*f17*f23+15217*f17*f9+22002*f17*f10+51402*f17*f11+34194*f0+51802*f1+36651*f2+6347*f3+51802*f4+62859*f5+63678*f6+5938*f7+62859*f8+62040*f9+5938*f10+10442*f11+64907*f13+10442*f14+65316*f15+64907*f16+49755*f17+57126*f18+45251*f19+49755*f20+42384*f21+45250*f22+36651*f23, 10442*f12+9976*f6^2+49503*f6*f7+32731*f6*f8+58407*f6*f14+55078*f7^2+62067*f7*f8+35490*f7*f14+9546*f8^2+46488*f8*f14+49391*f14^2+34649*f2^2+51691*f2*f3+5832*f2*f4+3777*f2*f5+49562*f2*f6+51543*f2*f7+23883*f2*f8+8035*f2*f14+49780*f3^2+48694*f3*f4+51691*f3*f5+57135*f3*f6+8716*f3*f7+11273*f3*f8+5499*f3*f14+54515*f4^2+5832*f4*f5+17408*f4*f6+61476*f4*f7+27822*f4*f8+2883*f4*f14+34649*f5^2+49562*f5*f6+51543*f5*f7+23883*f5*f8+8035*f5*f14+9546*f11^2+37640*f11*f13+11273*f11*f0+54307*f11*f1+23883*f11*f2+11273*f11*f3+27822*f11*f4+23883*f11*f5+32731*f11*f6+62067*f11*f7+19092*f11*f8+46488*f11*f14+59603*f13^2+55*f13*f0+20474*f13*f1+27771*f13*f2+55*f13*f3+56828*f13*f4+27771*f13*f5+22496*f13*f6+37530*f13*f7+37640*f13*f8+48410*f13*f14+49780*f0^2+48254*f0*f1+51691*f0*f2+34039*f0*f3+48694*f0*f4+51691*f0*f5+57135*f0*f6+8716*f0*f7+11273*f0*f8+5499*f0*f14+7391*f1^2+45748*f1*f2+48254*f1*f3+47532*f1*f4+45748*f1*f5+34003*f1*f6+23320*f1*f7+54307*f1*f8+8729*f1*f14+17866*f21*f5+5783*f21*f6+61870*f21*f7+22002*f21*f8+31953*f21*f14+14199*f22^2+21618*f22*f23+1908*f22*f9+29176*f22*f10+20062*f22*f11+39772*f22*f13+22711*f22*f0+38994*f22*f1+37*f22*f2+22711*f22*f3+29565*f22*f4+37*f22*f5+1908*f22*f6+40161*f22*f7+20062*f22*f8+41643*f22*f14+31250*f23^2+9717*f23*f9+59989*f23*f10+51279*f23*f11+38541*f23*f13+45917*f23*f0+170*f23*f1+53450*f23*f2+45917*f23*f3+46414*f23*f4+53450*f23*f5+9717*f23*f6+24966*f23*f7+51279*f23*f8+60329*f23*f14+9976*f9^2+55922*f9*f10+32731*f9*f11+22496*f9*f13+57135*f9*f0+34003*f9*f1+49562*f9*f2+57135*f9*f3+17408*f9*f4+49562*f9*f5+19952*f9*f6+49503*f9*f7+32731*f9*f8+58407*f9*f14+61497*f10^2+3395*f10*f11+7462*f10*f13+40033*f10*f0+44686*f10*f1+47581*f10*f2+40033*f10*f3+38861*f10*f4+47581*f10*f5+55922*f10*f6+54371*f10*f7+3395*f10*f8+15803*f10*f14+48410*f17*f13+5499*f17*f0+8729*f17*f1+8035*f17*f2+5499*f17*f3+2883*f17*f4+8035*f17*f5+58407*f17*f6+35490*f17*f7+46488*f17*f8+33261*f17*f14+45603*f18^2+6300*f18*f19+61806*f18*f20+25685*f18*f21+45070*f18*f22+27817*f18*f23+5783*f18*f9+15217*f18*f10+22002*f18*f11+44036*f18*f13+45587*f18*f0+8368*f18*f1+17866*f18*f2+45587*f18*f3+33051*f18*f4+17866*f18*f5+5783*f18*f6+61870*f18*f7+22002*f18*f8+31953*f18*f14+40950*f19^2+17226*f19*f20+6300*f19*f21+61742*f19*f22+34016*f19*f23+9658*f19*f9+1258*f19*f10+23942*f19*f11+48300*f19*f13+2942*f19*f0+43263*f19*f1+35695*f19*f2+2942*f19*f3+36537*f19*f4+35695*f19*f5+9658*f19*f6+18058*f19*f7+23942*f19*f8+22263*f19*f14+56230*f20^2+61806*f20*f21+40865*f20*f22+21958*f20*f23+4393*f20*f9+53027*f20*f10+63155*f20*f11+15199*f20*f13+53698*f20*f0+3037*f20*f1+26012*f20*f2+53698*f20*f3+59108*f20*f4+26012*f20*f5+4393*f20*f6+21280*f20*f7+63155*f20*f8+59101*f20*f14+45603*f21^2+45070*f21*f22+27817*f21*f23+5783*f21*f9+15217*f21*f10+22002*f21*f11+44036*f21*f13+45587*f21*f0+8368*f21*f1+17866*f21*f2+45587*f21*f3+33051*f21*f4+8420*f12^2+16840*f12*f15+43166*f12*f16+19340*f12*f17+51402*f12*f18+13016*f12*f19+12501*f12*f20+51402*f12*f21+24267*f12*f22+57138*f12*f23+34121*f12*f9+31106*f12*f10+43460*f12*f11+956*f12*f13+3162*f12*f0+59638*f12*f1+15737*f12*f2+3162*f12*f3+1765*f12*f4+15737*f12*f5+34121*f12*f6+37136*f12*f7+43460*f12*f8+19340*f12*f14+8420*f15^2+43166*f15*f16+19340*f15*f17+51402*f15*f18+13016*f15*f19+12501*f15*f20+51402*f15*f21+24267*f15*f22+57138*f15*f23+34121*f15*f9+31106*f15*f10+43460*f15*f11+956*f15*f13+3162*f15*f0+59638*f15*f1+15737*f15*f2+3162*f15*f3+1765*f15*f4+15737*f15*f5+34121*f15*f6+37136*f15*f7+43460*f15*f8+19340*f15*f14+42025*f16^2+55177*f16*f17+43002*f16*f18+34858*f16*f19+55054*f16*f20+43002*f16*f21+51146*f16*f22+55464*f16*f23+43084*f16*f9+51269*f16*f10+55218*f16*f11+2077*f16*f13+42920*f16*f0+1954*f16*f1+55505*f16*f2+42920*f16*f3+18570*f16*f4+55505*f16*f5+43084*f16*f6+34899*f16*f7+55218*f16*f8+55177*f16*f14+49391*f17^2+31953*f17*f18+22263*f17*f19+59101*f17*f20+31953*f17*f21+41643*f17*f22+60329*f17*f23+58407*f17*f9+15803*f17*f10+46488*f17*f11+36651*f0+34194*f1+51802*f2+36651*f3+6347*f4+51802*f5+62859*f6+63678*f7+5938*f8+62859*f9+62040*f10+5938*f11+53850*f13+64907*f14+10442*f15+65316*f16+64907*f17+49755*f18+57126*f19+45251*f20+49755*f21+42384*f22+45250*f23, 5938*f12+34649*f6^2+49562*f6*f7+51543*f6*f8+27771*f6*f14+9976*f7^2+49503*f7*f8+22496*f7*f14+55078*f8^2+37530*f8*f14+59603*f14^2+7391*f2^2+45748*f2*f3+48254*f2*f4+47532*f2*f5+45748*f2*f6+34003*f2*f7+23320*f2*f8+20474*f2*f14+34649*f3^2+51691*f3*f4+5832*f3*f5+3777*f3*f6+49562*f3*f7+51543*f3*f8+27771*f3*f14+49780*f4^2+48694*f4*f5+51691*f4*f6+57135*f4*f7+8716*f4*f8+55*f4*f14+54515*f5^2+5832*f5*f6+17408*f5*f7+61476*f5*f8+56828*f5*f14+61497*f11^2+31106*f11*f13+59989*f11*f0+40033*f11*f1+44686*f11*f2+47581*f11*f3+40033*f11*f4+38861*f11*f5+47581*f11*f6+55922*f11*f7+54371*f11*f8+7462*f11*f14+8420*f13^2+57138*f13*f0+3162*f13*f1+59638*f13*f2+15737*f13*f3+3162*f13*f4+1765*f13*f5+15737*f13*f6+34121*f13*f7+37136*f13*f8+956*f13*f14+31250*f0^2+45917*f0*f1+170*f0*f2+53450*f0*f3+45917*f0*f4+46414*f0*f5+53450*f0*f6+9717*f0*f7+24966*f0*f8+38541*f0*f14+49780*f1^2+48254*f1*f2+51691*f1*f3+34039*f1*f4+48694*f1*f5+51691*f1*f6+57135*f1*f7+8716*f1*f8+55*f1*f14+59108*f21*f5+26012*f21*f6+4393*f21*f7+21280*f21*f8+15199*f21*f14+45603*f22^2+45070*f22*f23+22002*f22*f9+5783*f22*f10+15217*f22*f11+51402*f22*f13+27817*f22*f0+45587*f22*f1+8368*f22*f2+17866*f22*f3+45587*f22*f4+33051*f22*f5+17866*f22*f6+5783*f22*f7+61870*f22*f8+44036*f22*f14+14199*f23^2+20062*f23*f9+1908*f23*f10+29176*f23*f11+24267*f23*f13+21618*f23*f0+22711*f23*f1+38994*f23*f2+37*f23*f3+22711*f23*f4+29565*f23*f5+37*f23*f6+1908*f23*f7+40161*f23*f8+39772*f23*f14+9546*f9^2+32731*f9*f10+3395*f9*f11+43460*f9*f13+51279*f9*f0+11273*f9*f1+54307*f9*f2+23883*f9*f3+11273*f9*f4+27822*f9*f5+23883*f9*f6+32731*f9*f7+62067*f9*f8+37640*f9*f14+9976*f10^2+55922*f10*f11+34121*f10*f13+9717*f10*f0+57135*f10*f1+34003*f10*f2+49562*f10*f3+57135*f10*f4+17408*f10*f5+49562*f10*f6+19952*f10*f7+49503*f10*f8+22496*f10*f14+43166*f17*f13+55464*f17*f0+42920*f17*f1+1954*f17*f2+55505*f17*f3+42920*f17*f4+18570*f17*f5+55505*f17*f6+43084*f17*f7+34899*f17*f8+2077*f17*f14+49391*f18^2+31953*f18*f19+22263*f18*f20+59101*f18*f21+31953*f18*f22+41643*f18*f23+46488*f18*f9+58407*f18*f10+15803*f18*f11+19340*f18*f13+60329*f18*f0+5499*f18*f1+8729*f18*f2+8035*f18*f3+5499*f18*f4+2883*f18*f5+8035*f18*f6+58407*f18*f7+35490*f18*f8+48410*f18*f14+45603*f19^2+6300*f19*f20+61806*f19*f21+25685*f19*f22+45070*f19*f23+22002*f19*f9+5783*f19*f10+15217*f19*f11+51402*f19*f13+27817*f19*f0+45587*f19*f1+8368*f19*f2+17866*f19*f3+45587*f19*f4+33051*f19*f5+17866*f19*f6+5783*f19*f7+61870*f19*f8+44036*f19*f14+40950*f20^2+17226*f20*f21+6300*f20*f22+61742*f20*f23+23942*f20*f9+9658*f20*f10+1258*f20*f11+13016*f20*f13+34016*f20*f0+2942*f20*f1+43263*f20*f2+35695*f20*f3+2942*f20*f4+36537*f20*f5+35695*f20*f6+9658*f20*f7+18058*f20*f8+48300*f20*f14+56230*f21^2+61806*f21*f22+40865*f21*f23+63155*f21*f9+4393*f21*f10+53027*f21*f11+12501*f21*f13+21958*f21*f0+53698*f21*f1+3037*f21*f2+26012*f21*f3+53698*f21*f4+9546*f12^2+46488*f12*f15+43460*f12*f16+55218*f12*f17+46488*f12*f18+22002*f12*f19+23942*f12*f20+63155*f12*f21+22002*f12*f22+20062*f12*f23+19092*f12*f9+32731*f12*f10+3395*f12*f11+43460*f12*f13+51279*f12*f0+11273*f12*f1+54307*f12*f2+23883*f12*f3+11273*f12*f4+27822*f12*f5+23883*f12*f6+32731*f12*f7+62067*f12*f8+37640*f12*f14+49391*f15^2+19340*f15*f16+55177*f15*f17+33261*f15*f18+31953*f15*f19+22263*f15*f20+59101*f15*f21+31953*f15*f22+41643*f15*f23+46488*f15*f9+58407*f15*f10+15803*f15*f11+19340*f15*f13+60329*f15*f0+5499*f15*f1+8729*f15*f2+8035*f15*f3+5499*f15*f4+2883*f15*f5+8035*f15*f6+58407*f15*f7+35490*f15*f8+48410*f15*f14+8420*f16^2+43166*f16*f17+19340*f16*f18+51402*f16*f19+13016*f16*f20+12501*f16*f21+51402*f16*f22+24267*f16*f23+43460*f16*f9+34121*f16*f10+31106*f16*f11+16840*f16*f13+57138*f16*f0+3162*f16*f1+59638*f16*f2+15737*f16*f3+3162*f16*f4+1765*f16*f5+15737*f16*f6+34121*f16*f7+37136*f16*f8+956*f16*f14+42025*f17^2+55177*f17*f18+43002*f17*f19+34858*f17*f20+55054*f17*f21+43002*f17*f22+51146*f17*f23+55218*f17*f9+43084*f17*f10+51269*f17*f11+45250*f0+36651*f1+34194*f2+51802*f3+36651*f4+6347*f5+51802*f6+62859*f7+63678*f8+5938*f9+62859*f10+62040*f11+10442*f13+53850*f14+64907*f15+10442*f16+65316*f17+64907*f18+49755*f19+57126*f20+45251*f21+49755*f22+42384*f23, 62040*f12+54515*f6^2+5832*f6*f7+17408*f6*f8+1765*f6*f14+34649*f7^2+49562*f7*f8+15737*f7*f14+9976*f8^2+34121*f8*f14+8420*f14^2+49780*f2^2+48254*f2*f3+51691*f2*f4+34039*f2*f5+48694*f2*f6+51691*f2*f7+57135*f2*f8+3162*f2*f14+7391*f3^2+45748*f3*f4+48254*f3*f5+47532*f3*f6+45748*f3*f7+34003*f3*f8+59638*f3*f14+34649*f4^2+51691*f4*f5+5832*f4*f6+3777*f4*f7+49562*f4*f8+15737*f4*f14+49780*f5^2+48694*f5*f6+51691*f5*f7+57135*f5*f8+3162*f5*f14+9976*f11^2+32731*f11*f13+1908*f11*f0+9717*f11*f1+57135*f11*f2+34003*f11*f3+49562*f11*f4+57135*f11*f5+17408*f11*f6+49562*f11*f7+19952*f11*f8+34121*f11*f14+9546*f13^2+20062*f13*f0+51279*f13*f1+11273*f13*f2+54307*f13*f3+23883*f13*f4+11273*f13*f5+27822*f13*f6+23883*f13*f7+32731*f13*f8+43460*f13*f14+14199*f0^2+21618*f0*f1+22711*f0*f2+38994*f0*f3+37*f0*f4+22711*f0*f5+29565*f0*f6+37*f0*f7+1908*f0*f8+24267*f0*f14+31250*f1^2+45917*f1*f2+170*f1*f3+53450*f1*f4+45917*f1*f5+46414*f1*f6+53450*f1*f7+9717*f1*f8+57138*f1*f14+2942*f21*f5+36537*f21*f6+35695*f21*f7+9658*f21*f8+13016*f21*f14+56230*f22^2+61806*f22*f23+21280*f22*f9+63155*f22*f10+4393*f22*f11+63155*f22*f13+40865*f22*f0+21958*f22*f1+53698*f22*f2+3037*f22*f3+26012*f22*f4+53698*f22*f5+59108*f22*f6+26012*f22*f7+4393*f22*f8+12501*f22*f14+45603*f23^2+61870*f23*f9+22002*f23*f10+5783*f23*f11+22002*f23*f13+45070*f23*f0+27817*f23*f1+45587*f23*f2+8368*f23*f3+17866*f23*f4+45587*f23*f5+33051*f23*f6+17866*f23*f7+5783*f23*f8+51402*f23*f14+55078*f9^2+62067*f9*f10+49503*f9*f11+62067*f9*f13+40161*f9*f0+24966*f9*f1+8716*f9*f2+23320*f9*f3+51543*f9*f4+8716*f9*f5+61476*f9*f6+51543*f9*f7+49503*f9*f8+37136*f9*f14+9546*f10^2+32731*f10*f11+19092*f10*f13+20062*f10*f0+51279*f10*f1+11273*f10*f2+54307*f10*f3+23883*f10*f4+11273*f10*f5+27822*f10*f6+23883*f10*f7+32731*f10*f8+43460*f10*f14+43460*f17*f13+24267*f17*f0+57138*f17*f1+3162*f17*f2+59638*f17*f3+15737*f17*f4+3162*f17*f5+1765*f17*f6+15737*f17*f7+34121*f17*f8+16840*f17*f14+42025*f18^2+55177*f18*f19+43002*f18*f20+34858*f18*f21+55054*f18*f22+43002*f18*f23+34899*f18*f9+55218*f18*f10+43084*f18*f11+55218*f18*f13+51146*f18*f0+55464*f18*f1+42920*f18*f2+1954*f18*f3+55505*f18*f4+42920*f18*f5+18570*f18*f6+55505*f18*f7+43084*f18*f8+43166*f18*f14+49391*f19^2+31953*f19*f20+22263*f19*f21+59101*f19*f22+31953*f19*f23+35490*f19*f9+46488*f19*f10+58407*f19*f11+46488*f19*f13+41643*f19*f0+60329*f19*f1+5499*f19*f2+8729*f19*f3+8035*f19*f4+5499*f19*f5+2883*f19*f6+8035*f19*f7+58407*f19*f8+19340*f19*f14+45603*f20^2+6300*f20*f21+61806*f20*f22+25685*f20*f23+61870*f20*f9+22002*f20*f10+5783*f20*f11+22002*f20*f13+45070*f20*f0+27817*f20*f1+45587*f20*f2+8368*f20*f3+17866*f20*f4+45587*f20*f5+33051*f20*f6+17866*f20*f7+5783*f20*f8+51402*f20*f14+40950*f21^2+17226*f21*f22+6300*f21*f23+18058*f21*f9+23942*f21*f10+9658*f21*f11+23942*f21*f13+61742*f21*f0+34016*f21*f1+2942*f21*f2+43263*f21*f3+35695*f21*f4+61497*f12^2+7462*f12*f15+15803*f12*f16+31106*f12*f17+51269*f12*f18+15803*f12*f19+15217*f12*f20+1258*f12*f21+53027*f12*f22+15217*f12*f23+54371*f12*f9+3395*f12*f10+55922*f12*f11+3395*f12*f13+29176*f12*f0+59989*f12*f1+40033*f12*f2+44686*f12*f3+47581*f12*f4+40033*f12*f5+38861*f12*f6+47581*f12*f7+55922*f12*f8+31106*f12*f14+59603*f15^2+48410*f15*f16+956*f15*f17+2077*f15*f18+48410*f15*f19+44036*f15*f20+48300*f15*f21+15199*f15*f22+44036*f15*f23+37530*f15*f9+37640*f15*f10+22496*f15*f11+37640*f15*f13+39772*f15*f0+38541*f15*f1+55*f15*f2+20474*f15*f3+27771*f15*f4+55*f15*f5+56828*f15*f6+27771*f15*f7+22496*f15*f8+956*f15*f14+49391*f16^2+19340*f16*f17+55177*f16*f18+33261*f16*f19+31953*f16*f20+22263*f16*f21+59101*f16*f22+31953*f16*f23+35490*f16*f9+46488*f16*f10+58407*f16*f11+46488*f16*f13+41643*f16*f0+60329*f16*f1+5499*f16*f2+8729*f16*f3+8035*f16*f4+5499*f16*f5+2883*f16*f6+8035*f16*f7+58407*f16*f8+19340*f16*f14+8420*f17^2+43166*f17*f18+19340*f17*f19+51402*f17*f20+13016*f17*f21+12501*f17*f22+51402*f17*f23+37136*f17*f9+43460*f17*f10+34121*f17*f11+42384*f0+45250*f1+36651*f2+34194*f3+51802*f4+36651*f5+6347*f6+51802*f7+62859*f8+63678*f9+5938*f10+62859*f11+5938*f13+10442*f14+53850*f15+64907*f16+10442*f17+65316*f18+64907*f19+49755*f20+57126*f21+45251*f22+49755*f23, 62859*f12+49780*f6^2+48694*f6*f7+51691*f6*f8+11273*f6*f14+54515*f7^2+5832*f7*f8+27822*f7*f14+34649*f8^2+23883*f8*f14+9546*f14^2+31250*f2^2+45917*f2*f3+170*f2*f4+53450*f2*f5+45917*f2*f6+46414*f2*f7+53450*f2*f8+51279*f2*f14+49780*f3^2+48254*f3*f4+51691*f3*f5+34039*f3*f6+48694*f3*f7+51691*f3*f8+11273*f3*f14+7391*f4^2+45748*f4*f5+48254*f4*f6+47532*f4*f7+45748*f4*f8+54307*f4*f14+34649*f5^2+51691*f5*f6+5832*f5*f7+3777*f5*f8+23883*f5*f14+9546*f11^2+3395*f11*f13+22002*f11*f0+20062*f11*f1+51279*f11*f2+11273*f11*f3+54307*f11*f4+23883*f11*f5+11273*f11*f6+27822*f11*f7+23883*f11*f8+19092*f11*f14+61497*f13^2+15217*f13*f0+29176*f13*f1+59989*f13*f2+40033*f13*f3+44686*f13*f4+47581*f13*f5+40033*f13*f6+38861*f13*f7+47581*f13*f8+3395*f13*f14+45603*f0^2+45070*f0*f1+27817*f0*f2+45587*f0*f3+8368*f0*f4+17866*f0*f5+45587*f0*f6+33051*f0*f7+17866*f0*f8+22002*f0*f14+14199*f1^2+21618*f1*f2+22711*f1*f3+38994*f1*f4+37*f1*f5+22711*f1*f6+29565*f1*f7+37*f1*f8+20062*f1*f14+17866*f21*f5+45587*f21*f6+33051*f21*f7+17866*f21*f8+22002*f21*f14+40950*f22^2+17226*f22*f23+9658*f22*f9+18058*f22*f10+23942*f22*f11+1258*f22*f13+6300*f22*f0+61742*f22*f1+34016*f22*f2+2942*f22*f3+43263*f22*f4+35695*f22*f5+2942*f22*f6+36537*f22*f7+35695*f22*f8+23942*f22*f14+56230*f23^2+4393*f23*f9+21280*f23*f10+63155*f23*f11+53027*f23*f13+61806*f23*f0+40865*f23*f1+21958*f23*f2+53698*f23*f3+3037*f23*f4+26012*f23*f5+53698*f23*f6+59108*f23*f7+26012*f23*f8+63155*f23*f14+9976*f9^2+49503*f9*f10+32731*f9*f11+55922*f9*f13+5783*f9*f0+1908*f9*f1+9717*f9*f2+57135*f9*f3+34003*f9*f4+49562*f9*f5+57135*f9*f6+17408*f9*f7+49562*f9*f8+32731*f9*f14+55078*f10^2+62067*f10*f11+54371*f10*f13+61870*f10*f0+40161*f10*f1+24966*f10*f2+8716*f10*f3+23320*f10*f4+51543*f10*f5+8716*f10*f6+61476*f10*f7+51543*f10*f8+62067*f10*f14+15803*f17*f13+31953*f17*f0+41643*f17*f1+60329*f17*f2+5499*f17*f3+8729*f17*f4+8035*f17*f5+5499*f17*f6+2883*f17*f7+8035*f17*f8+46488*f17*f14+8420*f18^2+43166*f18*f19+19340*f18*f20+51402*f18*f21+13016*f18*f22+12501*f18*f23+34121*f18*f9+37136*f18*f10+43460*f18*f11+31106*f18*f13+51402*f18*f0+24267*f18*f1+57138*f18*f2+3162*f18*f3+59638*f18*f4+15737*f18*f5+3162*f18*f6+1765*f18*f7+15737*f18*f8+43460*f18*f14+42025*f19^2+55177*f19*f20+43002*f19*f21+34858*f19*f22+55054*f19*f23+43084*f19*f9+34899*f19*f10+55218*f19*f11+51269*f19*f13+43002*f19*f0+51146*f19*f1+55464*f19*f2+42920*f19*f3+1954*f19*f4+55505*f19*f5+42920*f19*f6+18570*f19*f7+55505*f19*f8+55218*f19*f14+49391*f20^2+31953*f20*f21+22263*f20*f22+59101*f20*f23+58407*f20*f9+35490*f20*f10+46488*f20*f11+15803*f20*f13+31953*f20*f0+41643*f20*f1+60329*f20*f2+5499*f20*f3+8729*f20*f4+8035*f20*f5+5499*f20*f6+2883*f20*f7+8035*f20*f8+46488*f20*f14+45603*f21^2+6300*f21*f22+61806*f21*f23+5783*f21*f9+61870*f21*f10+22002*f21*f11+15217*f21*f13+25685*f21*f0+45070*f21*f1+27817*f21*f2+45587*f21*f3+8368*f21*f4+9976*f12^2+34121*f12*f15+22496*f12*f16+58407*f12*f17+34121*f12*f18+43084*f12*f19+58407*f12*f20+5783*f12*f21+9658*f12*f22+4393*f12*f23+19952*f12*f9+49503*f12*f10+32731*f12*f11+55922*f12*f13+5783*f12*f0+1908*f12*f1+9717*f12*f2+57135*f12*f3+34003*f12*f4+49562*f12*f5+57135*f12*f6+17408*f12*f7+49562*f12*f8+32731*f12*f14+8420*f15^2+956*f15*f16+19340*f15*f17+16840*f15*f18+43166*f15*f19+19340*f15*f20+51402*f15*f21+13016*f15*f22+12501*f15*f23+34121*f15*f9+37136*f15*f10+43460*f15*f11+31106*f15*f13+51402*f15*f0+24267*f15*f1+57138*f15*f2+3162*f15*f3+59638*f15*f4+15737*f15*f5+3162*f15*f6+1765*f15*f7+15737*f15*f8+43460*f15*f14+59603*f16^2+48410*f16*f17+956*f16*f18+2077*f16*f19+48410*f16*f20+44036*f16*f21+48300*f16*f22+15199*f16*f23+22496*f16*f9+37530*f16*f10+37640*f16*f11+7462*f16*f13+44036*f16*f0+39772*f16*f1+38541*f16*f2+55*f16*f3+20474*f16*f4+27771*f16*f5+55*f16*f6+56828*f16*f7+27771*f16*f8+37640*f16*f14+49391*f17^2+19340*f17*f18+55177*f17*f19+33261*f17*f20+31953*f17*f21+22263*f17*f22+59101*f17*f23+58407*f17*f9+35490*f17*f10+46488*f17*f11+49755*f0+42384*f1+45250*f2+36651*f3+34194*f4+51802*f5+36651*f6+6347*f7+51802*f8+62859*f9+63678*f10+5938*f11+62040*f13+5938*f14+10442*f15+53850*f16+64907*f17+10442*f18+65316*f19+64907*f20+49755*f21+57126*f22+45251*f23, 5938*f12+34649*f6^2+51691*f6*f7+5832*f6*f8+47581*f6*f14+49780*f7^2+48694*f7*f8+40033*f7*f14+54515*f8^2+38861*f8*f14+61497*f14^2+14199*f2^2+21618*f2*f3+22711*f2*f4+38994*f2*f5+37*f2*f6+22711*f2*f7+29565*f2*f8+29176*f2*f14+31250*f3^2+45917*f3*f4+170*f3*f5+53450*f3*f6+45917*f3*f7+46414*f3*f8+59989*f3*f14+49780*f4^2+48254*f4*f5+51691*f4*f6+34039*f4*f7+48694*f4*f8+40033*f4*f14+7391*f5^2+45748*f5*f6+48254*f5*f7+47532*f5*f8+44686*f5*f14+55078*f11^2+49503*f11*f13+21280*f11*f0+61870*f11*f1+40161*f11*f2+24966*f11*f3+8716*f11*f4+23320*f11*f5+51543*f11*f6+8716*f11*f7+61476*f11*f8+54371*f11*f14+9976*f13^2+4393*f13*f0+5783*f13*f1+1908*f13*f2+9717*f13*f3+57135*f13*f4+34003*f13*f5+49562*f13*f6+57135*f13*f7+17408*f13*f8+55922*f13*f14+56230*f0^2+61806*f0*f1+40865*f0*f2+21958*f0*f3+53698*f0*f4+3037*f0*f5+26012*f0*f6+53698*f0*f7+59108*f0*f8+53027*f0*f14+45603*f1^2+45070*f1*f2+27817*f1*f3+45587*f1*f4+8368*f1*f5+17866*f1*f6+45587*f1*f7+33051*f1*f8+15217*f1*f14+8729*f21*f5+8035*f21*f6+5499*f21*f7+2883*f21*f8+15803*f21*f14+45603*f22^2+6300*f22*f23+17866*f22*f9+5783*f22*f10+61870*f22*f11+5783*f22*f13+61806*f22*f0+25685*f22*f1+45070*f22*f2+27817*f22*f3+45587*f22*f4+8368*f22*f5+17866*f22*f6+45587*f22*f7+33051*f22*f8+15217*f22*f14+40950*f23^2+35695*f23*f9+9658*f23*f10+18058*f23*f11+9658*f23*f13+17226*f23*f0+6300*f23*f1+61742*f23*f2+34016*f23*f3+2942*f23*f4+43263*f23*f5+35695*f23*f6+2942*f23*f7+36537*f23*f8+1258*f23*f14+34649*f9^2+49562*f9*f10+51543*f9*f11+49562*f9*f13+26012*f9*f0+17866*f9*f1+37*f9*f2+53450*f9*f3+51691*f9*f4+45748*f9*f5+3777*f9*f6+51691*f9*f7+5832*f9*f8+47581*f9*f14+9976*f10^2+49503*f10*f11+19952*f10*f13+4393*f10*f0+5783*f10*f1+1908*f10*f2+9717*f10*f3+57135*f10*f4+34003*f10*f5+49562*f10*f6+57135*f10*f7+17408*f10*f8+55922*f10*f14+22496*f17*f13+15199*f17*f0+44036*f17*f1+39772*f17*f2+38541*f17*f3+55*f17*f4+20474*f17*f5+27771*f17*f6+55*f17*f7+56828*f17*f8+7462*f17*f14+49391*f18^2+19340*f18*f19+55177*f18*f20+33261*f18*f21+31953*f18*f22+22263*f18*f23+8035*f18*f9+58407*f18*f10+35490*f18*f11+58407*f18*f13+59101*f18*f0+31953*f18*f1+41643*f18*f2+60329*f18*f3+5499*f18*f4+8729*f18*f5+8035*f18*f6+5499*f18*f7+2883*f18*f8+15803*f18*f14+8420*f19^2+43166*f19*f20+19340*f19*f21+51402*f19*f22+13016*f19*f23+15737*f19*f9+34121*f19*f10+37136*f19*f11+34121*f19*f13+12501*f19*f0+51402*f19*f1+24267*f19*f2+57138*f19*f3+3162*f19*f4+59638*f19*f5+15737*f19*f6+3162*f19*f7+1765*f19*f8+31106*f19*f14+42025*f20^2+55177*f20*f21+43002*f20*f22+34858*f20*f23+55505*f20*f9+43084*f20*f10+34899*f20*f11+43084*f20*f13+55054*f20*f0+43002*f20*f1+51146*f20*f2+55464*f20*f3+42920*f20*f4+1954*f20*f5+55505*f20*f6+42920*f20*f7+18570*f20*f8+51269*f20*f14+49391*f21^2+31953*f21*f22+22263*f21*f23+8035*f21*f9+58407*f21*f10+35490*f21*f11+58407*f21*f13+59101*f21*f0+31953*f21*f1+41643*f21*f2+60329*f21*f3+5499*f21*f4+9546*f12^2+19092*f12*f15+43460*f12*f16+37640*f12*f17+46488*f12*f18+43460*f12*f19+55218*f12*f20+46488*f12*f21+22002*f12*f22+23942*f12*f23+23883*f12*f9+32731*f12*f10+62067*f12*f11+32731*f12*f13+63155*f12*f0+22002*f12*f1+20062*f12*f2+51279*f12*f3+11273*f12*f4+54307*f12*f5+23883*f12*f6+11273*f12*f7+27822*f12*f8+3395*f12*f14+9546*f15^2+43460*f15*f16+37640*f15*f17+46488*f15*f18+43460*f15*f19+55218*f15*f20+46488*f15*f21+22002*f15*f22+23942*f15*f23+23883*f15*f9+32731*f15*f10+62067*f15*f11+32731*f15*f13+63155*f15*f0+22002*f15*f1+20062*f15*f2+51279*f15*f3+11273*f15*f4+54307*f15*f5+23883*f15*f6+11273*f15*f7+27822*f15*f8+3395*f15*f14+8420*f16^2+956*f16*f17+19340*f16*f18+16840*f16*f19+43166*f16*f20+19340*f16*f21+51402*f16*f22+13016*f16*f23+15737*f16*f9+34121*f16*f10+37136*f16*f11+34121*f16*f13+12501*f16*f0+51402*f16*f1+24267*f16*f2+57138*f16*f3+3162*f16*f4+59638*f16*f5+15737*f16*f6+3162*f16*f7+1765*f16*f8+31106*f16*f14+59603*f17^2+48410*f17*f18+956*f17*f19+2077*f17*f20+48410*f17*f21+44036*f17*f22+48300*f17*f23+27771*f17*f9+22496*f17*f10+37530*f17*f11+45251*f0+49755*f1+42384*f2+45250*f3+36651*f4+34194*f5+51802*f6+36651*f7+6347*f8+51802*f9+62859*f10+63678*f11+62859*f13+62040*f14+5938*f15+10442*f16+53850*f17+64907*f18+10442*f19+65316*f20+64907*f21+49755*f22+57126*f23, 63678*f12+7391*f6^2+45748*f6*f7+48254*f6*f8+34003*f6*f14+34649*f7^2+51691*f7*f8+49562*f7*f14+49780*f8^2+57135*f8*f14+9976*f14^2+45603*f2^2+45070*f2*f3+27817*f2*f4+45587*f2*f5+8368*f2*f6+17866*f2*f7+45587*f2*f8+5783*f2*f14+14199*f3^2+21618*f3*f4+22711*f3*f5+38994*f3*f6+37*f3*f7+22711*f3*f8+1908*f3*f14+31250*f4^2+45917*f4*f5+170*f4*f6+53450*f4*f7+45917*f4*f8+9717*f4*f14+49780*f5^2+48254*f5*f6+51691*f5*f7+34039*f5*f8+57135*f5*f14+9976*f11^2+32731*f11*f13+9658*f11*f0+4393*f11*f1+5783*f11*f2+1908*f11*f3+9717*f11*f4+57135*f11*f5+34003*f11*f6+49562*f11*f7+57135*f11*f8+19952*f11*f14+9546*f13^2+23942*f13*f0+63155*f13*f1+22002*f13*f2+20062*f13*f3+51279*f13*f4+11273*f13*f5+54307*f13*f6+23883*f13*f7+11273*f13*f8+32731*f13*f14+40950*f0^2+17226*f0*f1+6300*f0*f2+61742*f0*f3+34016*f0*f4+2942*f0*f5+43263*f0*f6+35695*f0*f7+2942*f0*f8+9658*f0*f14+56230*f1^2+61806*f1*f2+40865*f1*f3+21958*f1*f4+53698*f1*f5+3037*f1*f6+26012*f1*f7+53698*f1*f8+4393*f1*f14+42920*f21*f5+1954*f21*f6+55505*f21*f7+42920*f21*f8+43084*f21*f14+49391*f22^2+31953*f22*f23+2883*f22*f9+8035*f22*f10+58407*f22*f11+46488*f22*f13+22263*f22*f0+59101*f22*f1+31953*f22*f2+41643*f22*f3+60329*f22*f4+5499*f22*f5+8729*f22*f6+8035*f22*f7+5499*f22*f8+58407*f22*f14+45603*f23^2+33051*f23*f9+17866*f23*f10+5783*f23*f11+22002*f23*f13+6300*f23*f0+61806*f23*f1+25685*f23*f2+45070*f23*f3+27817*f23*f4+45587*f23*f5+8368*f23*f6+17866*f23*f7+45587*f23*f8+5783*f23*f14+54515*f9^2+5832*f9*f10+17408*f9*f11+27822*f9*f13+36537*f9*f0+59108*f9*f1+33051*f9*f2+29565*f9*f3+46414*f9*f4+48694*f9*f5+47532*f9*f6+5832*f9*f7+48694*f9*f8+17408*f9*f14+34649*f10^2+49562*f10*f11+23883*f10*f13+35695*f10*f0+26012*f10*f1+17866*f10*f2+37*f10*f3+53450*f10*f4+51691*f10*f5+45748*f10*f6+3777*f10*f7+51691*f10*f8+49562*f10*f14+43460*f17*f13+13016*f17*f0+12501*f17*f1+51402*f17*f2+24267*f17*f3+57138*f17*f4+3162*f17*f5+59638*f17*f6+15737*f17*f7+3162*f17*f8+34121*f17*f14+59603*f18^2+48410*f18*f19+956*f18*f20+2077*f18*f21+48410*f18*f22+44036*f18*f23+56828*f18*f9+27771*f18*f10+22496*f18*f11+37640*f18*f13+48300*f18*f0+15199*f18*f1+44036*f18*f2+39772*f18*f3+38541*f18*f4+55*f18*f5+20474*f18*f6+27771*f18*f7+55*f18*f8+22496*f18*f14+49391*f19^2+19340*f19*f20+55177*f19*f21+33261*f19*f22+31953*f19*f23+2883*f19*f9+8035*f19*f10+58407*f19*f11+46488*f19*f13+22263*f19*f0+59101*f19*f1+31953*f19*f2+41643*f19*f3+60329*f19*f4+5499*f19*f5+8729*f19*f6+8035*f19*f7+5499*f19*f8+58407*f19*f14+8420*f20^2+43166*f20*f21+19340*f20*f22+51402*f20*f23+1765*f20*f9+15737*f20*f10+34121*f20*f11+43460*f20*f13+13016*f20*f0+12501*f20*f1+51402*f20*f2+24267*f20*f3+57138*f20*f4+3162*f20*f5+59638*f20*f6+15737*f20*f7+3162*f20*f8+34121*f20*f14+42025*f21^2+55177*f21*f22+43002*f21*f23+18570*f21*f9+55505*f21*f10+43084*f21*f11+55218*f21*f13+34858*f21*f0+55054*f21*f1+43002*f21*f2+51146*f21*f3+55464*f21*f4+55078*f12^2+54371*f12*f15+62067*f12*f16+37136*f12*f17+37530*f12*f18+35490*f12*f19+37136*f12*f20+34899*f12*f21+35490*f12*f22+61870*f12*f23+61476*f12*f9+51543*f12*f10+49503*f12*f11+62067*f12*f13+18058*f12*f0+21280*f12*f1+61870*f12*f2+40161*f12*f3+24966*f12*f4+8716*f12*f5+23320*f12*f6+51543*f12*f7+8716*f12*f8+49503*f12*f14+61497*f15^2+3395*f15*f16+31106*f15*f17+7462*f15*f18+15803*f15*f19+31106*f15*f20+51269*f15*f21+15803*f15*f22+15217*f15*f23+38861*f15*f9+47581*f15*f10+55922*f15*f11+3395*f15*f13+1258*f15*f0+53027*f15*f1+15217*f15*f2+29176*f15*f3+59989*f15*f4+40033*f15*f5+44686*f15*f6+47581*f15*f7+40033*f15*f8+55922*f15*f14+9546*f16^2+43460*f16*f17+37640*f16*f18+46488*f16*f19+43460*f16*f20+55218*f16*f21+46488*f16*f22+22002*f16*f23+27822*f16*f9+23883*f16*f10+32731*f16*f11+19092*f16*f13+23942*f16*f0+63155*f16*f1+22002*f16*f2+20062*f16*f3+51279*f16*f4+11273*f16*f5+54307*f16*f6+23883*f16*f7+11273*f16*f8+32731*f16*f14+8420*f17^2+956*f17*f18+19340*f17*f19+16840*f17*f20+43166*f17*f21+19340*f17*f22+51402*f17*f23+1765*f17*f9+15737*f17*f10+34121*f17*f11+57126*f0+45251*f1+49755*f2+42384*f3+45250*f4+36651*f5+34194*f6+51802*f7+36651*f8+6347*f9+51802*f10+62859*f11+5938*f13+62859*f14+62040*f15+5938*f16+10442*f17+53850*f18+64907*f19+10442*f20+65316*f21+64907*f22+49755*f23, 62859*f12+49780*f6^2+48254*f6*f7+51691*f6*f8+11273*f6*f14+7391*f7^2+45748*f7*f8+54307*f7*f14+34649*f8^2+23883*f8*f14+9546*f14^2+56230*f2^2+61806*f2*f3+40865*f2*f4+21958*f2*f5+53698*f2*f6+3037*f2*f7+26012*f2*f8+63155*f2*f14+45603*f3^2+45070*f3*f4+27817*f3*f5+45587*f3*f6+8368*f3*f7+17866*f3*f8+22002*f3*f14+14199*f4^2+21618*f4*f5+22711*f4*f6+38994*f4*f7+37*f4*f8+20062*f4*f14+31250*f5^2+45917*f5*f6+170*f5*f7+53450*f5*f8+51279*f5*f14+34649*f11^2+51543*f11*f13+17866*f11*f0+35695*f11*f1+26012*f11*f2+17866*f11*f3+37*f11*f4+53450*f11*f5+51691*f11*f6+45748*f11*f7+3777*f11*f8+23883*f11*f14+55078*f13^2+61870*f13*f0+18058*f13*f1+21280*f13*f2+61870*f13*f3+40161*f13*f4+24966*f13*f5+8716*f13*f6+23320*f13*f7+51543*f13*f8+62067*f13*f14+45603*f0^2+6300*f0*f1+61806*f0*f2+25685*f0*f3+45070*f0*f4+27817*f0*f5+45587*f0*f6+8368*f0*f7+17866*f0*f8+22002*f0*f14+40950*f1^2+17226*f1*f2+6300*f1*f3+61742*f1*f4+34016*f1*f5+2942*f1*f6+43263*f1*f7+35695*f1*f8+23942*f1*f14+57138*f21*f5+3162*f21*f6+59638*f21*f7+15737*f21*f8+43460*f21*f14+42025*f22^2+55177*f22*f23+42920*f22*f9+18570*f22*f10+55505*f22*f11+34899*f22*f13+43002*f22*f0+34858*f22*f1+55054*f22*f2+43002*f22*f3+51146*f22*f4+55464*f22*f5+42920*f22*f6+1954*f22*f7+55505*f22*f8+55218*f22*f14+49391*f23^2+5499*f23*f9+2883*f23*f10+8035*f23*f11+35490*f23*f13+31953*f23*f0+22263*f23*f1+59101*f23*f2+31953*f23*f3+41643*f23*f4+60329*f23*f5+5499*f23*f6+8729*f23*f7+8035*f23*f8+46488*f23*f14+49780*f9^2+48694*f9*f10+51691*f9*f11+8716*f9*f13+45587*f9*f0+2942*f9*f1+53698*f9*f2+45587*f9*f3+22711*f9*f4+45917*f9*f5+34039*f9*f6+48254*f9*f7+51691*f9*f8+11273*f9*f14+54515*f10^2+5832*f10*f11+61476*f10*f13+33051*f10*f0+36537*f10*f1+59108*f10*f2+33051*f10*f3+29565*f10*f4+46414*f10*f5+48694*f10*f6+47532*f10*f7+5832*f10*f8+27822*f10*f14+62067*f17*f13+22002*f17*f0+23942*f17*f1+63155*f17*f2+22002*f17*f3+20062*f17*f4+51279*f17*f5+11273*f17*f6+54307*f17*f7+23883*f17*f8+19092*f17*f14+8420*f18^2+956*f18*f19+19340*f18*f20+16840*f18*f21+43166*f18*f22+19340*f18*f23+3162*f18*f9+1765*f18*f10+15737*f18*f11+37136*f18*f13+51402*f18*f0+13016*f18*f1+12501*f18*f2+51402*f18*f3+24267*f18*f4+57138*f18*f5+3162*f18*f6+59638*f18*f7+15737*f18*f8+43460*f18*f14+59603*f19^2+48410*f19*f20+956*f19*f21+2077*f19*f22+48410*f19*f23+55*f19*f9+56828*f19*f10+27771*f19*f11+37530*f19*f13+44036*f19*f0+48300*f19*f1+15199*f19*f2+44036*f19*f3+39772*f19*f4+38541*f19*f5+55*f19*f6+20474*f19*f7+27771*f19*f8+37640*f19*f14+49391*f20^2+19340*f20*f21+55177*f20*f22+33261*f20*f23+5499*f20*f9+2883*f20*f10+8035*f20*f11+35490*f20*f13+31953*f20*f0+22263*f20*f1+59101*f20*f2+31953*f20*f3+41643*f20*f4+60329*f20*f5+5499*f20*f6+8729*f20*f7+8035*f20*f8+46488*f20*f14+8420*f21^2+43166*f21*f22+19340*f21*f23+3162*f21*f9+1765*f21*f10+15737*f21*f11+37136*f21*f13+51402*f21*f0+13016*f21*f1+12501*f21*f2+51402*f21*f3+24267*f21*f4+9976*f12^2+19952*f12*f15+55922*f12*f16+32731*f12*f17+34121*f12*f18+22496*f12*f19+58407*f12*f20+34121*f12*f21+43084*f12*f22+58407*f12*f23+57135*f12*f9+17408*f12*f10+49562*f12*f11+49503*f12*f13+5783*f12*f0+9658*f12*f1+4393*f12*f2+5783*f12*f3+1908*f12*f4+9717*f12*f5+57135*f12*f6+34003*f12*f7+49562*f12*f8+32731*f12*f14+9976*f15^2+55922*f15*f16+32731*f15*f17+34121*f15*f18+22496*f15*f19+58407*f15*f20+34121*f15*f21+43084*f15*f22+58407*f15*f23+57135*f15*f9+17408*f15*f10+49562*f15*f11+49503*f15*f13+5783*f15*f0+9658*f15*f1+4393*f15*f2+5783*f15*f3+1908*f15*f4+9717*f15*f5+57135*f15*f6+34003*f15*f7+49562*f15*f8+32731*f15*f14+61497*f16^2+3395*f16*f17+31106*f16*f18+7462*f16*f19+15803*f16*f20+31106*f16*f21+51269*f16*f22+15803*f16*f23+40033*f16*f9+38861*f16*f10+47581*f16*f11+54371*f16*f13+15217*f16*f0+1258*f16*f1+53027*f16*f2+15217*f16*f3+29176*f16*f4+59989*f16*f5+40033*f16*f6+44686*f16*f7+47581*f16*f8+3395*f16*f14+9546*f17^2+43460*f17*f18+37640*f17*f19+46488*f17*f20+43460*f17*f21+55218*f17*f22+46488*f17*f23+11273*f17*f9+27822*f17*f10+23883*f17*f11+49755*f0+57126*f1+45251*f2+49755*f3+42384*f4+45250*f5+36651*f6+34194*f7+51802*f8+36651*f9+6347*f10+51802*f11+63678*f13+5938*f14+62859*f15+62040*f16+5938*f17+10442*f18+53850*f19+64907*f20+10442*f21+65316*f22+64907*f23, 51802*f12+31250*f6^2+45917*f6*f7+170*f6*f8+24966*f6*f14+49780*f7^2+48254*f7*f8+8716*f7*f14+7391*f8^2+23320*f8*f14+55078*f14^2+40950*f2^2+17226*f2*f3+6300*f2*f4+61742*f2*f5+34016*f2*f6+2942*f2*f7+43263*f2*f8+18058*f2*f14+56230*f3^2+61806*f3*f4+40865*f3*f5+21958*f3*f6+53698*f3*f7+3037*f3*f8+21280*f3*f14+45603*f4^2+45070*f4*f5+27817*f4*f6+45587*f4*f7+8368*f4*f8+61870*f4*f14+14199*f5^2+21618*f5*f6+22711*f5*f7+38994*f5*f8+40161*f5*f14+54515*f11^2+17408*f11*f13+2883*f11*f0+33051*f11*f1+36537*f11*f2+59108*f11*f3+33051*f11*f4+29565*f11*f5+46414*f11*f6+48694*f11*f7+47532*f11*f8+61476*f11*f14+9976*f13^2+58407*f13*f0+5783*f13*f1+9658*f13*f2+4393*f13*f3+5783*f13*f4+1908*f13*f5+9717*f13*f6+57135*f13*f7+34003*f13*f8+49503*f13*f14+49391*f0^2+31953*f0*f1+22263*f0*f2+59101*f0*f3+31953*f0*f4+41643*f0*f5+60329*f0*f6+5499*f0*f7+8729*f0*f8+35490*f0*f14+45603*f1^2+6300*f1*f2+61806*f1*f3+25685*f1*f4+45070*f1*f5+27817*f1*f6+45587*f1*f7+8368*f1*f8+61870*f1*f14+41643*f21*f5+60329*f21*f6+5499*f21*f7+8729*f21*f8+35490*f21*f14+8420*f22^2+43166*f22*f23+15737*f22*f9+3162*f22*f10+1765*f22*f11+34121*f22*f13+19340*f22*f0+51402*f22*f1+13016*f22*f2+12501*f22*f3+51402*f22*f4+24267*f22*f5+57138*f22*f6+3162*f22*f7+59638*f22*f8+37136*f22*f14+42025*f23^2+55505*f23*f9+42920*f23*f10+18570*f23*f11+43084*f23*f13+55177*f23*f0+43002*f23*f1+34858*f23*f2+55054*f23*f3+43002*f23*f4+51146*f23*f5+55464*f23*f6+42920*f23*f7+1954*f23*f8+34899*f23*f14+34649*f9^2+51691*f9*f10+5832*f9*f11+49562*f9*f13+8035*f9*f0+17866*f9*f1+35695*f9*f2+26012*f9*f3+17866*f9*f4+37*f9*f5+53450*f9*f6+51691*f9*f7+45748*f9*f8+51543*f9*f14+49780*f10^2+48694*f10*f11+57135*f10*f13+5499*f10*f0+45587*f10*f1+2942*f10*f2+53698*f10*f3+45587*f10*f4+22711*f10*f5+45917*f10*f6+34039*f10*f7+48254*f10*f8+8716*f10*f14+55922*f17*f13+15803*f17*f0+15217*f17*f1+1258*f17*f2+53027*f17*f3+15217*f17*f4+29176*f17*f5+59989*f17*f6+40033*f17*f7+44686*f17*f8+54371*f17*f14+9546*f18^2+43460*f18*f19+37640*f18*f20+46488*f18*f21+43460*f18*f22+55218*f18*f23+23883*f18*f9+11273*f18*f10+27822*f18*f11+32731*f18*f13+46488*f18*f0+22002*f18*f1+23942*f18*f2+63155*f18*f3+22002*f18*f4+20062*f18*f5+51279*f18*f6+11273*f18*f7+54307*f18*f8+62067*f18*f14+8420*f19^2+956*f19*f20+19340*f19*f21+16840*f19*f22+43166*f19*f23+15737*f19*f9+3162*f19*f10+1765*f19*f11+34121*f19*f13+19340*f19*f0+51402*f19*f1+13016*f19*f2+12501*f19*f3+51402*f19*f4+24267*f19*f5+57138*f19*f6+3162*f19*f7+59638*f19*f8+37136*f19*f14+59603*f20^2+48410*f20*f21+956*f20*f22+2077*f20*f23+27771*f20*f9+55*f20*f10+56828*f20*f11+22496*f20*f13+48410*f20*f0+44036*f20*f1+48300*f20*f2+15199*f20*f3+44036*f20*f4+39772*f20*f5+38541*f20*f6+55*f20*f7+20474*f20*f8+37530*f20*f14+49391*f21^2+19340*f21*f22+55177*f21*f23+8035*f21*f9+5499*f21*f10+2883*f21*f11+58407*f21*f13+33261*f21*f0+31953*f21*f1+22263*f21*f2+59101*f21*f3+31953*f21*f4+34649*f12^2+23883*f12*f15+49562*f12*f16+47581*f12*f17+23883*f12*f18+15737*f12*f19+27771*f12*f20+8035*f12*f21+15737*f12*f22+55505*f12*f23+3777*f12*f9+51691*f12*f10+5832*f12*f11+49562*f12*f13+8035*f12*f0+17866*f12*f1+35695*f12*f2+26012*f12*f3+17866*f12*f4+37*f12*f5+53450*f12*f6+51691*f12*f7+45748*f12*f8+51543*f12*f14+9546*f15^2+32731*f15*f16+3395*f15*f17+19092*f15*f18+43460*f15*f19+37640*f15*f20+46488*f15*f21+43460*f15*f22+55218*f15*f23+23883*f15*f9+11273*f15*f10+27822*f15*f11+32731*f15*f13+46488*f15*f0+22002*f15*f1+23942*f15*f2+63155*f15*f3+22002*f15*f4+20062*f15*f5+51279*f15*f6+11273*f15*f7+54307*f15*f8+62067*f15*f14+9976*f16^2+55922*f16*f17+32731*f16*f18+34121*f16*f19+22496*f16*f20+58407*f16*f21+34121*f16*f22+43084*f16*f23+49562*f16*f9+57135*f16*f10+17408*f16*f11+19952*f16*f13+58407*f16*f0+5783*f16*f1+9658*f16*f2+4393*f16*f3+5783*f16*f4+1908*f16*f5+9717*f16*f6+57135*f16*f7+34003*f16*f8+49503*f16*f14+61497*f17^2+3395*f17*f18+31106*f17*f19+7462*f17*f20+15803*f17*f21+31106*f17*f22+51269*f17*f23+47581*f17*f9+40033*f17*f10+38861*f17*f11+64907*f0+49755*f1+57126*f2+45251*f3+49755*f4+42384*f5+45250*f6+36651*f7+34194*f8+51802*f9+36651*f10+6347*f11+62859*f13+63678*f14+5938*f15+62859*f16+62040*f17+5938*f18+10442*f19+53850*f20+64907*f21+10442*f22+65316*f23, f0^2-f0, f1^2-f1, f2^2-f2, f3^2-f3, f4^2-f4, f5^2-f5, f6^2-f6, f7^2-f7, f8^2-f8, f9^2-f9, f10^2-f10, f11^2-f11, f12^2-f12, f13^2-f13, f14^2-f14, f15^2-f15, f16^2-f16, f17^2-f17, f18^2-f18, f19^2-f19, f20^2-f20, f21^2-f21, f22^2-f22, f23^2-f23]