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

#modulo 65407

#list



 [57133*f12+61446*f0+44828*f1+7458*f2+43135*f3+11625*f4+26948*f5+30949*f6+29286*f7+21362*f8+34435*f9+12675*f10+39940*f11+33281*f13+46236*f14+10167*f15+58973*f16+31135*f17+26471*f18+53758*f19+28990*f20+9244*f21+5308*f14^2+2606*f14*f15+42631*f14*f16+24829*f15^2+50451*f15*f16+59132*f16^2+45807*f17*f19+39507*f17*f20+42280*f17*f21+30394*f17*f14+24737*f17*f15+38102*f17*f16+8650*f18^2+1245*f18*f19+13325*f18*f20+20674*f18*f21+34744*f18*f14+27111*f18*f15+10828*f18*f16+45083*f19^2+49069*f19*f20+18539*f19*f21+46962*f19*f14+33388*f19*f15+51895*f19*f16+5557*f20^2+22162*f20*f21+57385*f20*f14+34776*f20*f15+38208*f20*f16+29994*f21^2+7085*f21*f14+53185*f21*f15+23541*f21*f16+22823*f13^2+3535*f13*f0+39403*f13*f1+45673*f13*f2+52482*f13*f17+28936*f13*f18+19247*f13*f19+60473*f13*f20+15479*f13*f21+30468*f13*f14+35032*f13*f15+25128*f13*f16+57248*f0^2+32594*f0*f1+45652*f0*f2+63734*f0*f17+56987*f0*f18+59508*f0*f19+50604*f0*f20+24872*f0*f21+63015*f0*f14+38450*f0*f15+18095*f0*f16+50323*f1^2+64094*f1*f2+65021*f1*f17+56388*f1*f18+16232*f1*f19+49481*f1*f20+7967*f1*f21+35377*f1*f14+20600*f1*f15+43036*f1*f16+25814*f2^2+19960*f2*f17+44784*f2*f18+29915*f2*f19+9163*f2*f20+5548*f2*f21+4768*f2*f14+37546*f2*f15+47932*f2*f16+56485*f17^2+27363*f17*f18+9911*f7*f13+60344*f7*f0+32415*f7*f1+42030*f7*f2+26653*f7*f17+51884*f7*f18+20596*f7*f19+36560*f7*f20+422*f7*f21+23564*f7*f14+36196*f7*f15+22886*f7*f16+55812*f8^2+1289*f8*f9+22147*f8*f10+58744*f8*f11+14671*f8*f13+43552*f8*f0+49105*f8*f1+38095*f8*f2+29581*f8*f17+59974*f8*f18+55394*f8*f19+21808*f8*f20+13190*f8*f21+30057*f8*f14+7021*f8*f15+19405*f8*f16+5722*f9^2+5428*f9*f10+41822*f9*f11+4969*f9*f13+18527*f9*f0+28553*f9*f1+56696*f9*f2+29769*f9*f17+33866*f9*f18+15632*f9*f19+58032*f9*f20+27949*f9*f21+64339*f9*f14+19355*f9*f15+22845*f9*f16+16033*f10^2+44047*f10*f11+53864*f10*f13+53802*f10*f0+8582*f10*f1+34070*f10*f2+5981*f10*f17+29437*f10*f18+10455*f10*f19+48855*f10*f20+47526*f10*f21+54567*f10*f14+29870*f10*f15+23158*f10*f16+57684*f11^2+18765*f11*f13+34386*f11*f0+23611*f11*f1+18084*f11*f2+28032*f11*f17+25984*f11*f18+23269*f11*f19+51772*f11*f20+31097*f11*f21+60018*f11*f14+46648*f11*f15+20286*f11*f16+17261*f12*f21+17758*f12*f14+48695*f12*f15+52643*f12*f16+60703*f3^2+3219*f3*f4+42959*f3*f5+56490*f3*f6+27031*f3*f7+57515*f3*f8+52324*f3*f9+63431*f3*f10+48447*f3*f11+46198*f3*f13+36105*f3*f0+57278*f3*f1+58408*f3*f2+12588*f3*f17+33172*f3*f18+19325*f3*f19+65248*f3*f20+37736*f3*f21+64639*f3*f14+64627*f3*f15+48029*f3*f16+9763*f4^2+7347*f4*f5+21843*f4*f6+12630*f4*f7+31149*f4*f8+32070*f4*f9+35215*f4*f10+21821*f4*f11+18440*f4*f13+65213*f4*f0+55862*f4*f1+4543*f4*f2+29481*f4*f17+36287*f4*f18+11137*f4*f19+63772*f4*f20+61005*f4*f21+22955*f4*f14+1852*f4*f15+60716*f4*f16+46190*f5^2+17990*f5*f6+61939*f5*f7+32338*f5*f8+50542*f5*f9+21092*f5*f10+61870*f5*f11+56615*f5*f13+6392*f5*f0+46122*f5*f1+30353*f5*f2+35375*f5*f17+23532*f5*f18+7289*f5*f19+2624*f5*f20+9505*f5*f21+59570*f5*f14+46193*f5*f15+21050*f5*f16+20493*f6^2+55230*f6*f7+62571*f6*f8+39721*f6*f9+185*f6*f10+17741*f6*f11+33873*f6*f13+32865*f6*f0+2383*f6*f1+58085*f6*f2+42382*f6*f17+56608*f6*f18+62373*f6*f19+47382*f6*f20+4676*f6*f21+32643*f6*f14+36219*f6*f15+11491*f6*f16+53212*f7^2+44561*f7*f8+36568*f7*f9+30650*f7*f10+18918*f7*f11+43354*f12^2+54018*f12*f3+56894*f12*f4+9422*f12*f5+58165*f12*f6+41142*f12*f7+26459*f12*f8+60811*f12*f9+14349*f12*f10+10615*f12*f11+58359*f12*f13+8814*f12*f0+32450*f12*f1+8025*f12*f2+54366*f12*f17+53978*f12*f18+13223*f12*f19+33825*f12*f20, 39940*f12+9244*f0+61446*f1+44828*f2+7458*f3+43135*f4+11625*f5+26948*f6+30949*f7+29286*f8+21362*f9+34435*f10+12675*f11+57133*f13+33281*f14+46236*f15+10167*f16+58973*f17+31135*f18+26471*f19+53758*f20+28990*f21+22823*f14^2+30468*f14*f15+35032*f14*f16+5308*f15^2+2606*f15*f16+24829*f16^2+10828*f17*f19+51895*f17*f20+38208*f17*f21+25128*f17*f14+42631*f17*f15+50451*f17*f16+56485*f18^2+27363*f18*f19+45807*f18*f20+39507*f18*f21+52482*f18*f14+30394*f18*f15+24737*f18*f16+8650*f19^2+1245*f19*f20+13325*f19*f21+28936*f19*f14+34744*f19*f15+27111*f19*f16+45083*f20^2+49069*f20*f21+19247*f20*f14+46962*f20*f15+33388*f20*f16+5557*f21^2+60473*f21*f14+57385*f21*f15+34776*f21*f16+43354*f13^2+17261*f13*f0+8814*f13*f1+32450*f13*f2+52643*f13*f17+54366*f13*f18+53978*f13*f19+13223*f13*f20+33825*f13*f21+58359*f13*f14+17758*f13*f15+48695*f13*f16+29994*f0^2+24872*f0*f1+7967*f0*f2+23541*f0*f17+42280*f0*f18+20674*f0*f19+18539*f0*f20+22162*f0*f21+15479*f0*f14+7085*f0*f15+53185*f0*f16+57248*f1^2+32594*f1*f2+18095*f1*f17+63734*f1*f18+56987*f1*f19+59508*f1*f20+50604*f1*f21+3535*f1*f14+63015*f1*f15+38450*f1*f16+50323*f2^2+43036*f2*f17+65021*f2*f18+56388*f2*f19+16232*f2*f20+49481*f2*f21+39403*f2*f14+35377*f2*f15+20600*f2*f16+59132*f17^2+38102*f17*f18+58165*f7*f13+4676*f7*f0+32865*f7*f1+2383*f7*f2+11491*f7*f17+42382*f7*f18+56608*f7*f19+62373*f7*f20+47382*f7*f21+33873*f7*f14+32643*f7*f15+36219*f7*f16+53212*f8^2+44561*f8*f9+36568*f8*f10+30650*f8*f11+41142*f8*f13+422*f8*f0+60344*f8*f1+32415*f8*f2+22886*f8*f17+26653*f8*f18+51884*f8*f19+20596*f8*f20+36560*f8*f21+9911*f8*f14+23564*f8*f15+36196*f8*f16+55812*f9^2+1289*f9*f10+22147*f9*f11+26459*f9*f13+13190*f9*f0+43552*f9*f1+49105*f9*f2+19405*f9*f17+29581*f9*f18+59974*f9*f19+55394*f9*f20+21808*f9*f21+14671*f9*f14+30057*f9*f15+7021*f9*f16+5722*f10^2+5428*f10*f11+60811*f10*f13+27949*f10*f0+18527*f10*f1+28553*f10*f2+22845*f10*f17+29769*f10*f18+33866*f10*f19+15632*f10*f20+58032*f10*f21+4969*f10*f14+64339*f10*f15+19355*f10*f16+16033*f11^2+14349*f11*f13+47526*f11*f0+53802*f11*f1+8582*f11*f2+23158*f11*f17+5981*f11*f18+29437*f11*f19+10455*f11*f20+48855*f11*f21+53864*f11*f14+54567*f11*f15+29870*f11*f16+51772*f12*f21+18765*f12*f14+60018*f12*f15+46648*f12*f16+25814*f3^2+58408*f3*f4+4543*f3*f5+30353*f3*f6+58085*f3*f7+42030*f3*f8+38095*f3*f9+56696*f3*f10+34070*f3*f11+8025*f3*f13+5548*f3*f0+45652*f3*f1+64094*f3*f2+47932*f3*f17+19960*f3*f18+44784*f3*f19+29915*f3*f20+9163*f3*f21+45673*f3*f14+4768*f3*f15+37546*f3*f16+60703*f4^2+3219*f4*f5+42959*f4*f6+56490*f4*f7+27031*f4*f8+57515*f4*f9+52324*f4*f10+63431*f4*f11+54018*f4*f13+37736*f4*f0+36105*f4*f1+57278*f4*f2+48029*f4*f17+12588*f4*f18+33172*f4*f19+19325*f4*f20+65248*f4*f21+46198*f4*f14+64639*f4*f15+64627*f4*f16+9763*f5^2+7347*f5*f6+21843*f5*f7+12630*f5*f8+31149*f5*f9+32070*f5*f10+35215*f5*f11+56894*f5*f13+61005*f5*f0+65213*f5*f1+55862*f5*f2+60716*f5*f17+29481*f5*f18+36287*f5*f19+11137*f5*f20+63772*f5*f21+18440*f5*f14+22955*f5*f15+1852*f5*f16+46190*f6^2+17990*f6*f7+61939*f6*f8+32338*f6*f9+50542*f6*f10+21092*f6*f11+9422*f6*f13+9505*f6*f0+6392*f6*f1+46122*f6*f2+21050*f6*f17+35375*f6*f18+23532*f6*f19+7289*f6*f20+2624*f6*f21+56615*f6*f14+59570*f6*f15+46193*f6*f16+20493*f7^2+55230*f7*f8+62571*f7*f9+39721*f7*f10+185*f7*f11+57684*f12^2+18084*f12*f3+48447*f12*f4+21821*f12*f5+61870*f12*f6+17741*f12*f7+18918*f12*f8+58744*f12*f9+41822*f12*f10+44047*f12*f11+10615*f12*f13+31097*f12*f0+34386*f12*f1+23611*f12*f2+20286*f12*f17+28032*f12*f18+25984*f12*f19+23269*f12*f20, 12675*f12+28990*f0+9244*f1+61446*f2+44828*f3+7458*f4+43135*f5+11625*f6+26948*f7+30949*f8+29286*f9+21362*f10+34435*f11+39940*f13+57133*f14+33281*f15+46236*f16+10167*f17+58973*f18+31135*f19+26471*f20+53758*f21+43354*f14^2+58359*f14*f15+17758*f14*f16+22823*f15^2+30468*f15*f16+5308*f16^2+24737*f17*f19+27111*f17*f20+33388*f17*f21+48695*f17*f14+35032*f17*f15+2606*f17*f16+59132*f18^2+38102*f18*f19+10828*f18*f20+51895*f18*f21+52643*f18*f14+25128*f18*f15+42631*f18*f16+56485*f19^2+27363*f19*f20+45807*f19*f21+54366*f19*f14+52482*f19*f15+30394*f19*f16+8650*f20^2+1245*f20*f21+53978*f20*f14+28936*f20*f15+34744*f20*f16+45083*f21^2+13223*f21*f14+19247*f21*f15+46962*f21*f16+57684*f13^2+51772*f13*f0+31097*f13*f1+34386*f13*f2+46648*f13*f17+20286*f13*f18+28032*f13*f19+25984*f13*f20+23269*f13*f21+10615*f13*f14+18765*f13*f15+60018*f13*f16+5557*f0^2+22162*f0*f1+50604*f0*f2+34776*f0*f17+38208*f0*f18+39507*f0*f19+13325*f0*f20+49069*f0*f21+33825*f0*f14+60473*f0*f15+57385*f0*f16+29994*f1^2+24872*f1*f2+53185*f1*f17+23541*f1*f18+42280*f1*f19+20674*f1*f20+18539*f1*f21+17261*f1*f14+15479*f1*f15+7085*f1*f16+57248*f2^2+38450*f2*f17+18095*f2*f18+63734*f2*f19+56987*f2*f20+59508*f2*f21+8814*f2*f14+3535*f2*f15+63015*f2*f16+24829*f17^2+50451*f17*f18+61870*f7*f13+2624*f7*f0+9505*f7*f1+6392*f7*f2+46193*f7*f17+21050*f7*f18+35375*f7*f19+23532*f7*f20+7289*f7*f21+9422*f7*f14+56615*f7*f15+59570*f7*f16+20493*f8^2+55230*f8*f9+62571*f8*f10+39721*f8*f11+17741*f8*f13+47382*f8*f0+4676*f8*f1+32865*f8*f2+36219*f8*f17+11491*f8*f18+42382*f8*f19+56608*f8*f20+62373*f8*f21+58165*f8*f14+33873*f8*f15+32643*f8*f16+53212*f9^2+44561*f9*f10+36568*f9*f11+18918*f9*f13+36560*f9*f0+422*f9*f1+60344*f9*f2+36196*f9*f17+22886*f9*f18+26653*f9*f19+51884*f9*f20+20596*f9*f21+41142*f9*f14+9911*f9*f15+23564*f9*f16+55812*f10^2+1289*f10*f11+58744*f10*f13+21808*f10*f0+13190*f10*f1+43552*f10*f2+7021*f10*f17+19405*f10*f18+29581*f10*f19+59974*f10*f20+55394*f10*f21+26459*f10*f14+14671*f10*f15+30057*f10*f16+5722*f11^2+41822*f11*f13+58032*f11*f0+27949*f11*f1+18527*f11*f2+19355*f11*f17+22845*f11*f18+29769*f11*f19+33866*f11*f20+15632*f11*f21+60811*f11*f14+4969*f11*f15+64339*f11*f16+10455*f12*f21+14349*f12*f14+53864*f12*f15+54567*f12*f16+50323*f3^2+64094*f3*f4+57278*f3*f5+55862*f3*f6+46122*f3*f7+2383*f3*f8+32415*f3*f9+49105*f3*f10+28553*f3*f11+23611*f3*f13+49481*f3*f0+7967*f3*f1+32594*f3*f2+20600*f3*f17+43036*f3*f18+65021*f3*f19+56388*f3*f20+16232*f3*f21+32450*f3*f14+39403*f3*f15+35377*f3*f16+25814*f4^2+58408*f4*f5+4543*f4*f6+30353*f4*f7+58085*f4*f8+42030*f4*f9+38095*f4*f10+56696*f4*f11+18084*f4*f13+9163*f4*f0+5548*f4*f1+45652*f4*f2+37546*f4*f17+47932*f4*f18+19960*f4*f19+44784*f4*f20+29915*f4*f21+8025*f4*f14+45673*f4*f15+4768*f4*f16+60703*f5^2+3219*f5*f6+42959*f5*f7+56490*f5*f8+27031*f5*f9+57515*f5*f10+52324*f5*f11+48447*f5*f13+65248*f5*f0+37736*f5*f1+36105*f5*f2+64627*f5*f17+48029*f5*f18+12588*f5*f19+33172*f5*f20+19325*f5*f21+54018*f5*f14+46198*f5*f15+64639*f5*f16+9763*f6^2+7347*f6*f7+21843*f6*f8+12630*f6*f9+31149*f6*f10+32070*f6*f11+21821*f6*f13+63772*f6*f0+61005*f6*f1+65213*f6*f2+1852*f6*f17+60716*f6*f18+29481*f6*f19+36287*f6*f20+11137*f6*f21+56894*f6*f14+18440*f6*f15+22955*f6*f16+46190*f7^2+17990*f7*f8+61939*f7*f9+32338*f7*f10+50542*f7*f11+16033*f12^2+8582*f12*f3+34070*f12*f4+63431*f12*f5+35215*f12*f6+21092*f12*f7+185*f12*f8+30650*f12*f9+22147*f12*f10+5428*f12*f11+44047*f12*f13+48855*f12*f0+47526*f12*f1+53802*f12*f2+29870*f12*f17+23158*f12*f18+5981*f12*f19+29437*f12*f20, 34435*f12+53758*f0+28990*f1+9244*f2+61446*f3+44828*f4+7458*f5+43135*f6+11625*f7+26948*f8+30949*f9+29286*f10+21362*f11+12675*f13+39940*f14+57133*f15+33281*f16+46236*f17+10167*f18+58973*f19+31135*f20+26471*f21+57684*f14^2+10615*f14*f15+18765*f14*f16+43354*f15^2+58359*f15*f16+22823*f16^2+42631*f17*f19+30394*f17*f20+34744*f17*f21+60018*f17*f14+17758*f17*f15+30468*f17*f16+24829*f18^2+50451*f18*f19+24737*f18*f20+27111*f18*f21+46648*f18*f14+48695*f18*f15+35032*f18*f16+59132*f19^2+38102*f19*f20+10828*f19*f21+20286*f19*f14+52643*f19*f15+25128*f19*f16+56485*f20^2+27363*f20*f21+28032*f20*f14+54366*f20*f15+52482*f20*f16+8650*f21^2+25984*f21*f14+53978*f21*f15+28936*f21*f16+16033*f13^2+10455*f13*f0+48855*f13*f1+47526*f13*f2+54567*f13*f17+29870*f13*f18+23158*f13*f19+5981*f13*f20+29437*f13*f21+44047*f13*f14+14349*f13*f15+53864*f13*f16+45083*f0^2+49069*f0*f1+18539*f0*f2+46962*f0*f17+33388*f0*f18+51895*f0*f19+45807*f0*f20+1245*f0*f21+23269*f0*f14+13223*f0*f15+19247*f0*f16+5557*f1^2+22162*f1*f2+57385*f1*f17+34776*f1*f18+38208*f1*f19+39507*f1*f20+13325*f1*f21+51772*f1*f14+33825*f1*f15+60473*f1*f16+29994*f2^2+7085*f2*f17+53185*f2*f18+23541*f2*f19+42280*f2*f20+20674*f2*f21+31097*f2*f14+17261*f2*f15+15479*f2*f16+5308*f17^2+2606*f17*f18+35215*f7*f13+11137*f7*f0+63772*f7*f1+61005*f7*f2+22955*f7*f17+1852*f7*f18+60716*f7*f19+29481*f7*f20+36287*f7*f21+21821*f7*f14+56894*f7*f15+18440*f7*f16+46190*f8^2+17990*f8*f9+61939*f8*f10+32338*f8*f11+21092*f8*f13+7289*f8*f0+2624*f8*f1+9505*f8*f2+59570*f8*f17+46193*f8*f18+21050*f8*f19+35375*f8*f20+23532*f8*f21+61870*f8*f14+9422*f8*f15+56615*f8*f16+20493*f9^2+55230*f9*f10+62571*f9*f11+185*f9*f13+62373*f9*f0+47382*f9*f1+4676*f9*f2+32643*f9*f17+36219*f9*f18+11491*f9*f19+42382*f9*f20+56608*f9*f21+17741*f9*f14+58165*f9*f15+33873*f9*f16+53212*f10^2+44561*f10*f11+30650*f10*f13+20596*f10*f0+36560*f10*f1+422*f10*f2+23564*f10*f17+36196*f10*f18+22886*f10*f19+26653*f10*f20+51884*f10*f21+18918*f10*f14+41142*f10*f15+9911*f10*f16+55812*f11^2+22147*f11*f13+55394*f11*f0+21808*f11*f1+13190*f11*f2+30057*f11*f17+7021*f11*f18+19405*f11*f19+29581*f11*f20+59974*f11*f21+58744*f11*f14+26459*f11*f15+14671*f11*f16+33866*f12*f21+41822*f12*f14+60811*f12*f15+4969*f12*f16+57248*f3^2+32594*f3*f4+45652*f3*f5+36105*f3*f6+65213*f3*f7+6392*f3*f8+32865*f3*f9+60344*f3*f10+43552*f3*f11+53802*f3*f13+59508*f3*f0+50604*f3*f1+24872*f3*f2+63015*f3*f17+38450*f3*f18+18095*f3*f19+63734*f3*f20+56987*f3*f21+34386*f3*f14+8814*f3*f15+3535*f3*f16+50323*f4^2+64094*f4*f5+57278*f4*f6+55862*f4*f7+46122*f4*f8+2383*f4*f9+32415*f4*f10+49105*f4*f11+8582*f4*f13+16232*f4*f0+49481*f4*f1+7967*f4*f2+35377*f4*f17+20600*f4*f18+43036*f4*f19+65021*f4*f20+56388*f4*f21+23611*f4*f14+32450*f4*f15+39403*f4*f16+25814*f5^2+58408*f5*f6+4543*f5*f7+30353*f5*f8+58085*f5*f9+42030*f5*f10+38095*f5*f11+34070*f5*f13+29915*f5*f0+9163*f5*f1+5548*f5*f2+4768*f5*f17+37546*f5*f18+47932*f5*f19+19960*f5*f20+44784*f5*f21+18084*f5*f14+8025*f5*f15+45673*f5*f16+60703*f6^2+3219*f6*f7+42959*f6*f8+56490*f6*f9+27031*f6*f10+57515*f6*f11+63431*f6*f13+19325*f6*f0+65248*f6*f1+37736*f6*f2+64639*f6*f17+64627*f6*f18+48029*f6*f19+12588*f6*f20+33172*f6*f21+48447*f6*f14+54018*f6*f15+46198*f6*f16+9763*f7^2+7347*f7*f8+21843*f7*f9+12630*f7*f10+31149*f7*f11+5722*f12^2+18527*f12*f3+28553*f12*f4+56696*f12*f5+52324*f12*f6+32070*f12*f7+50542*f12*f8+39721*f12*f9+36568*f12*f10+1289*f12*f11+5428*f12*f13+15632*f12*f0+58032*f12*f1+27949*f12*f2+64339*f12*f17+19355*f12*f18+22845*f12*f19+29769*f12*f20, 21362*f12+26471*f0+53758*f1+28990*f2+9244*f3+61446*f4+44828*f5+7458*f6+43135*f7+11625*f8+26948*f9+30949*f10+29286*f11+34435*f13+12675*f14+39940*f15+57133*f16+33281*f17+46236*f18+10167*f19+58973*f20+31135*f21+16033*f14^2+44047*f14*f15+14349*f14*f16+57684*f15^2+10615*f15*f16+43354*f16^2+35032*f17*f19+25128*f17*f20+52482*f17*f21+53864*f17*f14+18765*f17*f15+58359*f17*f16+5308*f18^2+2606*f18*f19+42631*f18*f20+30394*f18*f21+54567*f18*f14+60018*f18*f15+17758*f18*f16+24829*f19^2+50451*f19*f20+24737*f19*f21+29870*f19*f14+46648*f19*f15+48695*f19*f16+59132*f20^2+38102*f20*f21+23158*f20*f14+20286*f20*f15+52643*f20*f16+56485*f21^2+5981*f21*f14+28032*f21*f15+54366*f21*f16+5722*f13^2+33866*f13*f0+15632*f13*f1+58032*f13*f2+4969*f13*f17+64339*f13*f18+19355*f13*f19+22845*f13*f20+29769*f13*f21+5428*f13*f14+41822*f13*f15+60811*f13*f16+8650*f0^2+1245*f0*f1+13325*f0*f2+28936*f0*f17+34744*f0*f18+27111*f0*f19+10828*f0*f20+27363*f0*f21+29437*f0*f14+25984*f0*f15+53978*f0*f16+45083*f1^2+49069*f1*f2+19247*f1*f17+46962*f1*f18+33388*f1*f19+51895*f1*f20+45807*f1*f21+10455*f1*f14+23269*f1*f15+13223*f1*f16+5557*f2^2+60473*f2*f17+57385*f2*f18+34776*f2*f19+38208*f2*f20+39507*f2*f21+48855*f2*f14+51772*f2*f15+33825*f2*f16+22823*f17^2+30468*f17*f18+52324*f7*f13+33172*f7*f0+19325*f7*f1+65248*f7*f2+46198*f7*f17+64639*f7*f18+64627*f7*f19+48029*f7*f20+12588*f7*f21+63431*f7*f14+48447*f7*f15+54018*f7*f16+9763*f8^2+7347*f8*f9+21843*f8*f10+12630*f8*f11+32070*f8*f13+36287*f8*f0+11137*f8*f1+63772*f8*f2+18440*f8*f17+22955*f8*f18+1852*f8*f19+60716*f8*f20+29481*f8*f21+35215*f8*f14+21821*f8*f15+56894*f8*f16+46190*f9^2+17990*f9*f10+61939*f9*f11+50542*f9*f13+23532*f9*f0+7289*f9*f1+2624*f9*f2+56615*f9*f17+59570*f9*f18+46193*f9*f19+21050*f9*f20+35375*f9*f21+21092*f9*f14+61870*f9*f15+9422*f9*f16+20493*f10^2+55230*f10*f11+39721*f10*f13+56608*f10*f0+62373*f10*f1+47382*f10*f2+33873*f10*f17+32643*f10*f18+36219*f10*f19+11491*f10*f20+42382*f10*f21+185*f10*f14+17741*f10*f15+58165*f10*f16+53212*f11^2+36568*f11*f13+51884*f11*f0+20596*f11*f1+36560*f11*f2+9911*f11*f17+23564*f11*f18+36196*f11*f19+22886*f11*f20+26653*f11*f21+30650*f11*f14+18918*f11*f15+41142*f11*f16+29581*f12*f21+22147*f12*f14+58744*f12*f15+26459*f12*f16+29994*f3^2+24872*f3*f4+7967*f3*f5+5548*f3*f6+37736*f3*f7+61005*f3*f8+9505*f3*f9+4676*f3*f10+422*f3*f11+27949*f3*f13+20674*f3*f0+18539*f3*f1+22162*f3*f2+15479*f3*f17+7085*f3*f18+53185*f3*f19+23541*f3*f20+42280*f3*f21+47526*f3*f14+31097*f3*f15+17261*f3*f16+57248*f4^2+32594*f4*f5+45652*f4*f6+36105*f4*f7+65213*f4*f8+6392*f4*f9+32865*f4*f10+60344*f4*f11+18527*f4*f13+56987*f4*f0+59508*f4*f1+50604*f4*f2+3535*f4*f17+63015*f4*f18+38450*f4*f19+18095*f4*f20+63734*f4*f21+53802*f4*f14+34386*f4*f15+8814*f4*f16+50323*f5^2+64094*f5*f6+57278*f5*f7+55862*f5*f8+46122*f5*f9+2383*f5*f10+32415*f5*f11+28553*f5*f13+56388*f5*f0+16232*f5*f1+49481*f5*f2+39403*f5*f17+35377*f5*f18+20600*f5*f19+43036*f5*f20+65021*f5*f21+8582*f5*f14+23611*f5*f15+32450*f5*f16+25814*f6^2+58408*f6*f7+4543*f6*f8+30353*f6*f9+58085*f6*f10+42030*f6*f11+56696*f6*f13+44784*f6*f0+29915*f6*f1+9163*f6*f2+45673*f6*f17+4768*f6*f18+37546*f6*f19+47932*f6*f20+19960*f6*f21+34070*f6*f14+18084*f6*f15+8025*f6*f16+60703*f7^2+3219*f7*f8+42959*f7*f9+56490*f7*f10+27031*f7*f11+55812*f12^2+13190*f12*f3+43552*f12*f4+49105*f12*f5+38095*f12*f6+57515*f12*f7+31149*f12*f8+32338*f12*f9+62571*f12*f10+44561*f12*f11+1289*f12*f13+59974*f12*f0+55394*f12*f1+21808*f12*f2+14671*f12*f17+30057*f12*f18+7021*f12*f19+19405*f12*f20, 29286*f12+31135*f0+26471*f1+53758*f2+28990*f3+9244*f4+61446*f5+44828*f6+7458*f7+43135*f8+11625*f9+26948*f10+30949*f11+21362*f13+34435*f14+12675*f15+39940*f16+57133*f17+33281*f18+46236*f19+10167*f20+58973*f21+5722*f14^2+5428*f14*f15+41822*f14*f16+16033*f15^2+44047*f15*f16+57684*f16^2+17758*f17*f19+48695*f17*f20+52643*f17*f21+60811*f17*f14+14349*f17*f15+10615*f17*f16+22823*f18^2+30468*f18*f19+35032*f18*f20+25128*f18*f21+4969*f18*f14+53864*f18*f15+18765*f18*f16+5308*f19^2+2606*f19*f20+42631*f19*f21+64339*f19*f14+54567*f19*f15+60018*f19*f16+24829*f20^2+50451*f20*f21+19355*f20*f14+29870*f20*f15+46648*f20*f16+59132*f21^2+22845*f21*f14+23158*f21*f15+20286*f21*f16+55812*f13^2+29581*f13*f0+59974*f13*f1+55394*f13*f2+26459*f13*f17+14671*f13*f18+30057*f13*f19+7021*f13*f20+19405*f13*f21+1289*f13*f14+22147*f13*f15+58744*f13*f16+56485*f0^2+27363*f0*f1+45807*f0*f2+54366*f0*f17+52482*f0*f18+30394*f0*f19+24737*f0*f20+38102*f0*f21+29769*f0*f14+5981*f0*f15+28032*f0*f16+8650*f1^2+1245*f1*f2+53978*f1*f17+28936*f1*f18+34744*f1*f19+27111*f1*f20+10828*f1*f21+33866*f1*f14+29437*f1*f15+25984*f1*f16+45083*f2^2+13223*f2*f17+19247*f2*f18+46962*f2*f19+33388*f2*f20+51895*f2*f21+15632*f2*f14+10455*f2*f15+23269*f2*f16+43354*f17^2+58359*f17*f18+38095*f7*f13+19960*f7*f0+44784*f7*f1+29915*f7*f2+8025*f7*f17+45673*f7*f18+4768*f7*f19+37546*f7*f20+47932*f7*f21+56696*f7*f14+34070*f7*f15+18084*f7*f16+60703*f8^2+3219*f8*f9+42959*f8*f10+56490*f8*f11+57515*f8*f13+12588*f8*f0+33172*f8*f1+19325*f8*f2+54018*f8*f17+46198*f8*f18+64639*f8*f19+64627*f8*f20+48029*f8*f21+52324*f8*f14+63431*f8*f15+48447*f8*f16+9763*f9^2+7347*f9*f10+21843*f9*f11+31149*f9*f13+29481*f9*f0+36287*f9*f1+11137*f9*f2+56894*f9*f17+18440*f9*f18+22955*f9*f19+1852*f9*f20+60716*f9*f21+32070*f9*f14+35215*f9*f15+21821*f9*f16+46190*f10^2+17990*f10*f11+32338*f10*f13+35375*f10*f0+23532*f10*f1+7289*f10*f2+9422*f10*f17+56615*f10*f18+59570*f10*f19+46193*f10*f20+21050*f10*f21+50542*f10*f14+21092*f10*f15+61870*f10*f16+20493*f11^2+62571*f11*f13+42382*f11*f0+56608*f11*f1+62373*f11*f2+58165*f11*f17+33873*f11*f18+32643*f11*f19+36219*f11*f20+11491*f11*f21+39721*f11*f14+185*f11*f15+17741*f11*f16+22886*f12*f21+36568*f12*f14+30650*f12*f15+18918*f12*f16+5557*f3^2+22162*f3*f4+50604*f3*f5+49481*f3*f6+9163*f3*f7+65248*f3*f8+63772*f3*f9+2624*f3*f10+47382*f3*f11+21808*f3*f13+39507*f3*f0+13325*f3*f1+49069*f3*f2+33825*f3*f17+60473*f3*f18+57385*f3*f19+34776*f3*f20+38208*f3*f21+58032*f3*f14+48855*f3*f15+51772*f3*f16+29994*f4^2+24872*f4*f5+7967*f4*f6+5548*f4*f7+37736*f4*f8+61005*f4*f9+9505*f4*f10+4676*f4*f11+13190*f4*f13+42280*f4*f0+20674*f4*f1+18539*f4*f2+17261*f4*f17+15479*f4*f18+7085*f4*f19+53185*f4*f20+23541*f4*f21+27949*f4*f14+47526*f4*f15+31097*f4*f16+57248*f5^2+32594*f5*f6+45652*f5*f7+36105*f5*f8+65213*f5*f9+6392*f5*f10+32865*f5*f11+43552*f5*f13+63734*f5*f0+56987*f5*f1+59508*f5*f2+8814*f5*f17+3535*f5*f18+63015*f5*f19+38450*f5*f20+18095*f5*f21+18527*f5*f14+53802*f5*f15+34386*f5*f16+50323*f6^2+64094*f6*f7+57278*f6*f8+55862*f6*f9+46122*f6*f10+2383*f6*f11+49105*f6*f13+65021*f6*f0+56388*f6*f1+16232*f6*f2+32450*f6*f17+39403*f6*f18+35377*f6*f19+20600*f6*f20+43036*f6*f21+28553*f6*f14+8582*f6*f15+23611*f6*f16+25814*f7^2+58408*f7*f8+4543*f7*f9+30353*f7*f10+58085*f7*f11+53212*f12^2+36560*f12*f3+422*f12*f4+60344*f12*f5+32415*f12*f6+42030*f12*f7+27031*f12*f8+12630*f12*f9+61939*f12*f10+55230*f12*f11+44561*f12*f13+26653*f12*f0+51884*f12*f1+20596*f12*f2+41142*f12*f17+9911*f12*f18+23564*f12*f19+36196*f12*f20, 30949*f12+58973*f0+31135*f1+26471*f2+53758*f3+28990*f4+9244*f5+61446*f6+44828*f7+7458*f8+43135*f9+11625*f10+26948*f11+29286*f13+21362*f14+34435*f15+12675*f16+39940*f17+57133*f18+33281*f19+46236*f20+10167*f21+55812*f14^2+1289*f14*f15+22147*f14*f16+5722*f15^2+5428*f15*f16+16033*f16^2+18765*f17*f19+60018*f17*f20+46648*f17*f21+58744*f17*f14+41822*f17*f15+44047*f17*f16+43354*f18^2+58359*f18*f19+17758*f18*f20+48695*f18*f21+26459*f18*f14+60811*f18*f15+14349*f18*f16+22823*f19^2+30468*f19*f20+35032*f19*f21+14671*f19*f14+4969*f19*f15+53864*f19*f16+5308*f20^2+2606*f20*f21+30057*f20*f14+64339*f20*f15+54567*f20*f16+24829*f21^2+7021*f21*f14+19355*f21*f15+29870*f21*f16+53212*f13^2+22886*f13*f0+26653*f13*f1+51884*f13*f2+18918*f13*f17+41142*f13*f18+9911*f13*f19+23564*f13*f20+36196*f13*f21+44561*f13*f14+36568*f13*f15+30650*f13*f16+59132*f0^2+38102*f0*f1+10828*f0*f2+20286*f0*f17+52643*f0*f18+25128*f0*f19+42631*f0*f20+50451*f0*f21+19405*f0*f14+22845*f0*f15+23158*f0*f16+56485*f1^2+27363*f1*f2+28032*f1*f17+54366*f1*f18+52482*f1*f19+30394*f1*f20+24737*f1*f21+29581*f1*f14+29769*f1*f15+5981*f1*f16+8650*f2^2+25984*f2*f17+53978*f2*f18+28936*f2*f19+34744*f2*f20+27111*f2*f21+59974*f2*f14+33866*f2*f15+29437*f2*f16+57684*f17^2+10615*f17*f18+32415*f7*f13+43036*f7*f0+65021*f7*f1+56388*f7*f2+23611*f7*f17+32450*f7*f18+39403*f7*f19+35377*f7*f20+20600*f7*f21+49105*f7*f14+28553*f7*f15+8582*f7*f16+25814*f8^2+58408*f8*f9+4543*f8*f10+30353*f8*f11+42030*f8*f13+47932*f8*f0+19960*f8*f1+44784*f8*f2+18084*f8*f17+8025*f8*f18+45673*f8*f19+4768*f8*f20+37546*f8*f21+38095*f8*f14+56696*f8*f15+34070*f8*f16+60703*f9^2+3219*f9*f10+42959*f9*f11+27031*f9*f13+48029*f9*f0+12588*f9*f1+33172*f9*f2+48447*f9*f17+54018*f9*f18+46198*f9*f19+64639*f9*f20+64627*f9*f21+57515*f9*f14+52324*f9*f15+63431*f9*f16+9763*f10^2+7347*f10*f11+12630*f10*f13+60716*f10*f0+29481*f10*f1+36287*f10*f2+21821*f10*f17+56894*f10*f18+18440*f10*f19+22955*f10*f20+1852*f10*f21+31149*f10*f14+32070*f10*f15+35215*f10*f16+46190*f11^2+61939*f11*f13+21050*f11*f0+35375*f11*f1+23532*f11*f2+61870*f11*f17+9422*f11*f18+56615*f11*f19+59570*f11*f20+46193*f11*f21+32338*f11*f14+50542*f11*f15+21092*f11*f16+36219*f12*f21+62571*f12*f14+39721*f12*f15+185*f12*f16+45083*f3^2+49069*f3*f4+18539*f3*f5+59508*f3*f6+16232*f3*f7+29915*f3*f8+19325*f3*f9+11137*f3*f10+7289*f3*f11+20596*f3*f13+51895*f3*f0+45807*f3*f1+1245*f3*f2+23269*f3*f17+13223*f3*f18+19247*f3*f19+46962*f3*f20+33388*f3*f21+55394*f3*f14+15632*f3*f15+10455*f3*f16+5557*f4^2+22162*f4*f5+50604*f4*f6+49481*f4*f7+9163*f4*f8+65248*f4*f9+63772*f4*f10+2624*f4*f11+36560*f4*f13+38208*f4*f0+39507*f4*f1+13325*f4*f2+51772*f4*f17+33825*f4*f18+60473*f4*f19+57385*f4*f20+34776*f4*f21+21808*f4*f14+58032*f4*f15+48855*f4*f16+29994*f5^2+24872*f5*f6+7967*f5*f7+5548*f5*f8+37736*f5*f9+61005*f5*f10+9505*f5*f11+422*f5*f13+23541*f5*f0+42280*f5*f1+20674*f5*f2+31097*f5*f17+17261*f5*f18+15479*f5*f19+7085*f5*f20+53185*f5*f21+13190*f5*f14+27949*f5*f15+47526*f5*f16+57248*f6^2+32594*f6*f7+45652*f6*f8+36105*f6*f9+65213*f6*f10+6392*f6*f11+60344*f6*f13+18095*f6*f0+63734*f6*f1+56987*f6*f2+34386*f6*f17+8814*f6*f18+3535*f6*f19+63015*f6*f20+38450*f6*f21+43552*f6*f14+18527*f6*f15+53802*f6*f16+50323*f7^2+64094*f7*f8+57278*f7*f9+55862*f7*f10+46122*f7*f11+20493*f12^2+62373*f12*f3+47382*f12*f4+4676*f12*f5+32865*f12*f6+2383*f12*f7+58085*f12*f8+56490*f12*f9+21843*f12*f10+17990*f12*f11+55230*f12*f13+11491*f12*f0+42382*f12*f1+56608*f12*f2+17741*f12*f17+58165*f12*f18+33873*f12*f19+32643*f12*f20, 26948*f12+10167*f0+58973*f1+31135*f2+26471*f3+53758*f4+28990*f5+9244*f6+61446*f7+44828*f8+7458*f9+43135*f10+11625*f11+30949*f13+29286*f14+21362*f15+34435*f16+12675*f17+39940*f18+57133*f19+33281*f20+46236*f21+53212*f14^2+44561*f14*f15+36568*f14*f16+55812*f15^2+1289*f15*f16+5722*f16^2+14349*f17*f19+53864*f17*f20+54567*f17*f21+30650*f17*f14+22147*f17*f15+5428*f17*f16+57684*f18^2+10615*f18*f19+18765*f18*f20+60018*f18*f21+18918*f18*f14+58744*f18*f15+41822*f18*f16+43354*f19^2+58359*f19*f20+17758*f19*f21+41142*f19*f14+26459*f19*f15+60811*f19*f16+22823*f20^2+30468*f20*f21+9911*f20*f14+14671*f20*f15+4969*f20*f16+5308*f21^2+23564*f21*f14+30057*f21*f15+64339*f21*f16+20493*f13^2+36219*f13*f0+11491*f13*f1+42382*f13*f2+185*f13*f17+17741*f13*f18+58165*f13*f19+33873*f13*f20+32643*f13*f21+55230*f13*f14+62571*f13*f15+39721*f13*f16+24829*f0^2+50451*f0*f1+24737*f0*f2+29870*f0*f17+46648*f0*f18+48695*f0*f19+35032*f0*f20+2606*f0*f21+36196*f0*f14+7021*f0*f15+19355*f0*f16+59132*f1^2+38102*f1*f2+23158*f1*f17+20286*f1*f18+52643*f1*f19+25128*f1*f20+42631*f1*f21+22886*f1*f14+19405*f1*f15+22845*f1*f16+56485*f2^2+5981*f2*f17+28032*f2*f18+54366*f2*f19+52482*f2*f20+30394*f2*f21+26653*f2*f14+29581*f2*f15+29769*f2*f16+16033*f17^2+44047*f17*f18+32865*f7*f13+38450*f7*f0+18095*f7*f1+63734*f7*f2+53802*f7*f17+34386*f7*f18+8814*f7*f19+3535*f7*f20+63015*f7*f21+60344*f7*f14+43552*f7*f15+18527*f7*f16+50323*f8^2+64094*f8*f9+57278*f8*f10+55862*f8*f11+2383*f8*f13+20600*f8*f0+43036*f8*f1+65021*f8*f2+8582*f8*f17+23611*f8*f18+32450*f8*f19+39403*f8*f20+35377*f8*f21+32415*f8*f14+49105*f8*f15+28553*f8*f16+25814*f9^2+58408*f9*f10+4543*f9*f11+58085*f9*f13+37546*f9*f0+47932*f9*f1+19960*f9*f2+34070*f9*f17+18084*f9*f18+8025*f9*f19+45673*f9*f20+4768*f9*f21+42030*f9*f14+38095*f9*f15+56696*f9*f16+60703*f10^2+3219*f10*f11+56490*f10*f13+64627*f10*f0+48029*f10*f1+12588*f10*f2+63431*f10*f17+48447*f10*f18+54018*f10*f19+46198*f10*f20+64639*f10*f21+27031*f10*f14+57515*f10*f15+52324*f10*f16+9763*f11^2+21843*f11*f13+1852*f11*f0+60716*f11*f1+29481*f11*f2+35215*f11*f17+21821*f11*f18+56894*f11*f19+18440*f11*f20+22955*f11*f21+12630*f11*f14+31149*f11*f15+32070*f11*f16+59570*f12*f21+61939*f12*f14+32338*f12*f15+50542*f12*f16+8650*f3^2+1245*f3*f4+13325*f3*f5+20674*f3*f6+56987*f3*f7+56388*f3*f8+44784*f3*f9+33172*f3*f10+36287*f3*f11+56608*f3*f13+27111*f3*f0+10828*f3*f1+27363*f3*f2+29437*f3*f17+25984*f3*f18+53978*f3*f19+28936*f3*f20+34744*f3*f21+51884*f3*f14+59974*f3*f15+33866*f3*f16+45083*f4^2+49069*f4*f5+18539*f4*f6+59508*f4*f7+16232*f4*f8+29915*f4*f9+19325*f4*f10+11137*f4*f11+62373*f4*f13+33388*f4*f0+51895*f4*f1+45807*f4*f2+10455*f4*f17+23269*f4*f18+13223*f4*f19+19247*f4*f20+46962*f4*f21+20596*f4*f14+55394*f4*f15+15632*f4*f16+5557*f5^2+22162*f5*f6+50604*f5*f7+49481*f5*f8+9163*f5*f9+65248*f5*f10+63772*f5*f11+47382*f5*f13+34776*f5*f0+38208*f5*f1+39507*f5*f2+48855*f5*f17+51772*f5*f18+33825*f5*f19+60473*f5*f20+57385*f5*f21+36560*f5*f14+21808*f5*f15+58032*f5*f16+29994*f6^2+24872*f6*f7+7967*f6*f8+5548*f6*f9+37736*f6*f10+61005*f6*f11+4676*f6*f13+53185*f6*f0+23541*f6*f1+42280*f6*f2+47526*f6*f17+31097*f6*f18+17261*f6*f19+15479*f6*f20+7085*f6*f21+422*f6*f14+13190*f6*f15+27949*f6*f16+57248*f7^2+32594*f7*f8+45652*f7*f9+36105*f7*f10+65213*f7*f11+46190*f12^2+23532*f12*f3+7289*f12*f4+2624*f12*f5+9505*f12*f6+6392*f12*f7+46122*f12*f8+30353*f12*f9+42959*f12*f10+7347*f12*f11+17990*f12*f13+46193*f12*f0+21050*f12*f1+35375*f12*f2+21092*f12*f17+61870*f12*f18+9422*f12*f19+56615*f12*f20, 11625*f12+46236*f0+10167*f1+58973*f2+31135*f3+26471*f4+53758*f5+28990*f6+9244*f7+61446*f8+44828*f9+7458*f10+43135*f11+26948*f13+30949*f14+29286*f15+21362*f16+34435*f17+12675*f18+39940*f19+57133*f20+33281*f21+20493*f14^2+55230*f14*f15+62571*f14*f16+53212*f15^2+44561*f15*f16+55812*f16^2+41822*f17*f19+60811*f17*f20+4969*f17*f21+39721*f17*f14+36568*f17*f15+1289*f17*f16+16033*f18^2+44047*f18*f19+14349*f18*f20+53864*f18*f21+185*f18*f14+30650*f18*f15+22147*f18*f16+57684*f19^2+10615*f19*f20+18765*f19*f21+17741*f19*f14+18918*f19*f15+58744*f19*f16+43354*f20^2+58359*f20*f21+58165*f20*f14+41142*f20*f15+26459*f20*f16+22823*f21^2+33873*f21*f14+9911*f21*f15+14671*f21*f16+46190*f13^2+59570*f13*f0+46193*f13*f1+21050*f13*f2+50542*f13*f17+21092*f13*f18+61870*f13*f19+9422*f13*f20+56615*f13*f21+17990*f13*f14+61939*f13*f15+32338*f13*f16+5308*f0^2+2606*f0*f1+42631*f0*f2+64339*f0*f17+54567*f0*f18+60018*f0*f19+17758*f0*f20+30468*f0*f21+32643*f0*f14+23564*f0*f15+30057*f0*f16+24829*f1^2+50451*f1*f2+19355*f1*f17+29870*f1*f18+46648*f1*f19+48695*f1*f20+35032*f1*f21+36219*f1*f14+36196*f1*f15+7021*f1*f16+59132*f2^2+22845*f2*f17+23158*f2*f18+20286*f2*f19+52643*f2*f20+25128*f2*f21+11491*f2*f14+22886*f2*f15+19405*f2*f16+5722*f17^2+5428*f17*f18+9505*f7*f13+7085*f7*f0+53185*f7*f1+23541*f7*f2+27949*f7*f17+47526*f7*f18+31097*f7*f19+17261*f7*f20+15479*f7*f21+4676*f7*f14+422*f7*f15+13190*f7*f16+57248*f8^2+32594*f8*f9+45652*f8*f10+36105*f8*f11+6392*f8*f13+63015*f8*f0+38450*f8*f1+18095*f8*f2+18527*f8*f17+53802*f8*f18+34386*f8*f19+8814*f8*f20+3535*f8*f21+32865*f8*f14+60344*f8*f15+43552*f8*f16+50323*f9^2+64094*f9*f10+57278*f9*f11+46122*f9*f13+35377*f9*f0+20600*f9*f1+43036*f9*f2+28553*f9*f17+8582*f9*f18+23611*f9*f19+32450*f9*f20+39403*f9*f21+2383*f9*f14+32415*f9*f15+49105*f9*f16+25814*f10^2+58408*f10*f11+30353*f10*f13+4768*f10*f0+37546*f10*f1+47932*f10*f2+56696*f10*f17+34070*f10*f18+18084*f10*f19+8025*f10*f20+45673*f10*f21+58085*f10*f14+42030*f10*f15+38095*f10*f16+60703*f11^2+42959*f11*f13+64639*f11*f0+64627*f11*f1+48029*f11*f2+52324*f11*f17+63431*f11*f18+48447*f11*f19+54018*f11*f20+46198*f11*f21+56490*f11*f14+27031*f11*f15+57515*f11*f16+18440*f12*f21+21843*f12*f14+12630*f12*f15+31149*f12*f16+56485*f3^2+27363*f3*f4+45807*f3*f5+39507*f3*f6+42280*f3*f7+63734*f3*f8+65021*f3*f9+19960*f3*f10+12588*f3*f11+35375*f3*f13+30394*f3*f0+24737*f3*f1+38102*f3*f2+29769*f3*f17+5981*f3*f18+28032*f3*f19+54366*f3*f20+52482*f3*f21+42382*f3*f14+26653*f3*f15+29581*f3*f16+8650*f4^2+1245*f4*f5+13325*f4*f6+20674*f4*f7+56987*f4*f8+56388*f4*f9+44784*f4*f10+33172*f4*f11+23532*f4*f13+34744*f4*f0+27111*f4*f1+10828*f4*f2+33866*f4*f17+29437*f4*f18+25984*f4*f19+53978*f4*f20+28936*f4*f21+56608*f4*f14+51884*f4*f15+59974*f4*f16+45083*f5^2+49069*f5*f6+18539*f5*f7+59508*f5*f8+16232*f5*f9+29915*f5*f10+19325*f5*f11+7289*f5*f13+46962*f5*f0+33388*f5*f1+51895*f5*f2+15632*f5*f17+10455*f5*f18+23269*f5*f19+13223*f5*f20+19247*f5*f21+62373*f5*f14+20596*f5*f15+55394*f5*f16+5557*f6^2+22162*f6*f7+50604*f6*f8+49481*f6*f9+9163*f6*f10+65248*f6*f11+2624*f6*f13+57385*f6*f0+34776*f6*f1+38208*f6*f2+58032*f6*f17+48855*f6*f18+51772*f6*f19+33825*f6*f20+60473*f6*f21+47382*f6*f14+36560*f6*f15+21808*f6*f16+29994*f7^2+24872*f7*f8+7967*f7*f9+5548*f7*f10+37736*f7*f11+9763*f12^2+29481*f12*f3+36287*f12*f4+11137*f12*f5+63772*f12*f6+61005*f12*f7+65213*f12*f8+55862*f12*f9+4543*f12*f10+3219*f12*f11+7347*f12*f13+22955*f12*f0+1852*f12*f1+60716*f12*f2+32070*f12*f17+35215*f12*f18+21821*f12*f19+56894*f12*f20, 43135*f12+33281*f0+46236*f1+10167*f2+58973*f3+31135*f4+26471*f5+53758*f6+28990*f7+9244*f8+61446*f9+44828*f10+7458*f11+11625*f13+26948*f14+30949*f15+29286*f16+21362*f17+34435*f18+12675*f19+39940*f20+57133*f21+46190*f14^2+17990*f14*f15+61939*f14*f16+20493*f15^2+55230*f15*f16+53212*f16^2+22147*f17*f19+58744*f17*f20+26459*f17*f21+32338*f17*f14+62571*f17*f15+44561*f17*f16+5722*f18^2+5428*f18*f19+41822*f18*f20+60811*f18*f21+50542*f18*f14+39721*f18*f15+36568*f18*f16+16033*f19^2+44047*f19*f20+14349*f19*f21+21092*f19*f14+185*f19*f15+30650*f19*f16+57684*f20^2+10615*f20*f21+61870*f20*f14+17741*f20*f15+18918*f20*f16+43354*f21^2+9422*f21*f14+58165*f21*f15+41142*f21*f16+9763*f13^2+18440*f13*f0+22955*f13*f1+1852*f13*f2+31149*f13*f17+32070*f13*f18+35215*f13*f19+21821*f13*f20+56894*f13*f21+7347*f13*f14+21843*f13*f15+12630*f13*f16+22823*f0^2+30468*f0*f1+35032*f0*f2+14671*f0*f17+4969*f0*f18+53864*f0*f19+18765*f0*f20+58359*f0*f21+56615*f0*f14+33873*f0*f15+9911*f0*f16+5308*f1^2+2606*f1*f2+30057*f1*f17+64339*f1*f18+54567*f1*f19+60018*f1*f20+17758*f1*f21+59570*f1*f14+32643*f1*f15+23564*f1*f16+24829*f2^2+7021*f2*f17+19355*f2*f18+29870*f2*f19+46648*f2*f20+48695*f2*f21+46193*f2*f14+36219*f2*f15+36196*f2*f16+55812*f17^2+1289*f17*f18+63772*f7*f13+60473*f7*f0+57385*f7*f1+34776*f7*f2+21808*f7*f17+58032*f7*f18+48855*f7*f19+51772*f7*f20+33825*f7*f21+2624*f7*f14+47382*f7*f15+36560*f7*f16+29994*f8^2+24872*f8*f9+7967*f8*f10+5548*f8*f11+61005*f8*f13+15479*f8*f0+7085*f8*f1+53185*f8*f2+13190*f8*f17+27949*f8*f18+47526*f8*f19+31097*f8*f20+17261*f8*f21+9505*f8*f14+4676*f8*f15+422*f8*f16+57248*f9^2+32594*f9*f10+45652*f9*f11+65213*f9*f13+3535*f9*f0+63015*f9*f1+38450*f9*f2+43552*f9*f17+18527*f9*f18+53802*f9*f19+34386*f9*f20+8814*f9*f21+6392*f9*f14+32865*f9*f15+60344*f9*f16+50323*f10^2+64094*f10*f11+55862*f10*f13+39403*f10*f0+35377*f10*f1+20600*f10*f2+49105*f10*f17+28553*f10*f18+8582*f10*f19+23611*f10*f20+32450*f10*f21+46122*f10*f14+2383*f10*f15+32415*f10*f16+25814*f11^2+4543*f11*f13+45673*f11*f0+4768*f11*f1+37546*f11*f2+38095*f11*f17+56696*f11*f18+34070*f11*f19+18084*f11*f20+8025*f11*f21+30353*f11*f14+58085*f11*f15+42030*f11*f16+54018*f12*f21+42959*f12*f14+56490*f12*f15+27031*f12*f16+59132*f3^2+38102*f3*f4+10828*f3*f5+51895*f3*f6+38208*f3*f7+23541*f3*f8+18095*f3*f9+43036*f3*f10+47932*f3*f11+60716*f3*f13+25128*f3*f0+42631*f3*f1+50451*f3*f2+19405*f3*f17+22845*f3*f18+23158*f3*f19+20286*f3*f20+52643*f3*f21+21050*f3*f14+11491*f3*f15+22886*f3*f16+56485*f4^2+27363*f4*f5+45807*f4*f6+39507*f4*f7+42280*f4*f8+63734*f4*f9+65021*f4*f10+19960*f4*f11+29481*f4*f13+52482*f4*f0+30394*f4*f1+24737*f4*f2+29581*f4*f17+29769*f4*f18+5981*f4*f19+28032*f4*f20+54366*f4*f21+35375*f4*f14+42382*f4*f15+26653*f4*f16+8650*f5^2+1245*f5*f6+13325*f5*f7+20674*f5*f8+56987*f5*f9+56388*f5*f10+44784*f5*f11+36287*f5*f13+28936*f5*f0+34744*f5*f1+27111*f5*f2+59974*f5*f17+33866*f5*f18+29437*f5*f19+25984*f5*f20+53978*f5*f21+23532*f5*f14+56608*f5*f15+51884*f5*f16+45083*f6^2+49069*f6*f7+18539*f6*f8+59508*f6*f9+16232*f6*f10+29915*f6*f11+11137*f6*f13+19247*f6*f0+46962*f6*f1+33388*f6*f2+55394*f6*f17+15632*f6*f18+10455*f6*f19+23269*f6*f20+13223*f6*f21+7289*f6*f14+62373*f6*f15+20596*f6*f16+5557*f7^2+22162*f7*f8+50604*f7*f9+49481*f7*f10+9163*f7*f11+60703*f12^2+48029*f12*f3+12588*f12*f4+33172*f12*f5+19325*f12*f6+65248*f12*f7+37736*f12*f8+36105*f12*f9+57278*f12*f10+58408*f12*f11+3219*f12*f13+46198*f12*f0+64639*f12*f1+64627*f12*f2+57515*f12*f17+52324*f12*f18+63431*f12*f19+48447*f12*f20, 7458*f12+57133*f0+33281*f1+46236*f2+10167*f3+58973*f4+31135*f5+26471*f6+53758*f7+28990*f8+9244*f9+61446*f10+44828*f11+43135*f13+11625*f14+26948*f15+30949*f16+29286*f17+21362*f18+34435*f19+12675*f20+39940*f21+9763*f14^2+7347*f14*f15+21843*f14*f16+46190*f15^2+17990*f15*f16+20493*f16^2+36568*f17*f19+30650*f17*f20+18918*f17*f21+12630*f17*f14+61939*f17*f15+55230*f17*f16+55812*f18^2+1289*f18*f19+22147*f18*f20+58744*f18*f21+31149*f18*f14+32338*f18*f15+62571*f18*f16+5722*f19^2+5428*f19*f20+41822*f19*f21+32070*f19*f14+50542*f19*f15+39721*f19*f16+16033*f20^2+44047*f20*f21+35215*f20*f14+21092*f20*f15+185*f20*f16+57684*f21^2+21821*f21*f14+61870*f21*f15+17741*f21*f16+60703*f13^2+54018*f13*f0+46198*f13*f1+64639*f13*f2+27031*f13*f17+57515*f13*f18+52324*f13*f19+63431*f13*f20+48447*f13*f21+3219*f13*f14+42959*f13*f15+56490*f13*f16+43354*f0^2+58359*f0*f1+17758*f0*f2+41142*f0*f17+26459*f0*f18+60811*f0*f19+14349*f0*f20+10615*f0*f21+56894*f0*f14+9422*f0*f15+58165*f0*f16+22823*f1^2+30468*f1*f2+9911*f1*f17+14671*f1*f18+4969*f1*f19+53864*f1*f20+18765*f1*f21+18440*f1*f14+56615*f1*f15+33873*f1*f16+5308*f2^2+23564*f2*f17+30057*f2*f18+64339*f2*f19+54567*f2*f20+60018*f2*f21+22955*f2*f14+59570*f2*f15+32643*f2*f16+53212*f17^2+44561*f17*f18+19325*f7*f13+13223*f7*f0+19247*f7*f1+46962*f7*f2+20596*f7*f17+55394*f7*f18+15632*f7*f19+10455*f7*f20+23269*f7*f21+11137*f7*f14+7289*f7*f15+62373*f7*f16+5557*f8^2+22162*f8*f9+50604*f8*f10+49481*f8*f11+65248*f8*f13+33825*f8*f0+60473*f8*f1+57385*f8*f2+36560*f8*f17+21808*f8*f18+58032*f8*f19+48855*f8*f20+51772*f8*f21+63772*f8*f14+2624*f8*f15+47382*f8*f16+29994*f9^2+24872*f9*f10+7967*f9*f11+37736*f9*f13+17261*f9*f0+15479*f9*f1+7085*f9*f2+422*f9*f17+13190*f9*f18+27949*f9*f19+47526*f9*f20+31097*f9*f21+61005*f9*f14+9505*f9*f15+4676*f9*f16+57248*f10^2+32594*f10*f11+36105*f10*f13+8814*f10*f0+3535*f10*f1+63015*f10*f2+60344*f10*f17+43552*f10*f18+18527*f10*f19+53802*f10*f20+34386*f10*f21+65213*f10*f14+6392*f10*f15+32865*f10*f16+50323*f11^2+57278*f11*f13+32450*f11*f0+39403*f11*f1+35377*f11*f2+32415*f11*f17+49105*f11*f18+28553*f11*f19+8582*f11*f20+23611*f11*f21+55862*f11*f14+46122*f11*f15+2383*f11*f16+18084*f12*f21+4543*f12*f14+30353*f12*f15+58085*f12*f16+24829*f3^2+50451*f3*f4+24737*f3*f5+27111*f3*f6+33388*f3*f7+34776*f3*f8+53185*f3*f9+38450*f3*f10+20600*f3*f11+64627*f3*f13+48695*f3*f0+35032*f3*f1+2606*f3*f2+36196*f3*f17+7021*f3*f18+19355*f3*f19+29870*f3*f20+46648*f3*f21+1852*f3*f14+46193*f3*f15+36219*f3*f16+59132*f4^2+38102*f4*f5+10828*f4*f6+51895*f4*f7+38208*f4*f8+23541*f4*f9+18095*f4*f10+43036*f4*f11+48029*f4*f13+52643*f4*f0+25128*f4*f1+42631*f4*f2+22886*f4*f17+19405*f4*f18+22845*f4*f19+23158*f4*f20+20286*f4*f21+60716*f4*f14+21050*f4*f15+11491*f4*f16+56485*f5^2+27363*f5*f6+45807*f5*f7+39507*f5*f8+42280*f5*f9+63734*f5*f10+65021*f5*f11+12588*f5*f13+54366*f5*f0+52482*f5*f1+30394*f5*f2+26653*f5*f17+29581*f5*f18+29769*f5*f19+5981*f5*f20+28032*f5*f21+29481*f5*f14+35375*f5*f15+42382*f5*f16+8650*f6^2+1245*f6*f7+13325*f6*f8+20674*f6*f9+56987*f6*f10+56388*f6*f11+33172*f6*f13+53978*f6*f0+28936*f6*f1+34744*f6*f2+51884*f6*f17+59974*f6*f18+33866*f6*f19+29437*f6*f20+25984*f6*f21+36287*f6*f14+23532*f6*f15+56608*f6*f16+45083*f7^2+49069*f7*f8+18539*f7*f9+59508*f7*f10+16232*f7*f11+25814*f12^2+37546*f12*f3+47932*f12*f4+19960*f12*f5+44784*f12*f6+29915*f12*f7+9163*f12*f8+5548*f12*f9+45652*f12*f10+64094*f12*f11+58408*f12*f13+8025*f12*f0+45673*f12*f1+4768*f12*f2+42030*f12*f17+38095*f12*f18+56696*f12*f19+34070*f12*f20, 44828*f12+39940*f0+57133*f1+33281*f2+46236*f3+10167*f4+58973*f5+31135*f6+26471*f7+53758*f8+28990*f9+9244*f10+61446*f11+7458*f13+43135*f14+11625*f15+26948*f16+30949*f17+29286*f18+21362*f19+34435*f20+12675*f21+60703*f14^2+3219*f14*f15+42959*f14*f16+9763*f15^2+7347*f15*f16+46190*f16^2+62571*f17*f19+39721*f17*f20+185*f17*f21+56490*f17*f14+21843*f17*f15+17990*f17*f16+53212*f18^2+44561*f18*f19+36568*f18*f20+30650*f18*f21+27031*f18*f14+12630*f18*f15+61939*f18*f16+55812*f19^2+1289*f19*f20+22147*f19*f21+57515*f19*f14+31149*f19*f15+32338*f19*f16+5722*f20^2+5428*f20*f21+52324*f20*f14+32070*f20*f15+50542*f20*f16+16033*f21^2+63431*f21*f14+35215*f21*f15+21092*f21*f16+25814*f13^2+18084*f13*f0+8025*f13*f1+45673*f13*f2+58085*f13*f17+42030*f13*f18+38095*f13*f19+56696*f13*f20+34070*f13*f21+58408*f13*f14+4543*f13*f15+30353*f13*f16+57684*f0^2+10615*f0*f1+18765*f0*f2+17741*f0*f17+18918*f0*f18+58744*f0*f19+41822*f0*f20+44047*f0*f21+48447*f0*f14+21821*f0*f15+61870*f0*f16+43354*f1^2+58359*f1*f2+58165*f1*f17+41142*f1*f18+26459*f1*f19+60811*f1*f20+14349*f1*f21+54018*f1*f14+56894*f1*f15+9422*f1*f16+22823*f2^2+33873*f2*f17+9911*f2*f18+14671*f2*f19+4969*f2*f20+53864*f2*f21+46198*f2*f14+18440*f2*f15+56615*f2*f16+20493*f17^2+55230*f17*f18+44784*f7*f13+25984*f7*f0+53978*f7*f1+28936*f7*f2+56608*f7*f17+51884*f7*f18+59974*f7*f19+33866*f7*f20+29437*f7*f21+33172*f7*f14+36287*f7*f15+23532*f7*f16+45083*f8^2+49069*f8*f9+18539*f8*f10+59508*f8*f11+29915*f8*f13+23269*f8*f0+13223*f8*f1+19247*f8*f2+62373*f8*f17+20596*f8*f18+55394*f8*f19+15632*f8*f20+10455*f8*f21+19325*f8*f14+11137*f8*f15+7289*f8*f16+5557*f9^2+22162*f9*f10+50604*f9*f11+9163*f9*f13+51772*f9*f0+33825*f9*f1+60473*f9*f2+47382*f9*f17+36560*f9*f18+21808*f9*f19+58032*f9*f20+48855*f9*f21+65248*f9*f14+63772*f9*f15+2624*f9*f16+29994*f10^2+24872*f10*f11+5548*f10*f13+31097*f10*f0+17261*f10*f1+15479*f10*f2+4676*f10*f17+422*f10*f18+13190*f10*f19+27949*f10*f20+47526*f10*f21+37736*f10*f14+61005*f10*f15+9505*f10*f16+57248*f11^2+45652*f11*f13+34386*f11*f0+8814*f11*f1+3535*f11*f2+32865*f11*f17+60344*f11*f18+43552*f11*f19+18527*f11*f20+53802*f11*f21+36105*f11*f14+65213*f11*f15+6392*f11*f16+8582*f12*f21+57278*f12*f14+55862*f12*f15+46122*f12*f16+5308*f3^2+2606*f3*f4+42631*f3*f5+30394*f3*f6+34744*f3*f7+46962*f3*f8+57385*f3*f9+7085*f3*f10+63015*f3*f11+4768*f3*f13+60018*f3*f0+17758*f3*f1+30468*f3*f2+32643*f3*f17+23564*f3*f18+30057*f3*f19+64339*f3*f20+54567*f3*f21+64639*f3*f14+22955*f3*f15+59570*f3*f16+24829*f4^2+50451*f4*f5+24737*f4*f6+27111*f4*f7+33388*f4*f8+34776*f4*f9+53185*f4*f10+38450*f4*f11+37546*f4*f13+46648*f4*f0+48695*f4*f1+35032*f4*f2+36219*f4*f17+36196*f4*f18+7021*f4*f19+19355*f4*f20+29870*f4*f21+64627*f4*f14+1852*f4*f15+46193*f4*f16+59132*f5^2+38102*f5*f6+10828*f5*f7+51895*f5*f8+38208*f5*f9+23541*f5*f10+18095*f5*f11+47932*f5*f13+20286*f5*f0+52643*f5*f1+25128*f5*f2+11491*f5*f17+22886*f5*f18+19405*f5*f19+22845*f5*f20+23158*f5*f21+48029*f5*f14+60716*f5*f15+21050*f5*f16+56485*f6^2+27363*f6*f7+45807*f6*f8+39507*f6*f9+42280*f6*f10+63734*f6*f11+19960*f6*f13+28032*f6*f0+54366*f6*f1+52482*f6*f2+42382*f6*f17+26653*f6*f18+29581*f6*f19+29769*f6*f20+5981*f6*f21+12588*f6*f14+29481*f6*f15+35375*f6*f16+8650*f7^2+1245*f7*f8+13325*f7*f9+20674*f7*f10+56987*f7*f11+50323*f12^2+35377*f12*f3+20600*f12*f4+43036*f12*f5+65021*f12*f6+56388*f12*f7+16232*f12*f8+49481*f12*f9+7967*f12*f10+32594*f12*f11+64094*f12*f13+23611*f12*f0+32450*f12*f1+39403*f12*f2+2383*f12*f17+32415*f12*f18+49105*f12*f19+28553*f12*f20, 61446*f12+12675*f0+39940*f1+57133*f2+33281*f3+46236*f4+10167*f5+58973*f6+31135*f7+26471*f8+53758*f9+28990*f10+9244*f11+44828*f13+7458*f14+43135*f15+11625*f16+26948*f17+30949*f18+29286*f19+21362*f20+34435*f21+25814*f14^2+58408*f14*f15+4543*f14*f16+60703*f15^2+3219*f15*f16+9763*f16^2+61939*f17*f19+32338*f17*f20+50542*f17*f21+30353*f17*f14+42959*f17*f15+7347*f17*f16+20493*f18^2+55230*f18*f19+62571*f18*f20+39721*f18*f21+58085*f18*f14+56490*f18*f15+21843*f18*f16+53212*f19^2+44561*f19*f20+36568*f19*f21+42030*f19*f14+27031*f19*f15+12630*f19*f16+55812*f20^2+1289*f20*f21+38095*f20*f14+57515*f20*f15+31149*f20*f16+5722*f21^2+56696*f21*f14+52324*f21*f15+32070*f21*f16+50323*f13^2+8582*f13*f0+23611*f13*f1+32450*f13*f2+46122*f13*f17+2383*f13*f18+32415*f13*f19+49105*f13*f20+28553*f13*f21+64094*f13*f14+57278*f13*f15+55862*f13*f16+16033*f0^2+44047*f0*f1+14349*f0*f2+21092*f0*f17+185*f0*f18+30650*f0*f19+22147*f0*f20+5428*f0*f21+34070*f0*f14+63431*f0*f15+35215*f0*f16+57684*f1^2+10615*f1*f2+61870*f1*f17+17741*f1*f18+18918*f1*f19+58744*f1*f20+41822*f1*f21+18084*f1*f14+48447*f1*f15+21821*f1*f16+43354*f2^2+9422*f2*f17+58165*f2*f18+41142*f2*f19+26459*f2*f20+60811*f2*f21+8025*f2*f14+54018*f2*f15+56894*f2*f16+46190*f17^2+17990*f17*f18+65021*f7*f13+5981*f7*f0+28032*f7*f1+54366*f7*f2+35375*f7*f17+42382*f7*f18+26653*f7*f19+29581*f7*f20+29769*f7*f21+19960*f7*f14+12588*f7*f15+29481*f7*f16+8650*f8^2+1245*f8*f9+13325*f8*f10+20674*f8*f11+56388*f8*f13+29437*f8*f0+25984*f8*f1+53978*f8*f2+23532*f8*f17+56608*f8*f18+51884*f8*f19+59974*f8*f20+33866*f8*f21+44784*f8*f14+33172*f8*f15+36287*f8*f16+45083*f9^2+49069*f9*f10+18539*f9*f11+16232*f9*f13+10455*f9*f0+23269*f9*f1+13223*f9*f2+7289*f9*f17+62373*f9*f18+20596*f9*f19+55394*f9*f20+15632*f9*f21+29915*f9*f14+19325*f9*f15+11137*f9*f16+5557*f10^2+22162*f10*f11+49481*f10*f13+48855*f10*f0+51772*f10*f1+33825*f10*f2+2624*f10*f17+47382*f10*f18+36560*f10*f19+21808*f10*f20+58032*f10*f21+9163*f10*f14+65248*f10*f15+63772*f10*f16+29994*f11^2+7967*f11*f13+47526*f11*f0+31097*f11*f1+17261*f11*f2+9505*f11*f17+4676*f11*f18+422*f11*f19+13190*f11*f20+27949*f11*f21+5548*f11*f14+37736*f11*f15+61005*f11*f16+18527*f12*f21+45652*f12*f14+36105*f12*f15+65213*f12*f16+22823*f3^2+30468*f3*f4+35032*f3*f5+25128*f3*f6+52482*f3*f7+28936*f3*f8+19247*f3*f9+60473*f3*f10+15479*f3*f11+39403*f3*f13+53864*f3*f0+18765*f3*f1+58359*f3*f2+56615*f3*f17+33873*f3*f18+9911*f3*f19+14671*f3*f20+4969*f3*f21+45673*f3*f14+46198*f3*f15+18440*f3*f16+5308*f4^2+2606*f4*f5+42631*f4*f6+30394*f4*f7+34744*f4*f8+46962*f4*f9+57385*f4*f10+7085*f4*f11+35377*f4*f13+54567*f4*f0+60018*f4*f1+17758*f4*f2+59570*f4*f17+32643*f4*f18+23564*f4*f19+30057*f4*f20+64339*f4*f21+4768*f4*f14+64639*f4*f15+22955*f4*f16+24829*f5^2+50451*f5*f6+24737*f5*f7+27111*f5*f8+33388*f5*f9+34776*f5*f10+53185*f5*f11+20600*f5*f13+29870*f5*f0+46648*f5*f1+48695*f5*f2+46193*f5*f17+36219*f5*f18+36196*f5*f19+7021*f5*f20+19355*f5*f21+37546*f5*f14+64627*f5*f15+1852*f5*f16+59132*f6^2+38102*f6*f7+10828*f6*f8+51895*f6*f9+38208*f6*f10+23541*f6*f11+43036*f6*f13+23158*f6*f0+20286*f6*f1+52643*f6*f2+21050*f6*f17+11491*f6*f18+22886*f6*f19+19405*f6*f20+22845*f6*f21+47932*f6*f14+48029*f6*f15+60716*f6*f16+56485*f7^2+27363*f7*f8+45807*f7*f9+39507*f7*f10+42280*f7*f11+57248*f12^2+3535*f12*f3+63015*f12*f4+38450*f12*f5+18095*f12*f6+63734*f12*f7+56987*f12*f8+59508*f12*f9+50604*f12*f10+24872*f12*f11+32594*f12*f13+53802*f12*f0+34386*f12*f1+8814*f12*f2+6392*f12*f17+32865*f12*f18+60344*f12*f19+43552*f12*f20, 9244*f12+34435*f0+12675*f1+39940*f2+57133*f3+33281*f4+46236*f5+10167*f6+58973*f7+31135*f8+26471*f9+53758*f10+28990*f11+61446*f13+44828*f14+7458*f15+43135*f16+11625*f17+26948*f18+30949*f19+29286*f20+21362*f21+50323*f14^2+64094*f14*f15+57278*f14*f16+25814*f15^2+58408*f15*f16+60703*f16^2+21843*f17*f19+12630*f17*f20+31149*f17*f21+55862*f17*f14+4543*f17*f15+3219*f17*f16+46190*f18^2+17990*f18*f19+61939*f18*f20+32338*f18*f21+46122*f18*f14+30353*f18*f15+42959*f18*f16+20493*f19^2+55230*f19*f20+62571*f19*f21+2383*f19*f14+58085*f19*f15+56490*f19*f16+53212*f20^2+44561*f20*f21+32415*f20*f14+42030*f20*f15+27031*f20*f16+55812*f21^2+49105*f21*f14+38095*f21*f15+57515*f21*f16+57248*f13^2+18527*f13*f0+53802*f13*f1+34386*f13*f2+65213*f13*f17+6392*f13*f18+32865*f13*f19+60344*f13*f20+43552*f13*f21+32594*f13*f14+45652*f13*f15+36105*f13*f16+5722*f0^2+5428*f0*f1+41822*f0*f2+32070*f0*f17+50542*f0*f18+39721*f0*f19+36568*f0*f20+1289*f0*f21+28553*f0*f14+56696*f0*f15+52324*f0*f16+16033*f1^2+44047*f1*f2+35215*f1*f17+21092*f1*f18+185*f1*f19+30650*f1*f20+22147*f1*f21+8582*f1*f14+34070*f1*f15+63431*f1*f16+57684*f2^2+21821*f2*f17+61870*f2*f18+17741*f2*f19+18918*f2*f20+58744*f2*f21+23611*f2*f14+18084*f2*f15+48447*f2*f16+9763*f17^2+7347*f17*f18+18095*f7*f13+22845*f7*f0+23158*f7*f1+20286*f7*f2+60716*f7*f17+21050*f7*f18+11491*f7*f19+22886*f7*f20+19405*f7*f21+43036*f7*f14+47932*f7*f15+48029*f7*f16+56485*f8^2+27363*f8*f9+45807*f8*f10+39507*f8*f11+63734*f8*f13+29769*f8*f0+5981*f8*f1+28032*f8*f2+29481*f8*f17+35375*f8*f18+42382*f8*f19+26653*f8*f20+29581*f8*f21+65021*f8*f14+19960*f8*f15+12588*f8*f16+8650*f9^2+1245*f9*f10+13325*f9*f11+56987*f9*f13+33866*f9*f0+29437*f9*f1+25984*f9*f2+36287*f9*f17+23532*f9*f18+56608*f9*f19+51884*f9*f20+59974*f9*f21+56388*f9*f14+44784*f9*f15+33172*f9*f16+45083*f10^2+49069*f10*f11+59508*f10*f13+15632*f10*f0+10455*f10*f1+23269*f10*f2+11137*f10*f17+7289*f10*f18+62373*f10*f19+20596*f10*f20+55394*f10*f21+16232*f10*f14+29915*f10*f15+19325*f10*f16+5557*f11^2+50604*f11*f13+58032*f11*f0+48855*f11*f1+51772*f11*f2+63772*f11*f17+2624*f11*f18+47382*f11*f19+36560*f11*f20+21808*f11*f21+49481*f11*f14+9163*f11*f15+65248*f11*f16+13190*f12*f21+7967*f12*f14+5548*f12*f15+37736*f12*f16+43354*f3^2+58359*f3*f4+17758*f3*f5+48695*f3*f6+52643*f3*f7+54366*f3*f8+53978*f3*f9+13223*f3*f10+33825*f3*f11+8814*f3*f13+60811*f3*f0+14349*f3*f1+10615*f3*f2+56894*f3*f17+9422*f3*f18+58165*f3*f19+41142*f3*f20+26459*f3*f21+32450*f3*f14+8025*f3*f15+54018*f3*f16+22823*f4^2+30468*f4*f5+35032*f4*f6+25128*f4*f7+52482*f4*f8+28936*f4*f9+19247*f4*f10+60473*f4*f11+3535*f4*f13+4969*f4*f0+53864*f4*f1+18765*f4*f2+18440*f4*f17+56615*f4*f18+33873*f4*f19+9911*f4*f20+14671*f4*f21+39403*f4*f14+45673*f4*f15+46198*f4*f16+5308*f5^2+2606*f5*f6+42631*f5*f7+30394*f5*f8+34744*f5*f9+46962*f5*f10+57385*f5*f11+63015*f5*f13+64339*f5*f0+54567*f5*f1+60018*f5*f2+22955*f5*f17+59570*f5*f18+32643*f5*f19+23564*f5*f20+30057*f5*f21+35377*f5*f14+4768*f5*f15+64639*f5*f16+24829*f6^2+50451*f6*f7+24737*f6*f8+27111*f6*f9+33388*f6*f10+34776*f6*f11+38450*f6*f13+19355*f6*f0+29870*f6*f1+46648*f6*f2+1852*f6*f17+46193*f6*f18+36219*f6*f19+36196*f6*f20+7021*f6*f21+20600*f6*f14+37546*f6*f15+64627*f6*f16+59132*f7^2+38102*f7*f8+10828*f7*f9+51895*f7*f10+38208*f7*f11+29994*f12^2+17261*f12*f3+15479*f12*f4+7085*f12*f5+53185*f12*f6+23541*f12*f7+42280*f12*f8+20674*f12*f9+18539*f12*f10+22162*f12*f11+24872*f12*f13+27949*f12*f0+47526*f12*f1+31097*f12*f2+61005*f12*f17+9505*f12*f18+4676*f12*f19+422*f12*f20, 28990*f12+21362*f0+34435*f1+12675*f2+39940*f3+57133*f4+33281*f5+46236*f6+10167*f7+58973*f8+31135*f9+26471*f10+53758*f11+9244*f13+61446*f14+44828*f15+7458*f16+43135*f17+11625*f18+26948*f19+30949*f20+29286*f21+57248*f14^2+32594*f14*f15+45652*f14*f16+50323*f15^2+64094*f15*f16+25814*f16^2+42959*f17*f19+56490*f17*f20+27031*f17*f21+36105*f17*f14+57278*f17*f15+58408*f17*f16+9763*f18^2+7347*f18*f19+21843*f18*f20+12630*f18*f21+65213*f18*f14+55862*f18*f15+4543*f18*f16+46190*f19^2+17990*f19*f20+61939*f19*f21+6392*f19*f14+46122*f19*f15+30353*f19*f16+20493*f20^2+55230*f20*f21+32865*f20*f14+2383*f20*f15+58085*f20*f16+53212*f21^2+60344*f21*f14+32415*f21*f15+42030*f21*f16+29994*f13^2+13190*f13*f0+27949*f13*f1+47526*f13*f2+37736*f13*f17+61005*f13*f18+9505*f13*f19+4676*f13*f20+422*f13*f21+24872*f13*f14+7967*f13*f15+5548*f13*f16+55812*f0^2+1289*f0*f1+22147*f0*f2+57515*f0*f17+31149*f0*f18+32338*f0*f19+62571*f0*f20+44561*f0*f21+43552*f0*f14+49105*f0*f15+38095*f0*f16+5722*f1^2+5428*f1*f2+52324*f1*f17+32070*f1*f18+50542*f1*f19+39721*f1*f20+36568*f1*f21+18527*f1*f14+28553*f1*f15+56696*f1*f16+16033*f2^2+63431*f2*f17+35215*f2*f18+21092*f2*f19+185*f2*f20+30650*f2*f21+53802*f2*f14+8582*f2*f15+34070*f2*f16+60703*f17^2+3219*f17*f18+53185*f7*f13+7021*f7*f0+19355*f7*f1+29870*f7*f2+64627*f7*f17+1852*f7*f18+46193*f7*f19+36219*f7*f20+36196*f7*f21+38450*f7*f14+20600*f7*f15+37546*f7*f16+59132*f8^2+38102*f8*f9+10828*f8*f10+51895*f8*f11+23541*f8*f13+19405*f8*f0+22845*f8*f1+23158*f8*f2+48029*f8*f17+60716*f8*f18+21050*f8*f19+11491*f8*f20+22886*f8*f21+18095*f8*f14+43036*f8*f15+47932*f8*f16+56485*f9^2+27363*f9*f10+45807*f9*f11+42280*f9*f13+29581*f9*f0+29769*f9*f1+5981*f9*f2+12588*f9*f17+29481*f9*f18+35375*f9*f19+42382*f9*f20+26653*f9*f21+63734*f9*f14+65021*f9*f15+19960*f9*f16+8650*f10^2+1245*f10*f11+20674*f10*f13+59974*f10*f0+33866*f10*f1+29437*f10*f2+33172*f10*f17+36287*f10*f18+23532*f10*f19+56608*f10*f20+51884*f10*f21+56987*f10*f14+56388*f10*f15+44784*f10*f16+45083*f11^2+18539*f11*f13+55394*f11*f0+15632*f11*f1+10455*f11*f2+19325*f11*f17+11137*f11*f18+7289*f11*f19+62373*f11*f20+20596*f11*f21+59508*f11*f14+16232*f11*f15+29915*f11*f16+36560*f12*f21+50604*f12*f14+49481*f12*f15+9163*f12*f16+57684*f3^2+10615*f3*f4+18765*f3*f5+60018*f3*f6+46648*f3*f7+20286*f3*f8+28032*f3*f9+25984*f3*f10+23269*f3*f11+31097*f3*f13+58744*f3*f0+41822*f3*f1+44047*f3*f2+48447*f3*f17+21821*f3*f18+61870*f3*f19+17741*f3*f20+18918*f3*f21+34386*f3*f14+23611*f3*f15+18084*f3*f16+43354*f4^2+58359*f4*f5+17758*f4*f6+48695*f4*f7+52643*f4*f8+54366*f4*f9+53978*f4*f10+13223*f4*f11+17261*f4*f13+26459*f4*f0+60811*f4*f1+14349*f4*f2+54018*f4*f17+56894*f4*f18+9422*f4*f19+58165*f4*f20+41142*f4*f21+8814*f4*f14+32450*f4*f15+8025*f4*f16+22823*f5^2+30468*f5*f6+35032*f5*f7+25128*f5*f8+52482*f5*f9+28936*f5*f10+19247*f5*f11+15479*f5*f13+14671*f5*f0+4969*f5*f1+53864*f5*f2+46198*f5*f17+18440*f5*f18+56615*f5*f19+33873*f5*f20+9911*f5*f21+3535*f5*f14+39403*f5*f15+45673*f5*f16+5308*f6^2+2606*f6*f7+42631*f6*f8+30394*f6*f9+34744*f6*f10+46962*f6*f11+7085*f6*f13+30057*f6*f0+64339*f6*f1+54567*f6*f2+64639*f6*f17+22955*f6*f18+59570*f6*f19+32643*f6*f20+23564*f6*f21+63015*f6*f14+35377*f6*f15+4768*f6*f16+24829*f7^2+50451*f7*f8+24737*f7*f9+27111*f7*f10+33388*f7*f11+5557*f12^2+51772*f12*f3+33825*f12*f4+60473*f12*f5+57385*f12*f6+34776*f12*f7+38208*f12*f8+39507*f12*f9+13325*f12*f10+49069*f12*f11+22162*f12*f13+21808*f12*f0+58032*f12*f1+48855*f12*f2+65248*f12*f17+63772*f12*f18+2624*f12*f19+47382*f12*f20, 53758*f12+29286*f0+21362*f1+34435*f2+12675*f3+39940*f4+57133*f5+33281*f6+46236*f7+10167*f8+58973*f9+31135*f10+26471*f11+28990*f13+9244*f14+61446*f15+44828*f16+7458*f17+43135*f18+11625*f19+26948*f20+30949*f21+29994*f14^2+24872*f14*f15+7967*f14*f16+57248*f15^2+32594*f15*f16+50323*f16^2+4543*f17*f19+30353*f17*f20+58085*f17*f21+5548*f17*f14+45652*f17*f15+64094*f17*f16+60703*f18^2+3219*f18*f19+42959*f18*f20+56490*f18*f21+37736*f18*f14+36105*f18*f15+57278*f18*f16+9763*f19^2+7347*f19*f20+21843*f19*f21+61005*f19*f14+65213*f19*f15+55862*f19*f16+46190*f20^2+17990*f20*f21+9505*f20*f14+6392*f20*f15+46122*f20*f16+20493*f21^2+4676*f21*f14+32865*f21*f15+2383*f21*f16+5557*f13^2+36560*f13*f0+21808*f13*f1+58032*f13*f2+9163*f13*f17+65248*f13*f18+63772*f13*f19+2624*f13*f20+47382*f13*f21+22162*f13*f14+50604*f13*f15+49481*f13*f16+53212*f0^2+44561*f0*f1+36568*f0*f2+42030*f0*f17+27031*f0*f18+12630*f0*f19+61939*f0*f20+55230*f0*f21+422*f0*f14+60344*f0*f15+32415*f0*f16+55812*f1^2+1289*f1*f2+38095*f1*f17+57515*f1*f18+31149*f1*f19+32338*f1*f20+62571*f1*f21+13190*f1*f14+43552*f1*f15+49105*f1*f16+5722*f2^2+56696*f2*f17+52324*f2*f18+32070*f2*f19+50542*f2*f20+39721*f2*f21+27949*f2*f14+18527*f2*f15+28553*f2*f16+25814*f17^2+58408*f17*f18+57385*f7*f13+23564*f7*f0+30057*f7*f1+64339*f7*f2+4768*f7*f17+64639*f7*f18+22955*f7*f19+59570*f7*f20+32643*f7*f21+7085*f7*f14+63015*f7*f15+35377*f7*f16+24829*f8^2+50451*f8*f9+24737*f8*f10+27111*f8*f11+34776*f8*f13+36196*f8*f0+7021*f8*f1+19355*f8*f2+37546*f8*f17+64627*f8*f18+1852*f8*f19+46193*f8*f20+36219*f8*f21+53185*f8*f14+38450*f8*f15+20600*f8*f16+59132*f9^2+38102*f9*f10+10828*f9*f11+38208*f9*f13+22886*f9*f0+19405*f9*f1+22845*f9*f2+47932*f9*f17+48029*f9*f18+60716*f9*f19+21050*f9*f20+11491*f9*f21+23541*f9*f14+18095*f9*f15+43036*f9*f16+56485*f10^2+27363*f10*f11+39507*f10*f13+26653*f10*f0+29581*f10*f1+29769*f10*f2+19960*f10*f17+12588*f10*f18+29481*f10*f19+35375*f10*f20+42382*f10*f21+42280*f10*f14+63734*f10*f15+65021*f10*f16+8650*f11^2+13325*f11*f13+51884*f11*f0+59974*f11*f1+33866*f11*f2+44784*f11*f17+33172*f11*f18+36287*f11*f19+23532*f11*f20+56608*f11*f21+20674*f11*f14+56987*f11*f15+56388*f11*f16+62373*f12*f21+18539*f12*f14+59508*f12*f15+16232*f12*f16+16033*f3^2+44047*f3*f4+14349*f3*f5+53864*f3*f6+54567*f3*f7+29870*f3*f8+23158*f3*f9+5981*f3*f10+29437*f3*f11+48855*f3*f13+30650*f3*f0+22147*f3*f1+5428*f3*f2+34070*f3*f17+63431*f3*f18+35215*f3*f19+21092*f3*f20+185*f3*f21+47526*f3*f14+53802*f3*f15+8582*f3*f16+57684*f4^2+10615*f4*f5+18765*f4*f6+60018*f4*f7+46648*f4*f8+20286*f4*f9+28032*f4*f10+25984*f4*f11+51772*f4*f13+18918*f4*f0+58744*f4*f1+41822*f4*f2+18084*f4*f17+48447*f4*f18+21821*f4*f19+61870*f4*f20+17741*f4*f21+31097*f4*f14+34386*f4*f15+23611*f4*f16+43354*f5^2+58359*f5*f6+17758*f5*f7+48695*f5*f8+52643*f5*f9+54366*f5*f10+53978*f5*f11+33825*f5*f13+41142*f5*f0+26459*f5*f1+60811*f5*f2+8025*f5*f17+54018*f5*f18+56894*f5*f19+9422*f5*f20+58165*f5*f21+17261*f5*f14+8814*f5*f15+32450*f5*f16+22823*f6^2+30468*f6*f7+35032*f6*f8+25128*f6*f9+52482*f6*f10+28936*f6*f11+60473*f6*f13+9911*f6*f0+14671*f6*f1+4969*f6*f2+45673*f6*f17+46198*f6*f18+18440*f6*f19+56615*f6*f20+33873*f6*f21+15479*f6*f14+3535*f6*f15+39403*f6*f16+5308*f7^2+2606*f7*f8+42631*f7*f9+30394*f7*f10+34744*f7*f11+45083*f12^2+10455*f12*f3+23269*f12*f4+13223*f12*f5+19247*f12*f6+46962*f12*f7+33388*f12*f8+51895*f12*f9+45807*f12*f10+1245*f12*f11+49069*f12*f13+20596*f12*f0+55394*f12*f1+15632*f12*f2+29915*f12*f17+19325*f12*f18+11137*f12*f19+7289*f12*f20, 26471*f12+30949*f0+29286*f1+21362*f2+34435*f3+12675*f4+39940*f5+57133*f6+33281*f7+46236*f8+10167*f9+58973*f10+31135*f11+53758*f13+28990*f14+9244*f15+61446*f16+44828*f17+7458*f18+43135*f19+11625*f20+26948*f21+5557*f14^2+22162*f14*f15+50604*f14*f16+29994*f15^2+24872*f15*f16+57248*f16^2+57278*f17*f19+55862*f17*f20+46122*f17*f21+49481*f17*f14+7967*f17*f15+32594*f17*f16+25814*f18^2+58408*f18*f19+4543*f18*f20+30353*f18*f21+9163*f18*f14+5548*f18*f15+45652*f18*f16+60703*f19^2+3219*f19*f20+42959*f19*f21+65248*f19*f14+37736*f19*f15+36105*f19*f16+9763*f20^2+7347*f20*f21+63772*f20*f14+61005*f20*f15+65213*f20*f16+46190*f21^2+2624*f21*f14+9505*f21*f15+6392*f21*f16+45083*f13^2+62373*f13*f0+20596*f13*f1+55394*f13*f2+16232*f13*f17+29915*f13*f18+19325*f13*f19+11137*f13*f20+7289*f13*f21+49069*f13*f14+18539*f13*f15+59508*f13*f16+20493*f0^2+55230*f0*f1+62571*f0*f2+2383*f0*f17+58085*f0*f18+56490*f0*f19+21843*f0*f20+17990*f0*f21+47382*f0*f14+4676*f0*f15+32865*f0*f16+53212*f1^2+44561*f1*f2+32415*f1*f17+42030*f1*f18+27031*f1*f19+12630*f1*f20+61939*f1*f21+36560*f1*f14+422*f1*f15+60344*f1*f16+55812*f2^2+49105*f2*f17+38095*f2*f18+57515*f2*f19+31149*f2*f20+32338*f2*f21+21808*f2*f14+13190*f2*f15+43552*f2*f16+50323*f17^2+64094*f17*f18+19247*f7*f13+33873*f7*f0+9911*f7*f1+14671*f7*f2+39403*f7*f17+45673*f7*f18+46198*f7*f19+18440*f7*f20+56615*f7*f21+60473*f7*f14+15479*f7*f15+3535*f7*f16+5308*f8^2+2606*f8*f9+42631*f8*f10+30394*f8*f11+46962*f8*f13+32643*f8*f0+23564*f8*f1+30057*f8*f2+35377*f8*f17+4768*f8*f18+64639*f8*f19+22955*f8*f20+59570*f8*f21+57385*f8*f14+7085*f8*f15+63015*f8*f16+24829*f9^2+50451*f9*f10+24737*f9*f11+33388*f9*f13+36219*f9*f0+36196*f9*f1+7021*f9*f2+20600*f9*f17+37546*f9*f18+64627*f9*f19+1852*f9*f20+46193*f9*f21+34776*f9*f14+53185*f9*f15+38450*f9*f16+59132*f10^2+38102*f10*f11+51895*f10*f13+11491*f10*f0+22886*f10*f1+19405*f10*f2+43036*f10*f17+47932*f10*f18+48029*f10*f19+60716*f10*f20+21050*f10*f21+38208*f10*f14+23541*f10*f15+18095*f10*f16+56485*f11^2+45807*f11*f13+42382*f11*f0+26653*f11*f1+29581*f11*f2+65021*f11*f17+19960*f11*f18+12588*f11*f19+29481*f11*f20+35375*f11*f21+39507*f11*f14+42280*f11*f15+63734*f11*f16+23532*f12*f21+13325*f12*f14+20674*f12*f15+56987*f12*f16+5722*f3^2+5428*f3*f4+41822*f3*f5+60811*f3*f6+4969*f3*f7+64339*f3*f8+19355*f3*f9+22845*f3*f10+29769*f3*f11+15632*f3*f13+39721*f3*f0+36568*f3*f1+1289*f3*f2+28553*f3*f17+56696*f3*f18+52324*f3*f19+32070*f3*f20+50542*f3*f21+58032*f3*f14+27949*f3*f15+18527*f3*f16+16033*f4^2+44047*f4*f5+14349*f4*f6+53864*f4*f7+54567*f4*f8+29870*f4*f9+23158*f4*f10+5981*f4*f11+10455*f4*f13+185*f4*f0+30650*f4*f1+22147*f4*f2+8582*f4*f17+34070*f4*f18+63431*f4*f19+35215*f4*f20+21092*f4*f21+48855*f4*f14+47526*f4*f15+53802*f4*f16+57684*f5^2+10615*f5*f6+18765*f5*f7+60018*f5*f8+46648*f5*f9+20286*f5*f10+28032*f5*f11+23269*f5*f13+17741*f5*f0+18918*f5*f1+58744*f5*f2+23611*f5*f17+18084*f5*f18+48447*f5*f19+21821*f5*f20+61870*f5*f21+51772*f5*f14+31097*f5*f15+34386*f5*f16+43354*f6^2+58359*f6*f7+17758*f6*f8+48695*f6*f9+52643*f6*f10+54366*f6*f11+13223*f6*f13+58165*f6*f0+41142*f6*f1+26459*f6*f2+32450*f6*f17+8025*f6*f18+54018*f6*f19+56894*f6*f20+9422*f6*f21+33825*f6*f14+17261*f6*f15+8814*f6*f16+22823*f7^2+30468*f7*f8+35032*f7*f9+25128*f7*f10+52482*f7*f11+8650*f12^2+33866*f12*f3+29437*f12*f4+25984*f12*f5+53978*f12*f6+28936*f12*f7+34744*f12*f8+27111*f12*f9+10828*f12*f10+27363*f12*f11+1245*f12*f13+56608*f12*f0+51884*f12*f1+59974*f12*f2+56388*f12*f17+44784*f12*f18+33172*f12*f19+36287*f12*f20, 31135*f12+26948*f0+30949*f1+29286*f2+21362*f3+34435*f4+12675*f5+39940*f6+57133*f7+33281*f8+46236*f9+10167*f10+58973*f11+26471*f13+53758*f14+28990*f15+9244*f16+61446*f17+44828*f18+7458*f19+43135*f20+11625*f21+45083*f14^2+49069*f14*f15+18539*f14*f16+5557*f15^2+22162*f15*f16+29994*f16^2+45652*f17*f19+36105*f17*f20+65213*f17*f21+59508*f17*f14+50604*f17*f15+24872*f17*f16+50323*f18^2+64094*f18*f19+57278*f18*f20+55862*f18*f21+16232*f18*f14+49481*f18*f15+7967*f18*f16+25814*f19^2+58408*f19*f20+4543*f19*f21+29915*f19*f14+9163*f19*f15+5548*f19*f16+60703*f20^2+3219*f20*f21+19325*f20*f14+65248*f20*f15+37736*f20*f16+9763*f21^2+11137*f21*f14+63772*f21*f15+61005*f21*f16+8650*f13^2+23532*f13*f0+56608*f13*f1+51884*f13*f2+56987*f13*f17+56388*f13*f18+44784*f13*f19+33172*f13*f20+36287*f13*f21+1245*f13*f14+13325*f13*f15+20674*f13*f16+46190*f0^2+17990*f0*f1+61939*f0*f2+6392*f0*f17+46122*f0*f18+30353*f0*f19+42959*f0*f20+7347*f0*f21+7289*f0*f14+2624*f0*f15+9505*f0*f16+20493*f1^2+55230*f1*f2+32865*f1*f17+2383*f1*f18+58085*f1*f19+56490*f1*f20+21843*f1*f21+62373*f1*f14+47382*f1*f15+4676*f1*f16+53212*f2^2+60344*f2*f17+32415*f2*f18+42030*f2*f19+27031*f2*f20+12630*f2*f21+20596*f2*f14+36560*f2*f15+422*f2*f16+57248*f17^2+32594*f17*f18+53978*f7*f13+9422*f7*f0+58165*f7*f1+41142*f7*f2+8814*f7*f17+32450*f7*f18+8025*f7*f19+54018*f7*f20+56894*f7*f21+13223*f7*f14+33825*f7*f15+17261*f7*f16+22823*f8^2+30468*f8*f9+35032*f8*f10+25128*f8*f11+28936*f8*f13+56615*f8*f0+33873*f8*f1+9911*f8*f2+3535*f8*f17+39403*f8*f18+45673*f8*f19+46198*f8*f20+18440*f8*f21+19247*f8*f14+60473*f8*f15+15479*f8*f16+5308*f9^2+2606*f9*f10+42631*f9*f11+34744*f9*f13+59570*f9*f0+32643*f9*f1+23564*f9*f2+63015*f9*f17+35377*f9*f18+4768*f9*f19+64639*f9*f20+22955*f9*f21+46962*f9*f14+57385*f9*f15+7085*f9*f16+24829*f10^2+50451*f10*f11+27111*f10*f13+46193*f10*f0+36219*f10*f1+36196*f10*f2+38450*f10*f17+20600*f10*f18+37546*f10*f19+64627*f10*f20+1852*f10*f21+33388*f10*f14+34776*f10*f15+53185*f10*f16+59132*f11^2+10828*f11*f13+21050*f11*f0+11491*f11*f1+22886*f11*f2+18095*f11*f17+43036*f11*f18+47932*f11*f19+48029*f11*f20+60716*f11*f21+51895*f11*f14+38208*f11*f15+23541*f11*f16+29481*f12*f21+45807*f12*f14+39507*f12*f15+42280*f12*f16+55812*f3^2+1289*f3*f4+22147*f3*f5+58744*f3*f6+26459*f3*f7+14671*f3*f8+30057*f3*f9+7021*f3*f10+19405*f3*f11+59974*f3*f13+32338*f3*f0+62571*f3*f1+44561*f3*f2+43552*f3*f17+49105*f3*f18+38095*f3*f19+57515*f3*f20+31149*f3*f21+55394*f3*f14+21808*f3*f15+13190*f3*f16+5722*f4^2+5428*f4*f5+41822*f4*f6+60811*f4*f7+4969*f4*f8+64339*f4*f9+19355*f4*f10+22845*f4*f11+33866*f4*f13+50542*f4*f0+39721*f4*f1+36568*f4*f2+18527*f4*f17+28553*f4*f18+56696*f4*f19+52324*f4*f20+32070*f4*f21+15632*f4*f14+58032*f4*f15+27949*f4*f16+16033*f5^2+44047*f5*f6+14349*f5*f7+53864*f5*f8+54567*f5*f9+29870*f5*f10+23158*f5*f11+29437*f5*f13+21092*f5*f0+185*f5*f1+30650*f5*f2+53802*f5*f17+8582*f5*f18+34070*f5*f19+63431*f5*f20+35215*f5*f21+10455*f5*f14+48855*f5*f15+47526*f5*f16+57684*f6^2+10615*f6*f7+18765*f6*f8+60018*f6*f9+46648*f6*f10+20286*f6*f11+25984*f6*f13+61870*f6*f0+17741*f6*f1+18918*f6*f2+34386*f6*f17+23611*f6*f18+18084*f6*f19+48447*f6*f20+21821*f6*f21+23269*f6*f14+51772*f6*f15+31097*f6*f16+43354*f7^2+58359*f7*f8+17758*f7*f9+48695*f7*f10+52643*f7*f11+56485*f12^2+29581*f12*f3+29769*f12*f4+5981*f12*f5+28032*f12*f6+54366*f12*f7+52482*f12*f8+30394*f12*f9+24737*f12*f10+38102*f12*f11+27363*f12*f13+35375*f12*f0+42382*f12*f1+26653*f12*f2+63734*f12*f17+65021*f12*f18+19960*f12*f19+12588*f12*f20, 58973*f12+11625*f0+26948*f1+30949*f2+29286*f3+21362*f4+34435*f5+12675*f6+39940*f7+57133*f8+33281*f9+46236*f10+10167*f11+31135*f13+26471*f14+53758*f15+28990*f16+9244*f17+61446*f18+44828*f19+7458*f20+43135*f21+8650*f14^2+1245*f14*f15+13325*f14*f16+45083*f15^2+49069*f15*f16+5557*f16^2+7967*f17*f19+5548*f17*f20+37736*f17*f21+20674*f17*f14+18539*f17*f15+22162*f17*f16+57248*f18^2+32594*f18*f19+45652*f18*f20+36105*f18*f21+56987*f18*f14+59508*f18*f15+50604*f18*f16+50323*f19^2+64094*f19*f20+57278*f19*f21+56388*f19*f14+16232*f19*f15+49481*f19*f16+25814*f20^2+58408*f20*f21+44784*f20*f14+29915*f20*f15+9163*f20*f16+60703*f21^2+33172*f21*f14+19325*f21*f15+65248*f21*f16+56485*f13^2+29481*f13*f0+35375*f13*f1+42382*f13*f2+42280*f13*f17+63734*f13*f18+65021*f13*f19+19960*f13*f20+12588*f13*f21+27363*f13*f14+45807*f13*f15+39507*f13*f16+9763*f0^2+7347*f0*f1+21843*f0*f2+61005*f0*f17+65213*f0*f18+55862*f0*f19+4543*f0*f20+3219*f0*f21+36287*f0*f14+11137*f0*f15+63772*f0*f16+46190*f1^2+17990*f1*f2+9505*f1*f17+6392*f1*f18+46122*f1*f19+30353*f1*f20+42959*f1*f21+23532*f1*f14+7289*f1*f15+2624*f1*f16+20493*f2^2+4676*f2*f17+32865*f2*f18+2383*f2*f19+58085*f2*f20+56490*f2*f21+56608*f2*f14+62373*f2*f15+47382*f2*f16+29994*f17^2+24872*f17*f18+28032*f7*f13+21821*f7*f0+61870*f7*f1+17741*f7*f2+31097*f7*f17+34386*f7*f18+23611*f7*f19+18084*f7*f20+48447*f7*f21+25984*f7*f14+23269*f7*f15+51772*f7*f16+43354*f8^2+58359*f8*f9+17758*f8*f10+48695*f8*f11+54366*f8*f13+56894*f8*f0+9422*f8*f1+58165*f8*f2+17261*f8*f17+8814*f8*f18+32450*f8*f19+8025*f8*f20+54018*f8*f21+53978*f8*f14+13223*f8*f15+33825*f8*f16+22823*f9^2+30468*f9*f10+35032*f9*f11+52482*f9*f13+18440*f9*f0+56615*f9*f1+33873*f9*f2+15479*f9*f17+3535*f9*f18+39403*f9*f19+45673*f9*f20+46198*f9*f21+28936*f9*f14+19247*f9*f15+60473*f9*f16+5308*f10^2+2606*f10*f11+30394*f10*f13+22955*f10*f0+59570*f10*f1+32643*f10*f2+7085*f10*f17+63015*f10*f18+35377*f10*f19+4768*f10*f20+64639*f10*f21+34744*f10*f14+46962*f10*f15+57385*f10*f16+24829*f11^2+24737*f11*f13+1852*f11*f0+46193*f11*f1+36219*f11*f2+53185*f11*f17+38450*f11*f18+20600*f11*f19+37546*f11*f20+64627*f11*f21+27111*f11*f14+33388*f11*f15+34776*f11*f16+48029*f12*f21+10828*f12*f14+51895*f12*f15+38208*f12*f16+53212*f3^2+44561*f3*f4+36568*f3*f5+30650*f3*f6+18918*f3*f7+41142*f3*f8+9911*f3*f9+23564*f3*f10+36196*f3*f11+26653*f3*f13+12630*f3*f0+61939*f3*f1+55230*f3*f2+422*f3*f17+60344*f3*f18+32415*f3*f19+42030*f3*f20+27031*f3*f21+51884*f3*f14+20596*f3*f15+36560*f3*f16+55812*f4^2+1289*f4*f5+22147*f4*f6+58744*f4*f7+26459*f4*f8+14671*f4*f9+30057*f4*f10+7021*f4*f11+29581*f4*f13+31149*f4*f0+32338*f4*f1+62571*f4*f2+13190*f4*f17+43552*f4*f18+49105*f4*f19+38095*f4*f20+57515*f4*f21+59974*f4*f14+55394*f4*f15+21808*f4*f16+5722*f5^2+5428*f5*f6+41822*f5*f7+60811*f5*f8+4969*f5*f9+64339*f5*f10+19355*f5*f11+29769*f5*f13+32070*f5*f0+50542*f5*f1+39721*f5*f2+27949*f5*f17+18527*f5*f18+28553*f5*f19+56696*f5*f20+52324*f5*f21+33866*f5*f14+15632*f5*f15+58032*f5*f16+16033*f6^2+44047*f6*f7+14349*f6*f8+53864*f6*f9+54567*f6*f10+29870*f6*f11+5981*f6*f13+35215*f6*f0+21092*f6*f1+185*f6*f2+47526*f6*f17+53802*f6*f18+8582*f6*f19+34070*f6*f20+63431*f6*f21+29437*f6*f14+10455*f6*f15+48855*f6*f16+57684*f7^2+10615*f7*f8+18765*f7*f9+60018*f7*f10+46648*f7*f11+59132*f12^2+22886*f12*f3+19405*f12*f4+22845*f12*f5+23158*f12*f6+20286*f12*f7+52643*f12*f8+25128*f12*f9+42631*f12*f10+50451*f12*f11+38102*f12*f13+60716*f12*f0+21050*f12*f1+11491*f12*f2+23541*f12*f17+18095*f12*f18+43036*f12*f19+47932*f12*f20, 10167*f12+43135*f0+11625*f1+26948*f2+30949*f3+29286*f4+21362*f5+34435*f6+12675*f7+39940*f8+57133*f9+33281*f10+46236*f11+58973*f13+31135*f14+26471*f15+53758*f16+28990*f17+9244*f18+61446*f19+44828*f20+7458*f21+56485*f14^2+27363*f14*f15+45807*f14*f16+8650*f15^2+1245*f15*f16+45083*f16^2+50604*f17*f19+49481*f17*f20+9163*f17*f21+39507*f17*f14+13325*f17*f15+49069*f17*f16+29994*f18^2+24872*f18*f19+7967*f18*f20+5548*f18*f21+42280*f18*f14+20674*f18*f15+18539*f18*f16+57248*f19^2+32594*f19*f20+45652*f19*f21+63734*f19*f14+56987*f19*f15+59508*f19*f16+50323*f20^2+64094*f20*f21+65021*f20*f14+56388*f20*f15+16232*f20*f16+25814*f21^2+19960*f21*f14+44784*f21*f15+29915*f21*f16+59132*f13^2+48029*f13*f0+60716*f13*f1+21050*f13*f2+38208*f13*f17+23541*f13*f18+18095*f13*f19+43036*f13*f20+47932*f13*f21+38102*f13*f14+10828*f13*f15+51895*f13*f16+60703*f0^2+3219*f0*f1+42959*f0*f2+65248*f0*f17+37736*f0*f18+36105*f0*f19+57278*f0*f20+58408*f0*f21+12588*f0*f14+33172*f0*f15+19325*f0*f16+9763*f1^2+7347*f1*f2+63772*f1*f17+61005*f1*f18+65213*f1*f19+55862*f1*f20+4543*f1*f21+29481*f1*f14+36287*f1*f15+11137*f1*f16+46190*f2^2+2624*f2*f17+9505*f2*f18+6392*f2*f19+46122*f2*f20+30353*f2*f21+35375*f2*f14+23532*f2*f15+7289*f2*f16+5557*f17^2+22162*f17*f18+23158*f7*f13+63431*f7*f0+35215*f7*f1+21092*f7*f2+48855*f7*f17+47526*f7*f18+53802*f7*f19+8582*f7*f20+34070*f7*f21+5981*f7*f14+29437*f7*f15+10455*f7*f16+57684*f8^2+10615*f8*f9+18765*f8*f10+60018*f8*f11+20286*f8*f13+48447*f8*f0+21821*f8*f1+61870*f8*f2+51772*f8*f17+31097*f8*f18+34386*f8*f19+23611*f8*f20+18084*f8*f21+28032*f8*f14+25984*f8*f15+23269*f8*f16+43354*f9^2+58359*f9*f10+17758*f9*f11+52643*f9*f13+54018*f9*f0+56894*f9*f1+9422*f9*f2+33825*f9*f17+17261*f9*f18+8814*f9*f19+32450*f9*f20+8025*f9*f21+54366*f9*f14+53978*f9*f15+13223*f9*f16+22823*f10^2+30468*f10*f11+25128*f10*f13+46198*f10*f0+18440*f10*f1+56615*f10*f2+60473*f10*f17+15479*f10*f18+3535*f10*f19+39403*f10*f20+45673*f10*f21+52482*f10*f14+28936*f10*f15+19247*f10*f16+5308*f11^2+42631*f11*f13+64639*f11*f0+22955*f11*f1+59570*f11*f2+57385*f11*f17+7085*f11*f18+63015*f11*f19+35377*f11*f20+4768*f11*f21+30394*f11*f14+34744*f11*f15+46962*f11*f16+37546*f12*f21+24737*f12*f14+27111*f12*f15+33388*f12*f16+20493*f3^2+55230*f3*f4+62571*f3*f5+39721*f3*f6+185*f3*f7+17741*f3*f8+58165*f3*f9+33873*f3*f10+32643*f3*f11+11491*f3*f13+56490*f3*f0+21843*f3*f1+17990*f3*f2+47382*f3*f17+4676*f3*f18+32865*f3*f19+2383*f3*f20+58085*f3*f21+42382*f3*f14+56608*f3*f15+62373*f3*f16+53212*f4^2+44561*f4*f5+36568*f4*f6+30650*f4*f7+18918*f4*f8+41142*f4*f9+9911*f4*f10+23564*f4*f11+22886*f4*f13+27031*f4*f0+12630*f4*f1+61939*f4*f2+36560*f4*f17+422*f4*f18+60344*f4*f19+32415*f4*f20+42030*f4*f21+26653*f4*f14+51884*f4*f15+20596*f4*f16+55812*f5^2+1289*f5*f6+22147*f5*f7+58744*f5*f8+26459*f5*f9+14671*f5*f10+30057*f5*f11+19405*f5*f13+57515*f5*f0+31149*f5*f1+32338*f5*f2+21808*f5*f17+13190*f5*f18+43552*f5*f19+49105*f5*f20+38095*f5*f21+29581*f5*f14+59974*f5*f15+55394*f5*f16+5722*f6^2+5428*f6*f7+41822*f6*f8+60811*f6*f9+4969*f6*f10+64339*f6*f11+22845*f6*f13+52324*f6*f0+32070*f6*f1+50542*f6*f2+58032*f6*f17+27949*f6*f18+18527*f6*f19+28553*f6*f20+56696*f6*f21+29769*f6*f14+33866*f6*f15+15632*f6*f16+16033*f7^2+44047*f7*f8+14349*f7*f9+53864*f7*f10+54567*f7*f11+24829*f12^2+36219*f12*f3+36196*f12*f4+7021*f12*f5+19355*f12*f6+29870*f12*f7+46648*f12*f8+48695*f12*f9+35032*f12*f10+2606*f12*f11+50451*f12*f13+64627*f12*f0+1852*f12*f1+46193*f12*f2+34776*f12*f17+53185*f12*f18+38450*f12*f19+20600*f12*f20, 46236*f12+7458*f0+43135*f1+11625*f2+26948*f3+30949*f4+29286*f5+21362*f6+34435*f7+12675*f8+39940*f9+57133*f10+33281*f11+10167*f13+58973*f14+31135*f15+26471*f16+53758*f17+28990*f18+9244*f19+61446*f20+44828*f21+59132*f14^2+38102*f14*f15+10828*f14*f16+56485*f15^2+27363*f15*f16+8650*f16^2+18539*f17*f19+59508*f17*f20+16232*f17*f21+51895*f17*f14+45807*f17*f15+1245*f17*f16+5557*f18^2+22162*f18*f19+50604*f18*f20+49481*f18*f21+38208*f18*f14+39507*f18*f15+13325*f18*f16+29994*f19^2+24872*f19*f20+7967*f19*f21+23541*f19*f14+42280*f19*f15+20674*f19*f16+57248*f20^2+32594*f20*f21+18095*f20*f14+63734*f20*f15+56987*f20*f16+50323*f21^2+43036*f21*f14+65021*f21*f15+56388*f21*f16+24829*f13^2+37546*f13*f0+64627*f13*f1+1852*f13*f2+33388*f13*f17+34776*f13*f18+53185*f13*f19+38450*f13*f20+20600*f13*f21+50451*f13*f14+24737*f13*f15+27111*f13*f16+25814*f0^2+58408*f0*f1+4543*f0*f2+29915*f0*f17+9163*f0*f18+5548*f0*f19+45652*f0*f20+64094*f0*f21+47932*f0*f14+19960*f0*f15+44784*f0*f16+60703*f1^2+3219*f1*f2+19325*f1*f17+65248*f1*f18+37736*f1*f19+36105*f1*f20+57278*f1*f21+48029*f1*f14+12588*f1*f15+33172*f1*f16+9763*f2^2+11137*f2*f17+63772*f2*f18+61005*f2*f19+65213*f2*f20+55862*f2*f21+60716*f2*f14+29481*f2*f15+36287*f2*f16+45083*f17^2+49069*f17*f18+19355*f7*f13+56696*f7*f0+52324*f7*f1+32070*f7*f2+15632*f7*f17+58032*f7*f18+27949*f7*f19+18527*f7*f20+28553*f7*f21+22845*f7*f14+29769*f7*f15+33866*f7*f16+16033*f8^2+44047*f8*f9+14349*f8*f10+53864*f8*f11+29870*f8*f13+34070*f8*f0+63431*f8*f1+35215*f8*f2+10455*f8*f17+48855*f8*f18+47526*f8*f19+53802*f8*f20+8582*f8*f21+23158*f8*f14+5981*f8*f15+29437*f8*f16+57684*f9^2+10615*f9*f10+18765*f9*f11+46648*f9*f13+18084*f9*f0+48447*f9*f1+21821*f9*f2+23269*f9*f17+51772*f9*f18+31097*f9*f19+34386*f9*f20+23611*f9*f21+20286*f9*f14+28032*f9*f15+25984*f9*f16+43354*f10^2+58359*f10*f11+48695*f10*f13+8025*f10*f0+54018*f10*f1+56894*f10*f2+13223*f10*f17+33825*f10*f18+17261*f10*f19+8814*f10*f20+32450*f10*f21+52643*f10*f14+54366*f10*f15+53978*f10*f16+22823*f11^2+35032*f11*f13+45673*f11*f0+46198*f11*f1+18440*f11*f2+19247*f11*f17+60473*f11*f18+15479*f11*f19+3535*f11*f20+39403*f11*f21+25128*f11*f14+52482*f11*f15+28936*f11*f16+35377*f12*f21+42631*f12*f14+30394*f12*f15+34744*f12*f16+46190*f3^2+17990*f3*f4+61939*f3*f5+32338*f3*f6+50542*f3*f7+21092*f3*f8+61870*f3*f9+9422*f3*f10+56615*f3*f11+46193*f3*f13+30353*f3*f0+42959*f3*f1+7347*f3*f2+7289*f3*f17+2624*f3*f18+9505*f3*f19+6392*f3*f20+46122*f3*f21+21050*f3*f14+35375*f3*f15+23532*f3*f16+20493*f4^2+55230*f4*f5+62571*f4*f6+39721*f4*f7+185*f4*f8+17741*f4*f9+58165*f4*f10+33873*f4*f11+36219*f4*f13+58085*f4*f0+56490*f4*f1+21843*f4*f2+62373*f4*f17+47382*f4*f18+4676*f4*f19+32865*f4*f20+2383*f4*f21+11491*f4*f14+42382*f4*f15+56608*f4*f16+53212*f5^2+44561*f5*f6+36568*f5*f7+30650*f5*f8+18918*f5*f9+41142*f5*f10+9911*f5*f11+36196*f5*f13+42030*f5*f0+27031*f5*f1+12630*f5*f2+20596*f5*f17+36560*f5*f18+422*f5*f19+60344*f5*f20+32415*f5*f21+22886*f5*f14+26653*f5*f15+51884*f5*f16+55812*f6^2+1289*f6*f7+22147*f6*f8+58744*f6*f9+26459*f6*f10+14671*f6*f11+7021*f6*f13+38095*f6*f0+57515*f6*f1+31149*f6*f2+55394*f6*f17+21808*f6*f18+13190*f6*f19+43552*f6*f20+49105*f6*f21+19405*f6*f14+29581*f6*f15+59974*f6*f16+5722*f7^2+5428*f7*f8+41822*f7*f9+60811*f7*f10+4969*f7*f11+5308*f12^2+59570*f12*f3+32643*f12*f4+23564*f12*f5+30057*f12*f6+64339*f12*f7+54567*f12*f8+60018*f12*f9+17758*f12*f10+30468*f12*f11+2606*f12*f13+4768*f12*f0+64639*f12*f1+22955*f12*f2+46962*f12*f17+57385*f12*f18+7085*f12*f19+63015*f12*f20, 33281*f12+44828*f0+7458*f1+43135*f2+11625*f3+26948*f4+30949*f5+29286*f6+21362*f7+34435*f8+12675*f9+39940*f10+57133*f11+46236*f13+10167*f14+58973*f15+31135*f16+26471*f17+53758*f18+28990*f19+9244*f20+61446*f21+24829*f14^2+50451*f14*f15+24737*f14*f16+59132*f15^2+38102*f15*f16+56485*f16^2+13325*f17*f19+20674*f17*f20+56987*f17*f21+27111*f17*f14+10828*f17*f15+27363*f17*f16+45083*f18^2+49069*f18*f19+18539*f18*f20+59508*f18*f21+33388*f18*f14+51895*f18*f15+45807*f18*f16+5557*f19^2+22162*f19*f20+50604*f19*f21+34776*f19*f14+38208*f19*f15+39507*f19*f16+29994*f20^2+24872*f20*f21+53185*f20*f14+23541*f20*f15+42280*f20*f16+57248*f21^2+38450*f21*f14+18095*f21*f15+63734*f21*f16+5308*f13^2+35377*f13*f0+4768*f13*f1+64639*f13*f2+34744*f13*f17+46962*f13*f18+57385*f13*f19+7085*f13*f20+63015*f13*f21+2606*f13*f14+42631*f13*f15+30394*f13*f16+50323*f0^2+64094*f0*f1+57278*f0*f2+56388*f0*f17+16232*f0*f18+49481*f0*f19+7967*f0*f20+32594*f0*f21+20600*f0*f14+43036*f0*f15+65021*f0*f16+25814*f1^2+58408*f1*f2+44784*f1*f17+29915*f1*f18+9163*f1*f19+5548*f1*f20+45652*f1*f21+37546*f1*f14+47932*f1*f15+19960*f1*f16+60703*f2^2+33172*f2*f17+19325*f2*f18+65248*f2*f19+37736*f2*f20+36105*f2*f21+64627*f2*f14+48029*f2*f15+12588*f2*f16+8650*f17^2+1245*f17*f18+30057*f7*f13+49105*f7*f0+38095*f7*f1+57515*f7*f2+59974*f7*f17+55394*f7*f18+21808*f7*f19+13190*f7*f20+43552*f7*f21+7021*f7*f14+19405*f7*f15+29581*f7*f16+5722*f8^2+5428*f8*f9+41822*f8*f10+60811*f8*f11+64339*f8*f13+28553*f8*f0+56696*f8*f1+52324*f8*f2+33866*f8*f17+15632*f8*f18+58032*f8*f19+27949*f8*f20+18527*f8*f21+19355*f8*f14+22845*f8*f15+29769*f8*f16+16033*f9^2+44047*f9*f10+14349*f9*f11+54567*f9*f13+8582*f9*f0+34070*f9*f1+63431*f9*f2+29437*f9*f17+10455*f9*f18+48855*f9*f19+47526*f9*f20+53802*f9*f21+29870*f9*f14+23158*f9*f15+5981*f9*f16+57684*f10^2+10615*f10*f11+60018*f10*f13+23611*f10*f0+18084*f10*f1+48447*f10*f2+25984*f10*f17+23269*f10*f18+51772*f10*f19+31097*f10*f20+34386*f10*f21+46648*f10*f14+20286*f10*f15+28032*f10*f16+43354*f11^2+17758*f11*f13+32450*f11*f0+8025*f11*f1+54018*f11*f2+53978*f11*f17+13223*f11*f18+33825*f11*f19+17261*f11*f20+8814*f11*f21+48695*f11*f14+52643*f11*f15+54366*f11*f16+3535*f12*f21+35032*f12*f14+25128*f12*f15+52482*f12*f16+9763*f3^2+7347*f3*f4+21843*f3*f5+12630*f3*f6+31149*f3*f7+32070*f3*f8+35215*f3*f9+21821*f3*f10+56894*f3*f11+22955*f3*f13+55862*f3*f0+4543*f3*f1+3219*f3*f2+36287*f3*f17+11137*f3*f18+63772*f3*f19+61005*f3*f20+65213*f3*f21+1852*f3*f14+60716*f3*f15+29481*f3*f16+46190*f4^2+17990*f4*f5+61939*f4*f6+32338*f4*f7+50542*f4*f8+21092*f4*f9+61870*f4*f10+9422*f4*f11+59570*f4*f13+46122*f4*f0+30353*f4*f1+42959*f4*f2+23532*f4*f17+7289*f4*f18+2624*f4*f19+9505*f4*f20+6392*f4*f21+46193*f4*f14+21050*f4*f15+35375*f4*f16+20493*f5^2+55230*f5*f6+62571*f5*f7+39721*f5*f8+185*f5*f9+17741*f5*f10+58165*f5*f11+32643*f5*f13+2383*f5*f0+58085*f5*f1+56490*f5*f2+56608*f5*f17+62373*f5*f18+47382*f5*f19+4676*f5*f20+32865*f5*f21+36219*f5*f14+11491*f5*f15+42382*f5*f16+53212*f6^2+44561*f6*f7+36568*f6*f8+30650*f6*f9+18918*f6*f10+41142*f6*f11+23564*f6*f13+32415*f6*f0+42030*f6*f1+27031*f6*f2+51884*f6*f17+20596*f6*f18+36560*f6*f19+422*f6*f20+60344*f6*f21+36196*f6*f14+22886*f6*f15+26653*f6*f16+55812*f7^2+1289*f7*f8+22147*f7*f9+58744*f7*f10+26459*f7*f11+22823*f12^2+18440*f12*f3+56615*f12*f4+33873*f12*f5+9911*f12*f6+14671*f12*f7+4969*f12*f8+53864*f12*f9+18765*f12*f10+58359*f12*f11+30468*f12*f13+39403*f12*f0+45673*f12*f1+46198*f12*f2+28936*f12*f17+19247*f12*f18+60473*f12*f19+15479*f12*f20, f0^2-f0, f1^2-f1, f2^2-f2, f3^2-f3, f4^2-f4, f5^2-f5, f6^2-f6, f7^2-f7, f8^2-f8, f9^2-f9, f10^2-f10, f11^2-f11, f12^2-f12, f13^2-f13, f14^2-f14, f15^2-f15, f16^2-f16, f17^2-f17, f18^2-f18, f19^2-f19, f20^2-f20, f21^2-f21]