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

#list


[42516+51079*l1+950*l2+2174*l3+63608*l4+11908*l5+9937*l6+15512*l7+26347*l8+18429*l9+11018*x1_4+14557*x1_5+56664*x1_6+97*x1_7+52146*x1_8+9254*x1_9+44484*x1_10+26262*x1_4*l1+63835*x1_4*l2+30576*x1_4*l3+17517*x1_4*l4+31355*x1_4*l5+55596*x1_4*l6+44324*x1_4*l7+32990*x1_4*l8+26236*x1_4*l9+51693*x1_5*l1+26413*x1_5*l2+48310*x1_5*l3+10357*x1_5*l4+50257*x1_5*l5+11986*x1_5*l6+55489*x1_5*l7+4454*x1_5*l8+29825*x1_5*l9+31304*x1_6*l1+36337*x1_6*l2+56912*x1_6*l3+42399*x1_6*l4+40795*x1_6*l5+56307*x1_6*l6+32995*x1_6*l7+26473*x1_6*l8+45428*x1_6*l9+62101*x1_7*l1+37591*x1_7*l2+16892*x1_7*l3+50441*x1_7*l4+16360*x1_7*l5+12579*x1_7*l6+32232*x1_7*l7+9119*x1_7*l8+36587*x1_7*l9+59888*x1_8*l1+5025*x1_8*l2+49445*x1_8*l3+25454*x1_8*l4+7816*x1_8*l5+8997*x1_8*l6+2236*x1_8*l7+45022*x1_8*l8+20770*x1_8*l9+62623*x1_9*l1+17649*x1_9*l2+16471*x1_9*l3+26376*x1_9*l4+55299*x1_9*l5+2829*x1_9*l6+48105*x1_9*l7+40308*x1_9*l8+19824*x1_9*l9+42209*x1_10*l1+61635*x1_10*l2+55443*x1_10*l3+27182*x1_10*l4+64785*x1_10*l5+58790*x1_10*l6+47403*x1_10*l7+54976*x1_10*l8+13499*x1_10*l9, 9035+32008*l1+43312*l2+26639*l3+26339*l4+19605*l5+37588*l6+55724*l7+12307*l8+55299*l9+28557*x1_4+57917*x1_5+39579*x1_6+25286*x1_7+20219*x1_8+51555*x1_9+24023*x1_10+41825*x1_4*l1+1300*x1_4*l2+45417*x1_4*l3+43239*x1_4*l4+13835*x1_4*l5+39049*x1_4*l6+6358*x1_4*l7+27993*x1_4*l8+26005*x1_4*l9+47684*x1_5*l1+60885*x1_5*l2+3022*x1_5*l3+31799*x1_5*l4+50223*x1_5*l5+36132*x1_5*l6+17104*x1_5*l7+44198*x1_5*l8+58156*x1_5*l9+47484*x1_6*l1+56873*x1_6*l2+18607*x1_6*l3+39590*x1_6*l4+3430*x1_6*l5+49596*x1_6*l6+22451*x1_6*l7+25319*x1_6*l8+6947*x1_6*l9+23682*x1_7*l1+62724*x1_7*l2+34553*x1_7*l3+21531*x1_7*l4+52493*x1_7*l5+48001*x1_7*l6+18138*x1_7*l7+56523*x1_7*l8+6680*x1_7*l9+24648*x1_8*l1+18932*x1_8*l2+47341*x1_8*l3+36965*x1_8*l4+50707*x1_8*l5+14393*x1_8*l6+42152*x1_8*l7+48187*x1_8*l8+16889*x1_8*l9+56535*x1_9*l1+51360*x1_9*l2+36802*x1_9*l3+25447*x1_9*l4+38141*x1_9*l5+38658*x1_9*l6+18900*x1_9*l7+48913*x1_9*l8+18109*x1_9*l9+28324*x1_10*l1+64716*x1_10*l2+62433*x1_10*l3+7928*x1_10*l4+36611*x1_10*l5+39628*x1_10*l6+45038*x1_10*l7+37649*x1_10*l8+7955*x1_10*l9, 36260+45499*l1+39265*l2+39253*l3+16655*l4+58333*l5+34581*l6+47279*l7+6942*l8+33742*l9+7731*x1_4+17777*x1_5+7831*x1_6+23441*x1_7+10698*x1_8+1399*x1_9+50532*x1_10+44467*x1_4*l1+22497*x1_4*l2+12745*x1_4*l3+35856*x1_4*l4+19967*x1_4*l5+1212*x1_4*l6+59465*x1_4*l7+2984*x1_4*l8+33549*x1_4*l9+15375*x1_5*l1+31460*x1_5*l2+28320*x1_5*l3+10851*x1_5*l4+56408*x1_5*l5+221*x1_5*l6+47964*x1_5*l7+24792*x1_5*l8+7108*x1_5*l9+22940*x1_6*l1+9372*x1_6*l2+26613*x1_6*l3+64951*x1_6*l4+22721*x1_6*l5+10080*x1_6*l6+46555*x1_6*l7+31550*x1_6*l8+20067*x1_6*l9+31282*x1_7*l1+51520*x1_7*l2+17846*x1_7*l3+46284*x1_7*l4+20072*x1_7*l5+4787*x1_7*l6+18950*x1_7*l7+48269*x1_7*l8+33525*x1_7*l9+45954*x1_8*l1+44444*x1_8*l2+29456*x1_8*l3+27568*x1_8*l4+33444*x1_8*l5+58686*x1_8*l6+53194*x1_8*l7+62965*x1_8*l8+48443*x1_8*l9+16104*x1_9*l1+15999*x1_9*l2+40684*x1_9*l3+13621*x1_9*l4+30457*x1_9*l5+15370*x1_9*l6+24383*x1_9*l7+61744*x1_9*l8+16531*x1_9*l9+4012*x1_10*l1+3234*x1_10*l2+50641*x1_10*l3+36002*x1_10*l4+63798*x1_10*l5+56777*x1_10*l6+64664*x1_10*l7+7630*x1_10*l8+26455*x1_10*l9, 52038+48578*l1+120*l2+4760*l3+64894*l4+5672*l5+20637*l6+26389*l7+56339*l8+27915*l9+24266*x1_4+4850*x1_5+56089*x1_6+50563*x1_7+24659*x1_8+61905*x1_9+30581*x1_10+29544*x1_4*l1+11073*x1_4*l2+7995*x1_4*l3+31466*x1_4*l4+47968*x1_4*l5+35878*x1_4*l6+55508*x1_4*l7+682*x1_4*l8+23836*x1_4*l9+44873*x1_5*l1+15275*x1_5*l2+34249*x1_5*l3+42667*x1_5*l4+50143*x1_5*l5+40934*x1_5*l6+48990*x1_5*l7+35481*x1_5*l8+39032*x1_5*l9+58416*x1_6*l1+27451*x1_6*l2+2192*x1_6*l3+61731*x1_6*l4+61262*x1_6*l5+24304*x1_6*l6+58431*x1_6*l7+18359*x1_6*l8+64742*x1_6*l9+20411*x1_7*l1+57042*x1_7*l2+13581*x1_7*l3+9579*x1_7*l4+18195*x1_7*l5+10166*x1_7*l6+33777*x1_7*l7+25646*x1_7*l8+8719*x1_7*l9+19652*x1_8*l1+49695*x1_8*l2+4619*x1_8*l3+11662*x1_8*l4+31987*x1_8*l5+55776*x1_8*l6+52464*x1_8*l7+30372*x1_8*l8+24818*x1_8*l9+23800*x1_9*l1+46676*x1_9*l2+62201*x1_9*l3+23965*x1_9*l4+32453*x1_9*l5+35553*x1_9*l6+51554*x1_9*l7+21082*x1_9*l8+34356*x1_9*l9+59936*x1_10*l1+17123*x1_10*l2+33750*x1_10*l3+24591*x1_10*l4+50096*x1_10*l5+2032*x1_10*l6+898*x1_10*l7+22165*x1_10*l8+50338*x1_10*l9, 28418+39069*l1+35139*l2+26190*l3+48858*l4+12839*l5+18931*l6+38250*l7+14416*l8+36350*l9+61437*x1_4+43403*x1_5+13982*x1_6+47274*x1_7+47380*x1_8+1517*x1_9+42685*x1_10+26504*x1_4*l1+26663*x1_4*l2+17286*x1_4*l3+47201*x1_4*l4+9268*x1_4*l5+27030*x1_4*l6+49320*x1_4*l7+61765*x1_4*l8+11851*x1_4*l9+46440*x1_5*l1+50635*x1_5*l2+4676*x1_5*l3+12001*x1_5*l4+19845*x1_5*l5+24600*x1_5*l6+12776*x1_5*l7+9900*x1_5*l8+8459*x1_5*l9+1274*x1_6*l1+4202*x1_6*l2+30169*x1_6*l3+48694*x1_6*l4+53855*x1_6*l5+13946*x1_6*l6+59003*x1_6*l7+39486*x1_6*l8+3026*x1_6*l9+34879*x1_7*l1+31451*x1_7*l2+8018*x1_7*l3+61198*x1_7*l4+18941*x1_7*l5+64759*x1_7*l6+31185*x1_7*l7+31481*x1_7*l8+2642*x1_7*l9+52778*x1_8*l1+56358*x1_8*l2+4852*x1_8*l3+48360*x1_8*l4+39298*x1_8*l5+43848*x1_8*l6+10650*x1_8*l7+35766*x1_8*l8+44099*x1_8*l9+51384*x1_9*l1+39824*x1_9*l2+18292*x1_9*l3+43933*x1_9*l4+2578*x1_9*l5+52285*x1_9*l6+3041*x1_9*l7+13908*x1_9*l8+53564*x1_9*l9+51635*x1_10*l1+6906*x1_10*l2+1410*x1_10*l3+22309*x1_10*l4+64989*x1_10*l5+41301*x1_10*l6+18226*x1_10*l7+21779*x1_10*l8+56088*x1_10*l9, 34736+50877*l1+60977*l2+51759*l3+15126*l4+49605*l5+26390*l6+63161*l7+30011*l8+33205*l9+10603*x1_4+45805*x1_5+24084*x1_6+48031*x1_7+44720*x1_8+20054*x1_9+41583*x1_10+49260*x1_4*l1+44561*x1_4*l2+8510*x1_4*l3+8641*x1_4*l4+4414*x1_4*l5+39228*x1_4*l6+31106*x1_4*l7+34463*x1_4*l8+22608*x1_4*l9+10187*x1_5*l1+10385*x1_5*l2+20264*x1_5*l3+46502*x1_5*l4+24230*x1_5*l5+28559*x1_5*l6+54190*x1_5*l7+34483*x1_5*l8+35686*x1_5*l9+41480*x1_6*l1+40754*x1_6*l2+1532*x1_6*l3+999*x1_6*l4+138*x1_6*l5+60898*x1_6*l6+30599*x1_6*l7+57410*x1_6*l8+36772*x1_6*l9+56817*x1_7*l1+44523*x1_7*l2+34612*x1_7*l3+450*x1_7*l4+63560*x1_7*l5+26162*x1_7*l6+50033*x1_7*l7+37030*x1_7*l8+50435*x1_7*l9+1460*x1_8*l1+43809*x1_8*l2+23709*x1_8*l3+508*x1_8*l4+8814*x1_8*l5+34478*x1_8*l6+17708*x1_8*l7+55637*x1_8*l8+50525*x1_8*l9+18852*x1_9*l1+48245*x1_9*l2+56619*x1_9*l3+43581*x1_9*l4+56491*x1_9*l5+39025*x1_9*l6+23138*x1_9*l7+13237*x1_9*l8+16996*x1_9*l9+38743*x1_10*l1+26483*x1_10*l2+35894*x1_10*l3+18064*x1_10*l4+38960*x1_10*l5+6385*x1_10*l6+21882*x1_10*l7+32438*x1_10*l8+15204*x1_10*l9, 54240+8944*l1+50765*l2+7151*l3+34816*l4+30696*l5+23968*l6+4112*l7+17601*l8+33441*l9+26204*x1_4+14639*x1_5+24836*x1_6+2509*x1_7+59079*x1_8+56898*x1_9+4925*x1_10+1828*x1_4*l1+38499*x1_4*l2+3877*x1_4*l3+53433*x1_4*l4+44980*x1_4*l5+12788*x1_4*l6+44165*x1_4*l7+35351*x1_4*l8+49994*x1_4*l9+34507*x1_5*l1+12300*x1_5*l2+60585*x1_5*l3+30826*x1_5*l4+63182*x1_5*l5+43795*x1_5*l6+59221*x1_5*l7+60143*x1_5*l8+59177*x1_5*l9+64350*x1_6*l1+31062*x1_6*l2+3544*x1_6*l3+27224*x1_6*l4+2954*x1_6*l5+25938*x1_6*l6+13575*x1_6*l7+33398*x1_6*l8+29985*x1_6*l9+38535*x1_7*l1+23308*x1_7*l2+15552*x1_7*l3+11621*x1_7*l4+39343*x1_7*l5+29449*x1_7*l6+28169*x1_7*l7+60995*x1_7*l8+41883*x1_7*l9+12891*x1_8*l1+63780*x1_8*l2+61357*x1_8*l3+64607*x1_8*l4+32239*x1_8*l5+64880*x1_8*l6+28739*x1_8*l7+15794*x1_8*l8+53862*x1_8*l9+2812*x1_9*l1+33755*x1_9*l2+25794*x1_9*l3+57448*x1_9*l4+35996*x1_9*l5+21159*x1_9*l6+63988*x1_9*l7+49759*x1_9*l8+43156*x1_9*l9+18139*x1_10*l1+34272*x1_10*l2+30116*x1_10*l3+48187*x1_10*l4+59825*x1_10*l5+35599*x1_10*l6+26994*x1_10*l7+7230*x1_10*l8+26543*x1_10*l9, 43261+25473*l1+38468*l2+5465*l3+14440*l4+65172*l5+54290*l6+23015*l7+31809*l8+22785*l9+42171*x1_4+43247*x1_5+23887*x1_6+58361*x1_7+51237*x1_8+12586*x1_9+44163*x1_10+50952*x1_4*l1+51131*x1_4*l2+12541*x1_4*l3+27146*x1_4*l4+52696*x1_4*l5+54733*x1_4*l6+26825*x1_4*l7+19943*x1_4*l8+62653*x1_4*l9+34077*x1_5*l1+35245*x1_5*l2+29794*x1_5*l3+26925*x1_5*l4+58154*x1_5*l5+21210*x1_5*l6+40629*x1_5*l7+49314*x1_5*l8+59728*x1_5*l9+17037*x1_6*l1+15821*x1_6*l2+37268*x1_6*l3+243*x1_6*l4+16765*x1_6*l5+39022*x1_6*l6+22030*x1_6*l7+45683*x1_6*l8+56706*x1_6*l9+41836*x1_7*l1+64572*x1_7*l2+12616*x1_7*l3+36370*x1_7*l4+11099*x1_7*l5+37190*x1_7*l6+47687*x1_7*l7+17770*x1_7*l8+5290*x1_7*l9+29006*x1_8*l1+17743*x1_8*l2+12987*x1_8*l3+59374*x1_8*l4+17401*x1_8*l5+17738*x1_8*l6+14345*x1_8*l7+21816*x1_8*l8+52298*x1_8*l9+49654*x1_9*l1+43138*x1_9*l2+36*x1_9*l3+1401*x1_9*l4+2655*x1_9*l5+49156*x1_9*l6+63816*x1_9*l7+14657*x1_9*l8+10397*x1_9*l9+19184*x1_10*l1+38855*x1_10*l2+12192*x1_10*l3+36329*x1_10*l4+1303*x1_10*l5+46925*x1_10*l6+43574*x1_10*l7+32591*x1_10*l8+41605*x1_10*l9, 7199+16200*l1+15663*l2+23778*l3+456*l4+3527*l5+53148*l6+60791*l7+2225*l8+45723*l9+56461*x1_4+41903*x1_5+2139*x1_6+51495*x1_7+50720*x1_8+39350*x1_9+64227*x1_10+30768*x1_4*l1+42285*x1_4*l2+37143*x1_4*l3+54490*x1_4*l4+55971*x1_4*l5+36816*x1_4*l6+11570*x1_4*l7+33506*x1_4*l8+15085*x1_4*l9+1019*x1_5*l1+24653*x1_5*l2+19277*x1_5*l3+29233*x1_5*l4+15694*x1_5*l5+49556*x1_5*l6+5606*x1_5*l7+28273*x1_5*l8+8493*x1_5*l9+51676*x1_6*l1+51572*x1_6*l2+31020*x1_6*l3+53784*x1_6*l4+58130*x1_6*l5+901*x1_6*l6+32307*x1_6*l7+24392*x1_6*l8+8184*x1_6*l9+21107*x1_7*l1+28066*x1_7*l2+64245*x1_7*l3+12398*x1_7*l4+17593*x1_7*l5+4597*x1_7*l6+5526*x1_7*l7+58184*x1_7*l8+62603*x1_7*l9+3598*x1_8*l1+3312*x1_8*l2+24641*x1_8*l3+16563*x1_8*l4+48347*x1_8*l5+1781*x1_8*l6+7211*x1_8*l7+55808*x1_8*l8+4289*x1_8*l9+58423*x1_9*l1+27512*x1_9*l2+25239*x1_9*l3+11633*x1_9*l4+682*x1_9*l5+47907*x1_9*l6+45135*x1_9*l7+30226*x1_9*l8+22504*x1_9*l9+37444*x1_10*l1+29271*x1_10*l2+55396*x1_10*l3+25131*x1_10*l4+62739*x1_10*l5+15065*x1_10*l6+2582*x1_10*l7+33081*x1_10*l8+13380*x1_10*l9, 27971+36240*l1+60238*l2+63162*l3+17911*l4+62565*l5+25257*l6+8927*l7+24193*l8+20080*l9+2851*x1_4+5922*x1_5+54862*x1_6+50258*x1_7+3677*x1_8+7293*x1_9+24158*x1_10+20628*x1_4*l1+19958*x1_4*l2+57310*x1_4*l3+38642*x1_4*l4+46203*x1_4*l5+30792*x1_4*l6+32618*x1_4*l7+33904*x1_4*l8+15476*x1_4*l9+54372*x1_5*l1+60619*x1_5*l2+14304*x1_5*l3+9480*x1_5*l4+13832*x1_5*l5+22618*x1_5*l6+6228*x1_5*l7+2417*x1_5*l8+18214*x1_5*l9+47364*x1_6*l1+36690*x1_6*l2+47803*x1_6*l3+7475*x1_6*l4+49491*x1_6*l5+30820*x1_6*l6+45473*x1_6*l7+12378*x1_6*l8+4856*x1_6*l9+38073*x1_7*l1+3254*x1_7*l2+40385*x1_7*l3+59544*x1_7*l4+18177*x1_7*l5+4206*x1_7*l6+55364*x1_7*l7+7671*x1_7*l8+26470*x1_7*l9+44034*x1_8*l1+24098*x1_8*l2+53454*x1_8*l3+34079*x1_8*l4+21193*x1_8*l5+41131*x1_8*l6+53660*x1_8*l7+58902*x1_8*l8+62576*x1_8*l9+34645*x1_9*l1+4679*x1_9*l2+7657*x1_9*l3+16254*x1_9*l4+21391*x1_9*l5+40681*x1_9*l6+28613*x1_9*l7+49984*x1_9*l8+24903*x1_9*l9+15605*x1_10*l1+15710*x1_10*l2+53097*x1_10*l3+43358*x1_10*l4+56716*x1_10*l5+15659*x1_10*l6+5651*x1_10*l7+20352*x1_10*l8+4802*x1_10*l9, 12399+61635*x2_10*l2+27182*x2_10*l4+55443*x2_10*l3+11198*l1+13536*l2+54883*l3+7285*l4+13580*l5+17698*l6+57380*l7+3632*l8+24904*l9+64785*x2_10*l5+47403*x2_10*l7+58790*x2_10*l6+54976*x2_10*l8+13499*x2_10*l9+11018*x2_4+14557*x2_5+56664*x2_6+97*x2_7+52146*x2_8+9254*x2_9+44484*x2_10+26262*x2_4*l1+63835*x2_4*l2+30576*x2_4*l3+17517*x2_4*l4+31355*x2_4*l5+55596*x2_4*l6+44324*x2_4*l7+32990*x2_4*l8+26236*x2_4*l9+51693*x2_5*l1+26413*x2_5*l2+48310*x2_5*l3+10357*x2_5*l4+50257*x2_5*l5+11986*x2_5*l6+55489*x2_5*l7+4454*x2_5*l8+29825*x2_5*l9+31304*x2_6*l1+36337*x2_6*l2+56912*x2_6*l3+42399*x2_6*l4+40795*x2_6*l5+56307*x2_6*l6+32995*x2_6*l7+26473*x2_6*l8+45428*x2_6*l9+62101*x2_7*l1+37591*x2_7*l2+16892*x2_7*l3+50441*x2_7*l4+16360*x2_7*l5+12579*x2_7*l6+32232*x2_7*l7+9119*x2_7*l8+36587*x2_7*l9+59888*x2_8*l1+5025*x2_8*l2+49445*x2_8*l3+25454*x2_8*l4+7816*x2_8*l5+8997*x2_8*l6+2236*x2_8*l7+45022*x2_8*l8+20770*x2_8*l9+62623*x2_9*l1+17649*x2_9*l2+16471*x2_9*l3+26376*x2_9*l4+55299*x2_9*l5+2829*x2_9*l6+48105*x2_9*l7+40308*x2_9*l8+19824*x2_9*l9+42209*x2_10*l1, 29139+64716*x2_10*l2+7928*x2_10*l4+62433*x2_10*l3+10548*l1+17084*l2+40464*l3+6536*l4+5563*l5+23150*l6+26570*l7+52155*l8+32800*l9+36611*x2_10*l5+45038*x2_10*l7+39628*x2_10*l6+37649*x2_10*l8+7955*x2_10*l9+28557*x2_4+57917*x2_5+39579*x2_6+25286*x2_7+20219*x2_8+51555*x2_9+24023*x2_10+41825*x2_4*l1+1300*x2_4*l2+45417*x2_4*l3+43239*x2_4*l4+13835*x2_4*l5+39049*x2_4*l6+6358*x2_4*l7+27993*x2_4*l8+26005*x2_4*l9+47684*x2_5*l1+60885*x2_5*l2+3022*x2_5*l3+31799*x2_5*l4+50223*x2_5*l5+36132*x2_5*l6+17104*x2_5*l7+44198*x2_5*l8+58156*x2_5*l9+47484*x2_6*l1+56873*x2_6*l2+18607*x2_6*l3+39590*x2_6*l4+3430*x2_6*l5+49596*x2_6*l6+22451*x2_6*l7+25319*x2_6*l8+6947*x2_6*l9+23682*x2_7*l1+62724*x2_7*l2+34553*x2_7*l3+21531*x2_7*l4+52493*x2_7*l5+48001*x2_7*l6+18138*x2_7*l7+56523*x2_7*l8+6680*x2_7*l9+24648*x2_8*l1+18932*x2_8*l2+47341*x2_8*l3+36965*x2_8*l4+50707*x2_8*l5+14393*x2_8*l6+42152*x2_8*l7+48187*x2_8*l8+16889*x2_8*l9+56535*x2_9*l1+51360*x2_9*l2+36802*x2_9*l3+25447*x2_9*l4+38141*x2_9*l5+38658*x2_9*l6+18900*x2_9*l7+48913*x2_9*l8+18109*x2_9*l9+28324*x2_10*l1, 48036+3234*x2_10*l2+36002*x2_10*l4+50641*x2_10*l3+17005*l1+60391*l2+31742*l3+50215*l4+33051*l5+54644*l6+4938*l7+53498*l8+48574*l9+63798*x2_10*l5+64664*x2_10*l7+56777*x2_10*l6+7630*x2_10*l8+26455*x2_10*l9+7731*x2_4+17777*x2_5+7831*x2_6+23441*x2_7+10698*x2_8+1399*x2_9+50532*x2_10+44467*x2_4*l1+22497*x2_4*l2+12745*x2_4*l3+35856*x2_4*l4+19967*x2_4*l5+1212*x2_4*l6+59465*x2_4*l7+2984*x2_4*l8+33549*x2_4*l9+15375*x2_5*l1+31460*x2_5*l2+28320*x2_5*l3+10851*x2_5*l4+56408*x2_5*l5+221*x2_5*l6+47964*x2_5*l7+24792*x2_5*l8+7108*x2_5*l9+22940*x2_6*l1+9372*x2_6*l2+26613*x2_6*l3+64951*x2_6*l4+22721*x2_6*l5+10080*x2_6*l6+46555*x2_6*l7+31550*x2_6*l8+20067*x2_6*l9+31282*x2_7*l1+51520*x2_7*l2+17846*x2_7*l3+46284*x2_7*l4+20072*x2_7*l5+4787*x2_7*l6+18950*x2_7*l7+48269*x2_7*l8+33525*x2_7*l9+45954*x2_8*l1+44444*x2_8*l2+29456*x2_8*l3+27568*x2_8*l4+33444*x2_8*l5+58686*x2_8*l6+53194*x2_8*l7+62965*x2_8*l8+48443*x2_8*l9+16104*x2_9*l1+15999*x2_9*l2+40684*x2_9*l3+13621*x2_9*l4+30457*x2_9*l5+15370*x2_9*l6+24383*x2_9*l7+61744*x2_9*l8+16531*x2_9*l9+4012*x2_10*l1, 26805+17123*x2_10*l2+24591*x2_10*l4+33750*x2_10*l3+46503*l1+26140*l2+1373*l3+36329*l4+54737*l5+46034*l6+11552*l7+10779*l8+16426*l9+50096*x2_10*l5+898*x2_10*l7+2032*x2_10*l6+22165*x2_10*l8+50338*x2_10*l9+24266*x2_4+4850*x2_5+56089*x2_6+50563*x2_7+24659*x2_8+61905*x2_9+30581*x2_10+29544*x2_4*l1+11073*x2_4*l2+7995*x2_4*l3+31466*x2_4*l4+47968*x2_4*l5+35878*x2_4*l6+55508*x2_4*l7+682*x2_4*l8+23836*x2_4*l9+44873*x2_5*l1+15275*x2_5*l2+34249*x2_5*l3+42667*x2_5*l4+50143*x2_5*l5+40934*x2_5*l6+48990*x2_5*l7+35481*x2_5*l8+39032*x2_5*l9+58416*x2_6*l1+27451*x2_6*l2+2192*x2_6*l3+61731*x2_6*l4+61262*x2_6*l5+24304*x2_6*l6+58431*x2_6*l7+18359*x2_6*l8+64742*x2_6*l9+20411*x2_7*l1+57042*x2_7*l2+13581*x2_7*l3+9579*x2_7*l4+18195*x2_7*l5+10166*x2_7*l6+33777*x2_7*l7+25646*x2_7*l8+8719*x2_7*l9+19652*x2_8*l1+49695*x2_8*l2+4619*x2_8*l3+11662*x2_8*l4+31987*x2_8*l5+55776*x2_8*l6+52464*x2_8*l7+30372*x2_8*l8+24818*x2_8*l9+23800*x2_9*l1+46676*x2_9*l2+62201*x2_9*l3+23965*x2_9*l4+32453*x2_9*l5+35553*x2_9*l6+51554*x2_9*l7+21082*x2_9*l8+34356*x2_9*l9+59936*x2_10*l1, 43392+6906*x2_10*l2+22309*x2_10*l4+1410*x2_10*l3+38784*l1+40820*l2+42623*l3+25777*l4+26695*l5+10074*l6+55609*l7+6481*l8+13432*l9+64989*x2_10*l5+18226*x2_10*l7+41301*x2_10*l6+21779*x2_10*l8+56088*x2_10*l9+61437*x2_4+43403*x2_5+13982*x2_6+47274*x2_7+47380*x2_8+1517*x2_9+42685*x2_10+26504*x2_4*l1+26663*x2_4*l2+17286*x2_4*l3+47201*x2_4*l4+9268*x2_4*l5+27030*x2_4*l6+49320*x2_4*l7+61765*x2_4*l8+11851*x2_4*l9+46440*x2_5*l1+50635*x2_5*l2+4676*x2_5*l3+12001*x2_5*l4+19845*x2_5*l5+24600*x2_5*l6+12776*x2_5*l7+9900*x2_5*l8+8459*x2_5*l9+1274*x2_6*l1+4202*x2_6*l2+30169*x2_6*l3+48694*x2_6*l4+53855*x2_6*l5+13946*x2_6*l6+59003*x2_6*l7+39486*x2_6*l8+3026*x2_6*l9+34879*x2_7*l1+31451*x2_7*l2+8018*x2_7*l3+61198*x2_7*l4+18941*x2_7*l5+64759*x2_7*l6+31185*x2_7*l7+31481*x2_7*l8+2642*x2_7*l9+52778*x2_8*l1+56358*x2_8*l2+4852*x2_8*l3+48360*x2_8*l4+39298*x2_8*l5+43848*x2_8*l6+10650*x2_8*l7+35766*x2_8*l8+44099*x2_8*l9+51384*x2_9*l1+39824*x2_9*l2+18292*x2_9*l3+43933*x2_9*l4+2578*x2_9*l5+52285*x2_9*l6+3041*x2_9*l7+13908*x2_9*l8+53564*x2_9*l9+51635*x2_10*l1, 57083+26483*x2_10*l2+18064*x2_10*l4+35894*x2_10*l3+173*l1+40525*l2+37007*l3+20790*l4+25940*l5+27515*l6+41292*l7+43893*l8+8966*l9+38960*x2_10*l5+21882*x2_10*l7+6385*x2_10*l6+32438*x2_10*l8+15204*x2_10*l9+10603*x2_4+45805*x2_5+24084*x2_6+48031*x2_7+44720*x2_8+20054*x2_9+41583*x2_10+49260*x2_4*l1+44561*x2_4*l2+8510*x2_4*l3+8641*x2_4*l4+4414*x2_4*l5+39228*x2_4*l6+31106*x2_4*l7+34463*x2_4*l8+22608*x2_4*l9+10187*x2_5*l1+10385*x2_5*l2+20264*x2_5*l3+46502*x2_5*l4+24230*x2_5*l5+28559*x2_5*l6+54190*x2_5*l7+34483*x2_5*l8+35686*x2_5*l9+41480*x2_6*l1+40754*x2_6*l2+1532*x2_6*l3+999*x2_6*l4+138*x2_6*l5+60898*x2_6*l6+30599*x2_6*l7+57410*x2_6*l8+36772*x2_6*l9+56817*x2_7*l1+44523*x2_7*l2+34612*x2_7*l3+450*x2_7*l4+63560*x2_7*l5+26162*x2_7*l6+50033*x2_7*l7+37030*x2_7*l8+50435*x2_7*l9+1460*x2_8*l1+43809*x2_8*l2+23709*x2_8*l3+508*x2_8*l4+8814*x2_8*l5+34478*x2_8*l6+17708*x2_8*l7+55637*x2_8*l8+50525*x2_8*l9+18852*x2_9*l1+48245*x2_9*l2+56619*x2_9*l3+43581*x2_9*l4+56491*x2_9*l5+39025*x2_9*l6+23138*x2_9*l7+13237*x2_9*l8+16996*x2_9*l9+38743*x2_10*l1, 10176+34272*x2_10*l2+48187*x2_10*l4+30116*x2_10*l3+8625*l1+42377*l2+6996*l3+55315*l4+4162*l5+63218*l6+16457*l7+54448*l8+3579*l9+59825*x2_10*l5+26994*x2_10*l7+35599*x2_10*l6+7230*x2_10*l8+26543*x2_10*l9+26204*x2_4+14639*x2_5+24836*x2_6+2509*x2_7+59079*x2_8+56898*x2_9+4925*x2_10+1828*x2_4*l1+38499*x2_4*l2+3877*x2_4*l3+53433*x2_4*l4+44980*x2_4*l5+12788*x2_4*l6+44165*x2_4*l7+35351*x2_4*l8+49994*x2_4*l9+34507*x2_5*l1+12300*x2_5*l2+60585*x2_5*l3+30826*x2_5*l4+63182*x2_5*l5+43795*x2_5*l6+59221*x2_5*l7+60143*x2_5*l8+59177*x2_5*l9+64350*x2_6*l1+31062*x2_6*l2+3544*x2_6*l3+27224*x2_6*l4+2954*x2_6*l5+25938*x2_6*l6+13575*x2_6*l7+33398*x2_6*l8+29985*x2_6*l9+38535*x2_7*l1+23308*x2_7*l2+15552*x2_7*l3+11621*x2_7*l4+39343*x2_7*l5+29449*x2_7*l6+28169*x2_7*l7+60995*x2_7*l8+41883*x2_7*l9+12891*x2_8*l1+63780*x2_8*l2+61357*x2_8*l3+64607*x2_8*l4+32239*x2_8*l5+64880*x2_8*l6+28739*x2_8*l7+15794*x2_8*l8+53862*x2_8*l9+2812*x2_9*l1+33755*x2_9*l2+25794*x2_9*l3+57448*x2_9*l4+35996*x2_9*l5+21159*x2_9*l6+63988*x2_9*l7+49759*x2_9*l8+43156*x2_9*l9+18139*x2_10*l1, 60214+38855*x2_10*l2+36329*x2_10*l4+12192*x2_10*l3+11616*l1+60605*l2+53102*l3+3042*l4+30041*l5+28711*l6+9514*l7+2135*l8+61075*l9+1303*x2_10*l5+43574*x2_10*l7+46925*x2_10*l6+32591*x2_10*l8+41605*x2_10*l9+42171*x2_4+43247*x2_5+23887*x2_6+58361*x2_7+51237*x2_8+12586*x2_9+44163*x2_10+50952*x2_4*l1+51131*x2_4*l2+12541*x2_4*l3+27146*x2_4*l4+52696*x2_4*l5+54733*x2_4*l6+26825*x2_4*l7+19943*x2_4*l8+62653*x2_4*l9+34077*x2_5*l1+35245*x2_5*l2+29794*x2_5*l3+26925*x2_5*l4+58154*x2_5*l5+21210*x2_5*l6+40629*x2_5*l7+49314*x2_5*l8+59728*x2_5*l9+17037*x2_6*l1+15821*x2_6*l2+37268*x2_6*l3+243*x2_6*l4+16765*x2_6*l5+39022*x2_6*l6+22030*x2_6*l7+45683*x2_6*l8+56706*x2_6*l9+41836*x2_7*l1+64572*x2_7*l2+12616*x2_7*l3+36370*x2_7*l4+11099*x2_7*l5+37190*x2_7*l6+47687*x2_7*l7+17770*x2_7*l8+5290*x2_7*l9+29006*x2_8*l1+17743*x2_8*l2+12987*x2_8*l3+59374*x2_8*l4+17401*x2_8*l5+17738*x2_8*l6+14345*x2_8*l7+21816*x2_8*l8+52298*x2_8*l9+49654*x2_9*l1+43138*x2_9*l2+36*x2_9*l3+1401*x2_9*l4+2655*x2_9*l5+49156*x2_9*l6+63816*x2_9*l7+14657*x2_9*l8+10397*x2_9*l9+19184*x2_10*l1, 46920+29271*x2_10*l2+25131*x2_10*l4+55396*x2_10*l3+55060*l1+3464*l2+19089*l3+38109*l4+60351*l5+23157*l6+13265*l7+47617*l8+35599*l9+62739*x2_10*l5+2582*x2_10*l7+15065*x2_10*l6+33081*x2_10*l8+13380*x2_10*l9+56461*x2_4+41903*x2_5+2139*x2_6+51495*x2_7+50720*x2_8+39350*x2_9+64227*x2_10+30768*x2_4*l1+42285*x2_4*l2+37143*x2_4*l3+54490*x2_4*l4+55971*x2_4*l5+36816*x2_4*l6+11570*x2_4*l7+33506*x2_4*l8+15085*x2_4*l9+1019*x2_5*l1+24653*x2_5*l2+19277*x2_5*l3+29233*x2_5*l4+15694*x2_5*l5+49556*x2_5*l6+5606*x2_5*l7+28273*x2_5*l8+8493*x2_5*l9+51676*x2_6*l1+51572*x2_6*l2+31020*x2_6*l3+53784*x2_6*l4+58130*x2_6*l5+901*x2_6*l6+32307*x2_6*l7+24392*x2_6*l8+8184*x2_6*l9+21107*x2_7*l1+28066*x2_7*l2+64245*x2_7*l3+12398*x2_7*l4+17593*x2_7*l5+4597*x2_7*l6+5526*x2_7*l7+58184*x2_7*l8+62603*x2_7*l9+3598*x2_8*l1+3312*x2_8*l2+24641*x2_8*l3+16563*x2_8*l4+48347*x2_8*l5+1781*x2_8*l6+7211*x2_8*l7+55808*x2_8*l8+4289*x2_8*l9+58423*x2_9*l1+27512*x2_9*l2+25239*x2_9*l3+11633*x2_9*l4+682*x2_9*l5+47907*x2_9*l6+45135*x2_9*l7+30226*x2_9*l8+22504*x2_9*l9+37444*x2_10*l1, 31352+15710*x2_10*l2+43358*x2_10*l4+53097*x2_10*l3+2708*l1+61977*l2+65390*l3+363*l4+218*l5+10692*l6+33374*l7+16206*l8+56555*l9+56716*x2_10*l5+5651*x2_10*l7+15659*x2_10*l6+20352*x2_10*l8+4802*x2_10*l9+2851*x2_4+5922*x2_5+54862*x2_6+50258*x2_7+3677*x2_8+7293*x2_9+24158*x2_10+20628*x2_4*l1+19958*x2_4*l2+57310*x2_4*l3+38642*x2_4*l4+46203*x2_4*l5+30792*x2_4*l6+32618*x2_4*l7+33904*x2_4*l8+15476*x2_4*l9+54372*x2_5*l1+60619*x2_5*l2+14304*x2_5*l3+9480*x2_5*l4+13832*x2_5*l5+22618*x2_5*l6+6228*x2_5*l7+2417*x2_5*l8+18214*x2_5*l9+47364*x2_6*l1+36690*x2_6*l2+47803*x2_6*l3+7475*x2_6*l4+49491*x2_6*l5+30820*x2_6*l6+45473*x2_6*l7+12378*x2_6*l8+4856*x2_6*l9+38073*x2_7*l1+3254*x2_7*l2+40385*x2_7*l3+59544*x2_7*l4+18177*x2_7*l5+4206*x2_7*l6+55364*x2_7*l7+7671*x2_7*l8+26470*x2_7*l9+44034*x2_8*l1+24098*x2_8*l2+53454*x2_8*l3+34079*x2_8*l4+21193*x2_8*l5+41131*x2_8*l6+53660*x2_8*l7+58902*x2_8*l8+62576*x2_8*l9+34645*x2_9*l1+4679*x2_9*l2+7657*x2_9*l3+16254*x2_9*l4+21391*x2_9*l5+40681*x2_9*l6+28613*x2_9*l7+49984*x2_9*l8+24903*x2_9*l9+15605*x2_10*l1, 44392+15181*l1+9987*l2+35709*l3+30126*l4+46560*l5+13647*l6+27115*l7+28554*l8+58545*l9+40795*x3_6*l5+32995*x3_6*l7+56307*x3_6*l6+11018*x3_4+14557*x3_5+56664*x3_6+97*x3_7+52146*x3_8+9254*x3_9+44484*x3_10+26262*x3_4*l1+63835*x3_4*l2+30576*x3_4*l3+17517*x3_4*l4+31355*x3_4*l5+55596*x3_4*l6+44324*x3_4*l7+32990*x3_4*l8+26236*x3_4*l9+51693*x3_5*l1+26413*x3_5*l2+48310*x3_5*l3+10357*x3_5*l4+50257*x3_5*l5+11986*x3_5*l6+55489*x3_5*l7+4454*x3_5*l8+29825*x3_5*l9+31304*x3_6*l1+36337*x3_6*l2+56912*x3_6*l3+42399*x3_6*l4+26473*x3_6*l8+45428*x3_6*l9+62101*x3_7*l1+37591*x3_7*l2+16892*x3_7*l3+50441*x3_7*l4+16360*x3_7*l5+12579*x3_7*l6+32232*x3_7*l7+9119*x3_7*l8+36587*x3_7*l9+59888*x3_8*l1+5025*x3_8*l2+49445*x3_8*l3+25454*x3_8*l4+7816*x3_8*l5+8997*x3_8*l6+2236*x3_8*l7+45022*x3_8*l8+20770*x3_8*l9+62623*x3_9*l1+17649*x3_9*l2+16471*x3_9*l3+26376*x3_9*l4+55299*x3_9*l5+2829*x3_9*l6+48105*x3_9*l7+40308*x3_9*l8+19824*x3_9*l9+42209*x3_10*l1+61635*x3_10*l2+55443*x3_10*l3+27182*x3_10*l4+64785*x3_10*l5+58790*x3_10*l6+47403*x3_10*l7+54976*x3_10*l8+13499*x3_10*l9, 12572+5634*l1+51057*l2+51651*l3+54191*l4+12058*l5+5809*l6+49250*l7+33595*l8+43534*l9+3430*x3_6*l5+22451*x3_6*l7+49596*x3_6*l6+28557*x3_4+57917*x3_5+39579*x3_6+25286*x3_7+20219*x3_8+51555*x3_9+24023*x3_10+41825*x3_4*l1+1300*x3_4*l2+45417*x3_4*l3+43239*x3_4*l4+13835*x3_4*l5+39049*x3_4*l6+6358*x3_4*l7+27993*x3_4*l8+26005*x3_4*l9+47684*x3_5*l1+60885*x3_5*l2+3022*x3_5*l3+31799*x3_5*l4+50223*x3_5*l5+36132*x3_5*l6+17104*x3_5*l7+44198*x3_5*l8+58156*x3_5*l9+47484*x3_6*l1+56873*x3_6*l2+18607*x3_6*l3+39590*x3_6*l4+25319*x3_6*l8+6947*x3_6*l9+23682*x3_7*l1+62724*x3_7*l2+34553*x3_7*l3+21531*x3_7*l4+52493*x3_7*l5+48001*x3_7*l6+18138*x3_7*l7+56523*x3_7*l8+6680*x3_7*l9+24648*x3_8*l1+18932*x3_8*l2+47341*x3_8*l3+36965*x3_8*l4+50707*x3_8*l5+14393*x3_8*l6+42152*x3_8*l7+48187*x3_8*l8+16889*x3_8*l9+56535*x3_9*l1+51360*x3_9*l2+36802*x3_9*l3+25447*x3_9*l4+38141*x3_9*l5+38658*x3_9*l6+18900*x3_9*l7+48913*x3_9*l8+18109*x3_9*l9+28324*x3_10*l1+64716*x3_10*l2+62433*x3_10*l3+7928*x3_10*l4+36611*x3_10*l5+39628*x3_10*l6+45038*x3_10*l7+37649*x3_10*l8+7955*x3_10*l9, 16370+20829*l1+60601*l2+31451*l3+24285*l4+41811*l5+51768*l6+49400*l7+8806*l8+13447*l9+22721*x3_6*l5+46555*x3_6*l7+10080*x3_6*l6+7731*x3_4+17777*x3_5+7831*x3_6+23441*x3_7+10698*x3_8+1399*x3_9+50532*x3_10+44467*x3_4*l1+22497*x3_4*l2+12745*x3_4*l3+35856*x3_4*l4+19967*x3_4*l5+1212*x3_4*l6+59465*x3_4*l7+2984*x3_4*l8+33549*x3_4*l9+15375*x3_5*l1+31460*x3_5*l2+28320*x3_5*l3+10851*x3_5*l4+56408*x3_5*l5+221*x3_5*l6+47964*x3_5*l7+24792*x3_5*l8+7108*x3_5*l9+22940*x3_6*l1+9372*x3_6*l2+26613*x3_6*l3+64951*x3_6*l4+31550*x3_6*l8+20067*x3_6*l9+31282*x3_7*l1+51520*x3_7*l2+17846*x3_7*l3+46284*x3_7*l4+20072*x3_7*l5+4787*x3_7*l6+18950*x3_7*l7+48269*x3_7*l8+33525*x3_7*l9+45954*x3_8*l1+44444*x3_8*l2+29456*x3_8*l3+27568*x3_8*l4+33444*x3_8*l5+58686*x3_8*l6+53194*x3_8*l7+62965*x3_8*l8+48443*x3_8*l9+16104*x3_9*l1+15999*x3_9*l2+40684*x3_9*l3+13621*x3_9*l4+30457*x3_9*l5+15370*x3_9*l6+24383*x3_9*l7+61744*x3_9*l8+16531*x3_9*l9+4012*x3_10*l1+3234*x3_10*l2+50641*x3_10*l3+36002*x3_10*l4+63798*x3_10*l5+56777*x3_10*l6+64664*x3_10*l7+7630*x3_10*l8+26455*x3_10*l9, 13601+53062*l1+14881*l2+663*l3+62008*l4+13750*l5+8835*l6+32699*l7+14215*l8+12568*l9+61262*x3_6*l5+58431*x3_6*l7+24304*x3_6*l6+24266*x3_4+4850*x3_5+56089*x3_6+50563*x3_7+24659*x3_8+61905*x3_9+30581*x3_10+29544*x3_4*l1+11073*x3_4*l2+7995*x3_4*l3+31466*x3_4*l4+47968*x3_4*l5+35878*x3_4*l6+55508*x3_4*l7+682*x3_4*l8+23836*x3_4*l9+44873*x3_5*l1+15275*x3_5*l2+34249*x3_5*l3+42667*x3_5*l4+50143*x3_5*l5+40934*x3_5*l6+48990*x3_5*l7+35481*x3_5*l8+39032*x3_5*l9+58416*x3_6*l1+27451*x3_6*l2+2192*x3_6*l3+61731*x3_6*l4+18359*x3_6*l8+64742*x3_6*l9+20411*x3_7*l1+57042*x3_7*l2+13581*x3_7*l3+9579*x3_7*l4+18195*x3_7*l5+10166*x3_7*l6+33777*x3_7*l7+25646*x3_7*l8+8719*x3_7*l9+19652*x3_8*l1+49695*x3_8*l2+4619*x3_8*l3+11662*x3_8*l4+31987*x3_8*l5+55776*x3_8*l6+52464*x3_8*l7+30372*x3_8*l8+24818*x3_8*l9+23800*x3_9*l1+46676*x3_9*l2+62201*x3_9*l3+23965*x3_9*l4+32453*x3_9*l5+35553*x3_9*l6+51554*x3_9*l7+21082*x3_9*l8+34356*x3_9*l9+59936*x3_10*l1+17123*x3_10*l2+33750*x3_10*l3+24591*x3_10*l4+50096*x3_10*l5+2032*x3_10*l6+898*x3_10*l7+22165*x3_10*l8+50338*x3_10*l9, 42426+62418*l1+39354*l2+39871*l3+42071*l4+32767*l5+24623*l6+26906*l7+53046*l8+37153*l9+53855*x3_6*l5+59003*x3_6*l7+13946*x3_6*l6+61437*x3_4+43403*x3_5+13982*x3_6+47274*x3_7+47380*x3_8+1517*x3_9+42685*x3_10+26504*x3_4*l1+26663*x3_4*l2+17286*x3_4*l3+47201*x3_4*l4+9268*x3_4*l5+27030*x3_4*l6+49320*x3_4*l7+61765*x3_4*l8+11851*x3_4*l9+46440*x3_5*l1+50635*x3_5*l2+4676*x3_5*l3+12001*x3_5*l4+19845*x3_5*l5+24600*x3_5*l6+12776*x3_5*l7+9900*x3_5*l8+8459*x3_5*l9+1274*x3_6*l1+4202*x3_6*l2+30169*x3_6*l3+48694*x3_6*l4+39486*x3_6*l8+3026*x3_6*l9+34879*x3_7*l1+31451*x3_7*l2+8018*x3_7*l3+61198*x3_7*l4+18941*x3_7*l5+64759*x3_7*l6+31185*x3_7*l7+31481*x3_7*l8+2642*x3_7*l9+52778*x3_8*l1+56358*x3_8*l2+4852*x3_8*l3+48360*x3_8*l4+39298*x3_8*l5+43848*x3_8*l6+10650*x3_8*l7+35766*x3_8*l8+44099*x3_8*l9+51384*x3_9*l1+39824*x3_9*l2+18292*x3_9*l3+43933*x3_9*l4+2578*x3_9*l5+52285*x3_9*l6+3041*x3_9*l7+13908*x3_9*l8+53564*x3_9*l9+51635*x3_10*l1+6906*x3_10*l2+1410*x3_10*l3+22309*x3_10*l4+64989*x3_10*l5+41301*x3_10*l6+18226*x3_10*l7+21779*x3_10*l8+56088*x3_10*l9, 62317+38526*l1+28307*l2+51283*l3+32577*l4+21901*l5+63079*l6+27508*l7+58531*l8+32213*l9+138*x3_6*l5+30599*x3_6*l7+60898*x3_6*l6+10603*x3_4+45805*x3_5+24084*x3_6+48031*x3_7+44720*x3_8+20054*x3_9+41583*x3_10+49260*x3_4*l1+44561*x3_4*l2+8510*x3_4*l3+8641*x3_4*l4+4414*x3_4*l5+39228*x3_4*l6+31106*x3_4*l7+34463*x3_4*l8+22608*x3_4*l9+10187*x3_5*l1+10385*x3_5*l2+20264*x3_5*l3+46502*x3_5*l4+24230*x3_5*l5+28559*x3_5*l6+54190*x3_5*l7+34483*x3_5*l8+35686*x3_5*l9+41480*x3_6*l1+40754*x3_6*l2+1532*x3_6*l3+999*x3_6*l4+57410*x3_6*l8+36772*x3_6*l9+56817*x3_7*l1+44523*x3_7*l2+34612*x3_7*l3+450*x3_7*l4+63560*x3_7*l5+26162*x3_7*l6+50033*x3_7*l7+37030*x3_7*l8+50435*x3_7*l9+1460*x3_8*l1+43809*x3_8*l2+23709*x3_8*l3+508*x3_8*l4+8814*x3_8*l5+34478*x3_8*l6+17708*x3_8*l7+55637*x3_8*l8+50525*x3_8*l9+18852*x3_9*l1+48245*x3_9*l2+56619*x3_9*l3+43581*x3_9*l4+56491*x3_9*l5+39025*x3_9*l6+23138*x3_9*l7+13237*x3_9*l8+16996*x3_9*l9+38743*x3_10*l1+26483*x3_10*l2+35894*x3_10*l3+18064*x3_10*l4+38960*x3_10*l5+6385*x3_10*l6+21882*x3_10*l7+32438*x3_10*l8+15204*x3_10*l9, 32473+13160*l1+44595*l2+20256*l3+42637*l4+45303*l5+20940*l6+16518*l7+2756*l8+38603*l9+2954*x3_6*l5+13575*x3_6*l7+25938*x3_6*l6+26204*x3_4+14639*x3_5+24836*x3_6+2509*x3_7+59079*x3_8+56898*x3_9+4925*x3_10+1828*x3_4*l1+38499*x3_4*l2+3877*x3_4*l3+53433*x3_4*l4+44980*x3_4*l5+12788*x3_4*l6+44165*x3_4*l7+35351*x3_4*l8+49994*x3_4*l9+34507*x3_5*l1+12300*x3_5*l2+60585*x3_5*l3+30826*x3_5*l4+63182*x3_5*l5+43795*x3_5*l6+59221*x3_5*l7+60143*x3_5*l8+59177*x3_5*l9+64350*x3_6*l1+31062*x3_6*l2+3544*x3_6*l3+27224*x3_6*l4+33398*x3_6*l8+29985*x3_6*l9+38535*x3_7*l1+23308*x3_7*l2+15552*x3_7*l3+11621*x3_7*l4+39343*x3_7*l5+29449*x3_7*l6+28169*x3_7*l7+60995*x3_7*l8+41883*x3_7*l9+12891*x3_8*l1+63780*x3_8*l2+61357*x3_8*l3+64607*x3_8*l4+32239*x3_8*l5+64880*x3_8*l6+28739*x3_8*l7+15794*x3_8*l8+53862*x3_8*l9+2812*x3_9*l1+33755*x3_9*l2+25794*x3_9*l3+57448*x3_9*l4+35996*x3_9*l5+21159*x3_9*l6+63988*x3_9*l7+49759*x3_9*l8+43156*x3_9*l9+18139*x3_10*l1+34272*x3_10*l2+30116*x3_10*l3+48187*x3_10*l4+59825*x3_10*l5+35599*x3_10*l6+26994*x3_10*l7+7230*x3_10*l8+26543*x3_10*l9, 375+61227*l1+421*l2+62251*l3+25191*l4+16032*l5+38311*l6+8896*l7+39788*l8+36428*l9+16765*x3_6*l5+22030*x3_6*l7+39022*x3_6*l6+42171*x3_4+43247*x3_5+23887*x3_6+58361*x3_7+51237*x3_8+12586*x3_9+44163*x3_10+50952*x3_4*l1+51131*x3_4*l2+12541*x3_4*l3+27146*x3_4*l4+52696*x3_4*l5+54733*x3_4*l6+26825*x3_4*l7+19943*x3_4*l8+62653*x3_4*l9+34077*x3_5*l1+35245*x3_5*l2+29794*x3_5*l3+26925*x3_5*l4+58154*x3_5*l5+21210*x3_5*l6+40629*x3_5*l7+49314*x3_5*l8+59728*x3_5*l9+17037*x3_6*l1+15821*x3_6*l2+37268*x3_6*l3+243*x3_6*l4+45683*x3_6*l8+56706*x3_6*l9+41836*x3_7*l1+64572*x3_7*l2+12616*x3_7*l3+36370*x3_7*l4+11099*x3_7*l5+37190*x3_7*l6+47687*x3_7*l7+17770*x3_7*l8+5290*x3_7*l9+29006*x3_8*l1+17743*x3_8*l2+12987*x3_8*l3+59374*x3_8*l4+17401*x3_8*l5+17738*x3_8*l6+14345*x3_8*l7+21816*x3_8*l8+52298*x3_8*l9+49654*x3_9*l1+43138*x3_9*l2+36*x3_9*l3+1401*x3_9*l4+2655*x3_9*l5+49156*x3_9*l6+63816*x3_9*l7+14657*x3_9*l8+10397*x3_9*l9+19184*x3_10*l1+38855*x3_10*l2+12192*x3_10*l3+36329*x3_10*l4+1303*x3_10*l5+46925*x3_10*l6+43574*x3_10*l7+32591*x3_10*l8+41605*x3_10*l9, 56133+333*l1+6952*l2+2367*l3+12093*l4+57697*l5+64662*l6+45033*l7+13837*l8+14429*l9+58130*x3_6*l5+32307*x3_6*l7+901*x3_6*l6+56461*x3_4+41903*x3_5+2139*x3_6+51495*x3_7+50720*x3_8+39350*x3_9+64227*x3_10+30768*x3_4*l1+42285*x3_4*l2+37143*x3_4*l3+54490*x3_4*l4+55971*x3_4*l5+36816*x3_4*l6+11570*x3_4*l7+33506*x3_4*l8+15085*x3_4*l9+1019*x3_5*l1+24653*x3_5*l2+19277*x3_5*l3+29233*x3_5*l4+15694*x3_5*l5+49556*x3_5*l6+5606*x3_5*l7+28273*x3_5*l8+8493*x3_5*l9+51676*x3_6*l1+51572*x3_6*l2+31020*x3_6*l3+53784*x3_6*l4+24392*x3_6*l8+8184*x3_6*l9+21107*x3_7*l1+28066*x3_7*l2+64245*x3_7*l3+12398*x3_7*l4+17593*x3_7*l5+4597*x3_7*l6+5526*x3_7*l7+58184*x3_7*l8+62603*x3_7*l9+3598*x3_8*l1+3312*x3_8*l2+24641*x3_8*l3+16563*x3_8*l4+48347*x3_8*l5+1781*x3_8*l6+7211*x3_8*l7+55808*x3_8*l8+4289*x3_8*l9+58423*x3_9*l1+27512*x3_9*l2+25239*x3_9*l3+11633*x3_9*l4+682*x3_9*l5+47907*x3_9*l6+45135*x3_9*l7+30226*x3_9*l8+22504*x3_9*l9+37444*x3_10*l1+29271*x3_10*l2+55396*x3_10*l3+25131*x3_10*l4+62739*x3_10*l5+15065*x3_10*l6+2582*x3_10*l7+33081*x3_10*l8+13380*x3_10*l9, 24102+9513*l1+40858*l2+31320*l3+53427*l4+17514*l5+52088*l6+36847*l7+43848*l8+11884*l9+49491*x3_6*l5+45473*x3_6*l7+30820*x3_6*l6+2851*x3_4+5922*x3_5+54862*x3_6+50258*x3_7+3677*x3_8+7293*x3_9+24158*x3_10+20628*x3_4*l1+19958*x3_4*l2+57310*x3_4*l3+38642*x3_4*l4+46203*x3_4*l5+30792*x3_4*l6+32618*x3_4*l7+33904*x3_4*l8+15476*x3_4*l9+54372*x3_5*l1+60619*x3_5*l2+14304*x3_5*l3+9480*x3_5*l4+13832*x3_5*l5+22618*x3_5*l6+6228*x3_5*l7+2417*x3_5*l8+18214*x3_5*l9+47364*x3_6*l1+36690*x3_6*l2+47803*x3_6*l3+7475*x3_6*l4+12378*x3_6*l8+4856*x3_6*l9+38073*x3_7*l1+3254*x3_7*l2+40385*x3_7*l3+59544*x3_7*l4+18177*x3_7*l5+4206*x3_7*l6+55364*x3_7*l7+7671*x3_7*l8+26470*x3_7*l9+44034*x3_8*l1+24098*x3_8*l2+53454*x3_8*l3+34079*x3_8*l4+21193*x3_8*l5+41131*x3_8*l6+53660*x3_8*l7+58902*x3_8*l8+62576*x3_8*l9+34645*x3_9*l1+4679*x3_9*l2+7657*x3_9*l3+16254*x3_9*l4+21391*x3_9*l5+40681*x3_9*l6+28613*x3_9*l7+49984*x3_9*l8+24903*x3_9*l9+15605*x3_10*l1+15710*x3_10*l2+53097*x3_10*l3+43358*x3_10*l4+56716*x3_10*l5+15659*x3_10*l6+5651*x3_10*l7+20352*x3_10*l8+4802*x3_10*l9]