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

#list


[10097+63599*l3+12253*l4+23682*l5+38526*l6+58423*l7+31460*l8+50765*l9+18913*l1+41413*l2+7918*x1_4*l1+28374*x1_4*l2+19674*x1_4*l3+41758*x1_4*l4+28324*x1_4*l5+41480*x1_4*l6+2708*x1_4*l7+44444*x1_4*l8+38499*x1_4*l9+49281*x1_5*l1+51105*x1_5*l2+14485*x1_5*l3+22837*x1_5*l4+45499*x1_5*l5+56817*x1_5*l6+9513*x1_5*l7+15999*x1_5*l8+12300*x1_5*l9+15944*x1_6*l1+38392*x1_6*l2+58919*x1_6*l3+20034*x1_6*l4+17005*x1_6*l5+1460*x1_6*l6+20628*x1_6*l7+3234*x1_6*l8+31062*x1_6*l9+12557*x1_4+11829*x1_5+13358*x1_6, 6584+35129*l3+33008*l4+20829*l5+18852*l6+54372*l7+120*l8+23308*l9+30036*l1+34004*l2+49923*x1_4*l1+38595*x1_4*l2+12138*x1_4*l3+2369*x1_4*l4+22940*x1_4*l5+8625*x1_4*l6+44034*x1_4*l7+11073*x1_4*l8+34272*x1_4*l9+53419*x1_5*l1+48466*x1_5*l2+2058*x1_5*l3+34955*x1_5*l4+31282*x1_5*l5+13160*x1_5*l6+34645*x1_5*l7+15275*x1_5*l8+38468*x1_5*l9+17164*x1_6*l1+54396*x1_6*l2+2077*x1_6*l3+18096*x1_6*l4+45954*x1_6*l5+1828*x1_6*l6+15605*x1_6*l7+27451*x1_6*l8+60605*x1_6*l9+63655*x1_4+12876*x1_5+24001*x1_6, 59006+6789*l3+28004*l4+16104*l5+34507*l6+950*l7+57042*l8+421*l9+59538*l1+2494*l2+14015*x1_4*l1+40739*x1_4*l2+10099*x1_4*l3+54030*x1_4*l4+46503*x1_4*l5+12891*x1_4*l6+63835*x1_4*l7+17123*x1_4*l8+15821*x1_4*l9+57864*x1_5*l1+26275*x1_5*l2+23447*x1_5*l3+921*x1_5*l4+53062*x1_5*l5+2812*x1_5*l6+26413*x1_5*l7+35139*x1_5*l8+64572*x1_5*l9+39673*x1_6*l1+45321*x1_6*l2+61007*x1_6*l3+46179*x1_6*l4+29544*x1_6*l5+18139*x1_6*l6+36337*x1_6*l7+40820*x1_6*l8+17743*x1_6*l9+23247*x1_4+37452*x1_5+20939*x1_6, 36312+12127*l3+43893*l4+44873*l5+25473*l6+37591*l7+39354*l8+43138*l9+13067*l1+45351*l2+20787*x1_4*l1+35983*x1_4*l2+25256*x1_4*l3+11198*x1_4*l4+19652*x1_4*l5+50952*x1_4*l6+61635*x1_4*l7+4202*x1_4*l8+3464*x1_4*l9+50431*x1_5*l1+8033*x1_5*l2+44979*x1_5*l3+15181*x1_5*l4+23800*x1_5*l5+34077*x1_5*l6+43312*x1_5*l7+31451*x1_5*l8+6952*x1_5*l9+61848*x1_6*l1+37802*x1_6*l2+45695*x1_6*l3+26262*x1_6*l4+59936*x1_6*l5+17037*x1_6*l6+17084*x1_6*l7+56358*x1_6*l8+42285*x1_6*l9+2452*x1_4+40867*x1_5+62634*x1_6, 27481+13369*l3+51693*l4+39069*l5+41836*l6+51057*l7+39824*l8+24653*l9+61174*l1+20788*l2+23152*x1_4*l1+53531*x1_4*l2+43896*x1_4*l3+59888*x1_4*l4+26504*x1_4*l5+19184*x1_4*l6+56873*x1_4*l7+40525*x1_4*l8+3312*x1_4*l9+37977*x1_5*l1+8650*x1_5*l2+57296*x1_5*l3+62623*x1_5*l4+46440*x1_5*l5+16200*x1_5*l6+62724*x1_5*l7+28307*x1_5*l8+27512*x1_5*l9+40721*x1_6*l1+33282*x1_6*l2+7488*x1_6*l3+42209*x1_6*l4+1274*x1_6*l5+55060*x1_6*l6+18932*x1_6*l7+44561*x1_6*l8+29271*x1_6*l9+31646*x1_4+28031*x1_5+10979*x1_6, 8640+25540*l3+32008*l4+34879*l5+333*l6+51360*l7+10385*l8+60238*l9+65194*l1+3972*l2+45164*x1_4*l1+49258*x1_4*l2+62140*x1_4*l3+41825*x1_4*l4+51635*x1_4*l5+51676*x1_4*l6+60391*x1_4*l7+43809*x1_4*l8+19958*x1_4*l9+60455*x1_5*l1+41738*x1_5*l2+49747*x1_5*l3+47684*x1_5*l4+50877*x1_5*l5+21107*x1_5*l6+60601*x1_5*l7+48245*x1_5*l8+60619*x1_5*l9+40976*x1_6*l1+21668*x1_6*l2+53471*x1_6*l3+47484*x1_6*l4+173*x1_6*l5+3598*x1_6*l6+22497*x1_6*l7+26483*x1_6*l8+36690*x1_6*l9+10938*x1_4+6186*x1_5+11850*x1_6, 25227+50506*l3+13726*l4+24648*l5+49260*l6+37444*l7+9372*l8+42377*l9+64071*l1+37171*l2+15944*x2_6*l1+38392*x2_6*l2+58919*x2_6*l3+20034*x2_6*l4+17005*x2_6*l5+1460*x2_6*l6+20628*x2_6*l7+3234*x2_6*l8+31062*x2_6*l9+7918*x2_4*l1+28374*x2_4*l2+19674*x2_4*l3+41758*x2_4*l4+28324*x2_4*l5+41480*x2_4*l6+2708*x2_4*l7+44444*x2_4*l8+38499*x2_4*l9+49281*x2_5*l1+51105*x2_5*l2+14485*x2_5*l3+22837*x2_5*l4+45499*x2_5*l5+56817*x2_5*l6+9513*x2_5*l7+15999*x2_5*l8+12300*x2_5*l9+12557*x2_4+11829*x2_5+13358*x2_6, 41128+3548*l3+28602*l4+44467*l5+38743*l6+47364*l7+26140*l8+63780*l9+3368*l1+11400*l2+17164*x2_6*l1+54396*x2_6*l2+2077*x2_6*l3+18096*x2_6*l4+45954*x2_6*l5+1828*x2_6*l6+15605*x2_6*l7+27451*x2_6*l8+60605*x2_6*l9+49923*x2_4*l1+38595*x2_4*l2+12138*x2_4*l3+2369*x2_4*l4+22940*x2_4*l5+8625*x2_4*l6+44034*x2_4*l7+11073*x2_4*l8+34272*x2_4*l9+53419*x2_5*l1+48466*x2_5*l2+2058*x2_5*l3+34955*x2_5*l4+31282*x2_5*l5+13160*x2_5*l6+34645*x2_5*l7+15275*x2_5*l8+38468*x2_5*l9+63655*x2_4+12876*x2_5+24001*x2_6, 41239+55071*l3+46169*l4+4012*l5+64350*l6+13536*l7+49695*l8+51131*l9+34057*l1+11619*l2+39673*x2_6*l1+45321*x2_6*l2+61007*x2_6*l3+46179*x2_6*l4+29544*x2_6*l5+18139*x2_6*l6+36337*x2_6*l7+40820*x2_6*l8+17743*x2_6*l9+14015*x2_4*l1+40739*x2_4*l2+10099*x2_4*l3+54030*x2_4*l4+46503*x2_4*l5+12891*x2_4*l6+63835*x2_4*l7+17123*x2_4*l8+15821*x2_4*l9+57864*x2_5*l1+26275*x2_5*l2+23447*x2_5*l3+921*x2_5*l4+53062*x2_5*l5+2812*x2_5*l6+26413*x2_5*l7+35139*x2_5*l8+64572*x2_5*l9+23247*x2_4+37452*x2_5+20939*x2_6, 57496+13834*l3+20375*l4+58416*l5+11616*l6+5025*l7+26663*l8+38855*l9+50940*l1+33601*l2+61848*x2_6*l1+37802*x2_6*l2+45695*x2_6*l3+26262*x2_6*l4+59936*x2_6*l5+17037*x2_6*l6+17084*x2_6*l7+56358*x2_6*l8+42285*x2_6*l9+20787*x2_4*l1+35983*x2_4*l2+25256*x2_4*l3+11198*x2_4*l4+19652*x2_4*l5+50952*x2_4*l6+61635*x2_4*l7+4202*x2_4*l8+3464*x2_4*l9+50431*x2_5*l1+8033*x2_5*l2+44979*x2_5*l3+15181*x2_5*l4+23800*x2_5*l5+34077*x2_5*l6+43312*x2_5*l7+31451*x2_5*l8+6952*x2_5*l9+2452*x2_4+40867*x2_5+62634*x2_6, 44217+51266*l3+31304*l4+38784*l5+29006*l6+1300*l7+6906*l8+51572*l9+29511*l1+30268*l2+40721*x2_6*l1+33282*x2_6*l2+7488*x2_6*l3+42209*x2_6*l4+1274*x2_6*l5+55060*x2_6*l6+18932*x2_6*l7+44561*x2_6*l8+29271*x2_6*l9+23152*x2_4*l1+53531*x2_4*l2+43896*x2_4*l3+59888*x2_4*l4+26504*x2_4*l5+19184*x2_4*l6+56873*x2_4*l7+40525*x2_4*l8+3312*x2_4*l9+37977*x2_5*l1+8650*x2_5*l2+57296*x2_5*l3+62623*x2_5*l4+46440*x2_5*l5+16200*x2_5*l6+62724*x2_5*l7+28307*x2_5*l8+27512*x2_5*l9+31646*x2_4+28031*x2_5+10979*x2_6, 20398+14977*l3+10548*l4+52778*l5+30768*l6+64716*l7+40754*l8+61977*l9+46451*l1+50029*l2+40976*x2_6*l1+21668*x2_6*l2+53471*x2_6*l3+47484*x2_6*l4+173*x2_6*l5+3598*x2_6*l6+22497*x2_6*l7+26483*x2_6*l8+36690*x2_6*l9+45164*x2_4*l1+49258*x2_4*l2+62140*x2_4*l3+41825*x2_4*l4+51635*x2_4*l5+51676*x2_4*l6+60391*x2_4*l7+43809*x2_4*l8+19958*x2_4*l9+60455*x2_5*l1+41738*x2_5*l2+49747*x2_5*l3+47684*x2_5*l4+50877*x2_5*l5+21107*x2_5*l6+60601*x2_5*l7+48245*x2_5*l8+60619*x2_5*l9+10938*x2_4+6186*x2_5+11850*x2_6, 2640+42755*l3+44240*l4+56535*l5+10187*l6+36240*l7+51520*l8+44595*l9+28275*l1+51536*l2+7918*x3_4*l1+28374*x3_4*l2+19674*x3_4*l3+41758*x3_4*l4+28324*x3_4*l5+41480*x3_4*l6+2708*x3_4*l7+44444*x3_4*l8+38499*x3_4*l9+49281*x3_5*l1+51105*x3_5*l2+14485*x3_5*l3+22837*x3_5*l4+45499*x3_5*l5+56817*x3_5*l6+9513*x3_5*l7+15999*x3_5*l8+12300*x3_5*l9+15944*x3_6*l1+38392*x3_6*l2+58919*x3_6*l3+20034*x3_6*l4+17005*x3_6*l5+1460*x3_6*l6+20628*x3_6*l7+3234*x3_6*l8+31062*x3_6*l9+12557*x3_4+11829*x3_5+13358*x3_6, 16911+4321*l3+21222*l4+15375*l5+8944*l6+38073*l7+14881*l8+33755*l9+36070*l1+7016*l2+49923*x3_4*l1+38595*x3_4*l2+12138*x3_4*l3+2369*x3_4*l4+22940*x3_4*l5+8625*x3_4*l6+44034*x3_4*l7+11073*x3_4*l8+34272*x3_4*l9+53419*x3_5*l1+48466*x3_5*l2+2058*x3_5*l3+34955*x3_5*l4+31282*x3_5*l5+13160*x3_5*l6+34645*x3_5*l7+15275*x3_5*l8+38468*x3_5*l9+17164*x3_6*l1+54396*x3_6*l2+2077*x3_6*l3+18096*x3_6*l4+45954*x3_6*l5+1828*x3_6*l6+15605*x3_6*l7+27451*x3_6*l8+60605*x3_6*l9+63655*x3_4+12876*x3_5+24001*x3_6, 51586+29991*l3+64546*l4+48578*l5+38535*l6+9987*l7+46676*l8+35245*l9+14478*l1+59845*l2+14015*x3_4*l1+40739*x3_4*l2+10099*x3_4*l3+54030*x3_4*l4+46503*x3_4*l5+12891*x3_4*l6+63835*x3_4*l7+17123*x3_4*l8+15821*x3_4*l9+57864*x3_5*l1+26275*x3_5*l2+23447*x3_5*l3+921*x3_5*l4+53062*x3_5*l5+2812*x3_5*l6+26413*x3_5*l7+35139*x3_5*l8+64572*x3_5*l9+39673*x3_6*l1+45321*x3_6*l2+61007*x3_6*l3+46179*x3_6*l4+29544*x3_6*l5+18139*x3_6*l6+36337*x3_6*l7+40820*x3_6*l8+17743*x3_6*l9+23247*x3_4+37452*x3_5+20939*x3_6, 65149+56854*l3+51079*l4+20411*l5+61227*l6+17649*l7+50635*l8+15663*l9+61418*l1+15446*l2+20787*x3_4*l1+35983*x3_4*l2+25256*x3_4*l3+11198*x3_4*l4+19652*x3_4*l5+50952*x3_4*l6+61635*x3_4*l7+4202*x3_4*l8+3464*x3_4*l9+50431*x3_5*l1+8033*x3_5*l2+44979*x3_5*l3+15181*x3_5*l4+23800*x3_5*l5+34077*x3_5*l6+43312*x3_5*l7+31451*x3_5*l8+6952*x3_5*l9+61848*x3_6*l1+37802*x3_6*l2+45695*x3_6*l3+26262*x3_6*l4+59936*x3_6*l5+17037*x3_6*l6+17084*x3_6*l7+56358*x3_6*l8+42285*x3_6*l9+2452*x3_4+40867*x3_5+62634*x3_6, 35394+48881*l3+62101*l4+62418*l5+49654*l6+60885*l7+60977*l8+28066*l9+9576*l1+58414*l2+23152*x3_4*l1+53531*x3_4*l2+43896*x3_4*l3+59888*x3_4*l4+26504*x3_4*l5+19184*x3_4*l6+56873*x3_4*l7+40525*x3_4*l8+3312*x3_4*l9+37977*x3_5*l1+8650*x3_5*l2+57296*x3_5*l3+62623*x3_5*l4+46440*x3_5*l5+16200*x3_5*l6+62724*x3_5*l7+28307*x3_5*l8+27512*x3_5*l9+40721*x3_6*l1+33282*x3_6*l2+7488*x3_6*l3+42209*x3_6*l4+1274*x3_6*l5+55060*x3_6*l6+18932*x3_6*l7+44561*x3_6*l8+29271*x3_6*l9+31646*x3_4+28031*x3_5+10979*x3_6, 42077+58915*l3+5634*l4+51384*l5+1019*l6+39265*l7+44523*l8+40858*l9+32950*l1+16102*l2+45164*x3_4*l1+49258*x3_4*l2+62140*x3_4*l3+41825*x3_4*l4+51635*x3_4*l5+51676*x3_4*l6+60391*x3_4*l7+43809*x3_4*l8+19958*x3_4*l9+60455*x3_5*l1+41738*x3_5*l2+49747*x3_5*l3+47684*x3_5*l4+50877*x3_5*l5+21107*x3_5*l6+60601*x3_5*l7+48245*x3_5*l8+60619*x3_5*l9+40976*x3_6*l1+21668*x3_6*l2+53471*x3_6*l3+47484*x3_6*l4+173*x3_6*l5+3598*x3_6*l6+22497*x3_6*l7+26483*x3_6*l8+36690*x3_6*l9+10938*x3_4+6186*x3_5+11850*x3_6]