#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, x1_10, x1_11, x2_4, x2_5, x2_6, x2_7, x2_8, x2_9, x2_10, x2_11, x3_4, x3_5, x3_6, x3_7, x3_8, x3_9, x3_10, x3_11]

#list


[7857+322*x1_4+47363*x1_5+40535*x1_6+37247*x1_7+1517*x1_8+42572*x1_9+32889*x1_10+14069*x1_11+23308*x1_4*l2+62418*l1+38499*l2+1274*x1_4*l1+19277*l3+40795*l4+4787*l5+10650*l6+49759*l7+13380*l8+57132*l9+24641*x1_4*l3+55299*x1_4*l4+56777*x1_4*l5+63161*x1_4*l6+2135*x1_4*l7+11884*x1_4*l8+2935*x1_4*l9+34879*x1_5*l1+63780*x1_5*l2+25239*x1_5*l3+64785*x1_5*l4+20637*x1_5*l5+41292*x1_5*l6+39788*x1_5*l7+15476*x1_5*l8+20425*x1_5*l9+52778*x1_6*l1+33755*x1_6*l2+55396*x1_6*l3+19605*x1_6*l4+46034*x1_6*l5+27508*x1_6*l6+19943*x1_6*l7+18214*x1_6*l8+7264*x1_6*l9+51384*x1_7*l1+34272*x1_7*l2+63162*x1_7*l3+5563*x1_7*l4+8835*x1_7*l5+31106*x1_7*l6+49314*x1_7*l7+4856*x1_7*l8+15360*x1_7*l9+51635*x1_8*l1+38468*x1_8*l2+65390*x1_8*l3+12058*x1_8*l4+35878*x1_8*l5+54190*x1_8*l6+45683*x1_8*l7+26470*x1_8*l8+12806*x1_8*l9+50877*x1_9*l1+60605*x1_9*l2+31320*x1_9*l3+13835*x1_9*l4+40934*x1_9*l5+30599*x1_9*l6+17770*x1_9*l7+62576*x1_9*l8+25126*x1_9*l9+173*x1_10*l1+421*x1_10*l2+57310*x1_10*l3+50223*x1_10*l4+24304*x1_10*l5+50033*x1_10*l6+21816*x1_10*l7+24903*x1_10*l8+12381*x1_10*l9+38526*x1_11*l1+51131*x1_11*l2+14304*x1_11*l3+3430*x1_11*l4+10166*x1_11*l5+17708*x1_11*l6+14657*x1_11*l7+4802*x1_11*l8+10222*x1_11*l9, 20905+59464*x1_4+19833*x1_5+9065*x1_6+26260*x1_7+21386*x1_8+34647*x1_9+36008*x1_10+46821*x1_11+17743*x1_4*l2+49260*l1+35245*l2+56817*x1_4*l1+47803*l3+52493*l4+55776*l5+23138*l6+32591*l7+51325*l8+51853*l9+7657*x1_4*l3+36611*x1_4*l4+18931*x1_4*l5+16457*x1_4*l6+13837*x1_4*l7+56745*x1_4*l8+2715*x1_4*l9+1460*x1_5*l1+43138*x1_5*l2+53097*x1_5*l3+58333*x1_5*l4+10074*x1_5*l5+16518*x1_5*l6+33506*x1_5*l7+22417*x1_5*l8+7038*x1_5*l9+18852*x1_6*l1+38855*x1_6*l2+63608*x1_6*l3+33051*x1_6*l4+24623*x1_6*l5+44165*x1_6*l6+28273*x1_6*l7+17410*x1_6*l8+2915*x1_6*l9+38743*x1_7*l1+15663*x1_7*l2+7285*x1_7*l3+41811*x1_7*l4+27030*x1_7*l5+59221*x1_7*l6+24392*x1_7*l7+29663*x1_7*l8+10759*x1_7*l9+8944*x1_8*l1+3464*x1_8*l2+30126*x1_8*l3+19967*x1_8*l4+24600*x1_8*l5+13575*x1_8*l6+58184*x1_8*l7+46539*x1_8*l8+7616*x1_8*l9+8625*x1_9*l1+6952*x1_9*l2+17517*x1_9*l3+56408*x1_9*l4+13946*x1_9*l5+28169*x1_9*l6+55808*x1_9*l7+60794*x1_9*l8+48116*x1_9*l9+13160*x1_10*l1+42285*x1_10*l2+10357*x1_10*l3+22721*x1_10*l4+64759*x1_10*l5+28739*x1_10*l6+30226*x1_10*l7+19205*x1_10*l8+59957*x1_10*l9+1828*x1_11*l1+24653*x1_11*l2+42399*x1_11*l3+20072*x1_11*l4+43848*x1_11*l5+63988*x1_11*l6+33081*x1_11*l7+2588*x1_11*l8+19754*x1_11*l9, 25942+46251*x1_4+31218*x1_5+28199*x1_6+21455*x1_7+64074*x1_8+45793*x1_9+39029*x1_10+28538*x1_11+27512*x1_4*l2+34507*l1+51572*l2+12891*x1_4*l1+50441*l3+33444*l4+52285*l5+26994*l6+24193*l7+49955*l8+7070*l9+27182*x1_4*l3+5672*x1_4*l4+27515*x1_4*l5+8896*x1_4*l6+33904*x1_4*l7+35859*x1_4*l8+5263*x1_4*l9+2812*x1_5*l1+29271*x1_5*l2+26339*x1_5*l3+54737*x1_5*l4+63079*x1_5*l5+26825*x1_5*l6+2417*x1_5*l7+35916*x1_5*l8+65379*x1_5*l9+18139*x1_6*l1+60238*x1_6*l2+6536*x1_6*l3+13750*x1_6*l4+39228*x1_6*l5+40629*x1_6*l6+12378*x1_6*l7+28994*x1_6*l8+38463*x1_6*l9+25473*x1_7*l1+61977*x1_7*l2+54191*x1_7*l3+47968*x1_7*l4+28559*x1_7*l5+22030*x1_7*l6+7671*x1_7*l7+65023*x1_7*l8+39156*x1_7*l9+11616*x1_8*l1+40858*x1_8*l2+43239*x1_8*l3+50143*x1_8*l4+60898*x1_8*l5+47687*x1_8*l6+58902*x1_8*l7+7726*x1_8*l8+15299*x1_8*l9+61227*x1_9*l1+19958*x1_9*l2+31799*x1_9*l3+61262*x1_9*l4+26162*x1_9*l5+14345*x1_9*l6+49984*x1_9*l7+1495*x1_9*l8+34744*x1_9*l9+50952*x1_10*l1+60619*x1_10*l2+39590*x1_10*l3+18195*x1_10*l4+34478*x1_10*l5+63816*x1_10*l6+20352*x1_10*l7+20928*x1_10*l8+28424*x1_10*l9+34077*x1_11*l1+36690*x1_11*l2+21531*x1_11*l3+31987*x1_11*l4+39025*x1_11*l5+43574*x1_11*l6+18429*x1_11*l7+43725*x1_11*l8+16157*x1_11*l9, 31983+55686*x1_4+34705*x1_5+59231*x1_6+49628*x1_7+35255*x1_8+6010*x1_9+42587*x1_10+23470*x1_11+15710*x1_4*l2+17037*l1+3254*l2+49654*x1_4*l1+36965*l3+32453*l4+6385*l5+60791*l6+24904*l7+21571*l8+40192*l9+16655*x1_4*l3+26695*x1_4*l4+20940*x1_4*l5+11570*x1_4*l6+29825*x1_4*l7+16473*x1_4*l8+16595*x1_4*l9+19184*x1_5*l1+2174*x1_5*l2+50215*x1_5*l3+32767*x1_5*l4+12788*x1_5*l5+5606*x1_5*l6+45428*x1_5*l7+37266*x1_5*l8+1479*x1_5*l9+16200*x1_6*l1+54883*x1_6*l2+24285*x1_6*l3+9268*x1_6*l4+43795*x1_6*l5+32307*x1_6*l6+36587*x1_6*l7+23785*x1_6*l8+8495*x1_6*l9+55060*x1_7*l1+35709*x1_7*l2+35856*x1_7*l3+19845*x1_7*l4+25938*x1_7*l5+5526*x1_7*l6+20770*x1_7*l7+44602*x1_7*l8+21053*x1_7*l9+333*x1_8*l1+30576*x1_8*l2+10851*x1_8*l3+53855*x1_8*l4+29449*x1_8*l5+7211*x1_8*l6+19824*x1_8*l7+63451*x1_8*l8+59027*x1_8*l9+30768*x1_9*l1+48310*x1_9*l2+64951*x1_9*l3+18941*x1_9*l4+64880*x1_9*l5+45135*x1_9*l6+13499*x1_9*l7+8422*x1_9*l8+38202*x1_9*l9+1019*x1_10*l1+56912*x1_10*l2+46284*x1_10*l3+39298*x1_10*l4+21159*x1_10*l5+2582*x1_10*l6+55299*x1_10*l7+52440*x1_10*l8+43405*x1_10*l9+51676*x1_11*l1+16892*x1_11*l2+27568*x1_11*l3+2578*x1_11*l4+35599*x1_11*l5+8927*x1_11*l6+32800*x1_11*l7+51133*x1_11*l8+63541*x1_11*l9, 6373+39330*x1_4+37560*x1_5+29093*x1_6+33448*x1_7+34662*x1_8+46161*x1_9+58452*x1_10+35867*x1_11+26639*x1_4*l2+21107*l1+49445*l2+37444*x1_4*l1+13621*l3+64989*l4+54290*l5+33374*l6+43534*l7+31903*l8+1157*l9+36329*x1_4*l3+21901*x1_4*l4+54733*x1_4*l5+6228*x1_4*l6+6947*x1_4*l7+65175*x1_4*l8+11574*x1_4*l9+36240*x1_5*l1+40464*x1_5*l2+62008*x1_5*l3+4414*x1_5*l4+21210*x1_5*l5+45473*x1_5*l6+6680*x1_5*l7+28504*x1_5*l8+14685*x1_5*l9+2708*x1_6*l1+51651*x1_6*l2+31466*x1_6*l3+24230*x1_6*l4+39022*x1_6*l5+55364*x1_6*l6+16889*x1_6*l7+1029*x1_6*l8+60313*x1_6*l9+9513*x1_7*l1+45417*x1_7*l2+42667*x1_7*l3+138*x1_7*l4+37190*x1_7*l5+53660*x1_7*l6+18109*x1_7*l7+62761*x1_7*l8+5890*x1_7*l9+20628*x1_8*l1+3022*x1_8*l2+61731*x1_8*l3+63560*x1_8*l4+17738*x1_8*l5+28613*x1_8*l6+7955*x1_8*l7+8338*x1_8*l8+5116*x1_8*l9+54372*x1_9*l1+18607*x1_9*l2+9579*x1_9*l3+8814*x1_9*l4+49156*x1_9*l5+5651*x1_9*l6+33742*x1_9*l7+39632*x1_9*l8+44377*x1_9*l9+47364*x1_10*l1+34553*x1_10*l2+11662*x1_10*l3+56491*x1_10*l4+46925*x1_10*l5+26347*x1_10*l6+48574*x1_10*l7+38083*x1_10*l8+8837*x1_10*l9+38073*x1_11*l1+47341*x1_11*l2+23965*x1_11*l3+38960*x1_11*l4+53148*x1_11*l5+3632*x1_11*l6+13447*x1_11*l7+49634*x1_11*l8+60608*x1_11*l9, 20664+36482*x1_4+61147*x1_5+64291*x1_6+21258*x1_7+21878*x1_8+55453*x1_9+38384*x1_10+13091*x1_11+31742*x1_4*l2+44034*l1+36802*l2+950*x1_4*l1+24591*l3+30696*l4+23157*l5+28554*l6+33549*l7+21519*l8+24252*l9+42071*x1_4*l3+44980*x1_4*l4+49556*x1_4*l5+26473*x1_4*l6+33525*x1_4*l7+25856*x1_4*l8+65131*x1_4*l9+13536*x1_5*l1+31451*x1_5*l2+47201*x1_5*l3+63182*x1_5*l4+901*x1_5*l5+9119*x1_5*l6+48443*x1_5*l7+2432*x1_5*l8+63790*x1_5*l9+9987*x1_6*l1+12745*x1_6*l2+12001*x1_6*l3+2954*x1_6*l4+4597*x1_6*l5+45022*x1_6*l6+16531*x1_6*l7+43909*x1_6*l8+42802*x1_6*l9+63835*x1_7*l1+28320*x1_7*l2+48694*x1_7*l3+39343*x1_7*l4+1781*x1_7*l5+40308*x1_7*l6+26455*x1_7*l7+19347*x1_7*l8+5184*x1_7*l9+26413*x1_8*l1+26613*x1_8*l2+61198*x1_8*l3+32239*x1_8*l4+47907*x1_8*l5+54976*x1_8*l6+27915*x1_8*l7+26094*x1_8*l8+39965*x1_8*l9+36337*x1_9*l1+17846*x1_9*l2+48360*x1_9*l3+35996*x1_9*l4+15065*x1_9*l5+12307*x1_9*l6+16426*x1_9*l7+41428*x1_9*l8+13968*x1_9*l9+37591*x1_10*l1+29456*x1_10*l2+43933*x1_10*l3+59825*x1_10*l4+25257*x1_10*l5+52155*x1_10*l6+12568*x1_10*l7+5555*x1_10*l8+56118*x1_10*l9+5025*x1_11*l1+40684*x1_11*l2+22309*x1_11*l3+65172*x1_11*l4+10692*x1_11*l5+33595*x1_11*l6+23836*x1_11*l7+8402*x1_11*l8+29755*x1_11*l9, 9205+61777*x1_4+16324*x1_5+46525*x1_6+31572*x1_7+11828*x1_8+6824*x1_9+18775*x1_10+26571*x1_11+663*x1_4*l2+17649*l1+50641*l2+17084*x1_4*l1+15126*l3+30041*l4+52088*l5+27993*l6+39032*l7+43934*l8+30266*l9+8641*x1_4*l3+58154*x1_4*l4+30820*x1_4*l5+56523*x1_4*l6+24818*x1_4*l7+17126*x1_4*l8+27831*x1_4*l9+51057*x1_5*l1+7995*x1_5*l2+46502*x1_5*l3+16765*x1_5*l4+4206*x1_5*l5+48187*x1_5*l6+34356*x1_5*l7+5059*x1_5*l8+63268*x1_5*l9+1300*x1_6*l1+34249*x1_6*l2+999*x1_6*l3+11099*x1_6*l4+41131*x1_6*l5+48913*x1_6*l6+50338*x1_6*l7+16740*x1_6*l8+7528*x1_6*l9+60885*x1_7*l1+2192*x1_7*l2+450*x1_7*l3+17401*x1_7*l4+40681*x1_7*l5+37649*x1_7*l6+36350*x1_7*l7+62136*x1_7*l8+2436*x1_7*l9+56873*x1_8*l1+13581*x1_8*l2+508*x1_8*l3+2655*x1_8*l4+15659*x1_8*l5+6942*x1_8*l6+13432*x1_8*l7+15778*x1_8*l8+59689*x1_8*l9+62724*x1_9*l1+4619*x1_9*l2+43581*x1_9*l3+1303*x1_9*l4+15512*x1_9*l5+53498*x1_9*l6+37153*x1_9*l7+63153*x1_9*l8+36926*x1_9*l9+18932*x1_10*l1+62201*x1_10*l2+18064*x1_10*l3+3527*x1_10*l4+57380*x1_10*l5+8806*x1_10*l6+11851*x1_10*l7+57393*x1_10*l8+30210*x1_10*l9+51360*x1_11*l1+33750*x1_11*l2+34816*x1_11*l3+60351*x1_11*l4+27115*x1_11*l5+2984*x1_11*l6+8459*x1_11*l7+37401*x1_11*l8+56270*x1_11*l9, 51465+32027*x1_4+41187*x1_5+41492*x1_6+35515*x1_7+61703*x1_8+62799*x1_9+61058*x1_10+33435*x1_11+17286*x1_4*l2+64716*l1+26190*l2+60601*x1_4*l1+55315*l3+57697*l4+44324*l5+24792*l6+3026*l7+55702*l8+59133*l9+30826*x1_4*l3+58130*x1_4*l4+32232*x1_4*l5+62965*x1_4*l6+53564*x1_4*l7+14934*x1_4*l8+10975*x1_4*l9+22497*x1_5*l1+4676*x1_5*l2+27224*x1_5*l3+17593*x1_5*l4+2236*x1_5*l5+61744*x1_5*l6+56088*x1_5*l7+12578*x1_5*l8+55155*x1_5*l9+31460*x1_6*l1+30169*x1_6*l2+11621*x1_6*l3+48347*x1_6*l4+48105*x1_6*l5+7630*x1_6*l6+33205*x1_6*l7+21755*x1_6*l8+30052*x1_6*l9+9372*x1_7*l1+8018*x1_7*l2+64607*x1_7*l3+682*x1_7*l4+47403*x1_7*l5+56339*x1_7*l6+8966*x1_7*l7+11653*x1_7*l8+5682*x1_7*l9+51520*x1_8*l1+4852*x1_8*l2+57448*x1_8*l3+62739*x1_8*l4+55724*x1_8*l5+10779*x1_8*l6+32213*x1_8*l7+17886*x1_8*l8+23649*x1_8*l9+44444*x1_9*l1+18292*x1_9*l2+48187*x1_9*l3+62565*x1_9*l4+26570*x1_9*l5+14215*x1_9*l6+22608*x1_9*l7+30209*x1_9*l8+7503*x1_9*l9+15999*x1_10*l1+1410*x1_10*l2+14440*x1_10*l3+218*x1_10*l4+49250*x1_10*l5+682*x1_10*l6+35686*x1_10*l7+30074*x1_10*l8+27276*x1_10*l9+3234*x1_11*l1+51759*x1_11*l2+3042*x1_11*l3+17514*x1_11*l4+6358*x1_11*l5+35481*x1_11*l6+36772*x1_11*l7+1126*x1_11*l8+6542*x1_11*l9, 17711+9931*x1_4+13217*x1_5+54526*x1_6+43598*x1_7+63417*x1_8+37218*x1_9+23536*x1_10+63050*x1_11+20264*x1_4*l2+120*l1+37007*l2+11073*x1_4*l1+25191*l3+46203*l4+17104*l5+18359*l6+50435*l7+24738*l8+17423*l9+243*x1_4*l3+18177*x1_4*l4+42152*x1_4*l5+21082*x1_4*l6+15204*x1_4*l7+27949*x1_4*l8+4085*x1_4*l9+15275*x1_5*l1+1532*x1_5*l2+36370*x1_5*l3+21193*x1_5*l4+18900*x1_5*l5+22165*x1_5*l6+33441*x1_5*l7+16462*x1_5*l8+2229*x1_5*l9+27451*x1_6*l1+34612*x1_6*l2+59374*x1_6*l3+21391*x1_6*l4+45038*x1_6*l5+14416*x1_6*l6+3579*x1_6*l7+503*x1_6*l8+16553*x1_6*l9+57042*x1_7*l1+23709*x1_7*l2+1401*x1_7*l3+56716*x1_7*l4+47279*x1_7*l5+6481*x1_7*l6+38603*x1_7*l7+51215*x1_7*l8+17573*x1_7*l9+49695*x1_8*l1+56619*x1_8*l2+36329*x1_8*l3+9937*x1_8*l4+4938*x1_8*l5+53046*x1_8*l6+49994*x1_8*l7+49019*x1_8*l8+56181*x1_8*l9+46676*x1_9*l1+35894*x1_9*l2+456*x1_9*l3+17698*x1_9*l4+49400*x1_9*l5+61765*x1_9*l6+59177*x1_9*l7+25504*x1_9*l8+21695*x1_9*l9+17123*x1_10*l1+7151*x1_10*l2+38109*x1_10*l3+13647*x1_10*l4+59465*x1_10*l5+9900*x1_10*l6+29985*x1_10*l7+4489*x1_10*l8+17431*x1_10*l9+35139*x1_11*l1+6996*x1_11*l2+12093*x1_11*l3+55596*x1_11*l4+47964*x1_11*l5+39486*x1_11*l6+41883*x1_11*l7+7310*x1_11*l8+27930*x1_11*l9, 19130+39979*x1_4+63698*x1_5+58498*x1_6+41052*x1_7+52328*x1_8+31978*x1_9+23675*x1_10+47896*x1_11+3544*x1_4*l2+40820*l1+20256*l2+50635*x1_4*l1+54490*l3+11986*l4+46555*l5+31481*l6+53862*l7+10325*l8+36583*l9+12398*x1_4*l3+8997*x1_4*l4+24383*x1_4*l5+21779*x1_4*l6+22785*x1_4*l7+21097*x1_4*l8+13437*x1_4*l9+4202*x1_5*l1+15552*x1_5*l2+16563*x1_5*l3+2829*x1_5*l4+64664*x1_5*l5+30011*x1_5*l6+61075*x1_5*l7+56446*x1_5*l8+12715*x1_5*l9+31451*x1_6*l1+61357*x1_6*l2+11633*x1_6*l3+58790*x1_6*l4+26389*x1_6*l5+43893*x1_6*l6+36428*x1_6*l7+31707*x1_6*l8+4400*x1_6*l9+56358*x1_7*l1+25794*x1_7*l2+25131*x1_7*l3+37588*x1_7*l4+11552*x1_7*l5+58531*x1_7*l6+62653*x1_7*l7+45985*x1_7*l8+31462*x1_7*l9+39824*x1_8*l1+30116*x1_8*l2+17911*x1_8*l3+23150*x1_8*l4+32699*x1_8*l5+34463*x1_8*l6+59728*x1_8*l7+52202*x1_8*l8+16914*x1_8*l9+6906*x1_9*l1+5465*x1_9*l2+363*x1_9*l3+5809*x1_9*l4+55508*x1_9*l5+34483*x1_9*l6+56706*x1_9*l7+42760*x1_9*l8+3133*x1_9*l9+60977*x1_10*l1+53102*x1_10*l2+53427*x1_10*l3+39049*x1_10*l4+48990*x1_10*l5+57410*x1_10*l6+5290*x1_10*l7+44671*x1_10*l8+34323*x1_10*l9+40525*x1_11*l1+62251*x1_11*l2+38642*x1_11*l3+36132*x1_11*l4+58431*x1_11*l5+37030*x1_11*l6+52298*x1_11*l7+51504*x1_11*l8+64801*x1_11*l9, 63954+15844*x1_4+48178*x1_5+29379*x1_6+10382*x1_7+64790*x1_8+2106*x1_9+4823*x1_10+6488*x1_11+12616*x1_4*l2+28307*l1+12541*l2+40754*x1_4*l1+9480*l3+49596*l4+33777*l5+55637*l6+10397*l7+23576*l8+1678*l9+34079*x1_4*l3+38658*x1_4*l4+898*x1_4*l5+17601*x1_4*l6+35599*x1_4*l7+54339*x1_4*l8+54783*x1_4*l9+44523*x1_5*l1+12987*x1_5*l2+16254*x1_5*l3+39628*x1_5*l4+38250*x1_5*l5+54448*x1_5*l6+14429*x1_5*l7+33893*x1_5*l8+5696*x1_5*l9+43809*x1_6*l1+36*x1_6*l2+43358*x1_6*l3+34581*x1_6*l4+55609*x1_6*l5+2756*x1_6*l6+15085*x1_6*l7+55499*x1_6*l8+42571*x1_6*l9+48245*x1_7*l1+12192*x1_7*l2+11908*x1_7*l3+54644*x1_7*l4+26906*x1_7*l5+35351*x1_7*l6+8493*x1_7*l7+63713*x1_7*l8+46299*x1_7*l9+26483*x1_8*l1+23778*x1_8*l2+13580*x1_8*l3+51768*x1_8*l4+49320*x1_8*l5+60143*x1_8*l6+8184*x1_8*l7+51207*x1_8*l8+47981*x1_8*l9+50765*x1_9*l1+19089*x1_9*l2+46560*x1_9*l3+1212*x1_9*l4+12776*x1_9*l5+33398*x1_9*l6+62603*x1_9*l7+1221*x1_9*l8+638*x1_9*l9+42377*x1_10*l1+2367*x1_10*l2+31355*x1_10*l3+221*x1_10*l4+59003*x1_10*l5+60995*x1_10*l6+4289*x1_10*l7+51698*x1_10*l8+11052*x1_10*l9+44595*x1_11*l1+37143*x1_11*l2+50257*x1_11*l3+10080*x1_11*l4+31185*x1_11*l5+15794*x1_11*l6+22504*x1_11*l7+4783*x1_11*l8+47423*x1_11*l9, 36248+24641*x2_4*l3+56777*x2_4*l5+55299*x2_4*l4+322*x2_4+47363*x2_5+40535*x2_6+37247*x2_7+1517*x2_8+42572*x2_9+32889*x2_10+14069*x2_11+26504*l1+12300*l2+52778*x2_6*l1+31020*l3+16360*l4+58686*l5+3041*l6+7230*l7+20080*l8+26623*l9+50877*x2_9*l1+1274*x2_4*l1+23308*x2_4*l2+63161*x2_4*l6+2135*x2_4*l7+11884*x2_4*l8+2935*x2_4*l9+34879*x2_5*l1+63780*x2_5*l2+25239*x2_5*l3+64785*x2_5*l4+20637*x2_5*l5+41292*x2_5*l6+39788*x2_5*l7+15476*x2_5*l8+20425*x2_5*l9+33755*x2_6*l2+55396*x2_6*l3+19605*x2_6*l4+46034*x2_6*l5+27508*x2_6*l6+19943*x2_6*l7+18214*x2_6*l8+7264*x2_6*l9+51384*x2_7*l1+34272*x2_7*l2+63162*x2_7*l3+5563*x2_7*l4+8835*x2_7*l5+31106*x2_7*l6+49314*x2_7*l7+4856*x2_7*l8+15360*x2_7*l9+51635*x2_8*l1+38468*x2_8*l2+65390*x2_8*l3+12058*x2_8*l4+35878*x2_8*l5+54190*x2_8*l6+45683*x2_8*l7+26470*x2_8*l8+12806*x2_8*l9+60605*x2_9*l2+31320*x2_9*l3+13835*x2_9*l4+40934*x2_9*l5+30599*x2_9*l6+17770*x2_9*l7+62576*x2_9*l8+25126*x2_9*l9+173*x2_10*l1+421*x2_10*l2+57310*x2_10*l3+50223*x2_10*l4+24304*x2_10*l5+50033*x2_10*l6+21816*x2_10*l7+24903*x2_10*l8+12381*x2_10*l9+38526*x2_11*l1+51131*x2_11*l2+14304*x2_11*l3+3430*x2_11*l4+10166*x2_11*l5+17708*x2_11*l6+14657*x2_11*l7+4802*x2_11*l8+10222*x2_11*l9, 109+7657*x2_4*l3+18931*x2_4*l5+36611*x2_4*l4+59464*x2_4+19833*x2_5+9065*x2_6+26260*x2_7+21386*x2_8+34647*x2_9+36008*x2_10+46821*x2_11+10187*l1+15821*l2+18852*x2_6*l1+40385*l3+50707*l4+35553*l5+21882*l6+2225*l7+60391*l8+24679*l9+8625*x2_9*l1+56817*x2_4*l1+17743*x2_4*l2+16457*x2_4*l6+13837*x2_4*l7+56745*x2_4*l8+2715*x2_4*l9+1460*x2_5*l1+43138*x2_5*l2+53097*x2_5*l3+58333*x2_5*l4+10074*x2_5*l5+16518*x2_5*l6+33506*x2_5*l7+22417*x2_5*l8+7038*x2_5*l9+38855*x2_6*l2+63608*x2_6*l3+33051*x2_6*l4+24623*x2_6*l5+44165*x2_6*l6+28273*x2_6*l7+17410*x2_6*l8+2915*x2_6*l9+38743*x2_7*l1+15663*x2_7*l2+7285*x2_7*l3+41811*x2_7*l4+27030*x2_7*l5+59221*x2_7*l6+24392*x2_7*l7+29663*x2_7*l8+10759*x2_7*l9+8944*x2_8*l1+3464*x2_8*l2+30126*x2_8*l3+19967*x2_8*l4+24600*x2_8*l5+13575*x2_8*l6+58184*x2_8*l7+46539*x2_8*l8+7616*x2_8*l9+6952*x2_9*l2+17517*x2_9*l3+56408*x2_9*l4+13946*x2_9*l5+28169*x2_9*l6+55808*x2_9*l7+60794*x2_9*l8+48116*x2_9*l9+13160*x2_10*l1+42285*x2_10*l2+10357*x2_10*l3+22721*x2_10*l4+64759*x2_10*l5+28739*x2_10*l6+30226*x2_10*l7+19205*x2_10*l8+59957*x2_10*l9+1828*x2_11*l1+24653*x2_11*l2+42399*x2_11*l3+20072*x2_11*l4+43848*x2_11*l5+63988*x2_11*l6+33081*x2_11*l7+2588*x2_11*l8+19754*x2_11*l9, 17372+27182*x2_4*l3+27515*x2_4*l5+5672*x2_4*l4+46251*x2_4+31218*x2_5+28199*x2_6+21455*x2_7+64074*x2_8+45793*x2_9+39029*x2_10+28538*x2_11+64350*l1+28066*l2+18139*x2_6*l1+25454*l3+30457*l4+41301*l5+23015*l6+16206*l7+6682*l8+13325*l9+61227*x2_9*l1+12891*x2_4*l1+27512*x2_4*l2+8896*x2_4*l6+33904*x2_4*l7+35859*x2_4*l8+5263*x2_4*l9+2812*x2_5*l1+29271*x2_5*l2+26339*x2_5*l3+54737*x2_5*l4+63079*x2_5*l5+26825*x2_5*l6+2417*x2_5*l7+35916*x2_5*l8+65379*x2_5*l9+60238*x2_6*l2+6536*x2_6*l3+13750*x2_6*l4+39228*x2_6*l5+40629*x2_6*l6+12378*x2_6*l7+28994*x2_6*l8+38463*x2_6*l9+25473*x2_7*l1+61977*x2_7*l2+54191*x2_7*l3+47968*x2_7*l4+28559*x2_7*l5+22030*x2_7*l6+7671*x2_7*l7+65023*x2_7*l8+39156*x2_7*l9+11616*x2_8*l1+40858*x2_8*l2+43239*x2_8*l3+50143*x2_8*l4+60898*x2_8*l5+47687*x2_8*l6+58902*x2_8*l7+7726*x2_8*l8+15299*x2_8*l9+19958*x2_9*l2+31799*x2_9*l3+61262*x2_9*l4+26162*x2_9*l5+14345*x2_9*l6+49984*x2_9*l7+1495*x2_9*l8+34744*x2_9*l9+50952*x2_10*l1+60619*x2_10*l2+39590*x2_10*l3+18195*x2_10*l4+34478*x2_10*l5+63816*x2_10*l6+20352*x2_10*l7+20928*x2_10*l8+28424*x2_10*l9+34077*x2_11*l1+36690*x2_11*l2+21531*x2_11*l3+31987*x2_11*l4+39025*x2_11*l5+43574*x2_11*l6+18429*x2_11*l7+43725*x2_11*l8+16157*x2_11*l9, 49418+16655*x2_4*l3+20940*x2_4*l5+26695*x2_4*l4+55686*x2_4+34705*x2_5+59231*x2_6+49628*x2_7+35255*x2_8+6010*x2_9+42587*x2_10+23470*x2_11+41836*l1+24098*l2+16200*x2_6*l1+25447*l3+50096*l4+23968*l5+13265*l6+58545*l7+64173*l8+65121*l9+30768*x2_9*l1+49654*x2_4*l1+15710*x2_4*l2+11570*x2_4*l6+29825*x2_4*l7+16473*x2_4*l8+16595*x2_4*l9+19184*x2_5*l1+2174*x2_5*l2+50215*x2_5*l3+32767*x2_5*l4+12788*x2_5*l5+5606*x2_5*l6+45428*x2_5*l7+37266*x2_5*l8+1479*x2_5*l9+54883*x2_6*l2+24285*x2_6*l3+9268*x2_6*l4+43795*x2_6*l5+32307*x2_6*l6+36587*x2_6*l7+23785*x2_6*l8+8495*x2_6*l9+55060*x2_7*l1+35709*x2_7*l2+35856*x2_7*l3+19845*x2_7*l4+25938*x2_7*l5+5526*x2_7*l6+20770*x2_7*l7+44602*x2_7*l8+21053*x2_7*l9+333*x2_8*l1+30576*x2_8*l2+10851*x2_8*l3+53855*x2_8*l4+29449*x2_8*l5+7211*x2_8*l6+19824*x2_8*l7+63451*x2_8*l8+59027*x2_8*l9+48310*x2_9*l2+64951*x2_9*l3+18941*x2_9*l4+64880*x2_9*l5+45135*x2_9*l6+13499*x2_9*l7+8422*x2_9*l8+38202*x2_9*l9+1019*x2_10*l1+56912*x2_10*l2+46284*x2_10*l3+39298*x2_10*l4+21159*x2_10*l5+2582*x2_10*l6+55299*x2_10*l7+52440*x2_10*l8+43405*x2_10*l9+51676*x2_11*l1+16892*x2_11*l2+27568*x2_11*l3+2578*x2_11*l4+35599*x2_11*l5+8927*x2_11*l6+32800*x2_11*l7+51133*x2_11*l8+63541*x2_11*l9, 20314+36329*x2_4*l3+54733*x2_4*l5+21901*x2_4*l4+39330*x2_4+37560*x2_5+29093*x2_6+33448*x2_7+34662*x2_8+46161*x2_9+58452*x2_10+35867*x2_11+3598*l1+16471*l2+2708*x2_6*l1+36002*l3+49605*l4+28711*l5+36847*l6+26005*l7+48000*l8+9911*l9+54372*x2_9*l1+37444*x2_4*l1+26639*x2_4*l2+6228*x2_4*l6+6947*x2_4*l7+65175*x2_4*l8+11574*x2_4*l9+36240*x2_5*l1+40464*x2_5*l2+62008*x2_5*l3+4414*x2_5*l4+21210*x2_5*l5+45473*x2_5*l6+6680*x2_5*l7+28504*x2_5*l8+14685*x2_5*l9+51651*x2_6*l2+31466*x2_6*l3+24230*x2_6*l4+39022*x2_6*l5+55364*x2_6*l6+16889*x2_6*l7+1029*x2_6*l8+60313*x2_6*l9+9513*x2_7*l1+45417*x2_7*l2+42667*x2_7*l3+138*x2_7*l4+37190*x2_7*l5+53660*x2_7*l6+18109*x2_7*l7+62761*x2_7*l8+5890*x2_7*l9+20628*x2_8*l1+3022*x2_8*l2+61731*x2_8*l3+63560*x2_8*l4+17738*x2_8*l5+28613*x2_8*l6+7955*x2_8*l7+8338*x2_8*l8+5116*x2_8*l9+18607*x2_9*l2+9579*x2_9*l3+8814*x2_9*l4+49156*x2_9*l5+5651*x2_9*l6+33742*x2_9*l7+39632*x2_9*l8+44377*x2_9*l9+47364*x2_10*l1+34553*x2_10*l2+11662*x2_10*l3+56491*x2_10*l4+46925*x2_10*l5+26347*x2_10*l6+48574*x2_10*l7+38083*x2_10*l8+8837*x2_10*l9+38073*x2_11*l1+47341*x2_11*l2+23965*x2_11*l3+38960*x2_11*l4+53148*x2_11*l5+3632*x2_11*l6+13447*x2_11*l7+49634*x2_11*l8+60608*x2_11*l9, 20793+42071*x2_4*l3+49556*x2_4*l5+44980*x2_4*l4+36482*x2_4+61147*x2_5+64291*x2_6+21258*x2_7+21878*x2_8+55453*x2_9+38384*x2_10+13091*x2_11+34645*l1+62433*l2+9987*x2_6*l1+48858*l3+4162*l4+64662*l5+32990*l6+7108*l7+29346*l8+52571*l9+36337*x2_9*l1+950*x2_4*l1+31742*x2_4*l2+26473*x2_4*l6+33525*x2_4*l7+25856*x2_4*l8+65131*x2_4*l9+13536*x2_5*l1+31451*x2_5*l2+47201*x2_5*l3+63182*x2_5*l4+901*x2_5*l5+9119*x2_5*l6+48443*x2_5*l7+2432*x2_5*l8+63790*x2_5*l9+12745*x2_6*l2+12001*x2_6*l3+2954*x2_6*l4+4597*x2_6*l5+45022*x2_6*l6+16531*x2_6*l7+43909*x2_6*l8+42802*x2_6*l9+63835*x2_7*l1+28320*x2_7*l2+48694*x2_7*l3+39343*x2_7*l4+1781*x2_7*l5+40308*x2_7*l6+26455*x2_7*l7+19347*x2_7*l8+5184*x2_7*l9+26413*x2_8*l1+26613*x2_8*l2+61198*x2_8*l3+32239*x2_8*l4+47907*x2_8*l5+54976*x2_8*l6+27915*x2_8*l7+26094*x2_8*l8+39965*x2_8*l9+17846*x2_9*l2+48360*x2_9*l3+35996*x2_9*l4+15065*x2_9*l5+12307*x2_9*l6+16426*x2_9*l7+41428*x2_9*l8+13968*x2_9*l9+37591*x2_10*l1+29456*x2_10*l2+43933*x2_10*l3+59825*x2_10*l4+25257*x2_10*l5+52155*x2_10*l6+12568*x2_10*l7+5555*x2_10*l8+56118*x2_10*l9+5025*x2_11*l1+40684*x2_11*l2+22309*x2_11*l3+65172*x2_11*l4+10692*x2_11*l5+33595*x2_11*l6+23836*x2_11*l7+8402*x2_11*l8+29755*x2_11*l9, 32345+8641*x2_4*l3+30820*x2_4*l5+58154*x2_4*l4+61777*x2_4+16324*x2_5+46525*x2_6+31572*x2_7+11828*x2_8+6824*x2_9+18775*x2_10+26571*x2_11+61635*l1+4760*l2+1300*x2_6*l1+20790*l3+16032*l4+30792*l5+44198*l6+64742*l7+49343*l8+6674*l9+62724*x2_9*l1+17084*x2_4*l1+663*x2_4*l2+56523*x2_4*l6+24818*x2_4*l7+17126*x2_4*l8+27831*x2_4*l9+51057*x2_5*l1+7995*x2_5*l2+46502*x2_5*l3+16765*x2_5*l4+4206*x2_5*l5+48187*x2_5*l6+34356*x2_5*l7+5059*x2_5*l8+63268*x2_5*l9+34249*x2_6*l2+999*x2_6*l3+11099*x2_6*l4+41131*x2_6*l5+48913*x2_6*l6+50338*x2_6*l7+16740*x2_6*l8+7528*x2_6*l9+60885*x2_7*l1+2192*x2_7*l2+450*x2_7*l3+17401*x2_7*l4+40681*x2_7*l5+37649*x2_7*l6+36350*x2_7*l7+62136*x2_7*l8+2436*x2_7*l9+56873*x2_8*l1+13581*x2_8*l2+508*x2_8*l3+2655*x2_8*l4+15659*x2_8*l5+6942*x2_8*l6+13432*x2_8*l7+15778*x2_8*l8+59689*x2_8*l9+4619*x2_9*l2+43581*x2_9*l3+1303*x2_9*l4+15512*x2_9*l5+53498*x2_9*l6+37153*x2_9*l7+63153*x2_9*l8+36926*x2_9*l9+18932*x2_10*l1+62201*x2_10*l2+18064*x2_10*l3+3527*x2_10*l4+57380*x2_10*l5+8806*x2_10*l6+11851*x2_10*l7+57393*x2_10*l8+30210*x2_10*l9+51360*x2_11*l1+33750*x2_11*l2+34816*x2_11*l3+60351*x2_11*l4+27115*x2_11*l5+2984*x2_11*l6+8459*x2_11*l7+37401*x2_11*l8+56270*x2_11*l9, 42305+30826*x2_4*l3+32232*x2_4*l5+58130*x2_4*l4+32027*x2_4+41187*x2_5+41492*x2_6+35515*x2_7+61703*x2_8+62799*x2_9+61058*x2_10+33435*x2_11+39265*l1+42623*l2+31460*x2_6*l1+42637*l3+55971*l4+55489*l5+31550*l6+2642*l7+48168*l8+65397*l9+44444*x2_9*l1+60601*x2_4*l1+17286*x2_4*l2+62965*x2_4*l6+53564*x2_4*l7+14934*x2_4*l8+10975*x2_4*l9+22497*x2_5*l1+4676*x2_5*l2+27224*x2_5*l3+17593*x2_5*l4+2236*x2_5*l5+61744*x2_5*l6+56088*x2_5*l7+12578*x2_5*l8+55155*x2_5*l9+30169*x2_6*l2+11621*x2_6*l3+48347*x2_6*l4+48105*x2_6*l5+7630*x2_6*l6+33205*x2_6*l7+21755*x2_6*l8+30052*x2_6*l9+9372*x2_7*l1+8018*x2_7*l2+64607*x2_7*l3+682*x2_7*l4+47403*x2_7*l5+56339*x2_7*l6+8966*x2_7*l7+11653*x2_7*l8+5682*x2_7*l9+51520*x2_8*l1+4852*x2_8*l2+57448*x2_8*l3+62739*x2_8*l4+55724*x2_8*l5+10779*x2_8*l6+32213*x2_8*l7+17886*x2_8*l8+23649*x2_8*l9+18292*x2_9*l2+48187*x2_9*l3+62565*x2_9*l4+26570*x2_9*l5+14215*x2_9*l6+22608*x2_9*l7+30209*x2_9*l8+7503*x2_9*l9+15999*x2_10*l1+1410*x2_10*l2+14440*x2_10*l3+218*x2_10*l4+49250*x2_10*l5+682*x2_10*l6+35686*x2_10*l7+30074*x2_10*l8+27276*x2_10*l9+3234*x2_11*l1+51759*x2_11*l2+3042*x2_11*l3+17514*x2_11*l4+6358*x2_11*l5+35481*x2_11*l6+36772*x2_11*l7+1126*x2_11*l8+6542*x2_11*l9, 16988+243*x2_4*l3+42152*x2_4*l5+18177*x2_4*l4+9931*x2_4+13217*x2_5+54526*x2_6+43598*x2_7+63417*x2_8+37218*x2_9+23536*x2_10+63050*x2_11+26140*l1+51283*l2+27451*x2_6*l1+27146*l3+13832*l4+22451*l5+25646*l6+50525*l7+52767*l8+30223*l9+46676*x2_9*l1+11073*x2_4*l1+20264*x2_4*l2+21082*x2_4*l6+15204*x2_4*l7+27949*x2_4*l8+4085*x2_4*l9+15275*x2_5*l1+1532*x2_5*l2+36370*x2_5*l3+21193*x2_5*l4+18900*x2_5*l5+22165*x2_5*l6+33441*x2_5*l7+16462*x2_5*l8+2229*x2_5*l9+34612*x2_6*l2+59374*x2_6*l3+21391*x2_6*l4+45038*x2_6*l5+14416*x2_6*l6+3579*x2_6*l7+503*x2_6*l8+16553*x2_6*l9+57042*x2_7*l1+23709*x2_7*l2+1401*x2_7*l3+56716*x2_7*l4+47279*x2_7*l5+6481*x2_7*l6+38603*x2_7*l7+51215*x2_7*l8+17573*x2_7*l9+49695*x2_8*l1+56619*x2_8*l2+36329*x2_8*l3+9937*x2_8*l4+4938*x2_8*l5+53046*x2_8*l6+49994*x2_8*l7+49019*x2_8*l8+56181*x2_8*l9+35894*x2_9*l2+456*x2_9*l3+17698*x2_9*l4+49400*x2_9*l5+61765*x2_9*l6+59177*x2_9*l7+25504*x2_9*l8+21695*x2_9*l9+17123*x2_10*l1+7151*x2_10*l2+38109*x2_10*l3+13647*x2_10*l4+59465*x2_10*l5+9900*x2_10*l6+29985*x2_10*l7+4489*x2_10*l8+17431*x2_10*l9+35139*x2_11*l1+6996*x2_11*l2+12093*x2_11*l3+55596*x2_11*l4+47964*x2_11*l5+39486*x2_11*l6+41883*x2_11*l7+7310*x2_11*l8+27930*x2_11*l9, 33093+12398*x2_4*l3+24383*x2_4*l5+8997*x2_4*l4+39979*x2_4+63698*x2_5+58498*x2_6+41052*x2_7+52328*x2_8+31978*x2_9+23675*x2_10+47896*x2_11+39354*l1+3877*l2+31451*x2_6*l1+29233*l3+56307*l4+18950*l5+35766*l6+43156*l7+20521*l8+30921*l9+6906*x2_9*l1+50635*x2_4*l1+3544*x2_4*l2+21779*x2_4*l6+22785*x2_4*l7+21097*x2_4*l8+13437*x2_4*l9+4202*x2_5*l1+15552*x2_5*l2+16563*x2_5*l3+2829*x2_5*l4+64664*x2_5*l5+30011*x2_5*l6+61075*x2_5*l7+56446*x2_5*l8+12715*x2_5*l9+61357*x2_6*l2+11633*x2_6*l3+58790*x2_6*l4+26389*x2_6*l5+43893*x2_6*l6+36428*x2_6*l7+31707*x2_6*l8+4400*x2_6*l9+56358*x2_7*l1+25794*x2_7*l2+25131*x2_7*l3+37588*x2_7*l4+11552*x2_7*l5+58531*x2_7*l6+62653*x2_7*l7+45985*x2_7*l8+31462*x2_7*l9+39824*x2_8*l1+30116*x2_8*l2+17911*x2_8*l3+23150*x2_8*l4+32699*x2_8*l5+34463*x2_8*l6+59728*x2_8*l7+52202*x2_8*l8+16914*x2_8*l9+5465*x2_9*l2+363*x2_9*l3+5809*x2_9*l4+55508*x2_9*l5+34483*x2_9*l6+56706*x2_9*l7+42760*x2_9*l8+3133*x2_9*l9+60977*x2_10*l1+53102*x2_10*l2+53427*x2_10*l3+39049*x2_10*l4+48990*x2_10*l5+57410*x2_10*l6+5290*x2_10*l7+44671*x2_10*l8+34323*x2_10*l9+40525*x2_11*l1+62251*x2_11*l2+38642*x2_11*l3+36132*x2_11*l4+58431*x2_11*l5+37030*x2_11*l6+52298*x2_11*l7+51504*x2_11*l8+64801*x2_11*l9, 18526+34079*x2_4*l3+898*x2_4*l5+38658*x2_4*l4+15844*x2_4+48178*x2_5+29379*x2_6+10382*x2_7+64790*x2_8+2106*x2_9+4823*x2_10+6488*x2_11+44561*l1+29794*l2+43809*x2_6*l1+7475*l3+48001*l4+52464*l5+13237*l6+41605*l7+20042*l8+47843*l9+50765*x2_9*l1+40754*x2_4*l1+12616*x2_4*l2+17601*x2_4*l6+35599*x2_4*l7+54339*x2_4*l8+54783*x2_4*l9+44523*x2_5*l1+12987*x2_5*l2+16254*x2_5*l3+39628*x2_5*l4+38250*x2_5*l5+54448*x2_5*l6+14429*x2_5*l7+33893*x2_5*l8+5696*x2_5*l9+36*x2_6*l2+43358*x2_6*l3+34581*x2_6*l4+55609*x2_6*l5+2756*x2_6*l6+15085*x2_6*l7+55499*x2_6*l8+42571*x2_6*l9+48245*x2_7*l1+12192*x2_7*l2+11908*x2_7*l3+54644*x2_7*l4+26906*x2_7*l5+35351*x2_7*l6+8493*x2_7*l7+63713*x2_7*l8+46299*x2_7*l9+26483*x2_8*l1+23778*x2_8*l2+13580*x2_8*l3+51768*x2_8*l4+49320*x2_8*l5+60143*x2_8*l6+8184*x2_8*l7+51207*x2_8*l8+47981*x2_8*l9+19089*x2_9*l2+46560*x2_9*l3+1212*x2_9*l4+12776*x2_9*l5+33398*x2_9*l6+62603*x2_9*l7+1221*x2_9*l8+638*x2_9*l9+42377*x2_10*l1+2367*x2_10*l2+31355*x2_10*l3+221*x2_10*l4+59003*x2_10*l5+60995*x2_10*l6+4289*x2_10*l7+51698*x2_10*l8+11052*x2_10*l9+44595*x2_11*l1+37143*x2_11*l2+50257*x2_11*l3+10080*x2_11*l4+31185*x2_11*l5+15794*x2_11*l6+22504*x2_11*l7+4783*x2_11*l8+47423*x2_11*l9, 21640+63162*x3_7*l3+8835*x3_7*l5+5563*x3_7*l4+322*x3_4+46440*l1+31062*l2+47363*x3_5+40535*x3_6+37247*x3_7+1517*x3_8+42572*x3_9+32889*x3_10+14069*x3_11+19943*x3_6*l7+7264*x3_6*l9+18214*x3_6*l8+64245*l3+7816*l4+15370*l5+18226*l6+31809*l7+56555*l8+3620*l9+34272*x3_7*l2+51384*x3_7*l1+1274*x3_4*l1+23308*x3_4*l2+24641*x3_4*l3+55299*x3_4*l4+56777*x3_4*l5+63161*x3_4*l6+2135*x3_4*l7+11884*x3_4*l8+2935*x3_4*l9+34879*x3_5*l1+63780*x3_5*l2+25239*x3_5*l3+64785*x3_5*l4+20637*x3_5*l5+41292*x3_5*l6+39788*x3_5*l7+15476*x3_5*l8+20425*x3_5*l9+52778*x3_6*l1+33755*x3_6*l2+55396*x3_6*l3+19605*x3_6*l4+46034*x3_6*l5+27508*x3_6*l6+31106*x3_7*l6+49314*x3_7*l7+4856*x3_7*l8+15360*x3_7*l9+51635*x3_8*l1+38468*x3_8*l2+65390*x3_8*l3+12058*x3_8*l4+35878*x3_8*l5+54190*x3_8*l6+45683*x3_8*l7+26470*x3_8*l8+12806*x3_8*l9+50877*x3_9*l1+60605*x3_9*l2+31320*x3_9*l3+13835*x3_9*l4+40934*x3_9*l5+30599*x3_9*l6+17770*x3_9*l7+62576*x3_9*l8+25126*x3_9*l9+173*x3_10*l1+421*x3_10*l2+57310*x3_10*l3+50223*x3_10*l4+24304*x3_10*l5+50033*x3_10*l6+21816*x3_10*l7+24903*x3_10*l8+12381*x3_10*l9+38526*x3_11*l1+51131*x3_11*l2+14304*x3_11*l3+3430*x3_11*l4+10166*x3_11*l5+17708*x3_11*l6+14657*x3_11*l7+4802*x3_11*l8+10222*x3_11*l9, 39489+7285*x3_7*l3+27030*x3_7*l5+41811*x3_7*l4+59464*x3_4+41480*l1+64572*l2+19833*x3_5+9065*x3_6+26260*x3_7+21386*x3_8+34647*x3_9+36008*x3_10+46821*x3_11+28273*x3_6*l7+2915*x3_6*l9+17410*x3_6*l8+53454*l3+38141*l4+2032*l5+4112*l6+47617*l7+35981*l8+53844*l9+15663*x3_7*l2+38743*x3_7*l1+56817*x3_4*l1+17743*x3_4*l2+7657*x3_4*l3+36611*x3_4*l4+18931*x3_4*l5+16457*x3_4*l6+13837*x3_4*l7+56745*x3_4*l8+2715*x3_4*l9+1460*x3_5*l1+43138*x3_5*l2+53097*x3_5*l3+58333*x3_5*l4+10074*x3_5*l5+16518*x3_5*l6+33506*x3_5*l7+22417*x3_5*l8+7038*x3_5*l9+18852*x3_6*l1+38855*x3_6*l2+63608*x3_6*l3+33051*x3_6*l4+24623*x3_6*l5+44165*x3_6*l6+59221*x3_7*l6+24392*x3_7*l7+29663*x3_7*l8+10759*x3_7*l9+8944*x3_8*l1+3464*x3_8*l2+30126*x3_8*l3+19967*x3_8*l4+24600*x3_8*l5+13575*x3_8*l6+58184*x3_8*l7+46539*x3_8*l8+7616*x3_8*l9+8625*x3_9*l1+6952*x3_9*l2+17517*x3_9*l3+56408*x3_9*l4+13946*x3_9*l5+28169*x3_9*l6+55808*x3_9*l7+60794*x3_9*l8+48116*x3_9*l9+13160*x3_10*l1+42285*x3_10*l2+10357*x3_10*l3+22721*x3_10*l4+64759*x3_10*l5+28739*x3_10*l6+30226*x3_10*l7+19205*x3_10*l8+59957*x3_10*l9+1828*x3_11*l1+24653*x3_11*l2+42399*x3_11*l3+20072*x3_11*l4+43848*x3_11*l5+63988*x3_11*l6+33081*x3_11*l7+2588*x3_11*l8+19754*x3_11*l9, 58093+54191*x3_7*l3+28559*x3_7*l5+47968*x3_7*l4+46251*x3_4+38535*l1+3312*l2+31218*x3_5+28199*x3_6+21455*x3_7+64074*x3_8+45793*x3_9+39029*x3_10+28538*x3_11+12378*x3_6*l7+38463*x3_6*l9+28994*x3_6*l8+26376*l3+63798*l4+26390*l5+9514*l6+43848*l7+34143*l8+17622*l9+61977*x3_7*l2+25473*x3_7*l1+12891*x3_4*l1+27512*x3_4*l2+27182*x3_4*l3+5672*x3_4*l4+27515*x3_4*l5+8896*x3_4*l6+33904*x3_4*l7+35859*x3_4*l8+5263*x3_4*l9+2812*x3_5*l1+29271*x3_5*l2+26339*x3_5*l3+54737*x3_5*l4+63079*x3_5*l5+26825*x3_5*l6+2417*x3_5*l7+35916*x3_5*l8+65379*x3_5*l9+18139*x3_6*l1+60238*x3_6*l2+6536*x3_6*l3+13750*x3_6*l4+39228*x3_6*l5+40629*x3_6*l6+22030*x3_7*l6+7671*x3_7*l7+65023*x3_7*l8+39156*x3_7*l9+11616*x3_8*l1+40858*x3_8*l2+43239*x3_8*l3+50143*x3_8*l4+60898*x3_8*l5+47687*x3_8*l6+58902*x3_8*l7+7726*x3_8*l8+15299*x3_8*l9+61227*x3_9*l1+19958*x3_9*l2+31799*x3_9*l3+61262*x3_9*l4+26162*x3_9*l5+14345*x3_9*l6+49984*x3_9*l7+1495*x3_9*l8+34744*x3_9*l9+50952*x3_10*l1+60619*x3_10*l2+39590*x3_10*l3+18195*x3_10*l4+34478*x3_10*l5+63816*x3_10*l6+20352*x3_10*l7+20928*x3_10*l8+28424*x3_10*l9+34077*x3_11*l1+36690*x3_11*l2+21531*x3_11*l3+31987*x3_11*l4+39025*x3_11*l5+43574*x3_11*l6+18429*x3_11*l7+43725*x3_11*l8+16157*x3_11*l9, 29477+35856*x3_7*l3+25938*x3_7*l5+19845*x3_7*l4+55686*x3_4+29006*l1+4679*l2+34705*x3_5+59231*x3_6+49628*x3_7+35255*x3_8+6010*x3_9+42587*x3_10+23470*x3_11+36587*x3_6*l7+8495*x3_6*l9+23785*x3_6*l8+7928*l3+12839*l4+63218*l5+45033*l6+26236*l7+62747*l8+2152*l9+35709*x3_7*l2+55060*x3_7*l1+49654*x3_4*l1+15710*x3_4*l2+16655*x3_4*l3+26695*x3_4*l4+20940*x3_4*l5+11570*x3_4*l6+29825*x3_4*l7+16473*x3_4*l8+16595*x3_4*l9+19184*x3_5*l1+2174*x3_5*l2+50215*x3_5*l3+32767*x3_5*l4+12788*x3_5*l5+5606*x3_5*l6+45428*x3_5*l7+37266*x3_5*l8+1479*x3_5*l9+16200*x3_6*l1+54883*x3_6*l2+24285*x3_6*l3+9268*x3_6*l4+43795*x3_6*l5+32307*x3_6*l6+5526*x3_7*l6+20770*x3_7*l7+44602*x3_7*l8+21053*x3_7*l9+333*x3_8*l1+30576*x3_8*l2+10851*x3_8*l3+53855*x3_8*l4+29449*x3_8*l5+7211*x3_8*l6+19824*x3_8*l7+63451*x3_8*l8+59027*x3_8*l9+30768*x3_9*l1+48310*x3_9*l2+64951*x3_9*l3+18941*x3_9*l4+64880*x3_9*l5+45135*x3_9*l6+13499*x3_9*l7+8422*x3_9*l8+38202*x3_9*l9+1019*x3_10*l1+56912*x3_10*l2+46284*x3_10*l3+39298*x3_10*l4+21159*x3_10*l5+2582*x3_10*l6+55299*x3_10*l7+52440*x3_10*l8+43405*x3_10*l9+51676*x3_11*l1+16892*x3_11*l2+27568*x3_11*l3+2578*x3_11*l4+35599*x3_11*l5+8927*x3_11*l6+32800*x3_11*l7+51133*x3_11*l8+63541*x3_11*l9, 42203+42667*x3_7*l3+37190*x3_7*l5+138*x3_7*l4+39330*x3_4+58423*l1+55443*l2+37560*x3_5+29093*x3_6+33448*x3_7+34662*x3_8+46161*x3_9+58452*x3_10+35867*x3_11+16889*x3_6*l7+60313*x3_6*l9+1029*x3_6*l8+64894*l3+25940*l4+38311*l5+32618*l6+58156*l7+17476*l8+21693*l9+45417*x3_7*l2+9513*x3_7*l1+37444*x3_4*l1+26639*x3_4*l2+36329*x3_4*l3+21901*x3_4*l4+54733*x3_4*l5+6228*x3_4*l6+6947*x3_4*l7+65175*x3_4*l8+11574*x3_4*l9+36240*x3_5*l1+40464*x3_5*l2+62008*x3_5*l3+4414*x3_5*l4+21210*x3_5*l5+45473*x3_5*l6+6680*x3_5*l7+28504*x3_5*l8+14685*x3_5*l9+2708*x3_6*l1+51651*x3_6*l2+31466*x3_6*l3+24230*x3_6*l4+39022*x3_6*l5+55364*x3_6*l6+53660*x3_7*l6+18109*x3_7*l7+62761*x3_7*l8+5890*x3_7*l9+20628*x3_8*l1+3022*x3_8*l2+61731*x3_8*l3+63560*x3_8*l4+17738*x3_8*l5+28613*x3_8*l6+7955*x3_8*l7+8338*x3_8*l8+5116*x3_8*l9+54372*x3_9*l1+18607*x3_9*l2+9579*x3_9*l3+8814*x3_9*l4+49156*x3_9*l5+5651*x3_9*l6+33742*x3_9*l7+39632*x3_9*l8+44377*x3_9*l9+47364*x3_10*l1+34553*x3_10*l2+11662*x3_10*l3+56491*x3_10*l4+46925*x3_10*l5+26347*x3_10*l6+48574*x3_10*l7+38083*x3_10*l8+8837*x3_10*l9+38073*x3_11*l1+47341*x3_11*l2+23965*x3_11*l3+38960*x3_11*l4+53148*x3_11*l5+3632*x3_11*l6+13447*x3_11*l7+49634*x3_11*l8+60608*x3_11*l9, 27201+48694*x3_7*l3+1781*x3_7*l5+39343*x3_7*l4+36482*x3_4+15605*l1+39253*l2+61147*x3_5+64291*x3_6+21258*x3_7+21878*x3_8+55453*x3_9+38384*x3_10+13091*x3_11+16531*x3_6*l7+42802*x3_6*l9+43909*x3_6*l8+25777*l3+45303*l4+36816*l5+4454*l6+20067*l7+64328*l8+59995*l9+28320*x3_7*l2+63835*x3_7*l1+950*x3_4*l1+31742*x3_4*l2+42071*x3_4*l3+44980*x3_4*l4+49556*x3_4*l5+26473*x3_4*l6+33525*x3_4*l7+25856*x3_4*l8+65131*x3_4*l9+13536*x3_5*l1+31451*x3_5*l2+47201*x3_5*l3+63182*x3_5*l4+901*x3_5*l5+9119*x3_5*l6+48443*x3_5*l7+2432*x3_5*l8+63790*x3_5*l9+9987*x3_6*l1+12745*x3_6*l2+12001*x3_6*l3+2954*x3_6*l4+4597*x3_6*l5+45022*x3_6*l6+40308*x3_7*l6+26455*x3_7*l7+19347*x3_7*l8+5184*x3_7*l9+26413*x3_8*l1+26613*x3_8*l2+61198*x3_8*l3+32239*x3_8*l4+47907*x3_8*l5+54976*x3_8*l6+27915*x3_8*l7+26094*x3_8*l8+39965*x3_8*l9+36337*x3_9*l1+17846*x3_9*l2+48360*x3_9*l3+35996*x3_9*l4+15065*x3_9*l5+12307*x3_9*l6+16426*x3_9*l7+41428*x3_9*l8+13968*x3_9*l9+37591*x3_10*l1+29456*x3_10*l2+43933*x3_10*l3+59825*x3_10*l4+25257*x3_10*l5+52155*x3_10*l6+12568*x3_10*l7+5555*x3_10*l8+56118*x3_10*l9+5025*x3_11*l1+40684*x3_11*l2+22309*x3_11*l3+65172*x3_11*l4+10692*x3_11*l5+33595*x3_11*l6+23836*x3_11*l7+8402*x3_11*l8+29755*x3_11*l9, 5303+450*x3_7*l3+40681*x3_7*l5+17401*x3_7*l4+61777*x3_4+43312*l1+1373*l2+16324*x3_5+46525*x3_6+31572*x3_7+11828*x3_8+6824*x3_9+18775*x3_10+26571*x3_11+50338*x3_6*l7+7528*x3_6*l9+16740*x3_6*l8+32577*l3+52696*l4+22618*l5+25319*l6+8719*l7+53048*l8+37467*l9+2192*x3_7*l2+60885*x3_7*l1+17084*x3_4*l1+663*x3_4*l2+8641*x3_4*l3+58154*x3_4*l4+30820*x3_4*l5+56523*x3_4*l6+24818*x3_4*l7+17126*x3_4*l8+27831*x3_4*l9+51057*x3_5*l1+7995*x3_5*l2+46502*x3_5*l3+16765*x3_5*l4+4206*x3_5*l5+48187*x3_5*l6+34356*x3_5*l7+5059*x3_5*l8+63268*x3_5*l9+1300*x3_6*l1+34249*x3_6*l2+999*x3_6*l3+11099*x3_6*l4+41131*x3_6*l5+48913*x3_6*l6+37649*x3_7*l6+36350*x3_7*l7+62136*x3_7*l8+2436*x3_7*l9+56873*x3_8*l1+13581*x3_8*l2+508*x3_8*l3+2655*x3_8*l4+15659*x3_8*l5+6942*x3_8*l6+13432*x3_8*l7+15778*x3_8*l8+59689*x3_8*l9+62724*x3_9*l1+4619*x3_9*l2+43581*x3_9*l3+1303*x3_9*l4+15512*x3_9*l5+53498*x3_9*l6+37153*x3_9*l7+63153*x3_9*l8+36926*x3_9*l9+18932*x3_10*l1+62201*x3_10*l2+18064*x3_10*l3+3527*x3_10*l4+57380*x3_10*l5+8806*x3_10*l6+11851*x3_10*l7+57393*x3_10*l8+30210*x3_10*l9+51360*x3_11*l1+33750*x3_11*l2+34816*x3_11*l3+60351*x3_11*l4+27115*x3_11*l5+2984*x3_11*l6+8459*x3_11*l7+37401*x3_11*l8+56270*x3_11*l9, 1302+64607*x3_7*l3+47403*x3_7*l5+682*x3_7*l4+32027*x3_4+60391*l1+39871*l2+41187*x3_5+41492*x3_6+35515*x3_7+61703*x3_8+62799*x3_9+61058*x3_10+33435*x3_11+33205*x3_6*l7+30052*x3_6*l9+21755*x3_6*l8+53433*l3+15694*l4+32995*l5+48269*l6+44099*l7+13749*l8+12913*l9+8018*x3_7*l2+9372*x3_7*l1+60601*x3_4*l1+17286*x3_4*l2+30826*x3_4*l3+58130*x3_4*l4+32232*x3_4*l5+62965*x3_4*l6+53564*x3_4*l7+14934*x3_4*l8+10975*x3_4*l9+22497*x3_5*l1+4676*x3_5*l2+27224*x3_5*l3+17593*x3_5*l4+2236*x3_5*l5+61744*x3_5*l6+56088*x3_5*l7+12578*x3_5*l8+55155*x3_5*l9+31460*x3_6*l1+30169*x3_6*l2+11621*x3_6*l3+48347*x3_6*l4+48105*x3_6*l5+7630*x3_6*l6+56339*x3_7*l6+8966*x3_7*l7+11653*x3_7*l8+5682*x3_7*l9+51520*x3_8*l1+4852*x3_8*l2+57448*x3_8*l3+62739*x3_8*l4+55724*x3_8*l5+10779*x3_8*l6+32213*x3_8*l7+17886*x3_8*l8+23649*x3_8*l9+44444*x3_9*l1+18292*x3_9*l2+48187*x3_9*l3+62565*x3_9*l4+26570*x3_9*l5+14215*x3_9*l6+22608*x3_9*l7+30209*x3_9*l8+7503*x3_9*l9+15999*x3_10*l1+1410*x3_10*l2+14440*x3_10*l3+218*x3_10*l4+49250*x3_10*l5+682*x3_10*l6+35686*x3_10*l7+30074*x3_10*l8+27276*x3_10*l9+3234*x3_11*l1+51759*x3_11*l2+3042*x3_11*l3+17514*x3_11*l4+6358*x3_11*l5+35481*x3_11*l6+36772*x3_11*l7+1126*x3_11*l8+6542*x3_11*l9, 29577+1401*x3_7*l3+47279*x3_7*l5+56716*x3_7*l4+9931*x3_4+14881*l1+8510*l2+13217*x3_5+54526*x3_6+43598*x3_7+63417*x3_8+37218*x3_9+23536*x3_10+63050*x3_11+3579*x3_6*l7+16553*x3_6*l9+503*x3_6*l8+26925*l3+49491*l4+18138*l5+30372*l6+16996*l7+9427*l8+69*l9+23709*x3_7*l2+57042*x3_7*l1+11073*x3_4*l1+20264*x3_4*l2+243*x3_4*l3+18177*x3_4*l4+42152*x3_4*l5+21082*x3_4*l6+15204*x3_4*l7+27949*x3_4*l8+4085*x3_4*l9+15275*x3_5*l1+1532*x3_5*l2+36370*x3_5*l3+21193*x3_5*l4+18900*x3_5*l5+22165*x3_5*l6+33441*x3_5*l7+16462*x3_5*l8+2229*x3_5*l9+27451*x3_6*l1+34612*x3_6*l2+59374*x3_6*l3+21391*x3_6*l4+45038*x3_6*l5+14416*x3_6*l6+6481*x3_7*l6+38603*x3_7*l7+51215*x3_7*l8+17573*x3_7*l9+49695*x3_8*l1+56619*x3_8*l2+36329*x3_8*l3+9937*x3_8*l4+4938*x3_8*l5+53046*x3_8*l6+49994*x3_8*l7+49019*x3_8*l8+56181*x3_8*l9+46676*x3_9*l1+35894*x3_9*l2+456*x3_9*l3+17698*x3_9*l4+49400*x3_9*l5+61765*x3_9*l6+59177*x3_9*l7+25504*x3_9*l8+21695*x3_9*l9+17123*x3_10*l1+7151*x3_10*l2+38109*x3_10*l3+13647*x3_10*l4+59465*x3_10*l5+9900*x3_10*l6+29985*x3_10*l7+4489*x3_10*l8+17431*x3_10*l9+35139*x3_11*l1+6996*x3_11*l2+12093*x3_11*l3+55596*x3_11*l4+47964*x3_11*l5+39486*x3_11*l6+41883*x3_11*l7+7310*x3_11*l8+27930*x3_11*l9, 9097+25131*x3_7*l3+11552*x3_7*l5+37588*x3_7*l4+39979*x3_4+26663*l1+60585*l2+63698*x3_5+58498*x3_6+41052*x3_7+52328*x3_8+31978*x3_9+23675*x3_10+47896*x3_11+36428*x3_6*l7+4400*x3_6*l9+31707*x3_6*l8+53784*l3+12579*l4+53194*l5+13908*l6+26543*l7+60368*l8+1807*l9+25794*x3_7*l2+56358*x3_7*l1+50635*x3_4*l1+3544*x3_4*l2+12398*x3_4*l3+8997*x3_4*l4+24383*x3_4*l5+21779*x3_4*l6+22785*x3_4*l7+21097*x3_4*l8+13437*x3_4*l9+4202*x3_5*l1+15552*x3_5*l2+16563*x3_5*l3+2829*x3_5*l4+64664*x3_5*l5+30011*x3_5*l6+61075*x3_5*l7+56446*x3_5*l8+12715*x3_5*l9+31451*x3_6*l1+61357*x3_6*l2+11633*x3_6*l3+58790*x3_6*l4+26389*x3_6*l5+43893*x3_6*l6+58531*x3_7*l6+62653*x3_7*l7+45985*x3_7*l8+31462*x3_7*l9+39824*x3_8*l1+30116*x3_8*l2+17911*x3_8*l3+23150*x3_8*l4+32699*x3_8*l5+34463*x3_8*l6+59728*x3_8*l7+52202*x3_8*l8+16914*x3_8*l9+6906*x3_9*l1+5465*x3_9*l2+363*x3_9*l3+5809*x3_9*l4+55508*x3_9*l5+34483*x3_9*l6+56706*x3_9*l7+42760*x3_9*l8+3133*x3_9*l9+60977*x3_10*l1+53102*x3_10*l2+53427*x3_10*l3+39049*x3_10*l4+48990*x3_10*l5+57410*x3_10*l6+5290*x3_10*l7+44671*x3_10*l8+34323*x3_10*l9+40525*x3_11*l1+62251*x3_11*l2+38642*x3_11*l3+36132*x3_11*l4+58431*x3_11*l5+37030*x3_11*l6+52298*x3_11*l7+51504*x3_11*l8+64801*x3_11*l9, 28105+11908*x3_7*l3+26906*x3_7*l5+54644*x3_7*l4+15844*x3_4+10385*l1+37268*l2+48178*x3_5+29379*x3_6+10382*x3_7+64790*x3_8+2106*x3_9+4823*x3_10+6488*x3_11+15085*x3_6*l7+42571*x3_6*l9+55499*x3_6*l8+59544*l3+14393*l4+51554*l5+32438*l6+45723*l7+29245*l8+3617*l9+12192*x3_7*l2+48245*x3_7*l1+40754*x3_4*l1+12616*x3_4*l2+34079*x3_4*l3+38658*x3_4*l4+898*x3_4*l5+17601*x3_4*l6+35599*x3_4*l7+54339*x3_4*l8+54783*x3_4*l9+44523*x3_5*l1+12987*x3_5*l2+16254*x3_5*l3+39628*x3_5*l4+38250*x3_5*l5+54448*x3_5*l6+14429*x3_5*l7+33893*x3_5*l8+5696*x3_5*l9+43809*x3_6*l1+36*x3_6*l2+43358*x3_6*l3+34581*x3_6*l4+55609*x3_6*l5+2756*x3_6*l6+35351*x3_7*l6+8493*x3_7*l7+63713*x3_7*l8+46299*x3_7*l9+26483*x3_8*l1+23778*x3_8*l2+13580*x3_8*l3+51768*x3_8*l4+49320*x3_8*l5+60143*x3_8*l6+8184*x3_8*l7+51207*x3_8*l8+47981*x3_8*l9+50765*x3_9*l1+19089*x3_9*l2+46560*x3_9*l3+1212*x3_9*l4+12776*x3_9*l5+33398*x3_9*l6+62603*x3_9*l7+1221*x3_9*l8+638*x3_9*l9+42377*x3_10*l1+2367*x3_10*l2+31355*x3_10*l3+221*x3_10*l4+59003*x3_10*l5+60995*x3_10*l6+4289*x3_10*l7+51698*x3_10*l8+11052*x3_10*l9+44595*x3_11*l1+37143*x3_11*l2+50257*x3_11*l3+10080*x3_11*l4+31185*x3_11*l5+15794*x3_11*l6+22504*x3_11*l7+4783*x3_11*l8+47423*x3_11*l9]