p0 := ('4.16757847405 + 0.562668272263*x0^8 + 21.3619609567*x1^8 + 1.6402708084*x0^1*x1^2 - 1.79343558519*x0^1*x1^3 - 0.841747365656*x0^1*x1^4 + 0.502881417158*x0^1*x1^5 - 1.24528808661*x0^1*x1^6 - 1.05795221886*x0^2*x1^1 - 0.909007614927*x0^2*x1^4 + 0.551454044546*x0^2*x1^5 + 2.29220801281*x0^3*x1^1 + 0.0415393929984*x0^3*x1^2 - 1.11792544511*x0^3*x1^3 + 0.539058320581*x0^3*x1^4 - 0.596159699806*x0^4*x1^1 - 0.0191304965212*x0^4*x1^2 + 1.1750012195*x0^4*x1^3 - 0.747870949294*x0^5*x1^2 + 0.00902525097333*x0^6*x1^1',);
p1 := ('17.8862847343 + 4.36509850512*x0^8 + 0.96497468072*x1^8 - 1.86349270336*x0^1*x1^2 - 0.277388202514*x0^1*x1^3 - 0.354758979269*x0^1*x1^4 - 0.0827414814825*x0^1*x1^6 - 0.627000676824*x0^2*x1^1 - 0.0438181689759*x0^2*x1^3 - 0.47721803036*x0^2*x1^5 - 1.31386475336*x0^3*x1^1 + 0.8846223805*x0^3*x1^2 + 0.881318042208*x0^3*x1^3 + 1.70957306365*x0^3*x1^4 + 0.0500336421769*x0^4*x1^1 - 0.404677414601*x0^4*x1^2 - 0.54535994762*x0^4*x1^3 - 1.54647731558*x0^5*x1^1 + 0.982367434258*x0^5*x1^2 - 1.10106763011*x0^6*x1^1',);
p2 := ('0.505617071429 + 4.99951333238*x0^8 + 9.95908931107*x1^8 + 1.54697932902*x0^4*x1^2 + 0.693598508291*x0^1*x1^2 - 0.418301520027*x0^1*x1^3 - 1.58457723511*x0^1*x1^4 - 0.647706767122*x0^1*x1^5 + 0.598575173967*x0^1*x1^6 + 0.33225003261*x0^2*x1^1 - 1.14747663295*x0^2*x1^2 + 0.618669689027*x0^2*x1^3 - 0.0879869283403*x0^2*x1^4 + 0.425072396487*x0^2*x1^5 + 0.332253145372*x0^3*x1^2 - 1.15681626092*x0^3*x1^3 + 0.350997153083*x0^3*x1^4 - 0.606887283097*x0^4*x1^1 + 0.723341608748*x0^4*x1^3 + 0.0461355672302*x0^5*x1^2',);
p3 := ('4.41227486885 + 3.30870151894*x0^8 + 24.3077118701*x1^8 - 0.252092129603*x0^1*x1^2 + 0.109609841578*x0^1*x1^3 + 1.58248111706*x0^1*x1^4 - 0.909232404856*x0^1*x1^5 - 0.59163665793*x0^2*x1^1 + 0.187603225837*x0^2*x1^3 - 0.329869957779*x0^2*x1^4 - 1.19276461242*x0^3*x1^1 - 0.204876510588*x0^3*x1^2 - 0.358828947001*x0^3*x1^3 + 0.603471602609*x0^3*x1^4 - 1.66478852947*x0^4*x1^1 - 0.70017903769*x0^4*x1^2 + 1.15139100949*x0^4*x1^3 + 1.85733100723*x0^5*x1^1 - 1.51117955769*x0^5*x1^2 + 0.644847510893*x0^6*x1^1',);
p4 := ('3.11783673488 + 7.29003923613*x0^8 + 2.17820788076*x1^8 + 0.129151247904*x0^4*x1^2 - 0.899091796547*x0^1*x1^2 - 2.48678065163*x0^1*x1^3 + 0.913251521236*x0^1*x1^4 + 1.12706372597*x0^1*x1^5 - 1.51409322863*x0^2*x1^1 + 1.63929108294*x0^2*x1^3 - 0.429893603006*x0^2*x1^4 + 2.63128055726*x0^2*x1^5 + 0.601822249956*x0^3*x1^1 - 0.335881614942*x0^3*x1^2 + 1.23773784323*x0^3*x1^4 + 0.111128166767*x0^4*x1^1 + 0.0761276122153*x0^4*x1^3 - 0.155128158559*x0^5*x1^1 + 0.634225343168*x0^5*x1^2 + 0.810655003426*x0^6*x1^1',);
p5 := ('0.912047166198 + 10.9128273327*x0^8 + 19.4697030902*x1^8 + 0.976421096401*x0^2*x1^2 + 1.91636361054*x0^2*x1^4 - 1.38634953224*x0^1*x1^2 - 2.2964915742*x0^1*x1^3 + 2.40983430334*x0^1*x1^4 + 1.72783616858*x0^1*x1^5 + 2.20455628456*x0^1*x1^6 + 0.794827639348*x0^2*x1^1 - 1.18342714733*x0^2*x1^3 - 1.12332680055*x0^2*x1^5 - 0.664035469584*x0^3*x1^1 - 0.378358570369*x0^3*x1^2 - 0.791615271496*x0^3*x1^3 + 0.85954810918*x0^3*x1^4 - 0.230788995486*x0^4*x1^2 - 0.0656610281048*x0^4*x1^3 - 0.208636234732*x0^5*x1^2',);
p6 := ('11.7603489731 + 2.66771472245*x0^8 + 6.52491989404*x1^8 + 14.9392879947*x2^8 + 1.86755799015*x0^1*x1^1*x2^4 - 0.977277879876*x0^1*x1^2*x2^1 + 0.950088417526*x0^1*x1^2*x2^3 - 0.151357208298*x0^1*x1^3*x2^1 - 0.103218851794*x0^1*x1^3*x2^2 + 0.410598501938*x0^1*x1^4*x2^1 + 0.144043571161*x0^1*x1^4*x2^2 + 1.45427350696*x0^2*x1^1*x2^2 + 0.761037725147*x0^2*x1^1*x2^3 + 0.121675016493*x0^2*x1^2*x2^1 + 0.443863232745*x0^3*x1^1*x2^1 + 0.333674327374*x0^3*x1^1*x2^2 + 1.49407907316*x0^3*x1^1*x2^3 - 0.205158263766*x0^3*x1^2*x2^2 + 0.313067701651*x0^3*x1^3*x2^1 - 0.854095739302*x0^4*x1^2*x2^1',);
p7 := ('2.13344963662 + 8.31672347865*x1^6 + 2.99650920213*x0^2*x2^6 + 9.75677719982*x0^8 + 0.719757892565*x0^3*x1^1*x2^2 - 0.148511312533*x0^2*x1^1*x2^1 + 0.0235467962775*x0^2*x1^3*x2^1 - 0.0737998851357*x0^3*x1^1*x2^1 - 0.121700933532*x0^5*x1^1*x2^1 + 1.12873853413*x0^4*x1^1*x2^2 + 0.356553458474*x0^4*x1^2*x2^1 + 0.0661123577093*x0^1*x1^1*x2^2 - 1.49030621804*x0^2*x1^2*x2^3 - 0.174802632999*x0^2*x1^2*x2^2 - 0.360035564308*x0^1*x1^3*x2^2 + 0.488285776807*x0^3*x1^2*x2^2 + 0.706744535638*x0^2*x1^1*x2^2 + 1.73163134523*x0^2*x1^2*x2^1 - 1.59934804567*x0^1*x1^2*x2^2 + 1.18711221049*x0^1*x1^3*x2^1',);
p8 := ('4.98837257333 + 1.44985869526*x1^8 + 14.6601174795*x0^2*x2^6 + 6.38098765752*x0^4*x1^2 - 1.86902603797*x0^2*x1^2*x2^2 + 1.56533942927*x0^2*x1^2*x2^1 + 2.34734089394*x0^2*x1^1*x2^2 + 0.402236484443*x0^1*x1^2*x2^1 + 0.689510695731*x0^2*x1^3*x2^1 + 0.772870916264*x0^1*x1^3*x2^2 - 1.35100267844*x0^1*x1^1*x2^1 + 0.294880172553*x0^1*x1^3*x2^1 + 0.078865194151*x0^1*x1^2*x2^2 + 0.565371988524*x0^1*x1^1*x2^2 - 0.763927772514*x0^2*x1^1*x2^1 - 1.54454804925*x0^1*x1^4*x2^1 + 0.650533254749*x0^2*x1^4*x2^1 + 0.722719847299*x0^2*x1^1*x2^3 - 0.706462171289*x0^1*x1^4*x2^2 - 1.12787608342*x0^2*x1^3*x2^2',);
p9 := ('2.77838564937 + 0.375112181509*x0^8 + 14.2413073045*x1^8 + 10.9351387227*x2^8 + 0.0415393929984*x0^2*x1^2*x2^2 - 1.79343558519*x0^1*x1^1*x2^3 - 0.841747365656*x0^1*x1^1*x2^5 + 0.502881417158*x0^1*x1^2*x2^2 - 1.24528808661*x0^1*x1^2*x2^3 - 1.05795221886*x0^1*x1^3*x2^1 - 0.909007614927*x0^1*x1^3*x2^2 + 0.551454044546*x0^1*x1^4*x2^1 + 2.29220801281*x0^2*x1^2*x2^1 - 1.11792544511*x0^2*x1^3*x2^1 + 0.539058320581*x0^2*x1^3*x2^2 - 0.596159699806*x0^2*x1^4*x2^1 - 0.0191304965212*x0^3*x1^1*x2^2 + 1.1750012195*x0^3*x1^1*x2^3 - 0.747870949294*x0^4*x1^1*x2^2 + 0.00902525097333*x0^4*x1^2*x2^1',);
p10 := ('11.9241898229 + 2.91006567008*x0^8 + 0.643316453813*x1^8 + 12.4232846891*x2^8 + 0.881318042208*x0^2*x1^2*x2^2 - 0.277388202514*x0^1*x1^1*x2^2 - 0.354758979269*x0^1*x1^1*x2^4 - 0.0827414814825*x0^1*x1^2*x2^3 - 0.627000676824*x0^1*x1^2*x2^4 - 0.0438181689759*x0^1*x1^3*x2^1 - 0.47721803036*x0^2*x1^1*x2^2 - 1.31386475336*x0^2*x1^1*x2^4 + 0.8846223805*x0^2*x1^2*x2^1 + 1.70957306365*x0^2*x1^2*x2^3 + 0.0500336421769*x0^2*x1^4*x2^1 - 0.404677414601*x0^3*x1^2*x2^2 - 0.54535994762*x0^3*x1^3*x2^1 - 1.54647731558*x0^4*x1^1*x2^1 + 0.982367434258*x0^4*x1^2*x2^1 - 1.10106763011*x0^5*x1^1*x2^1',);
p11 := ('2.156869595 + 3.76182650541*x1^8 + 1.22224616407*x0^2*x2^4 + 8.66645110599*x0^6*x2^2 - 0.283852716453*x0^3*x1^2*x2^2 - 0.432310341185*x0^1*x1^2*x2^1 - 0.993012770533*x0^2*x1^2*x2^1 - 0.821271166498*x0^1*x1^3*x2^1 - 1.30469165967*x0^2*x1^1*x2^1 - 1.16404724364*x0^1*x1^1*x2^1 - 0.647031065143*x0^2*x1^2*x2^2 + 0.267875201763*x0^3*x1^1*x2^2 + 0.41584303955*x0^2*x1^3*x2^1 - 0.499968102227*x0^2*x1^4*x2^1 + 0.250332436773*x0^2*x1^3*x2^2 - 1.36809225452*x0^1*x1^4*x2^1 + 1.9947294367*x0^2*x1^1*x2^2 + 2.39907913417*x0^4*x1^1*x2^2 - 0.189294773769*x0^2*x1^1*x2^3 + 0.433429418799*x0^1*x1^5*x2^1',);
p12 := ('0.33707804762 + 3.33300888825*x0^8 + 6.63939287405*x1^8 + 4.62399005528*x2^8 + 0.350997153083*x0^2*x1^2*x2^2 - 0.418301520027*x0^1*x1^1*x2^2 - 1.58457723511*x0^1*x1^1*x2^3 - 0.647706767122*x0^1*x1^1*x2^4 + 0.598575173967*x0^1*x1^2*x2^1 + 0.33225003261*x0^1*x1^2*x2^3 - 1.14747663295*x0^1*x1^2*x2^4 + 0.618669689027*x0^1*x1^3*x2^2 - 0.0879869283403*x0^1*x1^4*x2^2 + 0.425072396487*x0^2*x1^1*x2^2 + 0.332253145372*x0^2*x1^1*x2^3 - 1.15681626092*x0^2*x1^1*x2^4 - 0.606887283097*x0^2*x1^4*x2^1 + 1.54697932902*x0^3*x1^1*x2^3 + 0.723341608748*x0^3*x1^3*x2^1 + 0.0461355672302*x0^5*x1^1*x2^1',);
p13 := ('7.95999675909 + 1.29338054122*x1^6*x2^2 + 8.96605949193*x0^4*x2^4 + 0.15690744018*x0^6*x1^2 + 2.98652676356*x0^2*x1^2*x2^2 + 0.0413812151192*x0^2*x1^2*x2^1 + 0.779462103652*x0^3*x1^1*x2^1 - 0.376963329797*x0^1*x1^3*x2^1 + 1.13762784327*x0^3*x1^3*x2^1 + 0.822636616794*x0^3*x1^2*x2^2 - 1.41323097039*x0^2*x1^3*x2^2 - 1.2131860073*x0^3*x1^1*x2^2 - 1.00988433825*x0^2*x1^1*x2^2 - 2.08000206407*x0^1*x1^4*x2^2 + 1.23129808121*x0^4*x1^1*x2^2 - 0.279501866012*x0^1*x1^2*x2^1 - 0.862240630745*x0^4*x1^2*x2^1 - 1.27712851574*x0^3*x1^2*x2^1 - 1.26464051048*x0^1*x1^1*x2^1 + 0.369975554885*x0^2*x1^3*x2^1',);
p14 := ('7.66432563351 + 1.20904752692*x1^2 + 1.05913761768*x1^2*x2^4 + 5.21983708004*x1^6*x2^2 + 4.62322412086*x0^2*x2^2 + 10.3178993323*x0^2*x1^6 + 5.20436217002*x0^8 - 0.120372539935*x0^2*x1^2*x2^2 + 0.224197246873*x0^3*x1^2 - 0.613944833146*x0^2*x1^1*x2^1 - 0.255828302001*x0^4*x1^1*x2^1 - 0.354275697426*x0^1*x1^3*x2^2 - 0.460947072084*x0^2*x1^3*x2^1 + 2.26957200011*x0^3*x1^2*x2^2 - 0.0622060927969*x0^1*x1^2*x2^2 + 1.47428532789*x0^1*x1^2*x2^1 - 0.832723440728*x0^2*x1^2*x2^1 + 0.294198011948*x0^3*x1^2*x2^1 - 0.611402763758*x0^3*x1^3*x2^1 + 0.352257730115*x0^1*x1^3*x2^1',);
p15 := ('8.30808057904 + 9.96371334002*x2^6 + 5.18947880289*x1^2 + 0.59922941334*x1^6*x2^2 + 16.2081600124*x0^2*x2^6 + 3.10165821797*x0^2*x1^6 + 14.6804305238*x0^8 + 2.78680359243*x2^2 + 1.01257933742*x1^2*x2^4 + 0.358790826858*x1^4*x2^2 + 2.77713467857*x0^2*x2^2 + 1.44593286171*x0^4*x2^4 + 0.0124599779559*x0^4*x1^4 - 0.0752657543678*x0^2*x1^2*x2^2 - 0.275644617167*x0^1*x1^1*x2^3 + 0.632514463109*x0^1*x1^2*x2^3 + 0.88438781745*x0^2*x1^2*x2^3 + 1.28236736848*x0^2*x1^1*x2^3 + 1.19451625964*x0^1*x1^2*x2^2 - 0.498720724853*x0^2*x1^1*x2^2',);
p16 := ('2.94151657923 + 2.20580101263*x0^8 + 16.2051412467*x1^8 + 1.68061419735*x2^8 + 0.109609841578*x0^1*x1^1*x2^3 + 1.58248111706*x0^1*x1^1*x2^5 - 0.909232404856*x0^1*x1^2*x2^2 - 0.59163665793*x0^1*x1^2*x2^4 + 0.187603225837*x0^1*x1^4*x2^1 - 0.329869957779*x0^1*x1^4*x2^2 - 1.19276461242*x0^2*x1^1*x2^1 - 0.204876510588*x0^2*x1^1*x2^2 - 0.358828947001*x0^2*x1^1*x2^3 + 0.603471602609*x0^2*x1^1*x2^4 - 1.66478852947*x0^2*x1^2*x2^3 - 0.70017903769*x0^2*x1^3*x2^2 + 1.15139100949*x0^3*x1^1*x2^1 + 1.85733100723*x0^3*x1^1*x2^3 - 1.51117955769*x0^3*x1^2*x2^1 + 0.644847510893*x0^4*x1^1*x2^2',);
p17 := ('12.8243334319 + 1.78584702644*x1^8 + 9.86388253183*x0^2*x1^2*x2^4 + 0.182122265457*x0^8 + 0.294479238824*x0^2*x1^2*x2^2 - 0.416585603789*x0^4*x1^1*x2^1 - 0.820243769133*x0^3*x1^2*x2^1 + 0.176336169158*x0^2*x1^3*x2^2 + 0.108002088204*x0^2*x1^3*x2^1 + 0.447869409082*x0^2*x1^2*x2^1 - 0.266121085631*x0^2*x1^1*x2^1 + 0.198632855342*x0^3*x1^3*x2^1 + 0.146804728455*x0^5*x1^1*x2^1 + 0.345368979415*x0^2*x1^4*x2^1 - 0.875048588083*x0^1*x1^3*x2^1 - 1.19591133958*x0^1*x1^4*x2^1 - 0.298196471405*x0^3*x1^1*x2^1 + 0.366104165398*x0^1*x1^5*x2^1 - 0.207164777529*x0^2*x1^2*x2^3 - 1.30759532475*x0^4*x1^2*x2^1',);
p18 := ('2.07855782325 + 4.86002615742*x0^8 + 1.45213858717*x1^8 + 5.99394531031*x2^8 - 2.48678065163*x0^1*x1^1*x2^2 + 0.913251521236*x0^1*x1^1*x2^3 + 1.12706372597*x0^1*x1^2*x2^1 - 1.51409322863*x0^1*x1^2*x2^2 + 1.63929108294*x0^1*x1^3*x2^1 - 0.429893603006*x0^1*x1^3*x2^3 + 2.63128055726*x0^1*x1^4*x2^1 + 0.601822249956*x0^2*x1^1*x2^2 - 0.335881614942*x0^2*x1^1*x2^3 + 1.23773784323*x0^2*x1^2*x2^1 + 0.111128166767*x0^2*x1^3*x2^1 + 0.129151247904*x0^2*x1^4*x2^1 + 0.0761276122153*x0^3*x1^1*x2^1 - 0.155128158559*x0^3*x1^1*x2^2 + 0.634225343168*x0^3*x1^3*x2^1 + 0.810655003426*x0^4*x1^1*x2^2',);
p19 := ('7.96621473822 + 3.90581199438*x1^6*x2^2 + 1.48259976135*x0^2*x2^6 + 4.50992128885*x0^6*x1^2 + 0.365478490831*x0^2*x1^2*x2^2 + 2.01129228462*x0^1*x1^1*x2^3 - 0.38898565071*x0^1*x1^2*x2^3 - 0.648596267986*x0^2*x1^2*x2^1 + 2.62986500509*x0^3*x1^1*x2^1 - 0.535787047231*x0^2*x1^1*x2^2 + 0.0134922128784*x0^2*x1^3*x2^2 - 0.4787575033*x0^3*x1^2*x2^2 - 1.12966057745*x0^2*x1^3*x2^1 + 0.0500104137506*x0^2*x1^2*x2^3 - 1.99828555223*x0^4*x1^2*x2^1 - 0.471899532683*x0^1*x1^2*x2^2 + 1.0119339706*x0^3*x1^2*x2^1 - 0.812813229144*x0^1*x1^3*x2^1 + 0.710274348481*x0^3*x1^3*x2^1 + 0.281769395717*x0^3*x1^1*x2^2',);
p20 := ('11.2701713587 + 3.10624913694*x0^8 + 0.218801091191*x1^8 + 2.71677521998*x2^8 - 0.788923028626*x0^1*x1^1*x2^3 + 0.00206557290595*x0^1*x1^1*x2^4 - 0.000890385857931*x0^1*x1^1*x2^5 - 1.75472430635*x0^1*x1^2*x2^3 + 1.01765800566*x0^1*x1^3*x2^2 + 0.60049851592*x0^1*x1^4*x2^1 - 0.625428973967*x0^2*x1^1*x2^3 - 0.171548261196*x0^2*x1^1*x2^4 + 0.505299374197*x0^2*x1^2*x2^1 - 0.261356415192*x0^2*x1^2*x2^3 - 0.242749078673*x0^2*x1^3*x2^2 - 1.45324141249*x0^3*x1^1*x2^2 + 0.554580311892*x0^3*x1^1*x2^3 + 0.123880905287*x0^3*x1^2*x2^2 + 0.27445992376*x0^3*x1^3*x2^1 - 1.52652453187*x0^5*x1^1*x2^1',);
p21 := ('2.51763988736 + 10.4070229103*x1^6*x2^2 + 1.39581860055*x0^2*x2^6 + 2.01147035886*x0^6*x1^2 + 0.245898002826*x0^3*x1^2*x2^1 - 0.444764770048*x0^2*x1^3*x2^1 + 1.06664361287*x0^2*x1^2*x2^1 + 0.643034065254*x0^1*x1^2*x2^1 + 0.764143030918*x0^3*x1^2*x2^2 + 0.129668003006*x0^1*x1^2*x2^3 + 0.271059905959*x0^2*x1^1*x2^1 - 0.921289385755*x0^1*x1^2*x2^2 - 0.109370246295*x0^1*x1^4*x2^2 - 0.588564518042*x0^2*x1^2*x2^2 - 1.0357610308*x0^2*x1^2*x2^3 + 0.787276775536*x0^2*x1^3*x2^2 - 0.256736141558*x0^2*x1^1*x2^2 + 0.792481972099*x0^2*x1^1*x2^3 - 0.432020117922*x0^1*x1^1*x2^3 + 0.41177296954*x0^1*x1^3*x2^3',);
p22 := ('1.76258192695 + 2.35682872885*x2^8 + 1.29541959874*x1^6 + 0.0793650860132*x0^2*x1^2*x2^4 + 5.34882254968*x0^8 + 1.61318879865*x1^4*x2^2 + 0.0920066460319*x0^2*x2^6 + 0.0833858984407*x0^4*x2^2 + 0.389553078732*x0^4*x2^4 + 0.665682202417*x0^2*x2^2 - 2.27101956969*x2^4 - 1.49537134374*x2^6 - 0.291214186695*x0^2*x1^2*x2^3 - 0.581519704849*x0^3*x1^1*x2^3 + 1.26581417784*x0^1*x1^1*x2^4 - 3.52637368627*x0^1*x1^2*x2^3 - 0.5034881986*x0^1*x1^1*x2^3 + 0.639288115684*x0^1*x1^2*x2^4 - 1.14003371072*x0^2*x1^1*x2^4 + 1.49156483987*x0^2*x1^1*x2^3',);
p23 := ('9.73581181947 + 0.417175775645*x2^6 + 3.44028333428*x1^4*x2^2 + 2.06107235129*x0^2*x1^2*x2^4 + 3.35494656147*x0^4*x2^4 + 4.26075443936*x0^8 + 1.39300013*x0^4*x2^2 - 0.0129944714576*x2^4 + 0.499502748491*x0^1*x2^4 - 0.723884686596*x0^2*x2^2 + 0.604631283883*x0^3*x1^1*x2^2 + 0.936011700231*x0^2*x2^3 - 0.568455854795*x0^1*x2^3 - 0.425794402495*x0^2*x1^1*x2^4 - 2.3051832736*x0^3*x1^1*x2^1 + 0.903405988965*x0^1*x1^1*x2^3 - 0.58775438395*x0^3*x1^1*x2^3 - 2.12234947203*x0^2*x1^1*x2^2 - 1.76877170008*x0^3*x2^3 - 0.222950156446*x0^2*x1^1*x2^3',);
p24 := ('1.5967113225 + 16.7836853244*x2^2 + 0.0824772524958*x1^2 + 5.07254159642*x1^4*x2^4 + 6.73738896765*x0^2*x2^4 + 6.5012678107*x0^2*x2^6 + 4.70874233253*x0^2*x1^6 + 0.415448623956*x0^4*x1^2 + 10.4760200937*x0^4*x1^4 + 0.793950914883*x1^2*x2^2 + 1.34389502487*x0^2*x1^2*x2^2 - 0.0202264677747*x0^2*x1^4 - 0.433374454165*x0^2*x1^3*x2^1 - 0.0436986079806*x0^1*x1^1*x2^2 - 2.8436455899*x0^2*x1^2*x2^1 + 0.76062278851*x0^2*x1^3*x2^2 - 0.0164037688909*x0^1*x1^2*x2^1 + 0.827765464113*x0^1*x1^3*x2^2 + 0.59120169983*x0^1*x1^3*x2^1 + 2.51111847963*x0^1*x1^2*x2^2',);
p25 := ('8.82026172984 + 2.00078604184*x0^8 + 4.89368992053*x1^8 + 11.204465996*x2^8 + 9.33778995075*x3^8 - 0.977277879876*x0^1*x1^1*x2^1*x3^4 + 0.950088417526*x0^1*x1^1*x2^2*x3^2 - 0.151357208298*x0^1*x1^1*x2^3*x3^1 - 0.103218851794*x0^1*x1^1*x2^4*x3^1 + 0.410598501938*x0^1*x1^2*x2^1*x3^1 + 0.144043571161*x0^1*x1^2*x2^1*x3^3 + 1.45427350696*x0^1*x1^2*x2^2*x3^1 + 0.761037725147*x0^1*x1^3*x2^1*x3^1 + 0.121675016493*x0^1*x1^3*x2^1*x3^2 + 0.443863232745*x0^1*x1^4*x2^1*x3^1 + 0.333674327374*x0^2*x1^1*x2^3*x3^1 + 1.49407907316*x0^2*x1^2*x2^1*x3^1 - 0.205158263766*x0^2*x1^2*x2^1*x3^2 + 0.313067701651*x0^2*x1^3*x2^1*x3^1 - 0.854095739302*x0^3*x1^1*x2^1*x3^1',);
p26 := ('5.76255592402 + 2.70726350005*x3^8 + 1.70278164364*x1^2*x2^6 + 7.28143153645*x1^8 + 1.03177306631*x0^4*x2^2*x3^2 + 0.198701077355*x0^1*x1^2*x2^1*x3^3 - 2.95887250384*x0^1*x1^2*x2^1*x3^2 - 0.832397304084*x0^1*x1^1*x2^2*x3^1 - 1.3780856142*x0^1*x1^1*x2^1*x3^2 + 1.01607080416*x0^1*x1^2*x2^2*x3^1 - 1.0847096622*x0^1*x1^3*x2^2*x3^1 - 0.499416876881*x0^1*x1^1*x2^1*x3^1 + 0.154109985028*x0^1*x1^1*x2^2*x3^2 - 0.263905813981*x0^1*x1^2*x2^1*x3^1 - 0.88289485466*x0^1*x1^1*x2^3*x3^1 - 0.100910859409*x0^1*x1^2*x2^2*x3^2 + 0.699078387396*x0^1*x1^3*x2^1*x3^1 + 0.0190936085698*x0^1*x1^1*x2^1*x3^3 - 0.340868342776*x0^1*x1^1*x2^3*x3^2 - 0.305272432534*x0^2*x1^1*x2^2*x3^2',);
p27 := ('2.08378923703 + 0.281334136132*x0^8 + 10.6809804783*x1^8 + 8.20135404202*x2^8 + 8.96717792597*x3^8 - 0.841747365656*x0^1*x1^1*x2^1*x3^3 + 0.502881417158*x0^1*x1^1*x2^2*x3^1 - 1.24528808661*x0^1*x1^1*x2^2*x3^3 - 1.05795221886*x0^1*x1^1*x2^3*x3^1 - 0.909007614927*x0^1*x1^1*x2^4*x3^1 + 0.551454044546*x0^1*x1^2*x2^1*x3^1 + 2.29220801281*x0^1*x1^2*x2^1*x3^3 + 0.0415393929984*x0^2*x1^1*x2^1*x3^1 - 1.11792544511*x0^2*x1^1*x2^1*x3^3 + 0.539058320581*x0^2*x1^1*x2^2*x3^1 - 0.596159699806*x0^2*x1^1*x2^2*x3^2 - 0.0191304965212*x0^2*x1^2*x2^1*x3^1 + 1.1750012195*x0^2*x1^2*x2^1*x3^2 - 0.747870949294*x0^3*x1^1*x2^2*x3^1 + 0.00902525097333*x0^3*x1^2*x2^1*x3^1',);
p28 := ('8.94314236715 + 2.18254925256*x0^8 + 0.48248734036*x1^8 + 9.31746351682*x2^8 + 1.38694101257*x3^8 - 0.354758979269*x0^1*x1^1*x2^1*x3^2 - 0.0827414814825*x0^1*x1^1*x2^1*x3^4 - 0.627000676824*x0^1*x1^1*x2^3*x3^2 - 0.0438181689759*x0^1*x1^1*x2^4*x3^1 - 0.47721803036*x0^1*x1^3*x2^1*x3^1 - 1.31386475336*x0^1*x1^3*x2^2*x3^1 + 0.8846223805*x0^1*x1^4*x2^1*x3^1 + 0.881318042208*x0^2*x1^1*x2^1*x3^1 + 1.70957306365*x0^2*x1^1*x2^1*x3^2 + 0.0500336421769*x0^2*x1^1*x2^2*x3^2 - 0.404677414601*x0^2*x1^3*x2^1*x3^1 - 0.54535994762*x0^3*x1^1*x2^1*x3^1 - 1.54647731558*x0^3*x1^1*x2^1*x3^2 + 0.982367434258*x0^3*x1^2*x2^1*x3^1 - 1.10106763011*x0^4*x1^1*x2^1*x3^1',);
p29 := ('4.87120841975 + 0.0649244412365*x1^8 + 2.89373453067*x0^2*x3^6 + 4.07275782439*x0^2*x1^2*x2^4 + 10.1290924212*x0^8 + 0.620653432491*x0^2*x1^1*x2^1*x3^2 - 0.562663644515*x0^3*x1^1*x2^1*x3^1 + 0.207111074313*x0^2*x1^2*x2^1*x3^1 + 1.03217446964*x0^3*x1^1*x2^1*x3^2 + 0.698619371325*x0^3*x1^2*x2^1*x3^1 - 0.801324659906*x0^1*x1^3*x2^1*x3^1 - 0.0553233418591*x0^2*x1^2*x2^1*x3^2 - 0.765038084335*x0^2*x1^3*x2^1*x3^1 - 0.768320992055*x0^1*x1^2*x2^1*x3^1 + 0.240178024973*x0^4*x1^1*x2^1*x3^1 - 2.16171610651*x0^2*x1^1*x2^1*x3^1 + 0.933637011262*x0^1*x1^4*x2^1*x3^1 - 1.14446006654*x0^2*x1^2*x2^2*x3^1 - 0.138792091169*x0^2*x1^1*x2^1*x3^3 + 0.60505556198*x0^1*x1^1*x2^1*x3^1',);
p30 := ('2.20613743443 + 1.65435075947*x0^8 + 12.153855935*x1^8 + 1.26046064802*x2^8 + 0.548049207891*x3^8 + 1.58248111706*x0^1*x1^1*x2^1*x3^3 - 0.909232404856*x0^1*x1^1*x2^2*x3^1 - 0.59163665793*x0^1*x1^1*x2^2*x3^3 + 0.187603225837*x0^1*x1^1*x2^3*x3^2 - 0.329869957779*x0^1*x1^2*x2^1*x3^3 - 1.19276461242*x0^1*x1^2*x2^2*x3^1 - 0.204876510588*x0^1*x1^2*x2^3*x3^1 - 0.358828947001*x0^1*x1^3*x2^1*x3^1 + 0.603471602609*x0^1*x1^3*x2^1*x3^2 - 1.66478852947*x0^2*x1^1*x2^1*x3^2 - 0.70017903769*x0^2*x1^1*x2^2*x3^1 + 1.15139100949*x0^2*x1^1*x2^3*x3^1 + 1.85733100723*x0^2*x1^2*x2^1*x3^2 - 1.51117955769*x0^2*x1^2*x2^2*x3^1 + 0.644847510893*x0^3*x1^1*x2^2*x3^1',);
p31 := ('13.7170709359 + 4.29981034879*x2^8 + 5.47271035031*x1^6 + 6.00448948928*x0^2*x3^6 + 12.8255368537*x0^4*x1^2 - 1.63674463536*x0^1*x1^3*x2^1*x3^1 + 0.919125431033*x0^1*x1^1*x2^1*x3^1 + 1.17110031712*x0^1*x1^1*x2^2*x3^1 - 2.62823757184*x0^2*x1^1*x2^3*x3^1 - 1.3605439928*x0^1*x1^2*x2^2*x3^1 + 1.0232059606*x0^1*x1^2*x2^1*x3^1 - 0.854018165531*x0^1*x1^1*x2^3*x3^2 - 0.242091973943*x0^1*x1^2*x2^3*x3^1 - 1.76053011259*x0^2*x1^1*x2^1*x3^1 + 0.76143545905*x0^1*x1^1*x2^2*x3^2 + 0.680228557519*x0^2*x1^2*x2^1*x3^1 - 0.221324842061*x0^2*x1^1*x2^2*x3^2 - 1.69917377504*x0^1*x1^1*x2^3*x3^1 + 0.0964680648056*x0^2*x1^1*x2^1*x3^2 - 0.903733492258*x0^1*x1^1*x2^1*x3^2',);
p32 := ('6.85090761642 + 5.49826669948*x3^2 + 7.00290728436*x2^2 + 1.9235402224*x2^4*x3^4 + 2.44142057276*x1^2*x2^2*x3^4 + 5.3515486548*x1^2*x2^6 + 2.84276701241*x1^8 + 4.0248278629*x0^2*x3^6 + 3.9131519347*x0^2*x2^4*x3^2 + 2.46709270807*x0^4*x1^2*x2^2 + 0.138713688756*x1^6 + 0.872665487127*x0^2*x1^2*x2^2*x3^2 - 0.819885961593*x1^2*x2^2 - 0.0797256489403*x0^2*x1^2*x2^2 + 0.278516801802*x0^2*x1^1*x2^2*x3^2 - 0.427540132576*x1^2*x2^1*x3^1 - 0.060092606561*x0^1*x1^2*x2^2*x3^2 - 0.568488291505*x0^1*x1^2*x2^1*x3^2 - 0.323658970209*x0^1*x1^2*x2^1*x3^1 + 1.26610337131*x0^1*x1^2*x2^2*x3^1',);
p33 := ('8.452628519 + 2.3296868527*x0^8 + 0.164100818393*x1^8 + 2.03758141498*x2^8 + 3.94461514313*x3^8 + 0.00206557290595*x0^1*x1^1*x2^1*x3^3 - 0.000890385857931*x0^1*x1^1*x2^1*x3^4 - 1.75472430635*x0^1*x1^1*x2^2*x3^1 + 1.01765800566*x0^1*x1^1*x2^3*x3^1 + 0.60049851592*x0^1*x1^2*x2^1*x3^1 - 0.625428973967*x0^1*x1^2*x2^1*x3^3 - 0.171548261196*x0^1*x1^3*x2^1*x3^2 + 0.505299374197*x0^1*x1^3*x2^2*x3^1 - 0.261356415192*x0^1*x1^4*x2^1*x3^1 - 0.242749078673*x0^2*x1^1*x2^1*x3^2 - 1.45324141249*x0^2*x1^1*x2^2*x3^1 + 0.554580311892*x0^2*x1^2*x2^1*x3^1 + 0.123880905287*x0^2*x1^2*x2^1*x3^2 + 0.27445992376*x0^3*x1^1*x2^1*x3^1 - 1.52652453187*x0^4*x1^1*x2^1*x3^1',);
p34 := ('1.50219426409 + 8.87897140342*x3^4 + 5.11769321265*x2^8 + 12.3721128639*x1^2*x3^4 + 0.996179336663*x1^4 + 0.554618603908*x1^4*x3^2 + 5.9188044229*x1^6*x2^2 + 4.48897365505*x0^2*x1^2*x2^2*x3^2 + 11.9477091117*x0^2*x1^4*x3^2 + 2.59149429618*x0^4*x1^4 + 3.24199175802*x0^8 + 1.9978484568*x2^4 + 0.307921112977*x1^4*x2^4 + 0.946595605428*x0^2*x2^4 - 0.752975788917*x2^2*x3^2 - 0.971531535795*x1^2*x3^2 - 0.994400875324*x0^2*x1^2*x2^2 - 0.488103729251*x0^1*x1^3*x2^2*x3^1 + 1.26797905425*x0^1*x1^2*x2^1*x3^1 + 0.940057370986*x0^1*x1^2*x2^2*x3^1',);
p35 := ('4.34058350486 + 0.54580287519*x2^2*x3^6 + 1.64106416713*x2^8 + 2.71930725642*x0^2*x1^6 + 1.76985721341*x0^6*x2^2 - 1.01234894558*x0^2*x1^1*x2^2*x3^2 - 0.317059945378*x0^1*x1^1*x2^3*x3^1 + 2.01118367695*x0^3*x1^1*x2^2*x3^1 - 0.794191576995*x0^1*x1^2*x2^2*x3^2 - 1.0309014666*x0^1*x1^1*x2^4*x3^1 - 2.11431177375*x0^2*x1^1*x2^3*x3^1 - 1.42879774631*x0^1*x1^2*x2^1*x3^2 - 0.161362851475*x0^2*x1^1*x2^2*x3^1 + 0.499134215871*x0^1*x1^1*x2^2*x3^1 + 1.20885571094*x0^2*x1^2*x2^2*x3^1 + 1.18083483155*x0^1*x1^1*x2^3*x3^2 - 1.34729506345*x0^2*x1^1*x2^1*x3^1 + 0.439832287028*x0^1*x1^1*x2^2*x3^2 - 0.349084611512*x0^1*x1^2*x2^2*x3^1 - 0.897897283102*x0^2*x1^2*x2^1*x3^1',);
p36 := ('0.9261113416580856 + 3.3990846566814903*x5^4*x6^2*x7^2 + 1.2546430169532832*x4^2*x6^6 + 2.1105342595746546*x4^2*x5^2*x7^4 + 2.4403678990233697e-05*x3^2*x5^4*x7^2 + 1.3558814303725728*x2^2*x7^6 + 0.7837704924835222*x2^2*x4^4*x6^2 + 1.9275293451735287*x2^4*x6^2 + 4.670226636409408*x1^4*x3^2*x6^2 + 4.32796166495117*x0^2*x5^2*x6^2 + 3.669195026433532*x0^2*x3^2*x4^2*x6^2 + 0.8391933463096186*x0^2*x1^2*x7^2 + 1.5283519489342934*x0^2*x1^2*x4^4 + 0.11992647967047093*x0^2*x1^2*x2^2 + 2.072838222536947*x0^2*x1^2*x2^2*x5^2 + 0.21927554602082855*x0^2*x1^4 + 2.5009147163767373*x0^6 + 0.9527312937883748*x0^6*x4^2 - 0.37566942307899365*x0^2*x1^1*x2^1*x4^1*x5^1*x6^1 - 0.07447076289398098*x0^2*x1^1*x2^1*x4^1*x6^1*x7^1',);
p37 := ('5.558400542277921 + 0.9857380367859792*x6^4*x7^4 + 4.230894288095384*x5^6 + 2.782030384634433*x4^2 + 4.089368854503822*x4^2*x5^2*x7^4 + 3.402413979591234*x4^2*x5^4*x6^2 + 1.6280645833245*x3^2*x5^2 + 1.3561282710083247*x3^6*x7^2 + 0.12001561797672278*x2^2*x4^2*x6^2 + 5.895184082528893*x2^2*x4^4 + 2.7639601095485022*x2^6 + 2.094590884800332*x2^6*x5^2 + 5.219677170707797*x1^2*x3^2*x7^2 + 2.287102394501707*x1^2*x2^2*x3^2*x7^2 + 0.6905083856625948*x0^2*x3^2*x6^4 + 1.9912797468123271*x0^2*x2^2*x5^2 + 2.859496429615562*x0^2*x2^4*x5^2 + 1.2747994574255426*x0^4*x3^4 - 1.347460295091466*x2^1*x3^1*x4^1*x5^1*x6^1*x7^1 - 0.009360100629907888*x2^1*x3^1*x4^1*x5^1*x7^1',);
p38 := ('1.8563838130114194 + 2.6811753289387386*x5^2*x6^2*x7^2 + 4.127688973514597*x5^4 + 1.3385733908152275*x5^4*x6^4 + 5.161037007802939*x4^2*x7^6 + 1.6553983491670219*x4^2*x5^2*x6^2*x7^2 + 3.0105496139993315*x3^2*x6^4*x7^2 + 3.6549390680338103*x3^4*x6^4 + 4.415402194823335*x2^2*x3^2*x6^4 + 0.8235343797826628*x2^4*x5^2 + 2.1018331053588395*x2^6 + 0.4499660031308758*x1^2*x3^4 + 1.4201547183199548*x1^2*x2^2*x5^4 + 1.882092991053662*x1^4*x6^4 + 4.27084800791764*x0^2*x6^2 + 4.507746646199353*x0^2*x1^2*x5^2*x7^2 + 0.9578046293937799*x0^4*x3^2*x7^2 + 5.618987632019249*x0^6 + 0.269411630507887*x0^1*x2^1*x3^1*x5^1*x6^1*x7^1 - 0.5246046194008523*x0^1*x1^1*x2^1*x3^1*x5^1*x6^1*x7^1',);
p39 := ('0.809943795549103 + 4.709546576399556*x5^2*x6^4*x7^2 + 4.153651105117815*x4^2*x6^6 + 1.4721806324661593*x4^6 + 0.5904364889718434*x3^2*x7^2 + 1.5334074233841455*x3^2*x4^2*x5^4 + 2.032921484063252*x3^4*x4^2*x6^2 + 0.8675067486085535*x2^2*x7^2 + 4.0027249712517055*x2^4*x5^2*x6^2 + 2.9841534409707444*x2^4*x4^2*x7^2 + 3.404860908466017*x0^2*x4^4*x7^2 + 1.537929774537644*x0^6*x1^2 + 1.3442161678999176*x2^1*x3^1*x4^2*x6^1*x7^1 + 0.13780228697573332*x2^1*x4^1*x5^1*x6^2*x7^1 - 1.7785964239473506*x3^1*x4^2*x5^1*x6^1*x7^1 - 1.6543433214466803*x2^1*x3^1*x4^1*x5^1*x6^1*x7^1 + 0.4149833720878796*x2^1*x4^2*x5^1*x6^2*x7^1 + 1.5688818895760315*x2^1*x3^1*x4^1*x5^1*x6^2*x7^1 - 0.10368295983302973*x2^1*x3^1*x4^1*x6^1*x7^1 - 0.3722166835128014*x2^1*x3^1*x4^2*x5^1*x6^1*x7^1',);
p40 := ('1.4031926162372566 + 0.5993137516712591*x7^8 + 1.1997477853351217*x3^2*x7^2 + 0.15438238190782366*x3^2*x4^2*x5^2 + 2.6762807690011954*x2^2*x5^2*x7^2 + 3.1830250661048387*x2^2*x3^2*x4^2*x5^2 + 2.3001902969860275*x2^4*x4^2 + 2.637296273128864*x1^2*x4^2*x5^2*x6^2 + 1.3507201283564727*x1^2*x3^2*x4^2*x5^2 + 0.7726587917976645*x1^4*x3^2*x7^2 + 2.4271530031913153*x1^4*x3^4 + 2.8868102451086504*x0^2*x5^4*x7^2 + 1.0565220216387647*x0^2*x1^4*x6^2 + 2.4980223360297282*x0^4*x4^2 + 0.8835202316414317*x0^1*x1^1*x3^1*x4^1*x5^1*x7^1 - 0.530199180703972*x0^1*x1^1*x3^1*x4^1*x5^1*x7^2 + 0.8141348176344853*x0^1*x1^1*x2^1*x3^1*x4^1*x5^1*x7^1 - 1.0198841776724792*x1^1*x2^1*x3^1*x4^1*x5^1*x7^1 - 2.2582369276906253*x1^1*x3^1*x4^1*x5^1*x7^2 + 0.6799548914645005*x1^1*x3^1*x4^1*x5^1*x7^1',);
p41 := ('1.754455550305786 + 1.269446335592152*x9^2 + 1.7975859837581831*x6^2*x9^6 + 2.0320265468796737*x5^2*x7^2*x8^2 + 2.108974778938834*x4^2*x6^2*x8^2*x9^2 + 0.23011822019873626*x3^2*x4^2*x9^4 + 0.21357993459217306*x3^6*x4^2 + 1.010342566539551*x2^2*x5^4*x7^2 + 1.4146822533988805*x2^4*x3^2*x6^2 + 1.8429299752903434*x1^2*x9^4 + 1.9271252610381564*x1^2*x3^2*x7^4 + 3.3344951152604443*x1^2*x3^2*x4^2*x9^2 + 0.5494671243462859*x1^4*x5^2*x6^2 + 0.27304674999449546*x0^2*x5^2*x8^2 + 2.5498537078203123*x0^2*x4^2*x7^2*x9^2 + 1.533748815373993*x0^2*x4^2*x6^2 + 2.962756418711426*x0^2*x3^2*x6^4 + 1.1721608015739506*x0^2*x2^2*x7^2*x9^2 + 1.313333673216211*x0^4*x1^4 + 1.5671131840798973*x0^1*x1^1*x3^1*x4^1*x6^1*x9^1',);
p42 := ('1.0032802390641296 + 0.4159181548023856*x7^6*x9^2 + 1.0471478284693547*x6^2*x7^2 + 2.7095974265078735*x5^2*x7^4*x8^2 + 0.5851100104755723*x4^2*x8^2 + 1.4998759269596817*x4^2*x7^2*x8^4 + 2.461647906278625*x4^4*x5^2*x9^2 + 3.067007321991809*x3^2*x8^2*x9^2 + 1.3703908271512042*x3^2*x6^2*x8^2 + 3.659368565527996*x3^2*x5^2*x7^4 + 1.6753252575859388*x2^2*x5^4 + 1.2791002008776937*x2^2*x5^6 + 1.1978411602201704*x2^2*x4^4*x6^2 + 0.38391918376832823*x2^4*x4^2 + 2.5814489522559443*x1^2*x6^2*x8^2*x9^2 + 0.9051960573069695*x1^2*x2^4*x3^2 + 0.09412064478723661*x0^2*x8^4 + 0.9886765620550605*x0^2*x3^4*x6^2 + 1.0010515058540121*x0^4*x1^2*x4^2 + 0.09114625295816867*x2^1*x3^1*x4^1*x5^1*x6^1*x7^1*x8^1',);
p43 := ('1.7140793631068287 + 3.056448372051443*x8^2*x9^4 + 1.8099751752767952*x5^2*x7^2*x8^2 + 1.0832907830152094*x4^2*x7^4 + 1.4021034064535727*x4^4*x7^4 + 0.10927055707996712*x3^2*x4^2*x7^2*x8^2 + 0.1636070536261273*x2^2*x7^2*x8^2 + 2.563461142196743*x2^2*x7^4*x9^2 + 0.3169148988866471*x2^2*x5^4*x7^2 + 0.9441665765188199*x2^4*x4^2*x6^2 + 1.1545182612299867*x1^2*x6^2 + 1.4132737187162867*x1^2*x4^2*x5^2*x8^2 + 1.456617176889958*x1^2*x2^2*x8^4 + 2.457328236762308*x1^2*x2^2*x6^2*x7^2 + 4.586138248687812*x1^2*x2^2*x5^2*x8^2 + 1.5129207604923163*x1^4*x3^2*x5^2 + 6.953800211898574*x0^2*x1^2*x7^2*x8^2 + 1.1738948669115796*x0^2*x1^2*x2^2*x6^2 + 2.1041507543669646*x0^4*x4^2*x7^2 - 0.18304262989640932*x0^1*x1^1*x2^1*x4^1*x5^1*x7^1*x8^1',);
