#C generated from Maple
#vars [l1, l2, l3, l4, l5, l6, l7, l8, l9, x1_4, x1_5, x1_6, x1_7, x2_4, x2_5, x2_6, x2_7, x3_4, x3_5, x3_6, x3_7]

#list


[59109+40858*l7+42623*l8+63162*l9+921*l3+1274*l4+54372*l5+26663*l6+9576*l1+19674*l2+40721*x1_4*l1+35129*x1_4*l2+20375*x1_4*l3+51384*x1_4*l4+44034*x1_4*l5+31451*x1_4*l6+36690*x1_4*l7+4676*x1_4*l8+57310*x1_4*l9+65194*x1_5*l1+3548*x1_5*l2+51079*x1_5*l3+51635*x1_5*l4+34645*x1_5*l5+56358*x1_5*l6+3254*x1_5*l7+30169*x1_5*l8+14304*x1_5*l9+46451*x1_6*l1+4321*x1_6*l2+11198*x1_6*l3+50877*x1_6*l4+15605*x1_6*l5+39824*x1_6*l6+24098*x1_6*l7+8018*x1_6*l8+47803*x1_6*l9+32950*x1_7*l1+12138*x1_7*l2+15181*x1_7*l3+173*x1_7*l4+950*x1_7*l5+6906*x1_7*l6+4679*x1_7*l7+4852*x1_7*l8+40385*x1_7*l9+52381*x1_7+36386*x1_4+44127*x1_5+26604*x1_6, 37153+15710*l7+18292*l8+53454*l9+26262*l3+38526*l4+13536*l5+60977*l6+45164*l1+2058*l2+41413*x1_4*l1+55071*x1_4*l2+62101*x1_4*l3+41480*x1_4*l4+26413*x1_4*l5+44561*x1_4*l6+35709*x1_4*l7+37007*x1_4*l8+63608*x1_4*l9+37171*x1_5*l1+29991*x1_5*l2+59888*x1_5*l3+56817*x1_5*l4+36337*x1_5*l5+10385*x1_5*l6+30576*x1_5*l7+51283*x1_5*l8+7285*x1_5*l9+51536*x1_6*l1+10099*x1_6*l2+62623*x1_6*l3+1460*x1_6*l4+37591*x1_6*l5+40754*x1_6*l6+48310*x1_6*l7+8510*x1_6*l8+30126*x1_6*l9+28374*x1_7*l1+23447*x1_7*l2+42209*x1_7*l3+18852*x1_7*l4+5025*x1_7*l5+44523*x1_7*l6+56912*x1_7*l7+20264*x1_7*l8+17517*x1_7*l9+45545*x1_7+14692*x1_4+60499*x1_5+29057*x1_6, 19684+16892*l7+1532*l8+10357*l9+32008*l3+38743*l4+17649*l5+43809*l6+51105*l1+61007*l2+11400*x1_4*l1+56854*x1_4*l2+41825*x1_4*l3+13160*x1_4*l4+17084*x1_4*l5+50765*x1_4*l6+55443*x1_4*l7+56619*x1_4*l8+25454*x1_4*l9+7016*x1_5*l1+25256*x1_5*l2+47684*x1_5*l3+1828*x1_5*l4+51057*x1_5*l5+42377*x1_5*l6+26639*x1_5*l7+35894*x1_5*l8+26376*x1_5*l9+38595*x1_6*l1+44979*x1_6*l2+47484*x1_6*l3+34507*x1_6*l4+1300*x1_6*l5+44595*x1_6*l6+40464*x1_6*l7+7151*x1_6*l8+27182*x1_6*l9+48466*x1_7*l1+45695*x1_7*l2+23682*x1_7*l3+64350*x1_7*l4+60885*x1_7*l5+38499*x1_7*l6+51651*x1_7*l7+6996*x1_7*l8+26339*x1_7*l9+40413*x1_7+57950*x1_4+54565*x1_5+33746*x1_6, 8144+45417*l7+20256*l8+6536*l9+24648*l3+38535*l4+56873*l5+12300*l6+54396*l1+13369*l2+59845*x1_4*l1+43896*x1_4*l2+45499*x1_4*l3+18139*x1_4*l4+51360*x1_4*l5+63780*x1_4*l6+34553*x1_4*l7+3544*x1_4*l8+31799*x1_4*l9+40739*x1_5*l1+57296*x1_5*l2+17005*x1_5*l3+25473*x1_5*l4+64716*x1_5*l5+33755*x1_5*l6+47341*x1_5*l7+15552*x1_5*l8+39590*x1_5*l9+26275*x1_6*l1+7488*x1_6*l2+20829*x1_6*l3+11616*x1_6*l4+39265*x1_6*l5+34272*x1_6*l6+36802*x1_6*l7+61357*x1_6*l8+21531*x1_6*l9+45321*x1_7*l1+25540*x1_7*l2+44467*x1_7*l3+61227*x1_7*l4+60391*x1_7*l5+38468*x1_7*l6+62433*x1_7*l7+25794*x1_7*l8+36965*x1_7*l9+375*x1_7+3368*x1_4+2635*x1_5+24612*x1_6, 47858+39253*l7+30116*l8+25447*l9+15375*l3+50952*l4+60601*l5+60605*l6+45351*l1+14977*l2+35983*x1_4*l1+49747*x1_4*l2+45954*x1_4*l3+41836*x1_4*l4+9372*x1_4*l5+35245*x1_4*l6+12745*x1_4*l7+62251*x1_4*l8+50215*x1_4*l9+8033*x1_5*l1+53471*x1_5*l2+16104*x1_5*l3+29006*x1_5*l4+51520*x1_5*l5+15821*x1_5*l6+28320*x1_5*l7+12541*x1_5*l8+24285*x1_5*l9+37802*x1_6*l1+12253*x1_6*l2+4012*x1_6*l3+49654*x1_6*l4+44444*x1_6*l5+64572*x1_6*l6+26613*x1_6*l7+29794*x1_6*l8+35856*x1_6*l9+20788*x1_7*l1+13726*x1_7*l2+48578*x1_7*l3+19184*x1_7*l4+15999*x1_7*l5+17743*x1_7*l6+17846*x1_7*l7+37268*x1_7*l8+10851*x1_7*l9+5719*x1_7+54025*x1_4+2776*x1_5+24697*x1_6, 45407+29456*l7+12616*l8+64951*l9+46503*l3+16200*l4+3234*l5+43138*l6+30268*l1+44240*l2+8650*x1_4*l1+20034*x1_4*l2+44873*x1_4*l3+30768*x1_4*l4+14881*x1_4*l5+3464*x1_4*l6+4760*x1_4*l7+12192*x1_4*l8+13621*x1_4*l9+33282*x1_5*l1+33008*x1_5*l2+58416*x1_5*l3+1019*x1_5*l4+11073*x1_5*l5+6952*x1_5*l6+1373*x1_5*l7+23778*x1_5*l8+36002*x1_5*l9+3972*x1_6*l1+28602*x1_6*l2+20411*x1_6*l3+51676*x1_6*l4+15275*x1_6*l5+42285*x1_6*l6+663*x1_6*l7+19089*x1_6*l8+64894*x1_6*l9+50029*x1_7*l1+21222*x1_7*l2+19652*x1_7*l3+21107*x1_7*l4+27451*x1_7*l5+24653*x1_7*l6+7995*x1_7*l7+2367*x1_7*l8+36329*x1_7*l9+31054*x1_7+59362*x1_4+45511*x1_5+63703*x1_6, 44033+34249*l7+37143*l8+62008*l9+23800*l3+3598*l4+57042*l5+51572*l6+16102*l1+2369*l2+21668*x1_4*l1+28004*x1_4*l2+38784*x1_4*l3+36240*x1_4*l4+17123*x1_4*l5+27512*x1_4*l6+4619*x1_4*l7+64245*x1_4*l8+61731*x1_4*l9+63599*x1_5*l1+46169*x1_5*l2+62418*x1_5*l3+2708*x1_5*l4+35139*x1_5*l5+29271*x1_5*l6+62201*x1_5*l7+24641*x1_5*l8+9579*x1_5*l9+50506*x1_6*l1+64546*x1_6*l2+26504*x1_6*l3+9513*x1_6*l4+40820*x1_6*l5+60238*x1_6*l6+33750*x1_6*l7+25239*x1_6*l8+11662*x1_6*l9+42755*x1_7*l1+54030*x1_7*l2+46440*x1_7*l3+20628*x1_7*l4+39354*x1_7*l5+61977*x1_7*l6+26190*x1_7*l7+55396*x1_7*l8+23965*x1_7*l9+58736*x1_7+58735*x1_4+52864*x1_5+55126*x1_6, 35332+19958*l7+39871*l8+65390*l9+46179*l3+34879*l4+47364*l5+50635*l6+23152*l1+14485*l2+40721*x2_4*l1+35129*x2_4*l2+20375*x2_4*l3+51384*x2_4*l4+44034*x2_4*l5+31451*x2_4*l6+36690*x2_4*l7+4676*x2_4*l8+57310*x2_4*l9+65194*x2_5*l1+3548*x2_5*l2+51079*x2_5*l3+51635*x2_5*l4+34645*x2_5*l5+56358*x2_5*l6+3254*x2_5*l7+30169*x2_5*l8+14304*x2_5*l9+46451*x2_6*l1+4321*x2_6*l2+11198*x2_6*l3+50877*x2_6*l4+15605*x2_6*l5+39824*x2_6*l6+24098*x2_6*l7+8018*x2_6*l8+47803*x2_6*l9+32950*x2_7*l1+12138*x2_7*l2+15181*x2_7*l3+173*x2_7*l4+950*x2_7*l5+6906*x2_7*l6+4679*x2_7*l7+4852*x2_7*l8+40385*x2_7*l9+36386*x2_4+44127*x2_5+26604*x2_6+52381*x2_7, 52749+2174*l7+1410*l8+7657*l9+51693*l3+49260*l4+9987*l5+40525*l6+60455*l1+2077*l2+41413*x2_4*l1+55071*x2_4*l2+62101*x2_4*l3+41480*x2_4*l4+26413*x2_4*l5+44561*x2_4*l6+35709*x2_4*l7+37007*x2_4*l8+63608*x2_4*l9+37171*x2_5*l1+29991*x2_5*l2+59888*x2_5*l3+56817*x2_5*l4+36337*x2_5*l5+10385*x2_5*l6+30576*x2_5*l7+51283*x2_5*l8+7285*x2_5*l9+51536*x2_6*l1+10099*x2_6*l2+62623*x2_6*l3+1460*x2_6*l4+37591*x2_6*l5+40754*x2_6*l6+48310*x2_6*l7+8510*x2_6*l8+30126*x2_6*l9+28374*x2_7*l1+23447*x2_7*l2+42209*x2_7*l3+18852*x2_7*l4+5025*x2_7*l5+44523*x2_7*l6+56912*x2_7*l7+20264*x2_7*l8+17517*x2_7*l9+14692*x2_4+60499*x2_5+29057*x2_6+45545*x2_7, 60823+49445*l7+34612*l8+42399*l9+10548*l3+8944*l4+61635*l5+48245*l6+38392*l1+12127*l2+11400*x2_4*l1+56854*x2_4*l2+41825*x2_4*l3+13160*x2_4*l4+17084*x2_4*l5+50765*x2_4*l6+55443*x2_4*l7+56619*x2_4*l8+25454*x2_4*l9+7016*x2_5*l1+25256*x2_5*l2+47684*x2_5*l3+1828*x2_5*l4+51057*x2_5*l5+42377*x2_5*l6+26639*x2_5*l7+35894*x2_5*l8+26376*x2_5*l9+38595*x2_6*l1+44979*x2_6*l2+47484*x2_6*l3+34507*x2_6*l4+1300*x2_6*l5+44595*x2_6*l6+40464*x2_6*l7+7151*x2_6*l8+27182*x2_6*l9+48466*x2_7*l1+45695*x2_7*l2+23682*x2_7*l3+64350*x2_7*l4+60885*x2_7*l5+38499*x2_7*l6+51651*x2_7*l7+6996*x2_7*l8+26339*x2_7*l9+57950*x2_4+54565*x2_5+33746*x2_6+40413*x2_7, 7411+3022*l7+3877*l8+54191*l9+56535*l3+12891*l4+62724*l5+31062*l6+2494*l1+51266*l2+59845*x2_4*l1+43896*x2_4*l2+45499*x2_4*l3+18139*x2_4*l4+51360*x2_4*l5+63780*x2_4*l6+34553*x2_4*l7+3544*x2_4*l8+31799*x2_4*l9+40739*x2_5*l1+57296*x2_5*l2+17005*x2_5*l3+25473*x2_5*l4+64716*x2_5*l5+33755*x2_5*l6+47341*x2_5*l7+15552*x2_5*l8+39590*x2_5*l9+26275*x2_6*l1+7488*x2_6*l2+20829*x2_6*l3+11616*x2_6*l4+39265*x2_6*l5+34272*x2_6*l6+36802*x2_6*l7+61357*x2_6*l8+21531*x2_6*l9+45321*x2_7*l1+25540*x2_7*l2+44467*x2_7*l3+61227*x2_7*l4+60391*x2_7*l5+38468*x2_7*l6+62433*x2_7*l7+25794*x2_7*l8+36965*x2_7*l9+3368*x2_4+2635*x2_5+24612*x2_6+375*x2_7, 42755+31742*l7+5465*l8+7928*l9+22940*l3+34077*l4+22497*l5+421*l6+33601*l1+58915*l2+35983*x2_4*l1+49747*x2_4*l2+45954*x2_4*l3+41836*x2_4*l4+9372*x2_4*l5+35245*x2_4*l6+12745*x2_4*l7+62251*x2_4*l8+50215*x2_4*l9+8033*x2_5*l1+53471*x2_5*l2+16104*x2_5*l3+29006*x2_5*l4+51520*x2_5*l5+15821*x2_5*l6+28320*x2_5*l7+12541*x2_5*l8+24285*x2_5*l9+37802*x2_6*l1+12253*x2_6*l2+4012*x2_6*l3+49654*x2_6*l4+44444*x2_6*l5+64572*x2_6*l6+26613*x2_6*l7+29794*x2_6*l8+35856*x2_6*l9+20788*x2_7*l1+13726*x2_7*l2+48578*x2_7*l3+19184*x2_7*l4+15999*x2_7*l5+17743*x2_7*l6+17846*x2_7*l7+37268*x2_7*l8+10851*x2_7*l9+54025*x2_4+2776*x2_5+24697*x2_6+5719*x2_7, 47542+40684*l7+12987*l8+46284*l9+53062*l3+55060*l4+120*l5+38855*l6+58414*l1+41758*l2+8650*x2_4*l1+20034*x2_4*l2+44873*x2_4*l3+30768*x2_4*l4+14881*x2_4*l5+3464*x2_4*l6+4760*x2_4*l7+12192*x2_4*l8+13621*x2_4*l9+33282*x2_5*l1+33008*x2_5*l2+58416*x2_5*l3+1019*x2_5*l4+11073*x2_5*l5+6952*x2_5*l6+1373*x2_5*l7+23778*x2_5*l8+36002*x2_5*l9+3972*x2_6*l1+28602*x2_6*l2+20411*x2_6*l3+51676*x2_6*l4+15275*x2_6*l5+42285*x2_6*l6+663*x2_6*l7+19089*x2_6*l8+64894*x2_6*l9+50029*x2_7*l1+21222*x2_7*l2+19652*x2_7*l3+21107*x2_7*l4+27451*x2_7*l5+24653*x2_7*l6+7995*x2_7*l7+2367*x2_7*l8+36329*x2_7*l9+59362*x2_4+45511*x2_5+63703*x2_6+31054*x2_7, 45990+2192*l7+19277*l8+31466*l9+59936*l3+58423*l4+49695*l5+28066*l6+49258*l1+34955*l2+21668*x2_4*l1+28004*x2_4*l2+38784*x2_4*l3+36240*x2_4*l4+17123*x2_4*l5+27512*x2_4*l6+4619*x2_4*l7+64245*x2_4*l8+61731*x2_4*l9+63599*x2_5*l1+46169*x2_5*l2+62418*x2_5*l3+2708*x2_5*l4+35139*x2_5*l5+29271*x2_5*l6+62201*x2_5*l7+24641*x2_5*l8+9579*x2_5*l9+50506*x2_6*l1+64546*x2_6*l2+26504*x2_6*l3+9513*x2_6*l4+40820*x2_6*l5+60238*x2_6*l6+33750*x2_6*l7+25239*x2_6*l8+11662*x2_6*l9+42755*x2_7*l1+54030*x2_7*l2+46440*x2_7*l3+20628*x2_7*l4+39354*x2_7*l5+61977*x2_7*l6+26190*x2_7*l7+55396*x2_7*l8+23965*x2_7*l9+58735*x2_4+52864*x2_5+55126*x2_6+58736*x2_7, 1746+60619*l7+17286*l8+31320*l9+43893*l3+52778*l4+38073*l5+4202*l6+37977*l1+58919*l2+40721*x3_4*l1+35129*x3_4*l2+20375*x3_4*l3+51384*x3_4*l4+44034*x3_4*l5+31451*x3_4*l6+36690*x3_4*l7+4676*x3_4*l8+57310*x3_4*l9+65194*x3_5*l1+3548*x3_5*l2+51079*x3_5*l3+51635*x3_5*l4+34645*x3_5*l5+56358*x3_5*l6+3254*x3_5*l7+30169*x3_5*l8+14304*x3_5*l9+46451*x3_6*l1+4321*x3_6*l2+11198*x3_6*l3+50877*x3_6*l4+15605*x3_6*l5+39824*x3_6*l6+24098*x3_6*l7+8018*x3_6*l8+47803*x3_6*l9+32950*x3_7*l1+12138*x3_7*l2+15181*x3_7*l3+173*x3_7*l4+950*x3_7*l5+6906*x3_7*l6+4679*x3_7*l7+4852*x3_7*l8+40385*x3_7*l9+36386*x3_4+44127*x3_5+26604*x3_6+52381*x3_7, 32310+54883*l7+51759*l8+53097*l9+31304*l3+10187*l4+63835*l5+28307*l6+40976*l1+6789*l2+41413*x3_4*l1+55071*x3_4*l2+62101*x3_4*l3+41480*x3_4*l4+26413*x3_4*l5+44561*x3_4*l6+35709*x3_4*l7+37007*x3_4*l8+63608*x3_4*l9+37171*x3_5*l1+29991*x3_5*l2+59888*x3_5*l3+56817*x3_5*l4+36337*x3_5*l5+10385*x3_5*l6+30576*x3_5*l7+51283*x3_5*l8+7285*x3_5*l9+51536*x3_6*l1+10099*x3_6*l2+62623*x3_6*l3+1460*x3_6*l4+37591*x3_6*l5+40754*x3_6*l6+48310*x3_6*l7+8510*x3_6*l8+30126*x3_6*l9+28374*x3_7*l1+23447*x3_7*l2+42209*x3_7*l3+18852*x3_7*l4+5025*x3_7*l5+44523*x3_7*l6+56912*x3_7*l7+20264*x3_7*l8+17517*x3_7*l9+14692*x3_4+60499*x3_5+29057*x3_6+45545*x3_7, 6428+16471*l7+23709*l8+50441*l9+5634*l3+8625*l4+43312*l5+26483*l6+34004*l1+13834*l2+11400*x3_4*l1+56854*x3_4*l2+41825*x3_4*l3+13160*x3_4*l4+17084*x3_4*l5+50765*x3_4*l6+55443*x3_4*l7+56619*x3_4*l8+25454*x3_4*l9+7016*x3_5*l1+25256*x3_5*l2+47684*x3_5*l3+1828*x3_5*l4+51057*x3_5*l5+42377*x3_5*l6+26639*x3_5*l7+35894*x3_5*l8+26376*x3_5*l9+38595*x3_6*l1+44979*x3_6*l2+47484*x3_6*l3+34507*x3_6*l4+1300*x3_6*l5+44595*x3_6*l6+40464*x3_6*l7+7151*x3_6*l8+27182*x3_6*l9+48466*x3_7*l1+45695*x3_7*l2+23682*x3_7*l3+64350*x3_7*l4+60885*x3_7*l5+38499*x3_7*l6+51651*x3_7*l7+6996*x3_7*l8+26339*x3_7*l9+57950*x3_4+54565*x3_5+33746*x3_6+40413*x3_7, 2091+18607*l7+60585*l8+43239*l9+28324*l3+2812*l4+18932*l5+23308*l6+11619*l1+48881*l2+59845*x3_4*l1+43896*x3_4*l2+45499*x3_4*l3+18139*x3_4*l4+51360*x3_4*l5+63780*x3_4*l6+34553*x3_4*l7+3544*x3_4*l8+31799*x3_4*l9+40739*x3_5*l1+57296*x3_5*l2+17005*x3_5*l3+25473*x3_5*l4+64716*x3_5*l5+33755*x3_5*l6+47341*x3_5*l7+15552*x3_5*l8+39590*x3_5*l9+26275*x3_6*l1+7488*x3_6*l2+20829*x3_6*l3+11616*x3_6*l4+39265*x3_6*l5+34272*x3_6*l6+36802*x3_6*l7+61357*x3_6*l8+21531*x3_6*l9+45321*x3_7*l1+25540*x3_7*l2+44467*x3_7*l3+61227*x3_7*l4+60391*x3_7*l5+38468*x3_7*l6+62433*x3_7*l7+25794*x3_7*l8+36965*x3_7*l9+3368*x3_4+2635*x3_5+24612*x3_6+375*x3_7, 12559+31451*l7+53102*l8+16655*l9+31282*l3+17037*l4+31460*l5+51131*l6+15446*l1+62140*l2+35983*x3_4*l1+49747*x3_4*l2+45954*x3_4*l3+41836*x3_4*l4+9372*x3_4*l5+35245*x3_4*l6+12745*x3_4*l7+62251*x3_4*l8+50215*x3_4*l9+8033*x3_5*l1+53471*x3_5*l2+16104*x3_5*l3+29006*x3_5*l4+51520*x3_5*l5+15821*x3_5*l6+28320*x3_5*l7+12541*x3_5*l8+24285*x3_5*l9+37802*x3_6*l1+12253*x3_6*l2+4012*x3_6*l3+49654*x3_6*l4+44444*x3_6*l5+64572*x3_6*l6+26613*x3_6*l7+29794*x3_6*l8+35856*x3_6*l9+20788*x3_7*l1+13726*x3_7*l2+48578*x3_7*l3+19184*x3_7*l4+15999*x3_7*l5+17743*x3_7*l6+17846*x3_7*l7+37268*x3_7*l8+10851*x3_7*l9+54025*x3_4+2776*x3_5+24697*x3_6+5719*x3_7, 12385+50641*l7+36*l8+27568*l9+29544*l3+333*l4+26140*l5+15663*l6+53531*l1+22837*l2+8650*x3_4*l1+20034*x3_4*l2+44873*x3_4*l3+30768*x3_4*l4+14881*x3_4*l5+3464*x3_4*l6+4760*x3_4*l7+12192*x3_4*l8+13621*x3_4*l9+33282*x3_5*l1+33008*x3_5*l2+58416*x3_5*l3+1019*x3_5*l4+11073*x3_5*l5+6952*x3_5*l6+1373*x3_5*l7+23778*x3_5*l8+36002*x3_5*l9+3972*x3_6*l1+28602*x3_6*l2+20411*x3_6*l3+51676*x3_6*l4+15275*x3_6*l5+42285*x3_6*l6+663*x3_6*l7+19089*x3_6*l8+64894*x3_6*l9+50029*x3_7*l1+21222*x3_7*l2+19652*x3_7*l3+21107*x3_7*l4+27451*x3_7*l5+24653*x3_7*l6+7995*x3_7*l7+2367*x3_7*l8+36329*x3_7*l9+59362*x3_4+45511*x3_5+63703*x3_6+31054*x3_7, 45620+13581*l7+31020*l8+42667*l9+39069*l3+37444*l4+46676*l5+3312*l6+41738*l1+18096*l2+21668*x3_4*l1+28004*x3_4*l2+38784*x3_4*l3+36240*x3_4*l4+17123*x3_4*l5+27512*x3_4*l6+4619*x3_4*l7+64245*x3_4*l8+61731*x3_4*l9+63599*x3_5*l1+46169*x3_5*l2+62418*x3_5*l3+2708*x3_5*l4+35139*x3_5*l5+29271*x3_5*l6+62201*x3_5*l7+24641*x3_5*l8+9579*x3_5*l9+50506*x3_6*l1+64546*x3_6*l2+26504*x3_6*l3+9513*x3_6*l4+40820*x3_6*l5+60238*x3_6*l6+33750*x3_6*l7+25239*x3_6*l8+11662*x3_6*l9+42755*x3_7*l1+54030*x3_7*l2+46440*x3_7*l3+20628*x3_7*l4+39354*x3_7*l5+61977*x3_7*l6+26190*x3_7*l7+55396*x3_7*l8+23965*x3_7*l9+58735*x3_4+52864*x3_5+55126*x3_6+58736*x3_7]