p0 := ('21.1686281516 + 4.80188650041*x0^10 + 11.7448558093*x1^10 + 0.144043571161*x0^2*x1^6 + 0.65361859544*x0^6*x1^2 + 2.2408931992*x0^1*x1^4 + 1.86755799015*x0^1*x1^5 - 0.977277879876*x0^1*x1^6 + 0.950088417526*x0^1*x1^8 - 0.151357208298*x0^2*x1^2 - 0.103218851794*x0^2*x1^3 + 0.410598501938*x0^2*x1^5 + 1.45427350696*x0^3*x1^1 + 0.761037725147*x0^3*x1^2 + 0.121675016493*x0^3*x1^3 + 0.443863232745*x0^3*x1^5 + 0.333674327374*x0^3*x1^6 + 1.49407907316*x0^4*x1^5 - 0.205158263766*x0^5*x1^1 + 0.313067701651*x0^5*x1^2 - 0.854095739302*x0^5*x1^4 - 2.55298981583*x0^6*x1^1 + 0.86443619886*x0^6*x1^3 - 0.742165020406*x0^7*x1^2',);
p1 := ('19.492144364 + 7.3410769638*x0^10 + 6.33806102716*x1^10 + 0.319039096057*x0^2*x1^2 + 1.46210793704*x0^2*x1^6 + 1.14472370984*x0^6*x1^2 - 1.07296862216*x0^1*x1^2 + 0.865407629325*x0^1*x1^5 - 2.30153869688*x0^1*x1^6 + 1.74481176422*x0^1*x1^8 - 0.761206900895*x0^2*x1^1 - 0.249370375477*x0^2*x1^3 - 2.0601407095*x0^2*x1^7 - 0.322417204014*x0^3*x1^1 - 0.384054354668*x0^3*x1^2 + 1.13376944234*x0^3*x1^3 - 1.09989126731*x0^4*x1^1 - 0.17242820755*x0^4*x1^2 - 0.877858417921*x0^4*x1^5 + 0.0422137467156*x0^5*x1^1 + 0.582815213716*x0^5*x1^3 - 1.10061917721*x0^5*x1^4 + 0.901590720593*x0^6*x1^3 + 0.502494338902*x0^8*x1^1',);
p2 := ('5.00109416887 + 0.675201926716*x0^10 + 25.634353148*x1^10 + 0.551454044546*x0^2*x1^6 + 0.539058320581*x0^4*x1^2 + 1.6402708084*x0^1*x1^3 - 1.79343558519*x0^1*x1^5 - 0.841747365656*x0^1*x1^7 + 0.502881417158*x0^1*x1^8 - 1.24528808661*x0^2*x1^2 - 1.05795221886*x0^2*x1^3 - 0.909007614927*x0^2*x1^5 + 2.29220801281*x0^2*x1^7 + 0.0415393929984*x0^3*x1^5 - 1.11792544511*x0^3*x1^6 - 0.596159699806*x0^4*x1^4 - 0.0191304965212*x0^4*x1^5 + 1.1750012195*x0^5*x1^1 - 0.747870949294*x0^5*x1^2 + 0.00902525097333*x0^5*x1^4 - 0.87810789324*x0^6*x1^1 - 0.156434170385*x0^6*x1^3 + 0.256570452001*x0^7*x1^1 - 0.98877904877*x0^7*x1^2',);
p3 := ('21.4635416812 + 5.23811820614*x0^10 + 1.15796961686*x1^10 - 1.86349270336*x0^1*x1^2 - 0.277388202514*x0^1*x1^4 - 0.354758979269*x0^1*x1^5 - 0.0827414814825*x0^1*x1^6 - 0.627000676824*x0^1*x1^8 - 0.0438181689759*x0^2*x1^1 - 0.47721803036*x0^2*x1^2 - 1.31386475336*x0^2*x1^6 + 0.8846223805*x0^3*x1^2 + 0.881318042208*x0^3*x1^4 + 1.70957306365*x0^3*x1^5 + 0.0500336421769*x0^3*x1^6 - 0.404677414601*x0^4*x1^1 - 0.54535994762*x0^4*x1^4 - 1.54647731558*x0^5*x1^1 + 0.982367434258*x0^5*x1^3 - 1.10106763011*x0^6*x1^2 - 1.18504652702*x0^6*x1^3 - 0.205649899423*x0^7*x1^1 + 1.48614835507*x0^7*x1^2 + 0.236716267227*x0^8*x1^1',);
p4 := ('5.29472984262 + 3.97044182273*x0^10 + 29.1692542441*x1^10 + 1.85733100723*x0^4*x1^4 - 0.252092129603*x0^1*x1^2 + 0.109609841578*x0^1*x1^3 + 1.58248111706*x0^1*x1^5 - 0.909232404856*x0^1*x1^7 - 0.59163665793*x0^1*x1^8 + 0.187603225837*x0^2*x1^1 - 0.329869957779*x0^2*x1^5 - 1.19276461242*x0^2*x1^6 - 0.204876510588*x0^3*x1^2 - 0.358828947001*x0^3*x1^3 + 0.603471602609*x0^3*x1^4 - 1.66478852947*x0^3*x1^5 - 0.70017903769*x0^4*x1^1 + 1.15139100949*x0^4*x1^3 - 1.51117955769*x0^4*x1^5 + 0.644847510893*x0^5*x1^1 - 0.980607885219*x0^6*x1^1 - 0.856853154716*x0^6*x1^3 - 0.871879183256*x0^7*x1^1 - 0.422507929162*x0^7*x1^2',);
p5 := ('1.09445659944 + 13.0953927993*x0^10 + 23.3636437083*x1^10 + 0.976421096401*x0^2*x1^2 + 1.91636361054*x0^2*x1^6 - 1.38634953224*x0^1*x1^2 - 2.2964915742*x0^1*x1^3 + 2.40983430334*x0^1*x1^4 + 1.72783616858*x0^1*x1^6 + 2.20455628456*x0^1*x1^8 + 0.794827639348*x0^2*x1^1 - 1.18342714733*x0^2*x1^3 - 1.12332680055*x0^3*x1^1 - 0.664035469584*x0^3*x1^2 - 0.378358570369*x0^3*x1^3 - 0.791615271496*x0^3*x1^5 + 0.85954810918*x0^3*x1^6 - 0.230788995486*x0^4*x1^1 - 0.0656610281048*x0^4*x1^3 - 0.208636234732*x0^4*x1^4 + 1.34686857011*x0^4*x1^5 - 0.606952797357*x0^6*x1^1 - 0.174248213645*x0^6*x1^2 + 0.424051421032*x0^8*x1^1',);
p6 := ('14.1124187677 + 3.20125766694*x0^10 + 7.82990387285*x1^10 + 17.9271455936*x2^10 + 1.45427350696*x0^2*x1^2*x2^4 + 1.86755799015*x0^1*x1^1*x2^7 - 0.977277879876*x0^1*x1^3*x2^1 + 0.950088417526*x0^1*x1^4*x2^1 - 0.151357208298*x0^1*x1^4*x2^2 - 0.103218851794*x0^2*x1^1*x2^1 + 0.410598501938*x0^2*x1^1*x2^6 + 0.144043571161*x0^2*x1^2*x2^1 + 0.761037725147*x0^2*x1^3*x2^1 + 0.121675016493*x0^2*x1^3*x2^2 + 0.443863232745*x0^2*x1^5*x2^1 + 0.333674327374*x0^3*x1^1*x2^2 + 1.49407907316*x0^3*x1^1*x2^4 - 0.205158263766*x0^3*x1^2*x2^1 + 0.313067701651*x0^3*x1^4*x2^2 - 0.854095739302*x0^3*x1^5*x2^1 - 2.55298981583*x0^4*x1^1*x2^2 + 0.65361859544*x0^4*x1^1*x2^3 + 0.86443619886*x0^4*x1^2*x2^1 - 0.742165020406*x0^4*x1^3*x2^1',);
p7 := ('0.931546300146 + 0.869572040228*x1^2*x2^8 + 11.258395857*x0^4*x2^6 + 13.7845193967*x0^6*x1^4 + 1.57918057739*x0^2*x1^2*x2^4 - 1.90005098662*x0^1*x1^1*x2^5 - 2.4684511407*x0^2*x1^1*x2^4 + 1.20620463636*x0^3*x1^2*x2^2 + 0.491167148879*x0^3*x1^2*x2^3 - 0.0894651661314*x0^2*x1^1*x2^5 - 0.399586307724*x0^3*x1^2*x2^4 + 0.0991533114687*x0^4*x1^3*x2^2 + 0.00147616679277*x0^2*x1^1*x2^3 - 0.735325520197*x0^3*x1^1*x2^3 + 1.05711975788*x0^2*x1^2*x2^3 + 0.355688449097*x0^1*x1^1*x2^3 + 1.1477404565*x0^1*x1^1*x2^4 + 1.53562934089*x0^1*x1^1*x2^2 + 2.05583413518*x0^4*x1^2*x2^3 + 0.23178313019*x0^3*x1^1*x2^4 - 1.11917990805*x0^3*x1^1*x2^5 + 1.32841086811*x0^2*x1^1*x2^6 - 1.46501670534*x0^3*x1^2*x2^1 + 0.267073792824*x0^2*x1^1*x2^2',);
p8 := ('12.9947629093 + 4.8940513092*x0^10 + 4.22537401811*x1^10 + 8.58374897725*x2^10 + 1.13376944234*x0^2*x1^2*x2^2 + 0.865407629325*x0^1*x1^1*x2^2 - 2.30153869688*x0^1*x1^1*x2^5 + 1.74481176422*x0^1*x1^2*x2^3 - 0.761206900895*x0^1*x1^3*x2^1 + 0.319039096057*x0^1*x1^3*x2^2 - 0.249370375477*x0^1*x1^3*x2^4 + 1.46210793704*x0^1*x1^4*x2^1 - 2.0601407095*x0^1*x1^7*x2^1 - 0.322417204014*x0^2*x1^1*x2^3 - 0.384054354668*x0^2*x1^1*x2^6 - 1.09989126731*x0^3*x1^1*x2^1 - 0.17242820755*x0^3*x1^1*x2^2 - 0.877858417921*x0^3*x1^2*x2^3 + 0.0422137467156*x0^3*x1^3*x2^1 + 0.582815213716*x0^3*x1^4*x2^1 - 1.10061917721*x0^3*x1^5*x2^1 + 1.14472370984*x0^4*x1^1*x2^1 + 0.901590720593*x0^4*x1^4*x2^1 + 0.502494338902*x0^5*x1^2*x2^1',);
p9 := ('11.1610310102 + 2.96043828603*x1^8 + 7.97948441708*x0^2*x1^2*x2^6 + 9.89387689385*x0^6*x2^2 + 1.1162991427*x0^3*x1^2*x2^3 + 0.675240403122*x0^1*x1^4*x2^2 + 0.0224519642224*x0^3*x1^2*x2^2 - 0.871037469527*x0^2*x1^4*x2^1 + 0.28743356761*x0^1*x1^1*x2^1 - 0.762184827962*x0^2*x1^2*x2^2 + 1.07072559214*x0^2*x1^1*x2^2 - 1.37665156937*x0^2*x1^4*x2^2 + 1.45171977311*x0^1*x1^2*x2^2 - 0.108009868694*x0^2*x1^3*x2^2 - 0.692174904827*x0^2*x1^2*x2^1 - 1.14657525538*x0^2*x1^3*x2^3 + 0.567930596573*x0^2*x1^3*x2^1 + 0.423871352093*x0^2*x1^1*x2^1 + 0.739115434968*x0^1*x1^3*x2^2 - 0.107992634397*x0^3*x1^1*x2^3 - 0.584282006446*x0^2*x1^1*x2^3 + 0.103164653894*x0^2*x1^2*x2^3 - 1.21682493311*x0^1*x1^3*x2^1 - 0.168903142269*x0^3*x1^3*x2^2',);
p10 := ('3.33406277924 + 0.450134617811*x0^10 + 17.0895687653*x1^10 + 13.1221664672*x2^10 - 1.79343558519*x0^1*x1^1*x2^5 - 0.841747365656*x0^1*x1^1*x2^6 + 0.502881417158*x0^1*x1^2*x2^2 - 1.24528808661*x0^1*x1^2*x2^5 - 1.05795221886*x0^1*x1^2*x2^6 - 0.909007614927*x0^1*x1^4*x2^4 + 0.551454044546*x0^1*x1^5*x2^1 + 2.29220801281*x0^2*x1^1*x2^1 + 0.0415393929984*x0^2*x1^1*x2^6 - 1.11792544511*x0^2*x1^2*x2^2 + 0.539058320581*x0^2*x1^3*x2^2 - 0.596159699806*x0^2*x1^5*x2^2 - 0.0191304965212*x0^2*x1^6*x2^1 + 1.1750012195*x0^3*x1^1*x2^3 - 0.747870949294*x0^3*x1^2*x2^3 + 0.00902525097333*x0^3*x1^2*x2^4 - 0.87810789324*x0^4*x1^1*x2^2 - 0.156434170385*x0^4*x1^1*x2^3 + 0.256570452001*x0^5*x1^1*x2^2 - 0.98877904877*x0^6*x1^1*x2^1',);
p11 := ('3.26900455787 + 7.23066303936*x1^10 + 5.96638253738*x0^2*x1^2*x2^6 + 11.233526971*x0^4 + 0.251616204686*x0^2*x1^2*x2^2 + 1.41169191428*x0^2*x1^1*x2^2 - 0.113596357085*x0^3*x1^1*x2^2 + 0.126427035826*x0^1*x1^4*x2^2 + 0.205526409933*x0^1*x1^5*x2^1 - 0.448136484267*x0^2*x1^3*x2^2 - 1.29239028009*x0^2*x1^2*x2^4 - 0.618175520865*x0^1*x1^2*x2^2 - 0.02825732947*x0^2*x1^3*x2^3 - 0.817863880692*x0^2*x1^2*x2^1 + 0.397128951703*x0^2*x1^4*x2^1 + 1.0121082567*x0^1*x1^3*x2^2 + 1.23356343961*x0^2*x1^3*x2^1 + 0.180656954226*x0^1*x1^3*x2^1 + 0.503117771801*x0^2*x1^2*x2^3 - 1.55382229117*x0^1*x1^6*x2^1 + 1.55200453166*x0^1*x1^4*x2^1 - 0.66441569955*x0^2*x1^1*x2^1 - 0.457994797951*x0^3*x1^1*x2^1 + 0.408135609913*x0^1*x1^2*x2^1',);
p12 := ('0.458007572169 + 1.2727078932*x2^8 + 18.9952214725*x1^4 + 0.468159482245*x0^6*x2^4 + 3.01236728827*x0^10 + 0.335908395109*x0^2*x2^6 + 1.90437590918*x0^8*x2^2 + 0.0853644334227*x0^4*x2^2 - 0.135479764303*x1^2 + 0.665334277922*x0^4*x1^1*x2^3 - 0.849995502715*x0^5*x2^3 - 0.852341796688*x0^4*x2^3 - 0.479985111533*x0^2*x1^1*x2^3 - 1.01964909948*x0^5*x1^1*x2^2 - 0.0076011384133*x0^3*x2^3 - 0.933830661417*x0^3*x2^2 - 0.174996843735*x0^3*x2^4 - 1.43714343223*x0^2*x2^4 - 1.65220029124*x0^3*x1^1*x2^2 - 0.675661789001*x0^3*x1^1*x2^3 - 1.06706712378*x0^4*x2^4 - 0.652931145138*x0^2*x1^1*x2^2 - 0.612094750168*x0^4*x1^1*x2^2 - 0.351262461093*x0^4*x1^1*x2^1',);
p13 := ('14.3090277874 + 3.4920788041*x0^10 + 0.771979744576*x1^10 + 14.9079416269*x2^10 - 0.277388202514*x0^1*x1^1*x2^3 - 0.354758979269*x0^1*x1^2*x2^3 - 0.0827414814825*x0^1*x1^3*x2^5 - 0.627000676824*x0^1*x1^4*x2^3 - 0.0438181689759*x0^1*x1^6*x2^1 - 0.47721803036*x0^2*x1^1*x2^3 - 1.31386475336*x0^2*x1^1*x2^4 + 0.8846223805*x0^2*x1^2*x2^1 + 0.881318042208*x0^2*x1^6*x2^1 + 1.70957306365*x0^3*x1^1*x2^3 + 0.0500336421769*x0^3*x1^4*x2^1 - 0.404677414601*x0^4*x1^2*x2^1 - 0.54535994762*x0^4*x1^2*x2^3 - 1.54647731558*x0^4*x1^3*x2^1 + 0.982367434258*x0^4*x1^4*x2^1 - 1.10106763011*x0^5*x1^1*x2^2 - 1.18504652702*x0^5*x1^1*x2^3 - 0.205649899423*x0^5*x1^2*x2^1 + 1.48614835507*x0^5*x1^2*x2^2 + 0.236716267227*x0^6*x1^1*x2^2',);
p14 := ('5.52032598905 + 15.9814025062*x1^2*x2^6 + 1.55781723585*x1^6*x2^2 + 15.6398829255*x0^2*x2^6 + 8.55446237163*x0^2*x1^8 + 12.8104224918*x0^4*x2^4 + 10.931898301*x0^4*x2^6 - 0.437694790821*x0^2*x1^4*x2^2 + 0.403625715233*x0^2*x1^3*x2^2 - 1.09662368236*x0^1*x1^2*x2^2 + 1.06660469716*x0^1*x1^2*x2^4 + 1.67908347954*x0^2*x1^2*x2^5 - 0.824739173979*x0^2*x1^4*x2^3 + 1.12929565586*x0^1*x1^3*x2^4 - 0.891223011408*x0^2*x1^1*x2^4 - 0.997949909372*x0^3*x1^1*x2^4 + 0.245685088485*x0^1*x1^4*x2^2 + 0.237931343893*x0^1*x1^2*x2^3 - 0.59603540135*x0^2*x1^3*x2^4 + 0.842024242437*x0^2*x1^2*x2^3 - 1.46918164606*x0^1*x1^3*x2^2 - 0.855665940701*x0^2*x1^3*x2^3 - 1.07786938898*x0^2*x1^2*x2^4 + 0.758363667989*x0^1*x1^3*x2^3',);
p15 := ('9.39493923564 + 3.10730273475*x1^8 + 2.45857776666*x0^2*x1^2*x2^6 + 2.4972428536*x0^4*x1^2*x2^2 + 0.0562660200362*x0^2*x1^4*x2^2 - 1.24179307596*x0^2*x1^2*x2^3 + 0.484830018162*x0^1*x1^2*x2^1 + 1.13384473984*x0^1*x1^3*x2^2 - 0.97155530468*x0^1*x1^4*x2^1 - 0.118747117525*x0^2*x1^2*x2^2 - 1.91653185216*x0^2*x1^2*x2^4 + 0.17012645683*x0^2*x1^3*x2^2 - 0.112541530766*x0^3*x1^2*x2^3 - 0.460094001041*x0^1*x1^4*x2^2 + 0.522903043636*x0^3*x1^3*x2^2 + 0.703749426835*x0^2*x1^3*x2^3 + 0.433791131889*x0^1*x1^1*x2^1 - 0.691374826729*x0^1*x1^3*x2^1 + 0.82972152092*x0^1*x1^2*x2^2 + 0.156242517373*x0^1*x1^5*x2^2 - 0.410057751413*x0^1*x1^5*x2^1 - 1.31527912536*x0^3*x1^2*x2^2 - 0.48305334699*x0^2*x1^2*x2^5 - 0.695011425094*x0^1*x1^1*x2^2',);
p16 := ('4.01448202803 + 13.8427035229*x2^10 + 1.65883150316*x1^10 + 8.87339660038*x0^4 + 1.7029272286*x0^6*x2^2 + 3.38013937968*x0^6*x1^4 + 0.993683781331*x2^4 + 0.0650348936458*x1^2 + 0.590163170512*x1^2*x2^2 + 0.851927625967*x1^2*x2^8 + 1.494557001*x1^8*x2^2 - 1.08262617751*x2^8 - 1.03335016955*x1^6 - 1.24621208686*x1^6*x2^2 - 0.778421820434*x0^2*x1^2 - 0.089884412001*x0^2*x1^4*x2^2 + 2.43122400186*x0^1*x1^4*x2^3 - 0.465248732696*x0^2*x1^3*x2^2 - 2.20206457858*x0^1*x1^2*x2^2 + 2.78680359243*x0^1*x1^4*x2^2 + 1.01257933742*x0^1*x1^3*x2^3 + 0.358790826858*x0^1*x1^3*x2^2 + 2.77713467857*x0^2*x1^3*x2^3 - 0.0752657543678*x0^1*x1^2*x2^3',);
p17 := ('0.908016873759 + 16.5713334307*x1^2*x2^8 + 0.340179710676*x1^10 + 2.37043986322*x0^2*x1^2 + 0.944389271582*x0^6*x2^2 + 1.00614998153*x0^2*x1^2*x2^2 - 2.43670919063*x1^2*x2^2 - 0.723081482525*x1^6*x2^2 - 0.961613937913*x0^2*x1^4*x2^2 - 0.316299785562*x0^1*x1^3*x2^1 - 2.29291305265*x0^2*x1^2*x2^3 + 0.28220666251*x1^3*x2^2 + 0.533567293182*x0^3*x1^2*x2^2 + 0.574612567708*x0^1*x1^5*x2^2 - 0.0529820940455*x0^1*x1^4*x2^2 - 0.0977895271944*x0^1*x1^4*x2^1 + 0.454322860881*x0^2*x1^2*x2^1 - 0.414473767261*x0^1*x1^4*x2^3 + 0.30059994989*x0^1*x1^3*x2^3 + 0.69509262193*x0^2*x1^3*x2^1 + 1.20050879892*x0^2*x1^3*x2^2 + 0.471660824054*x0^2*x1^4*x2^1 - 0.776413252384*x0^1*x1^3*x2^2 - 0.482443287118*x1^4*x2^2',);
p18 := ('6.86992845336 + 8.88088396761*x2^10 + 8.27051858192*x1^10 + 12.1230938466*x0^6*x2^2 + 8.3160308723*x0^6*x1^4 + 0.613470314005*x1^2*x2^8 + 0.000965275392458*x1^6*x2^2 + 0.561836194512*x0^2*x1^4*x2^2 - 0.855929481553*x2^4 - 1.68727903777*x1^2 - 0.900395653443*x1^2*x2^2 - 0.900780945084*x0^2*x1^2 + 1.38702576249*x0^1*x1^4*x2^2 - 1.08693612694*x0^1*x1^1*x2^3 - 0.0517497226839*x0^2*x1^3*x2^1 - 0.766654279581*x0^1*x1^3*x2^3 + 1.1093812026*x0^2*x1^3*x2^3 + 0.138516210855*x0^1*x1^2*x2^2 - 0.618985581786*x0^1*x1^3*x2^2 - 1.60451348825*x0^2*x1^2*x2^2 + 0.713975172289*x0^2*x1^2*x2^3 - 0.255604365695*x0^1*x1^4*x2^3 + 0.159447515939*x0^2*x1^3*x2^2 - 0.156073344694*x0^1*x1^2*x2^3',);
p19 := ('3.52981989508 + 2.64696121515*x0^10 + 19.4461694961*x1^10 + 2.01673703682*x2^10 + 0.109609841578*x0^1*x1^1*x2^3 + 1.58248111706*x0^1*x1^1*x2^5 - 0.909232404856*x0^1*x1^2*x2^1 - 0.59163665793*x0^1*x1^3*x2^2 + 0.187603225837*x0^1*x1^3*x2^3 - 0.329869957779*x0^1*x1^4*x2^4 - 1.19276461242*x0^2*x1^1*x2^1 - 0.204876510588*x0^2*x1^1*x2^5 - 0.358828947001*x0^2*x1^1*x2^6 + 0.603471602609*x0^2*x1^2*x2^3 - 1.66478852947*x0^2*x1^5*x2^1 - 0.70017903769*x0^2*x1^6*x2^1 + 1.15139100949*x0^3*x1^1*x2^1 + 1.85733100723*x0^3*x1^1*x2^5 - 1.51117955769*x0^3*x1^3*x2^3 + 0.644847510893*x0^3*x1^4*x2^1 - 0.980607885219*x0^4*x1^2*x2^1 - 0.856853154716*x0^4*x1^3*x2^1 - 0.871879183256*x0^5*x1^2*x2^1 - 0.422507929162*x0^6*x1^1*x2^1',);
p20 := ('2.90557722819 + 0.10278999223*x2^8 + 5.25065904083*x1^4 + 3.23479759601*x1^6*x2^2 + 12.4640506369*x1^6*x2^4 + 9.82704029826*x0^4*x1^6 + 4.26041697585*x0^6*x2^4 + 4.89884851027*x0^6*x1^2 + 5.26198643349*x0^6*x1^4 + 0.56681780572*x0^8*x2^2 + 0.630066800717*x2^4 + 2.32521039066*x0^2*x1^6*x2^2 + 0.568273048906*x0^4*x1^2*x2^4 + 1.31425929071*x0^4*x1^2*x2^2 - 0.273801713772*x0^2*x2^4 - 0.815220136083*x0^2*x1^4 - 0.198484820536*x0^4*x1^2 - 0.0809403877665*x0^2*x1^2*x2^2 - 0.773228084878*x0^4*x1^3*x2^1 + 0.391162350936*x0^3*x1^2*x2^3 + 0.340912169389*x0^3*x1^3*x2^2 - 2.2756543824*x0^3*x1^2*x2^2 + 0.287152753384*x0^3*x1^3*x2^1 + 0.839561789602*x0^2*x1^3*x2^2',);
p21 := ('13.5242056304 + 3.72749896433*x0^10 + 0.262561309429*x1^10 + 3.26013026397*x2^10 + 0.154335535456*x0^4*x1^2*x2^2 - 0.788923028626*x0^1*x1^1*x2^6 + 0.00206557290595*x0^1*x1^2*x2^1 - 0.000890385857931*x0^1*x1^2*x2^2 - 1.75472430635*x0^1*x1^2*x2^3 + 1.01765800566*x0^1*x1^2*x2^4 + 0.60049851592*x0^1*x1^2*x2^6 - 0.625428973967*x0^1*x1^3*x2^1 - 0.171548261196*x0^1*x1^4*x2^3 + 0.505299374197*x0^2*x1^1*x2^1 - 0.261356415192*x0^2*x1^1*x2^4 - 0.242749078673*x0^2*x1^3*x2^4 - 1.45324141249*x0^2*x1^5*x2^2 + 0.554580311892*x0^3*x1^1*x2^3 + 0.123880905287*x0^3*x1^2*x2^1 + 0.27445992376*x0^3*x1^2*x2^2 - 1.52652453187*x0^3*x1^2*x2^3 + 1.65069969119*x0^4*x1^1*x2^2 - 0.387139943286*x0^4*x1^2*x2^3 + 2.02907222076*x0^5*x1^1*x2^2',);
p22 := ('0.136902652243 + 2.40345420948*x1^8*x2^2 + 2.34115100755*x0^4*x1^2*x2^4 + 4.88085851095*x0^10 + 0.465773313697*x0^4*x1^2*x2^2 + 0.654955904042*x0^2*x1^2*x2^2 - 0.635142032266*x0^4*x1^1*x2^1 + 2.27092904508*x0^3*x1^2*x2^2 + 0.715058633454*x0^3*x1^4*x2^2 - 0.879452975767*x0^3*x1^2*x2^1 - 1.76228084705*x0^4*x1^3*x2^2 + 0.934020363248*x0^2*x1^3*x2^2 - 0.117450237208*x0^4*x1^2*x2^1 - 1.81775389349*x0^3*x1^3*x2^1 + 0.53623303737*x0^6*x1^1*x2^1 - 0.286091996663*x0^1*x1^5*x2^2 - 1.11613436866*x0^5*x1^1*x2^1 + 0.690244327547*x0^5*x1^3*x2^1 + 0.209707326925*x0^2*x1^2*x2^1 + 0.543318260546*x0^4*x1^3*x2^1 - 0.277270398522*x0^3*x1^1*x2^1 + 1.48723880392*x0^5*x1^2*x2^2 - 0.890473977871*x0^2*x1^4*x2^2 + 1.67564583563*x0^6*x1^2*x2^1',);
p23 := ('0.00886843769769 + 2.316352554*x0^10 + 8.92853042452*x1^10 + 0.103062053966*x2^10 + 1.74011730529*x0^2*x1^2*x2^2 + 0.707503661852*x0^2*x1^4*x2^2 - 0.378361464208*x0^1*x1^1*x2^2 - 0.481135362877*x0^1*x1^1*x2^7 - 1.5173311788*x0^1*x1^2*x2^5 - 0.490871981222*x0^1*x1^4*x2^1 - 0.240680578503*x0^1*x1^4*x2^4 - 0.647947460222*x0^1*x1^5*x2^1 + 0.635891080247*x0^1*x1^5*x2^3 + 0.296682217711*x0^2*x1^4*x2^1 + 1.82281576312*x0^2*x1^6*x2^1 + 0.430769029499*x0^3*x1^1*x2^1 + 1.54272962549*x0^3*x1^2*x2^2 - 0.900721171417*x0^3*x1^3*x2^1 - 0.137125010378*x0^3*x1^3*x2^3 + 1.29757901208*x0^4*x1^1*x2^2 + 0.675271167432*x0^4*x1^2*x2^1 + 0.0319581169667*x0^4*x1^3*x2^1 + 0.918145896297*x0^5*x1^3*x2^1 + 0.38050946644*x0^7*x1^1*x2^1',);
p24 := ('6.64688652351 + 3.51534586002*x1^2*x2^6 + 5.1473402081*x1^8 + 0.446882837511*x0^2*x2^6 + 17.8442387454*x0^4*x1^2 + 8.38765911616*x0^4*x1^4*x2^2 + 1.37390062328*x0^2*x1^4 + 1.94137871414*x0^2*x1^4*x2^2 - 0.718709987632*x1^4*x2^2 - 0.319555713573*x0^1*x1^3*x2^1 + 0.0577443951869*x0^2*x1^3*x2^3 + 0.445241637869*x0^2*x1^2*x2^3 - 0.937480937417*x1^4*x2^1 + 0.576922148457*x0^1*x1^3*x2^3 + 2.18004927703*x0^1*x1^4*x2^1 - 0.940131082375*x0^2*x1^2*x2^2 - 1.60832275804*x0^1*x1^2*x2^3 - 0.300964853772*x0^1*x1^2*x2^2 - 0.465954480665*x0^2*x1^4*x2^1 + 1.18637128034*x0^1*x1^4*x2^2 - 1.09740546937*x0^2*x1^3*x2^1 - 1.10485109631*x0^2*x1^2*x2^1 + 0.423856905154*x0^1*x1^3*x2^2 + 2.11512094164*x0^2*x1^3*x2^2',);
p25 := ('1.9926499020779453 + 6.604412009228387*x3^4 + 5.009093199821554*x2^6*x3^4 + 4.030434303646026*x1^8 + 3.426937178340551*x0^8*x3^2 + 0.7664406629082979*x0^1*x1^3*x2^1*x3^2 - 1.644877321026595*x0^1*x1^3*x2^1*x3^1 - 0.5019236888142856*x0^2*x1^1*x2^1*x3^2 + 0.06724677801801543*x0^2*x1^2*x2^1*x3^2 - 0.43778600579634236*x0^1*x1^1*x2^2*x3^2 - 2.115100890103546*x0^1*x1^2*x2^2*x3^2 - 0.6658691928382869*x0^2*x1^1*x2^2*x3^2 - 2.1380367243625815*x0^2*x1^2*x2^2*x3^2 + 1.2938772884215957*x0^1*x1^2*x2^1*x3^2 + 0.29349910648339606*x0^3*x1^2*x2^1*x3^2 - 0.23944328206537166*x0^1*x1^1*x2^2*x3^3 + 0.722447975686311*x0^1*x1^2*x2^1*x3^1 - 1.0159500656139506*x0^3*x1^1*x2^1*x3^2 - 0.5119185954779544*x0^1*x1^4*x2^1*x3^1 - 0.23642715761072214*x0^1*x1^3*x2^2*x3^2 - 0.10260353324262796*x0^1*x1^1*x2^1*x3^1 + 0.13384259320889516*x0^1*x1^1*x2^1*x3^2 + 0.21224664762608136*x0^1*x1^1*x2^3*x3^3 - 0.42332352198986095*x0^1*x1^1*x2^1*x3^3',);
p26 := ('11.062149180167753 + 9.153043431975384*x2^2 + 8.673213489703159*x1^2*x2^6*x3^2 + 2.262963666649446*x1^4*x3^6 + 0.4233433751017485*x1^8 + 3.6249582426982494*x1^8*x2^2 + 2.832893985099515*x0^2*x2^2*x3^4 + 4.9195037583117465*x0^2*x2^4*x3^2 + 5.445117702641032*x0^4*x2^4 + 3.5149372479561234*x0^4*x1^4*x2^2 + 5.6253530534204845*x0^6*x2^2 + 1.5276485507102424*x0^6*x2^2*x3^2 + 5.841592273686885*x0^6*x1^2*x3^2 + 1.2436966346085838*x0^8*x1^2 + 1.0996419726694937*x1^6 + 0.9398969807980037*x1^6*x2^2*x3^2 + 0.6063890007417859*x0^2*x2^2*x3^2 + 0.0017608407142712342*x0^2*x1^2*x2^2 + 1.872394078525924*x0^4*x1^4 - 0.9901601425103287*x0^4*x1^2 - 0.24107359045991097*x0^6*x1^2 + 0.05334490701920273*x0^3*x1^3*x2^1*x3^1 + 1.030815947669532*x0^2*x1^3*x2^2*x3^2 - 1.2769889870258138*x0^3*x1^2*x2^2*x3^1',);
p27 := ('5.26595999083104 + 9.704919479607005*x3^10 + 8.934168082175006*x1^2*x2^6 + 4.848034518727244*x0^4*x1^4*x3^2 + 5.980320425649182*x0^8 + 0.035216358437064665*x0^2*x1^2*x2^2*x3^2 + 0.6742806900894175*x0^2*x1^1*x2^1*x3^3 - 0.7931702112987159*x0^2*x1^1*x2^1*x3^2 + 0.8158648510119599*x0^1*x1^1*x2^2*x3^3 - 0.5992260589764149*x0^1*x1^1*x2^2*x3^2 - 1.11396053771771*x0^2*x1^1*x2^2*x3^1 - 0.8777807260285185*x0^3*x1^1*x2^2*x3^1 - 0.13488410243636864*x0^1*x1^1*x2^1*x3^5 - 0.570133926492644*x0^3*x1^1*x2^1*x3^2 + 0.24262186539301836*x0^2*x1^1*x2^2*x3^2 + 0.6690130405096038*x0^3*x1^1*x2^1*x3^4 + 0.6140294568430522*x0^2*x1^1*x2^1*x3^4 - 0.08196970624179974*x0^3*x1^1*x2^1*x3^3 - 0.7085532450777074*x0^2*x1^1*x2^1*x3^5 + 0.32174216940424344*x0^4*x1^1*x2^1*x3^1 + 0.6373280392576324*x0^4*x1^1*x2^1*x3^2 + 0.3734938925533895*x0^3*x1^1*x2^2*x3^2 + 0.20423972938252477*x0^1*x1^1*x2^2*x3^5 + 2.2012862370468027*x0^2*x1^1*x2^2*x3^3',);
p28 := ('2.5005470844328235 + 0.33760096335797685*x0^10 + 12.817176574010723*x1^10 + 9.841624850429932*x2^10 + 10.76061351116918*x3^10 - 0.841747365656204*x0^1*x1^1*x2^1*x3^6 + 0.5028814171580428*x0^1*x1^1*x2^2*x3^3 - 1.2452880866072316*x0^1*x1^1*x2^3*x3^1 - 1.057952218862339*x0^1*x1^1*x2^3*x3^2 - 0.9090076149268493*x0^1*x1^2*x2^1*x3^2 + 0.5514540445464243*x0^1*x1^2*x2^2*x3^3 + 2.2922080128149576*x0^1*x1^2*x2^4*x3^1 + 0.04153939299840346*x0^1*x1^3*x2^2*x3^1 - 1.1179254451135168*x0^1*x1^4*x2^1*x3^2 + 0.5390583205807888*x0^2*x1^2*x2^3*x3^1 - 0.596159699806467*x0^2*x1^3*x2^3*x3^1 - 0.019130496521151476*x0^3*x1^1*x2^2*x3^1 + 1.175001219500291*x0^3*x1^2*x2^2*x3^1 - 0.7478709492938624*x0^3*x1^3*x2^1*x3^1 + 0.009025250973325124*x0^3*x1^3*x2^2*x3^1 - 0.878107893240342*x0^3*x1^4*x2^1*x3^1 - 0.15643417038462365*x0^4*x1^1*x2^1*x3^1 + 0.25657045200129563*x0^5*x1^1*x2^1*x3^2 - 0.9887790487696217*x0^5*x1^1*x2^2*x3^1',);
p29 := ('10.731770840581913 + 2.619059103071937*x0^10 + 0.5789848084320517*x1^10 + 11.180956220186944*x2^10 + 1.6643292150863944*x3^10 - 0.35475897926898675*x0^1*x1^1*x2^1*x3^3 - 0.08274148148245977*x0^1*x1^1*x2^2*x3^4 - 0.6270006768238473*x0^1*x1^1*x2^4*x3^3 - 0.04381816897592824*x0^1*x1^2*x2^1*x3^5 - 0.47721803035950267*x0^1*x1^2*x2^3*x3^1 - 1.3138647533626822*x0^1*x1^2*x2^3*x3^2 + 0.8846223804995846*x0^1*x1^2*x2^4*x3^2 + 0.8813180422075299*x0^1*x1^4*x2^1*x3^3 + 1.7095730636529485*x0^2*x1^1*x2^2*x3^1 + 0.05003364217686021*x0^2*x1^1*x2^5*x3^1 - 0.40467741460089085*x0^2*x1^2*x2^1*x3^1 - 0.5453599476195304*x0^2*x1^2*x2^2*x3^1 - 1.5464773155829683*x0^2*x1^2*x2^2*x3^2 + 0.9823674342581601*x0^2*x1^2*x2^3*x3^1 - 1.1010676301114757*x0^2*x1^3*x2^1*x3^1 - 1.1850465270201729*x0^3*x1^1*x2^1*x3^2 - 0.20564989942254108*x0^3*x1^3*x2^1*x3^2 + 1.4861483550745902*x0^4*x1^2*x2^1*x3^1 + 0.23671626722691233*x0^4*x1^2*x2^1*x3^2',);
p30 := ('7.612304944459201 + 1.9016071979527251*x2^2*x3^6 + 7.278104907446631*x1^4*x2^6 + 5.1126765704795645*x1^8*x3^2 + 2.1229589514890694*x0^4*x1^2*x3^4 + 0.776214807686316*x0^1*x1^3*x2^2*x3^2 + 0.3336921810404531*x0^2*x1^2*x2^1*x3^4 + 1.1879186903854093*x0^1*x1^3*x2^2*x3^3 + 1.3031532595647093*x0^1*x1^2*x2^1*x3^2 + 1.5295877346527664*x0^1*x1^2*x2^2*x3^2 + 1.4285266373640542*x0^1*x1^3*x2^3*x3^2 - 0.5675365731539647*x0^1*x1^2*x2^2*x3^3 + 0.8657996951698393*x0^1*x1^3*x2^1*x3^3 + 0.3438840639089494*x0^1*x1^4*x2^1*x3^3 + 0.10771290832024566*x0^1*x1^2*x2^1*x3^3 + 0.37388265354865635*x0^2*x1^2*x2^1*x3^3 - 0.9059938603877136*x0^1*x1^2*x2^1*x3^4 - 0.28820668969340413*x0^1*x1^2*x2^2*x3^4 - 0.03473728241648143*x0^2*x1^3*x2^1*x3^3 - 0.7444106826756312*x0^1*x1^1*x2^1*x3^3 + 0.8030625396555455*x0^1*x1^3*x2^1*x3^2 - 0.27510415230721985*x0^1*x1^4*x2^2*x3^2 + 1.2350290621204065*x0^1*x1^3*x2^1*x3^4 - 0.6782225741613331*x0^1*x1^1*x2^1*x3^2',);
p31 := ('8.074845132864581 + 5.018687036508902*x3^4 + 2.516130368432811*x2^2*x3^6 + 4.872399864246418*x2^6*x3^4 + 5.979475273615156*x1^2*x3^8 + 1.2747549609825917*x1^2*x2^4 + 7.228764322979419*x1^2*x2^6*x3^2 + 3.241182150479822*x1^6*x3^4 + 3.980425820508141*x1^6*x2^4 + 3.1496119445981483*x0^2*x2^2 + 11.027459019070557*x0^2*x2^8 + 0.9063768080020237*x0^2*x1^4 + 0.14672848145109288*x0^4*x3^2 + 0.13155349889858486*x0^4*x1^4*x3^2 + 0.5291097497755617*x0^6*x1^2 + 0.7597491621597048*x0^6*x1^2*x3^2 + 0.28488278305282894*x1^2*x2^4*x3^2 + 0.2713521828229987*x0^2*x1^2 + 1.3426725370422623*x0^2*x1^2*x2^4 - 1.1367913557875606*x0^2*x1^2*x2^2 - 0.9546701884775899*x0^2*x1^2*x2^2*x3^2 - 2.3549052333774143*x0^2*x1^2*x2^2*x3^1 + 1.524166040140084*x0^2*x1^1*x2^2*x3^2 + 0.1925378422571846*x0^1*x1^2*x2^2*x3^2',);
p32 := ('0.3033702428576373 + 2.999707999426974*x0^10 + 5.975453586641191*x1^10 + 4.161591049747869*x2^10 + 2.5098091201614605*x3^10 - 1.5845772351121241*x0^1*x1^1*x2^1*x3^4 - 0.6477067671218505*x0^1*x1^1*x2^2*x3^3 + 0.5985751739673772*x0^1*x1^1*x2^2*x3^4 + 0.3322500326099644*x0^1*x1^1*x2^3*x3^2 - 1.1474766329454797*x0^1*x1^1*x2^3*x3^4 + 0.6186696890268814*x0^1*x1^1*x2^6*x3^1 - 0.08798692834027545*x0^1*x1^2*x2^2*x3^4 + 0.42507239648702144*x0^1*x1^2*x2^3*x3^2 + 0.33225314537233536*x0^1*x1^3*x2^1*x3^3 - 1.1568162609191428*x0^1*x1^3*x2^1*x3^4 + 0.3509971530825316*x0^1*x1^4*x2^3*x3^1 - 0.606887283097402*x0^1*x1^5*x2^1*x3^1 + 1.5469793290157272*x0^2*x1^1*x2^2*x3^2 + 0.7233416087478579*x0^2*x1^1*x2^3*x3^3 + 0.046135567230164806*x0^2*x1^2*x2^1*x3^1 - 0.9829916534185322*x0^3*x1^1*x2^1*x3^3 + 0.054432738865157676*x0^3*x1^1*x2^3*x3^1 + 0.15989293507262803*x0^3*x1^2*x2^1*x3^3 - 1.2089481591289206*x0^4*x1^2*x2^1*x3^2',);
p33 := ('1.5678722540654055 + 5.260454892885212*x2^4*x3^6 + 2.8972721164607274*x2^10 + 5.912510766303081*x1^4*x3^6 + 2.835976893214283*x1^6*x2^4 + 0.5776076635736946*x0^4*x3^4 + 1.2292133951136988*x2^4*x3^2 + 1.5998775141511075*x1^2*x2^4*x3^2 - 0.3994142762716403*x0^2*x2^2*x3^2 - 1.4641835614607555*x1^2*x2^5*x3^2 - 1.3838662798176629*x0^1*x1^2*x2^2*x3^3 + 2.125322152815616*x1^2*x2^2*x3^3 - 0.4028697810483954*x1^2*x2^2*x3^2 + 0.4579062166073701*x1^1*x2^4*x3^3 + 1.9172848529392297*x0^1*x1^1*x2^2*x3^3 - 0.6801162405590278*x0^1*x1^2*x2^3*x3^2 - 0.19457399322893792*x0^1*x1^1*x2^3*x3^2 - 0.580595171588887*x0^1*x1^1*x2^4*x3^2 - 1.0959160033229234*x0^1*x1^2*x2^3*x3^3 + 0.7997555367606815*x1^1*x2^3*x3^2 + 1.0656997694604582*x1^2*x2^3*x3^2 - 1.8737384374677049*x0^1*x1^1*x2^3*x3^3 + 0.9817106626077918*x0^1*x1^1*x2^4*x3^3 - 0.23596711644264684*x1^1*x2^4*x3^2',);
p34 := ('2.6473649213102486 + 1.9852209113645258*x0^10 + 14.58462712204668*x1^10 + 1.5125527776184615*x2^10 + 0.6576590494690967*x3^10 + 1.5824811170615634*x0^1*x1^1*x2^1*x3^5 - 0.9092324048562419*x0^1*x1^1*x2^2*x3^2 - 0.5916366579302884*x0^1*x1^1*x2^4*x3^1 + 0.18760322583703548*x0^1*x1^2*x2^1*x3^1 - 0.32986995777935924*x0^1*x1^2*x2^3*x3^3 - 1.192764612421806*x0^1*x1^2*x2^4*x3^1 - 0.2048765105875873*x0^1*x1^4*x2^1*x3^1 - 0.3588289470012431*x0^2*x1^1*x2^1*x3^5 + 0.6034716026094954*x0^2*x1^1*x2^4*x3^1 - 1.6647885294716944*x0^2*x1^2*x2^4*x3^1 - 0.7001790376899514*x0^2*x1^3*x2^2*x3^1 + 1.1513910094871702*x0^2*x1^4*x2^2*x3^1 + 1.8573310072313118*x0^3*x1^1*x2^2*x3^1 - 1.5111795576883658*x0^3*x1^1*x2^4*x3^1 + 0.6448475108927784*x0^3*x1^2*x2^1*x3^2 - 0.9806078852186219*x0^3*x1^3*x2^1*x3^2 - 0.8568531547160899*x0^4*x1^1*x2^3*x3^1 - 0.8718791832556535*x0^4*x1^2*x2^2*x3^1 - 0.4225079291623943*x0^5*x1^1*x2^1*x3^1',);
p35 := ('5.33652440466982 + 7.805708710173256*x3^8 + 8.41299972225508*x2^2*x3^2 + 2.790605962282171*x1^2*x2^4*x3^4 + 6.390195716292039*x1^2*x2^6 + 2.3425236482693217*x1^6 + 1.8336010332499675*x0^2*x3^8 + 3.1310969418979853*x0^2*x2^6 + 13.399624882469396*x0^2*x1^2*x2^6 + 0.20821260738395103*x0^2*x1^6*x2^2 + 7.677739093587548*x0^4*x2^6 + 0.21925584892351874*x0^4*x1^4*x3^2 + 3.8781395131428322*x0^6*x1^2*x2^2 + 3.2914070211394426*x0^8 + 0.21054245602828903*x0^2*x1^4*x2^2 + 0.3465017504759862*x0^4*x2^2 - 0.567051168267193*x0^4*x1^2*x3^2 + 0.41367880834311616*x0^1*x1^2*x2^2*x3^2 - 0.510256056076286*x0^3*x1^1*x2^2*x3^2 + 0.5172593547162142*x0^3*x1^2*x2^2*x3^1 - 0.3010051283841473*x0^2*x1^2*x2^3*x3^1 - 1.1184064312813717*x0^3*x1^2*x2^3*x3^1 + 0.49852362361856384*x0^3*x1^2*x2^2*x3^2 - 0.706093869937341*x0^2*x1^2*x2^2*x3^2',);
p36 := ('1.8707020409250998 + 4.374023541675024*x0^10 + 1.306924728456012*x1^10 + 5.394550779282834*x2^10 + 14.92068390976719*x3^10 + 0.07612761221533733*x0^2*x1^2*x2^2*x3^2 + 0.9132515212358882*x0^1*x1^1*x2^1*x3^2 + 1.1270637259718324*x0^1*x1^1*x2^1*x3^4 - 1.5140932286302158*x0^1*x1^1*x2^1*x3^6 + 1.639291082937691*x0^1*x1^1*x2^3*x3^1 - 0.429893603006348*x0^1*x1^1*x2^5*x3^2 + 2.631280557263819*x0^1*x1^2*x2^4*x3^2 + 0.6018222499558621*x0^1*x1^3*x2^2*x3^2 - 0.335881614942245*x0^1*x1^4*x2^1*x3^3 + 1.2377378432256467*x0^2*x1^1*x2^2*x3^1 + 0.11112816676749648*x0^2*x1^1*x2^2*x3^3 + 0.12915124790351565*x0^2*x1^2*x2^1*x3^4 - 0.15512815855861198*x0^2*x1^3*x2^2*x3^2 + 0.6342253431679246*x0^3*x1^1*x2^2*x3^1 + 0.8106550034260697*x0^3*x1^1*x2^3*x3^1 + 0.35480860897233396*x0^3*x1^1*x2^3*x3^2 + 1.8125903138100259*x0^3*x1^2*x2^1*x3^2 - 1.35647580427871*x0^3*x1^2*x2^3*x3^1 - 0.46363196589133393*x0^5*x1^2*x2^1*x3^1',);
p37 := ('3.3221487494859083 + 3.2269037842339143*x3^10 + 1.3094628004187732*x2^4 + 4.347351554760505*x2^8*x3^2 + 0.016249657598059308*x1^2*x2^6*x3^2 + 5.1952320130362555*x0^2*x1^2*x3^6 + 4.366905835491675*x0^2*x1^4*x2^2*x3^2 + 1.8588522847173246*x0^4*x2^4 + 9.006984328014038*x0^4*x1^2*x3^2 + 2.89675614324398*x0^4*x1^2*x2^4 + 1.1488707841211951*x3^2 - 0.4035691988557102*x0^2*x2^2*x3^4 - 0.530991592721991*x0^2*x1^2*x2^2*x3^2 - 0.7426871376703175*x0^1*x1^2*x2^2*x3^3 + 0.6023601973516614*x0^2*x1^1*x2^3*x3^3 + 0.9954105606889504*x0^1*x1^1*x2^2*x3^2 - 0.5948016759695114*x0^2*x1^2*x2^3*x3^2 + 0.5219538435460972*x0^1*x2^2*x3^3 - 1.0790050372356252*x0^2*x1^1*x2^3*x3^2 + 1.1099022591114525*x0^2*x1^1*x2^2*x3^2 + 0.8653638381312938*x0^1*x1^1*x2^3*x3^3 + 0.019121625736584602*x0^1*x1^1*x2^3*x3^2 + 0.722580170207093*x0^1*x1^1*x2^2*x3^3 + 0.8059159384131556*x0^2*x1^1*x2^2*x3^3',);
p38 := ('10.143154222802137 + 2.795624223244997*x0^10 + 0.19692098207150643*x1^10 + 2.445097697979047*x2^10 + 4.733538171754431*x3^10 + 0.00206557290594813*x0^1*x1^1*x2^1*x3^6 - 0.0008903858579313628*x0^1*x1^1*x2^2*x3^2 - 1.7547243063454208*x0^1*x1^1*x2^2*x3^3 + 1.0176580056634932*x0^1*x1^1*x2^2*x3^5 + 0.6004985159195494*x0^1*x1^1*x2^3*x3^2 - 0.6254289739667597*x0^1*x1^1*x2^3*x3^3 - 0.17154826119572117*x0^1*x1^1*x2^6*x3^1 + 0.5052993741967516*x0^1*x1^2*x2^2*x3^3 - 0.261356415191647*x0^1*x1^3*x2^2*x3^3 - 0.2427490786725466*x0^1*x1^4*x2^1*x3^2 - 1.4532414124907906*x0^1*x1^4*x2^3*x3^1 + 0.5545803118918878*x0^2*x1^1*x2^1*x3^1 + 0.12388090528703843*x0^2*x1^1*x2^3*x3^1 + 0.2744599237599636*x0^2*x1^1*x2^4*x3^2 - 1.5265245318698402*x0^2*x1^2*x2^2*x3^1 + 1.6506996911864755*x0^2*x1^3*x2^2*x3^1 + 0.15433553545635803*x0^3*x1^2*x2^3*x3^1 - 0.3871399432863881*x0^4*x1^2*x2^1*x3^1 + 2.029072220761112*x0^5*x1^1*x2^1*x3^2',);
p39 := ('0.9364658775719883 + 1.1479783626367144*x3^8 + 7.618732781746907*x0^2*x2^8 + 1.1753756844933805*x0^2*x1^6*x2^2 + 2.3215193024383716*x0^6*x1^2*x3^2 + 0.19638549366028785*x0^2*x1^2*x2^1*x3^2 + 0.6610290036830951*x0^2*x1^2*x2^3*x3^2 - 0.22834456135677805*x0^2*x1^2*x2^3*x3^1 + 0.8379186771423385*x0^2*x1^1*x2^3*x3^2 - 0.6128649559937861*x0^2*x1^2*x2^2*x3^2 - 0.3824913683373902*x0^3*x1^1*x2^2*x3^3 + 0.46946260285468716*x0^1*x1^1*x2^2*x3^3 - 0.13016259906620692*x0^2*x1^3*x2^2*x3^2 - 0.385485195810835*x0^3*x1^2*x2^2*x3^2 + 0.5787779596226528*x0^3*x1^2*x2^3*x3^1 + 1.323396359959442*x0^2*x1^2*x2^1*x3^1 + 0.04843057860052931*x0^3*x1^2*x2^1*x3^3 + 0.18865772083316873*x0^1*x1^1*x2^2*x3^2 - 1.2210430563492194*x0^3*x1^2*x2^2*x3^1 + 3.6182549258134737*x0^1*x1^2*x2^1*x3^2 - 1.9812385920228117*x0^2*x1^1*x2^2*x3^2 - 0.9343065228380205*x0^1*x1^2*x2^1*x3^3 - 1.233686804813107*x0^2*x1^1*x2^1*x3^2 - 1.0125537785197065*x0^2*x1^2*x2^2*x3^3',);
p40 := ('7.770366173576948 + 3.793612323835255*x2^2*x3^8 + 10.360131263950576*x2^10 + 2.2658517499062354*x1^4*x2^2*x3^4 + 4.920911880030567*x1^6*x3^2 + 0.021039956530877008*x1^6*x2^4 + 9.279647618792826*x0^2*x2^4 + 7.262155249602333*x0^2*x1^4*x2^2 + 8.820333419852215*x0^4*x1^2*x2^4 + 3.3474823494994554*x0^6*x1^2 + 0.802139034541499*x0^8*x3^2 + 0.5761183388372495*x2^2*x3^2 + 0.9786690901908609*x2^2*x3^4 + 0.9502831305276634*x1^2*x2^2*x3^4 + 1.2879898745183689*x0^2*x2^6*x3^2 - 1.2060676881765442*x2^4*x3^4 - 0.09234832585960905*x0^2*x1^2*x2^2 + 0.5579329574006759*x0^2*x1^2*x2^3*x3^2 - 0.4892071982524366*x0^1*x1^2*x2^4*x3^2 + 0.09950238648979595*x0^2*x1^1*x2^2*x3^3 + 1.2890169948173185*x0^2*x1^2*x2^3*x3^1 + 0.6739338207934993*x0^2*x1^1*x2^2*x3^2 - 0.5849866736971204*x0^2*x1^2*x2^2*x3^2 - 0.9488052481191211*x0^1*x1^1*x2^3*x3^2',);
p41 := ('2.6640254579363116 + 3.917141203578078*x3^6 + 4.058412970512026*x2^8 + 11.21396921891861*x1^4*x2^4*x3^2 + 0.16243626676396394*x0^6*x1^2 + 0.7170262164098562*x0^1*x1^1*x2^3*x3^1 + 0.16657510631355046*x0^1*x1^1*x2^2*x3^2 - 1.0679986941972606*x0^2*x1^2*x2^2*x3^2 - 0.34468665722872366*x0^2*x1^1*x2^2*x3^2 + 0.5233717606035395*x0^1*x1^2*x2^2*x3^2 - 0.3646527576958397*x0^1*x1^2*x2^4*x3^1 - 0.7688035205394379*x0^2*x1^1*x2^2*x3^1 + 0.9944184415804511*x0^2*x1^1*x2^3*x3^1 - 0.9072170448104129*x0^2*x1^1*x2^1*x3^1 + 0.9659835406079994*x0^1*x1^1*x2^2*x3^1 + 0.15511453558058388*x0^1*x1^1*x2^1*x3^3 + 0.05027222341899845*x0^2*x1^2*x2^2*x3^1 - 0.09210106311593877*x0^1*x1^1*x2^3*x3^2 + 0.6332583708988161*x0^1*x1^2*x2^2*x3^3 + 0.49268115228353404*x0^1*x1^1*x2^1*x3^2 + 0.6648961633402891*x0^1*x1^2*x2^3*x3^1 + 1.374842253798139*x0^1*x1^2*x2^2*x3^1 - 0.9693262658865813*x0^2*x1^2*x2^3*x3^1 + 0.9320708008914644*x0^2*x1^1*x2^1*x3^3',);
p42 := ('0.6012081625596148 + 3.7384914342236*x2^6*x3^4 + 8.871327897476345*x2^8 + 4.165644150152492*x1^2*x3^8 + 5.950011755622114*x1^6*x3^4 + 13.505192686294695*x1^6*x2^2 + 9.12736214486322*x0^4 + 6.932092820268537*x0^8*x1^2 + 0.9877422251668785*x2^2 + 1.4154595006259976*x1^2*x2^4*x3^4 + 0.6054912024371338*x0^2*x1^2*x2^2*x3^2 - 0.535347246894154*x2^4 - 1.047865741203294*x1^2*x2^4 - 1.728238730434419*x0^4*x1^2*x2^2 - 1.5050775876458051*x0^2*x1^2*x2^3*x3^2 - 1.2260206132759246*x0^2*x1^1*x2^3*x3^1 + 0.037783813822679646*x0^1*x1^1*x2^3*x3^1 + 0.19687357446023845*x0^2*x1^2*x2^2*x3^1 + 1.2414188498284868*x0^1*x1^1*x2^2*x3^2 + 1.6703774788070682*x0^1*x1^2*x2^2*x3^1 - 0.8249022948844271*x0^1*x1^2*x2^3*x3^2 - 0.9813772022793839*x0^1*x1^2*x2^2*x3^2 + 0.520216895120965*x0^1*x1^2*x2^3*x3^1 - 0.8351936817270166*x0^1*x1^1*x2^2*x3^1',);
p43 := ('12.929613300520511 + 1.1350353098785628*x1^2*x3^8 + 2.0407291093096287*x1^6*x2^4 + 9.96336330124677*x0^2*x1^4*x3^2 + 6.652105298069598*x0^4*x2^4 + 0.19502257126895073*x0^1*x1^2*x2^1*x3^2 - 0.8574439794515789*x0^2*x1^1*x2^2*x3^3 - 0.2169393660277186*x0^2*x1^2*x2^2*x3^1 - 0.1364060289305189*x0^1*x1^3*x2^1*x3^3 + 0.9962307757913522*x0^2*x1^2*x2^3*x3^1 - 1.3464002112991944*x0^1*x1^2*x2^1*x3^4 - 0.16319550413959025*x0^1*x1^3*x2^1*x3^2 - 0.8438655591788279*x0^1*x1^3*x2^2*x3^2 + 0.8056037306560856*x0^1*x1^2*x2^1*x3^3 - 1.3771043997540637*x0^2*x1^3*x2^2*x3^1 + 1.4546710087326364*x0^1*x1^4*x2^2*x3^1 - 0.07813884557981089*x0^2*x1^1*x2^2*x3^1 - 0.3605768919143384*x0^1*x1^3*x2^2*x3^3 - 0.34873635235705125*x0^1*x1^2*x2^2*x3^1 + 1.1451096567746137*x0^1*x1^3*x2^2*x3^1 + 0.26868322968752345*x0^2*x1^1*x2^2*x3^2 + 0.2368497175117052*x0^1*x1^3*x2^1*x3^1 - 0.38814114895952756*x0^1*x1^2*x2^1*x3^1 - 1.0908969463102223*x0^2*x1^2*x2^2*x3^2',);
p44 := ('7.953740586015289 + 5.622170685898891*x2^8 + 2.704138154957308*x1^2*x3^6 + 5.586774789431134*x1^2*x2^8 + 10.832587683101174*x1^6*x3^4 + 2.582392647880064*x0^2*x3^8 + 3.40376347685899*x0^2*x1^2*x2^4*x3^2 + 6.419734380011484*x0^2*x1^6 + 0.7260574899214618*x0^6 - 1.0328047127830562*x0^1*x1^3*x2^3*x3^1 + 0.8352808611135286*x0^2*x1^2*x2^3*x3^2 - 0.8519202879044526*x0^2*x1^1*x2^3*x3^2 - 1.1849414861522647*x0^1*x1^2*x2^1*x3^3 - 1.0307519148699043*x0^1*x1^2*x2^3*x3^2 - 0.9148852437041264*x0^1*x1^2*x2^2*x3^1 - 0.8242077437752996*x0^2*x1^2*x2^2*x3^1 - 0.7373303947306251*x0^1*x1^1*x2^2*x3^3 + 0.8575640275259118*x0^1*x1^2*x2^3*x3^1 + 0.9471872179083402*x0^2*x1^2*x2^1*x3^3 + 1.1969718985724995*x0^1*x1^2*x2^4*x3^2 + 1.8980840547963773*x0^1*x1^2*x2^2*x3^2 + 0.524789637777509*x0^1*x1^2*x2^2*x3^3 - 0.1405794832229537*x0^2*x1^2*x2^2*x3^2 - 1.2914822407821633*x0^1*x1^2*x2^3*x3^3',);
p45 := ('2.0168842710373065 + 1.2223855087233313*x4^2*x5^4*x7^4 + 2.309748223335949*x3^2*x4^8 + 1.6177475738754516*x2^2*x5^8 + 2.022997981972128*x2^2*x4^2 + 0.09549167482305354*x2^6*x4^4 + 1.9075382351366428*x1^2*x4^8 + 2.0292998848394994*x1^2*x3^4*x4^2*x7^2 + 1.7297724498448228*x1^2*x2^2*x4^6 + 0.6248962667339846*x1^4*x2^2*x5^2 + 1.1880201379849358*x1^8*x3^2 + 3.2791845261915173*x0^2*x4^2*x7^6 + 4.473772778116817*x0^2*x3^2 + 1.3181751037936107*x0^2*x2^4*x6^2 + 0.5000204861175871*x0^2*x2^6*x7^2 + 1.9050943106763192*x0^2*x1^2*x4^4*x6^2 + 7.149434324591827*x0^2*x1^2*x3^2*x4^2*x7^2 + 2.8334384609712417*x0^4*x2^2*x3^2*x6^2 - 0.9128222254441586*x0^1*x1^1*x2^2*x3^1*x4^1*x5^1*x7^1 + 1.117016288095853*x0^1*x1^1*x2^1*x3^1*x4^2*x7^1 - 1.3159074105115212*x0^1*x1^1*x2^2*x3^1*x4^2*x7^1 - 0.461584604814709*x0^1*x1^1*x2^1*x3^1*x4^3*x5^1*x7^1 - 0.06824160532463124*x0^1*x1^1*x2^2*x3^1*x4^2*x5^1*x7^1 + 1.7133427216493666*x0^1*x1^1*x2^1*x3^1*x4^2*x5^1*x7^1',);
p46 := ('1.7423916697697766 + 0.33226191566700397*x7^10 + 6.126086240996943*x4^2*x7^6 + 1.3425620726805607*x3^2*x7^8 + 2.0501526917840627*x3^2*x4^6*x6^2 + 0.06865792444310023*x3^6*x4^2*x7^2 + 2.57170282452931*x2^2*x5^2*x6^6 + 0.551791733505708*x2^4*x3^4*x6^2 + 1.2483347400176572*x1^2*x6^2*x7^4 + 3.750150143625298*x1^2*x4^4*x5^2 + 3.744899361961048*x1^2*x3^2*x5^2*x6^2*x7^2 + 2.273022424273747*x1^6*x2^2*x7^2 + 1.764882491758193*x0^2*x6^2*x7^4 + 1.040578004546959*x0^2*x3^2*x4^2*x6^4 + 4.101098112582326*x0^2*x3^6*x7^2 + 2.0211482242951213*x0^2*x2^2*x7^6 + 3.874688108395334*x0^2*x2^2*x3^4 + 2.5447317451419464*x0^2*x2^6*x3^2 + 0.4997987158479912*x0^2*x1^2*x5^2*x6^2 + 2.7515880616320647*x0^4*x3^2*x5^4 + 0.24075176323427133*x0^6*x6^2 + 0.2282387734380392*x0^1*x2^1*x3^2*x4^1*x5^1*x6^1*x7^2 - 0.8804767962495306*x0^1*x1^1*x3^1*x4^1*x5^1*x6^1*x7^2 + 0.2781288457084424*x0^1*x1^1*x2^1*x3^1*x4^1*x6^1*x7^2',);
p47 := ('4.479813457766612 + 0.6955763614622515*x4^2*x5^2*x7^6 + 0.5066642667354799*x4^6*x6^4 + 2.302427276167628*x3^2*x4^2*x5^2*x6^2 + 3.807132870686562*x3^2*x4^4*x5^2*x7^2 + 2.478151996067822*x2^2*x3^2*x7^6 + 0.47162479365218585*x2^2*x3^2*x4^2*x6^4 + 2.4321176535216313*x2^6*x7^2 + 6.807336322622203*x1^2*x4^2*x5^6 + 2.5229778713363*x1^2*x2^2*x3^2*x5^4 + 1.2749339533386208*x1^4*x2^2*x4^2*x6^2 + 3.366269532592524*x1^6*x5^2 + 1.0279623780750122*x0^2*x6^8 + 3.641654349124831*x0^2*x3^2*x4^2*x7^2 + 8.919448667515587*x0^2*x3^6 + 1.9984201379072022*x0^2*x1^2*x4^2*x5^2*x7^2 + 3.118285692779843*x0^2*x1^2*x3^2*x5^2 + 2.4476381561965206*x0^2*x1^6*x7^2 + 0.08150552036088202*x0^4*x2^2*x4^2*x5^2 + 0.06558939969187359*x0^4*x1^6 + 4.318334336329879*x0^6*x7^2 + 0.9090869172296189*x0^2*x1^1*x3^1*x4^1*x5^2*x6^1*x7^1 - 0.92171660734163*x0^1*x1^2*x2^1*x3^1*x4^1*x5^1*x6^1*x7^1 - 0.6991684044693381*x0^1*x1^1*x2^1*x3^1*x4^1*x5^1*x6^1*x7^1',);
p48 := ('4.347095012753138 + 1.4950248905408714*x5^4*x6^2*x7^2 + 1.208631009577151*x4^8 + 1.8390294398103326*x3^2*x6^4*x7^4 + 1.4489733159237272*x3^2*x4^4*x6^2*x7^2 + 1.6646809407319343*x3^4*x5^4 + 3.2634878765642554*x3^4*x4^2*x7^4 + 3.837346735882106*x2^2*x4^6*x7^2 + 6.170843419024006*x2^2*x3^2*x4^4*x6^2 + 2.560384485122583*x2^8 + 1.406363472470671*x1^2*x5^2*x6^4 + 2.7890552010713154*x1^2*x3^4 + 1.380625417231023*x1^2*x2^2*x6^2*x7^2 + 0.5627444118498146*x1^2*x2^2*x4^6 + 0.362409524266131*x1^4*x2^2*x4^2 + 2.5972761445786925*x0^2*x5^2*x6^2*x7^2 + 1.2771162982217164*x0^2*x5^6 + 0.38343551779584584*x0^2*x2^4*x5^2*x7^2 + 1.2699269157939912*x0^2*x1^2*x2^2*x5^2*x6^2 + 1.5878217132869596*x0^2*x1^4*x4^4 + 3.585845360714997*x0^4*x6^2 - 0.823271082803851*x0^1*x1^1*x2^2*x3^1*x4^1*x5^1*x6^1*x7^1 - 0.7220083233419547*x0^1*x1^1*x2^1*x3^1*x4^1*x5^1*x6^1*x7^1 - 0.3553608608464924*x0^1*x1^1*x2^1*x3^1*x4^2*x5^1*x6^1*x7^1',);
p49 := ('0.34477376058897685 + 1.1850139242108768*x7^2 + 2.8599487934939187*x5^4*x6^6 + 3.21848206666039*x4^2*x5^2*x6^2*x7^2 + 1.4533368162781177*x3^2*x4^2*x6^2*x7^2 + 4.088813565927543*x3^2*x4^6*x6^2 + 0.4580633103828213*x2^2*x4^2*x5^2*x7^4 + 4.897861794037013*x2^4*x5^4*x6^2 + 1.9299043377423646*x2^4*x4^2*x5^2*x6^2 + 1.3436851439713549*x1^2*x3^2*x6^2 + 7.017102684195961*x1^2*x3^2*x4^2*x5^2*x7^2 + 0.9399685943365419*x1^2*x2^4*x4^2*x7^2 + 0.1788526891674341*x1^6*x5^4 + 0.5825049956256257*x0^2*x4^4*x7^2 + 0.8606378953940709*x0^2*x2^2*x3^2*x4^2*x7^2 + 0.15557907817284627*x0^2*x2^4*x3^4 + 0.1546528330211528*x0^2*x1^2 + 0.6587617626084109*x0^2*x1^4*x3^2*x6^2 + 1.6597694934399665*x0^2*x1^4*x3^2*x4^2 + 1.1217326096349143*x0^4*x3^4*x4^2 + 3.5532505757842183*x0^4*x2^4*x5^2 - 0.5281731778783587*x0^1*x1^1*x2^1*x3^1*x4^1*x5^2*x6^1*x7^1 - 0.6635338875018865*x0^1*x1^1*x2^1*x3^1*x4^2*x5^1*x6^1*x7^1 - 0.433736483898747*x0^1*x1^1*x2^1*x3^1*x4^1*x5^1*x6^1*x7^1',);
p50 := ('1.6984377341786618 + 0.5386056611168263*x4^2*x5^2*x6^2*x7^4 + 5.725928695558462*x4^4*x6^4*x7^2 + 0.719608396146084*x4^6*x5^2*x6^2 + 3.1903495439295595*x3^2*x5^2*x7^6 + 0.6368528784831513*x3^2*x5^2*x6^4*x7^2 + 2.7770860366263754*x3^2*x4^2*x5^4 + 5.1838076933342*x3^2*x4^4*x6^4 + 4.59201673471647*x3^2*x4^6*x6^2 + 0.700308988157581*x2^2*x4^4*x7^4 + 0.8915858365431061*x2^6*x5^2 + 2.9785930103059033*x1^2*x5^6 + 2.807935781123928*x1^2*x2^4*x3^4 + 2.878825533093556*x1^4*x2^4 + 0.5971282572960782*x0^2*x5^2*x7^4 + 1.8385727149844158*x0^2*x4^6 + 3.76011913740504*x0^2*x3^2*x4^2*x5^2*x7^2 + 0.9666027079559785*x0^2*x1^2*x3^2*x6^2 + 8.141900779184835*x0^2*x1^4*x4^2*x6^2 + 4.889572269297442*x0^4*x6^4 + 3.4008507369144536*x0^4*x2^2*x3^2*x7^2 - 0.8747895192968232*x1^1*x2^1*x3^1*x4^2*x5^1*x6^1*x7^1 - 0.39614971206529276*x0^1*x2^1*x3^1*x4^2*x5^1*x6^1*x7^1 - 0.4377701307604136*x0^1*x1^1*x2^1*x3^1*x4^2*x5^1*x6^1*x7^1',);
p51 := ('1.4812404417175566 + 1.1282930530635324*x6^4*x7^6 + 0.5092193089159949*x4^2*x5^4*x6^2 + 7.251318970422775*x3^2*x4^2*x6^2*x7^2 + 5.426521470569428*x2^2*x5^6*x7^2 + 1.0192534571503504*x2^2*x3^2*x4^2*x6^4 + 0.06818928123858645*x2^4*x6^2 + 2.879991236557856*x1^2*x3^2*x5^4 + 1.1493432622452466*x1^4*x5^2*x6^2 + 0.32858998449431576*x1^4*x4^2*x7^2 + 2.5654885144498283*x1^6*x5^4 + 0.000664819992540241*x1^6*x2^2 + 1.9915651835944506*x0^2*x3^2*x6^2 + 2.248442843733694*x0^2*x2^2*x6^4*x7^2 + 1.3974551168727136*x0^2*x2^2*x4^4*x7^2 + 0.832317811565934*x0^2*x2^2*x4^4*x6^2 + 0.10649860163270661*x0^2*x1^2*x4^2*x5^2*x6^2 + 2.544663493535748*x0^4*x5^2*x6^2*x7^2 + 0.48899567168980573*x0^4*x1^4*x3^2 + 3.625870822621292*x0^6*x4^4 + 1.5075623215483098*x0^6*x2^2 - 1.5838221093219602*x0^2*x1^1*x2^1*x3^1*x4^1*x5^1*x6^1*x7^1 + 1.023033487768843*x0^1*x1^2*x2^1*x4^1*x5^1*x6^1*x7^1 - 0.6530174091842278*x0^2*x1^1*x2^1*x4^1*x5^1*x6^1*x7^1',);
p52 := ('1.0063595571664532 + 0.3175893562481841*x5^2*x7^2*x8^2*x9^4 + 0.09496857526465367*x5^6*x9^2 + 0.7824082401287534*x4^2*x5^2*x6^2*x7^2 + 4.896775316948916*x4^2*x5^6*x6^2 + 0.11101325554007256*x3^2*x4^4*x8^4 + 1.6264213855872995*x3^4*x6^2*x9^2 + 3.4546536641726835*x2^2*x5^2*x8^4*x9^2 + 1.2583114320248368*x2^2*x3^2*x6^2*x7^4 + 1.7646709825564861*x2^6*x4^2 + 1.5678006427008855*x1^2*x4^4*x6^2 + 2.021895075771216*x1^2*x3^2*x6^2*x7^2*x9^2 + 0.9156395562362067*x1^2*x3^6*x7^2 + 0.15957362195074767*x1^2*x2^4*x3^2 + 2.6369734727905354*x0^2*x5^2*x7^2*x8^2*x9^2 + 3.802768935349623*x0^2*x2^2*x5^2*x6^4 + 6.382678695320371*x0^2*x2^4*x3^2*x8^2 + 0.21948629493757954*x0^2*x2^4*x3^2*x4^2 + 1.6682870521127795*x0^2*x1^2*x3^6 + 4.880319710694272*x0^4*x6^2*x7^2*x9^2 + 0.45472623530971396*x0^4*x4^2*x5^2*x7^2 + 0.18532479684709716*x0^6*x4^2*x6^2 + 0.8247030054369816*x0^1*x2^1*x3^1*x4^1*x5^1*x6^1*x7^1*x8^1*x9^1 + 1.248212920597034*x0^1*x1^1*x2^1*x3^1*x4^1*x5^1*x6^1*x7^1*x9^1',);
p53 := ('0.014867780365822434 + 0.2425622683421872*x6^6*x7^2*x8^2 + 0.12553956204446098*x5^4*x7^4*x9^2 + 0.5981223805557782*x4^4*x5^2*x8^4 + 0.4743842185019964*x3^2*x9^4 + 3.2036365781797964*x3^2*x4^2*x5^6 + 0.20850145506632525*x2^2*x3^2*x8^4*x9^2 + 3.7476775042773367*x2^2*x3^2*x7^6 + 0.734047250799914*x2^2*x3^2*x6^2 + 1.1465554014677102*x2^2*x3^2*x5^2*x6^2 + 0.24177165300684506*x1^2*x4^4 + 0.853052333638445*x1^2*x3^2*x6^2*x7^2 + 0.6470697754720823*x1^2*x3^2*x4^2*x7^2*x9^2 + 3.1007121201311114*x1^4*x2^2*x7^2 + 2.734423149180682*x1^4*x2^2*x5^4 + 1.1866569554906117*x0^2*x4^2*x5^2*x7^4 + 0.807207021927727*x0^2*x3^2*x7^4 + 0.24147443113705985*x0^2*x2^2*x7^6 + 3.3921552430122808*x0^2*x1^2*x5^6 + 0.5310098948423992*x0^2*x1^2*x2^4*x4^2 + 3.1458555201113896*x0^2*x1^4*x7^4 + 1.6549565569156344*x0^4*x3^4 - 0.5775132332314081*x0^1*x1^1*x2^1*x3^1*x4^1*x5^1*x7^2 + 1.1522047703756748*x0^1*x1^1*x2^1*x3^1*x4^1*x5^1*x6^1*x7^1*x8^1',);
