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

#list


[28820+12127*l1+26504*l2+31460*l3+56912*l4+64245*l5+64607*l6+2578*l7+56777*l8+55724*l9+21901*x1_5*l7+35878*x1_5*l8+17104*x1_5*l9+45695*x1_6*l1+51384*x1_6*l2+3234*x1_6*l3+26639*x1_6*l4+65390*x1_6*l5+25191*x1_6*l6+4414*x1_6*l7+40934*x1_6*l8+22451*x1_6*l9+13369*x1_7*l1+51635*x1_7*l2+120*x1_7*l3+40464*x1_7*l4+31320*x1_7*l5+27146*x1_7*l6+24230*x1_7*l7+24304*x1_7*l8+18138*x1_7*l9+51266*x1_8*l1+50877*x1_8*l2+26140*x1_8*l3+51651*x1_8*l4+57310*x1_8*l5+26925*x1_8*l6+138*x1_8*l7+10166*x1_8*l8+42152*x1_8*l9+48881*x1_9*l1+173*x1_9*l2+14881*x1_9*l3+45417*x1_9*l4+14304*x1_9*l5+243*x1_9*l6+63560*x1_9*l7+55776*x1_9*l8+18900*x1_9*l9+25256*x1_4*l1+34879*x1_4*l2+44444*x1_4*l3+16471*x1_4*l4+55396*x1_4*l5+14440*x1_4*l6+25940*x1_4*l7+8835*x1_4*l8+6358*x1_4*l9+44979*x1_5*l1+52778*x1_5*l2+15999*x1_5*l3+55443*x1_5*l4+63162*x1_5*l5+3042*x1_5*l6+29287*x1_4+19718*x1_5+47780*x1_6+21429*x1_7+7264*x1_8+54668*x1_9, 62452+43896*l1+38526*l2+11073*l3+3022*l4+47803*l5+36370*l6+8814*l7+35553*l8+45038*l9+4162*x1_5*l7+24623*x1_5*l8+59465*x1_5*l9+58915*x1_6*l1+1460*x1_6*l2+46676*x1_6*l3+62433*x1_6*l4+63608*x1_6*l5+38109*x1_6*l6+45303*x1_6*l7+27030*x1_6*l8+47964*x1_6*l9+62140*x1_7*l1+18852*x1_7*l2+17123*x1_7*l3+39253*x1_7*l4+7285*x1_7*l5+12093*x1_7*l6+44980*x1_7*l7+24600*x1_7*l8+46555*x1_7*l9+49747*x1_8*l1+38743*x1_8*l2+35139*x1_8*l3+31742*x1_8*l4+30126*x1_8*l5+54490*x1_8*l6+63182*x1_8*l7+13946*x1_8*l8+18950*x1_8*l9+53471*x1_9*l1+8944*x1_9*l2+40820*x1_9*l3+31451*x1_9*l4+17517*x1_9*l5+29233*x1_9*l6+2954*x1_9*l7+64759*x1_9*l8+53194*x1_9*l9+25540*x1_4*l1+41480*x1_4*l2+57042*x1_4*l3+47341*x1_4*l4+7657*x1_4*l5+36329*x1_4*l6+30696*x1_4*l7+10074*x1_4*l8+49400*x1_4*l9+14977*x1_5*l1+56817*x1_5*l2+49695*x1_5*l3+36802*x1_5*l4+53097*x1_5*l5+456*x1_5*l6+30475*x1_4+50313*x1_5+25975*x1_6+9067*x1_7+14479*x1_8+22803*x1_9, 61350+12253*l1+8625*l2+39354*l3+12745*l4+10357*l5+53784*l6+39343*l7+43848*l8+24383*l9+65172*x1_5*l7+27515*x1_5*l8+32699*x1_5*l9+20034*x1_6*l1+38535*x1_6*l2+56358*x1_6*l3+40684*x1_6*l4+27182*x1_6*l5+17911*x1_6*l6+30041*x1_6*l7+63079*x1_6*l8+55508*x1_6*l9+33008*x1_7*l1+12891*x1_7*l2+39824*x1_7*l3+50641*x1_7*l4+26339*x1_7*l5+363*x1_7*l6+16032*x1_7*l7+39228*x1_7*l8+48990*x1_7*l9+28602*x1_8*l1+2812*x1_8*l2+6906*x1_8*l3+4760*x1_8*l4+6536*x1_8*l5+53427*x1_8*l6+52696*x1_8*l7+28559*x1_8*l8+58431*x1_8*l9+21222*x1_9*l1+18139*x1_9*l2+60977*x1_9*l3+1373*x1_9*l4+54191*x1_9*l5+38642*x1_9*l6+58154*x1_9*l7+60898*x1_9*l8+33777*x1_9*l9+41758*x1_4*l1+34507*x1_4*l2+4202*x1_4*l3+17846*x1_4*l4+25454*x1_4*l5+11633*x1_4*l6+59825*x1_4*l7+26390*x1_4*l8+11552*x1_4*l9+22837*x1_5*l1+64350*x1_5*l2+31451*x1_5*l3+29456*x1_5*l4+26376*x1_5*l5+25131*x1_5*l6+54480*x1_4+55284*x1_5+29707*x1_6+42182*x1_7+65079*x1_8+13616*x1_9, 53268+2369*l1+25473*l2+40525*l3+663*l4+43239*l5+9480*l6+16765*l7+26162*l8+52464*l9+1303*x1_5*l7+23968*x1_5*l8+55609*x1_5*l9+64546*x1_6*l1+17037*x1_6*l2+44523*x1_6*l3+4619*x1_6*l4+25447*x1_6*l5+43358*x1_6*l6+3527*x1_6*l7+63218*x1_6*l8+26906*x1_6*l9+54030*x1_7*l1+41836*x1_7*l2+43809*x1_7*l3+62201*x1_7*l4+7928*x1_7*l5+11908*x1_7*l6+60351*x1_7*l7+20940*x1_7*l8+49320*x1_7*l9+921*x1_8*l1+29006*x1_8*l2+48245*x1_8*l3+33750*x1_8*l4+16655*x1_8*l5+13580*x1_8*l6+57697*x1_8*l7+12788*x1_8*l8+12776*x1_8*l9+46179*x1_9*l1+49654*x1_9*l2+26483*x1_9*l3+26190*x1_9*l4+50215*x1_9*l5+46560*x1_9*l6+55971*x1_9*l7+43795*x1_9*l8+59003*x1_9*l9+28004*x1_4*l1+50952*x1_4*l2+10385*x1_4*l3+2192*x1_4*l4+21531*x1_4*l5+34079*x1_4*l6+2655*x1_4*l7+6385*x1_4*l8+38250*x1_4*l9+46169*x1_5*l1+34077*x1_5*l2+40754*x1_5*l3+13581*x1_5*l4+36965*x1_5*l5+16254*x1_5*l6+60079*x1_4+56567*x1_5+64289*x1_6+32617*x1_7+55808*x1_8+34351*x1_9, 38096+43893*l1+19184*l2+50765*l3+42623*l4+24285*l5+31355*l6+15694*l7+25938*l8+31185*l9+682*x1_5*l7+35599*x1_5*l8+63161*x1_5*l9+26262*x1_6*l1+1019*x1_6*l2+31062*x1_6*l3+8018*x1_6*l4+27568*x1_6*l5+55299*x1_6*l6+62739*x1_6*l7+54290*x1_6*l8+41292*x1_6*l9+51693*x1_7*l1+51676*x1_7*l2+23308*x1_7*l3+4852*x1_7*l4+13621*x1_7*l5+64785*x1_7*l6+62565*x1_7*l7+28711*x1_7*l8+27508*x1_7*l9+31304*x1_8*l1+21107*x1_8*l2+63780*x1_8*l3+18292*x1_8*l4+36002*x1_8*l5+19605*x1_8*l6+218*x1_8*l7+38311*x1_8*l8+31106*x1_8*l9+62101*x1_9*l1+3598*x1_9*l2+33755*x1_9*l3+1410*x1_9*l4+64894*x1_9*l5+5563*x1_9*l6+17514*x1_9*l7+54733*x1_9*l8+54190*x1_9*l9+11198*x1_4*l1+333*x1_4*l2+38499*x1_4*l3+4676*x1_4*l4+64951*x1_4*l5+16360*x1_4*l6+48347*x1_4*l7+21159*x1_4*l8+18226*x1_4*l9+15181*x1_5*l1+30768*x1_5*l2+12300*x1_5*l3+30169*x1_5*l4+46284*x1_5*l5+7816*x1_5*l6+37118*x1_4+11084*x1_5+45019*x1_6+41736*x1_7+44505*x1_8+50368*x1_9, 32772+59888*l1+58423*l2+34272*l3+51759*l4+36329*l5+12058*l6+46203*l7+21210*l8+30599*l9+21193*x1_5*l7+49156*x1_5*l8+21882*x1_5*l9+5634*x1_6*l1+20628*x1_6*l2+35245*x1_6*l3+1532*x1_6*l4+9579*x1_6*l5+50707*x1_6*l6+21391*x1_6*l7+46925*x1_6*l8+4112*x1_6*l9+41825*x1_7*l1+54372*x1_7*l2+15821*x1_7*l3+34612*x1_7*l4+11662*x1_7*l5+38141*x1_7*l6+56716*x1_7*l7+53148*x1_7*l8+16457*x1_7*l9+47684*x1_8*l1+47364*x1_8*l2+64572*x1_8*l3+23709*x1_8*l4+23965*x1_8*l5+36611*x1_8*l6+9937*x1_8*l7+23157*x1_8*l8+16518*x1_8*l9+47484*x1_9*l1+38073*x1_9*l2+17743*x1_9*l3+56619*x1_9*l4+24591*x1_9*l5+58333*x1_9*l6+17698*x1_9*l7+64662*x1_9*l8+44165*x1_9*l9+32008*x1_4*l1+2708*x1_4*l2+421*x1_4*l3+8510*x1_4*l4+42667*x1_4*l5+3430*x1_4*l6+18177*x1_4*l7+17738*x1_4*l8+23138*x1_4*l9+10548*x1_5*l1+9513*x1_5*l2+51131*x1_5*l3+20264*x1_5*l4+61731*x1_5*l5+52493*x1_5*l6+49429*x1_4+17877*x1_5+56706*x1_6+16095*x1_7+17831*x1_8+26035*x1_9, 51767+23682*l1+44034*l2+43138*l3+35894*l4+48858*l5+33051*l6+13647*l7+36816*l8+59221*l9+12579*x1_5*l7+1781*x1_5*l8+63988*x1_5*l9+17005*x1_6*l1+9987*x1_6*l2+42285*x1_6*l3+60585*x1_6*l4+48694*x1_6*l5+20072*x1_6*l6+8997*x1_6*l7+47907*x1_6*l8+26994*x1_6*l9+20829*x1_7*l1+63835*x1_7*l2+24653*x1_7*l3+3544*x1_7*l4+61198*x1_7*l5+33444*x1_7*l6+2829*x1_7*l7+15065*x1_7*l8+23015*x1_7*l9+44467*x1_8*l1+26413*x1_8*l2+51572*x1_8*l3+15552*x1_8*l4+48360*x1_8*l5+30457*x1_8*l6+58790*x1_8*l7+25257*x1_8*l8+9514*x1_8*l9+15375*x1_9*l1+36337*x1_9*l2+28066*x1_9*l3+61357*x1_9*l4+43933*x1_9*l5+63798*x1_9*l6+37588*x1_9*l7+10692*x1_9*l8+8896*x1_9*l9+28324*x1_4*l1+950*x1_4*l2+3464*x1_4*l3+20256*x1_4*l4+47201*x1_4*l5+56408*x1_4*l6+56307*x1_4*l7+4597*x1_4*l8+28739*x1_4*l9+45499*x1_5*l1+13536*x1_5*l2+6952*x1_5*l3+3877*x1_5*l4+12001*x1_5*l5+22721*x1_5*l6+14170*x1_4+28352*x1_5+39166*x1_6+17426*x1_7+50976*x1_8+42594*x1_9, 4194+22940*l1+37591*l2+3312*l3+25794*l4+22309*l5+5672*l6+23150*l7+52088*l8+26825*l9+49596*x1_5*l7+4206*x1_5*l8+14345*x1_5*l9+48578*x1_6*l1+17084*x1_6*l2+40858*x1_6*l3+12541*x1_6*l4+46502*x1_6*l5+61262*x1_6*l6+48001*x1_6*l7+41131*x1_6*l8+63816*x1_6*l9+46503*x1_7*l1+51057*x1_7*l2+19958*x1_7*l3+29794*x1_7*l4+999*x1_7*l5+18195*x1_7*l6+14393*x1_7*l7+40681*x1_7*l8+43574*x1_7*l9+53062*x1_8*l1+1300*x1_8*l2+60619*x1_8*l3+37268*x1_8*l4+450*x1_8*l5+31987*x1_8*l6+38658*x1_8*l7+15659*x1_8*l8+60791*x1_8*l9+29544*x1_9*l1+60885*x1_9*l2+36690*x1_9*l3+12616*x1_9*l4+508*x1_9*l5+32453*x1_9*l6+39628*x1_9*l7+15512*x1_9*l8+13265*x1_9*l9+16104*x1_4*l1+61635*x1_4*l2+60238*x1_4*l3+53102*x1_4*l4+32577*x1_4*l5+47968*x1_4*l6+36132*x1_4*l7+30820*x1_4*l8+47687*x1_4*l9+4012*x1_5*l1+43312*x1_5*l2+61977*x1_5*l3+62251*x1_5*l4+8641*x1_5*l5+50143*x1_5*l6+54931*x1_4+3836*x1_5+20665*x1_6+62696*x1_7+29219*x1_8+26052*x1_9, 55512+44873*l1+56873*l2+3254*l3+12987*l4+43581*l5+50096*l6+34581*l7+57380*l8+45033*l9+221*x1_5*l7+32995*x1_5*l8+5526*x1_5*l9+59936*x1_6*l1+39265*x1_6*l2+54883*x1_6*l3+2367*x1_6*l4+53433*x1_6*l5+19845*x1_6*l6+10080*x1_6*l7+32232*x1_6*l8+7211*x1_6*l9+39069*x1_7*l1+60391*x1_7*l2+35709*x1_7*l3+37143*x1_7*l4+30826*x1_7*l5+53855*x1_7*l6+4787*x1_7*l7+2236*x1_7*l8+45135*x1_7*l9+38784*x1_8*l1+60601*x1_8*l2+30576*x1_8*l3+19277*x1_8*l4+27224*x1_8*l5+18941*x1_8*l6+58686*x1_8*l7+48105*x1_8*l8+2582*x1_8*l9+62418*x1_9*l1+22497*x1_9*l2+48310*x1_9*l3+31020*x1_9*l4+11621*x1_9*l5+39298*x1_9*l6+15370*x1_9*l7+47403*x1_9*l8+8927*x1_9*l9+19652*x1_4*l1+51360*x1_4*l2+15710*x1_4*l3+23778*x1_4*l4+55315*x1_4*l5+32767*x1_4*l6+1212*x1_4*l7+55489*x1_4*l8+32307*x1_4*l9+23800*x1_5*l1+64716*x1_5*l2+2174*x1_5*l3+19089*x1_5*l4+42637*x1_5*l5+9268*x1_5*l6+21031*x1_4+46709*x1_5+28574*x1_6+17533*x1_7+7642*x1_8+17965*x1_9, 22032+25256*x2_4*l1+34879*x2_4*l2+44444*x2_4*l3+16471*x2_4*l4+55396*x2_4*l5+14440*x2_4*l6+25940*x2_4*l7+8835*x2_4*l8+6358*x2_4*l9+44979*x2_5*l1+52778*x2_5*l2+15999*x2_5*l3+55443*x2_5*l4+63162*x2_5*l5+3042*x2_5*l6+21901*x2_5*l7+35878*x2_5*l8+17104*x2_5*l9+45695*x2_6*l1+51384*x2_6*l2+3234*x2_6*l3+26639*x2_6*l4+65390*x2_6*l5+25191*x2_6*l6+4414*x2_6*l7+40934*x2_6*l8+22451*x2_6*l9+13369*x2_7*l1+51635*x2_7*l2+120*x2_7*l3+40464*x2_7*l4+31320*x2_7*l5+27146*x2_7*l6+24230*x2_7*l7+24304*x2_7*l8+18138*x2_7*l9+51266*x2_8*l1+50877*x2_8*l2+26140*x2_8*l3+51651*x2_8*l4+57310*x2_8*l5+26925*x2_8*l6+138*x2_8*l7+10166*x2_8*l8+42152*x2_8*l9+48881*x2_9*l1+173*x2_9*l2+14881*x2_9*l3+45417*x2_9*l4+14304*x2_9*l5+243*x2_9*l6+63560*x2_9*l7+55776*x2_9*l8+18900*x2_9*l9+13834*l1+46440*l2+9372*l3+16892*l4+24641*l5+57448*l6+64989*l7+20637*l8+26570*l9+29287*x2_4+19718*x2_5+47780*x2_6+21429*x2_7+7264*x2_8+54668*x2_9, 18369+25540*x2_4*l1+41480*x2_4*l2+57042*x2_4*l3+47341*x2_4*l4+7657*x2_4*l5+36329*x2_4*l6+30696*x2_4*l7+10074*x2_4*l8+49400*x2_4*l9+14977*x2_5*l1+56817*x2_5*l2+49695*x2_5*l3+36802*x2_5*l4+53097*x2_5*l5+456*x2_5*l6+4162*x2_5*l7+24623*x2_5*l8+59465*x2_5*l9+58915*x2_6*l1+1460*x2_6*l2+46676*x2_6*l3+62433*x2_6*l4+63608*x2_6*l5+38109*x2_6*l6+45303*x2_6*l7+27030*x2_6*l8+47964*x2_6*l9+62140*x2_7*l1+18852*x2_7*l2+17123*x2_7*l3+39253*x2_7*l4+7285*x2_7*l5+12093*x2_7*l6+44980*x2_7*l7+24600*x2_7*l8+46555*x2_7*l9+49747*x2_8*l1+38743*x2_8*l2+35139*x2_8*l3+31742*x2_8*l4+30126*x2_8*l5+54490*x2_8*l6+63182*x2_8*l7+13946*x2_8*l8+18950*x2_8*l9+53471*x2_9*l1+8944*x2_9*l2+40820*x2_9*l3+31451*x2_9*l4+17517*x2_9*l5+29233*x2_9*l6+2954*x2_9*l7+64759*x2_9*l8+53194*x2_9*l9+57296*l1+49260*l2+15275*l3+18607*l4+40385*l5+59374*l6+56491*l7+2032*l8+47279*l9+30475*x2_4+50313*x2_5+25975*x2_6+9067*x2_7+14479*x2_8+22803*x2_9, 30620+41758*x2_4*l1+34507*x2_4*l2+4202*x2_4*l3+17846*x2_4*l4+25454*x2_4*l5+11633*x2_4*l6+59825*x2_4*l7+26390*x2_4*l8+11552*x2_4*l9+22837*x2_5*l1+64350*x2_5*l2+31451*x2_5*l3+29456*x2_5*l4+26376*x2_5*l5+25131*x2_5*l6+65172*x2_5*l7+27515*x2_5*l8+32699*x2_5*l9+20034*x2_6*l1+38535*x2_6*l2+56358*x2_6*l3+40684*x2_6*l4+27182*x2_6*l5+17911*x2_6*l6+30041*x2_6*l7+63079*x2_6*l8+55508*x2_6*l9+33008*x2_7*l1+12891*x2_7*l2+39824*x2_7*l3+50641*x2_7*l4+26339*x2_7*l5+363*x2_7*l6+16032*x2_7*l7+39228*x2_7*l8+48990*x2_7*l9+28602*x2_8*l1+2812*x2_8*l2+6906*x2_8*l3+4760*x2_8*l4+6536*x2_8*l5+53427*x2_8*l6+52696*x2_8*l7+28559*x2_8*l8+58431*x2_8*l9+21222*x2_9*l1+18139*x2_9*l2+60977*x2_9*l3+1373*x2_9*l4+54191*x2_9*l5+38642*x2_9*l6+58154*x2_9*l7+60898*x2_9*l8+33777*x2_9*l9+13726*l1+13160*l2+26663*l3+28320*l4+42399*l5+12398*l6+32239*l7+52285*l8+64664*l9+54480*x2_4+55284*x2_5+29707*x2_6+42182*x2_7+65079*x2_8+13616*x2_9, 50092+28004*x2_4*l1+50952*x2_4*l2+10385*x2_4*l3+2192*x2_4*l4+21531*x2_4*l5+34079*x2_4*l6+2655*x2_4*l7+6385*x2_4*l8+38250*x2_4*l9+46169*x2_5*l1+34077*x2_5*l2+40754*x2_5*l3+13581*x2_5*l4+36965*x2_5*l5+16254*x2_5*l6+1303*x2_5*l7+23968*x2_5*l8+55609*x2_5*l9+64546*x2_6*l1+17037*x2_6*l2+44523*x2_6*l3+4619*x2_6*l4+25447*x2_6*l5+43358*x2_6*l6+3527*x2_6*l7+63218*x2_6*l8+26906*x2_6*l9+54030*x2_7*l1+41836*x2_7*l2+43809*x2_7*l3+62201*x2_7*l4+7928*x2_7*l5+11908*x2_7*l6+60351*x2_7*l7+20940*x2_7*l8+49320*x2_7*l9+921*x2_8*l1+29006*x2_8*l2+48245*x2_8*l3+33750*x2_8*l4+16655*x2_8*l5+13580*x2_8*l6+57697*x2_8*l7+12788*x2_8*l8+12776*x2_8*l9+46179*x2_9*l1+49654*x2_9*l2+26483*x2_9*l3+26190*x2_9*l4+50215*x2_9*l5+46560*x2_9*l6+55971*x2_9*l7+43795*x2_9*l8+59003*x2_9*l9+34955*l1+11616*l2+28307*l3+7995*l4+31799*l5+7475*l6+11099*l7+34478*l8+51554*l9+60079*x2_4+56567*x2_5+64289*x2_6+32617*x2_7+55808*x2_8+34351*x2_9, 59612+11198*x2_4*l1+333*x2_4*l2+38499*x2_4*l3+4676*x2_4*l4+64951*x2_4*l5+16360*x2_4*l6+48347*x2_4*l7+21159*x2_4*l8+18226*x2_4*l9+15181*x2_5*l1+30768*x2_5*l2+12300*x2_5*l3+30169*x2_5*l4+46284*x2_5*l5+7816*x2_5*l6+682*x2_5*l7+35599*x2_5*l8+63161*x2_5*l9+26262*x2_6*l1+1019*x2_6*l2+31062*x2_6*l3+8018*x2_6*l4+27568*x2_6*l5+55299*x2_6*l6+62739*x2_6*l7+54290*x2_6*l8+41292*x2_6*l9+51693*x2_7*l1+51676*x2_7*l2+23308*x2_7*l3+4852*x2_7*l4+13621*x2_7*l5+64785*x2_7*l6+62565*x2_7*l7+28711*x2_7*l8+27508*x2_7*l9+31304*x2_8*l1+21107*x2_8*l2+63780*x2_8*l3+18292*x2_8*l4+36002*x2_8*l5+19605*x2_8*l6+218*x2_8*l7+38311*x2_8*l8+31106*x2_8*l9+62101*x2_9*l1+3598*x2_9*l2+33755*x2_9*l3+1410*x2_9*l4+64894*x2_9*l5+5563*x2_9*l6+17514*x2_9*l7+54733*x2_9*l8+54190*x2_9*l9+20375*l1+16200*l2+42377*l3+39871*l4+35856*l5+50257*l6+58130*l7+29449*l8+10650*l9+37118*x2_4+11084*x2_5+45019*x2_6+41736*x2_7+44505*x2_8+50368*x2_9, 63546+32008*x2_4*l1+2708*x2_4*l2+421*x2_4*l3+8510*x2_4*l4+42667*x2_4*l5+3430*x2_4*l6+18177*x2_4*l7+17738*x2_4*l8+23138*x2_4*l9+10548*x2_5*l1+9513*x2_5*l2+51131*x2_5*l3+20264*x2_5*l4+61731*x2_5*l5+52493*x2_5*l6+21193*x2_5*l7+49156*x2_5*l8+21882*x2_5*l9+5634*x2_6*l1+20628*x2_6*l2+35245*x2_6*l3+1532*x2_6*l4+9579*x2_6*l5+50707*x2_6*l6+21391*x2_6*l7+46925*x2_6*l8+4112*x2_6*l9+41825*x2_7*l1+54372*x2_7*l2+15821*x2_7*l3+34612*x2_7*l4+11662*x2_7*l5+38141*x2_7*l6+56716*x2_7*l7+53148*x2_7*l8+16457*x2_7*l9+47684*x2_8*l1+47364*x2_8*l2+64572*x2_8*l3+23709*x2_8*l4+23965*x2_8*l5+36611*x2_8*l6+9937*x2_8*l7+23157*x2_8*l8+16518*x2_8*l9+47484*x2_9*l1+38073*x2_9*l2+17743*x2_9*l3+56619*x2_9*l4+24591*x2_9*l5+58333*x2_9*l6+17698*x2_9*l7+64662*x2_9*l8+44165*x2_9*l9+62623*l1+37444*l2+38468*l3+37007*l4+62008*l5+13835*l6+13832*l7+39022*l8+50033*l9+49429*x2_4+17877*x2_5+56706*x2_6+16095*x2_7+17831*x2_8+26035*x2_9, 1240+28324*x2_4*l1+950*x2_4*l2+3464*x2_4*l3+20256*x2_4*l4+47201*x2_4*l5+56408*x2_4*l6+56307*x2_4*l7+4597*x2_4*l8+28739*x2_4*l9+45499*x2_5*l1+13536*x2_5*l2+6952*x2_5*l3+3877*x2_5*l4+12001*x2_5*l5+22721*x2_5*l6+12579*x2_5*l7+1781*x2_5*l8+63988*x2_5*l9+17005*x2_6*l1+9987*x2_6*l2+42285*x2_6*l3+60585*x2_6*l4+48694*x2_6*l5+20072*x2_6*l6+8997*x2_6*l7+47907*x2_6*l8+26994*x2_6*l9+20829*x2_7*l1+63835*x2_7*l2+24653*x2_7*l3+3544*x2_7*l4+61198*x2_7*l5+33444*x2_7*l6+2829*x2_7*l7+15065*x2_7*l8+23015*x2_7*l9+44467*x2_8*l1+26413*x2_8*l2+51572*x2_8*l3+15552*x2_8*l4+48360*x2_8*l5+30457*x2_8*l6+58790*x2_8*l7+25257*x2_8*l8+9514*x2_8*l9+15375*x2_9*l1+36337*x2_9*l2+28066*x2_9*l3+61357*x2_9*l4+43933*x2_9*l5+63798*x2_9*l6+37588*x2_9*l7+10692*x2_9*l8+8896*x2_9*l9+24648*l1+34645*l2+38855*l3+7151*l4+25777*l5+41811*l6+55596*l7+49556*l8+13575*l9+14170*x2_4+28352*x2_5+39166*x2_6+17426*x2_7+50976*x2_8+42594*x2_9, 49458+16104*x2_4*l1+61635*x2_4*l2+60238*x2_4*l3+53102*x2_4*l4+32577*x2_4*l5+47968*x2_4*l6+36132*x2_4*l7+30820*x2_4*l8+47687*x2_4*l9+4012*x2_5*l1+43312*x2_5*l2+61977*x2_5*l3+62251*x2_5*l4+8641*x2_5*l5+50143*x2_5*l6+49596*x2_5*l7+4206*x2_5*l8+14345*x2_5*l9+48578*x2_6*l1+17084*x2_6*l2+40858*x2_6*l3+12541*x2_6*l4+46502*x2_6*l5+61262*x2_6*l6+48001*x2_6*l7+41131*x2_6*l8+63816*x2_6*l9+46503*x2_7*l1+51057*x2_7*l2+19958*x2_7*l3+29794*x2_7*l4+999*x2_7*l5+18195*x2_7*l6+14393*x2_7*l7+40681*x2_7*l8+43574*x2_7*l9+53062*x2_8*l1+1300*x2_8*l2+60619*x2_8*l3+37268*x2_8*l4+450*x2_8*l5+31987*x2_8*l6+38658*x2_8*l7+15659*x2_8*l8+60791*x2_8*l9+29544*x2_9*l1+60885*x2_9*l2+36690*x2_9*l3+12616*x2_9*l4+508*x2_9*l5+32453*x2_9*l6+39628*x2_9*l7+15512*x2_9*l8+13265*x2_9*l9+31282*l1+5025*l2+27512*l3+30116*l4+15126*l5+54737*l6+5809*l7+30792*l8+40629*l9+54931*x2_4+3836*x2_5+20665*x2_6+62696*x2_7+29219*x2_8+26052*x2_9, 11387+19652*x2_4*l1+51360*x2_4*l2+15710*x2_4*l3+23778*x2_4*l4+55315*x2_4*l5+32767*x2_4*l6+1212*x2_4*l7+55489*x2_4*l8+32307*x2_4*l9+23800*x2_5*l1+64716*x2_5*l2+2174*x2_5*l3+19089*x2_5*l4+42637*x2_5*l5+9268*x2_5*l6+221*x2_5*l7+32995*x2_5*l8+5526*x2_5*l9+59936*x2_6*l1+39265*x2_6*l2+54883*x2_6*l3+2367*x2_6*l4+53433*x2_6*l5+19845*x2_6*l6+10080*x2_6*l7+32232*x2_6*l8+7211*x2_6*l9+39069*x2_7*l1+60391*x2_7*l2+35709*x2_7*l3+37143*x2_7*l4+30826*x2_7*l5+53855*x2_7*l6+4787*x2_7*l7+2236*x2_7*l8+45135*x2_7*l9+38784*x2_8*l1+60601*x2_8*l2+30576*x2_8*l3+19277*x2_8*l4+27224*x2_8*l5+18941*x2_8*l6+58686*x2_8*l7+48105*x2_8*l8+2582*x2_8*l9+62418*x2_9*l1+22497*x2_9*l2+48310*x2_9*l3+31020*x2_9*l4+11621*x2_9*l5+39298*x2_9*l6+15370*x2_9*l7+47403*x2_9*l8+8927*x2_9*l9+58416*l1+62724*l2+24098*l3+36*l4+18064*l5+12839*l6+54644*l7+27115*l8+11570*l9+21031*x2_4+46709*x2_5+28574*x2_6+17533*x2_7+7642*x2_8+17965*x2_9, 14592+25256*x3_4*l1+34879*x3_4*l2+44444*x3_4*l3+16471*x3_4*l4+55396*x3_4*l5+14440*x3_4*l6+25940*x3_4*l7+8835*x3_4*l8+6358*x3_4*l9+44979*x3_5*l1+52778*x3_5*l2+15999*x3_5*l3+55443*x3_5*l4+63162*x3_5*l5+3042*x3_5*l6+21901*x3_5*l7+35878*x3_5*l8+17104*x3_5*l9+45695*x3_6*l1+51384*x3_6*l2+3234*x3_6*l3+26639*x3_6*l4+65390*x3_6*l5+25191*x3_6*l6+4414*x3_6*l7+40934*x3_6*l8+22451*x3_6*l9+13369*x3_7*l1+51635*x3_7*l2+120*x3_7*l3+40464*x3_7*l4+31320*x3_7*l5+27146*x3_7*l6+24230*x3_7*l7+24304*x3_7*l8+18138*x3_7*l9+51266*x3_8*l1+50877*x3_8*l2+26140*x3_8*l3+51651*x3_8*l4+57310*x3_8*l5+26925*x3_8*l6+138*x3_8*l7+10166*x3_8*l8+42152*x3_8*l9+48881*x3_9*l1+173*x3_9*l2+14881*x3_9*l3+45417*x3_9*l4+14304*x3_9*l5+243*x3_9*l6+63560*x3_9*l7+55776*x3_9*l8+18900*x3_9*l9+56854*l1+1274*l2+51520*l3+49445*l4+25239*l5+48187*l6+49605*l7+46034*l8+49250*l9+29287*x3_4+19718*x3_5+47780*x3_6+21429*x3_7+7264*x3_8+54668*x3_9, 32694+25540*x3_4*l1+41480*x3_4*l2+57042*x3_4*l3+47341*x3_4*l4+7657*x3_4*l5+36329*x3_4*l6+30696*x3_4*l7+10074*x3_4*l8+49400*x3_4*l9+14977*x3_5*l1+56817*x3_5*l2+49695*x3_5*l3+36802*x3_5*l4+53097*x3_5*l5+456*x3_5*l6+4162*x3_5*l7+24623*x3_5*l8+59465*x3_5*l9+58915*x3_6*l1+1460*x3_6*l2+46676*x3_6*l3+62433*x3_6*l4+63608*x3_6*l5+38109*x3_6*l6+45303*x3_6*l7+27030*x3_6*l8+47964*x3_6*l9+62140*x3_7*l1+18852*x3_7*l2+17123*x3_7*l3+39253*x3_7*l4+7285*x3_7*l5+12093*x3_7*l6+44980*x3_7*l7+24600*x3_7*l8+46555*x3_7*l9+49747*x3_8*l1+38743*x3_8*l2+35139*x3_8*l3+31742*x3_8*l4+30126*x3_8*l5+54490*x3_8*l6+63182*x3_8*l7+13946*x3_8*l8+18950*x3_8*l9+53471*x3_9*l1+8944*x3_9*l2+40820*x3_9*l3+31451*x3_9*l4+17517*x3_9*l5+29233*x3_9*l6+2954*x3_9*l7+64759*x3_9*l8+53194*x3_9*l9+7488*l1+10187*l2+27451*l3+34553*l4+53454*l5+1401*l6+38960*l7+18931*l8+4938*l9+30475*x3_4+50313*x3_5+25975*x3_6+9067*x3_7+14479*x3_8+22803*x3_9, 1315+41758*x3_4*l1+34507*x3_4*l2+4202*x3_4*l3+17846*x3_4*l4+25454*x3_4*l5+11633*x3_4*l6+59825*x3_4*l7+26390*x3_4*l8+11552*x3_4*l9+22837*x3_5*l1+64350*x3_5*l2+31451*x3_5*l3+29456*x3_5*l4+26376*x3_5*l5+25131*x3_5*l6+65172*x3_5*l7+27515*x3_5*l8+32699*x3_5*l9+20034*x3_6*l1+38535*x3_6*l2+56358*x3_6*l3+40684*x3_6*l4+27182*x3_6*l5+17911*x3_6*l6+30041*x3_6*l7+63079*x3_6*l8+55508*x3_6*l9+33008*x3_7*l1+12891*x3_7*l2+39824*x3_7*l3+50641*x3_7*l4+26339*x3_7*l5+363*x3_7*l6+16032*x3_7*l7+39228*x3_7*l8+48990*x3_7*l9+28602*x3_8*l1+2812*x3_8*l2+6906*x3_8*l3+4760*x3_8*l4+6536*x3_8*l5+53427*x3_8*l6+52696*x3_8*l7+28559*x3_8*l8+58431*x3_8*l9+21222*x3_9*l1+18139*x3_9*l2+60977*x3_9*l3+1373*x3_9*l4+54191*x3_9*l5+38642*x3_9*l6+58154*x3_9*l7+60898*x3_9*l8+33777*x3_9*l9+44240*l1+1828*l2+50635*l3+26613*l4+50441*l5+16563*l6+35996*l7+41301*l8+26389*l9+54480*x3_4+55284*x3_5+29707*x3_6+42182*x3_7+65079*x3_8+13616*x3_9, 19346+28004*x3_4*l1+50952*x3_4*l2+10385*x3_4*l3+2192*x3_4*l4+21531*x3_4*l5+34079*x3_4*l6+2655*x3_4*l7+6385*x3_4*l8+38250*x3_4*l9+46169*x3_5*l1+34077*x3_5*l2+40754*x3_5*l3+13581*x3_5*l4+36965*x3_5*l5+16254*x3_5*l6+1303*x3_5*l7+23968*x3_5*l8+55609*x3_5*l9+64546*x3_6*l1+17037*x3_6*l2+44523*x3_6*l3+4619*x3_6*l4+25447*x3_6*l5+43358*x3_6*l6+3527*x3_6*l7+63218*x3_6*l8+26906*x3_6*l9+54030*x3_7*l1+41836*x3_7*l2+43809*x3_7*l3+62201*x3_7*l4+7928*x3_7*l5+11908*x3_7*l6+60351*x3_7*l7+20940*x3_7*l8+49320*x3_7*l9+921*x3_8*l1+29006*x3_8*l2+48245*x3_8*l3+33750*x3_8*l4+16655*x3_8*l5+13580*x3_8*l6+57697*x3_8*l7+12788*x3_8*l8+12776*x3_8*l9+46179*x3_9*l1+49654*x3_9*l2+26483*x3_9*l3+26190*x3_9*l4+50215*x3_9*l5+46560*x3_9*l6+55971*x3_9*l7+43795*x3_9*l8+59003*x3_9*l9+18096*l1+61227*l2+44561*l3+34249*l4+39590*l5+59544*l6+17401*l7+39025*l8+898*l9+60079*x3_4+56567*x3_5+64289*x3_6+32617*x3_7+55808*x3_8+34351*x3_9, 32855+11198*x3_4*l1+333*x3_4*l2+38499*x3_4*l3+4676*x3_4*l4+64951*x3_4*l5+16360*x3_4*l6+48347*x3_4*l7+21159*x3_4*l8+18226*x3_4*l9+15181*x3_5*l1+30768*x3_5*l2+12300*x3_5*l3+30169*x3_5*l4+46284*x3_5*l5+7816*x3_5*l6+682*x3_5*l7+35599*x3_5*l8+63161*x3_5*l9+26262*x3_6*l1+1019*x3_6*l2+31062*x3_6*l3+8018*x3_6*l4+27568*x3_6*l5+55299*x3_6*l6+62739*x3_6*l7+54290*x3_6*l8+41292*x3_6*l9+51693*x3_7*l1+51676*x3_7*l2+23308*x3_7*l3+4852*x3_7*l4+13621*x3_7*l5+64785*x3_7*l6+62565*x3_7*l7+28711*x3_7*l8+27508*x3_7*l9+31304*x3_8*l1+21107*x3_8*l2+63780*x3_8*l3+18292*x3_8*l4+36002*x3_8*l5+19605*x3_8*l6+218*x3_8*l7+38311*x3_8*l8+31106*x3_8*l9+62101*x3_9*l1+3598*x3_9*l2+33755*x3_9*l3+1410*x3_9*l4+64894*x3_9*l5+5563*x3_9*l6+17514*x3_9*l7+54733*x3_9*l8+54190*x3_9*l9+51079*l1+55060*l2+44595*l3+17286*l4+10851*l5+40795*l6+17593*l7+64880*l8+3041*l9+37118*x3_4+11084*x3_5+45019*x3_6+41736*x3_7+44505*x3_8+50368*x3_9, 1908+32008*x3_4*l1+2708*x3_4*l2+421*x3_4*l3+8510*x3_4*l4+42667*x3_4*l5+3430*x3_4*l6+18177*x3_4*l7+17738*x3_4*l8+23138*x3_4*l9+10548*x3_5*l1+9513*x3_5*l2+51131*x3_5*l3+20264*x3_5*l4+61731*x3_5*l5+52493*x3_5*l6+21193*x3_5*l7+49156*x3_5*l8+21882*x3_5*l9+5634*x3_6*l1+20628*x3_6*l2+35245*x3_6*l3+1532*x3_6*l4+9579*x3_6*l5+50707*x3_6*l6+21391*x3_6*l7+46925*x3_6*l8+4112*x3_6*l9+41825*x3_7*l1+54372*x3_7*l2+15821*x3_7*l3+34612*x3_7*l4+11662*x3_7*l5+38141*x3_7*l6+56716*x3_7*l7+53148*x3_7*l8+16457*x3_7*l9+47684*x3_8*l1+47364*x3_8*l2+64572*x3_8*l3+23709*x3_8*l4+23965*x3_8*l5+36611*x3_8*l6+9937*x3_8*l7+23157*x3_8*l8+16518*x3_8*l9+47484*x3_9*l1+38073*x3_9*l2+17743*x3_9*l3+56619*x3_9*l4+24591*x3_9*l5+58333*x3_9*l6+17698*x3_9*l7+64662*x3_9*l8+44165*x3_9*l9+42209*l1+36240*l2+60605*l3+51283*l4+31466*l5+50223*l6+49491*l7+37190*l8+17708*l9+49429*x3_4+17877*x3_5+56706*x3_6+16095*x3_7+17831*x3_8+26035*x3_9, 23520+28324*x3_4*l1+950*x3_4*l2+3464*x3_4*l3+20256*x3_4*l4+47201*x3_4*l5+56408*x3_4*l6+56307*x3_4*l7+4597*x3_4*l8+28739*x3_4*l9+45499*x3_5*l1+13536*x3_5*l2+6952*x3_5*l3+3877*x3_5*l4+12001*x3_5*l5+22721*x3_5*l6+12579*x3_5*l7+1781*x3_5*l8+63988*x3_5*l9+17005*x3_6*l1+9987*x3_6*l2+42285*x3_6*l3+60585*x3_6*l4+48694*x3_6*l5+20072*x3_6*l6+8997*x3_6*l7+47907*x3_6*l8+26994*x3_6*l9+20829*x3_7*l1+63835*x3_7*l2+24653*x3_7*l3+3544*x3_7*l4+61198*x3_7*l5+33444*x3_7*l6+2829*x3_7*l7+15065*x3_7*l8+23015*x3_7*l9+44467*x3_8*l1+26413*x3_8*l2+51572*x3_8*l3+15552*x3_8*l4+48360*x3_8*l5+30457*x3_8*l6+58790*x3_8*l7+25257*x3_8*l8+9514*x3_8*l9+15375*x3_9*l1+36337*x3_9*l2+28066*x3_9*l3+61357*x3_9*l4+43933*x3_9*l5+63798*x3_9*l6+37588*x3_9*l7+10692*x3_9*l8+8896*x3_9*l9+56535*l1+15605*l2+15663*l3+6996*l4+42071*l5+19967*l6+11986*l7+901*l8+28169*l9+14170*x3_4+28352*x3_5+39166*x3_6+17426*x3_7+50976*x3_8+42594*x3_9, 26232+16104*x3_4*l1+61635*x3_4*l2+60238*x3_4*l3+53102*x3_4*l4+32577*x3_4*l5+47968*x3_4*l6+36132*x3_4*l7+30820*x3_4*l8+47687*x3_4*l9+4012*x3_5*l1+43312*x3_5*l2+61977*x3_5*l3+62251*x3_5*l4+8641*x3_5*l5+50143*x3_5*l6+49596*x3_5*l7+4206*x3_5*l8+14345*x3_5*l9+48578*x3_6*l1+17084*x3_6*l2+40858*x3_6*l3+12541*x3_6*l4+46502*x3_6*l5+61262*x3_6*l6+48001*x3_6*l7+41131*x3_6*l8+63816*x3_6*l9+46503*x3_7*l1+51057*x3_7*l2+19958*x3_7*l3+29794*x3_7*l4+999*x3_7*l5+18195*x3_7*l6+14393*x3_7*l7+40681*x3_7*l8+43574*x3_7*l9+53062*x3_8*l1+1300*x3_8*l2+60619*x3_8*l3+37268*x3_8*l4+450*x3_8*l5+31987*x3_8*l6+38658*x3_8*l7+15659*x3_8*l8+60791*x3_8*l9+29544*x3_9*l1+60885*x3_9*l2+36690*x3_9*l3+12616*x3_9*l4+508*x3_9*l5+32453*x3_9*l6+39628*x3_9*l7+15512*x3_9*l8+13265*x3_9*l9+45954*l1+17649*l2+29271*l3+5465*l4+20790*l5+13750*l6+39049*l7+22618*l8+22030*l9+54931*x3_4+3836*x3_5+20665*x3_6+62696*x3_7+29219*x3_8+26052*x3_9, 15168+19652*x3_4*l1+51360*x3_4*l2+15710*x3_4*l3+23778*x3_4*l4+55315*x3_4*l5+32767*x3_4*l6+1212*x3_4*l7+55489*x3_4*l8+32307*x3_4*l9+23800*x3_5*l1+64716*x3_5*l2+2174*x3_5*l3+19089*x3_5*l4+42637*x3_5*l5+9268*x3_5*l6+221*x3_5*l7+32995*x3_5*l8+5526*x3_5*l9+59936*x3_6*l1+39265*x3_6*l2+54883*x3_6*l3+2367*x3_6*l4+53433*x3_6*l5+19845*x3_6*l6+10080*x3_6*l7+32232*x3_6*l8+7211*x3_6*l9+39069*x3_7*l1+60391*x3_7*l2+35709*x3_7*l3+37143*x3_7*l4+30826*x3_7*l5+53855*x3_7*l6+4787*x3_7*l7+2236*x3_7*l8+45135*x3_7*l9+38784*x3_8*l1+60601*x3_8*l2+30576*x3_8*l3+19277*x3_8*l4+27224*x3_8*l5+18941*x3_8*l6+58686*x3_8*l7+48105*x3_8*l8+2582*x3_8*l9+62418*x3_9*l1+22497*x3_9*l2+48310*x3_9*l3+31020*x3_9*l4+11621*x3_9*l5+39298*x3_9*l6+15370*x3_9*l7+47403*x3_9*l8+8927*x3_9*l9+20411*l1+18932*l2+4679*l3+12192*l4+34816*l5+26695*l6+51768*l7+44324*l8+5606*l9+21031*x3_4+46709*x3_5+28574*x3_6+17533*x3_7+7642*x3_8+17965*x3_9]