#vars [x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14]

#weights <2 2 2 2 2 2 2 2 2 2 2 2 1 1>

#list

[
1789*x1^2 + 61165*x1*x2 + 33415*x2^2 + 54494*x1*x3 + 26269*x2*x3 + 13689*x3^2 + 29413*x1*x4 + 13341*x2*x4 + 15652*x3*x4 + 57375*x4^2 + 22182*x1*x5 + 19733*x2*x5 + 53654*x3*x5 + 41286*x4*x5 + 47624*x5^2 + 52467*x1*x6 + 64583*x2*x6 + 59931*x3*x6 + 23216*x4*x6 + 9141*x5*x6 + 46204*x6^2 + 63090*x1*x7 + 56283*x2*x7 + 39576*x3*x7 + 65233*x4*x7 + 16467*x5*x7 + 13420*x6*x7 + 60790*x7^2 + 21716*x1*x8 + 41404*x2*x8 + 50181*x3*x8 + 55998*x4*x8 + 49537*x5*x8 + 14957*x6*x8 + 60259*x7*x8 + 34066*x8^2 + 65148*x1*x9 + 27489*x2*x9 + 7802*x3*x9 + 24953*x4*x9 + 13101*x5*x9 + 9018*x6*x9 + 36622*x7*x9 + 7172*x8*x9 + 12029*x9^2 + 14806*x1*x10 + 56211*x2*x10 + 23447*x3*x10 + 14795*x4*x10 + 4279*x5*x10 + 9112*x6*x10 + 26865*x7*x10 + 58703*x8*x10 + 12367*x9*x10 + 38444*x10^2 + 3971*x1*x11 + 43556*x2*x11 + 44085*x3*x11 + 21777*x4*x11 + 55488*x5*x11 + 3042*x6*x11 + 49075*x7*x11 + 5439*x8*x11 + 18348*x9*x11 + 57231*x10*x11 + 24357*x11^2 + 59699*x1*x12 + 3266*x2*x12 + 18178*x3*x12 + 22370*x4*x12 + 49059*x5*x12 + 7730*x6*x12 + 9187*x7*x12 + 17967*x8*x12 + 37261*x9*x12 + 63419*x10*x12 + 43925*x11*x12 + 61857*x12^2 + 20381*x1*x13^2 + 28790*x2*x13^2 + 39377*x3*x13^2 + 59258*x4*x13^2 + 30565*x5*x13^2 + 44706*x6*x13^2 + 51433*x7*x13^2 + 31772*x8*x13^2 + 19954*x9*x13^2 + 9110*x10*x13^2 + 17463*x11*x13^2 + 42046*x12*x13^2 + 39583*x13^4 + 26998*x1*x13*x14 + 593*x2*x13*x14 + 28310*x3*x13*x14 + 48959*x4*x13*x14 + 53877*x5*x13*x14 + 15430*x6*x13*x14 + 25426*x7*x13*x14 + 36004*x8*x13*x14 + 6936*x9*x13*x14 + 6596*x10*x13*x14 + 63391*x11*x13*x14 + 9097*x12*x13*x14 + 45979*x13^3*x14 + 42651*x1*x14^2 + 58434*x2*x14^2 + 39834*x3*x14^2 + 51750*x4*x14^2 + 54885*x5*x14^2 + 10799*x6*x14^2 + 58782*x7*x14^2 + 2170*x8*x14^2 + 38676*x9*x14^2 + 29192*x10*x14^2 + 63385*x11*x14^2 + 31413*x12*x14^2 + 35524*x13^2*x14^2 + 48206*x13*x14^3 + 50931*x14^4 + 43523*x1*x13 + 59767*x2*x13 + 8412*x3*x13 + 55931*x4*x13 + 22436*x5*x13 + 11803*x6*x13 + 46057*x7*x13 + 27304*x8*x13 + 12811*x9*x13 + 30468*x10*x13 + 46572*x11*x13 + 9234*x12*x13 + 55031*x13^3 + 8071*x1*x14 + 10439*x2*x14 + 17672*x3*x14 + 11665*x4*x14 + 13293*x5*x14 + 16041*x6*x14 + 14365*x7*x14 + 36049*x8*x14 + 1124*x9*x14 + 49676*x10*x14 + 5431*x11*x14 + 20495*x12*x14 + 21200*x13^2*x14 + 25045*x13*x14^2 + 65077*x14^3 + 50031*x1 + 27825*x2 + 5068*x3 + 8084*x4 + 11165*x5 + 57074*x6 + 40961*x7 + 62157*x8 + 8816*x9 + 64969*x10 + 50588*x11 + 58537*x12 + 6109*x13^2 + 26411*x13*x14 + 44586*x14^2 + 8893*x13 + 57121*x14 + 6914,
35875*x1^2 + 51278*x1*x2 + 40027*x2^2 + 26614*x1*x3 + 34898*x2*x3 + 10239*x3^2 + 61952*x1*x4 + 12327*x2*x4 + 37292*x3*x4 + 7118*x4^2 + 10673*x1*x5 + 1353*x2*x5 + 831*x3*x5 + 25714*x4*x5 + 30408*x5^2 + 106*x1*x6 + 21848*x2*x6 + 54197*x3*x6 + 27460*x4*x6 + 31568*x5*x6 + 349*x6^2 + 56094*x1*x7 + 30191*x2*x7 + 46142*x3*x7 + 46659*x4*x7 + 47120*x5*x7 + 28025*x6*x7 + 21094*x7^2 + 43427*x1*x8 + 63640*x2*x8 + 26241*x3*x8 + 44718*x4*x8 + 35040*x5*x8 + 35069*x6*x8 + 37936*x7*x8 + 15889*x8^2 + 15915*x1*x9 + 12912*x2*x9 + 21629*x3*x9 + 19010*x4*x9 + 10557*x5*x9 + 3596*x6*x9 + 13560*x7*x9 + 59942*x8*x9 + 3127*x9^2 + 23420*x1*x10 + 18493*x2*x10 + 45002*x3*x10 + 33978*x4*x10 + 52818*x5*x10 + 46624*x6*x10 + 40912*x7*x10 + 38034*x8*x10 + 48629*x9*x10 + 28617*x10^2 + 31205*x1*x11 + 41110*x2*x11 + 63164*x3*x11 + 45175*x4*x11 + 49270*x5*x11 + 58640*x6*x11 + 20358*x7*x11 + 39508*x8*x11 + 23837*x9*x11 + 16529*x10*x11 + 12008*x11^2 + 38782*x1*x12 + 52048*x2*x12 + 65218*x3*x12 + 35960*x4*x12 + 2272*x5*x12 + 53125*x6*x12 + 19423*x7*x12 + 59370*x8*x12 + 48923*x9*x12 + 21576*x10*x12 + 56982*x11*x12 + 8120*x12^2 + 2827*x1*x13^2 + 60808*x2*x13^2 + 8554*x3*x13^2 + 38242*x4*x13^2 + 2133*x5*x13^2 + 45309*x6*x13^2 + 12893*x7*x13^2 + 41498*x8*x13^2 + 36731*x9*x13^2 + 13217*x10*x13^2 + 22190*x11*x13^2 + 44813*x12*x13^2 + 61703*x13^4 + 54934*x1*x13*x14 + 35958*x2*x13*x14 + 39197*x3*x13*x14 + 1456*x4*x13*x14 + 44548*x5*x13*x14 + 44005*x6*x13*x14 + 49346*x7*x13*x14 + 5044*x8*x13*x14 + 57661*x9*x13*x14 + 5338*x10*x13*x14 + 33135*x11*x13*x14 + 38852*x12*x13*x14 + 29940*x13^3*x14 + 37949*x1*x14^2 + 51702*x2*x14^2 + 29711*x3*x14^2 + 26982*x4*x14^2 + 10509*x5*x14^2 + 49404*x6*x14^2 + 3324*x7*x14^2 + 12559*x8*x14^2 + 14104*x9*x14^2 + 40792*x10*x14^2 + 45488*x11*x14^2 + 16837*x12*x14^2 + 50999*x13^2*x14^2 + 50520*x13*x14^3 + 48688*x14^4 + 28063*x1*x13 + 12726*x2*x13 + 29481*x3*x13 + 9482*x4*x13 + 44779*x5*x13 + 8326*x6*x13 + 63667*x7*x13 + 8794*x8*x13 + 31052*x9*x13 + 38518*x10*x13 + 52210*x11*x13 + 52961*x12*x13 + 62670*x13^3 + 14383*x1*x14 + 18688*x2*x14 + 49954*x3*x14 + 25133*x4*x14 + 41719*x5*x14 + 44392*x6*x14 + 5386*x7*x14 + 55675*x8*x14 + 4612*x9*x14 + 162*x10*x14 + 54721*x11*x14 + 51450*x12*x14 + 36385*x13^2*x14 + 6538*x13*x14^2 + 40376*x14^3 + 41488*x1 + 35385*x2 + 21107*x3 + 12659*x4 + 57699*x5 + 13184*x6 + 10637*x7 + 25026*x8 + 55263*x9 + 62171*x10 + 56153*x11 + 13190*x12 + 13272*x13^2 + 1579*x13*x14 + 59052*x14^2 + 26042*x13 + 37265*x14 + 46956,
31344*x1^2 + 61571*x1*x2 + 4507*x2^2 + 43304*x1*x3 + 47019*x2*x3 + 52373*x3^2 + 27666*x1*x4 + 37698*x2*x4 + 26433*x3*x4 + 38334*x4^2 + 51387*x1*x5 + 32812*x2*x5 + 51518*x3*x5 + 40900*x4*x5 + 60489*x5^2 + 25803*x1*x6 + 22499*x2*x6 + 38388*x3*x6 + 29485*x4*x6 + 44280*x5*x6 + 19220*x6^2 + 53270*x1*x7 + 25313*x2*x7 + 63474*x3*x7 + 46410*x4*x7 + 10473*x5*x7 + 19666*x6*x7 + 44326*x7^2 + 7350*x1*x8 + 26677*x2*x8 + 7776*x3*x8 + 47246*x4*x8 + 16945*x5*x8 + 49891*x6*x8 + 9715*x7*x8 + 39425*x8^2 + 32654*x1*x9 + 46848*x2*x9 + 65027*x3*x9 + 48659*x4*x9 + 51189*x5*x9 + 59851*x6*x9 + 5960*x7*x9 + 32434*x8*x9 + 17241*x9^2 + 9248*x1*x10 + 21477*x2*x10 + 25246*x3*x10 + 1274*x4*x10 + 27376*x5*x10 + 13198*x6*x10 + 406*x7*x10 + 25419*x8*x10 + 57771*x9*x10 + 6653*x10^2 + 36432*x1*x11 + 20063*x2*x11 + 62032*x3*x11 + 40843*x4*x11 + 15905*x5*x11 + 43201*x6*x11 + 15979*x7*x11 + 51199*x8*x11 + 36669*x9*x11 + 61230*x10*x11 + 57484*x11^2 + 697*x1*x12 + 24019*x2*x12 + 53331*x3*x12 + 53499*x4*x12 + 38970*x5*x12 + 54600*x6*x12 + 20646*x7*x12 + 40091*x8*x12 + 41626*x9*x12 + 62659*x10*x12 + 39903*x11*x12 + 47250*x12^2 + 9156*x1*x13^2 + 62446*x2*x13^2 + 24904*x3*x13^2 + 19320*x4*x13^2 + 61465*x5*x13^2 + 29539*x6*x13^2 + 60639*x7*x13^2 + 44339*x8*x13^2 + 20295*x9*x13^2 + 40236*x10*x13^2 + 41434*x11*x13^2 + 58769*x12*x13^2 + 29375*x13^4 + 17813*x1*x13*x14 + 19745*x2*x13*x14 + 39545*x3*x13*x14 + 48490*x4*x13*x14 + 60474*x5*x13*x14 + 54050*x6*x13*x14 + 3419*x7*x13*x14 + 47217*x8*x13*x14 + 20845*x9*x13*x14 + 65419*x10*x13*x14 + 43082*x11*x13*x14 + 45906*x12*x13*x14 + 7926*x13^3*x14 + 12912*x1*x14^2 + 14924*x2*x14^2 + 47523*x3*x14^2 + 13078*x4*x14^2 + 37349*x5*x14^2 + 34705*x6*x14^2 + 54149*x7*x14^2 + 21830*x8*x14^2 + 63250*x9*x14^2 + 46975*x10*x14^2 + 15242*x11*x14^2 + 35878*x12*x14^2 + 64859*x13^2*x14^2 + 26881*x13*x14^3 + 63342*x14^4 + 23633*x1*x13 + 44749*x2*x13 + 6455*x3*x13 + 21805*x4*x13 + 24223*x5*x13 + 42918*x6*x13 + 13122*x7*x13 + 17474*x8*x13 + 63246*x9*x13 + 13064*x10*x13 + 7316*x11*x13 + 42307*x12*x13 + 39642*x13^3 + 59898*x1*x14 + 55077*x2*x14 + 56137*x3*x14 + 12135*x4*x14 + 33537*x5*x14 + 51622*x6*x14 + 33329*x7*x14 + 27651*x8*x14 + 57181*x9*x14 + 33831*x10*x14 + 13517*x11*x14 + 37127*x12*x14 + 15597*x13^2*x14 + 32070*x13*x14^2 + 8748*x14^3 + 34836*x1 + 61842*x2 + 63520*x3 + 46449*x4 + 21921*x5 + 23552*x6 + 34671*x7 + 40239*x8 + 56004*x9 + 10666*x10 + 32397*x11 + 22551*x12 + 52566*x13^2 + 19864*x13*x14 + 16149*x14^2 + 1922*x13 + 12799*x14 + 23220,
25152*x1^2 + 50039*x1*x2 + 28219*x2^2 + 40759*x1*x3 + 45306*x2*x3 + 58149*x3^2 + 20483*x1*x4 + 63333*x2*x4 + 30295*x3*x4 + 61591*x4^2 + 7870*x1*x5 + 48929*x2*x5 + 26065*x3*x5 + 38067*x4*x5 + 55626*x5^2 + 12069*x1*x6 + 12203*x2*x6 + 32862*x3*x6 + 36863*x4*x6 + 13559*x5*x6 + 29570*x6^2 + 40372*x1*x7 + 5921*x2*x7 + 18336*x3*x7 + 30694*x4*x7 + 48622*x5*x7 + 52415*x6*x7 + 3770*x7^2 + 46361*x1*x8 + 56151*x2*x8 + 37339*x3*x8 + 10260*x4*x8 + 62590*x5*x8 + 2675*x6*x8 + 3859*x7*x8 + 6093*x8^2 + 19022*x1*x9 + 35564*x2*x9 + 33726*x3*x9 + 43114*x4*x9 + 63638*x5*x9 + 43771*x6*x9 + 7584*x7*x9 + 51342*x8*x9 + 51551*x9^2 + 42446*x1*x10 + 6345*x2*x10 + 16340*x3*x10 + 17157*x4*x10 + 10278*x5*x10 + 31314*x6*x10 + 16308*x7*x10 + 44637*x8*x10 + 9586*x9*x10 + 16870*x10^2 + 59087*x1*x11 + 31604*x2*x11 + 30279*x3*x11 + 30309*x4*x11 + 2665*x5*x11 + 55139*x6*x11 + 40467*x7*x11 + 57607*x8*x11 + 38385*x9*x11 + 59274*x10*x11 + 7131*x11^2 + 44242*x1*x12 + 25243*x2*x12 + 6451*x3*x12 + 58741*x4*x12 + 36372*x5*x12 + 31895*x6*x12 + 39889*x7*x12 + 5441*x8*x12 + 32346*x9*x12 + 1023*x10*x12 + 6198*x11*x12 + 33595*x12^2 + 49630*x1*x13^2 + 10067*x2*x13^2 + 29568*x3*x13^2 + 27852*x4*x13^2 + 26764*x5*x13^2 + 61188*x6*x13^2 + 53497*x7*x13^2 + 30078*x8*x13^2 + 52663*x9*x13^2 + 10158*x10*x13^2 + 19720*x11*x13^2 + 52490*x12*x13^2 + 23506*x13^4 + 52227*x1*x13*x14 + 53194*x2*x13*x14 + 42829*x3*x13*x14 + 15459*x4*x13*x14 + 51667*x5*x13*x14 + 53448*x6*x13*x14 + 46277*x7*x13*x14 + 2744*x8*x13*x14 + 35168*x9*x13*x14 + 35618*x10*x13*x14 + 52991*x11*x13*x14 + 9429*x12*x13*x14 + 63955*x13^3*x14 + 9972*x1*x14^2 + 38239*x2*x14^2 + 356*x3*x14^2 + 55530*x4*x14^2 + 60014*x5*x14^2 + 32035*x6*x14^2 + 63593*x7*x14^2 + 19566*x8*x14^2 + 19928*x9*x14^2 + 16903*x10*x14^2 + 6265*x11*x14^2 + 49440*x12*x14^2 + 26174*x13^2*x14^2 + 19185*x13*x14^3 + 47150*x14^4 + 55476*x1*x13 + 17059*x2*x13 + 49532*x3*x13 + 40146*x4*x13 + 43294*x5*x13 + 2903*x6*x13 + 37737*x7*x13 + 63916*x8*x13 + 56925*x9*x13 + 53936*x10*x13 + 5562*x11*x13 + 64089*x12*x13 + 7708*x13^3 + 45331*x1*x14 + 28818*x2*x14 + 6686*x3*x14 + 11396*x4*x14 + 4152*x5*x14 + 26841*x6*x14 + 58096*x7*x14 + 54536*x8*x14 + 19582*x9*x14 + 14358*x10*x14 + 38642*x11*x14 + 3796*x12*x14 + 4384*x13^2*x14 + 9172*x13*x14^2 + 49707*x14^3 + 62910*x1 + 4284*x2 + 578*x3 + 38005*x4 + 38283*x5 + 48117*x6 + 56769*x7 + 10142*x8 + 928*x9 + 59156*x10 + 39299*x11 + 59894*x12 + 53784*x13^2 + 18906*x13*x14 + 31045*x14^2 + 38917*x13 + 33217*x14 + 54573,
31997*x1^2 + 25419*x1*x2 + 64122*x2^2 + 64326*x1*x3 + 5885*x2*x3 + 48032*x3^2 + 10428*x1*x4 + 12270*x2*x4 + 59497*x3*x4 + 56241*x4^2 + 59850*x1*x5 + 55306*x2*x5 + 35011*x3*x5 + 63779*x4*x5 + 55765*x5^2 + 7368*x1*x6 + 38753*x2*x6 + 62694*x3*x6 + 18936*x4*x6 + 56170*x5*x6 + 41658*x6^2 + 16230*x1*x7 + 62375*x2*x7 + 12582*x3*x7 + 28543*x4*x7 + 65434*x5*x7 + 44854*x6*x7 + 22546*x7^2 + 23569*x1*x8 + 5640*x2*x8 + 33418*x3*x8 + 1392*x4*x8 + 45649*x5*x8 + 43696*x6*x8 + 5014*x7*x8 + 20557*x8^2 + 12498*x1*x9 + 59620*x2*x9 + 62555*x3*x9 + 43032*x4*x9 + 64963*x5*x9 + 40593*x6*x9 + 20456*x7*x9 + 40449*x8*x9 + 12492*x9^2 + 49932*x1*x10 + 19763*x2*x10 + 34396*x3*x10 + 8936*x4*x10 + 63291*x5*x10 + 46627*x6*x10 + 36660*x7*x10 + 22213*x8*x10 + 53155*x9*x10 + 23560*x10^2 + 63896*x1*x11 + 9220*x2*x11 + 43707*x3*x11 + 63001*x4*x11 + 6019*x5*x11 + 21970*x6*x11 + 63745*x7*x11 + 44471*x8*x11 + 10005*x9*x11 + 2755*x10*x11 + 28819*x11^2 + 16467*x1*x12 + 7394*x2*x12 + 23691*x3*x12 + 41933*x4*x12 + 23673*x5*x12 + 18249*x6*x12 + 28812*x7*x12 + 21020*x8*x12 + 30660*x9*x12 + 16312*x10*x12 + 64776*x11*x12 + 22414*x12^2 + 64783*x1*x13^2 + 3828*x2*x13^2 + 5111*x3*x13^2 + 41233*x4*x13^2 + 50684*x5*x13^2 + 64174*x6*x13^2 + 61587*x7*x13^2 + 50211*x8*x13^2 + 54641*x9*x13^2 + 31952*x10*x13^2 + 37220*x11*x13^2 + 47849*x12*x13^2 + 13371*x13^4 + 15474*x1*x13*x14 + 42965*x2*x13*x14 + 21878*x3*x13*x14 + 64070*x4*x13*x14 + 30831*x5*x13*x14 + 56905*x6*x13*x14 + 18339*x7*x13*x14 + 4645*x8*x13*x14 + 7317*x9*x13*x14 + 53442*x10*x13*x14 + 40118*x11*x13*x14 + 41440*x12*x13*x14 + 34474*x13^3*x14 + 24354*x1*x14^2 + 3828*x2*x14^2 + 49039*x3*x14^2 + 38297*x4*x14^2 + 47692*x5*x14^2 + 21697*x6*x14^2 + 59024*x7*x14^2 + 23983*x8*x14^2 + 25153*x9*x14^2 + 63668*x10*x14^2 + 29233*x11*x14^2 + 24827*x12*x14^2 + 14324*x13^2*x14^2 + 35061*x13*x14^3 + 48925*x14^4 + 17924*x1*x13 + 58129*x2*x13 + 21840*x3*x13 + 48875*x4*x13 + 20475*x5*x13 + 50340*x6*x13 + 43569*x7*x13 + 19984*x8*x13 + 3516*x9*x13 + 62323*x10*x13 + 22807*x11*x13 + 2634*x12*x13 + 17330*x13^3 + 47171*x1*x14 + 60363*x2*x14 + 21626*x3*x14 + 64186*x4*x14 + 49151*x5*x14 + 38827*x6*x14 + 52878*x7*x14 + 55569*x8*x14 + 9739*x9*x14 + 12738*x10*x14 + 7874*x11*x14 + 63673*x12*x14 + 63355*x13^2*x14 + 55584*x13*x14^2 + 46244*x14^3 + 32070*x1 + 45974*x2 + 58743*x3 + 48789*x4 + 25428*x5 + 16110*x6 + 61473*x7 + 57992*x8 + 39433*x9 + 39797*x10 + 54423*x11 + 3947*x12 + 12637*x13^2 + 13853*x13*x14 + 15580*x14^2 + 55643*x13 + 57458*x14 + 46339,
57071*x1^2 + 32926*x1*x2 + 62230*x2^2 + 34104*x1*x3 + 40623*x2*x3 + 41406*x3^2 + 28168*x1*x4 + 15731*x2*x4 + 16593*x3*x4 + 48478*x4^2 + 59501*x1*x5 + 17436*x2*x5 + 4846*x3*x5 + 63511*x4*x5 + 38178*x5^2 + 26195*x1*x6 + 41859*x2*x6 + 28719*x3*x6 + 61371*x4*x6 + 57365*x5*x6 + 33817*x6^2 + 11291*x1*x7 + 65366*x2*x7 + 26472*x3*x7 + 56487*x4*x7 + 59118*x5*x7 + 46462*x6*x7 + 33425*x7^2 + 41410*x1*x8 + 4637*x2*x8 + 19492*x3*x8 + 1763*x4*x8 + 49000*x5*x8 + 20976*x6*x8 + 15004*x7*x8 + 53734*x8^2 + 17098*x1*x9 + 52935*x2*x9 + 15687*x3*x9 + 8730*x4*x9 + 20213*x5*x9 + 13831*x6*x9 + 28782*x7*x9 + 45567*x8*x9 + 47858*x9^2 + 7604*x1*x10 + 27263*x2*x10 + 36242*x3*x10 + 38047*x4*x10 + 61268*x5*x10 + 10476*x6*x10 + 9640*x7*x10 + 65284*x8*x10 + 7717*x9*x10 + 37982*x10^2 + 50849*x1*x11 + 336*x2*x11 + 43304*x3*x11 + 47357*x4*x11 + 59322*x5*x11 + 30956*x6*x11 + 44027*x7*x11 + 53568*x8*x11 + 62091*x9*x11 + 55469*x10*x11 + 34369*x11^2 + 50393*x1*x12 + 60954*x2*x12 + 56835*x3*x12 + 9504*x4*x12 + 49090*x5*x12 + 44305*x6*x12 + 769*x7*x12 + 47085*x8*x12 + 27723*x9*x12 + 10798*x10*x12 + 34295*x11*x12 + 22151*x12^2 + 53825*x1*x13^2 + 60423*x2*x13^2 + 10340*x3*x13^2 + 19036*x4*x13^2 + 16928*x5*x13^2 + 43649*x6*x13^2 + 15136*x7*x13^2 + 8354*x8*x13^2 + 24085*x9*x13^2 + 49401*x10*x13^2 + 60686*x11*x13^2 + 38377*x12*x13^2 + 39369*x13^4 + 65115*x1*x13*x14 + 58527*x2*x13*x14 + 8947*x3*x13*x14 + 36738*x4*x13*x14 + 44692*x5*x13*x14 + 5024*x6*x13*x14 + 3251*x7*x13*x14 + 21257*x8*x13*x14 + 30244*x9*x13*x14 + 33109*x10*x13*x14 + 22322*x11*x13*x14 + 38887*x12*x13*x14 + 15072*x13^3*x14 + 41388*x1*x14^2 + 17711*x2*x14^2 + 21366*x3*x14^2 + 63882*x4*x14^2 + 2009*x5*x14^2 + 23291*x6*x14^2 + 29671*x7*x14^2 + 49184*x8*x14^2 + 30955*x9*x14^2 + 25783*x10*x14^2 + 18586*x11*x14^2 + 59545*x12*x14^2 + 58261*x13^2*x14^2 + 44076*x13*x14^3 + 30606*x14^4 + 62803*x1*x13 + 5897*x2*x13 + 15488*x3*x13 + 756*x4*x13 + 43160*x5*x13 + 38129*x6*x13 + 50648*x7*x13 + 28468*x8*x13 + 23909*x9*x13 + 17832*x10*x13 + 49438*x11*x13 + 4689*x12*x13 + 54605*x13^3 + 6067*x1*x14 + 28522*x2*x14 + 59624*x3*x14 + 50632*x4*x14 + 35476*x5*x14 + 6173*x6*x14 + 35724*x7*x14 + 20642*x8*x14 + 858*x9*x14 + 20516*x10*x14 + 45080*x11*x14 + 46954*x12*x14 + 17831*x13^2*x14 + 1711*x13*x14^2 + 51347*x14^3 + 44225*x1 + 34185*x2 + 48467*x3 + 1537*x4 + 51619*x5 + 40573*x6 + 43623*x7 + 34789*x8 + 62897*x9 + 5270*x10 + 65405*x11 + 31203*x12 + 18136*x13^2 + 17616*x13*x14 + 6117*x14^2 + 28971*x13 + 59675*x14 + 47606,
21941*x1^2 + 56554*x1*x2 + 48659*x2^2 + 28193*x1*x3 + 61714*x2*x3 + 27358*x3^2 + 41931*x1*x4 + 16737*x2*x4 + 47875*x3*x4 + 37142*x4^2 + 34768*x1*x5 + 37787*x2*x5 + 49181*x3*x5 + 60405*x4*x5 + 38697*x5^2 + 49242*x1*x6 + 60954*x2*x6 + 48313*x3*x6 + 36795*x4*x6 + 6406*x5*x6 + 17567*x6^2 + 62030*x1*x7 + 44929*x2*x7 + 9770*x3*x7 + 20286*x4*x7 + 13567*x5*x7 + 52279*x6*x7 + 40840*x7^2 + 51831*x1*x8 + 6209*x2*x8 + 6635*x3*x8 + 38645*x4*x8 + 43132*x5*x8 + 52242*x6*x8 + 33389*x7*x8 + 55216*x8^2 + 13630*x1*x9 + 19464*x2*x9 + 8174*x3*x9 + 16658*x4*x9 + 13823*x5*x9 + 51040*x6*x9 + 64569*x7*x9 + 48694*x8*x9 + 59574*x9^2 + 50171*x1*x10 + 49030*x2*x10 + 24268*x3*x10 + 21295*x4*x10 + 26785*x5*x10 + 16631*x6*x10 + 26215*x7*x10 + 42754*x8*x10 + 48133*x9*x10 + 9698*x10^2 + 1602*x1*x11 + 47230*x2*x11 + 29267*x3*x11 + 52460*x4*x11 + 52754*x5*x11 + 47229*x6*x11 + 59052*x7*x11 + 37018*x8*x11 + 39680*x9*x11 + 24893*x10*x11 + 7775*x11^2 + 108*x1*x12 + 62596*x2*x12 + 32291*x3*x12 + 21509*x4*x12 + 41277*x5*x12 + 17527*x6*x12 + 45052*x7*x12 + 3799*x8*x12 + 12403*x9*x12 + 63475*x10*x12 + 18776*x11*x12 + 31723*x12^2 + 11454*x1*x13^2 + 3368*x2*x13^2 + 39757*x3*x13^2 + 42113*x4*x13^2 + 16207*x5*x13^2 + 29013*x6*x13^2 + 15031*x7*x13^2 + 17626*x8*x13^2 + 60564*x9*x13^2 + 55004*x10*x13^2 + 61638*x11*x13^2 + 4908*x12*x13^2 + 30244*x13^4 + 48892*x1*x13*x14 + 5802*x2*x13*x14 + 30352*x3*x13*x14 + 40240*x4*x13*x14 + 567*x5*x13*x14 + 48325*x6*x13*x14 + 46521*x7*x13*x14 + 11111*x8*x13*x14 + 41829*x9*x13*x14 + 31579*x10*x13*x14 + 45783*x11*x13*x14 + 21871*x12*x13*x14 + 45279*x13^3*x14 + 27196*x1*x14^2 + 2167*x2*x14^2 + 31770*x3*x14^2 + 54605*x4*x14^2 + 57306*x5*x14^2 + 10247*x6*x14^2 + 18121*x7*x14^2 + 45161*x8*x14^2 + 21826*x9*x14^2 + 51642*x10*x14^2 + 30947*x11*x14^2 + 3920*x12*x14^2 + 51661*x13^2*x14^2 + 62688*x13*x14^3 + 63726*x14^4 + 22432*x1*x13 + 13416*x2*x13 + 62814*x3*x13 + 39180*x4*x13 + 32404*x5*x13 + 53795*x6*x13 + 27332*x7*x13 + 13081*x8*x13 + 54832*x9*x13 + 46228*x10*x13 + 27860*x11*x13 + 20674*x12*x13 + 46052*x13^3 + 3309*x1*x14 + 33544*x2*x14 + 15011*x3*x14 + 47894*x4*x14 + 15518*x5*x14 + 44403*x6*x14 + 11665*x7*x14 + 26442*x8*x14 + 33558*x9*x14 + 62009*x10*x14 + 47824*x11*x14 + 47126*x12*x14 + 31234*x13^2*x14 + 64656*x13*x14^2 + 23983*x14^3 + 13357*x1 + 14414*x2 + 36682*x3 + 10575*x4 + 56856*x5 + 7662*x6 + 59259*x7 + 65385*x8 + 1043*x9 + 34641*x10 + 54071*x11 + 36671*x12 + 65159*x13^2 + 41225*x13*x14 + 41455*x14^2 + 64219*x13 + 33943*x14 + 53417,
39743*x1^2 + 38347*x1*x2 + 1766*x2^2 + 33196*x1*x3 + 44674*x2*x3 + 26651*x3^2 + 50932*x1*x4 + 47422*x2*x4 + 30586*x3*x4 + 23861*x4^2 + 5812*x1*x5 + 16797*x2*x5 + 31679*x3*x5 + 18526*x4*x5 + 36062*x5^2 + 4301*x1*x6 + 47853*x2*x6 + 23248*x3*x6 + 44560*x4*x6 + 65469*x5*x6 + 48773*x6^2 + 29570*x1*x7 + 39724*x2*x7 + 41220*x3*x7 + 19671*x4*x7 + 34963*x5*x7 + 56524*x6*x7 + 48455*x7^2 + 15923*x1*x8 + 25080*x2*x8 + 19206*x3*x8 + 7967*x4*x8 + 56565*x5*x8 + 39636*x6*x8 + 30188*x7*x8 + 16065*x8^2 + 31398*x1*x9 + 4653*x2*x9 + 37542*x3*x9 + 8503*x4*x9 + 44585*x5*x9 + 58823*x6*x9 + 8650*x7*x9 + 55619*x8*x9 + 32543*x9^2 + 4065*x1*x10 + 16098*x2*x10 + 10146*x3*x10 + 33105*x4*x10 + 9385*x5*x10 + 21619*x6*x10 + 3336*x7*x10 + 33207*x8*x10 + 6171*x9*x10 + 41573*x10^2 + 35735*x1*x11 + 50916*x2*x11 + 57227*x3*x11 + 19406*x4*x11 + 29818*x5*x11 + 29063*x6*x11 + 46746*x7*x11 + 19622*x8*x11 + 21732*x9*x11 + 58239*x10*x11 + 26262*x11^2 + 58259*x1*x12 + 64865*x2*x12 + 16533*x3*x12 + 24873*x4*x12 + 43559*x5*x12 + 40503*x6*x12 + 55096*x7*x12 + 27946*x8*x12 + 190*x9*x12 + 52974*x10*x12 + 28543*x11*x12 + 17962*x12^2 + 25738*x1*x13^2 + 6553*x2*x13^2 + 47692*x3*x13^2 + 36558*x4*x13^2 + 52583*x5*x13^2 + 7069*x6*x13^2 + 54488*x7*x13^2 + 49450*x8*x13^2 + 9011*x9*x13^2 + 10422*x10*x13^2 + 2715*x11*x13^2 + 2323*x12*x13^2 + 13127*x13^4 + 13549*x1*x13*x14 + 43100*x2*x13*x14 + 28664*x3*x13*x14 + 24618*x4*x13*x14 + 17883*x5*x13*x14 + 15831*x6*x13*x14 + 63309*x7*x13*x14 + 32039*x8*x13*x14 + 7858*x9*x13*x14 + 63264*x10*x13*x14 + 64620*x11*x13*x14 + 61571*x12*x13*x14 + 56700*x13^3*x14 + 61442*x1*x14^2 + 38172*x2*x14^2 + 40036*x3*x14^2 + 40226*x4*x14^2 + 41820*x5*x14^2 + 15401*x6*x14^2 + 63470*x7*x14^2 + 21929*x8*x14^2 + 37078*x9*x14^2 + 5477*x10*x14^2 + 49267*x11*x14^2 + 48350*x12*x14^2 + 37828*x13^2*x14^2 + 9701*x13*x14^3 + 49205*x14^4 + 16039*x1*x13 + 3012*x2*x13 + 46963*x3*x13 + 48029*x4*x13 + 32222*x5*x13 + 33757*x6*x13 + 9179*x7*x13 + 50495*x8*x13 + 22909*x9*x13 + 24568*x10*x13 + 64099*x11*x13 + 60891*x12*x13 + 42397*x13^3 + 44808*x1*x14 + 51253*x2*x14 + 18236*x3*x14 + 43575*x4*x14 + 34618*x5*x14 + 41759*x6*x14 + 14542*x7*x14 + 1459*x8*x14 + 11653*x9*x14 + 10155*x10*x14 + 20014*x11*x14 + 4673*x12*x14 + 20462*x13^2*x14 + 14918*x13*x14^2 + 62391*x14^3 + 34293*x1 + 36579*x2 + 53832*x3 + 8407*x4 + 30098*x5 + 47051*x6 + 37894*x7 + 62964*x8 + 50608*x9 + 62875*x10 + 21539*x11 + 43409*x12 + 17535*x13^2 + 8266*x13*x14 + 60780*x14^2 + 54965*x13 + 41290*x14 + 20108,
20115*x1^2 + 33931*x1*x2 + 31055*x2^2 + 26028*x1*x3 + 35122*x2*x3 + 7698*x3^2 + 60511*x1*x4 + 40960*x2*x4 + 5005*x3*x4 + 963*x4^2 + 46896*x1*x5 + 63026*x2*x5 + 1369*x3*x5 + 60281*x4*x5 + 51921*x5^2 + 3997*x1*x6 + 51414*x2*x6 + 6917*x3*x6 + 13145*x4*x6 + 61188*x5*x6 + 33055*x6^2 + 9654*x1*x7 + 37098*x2*x7 + 58799*x3*x7 + 2292*x4*x7 + 31298*x5*x7 + 13179*x6*x7 + 33083*x7^2 + 40831*x1*x8 + 6268*x2*x8 + 13361*x3*x8 + 61720*x4*x8 + 16967*x5*x8 + 10571*x6*x8 + 62890*x7*x8 + 19499*x8^2 + 18231*x1*x9 + 59892*x2*x9 + 25845*x3*x9 + 48057*x4*x9 + 48309*x5*x9 + 27251*x6*x9 + 33446*x7*x9 + 54770*x8*x9 + 34215*x9^2 + 43490*x1*x10 + 40764*x2*x10 + 20839*x3*x10 + 26552*x4*x10 + 8760*x5*x10 + 28891*x6*x10 + 41647*x7*x10 + 2379*x8*x10 + 45819*x9*x10 + 20166*x10^2 + 31633*x1*x11 + 31144*x2*x11 + 27623*x3*x11 + 61732*x4*x11 + 63903*x5*x11 + 22654*x6*x11 + 58564*x7*x11 + 51620*x8*x11 + 49492*x9*x11 + 62735*x10*x11 + 31182*x11^2 + 34516*x1*x12 + 48307*x2*x12 + 61687*x3*x12 + 3299*x4*x12 + 41567*x5*x12 + 5052*x6*x12 + 26196*x7*x12 + 60168*x8*x12 + 24380*x9*x12 + 49589*x10*x12 + 46746*x11*x12 + 48407*x12^2 + 1282*x1*x13^2 + 23024*x2*x13^2 + 47827*x3*x13^2 + 20083*x4*x13^2 + 33826*x5*x13^2 + 18075*x6*x13^2 + 9901*x7*x13^2 + 49851*x8*x13^2 + 14330*x9*x13^2 + 25426*x10*x13^2 + 11257*x11*x13^2 + 60585*x12*x13^2 + 60310*x13^4 + 6355*x1*x13*x14 + 7327*x2*x13*x14 + 1375*x3*x13*x14 + 24902*x4*x13*x14 + 25768*x5*x13*x14 + 29358*x6*x13*x14 + 21612*x7*x13*x14 + 63674*x8*x13*x14 + 10211*x9*x13*x14 + 55865*x10*x13*x14 + 40620*x11*x13*x14 + 23089*x12*x13*x14 + 15410*x13^3*x14 + 19420*x1*x14^2 + 39021*x2*x14^2 + 32743*x3*x14^2 + 63092*x4*x14^2 + 59092*x5*x14^2 + 62058*x6*x14^2 + 996*x7*x14^2 + 16893*x8*x14^2 + 62383*x9*x14^2 + 59970*x10*x14^2 + 35209*x11*x14^2 + 44165*x12*x14^2 + 39576*x13^2*x14^2 + 1600*x13*x14^3 + 54768*x14^4 + 59545*x1*x13 + 13241*x2*x13 + 36378*x3*x13 + 4163*x4*x13 + 50669*x5*x13 + 805*x6*x13 + 54702*x7*x13 + 3924*x8*x13 + 31452*x9*x13 + 23120*x10*x13 + 63451*x11*x13 + 62548*x12*x13 + 58522*x13^3 + 17558*x1*x14 + 21248*x2*x14 + 21178*x3*x14 + 56276*x4*x14 + 36325*x5*x14 + 47049*x6*x14 + 2647*x7*x14 + 24183*x8*x14 + 56051*x9*x14 + 51808*x10*x14 + 18945*x11*x14 + 31837*x12*x14 + 10390*x13^2*x14 + 28931*x13*x14^2 + 55889*x14^3 + 53939*x1 + 5966*x2 + 16796*x3 + 26005*x4 + 59803*x5 + 61615*x6 + 43332*x7 + 36203*x8 + 47608*x9 + 38048*x10 + 46330*x11 + 24551*x12 + 3754*x13^2 + 24607*x13*x14 + 47960*x14^2 + 3875*x13 + 44123*x14 + 32009,
22807*x1^2 + 5343*x1*x2 + 33147*x2^2 + 14735*x1*x3 + 8236*x2*x3 + 11577*x3^2 + 40428*x1*x4 + 24405*x2*x4 + 19867*x3*x4 + 38802*x4^2 + 53000*x1*x5 + 52351*x2*x5 + 20692*x3*x5 + 52121*x4*x5 + 7027*x5^2 + 27929*x1*x6 + 4775*x2*x6 + 43869*x3*x6 + 4827*x4*x6 + 14253*x5*x6 + 22343*x6^2 + 19798*x1*x7 + 50609*x2*x7 + 34281*x3*x7 + 63024*x4*x7 + 48615*x5*x7 + 58140*x6*x7 + 27799*x7^2 + 47849*x1*x8 + 17530*x2*x8 + 2075*x3*x8 + 28494*x4*x8 + 39681*x5*x8 + 22719*x6*x8 + 12749*x7*x8 + 32829*x8^2 + 56308*x1*x9 + 17422*x2*x9 + 52592*x3*x9 + 55168*x4*x9 + 613*x5*x9 + 13922*x6*x9 + 3212*x7*x9 + 38163*x8*x9 + 17110*x9^2 + 42267*x1*x10 + 64355*x2*x10 + 47383*x3*x10 + 56548*x4*x10 + 38677*x5*x10 + 17037*x6*x10 + 46888*x7*x10 + 43032*x8*x10 + 7669*x9*x10 + 18486*x10^2 + 47366*x1*x11 + 30023*x2*x11 + 50427*x3*x11 + 16921*x4*x11 + 37402*x5*x11 + 36120*x6*x11 + 7115*x7*x11 + 49178*x8*x11 + 50442*x9*x11 + 54147*x10*x11 + 61180*x11^2 + 28993*x1*x12 + 36426*x2*x12 + 53006*x3*x12 + 45339*x4*x12 + 3349*x5*x12 + 46741*x6*x12 + 38169*x7*x12 + 31182*x8*x12 + 60611*x9*x12 + 43209*x10*x12 + 28466*x11*x12 + 31366*x12^2 + 42539*x1*x13^2 + 45723*x2*x13^2 + 8612*x3*x13^2 + 57335*x4*x13^2 + 215*x5*x13^2 + 38110*x6*x13^2 + 64843*x7*x13^2 + 34669*x8*x13^2 + 58148*x9*x13^2 + 13716*x10*x13^2 + 5884*x11*x13^2 + 39089*x12*x13^2 + 48986*x13^4 + 36222*x1*x13*x14 + 37104*x2*x13*x14 + 27262*x3*x13*x14 + 64056*x4*x13*x14 + 44821*x5*x13*x14 + 33134*x6*x13*x14 + 30096*x7*x13*x14 + 13649*x8*x13*x14 + 22152*x9*x13*x14 + 16321*x10*x13*x14 + 23817*x11*x13*x14 + 2375*x12*x13*x14 + 32090*x13^3*x14 + 62013*x1*x14^2 + 13423*x2*x14^2 + 30931*x3*x14^2 + 37650*x4*x14^2 + 3004*x5*x14^2 + 47887*x6*x14^2 + 47030*x7*x14^2 + 7204*x8*x14^2 + 21647*x9*x14^2 + 29678*x10*x14^2 + 12960*x11*x14^2 + 14024*x12*x14^2 + 33913*x13^2*x14^2 + 38795*x13*x14^3 + 2034*x14^4 + 55461*x1*x13 + 50384*x2*x13 + 17478*x3*x13 + 40326*x4*x13 + 11494*x5*x13 + 19061*x6*x13 + 47475*x7*x13 + 36104*x8*x13 + 38749*x9*x13 + 16010*x10*x13 + 3588*x11*x13 + 32084*x12*x13 + 9461*x13^3 + 47762*x1*x14 + 5702*x2*x14 + 53179*x3*x14 + 64836*x4*x14 + 888*x5*x14 + 30776*x6*x14 + 28641*x7*x14 + 26715*x8*x14 + 52224*x9*x14 + 11137*x10*x14 + 19665*x11*x14 + 36923*x12*x14 + 17056*x13^2*x14 + 44183*x13*x14^2 + 28954*x14^3 + 56931*x1 + 44055*x2 + 9211*x3 + 6924*x4 + 30016*x5 + 20951*x6 + 7990*x7 + 44840*x8 + 42177*x9 + 64756*x10 + 28126*x11 + 36693*x12 + 10300*x13^2 + 52857*x13*x14 + 63112*x14^2 + 27089*x13 + 18215*x14 + 8125,
29225*x1^2 + 48391*x1*x2 + 64673*x2^2 + 37271*x1*x3 + 37590*x2*x3 + 21148*x3^2 + 23185*x1*x4 + 47239*x2*x4 + 2367*x3*x4 + 37776*x4^2 + 11131*x1*x5 + 16535*x2*x5 + 64200*x3*x5 + 59330*x4*x5 + 19941*x5^2 + 64871*x1*x6 + 42711*x2*x6 + 59385*x3*x6 + 59784*x4*x6 + 8861*x5*x6 + 46790*x6^2 + 26921*x1*x7 + 31203*x2*x7 + 39063*x3*x7 + 46603*x4*x7 + 13311*x5*x7 + 28995*x6*x7 + 26597*x7^2 + 26631*x1*x8 + 57501*x2*x8 + 61640*x3*x8 + 30921*x4*x8 + 52234*x5*x8 + 36504*x6*x8 + 27665*x7*x8 + 25123*x8^2 + 26167*x1*x9 + 13840*x2*x9 + 25371*x3*x9 + 55296*x4*x9 + 57396*x5*x9 + 43625*x6*x9 + 35990*x7*x9 + 56341*x8*x9 + 17471*x9^2 + 14212*x1*x10 + 34162*x2*x10 + 15053*x3*x10 + 30442*x4*x10 + 36583*x5*x10 + 21044*x6*x10 + 22442*x7*x10 + 11282*x8*x10 + 59954*x9*x10 + 2366*x10^2 + 42525*x1*x11 + 19226*x2*x11 + 7136*x3*x11 + 44776*x4*x11 + 12314*x5*x11 + 5244*x6*x11 + 37400*x7*x11 + 11872*x8*x11 + 41966*x9*x11 + 41191*x10*x11 + 20896*x11^2 + 37895*x1*x12 + 23683*x2*x12 + 14468*x3*x12 + 26129*x4*x12 + 24105*x5*x12 + 1300*x6*x12 + 31451*x7*x12 + 34790*x8*x12 + 43521*x9*x12 + 47204*x10*x12 + 41608*x11*x12 + 53453*x12^2 + 43927*x1*x13^2 + 23865*x2*x13^2 + 35296*x3*x13^2 + 26320*x4*x13^2 + 59135*x5*x13^2 + 14104*x6*x13^2 + 5416*x7*x13^2 + 45820*x8*x13^2 + 28033*x9*x13^2 + 38046*x10*x13^2 + 46336*x11*x13^2 + 63858*x12*x13^2 + 58105*x13^4 + 30663*x1*x13*x14 + 3517*x2*x13*x14 + 15891*x3*x13*x14 + 38284*x4*x13*x14 + 57186*x5*x13*x14 + 49896*x6*x13*x14 + 48324*x7*x13*x14 + 47628*x8*x13*x14 + 30105*x9*x13*x14 + 3348*x10*x13*x14 + 2300*x11*x13*x14 + 46053*x12*x13*x14 + 41593*x13^3*x14 + 39076*x1*x14^2 + 1132*x2*x14^2 + 62431*x3*x14^2 + 4178*x4*x14^2 + 38741*x5*x14^2 + 49304*x6*x14^2 + 53449*x7*x14^2 + 42457*x8*x14^2 + 31241*x9*x14^2 + 50128*x10*x14^2 + 19399*x11*x14^2 + 47789*x12*x14^2 + 19022*x13^2*x14^2 + 23347*x13*x14^3 + 49800*x14^4 + 26501*x1*x13 + 42058*x2*x13 + 24185*x3*x13 + 20078*x4*x13 + 28347*x5*x13 + 28527*x6*x13 + 5534*x7*x13 + 52497*x8*x13 + 49357*x9*x13 + 4015*x10*x13 + 46846*x11*x13 + 38529*x12*x13 + 2539*x13^3 + 14180*x1*x14 + 34095*x2*x14 + 20166*x3*x14 + 15854*x4*x14 + 45697*x5*x14 + 30937*x6*x14 + 38871*x7*x14 + 191*x8*x14 + 33328*x9*x14 + 25761*x10*x14 + 23252*x11*x14 + 30092*x12*x14 + 30268*x13^2*x14 + 28251*x13*x14^2 + 45571*x14^3 + 63099*x1 + 6539*x2 + 32850*x3 + 13916*x4 + 47541*x5 + 24104*x6 + 16893*x7 + 19888*x8 + 32387*x9 + 37904*x10 + 24330*x11 + 3481*x12 + 59734*x13^2 + 42568*x13*x14 + 37869*x14^2 + 34452*x13 + 21951*x14 + 28110,
9802*x1^2 + 59662*x1*x2 + 5392*x2^2 + 55317*x1*x3 + 4742*x2*x3 + 61576*x3^2 + 65501*x1*x4 + 23932*x2*x4 + 46587*x3*x4 + 44165*x4^2 + 45966*x1*x5 + 8784*x2*x5 + 14267*x3*x5 + 53603*x4*x5 + 25293*x5^2 + 13180*x1*x6 + 63352*x2*x6 + 65297*x3*x6 + 29409*x4*x6 + 21022*x5*x6 + 7497*x6^2 + 9272*x1*x7 + 18324*x2*x7 + 11045*x3*x7 + 40288*x4*x7 + 4814*x5*x7 + 42471*x6*x7 + 16792*x7^2 + 41931*x1*x8 + 3604*x2*x8 + 1995*x3*x8 + 62373*x4*x8 + 23643*x5*x8 + 21868*x6*x8 + 5957*x7*x8 + 17360*x8^2 + 48706*x1*x9 + 58262*x2*x9 + 61398*x3*x9 + 50901*x4*x9 + 29278*x5*x9 + 16322*x6*x9 + 36832*x7*x9 + 59795*x8*x9 + 27427*x9^2 + 12003*x1*x10 + 62700*x2*x10 + 4268*x3*x10 + 38317*x4*x10 + 56221*x5*x10 + 12017*x6*x10 + 64052*x7*x10 + 4160*x8*x10 + 15815*x9*x10 + 14235*x10^2 + 1165*x1*x11 + 46434*x2*x11 + 43216*x3*x11 + 31770*x4*x11 + 62387*x5*x11 + 6101*x6*x11 + 64553*x7*x11 + 31762*x8*x11 + 33991*x9*x11 + 48287*x10*x11 + 46451*x11^2 + 31520*x1*x12 + 22910*x2*x12 + 11264*x3*x12 + 50587*x4*x12 + 48837*x5*x12 + 56183*x6*x12 + 31623*x7*x12 + 27908*x8*x12 + 17443*x9*x12 + 5426*x10*x12 + 55751*x11*x12 + 10235*x12^2 + 28626*x1*x13^2 + 96*x2*x13^2 + 56207*x3*x13^2 + 16690*x4*x13^2 + 55387*x5*x13^2 + 19276*x6*x13^2 + 56303*x7*x13^2 + 33775*x8*x13^2 + 44691*x9*x13^2 + 36523*x10*x13^2 + 40663*x11*x13^2 + 41263*x12*x13^2 + 35896*x13^4 + 55250*x1*x13*x14 + 18902*x2*x13*x14 + 40071*x3*x13*x14 + 45580*x4*x13*x14 + 28324*x5*x13*x14 + 16612*x6*x13*x14 + 26808*x7*x13*x14 + 12875*x8*x13*x14 + 18852*x9*x13*x14 + 10879*x10*x13*x14 + 31118*x11*x13*x14 + 27459*x12*x13*x14 + 46167*x13^3*x14 + 38701*x1*x14^2 + 55572*x2*x14^2 + 41293*x3*x14^2 + 61704*x4*x14^2 + 23936*x5*x14^2 + 29291*x6*x14^2 + 17772*x7*x14^2 + 27936*x8*x14^2 + 3357*x9*x14^2 + 22475*x10*x14^2 + 25877*x11*x14^2 + 44715*x12*x14^2 + 30228*x13^2*x14^2 + 18509*x13*x14^3 + 16157*x14^4 + 54468*x1*x13 + 20457*x2*x13 + 33536*x3*x13 + 20037*x4*x13 + 58168*x5*x13 + 51523*x6*x13 + 62881*x7*x13 + 30227*x8*x13 + 48276*x9*x13 + 59199*x10*x13 + 64592*x11*x13 + 50721*x12*x13 + 65490*x13^3 + 16304*x1*x14 + 59816*x2*x14 + 34020*x3*x14 + 7594*x4*x14 + 61241*x5*x14 + 32093*x6*x14 + 13466*x7*x14 + 50896*x8*x14 + 19629*x9*x14 + 39998*x10*x14 + 49715*x11*x14 + 17147*x12*x14 + 42366*x13^2*x14 + 42088*x13*x14^2 + 53978*x14^3 + 36941*x1 + 32698*x2 + 11348*x3 + 4532*x4 + 7513*x5 + 60622*x6 + 62951*x7 + 15169*x8 + 42212*x9 + 46501*x10 + 30888*x11 + 34842*x12 + 10584*x13^2 + 32313*x13*x14 + 58462*x14^2 + 47763*x13 + 49896*x14 + 13241,
19748*x1^2 + 3949*x1*x2 + 53966*x2^2 + 52216*x1*x3 + 61901*x2*x3 + 62028*x3^2 + 10196*x1*x4 + 30593*x2*x4 + 50982*x3*x4 + 4925*x4^2 + 41618*x1*x5 + 38028*x2*x5 + 47960*x3*x5 + 53935*x4*x5 + 44441*x5^2 + 43587*x1*x6 + 24490*x2*x6 + 21838*x3*x6 + 53070*x4*x6 + 56955*x5*x6 + 62986*x6^2 + 3593*x1*x7 + 11967*x2*x7 + 54395*x3*x7 + 54293*x4*x7 + 45516*x5*x7 + 51754*x6*x7 + 55443*x7^2 + 64894*x1*x8 + 1371*x2*x8 + 45916*x3*x8 + 50486*x4*x8 + 63340*x5*x8 + 8687*x6*x8 + 10224*x7*x8 + 9196*x8^2 + 36137*x1*x9 + 46382*x2*x9 + 13262*x3*x9 + 41044*x4*x9 + 41268*x5*x9 + 15848*x6*x9 + 53608*x7*x9 + 28923*x8*x9 + 6512*x9^2 + 18256*x1*x10 + 49254*x2*x10 + 64659*x3*x10 + 22614*x4*x10 + 33946*x5*x10 + 44468*x6*x10 + 38458*x7*x10 + 35458*x8*x10 + 36272*x9*x10 + 26103*x10^2 + 21555*x1*x11 + 44746*x2*x11 + 28182*x3*x11 + 22869*x4*x11 + 53849*x5*x11 + 6794*x6*x11 + 55567*x7*x11 + 22095*x8*x11 + 6439*x9*x11 + 24121*x10*x11 + 58261*x11^2 + 12659*x1*x12 + 43006*x2*x12 + 47833*x3*x12 + 18217*x4*x12 + 29721*x5*x12 + 24866*x6*x12 + 1588*x7*x12 + 10729*x8*x12 + 10761*x9*x12 + 50638*x10*x12 + 34642*x11*x12 + 47777*x12^2 + 41192*x1*x13^2 + 31362*x2*x13^2 + 24278*x3*x13^2 + 64509*x4*x13^2 + 55367*x5*x13^2 + 14815*x6*x13^2 + 11095*x7*x13^2 + 28826*x8*x13^2 + 15964*x9*x13^2 + 49125*x10*x13^2 + 57714*x11*x13^2 + 22949*x12*x13^2 + 5195*x13^4 + 64189*x1*x13*x14 + 44167*x2*x13*x14 + 44865*x3*x13*x14 + 26882*x4*x13*x14 + 7751*x5*x13*x14 + 2250*x6*x13*x14 + 45169*x7*x13*x14 + 27202*x8*x13*x14 + 17961*x9*x13*x14 + 7861*x10*x13*x14 + 45221*x11*x13*x14 + 33518*x12*x13*x14 + 6847*x13^3*x14 + 10796*x1*x14^2 + 12665*x2*x14^2 + 52244*x3*x14^2 + 27134*x4*x14^2 + 43514*x5*x14^2 + 50570*x6*x14^2 + 57804*x7*x14^2 + 27459*x8*x14^2 + 32837*x9*x14^2 + 14930*x10*x14^2 + 2788*x11*x14^2 + 57522*x12*x14^2 + 37587*x13^2*x14^2 + 48001*x13*x14^3 + 60418*x14^4 + 29664*x1*x13 + 41489*x2*x13 + 23108*x3*x13 + 3668*x4*x13 + 19321*x5*x13 + 5156*x6*x13 + 43658*x7*x13 + 7435*x8*x13 + 6770*x9*x13 + 30304*x10*x13 + 16060*x11*x13 + 20390*x12*x13 + 59282*x13^3 + 34122*x1*x14 + 28379*x2*x14 + 61752*x3*x14 + 23275*x4*x14 + 25744*x5*x14 + 46556*x6*x14 + 38471*x7*x14 + 31997*x8*x14 + 65180*x9*x14 + 31661*x10*x14 + 61358*x11*x14 + 25942*x12*x14 + 31164*x13^2*x14 + 30824*x13*x14^2 + 47159*x14^3 + 16463*x1 + 34785*x2 + 33763*x3 + 34843*x4 + 29205*x5 + 19023*x6 + 14517*x7 + 25786*x8 + 20329*x9 + 18020*x10 + 62616*x11 + 27769*x12 + 21682*x13^2 + 27731*x13*x14 + 31061*x14^2 + 13381*x13 + 11162*x14 + 10206,
52629*x1^2 + 13218*x1*x2 + 3692*x2^2 + 29085*x1*x3 + 132*x2*x3 + 62283*x3^2 + 50235*x1*x4 + 49739*x2*x4 + 41649*x3*x4 + 50270*x4^2 + 31173*x1*x5 + 56905*x2*x5 + 55137*x3*x5 + 29728*x4*x5 + 2822*x5^2 + 41876*x1*x6 + 56614*x2*x6 + 48389*x3*x6 + 8254*x4*x6 + 21691*x5*x6 + 29335*x6^2 + 17575*x1*x7 + 18128*x2*x7 + 48701*x3*x7 + 50140*x4*x7 + 28457*x5*x7 + 18345*x6*x7 + 23056*x7^2 + 55408*x1*x8 + 37409*x2*x8 + 33411*x3*x8 + 36347*x4*x8 + 42792*x5*x8 + 12527*x6*x8 + 60*x7*x8 + 35212*x8^2 + 34444*x1*x9 + 61451*x2*x9 + 13166*x3*x9 + 45752*x4*x9 + 19012*x5*x9 + 23270*x6*x9 + 62584*x7*x9 + 49640*x8*x9 + 54304*x9^2 + 59744*x1*x10 + 15470*x2*x10 + 15737*x3*x10 + 51693*x4*x10 + 6140*x5*x10 + 11911*x6*x10 + 2366*x7*x10 + 3474*x8*x10 + 10763*x9*x10 + 44801*x10^2 + 62640*x1*x11 + 47302*x2*x11 + 37990*x3*x11 + 20678*x4*x11 + 14429*x5*x11 + 36442*x6*x11 + 51690*x7*x11 + 10306*x8*x11 + 64261*x9*x11 + 57023*x10*x11 + 12877*x11^2 + 24198*x1*x12 + 2378*x2*x12 + 11589*x3*x12 + 7443*x4*x12 + 38204*x5*x12 + 39078*x6*x12 + 17690*x7*x12 + 12576*x8*x12 + 64785*x9*x12 + 3452*x10*x12 + 1068*x11*x12 + 9377*x12^2 + 36470*x1*x13^2 + 18300*x2*x13^2 + 18931*x3*x13^2 + 36736*x4*x13^2 + 44677*x5*x13^2 + 8426*x6*x13^2 + 1772*x7*x13^2 + 548*x8*x13^2 + 39483*x9*x13^2 + 60166*x10*x13^2 + 12359*x11*x13^2 + 62128*x12*x13^2 + 36785*x13^4 + 57897*x1*x13*x14 + 41351*x2*x13*x14 + 60094*x3*x13*x14 + 33333*x4*x13*x14 + 21875*x5*x13*x14 + 22491*x6*x13*x14 + 60289*x7*x13*x14 + 39514*x8*x13*x14 + 57336*x9*x13*x14 + 62392*x10*x13*x14 + 23838*x11*x13*x14 + 62703*x12*x13*x14 + 12242*x13^3*x14 + 50429*x1*x14^2 + 22481*x2*x14^2 + 21597*x3*x14^2 + 4729*x4*x14^2 + 62541*x5*x14^2 + 26040*x6*x14^2 + 38734*x7*x14^2 + 60595*x8*x14^2 + 41835*x9*x14^2 + 23451*x10*x14^2 + 44282*x11*x14^2 + 22307*x12*x14^2 + 26632*x13^2*x14^2 + 50976*x13*x14^3 + 11626*x14^4 + 32498*x1*x13 + 17156*x2*x13 + 58934*x3*x13 + 52129*x4*x13 + 40434*x5*x13 + 53184*x6*x13 + 51140*x7*x13 + 4039*x8*x13 + 45449*x9*x13 + 13992*x10*x13 + 59787*x11*x13 + 61267*x12*x13 + 39969*x13^3 + 7209*x1*x14 + 20085*x2*x14 + 48998*x3*x14 + 42474*x4*x14 + 49684*x5*x14 + 63633*x6*x14 + 7870*x7*x14 + 41138*x8*x14 + 53965*x9*x14 + 41422*x10*x14 + 14714*x11*x14 + 17165*x12*x14 + 29844*x13^2*x14 + 63689*x13*x14^2 + 25685*x14^3 + 31472*x1 + 43718*x2 + 6657*x3 + 15879*x4 + 45756*x5 + 5523*x6 + 15179*x7 + 15148*x8 + 10309*x9 + 12095*x10 + 48309*x11 + 23296*x12 + 60333*x13^2 + 61433*x13*x14 + 31305*x14^2 + 65027*x13 + 6119*x14 + 28991
]
: