#  QCP written by GAMS Convert at 02/15/18 15:45:25
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#         14       13        0        1        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#         61       61        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        839      719      120        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 1;
var x3 >= 0, <= 1;
var x4 >= 0, <= 1;
var x5 >= 0, <= 1;
var x6 >= 0, <= 1;
var x7 >= 0, <= 1;
var x8 >= 0, <= 1;
var x9 >= 0, <= 1;
var x10 >= 0, <= 1;
var x11 >= 0, <= 1;
var x12 >= 0, <= 1;
var x13 >= 0, <= 1;
var x14 >= 0, <= 1;
var x15 >= 0, <= 1;
var x16 >= 0, <= 1;
var x17 >= 0, <= 1;
var x18 >= 0, <= 1;
var x19 >= 0, <= 1;
var x20 >= 0, <= 1;
var x21 >= 0, <= 1;
var x22 >= 0, <= 1;
var x23 >= 0, <= 1;
var x24 >= 0, <= 1;
var x25 >= 0, <= 1;
var x26 >= 0, <= 1;
var x27 >= 0, <= 1;
var x28 >= 0, <= 1;
var x29 >= 0, <= 1;
var x30 >= 0, <= 1;
var x31 >= 0, <= 1;
var x32 >= 0, <= 1;
var x33 >= 0, <= 1;
var x34 >= 0, <= 1;
var x35 >= 0, <= 1;
var x36 >= 0, <= 1;
var x37 >= 0, <= 1;
var x38 >= 0, <= 1;
var x39 >= 0, <= 1;
var x40 >= 0, <= 1;
var x41 >= 0, <= 1;
var x42 >= 0, <= 1;
var x43 >= 0, <= 1;
var x44 >= 0, <= 1;
var x45 >= 0, <= 1;
var x46 >= 0, <= 1;
var x47 >= 0, <= 1;
var x48 >= 0, <= 1;
var x49 >= 0, <= 1;
var x50 >= 0, <= 1;
var x51 >= 0, <= 1;
var x52 >= 0, <= 1;
var x53 >= 0, <= 1;
var x54 >= 0, <= 1;
var x55 >= 0, <= 1;
var x56 >= 0, <= 1;
var x57 >= 0, <= 1;
var x58 >= 0, <= 1;
var x59 >= 0, <= 1;
var x60 >= 0, <= 1;
var x61 >= 0, <= 1;

minimize obj: 0.02*x2^2 - 0.81*x2 - 0.18*x2*x3 + 0.58*x3 + 0.08*x2*x4 + 0.13*x4
     - 0.02*x2*x5 - 0.73*x5 + 0.02*x2*x6 + 0.39*x6 - 0.18*x2*x7 - 0.02*x7 + 
    0.12*x2*x8 - 0.6*x8 - 0.1*x2*x9 + 0.49*x9 + 0.26*x2*x10 - 0.77*x10 + 0.08*
    x2*x11 - 0.09*x11 - 0.02*x2*x12 - 0.34*x12 - 0.34*x2*x13 - 0.34*x13 + 0.28*
    x2*x14 - 0.52*x14 + 0.14*x2*x15 - 0.6*x15 - 0.32*x2*x16 - 0.32*x16 + 0.14*
    x2*x17 - 0.12*x17 - 0.04*x2*x18 + 0.62*x18 - 0.12*x2*x19 - 0.83*x19 + 0.14*
    x2*x20 + 0.2*x20 + 0.16*x2*x21 - 0.99*x21 - 0.12*x2*x23 + 0.96*x23 + 0.2*x2
    *x24 - 0.63*x24 - 0.12*x2*x25 + 0.65*x25 + 0.06*x2*x26 - 0.03*x26 + 0.02*x2
    *x27 + 0.11*x27 - 0.18*x2*x28 - 0.62*x28 + 0.04*x2*x29 - 0.23*x29 + 0.06*x2
    *x30 - 0.6*x30 + 0.08*x2*x31 - 0.16*x31 - 0.04*x2*x32 + 0.65*x32 + 0.04*x2*
    x33 - 0.21*x33 + 0.14*x2*x35 + 0.67*x35 - 0.08*x2*x36 - 0.25*x36 + 0.08*x2*
    x37 + 0.93*x37 - 0.18*x2*x38 - 0.86*x38 + 0.08*x2*x39 - 0.51*x39 - 0.18*x2*
    x40 + 0.87*x40 + 0.04*x2*x41 - 0.98*x41 + 0.26*x2*x42 + 0.08*x42 + 0.38*x2*
    x43 - 0.91*x43 - 0.04*x2*x44 - 0.07*x44 + 0.12*x2*x45 + 0.87*x45 - 0.14*x2*
    x46 - 0.93*x46 - 0.3*x2*x47 + 0.07*x47 - 0.06*x2*x48 - 0.36*x48 - 0.14*x2*
    x49 - 0.04*x49 - 0.04*x2*x50 - 0.58*x50 - 0.2*x2*x51 - 0.87*x51 + 0.14*x2*
    x52 + 0.97*x52 + 0.16*x2*x53 + 0.05*x53 - 0.16*x2*x54 - 0.44*x54 - 0.24*x2*
    x55 + 0.7*x55 - 0.1*x2*x56 - 0.89*x56 - 0.04*x2*x57 + 0.92*x57 + 0.12*x2*
    x58 + 0.07*x58 - 0.06*x2*x59 - 0.58*x59 + 0.04*x2*x60 + 0.26*x60 - 0.02*x2*
    x61 - 0.86*x61 + 0.1*x3^2 + 0.1*x3*x4 - 0.12*x3*x5 + 0.08*x3*x6 + 0.08*x3*
    x7 + 0.28*x3*x8 - 0.06*x3*x9 - 0.04*x3*x10 - 0.2*x3*x11 + 0.2*x3*x12 - 0.06
    *x3*x13 + 0.02*x3*x14 + 0.04*x3*x15 + 0.18*x3*x16 - 0.06*x3*x17 - 0.1*x3*
    x18 + 0.06*x3*x19 - 0.3*x3*x20 - 0.4*x3*x21 + 0.24*x3*x22 + 0.65*x22 - 0.22
    *x3*x23 - 0.24*x3*x24 + 0.14*x3*x25 + 0.22*x3*x26 + 0.06*x3*x27 + 0.18*x3*
    x28 - 0.04*x3*x29 - 0.06*x3*x30 + 0.26*x3*x31 - 0.12*x3*x32 + 0.14*x3*x33
     + 0.02*x3*x34 - 0.72*x34 + 0.06*x3*x35 - 0.08*x3*x36 - 0.08*x3*x37 - 0.24*
    x3*x38 + 0.16*x3*x39 + 0.18*x3*x40 - 0.1*x3*x41 + 0.14*x3*x42 + 0.02*x3*x43
     + 0.06*x3*x44 + 0.02*x3*x45 + 0.06*x3*x46 + 0.34*x3*x47 + 0.1*x3*x48 + 
    0.04*x3*x49 + 0.1*x3*x50 + 0.2*x3*x51 + 0.06*x3*x53 - 0.16*x3*x54 - 0.1*x3*
    x55 - 0.04*x3*x56 - 0.16*x3*x57 - 0.16*x3*x58 - 0.16*x3*x59 - 0.2*x3*x60 - 
    0.24*x3*x61 + 0.18*x4^2 - 0.1*x4*x5 + 0.02*x4*x6 + 0.04*x4*x7 - 0.14*x4*x8
     + 0.02*x4*x9 - 0.2*x4*x10 - 0.4*x4*x11 - 0.2*x4*x12 + 0.3*x4*x13 + 0.06*x4
    *x14 + 0.32*x4*x15 - 0.24*x4*x16 - 0.08*x4*x17 - 0.1*x4*x18 + 0.04*x4*x19
     + 0.06*x4*x20 - 0.18*x4*x21 - 0.04*x4*x22 - 0.22*x4*x23 + 0.16*x4*x24 + 
    0.08*x4*x25 - 0.04*x4*x26 + 0.04*x4*x27 - 0.2*x4*x28 + 0.1*x4*x29 + 0.1*x4*
    x30 + 0.24*x4*x31 + 0.04*x4*x32 - 0.16*x4*x33 - 0.12*x4*x34 + 0.08*x4*x35
     - 0.12*x4*x36 + 0.2*x4*x37 + 0.1*x4*x38 - 0.04*x4*x39 - 0.18*x4*x40 + 0.06
    *x4*x41 - 0.18*x4*x42 + 0.16*x4*x43 + 0.18*x4*x44 - 0.12*x4*x45 - 0.1*x4*
    x46 + 0.24*x4*x47 - 0.14*x4*x48 + 0.12*x4*x49 - 0.06*x4*x50 + 0.14*x4*x51
     - 0.14*x4*x52 - 0.16*x4*x53 - 0.18*x4*x54 - 0.12*x4*x55 + 0.38*x4*x56 - 
    0.26*x4*x57 + 0.02*x4*x58 + 0.2*x4*x59 - 0.24*x4*x60 + 0.08*x4*x61 - 0.11*
    x5^2 + 0.4*x5*x6 + 0.18*x5*x7 - 0.04*x5*x8 + 0.08*x5*x9 - 0.02*x5*x10 - 
    0.26*x5*x11 - 0.08*x5*x12 - 0.14*x5*x13 - 0.02*x5*x14 + 0.02*x5*x15 + 0.14*
    x5*x16 + 0.16*x5*x17 + 0.12*x5*x18 + 0.48*x5*x19 - 0.1*x5*x20 - 0.14*x5*x21
     + 0.02*x5*x22 + 0.06*x5*x23 + 0.04*x5*x24 - 0.02*x5*x25 - 0.02*x5*x26 - 
    0.08*x5*x27 - 0.04*x5*x28 - 0.06*x5*x29 - 0.02*x5*x30 + 0.22*x5*x31 - 0.04*
    x5*x32 - 0.14*x5*x33 + 0.02*x5*x34 + 0.1*x5*x35 + 0.22*x5*x36 - 0.14*x5*x38
     + 0.14*x5*x39 + 0.08*x5*x40 + 0.02*x5*x41 - 0.18*x5*x42 - 0.28*x5*x43 - 
    0.04*x5*x44 - 0.12*x5*x45 - 0.1*x5*x46 - 0.2*x5*x47 - 0.16*x5*x48 - 0.14*x5
    *x49 - 0.3*x5*x51 + 0.28*x5*x52 + 0.04*x5*x53 - 0.02*x5*x54 - 0.04*x5*x55
     - 0.02*x5*x56 + 0.16*x5*x57 + 0.24*x5*x58 + 0.34*x5*x59 + 0.2*x5*x60 - 
    0.16*x5*x61 + 0.14*x6^2 - 0.22*x6*x7 - 0.02*x6*x8 - 0.08*x6*x9 - 0.08*x6*
    x10 + 0.04*x6*x11 + 0.1*x6*x12 - 0.04*x6*x13 + 0.06*x6*x14 - 0.22*x6*x15 + 
    0.04*x6*x16 + 0.02*x6*x17 - 0.16*x6*x18 + 0.14*x6*x19 - 0.04*x6*x20 - 0.08*
    x6*x21 + 0.1*x6*x22 + 0.18*x6*x23 - 0.18*x6*x24 - 0.22*x6*x25 + 0.18*x6*x26
     + 0.1*x6*x27 - 0.04*x6*x28 - 0.24*x6*x29 + 0.1*x6*x31 - 0.18*x6*x32 - 0.26
    *x6*x33 + 0.36*x6*x35 + 0.04*x6*x36 + 0.34*x6*x37 + 0.14*x6*x38 - 0.3*x6*
    x39 + 0.38*x6*x40 + 0.12*x6*x41 - 0.32*x6*x42 - 0.12*x6*x43 + 0.26*x6*x44
     - 0.04*x6*x45 + 0.1*x6*x46 - 0.16*x6*x47 + 0.06*x6*x49 + 0.16*x6*x50 + 
    0.06*x6*x51 + 0.04*x6*x52 + 0.12*x6*x53 + 0.18*x6*x54 - 0.1*x6*x55 - 0.34*
    x6*x56 - 0.5*x6*x57 - 0.06*x6*x58 - 0.02*x6*x59 + 0.1*x6*x60 + 0.14*x6*x61
     + 0.27*x7^2 + 0.04*x7*x8 + 0.12*x7*x9 + 0.22*x7*x10 - 0.02*x7*x11 - 0.06*
    x7*x12 - 0.06*x7*x13 - 0.08*x7*x14 + 0.18*x7*x15 - 0.16*x7*x16 + 0.3*x7*x17
     + 0.04*x7*x18 - 0.06*x7*x19 - 0.04*x7*x20 + 0.14*x7*x21 - 0.2*x7*x22 - 
    0.34*x7*x23 + 0.04*x7*x25 - 0.12*x7*x26 + 0.04*x7*x27 - 0.04*x7*x28 + 0.1*
    x7*x29 + 0.12*x7*x30 + 0.08*x7*x31 - 0.1*x7*x32 - 0.16*x7*x33 + 0.02*x7*x34
     + 0.08*x7*x35 - 0.12*x7*x36 + 0.1*x7*x37 + 0.22*x7*x38 - 0.24*x7*x39 - 
    0.04*x7*x40 + 0.04*x7*x41 - 0.1*x7*x42 - 0.14*x7*x43 - 0.02*x7*x44 + 0.06*
    x7*x45 - 0.12*x7*x46 + 0.06*x7*x47 - 0.08*x7*x48 + 0.08*x7*x49 + 0.04*x7*
    x50 + 0.16*x7*x51 - 0.12*x7*x52 + 0.1*x7*x53 - 0.24*x7*x54 - 0.16*x7*x55 - 
    0.12*x7*x56 - 0.08*x7*x57 - 0.12*x7*x58 + 0.1*x7*x59 - 0.1*x7*x60 - 0.14*x7
    *x61 - 0.05*x8^2 + 0.22*x8*x9 + 0.16*x8*x10 - 0.04*x8*x11 - 0.18*x8*x12 - 
    0.06*x8*x13 + 0.42*x8*x14 + 0.06*x8*x15 - 0.24*x8*x16 - 0.34*x8*x17 - 0.24*
    x8*x18 - 0.04*x8*x19 - 0.02*x8*x20 - 0.46*x8*x21 - 0.16*x8*x22 - 0.16*x8*
    x23 + 0.22*x8*x24 + 0.1*x8*x25 - 0.1*x8*x26 - 0.24*x8*x27 - 0.04*x8*x28 - 
    0.22*x8*x29 + 0.1*x8*x30 - 0.12*x8*x31 - 0.26*x8*x32 - 0.32*x8*x33 + 0.04*
    x8*x34 + 0.18*x8*x35 + 0.22*x8*x36 - 0.16*x8*x37 + 0.04*x8*x38 + 0.06*x8*
    x39 + 0.14*x8*x41 + 0.18*x8*x42 - 0.02*x8*x43 + 0.04*x8*x44 + 0.02*x8*x45
     + 0.1*x8*x46 - 0.04*x8*x47 + 0.08*x8*x48 + 0.08*x8*x49 + 0.1*x8*x50 + 0.02
    *x8*x51 + 0.24*x8*x52 + 0.22*x8*x53 + 0.12*x8*x54 + 0.1*x8*x55 + 0.08*x8*
    x56 - 0.1*x8*x57 - 0.02*x8*x59 - 0.04*x8*x60 + 0.02*x8*x61 + 0.09*x9^2 + 
    0.18*x9*x10 - 0.1*x9*x11 + 0.1*x9*x12 - 0.16*x9*x13 + 0.22*x9*x14 - 0.18*x9
    *x15 - 0.38*x9*x16 - 0.02*x9*x17 + 0.18*x9*x18 - 0.04*x9*x19 + 0.14*x9*x20
     - 0.22*x9*x21 + 0.12*x9*x22 + 0.14*x9*x23 - 0.26*x9*x24 - 0.08*x9*x25 - 
    0.28*x9*x26 - 0.18*x9*x28 + 0.02*x9*x29 - 0.08*x9*x30 + 0.02*x9*x31 - 0.06*
    x9*x32 + 0.08*x9*x33 + 0.02*x9*x34 - 0.1*x9*x35 - 0.24*x9*x36 + 0.04*x9*x37
     + 0.18*x9*x38 + 0.16*x9*x39 + 0.2*x9*x40 - 0.04*x9*x41 + 0.18*x9*x42 - 
    0.06*x9*x43 + 0.04*x9*x44 - 0.22*x9*x45 - 0.02*x9*x46 - 0.02*x9*x47 - 0.18*
    x9*x48 - 0.08*x9*x49 + 0.14*x9*x50 + 0.04*x9*x51 - 0.12*x9*x52 + 0.08*x9*
    x53 + 0.06*x9*x54 + 0.04*x9*x55 + 0.2*x9*x56 + 0.2*x9*x57 - 0.26*x9*x58 + 
    0.12*x9*x59 - 0.24*x9*x60 - 0.02*x9*x61 + 0.13*x10^2 + 0.04*x10*x11 - 0.06*
    x10*x12 + 0.02*x10*x13 - 0.1*x10*x14 + 0.36*x10*x15 + 0.24*x10*x16 - 0.22*
    x10*x17 + 0.12*x10*x18 + 0.12*x10*x19 + 0.02*x10*x20 - 0.18*x10*x21 - 0.12*
    x10*x22 + 0.04*x10*x23 + 0.02*x10*x24 + 0.02*x10*x25 - 0.12*x10*x26 + 0.04*
    x10*x27 - 0.06*x10*x28 + 0.16*x10*x29 + 0.16*x10*x30 - 0.18*x10*x31 + 0.14*
    x10*x32 + 0.08*x10*x33 - 0.14*x10*x34 + 0.06*x10*x35 + 0.06*x10*x36 - 0.18*
    x10*x37 - 0.14*x10*x38 - 0.08*x10*x39 + 0.12*x10*x40 - 0.18*x10*x41 - 0.06*
    x10*x42 + 0.12*x10*x43 - 0.1*x10*x44 + 0.44*x10*x45 + 0.26*x10*x46 - 0.4*
    x10*x47 + 0.04*x10*x48 - 0.42*x10*x49 + 0.04*x10*x50 + 0.04*x10*x51 - 0.14*
    x10*x52 - 0.12*x10*x53 + 0.28*x10*x54 - 0.12*x10*x55 - 0.3*x10*x56 - 0.18*
    x10*x57 + 0.06*x10*x58 - 0.14*x10*x59 + 0.02*x10*x60 + 0.14*x11^2 - 0.04*
    x11*x12 - 0.02*x11*x13 + 0.1*x11*x14 + 0.16*x11*x15 - 0.08*x11*x16 + 0.06*
    x11*x17 + 0.06*x11*x18 - 0.1*x11*x19 - 0.18*x11*x20 - 0.06*x11*x21 - 0.02*
    x11*x22 + 0.14*x11*x23 - 0.38*x11*x24 + 0.08*x11*x25 + 0.24*x11*x27 - 0.04*
    x11*x28 + 0.02*x11*x29 - 0.08*x11*x30 + 0.32*x11*x31 + 0.26*x11*x32 - 0.18*
    x11*x33 - 0.14*x11*x34 + 0.06*x11*x35 + 0.18*x11*x36 - 0.1*x11*x37 + 0.06*
    x11*x38 - 0.06*x11*x39 - 0.02*x11*x40 - 0.1*x11*x41 - 0.12*x11*x42 + 0.32*
    x11*x43 - 0.22*x11*x44 - 0.12*x11*x45 + 0.16*x11*x46 - 0.2*x11*x47 - 0.1*
    x11*x48 + 0.32*x11*x49 + 0.04*x11*x50 - 0.1*x11*x51 - 0.4*x11*x52 + 0.14*
    x11*x53 - 0.16*x11*x54 + 0.12*x11*x55 + 0.16*x11*x56 - 0.02*x11*x58 - 0.16*
    x11*x59 + 0.18*x11*x60 + 0.08*x11*x61 + 0.19*x12^2 - 0.06*x12*x13 - 0.06*
    x12*x14 - 0.08*x12*x15 + 0.06*x12*x16 - 0.18*x12*x17 + 0.08*x12*x18 - 0.34*
    x12*x19 + 0.26*x12*x20 + 0.24*x12*x21 - 0.28*x12*x22 - 0.1*x12*x23 + 0.16*
    x12*x24 - 0.04*x12*x25 + 0.28*x12*x26 + 0.08*x12*x27 - 0.18*x12*x28 + 0.04*
    x12*x29 + 0.02*x12*x30 + 0.18*x12*x31 - 0.1*x12*x32 + 0.04*x12*x33 + 0.04*
    x12*x34 + 0.1*x12*x35 - 0.2*x12*x36 + 0.14*x12*x37 - 0.3*x12*x38 + 0.12*x12
    *x39 - 0.1*x12*x40 - 0.1*x12*x41 - 0.08*x12*x42 - 0.12*x12*x43 - 0.06*x12*
    x44 - 0.26*x12*x45 - 0.22*x12*x46 + 0.22*x12*x47 + 0.08*x12*x48 - 0.08*x12*
    x49 + 0.12*x12*x50 + 0.04*x12*x51 - 0.08*x12*x52 + 0.12*x12*x53 + 0.02*x12*
    x54 + 0.12*x12*x55 - 0.08*x12*x56 + 0.06*x12*x57 - 0.16*x12*x58 - 0.02*x12*
    x60 + 0.02*x13*x13 - 0.16*x13*x14 - 0.12*x13*x15 + 0.18*x13*x16 - 0.02*x13*
    x17 + 0.18*x13*x18 + 0.08*x13*x19 + 0.28*x13*x20 - 0.08*x13*x21 - 0.08*x13*
    x22 - 0.32*x13*x23 + 0.16*x13*x24 + 0.28*x13*x25 - 0.06*x13*x26 - 0.04*x13*
    x27 + 0.02*x13*x28 - 0.18*x13*x29 - 0.1*x13*x30 - 0.22*x13*x31 + 0.16*x13*
    x32 + 0.1*x13*x33 + 0.04*x13*x34 - 0.04*x13*x35 - 0.06*x13*x36 + 0.1*x13*
    x37 - 0.04*x13*x38 + 0.02*x13*x39 + 0.06*x13*x40 - 0.02*x13*x41 - 0.04*x13*
    x42 + 0.18*x13*x43 + 0.22*x13*x44 + 0.1*x13*x45 + 0.06*x13*x46 - 0.06*x13*
    x47 - 0.06*x13*x48 + 0.16*x13*x49 + 0.02*x13*x50 + 0.08*x13*x51 + 0.02*x13*
    x52 - 0.36*x13*x53 + 0.16*x13*x54 - 0.02*x13*x55 - 0.24*x13*x56 + 0.02*x13*
    x57 + 0.04*x13*x58 + 0.16*x13*x59 - 0.08*x13*x60 + 0.06*x13*x61 + 0.13*x14*
    x14 + 0.02*x14*x15 - 0.1*x14*x16 - 0.1*x14*x17 - 0.1*x14*x18 - 0.28*x14*x19
     + 0.02*x14*x20 + 0.14*x14*x21 - 0.06*x14*x22 + 0.22*x14*x23 + 0.08*x14*x24
     + 0.16*x14*x25 + 0.24*x14*x26 - 0.28*x14*x27 - 0.2*x14*x28 - 0.08*x14*x29
     + 0.06*x14*x30 + 0.16*x14*x31 + 0.18*x14*x32 + 0.18*x14*x33 - 0.12*x14*x34
     - 0.02*x14*x35 + 0.06*x14*x36 - 0.02*x14*x37 + 0.06*x14*x38 - 0.04*x14*x39
     - 0.04*x14*x40 - 0.22*x14*x41 - 0.42*x14*x42 - 0.08*x14*x43 - 0.06*x14*x45
     + 0.12*x14*x46 - 0.06*x14*x47 - 0.06*x14*x48 - 0.1*x14*x49 - 0.18*x14*x50
     + 0.1*x14*x51 - 0.02*x14*x52 - 0.26*x14*x53 + 0.1*x14*x54 + 0.2*x14*x55 + 
    0.06*x14*x56 + 0.1*x14*x57 + 0.2*x14*x58 - 0.06*x14*x59 - 0.08*x14*x60 - 
    0.16*x14*x61 + 0.17*x15^2 - 0.08*x15*x16 + 0.14*x15*x17 - 0.16*x15*x18 - 
    0.06*x15*x19 - 0.1*x15*x20 - 0.06*x15*x21 - 0.14*x15*x22 - 0.04*x15*x23 - 
    0.04*x15*x25 - 0.3*x15*x26 - 0.14*x15*x27 - 0.06*x15*x28 - 0.02*x15*x29 + 
    0.06*x15*x30 + 0.18*x15*x31 + 0.02*x15*x32 - 0.02*x15*x33 + 0.08*x15*x34 - 
    0.14*x15*x35 - 0.02*x15*x36 + 0.32*x15*x37 - 0.22*x15*x38 - 0.12*x15*x39 - 
    0.18*x15*x40 - 0.38*x15*x41 - 0.12*x15*x42 - 0.04*x15*x43 - 0.26*x15*x44 + 
    0.2*x15*x45 + 0.26*x15*x46 + 0.08*x15*x47 + 0.12*x15*x48 + 0.16*x15*x49 + 
    0.14*x15*x50 - 0.18*x15*x51 - 0.02*x15*x52 - 0.2*x15*x53 - 0.16*x15*x54 + 
    0.12*x15*x55 + 0.04*x15*x56 - 0.08*x15*x57 - 0.24*x15*x58 + 0.18*x15*x60 + 
    0.12*x15*x61 + 0.06*x16^2 + 0.14*x16*x17 - 0.08*x16*x18 + 0.12*x16*x19 + 
    0.32*x16*x20 - 0.16*x16*x21 + 0.1*x16*x22 + 0.3*x16*x23 - 0.06*x16*x24 - 
    0.06*x16*x25 - 0.22*x16*x26 + 0.18*x16*x27 - 0.24*x16*x28 + 0.14*x16*x29 - 
    0.1*x16*x30 - 0.24*x16*x31 + 0.04*x16*x32 + 0.18*x16*x33 - 0.24*x16*x34 + 
    0.14*x16*x35 + 0.02*x16*x36 + 0.04*x16*x37 + 0.14*x16*x38 - 0.06*x16*x39 - 
    0.2*x16*x40 + 0.16*x16*x41 + 0.02*x16*x42 - 0.08*x16*x43 + 0.08*x16*x45 + 
    0.06*x16*x46 + 0.16*x16*x47 + 0.12*x16*x48 - 0.46*x16*x49 + 0.1*x16*x50 + 
    0.14*x16*x51 + 0.02*x16*x52 + 0.12*x16*x53 + 0.02*x16*x54 + 0.1*x16*x55 - 
    0.06*x16*x57 + 0.2*x16*x58 + 0.1*x16*x59 - 0.26*x16*x60 - 0.26*x16*x61 + 
    0.24*x17^2 - 0.18*x17*x18 - 0.12*x17*x19 - 0.2*x17*x20 - 0.02*x17*x21 - 
    0.02*x17*x23 + 0.02*x17*x25 + 0.3*x17*x26 - 0.34*x17*x27 - 0.08*x17*x28 - 
    0.02*x17*x29 - 0.14*x17*x30 - 0.12*x17*x31 - 0.3*x17*x32 + 0.08*x17*x33 - 
    0.18*x17*x34 - 0.08*x17*x35 + 0.12*x17*x36 + 0.22*x17*x38 - 0.1*x17*x39 - 
    0.2*x17*x40 + 0.02*x17*x41 - 0.06*x17*x42 + 0.12*x17*x43 + 0.28*x17*x44 + 
    0.1*x17*x45 + 0.1*x17*x46 + 0.14*x17*x47 - 0.14*x17*x48 - 0.26*x17*x49 + 
    0.12*x17*x50 - 0.22*x17*x51 - 0.08*x17*x52 + 0.06*x17*x53 - 0.14*x17*x54 + 
    0.46*x17*x55 - 0.42*x17*x56 + 0.22*x17*x57 - 0.1*x17*x58 - 0.12*x17*x60 - 
    0.02*x17*x61 - 0.09*x18^2 + 0.04*x18*x19 - 0.12*x18*x20 + 0.22*x18*x21 - 
    0.1*x18*x22 - 0.12*x18*x23 - 0.38*x18*x24 - 0.08*x18*x25 + 0.14*x18*x26 + 
    0.14*x18*x27 - 0.12*x18*x28 + 0.14*x18*x29 - 0.16*x18*x30 - 0.1*x18*x31 + 
    0.18*x18*x32 + 0.1*x18*x33 - 0.16*x18*x34 + 0.06*x18*x35 - 0.02*x18*x36 - 
    0.06*x18*x37 + 0.06*x18*x38 - 0.1*x18*x39 + 0.26*x18*x40 + 0.18*x18*x44 + 
    0.02*x18*x45 - 0.08*x18*x46 + 0.12*x18*x47 + 0.08*x18*x48 - 0.28*x18*x49 + 
    0.06*x18*x50 + 0.16*x18*x52 - 0.02*x18*x53 + 0.32*x18*x54 + 0.1*x18*x55 + 
    0.32*x18*x56 + 0.2*x18*x57 - 0.36*x18*x58 - 0.06*x18*x59 - 0.26*x18*x60 - 
    0.1*x18*x61 + 0.06*x19^2 - 0.06*x19*x20 + 0.14*x19*x21 + 0.02*x19*x22 - 
    0.18*x19*x23 + 0.06*x19*x24 + 0.02*x19*x25 + 0.08*x19*x26 - 0.16*x19*x27 + 
    0.16*x19*x28 - 0.14*x19*x29 + 0.14*x19*x30 - 0.12*x19*x31 - 0.1*x19*x32 + 
    0.06*x19*x33 + 0.04*x19*x34 + 0.12*x19*x35 + 0.36*x19*x36 + 0.14*x19*x37 - 
    0.08*x19*x38 + 0.32*x19*x39 - 0.1*x19*x40 - 0.1*x19*x41 - 0.16*x19*x42 - 
    0.06*x19*x43 - 0.38*x19*x44 + 0.16*x19*x45 + 0.18*x19*x46 + 0.22*x19*x47 - 
    0.22*x19*x48 + 0.12*x19*x49 + 0.1*x19*x50 - 0.2*x19*x51 - 0.04*x19*x52 - 
    0.02*x19*x53 + 0.04*x19*x54 + 0.18*x19*x55 + 0.06*x19*x56 - 0.02*x19*x57 + 
    0.04*x19*x58 - 0.24*x19*x59 + 0.06*x19*x60 - 0.1*x19*x61 + 0.13*x20^2 + 
    0.32*x20*x21 - 0.1*x20*x22 + 0.08*x20*x23 + 0.04*x20*x24 - 0.22*x20*x25 - 
    0.28*x20*x26 + 0.22*x20*x27 - 0.08*x20*x28 - 0.1*x20*x29 - 0.02*x20*x30 - 
    0.08*x20*x31 + 0.08*x20*x32 + 0.1*x20*x34 + 0.42*x20*x35 + 0.06*x20*x36 - 
    0.18*x20*x37 + 0.24*x20*x38 + 0.04*x20*x39 - 0.4*x20*x40 + 0.04*x20*x41 + 
    0.18*x20*x43 - 0.12*x20*x44 + 0.04*x20*x45 - 0.32*x20*x46 - 0.18*x20*x47 - 
    0.08*x20*x48 - 0.04*x20*x49 + 0.3*x20*x50 - 0.14*x20*x51 - 0.12*x20*x52 - 
    0.04*x20*x53 - 0.14*x20*x54 - 0.04*x20*x55 + 0.12*x20*x56 - 0.18*x20*x57 + 
    0.16*x20*x58 + 0.14*x20*x59 - 0.04*x20*x60 - 0.14*x20*x61 + 0.22*x21^2 + 
    0.12*x21*x22 - 0.26*x21*x23 - 0.22*x21*x25 - 0.08*x21*x26 - 0.28*x21*x27 + 
    0.1*x21*x28 - 0.06*x21*x29 - 0.12*x21*x30 - 0.08*x21*x31 + 0.12*x21*x32 + 
    0.16*x21*x33 + 0.06*x21*x34 - 0.3*x21*x35 - 0.02*x21*x36 - 0.22*x21*x37 + 
    0.28*x21*x39 + 0.06*x21*x40 + 0.12*x21*x41 + 0.04*x21*x42 - 0.08*x21*x43 + 
    0.02*x21*x44 + 0.28*x21*x45 + 0.46*x21*x46 - 0.04*x21*x47 - 0.12*x21*x48 + 
    0.1*x21*x49 - 0.18*x21*x50 + 0.04*x21*x51 + 0.1*x21*x52 + 0.04*x21*x53 - 
    0.12*x21*x54 + 0.12*x21*x55 + 0.02*x21*x56 - 0.22*x21*x57 + 0.1*x21*x58 - 
    0.18*x21*x59 - 0.08*x21*x60 + 0.22*x21*x61 + 0.2*x22^2 - 0.12*x22*x23 - 0.1
    *x22*x24 + 0.08*x22*x26 - 0.18*x22*x27 + 0.04*x22*x28 + 0.16*x22*x29 - 0.08
    *x22*x30 + 0.06*x22*x31 + 0.14*x22*x32 + 0.14*x22*x33 + 0.12*x22*x34 - 0.04
    *x22*x36 - 0.1*x22*x37 + 0.06*x22*x38 + 0.26*x22*x39 + 0.24*x22*x40 + 0.04*
    x22*x41 - 0.04*x22*x42 - 0.12*x22*x43 + 0.02*x22*x44 - 0.04*x22*x45 - 0.04*
    x22*x46 + 0.06*x22*x47 - 0.08*x22*x48 + 0.12*x22*x49 - 0.02*x22*x50 + 0.02*
    x22*x51 - 0.06*x22*x52 - 0.2*x22*x53 - 0.3*x22*x54 - 0.2*x22*x55 + 0.06*x22
    *x57 - 0.1*x22*x58 + 0.02*x22*x59 + 0.06*x22*x61 + 0.3*x23^2 + 0.06*x23*x24
     + 0.16*x23*x25 + 0.04*x23*x26 - 0.08*x23*x27 + 0.32*x23*x28 - 0.18*x23*x29
     - 0.28*x23*x30 + 0.08*x23*x31 - 0.22*x23*x32 + 0.24*x23*x33 + 0.04*x23*x34
     - 0.2*x23*x35 - 0.2*x23*x36 - 0.02*x23*x37 + 0.42*x23*x38 - 0.04*x23*x40
     + 0.06*x23*x41 + 0.04*x23*x42 - 0.02*x23*x43 - 0.08*x23*x44 + 0.14*x23*x45
     + 0.22*x23*x46 + 0.24*x23*x48 + 0.08*x23*x49 + 0.06*x23*x50 - 0.18*x23*x51
     + 0.04*x23*x52 - 0.2*x23*x53 - 0.24*x23*x54 - 0.24*x23*x55 + 0.24*x23*x56
     - 0.26*x23*x57 + 0.04*x23*x58 - 0.06*x23*x59 - 0.1*x23*x60 + 0.1*x23*x61
     + 0.35*x24^2 + 0.1*x24*x25 + 0.08*x24*x26 + 0.1*x24*x27 + 0.08*x24*x28 + 
    0.22*x24*x29 - 0.48*x24*x30 + 0.1*x24*x31 - 0.14*x24*x32 + 0.16*x24*x33 + 
    0.04*x24*x34 - 0.14*x24*x35 + 0.04*x24*x36 - 0.24*x24*x37 - 0.1*x24*x38 - 
    0.04*x24*x39 + 0.26*x24*x40 + 0.4*x24*x41 + 0.08*x24*x42 + 0.24*x24*x43 + 
    0.14*x24*x44 - 0.1*x24*x45 + 0.22*x24*x46 + 0.04*x24*x47 - 0.02*x24*x49 - 
    0.18*x24*x51 - 0.16*x24*x52 + 0.02*x24*x53 + 0.06*x24*x54 - 0.18*x24*x55 - 
    0.18*x24*x56 + 0.02*x24*x57 + 0.02*x24*x58 + 0.2*x24*x59 + 0.16*x24*x60 - 
    0.06*x24*x61 - 0.28*x25^2 - 0.1*x25*x26 - 0.1*x25*x27 + 0.12*x25*x28 + 0.14
    *x25*x29 + 0.02*x25*x30 + 0.24*x25*x31 + 0.04*x25*x32 + 0.24*x25*x33 + 0.02
    *x25*x34 + 0.02*x25*x35 - 0.06*x25*x36 - 0.16*x25*x37 - 0.12*x25*x38 + 0.12
    *x25*x39 + 0.1*x25*x40 - 0.1*x25*x41 + 0.52*x25*x42 - 0.16*x25*x43 + 0.06*
    x25*x44 - 0.12*x25*x45 - 0.02*x25*x46 + 0.22*x25*x48 - 0.12*x25*x49 - 0.04*
    x25*x50 - 0.14*x25*x51 + 0.08*x25*x52 - 0.24*x25*x53 + 0.14*x25*x54 + 0.1*
    x25*x55 - 0.16*x25*x56 - 0.08*x25*x57 + 0.18*x25*x58 + 0.24*x25*x59 - 0.06*
    x25*x60 - 0.16*x25*x61 + 0.02*x26*x26 + 0.16*x26*x27 - 0.04*x26*x28 + 0.04*
    x26*x29 + 0.12*x26*x30 + 0.02*x26*x31 - 0.06*x26*x32 - 0.08*x26*x33 - 0.42*
    x26*x34 + 0.12*x26*x35 + 0.34*x26*x36 + 0.14*x26*x37 - 0.14*x26*x38 + 0.06*
    x26*x39 + 0.02*x26*x40 - 0.06*x26*x41 - 0.24*x26*x42 - 0.06*x26*x44 + 0.1*
    x26*x45 + 0.08*x26*x46 + 0.04*x26*x47 - 0.08*x26*x48 + 0.16*x26*x49 - 0.2*
    x26*x50 - 0.12*x26*x51 + 0.12*x26*x52 - 0.12*x26*x53 - 0.14*x26*x54 - 0.06*
    x26*x55 - 0.12*x26*x56 + 0.04*x26*x57 + 0.06*x26*x58 - 0.08*x26*x60 + 0.18*
    x26*x61 + 0.01*x27*x27 - 0.06*x27*x28 + 0.06*x27*x29 - 0.14*x27*x30 - 0.12*
    x27*x31 - 0.12*x27*x32 - 0.1*x27*x33 + 0.14*x27*x34 + 0.18*x27*x35 - 0.02*
    x27*x36 + 0.22*x27*x37 - 0.04*x27*x38 + 0.36*x27*x40 - 0.18*x27*x41 + 0.32*
    x27*x42 - 0.06*x27*x43 - 0.06*x27*x45 - 0.2*x27*x46 + 0.06*x27*x47 + 0.16*
    x27*x48 - 0.06*x27*x49 - 0.04*x27*x50 - 0.24*x27*x51 - 0.36*x27*x52 + 0.02*
    x27*x53 - 0.08*x27*x54 - 0.14*x27*x55 - 0.16*x27*x56 + 0.24*x27*x57 + 0.12*
    x27*x58 - 0.08*x27*x59 + 0.24*x27*x60 + 0.16*x27*x61 - 0.12*x28^2 + 0.16*
    x28*x29 + 0.02*x28*x30 + 0.02*x28*x31 + 0.14*x28*x32 + 0.06*x28*x33 + 0.1*
    x28*x34 - 0.16*x28*x35 + 0.06*x28*x36 + 0.22*x28*x37 + 0.2*x28*x38 + 0.04*
    x28*x39 - 0.26*x28*x40 - 0.16*x28*x41 + 0.26*x28*x42 - 0.44*x28*x43 + 0.14*
    x28*x44 + 0.04*x28*x45 - 0.1*x28*x46 - 0.24*x28*x47 + 0.04*x28*x48 + 0.14*
    x28*x49 - 0.16*x28*x50 - 0.02*x28*x51 + 0.14*x28*x52 + 0.18*x28*x53 - 0.04*
    x28*x54 - 0.3*x28*x55 + 0.06*x28*x56 + 0.14*x28*x57 - 0.26*x28*x58 + 0.1*
    x28*x59 + 0.2*x28*x60 - 0.02*x28*x61 + 0.13*x29^2 - 0.14*x29*x30 + 0.06*x29
    *x31 - 0.08*x29*x32 - 0.06*x29*x33 - 0.48*x29*x35 + 0.28*x29*x36 + 0.08*x29
    *x37 - 0.08*x29*x38 + 0.2*x29*x39 - 0.16*x29*x40 - 0.26*x29*x41 - 0.24*x29*
    x42 - 0.02*x29*x43 + 0.04*x29*x44 - 0.18*x29*x46 + 0.14*x29*x47 + 0.32*x29*
    x48 - 0.08*x29*x49 + 0.02*x29*x50 + 0.06*x29*x52 + 0.02*x29*x53 - 0.16*x29*
    x54 + 0.04*x29*x55 + 0.08*x29*x56 - 0.36*x29*x57 + 0.1*x29*x58 + 0.14*x29*
    x59 - 0.02*x29*x60 - 0.12*x29*x61 + 0.21*x30^2 + 0.02*x30*x31 - 0.14*x30*
    x32 + 0.22*x30*x33 + 0.34*x30*x34 - 0.2*x30*x35 - 0.32*x30*x36 - 0.14*x30*
    x37 - 0.18*x30*x38 - 0.02*x30*x39 - 0.14*x30*x40 + 0.2*x30*x41 - 0.12*x30*
    x42 - 0.02*x30*x44 + 0.34*x30*x45 - 0.14*x30*x46 - 0.08*x30*x47 + 0.1*x30*
    x48 - 0.22*x30*x50 + 0.28*x30*x51 + 0.04*x30*x52 - 0.24*x30*x53 + 0.26*x30*
    x54 - 0.12*x30*x55 + 0.1*x30*x56 + 0.06*x30*x57 + 0.18*x30*x58 + 0.08*x30*
    x59 + 0.18*x30*x60 - 0.02*x30*x61 - 0.1*x31^2 - 0.12*x31*x32 - 0.06*x31*x33
     - 0.44*x31*x34 + 0.1*x31*x35 - 0.04*x31*x36 - 0.2*x31*x37 - 0.14*x31*x38
     + 0.5*x31*x39 - 0.38*x31*x40 + 0.36*x31*x42 - 0.3*x31*x43 + 0.12*x31*x44
     + 0.04*x31*x45 - 0.22*x31*x46 - 0.08*x31*x47 - 0.14*x31*x48 + 0.06*x31*x49
     + 0.08*x31*x50 + 0.18*x31*x51 - 0.18*x31*x52 + 0.04*x31*x53 + 0.18*x31*x54
     - 0.22*x31*x55 - 0.12*x31*x56 - 0.1*x31*x57 + 0.26*x31*x58 - 0.18*x31*x59
     - 0.06*x31*x60 - 0.05*x32^2 - 0.16*x32*x33 - 0.04*x32*x35 + 0.1*x32*x36 + 
    0.02*x32*x37 + 0.12*x32*x38 + 0.04*x32*x39 + 0.1*x32*x40 - 0.22*x32*x42 - 
    0.08*x32*x43 - 0.02*x32*x44 - 0.06*x32*x45 + 0.08*x32*x46 - 0.06*x32*x47 - 
    0.12*x32*x48 + 0.04*x32*x49 + 0.16*x32*x50 + 0.08*x32*x51 + 0.2*x32*x52 - 
    0.24*x32*x54 + 0.28*x32*x56 + 0.18*x32*x57 + 0.16*x32*x58 - 0.08*x32*x59 - 
    0.06*x32*x60 - 0.18*x32*x61 + 0.1*x33^2 - 0.18*x33*x34 - 0.04*x33*x35 - 
    0.02*x33*x36 + 0.1*x33*x38 - 0.42*x33*x39 + 0.02*x33*x40 - 0.32*x33*x41 + 
    0.02*x33*x42 + 0.3*x33*x43 - 0.28*x33*x44 - 0.24*x33*x45 + 0.02*x33*x46 + 
    0.34*x33*x47 - 0.24*x33*x48 + 0.14*x33*x49 + 0.02*x33*x50 + 0.14*x33*x51 + 
    0.18*x33*x52 - 0.18*x33*x53 + 0.04*x33*x54 - 0.04*x33*x55 - 0.14*x33*x56 - 
    0.16*x33*x57 - 0.18*x33*x58 + 0.42*x33*x59 + 0.22*x33*x60 - 0.24*x33*x61 + 
    0.14*x34^2 + 0.14*x34*x35 + 0.16*x34*x36 + 0.32*x34*x37 + 0.06*x34*x38 - 
    0.14*x34*x39 + 0.02*x34*x41 - 0.04*x34*x42 - 0.22*x34*x43 - 0.08*x34*x44 - 
    0.14*x34*x45 + 0.18*x34*x46 + 0.36*x34*x47 + 0.1*x34*x48 - 0.3*x34*x49 - 
    0.2*x34*x50 - 0.28*x34*x51 + 0.06*x34*x52 - 0.1*x34*x53 + 0.1*x34*x54 - 
    0.22*x34*x55 + 0.18*x34*x56 - 0.02*x34*x58 - 0.1*x34*x59 + 0.24*x34*x61 + 
    0.03*x35^2 + 0.08*x35*x36 - 0.06*x35*x37 + 0.1*x35*x39 - 0.04*x35*x40 - 
    0.04*x35*x41 + 0.12*x35*x42 + 0.2*x35*x43 - 0.16*x35*x44 - 0.08*x35*x45 + 
    0.28*x35*x46 + 0.14*x35*x47 - 0.24*x35*x48 - 0.18*x35*x49 - 0.08*x35*x51 + 
    0.06*x35*x52 - 0.26*x35*x53 + 0.08*x35*x54 + 0.36*x35*x55 - 0.14*x35*x56 - 
    0.28*x35*x57 - 0.34*x35*x58 + 0.12*x35*x59 + 0.12*x35*x60 - 0.02*x35*x61 + 
    0.11*x36^2 - 0.14*x36*x37 + 0.06*x36*x38 - 0.02*x36*x39 - 0.06*x36*x40 - 
    0.36*x36*x41 - 0.28*x36*x42 + 0.12*x36*x43 + 0.12*x36*x44 + 0.2*x36*x45 - 
    0.58*x36*x46 + 0.04*x36*x47 + 0.2*x36*x48 + 0.22*x36*x49 + 0.02*x36*x50 - 
    0.22*x36*x51 - 0.1*x36*x52 + 0.08*x36*x53 + 0.26*x36*x54 - 0.1*x36*x55 + 
    0.1*x36*x56 - 0.2*x36*x57 - 0.1*x36*x58 + 0.18*x36*x59 - 0.2*x36*x60 - 0.06
    *x36*x61 - 0.1*x37^2 - 0.1*x37*x38 - 0.4*x37*x39 - 0.18*x37*x40 + 0.18*x37*
    x42 - 0.12*x37*x43 - 0.08*x37*x44 - 0.06*x37*x45 - 0.02*x37*x46 - 0.16*x37*
    x47 + 0.24*x37*x48 - 0.14*x37*x49 - 0.02*x37*x50 - 0.02*x37*x51 + 0.06*x37*
    x53 - 0.18*x37*x54 - 0.24*x37*x55 - 0.2*x37*x56 + 0.16*x37*x57 - 0.08*x37*
    x58 - 0.14*x37*x59 - 0.06*x37*x60 + 0.42*x37*x61 + 0.05*x38^2 - 0.08*x38*
    x39 - 0.02*x38*x40 + 0.06*x38*x42 - 0.26*x38*x43 + 0.02*x38*x44 + 0.1*x38*
    x45 - 0.24*x38*x46 - 0.22*x38*x47 - 0.16*x38*x48 - 0.08*x38*x49 + 0.08*x38*
    x50 + 0.32*x38*x51 - 0.14*x38*x52 - 0.22*x38*x53 - 0.12*x38*x54 + 0.16*x38*
    x55 - 0.16*x38*x56 - 0.04*x38*x57 + 0.02*x38*x58 + 0.06*x38*x59 + 0.02*x38*
    x60 + 0.02*x38*x61 - 0.14*x39^2 - 0.16*x39*x40 + 0.18*x39*x41 + 0.4*x39*x42
     - 0.06*x39*x43 + 0.02*x39*x45 - 0.06*x39*x46 + 0.3*x39*x47 + 0.18*x39*x48
     - 0.04*x39*x49 - 0.06*x39*x50 - 0.28*x39*x51 - 0.1*x39*x52 - 0.22*x39*x53
     + 0.22*x39*x55 - 0.08*x39*x56 + 0.02*x39*x57 + 0.2*x39*x58 - 0.28*x39*x59
     - 0.1*x39*x60 + 0.06*x40^2 - 0.3*x40*x41 - 0.1*x40*x42 + 0.16*x40*x43 + 
    0.1*x40*x44 + 0.04*x40*x45 + 0.24*x40*x46 + 0.04*x40*x47 + 0.06*x40*x48 - 
    0.02*x40*x50 + 0.22*x40*x51 - 0.12*x40*x53 + 0.08*x40*x54 - 0.18*x40*x55 + 
    0.38*x40*x57 + 0.2*x40*x58 + 0.08*x40*x59 + 0.04*x40*x60 - 0.02*x40*x61 - 
    0.04*x41^2 - 0.06*x41*x42 + 0.08*x41*x43 - 0.12*x41*x44 - 0.12*x41*x45 + 
    0.26*x41*x46 - 0.2*x41*x47 + 0.12*x41*x48 + 0.1*x41*x49 - 0.16*x41*x50 + 
    0.08*x41*x51 + 0.24*x41*x52 + 0.18*x41*x53 + 0.02*x41*x54 + 0.06*x41*x55 + 
    0.3*x41*x56 + 0.12*x41*x57 - 0.18*x41*x58 - 0.1*x41*x59 + 0.16*x41*x60 + 
    0.16*x41*x61 - 0.08*x42^2 - 0.22*x42*x43 + 0.22*x42*x44 + 0.12*x42*x45 - 
    0.04*x42*x46 - 0.12*x42*x47 - 0.1*x42*x48 - 0.04*x42*x49 - 0.1*x42*x50 + 
    0.02*x42*x51 - 0.12*x42*x53 + 0.14*x42*x54 + 0.24*x42*x55 - 0.14*x42*x56 + 
    0.12*x42*x57 - 0.06*x42*x58 - 0.28*x42*x59 + 0.14*x42*x60 - 0.08*x42*x61 + 
    0.01*x43^2 - 0.1*x43*x44 - 0.02*x43*x45 - 0.12*x43*x46 + 0.08*x43*x47 + 
    0.12*x43*x48 + 0.04*x43*x49 - 0.04*x43*x50 + 0.16*x43*x51 + 0.08*x43*x52 - 
    0.04*x43*x54 - 0.06*x43*x55 + 0.06*x43*x56 + 0.24*x43*x57 + 0.1*x43*x58 + 
    0.06*x43*x59 - 0.32*x43*x60 + 0.2*x43*x61 - 0.04*x44^2 + 0.2*x44*x45 + 0.08
    *x44*x46 - 0.1*x44*x47 - 0.1*x44*x48 - 0.12*x44*x49 - 0.06*x44*x50 - 0.08*
    x44*x51 - 0.16*x44*x52 + 0.3*x44*x53 + 0.06*x44*x54 - 0.04*x44*x55 + 0.06*
    x44*x56 + 0.02*x44*x57 + 0.04*x44*x58 + 0.02*x44*x59 - 0.04*x44*x60 - 0.04*
    x44*x61 - 0.28*x45^2 + 0.08*x45*x46 - 0.14*x45*x47 - 0.06*x45*x48 - 0.12*
    x45*x50 + 0.04*x45*x51 - 0.06*x45*x52 - 0.08*x45*x53 - 0.02*x45*x54 - 0.18*
    x45*x55 - 0.02*x45*x56 - 0.02*x45*x57 + 0.22*x45*x58 - 0.06*x45*x59 + 0.02*
    x45*x60 - 0.02*x45*x61 + 0.04*x46*x46 + 0.28*x46*x47 - 0.1*x46*x48 + 0.1*
    x46*x49 - 0.26*x46*x50 + 0.06*x46*x51 - 0.04*x46*x52 + 0.28*x46*x53 + 0.06*
    x46*x55 - 0.1*x46*x56 - 0.22*x46*x57 - 0.02*x46*x59 - 0.16*x46*x60 + 0.02*
    x46*x61 - 0.14*x47^2 - 0.04*x47*x48 - 0.04*x47*x49 + 0.06*x47*x50 - 0.1*x47
    *x51 + 0.1*x47*x52 + 0.06*x47*x53 + 0.02*x47*x54 + 0.08*x47*x55 + 0.1*x47*
    x56 - 0.24*x47*x57 - 0.2*x47*x58 - 0.32*x47*x59 - 0.42*x47*x60 + 0.06*x47*
    x61 - 0.14*x48*x49 - 0.48*x48*x50 + 0.08*x48*x51 + 0.1*x48*x52 + 0.04*x48*
    x53 - 0.18*x48*x54 + 0.18*x48*x55 - 0.14*x48*x56 - 0.1*x48*x58 + 0.04*x48*
    x59 + 0.18*x48*x60 - 0.08*x48*x61 + 0.11*x49^2 + 0.32*x49*x50 - 0.08*x49*
    x51 - 0.16*x49*x53 - 0.02*x49*x54 + 0.18*x49*x55 - 0.04*x49*x57 - 0.08*x49*
    x58 + 0.1*x49*x59 + 0.5*x49*x60 + 0.16*x49*x61 - 0.08*x50^2 + 0.12*x50*x51
     - 0.14*x50*x52 + 0.04*x50*x53 + 0.16*x50*x54 - 0.14*x50*x55 + 0.08*x50*x56
     + 0.16*x50*x57 + 0.12*x50*x58 - 0.38*x50*x59 - 0.12*x50*x60 + 0.12*x50*x61
     + 0.15*x51^2 - 0.2*x51*x52 + 0.18*x51*x53 - 0.04*x51*x54 + 0.02*x51*x55 - 
    0.38*x51*x56 - 0.24*x51*x57 + 0.24*x51*x58 - 0.04*x51*x59 + 0.02*x51*x60 + 
    0.16*x51*x61 + 0.17*x52^2 + 0.06*x52*x53 - 0.12*x52*x54 + 0.1*x52*x55 + 
    0.02*x52*x56 - 0.02*x52*x57 + 0.2*x52*x58 - 0.18*x52*x59 - 0.06*x52*x60 - 
    0.22*x52*x61 + 0.26*x53^2 + 0.08*x53*x54 + 0.34*x53*x56 - 0.28*x53*x57 + 
    0.3*x53*x58 + 0.24*x53*x59 + 0.08*x53*x60 - 0.18*x53*x61 + 0.1*x54^2 + 0.16
    *x54*x55 + 0.26*x54*x56 - 0.04*x54*x58 - 0.1*x54*x59 + 0.18*x54*x60 + 0.02*
    x54*x61 + 0.08*x55^2 - 0.2*x55*x56 + 0.1*x55*x57 - 0.22*x55*x58 - 0.08*x55*
    x59 + 0.4*x55*x60 - 0.14*x55*x61 + 0.06*x56^2 - 0.1*x56*x57 - 0.34*x56*x58
     + 0.04*x56*x59 + 0.02*x56*x60 - 0.08*x56*x61 + 0.18*x57^2 + 0.06*x57*x58
     + 0.12*x57*x59 - 0.06*x57*x60 + 0.08*x57*x61 + 0.07*x58^2 - 0.24*x58*x59
     - 0.2*x58*x60 + 0.02*x58*x61 + 0.09*x59^2 + 0.14*x59*x60 - 0.1*x59*x61 + 
    0.07*x60^2 - 0.2*x60*x61 + 0.05*x61^2;

subject to

e2:    0.29*x2 + 0.43*x3 - 0.66*x4 - 0.98*x5 - 0.99*x6 - 0.01*x7 + 0.82*x8
     + 0.33*x9 + 0.45*x10 - 0.48*x11 + 0.15*x12 - 0.58*x13 - 0.25*x14 - 0.4*x15
     + 0.65*x16 + 0.85*x17 + 0.22*x18 + 0.98*x19 - 0.02*x20 - 0.55*x21
     - 0.93*x22 + 0.94*x23 + 0.42*x24 + 0.63*x25 + 0.31*x26 - 0.74*x27
     - 0.73*x28 + 0.51*x29 + 0.84*x30 + 0.66*x31 - 0.07*x32 - 0.68*x33
     + 0.61*x34 - 0.6*x35 - 0.84*x36 + 0.33*x37 + 0.93*x38 - 0.01*x39
     + 0.52*x40 - 0.26*x41 + 0.45*x42 + 0.85*x43 + 0.07*x44 + 0.37*x45
     - 0.93*x46 + 0.92*x47 + 0.09*x48 + 0.27*x49 + 0.7*x50 + 0.97*x51
     - 0.09*x52 - 0.16*x53 - 0.29*x54 + 0.45*x55 - 0.67*x56 + 0.95*x57
     - 0.09*x58 - 0.09*x59 + 0.3*x60 + 0.79*x61 = -0.5;

e3:  - 0.07*x2 + 0.85*x3 + 0.34*x4 + 0.64*x5 - 0.94*x6 + 0.45*x7 + 0.6*x8
     - 0.52*x9 + 0.87*x10 + 0.55*x11 - 0.61*x12 + 0.43*x13 + 0.8*x14 + 0.19*x15
     + 0.97*x16 - 0.6*x17 - 0.48*x18 - 0.45*x19 + 0.71*x20 + 0.59*x21 + x22
     - 0.09*x23 - 0.27*x24 - 0.31*x25 - 0.74*x26 + 0.17*x27 + 0.46*x28
     + 0.57*x29 + 0.09*x30 + 0.89*x31 + 0.56*x32 + 0.27*x33 - 0.78*x34
     - 0.17*x35 - 0.52*x36 + 0.7*x37 + 0.6*x38 + 0.2*x39 + 0.58*x40 - 0.25*x41
     - 0.99*x42 - 0.76*x43 - 0.18*x44 - 0.23*x45 + 0.01*x46 + 0.31*x47
     - 0.44*x48 - 0.85*x49 - 0.2*x50 - 0.12*x51 - 0.26*x52 - 0.93*x53
     - 0.87*x54 - 0.36*x55 + 0.16*x56 + 0.45*x57 + 0.87*x58 - 0.66*x59
     + 0.47*x60 + 0.5*x61 = -0.28;

e4:    0.15*x2 - 0.85*x3 - 0.27*x4 - 0.4*x5 - 0.42*x6 + 0.94*x7 - 0.18*x8
     + 0.91*x9 + 0.06*x10 + 0.21*x11 - 0.92*x12 - 0.17*x13 - 0.84*x14
     + 0.11*x15 - 0.35*x16 - 0.98*x17 - 0.87*x18 - 0.73*x19 - 0.41*x20
     + 0.35*x21 - 0.48*x22 - 0.94*x23 - 0.1*x24 - 0.12*x25 + 0.48*x26
     - 0.69*x27 - 0.05*x28 - 0.76*x29 - 0.97*x30 + 0.11*x31 + 0.3*x32 - 0.1*x33
     + 0.22*x34 + 0.33*x35 + 0.6*x36 + 0.39*x37 - 0.53*x38 - 0.65*x39
     - 0.86*x40 + 0.92*x41 - 0.35*x42 - 0.32*x43 + 0.68*x44 - 0.6*x45
     + 0.67*x46 - 0.34*x47 + 0.42*x48 - 0.49*x49 - 0.62*x50 + 0.17*x51
     + 0.81*x52 - 0.76*x53 - 0.89*x54 - 0.78*x55 + 0.49*x56 - 0.51*x57
     + 0.53*x58 - 0.15*x59 + 0.52*x60 + 0.55*x61 = 0.48;

e5:    0.11*x2 - 0.44*x3 + 0.61*x4 + 0.03*x5 + 0.85*x6 - 0.96*x7 + 0.41*x8
     + 0.93*x9 - 0.5*x10 - 0.07*x11 - 0.02*x12 - 0.51*x13 - 0.13*x14 - 0.3*x15
     - 0.03*x16 + 0.08*x17 + 0.23*x18 - 0.42*x19 + 0.83*x20 + 0.47*x21
     - 0.81*x22 - 0.23*x23 - 0.68*x24 - 0.11*x25 - 0.98*x26 + 0.34*x27
     + 0.8*x28 - 0.96*x29 + 0.34*x30 + 0.19*x31 + 0.94*x32 + 0.09*x33
     - 0.85*x34 + 0.06*x35 - 0.49*x36 - 0.28*x37 + 0.21*x38 + 0.56*x39
     - 0.49*x40 + 0.64*x41 - 0.54*x42 - 0.55*x43 - 0.35*x44 + 0.97*x45
     + 0.99*x46 + 0.8*x47 - 0.41*x48 - 0.7*x49 - 0.55*x50 - 0.16*x51 + 0.16*x52
     + 0.4*x53 - 0.29*x54 + 0.68*x55 - 0.15*x56 - 0.26*x57 - 0.82*x58 + 0.7*x59
     + 0.35*x60 - 0.84*x61 = -0.34;

e6:    0.23*x2 - 0.98*x3 + x4 - 0.88*x5 + 0.04*x6 - 0.85*x7 + 0.63*x8 - 0.64*x9
     + 0.84*x10 - 0.17*x11 + 0.64*x12 - 0.09*x13 + 0.37*x14 + 0.03*x15
     + 0.94*x16 + 0.76*x17 - 0.11*x18 - 0.87*x19 + 0.33*x20 + 0.94*x21
     - 0.31*x22 - 0.78*x23 - 0.59*x24 - 0.45*x25 - 0.99*x26 - 0.93*x27
     - 0.2*x28 - 0.37*x29 - 0.17*x30 - 0.07*x31 + 0.61*x32 - 0.82*x33 - 0.7*x34
     - 0.44*x35 - 0.75*x36 + 0.63*x38 - 0.48*x39 + 0.79*x40 + 0.06*x41
     + 0.79*x42 + 0.54*x43 - 0.91*x44 + 0.54*x45 - 0.69*x46 - 0.14*x47
     - 0.72*x48 - 0.82*x49 + 0.9*x50 - 0.56*x51 + 0.05*x52 + 0.28*x53
     + 0.77*x54 - 0.34*x55 + 0.92*x56 - 0.6*x57 + 0.17*x58 - 0.28*x59
     - 0.86*x60 + 0.1*x61 = -0.48;

e7:  - 0.78*x2 - 0.55*x3 - 0.56*x4 + 0.68*x5 - 0.39*x6 - 0.32*x7 - 0.7*x8
     - 0.45*x9 + 0.21*x10 - 0.03*x11 - 0.03*x12 + 0.46*x13 + 0.32*x14
     + 0.11*x15 - 0.52*x16 - 0.26*x17 - 0.63*x18 + 0.14*x19 + 0.53*x20
     - 0.11*x21 - 0.22*x22 + 0.13*x23 - 0.28*x24 + 0.59*x25 - 0.54*x26
     + 0.02*x27 - 0.24*x28 - 0.02*x29 + 0.25*x30 + 0.23*x31 + 0.82*x32
     - 0.76*x33 + 0.1*x34 - 0.37*x35 + 0.65*x36 - 0.78*x37 + 0.56*x38
     - 0.28*x39 + 0.83*x40 + 0.6*x41 - 0.76*x42 - 0.26*x43 - 0.37*x44
     + 0.56*x45 - 0.81*x46 + 0.58*x47 - 0.35*x48 + 0.75*x49 - 0.78*x50
     - 0.86*x51 + 0.16*x52 - 0.39*x53 - 0.04*x54 - 0.78*x55 - 0.79*x56
     + 0.9*x57 - 0.13*x58 - 0.91*x59 - 0.21*x60 + 0.72*x61 = 0.92;

e8:    0.73*x2 - 0.58*x3 + 0.43*x4 + 0.26*x5 + 0.97*x6 - 0.33*x7 - 0.2*x8
     + 0.01*x9 - 0.94*x10 + 0.08*x11 + 0.88*x12 + 0.44*x13 + 0.35*x14
     + 0.44*x15 + 0.94*x16 - 0.29*x17 + 0.4*x18 + 0.21*x19 - 0.76*x20
     + 0.48*x21 + 0.58*x22 + 0.31*x23 + 0.02*x24 - 0.53*x25 + 0.93*x26
     - 0.74*x27 - 0.8*x28 + 0.01*x29 + 0.98*x30 - 0.61*x31 + 0.83*x32
     + 0.07*x33 + 0.68*x34 - 0.5*x35 + 0.82*x36 - 0.55*x37 - 0.89*x38
     + 0.43*x39 - 0.37*x40 - 0.86*x41 + 0.31*x42 - 0.07*x43 - 0.89*x44
     + 0.39*x45 + 0.45*x46 - 0.94*x47 - 0.8*x48 - 0.73*x49 - 0.42*x50 - 0.7*x51
     - 0.53*x52 - 0.03*x53 + 0.86*x54 - 0.72*x55 - 0.72*x56 - 0.34*x57
     + 0.91*x58 - 0.03*x59 - 0.14*x60 + 0.79*x61 = -0.16;

e9:  - 0.19*x2 - 0.33*x3 + 0.84*x4 - 0.05*x5 + 0.01*x6 + 0.76*x7 - 0.76*x8
     - 0.24*x9 - 0.18*x10 - 0.08*x11 - 0.25*x12 + 0.74*x13 - 0.6*x14 - 0.04*x15
     + 0.71*x16 + 0.89*x17 + 0.15*x18 + 0.1*x19 + 0.66*x20 + 0.48*x21
     - 0.78*x22 - 0.04*x23 - 0.68*x24 - 0.28*x25 + 0.19*x26 + 0.73*x27
     - 0.88*x28 + 0.84*x29 - 0.36*x30 + 0.17*x31 - 0.48*x32 + 0.67*x33
     - 0.56*x34 - 0.62*x35 + 0.97*x36 - 0.93*x37 - 0.12*x38 + 0.31*x39
     - 0.79*x40 - 0.45*x41 - 0.98*x42 - 0.95*x43 - 0.23*x44 + 0.26*x45
     + 0.74*x46 - 0.02*x47 - 0.69*x48 + 0.84*x49 - 0.93*x50 - 0.31*x51
     + 0.63*x52 + 0.98*x53 - 0.91*x54 + 0.08*x55 + 0.19*x56 - 0.16*x57
     + 0.31*x58 - 0.75*x59 + 0.41*x60 + 0.84*x61 = -0.3;

e10:    0.17*x2 - 0.15*x3 + 0.14*x4 - 0.04*x5 + 0.63*x6 + 0.41*x7 - 0.03*x8
      - 0.42*x9 + 0.76*x10 + 0.96*x11 + 0.56*x12 - 0.65*x13 - 0.25*x14
      - 0.63*x15 + 0.36*x16 - 0.35*x17 - 0.74*x18 - 0.6*x19 + 0.27*x20
      - 0.41*x21 + 0.84*x22 + 0.36*x23 - 0.02*x24 - 0.46*x25 - 0.21*x26
      + 0.86*x27 + 0.85*x28 - 0.23*x29 + 0.98*x30 - 0.08*x31 - 0.01*x32
      + 0.53*x33 + 0.07*x34 - 0.34*x35 - 0.98*x36 + 0.33*x37 + 0.27*x38
      + 0.62*x39 + 0.54*x40 - 0.87*x41 - 0.35*x42 + 0.6*x43 - 0.9*x44
      + 0.91*x45 + 0.64*x46 + 0.9*x47 + 0.97*x48 + 0.26*x49 + 0.01*x50
      - 0.01*x52 + 0.92*x53 + 0.17*x54 + 0.07*x55 + 0.48*x56 + 0.83*x57
      - 0.17*x58 - 0.24*x59 + 0.51*x60 - 0.51*x61 = -0.1;

e11:  - 0.04*x2 - 0.21*x3 + 0.55*x4 - 0.73*x5 - 0.88*x6 + 0.43*x7 + 0.86*x8
      + 0.38*x9 + 0.83*x10 - 0.33*x11 - 0.51*x12 - 0.29*x13 + 0.36*x14
      + 0.45*x15 + 0.98*x16 - 0.01*x17 + 0.11*x18 + 0.22*x19 + 0.11*x20
      + 0.05*x21 + 0.88*x22 + 0.29*x23 - 0.73*x24 - 0.77*x25 - 0.71*x26
      + 0.81*x27 - 0.43*x28 - 0.9*x29 - 0.46*x30 - 0.91*x31 + 0.75*x32
      + 0.45*x33 - x34 - 0.56*x35 + 0.62*x36 + 0.11*x37 + 0.32*x38 + 0.27*x39
      - 0.97*x40 - 0.2*x41 + 0.65*x42 - 0.28*x43 - 0.53*x44 + 0.97*x45
      - 0.3*x46 - 0.31*x47 + 0.09*x48 + 0.88*x49 - 0.8*x50 + 0.36*x51
      + 0.05*x52 - 0.12*x53 + 0.3*x54 - 0.95*x55 - 0.76*x56 + 0.77*x57
      - 0.23*x58 + 0.82*x59 - 0.5*x60 + 0.71*x61 = -0.05;

e12:    0.72*x2 - 0.9*x3 - 0.4*x4 - 0.2*x5 + 0.11*x6 - 0.98*x7 + 0.95*x8
      - 0.86*x9 + 0.88*x10 + 0.98*x11 - 0.43*x12 - 0.67*x13 - 0.02*x14
      - 0.74*x15 + 0.64*x16 - 0.07*x17 - 0.64*x18 - 0.76*x19 - 0.43*x20
      - 0.32*x21 + 0.73*x22 + 0.25*x23 + 0.6*x24 + 0.27*x25 - 0.12*x26
      + 0.57*x27 - 0.6*x28 - 0.45*x29 - 0.55*x30 + 0.81*x31 + 0.51*x32
      + 0.28*x33 + 0.99*x34 - 0.7*x35 + 0.34*x36 + 0.35*x37 + 0.71*x38
      + 0.06*x39 - 0.91*x40 + 0.49*x41 - 0.96*x42 + 0.39*x43 + 0.56*x44
      - 0.3*x45 + 0.73*x46 + 0.88*x47 - 0.86*x48 - 0.91*x49 + 0.87*x50
      - 0.91*x51 - 0.73*x52 + 0.25*x53 - 0.67*x54 + 0.84*x55 - 0.64*x56
      - 0.74*x57 - 0.99*x58 + 0.61*x59 + 0.54*x60 - 0.52*x61 = -0.78;

e13:    0.25*x2 + 0.24*x3 - 0.05*x4 + 0.87*x5 + 0.84*x6 + 0.37*x7 - 0.5*x8
      - 0.65*x9 - 0.76*x10 - 0.66*x11 - 0.57*x12 - 0.07*x13 - x14 - 0.04*x15
      - 0.6*x16 - 0.96*x17 - 0.04*x18 - 0.12*x19 + x20 - 0.94*x21 - 0.41*x22
      + 0.43*x23 + 0.07*x24 - 0.01*x25 - 0.72*x26 + 0.23*x27 - 0.92*x28
      - 0.45*x29 + 0.48*x30 - 0.73*x31 + 0.84*x32 + 0.54*x33 + 0.54*x34
      + 0.76*x35 + 0.21*x36 - 0.33*x37 - 0.77*x38 + 0.02*x39 + 0.69*x40
      - 0.09*x41 + 0.27*x42 + 0.39*x43 + 0.22*x44 - 0.97*x45 - 0.17*x46
      + 0.18*x47 + 0.5*x48 + 0.13*x49 - 0.74*x50 + 0.59*x51 - 0.63*x52
      - 0.93*x53 + 0.63*x54 + 0.86*x55 + 0.81*x56 - 0.83*x57 - 0.63*x58
      - 0.78*x59 - 0.2*x60 - 0.61*x61 = 0.44;

e14: 0.74*x2 - 0.17*x2^2 + 0.04*x3*x2 + 0.9*x3 - 0.32*x4*x2 - 0.52*x4 - 0.14*x5
     *x2 - 0.37*x5 + 0.14*x6*x2 - 0.64*x6 + 0.06*x7*x2 - 0.79*x7 + 0.2*x8*x2 - 
     0.91*x8 - 0.24*x9*x2 + 0.19*x9 - 0.06*x10*x2 + 0.66*x10 + 0.08*x11*x2 + 
     0.59*x11 - 0.2*x12*x2 - 0.78*x12 + 0.04*x13*x2 - 0.91*x13 + 0.1*x14*x2 + 
     0.23*x14 - 0.32*x15*x2 - 0.2*x15 - 0.28*x16*x2 + 0.58*x16 - 0.1*x17*x2 - 
     0.41*x17 + 0.12*x18*x2 - 0.8*x18 - 0.18*x19*x2 - 0.61*x19 + 0.26*x20*x2 - 
     0.43*x20 - 0.2*x21*x2 - 0.63*x21 - 0.1*x22*x2 + 0.14*x22 - 0.2*x23*x2 + 
     0.34*x23 - 0.14*x24*x2 + 0.94*x24 + 0.1*x25*x2 - 0.02*x25 - 0.18*x26*x2 - 
     0.04*x26 + 0.06*x27*x2 + 0.12*x27 + 0.22*x28*x2 + 0.57*x28 + 0.08*x29*x2
      + 0.14*x29 - 0.12*x30*x2 - 0.28*x30 + 0.3*x31*x2 + 0.79*x31 - 0.08*x32*x2
      - 0.99*x32 + 0.04*x33*x2 + 0.47*x33 + 0.04*x34*x2 + 0.22*x34 + 0.04*x35*
     x2 + 0.83*x35 + 0.06*x36*x2 + 0.69*x36 + 0.06*x37*x2 + 0.11*x37 + 0.14*x38
     *x2 - 0.13*x38 - 0.1*x39*x2 - 0.42*x39 - 0.16*x41*x2 - 0.53*x41 - 0.02*x42
     *x2 + 0.83*x42 - 0.14*x43*x2 - 0.77*x43 + 0.34*x44*x2 + 0.24*x44 - 0.26*
     x45*x2 + 0.31*x45 - 0.16*x46*x2 - 0.14*x46 + 0.3*x47*x2 - 0.13*x47 - 0.14*
     x48*x2 + 0.21*x48 + 0.18*x49*x2 - 0.6*x49 - 0.04*x50*x2 + 0.31*x50 - 0.22*
     x51*x2 + 0.94*x51 + 0.14*x52*x2 - 0.1*x52 + 0.22*x53*x2 + 0.86*x53 + 0.06*
     x54*x2 - 0.49*x54 + 0.06*x56*x2 + 0.07*x56 + 0.14*x57*x2 - 0.07*x57 + 0.16
     *x58*x2 - 0.32*x58 - 0.02*x59*x2 - 0.31*x59 - 0.26*x60*x2 + 0.86*x60 - 0.2
     *x61*x2 + 0.38*x61 - 0.03*x3^2 - 0.26*x4*x3 + 0.4*x5*x3 - 0.02*x6*x3 - 
     0.12*x7*x3 + 0.04*x8*x3 + 0.06*x9*x3 + 0.14*x10*x3 + 0.04*x11*x3 + 0.24*
     x12*x3 - 0.02*x13*x3 - 0.36*x14*x3 + 0.18*x15*x3 - 0.3*x16*x3 - 0.04*x17*
     x3 - 0.18*x18*x3 - 0.12*x19*x3 + 0.28*x20*x3 - 0.14*x21*x3 + 0.32*x22*x3
      - 0.14*x23*x3 - 0.22*x24*x3 - 0.06*x25*x3 - 0.14*x26*x3 + 0.08*x27*x3 + 
     0.18*x28*x3 - 0.18*x29*x3 + 0.02*x30*x3 + 0.02*x31*x3 + 0.16*x32*x3 - 0.04
     *x33*x3 - 0.1*x34*x3 - 0.34*x35*x3 - 0.06*x36*x3 + 0.06*x37*x3 + 0.24*x38*
     x3 - 0.2*x39*x3 - 0.22*x41*x3 + 0.06*x42*x3 - 0.18*x43*x3 + 0.06*x44*x3 - 
     0.06*x45*x3 - 0.14*x46*x3 - 0.16*x47*x3 + 0.02*x48*x3 - 0.08*x49*x3 - 0.08
     *x50*x3 - 0.02*x51*x3 - 0.24*x52*x3 + 0.18*x53*x3 - 0.24*x54*x3 - 0.16*x55
     *x3 - 0.39*x55 - 0.14*x56*x3 - 0.1*x57*x3 - 0.12*x58*x3 + 0.18*x59*x3 + 
     0.24*x60*x3 - 0.02*x61*x3 - 0.11*x4*x4 - 0.04*x5*x4 - 0.04*x6*x4 + 0.04*x7
     *x4 - 0.08*x8*x4 + 0.26*x9*x4 + 0.02*x10*x4 - 0.02*x11*x4 + 0.1*x12*x4 - 
     0.16*x13*x4 - 0.28*x14*x4 - 0.26*x15*x4 + 0.02*x16*x4 - 0.12*x17*x4 - 0.04
     *x18*x4 + 0.06*x19*x4 - 0.14*x20*x4 - 0.22*x21*x4 + 0.12*x22*x4 + 0.24*x23
     *x4 + 0.14*x24*x4 + 0.04*x25*x4 + 0.12*x26*x4 - 0.18*x27*x4 - 0.16*x28*x4
      + 0.28*x29*x4 + 0.18*x30*x4 + 0.18*x32*x4 + 0.3*x33*x4 + 0.12*x34*x4 - 
     0.04*x35*x4 - 0.22*x36*x4 - 0.08*x37*x4 + 0.08*x38*x4 + 0.06*x39*x4 + 0.08
     *x40*x4 + 0.37*x40 - 0.12*x41*x4 - 0.04*x42*x4 - 0.1*x43*x4 - 0.16*x44*x4
      + 0.08*x45*x4 - 0.02*x46*x4 + 0.1*x47*x4 - 0.3*x49*x4 + 0.24*x50*x4 + 
     0.12*x51*x4 + 0.18*x52*x4 + 0.04*x53*x4 + 0.14*x54*x4 - 0.24*x55*x4 + 0.24
     *x56*x4 - 0.08*x57*x4 - 0.2*x58*x4 - 0.14*x59*x4 - 0.22*x61*x4 + 0.02*x5^2
      - 0.12*x6*x5 - 0.24*x7*x5 - 0.04*x8*x5 - 0.02*x9*x5 - 0.12*x10*x5 + 0.06*
     x11*x5 - 0.04*x12*x5 + 0.04*x13*x5 + 0.2*x14*x5 + 0.04*x15*x5 + 0.06*x16*
     x5 - 0.08*x17*x5 - 0.22*x18*x5 + 0.02*x19*x5 - 0.1*x20*x5 + 0.06*x21*x5 - 
     0.14*x22*x5 - 0.08*x23*x5 + 0.22*x25*x5 + 0.16*x26*x5 + 0.06*x27*x5 - 0.24
     *x28*x5 - 0.04*x29*x5 - 0.16*x30*x5 - 0.02*x31*x5 + 0.1*x32*x5 + 0.18*x33*
     x5 + 0.1*x34*x5 - 0.02*x35*x5 - 0.3*x36*x5 - 0.02*x37*x5 + 0.04*x38*x5 + 
     0.32*x39*x5 - 0.04*x40*x5 - 0.08*x41*x5 - 0.04*x42*x5 - 0.28*x43*x5 - 0.12
     *x44*x5 - 0.08*x45*x5 - 0.12*x46*x5 - 0.06*x47*x5 + 0.02*x48*x5 - 0.02*x49
     *x5 - 0.28*x50*x5 - 0.34*x51*x5 + 0.1*x52*x5 - 0.02*x53*x5 + 0.04*x54*x5
      + 0.16*x55*x5 - 0.46*x56*x5 + 0.22*x57*x5 - 0.22*x58*x5 - 0.04*x59*x5 - 
     0.08*x60*x5 - 0.06*x61*x5 - 0.03*x6^2 + 0.16*x7*x6 + 0.1*x8*x6 + 0.08*x9*
     x6 + 0.26*x10*x6 - 0.04*x11*x6 - 0.18*x13*x6 - 0.16*x14*x6 + 0.02*x15*x6
      - 0.22*x16*x6 + 0.1*x17*x6 - 0.02*x18*x6 - 0.16*x19*x6 + 0.06*x20*x6 - 
     0.04*x21*x6 - 0.14*x23*x6 + 0.04*x24*x6 - 0.16*x25*x6 - 0.08*x26*x6 - 0.42
     *x27*x6 + 0.08*x28*x6 - 0.06*x29*x6 - 0.06*x30*x6 - 0.08*x31*x6 - 0.06*x32
     *x6 + 0.08*x33*x6 - 0.16*x34*x6 + 0.32*x35*x6 + 0.12*x36*x6 + 0.04*x37*x6
      + 0.04*x38*x6 - 0.12*x39*x6 - 0.02*x41*x6 + 0.06*x42*x6 - 0.16*x43*x6 - 
     0.02*x44*x6 + 0.04*x45*x6 - 0.48*x46*x6 - 0.2*x47*x6 + 0.12*x48*x6 - 0.02*
     x49*x6 - 0.06*x50*x6 - 0.18*x51*x6 + 0.04*x52*x6 + 0.14*x53*x6 + 0.02*x54*
     x6 + 0.08*x55*x6 + 0.02*x56*x6 - 0.04*x57*x6 - 0.1*x58*x6 - 0.12*x59*x6 - 
     0.46*x60*x6 + 0.1*x61*x6 + 0.11*x7^2 - 0.18*x8*x7 - 0.02*x9*x7 - 0.26*x10*
     x7 + 0.04*x11*x7 - 0.1*x12*x7 - 0.1*x13*x7 - 0.12*x15*x7 + 0.02*x16*x7 + 
     0.02*x17*x7 + 0.06*x18*x7 + 0.02*x19*x7 + 0.12*x20*x7 - 0.24*x21*x7 - 0.1*
     x22*x7 + 0.08*x23*x7 - 0.28*x24*x7 + 0.04*x25*x7 + 0.12*x26*x7 + 0.14*x27*
     x7 + 0.06*x28*x7 - 0.02*x29*x7 + 0.08*x30*x7 + 0.2*x31*x7 - 0.3*x32*x7 - 
     0.2*x33*x7 + 0.04*x34*x7 + 0.1*x35*x7 - 0.16*x36*x7 - 0.04*x37*x7 + 0.08*
     x38*x7 + 0.02*x39*x7 - 0.02*x40*x7 - 0.14*x41*x7 - 0.2*x42*x7 - 0.12*x43*
     x7 + 0.02*x45*x7 + 0.22*x46*x7 - 0.36*x47*x7 - 0.04*x48*x7 + 0.24*x50*x7
      + 0.02*x51*x7 + 0.02*x52*x7 - 0.34*x53*x7 - 0.02*x54*x7 + 0.12*x55*x7 - 
     0.24*x56*x7 + 0.3*x57*x7 - 0.2*x58*x7 + 0.04*x59*x7 - 0.06*x60*x7 + 0.1*
     x61*x7 + 0.11*x8^2 + 0.16*x9*x8 - 0.02*x10*x8 - 0.2*x11*x8 - 0.3*x12*x8 + 
     0.08*x13*x8 - 0.22*x14*x8 - 0.08*x15*x8 - 0.06*x16*x8 + 0.28*x17*x8 - 0.2*
     x18*x8 + 0.1*x19*x8 + 0.1*x20*x8 + 0.12*x21*x8 - 0.28*x22*x8 - 0.16*x23*x8
      - 0.06*x24*x8 - 0.24*x25*x8 - 0.16*x26*x8 + 0.2*x27*x8 - 0.18*x29*x8 - 
     0.04*x30*x8 + 0.02*x31*x8 - 0.08*x32*x8 - 0.12*x33*x8 - 0.04*x34*x8 - 0.26
     *x35*x8 + 0.04*x36*x8 - 0.16*x37*x8 - 0.38*x38*x8 - 0.02*x39*x8 - 0.02*x40
     *x8 + 0.04*x41*x8 + 0.12*x42*x8 + 0.14*x43*x8 + 0.14*x44*x8 + 0.26*x45*x8
      + 0.28*x46*x8 - 0.12*x47*x8 + 0.18*x48*x8 + 0.02*x49*x8 + 0.32*x50*x8 + 
     0.16*x51*x8 - 0.24*x52*x8 - 0.2*x53*x8 + 0.14*x54*x8 - 0.04*x56*x8 + 0.1*
     x57*x8 + 0.24*x58*x8 - 0.06*x59*x8 - 0.22*x60*x8 + 0.14*x61*x8 + 0.17*x9^2
      + 0.3*x10*x9 + 0.12*x11*x9 - 0.22*x12*x9 + 0.06*x13*x9 + 0.14*x14*x9 + 
     0.02*x15*x9 - 0.12*x16*x9 - 0.06*x17*x9 - 0.26*x18*x9 - 0.04*x19*x9 + 0.2*
     x20*x9 + 0.06*x21*x9 + 0.1*x22*x9 - 0.04*x23*x9 - 0.02*x24*x9 - 0.08*x25*
     x9 + 0.16*x26*x9 + 0.06*x27*x9 - 0.14*x28*x9 - 0.22*x29*x9 - 0.24*x30*x9
      + 0.02*x31*x9 - 0.06*x32*x9 + 0.1*x33*x9 + 0.02*x34*x9 - 0.22*x35*x9 - 
     0.24*x36*x9 - 0.18*x37*x9 - 0.1*x38*x9 + 0.18*x39*x9 - 0.24*x40*x9 - 0.26*
     x41*x9 - 0.16*x44*x9 - 0.14*x45*x9 - 0.16*x46*x9 - 0.18*x47*x9 + 0.1*x48*
     x9 - 0.08*x49*x9 + 0.06*x50*x9 + 0.12*x51*x9 - 0.28*x52*x9 + 0.04*x53*x9
      - 0.12*x54*x9 - 0.4*x55*x9 + 0.18*x56*x9 + 0.38*x57*x9 - 0.14*x58*x9 + 
     0.16*x59*x9 + 0.24*x60*x9 - 0.08*x61*x9 - 0.23*x10^2 - 0.04*x11*x10 + 0.06
     *x12*x10 + 0.08*x13*x10 - 0.16*x14*x10 - 0.02*x15*x10 + 0.12*x16*x10 - 
     0.18*x17*x10 - 0.02*x18*x10 + 0.3*x19*x10 - 0.1*x20*x10 - 0.16*x21*x10 - 
     0.26*x22*x10 + 0.18*x23*x10 + 0.14*x24*x10 - 0.18*x25*x10 - 0.12*x26*x10
      - 0.12*x27*x10 - 0.24*x28*x10 - 0.04*x29*x10 - 0.08*x30*x10 - 0.18*x31*
     x10 - 0.02*x32*x10 + 0.22*x33*x10 - 0.08*x34*x10 - 0.12*x35*x10 + 0.18*x37
     *x10 - 0.08*x38*x10 + 0.1*x39*x10 - 0.1*x40*x10 + 0.08*x41*x10 - 0.06*x42*
     x10 - 0.1*x43*x10 + 0.1*x44*x10 - 0.08*x45*x10 - 0.08*x46*x10 - 0.2*x47*
     x10 - 0.12*x49*x10 - 0.42*x50*x10 + 0.32*x51*x10 + 0.18*x52*x10 + 0.32*x53
     *x10 + 0.04*x55*x10 - 0.08*x56*x10 - 0.1*x58*x10 - 0.12*x59*x10 + 0.08*x60
     *x10 - 0.12*x61*x10 + 0.1*x11^2 - 0.12*x12*x11 - 0.46*x13*x11 - 0.06*x14*
     x11 + 0.06*x16*x11 - 0.02*x17*x11 + 0.2*x18*x11 - 0.1*x19*x11 - 0.02*x20*
     x11 + 0.06*x21*x11 - 0.04*x22*x11 - 0.3*x23*x11 + 0.1*x24*x11 - 0.22*x25*
     x11 + 0.14*x26*x11 - 0.28*x28*x11 - 0.14*x29*x11 - 0.14*x30*x11 - 0.08*x31
     *x11 + 0.14*x32*x11 + 0.04*x33*x11 + 0.18*x34*x11 - 0.02*x35*x11 + 0.08*
     x36*x11 + 0.5*x37*x11 - 0.18*x38*x11 - 0.08*x39*x11 - 0.02*x40*x11 + 0.3*
     x41*x11 - 0.2*x42*x11 - 0.06*x43*x11 - 0.1*x44*x11 - 0.26*x45*x11 - 0.24*
     x46*x11 - 0.28*x47*x11 + 0.2*x48*x11 + 0.08*x49*x11 - 0.06*x50*x11 - 0.06*
     x51*x11 - 0.04*x52*x11 - 0.28*x53*x11 - 0.14*x54*x11 + 0.16*x56*x11 + 0.16
     *x57*x11 + 0.02*x58*x11 - 0.22*x59*x11 + 0.1*x60*x11 + 0.14*x61*x11 + 0.13
     *x12^2 + 0.14*x13*x12 - 0.02*x14*x12 - 0.04*x15*x12 - 0.1*x16*x12 + 0.22*
     x17*x12 - 0.26*x18*x12 - 0.22*x19*x12 - 0.12*x20*x12 + 0.02*x21*x12 + 0.08
     *x22*x12 - 0.12*x23*x12 + 0.18*x24*x12 + 0.06*x25*x12 - 0.36*x26*x12 - 
     0.14*x27*x12 - 0.08*x28*x12 - 0.14*x29*x12 + 0.18*x30*x12 - 0.46*x31*x12
      - 0.28*x32*x12 - 0.16*x33*x12 - 0.26*x34*x12 + 0.2*x36*x12 + 0.1*x37*x12
      - 0.1*x38*x12 - 0.4*x39*x12 - 0.28*x40*x12 + 0.16*x41*x12 - 0.18*x42*x12
      + 0.02*x43*x12 - 0.18*x44*x12 + 0.1*x45*x12 - 0.06*x46*x12 - 0.22*x47*x12
      - 0.28*x48*x12 - 0.12*x49*x12 + 0.1*x50*x12 + 0.04*x51*x12 - 0.06*x52*x12
      + 0.02*x53*x12 - 0.04*x54*x12 + 0.18*x55*x12 + 0.16*x56*x12 + 0.14*x57*
     x12 - 0.04*x58*x12 + 0.02*x59*x12 + 0.18*x60*x12 - 0.1*x61*x12 + 0.14*x13^
     2 + 0.2*x14*x13 + 0.28*x15*x13 - 0.1*x16*x13 - 0.06*x17*x13 - 0.02*x18*x13
      + 0.14*x19*x13 - 0.16*x20*x13 - 0.08*x21*x13 - 0.3*x22*x13 - 0.22*x23*x13
      - 0.02*x24*x13 + 0.2*x25*x13 + 0.2*x26*x13 + 0.16*x27*x13 + 0.02*x28*x13
      - 0.2*x29*x13 - 0.4*x30*x13 + 0.08*x31*x13 + 0.02*x32*x13 + 0.1*x33*x13
      + 0.06*x34*x13 + 0.1*x35*x13 - 0.08*x36*x13 - 0.04*x37*x13 + 0.06*x38*x13
      - 0.14*x39*x13 + 0.2*x40*x13 + 0.08*x41*x13 + 0.14*x43*x13 - 0.04*x44*x13
      - 0.32*x45*x13 - 0.26*x46*x13 - 0.16*x47*x13 - 0.18*x48*x13 + 0.04*x49*
     x13 + 0.06*x50*x13 - 0.2*x51*x13 + 0.02*x52*x13 - 0.12*x53*x13 - 0.18*x54*
     x13 - 0.02*x55*x13 + 0.1*x56*x13 - 0.08*x57*x13 - 0.18*x58*x13 + 0.02*x59*
     x13 + 0.14*x60*x13 - 0.08*x61*x13 + 0.05*x14^2 - 0.08*x15*x14 + 0.04*x16*
     x14 + 0.1*x17*x14 - 0.02*x18*x14 + 0.18*x19*x14 - 0.02*x20*x14 + 0.04*x21*
     x14 + 0.2*x23*x14 + 0.08*x24*x14 - 0.08*x25*x14 + 0.12*x26*x14 - 0.18*x27*
     x14 - 0.08*x28*x14 + 0.1*x29*x14 - 0.04*x30*x14 - 0.24*x31*x14 - 0.08*x32*
     x14 + 0.06*x33*x14 - 0.14*x34*x14 - 0.28*x35*x14 - 0.08*x36*x14 - 0.04*x37
     *x14 - 0.06*x40*x14 + 0.2*x41*x14 + 0.1*x42*x14 + 0.04*x43*x14 + 0.12*x44*
     x14 - 0.22*x45*x14 + 0.14*x46*x14 + 0.16*x47*x14 - 0.04*x48*x14 - 0.54*x50
     *x14 - 0.04*x51*x14 - 0.18*x52*x14 - 0.1*x53*x14 - 0.18*x54*x14 - 0.12*x55
     *x14 + 0.1*x56*x14 + 0.2*x57*x14 - 0.06*x58*x14 + 0.16*x59*x14 - 0.14*x60*
     x14 - 0.06*x61*x14 + 0.11*x15*x15 - 0.04*x16*x15 + 0.1*x17*x15 + 0.14*x18*
     x15 - 0.34*x19*x15 - 0.16*x21*x15 - 0.2*x22*x15 + 0.02*x23*x15 + 0.14*x24*
     x15 - 0.08*x25*x15 - 0.22*x26*x15 - 0.18*x27*x15 + 0.06*x28*x15 + 0.22*x29
     *x15 - 0.1*x30*x15 + 0.14*x32*x15 + 0.08*x33*x15 + 0.02*x34*x15 - 0.22*x35
     *x15 - 0.3*x36*x15 - 0.02*x37*x15 - 0.08*x38*x15 - 0.2*x39*x15 - 0.04*x40*
     x15 + 0.04*x41*x15 - 0.1*x42*x15 - 0.24*x43*x15 + 0.04*x44*x15 - 0.04*x45*
     x15 + 0.02*x46*x15 + 0.08*x47*x15 + 0.16*x48*x15 - 0.2*x49*x15 - 0.12*x50*
     x15 + 0.04*x51*x15 - 0.02*x52*x15 - 0.1*x53*x15 - 0.32*x54*x15 - 0.14*x55*
     x15 - 0.04*x57*x15 - 0.02*x58*x15 - 0.14*x59*x15 - 0.08*x60*x15 + 0.2*x61*
     x15 + 0.23*x16^2 + 0.36*x17*x16 + 0.14*x18*x16 - 0.22*x19*x16 - 0.06*x20*
     x16 + 0.12*x21*x16 - 0.18*x22*x16 - 0.12*x23*x16 + 0.28*x24*x16 + 0.12*x25
     *x16 - 0.02*x26*x16 - 0.3*x27*x16 + 0.06*x28*x16 - 0.18*x29*x16 - 0.16*x30
     *x16 - 0.04*x31*x16 - 0.16*x32*x16 + 0.02*x33*x16 + 0.32*x34*x16 - 0.12*
     x35*x16 + 0.32*x36*x16 - 0.3*x37*x16 - 0.24*x38*x16 - 0.18*x39*x16 + 0.08*
     x40*x16 + 0.04*x41*x16 - 0.2*x42*x16 - 0.14*x43*x16 + 0.08*x44*x16 - 0.02*
     x45*x16 + 0.1*x46*x16 - 0.1*x47*x16 - 0.2*x48*x16 - 0.1*x49*x16 - 0.16*x50
     *x16 + 0.12*x52*x16 + 0.02*x53*x16 + 0.18*x54*x16 - 0.22*x55*x16 - 0.14*
     x56*x16 - 0.06*x57*x16 + 0.24*x58*x16 + 0.1*x59*x16 + 0.32*x60*x16 - 0.22*
     x61*x16 + 0.12*x17^2 + 0.02*x19*x17 - 0.02*x20*x17 + 0.3*x21*x17 - 0.08*
     x22*x17 - 0.34*x23*x17 - 0.18*x24*x17 - 0.04*x25*x17 - 0.32*x26*x17 - 0.16
     *x27*x17 - 0.2*x28*x17 + 0.06*x29*x17 + 0.4*x30*x17 + 0.04*x31*x17 - 0.2*
     x32*x17 + 0.34*x33*x17 - 0.02*x34*x17 - 0.02*x35*x17 - 0.08*x36*x17 + 0.02
     *x37*x17 - 0.16*x38*x17 - 0.06*x39*x17 - 0.06*x40*x17 + 0.14*x41*x17 - 
     0.06*x42*x17 - 0.14*x43*x17 + 0.2*x44*x17 - 0.16*x45*x17 - 0.02*x46*x17 - 
     0.18*x47*x17 - 0.2*x48*x17 + 0.22*x49*x17 + 0.3*x50*x17 - 0.26*x51*x17 - 
     0.34*x52*x17 + 0.1*x53*x17 - 0.26*x54*x17 - 0.1*x55*x17 - 0.06*x56*x17 - 
     0.12*x57*x17 + 0.04*x58*x17 + 0.24*x59*x17 - 0.24*x60*x17 + 0.02*x61*x17
      - 0.08*x18^2 + 0.12*x19*x18 - 0.54*x20*x18 + 0.12*x21*x18 - 0.1*x22*x18
      + 0.02*x23*x18 - 0.1*x24*x18 - 0.14*x25*x18 + 0.14*x26*x18 + 0.32*x27*x18
      + 0.16*x28*x18 - 0.14*x29*x18 - 0.14*x30*x18 - 0.16*x31*x18 + 0.12*x32*
     x18 + 0.16*x33*x18 - 0.18*x34*x18 + 0.34*x35*x18 - 0.24*x36*x18 - 0.06*x37
     *x18 - 0.1*x38*x18 + 0.22*x39*x18 - 0.18*x41*x18 + 0.12*x42*x18 - 0.34*x43
     *x18 + 0.04*x45*x18 - 0.28*x46*x18 - 0.12*x48*x18 - 0.14*x49*x18 + 0.04*
     x50*x18 + 0.32*x51*x18 + 0.12*x52*x18 + 0.14*x53*x18 + 0.22*x54*x18 - 0.14
     *x55*x18 - 0.04*x57*x18 - 0.12*x58*x18 - 0.02*x59*x18 - 0.08*x60*x18 + 
     0.14*x61*x18 - 0.01*x19^2 + 0.3*x20*x19 + 0.16*x21*x19 - 0.14*x22*x19 + 
     0.02*x23*x19 - 0.04*x24*x19 - 0.2*x25*x19 + 0.04*x26*x19 + 0.12*x27*x19 - 
     0.32*x28*x19 - 0.34*x29*x19 + 0.08*x30*x19 + 0.08*x31*x19 - 0.16*x32*x19
      + 0.36*x35*x19 - 0.02*x36*x19 - 0.14*x37*x19 + 0.18*x38*x19 + 0.24*x39*
     x19 + 0.32*x40*x19 + 0.04*x41*x19 - 0.62*x42*x19 + 0.16*x43*x19 - 0.14*x44
     *x19 - 0.22*x45*x19 + 0.18*x47*x19 - 0.02*x48*x19 - 0.04*x49*x19 - 0.04*
     x50*x19 - 0.02*x51*x19 - 0.14*x52*x19 + 0.32*x53*x19 - 0.18*x55*x19 - 0.08
     *x56*x19 - 0.34*x57*x19 - 0.3*x58*x19 - 0.02*x59*x19 + 0.14*x60*x19 + 0.18
     *x61*x19 + 0.06*x20^2 - 0.08*x21*x20 + 0.06*x22*x20 + 0.2*x23*x20 + 0.14*
     x25*x20 + 0.2*x26*x20 - 0.38*x27*x20 + 0.04*x28*x20 - 0.02*x29*x20 + 0.04*
     x30*x20 + 0.04*x32*x20 + 0.02*x33*x20 + 0.18*x34*x20 - 0.04*x35*x20 + 0.04
     *x36*x20 - 0.22*x37*x20 - 0.2*x38*x20 + 0.02*x39*x20 - 0.06*x40*x20 + 0.16
     *x41*x20 - 0.08*x42*x20 - 0.1*x43*x20 - 0.14*x44*x20 + 0.2*x45*x20 - 0.2*
     x46*x20 - 0.1*x47*x20 - 0.2*x48*x20 - 0.02*x49*x20 + 0.08*x50*x20 - 0.18*
     x51*x20 + 0.36*x52*x20 + 0.04*x53*x20 - 0.14*x54*x20 - 0.42*x55*x20 - 0.1*
     x56*x20 - 0.2*x57*x20 - 0.38*x58*x20 + 0.22*x59*x20 - 0.04*x60*x20 - 0.12*
     x61*x20 + 0.08*x21^2 + 0.4*x22*x21 - 0.2*x23*x21 - 0.1*x24*x21 + 0.08*x25*
     x21 + 0.1*x27*x21 - 0.12*x28*x21 - 0.04*x30*x21 - 0.14*x31*x21 + 0.1*x32*
     x21 - 0.18*x33*x21 - 0.3*x34*x21 + 0.08*x35*x21 - 0.04*x36*x21 - 0.04*x37*
     x21 - 0.22*x38*x21 - 0.06*x39*x21 + 0.04*x40*x21 - 0.22*x41*x21 - 0.04*x42
     *x21 + 0.12*x43*x21 - 0.14*x44*x21 + 0.16*x45*x21 - 0.26*x46*x21 + 0.12*
     x47*x21 + 0.04*x48*x21 - 0.02*x49*x21 - 0.14*x50*x21 - 0.1*x52*x21 - 0.28*
     x53*x21 + 0.1*x54*x21 + 0.1*x55*x21 - 0.32*x56*x21 - 0.1*x57*x21 + 0.02*
     x58*x21 - 0.14*x59*x21 + 0.32*x60*x21 + 0.06*x61*x21 + 0.01*x22^2 - 0.04*
     x23*x22 - 0.1*x24*x22 - 0.22*x25*x22 - 0.16*x26*x22 + 0.1*x27*x22 - 0.1*
     x28*x22 + 0.12*x29*x22 + 0.12*x30*x22 - 0.26*x31*x22 - 0.14*x32*x22 - 0.14
     *x33*x22 + 0.1*x34*x22 - 0.02*x35*x22 + 0.06*x36*x22 - 0.18*x37*x22 - 0.04
     *x38*x22 + 0.16*x39*x22 + 0.28*x40*x22 + 0.08*x41*x22 - 0.02*x42*x22 - 
     0.26*x43*x22 + 0.12*x44*x22 - 0.04*x45*x22 + 0.16*x46*x22 + 0.08*x47*x22
      - 0.06*x48*x22 - 0.02*x49*x22 - 0.14*x50*x22 - 0.22*x51*x22 - 0.26*x52*
     x22 + 0.3*x53*x22 + 0.04*x54*x22 - 0.26*x55*x22 - 0.02*x56*x22 - 0.18*x57*
     x22 - 0.14*x58*x22 - 0.08*x59*x22 + 0.04*x60*x22 + 0.4*x61*x22 + 0.09*x23^
     2 - 0.18*x24*x23 - 0.02*x25*x23 - 0.2*x26*x23 - 0.26*x27*x23 + 0.06*x28*
     x23 + 0.1*x29*x23 + 0.16*x30*x23 + 0.16*x31*x23 + 0.6*x32*x23 + 0.14*x33*
     x23 - 0.02*x34*x23 - 0.04*x35*x23 - 0.02*x36*x23 - 0.18*x37*x23 - 0.18*x38
     *x23 - 0.1*x39*x23 - 0.22*x40*x23 - 0.06*x42*x23 + 0.12*x43*x23 + 0.04*x44
     *x23 + 0.08*x45*x23 - 0.12*x46*x23 - 0.02*x47*x23 + 0.2*x48*x23 - 0.18*x49
     *x23 + 0.22*x51*x23 - 0.18*x52*x23 - 0.1*x53*x23 + 0.26*x54*x23 - 0.06*x55
     *x23 + 0.06*x56*x23 - 0.08*x57*x23 - 0.08*x58*x23 + 0.18*x59*x23 - 0.2*x60
     *x23 - 0.08*x61*x23 - 0.02*x24^2 + 0.18*x25*x24 + 0.12*x26*x24 - 0.06*x27*
     x24 - 0.32*x28*x24 + 0.24*x29*x24 - 0.14*x30*x24 - 0.1*x31*x24 - 0.02*x32*
     x24 - 0.02*x33*x24 - 0.04*x34*x24 - 0.06*x35*x24 - 0.3*x36*x24 - 0.32*x37*
     x24 + 0.12*x38*x24 - 0.08*x39*x24 + 0.02*x40*x24 - 0.18*x41*x24 + 0.1*x43*
     x24 - 0.12*x44*x24 - 0.08*x45*x24 - 0.18*x46*x24 + 0.04*x47*x24 + 0.08*x48
     *x24 + 0.16*x49*x24 - 0.04*x50*x24 + 0.06*x51*x24 - 0.16*x52*x24 + 0.02*
     x53*x24 + 0.14*x54*x24 + 0.22*x55*x24 - 0.38*x56*x24 + 0.08*x57*x24 - 0.1*
     x58*x24 + 0.08*x59*x24 - 0.12*x60*x24 + 0.2*x61*x24 - 0.04*x25^2 + 0.02*
     x26*x25 + 0.1*x27*x25 + 0.18*x28*x25 - 0.04*x29*x25 - 0.12*x30*x25 - 0.12*
     x31*x25 - 0.02*x32*x25 + 0.04*x33*x25 - 0.16*x34*x25 - 0.14*x35*x25 + 0.12
     *x36*x25 - 0.02*x37*x25 + 0.34*x38*x25 - 0.06*x39*x25 - 0.08*x40*x25 + 
     0.16*x41*x25 + 0.16*x42*x25 + 0.16*x43*x25 + 0.1*x44*x25 + 0.16*x45*x25 - 
     0.12*x46*x25 - 0.18*x47*x25 + 0.06*x48*x25 - 0.02*x49*x25 - 0.12*x50*x25
      - 0.08*x51*x25 - 0.02*x52*x25 - 0.04*x53*x25 - 0.12*x54*x25 - 0.1*x55*x25
      - 0.06*x56*x25 - 0.38*x57*x25 + 0.12*x58*x25 + 0.06*x59*x25 + 0.02*x61*
     x25 - 0.2*x27*x26 - 0.1*x28*x26 + 0.06*x29*x26 - 0.06*x30*x26 + 0.06*x32*
     x26 - 0.04*x33*x26 - 0.42*x34*x26 - 0.04*x35*x26 + 0.02*x36*x26 + 0.08*x37
     *x26 - 0.02*x38*x26 - 0.04*x39*x26 - 0.2*x40*x26 + 0.06*x41*x26 + 0.14*x42
     *x26 + 0.04*x43*x26 - 0.06*x44*x26 + 0.14*x45*x26 + 0.08*x46*x26 + 0.12*
     x47*x26 - 0.1*x48*x26 + 0.02*x49*x26 + 0.08*x50*x26 - 0.28*x51*x26 + 0.06*
     x52*x26 - 0.26*x54*x26 + 0.08*x55*x26 - 0.06*x56*x26 + 0.34*x57*x26 - 0.02
     *x58*x26 - 0.28*x59*x26 + 0.12*x60*x26 - 0.16*x61*x26 + 0.05*x27^2 + 0.14*
     x28*x27 - 0.02*x29*x27 + 0.18*x30*x27 - 0.28*x31*x27 + 0.06*x32*x27 - 0.06
     *x33*x27 + 0.2*x34*x27 - 0.08*x35*x27 - 0.04*x36*x27 + 0.34*x37*x27 + 0.06
     *x38*x27 + 0.02*x39*x27 - 0.12*x40*x27 - 0.32*x41*x27 + 0.1*x42*x27 - 0.22
     *x44*x27 + 0.14*x45*x27 - 0.12*x46*x27 + 0.02*x47*x27 - 0.02*x48*x27 - 
     0.24*x49*x27 + 0.16*x50*x27 + 0.02*x51*x27 - 0.16*x52*x27 + 0.16*x54*x27
      - 0.22*x55*x27 - 0.1*x56*x27 - 0.16*x57*x27 - 0.04*x58*x27 + 0.24*x59*x27
      + 0.14*x60*x27 - 0.04*x61*x27 + 0.14*x28^2 - 0.24*x29*x28 + 0.26*x30*x28
      + 0.08*x31*x28 - 0.28*x32*x28 - 0.02*x33*x28 - 0.02*x34*x28 - 0.08*x35*
     x28 - 0.24*x36*x28 - 0.08*x37*x28 - 0.22*x38*x28 + 0.04*x39*x28 - 0.02*x40
     *x28 + 0.1*x41*x28 + 0.16*x43*x28 - 0.16*x44*x28 + 0.06*x45*x28 - 0.18*x46
     *x28 - 0.14*x47*x28 + 0.08*x48*x28 + 0.36*x49*x28 - 0.18*x50*x28 + 0.38*
     x51*x28 - 0.2*x52*x28 + 0.1*x53*x28 + 0.12*x55*x28 - 0.24*x56*x28 - 0.1*
     x57*x28 - 0.04*x58*x28 - 0.02*x59*x28 + 0.1*x60*x28 - 0.12*x61*x28 + 0.24*
     x29^2 - 0.22*x30*x29 + 0.24*x31*x29 + 0.06*x32*x29 - 0.08*x33*x29 - 0.1*
     x34*x29 - 0.1*x35*x29 + 0.12*x36*x29 - 0.1*x37*x29 + 0.06*x38*x29 - 0.1*
     x39*x29 + 0.08*x40*x29 - 0.4*x41*x29 + 0.1*x42*x29 - 0.12*x43*x29 - 0.1*
     x44*x29 + 0.04*x45*x29 - 0.04*x46*x29 + 0.04*x47*x29 - 0.32*x48*x29 + 0.2*
     x49*x29 - 0.1*x50*x29 + 0.1*x51*x29 - 0.04*x52*x29 - 0.04*x53*x29 - 0.08*
     x55*x29 - 0.06*x56*x29 - 0.12*x57*x29 + 0.22*x58*x29 + 0.1*x59*x29 - 0.14*
     x60*x29 + 0.16*x61*x29 - 0.1*x30^2 + 0.08*x31*x30 + 0.3*x32*x30 + 0.04*x33
     *x30 + 0.32*x34*x30 - 0.42*x35*x30 - 0.04*x36*x30 + 0.04*x37*x30 - 0.04*
     x38*x30 + 0.14*x39*x30 - 0.02*x40*x30 + 0.08*x41*x30 - 0.12*x42*x30 + 0.08
     *x43*x30 - 0.22*x44*x30 - 0.12*x45*x30 + 0.22*x46*x30 + 0.1*x47*x30 - 0.24
     *x48*x30 + 0.06*x49*x30 - 0.06*x50*x30 - 0.1*x51*x30 + 0.08*x52*x30 - 0.14
     *x53*x30 - 0.1*x54*x30 + 0.12*x55*x30 - 0.26*x56*x30 + 0.08*x57*x30 - 0.28
     *x59*x30 - 0.1*x60*x30 - 0.08*x61*x30 - 0.11*x31^2 + 0.24*x32*x31 - 0.1*
     x33*x31 - 0.08*x34*x31 - 0.18*x35*x31 + 0.12*x36*x31 + 0.1*x37*x31 - 0.06*
     x38*x31 - 0.06*x39*x31 + 0.2*x40*x31 - 0.16*x41*x31 + 0.22*x42*x31 - 0.14*
     x43*x31 + 0.14*x44*x31 + 0.06*x45*x31 + 0.1*x47*x31 - 0.08*x48*x31 + 0.12*
     x49*x31 + 0.12*x50*x31 - 0.16*x51*x31 - 0.3*x52*x31 - 0.14*x53*x31 - 0.28*
     x54*x31 + 0.1*x55*x31 - 0.18*x56*x31 + 0.04*x57*x31 + 0.06*x58*x31 - 0.04*
     x59*x31 + 0.3*x60*x31 + 0.26*x61*x31 + 0.02*x32^2 - 0.16*x33*x32 - 0.32*
     x34*x32 + 0.06*x35*x32 + 0.3*x36*x32 + 0.16*x37*x32 - 0.16*x38*x32 + 0.18*
     x39*x32 - 0.12*x40*x32 + 0.12*x41*x32 + 0.1*x42*x32 + 0.1*x43*x32 + 0.12*
     x44*x32 - 0.18*x45*x32 + 0.12*x46*x32 + 0.06*x47*x32 - 0.12*x48*x32 - 0.08
     *x49*x32 - 0.14*x50*x32 - 0.04*x51*x32 - 0.06*x52*x32 - 0.3*x53*x32 - 0.12
     *x54*x32 - 0.26*x55*x32 + 0.02*x56*x32 - 0.3*x57*x32 + 0.3*x58*x32 - 0.12*
     x59*x32 - 0.14*x60*x32 - 0.16*x61*x32 - 0.16*x33^2 + 0.1*x34*x33 + 0.02*
     x35*x33 - 0.3*x36*x33 + 0.18*x37*x33 + 0.2*x38*x33 + 0.1*x39*x33 - 0.04*
     x40*x33 + 0.02*x41*x33 - 0.22*x42*x33 - 0.06*x43*x33 + 0.3*x44*x33 + 0.1*
     x45*x33 - 0.26*x46*x33 - 0.08*x47*x33 - 0.22*x48*x33 - 0.04*x49*x33 + 0.14
     *x50*x33 - 0.22*x51*x33 - 0.04*x52*x33 - 0.22*x53*x33 - 0.14*x54*x33 - 0.1
     *x55*x33 - 0.04*x56*x33 - 0.08*x57*x33 + 0.02*x58*x33 - 0.04*x59*x33 - 
     0.28*x60*x33 + 0.12*x61*x33 - 0.02*x34^2 + 0.22*x35*x34 - 0.06*x36*x34 - 
     0.3*x37*x34 + 0.12*x38*x34 + 0.02*x39*x34 + 0.06*x40*x34 - 0.38*x41*x34 - 
     0.08*x42*x34 + 0.18*x43*x34 - 0.28*x44*x34 - 0.24*x45*x34 + 0.24*x46*x34
      + 0.16*x47*x34 + 0.38*x48*x34 - 0.34*x49*x34 - 0.02*x50*x34 + 0.14*x51*
     x34 - 0.18*x53*x34 - 0.26*x54*x34 - 0.14*x55*x34 + 0.12*x56*x34 + 0.04*x57
     *x34 + 0.1*x58*x34 - 0.22*x59*x34 - 0.12*x60*x34 - 0.38*x61*x34 - 0.01*x35
     *x35 + 0.44*x36*x35 - 0.22*x37*x35 - 0.02*x40*x35 - 0.12*x41*x35 + 0.08*
     x42*x35 + 0.1*x43*x35 - 0.18*x44*x35 - 0.14*x45*x35 - 0.14*x46*x35 + 0.16*
     x47*x35 + 0.08*x48*x35 - 0.14*x49*x35 + 0.24*x50*x35 - 0.16*x51*x35 - 0.04
     *x52*x35 - 0.2*x54*x35 + 0.06*x55*x35 - 0.36*x56*x35 - 0.08*x58*x35 - 0.22
     *x60*x35 + 0.16*x61*x35 - 0.08*x36^2 + 0.08*x37*x36 + 0.2*x38*x36 - 0.1*
     x39*x36 - 0.28*x40*x36 + 0.08*x41*x36 - 0.06*x42*x36 - 0.12*x43*x36 + 0.12
     *x44*x36 + 0.1*x45*x36 - 0.26*x46*x36 - 0.18*x47*x36 - 0.02*x48*x36 - 0.22
     *x49*x36 + 0.04*x50*x36 - 0.06*x51*x36 - 0.2*x52*x36 + 0.04*x53*x36 - 0.04
     *x54*x36 - 0.02*x55*x36 - 0.06*x56*x36 - 0.18*x57*x36 + 0.32*x58*x36 - 
     0.04*x59*x36 + 0.22*x60*x36 + 0.02*x61*x36 + 0.01*x37^2 - 0.16*x38*x37 + 
     0.14*x39*x37 - 0.2*x40*x37 + 0.2*x41*x37 - 0.18*x42*x37 - 0.14*x43*x37 + 
     0.08*x44*x37 - 0.06*x45*x37 + 0.1*x46*x37 + 0.12*x47*x37 - 0.16*x48*x37 + 
     0.22*x49*x37 - 0.08*x50*x37 + 0.18*x51*x37 - 0.08*x52*x37 - 0.32*x53*x37
      + 0.1*x54*x37 - 0.16*x55*x37 + 0.26*x56*x37 + 0.2*x57*x37 - 0.3*x58*x37
      + 0.36*x59*x37 - 0.18*x60*x37 - 0.22*x61*x37 - 0.09*x38^2 - 0.24*x39*x38
      - 0.22*x40*x38 + 0.18*x41*x38 - 0.26*x42*x38 + 0.28*x43*x38 - 0.02*x44*
     x38 + 0.02*x45*x38 - 0.04*x46*x38 - 0.06*x47*x38 + 0.2*x48*x38 - 0.06*x49*
     x38 + 0.14*x50*x38 + 0.08*x51*x38 + 0.06*x52*x38 - 0.18*x53*x38 + 0.22*x54
     *x38 - 0.22*x55*x38 - 0.2*x56*x38 - 0.18*x57*x38 + 0.22*x58*x38 + 0.06*x59
     *x38 - 0.1*x60*x38 + 0.18*x61*x38 - 0.03*x39^2 - 0.04*x40*x39 - 0.06*x41*
     x39 + 0.06*x42*x39 + 0.04*x43*x39 - 0.24*x44*x39 + 0.22*x45*x39 + 0.08*x46
     *x39 - 0.26*x47*x39 - 0.2*x48*x39 + 0.14*x49*x39 + 0.08*x50*x39 - 0.14*x51
     *x39 + 0.08*x52*x39 + 0.1*x53*x39 - 0.02*x55*x39 - 0.12*x56*x39 + 0.12*x57
     *x39 + 0.24*x58*x39 - 0.04*x59*x39 - 0.26*x60*x39 - 0.14*x40^2 + 0.16*x41*
     x40 - 0.34*x42*x40 - 0.1*x43*x40 - 0.26*x44*x40 + 0.08*x45*x40 - 0.04*x46*
     x40 + 0.08*x47*x40 - 0.42*x48*x40 + 0.3*x49*x40 - 0.04*x50*x40 - 0.04*x51*
     x40 + 0.06*x52*x40 + 0.14*x53*x40 - 0.04*x54*x40 + 0.22*x56*x40 - 0.1*x57*
     x40 + 0.16*x58*x40 - 0.04*x59*x40 - 0.14*x60*x40 - 0.28*x61*x40 - 0.1*x41^
     2 + 0.1*x42*x41 + 0.12*x43*x41 - 0.1*x44*x41 + 0.12*x45*x41 + 0.04*x46*x41
      + 0.04*x47*x41 + 0.02*x48*x41 - 0.04*x49*x41 + 0.08*x50*x41 - 0.02*x51*
     x41 + 0.22*x52*x41 - 0.28*x53*x41 + 0.12*x54*x41 - 0.08*x55*x41 - 0.02*x56
     *x41 - 0.44*x57*x41 - 0.16*x58*x41 - 0.14*x59*x41 - 0.26*x60*x41 - 0.06*
     x61*x41 + 0.14*x42^2 + 0.36*x43*x42 - 0.16*x44*x42 + 0.02*x45*x42 - 0.06*
     x46*x42 + 0.12*x47*x42 + 0.3*x48*x42 + 0.06*x49*x42 + 0.02*x50*x42 - 0.2*
     x51*x42 + 0.12*x52*x42 + 0.04*x53*x42 - 0.18*x54*x42 + 0.18*x55*x42 + 0.06
     *x56*x42 - 0.34*x57*x42 - 0.12*x58*x42 - 0.06*x59*x42 - 0.16*x60*x42 - 0.2
     *x61*x42 + 0.14*x43^2 + 0.12*x44*x43 + 0.02*x45*x43 + 0.14*x46*x43 - 0.14*
     x47*x43 + 0.14*x48*x43 - 0.14*x49*x43 - 0.06*x50*x43 + 0.18*x51*x43 - 0.04
     *x52*x43 - 0.08*x53*x43 - 0.24*x54*x43 - 0.12*x55*x43 + 0.08*x56*x43 + 
     0.16*x57*x43 - 0.06*x58*x43 - 0.2*x59*x43 - 0.12*x60*x43 + 0.12*x61*x43 + 
     0.24*x44^2 + 0.1*x46*x44 + 0.12*x47*x44 + 0.08*x48*x44 - 0.26*x49*x44 - 
     0.14*x50*x44 + 0.02*x51*x44 - 0.06*x52*x44 + 0.5*x53*x44 + 0.26*x54*x44 + 
     0.12*x55*x44 - 0.42*x56*x44 + 0.08*x57*x44 - 0.16*x58*x44 - 0.24*x59*x44
      + 0.18*x60*x44 - 0.08*x61*x44 + 0.03*x45^2 - 0.16*x46*x45 - 0.14*x47*x45
      - 0.2*x48*x45 + 0.1*x50*x45 + 0.2*x52*x45 - 0.1*x53*x45 + 0.04*x54*x45 - 
     0.56*x55*x45 - 0.08*x56*x45 + 0.32*x57*x45 - 0.04*x58*x45 - 0.14*x59*x45
      - 0.18*x60*x45 + 0.06*x61*x45 - 0.1*x46^2 + 0.18*x47*x46 + 0.02*x48*x46
      + 0.06*x49*x46 + 0.02*x50*x46 - 0.08*x51*x46 + 0.08*x52*x46 - 0.28*x53*
     x46 - 0.08*x54*x46 + 0.24*x55*x46 + 0.26*x56*x46 + 0.06*x58*x46 + 0.24*x59
     *x46 + 0.22*x60*x46 + 0.32*x61*x46 - 0.03*x47^2 - 0.18*x48*x47 + 0.02*x49*
     x47 - 0.08*x50*x47 - 0.04*x51*x47 - 0.08*x52*x47 - 0.14*x53*x47 + 0.14*x54
     *x47 - 0.04*x55*x47 + 0.12*x56*x47 - 0.02*x57*x47 - 0.24*x58*x47 - 0.14*
     x59*x47 - 0.18*x60*x47 - 0.14*x61*x47 - 0.01*x48^2 - 0.14*x50*x48 - 0.02*
     x51*x48 + 0.2*x52*x48 - 0.04*x53*x48 + 0.14*x54*x48 + 0.14*x55*x48 + 0.04*
     x56*x48 - 0.38*x57*x48 + 0.22*x58*x48 + 0.16*x59*x48 - 0.16*x60*x48 + 0.04
     *x61*x48 + 0.18*x49^2 - 0.02*x50*x49 + 0.34*x51*x49 - 0.14*x52*x49 + 0.1*
     x53*x49 + 0.24*x54*x49 - 0.1*x55*x49 + 0.04*x56*x49 - 0.4*x57*x49 + 0.1*
     x58*x49 - 0.18*x59*x49 + 0.14*x60*x49 + 0.12*x61*x49 + 0.09*x50^2 - 0.3*
     x51*x50 + 0.02*x52*x50 - 0.12*x53*x50 - 0.04*x54*x50 + 0.36*x55*x50 - 0.02
     *x56*x50 - 0.24*x57*x50 - 0.32*x58*x50 - 0.24*x59*x50 + 0.06*x60*x50 - 
     0.12*x61*x50 + 0.05*x51^2 + 0.12*x52*x51 + 0.16*x53*x51 - 0.14*x54*x51 - 
     0.08*x55*x51 - 0.2*x56*x51 - 0.04*x57*x51 - 0.18*x58*x51 + 0.14*x59*x51 + 
     0.04*x60*x51 - 0.04*x61*x51 - 0.12*x52^2 + 0.18*x53*x52 - 0.08*x54*x52 - 
     0.12*x55*x52 - 0.02*x56*x52 + 0.06*x57*x52 - 0.06*x58*x52 + 0.02*x59*x52
      + 0.04*x60*x52 - 0.06*x61*x52 - 0.01*x53^2 - 0.26*x54*x53 - 0.02*x55*x53
      + 0.04*x56*x53 + 0.08*x57*x53 + 0.04*x58*x53 - 0.16*x59*x53 - 0.28*x60*
     x53 - 0.02*x61*x53 - 0.02*x54^2 + 0.02*x55*x54 + 0.14*x56*x54 + 0.02*x57*
     x54 + 0.04*x58*x54 - 0.06*x59*x54 + 0.04*x60*x54 - 0.14*x61*x54 - 0.02*x55
     ^2 - 0.26*x56*x55 - 0.14*x58*x55 + 0.16*x59*x55 + 0.14*x60*x55 - 0.1*x61*
     x55 + 0.15*x56^2 - 0.06*x57*x56 + 0.26*x58*x56 - 0.24*x59*x56 + 0.3*x60*
     x56 + 0.02*x61*x56 - 0.06*x57^2 + 0.24*x58*x57 - 0.14*x59*x57 - 0.12*x60*
     x57 - 0.06*x61*x57 + 0.12*x58^2 - 0.04*x59*x58 - 0.32*x60*x58 + 0.36*x59^2
      - 0.24*x60*x59 - 0.24*x61*x59 - 0.01*x60^2 + 0.1*x61*x60 + 0.11*x61^2
      <= 23.9;