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

#modulo 65413

#list


[57442*f12+6852*f22+7410*f0+1627*f1+22593*f2+2539*f3+39571*f4+37843*f5+32197*f6+22613*f7+5815*f8+10687*f9+4830*f10+10220*f11+10742*f13+38523*f14+7395*f15+29202*f16+47987*f17+4539*f18+1397*f19+55684*f20+182*f21+7647*f4^2+36501*f4*f5+5840*f5^2+48783*f22^2+25664*f22*f0+55988*f22*f1+60153*f22*f3+7214*f22*f4+6208*f22*f5+26593*f0^2+40156*f0*f1+15505*f0*f3+14675*f0*f4+47611*f0*f5+30609*f1^2+19868*f1*f3+31250*f1*f4+33856*f1*f5+36047*f3^2+58215*f3*f4+48773*f3*f5+3779*f7*f4+21786*f7*f5+61117*f8^2+5110*f8*f9+48546*f8*f10+57982*f8*f2+15726*f8*f22+29379*f8*f0+17653*f8*f1+27307*f8*f3+30275*f8*f4+15426*f8*f5+871*f9^2+14706*f9*f10+24016*f9*f2+60354*f9*f22+16467*f9*f0+41195*f9*f1+41209*f9*f3+464*f9*f4+24537*f9*f5+41872*f10^2+30612*f10*f2+57777*f10*f22+18778*f10*f0+17700*f10*f1+62278*f10*f3+47701*f10*f4+35536*f10*f5+26010*f2^2+14743*f2*f22+44526*f2*f0+58823*f2*f1+58265*f2*f3+56264*f2*f4+12565*f2*f5+15543*f19*f6+57177*f19*f7+24686*f19*f8+31150*f19*f9+19942*f19*f10+1297*f19*f2+43892*f19*f22+33032*f19*f0+32341*f19*f1+29362*f19*f3+13404*f19*f4+25934*f19*f5+830*f20^2+56359*f20*f21+36488*f20*f6+29497*f20*f7+16220*f20*f8+281*f20*f9+16341*f20*f10+26179*f20*f2+50891*f20*f22+51885*f20*f0+1726*f20*f1+48366*f20*f3+3905*f20*f4+5047*f20*f5+33124*f21^2+10781*f21*f6+54507*f21*f7+23444*f21*f8+30701*f21*f9+57382*f21*f10+47227*f21*f2+8434*f21*f22+15307*f21*f0+3511*f21*f1+8414*f21*f3+12984*f21*f4+38122*f21*f5+46998*f6^2+48142*f6*f7+27098*f6*f8+33918*f6*f9+49618*f6*f10+3109*f6*f2+17003*f6*f22+37118*f6*f0+42825*f6*f1+29279*f6*f3+36972*f6*f4+31653*f6*f5+14348*f7^2+28930*f7*f8+59018*f7*f9+27573*f7*f10+39958*f7*f2+27171*f7*f22+13861*f7*f0+58490*f7*f1+28999*f7*f3+757*f15^2+40954*f15*f16+62093*f15*f17+18072*f15*f18+56535*f15*f19+16690*f15*f20+9847*f15*f21+52403*f15*f6+55014*f15*f7+51168*f15*f8+22922*f15*f9+4704*f15*f10+20866*f15*f2+16343*f15*f22+27125*f15*f0+56759*f15*f1+4748*f15*f3+4979*f15*f4+24342*f15*f5+32936*f16^2+12763*f16*f17+42280*f16*f18+20377*f16*f19+30215*f16*f20+32622*f16*f21+6077*f16*f6+1182*f16*f7+60377*f16*f8+58115*f16*f9+30464*f16*f10+10536*f16*f2+52887*f16*f22+1232*f16*f0+43632*f16*f1+61898*f16*f3+63394*f16*f4+8128*f16*f5+18330*f17^2+40819*f17*f18+44441*f17*f19+39529*f17*f20+1997*f17*f21+30171*f17*f6+52961*f17*f7+50507*f17*f8+63711*f17*f9+37902*f17*f10+30458*f17*f2+16959*f17*f22+62617*f17*f0+8867*f17*f1+14561*f17*f3+39200*f17*f4+18083*f17*f5+62839*f18^2+57257*f18*f19+53101*f18*f20+16871*f18*f21+19082*f18*f6+14820*f18*f7+279*f18*f8+9107*f18*f9+20030*f18*f10+29499*f18*f2+60106*f18*f22+23416*f18*f0+51981*f18*f1+23666*f18*f3+42755*f18*f4+55091*f18*f5+54632*f19^2+28982*f19*f20+50617*f19*f21+20818*f12^2+16543*f12*f11+2270*f12*f13+28991*f12*f14+48549*f12*f15+6037*f12*f16+61694*f12*f17+51453*f12*f18+34859*f12*f19+5495*f12*f20+42141*f12*f21+11237*f12*f6+60010*f12*f7+52904*f12*f8+28711*f12*f9+56654*f12*f10+51785*f12*f2+5126*f12*f22+5658*f12*f0+31327*f12*f1+13909*f12*f3+2090*f12*f4+10993*f12*f5+49252*f11^2+40452*f11*f13+33839*f11*f14+49770*f11*f15+60668*f11*f16+51758*f11*f17+21526*f11*f18+34612*f11*f19+60173*f11*f20+56952*f11*f21+51900*f11*f6+1462*f11*f7+3179*f11*f8+28273*f11*f9+16983*f11*f10+50553*f11*f2+5647*f11*f22+29305*f11*f0+26076*f11*f1+24651*f11*f3+64908*f11*f4+2195*f11*f5+2032*f13^2+22856*f13*f14+51416*f13*f15+65098*f13*f16+43828*f13*f17+50506*f13*f18+53994*f13*f19+42112*f13*f20+50721*f13*f21+43286*f13*f6+60754*f13*f7+56043*f13*f8+65291*f13*f9+22702*f13*f10+23552*f13*f2+29118*f13*f22+46611*f13*f0+23926*f13*f1+58847*f13*f3+36016*f13*f4+835*f13*f5+62211*f14^2+7940*f14*f15+17157*f14*f16+63642*f14*f17+13896*f14*f18+28877*f14*f19+52446*f14*f20+23990*f14*f21+58276*f14*f6+31356*f14*f7+8853*f14*f8+37171*f14*f9+63036*f14*f10+60348*f14*f2+36282*f14*f22+51609*f14*f0+22534*f14*f1+34924*f14*f3+18162*f14*f4+63542*f14*f5, 10220*f12+182*f22+6852*f0+7410*f1+1627*f2+22593*f3+2539*f4+39571*f5+37843*f6+32197*f7+22613*f8+5815*f9+10687*f10+4830*f11+57442*f13+10742*f14+38523*f15+7395*f16+29202*f17+47987*f18+4539*f19+1397*f20+55684*f21+36047*f4^2+58215*f4*f5+7647*f5^2+33124*f22^2+8434*f22*f0+15307*f22*f1+47227*f22*f3+8414*f22*f4+12984*f22*f5+48783*f0^2+25664*f0*f1+14743*f0*f3+60153*f0*f4+7214*f0*f5+26593*f1^2+44526*f1*f3+15505*f1*f4+14675*f1*f5+26010*f3^2+58265*f3*f4+56264*f3*f5+29279*f7*f4+36972*f7*f5+14348*f8^2+28930*f8*f9+59018*f8*f10+58490*f8*f2+54507*f8*f22+27171*f8*f0+13861*f8*f1+39958*f8*f3+28999*f8*f4+3779*f8*f5+61117*f9^2+5110*f9*f10+17653*f9*f2+23444*f9*f22+15726*f9*f0+29379*f9*f1+57982*f9*f3+27307*f9*f4+30275*f9*f5+871*f10^2+41195*f10*f2+30701*f10*f22+60354*f10*f0+16467*f10*f1+24016*f10*f3+41209*f10*f4+464*f10*f5+30609*f2^2+3511*f2*f22+55988*f2*f0+40156*f2*f1+58823*f2*f3+19868*f2*f4+31250*f2*f5+55091*f19*f6+19082*f19*f7+14820*f19*f8+279*f19*f9+9107*f19*f10+51981*f19*f2+16871*f19*f22+60106*f19*f0+23416*f19*f1+29499*f19*f3+23666*f19*f4+42755*f19*f5+54632*f20^2+28982*f20*f21+25934*f20*f6+15543*f20*f7+57177*f20*f8+24686*f20*f9+31150*f20*f10+32341*f20*f2+50617*f20*f22+43892*f20*f0+33032*f20*f1+1297*f20*f3+29362*f20*f4+13404*f20*f5+830*f21^2+5047*f21*f6+36488*f21*f7+29497*f21*f8+16220*f21*f9+281*f21*f10+1726*f21*f2+56359*f21*f22+50891*f21*f0+51885*f21*f1+26179*f21*f3+48366*f21*f4+3905*f21*f5+5840*f6^2+31653*f6*f7+21786*f6*f8+15426*f6*f9+24537*f6*f10+33856*f6*f2+38122*f6*f22+6208*f6*f0+47611*f6*f1+12565*f6*f3+48773*f6*f4+36501*f6*f5+46998*f7^2+48142*f7*f8+27098*f7*f9+33918*f7*f10+42825*f7*f2+10781*f7*f22+17003*f7*f0+37118*f7*f1+3109*f7*f3+62211*f15^2+7940*f15*f16+17157*f15*f17+63642*f15*f18+13896*f15*f19+28877*f15*f20+52446*f15*f21+63542*f15*f6+58276*f15*f7+31356*f15*f8+8853*f15*f9+37171*f15*f10+22534*f15*f2+23990*f15*f22+36282*f15*f0+51609*f15*f1+60348*f15*f3+34924*f15*f4+18162*f15*f5+757*f16^2+40954*f16*f17+62093*f16*f18+18072*f16*f19+56535*f16*f20+16690*f16*f21+24342*f16*f6+52403*f16*f7+55014*f16*f8+51168*f16*f9+22922*f16*f10+56759*f16*f2+9847*f16*f22+16343*f16*f0+27125*f16*f1+20866*f16*f3+4748*f16*f4+4979*f16*f5+32936*f17^2+12763*f17*f18+42280*f17*f19+20377*f17*f20+30215*f17*f21+8128*f17*f6+6077*f17*f7+1182*f17*f8+60377*f17*f9+58115*f17*f10+43632*f17*f2+32622*f17*f22+52887*f17*f0+1232*f17*f1+10536*f17*f3+61898*f17*f4+63394*f17*f5+18330*f18^2+40819*f18*f19+44441*f18*f20+39529*f18*f21+18083*f18*f6+30171*f18*f7+52961*f18*f8+50507*f18*f9+63711*f18*f10+8867*f18*f2+1997*f18*f22+16959*f18*f0+62617*f18*f1+30458*f18*f3+14561*f18*f4+39200*f18*f5+62839*f19^2+57257*f19*f20+53101*f19*f21+49252*f12^2+16983*f12*f11+16543*f12*f13+40452*f12*f14+33839*f12*f15+49770*f12*f16+60668*f12*f17+51758*f12*f18+21526*f12*f19+34612*f12*f20+60173*f12*f21+2195*f12*f6+51900*f12*f7+1462*f12*f8+3179*f12*f9+28273*f12*f10+26076*f12*f2+56952*f12*f22+5647*f12*f0+29305*f12*f1+50553*f12*f3+24651*f12*f4+64908*f12*f5+41872*f11^2+56654*f11*f13+22702*f11*f14+63036*f11*f15+4704*f11*f16+30464*f11*f17+37902*f11*f18+20030*f11*f19+19942*f11*f20+16341*f11*f21+35536*f11*f6+49618*f11*f7+27573*f11*f8+48546*f11*f9+14706*f11*f10+17700*f11*f2+57382*f11*f22+57777*f11*f0+18778*f11*f1+30612*f11*f3+62278*f11*f4+47701*f11*f5+20818*f13^2+2270*f13*f14+28991*f13*f15+48549*f13*f16+6037*f13*f17+61694*f13*f18+51453*f13*f19+34859*f13*f20+5495*f13*f21+10993*f13*f6+11237*f13*f7+60010*f13*f8+52904*f13*f9+28711*f13*f10+31327*f13*f2+42141*f13*f22+5126*f13*f0+5658*f13*f1+51785*f13*f3+13909*f13*f4+2090*f13*f5+2032*f14^2+22856*f14*f15+51416*f14*f16+65098*f14*f17+43828*f14*f18+50506*f14*f19+53994*f14*f20+42112*f14*f21+835*f14*f6+43286*f14*f7+60754*f14*f8+56043*f14*f9+65291*f14*f10+23926*f14*f2+50721*f14*f22+29118*f14*f0+46611*f14*f1+23552*f14*f3+58847*f14*f4+36016*f14*f5, 4830*f12+55684*f22+182*f0+6852*f1+7410*f2+1627*f3+22593*f4+2539*f5+39571*f6+37843*f7+32197*f8+22613*f9+5815*f10+10687*f11+10220*f13+57442*f14+10742*f15+38523*f16+7395*f17+29202*f18+47987*f19+4539*f20+1397*f21+26010*f4^2+58265*f4*f5+36047*f5^2+830*f22^2+56359*f22*f0+50891*f22*f1+1726*f22*f3+26179*f22*f4+48366*f22*f5+33124*f0^2+8434*f0*f1+3511*f0*f3+47227*f0*f4+8414*f0*f5+48783*f1^2+55988*f1*f3+14743*f1*f4+60153*f1*f5+30609*f3^2+58823*f3*f4+19868*f3*f5+12565*f7*f4+48773*f7*f5+46998*f8^2+48142*f8*f9+27098*f8*f10+37118*f8*f2+36488*f8*f22+10781*f8*f0+17003*f8*f1+42825*f8*f3+3109*f8*f4+29279*f8*f5+14348*f9^2+28930*f9*f10+13861*f9*f2+29497*f9*f22+54507*f9*f0+27171*f9*f1+58490*f9*f3+39958*f9*f4+28999*f9*f5+61117*f10^2+29379*f10*f2+16220*f10*f22+23444*f10*f0+15726*f10*f1+17653*f10*f3+57982*f10*f4+27307*f10*f5+26593*f2^2+51885*f2*f22+15307*f2*f0+25664*f2*f1+40156*f2*f3+44526*f2*f4+15505*f2*f5+39200*f19*f6+18083*f19*f7+30171*f19*f8+52961*f19*f9+50507*f19*f10+62617*f19*f2+39529*f19*f22+1997*f19*f0+16959*f19*f1+8867*f19*f3+30458*f19*f4+14561*f19*f5+62839*f20^2+57257*f20*f21+42755*f20*f6+55091*f20*f7+19082*f20*f8+14820*f20*f9+279*f20*f10+23416*f20*f2+53101*f20*f22+16871*f20*f0+60106*f20*f1+51981*f20*f3+29499*f20*f4+23666*f20*f5+54632*f21^2+13404*f21*f6+25934*f21*f7+15543*f21*f8+57177*f21*f9+24686*f21*f10+33032*f21*f2+28982*f21*f22+50617*f21*f0+43892*f21*f1+32341*f21*f3+1297*f21*f4+29362*f21*f5+7647*f6^2+36501*f6*f7+36972*f6*f8+3779*f6*f9+30275*f6*f10+14675*f6*f2+3905*f6*f22+12984*f6*f0+7214*f6*f1+31250*f6*f3+56264*f6*f4+58215*f6*f5+5840*f7^2+31653*f7*f8+21786*f7*f9+15426*f7*f10+47611*f7*f2+5047*f7*f22+38122*f7*f0+6208*f7*f1+33856*f7*f3+2032*f15^2+22856*f15*f16+51416*f15*f17+65098*f15*f18+43828*f15*f19+50506*f15*f20+53994*f15*f21+36016*f15*f6+835*f15*f7+43286*f15*f8+60754*f15*f9+56043*f15*f10+46611*f15*f2+42112*f15*f22+50721*f15*f0+29118*f15*f1+23926*f15*f3+23552*f15*f4+58847*f15*f5+62211*f16^2+7940*f16*f17+17157*f16*f18+63642*f16*f19+13896*f16*f20+28877*f16*f21+18162*f16*f6+63542*f16*f7+58276*f16*f8+31356*f16*f9+8853*f16*f10+51609*f16*f2+52446*f16*f22+23990*f16*f0+36282*f16*f1+22534*f16*f3+60348*f16*f4+34924*f16*f5+757*f17^2+40954*f17*f18+62093*f17*f19+18072*f17*f20+56535*f17*f21+4979*f17*f6+24342*f17*f7+52403*f17*f8+55014*f17*f9+51168*f17*f10+27125*f17*f2+16690*f17*f22+9847*f17*f0+16343*f17*f1+56759*f17*f3+20866*f17*f4+4748*f17*f5+32936*f18^2+12763*f18*f19+42280*f18*f20+20377*f18*f21+63394*f18*f6+8128*f18*f7+6077*f18*f8+1182*f18*f9+60377*f18*f10+1232*f18*f2+30215*f18*f22+32622*f18*f0+52887*f18*f1+43632*f18*f3+10536*f18*f4+61898*f18*f5+18330*f19^2+40819*f19*f20+44441*f19*f21+41872*f12^2+14706*f12*f11+16983*f12*f13+56654*f12*f14+22702*f12*f15+63036*f12*f16+4704*f12*f17+30464*f12*f18+37902*f12*f19+20030*f12*f20+19942*f12*f21+47701*f12*f6+35536*f12*f7+49618*f12*f8+27573*f12*f9+48546*f12*f10+18778*f12*f2+16341*f12*f22+57382*f12*f0+57777*f12*f1+17700*f12*f3+30612*f12*f4+62278*f12*f5+871*f11^2+28273*f11*f13+28711*f11*f14+65291*f11*f15+37171*f11*f16+22922*f11*f17+58115*f11*f18+63711*f11*f19+9107*f11*f20+31150*f11*f21+464*f11*f6+24537*f11*f7+33918*f11*f8+59018*f11*f9+5110*f11*f10+16467*f11*f2+281*f11*f22+30701*f11*f0+60354*f11*f1+41195*f11*f3+24016*f11*f4+41209*f11*f5+49252*f13^2+16543*f13*f14+40452*f13*f15+33839*f13*f16+49770*f13*f17+60668*f13*f18+51758*f13*f19+21526*f13*f20+34612*f13*f21+64908*f13*f6+2195*f13*f7+51900*f13*f8+1462*f13*f9+3179*f13*f10+29305*f13*f2+60173*f13*f22+56952*f13*f0+5647*f13*f1+26076*f13*f3+50553*f13*f4+24651*f13*f5+20818*f14^2+2270*f14*f15+28991*f14*f16+48549*f14*f17+6037*f14*f18+61694*f14*f19+51453*f14*f20+34859*f14*f21+2090*f14*f6+10993*f14*f7+11237*f14*f8+60010*f14*f9+52904*f14*f10+5658*f14*f2+5495*f14*f22+42141*f14*f0+5126*f14*f1+31327*f14*f3+51785*f14*f4+13909*f14*f5, 10687*f12+1397*f22+55684*f0+182*f1+6852*f2+7410*f3+1627*f4+22593*f5+2539*f6+39571*f7+37843*f8+32197*f9+22613*f10+5815*f11+4830*f13+10220*f14+57442*f15+10742*f16+38523*f17+7395*f18+29202*f19+47987*f20+4539*f21+30609*f4^2+58823*f4*f5+26010*f5^2+54632*f22^2+28982*f22*f0+50617*f22*f1+33032*f22*f3+32341*f22*f4+1297*f22*f5+830*f0^2+56359*f0*f1+51885*f0*f3+1726*f0*f4+26179*f0*f5+33124*f1^2+15307*f1*f3+3511*f1*f4+47227*f1*f5+26593*f3^2+40156*f3*f4+44526*f3*f5+31250*f7*f4+56264*f7*f5+5840*f8^2+31653*f8*f9+21786*f8*f10+6208*f8*f2+25934*f8*f22+5047*f8*f0+38122*f8*f1+47611*f8*f3+33856*f8*f4+12565*f8*f5+46998*f9^2+48142*f9*f10+17003*f9*f2+15543*f9*f22+36488*f9*f0+10781*f9*f1+37118*f9*f3+42825*f9*f4+3109*f9*f5+14348*f10^2+27171*f10*f2+57177*f10*f22+29497*f10*f0+54507*f10*f1+13861*f10*f3+58490*f10*f4+39958*f10*f5+48783*f2^2+43892*f2*f22+50891*f2*f0+8434*f2*f1+25664*f2*f3+55988*f2*f4+14743*f2*f5+61898*f19*f6+63394*f19*f7+8128*f19*f8+6077*f19*f9+1182*f19*f10+52887*f19*f2+20377*f19*f22+30215*f19*f0+32622*f19*f1+1232*f19*f3+43632*f19*f4+10536*f19*f5+18330*f20^2+40819*f20*f21+14561*f20*f6+39200*f20*f7+18083*f20*f8+30171*f20*f9+52961*f20*f10+16959*f20*f2+44441*f20*f22+39529*f20*f0+1997*f20*f1+62617*f20*f3+8867*f20*f4+30458*f20*f5+62839*f21^2+23666*f21*f6+42755*f21*f7+55091*f21*f8+19082*f21*f9+14820*f21*f10+60106*f21*f2+57257*f21*f22+53101*f21*f0+16871*f21*f1+23416*f21*f3+51981*f21*f4+29499*f21*f5+36047*f6^2+58215*f6*f7+48773*f6*f8+29279*f6*f9+28999*f6*f10+60153*f6*f2+29362*f6*f22+48366*f6*f0+8414*f6*f1+15505*f6*f3+19868*f6*f4+58265*f6*f5+7647*f7^2+36501*f7*f8+36972*f7*f9+3779*f7*f10+7214*f7*f2+13404*f7*f22+3905*f7*f0+12984*f7*f1+14675*f7*f3+20818*f15^2+2270*f15*f16+28991*f15*f17+48549*f15*f18+6037*f15*f19+61694*f15*f20+51453*f15*f21+13909*f15*f6+2090*f15*f7+10993*f15*f8+11237*f15*f9+60010*f15*f10+5126*f15*f2+34859*f15*f22+5495*f15*f0+42141*f15*f1+5658*f15*f3+31327*f15*f4+51785*f15*f5+2032*f16^2+22856*f16*f17+51416*f16*f18+65098*f16*f19+43828*f16*f20+50506*f16*f21+58847*f16*f6+36016*f16*f7+835*f16*f8+43286*f16*f9+60754*f16*f10+29118*f16*f2+53994*f16*f22+42112*f16*f0+50721*f16*f1+46611*f16*f3+23926*f16*f4+23552*f16*f5+62211*f17^2+7940*f17*f18+17157*f17*f19+63642*f17*f20+13896*f17*f21+34924*f17*f6+18162*f17*f7+63542*f17*f8+58276*f17*f9+31356*f17*f10+36282*f17*f2+28877*f17*f22+52446*f17*f0+23990*f17*f1+51609*f17*f3+22534*f17*f4+60348*f17*f5+757*f18^2+40954*f18*f19+62093*f18*f20+18072*f18*f21+4748*f18*f6+4979*f18*f7+24342*f18*f8+52403*f18*f9+55014*f18*f10+16343*f18*f2+56535*f18*f22+16690*f18*f0+9847*f18*f1+27125*f18*f3+56759*f18*f4+20866*f18*f5+32936*f19^2+12763*f19*f20+42280*f19*f21+871*f12^2+5110*f12*f11+14706*f12*f13+28273*f12*f14+28711*f12*f15+65291*f12*f16+37171*f12*f17+22922*f12*f18+58115*f12*f19+63711*f12*f20+9107*f12*f21+41209*f12*f6+464*f12*f7+24537*f12*f8+33918*f12*f9+59018*f12*f10+60354*f12*f2+31150*f12*f22+281*f12*f0+30701*f12*f1+16467*f12*f3+41195*f12*f4+24016*f12*f5+61117*f11^2+48546*f11*f13+3179*f11*f14+52904*f11*f15+56043*f11*f16+8853*f11*f17+51168*f11*f18+60377*f11*f19+50507*f11*f20+279*f11*f21+27307*f11*f6+30275*f11*f7+15426*f11*f8+27098*f11*f9+28930*f11*f10+15726*f11*f2+24686*f11*f22+16220*f11*f0+23444*f11*f1+29379*f11*f3+17653*f11*f4+57982*f11*f5+41872*f13^2+16983*f13*f14+56654*f13*f15+22702*f13*f16+63036*f13*f17+4704*f13*f18+30464*f13*f19+37902*f13*f20+20030*f13*f21+62278*f13*f6+47701*f13*f7+35536*f13*f8+49618*f13*f9+27573*f13*f10+57777*f13*f2+19942*f13*f22+16341*f13*f0+57382*f13*f1+18778*f13*f3+17700*f13*f4+30612*f13*f5+49252*f14^2+16543*f14*f15+40452*f14*f16+33839*f14*f17+49770*f14*f18+60668*f14*f19+51758*f14*f20+21526*f14*f21+24651*f14*f6+64908*f14*f7+2195*f14*f8+51900*f14*f9+1462*f14*f10+5647*f14*f2+34612*f14*f22+60173*f14*f0+56952*f14*f1+29305*f14*f3+26076*f14*f4+50553*f14*f5, 5815*f12+4539*f22+1397*f0+55684*f1+182*f2+6852*f3+7410*f4+1627*f5+22593*f6+2539*f7+39571*f8+37843*f9+32197*f10+22613*f11+10687*f13+4830*f14+10220*f15+57442*f16+10742*f17+38523*f18+7395*f19+29202*f20+47987*f21+26593*f4^2+40156*f4*f5+30609*f5^2+62839*f22^2+57257*f22*f0+53101*f22*f1+60106*f22*f3+23416*f22*f4+51981*f22*f5+54632*f0^2+28982*f0*f1+43892*f0*f3+33032*f0*f4+32341*f0*f5+830*f1^2+50891*f1*f3+51885*f1*f4+1726*f1*f5+48783*f3^2+25664*f3*f4+55988*f3*f5+15505*f7*f4+19868*f7*f5+7647*f8^2+36501*f8*f9+36972*f8*f10+12984*f8*f2+42755*f8*f22+13404*f8*f0+3905*f8*f1+7214*f8*f3+14675*f8*f4+31250*f8*f5+5840*f9^2+31653*f9*f10+38122*f9*f2+55091*f9*f22+25934*f9*f0+5047*f9*f1+6208*f9*f3+47611*f9*f4+33856*f9*f5+46998*f10^2+10781*f10*f2+19082*f10*f22+15543*f10*f0+36488*f10*f1+17003*f10*f3+37118*f10*f4+42825*f10*f5+33124*f2^2+16871*f2*f22+50617*f2*f0+56359*f2*f1+8434*f2*f3+15307*f2*f4+3511*f2*f5+20866*f19*f6+4748*f19*f7+4979*f19*f8+24342*f19*f9+52403*f19*f10+9847*f19*f2+18072*f19*f22+56535*f19*f0+16690*f19*f1+16343*f19*f3+27125*f19*f4+56759*f19*f5+32936*f20^2+12763*f20*f21+10536*f20*f6+61898*f20*f7+63394*f20*f8+8128*f20*f9+6077*f20*f10+32622*f20*f2+42280*f20*f22+20377*f20*f0+30215*f20*f1+52887*f20*f3+1232*f20*f4+43632*f20*f5+18330*f21^2+30458*f21*f6+14561*f21*f7+39200*f21*f8+18083*f21*f9+30171*f21*f10+1997*f21*f2+40819*f21*f22+44441*f21*f0+39529*f21*f1+16959*f21*f3+62617*f21*f4+8867*f21*f5+26010*f6^2+58265*f6*f7+56264*f6*f8+12565*f6*f9+3109*f6*f10+47227*f6*f2+29499*f6*f22+1297*f6*f0+26179*f6*f1+14743*f6*f3+44526*f6*f4+58823*f6*f5+36047*f7^2+58215*f7*f8+48773*f7*f9+29279*f7*f10+8414*f7*f2+23666*f7*f22+29362*f7*f0+48366*f7*f1+60153*f7*f3+49252*f15^2+16543*f15*f16+40452*f15*f17+33839*f15*f18+49770*f15*f19+60668*f15*f20+51758*f15*f21+50553*f15*f6+24651*f15*f7+64908*f15*f8+2195*f15*f9+51900*f15*f10+56952*f15*f2+21526*f15*f22+34612*f15*f0+60173*f15*f1+5647*f15*f3+29305*f15*f4+26076*f15*f5+20818*f16^2+2270*f16*f17+28991*f16*f18+48549*f16*f19+6037*f16*f20+61694*f16*f21+51785*f16*f6+13909*f16*f7+2090*f16*f8+10993*f16*f9+11237*f16*f10+42141*f16*f2+51453*f16*f22+34859*f16*f0+5495*f16*f1+5126*f16*f3+5658*f16*f4+31327*f16*f5+2032*f17^2+22856*f17*f18+51416*f17*f19+65098*f17*f20+43828*f17*f21+23552*f17*f6+58847*f17*f7+36016*f17*f8+835*f17*f9+43286*f17*f10+50721*f17*f2+50506*f17*f22+53994*f17*f0+42112*f17*f1+29118*f17*f3+46611*f17*f4+23926*f17*f5+62211*f18^2+7940*f18*f19+17157*f18*f20+63642*f18*f21+60348*f18*f6+34924*f18*f7+18162*f18*f8+63542*f18*f9+58276*f18*f10+23990*f18*f2+13896*f18*f22+28877*f18*f0+52446*f18*f1+36282*f18*f3+51609*f18*f4+22534*f18*f5+757*f19^2+40954*f19*f20+62093*f19*f21+61117*f12^2+28930*f12*f11+5110*f12*f13+48546*f12*f14+3179*f12*f15+52904*f12*f16+56043*f12*f17+8853*f12*f18+51168*f12*f19+60377*f12*f20+50507*f12*f21+57982*f12*f6+27307*f12*f7+30275*f12*f8+15426*f12*f9+27098*f12*f10+23444*f12*f2+279*f12*f22+24686*f12*f0+16220*f12*f1+15726*f12*f3+29379*f12*f4+17653*f12*f5+14348*f11^2+59018*f11*f13+27573*f11*f14+1462*f11*f15+60010*f11*f16+60754*f11*f17+31356*f11*f18+55014*f11*f19+1182*f11*f20+52961*f11*f21+39958*f11*f6+28999*f11*f7+3779*f11*f8+21786*f11*f9+48142*f11*f10+54507*f11*f2+14820*f11*f22+57177*f11*f0+29497*f11*f1+27171*f11*f3+13861*f11*f4+58490*f11*f5+871*f13^2+14706*f13*f14+28273*f13*f15+28711*f13*f16+65291*f13*f17+37171*f13*f18+22922*f13*f19+58115*f13*f20+63711*f13*f21+24016*f13*f6+41209*f13*f7+464*f13*f8+24537*f13*f9+33918*f13*f10+30701*f13*f2+9107*f13*f22+31150*f13*f0+281*f13*f1+60354*f13*f3+16467*f13*f4+41195*f13*f5+41872*f14^2+16983*f14*f15+56654*f14*f16+22702*f14*f17+63036*f14*f18+4704*f14*f19+30464*f14*f20+37902*f14*f21+30612*f14*f6+62278*f14*f7+47701*f14*f8+35536*f14*f9+49618*f14*f10+57382*f14*f2+20030*f14*f22+19942*f14*f0+16341*f14*f1+57777*f14*f3+18778*f14*f4+17700*f14*f5, 22613*f12+47987*f22+4539*f0+1397*f1+55684*f2+182*f3+6852*f4+7410*f5+1627*f6+22593*f7+2539*f8+39571*f9+37843*f10+32197*f11+5815*f13+10687*f14+4830*f15+10220*f16+57442*f17+10742*f18+38523*f19+7395*f20+29202*f21+48783*f4^2+25664*f4*f5+26593*f5^2+18330*f22^2+40819*f22*f0+44441*f22*f1+1997*f22*f3+16959*f22*f4+62617*f22*f5+62839*f0^2+57257*f0*f1+16871*f0*f3+60106*f0*f4+23416*f0*f5+54632*f1^2+50617*f1*f3+43892*f1*f4+33032*f1*f5+33124*f3^2+8434*f3*f4+15307*f3*f5+14743*f7*f4+44526*f7*f5+36047*f8^2+58215*f8*f9+48773*f8*f10+48366*f8*f2+14561*f8*f22+23666*f8*f0+29362*f8*f1+8414*f8*f3+60153*f8*f4+15505*f8*f5+7647*f9^2+36501*f9*f10+3905*f9*f2+39200*f9*f22+42755*f9*f0+13404*f9*f1+12984*f9*f3+7214*f9*f4+14675*f9*f5+5840*f10^2+5047*f10*f2+18083*f10*f22+55091*f10*f0+25934*f10*f1+38122*f10*f3+6208*f10*f4+47611*f10*f5+830*f2^2+39529*f2*f22+53101*f2*f0+28982*f2*f1+56359*f2*f3+50891*f2*f4+51885*f2*f5+22534*f19*f6+60348*f19*f7+34924*f19*f8+18162*f19*f9+63542*f19*f10+52446*f19*f2+63642*f19*f22+13896*f19*f0+28877*f19*f1+23990*f19*f3+36282*f19*f4+51609*f19*f5+757*f20^2+40954*f20*f21+56759*f20*f6+20866*f20*f7+4748*f20*f8+4979*f20*f9+24342*f20*f10+16690*f20*f2+62093*f20*f22+18072*f20*f0+56535*f20*f1+9847*f20*f3+16343*f20*f4+27125*f20*f5+32936*f21^2+43632*f21*f6+10536*f21*f7+61898*f21*f8+63394*f21*f9+8128*f21*f10+30215*f21*f2+12763*f21*f22+42280*f21*f0+20377*f21*f1+32622*f21*f3+52887*f21*f4+1232*f21*f5+30609*f6^2+58823*f6*f7+19868*f6*f8+31250*f6*f9+33856*f6*f10+1726*f6*f2+8867*f6*f22+51981*f6*f0+32341*f6*f1+3511*f6*f3+55988*f6*f4+40156*f6*f5+26010*f7^2+58265*f7*f8+56264*f7*f9+12565*f7*f10+26179*f7*f2+30458*f7*f22+29499*f7*f0+1297*f7*f1+47227*f7*f3+41872*f15^2+16983*f15*f16+56654*f15*f17+22702*f15*f18+63036*f15*f19+4704*f15*f20+30464*f15*f21+17700*f15*f6+30612*f15*f7+62278*f15*f8+47701*f15*f9+35536*f15*f10+16341*f15*f2+37902*f15*f22+20030*f15*f0+19942*f15*f1+57382*f15*f3+57777*f15*f4+18778*f15*f5+49252*f16^2+16543*f16*f17+40452*f16*f18+33839*f16*f19+49770*f16*f20+60668*f16*f21+26076*f16*f6+50553*f16*f7+24651*f16*f8+64908*f16*f9+2195*f16*f10+60173*f16*f2+51758*f16*f22+21526*f16*f0+34612*f16*f1+56952*f16*f3+5647*f16*f4+29305*f16*f5+20818*f17^2+2270*f17*f18+28991*f17*f19+48549*f17*f20+6037*f17*f21+31327*f17*f6+51785*f17*f7+13909*f17*f8+2090*f17*f9+10993*f17*f10+5495*f17*f2+61694*f17*f22+51453*f17*f0+34859*f17*f1+42141*f17*f3+5126*f17*f4+5658*f17*f5+2032*f18^2+22856*f18*f19+51416*f18*f20+65098*f18*f21+23926*f18*f6+23552*f18*f7+58847*f18*f8+36016*f18*f9+835*f18*f10+42112*f18*f2+43828*f18*f22+50506*f18*f0+53994*f18*f1+50721*f18*f3+29118*f18*f4+46611*f18*f5+62211*f19^2+7940*f19*f20+17157*f19*f21+14348*f12^2+48142*f12*f11+28930*f12*f13+59018*f12*f14+27573*f12*f15+1462*f12*f16+60010*f12*f17+60754*f12*f18+31356*f12*f19+55014*f12*f20+1182*f12*f21+58490*f12*f6+39958*f12*f7+28999*f12*f8+3779*f12*f9+21786*f12*f10+29497*f12*f2+52961*f12*f22+14820*f12*f0+57177*f12*f1+54507*f12*f3+27171*f12*f4+13861*f12*f5+46998*f11^2+27098*f11*f13+33918*f11*f14+49618*f11*f15+51900*f11*f16+11237*f11*f17+43286*f11*f18+58276*f11*f19+52403*f11*f20+6077*f11*f21+42825*f11*f6+3109*f11*f7+29279*f11*f8+36972*f11*f9+31653*f11*f10+36488*f11*f2+30171*f11*f22+19082*f11*f0+15543*f11*f1+10781*f11*f3+17003*f11*f4+37118*f11*f5+61117*f13^2+5110*f13*f14+48546*f13*f15+3179*f13*f16+52904*f13*f17+56043*f13*f18+8853*f13*f19+51168*f13*f20+60377*f13*f21+17653*f13*f6+57982*f13*f7+27307*f13*f8+30275*f13*f9+15426*f13*f10+16220*f13*f2+50507*f13*f22+279*f13*f0+24686*f13*f1+23444*f13*f3+15726*f13*f4+29379*f13*f5+871*f14^2+14706*f14*f15+28273*f14*f16+28711*f14*f17+65291*f14*f18+37171*f14*f19+22922*f14*f20+58115*f14*f21+41195*f14*f6+24016*f14*f7+41209*f14*f8+464*f14*f9+24537*f14*f10+281*f14*f2+63711*f14*f22+9107*f14*f0+31150*f14*f1+30701*f14*f3+60354*f14*f4+16467*f14*f5, 32197*f12+29202*f22+47987*f0+4539*f1+1397*f2+55684*f3+182*f4+6852*f5+7410*f6+1627*f7+22593*f8+2539*f9+39571*f10+37843*f11+22613*f13+5815*f14+10687*f15+4830*f16+10220*f17+57442*f18+10742*f19+38523*f20+7395*f21+33124*f4^2+8434*f4*f5+48783*f5^2+32936*f22^2+12763*f22*f0+42280*f22*f1+30215*f22*f3+32622*f22*f4+52887*f22*f5+18330*f0^2+40819*f0*f1+39529*f0*f3+1997*f0*f4+16959*f0*f5+62839*f1^2+53101*f1*f3+16871*f1*f4+60106*f1*f5+830*f3^2+56359*f3*f4+50891*f3*f5+3511*f7*f4+55988*f7*f5+26010*f8^2+58265*f8*f9+56264*f8*f10+1297*f8*f2+10536*f8*f22+30458*f8*f0+29499*f8*f1+26179*f8*f3+47227*f8*f4+14743*f8*f5+36047*f9^2+58215*f9*f10+29362*f9*f2+61898*f9*f22+14561*f9*f0+23666*f9*f1+48366*f9*f3+8414*f9*f4+60153*f9*f5+7647*f10^2+13404*f10*f2+63394*f10*f22+39200*f10*f0+42755*f10*f1+3905*f10*f3+12984*f10*f4+7214*f10*f5+54632*f2^2+20377*f2*f22+44441*f2*f0+57257*f2*f1+28982*f2*f3+50617*f2*f4+43892*f2*f5+46611*f19*f6+23926*f19*f7+23552*f19*f8+58847*f19*f9+36016*f19*f10+53994*f19*f2+65098*f19*f22+43828*f19*f0+50506*f19*f1+42112*f19*f3+50721*f19*f4+29118*f19*f5+62211*f20^2+7940*f20*f21+51609*f20*f6+22534*f20*f7+60348*f20*f8+34924*f20*f9+18162*f20*f10+28877*f20*f2+17157*f20*f22+63642*f20*f0+13896*f20*f1+52446*f20*f3+23990*f20*f4+36282*f20*f5+757*f21^2+27125*f21*f6+56759*f21*f7+20866*f21*f8+4748*f21*f9+4979*f21*f10+56535*f21*f2+40954*f21*f22+62093*f21*f0+18072*f21*f1+16690*f21*f3+9847*f21*f4+16343*f21*f5+26593*f6^2+40156*f6*f7+44526*f6*f8+15505*f6*f9+14675*f6*f10+33032*f6*f2+1232*f6*f22+62617*f6*f0+23416*f6*f1+51885*f6*f3+15307*f6*f4+25664*f6*f5+30609*f7^2+58823*f7*f8+19868*f7*f9+31250*f7*f10+32341*f7*f2+43632*f7*f22+8867*f7*f0+51981*f7*f1+1726*f7*f3+871*f15^2+14706*f15*f16+28273*f15*f17+28711*f15*f18+65291*f15*f19+37171*f15*f20+22922*f15*f21+16467*f15*f6+41195*f15*f7+24016*f15*f8+41209*f15*f9+464*f15*f10+31150*f15*f2+58115*f15*f22+63711*f15*f0+9107*f15*f1+281*f15*f3+30701*f15*f4+60354*f15*f5+41872*f16^2+16983*f16*f17+56654*f16*f18+22702*f16*f19+63036*f16*f20+4704*f16*f21+18778*f16*f6+17700*f16*f7+30612*f16*f8+62278*f16*f9+47701*f16*f10+19942*f16*f2+30464*f16*f22+37902*f16*f0+20030*f16*f1+16341*f16*f3+57382*f16*f4+57777*f16*f5+49252*f17^2+16543*f17*f18+40452*f17*f19+33839*f17*f20+49770*f17*f21+29305*f17*f6+26076*f17*f7+50553*f17*f8+24651*f17*f9+64908*f17*f10+34612*f17*f2+60668*f17*f22+51758*f17*f0+21526*f17*f1+60173*f17*f3+56952*f17*f4+5647*f17*f5+20818*f18^2+2270*f18*f19+28991*f18*f20+48549*f18*f21+5658*f18*f6+31327*f18*f7+51785*f18*f8+13909*f18*f9+2090*f18*f10+34859*f18*f2+6037*f18*f22+61694*f18*f0+51453*f18*f1+5495*f18*f3+42141*f18*f4+5126*f18*f5+2032*f19^2+22856*f19*f20+51416*f19*f21+46998*f12^2+31653*f12*f11+48142*f12*f13+27098*f12*f14+33918*f12*f15+49618*f12*f16+51900*f12*f17+11237*f12*f18+43286*f12*f19+58276*f12*f20+52403*f12*f21+37118*f12*f6+42825*f12*f7+3109*f12*f8+29279*f12*f9+36972*f12*f10+15543*f12*f2+6077*f12*f22+30171*f12*f0+19082*f12*f1+36488*f12*f3+10781*f12*f4+17003*f12*f5+5840*f11^2+21786*f11*f13+15426*f11*f14+24537*f11*f15+35536*f11*f16+2195*f11*f17+10993*f11*f18+835*f11*f19+63542*f11*f20+24342*f11*f21+47611*f11*f6+33856*f11*f7+12565*f11*f8+48773*f11*f9+36501*f11*f10+25934*f11*f2+8128*f11*f22+18083*f11*f0+55091*f11*f1+5047*f11*f3+38122*f11*f4+6208*f11*f5+14348*f13^2+28930*f13*f14+59018*f13*f15+27573*f13*f16+1462*f13*f17+60010*f13*f18+60754*f13*f19+31356*f13*f20+55014*f13*f21+13861*f13*f6+58490*f13*f7+39958*f13*f8+28999*f13*f9+3779*f13*f10+57177*f13*f2+1182*f13*f22+52961*f13*f0+14820*f13*f1+29497*f13*f3+54507*f13*f4+27171*f13*f5+61117*f14^2+5110*f14*f15+48546*f14*f16+3179*f14*f17+52904*f14*f18+56043*f14*f19+8853*f14*f20+51168*f14*f21+29379*f14*f6+17653*f14*f7+57982*f14*f8+27307*f14*f9+30275*f14*f10+24686*f14*f2+60377*f14*f22+50507*f14*f0+279*f14*f1+16220*f14*f3+23444*f14*f4+15726*f14*f5, 37843*f12+7395*f22+29202*f0+47987*f1+4539*f2+1397*f3+55684*f4+182*f5+6852*f6+7410*f7+1627*f8+22593*f9+2539*f10+39571*f11+32197*f13+22613*f14+5815*f15+10687*f16+4830*f17+10220*f18+57442*f19+10742*f20+38523*f21+830*f4^2+56359*f4*f5+33124*f5^2+757*f22^2+40954*f22*f0+62093*f22*f1+56535*f22*f3+16690*f22*f4+9847*f22*f5+32936*f0^2+12763*f0*f1+20377*f0*f3+30215*f0*f4+32622*f0*f5+18330*f1^2+44441*f1*f3+39529*f1*f4+1997*f1*f5+54632*f3^2+28982*f3*f4+50617*f3*f5+51885*f7*f4+15307*f7*f5+30609*f8^2+58823*f8*f9+19868*f8*f10+51981*f8*f2+56759*f8*f22+43632*f8*f0+8867*f8*f1+32341*f8*f3+1726*f8*f4+3511*f8*f5+26010*f9^2+58265*f9*f10+29499*f9*f2+20866*f9*f22+10536*f9*f0+30458*f9*f1+1297*f9*f3+26179*f9*f4+47227*f9*f5+36047*f10^2+23666*f10*f2+4748*f10*f22+61898*f10*f0+14561*f10*f1+29362*f10*f3+48366*f10*f4+8414*f10*f5+62839*f2^2+18072*f2*f22+42280*f2*f0+40819*f2*f1+57257*f2*f3+53101*f2*f4+16871*f2*f5+5126*f19*f6+5658*f19*f7+31327*f19*f8+51785*f19*f9+13909*f19*f10+51453*f19*f2+48549*f19*f22+6037*f19*f0+61694*f19*f1+34859*f19*f3+5495*f19*f4+42141*f19*f5+2032*f20^2+22856*f20*f21+29118*f20*f6+46611*f20*f7+23926*f20*f8+23552*f20*f9+58847*f20*f10+50506*f20*f2+51416*f20*f22+65098*f20*f0+43828*f20*f1+53994*f20*f3+42112*f20*f4+50721*f20*f5+62211*f21^2+36282*f21*f6+51609*f21*f7+22534*f21*f8+60348*f21*f9+34924*f21*f10+13896*f21*f2+7940*f21*f22+17157*f21*f0+63642*f21*f1+28877*f21*f3+52446*f21*f4+23990*f21*f5+48783*f6^2+25664*f6*f7+55988*f6*f8+14743*f6*f9+60153*f6*f10+60106*f6*f2+16343*f6*f22+52887*f6*f0+16959*f6*f1+43892*f6*f3+50891*f6*f4+8434*f6*f5+26593*f7^2+40156*f7*f8+44526*f7*f9+15505*f7*f10+23416*f7*f2+27125*f7*f22+1232*f7*f0+62617*f7*f1+33032*f7*f3+61117*f15^2+5110*f15*f16+48546*f15*f17+3179*f15*f18+52904*f15*f19+56043*f15*f20+8853*f15*f21+15726*f15*f6+29379*f15*f7+17653*f15*f8+57982*f15*f9+27307*f15*f10+279*f15*f2+51168*f15*f22+60377*f15*f0+50507*f15*f1+24686*f15*f3+16220*f15*f4+23444*f15*f5+871*f16^2+14706*f16*f17+28273*f16*f18+28711*f16*f19+65291*f16*f20+37171*f16*f21+60354*f16*f6+16467*f16*f7+41195*f16*f8+24016*f16*f9+41209*f16*f10+9107*f16*f2+22922*f16*f22+58115*f16*f0+63711*f16*f1+31150*f16*f3+281*f16*f4+30701*f16*f5+41872*f17^2+16983*f17*f18+56654*f17*f19+22702*f17*f20+63036*f17*f21+57777*f17*f6+18778*f17*f7+17700*f17*f8+30612*f17*f9+62278*f17*f10+20030*f17*f2+4704*f17*f22+30464*f17*f0+37902*f17*f1+19942*f17*f3+16341*f17*f4+57382*f17*f5+49252*f18^2+16543*f18*f19+40452*f18*f20+33839*f18*f21+5647*f18*f6+29305*f18*f7+26076*f18*f8+50553*f18*f9+24651*f18*f10+21526*f18*f2+49770*f18*f22+60668*f18*f0+51758*f18*f1+34612*f18*f3+60173*f18*f4+56952*f18*f5+20818*f19^2+2270*f19*f20+28991*f19*f21+5840*f12^2+36501*f12*f11+31653*f12*f13+21786*f12*f14+15426*f12*f15+24537*f12*f16+35536*f12*f17+2195*f12*f18+10993*f12*f19+835*f12*f20+63542*f12*f21+6208*f12*f6+47611*f12*f7+33856*f12*f8+12565*f12*f9+48773*f12*f10+55091*f12*f2+24342*f12*f22+8128*f12*f0+18083*f12*f1+25934*f12*f3+5047*f12*f4+38122*f12*f5+7647*f11^2+36972*f11*f13+3779*f11*f14+30275*f11*f15+464*f11*f16+47701*f11*f17+64908*f11*f18+2090*f11*f19+36016*f11*f20+18162*f11*f21+7214*f11*f6+14675*f11*f7+31250*f11*f8+56264*f11*f9+58215*f11*f10+42755*f11*f2+4979*f11*f22+63394*f11*f0+39200*f11*f1+13404*f11*f3+3905*f11*f4+12984*f11*f5+46998*f13^2+48142*f13*f14+27098*f13*f15+33918*f13*f16+49618*f13*f17+51900*f13*f18+11237*f13*f19+43286*f13*f20+58276*f13*f21+17003*f13*f6+37118*f13*f7+42825*f13*f8+3109*f13*f9+29279*f13*f10+19082*f13*f2+52403*f13*f22+6077*f13*f0+30171*f13*f1+15543*f13*f3+36488*f13*f4+10781*f13*f5+14348*f14^2+28930*f14*f15+59018*f14*f16+27573*f14*f17+1462*f14*f18+60010*f14*f19+60754*f14*f20+31356*f14*f21+27171*f14*f6+13861*f14*f7+58490*f14*f8+39958*f14*f9+28999*f14*f10+14820*f14*f2+55014*f14*f22+1182*f14*f0+52961*f14*f1+57177*f14*f3+29497*f14*f4+54507*f14*f5, 39571*f12+38523*f22+7395*f0+29202*f1+47987*f2+4539*f3+1397*f4+55684*f5+182*f6+6852*f7+7410*f8+1627*f9+22593*f10+2539*f11+37843*f13+32197*f14+22613*f15+5815*f16+10687*f17+4830*f18+10220*f19+57442*f20+10742*f21+54632*f4^2+28982*f4*f5+830*f5^2+62211*f22^2+7940*f22*f0+17157*f22*f1+13896*f22*f3+28877*f22*f4+52446*f22*f5+757*f0^2+40954*f0*f1+18072*f0*f3+56535*f0*f4+16690*f0*f5+32936*f1^2+42280*f1*f3+20377*f1*f4+30215*f1*f5+62839*f3^2+57257*f3*f4+53101*f3*f5+43892*f7*f4+50891*f7*f5+26593*f8^2+40156*f8*f9+44526*f8*f10+62617*f8*f2+51609*f8*f22+27125*f8*f0+1232*f8*f1+23416*f8*f3+33032*f8*f4+51885*f8*f5+30609*f9^2+58823*f9*f10+8867*f9*f2+22534*f9*f22+56759*f9*f0+43632*f9*f1+51981*f9*f3+32341*f9*f4+1726*f9*f5+26010*f10^2+30458*f10*f2+60348*f10*f22+20866*f10*f0+10536*f10*f1+29499*f10*f3+1297*f10*f4+26179*f10*f5+18330*f2^2+63642*f2*f22+62093*f2*f0+12763*f2*f1+40819*f2*f3+44441*f2*f4+39529*f2*f5+56952*f19*f6+5647*f19*f7+29305*f19*f8+26076*f19*f9+50553*f19*f10+51758*f19*f2+33839*f19*f22+49770*f19*f0+60668*f19*f1+21526*f19*f3+34612*f19*f4+60173*f19*f5+20818*f20^2+2270*f20*f21+42141*f20*f6+5126*f20*f7+5658*f20*f8+31327*f20*f9+51785*f20*f10+61694*f20*f2+28991*f20*f22+48549*f20*f0+6037*f20*f1+51453*f20*f3+34859*f20*f4+5495*f20*f5+2032*f21^2+50721*f21*f6+29118*f21*f7+46611*f21*f8+23926*f21*f9+23552*f21*f10+43828*f21*f2+22856*f21*f22+51416*f21*f0+65098*f21*f1+50506*f21*f3+53994*f21*f4+42112*f21*f5+33124*f6^2+8434*f6*f7+15307*f6*f8+3511*f6*f9+47227*f6*f10+1997*f6*f2+23990*f6*f22+9847*f6*f0+32622*f6*f1+16871*f6*f3+50617*f6*f4+56359*f6*f5+48783*f7^2+25664*f7*f8+55988*f7*f9+14743*f7*f10+16959*f7*f2+36282*f7*f22+16343*f7*f0+52887*f7*f1+60106*f7*f3+14348*f15^2+28930*f15*f16+59018*f15*f17+27573*f15*f18+1462*f15*f19+60010*f15*f20+60754*f15*f21+54507*f15*f6+27171*f15*f7+13861*f15*f8+58490*f15*f9+39958*f15*f10+52961*f15*f2+31356*f15*f22+55014*f15*f0+1182*f15*f1+14820*f15*f3+57177*f15*f4+29497*f15*f5+61117*f16^2+5110*f16*f17+48546*f16*f18+3179*f16*f19+52904*f16*f20+56043*f16*f21+23444*f16*f6+15726*f16*f7+29379*f16*f8+17653*f16*f9+57982*f16*f10+50507*f16*f2+8853*f16*f22+51168*f16*f0+60377*f16*f1+279*f16*f3+24686*f16*f4+16220*f16*f5+871*f17^2+14706*f17*f18+28273*f17*f19+28711*f17*f20+65291*f17*f21+30701*f17*f6+60354*f17*f7+16467*f17*f8+41195*f17*f9+24016*f17*f10+63711*f17*f2+37171*f17*f22+22922*f17*f0+58115*f17*f1+9107*f17*f3+31150*f17*f4+281*f17*f5+41872*f18^2+16983*f18*f19+56654*f18*f20+22702*f18*f21+57382*f18*f6+57777*f18*f7+18778*f18*f8+17700*f18*f9+30612*f18*f10+37902*f18*f2+63036*f18*f22+4704*f18*f0+30464*f18*f1+20030*f18*f3+19942*f18*f4+16341*f18*f5+49252*f19^2+16543*f19*f20+40452*f19*f21+7647*f12^2+58215*f12*f11+36501*f12*f13+36972*f12*f14+3779*f12*f15+30275*f12*f16+464*f12*f17+47701*f12*f18+64908*f12*f19+2090*f12*f20+36016*f12*f21+12984*f12*f6+7214*f12*f7+14675*f12*f8+31250*f12*f9+56264*f12*f10+39200*f12*f2+18162*f12*f22+4979*f12*f0+63394*f12*f1+42755*f12*f3+13404*f12*f4+3905*f12*f5+36047*f11^2+48773*f11*f13+29279*f11*f14+28999*f11*f15+27307*f11*f16+41209*f11*f17+62278*f11*f18+24651*f11*f19+13909*f11*f20+58847*f11*f21+8414*f11*f6+60153*f11*f7+15505*f11*f8+19868*f11*f9+58265*f11*f10+14561*f11*f2+34924*f11*f22+4748*f11*f0+61898*f11*f1+23666*f11*f3+29362*f11*f4+48366*f11*f5+5840*f13^2+31653*f13*f14+21786*f13*f15+15426*f13*f16+24537*f13*f17+35536*f13*f18+2195*f13*f19+10993*f13*f20+835*f13*f21+38122*f13*f6+6208*f13*f7+47611*f13*f8+33856*f13*f9+12565*f13*f10+18083*f13*f2+63542*f13*f22+24342*f13*f0+8128*f13*f1+55091*f13*f3+25934*f13*f4+5047*f13*f5+46998*f14^2+48142*f14*f15+27098*f14*f16+33918*f14*f17+49618*f14*f18+51900*f14*f19+11237*f14*f20+43286*f14*f21+10781*f14*f6+17003*f14*f7+37118*f14*f8+42825*f14*f9+3109*f14*f10+30171*f14*f2+58276*f14*f22+52403*f14*f0+6077*f14*f1+19082*f14*f3+15543*f14*f4+36488*f14*f5, 2539*f12+10742*f22+38523*f0+7395*f1+29202*f2+47987*f3+4539*f4+1397*f5+55684*f6+182*f7+6852*f8+7410*f9+1627*f10+22593*f11+39571*f13+37843*f14+32197*f15+22613*f16+5815*f17+10687*f18+4830*f19+10220*f20+57442*f21+62839*f4^2+57257*f4*f5+54632*f5^2+2032*f22^2+22856*f22*f0+51416*f22*f1+43828*f22*f3+50506*f22*f4+53994*f22*f5+62211*f0^2+7940*f0*f1+63642*f0*f3+13896*f0*f4+28877*f0*f5+757*f1^2+62093*f1*f3+18072*f1*f4+56535*f1*f5+18330*f3^2+40819*f3*f4+44441*f3*f5+16871*f7*f4+50617*f7*f5+48783*f8^2+25664*f8*f9+55988*f8*f10+52887*f8*f2+29118*f8*f22+36282*f8*f0+16343*f8*f1+16959*f8*f3+60106*f8*f4+43892*f8*f5+26593*f9^2+40156*f9*f10+1232*f9*f2+46611*f9*f22+51609*f9*f0+27125*f9*f1+62617*f9*f3+23416*f9*f4+33032*f9*f5+30609*f10^2+43632*f10*f2+23926*f10*f22+22534*f10*f0+56759*f10*f1+8867*f10*f3+51981*f10*f4+32341*f10*f5+32936*f2^2+65098*f2*f22+17157*f2*f0+40954*f2*f1+12763*f2*f3+42280*f2*f4+20377*f2*f5+16341*f19*f6+57382*f19*f7+57777*f19*f8+18778*f19*f9+17700*f19*f10+30464*f19*f2+22702*f19*f22+63036*f19*f0+4704*f19*f1+37902*f19*f3+20030*f19*f4+19942*f19*f5+49252*f20^2+16543*f20*f21+60173*f20*f6+56952*f20*f7+5647*f20*f8+29305*f20*f9+26076*f20*f10+60668*f20*f2+40452*f20*f22+33839*f20*f0+49770*f20*f1+51758*f20*f3+21526*f20*f4+34612*f20*f5+20818*f21^2+5495*f21*f6+42141*f21*f7+5126*f21*f8+5658*f21*f9+31327*f21*f10+6037*f21*f2+2270*f21*f22+28991*f21*f0+48549*f21*f1+61694*f21*f3+51453*f21*f4+34859*f21*f5+830*f6^2+56359*f6*f7+50891*f6*f8+51885*f6*f9+1726*f6*f10+30215*f6*f2+42112*f6*f22+52446*f6*f0+16690*f6*f1+39529*f6*f3+53101*f6*f4+28982*f6*f5+33124*f7^2+8434*f7*f8+15307*f7*f9+3511*f7*f10+32622*f7*f2+50721*f7*f22+23990*f7*f0+9847*f7*f1+1997*f7*f3+46998*f15^2+48142*f15*f16+27098*f15*f17+33918*f15*f18+49618*f15*f19+51900*f15*f20+11237*f15*f21+36488*f15*f6+10781*f15*f7+17003*f15*f8+37118*f15*f9+42825*f15*f10+6077*f15*f2+43286*f15*f22+58276*f15*f0+52403*f15*f1+30171*f15*f3+19082*f15*f4+15543*f15*f5+14348*f16^2+28930*f16*f17+59018*f16*f18+27573*f16*f19+1462*f16*f20+60010*f16*f21+29497*f16*f6+54507*f16*f7+27171*f16*f8+13861*f16*f9+58490*f16*f10+1182*f16*f2+60754*f16*f22+31356*f16*f0+55014*f16*f1+52961*f16*f3+14820*f16*f4+57177*f16*f5+61117*f17^2+5110*f17*f18+48546*f17*f19+3179*f17*f20+52904*f17*f21+16220*f17*f6+23444*f17*f7+15726*f17*f8+29379*f17*f9+17653*f17*f10+60377*f17*f2+56043*f17*f22+8853*f17*f0+51168*f17*f1+50507*f17*f3+279*f17*f4+24686*f17*f5+871*f18^2+14706*f18*f19+28273*f18*f20+28711*f18*f21+281*f18*f6+30701*f18*f7+60354*f18*f8+16467*f18*f9+41195*f18*f10+58115*f18*f2+65291*f18*f22+37171*f18*f0+22922*f18*f1+63711*f18*f3+9107*f18*f4+31150*f18*f5+41872*f19^2+16983*f19*f20+56654*f19*f21+36047*f12^2+58265*f12*f11+58215*f12*f13+48773*f12*f14+29279*f12*f15+28999*f12*f16+27307*f12*f17+41209*f12*f18+62278*f12*f19+24651*f12*f20+13909*f12*f21+48366*f12*f6+8414*f12*f7+60153*f12*f8+15505*f12*f9+19868*f12*f10+61898*f12*f2+58847*f12*f22+34924*f12*f0+4748*f12*f1+14561*f12*f3+23666*f12*f4+29362*f12*f5+26010*f11^2+56264*f11*f13+12565*f11*f14+3109*f11*f15+39958*f11*f16+57982*f11*f17+24016*f11*f18+30612*f11*f19+50553*f11*f20+51785*f11*f21+26179*f11*f6+47227*f11*f7+14743*f11*f8+44526*f11*f9+58823*f11*f10+10536*f11*f2+23552*f11*f22+60348*f11*f0+20866*f11*f1+30458*f11*f3+29499*f11*f4+1297*f11*f5+7647*f13^2+36501*f13*f14+36972*f13*f15+3779*f13*f16+30275*f13*f17+464*f13*f18+47701*f13*f19+64908*f13*f20+2090*f13*f21+3905*f13*f6+12984*f13*f7+7214*f13*f8+14675*f13*f9+31250*f13*f10+63394*f13*f2+36016*f13*f22+18162*f13*f0+4979*f13*f1+39200*f13*f3+42755*f13*f4+13404*f13*f5+5840*f14^2+31653*f14*f15+21786*f14*f16+15426*f14*f17+24537*f14*f18+35536*f14*f19+2195*f14*f20+10993*f14*f21+5047*f14*f6+38122*f14*f7+6208*f14*f8+47611*f14*f9+33856*f14*f10+8128*f14*f2+835*f14*f22+63542*f14*f0+24342*f14*f1+18083*f14*f3+55091*f14*f4+25934*f14*f5, 22593*f12+57442*f22+10742*f0+38523*f1+7395*f2+29202*f3+47987*f4+4539*f5+1397*f6+55684*f7+182*f8+6852*f9+7410*f10+1627*f11+2539*f13+39571*f14+37843*f15+32197*f16+22613*f17+5815*f18+10687*f19+4830*f20+10220*f21+18330*f4^2+40819*f4*f5+62839*f5^2+20818*f22^2+2270*f22*f0+28991*f22*f1+6037*f22*f3+61694*f22*f4+51453*f22*f5+2032*f0^2+22856*f0*f1+65098*f0*f3+43828*f0*f4+50506*f0*f5+62211*f1^2+17157*f1*f3+63642*f1*f4+13896*f1*f5+32936*f3^2+12763*f3*f4+42280*f3*f5+39529*f7*f4+53101*f7*f5+33124*f8^2+8434*f8*f9+15307*f8*f10+9847*f8*f2+42141*f8*f22+50721*f8*f0+23990*f8*f1+32622*f8*f3+1997*f8*f4+16871*f8*f5+48783*f9^2+25664*f9*f10+16343*f9*f2+5126*f9*f22+29118*f9*f0+36282*f9*f1+52887*f9*f3+16959*f9*f4+60106*f9*f5+26593*f10^2+27125*f10*f2+5658*f10*f22+46611*f10*f0+51609*f10*f1+1232*f10*f3+62617*f10*f4+23416*f10*f5+757*f2^2+48549*f2*f22+51416*f2*f0+7940*f2*f1+40954*f2*f3+62093*f2*f4+18072*f2*f5+31150*f19*f6+281*f19*f7+30701*f19*f8+60354*f19*f9+16467*f19*f10+22922*f19*f2+28711*f19*f22+65291*f19*f0+37171*f19*f1+58115*f19*f3+63711*f19*f4+9107*f19*f5+41872*f20^2+16983*f20*f21+19942*f20*f6+16341*f20*f7+57382*f20*f8+57777*f20*f9+18778*f20*f10+4704*f20*f2+56654*f20*f22+22702*f20*f0+63036*f20*f1+30464*f20*f3+37902*f20*f4+20030*f20*f5+49252*f21^2+34612*f21*f6+60173*f21*f7+56952*f21*f8+5647*f21*f9+29305*f21*f10+49770*f21*f2+16543*f21*f22+40452*f21*f0+33839*f21*f1+60668*f21*f3+51758*f21*f4+21526*f21*f5+54632*f6^2+28982*f6*f7+50617*f6*f8+43892*f6*f9+33032*f6*f10+56535*f6*f2+34859*f6*f22+53994*f6*f0+28877*f6*f1+20377*f6*f3+44441*f6*f4+57257*f6*f5+830*f7^2+56359*f7*f8+50891*f7*f9+51885*f7*f10+16690*f7*f2+5495*f7*f22+42112*f7*f0+52446*f7*f1+30215*f7*f3+5840*f15^2+31653*f15*f16+21786*f15*f17+15426*f15*f18+24537*f15*f19+35536*f15*f20+2195*f15*f21+25934*f15*f6+5047*f15*f7+38122*f15*f8+6208*f15*f9+47611*f15*f10+24342*f15*f2+10993*f15*f22+835*f15*f0+63542*f15*f1+8128*f15*f3+18083*f15*f4+55091*f15*f5+46998*f16^2+48142*f16*f17+27098*f16*f18+33918*f16*f19+49618*f16*f20+51900*f16*f21+15543*f16*f6+36488*f16*f7+10781*f16*f8+17003*f16*f9+37118*f16*f10+52403*f16*f2+11237*f16*f22+43286*f16*f0+58276*f16*f1+6077*f16*f3+30171*f16*f4+19082*f16*f5+14348*f17^2+28930*f17*f18+59018*f17*f19+27573*f17*f20+1462*f17*f21+57177*f17*f6+29497*f17*f7+54507*f17*f8+27171*f17*f9+13861*f17*f10+55014*f17*f2+60010*f17*f22+60754*f17*f0+31356*f17*f1+1182*f17*f3+52961*f17*f4+14820*f17*f5+61117*f18^2+5110*f18*f19+48546*f18*f20+3179*f18*f21+24686*f18*f6+16220*f18*f7+23444*f18*f8+15726*f18*f9+29379*f18*f10+51168*f18*f2+52904*f18*f22+56043*f18*f0+8853*f18*f1+60377*f18*f3+50507*f18*f4+279*f18*f5+871*f19^2+14706*f19*f20+28273*f19*f21+26010*f12^2+58823*f12*f11+58265*f12*f13+56264*f12*f14+12565*f12*f15+3109*f12*f16+39958*f12*f17+57982*f12*f18+24016*f12*f19+30612*f12*f20+50553*f12*f21+1297*f12*f6+26179*f12*f7+47227*f12*f8+14743*f12*f9+44526*f12*f10+20866*f12*f2+51785*f12*f22+23552*f12*f0+60348*f12*f1+10536*f12*f3+30458*f12*f4+29499*f12*f5+30609*f11^2+19868*f11*f13+31250*f11*f14+33856*f11*f15+42825*f11*f16+58490*f11*f17+17653*f11*f18+41195*f11*f19+17700*f11*f20+26076*f11*f21+32341*f11*f6+1726*f11*f7+3511*f11*f8+55988*f11*f9+40156*f11*f10+56759*f11*f2+31327*f11*f22+23926*f11*f0+22534*f11*f1+43632*f11*f3+8867*f11*f4+51981*f11*f5+36047*f13^2+58215*f13*f14+48773*f13*f15+29279*f13*f16+28999*f13*f17+27307*f13*f18+41209*f13*f19+62278*f13*f20+24651*f13*f21+29362*f13*f6+48366*f13*f7+8414*f13*f8+60153*f13*f9+15505*f13*f10+4748*f13*f2+13909*f13*f22+58847*f13*f0+34924*f13*f1+61898*f13*f3+14561*f13*f4+23666*f13*f5+7647*f14^2+36501*f14*f15+36972*f14*f16+3779*f14*f17+30275*f14*f18+464*f14*f19+47701*f14*f20+64908*f14*f21+13404*f14*f6+3905*f14*f7+12984*f14*f8+7214*f14*f9+14675*f14*f10+4979*f14*f2+2090*f14*f22+36016*f14*f0+18162*f14*f1+63394*f14*f3+39200*f14*f4+42755*f14*f5, 1627*f12+10220*f22+57442*f0+10742*f1+38523*f2+7395*f3+29202*f4+47987*f5+4539*f6+1397*f7+55684*f8+182*f9+6852*f10+7410*f11+22593*f13+2539*f14+39571*f15+37843*f16+32197*f17+22613*f18+5815*f19+10687*f20+4830*f21+32936*f4^2+12763*f4*f5+18330*f5^2+49252*f22^2+16543*f22*f0+40452*f22*f1+49770*f22*f3+60668*f22*f4+51758*f22*f5+20818*f0^2+2270*f0*f1+48549*f0*f3+6037*f0*f4+61694*f0*f5+2032*f1^2+51416*f1*f3+65098*f1*f4+43828*f1*f5+757*f3^2+40954*f3*f4+62093*f3*f5+20377*f7*f4+44441*f7*f5+830*f8^2+56359*f8*f9+50891*f8*f10+52446*f8*f2+60173*f8*f22+5495*f8*f0+42112*f8*f1+16690*f8*f3+30215*f8*f4+39529*f8*f5+33124*f9^2+8434*f9*f10+23990*f9*f2+56952*f9*f22+42141*f9*f0+50721*f9*f1+9847*f9*f3+32622*f9*f4+1997*f9*f5+48783*f10^2+36282*f10*f2+5647*f10*f22+5126*f10*f0+29118*f10*f1+16343*f10*f3+52887*f10*f4+16959*f10*f5+62211*f2^2+33839*f2*f22+28991*f2*f0+22856*f2*f1+7940*f2*f3+17157*f2*f4+63642*f2*f5+279*f19*f6+24686*f19*f7+16220*f19*f8+23444*f19*f9+15726*f19*f10+8853*f19*f2+3179*f19*f22+52904*f19*f0+56043*f19*f1+51168*f19*f3+60377*f19*f4+50507*f19*f5+871*f20^2+14706*f20*f21+9107*f20*f6+31150*f20*f7+281*f20*f8+30701*f20*f9+60354*f20*f10+37171*f20*f2+28273*f20*f22+28711*f20*f0+65291*f20*f1+22922*f20*f3+58115*f20*f4+63711*f20*f5+41872*f21^2+20030*f21*f6+19942*f21*f7+16341*f21*f8+57382*f21*f9+57777*f21*f10+63036*f21*f2+16983*f21*f22+56654*f21*f0+22702*f21*f1+4704*f21*f3+30464*f21*f4+37902*f21*f5+62839*f6^2+57257*f6*f7+53101*f6*f8+16871*f6*f9+60106*f6*f10+13896*f6*f2+21526*f6*f22+51453*f6*f0+50506*f6*f1+18072*f6*f3+42280*f6*f4+40819*f6*f5+54632*f7^2+28982*f7*f8+50617*f7*f9+43892*f7*f10+28877*f7*f2+34612*f7*f22+34859*f7*f0+53994*f7*f1+56535*f7*f3+7647*f15^2+36501*f15*f16+36972*f15*f17+3779*f15*f18+30275*f15*f19+464*f15*f20+47701*f15*f21+42755*f15*f6+13404*f15*f7+3905*f15*f8+12984*f15*f9+7214*f15*f10+18162*f15*f2+64908*f15*f22+2090*f15*f0+36016*f15*f1+4979*f15*f3+63394*f15*f4+39200*f15*f5+5840*f16^2+31653*f16*f17+21786*f16*f18+15426*f16*f19+24537*f16*f20+35536*f16*f21+55091*f16*f6+25934*f16*f7+5047*f16*f8+38122*f16*f9+6208*f16*f10+63542*f16*f2+2195*f16*f22+10993*f16*f0+835*f16*f1+24342*f16*f3+8128*f16*f4+18083*f16*f5+46998*f17^2+48142*f17*f18+27098*f17*f19+33918*f17*f20+49618*f17*f21+19082*f17*f6+15543*f17*f7+36488*f17*f8+10781*f17*f9+17003*f17*f10+58276*f17*f2+51900*f17*f22+11237*f17*f0+43286*f17*f1+52403*f17*f3+6077*f17*f4+30171*f17*f5+14348*f18^2+28930*f18*f19+59018*f18*f20+27573*f18*f21+14820*f18*f6+57177*f18*f7+29497*f18*f8+54507*f18*f9+27171*f18*f10+31356*f18*f2+1462*f18*f22+60010*f18*f0+60754*f18*f1+55014*f18*f3+1182*f18*f4+52961*f18*f5+61117*f19^2+5110*f19*f20+48546*f19*f21+30609*f12^2+40156*f12*f11+58823*f12*f13+19868*f12*f14+31250*f12*f15+33856*f12*f16+42825*f12*f17+58490*f12*f18+17653*f12*f19+41195*f12*f20+17700*f12*f21+51981*f12*f6+32341*f12*f7+1726*f12*f8+3511*f12*f9+55988*f12*f10+22534*f12*f2+26076*f12*f22+31327*f12*f0+23926*f12*f1+56759*f12*f3+43632*f12*f4+8867*f12*f5+26593*f11^2+44526*f11*f13+15505*f11*f14+14675*f11*f15+47611*f11*f16+37118*f11*f17+13861*f11*f18+29379*f11*f19+16467*f11*f20+18778*f11*f21+23416*f11*f6+33032*f11*f7+51885*f11*f8+15307*f11*f9+25664*f11*f10+51609*f11*f2+29305*f11*f22+5658*f11*f0+46611*f11*f1+27125*f11*f3+1232*f11*f4+62617*f11*f5+26010*f13^2+58265*f13*f14+56264*f13*f15+12565*f13*f16+3109*f13*f17+39958*f13*f18+57982*f13*f19+24016*f13*f20+30612*f13*f21+29499*f13*f6+1297*f13*f7+26179*f13*f8+47227*f13*f9+14743*f13*f10+60348*f13*f2+50553*f13*f22+51785*f13*f0+23552*f13*f1+20866*f13*f3+10536*f13*f4+30458*f13*f5+36047*f14^2+58215*f14*f15+48773*f14*f16+29279*f14*f17+28999*f14*f18+27307*f14*f19+41209*f14*f20+62278*f14*f21+23666*f14*f6+29362*f14*f7+48366*f14*f8+8414*f14*f9+60153*f14*f10+34924*f14*f2+24651*f14*f22+13909*f14*f0+58847*f14*f1+4748*f14*f3+61898*f14*f4+14561*f14*f5, 7410*f12+4830*f22+10220*f0+57442*f1+10742*f2+38523*f3+7395*f4+29202*f5+47987*f6+4539*f7+1397*f8+55684*f9+182*f10+6852*f11+1627*f13+22593*f14+2539*f15+39571*f16+37843*f17+32197*f18+22613*f19+5815*f20+10687*f21+757*f4^2+40954*f4*f5+32936*f5^2+41872*f22^2+16983*f22*f0+56654*f22*f1+63036*f22*f3+4704*f22*f4+30464*f22*f5+49252*f0^2+16543*f0*f1+33839*f0*f3+49770*f0*f4+60668*f0*f5+20818*f1^2+28991*f1*f3+48549*f1*f4+6037*f1*f5+62211*f3^2+7940*f3*f4+17157*f3*f5+18072*f7*f4+42280*f7*f5+54632*f8^2+28982*f8*f9+50617*f8*f10+53994*f8*f2+19942*f8*f22+34612*f8*f0+34859*f8*f1+28877*f8*f3+56535*f8*f4+20377*f8*f5+830*f9^2+56359*f9*f10+42112*f9*f2+16341*f9*f22+60173*f9*f0+5495*f9*f1+52446*f9*f3+16690*f9*f4+30215*f9*f5+33124*f10^2+50721*f10*f2+57382*f10*f22+56952*f10*f0+42141*f10*f1+23990*f10*f3+9847*f10*f4+32622*f10*f5+2032*f2^2+22702*f2*f22+40452*f2*f0+2270*f2*f1+22856*f2*f3+51416*f2*f4+65098*f2*f5+52961*f19*f6+14820*f19*f7+57177*f19*f8+29497*f19*f9+54507*f19*f10+60754*f19*f2+27573*f19*f22+1462*f19*f0+60010*f19*f1+31356*f19*f3+55014*f19*f4+1182*f19*f5+61117*f20^2+5110*f20*f21+50507*f20*f6+279*f20*f7+24686*f20*f8+16220*f20*f9+23444*f20*f10+56043*f20*f2+48546*f20*f22+3179*f20*f0+52904*f20*f1+8853*f20*f3+51168*f20*f4+60377*f20*f5+871*f21^2+63711*f21*f6+9107*f21*f7+31150*f21*f8+281*f21*f9+30701*f21*f10+65291*f21*f2+14706*f21*f22+28273*f21*f0+28711*f21*f1+37171*f21*f3+22922*f21*f4+58115*f21*f5+18330*f6^2+40819*f6*f7+44441*f6*f8+39529*f6*f9+1997*f6*f10+43828*f6*f2+37902*f6*f22+51758*f6*f0+61694*f6*f1+63642*f6*f3+62093*f6*f4+12763*f6*f5+62839*f7^2+57257*f7*f8+53101*f7*f9+16871*f7*f10+50506*f7*f2+20030*f7*f22+21526*f7*f0+51453*f7*f1+13896*f7*f3+36047*f15^2+58215*f15*f16+48773*f15*f17+29279*f15*f18+28999*f15*f19+27307*f15*f20+41209*f15*f21+14561*f15*f6+23666*f15*f7+29362*f15*f8+48366*f15*f9+8414*f15*f10+58847*f15*f2+62278*f15*f22+24651*f15*f0+13909*f15*f1+34924*f15*f3+4748*f15*f4+61898*f15*f5+7647*f16^2+36501*f16*f17+36972*f16*f18+3779*f16*f19+30275*f16*f20+464*f16*f21+39200*f16*f6+42755*f16*f7+13404*f16*f8+3905*f16*f9+12984*f16*f10+36016*f16*f2+47701*f16*f22+64908*f16*f0+2090*f16*f1+18162*f16*f3+4979*f16*f4+63394*f16*f5+5840*f17^2+31653*f17*f18+21786*f17*f19+15426*f17*f20+24537*f17*f21+18083*f17*f6+55091*f17*f7+25934*f17*f8+5047*f17*f9+38122*f17*f10+835*f17*f2+35536*f17*f22+2195*f17*f0+10993*f17*f1+63542*f17*f3+24342*f17*f4+8128*f17*f5+46998*f18^2+48142*f18*f19+27098*f18*f20+33918*f18*f21+30171*f18*f6+19082*f18*f7+15543*f18*f8+36488*f18*f9+10781*f18*f10+43286*f18*f2+49618*f18*f22+51900*f18*f0+11237*f18*f1+58276*f18*f3+52403*f18*f4+6077*f18*f5+14348*f19^2+28930*f19*f20+59018*f19*f21+26593*f12^2+25664*f12*f11+40156*f12*f13+44526*f12*f14+15505*f12*f15+14675*f12*f16+47611*f12*f17+37118*f12*f18+13861*f12*f19+29379*f12*f20+16467*f12*f21+62617*f12*f6+23416*f12*f7+33032*f12*f8+51885*f12*f9+15307*f12*f10+46611*f12*f2+18778*f12*f22+29305*f12*f0+5658*f12*f1+51609*f12*f3+27125*f12*f4+1232*f12*f5+48783*f11^2+55988*f11*f13+14743*f11*f14+60153*f11*f15+7214*f11*f16+6208*f11*f17+17003*f11*f18+27171*f11*f19+15726*f11*f20+60354*f11*f21+16959*f11*f6+60106*f11*f7+43892*f11*f8+50891*f11*f9+8434*f11*f10+29118*f11*f2+57777*f11*f22+5647*f11*f0+5126*f11*f1+36282*f11*f3+16343*f11*f4+52887*f11*f5+30609*f13^2+58823*f13*f14+19868*f13*f15+31250*f13*f16+33856*f13*f17+42825*f13*f18+58490*f13*f19+17653*f13*f20+41195*f13*f21+8867*f13*f6+51981*f13*f7+32341*f13*f8+1726*f13*f9+3511*f13*f10+23926*f13*f2+17700*f13*f22+26076*f13*f0+31327*f13*f1+22534*f13*f3+56759*f13*f4+43632*f13*f5+26010*f14^2+58265*f14*f15+56264*f14*f16+12565*f14*f17+3109*f14*f18+39958*f14*f19+57982*f14*f20+24016*f14*f21+30458*f14*f6+29499*f14*f7+1297*f14*f8+26179*f14*f9+47227*f14*f10+23552*f14*f2+30612*f14*f22+50553*f14*f0+51785*f14*f1+60348*f14*f3+20866*f14*f4+10536*f14*f5, 6852*f12+10687*f22+4830*f0+10220*f1+57442*f2+10742*f3+38523*f4+7395*f5+29202*f6+47987*f7+4539*f8+1397*f9+55684*f10+182*f11+7410*f13+1627*f14+22593*f15+2539*f16+39571*f17+37843*f18+32197*f19+22613*f20+5815*f21+62211*f4^2+7940*f4*f5+757*f5^2+871*f22^2+14706*f22*f0+28273*f22*f1+65291*f22*f3+37171*f22*f4+22922*f22*f5+41872*f0^2+16983*f0*f1+22702*f0*f3+63036*f0*f4+4704*f0*f5+49252*f1^2+40452*f1*f3+33839*f1*f4+49770*f1*f5+2032*f3^2+22856*f3*f4+51416*f3*f5+63642*f7*f4+62093*f7*f5+62839*f8^2+57257*f8*f9+53101*f8*f10+51453*f8*f2+9107*f8*f22+20030*f8*f0+21526*f8*f1+50506*f8*f3+13896*f8*f4+18072*f8*f5+54632*f9^2+28982*f9*f10+34859*f9*f2+31150*f9*f22+19942*f9*f0+34612*f9*f1+53994*f9*f3+28877*f9*f4+56535*f9*f5+830*f10^2+5495*f10*f2+281*f10*f22+16341*f10*f0+60173*f10*f1+42112*f10*f3+52446*f10*f4+16690*f10*f5+20818*f2^2+28711*f2*f22+56654*f2*f0+16543*f2*f1+2270*f2*f3+28991*f2*f4+48549*f2*f5+6077*f19*f6+30171*f19*f7+19082*f19*f8+15543*f19*f9+36488*f19*f10+11237*f19*f2+33918*f19*f22+49618*f19*f0+51900*f19*f1+43286*f19*f3+58276*f19*f4+52403*f19*f5+14348*f20^2+28930*f20*f21+1182*f20*f6+52961*f20*f7+14820*f20*f8+57177*f20*f9+29497*f20*f10+60010*f20*f2+59018*f20*f22+27573*f20*f0+1462*f20*f1+60754*f20*f3+31356*f20*f4+55014*f20*f5+61117*f21^2+60377*f21*f6+50507*f21*f7+279*f21*f8+24686*f21*f9+16220*f21*f10+52904*f21*f2+5110*f21*f22+48546*f21*f0+3179*f21*f1+56043*f21*f3+8853*f21*f4+51168*f21*f5+32936*f6^2+12763*f6*f7+42280*f6*f8+20377*f6*f9+30215*f6*f10+6037*f6*f2+58115*f6*f22+30464*f6*f0+60668*f6*f1+65098*f6*f3+17157*f6*f4+40954*f6*f5+18330*f7^2+40819*f7*f8+44441*f7*f9+39529*f7*f10+61694*f7*f2+63711*f7*f22+37902*f7*f0+51758*f7*f1+43828*f7*f3+26010*f15^2+58265*f15*f16+56264*f15*f17+12565*f15*f18+3109*f15*f19+39958*f15*f20+57982*f15*f21+10536*f15*f6+30458*f15*f7+29499*f15*f8+1297*f15*f9+26179*f15*f10+51785*f15*f2+24016*f15*f22+30612*f15*f0+50553*f15*f1+23552*f15*f3+60348*f15*f4+20866*f15*f5+36047*f16^2+58215*f16*f17+48773*f16*f18+29279*f16*f19+28999*f16*f20+27307*f16*f21+61898*f16*f6+14561*f16*f7+23666*f16*f8+29362*f16*f9+48366*f16*f10+13909*f16*f2+41209*f16*f22+62278*f16*f0+24651*f16*f1+58847*f16*f3+34924*f16*f4+4748*f16*f5+7647*f17^2+36501*f17*f18+36972*f17*f19+3779*f17*f20+30275*f17*f21+63394*f17*f6+39200*f17*f7+42755*f17*f8+13404*f17*f9+3905*f17*f10+2090*f17*f2+464*f17*f22+47701*f17*f0+64908*f17*f1+36016*f17*f3+18162*f17*f4+4979*f17*f5+5840*f18^2+31653*f18*f19+21786*f18*f20+15426*f18*f21+8128*f18*f6+18083*f18*f7+55091*f18*f8+25934*f18*f9+5047*f18*f10+10993*f18*f2+24537*f18*f22+35536*f18*f0+2195*f18*f1+835*f18*f3+63542*f18*f4+24342*f18*f5+46998*f19^2+48142*f19*f20+27098*f19*f21+48783*f12^2+8434*f12*f11+25664*f12*f13+55988*f12*f14+14743*f12*f15+60153*f12*f16+7214*f12*f17+6208*f12*f18+17003*f12*f19+27171*f12*f20+15726*f12*f21+52887*f12*f6+16959*f12*f7+60106*f12*f8+43892*f12*f9+50891*f12*f10+5126*f12*f2+60354*f12*f22+57777*f12*f0+5647*f12*f1+29118*f12*f3+36282*f12*f4+16343*f12*f5+33124*f11^2+15307*f11*f13+3511*f11*f14+47227*f11*f15+8414*f11*f16+12984*f11*f17+38122*f11*f18+10781*f11*f19+54507*f11*f20+23444*f11*f21+32622*f11*f6+1997*f11*f7+16871*f11*f8+50617*f11*f9+56359*f11*f10+42141*f11*f2+30701*f11*f22+57382*f11*f0+56952*f11*f1+50721*f11*f3+23990*f11*f4+9847*f11*f5+26593*f13^2+40156*f13*f14+44526*f13*f15+15505*f13*f16+14675*f13*f17+47611*f13*f18+37118*f13*f19+13861*f13*f20+29379*f13*f21+1232*f13*f6+62617*f13*f7+23416*f13*f8+33032*f13*f9+51885*f13*f10+5658*f13*f2+16467*f13*f22+18778*f13*f0+29305*f13*f1+46611*f13*f3+51609*f13*f4+27125*f13*f5+30609*f14^2+58823*f14*f15+19868*f14*f16+31250*f14*f17+33856*f14*f18+42825*f14*f19+58490*f14*f20+17653*f14*f21+43632*f14*f6+8867*f14*f7+51981*f14*f8+32341*f14*f9+1726*f14*f10+31327*f14*f2+41195*f14*f22+17700*f14*f0+26076*f14*f1+23926*f14*f3+22534*f14*f4+56759*f14*f5, 182*f12+5815*f22+10687*f0+4830*f1+10220*f2+57442*f3+10742*f4+38523*f5+7395*f6+29202*f7+47987*f8+4539*f9+1397*f10+55684*f11+6852*f13+7410*f14+1627*f15+22593*f16+2539*f17+39571*f18+37843*f19+32197*f20+22613*f21+2032*f4^2+22856*f4*f5+62211*f5^2+61117*f22^2+5110*f22*f0+48546*f22*f1+52904*f22*f3+56043*f22*f4+8853*f22*f5+871*f0^2+14706*f0*f1+28711*f0*f3+65291*f0*f4+37171*f0*f5+41872*f1^2+56654*f1*f3+22702*f1*f4+63036*f1*f5+20818*f3^2+2270*f3*f4+28991*f3*f5+65098*f7*f4+17157*f7*f5+18330*f8^2+40819*f8*f9+44441*f8*f10+51758*f8*f2+50507*f8*f22+63711*f8*f0+37902*f8*f1+61694*f8*f3+43828*f8*f4+63642*f8*f5+62839*f9^2+57257*f9*f10+21526*f9*f2+279*f9*f22+9107*f9*f0+20030*f9*f1+51453*f9*f3+50506*f9*f4+13896*f9*f5+54632*f10^2+34612*f10*f2+24686*f10*f22+31150*f10*f0+19942*f10*f1+34859*f10*f3+53994*f10*f4+28877*f10*f5+49252*f2^2+3179*f2*f22+28273*f2*f0+16983*f2*f1+16543*f2*f3+40452*f2*f4+33839*f2*f5+24342*f19*f6+8128*f19*f7+18083*f19*f8+55091*f19*f9+25934*f19*f10+2195*f19*f2+15426*f19*f22+24537*f19*f0+35536*f19*f1+10993*f19*f3+835*f19*f4+63542*f19*f5+46998*f20^2+48142*f20*f21+52403*f20*f6+6077*f20*f7+30171*f20*f8+19082*f20*f9+15543*f20*f10+51900*f20*f2+27098*f20*f22+33918*f20*f0+49618*f20*f1+11237*f20*f3+43286*f20*f4+58276*f20*f5+14348*f21^2+55014*f21*f6+1182*f21*f7+52961*f21*f8+14820*f21*f9+57177*f21*f10+1462*f21*f2+28930*f21*f22+59018*f21*f0+27573*f21*f1+60010*f21*f3+60754*f21*f4+31356*f21*f5+757*f6^2+40954*f6*f7+62093*f6*f8+18072*f6*f9+56535*f6*f10+49770*f6*f2+51168*f6*f22+22922*f6*f0+4704*f6*f1+48549*f6*f3+51416*f6*f4+7940*f6*f5+32936*f7^2+12763*f7*f8+42280*f7*f9+20377*f7*f10+60668*f7*f2+60377*f7*f22+58115*f7*f0+30464*f7*f1+6037*f7*f3+30609*f15^2+58823*f15*f16+19868*f15*f17+31250*f15*f18+33856*f15*f19+42825*f15*f20+58490*f15*f21+56759*f15*f6+43632*f15*f7+8867*f15*f8+51981*f15*f9+32341*f15*f10+26076*f15*f2+17653*f15*f22+41195*f15*f0+17700*f15*f1+31327*f15*f3+23926*f15*f4+22534*f15*f5+26010*f16^2+58265*f16*f17+56264*f16*f18+12565*f16*f19+3109*f16*f20+39958*f16*f21+20866*f16*f6+10536*f16*f7+30458*f16*f8+29499*f16*f9+1297*f16*f10+50553*f16*f2+57982*f16*f22+24016*f16*f0+30612*f16*f1+51785*f16*f3+23552*f16*f4+60348*f16*f5+36047*f17^2+58215*f17*f18+48773*f17*f19+29279*f17*f20+28999*f17*f21+4748*f17*f6+61898*f17*f7+14561*f17*f8+23666*f17*f9+29362*f17*f10+24651*f17*f2+27307*f17*f22+41209*f17*f0+62278*f17*f1+13909*f17*f3+58847*f17*f4+34924*f17*f5+7647*f18^2+36501*f18*f19+36972*f18*f20+3779*f18*f21+4979*f18*f6+63394*f18*f7+39200*f18*f8+42755*f18*f9+13404*f18*f10+64908*f18*f2+30275*f18*f22+464*f18*f0+47701*f18*f1+2090*f18*f3+36016*f18*f4+18162*f18*f5+5840*f19^2+31653*f19*f20+21786*f19*f21+33124*f12^2+56359*f12*f11+8434*f12*f13+15307*f12*f14+3511*f12*f15+47227*f12*f16+8414*f12*f17+12984*f12*f18+38122*f12*f19+10781*f12*f20+54507*f12*f21+9847*f12*f6+32622*f12*f7+1997*f12*f8+16871*f12*f9+50617*f12*f10+56952*f12*f2+23444*f12*f22+30701*f12*f0+57382*f12*f1+42141*f12*f3+50721*f12*f4+23990*f12*f5+830*f11^2+50891*f11*f13+51885*f11*f14+1726*f11*f15+26179*f11*f16+48366*f11*f17+3905*f11*f18+5047*f11*f19+36488*f11*f20+29497*f11*f21+16690*f11*f6+30215*f11*f7+39529*f11*f8+53101*f11*f9+28982*f11*f10+60173*f11*f2+16220*f11*f22+281*f11*f0+16341*f11*f1+5495*f11*f3+42112*f11*f4+52446*f11*f5+48783*f13^2+25664*f13*f14+55988*f13*f15+14743*f13*f16+60153*f13*f17+7214*f13*f18+6208*f13*f19+17003*f13*f20+27171*f13*f21+16343*f13*f6+52887*f13*f7+16959*f13*f8+60106*f13*f9+43892*f13*f10+5647*f13*f2+15726*f13*f22+60354*f13*f0+57777*f13*f1+5126*f13*f3+29118*f13*f4+36282*f13*f5+26593*f14^2+40156*f14*f15+44526*f14*f16+15505*f14*f17+14675*f14*f18+47611*f14*f19+37118*f14*f20+13861*f14*f21+27125*f14*f6+1232*f14*f7+62617*f14*f8+23416*f14*f9+33032*f14*f10+29305*f14*f2+29379*f14*f22+16467*f14*f0+18778*f14*f1+5658*f14*f3+46611*f14*f4+51609*f14*f5, 55684*f12+22613*f22+5815*f0+10687*f1+4830*f2+10220*f3+57442*f4+10742*f5+38523*f6+7395*f7+29202*f8+47987*f9+4539*f10+1397*f11+182*f13+6852*f14+7410*f15+1627*f16+22593*f17+2539*f18+39571*f19+37843*f20+32197*f21+20818*f4^2+2270*f4*f5+2032*f5^2+14348*f22^2+28930*f22*f0+59018*f22*f1+1462*f22*f3+60010*f22*f4+60754*f22*f5+61117*f0^2+5110*f0*f1+3179*f0*f3+52904*f0*f4+56043*f0*f5+871*f1^2+28273*f1*f3+28711*f1*f4+65291*f1*f5+49252*f3^2+16543*f3*f4+40452*f3*f5+48549*f7*f4+51416*f7*f5+32936*f8^2+12763*f8*f9+42280*f8*f10+30464*f8*f2+1182*f8*f22+60377*f8*f0+58115*f8*f1+60668*f8*f3+6037*f8*f4+65098*f8*f5+18330*f9^2+40819*f9*f10+37902*f9*f2+52961*f9*f22+50507*f9*f0+63711*f9*f1+51758*f9*f3+61694*f9*f4+43828*f9*f5+62839*f10^2+20030*f10*f2+14820*f10*f22+279*f10*f0+9107*f10*f1+21526*f10*f3+51453*f10*f4+50506*f10*f5+41872*f2^2+27573*f2*f22+48546*f2*f0+14706*f2*f1+16983*f2*f3+56654*f2*f4+22702*f2*f5+18162*f19*f6+4979*f19*f7+63394*f19*f8+39200*f19*f9+42755*f19*f10+47701*f19*f2+3779*f19*f22+30275*f19*f0+464*f19*f1+64908*f19*f3+2090*f19*f4+36016*f19*f5+5840*f20^2+31653*f20*f21+63542*f20*f6+24342*f20*f7+8128*f20*f8+18083*f20*f9+55091*f20*f10+35536*f20*f2+21786*f20*f22+15426*f20*f0+24537*f20*f1+2195*f20*f3+10993*f20*f4+835*f20*f5+46998*f21^2+58276*f21*f6+52403*f21*f7+6077*f21*f8+30171*f21*f9+19082*f21*f10+49618*f21*f2+48142*f21*f22+27098*f21*f0+33918*f21*f1+51900*f21*f3+11237*f21*f4+43286*f21*f5+62211*f6^2+7940*f6*f7+17157*f6*f8+63642*f6*f9+13896*f6*f10+63036*f6*f2+31356*f6*f22+8853*f6*f0+37171*f6*f1+33839*f6*f3+28991*f6*f4+22856*f6*f5+757*f7^2+40954*f7*f8+62093*f7*f9+18072*f7*f10+4704*f7*f2+55014*f7*f22+51168*f7*f0+22922*f7*f1+49770*f7*f3+26593*f15^2+40156*f15*f16+44526*f15*f17+15505*f15*f18+14675*f15*f19+47611*f15*f20+37118*f15*f21+51609*f15*f6+27125*f15*f7+1232*f15*f8+62617*f15*f9+23416*f15*f10+18778*f15*f2+13861*f15*f22+29379*f15*f0+16467*f15*f1+29305*f15*f3+5658*f15*f4+46611*f15*f5+30609*f16^2+58823*f16*f17+19868*f16*f18+31250*f16*f19+33856*f16*f20+42825*f16*f21+22534*f16*f6+56759*f16*f7+43632*f16*f8+8867*f16*f9+51981*f16*f10+17700*f16*f2+58490*f16*f22+17653*f16*f0+41195*f16*f1+26076*f16*f3+31327*f16*f4+23926*f16*f5+26010*f17^2+58265*f17*f18+56264*f17*f19+12565*f17*f20+3109*f17*f21+60348*f17*f6+20866*f17*f7+10536*f17*f8+30458*f17*f9+29499*f17*f10+30612*f17*f2+39958*f17*f22+57982*f17*f0+24016*f17*f1+50553*f17*f3+51785*f17*f4+23552*f17*f5+36047*f18^2+58215*f18*f19+48773*f18*f20+29279*f18*f21+34924*f18*f6+4748*f18*f7+61898*f18*f8+14561*f18*f9+23666*f18*f10+62278*f18*f2+28999*f18*f22+27307*f18*f0+41209*f18*f1+24651*f18*f3+13909*f18*f4+58847*f18*f5+7647*f19^2+36501*f19*f20+36972*f19*f21+830*f12^2+28982*f12*f11+56359*f12*f13+50891*f12*f14+51885*f12*f15+1726*f12*f16+26179*f12*f17+48366*f12*f18+3905*f12*f19+5047*f12*f20+36488*f12*f21+52446*f12*f6+16690*f12*f7+30215*f12*f8+39529*f12*f9+53101*f12*f10+16341*f12*f2+29497*f12*f22+16220*f12*f0+281*f12*f1+60173*f12*f3+5495*f12*f4+42112*f12*f5+54632*f11^2+50617*f11*f13+43892*f11*f14+33032*f11*f15+32341*f11*f16+1297*f11*f17+29362*f11*f18+13404*f11*f19+25934*f11*f20+15543*f11*f21+28877*f11*f6+56535*f11*f7+20377*f11*f8+44441*f11*f9+57257*f11*f10+19942*f11*f2+57177*f11*f22+24686*f11*f0+31150*f11*f1+34612*f11*f3+34859*f11*f4+53994*f11*f5+33124*f13^2+8434*f13*f14+15307*f13*f15+3511*f13*f16+47227*f13*f17+8414*f13*f18+12984*f13*f19+38122*f13*f20+10781*f13*f21+23990*f13*f6+9847*f13*f7+32622*f13*f8+1997*f13*f9+16871*f13*f10+57382*f13*f2+54507*f13*f22+23444*f13*f0+30701*f13*f1+56952*f13*f3+42141*f13*f4+50721*f13*f5+48783*f14^2+25664*f14*f15+55988*f14*f16+14743*f14*f17+60153*f14*f18+7214*f14*f19+6208*f14*f20+17003*f14*f21+36282*f14*f6+16343*f14*f7+52887*f14*f8+16959*f14*f9+60106*f14*f10+57777*f14*f2+27171*f14*f22+15726*f14*f0+60354*f14*f1+5647*f14*f3+5126*f14*f4+29118*f14*f5, 1397*f12+32197*f22+22613*f0+5815*f1+10687*f2+4830*f3+10220*f4+57442*f5+10742*f6+38523*f7+7395*f8+29202*f9+47987*f10+4539*f11+55684*f13+182*f14+6852*f15+7410*f16+1627*f17+22593*f18+2539*f19+39571*f20+37843*f21+49252*f4^2+16543*f4*f5+20818*f5^2+46998*f22^2+48142*f22*f0+27098*f22*f1+49618*f22*f3+51900*f22*f4+11237*f22*f5+14348*f0^2+28930*f0*f1+27573*f0*f3+1462*f0*f4+60010*f0*f5+61117*f1^2+48546*f1*f3+3179*f1*f4+52904*f1*f5+41872*f3^2+16983*f3*f4+56654*f3*f5+33839*f7*f4+28991*f7*f5+757*f8^2+40954*f8*f9+62093*f8*f10+22922*f8*f2+52403*f8*f22+55014*f8*f0+51168*f8*f1+4704*f8*f3+49770*f8*f4+48549*f8*f5+32936*f9^2+12763*f9*f10+58115*f9*f2+6077*f9*f22+1182*f9*f0+60377*f9*f1+30464*f9*f3+60668*f9*f4+6037*f9*f5+18330*f10^2+63711*f10*f2+30171*f10*f22+52961*f10*f0+50507*f10*f1+37902*f10*f3+51758*f10*f4+61694*f10*f5+871*f2^2+33918*f2*f22+59018*f2*f0+5110*f2*f1+14706*f2*f3+28273*f2*f4+28711*f2*f5+58847*f19*f6+34924*f19*f7+4748*f19*f8+61898*f19*f9+14561*f19*f10+41209*f19*f2+29279*f19*f22+28999*f19*f0+27307*f19*f1+62278*f19*f3+24651*f19*f4+13909*f19*f5+7647*f20^2+36501*f20*f21+36016*f20*f6+18162*f20*f7+4979*f20*f8+63394*f20*f9+39200*f20*f10+464*f20*f2+36972*f20*f22+3779*f20*f0+30275*f20*f1+47701*f20*f3+64908*f20*f4+2090*f20*f5+5840*f21^2+835*f21*f6+63542*f21*f7+24342*f21*f8+8128*f21*f9+18083*f21*f10+24537*f21*f2+31653*f21*f22+21786*f21*f0+15426*f21*f1+35536*f21*f3+2195*f21*f4+10993*f21*f5+2032*f6^2+22856*f6*f7+51416*f6*f8+65098*f6*f9+43828*f6*f10+65291*f6*f2+43286*f6*f22+60754*f6*f0+56043*f6*f1+22702*f6*f3+40452*f6*f4+2270*f6*f5+62211*f7^2+7940*f7*f8+17157*f7*f9+63642*f7*f10+37171*f7*f2+58276*f7*f22+31356*f7*f0+8853*f7*f1+63036*f7*f3+48783*f15^2+25664*f15*f16+55988*f15*f17+14743*f15*f18+60153*f15*f19+7214*f15*f20+6208*f15*f21+29118*f15*f6+36282*f15*f7+16343*f15*f8+52887*f15*f9+16959*f15*f10+60354*f15*f2+17003*f15*f22+27171*f15*f0+15726*f15*f1+57777*f15*f3+5647*f15*f4+5126*f15*f5+26593*f16^2+40156*f16*f17+44526*f16*f18+15505*f16*f19+14675*f16*f20+47611*f16*f21+46611*f16*f6+51609*f16*f7+27125*f16*f8+1232*f16*f9+62617*f16*f10+16467*f16*f2+37118*f16*f22+13861*f16*f0+29379*f16*f1+18778*f16*f3+29305*f16*f4+5658*f16*f5+30609*f17^2+58823*f17*f18+19868*f17*f19+31250*f17*f20+33856*f17*f21+23926*f17*f6+22534*f17*f7+56759*f17*f8+43632*f17*f9+8867*f17*f10+41195*f17*f2+42825*f17*f22+58490*f17*f0+17653*f17*f1+17700*f17*f3+26076*f17*f4+31327*f17*f5+26010*f18^2+58265*f18*f19+56264*f18*f20+12565*f18*f21+23552*f18*f6+60348*f18*f7+20866*f18*f8+10536*f18*f9+30458*f18*f10+24016*f18*f2+3109*f18*f22+39958*f18*f0+57982*f18*f1+30612*f18*f3+50553*f18*f4+51785*f18*f5+36047*f19^2+58215*f19*f20+48773*f19*f21+54632*f12^2+57257*f12*f11+28982*f12*f13+50617*f12*f14+43892*f12*f15+33032*f12*f16+32341*f12*f17+1297*f12*f18+29362*f12*f19+13404*f12*f20+25934*f12*f21+53994*f12*f6+28877*f12*f7+56535*f12*f8+20377*f12*f9+44441*f12*f10+31150*f12*f2+15543*f12*f22+57177*f12*f0+24686*f12*f1+19942*f12*f3+34612*f12*f4+34859*f12*f5+62839*f11^2+53101*f11*f13+16871*f11*f14+60106*f11*f15+23416*f11*f16+51981*f11*f17+29499*f11*f18+23666*f11*f19+42755*f11*f20+55091*f11*f21+50506*f11*f6+13896*f11*f7+18072*f11*f8+42280*f11*f9+40819*f11*f10+9107*f11*f2+19082*f11*f22+14820*f11*f0+279*f11*f1+20030*f11*f3+21526*f11*f4+51453*f11*f5+830*f13^2+56359*f13*f14+50891*f13*f15+51885*f13*f16+1726*f13*f17+26179*f13*f18+48366*f13*f19+3905*f13*f20+5047*f13*f21+42112*f13*f6+52446*f13*f7+16690*f13*f8+30215*f13*f9+39529*f13*f10+281*f13*f2+36488*f13*f22+29497*f13*f0+16220*f13*f1+16341*f13*f3+60173*f13*f4+5495*f13*f5+33124*f14^2+8434*f14*f15+15307*f14*f16+3511*f14*f17+47227*f14*f18+8414*f14*f19+12984*f14*f20+38122*f14*f21+50721*f14*f6+23990*f14*f7+9847*f14*f8+32622*f14*f9+1997*f14*f10+30701*f14*f2+10781*f14*f22+54507*f14*f0+23444*f14*f1+57382*f14*f3+56952*f14*f4+42141*f14*f5, 4539*f12+37843*f22+32197*f0+22613*f1+5815*f2+10687*f3+4830*f4+10220*f5+57442*f6+10742*f7+38523*f8+7395*f9+29202*f10+47987*f11+1397*f13+55684*f14+182*f15+6852*f16+7410*f17+1627*f18+22593*f19+2539*f20+39571*f21+41872*f4^2+16983*f4*f5+49252*f5^2+5840*f22^2+31653*f22*f0+21786*f22*f1+24537*f22*f3+35536*f22*f4+2195*f22*f5+46998*f0^2+48142*f0*f1+33918*f0*f3+49618*f0*f4+51900*f0*f5+14348*f1^2+59018*f1*f3+27573*f1*f4+1462*f1*f5+871*f3^2+14706*f3*f4+28273*f3*f5+22702*f7*f4+40452*f7*f5+62211*f8^2+7940*f8*f9+17157*f8*f10+8853*f8*f2+63542*f8*f22+58276*f8*f0+31356*f8*f1+37171*f8*f3+63036*f8*f4+33839*f8*f5+757*f9^2+40954*f9*f10+51168*f9*f2+24342*f9*f22+52403*f9*f0+55014*f9*f1+22922*f9*f3+4704*f9*f4+49770*f9*f5+32936*f10^2+60377*f10*f2+8128*f10*f22+6077*f10*f0+1182*f10*f1+58115*f10*f3+30464*f10*f4+60668*f10*f5+61117*f2^2+15426*f2*f22+27098*f2*f0+28930*f2*f1+5110*f2*f3+48546*f2*f4+3179*f2*f5+51785*f19*f6+23552*f19*f7+60348*f19*f8+20866*f19*f9+10536*f19*f10+57982*f19*f2+12565*f19*f22+3109*f19*f0+39958*f19*f1+24016*f19*f3+30612*f19*f4+50553*f19*f5+36047*f20^2+58215*f20*f21+13909*f20*f6+58847*f20*f7+34924*f20*f8+4748*f20*f9+61898*f20*f10+27307*f20*f2+48773*f20*f22+29279*f20*f0+28999*f20*f1+41209*f20*f3+62278*f20*f4+24651*f20*f5+7647*f21^2+2090*f21*f6+36016*f21*f7+18162*f21*f8+4979*f21*f9+63394*f21*f10+30275*f21*f2+36501*f21*f22+36972*f21*f0+3779*f21*f1+464*f21*f3+47701*f21*f4+64908*f21*f5+20818*f6^2+2270*f6*f7+28991*f6*f8+48549*f6*f9+6037*f6*f10+52904*f6*f2+10993*f6*f22+11237*f6*f0+60010*f6*f1+28711*f6*f3+56654*f6*f4+16543*f6*f5+2032*f7^2+22856*f7*f8+51416*f7*f9+65098*f7*f10+56043*f7*f2+835*f7*f22+43286*f7*f0+60754*f7*f1+65291*f7*f3+33124*f15^2+8434*f15*f16+15307*f15*f17+3511*f15*f18+47227*f15*f19+8414*f15*f20+12984*f15*f21+42141*f15*f6+50721*f15*f7+23990*f15*f8+9847*f15*f9+32622*f15*f10+23444*f15*f2+38122*f15*f22+10781*f15*f0+54507*f15*f1+30701*f15*f3+57382*f15*f4+56952*f15*f5+48783*f16^2+25664*f16*f17+55988*f16*f18+14743*f16*f19+60153*f16*f20+7214*f16*f21+5126*f16*f6+29118*f16*f7+36282*f16*f8+16343*f16*f9+52887*f16*f10+15726*f16*f2+6208*f16*f22+17003*f16*f0+27171*f16*f1+60354*f16*f3+57777*f16*f4+5647*f16*f5+26593*f17^2+40156*f17*f18+44526*f17*f19+15505*f17*f20+14675*f17*f21+5658*f17*f6+46611*f17*f7+51609*f17*f8+27125*f17*f9+1232*f17*f10+29379*f17*f2+47611*f17*f22+37118*f17*f0+13861*f17*f1+16467*f17*f3+18778*f17*f4+29305*f17*f5+30609*f18^2+58823*f18*f19+19868*f18*f20+31250*f18*f21+31327*f18*f6+23926*f18*f7+22534*f18*f8+56759*f18*f9+43632*f18*f10+17653*f18*f2+33856*f18*f22+42825*f18*f0+58490*f18*f1+41195*f18*f3+17700*f18*f4+26076*f18*f5+26010*f19^2+58265*f19*f20+56264*f19*f21+62839*f12^2+40819*f12*f11+57257*f12*f13+53101*f12*f14+16871*f12*f15+60106*f12*f16+23416*f12*f17+51981*f12*f18+29499*f12*f19+23666*f12*f20+42755*f12*f21+51453*f12*f6+50506*f12*f7+13896*f12*f8+18072*f12*f9+42280*f12*f10+279*f12*f2+55091*f12*f22+19082*f12*f0+14820*f12*f1+9107*f12*f3+20030*f12*f4+21526*f12*f5+18330*f11^2+44441*f11*f13+39529*f11*f14+1997*f11*f15+16959*f11*f16+62617*f11*f17+8867*f11*f18+30458*f11*f19+14561*f11*f20+39200*f11*f21+61694*f11*f6+43828*f11*f7+63642*f11*f8+62093*f11*f9+12763*f11*f10+50507*f11*f2+18083*f11*f22+30171*f11*f0+52961*f11*f1+63711*f11*f3+37902*f11*f4+51758*f11*f5+54632*f13^2+28982*f13*f14+50617*f13*f15+43892*f13*f16+33032*f13*f17+32341*f13*f18+1297*f13*f19+29362*f13*f20+13404*f13*f21+34859*f13*f6+53994*f13*f7+28877*f13*f8+56535*f13*f9+20377*f13*f10+24686*f13*f2+25934*f13*f22+15543*f13*f0+57177*f13*f1+31150*f13*f3+19942*f13*f4+34612*f13*f5+830*f14^2+56359*f14*f15+50891*f14*f16+51885*f14*f17+1726*f14*f18+26179*f14*f19+48366*f14*f20+3905*f14*f21+5495*f14*f6+42112*f14*f7+52446*f14*f8+16690*f14*f9+30215*f14*f10+16220*f14*f2+5047*f14*f22+36488*f14*f0+29497*f14*f1+281*f14*f3+16341*f14*f4+60173*f14*f5, 47987*f12+39571*f22+37843*f0+32197*f1+22613*f2+5815*f3+10687*f4+4830*f5+10220*f6+57442*f7+10742*f8+38523*f9+7395*f10+29202*f11+4539*f13+1397*f14+55684*f15+182*f16+6852*f17+7410*f18+1627*f19+22593*f20+2539*f21+871*f4^2+14706*f4*f5+41872*f5^2+7647*f22^2+36501*f22*f0+36972*f22*f1+30275*f22*f3+464*f22*f4+47701*f22*f5+5840*f0^2+31653*f0*f1+15426*f0*f3+24537*f0*f4+35536*f0*f5+46998*f1^2+27098*f1*f3+33918*f1*f4+49618*f1*f5+61117*f3^2+5110*f3*f4+48546*f3*f5+28711*f7*f4+56654*f7*f5+2032*f8^2+22856*f8*f9+51416*f8*f10+60754*f8*f2+36016*f8*f22+835*f8*f0+43286*f8*f1+56043*f8*f3+65291*f8*f4+22702*f8*f5+62211*f9^2+7940*f9*f10+31356*f9*f2+18162*f9*f22+63542*f9*f0+58276*f9*f1+8853*f9*f3+37171*f9*f4+63036*f9*f5+757*f10^2+55014*f10*f2+4979*f10*f22+24342*f10*f0+52403*f10*f1+51168*f10*f3+22922*f10*f4+4704*f10*f5+14348*f2^2+3779*f2*f22+21786*f2*f0+48142*f2*f1+28930*f2*f3+59018*f2*f4+27573*f2*f5+26076*f19*f6+31327*f19*f7+23926*f19*f8+22534*f19*f9+56759*f19*f10+58490*f19*f2+31250*f19*f22+33856*f19*f0+42825*f19*f1+17653*f19*f3+41195*f19*f4+17700*f19*f5+26010*f20^2+58265*f20*f21+50553*f20*f6+51785*f20*f7+23552*f20*f8+60348*f20*f9+20866*f20*f10+39958*f20*f2+56264*f20*f22+12565*f20*f0+3109*f20*f1+57982*f20*f3+24016*f20*f4+30612*f20*f5+36047*f21^2+24651*f21*f6+13909*f21*f7+58847*f21*f8+34924*f21*f9+4748*f21*f10+28999*f21*f2+58215*f21*f22+48773*f21*f0+29279*f21*f1+27307*f21*f3+41209*f21*f4+62278*f21*f5+49252*f6^2+16543*f6*f7+40452*f6*f8+33839*f6*f9+49770*f6*f10+1462*f6*f2+64908*f6*f22+2195*f6*f0+51900*f6*f1+3179*f6*f3+28273*f6*f4+16983*f6*f5+20818*f7^2+2270*f7*f8+28991*f7*f9+48549*f7*f10+60010*f7*f2+2090*f7*f22+10993*f7*f0+11237*f7*f1+52904*f7*f3+830*f15^2+56359*f15*f16+50891*f15*f17+51885*f15*f18+1726*f15*f19+26179*f15*f20+48366*f15*f21+60173*f15*f6+5495*f15*f7+42112*f15*f8+52446*f15*f9+16690*f15*f10+29497*f15*f2+3905*f15*f22+5047*f15*f0+36488*f15*f1+16220*f15*f3+281*f15*f4+16341*f15*f5+33124*f16^2+8434*f16*f17+15307*f16*f18+3511*f16*f19+47227*f16*f20+8414*f16*f21+56952*f16*f6+42141*f16*f7+50721*f16*f8+23990*f16*f9+9847*f16*f10+54507*f16*f2+12984*f16*f22+38122*f16*f0+10781*f16*f1+23444*f16*f3+30701*f16*f4+57382*f16*f5+48783*f17^2+25664*f17*f18+55988*f17*f19+14743*f17*f20+60153*f17*f21+5647*f17*f6+5126*f17*f7+29118*f17*f8+36282*f17*f9+16343*f17*f10+27171*f17*f2+7214*f17*f22+6208*f17*f0+17003*f17*f1+15726*f17*f3+60354*f17*f4+57777*f17*f5+26593*f18^2+40156*f18*f19+44526*f18*f20+15505*f18*f21+29305*f18*f6+5658*f18*f7+46611*f18*f8+51609*f18*f9+27125*f18*f10+13861*f18*f2+14675*f18*f22+47611*f18*f0+37118*f18*f1+29379*f18*f3+16467*f18*f4+18778*f18*f5+30609*f19^2+58823*f19*f20+19868*f19*f21+18330*f12^2+12763*f12*f11+40819*f12*f13+44441*f12*f14+39529*f12*f15+1997*f12*f16+16959*f12*f17+62617*f12*f18+8867*f12*f19+30458*f12*f20+14561*f12*f21+51758*f12*f6+61694*f12*f7+43828*f12*f8+63642*f12*f9+62093*f12*f10+52961*f12*f2+39200*f12*f22+18083*f12*f0+30171*f12*f1+50507*f12*f3+63711*f12*f4+37902*f12*f5+32936*f11^2+42280*f11*f13+20377*f11*f14+30215*f11*f15+32622*f11*f16+52887*f11*f17+1232*f11*f18+43632*f11*f19+10536*f11*f20+61898*f11*f21+60668*f11*f6+6037*f11*f7+65098*f11*f8+17157*f11*f9+40954*f11*f10+1182*f11*f2+63394*f11*f22+8128*f11*f0+6077*f11*f1+60377*f11*f3+58115*f11*f4+30464*f11*f5+62839*f13^2+57257*f13*f14+53101*f13*f15+16871*f13*f16+60106*f13*f17+23416*f13*f18+51981*f13*f19+29499*f13*f20+23666*f13*f21+21526*f13*f6+51453*f13*f7+50506*f13*f8+13896*f13*f9+18072*f13*f10+14820*f13*f2+42755*f13*f22+55091*f13*f0+19082*f13*f1+279*f13*f3+9107*f13*f4+20030*f13*f5+54632*f14^2+28982*f14*f15+50617*f14*f16+43892*f14*f17+33032*f14*f18+32341*f14*f19+1297*f14*f20+29362*f14*f21+34612*f14*f6+34859*f14*f7+53994*f14*f8+28877*f14*f9+56535*f14*f10+57177*f14*f2+13404*f14*f22+25934*f14*f0+15543*f14*f1+24686*f14*f3+31150*f14*f4+19942*f14*f5, 29202*f12+2539*f22+39571*f0+37843*f1+32197*f2+22613*f3+5815*f4+10687*f5+4830*f6+10220*f7+57442*f8+10742*f9+38523*f10+7395*f11+47987*f13+4539*f14+1397*f15+55684*f16+182*f17+6852*f18+7410*f19+1627*f20+22593*f21+61117*f4^2+5110*f4*f5+871*f5^2+36047*f22^2+58215*f22*f0+48773*f22*f1+28999*f22*f3+27307*f22*f4+41209*f22*f5+7647*f0^2+36501*f0*f1+3779*f0*f3+30275*f0*f4+464*f0*f5+5840*f1^2+21786*f1*f3+15426*f1*f4+24537*f1*f5+14348*f3^2+28930*f3*f4+59018*f3*f5+3179*f7*f4+28273*f7*f5+20818*f8^2+2270*f8*f9+28991*f8*f10+11237*f8*f2+13909*f8*f22+2090*f8*f0+10993*f8*f1+60010*f8*f3+52904*f8*f4+28711*f8*f5+2032*f9^2+22856*f9*f10+43286*f9*f2+58847*f9*f22+36016*f9*f0+835*f9*f1+60754*f9*f3+56043*f9*f4+65291*f9*f5+62211*f10^2+58276*f10*f2+34924*f10*f22+18162*f10*f0+63542*f10*f1+31356*f10*f3+8853*f10*f4+37171*f10*f5+46998*f2^2+29279*f2*f22+36972*f2*f0+31653*f2*f1+48142*f2*f3+27098*f2*f4+33918*f2*f5+18778*f19*f6+29305*f19*f7+5658*f19*f8+46611*f19*f9+51609*f19*f10+37118*f19*f2+15505*f19*f22+14675*f19*f0+47611*f19*f1+13861*f19*f3+29379*f19*f4+16467*f19*f5+30609*f20^2+58823*f20*f21+17700*f20*f6+26076*f20*f7+31327*f20*f8+23926*f20*f9+22534*f20*f10+42825*f20*f2+19868*f20*f22+31250*f20*f0+33856*f20*f1+58490*f20*f3+17653*f20*f4+41195*f20*f5+26010*f21^2+30612*f21*f6+50553*f21*f7+51785*f21*f8+23552*f21*f9+60348*f21*f10+3109*f21*f2+58265*f21*f22+56264*f21*f0+12565*f21*f1+39958*f21*f3+57982*f21*f4+24016*f21*f5+41872*f6^2+16983*f6*f7+56654*f6*f8+22702*f6*f9+63036*f6*f10+49618*f6*f2+62278*f6*f22+47701*f6*f0+35536*f6*f1+27573*f6*f3+48546*f6*f4+14706*f6*f5+49252*f7^2+16543*f7*f8+40452*f7*f9+33839*f7*f10+51900*f7*f2+24651*f7*f22+64908*f7*f0+2195*f7*f1+1462*f7*f3+54632*f15^2+28982*f15*f16+50617*f15*f17+43892*f15*f18+33032*f15*f19+32341*f15*f20+1297*f15*f21+19942*f15*f6+34612*f15*f7+34859*f15*f8+53994*f15*f9+28877*f15*f10+15543*f15*f2+29362*f15*f22+13404*f15*f0+25934*f15*f1+57177*f15*f3+24686*f15*f4+31150*f15*f5+830*f16^2+56359*f16*f17+50891*f16*f18+51885*f16*f19+1726*f16*f20+26179*f16*f21+16341*f16*f6+60173*f16*f7+5495*f16*f8+42112*f16*f9+52446*f16*f10+36488*f16*f2+48366*f16*f22+3905*f16*f0+5047*f16*f1+29497*f16*f3+16220*f16*f4+281*f16*f5+33124*f17^2+8434*f17*f18+15307*f17*f19+3511*f17*f20+47227*f17*f21+57382*f17*f6+56952*f17*f7+42141*f17*f8+50721*f17*f9+23990*f17*f10+10781*f17*f2+8414*f17*f22+12984*f17*f0+38122*f17*f1+54507*f17*f3+23444*f17*f4+30701*f17*f5+48783*f18^2+25664*f18*f19+55988*f18*f20+14743*f18*f21+57777*f18*f6+5647*f18*f7+5126*f18*f8+29118*f18*f9+36282*f18*f10+17003*f18*f2+60153*f18*f22+7214*f18*f0+6208*f18*f1+27171*f18*f3+15726*f18*f4+60354*f18*f5+26593*f19^2+40156*f19*f20+44526*f19*f21+32936*f12^2+40954*f12*f11+12763*f12*f13+42280*f12*f14+20377*f12*f15+30215*f12*f16+32622*f12*f17+52887*f12*f18+1232*f12*f19+43632*f12*f20+10536*f12*f21+30464*f12*f6+60668*f12*f7+6037*f12*f8+65098*f12*f9+17157*f12*f10+6077*f12*f2+61898*f12*f22+63394*f12*f0+8128*f12*f1+1182*f12*f3+60377*f12*f4+58115*f12*f5+757*f11^2+62093*f11*f13+18072*f11*f14+56535*f11*f15+16690*f11*f16+9847*f11*f17+16343*f11*f18+27125*f11*f19+56759*f11*f20+20866*f11*f21+4704*f11*f6+49770*f11*f7+48549*f11*f8+51416*f11*f9+7940*f11*f10+52403*f11*f2+4748*f11*f22+4979*f11*f0+24342*f11*f1+55014*f11*f3+51168*f11*f4+22922*f11*f5+18330*f13^2+40819*f13*f14+44441*f13*f15+39529*f13*f16+1997*f13*f17+16959*f13*f18+62617*f13*f19+8867*f13*f20+30458*f13*f21+37902*f13*f6+51758*f13*f7+61694*f13*f8+43828*f13*f9+63642*f13*f10+30171*f13*f2+14561*f13*f22+39200*f13*f0+18083*f13*f1+52961*f13*f3+50507*f13*f4+63711*f13*f5+62839*f14^2+57257*f14*f15+53101*f14*f16+16871*f14*f17+60106*f14*f18+23416*f14*f19+51981*f14*f20+29499*f14*f21+20030*f14*f6+21526*f14*f7+51453*f14*f8+50506*f14*f9+13896*f14*f10+19082*f14*f2+23666*f14*f22+42755*f14*f0+55091*f14*f1+14820*f14*f3+279*f14*f4+9107*f14*f5, 7395*f12+22593*f22+2539*f0+39571*f1+37843*f2+32197*f3+22613*f4+5815*f5+10687*f6+4830*f7+10220*f8+57442*f9+10742*f10+38523*f11+29202*f13+47987*f14+4539*f15+1397*f16+55684*f17+182*f18+6852*f19+7410*f20+1627*f21+14348*f4^2+28930*f4*f5+61117*f5^2+26010*f22^2+58265*f22*f0+56264*f22*f1+3109*f22*f3+39958*f22*f4+57982*f22*f5+36047*f0^2+58215*f0*f1+29279*f0*f3+28999*f0*f4+27307*f0*f5+7647*f1^2+36972*f1*f3+3779*f1*f4+30275*f1*f5+46998*f3^2+48142*f3*f4+27098*f3*f5+27573*f7*f4+48546*f7*f5+49252*f8^2+16543*f8*f9+40452*f8*f10+2195*f8*f2+50553*f8*f22+24651*f8*f0+64908*f8*f1+51900*f8*f3+1462*f8*f4+3179*f8*f5+20818*f9^2+2270*f9*f10+10993*f9*f2+51785*f9*f22+13909*f9*f0+2090*f9*f1+11237*f9*f3+60010*f9*f4+52904*f9*f5+2032*f10^2+835*f10*f2+23552*f10*f22+58847*f10*f0+36016*f10*f1+43286*f10*f3+60754*f10*f4+56043*f10*f5+5840*f2^2+12565*f2*f22+48773*f2*f0+36501*f2*f1+31653*f2*f3+21786*f2*f4+15426*f2*f5+60354*f19*f6+57777*f19*f7+5647*f19*f8+5126*f19*f9+29118*f19*f10+6208*f19*f2+14743*f19*f22+60153*f19*f0+7214*f19*f1+17003*f19*f3+27171*f19*f4+15726*f19*f5+26593*f20^2+40156*f20*f21+16467*f20*f6+18778*f20*f7+29305*f20*f8+5658*f20*f9+46611*f20*f10+47611*f20*f2+44526*f20*f22+15505*f20*f0+14675*f20*f1+37118*f20*f3+13861*f20*f4+29379*f20*f5+30609*f21^2+41195*f21*f6+17700*f21*f7+26076*f21*f8+31327*f21*f9+23926*f21*f10+33856*f21*f2+58823*f21*f22+19868*f21*f0+31250*f21*f1+42825*f21*f3+58490*f21*f4+17653*f21*f5+871*f6^2+14706*f6*f7+28273*f6*f8+28711*f6*f9+65291*f6*f10+24537*f6*f2+24016*f6*f22+41209*f6*f0+464*f6*f1+33918*f6*f3+59018*f6*f4+5110*f6*f5+41872*f7^2+16983*f7*f8+56654*f7*f9+22702*f7*f10+35536*f7*f2+30612*f7*f22+62278*f7*f0+47701*f7*f1+49618*f7*f3+62839*f15^2+57257*f15*f16+53101*f15*f17+16871*f15*f18+60106*f15*f19+23416*f15*f20+51981*f15*f21+9107*f15*f6+20030*f15*f7+21526*f15*f8+51453*f15*f9+50506*f15*f10+55091*f15*f2+29499*f15*f22+23666*f15*f0+42755*f15*f1+19082*f15*f3+14820*f15*f4+279*f15*f5+54632*f16^2+28982*f16*f17+50617*f16*f18+43892*f16*f19+33032*f16*f20+32341*f16*f21+31150*f16*f6+19942*f16*f7+34612*f16*f8+34859*f16*f9+53994*f16*f10+25934*f16*f2+1297*f16*f22+29362*f16*f0+13404*f16*f1+15543*f16*f3+57177*f16*f4+24686*f16*f5+830*f17^2+56359*f17*f18+50891*f17*f19+51885*f17*f20+1726*f17*f21+281*f17*f6+16341*f17*f7+60173*f17*f8+5495*f17*f9+42112*f17*f10+5047*f17*f2+26179*f17*f22+48366*f17*f0+3905*f17*f1+36488*f17*f3+29497*f17*f4+16220*f17*f5+33124*f18^2+8434*f18*f19+15307*f18*f20+3511*f18*f21+30701*f18*f6+57382*f18*f7+56952*f18*f8+42141*f18*f9+50721*f18*f10+38122*f18*f2+47227*f18*f22+8414*f18*f0+12984*f18*f1+10781*f18*f3+54507*f18*f4+23444*f18*f5+48783*f19^2+25664*f19*f20+55988*f19*f21+757*f12^2+7940*f12*f11+40954*f12*f13+62093*f12*f14+18072*f12*f15+56535*f12*f16+16690*f12*f17+9847*f12*f18+16343*f12*f19+27125*f12*f20+56759*f12*f21+22922*f12*f6+4704*f12*f7+49770*f12*f8+48549*f12*f9+51416*f12*f10+24342*f12*f2+20866*f12*f22+4748*f12*f0+4979*f12*f1+52403*f12*f3+55014*f12*f4+51168*f12*f5+62211*f11^2+17157*f11*f13+63642*f11*f14+13896*f11*f15+28877*f11*f16+52446*f11*f17+23990*f11*f18+36282*f11*f19+51609*f11*f20+22534*f11*f21+37171*f11*f6+63036*f11*f7+33839*f11*f8+28991*f11*f9+22856*f11*f10+63542*f11*f2+60348*f11*f22+34924*f11*f0+18162*f11*f1+58276*f11*f3+31356*f11*f4+8853*f11*f5+32936*f13^2+12763*f13*f14+42280*f13*f15+20377*f13*f16+30215*f13*f17+32622*f13*f18+52887*f13*f19+1232*f13*f20+43632*f13*f21+58115*f13*f6+30464*f13*f7+60668*f13*f8+6037*f13*f9+65098*f13*f10+8128*f13*f2+10536*f13*f22+61898*f13*f0+63394*f13*f1+6077*f13*f3+1182*f13*f4+60377*f13*f5+18330*f14^2+40819*f14*f15+44441*f14*f16+39529*f14*f17+1997*f14*f18+16959*f14*f19+62617*f14*f20+8867*f14*f21+63711*f14*f6+37902*f14*f7+51758*f14*f8+61694*f14*f9+43828*f14*f10+18083*f14*f2+30458*f14*f22+14561*f14*f0+39200*f14*f1+30171*f14*f3+52961*f14*f4+50507*f14*f5, 38523*f12+1627*f22+22593*f0+2539*f1+39571*f2+37843*f3+32197*f4+22613*f5+5815*f6+10687*f7+4830*f8+10220*f9+57442*f10+10742*f11+7395*f13+29202*f14+47987*f15+4539*f16+1397*f17+55684*f18+182*f19+6852*f20+7410*f21+46998*f4^2+48142*f4*f5+14348*f5^2+30609*f22^2+58823*f22*f0+19868*f22*f1+33856*f22*f3+42825*f22*f4+58490*f22*f5+26010*f0^2+58265*f0*f1+12565*f0*f3+3109*f0*f4+39958*f0*f5+36047*f1^2+48773*f1*f3+29279*f1*f4+28999*f1*f5+5840*f3^2+31653*f3*f4+21786*f3*f5+33918*f7*f4+59018*f7*f5+41872*f8^2+16983*f8*f9+56654*f8*f10+47701*f8*f2+17700*f8*f22+30612*f8*f0+62278*f8*f1+35536*f8*f3+49618*f8*f4+27573*f8*f5+49252*f9^2+16543*f9*f10+64908*f9*f2+26076*f9*f22+50553*f9*f0+24651*f9*f1+2195*f9*f3+51900*f9*f4+1462*f9*f5+20818*f10^2+2090*f10*f2+31327*f10*f22+51785*f10*f0+13909*f10*f1+10993*f10*f3+11237*f10*f4+60010*f10*f5+7647*f2^2+31250*f2*f22+56264*f2*f0+58215*f2*f1+36501*f2*f3+36972*f2*f4+3779*f2*f5+23444*f19*f6+30701*f19*f7+57382*f19*f8+56952*f19*f9+42141*f19*f10+12984*f19*f2+3511*f19*f22+47227*f19*f0+8414*f19*f1+38122*f19*f3+10781*f19*f4+54507*f19*f5+48783*f20^2+25664*f20*f21+15726*f20*f6+60354*f20*f7+57777*f20*f8+5647*f20*f9+5126*f20*f10+7214*f20*f2+55988*f20*f22+14743*f20*f0+60153*f20*f1+6208*f20*f3+17003*f20*f4+27171*f20*f5+26593*f21^2+29379*f21*f6+16467*f21*f7+18778*f21*f8+29305*f21*f9+5658*f21*f10+14675*f21*f2+40156*f21*f22+44526*f21*f0+15505*f21*f1+47611*f21*f3+37118*f21*f4+13861*f21*f5+61117*f6^2+5110*f6*f7+48546*f6*f8+3179*f6*f9+52904*f6*f10+30275*f6*f2+17653*f6*f22+57982*f6*f0+27307*f6*f1+15426*f6*f3+27098*f6*f4+28930*f6*f5+871*f7^2+14706*f7*f8+28273*f7*f9+28711*f7*f10+464*f7*f2+41195*f7*f22+24016*f7*f0+41209*f7*f1+24537*f7*f3+18330*f15^2+40819*f15*f16+44441*f15*f17+39529*f15*f18+1997*f15*f19+16959*f15*f20+62617*f15*f21+50507*f15*f6+63711*f15*f7+37902*f15*f8+51758*f15*f9+61694*f15*f10+39200*f15*f2+8867*f15*f22+30458*f15*f0+14561*f15*f1+18083*f15*f3+30171*f15*f4+52961*f15*f5+62839*f16^2+57257*f16*f17+53101*f16*f18+16871*f16*f19+60106*f16*f20+23416*f16*f21+279*f16*f6+9107*f16*f7+20030*f16*f8+21526*f16*f9+51453*f16*f10+42755*f16*f2+51981*f16*f22+29499*f16*f0+23666*f16*f1+55091*f16*f3+19082*f16*f4+14820*f16*f5+54632*f17^2+28982*f17*f18+50617*f17*f19+43892*f17*f20+33032*f17*f21+24686*f17*f6+31150*f17*f7+19942*f17*f8+34612*f17*f9+34859*f17*f10+13404*f17*f2+32341*f17*f22+1297*f17*f0+29362*f17*f1+25934*f17*f3+15543*f17*f4+57177*f17*f5+830*f18^2+56359*f18*f19+50891*f18*f20+51885*f18*f21+16220*f18*f6+281*f18*f7+16341*f18*f8+60173*f18*f9+5495*f18*f10+3905*f18*f2+1726*f18*f22+26179*f18*f0+48366*f18*f1+5047*f18*f3+36488*f18*f4+29497*f18*f5+33124*f19^2+8434*f19*f20+15307*f19*f21+62211*f12^2+22856*f12*f11+7940*f12*f13+17157*f12*f14+63642*f12*f15+13896*f12*f16+28877*f12*f17+52446*f12*f18+23990*f12*f19+36282*f12*f20+51609*f12*f21+8853*f12*f6+37171*f12*f7+63036*f12*f8+33839*f12*f9+28991*f12*f10+18162*f12*f2+22534*f12*f22+60348*f12*f0+34924*f12*f1+63542*f12*f3+58276*f12*f4+31356*f12*f5+2032*f11^2+51416*f11*f13+65098*f11*f14+43828*f11*f15+50506*f11*f16+53994*f11*f17+42112*f11*f18+50721*f11*f19+29118*f11*f20+46611*f11*f21+56043*f11*f6+65291*f11*f7+22702*f11*f8+40452*f11*f9+2270*f11*f10+36016*f11*f2+23926*f11*f22+23552*f11*f0+58847*f11*f1+835*f11*f3+43286*f11*f4+60754*f11*f5+757*f13^2+40954*f13*f14+62093*f13*f15+18072*f13*f16+56535*f13*f17+16690*f13*f18+9847*f13*f19+16343*f13*f20+27125*f13*f21+51168*f13*f6+22922*f13*f7+4704*f13*f8+49770*f13*f9+48549*f13*f10+4979*f13*f2+56759*f13*f22+20866*f13*f0+4748*f13*f1+24342*f13*f3+52403*f13*f4+55014*f13*f5+32936*f14^2+12763*f14*f15+42280*f14*f16+20377*f14*f17+30215*f14*f18+32622*f14*f19+52887*f14*f20+1232*f14*f21+60377*f14*f6+58115*f14*f7+30464*f14*f8+60668*f14*f9+6037*f14*f10+63394*f14*f2+43632*f14*f22+10536*f14*f0+61898*f14*f1+8128*f14*f3+6077*f14*f4+1182*f14*f5, 10742*f12+7410*f22+1627*f0+22593*f1+2539*f2+39571*f3+37843*f4+32197*f5+22613*f6+5815*f7+10687*f8+4830*f9+10220*f10+57442*f11+38523*f13+7395*f14+29202*f15+47987*f16+4539*f17+1397*f18+55684*f19+182*f20+6852*f21+5840*f4^2+31653*f4*f5+46998*f5^2+26593*f22^2+40156*f22*f0+44526*f22*f1+14675*f22*f3+47611*f22*f4+37118*f22*f5+30609*f0^2+58823*f0*f1+31250*f0*f3+33856*f0*f4+42825*f0*f5+26010*f1^2+56264*f1*f3+12565*f1*f4+3109*f1*f5+7647*f3^2+36501*f3*f4+36972*f3*f5+15426*f7*f4+27098*f7*f5+871*f8^2+14706*f8*f9+28273*f8*f10+41209*f8*f2+16467*f8*f22+41195*f8*f0+24016*f8*f1+464*f8*f3+24537*f8*f4+33918*f8*f5+41872*f9^2+16983*f9*f10+62278*f9*f2+18778*f9*f22+17700*f9*f0+30612*f9*f1+47701*f9*f3+35536*f9*f4+49618*f9*f5+49252*f10^2+24651*f10*f2+29305*f10*f22+26076*f10*f0+50553*f10*f1+64908*f10*f3+2195*f10*f4+51900*f10*f5+36047*f2^2+15505*f2*f22+19868*f2*f0+58265*f2*f1+58215*f2*f3+48773*f2*f4+29279*f2*f5+29497*f19*f6+16220*f19*f7+281*f19*f8+16341*f19*f9+60173*f19*f10+48366*f19*f2+51885*f19*f22+1726*f19*f0+26179*f19*f1+3905*f19*f3+5047*f19*f4+36488*f19*f5+33124*f20^2+8434*f20*f21+54507*f20*f6+23444*f20*f7+30701*f20*f8+57382*f20*f9+56952*f20*f10+8414*f20*f2+15307*f20*f22+3511*f20*f0+47227*f20*f1+12984*f20*f3+38122*f20*f4+10781*f20*f5+48783*f21^2+27171*f21*f6+15726*f21*f7+60354*f21*f8+57777*f21*f9+5647*f21*f10+60153*f21*f2+25664*f21*f22+55988*f21*f0+14743*f21*f1+7214*f21*f3+6208*f21*f4+17003*f21*f5+14348*f6^2+28930*f6*f7+59018*f6*f8+27573*f6*f9+1462*f6*f10+28999*f6*f2+13861*f6*f22+58490*f6*f0+39958*f6*f1+3779*f6*f3+21786*f6*f4+48142*f6*f5+61117*f7^2+5110*f7*f8+48546*f7*f9+3179*f7*f10+27307*f7*f2+29379*f7*f22+17653*f7*f0+57982*f7*f1+30275*f7*f3+32936*f15^2+12763*f15*f16+42280*f15*f17+20377*f15*f18+30215*f15*f19+32622*f15*f20+52887*f15*f21+1182*f15*f6+60377*f15*f7+58115*f15*f8+30464*f15*f9+60668*f15*f10+61898*f15*f2+1232*f15*f22+43632*f15*f0+10536*f15*f1+63394*f15*f3+8128*f15*f4+6077*f15*f5+18330*f16^2+40819*f16*f17+44441*f16*f18+39529*f16*f19+1997*f16*f20+16959*f16*f21+52961*f16*f6+50507*f16*f7+63711*f16*f8+37902*f16*f9+51758*f16*f10+14561*f16*f2+62617*f16*f22+8867*f16*f0+30458*f16*f1+39200*f16*f3+18083*f16*f4+30171*f16*f5+62839*f17^2+57257*f17*f18+53101*f17*f19+16871*f17*f20+60106*f17*f21+14820*f17*f6+279*f17*f7+9107*f17*f8+20030*f17*f9+21526*f17*f10+23666*f17*f2+23416*f17*f22+51981*f17*f0+29499*f17*f1+42755*f17*f3+55091*f17*f4+19082*f17*f5+54632*f18^2+28982*f18*f19+50617*f18*f20+43892*f18*f21+57177*f18*f6+24686*f18*f7+31150*f18*f8+19942*f18*f9+34612*f18*f10+29362*f18*f2+33032*f18*f22+32341*f18*f0+1297*f18*f1+13404*f18*f3+25934*f18*f4+15543*f18*f5+830*f19^2+56359*f19*f20+50891*f19*f21+2032*f12^2+2270*f12*f11+22856*f12*f13+51416*f12*f14+65098*f12*f15+43828*f12*f16+50506*f12*f17+53994*f12*f18+42112*f12*f19+50721*f12*f20+29118*f12*f21+60754*f12*f6+56043*f12*f7+65291*f12*f8+22702*f12*f9+40452*f12*f10+58847*f12*f2+46611*f12*f22+23926*f12*f0+23552*f12*f1+36016*f12*f3+835*f12*f4+43286*f12*f5+20818*f11^2+28991*f11*f13+48549*f11*f14+6037*f11*f15+61694*f11*f16+51453*f11*f17+34859*f11*f18+5495*f11*f19+42141*f11*f20+5126*f11*f21+60010*f11*f6+52904*f11*f7+28711*f11*f8+56654*f11*f9+16543*f11*f10+13909*f11*f2+5658*f11*f22+31327*f11*f0+51785*f11*f1+2090*f11*f3+10993*f11*f4+11237*f11*f5+62211*f13^2+7940*f13*f14+17157*f13*f15+63642*f13*f16+13896*f13*f17+28877*f13*f18+52446*f13*f19+23990*f13*f20+36282*f13*f21+31356*f13*f6+8853*f13*f7+37171*f13*f8+63036*f13*f9+33839*f13*f10+34924*f13*f2+51609*f13*f22+22534*f13*f0+60348*f13*f1+18162*f13*f3+63542*f13*f4+58276*f13*f5+757*f14^2+40954*f14*f15+62093*f14*f16+18072*f14*f17+56535*f14*f18+16690*f14*f19+9847*f14*f20+16343*f14*f21+55014*f14*f6+51168*f14*f7+22922*f14*f8+4704*f14*f9+49770*f14*f10+4748*f14*f2+27125*f14*f22+56759*f14*f0+20866*f14*f1+4979*f14*f3+24342*f14*f4+52403*f14*f5, 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]