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

#list


[17037+15446*l1+28004*l2+36370*l8+54191*l7+18292*l6+56817*l3+39265*l4+24653*l5+12839*l9+43981*x1_6+29709*x1_4+23053*x1_7+28015*x1_5+19523*x1_8+39298*x1_8*l9+54490*x1_8*l8+7928*x1_8*l7+1532*x1_8*l6+61977*x1_8*l5+44444*x1_8*l4+1828*x1_8*l3+20375*x1_8*l2+53531*x1_8*l1+37802*x1_4*l1+54030*x1_4*l2+38743*x1_4*l3+22497*x1_4*l4+3312*x1_4*l5+37007*x1_4*l6+39590*x1_4*l7+36329*x1_4*l8+9268*x1_4*l9+20788*x1_5*l1+921*x1_5*l2+8944*x1_5*l3+31460*x1_5*l4+27512*x1_5*l5+51283*x1_5*l6+21531*x1_5*l7+456*x1_5*l8+19845*x1_5*l9+30268*x1_6*l1+46179*x1_6*l2+8625*x1_6*l3+9372*x1_6*l4+29271*x1_6*l5+8510*x1_6*l6+36965*x1_6*l7+38109*x1_6*l8+53855*x1_6*l9+58414*x1_7*l1+43893*x1_7*l2+13160*x1_7*l3+51520*x1_7*l4+60238*x1_7*l5+20264*x1_7*l6+25447*x1_7*l7+12093*x1_7*l8+18941*x1_7*l9, 39034+8650*l1+51079*l2+29233*l8+16655*l7+34612*l6+34507*l3+15999*l4+40858*l5+2578*l9+22562*x1_6+42139*x1_4+36365*x1_7+1483*x1_5+40134*x1_8+138*x1_8*l9+363*x1_8*l8+27568*x1_8*l7+3877*x1_8*l6+15710*x1_8*l5+27451*x1_8*l4+11616*x1_8*l3+59888*x1_8*l2+21668*x1_8*l1+50029*x1_4*l1+26262*x1_4*l2+12891*x1_4*l3+26140*x1_4*l4+36690*x1_4*l5+35894*x1_4*l6+35856*x1_4*l7+16563*x1_4*l8+25940*x1_4*l9+16102*x1_5*l1+51693*x1_5*l2+2812*x1_5*l3+14881*x1_5*l4+3254*x1_5*l5+7151*x1_5*l6+10851*x1_5*l7+11633*x1_5*l8+21901*x1_5*l9+49258*x1_6*l1+31304*x1_6*l2+18139*x1_6*l3+11073*x1_6*l4+24098*x1_6*l5+6996*x1_6*l6+64951*x1_6*l7+25131*x1_6*l8+4414*x1_6*l9+41738*x1_7*l1+62101*x1_7*l2+25473*x1_7*l3+15275*x1_7*l4+4679*x1_7*l5+20256*x1_7*l6+46284*x1_7*l7+17911*x1_7*l8+24230*x1_7*l9, 40906+63599*l1+62623*l2+53427*l8+13621*l7+60585*l6+61227*l3+57042*l4+2174*l5+63560*l9+59163*x1_6+8*x1_4+58705*x1_7+14162*x1_5+4625*x1_8+44980*x1_8*l9+43358*x1_8*l8+61731*x1_8*l7+53102*x1_8*l6+49445*x1_8*l5+26663*x1_8*l4+19184*x1_8*l3+47484*x1_8*l2+3548*x1_8*l1+19674*x1_4*l1+10548*x1_4*l2+17037*x1_4*l3+17123*x1_4*l4+30576*x1_4*l5+61357*x1_4*l6+36329*x1_4*l7+7475*x1_4*l8+38960*x1_4*l9+14485*x1_5*l1+5634*x1_5*l2+41836*x1_5*l3+35139*x1_5*l4+48310*x1_5*l5+25794*x1_5*l6+62008*x1_5*l7+59544*x1_5*l8+30696*x1_5*l9+58919*x1_6*l1+41825*x1_6*l2+29006*x1_6*l3+40820*x1_6*l4+56912*x1_6*l5+30116*x1_6*l6+31466*x1_6*l7+34079*x1_6*l8+4162*x1_6*l9+35129*x1_7*l1+47684*x1_7*l2+49654*x1_7*l3+39354*x1_7*l4+16892*x1_7*l5+5465*x1_7*l6+42667*x1_7*l7+16254*x1_7*l8+45303*x1_7*l9, 4474+4321*l1+23682*l2+11908*l8+9579*l7+62251*l6+16200*l3+50635*l4+16471*l5+63182*l9+42150*x1_6+14948*x1_4+58629*x1_7+37554*x1_5+56575*x1_8+30041*x1_8*l9+7816*x1_8*l8+47201*x1_8*l7+12192*x1_8*l6+18607*x1_8*l5+40525*x1_8*l4+3598*x1_8*l3+44467*x1_8*l2+10099*x1_8*l1+2077*x1_4*l1+28324*x1_4*l2+30768*x1_4*l3+56358*x1_4*l4+40464*x1_4*l5+37268*x1_4*l6+24591*x1_4*l7+31355*x1_4*l8+32239*x1_4*l9+6789*x1_5*l1+45499*x1_5*l2+1019*x1_5*l3+39824*x1_5*l4+51651*x1_5*l5+12616*x1_5*l6+48858*x1_5*l7+50257*x1_5*l8+35996*x1_5*l9+55071*x1_6*l1+17005*x1_6*l2+51676*x1_6*l3+6906*x1_6*l4+45417*x1_6*l5+12987*x1_6*l6+25777*x1_6*l7+40795*x1_6*l8+59825*x1_6*l9+29991*x1_7*l1+20829*x1_7*l2+21107*x1_7*l3+60977*x1_7*l4+3022*x1_7*l5+36*x1_7*l6+42071*x1_7*l7+16360*x1_7*l8+65172*x1_7*l9, 46659+23447*l1+15375*l2+55299*l8+12001*l7+23778*l6+58423*l3+28307*l4+34553*l5+16032*l9+53209*x1_6+48926*x1_4+19810*x1_7+5840*x1_5+1128*x1_8+1303*x1_8*l9+3430*x1_8*l8+20790*x1_8*l7+24641*x1_8*l6+12745*x1_8*l5+26483*x1_8*l4+47364*x1_8*l3+46503*x1_8*l2+45695*x1_8*l1+13834*x1_4*l1+45954*x1_4*l2+2708*x1_4*l3+40754*x1_4*l4+62433*x1_4*l5+37143*x1_4*l6+48360*x1_4*l7+5563*x1_4*l8+16765*x1_4*l9+56854*x1_5*l1+16104*x1_5*l2+9513*x1_5*l3+44523*x1_5*l4+39253*x1_5*l5+19277*x1_5*l6+43933*x1_5*l7+12058*x1_5*l8+11099*x1_5*l9+25256*x1_6*l1+4012*x1_6*l2+20628*x1_6*l3+43809*x1_6*l4+31742*x1_6*l5+31020*x1_6*l6+22309*x1_6*l7+13835*x1_6*l8+17401*x1_6*l9+44979*x1_7*l1+48578*x1_7*l2+54372*x1_7*l3+48245*x1_7*l4+31451*x1_7*l5+64245*x1_7*l6+15126*x1_7*l7+50223*x1_7*l8+2655*x1_7*l9, 40792+13369*l1+53062*l2+52493*l8+32577*l7+25239*l6+38073*l3+50765*l4+28320*l5+3527*l9+60547*x1_6+20362*x1_4+23471*x1_7+44927*x1_5+29360*x1_8+48347*x1_8*l9+19967*x1_8*l8+18064*x1_8*l7+47803*x1_8*l6+1373*x1_8*l5+63780*x1_8*l4+63835*x1_8*l3+59936*x1_8*l2+14977*x1_8*l1+43896*x1_4*l1+58416*x1_4*l2+15605*x1_4*l3+38499*x1_4*l4+29456*x1_4*l5+65390*x1_4*l6+999*x1_4*l7+36611*x1_4*l8+55971*x1_4*l9+57296*x1_5*l1+20411*x1_5*l2+950*x1_5*l3+12300*x1_5*l4+40684*x1_5*l5+31320*x1_5*l6+450*x1_5*l7+58333*x1_5*l8+15694*x1_5*l9+7488*x1_6*l1+19652*x1_6*l2+13536*x1_6*l3+31062*x1_6*l4+50641*x1_6*l5+57310*x1_6*l6+508*x1_6*l7+33051*x1_6*l8+58130*x1_6*l9+25540*x1_7*l1+23800*x1_7*l2+9987*x1_7*l3+23308*x1_7*l4+4760*x1_7*l5+14304*x1_7*l6+43581*x1_7*l7+41811*x1_7*l8+17593*x1_7*l9, 21670+58915*l1+39069*l2+56408*l8+34816*l7+40385*l6+26413*l3+33755*l4+663*l5+682*l9+21274*x1_6+21255*x1_4+64912*x1_7+3289*x1_5+53805*x1_8+49491*x1_8*l9+54737*x1_8*l8+64607*x1_8*l7+17517*x1_8*l6+33750*x1_8*l5+15821*x1_8*l4+17084*x1_8*l3+52778*x1_8*l2+41758*x1_8*l1+53471*x1_4*l1+26504*x1_4*l2+5025*x1_4*l3+60605*x1_4*l4+2192*x1_4*l5+53097*x1_4*l6+53433*x1_4*l7+33444*x1_4*l8+218*x1_4*l9+12253*x1_5*l1+46440*x1_5*l2+17649*x1_5*l3+421*x1_5*l4+13581*x1_5*l5+63608*x1_5*l6+30826*x1_5*l7+30457*x1_5*l8+17514*x1_5*l9+13726*x1_6*l1+1274*x1_6*l2+61635*x1_6*l3+51131*x1_6*l4+4619*x1_6*l5+7285*x1_6*l6+27224*x1_6*l7+63798*x1_6*l8+46203*x1_6*l9+44240*x1_7*l1+34879*x1_7*l2+43312*x1_7*l3+35245*x1_7*l4+62201*x1_7*l5+30126*x1_7*l6+11621*x1_7*l7+5672*x1_7*l8+13832*x1_7*l9, 4860+22837*l1+51384*l2+13750*l8+57448*l7+10357*l6+51057*l3+64572*l4+26190*l5+18177*l9+40631*x1_6+54602*x1_4+43407*x1_7+52192*x1_5+26584*x1_8+55596*x1_8*l9+50096*x1_8*l8+243*x1_8*l7+6536*x1_8*l6+4852*x1_8*l5+42285*x1_8*l4+64716*x1_8*l3+41480*x1_8*l2+18096*x1_8*l1+28602*x1_4*l1+173*x1_4*l2+56873*x1_4*l3+38855*x1_4*l4+17286*x1_4*l5+25454*x1_4*l6+3042*x1_4*l7+61262*x1_4*l8+56716*x1_4*l9+21222*x1_5*l1+38526*x1_5*l2+62724*x1_5*l3+15663*x1_5*l4+4676*x1_5*l5+26376*x1_5*l6+25191*x1_5*l7+18195*x1_5*l8+9937*x1_5*l9+2369*x1_6*l1+49260*x1_6*l2+18932*x1_6*l3+3464*x1_6*l4+30169*x1_6*l5+27182*x1_6*l6+27146*x1_6*l7+31987*x1_6*l8+17698*x1_6*l9+34955*x1_7*l1+10187*x1_7*l2+51360*x1_7*l3+6952*x1_7*l4+8018*x1_7*l5+26339*x1_7*l6+26925*x1_7*l7+32453*x1_7*l8+13647*x1_7*l9, 60963+35983*l1+46169*l2+59374*l8+43239*l7+1410*l6+1460*l3+60391*l4+51572*l5+26695*l9+29709*x2_4+28015*x2_5+43981*x2_6+23053*x2_7+19523*x2_8+37802*x2_4*l1+54030*x2_4*l2+38743*x2_4*l3+22497*x2_4*l4+3312*x2_4*l5+37007*x2_4*l6+39590*x2_4*l7+36329*x2_4*l8+9268*x2_4*l9+20788*x2_5*l1+921*x2_5*l2+8944*x2_5*l3+31460*x2_5*l4+27512*x2_5*l5+51283*x2_5*l6+21531*x2_5*l7+456*x2_5*l8+19845*x2_5*l9+30268*x2_6*l1+46179*x2_6*l2+8625*x2_6*l3+9372*x2_6*l4+29271*x2_6*l5+8510*x2_6*l6+36965*x2_6*l7+38109*x2_6*l8+53855*x2_6*l9+58414*x2_7*l1+43893*x2_7*l2+13160*x2_7*l3+51520*x2_7*l4+60238*x2_7*l5+20264*x2_7*l6+25447*x2_7*l7+12093*x2_7*l8+18941*x2_7*l9+53531*x2_8*l1+20375*x2_8*l2+1828*x2_8*l3+44444*x2_8*l4+61977*x2_8*l5+1532*x2_8*l6+7928*x2_8*l7+54490*x2_8*l8+39298*x2_8*l9, 29366+33282*l1+11198*l2+53784*l8+50215*l7+23709*l6+64350*l3+3234*l4+19958*l5+64989*l9+42139*x2_4+1483*x2_5+22562*x2_6+36365*x2_7+40134*x2_8+50029*x2_4*l1+26262*x2_4*l2+12891*x2_4*l3+26140*x2_4*l4+36690*x2_4*l5+35894*x2_4*l6+35856*x2_4*l7+16563*x2_4*l8+25940*x2_4*l9+16102*x2_5*l1+51693*x2_5*l2+2812*x2_5*l3+14881*x2_5*l4+3254*x2_5*l5+7151*x2_5*l6+10851*x2_5*l7+11633*x2_5*l8+21901*x2_5*l9+49258*x2_6*l1+31304*x2_6*l2+18139*x2_6*l3+11073*x2_6*l4+24098*x2_6*l5+6996*x2_6*l6+64951*x2_6*l7+25131*x2_6*l8+4414*x2_6*l9+41738*x2_7*l1+62101*x2_7*l2+25473*x2_7*l3+15275*x2_7*l4+4679*x2_7*l5+20256*x2_7*l6+46284*x2_7*l7+17911*x2_7*l8+24230*x2_7*l9+21668*x2_8*l1+59888*x2_8*l2+11616*x2_8*l3+27451*x2_8*l4+15710*x2_8*l5+3877*x2_8*l6+27568*x2_8*l7+363*x2_8*l8+138*x2_8*l9, 54083+50506*l1+42209*l2+38642*l8+36002*l7+3544*l6+50952*l3+49695*l4+54883*l5+8814*l9+8*x2_4+14162*x2_5+59163*x2_6+58705*x2_7+4625*x2_8+19674*x2_4*l1+10548*x2_4*l2+17037*x2_4*l3+17123*x2_4*l4+30576*x2_4*l5+61357*x2_4*l6+36329*x2_4*l7+7475*x2_4*l8+38960*x2_4*l9+14485*x2_5*l1+5634*x2_5*l2+41836*x2_5*l3+35139*x2_5*l4+48310*x2_5*l5+25794*x2_5*l6+62008*x2_5*l7+59544*x2_5*l8+30696*x2_5*l9+58919*x2_6*l1+41825*x2_6*l2+29006*x2_6*l3+40820*x2_6*l4+56912*x2_6*l5+30116*x2_6*l6+31466*x2_6*l7+34079*x2_6*l8+4162*x2_6*l9+35129*x2_7*l1+47684*x2_7*l2+49654*x2_7*l3+39354*x2_7*l4+16892*x2_7*l5+5465*x2_7*l6+42667*x2_7*l7+16254*x2_7*l8+45303*x2_7*l9+3548*x2_8*l1+47484*x2_8*l2+19184*x2_8*l3+26663*x2_8*l4+49445*x2_8*l5+53102*x2_8*l6+61731*x2_8*l7+43358*x2_8*l8+44980*x2_8*l9, 4838+12138*l1+24648*l2+13580*l8+11662*l7+12541*l6+55060*l3+4202*l4+55443*l5+2954*l9+14948*x2_4+37554*x2_5+42150*x2_6+58629*x2_7+56575*x2_8+2077*x2_4*l1+28324*x2_4*l2+30768*x2_4*l3+56358*x2_4*l4+40464*x2_4*l5+37268*x2_4*l6+24591*x2_4*l7+31355*x2_4*l8+32239*x2_4*l9+6789*x2_5*l1+45499*x2_5*l2+1019*x2_5*l3+39824*x2_5*l4+51651*x2_5*l5+12616*x2_5*l6+48858*x2_5*l7+50257*x2_5*l8+35996*x2_5*l9+55071*x2_6*l1+17005*x2_6*l2+51676*x2_6*l3+6906*x2_6*l4+45417*x2_6*l5+12987*x2_6*l6+25777*x2_6*l7+40795*x2_6*l8+59825*x2_6*l9+29991*x2_7*l1+20829*x2_7*l2+21107*x2_7*l3+60977*x2_7*l4+3022*x2_7*l5+36*x2_7*l6+42071*x2_7*l7+16360*x2_7*l8+65172*x2_7*l9+10099*x2_8*l1+44467*x2_8*l2+3598*x2_8*l3+40525*x2_8*l4+18607*x2_8*l5+12192*x2_8*l6+47201*x2_8*l7+7816*x2_8*l8+30041*x2_8*l9, 8757+61007*l1+22940*l2+64785*l8+48694*l7+19089*l6+37444*l3+44561*l4+47341*l5+52696*l9+48926*x2_4+5840*x2_5+53209*x2_6+19810*x2_7+1128*x2_8+13834*x2_4*l1+45954*x2_4*l2+2708*x2_4*l3+40754*x2_4*l4+62433*x2_4*l5+37143*x2_4*l6+48360*x2_4*l7+5563*x2_4*l8+16765*x2_4*l9+56854*x2_5*l1+16104*x2_5*l2+9513*x2_5*l3+44523*x2_5*l4+39253*x2_5*l5+19277*x2_5*l6+43933*x2_5*l7+12058*x2_5*l8+11099*x2_5*l9+25256*x2_6*l1+4012*x2_6*l2+20628*x2_6*l3+43809*x2_6*l4+31742*x2_6*l5+31020*x2_6*l6+22309*x2_6*l7+13835*x2_6*l8+17401*x2_6*l9+44979*x2_7*l1+48578*x2_7*l2+54372*x2_7*l3+48245*x2_7*l4+31451*x2_7*l5+64245*x2_7*l6+15126*x2_7*l7+50223*x2_7*l8+2655*x2_7*l9+45695*x2_8*l1+46503*x2_8*l2+47364*x2_8*l3+26483*x2_8*l4+12745*x2_8*l5+24641*x2_8*l6+20790*x2_8*l7+3430*x2_8*l8+1303*x2_8*l9, 44414+51266*l1+29544*l2+50707*l8+8641*l7+55396*l6+44034*l3+42377*l4+26613*l5+60351*l9+20362*x2_4+44927*x2_5+60547*x2_6+23471*x2_7+29360*x2_8+43896*x2_4*l1+58416*x2_4*l2+15605*x2_4*l3+38499*x2_4*l4+29456*x2_4*l5+65390*x2_4*l6+999*x2_4*l7+36611*x2_4*l8+55971*x2_4*l9+57296*x2_5*l1+20411*x2_5*l2+950*x2_5*l3+12300*x2_5*l4+40684*x2_5*l5+31320*x2_5*l6+450*x2_5*l7+58333*x2_5*l8+15694*x2_5*l9+7488*x2_6*l1+19652*x2_6*l2+13536*x2_6*l3+31062*x2_6*l4+50641*x2_6*l5+57310*x2_6*l6+508*x2_6*l7+33051*x2_6*l8+58130*x2_6*l9+25540*x2_7*l1+23800*x2_7*l2+9987*x2_7*l3+23308*x2_7*l4+4760*x2_7*l5+14304*x2_7*l6+43581*x2_7*l7+41811*x2_7*l8+17593*x2_7*l9+14977*x2_8*l1+59936*x2_8*l2+63835*x2_8*l3+63780*x2_8*l4+1373*x2_8*l5+47803*x2_8*l6+18064*x2_8*l7+19967*x2_8*l8+48347*x2_8*l9, 14028+62140*l1+38784*l2+22721*l8+55315*l7+53454*l6+36337*l3+34272*l4+7995*l5+62739*l9+21255*x2_4+3289*x2_5+21274*x2_6+64912*x2_7+53805*x2_8+53471*x2_4*l1+26504*x2_4*l2+5025*x2_4*l3+60605*x2_4*l4+2192*x2_4*l5+53097*x2_4*l6+53433*x2_4*l7+33444*x2_4*l8+218*x2_4*l9+12253*x2_5*l1+46440*x2_5*l2+17649*x2_5*l3+421*x2_5*l4+13581*x2_5*l5+63608*x2_5*l6+30826*x2_5*l7+30457*x2_5*l8+17514*x2_5*l9+13726*x2_6*l1+1274*x2_6*l2+61635*x2_6*l3+51131*x2_6*l4+4619*x2_6*l5+7285*x2_6*l6+27224*x2_6*l7+63798*x2_6*l8+46203*x2_6*l9+44240*x2_7*l1+34879*x2_7*l2+43312*x2_7*l3+35245*x2_7*l4+62201*x2_7*l5+30126*x2_7*l6+11621*x2_7*l7+5672*x2_7*l8+13832*x2_7*l9+41758*x2_8*l1+52778*x2_8*l2+17084*x2_8*l3+15821*x2_8*l4+33750*x2_8*l5+17517*x2_8*l6+64607*x2_8*l7+54737*x2_8*l8+49491*x2_8*l9, 6090+20034*l1+51635*l2+47968*l8+48187*l7+42399*l6+1300*l3+17743*l4+42623*l5+21193*l9+54602*x2_4+52192*x2_5+40631*x2_6+43407*x2_7+26584*x2_8+28602*x2_4*l1+173*x2_4*l2+56873*x2_4*l3+38855*x2_4*l4+17286*x2_4*l5+25454*x2_4*l6+3042*x2_4*l7+61262*x2_4*l8+56716*x2_4*l9+21222*x2_5*l1+38526*x2_5*l2+62724*x2_5*l3+15663*x2_5*l4+4676*x2_5*l5+26376*x2_5*l6+25191*x2_5*l7+18195*x2_5*l8+9937*x2_5*l9+2369*x2_6*l1+49260*x2_6*l2+18932*x2_6*l3+3464*x2_6*l4+30169*x2_6*l5+27182*x2_6*l6+27146*x2_6*l7+31987*x2_6*l8+17698*x2_6*l9+34955*x2_7*l1+10187*x2_7*l2+51360*x2_7*l3+6952*x2_7*l4+8018*x2_7*l5+26339*x2_7*l6+26925*x2_7*l7+32453*x2_7*l8+13647*x2_7*l9+18096*x2_8*l1+41480*x2_8*l2+64716*x2_8*l3+42285*x2_8*l4+4852*x2_8*l5+6536*x2_8*l6+243*x2_8*l7+50096*x2_8*l8+55596*x2_8*l9, 4909+8033*l1+64546*l2+1401*l8+31799*l7+51759*l6+18852*l3+60601*l4+28066*l5+32767*l9+29709*x3_4+28015*x3_5+43981*x3_6+23053*x3_7+19523*x3_8+37802*x3_4*l1+54030*x3_4*l2+38743*x3_4*l3+22497*x3_4*l4+3312*x3_4*l5+37007*x3_4*l6+39590*x3_4*l7+36329*x3_4*l8+9268*x3_4*l9+20788*x3_5*l1+921*x3_5*l2+8944*x3_5*l3+31460*x3_5*l4+27512*x3_5*l5+51283*x3_5*l6+21531*x3_5*l7+456*x3_5*l8+19845*x3_5*l9+30268*x3_6*l1+46179*x3_6*l2+8625*x3_6*l3+9372*x3_6*l4+29271*x3_6*l5+8510*x3_6*l6+36965*x3_6*l7+38109*x3_6*l8+53855*x3_6*l9+58414*x3_7*l1+43893*x3_7*l2+13160*x3_7*l3+51520*x3_7*l4+60238*x3_7*l5+20264*x3_7*l6+25447*x3_7*l7+12093*x3_7*l8+18941*x3_7*l9+53531*x3_8*l1+20375*x3_8*l2+1828*x3_8*l3+44444*x3_8*l4+61977*x3_8*l5+1532*x3_8*l6+7928*x3_8*l7+54490*x3_8*l8+39298*x3_8*l9, 46870+3972*l1+15181*l2+12398*l8+24285*l7+56619*l6+38535*l3+120*l4+60619*l5+49605*l9+42139*x3_4+1483*x3_5+22562*x3_6+36365*x3_7+40134*x3_8+50029*x3_4*l1+26262*x3_4*l2+12891*x3_4*l3+26140*x3_4*l4+36690*x3_4*l5+35894*x3_4*l6+35856*x3_4*l7+16563*x3_4*l8+25940*x3_4*l9+16102*x3_5*l1+51693*x3_5*l2+2812*x3_5*l3+14881*x3_5*l4+3254*x3_5*l5+7151*x3_5*l6+10851*x3_5*l7+11633*x3_5*l8+21901*x3_5*l9+49258*x3_6*l1+31304*x3_6*l2+18139*x3_6*l3+11073*x3_6*l4+24098*x3_6*l5+6996*x3_6*l6+64951*x3_6*l7+25131*x3_6*l8+4414*x3_6*l9+41738*x3_7*l1+62101*x3_7*l2+25473*x3_7*l3+15275*x3_7*l4+4679*x3_7*l5+20256*x3_7*l6+46284*x3_7*l7+17911*x3_7*l8+24230*x3_7*l9+21668*x3_8*l1+59888*x3_8*l2+11616*x3_8*l3+27451*x3_8*l4+15710*x3_8*l5+3877*x3_8*l6+27568*x3_8*l7+363*x3_8*l8+138*x3_8*l9, 37288+42755*l1+32008*l2+9480*l8+64894*l7+15552*l6+34077*l3+46676*l4+35709*l5+56491*l9+8*x3_4+14162*x3_5+59163*x3_6+58705*x3_7+4625*x3_8+19674*x3_4*l1+10548*x3_4*l2+17037*x3_4*l3+17123*x3_4*l4+30576*x3_4*l5+61357*x3_4*l6+36329*x3_4*l7+7475*x3_4*l8+38960*x3_4*l9+14485*x3_5*l1+5634*x3_5*l2+41836*x3_5*l3+35139*x3_5*l4+48310*x3_5*l5+25794*x3_5*l6+62008*x3_5*l7+59544*x3_5*l8+30696*x3_5*l9+58919*x3_6*l1+41825*x3_6*l2+29006*x3_6*l3+40820*x3_6*l4+56912*x3_6*l5+30116*x3_6*l6+31466*x3_6*l7+34079*x3_6*l8+4162*x3_6*l9+35129*x3_7*l1+47684*x3_7*l2+49654*x3_7*l3+39354*x3_7*l4+16892*x3_7*l5+5465*x3_7*l6+42667*x3_7*l7+16254*x3_7*l8+45303*x3_7*l9+3548*x3_8*l1+47484*x3_8*l2+19184*x3_8*l3+26663*x3_8*l4+49445*x3_8*l5+53102*x3_8*l6+61731*x3_8*l7+43358*x3_8*l8+44980*x3_8*l9, 55459+2058*l1+56535*l2+46560*l8+23965*l7+29794*l6+333*l3+31451*l4+26639*l5+39343*l9+14948*x3_4+37554*x3_5+42150*x3_6+58629*x3_7+56575*x3_8+2077*x3_4*l1+28324*x3_4*l2+30768*x3_4*l3+56358*x3_4*l4+40464*x3_4*l5+37268*x3_4*l6+24591*x3_4*l7+31355*x3_4*l8+32239*x3_4*l9+6789*x3_5*l1+45499*x3_5*l2+1019*x3_5*l3+39824*x3_5*l4+51651*x3_5*l5+12616*x3_5*l6+48858*x3_5*l7+50257*x3_5*l8+35996*x3_5*l9+55071*x3_6*l1+17005*x3_6*l2+51676*x3_6*l3+6906*x3_6*l4+45417*x3_6*l5+12987*x3_6*l6+25777*x3_6*l7+40795*x3_6*l8+59825*x3_6*l9+29991*x3_7*l1+20829*x3_7*l2+21107*x3_7*l3+60977*x3_7*l4+3022*x3_7*l5+36*x3_7*l6+42071*x3_7*l7+16360*x3_7*l8+65172*x3_7*l9+10099*x3_8*l1+44467*x3_8*l2+3598*x3_8*l3+40525*x3_8*l4+18607*x3_8*l5+12192*x3_8*l6+47201*x3_8*l7+7816*x3_8*l8+30041*x3_8*l9, 4735+12127*l1+31282*l2+19605*l8+61198*l7+2367*l6+36240*l3+10385*l4+36802*l5+58154*l9+48926*x3_4+5840*x3_5+53209*x3_6+19810*x3_7+1128*x3_8+13834*x3_4*l1+45954*x3_4*l2+2708*x3_4*l3+40754*x3_4*l4+62433*x3_4*l5+37143*x3_4*l6+48360*x3_4*l7+5563*x3_4*l8+16765*x3_4*l9+56854*x3_5*l1+16104*x3_5*l2+9513*x3_5*l3+44523*x3_5*l4+39253*x3_5*l5+19277*x3_5*l6+43933*x3_5*l7+12058*x3_5*l8+11099*x3_5*l9+25256*x3_6*l1+4012*x3_6*l2+20628*x3_6*l3+43809*x3_6*l4+31742*x3_6*l5+31020*x3_6*l6+22309*x3_6*l7+13835*x3_6*l8+17401*x3_6*l9+44979*x3_7*l1+48578*x3_7*l2+54372*x3_7*l3+48245*x3_7*l4+31451*x3_7*l5+64245*x3_7*l6+15126*x3_7*l7+50223*x3_7*l8+2655*x3_7*l9+45695*x3_8*l1+46503*x3_8*l2+47364*x3_8*l3+26483*x3_8*l4+12745*x3_8*l5+24641*x3_8*l6+20790*x3_8*l7+3430*x3_8*l8+1303*x3_8*l9, 56109+48881*l1+44873*l2+38141*l8+46502*l7+63162*l6+34645*l3+44595*l4+17846*l5+57697*l9+20362*x3_4+44927*x3_5+60547*x3_6+23471*x3_7+29360*x3_8+43896*x3_4*l1+58416*x3_4*l2+15605*x3_4*l3+38499*x3_4*l4+29456*x3_4*l5+65390*x3_4*l6+999*x3_4*l7+36611*x3_4*l8+55971*x3_4*l9+57296*x3_5*l1+20411*x3_5*l2+950*x3_5*l3+12300*x3_5*l4+40684*x3_5*l5+31320*x3_5*l6+450*x3_5*l7+58333*x3_5*l8+15694*x3_5*l9+7488*x3_6*l1+19652*x3_6*l2+13536*x3_6*l3+31062*x3_6*l4+50641*x3_6*l5+57310*x3_6*l6+508*x3_6*l7+33051*x3_6*l8+58130*x3_6*l9+25540*x3_7*l1+23800*x3_7*l2+9987*x3_7*l3+23308*x3_7*l4+4760*x3_7*l5+14304*x3_7*l6+43581*x3_7*l7+41811*x3_7*l8+17593*x3_7*l9+14977*x3_8*l1+59936*x3_8*l2+63835*x3_8*l3+63780*x3_8*l4+1373*x3_8*l5+47803*x3_8*l6+18064*x3_8*l7+19967*x3_8*l8+48347*x3_8*l9, 54416+49747*l1+62418*l2+20072*l8+42637*l7+7657*l6+37591*l3+38468*l4+34249*l5+62565*l9+21255*x3_4+3289*x3_5+21274*x3_6+64912*x3_7+53805*x3_8+53471*x3_4*l1+26504*x3_4*l2+5025*x3_4*l3+60605*x3_4*l4+2192*x3_4*l5+53097*x3_4*l6+53433*x3_4*l7+33444*x3_4*l8+218*x3_4*l9+12253*x3_5*l1+46440*x3_5*l2+17649*x3_5*l3+421*x3_5*l4+13581*x3_5*l5+63608*x3_5*l6+30826*x3_5*l7+30457*x3_5*l8+17514*x3_5*l9+13726*x3_6*l1+1274*x3_6*l2+61635*x3_6*l3+51131*x3_6*l4+4619*x3_6*l5+7285*x3_6*l6+27224*x3_6*l7+63798*x3_6*l8+46203*x3_6*l9+44240*x3_7*l1+34879*x3_7*l2+43312*x3_7*l3+35245*x3_7*l4+62201*x3_7*l5+30126*x3_7*l6+11621*x3_7*l7+5672*x3_7*l8+13832*x3_7*l9+41758*x3_8*l1+52778*x3_8*l2+17084*x3_8*l3+15821*x3_8*l4+33750*x3_8*l5+17517*x3_8*l6+64607*x3_8*l7+54737*x3_8*l8+49491*x3_8*l9, 3431+33008*l1+50877*l2+50143*l8+14440*l7+50441*l6+60885*l3+43138*l4+39871*l5+21391*l9+54602*x3_4+52192*x3_5+40631*x3_6+43407*x3_7+26584*x3_8+28602*x3_4*l1+173*x3_4*l2+56873*x3_4*l3+38855*x3_4*l4+17286*x3_4*l5+25454*x3_4*l6+3042*x3_4*l7+61262*x3_4*l8+56716*x3_4*l9+21222*x3_5*l1+38526*x3_5*l2+62724*x3_5*l3+15663*x3_5*l4+4676*x3_5*l5+26376*x3_5*l6+25191*x3_5*l7+18195*x3_5*l8+9937*x3_5*l9+2369*x3_6*l1+49260*x3_6*l2+18932*x3_6*l3+3464*x3_6*l4+30169*x3_6*l5+27182*x3_6*l6+27146*x3_6*l7+31987*x3_6*l8+17698*x3_6*l9+34955*x3_7*l1+10187*x3_7*l2+51360*x3_7*l3+6952*x3_7*l4+8018*x3_7*l5+26339*x3_7*l6+26925*x3_7*l7+32453*x3_7*l8+13647*x3_7*l9+18096*x3_8*l1+41480*x3_8*l2+64716*x3_8*l3+42285*x3_8*l4+4852*x3_8*l5+6536*x3_8*l6+243*x3_8*l7+50096*x3_8*l8+55596*x3_8*l9]