#  QCP written by GAMS Convert at 02/15/18 15:45:26
#  
#  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
#        837      717      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: (-1.84*x2*x3) - 0.53*x2 + 0.29*x3 + 0.44*x2*x4 + 0.79*x4 + 0.9*x2
    *x5 - 0.43*x5 - 1.26*x2*x10 - 0.32*x10 - 1.22*x2*x13 - 0.53*x13 - 1.42*x2*
    x14 + 0.57*x14 - 1.18*x2*x15 + 0.41*x15 - 1.62*x2*x22 - 0.9*x22 - 0.72*x2*
    x24 + 0.49*x24 - 1.14*x2*x26 + 0.45*x26 + 1.46*x2*x28 - 0.33*x28 + 0.82*x2*
    x32 + 0.18*x32 + 0.1*x2*x34 - 0.79*x34 + 0.08*x2*x35 - 0.14*x35 - 1.62*x2*
    x37 + 0.25*x37 - 0.7*x2*x41 + 0.87*x41 + 1.08*x2*x43 + 0.18*x43 + 1.92*x2*
    x44 + 0.03*x44 - 0.06*x2*x45 + 0.93*x45 - 1.92*x2*x46 - 0.91*x46 + 0.62*x2*
    x50 + 0.28*x50 + 1.8*x2*x52 + 0.53*x52 - 1.58*x2*x57 - 0.82*x57 - 1.14*x2*
    x60 - 0.27*x60 + 0.6*x2*x61 + 0.12*x61 + 0.19*x3^2 + 0.88*x3*x9 + 0.67*x9
     + 0.82*x3*x11 - 0.14*x11 + 1.52*x3*x12 - 0.94*x12 + 0.42*x3*x17 - 0.86*x17
     + 0.9*x3*x18 - 0.86*x18 + 0.36*x3*x21 - 0.5*x21 + 0.3*x3*x23 + 0.52*x23 + 
    1.14*x3*x26 - 1.58*x3*x28 + 0.16*x3*x29 + 0.02*x29 - 0.56*x3*x30 + 0.23*x30
     + 1.72*x3*x33 + 0.77*x33 + 1.1*x3*x34 - 1.76*x3*x39 - 0.41*x39 - 0.16*x3*
    x40 - 0.73*x40 - 1.32*x3*x44 - 1.76*x3*x45 + 0.46*x3*x46 - 1.78*x3*x48 - 
    0.55*x48 - 1.74*x3*x50 + 1.96*x3*x55 + 0.38*x55 + 1.14*x3*x56 + 0.92*x56 + 
    1.96*x3*x57 - 1.26*x3*x60 + 0.21*x4^2 + 1.44*x4*x5 - 0.78*x4*x8 - 0.31*x8
     - 0.38*x4*x10 - 0.76*x4*x12 + 0.9*x4*x14 - 1.56*x4*x16 - 0.08*x16 - 0.32*
    x4*x21 + 1.2*x4*x22 + 0.3*x4*x24 + 1.1*x4*x28 - 0.06*x4*x31 - 0.25*x31 - 
    0.52*x4*x33 + 0.6*x4*x35 - 0.08*x4*x36 + 0.34*x36 - 1.52*x4*x38 - 0.27*x38
     - 0.48*x4*x40 - 1.64*x4*x46 - 1.66*x4*x48 + 0.66*x4*x50 + 1.3*x4*x52 + 
    1.66*x4*x53 - 0.53*x53 + 0.98*x4*x57 - 0.62*x4*x58 + 0.67*x58 - 0.7*x4*x59
     + 0.2*x59 + 0.58*x4*x60 - 0.36*x5*x7 + 0.29*x7 - 0.12*x5*x12 - 1.66*x5*x14
     - 0.44*x5*x16 - 0.52*x5*x17 + x5*x18 + 0.1*x5*x21 + 1.08*x5*x23 - 0.86*x5*
    x26 + 1.8*x5*x29 + 1.82*x5*x31 - 1.48*x5*x34 - 0.06*x5*x35 - 0.42*x5*x36 - 
    0.3*x5*x37 + 2*x5*x41 + 1.98*x5*x42 + 0.86*x42 + 1.46*x5*x43 + 0.26*x5*x51
     + 0.6*x51 - 1.2*x5*x54 - 0.48*x54 + 0.74*x5*x55 - 1.1*x5*x57 + 0.6*x5*x60
     - 0.8*x5*x61 - 1.56*x6*x7 + 0.13*x6 + 1.68*x6*x9 - 0.04*x6*x11 + 0.22*x6*
    x13 - 0.66*x6*x14 + 0.24*x6*x16 - 0.54*x6*x18 + 1.16*x6*x20 - 0.92*x20 + 
    0.32*x6*x21 + 1.02*x6*x23 + 0.14*x6*x24 + 0.18*x6*x25 - 0.59*x25 - 0.88*x6*
    x26 - 0.12*x6*x27 - 0.14*x27 + 0.4*x6*x31 + 1.92*x6*x32 + 1.56*x6*x33 - 1.3
    *x6*x34 - 1.66*x6*x35 - 1.38*x6*x37 + 1.86*x6*x38 + 0.1*x6*x39 - 0.46*x6*
    x40 + 1.12*x6*x41 - 1.9*x6*x43 - 1.1*x6*x44 + 1.88*x6*x46 + 1.58*x6*x47 - 
    0.38*x47 + 0.68*x6*x51 + 1.82*x6*x53 + 1.84*x6*x54 - 0.58*x6*x56 + 1.42*x6*
    x58 + 1.4*x6*x60 + 1.12*x6*x61 + 0.94*x7^2 - 1.28*x7*x9 - 1.74*x7*x11 + 1.9
    *x7*x12 - 1.44*x7*x15 + 1.24*x7*x17 + 0.88*x7*x20 + 1.88*x7*x21 - 1.86*x7*
    x24 + 0.66*x7*x26 + 0.06*x7*x28 + 1.5*x7*x29 + 0.96*x7*x31 + 0.26*x7*x33 - 
    0.78*x7*x34 - 0.02*x7*x36 - 1.24*x7*x37 - 0.76*x7*x43 + 0.88*x7*x44 + 1.84*
    x7*x46 + 1.06*x7*x47 - 0.3*x7*x50 + 0.76*x7*x51 - 0.78*x7*x53 + 1.62*x7*x55
     + 0.68*x7*x56 - 0.76*x7*x58 + 0.14*x7*x59 - 0.99*x8^2 - 1.94*x8*x12 + 0.66
    *x8*x13 + 1.34*x8*x14 - 1.22*x8*x19 - 0.77*x19 - 0.78*x8*x21 - 1.14*x8*x22
     - 1.24*x8*x23 + 0.56*x8*x27 + 0.6*x8*x29 + 1.7*x8*x30 - 0.72*x8*x31 - 0.92
    *x8*x32 + 1.48*x8*x33 + 0.54*x8*x35 - 0.94*x8*x38 - 1.54*x8*x39 + 1.16*x8*
    x40 + 1.76*x8*x41 + 0.4*x8*x44 + 1.34*x8*x45 + 1.86*x8*x46 - 1.02*x8*x50 - 
    1.28*x8*x51 + 0.42*x8*x52 + 1.08*x8*x56 - 0.62*x8*x58 + 0.32*x8*x59 - 0.02*
    x8*x60 - 1.72*x8*x61 - 0.18*x9*x9 - 0.28*x9*x10 + 0.74*x9*x11 - 0.26*x9*x12
     + 1.46*x9*x13 - 1.34*x9*x14 + 1.9*x9*x15 - 0.54*x9*x17 + 0.66*x9*x19 - 
    1.18*x9*x20 + 0.96*x9*x24 + 1.22*x9*x25 - 1.52*x9*x26 + 0.34*x9*x28 - 0.28*
    x9*x31 - 0.12*x9*x35 + 0.9*x9*x36 - 1.58*x9*x37 - 1.48*x9*x39 + 1.44*x9*x40
     + 1.74*x9*x42 - 0.38*x9*x45 - 0.42*x9*x46 + x9*x48 - 0.72*x9*x49 + 0.96*
    x49 + 1.78*x9*x50 - 1.52*x9*x52 + 1.58*x9*x53 - 1.98*x9*x54 + 0.1*x9*x55 + 
    1.5*x9*x58 + 1.82*x9*x59 + 1.24*x9*x60 + 0.98*x10^2 + 1.38*x10*x14 - 0.48*
    x10*x16 - x10*x20 - 0.34*x10*x21 + 0.52*x10*x22 - 1.04*x10*x25 - 0.48*x10*
    x27 + 1.36*x10*x33 + 1.02*x10*x34 - 2*x10*x37 - 0.8*x10*x38 - 0.38*x10*x40
     + 0.46*x10*x41 + 0.78*x10*x42 + 1.42*x10*x46 + 0.66*x10*x47 - 0.92*x10*x48
     + 1.04*x10*x49 + 1.34*x10*x51 - 1.78*x10*x52 - 0.62*x10*x55 - 1.98*x10*x56
     - 0.12*x10*x57 + 1.12*x10*x58 + 0.17*x11^2 + 1.12*x11*x13 - 1.02*x11*x15
     + 1.52*x11*x16 - 1.56*x11*x19 + 0.12*x11*x20 - 1.96*x11*x22 - 0.02*x11*x23
     + 1.2*x11*x24 - 1.06*x11*x25 - 1.4*x11*x26 - 1.84*x11*x28 - 0.72*x11*x31
     + 0.18*x11*x32 - 0.66*x11*x34 + 1.72*x11*x37 + 0.4*x11*x39 - 0.72*x11*x44
     - 1.32*x11*x46 - 0.7*x11*x47 + 1.54*x11*x51 - 1.88*x11*x54 + 0.84*x11*x55
     - 0.46*x11*x56 + 1.56*x11*x57 - 0.44*x11*x58 + 0.69*x12^2 - 0.42*x12*x18
     + 1.54*x12*x20 - 1.32*x12*x21 - 1.64*x12*x22 + 0.18*x12*x23 - 0.66*x12*x25
     + 0.66*x12*x26 + 0.48*x12*x27 + 0.72*x12*x28 + 1.24*x12*x32 - 1.78*x12*x33
     - 0.44*x12*x34 + 1.42*x12*x36 - 0.18*x12*x39 - 1.76*x12*x40 + 0.42*x12*x42
     - 0.92*x12*x44 + 0.92*x12*x45 + 1.64*x12*x46 - 0.68*x12*x48 + 0.16*x12*x49
     - 0.84*x12*x50 + x12*x53 - 1.98*x12*x61 + 0.87*x13^2 - 0.02*x13*x15 + 1.26
    *x13*x16 + 0.2*x13*x18 + 0.48*x13*x19 + 1.64*x13*x22 + 1.54*x13*x25 + 0.78*
    x13*x26 - 0.78*x13*x28 - 0.94*x13*x34 + 1.02*x13*x37 + 1.78*x13*x44 + 1.54*
    x13*x45 - 1.34*x13*x47 - 0.66*x13*x51 + 1.7*x13*x54 - 0.18*x13*x59 + 1.54*
    x13*x60 - 0.54*x13*x61 + 0.48*x14^2 + 0.74*x14*x15 - 0.2*x14*x16 + 1.96*x14
    *x19 + 0.94*x14*x20 + 0.78*x14*x21 + 0.58*x14*x24 - 0.32*x14*x25 + 0.36*x14
    *x27 + 1.86*x14*x33 + 1.04*x14*x34 - 1.82*x14*x35 + 0.68*x14*x36 + 0.08*x14
    *x38 + 1.48*x14*x39 - 0.7*x14*x40 - 1.86*x14*x41 - 1.92*x14*x42 + 1.78*x14*
    x47 - 1.6*x14*x48 - 1.7*x14*x49 - 1.42*x14*x52 - 0.44*x14*x53 - 0.42*x14*
    x54 + 0.88*x14*x57 + 1.84*x14*x60 - 0.44*x14*x61 + 0.3*x15^2 - 0.58*x15*x19
     + 1.34*x15*x21 - 0.12*x15*x22 + 0.12*x15*x23 + 0.78*x15*x24 - 1.1*x15*x25
     + 1.48*x15*x27 + 0.58*x15*x28 - 1.88*x15*x29 - 1.34*x15*x31 + 0.16*x15*x36
     - 1.88*x15*x39 + 1.12*x15*x43 - 1.7*x15*x48 + 1.36*x15*x50 - 1.68*x15*x52
     - 1.14*x15*x53 - 0.06*x15*x56 - 0.96*x16*x19 + 0.84*x16*x21 - 1.12*x16*x29
     + 0.02*x16*x31 - 0.48*x16*x33 + 0.24*x16*x35 - 1.26*x16*x37 - 1.1*x16*x42
     + 0.42*x16*x44 + 0.1*x16*x48 - 1.48*x16*x49 + 0.54*x16*x50 + 1.42*x16*x57
     - 0.36*x16*x60 + 1.02*x16*x61 - 0.62*x17*x20 + 0.6*x17*x22 + 0.4*x17*x27
     - 1.08*x17*x28 - 0.84*x17*x29 - 1.7*x17*x32 + 1.76*x17*x33 - 1.44*x17*x34
     - 1.4*x17*x35 - 1.1*x17*x36 + 1.18*x17*x37 + 1.76*x17*x38 + 1.24*x17*x39
     + 0.18*x17*x40 + 1.2*x17*x44 - 1.02*x17*x45 - 0.08*x17*x53 - 1.72*x17*x55
     + 1.76*x17*x59 + 0.72*x17*x60 + 0.62*x17*x61 + 0.74*x18^2 + 0.02*x18*x19
     - 0.2*x18*x21 - 1.32*x18*x25 - 0.04*x18*x26 + 1.12*x18*x27 + 0.12*x18*x28
     + 1.7*x18*x29 - 1.08*x18*x30 + 1.04*x18*x35 - 0.16*x18*x38 - 0.62*x18*x39
     + 1.88*x18*x41 + 1.46*x18*x42 + 1.76*x18*x44 + 1.82*x18*x45 + 0.62*x18*x48
     + 1.1*x18*x50 - 1.76*x18*x51 - 1.78*x18*x52 - 1.26*x18*x54 + 1.5*x18*x55
     - 1.68*x18*x59 - 0.15*x19^2 - 1.54*x19*x21 + 0.14*x19*x22 + x19*x24 - 0.7*
    x19*x25 + 1.16*x19*x26 + 1.48*x19*x30 + 1.98*x19*x31 + 1.9*x19*x32 + 0.14*
    x19*x37 + 1.78*x19*x38 + 1.64*x19*x39 + 1.42*x19*x40 + 1.14*x19*x41 - 0.04*
    x19*x43 + 1.76*x19*x46 - 0.32*x19*x47 + 1.98*x19*x48 + 0.06*x19*x50 - 0.74*
    x19*x53 + 1.88*x19*x55 + 0.54*x19*x57 + 1.88*x19*x59 - 0.34*x19*x60 + 0.4*
    x20^2 + 0.86*x20*x21 - 1.94*x20*x22 - 0.06*x20*x23 + 1.3*x20*x24 - 0.48*x20
    *x26 - 0.52*x20*x28 + 1.64*x20*x32 - 0.94*x20*x33 + 0.1*x20*x34 - 0.42*x20*
    x38 - 0.86*x20*x39 - 0.44*x20*x40 + 0.78*x20*x41 - 0.46*x20*x42 - 0.28*x20*
    x46 - 0.58*x20*x47 - 0.36*x20*x50 + 0.12*x20*x52 - 1.96*x20*x54 + 0.64*x20*
    x58 - 0.42*x21^2 - 0.8*x21*x22 + 0.08*x21*x23 - 0.08*x21*x24 + 1.26*x21*x26
     + 0.32*x21*x29 - 0.42*x21*x30 - 1.8*x21*x33 + 0.82*x21*x34 + 0.44*x21*x36
     + 0.82*x21*x38 - 1.72*x21*x40 - 0.76*x21*x41 - 0.7*x21*x43 - 1.14*x21*x44
     + 1.06*x21*x45 - 0.58*x21*x46 - 1.3*x21*x48 - 1.12*x21*x50 - 1.46*x21*x53
     - 1.58*x21*x56 + 1.34*x21*x58 + 0.64*x21*x60 - 1.06*x22*x25 + 1.16*x22*x27
     - 1.34*x22*x29 - 1.48*x22*x30 + 1.86*x22*x31 + 1.36*x22*x36 + 0.34*x22*x37
     - 1.8*x22*x42 - 1.04*x22*x44 + 0.1*x22*x46 - 1.34*x22*x48 - 1.1*x22*x51 + 
    0.56*x22*x57 + 0.12*x22*x58 - 0.94*x22*x59 + 1.68*x23*x25 + 1.66*x23*x29 - 
    1.88*x23*x30 - 0.54*x23*x32 + 1.06*x23*x33 - 0.68*x23*x34 - 1.18*x23*x35 + 
    0.56*x23*x38 + 1.58*x23*x41 + 1.14*x23*x42 + 0.56*x23*x45 + 1.88*x23*x46 - 
    1.78*x23*x52 - 0.62*x23*x53 + 0.76*x23*x54 - 0.88*x23*x55 - 1.58*x23*x56 - 
    1.88*x23*x58 - 1.74*x23*x59 - 0.48*x23*x61 - 0.7*x24*x28 + 0.8*x24*x30 + 
    0.02*x24*x31 - 0.34*x24*x32 - 0.62*x24*x34 + 1.7*x24*x35 + 0.08*x24*x38 + 
    0.3*x24*x39 - 0.2*x24*x40 - 0.02*x24*x41 + 0.1*x24*x42 - 0.9*x24*x44 + 1.64
    *x24*x45 + 1.24*x24*x46 + 1.64*x24*x48 - 0.58*x24*x50 - 1.66*x24*x52 - 0.22
    *x24*x53 + 1.58*x24*x55 + 0.46*x24*x57 - 1.7*x24*x60 - 0.62*x25^2 + 1.08*
    x25*x26 - 0.24*x25*x27 + 0.42*x25*x32 - 1.42*x25*x34 + 1.68*x25*x35 - 1.84*
    x25*x36 + 1.62*x25*x38 - 1.68*x25*x39 + 1.62*x25*x43 + 0.02*x25*x44 + 0.52*
    x25*x47 + 1.12*x25*x51 - 1.34*x25*x56 + 1.58*x25*x57 + 1.02*x25*x60 - 1.56*
    x25*x61 - 0.44*x26^2 + 0.56*x26*x27 - 1.82*x26*x28 - 0.14*x26*x30 + 1.26*
    x26*x32 - 0.34*x26*x33 - 1.8*x26*x35 + 0.02*x26*x36 + 1.32*x26*x37 - 0.44*
    x26*x38 - 1.46*x26*x39 + 1.12*x26*x40 - 0.18*x26*x41 + 1.36*x26*x42 + 1.74*
    x26*x43 - 0.12*x26*x48 + 1.28*x26*x49 + 1.28*x26*x50 + 0.38*x26*x55 - 1.72*
    x26*x56 + 0.94*x26*x58 - 1.62*x26*x61 - 1.86*x27*x31 - 1.12*x27*x33 - 0.88*
    x27*x35 + 1.96*x27*x36 - 0.52*x27*x37 + 0.54*x27*x38 + 0.02*x27*x39 - 1.24*
    x27*x42 + 0.54*x27*x43 + 1.42*x27*x46 + 1.8*x27*x48 + 1.46*x27*x49 - 0.5*
    x27*x51 + 0.54*x27*x55 + 1.7*x27*x56 - 1.48*x27*x57 - 0.26*x27*x58 + 0.58*
    x27*x60 + 0.22*x27*x61 - 0.02*x28^2 + 0.74*x28*x29 + 1.4*x28*x30 - 1.14*x28
    *x34 - 1.82*x28*x35 + 0.46*x28*x38 + 0.78*x28*x40 + 0.9*x28*x45 - 1.02*x28*
    x46 + 1.54*x28*x51 - 1.66*x28*x52 - 0.42*x28*x54 - 1.16*x28*x57 - 1.08*x28*
    x60 - 0.2*x29^2 - 1.78*x29*x31 - 1.04*x29*x32 + 0.78*x29*x34 - 0.68*x29*x35
     + 1.08*x29*x38 + 0.8*x29*x39 + 1.8*x29*x40 - 1.5*x29*x42 - 0.38*x29*x44 - 
    0.18*x29*x48 + 0.9*x29*x50 - 1.74*x29*x54 - 0.82*x29*x55 - 1.46*x29*x56 + 
    1.12*x29*x59 - 1.38*x29*x61 + 0.18*x30*x35 - 0.94*x30*x36 + 1.8*x30*x40 - 
    1.84*x30*x41 + 0.6*x30*x42 + 1.3*x30*x43 - 0.22*x30*x46 + 0.62*x30*x47 - 
    1.4*x30*x49 + 1.46*x30*x50 + 0.2*x30*x51 + 1.42*x30*x57 - 0.06*x30*x61 - 
    0.65*x31^2 - 1.14*x31*x34 - 2*x31*x36 - 1.62*x31*x37 - 1.82*x31*x40 - 0.42*
    x31*x41 + 1.68*x31*x43 + 1.14*x31*x44 + 0.16*x31*x45 - 0.36*x31*x46 + 1.76*
    x31*x50 + 1.3*x31*x52 - 0.56*x31*x53 - 0.06*x31*x54 + x31*x55 + 1.28*x31*
    x57 - 1.58*x31*x58 - 1.48*x31*x61 - 1.68*x32*x39 + 1.76*x32*x40 + 1.72*x32*
    x42 + 0.06*x32*x44 - 0.6*x32*x46 - 0.42*x32*x49 + 1.88*x32*x50 + 1.54*x32*
    x52 + 0.54*x32*x53 - 1.7*x32*x54 - 0.42*x32*x57 + 0.94*x32*x60 - 0.76*x32*
    x61 - 0.53*x33^2 - 0.82*x33*x35 + 0.94*x33*x40 + 1.38*x33*x41 + 1.14*x33*
    x42 - 0.12*x33*x43 - 1.48*x33*x44 + 1.78*x33*x53 + 1.26*x33*x56 - 1.16*x33*
    x59 + 1.34*x33*x60 + 1.72*x33*x61 + 0.94*x34^2 - 0.16*x34*x36 - 1.28*x34*
    x37 + 1.44*x34*x39 - 1.14*x34*x41 + 0.68*x34*x42 + 1.04*x34*x49 - 1.1*x34*
    x50 - 0.54*x34*x51 - 1.56*x34*x56 - 0.72*x34*x58 + 1.2*x34*x59 - 0.06*x34*
    x60 - 0.34*x35^2 - 0.2*x35*x36 - 1.42*x35*x37 - 1.54*x35*x39 + 0.86*x35*x40
     + 0.72*x35*x41 + 0.18*x35*x45 + 0.4*x35*x50 - 1.24*x35*x56 + 0.9*x35*x58
     - 0.2*x35*x60 - 0.91*x36^2 - 0.36*x36*x38 + 1.82*x36*x39 - 0.3*x36*x42 + 
    0.82*x36*x43 + 0.18*x36*x44 + 0.82*x36*x46 + 1.9*x36*x49 - 1.64*x36*x51 - 
    1.28*x36*x61 - 1.24*x37*x41 + 1.66*x37*x42 - 0.22*x37*x47 + 1.42*x37*x48 - 
    1.4*x37*x49 - 1.38*x37*x52 + 1.34*x37*x54 - 1.36*x37*x56 + 1.46*x37*x57 - 
    0.06*x37*x61 + 0.7*x38^2 + 1.18*x38*x39 - 0.04*x38*x40 + 0.06*x38*x41 + 
    1.46*x38*x47 - 1.1*x38*x48 - 1.36*x38*x49 + 0.74*x38*x51 - 0.66*x38*x54 + 
    1.64*x38*x57 + 1.08*x38*x60 - 1.94*x38*x61 + 1.5*x39*x42 - 0.02*x39*x45 + 
    0.64*x39*x47 - 1.4*x39*x49 - 0.44*x39*x50 + x39*x51 + 1.88*x39*x52 + 0.28*
    x39*x55 - 0.42*x39*x57 - 1.64*x40*x44 - 0.04*x40*x45 + 1.2*x40*x48 - 0.78*
    x40*x49 - 1.84*x40*x50 - 0.54*x40*x53 + 1.74*x40*x60 - 1.72*x40*x61 + 0.94*
    x41*x42 + 0.18*x41*x45 - 1.28*x41*x46 - 1.18*x41*x47 - 0.24*x41*x48 + 0.64*
    x41*x49 - 1.44*x41*x50 - 1.56*x41*x51 - 0.22*x41*x54 - 0.34*x41*x56 + 0.48*
    x41*x61 - 0.66*x42*x44 + 1.7*x42*x50 - 1.02*x42*x51 + 1.38*x42*x52 - 1.82*
    x42*x53 + 0.54*x42*x54 - 0.04*x42*x56 - 0.28*x42*x58 - 0.56*x42*x60 + 0.02*
    x43^2 + 0.46*x43*x44 - 0.38*x43*x51 + 1.08*x43*x52 - 1.04*x43*x53 + 1.34*
    x43*x55 + 1.92*x43*x56 - 0.66*x43*x57 - 0.66*x43*x58 + 0.4*x43*x61 - 0.12*
    x44*x46 - 0.64*x44*x48 - 0.2*x44*x49 - 0.7*x44*x50 - 1.98*x44*x53 + 1.62*
    x44*x54 - 0.42*x44*x56 + 1.12*x44*x58 + 0.12*x44*x59 + 0.2*x44*x60 - 0.96*
    x44*x61 - 0.18*x45^2 + 1.82*x45*x46 - 0.92*x45*x47 + 1.58*x45*x48 + 0.44*
    x45*x49 - 1.28*x45*x50 - 0.96*x45*x51 + 1.56*x45*x53 + 1.68*x45*x54 - 1.08*
    x45*x56 + 0.8*x45*x57 + 0.66*x45*x59 - 0.4*x45*x61 - 0.21*x46^2 - 1.02*x46*
    x50 - 0.9*x46*x53 + 1.44*x46*x56 + 0.74*x46*x57 - 0.26*x46*x59 - 0.52*x46*
    x60 - 1.9*x46*x61 - 0.13*x47^2 - 0.84*x47*x48 - 0.3*x47*x50 + 1.5*x47*x52
     + 0.88*x47*x54 - 0.06*x47*x56 - 0.7*x47*x57 + 0.12*x48^2 + 1.22*x48*x49 + 
    1.94*x48*x52 - 0.38*x48*x53 + 0.46*x48*x54 + 0.08*x48*x56 - 1.46*x48*x58 - 
    1.34*x48*x61 - 1.24*x49*x54 - 0.56*x49*x55 + 1.2*x49*x59 + 0.34*x49*x60 + 
    0.01*x50^2 - 0.16*x50*x51 + 1.72*x50*x52 + 1.16*x50*x54 - 0.92*x50*x59 - 
    0.98*x50*x60 + 0.04*x50*x61 - 0.7*x51*x53 + 1.44*x51*x54 - 0.4*x51*x56 - 
    0.7*x51*x58 + 0.06*x51*x60 - 1.12*x52*x54 - 0.86*x52*x56 - 1.62*x52*x57 - 
    0.4*x52*x59 + 0.54*x52*x60 + 0.58*x52*x61 - 0.13*x53^2 - 0.9*x53*x55 + 1.64
    *x53*x56 + 0.92*x53*x57 - 1.4*x53*x58 - 1.76*x53*x60 - 1.56*x53*x61 - 0.36*
    x54*x55 + 1.38*x54*x58 - 1.46*x54*x59 - 0.56*x54*x60 + 0.26*x54*x61 + 1.68*
    x55*x57 + 0.08*x55*x58 - 1.18*x55*x61 + 0.46*x56*x57 - 0.92*x56*x58 - 0.24*
    x56*x60 + 1.62*x56*x61 - 0.3*x57^2 + 1.28*x57*x59 - 0.66*x57*x60 + 1.52*x57
    *x61 + 0.56*x58^2 + 1.66*x58*x59 - 0.4*x58*x60 - 0.72*x58*x61 + 0.16*x60^2
     + 0.18*x61^2;

subject to

e2:  - 0.87*x2 - 0.34*x3 + 0.34*x4 + 0.79*x5 + x6 + 0.39*x7 + 0.82*x8 - 0.56*x9
     - 0.14*x10 - 0.95*x11 + 0.58*x12 + 0.43*x13 - 0.32*x14 + x15 + 0.45*x16
     - 0.06*x17 - 0.45*x18 - 0.4*x19 - 0.67*x20 - 0.74*x21 + 0.15*x22
     + 0.85*x23 - 0.37*x24 - 0.62*x25 - 0.33*x26 - 0.85*x27 - 0.67*x28
     - 0.67*x29 - 0.59*x30 + 0.32*x31 - 0.11*x32 - 0.43*x33 + 0.62*x34
     + 0.36*x35 - 0.7*x36 + 0.7*x37 - 0.38*x39 - 0.47*x40 + 0.83*x41 + 0.67*x42
     - 0.68*x43 + 0.05*x44 + 0.63*x45 - 0.37*x46 - 0.02*x47 - 0.9*x48
     - 0.77*x49 + 0.95*x50 + 0.42*x51 - 0.49*x52 - 0.43*x53 + 0.08*x54
     - 0.99*x55 + 0.22*x56 + 0.65*x57 + 0.84*x58 - 0.55*x59 + 0.13*x60
     - 0.38*x61 = 0.4;

e3:  - 0.89*x2 + 0.26*x3 + 0.85*x4 + 0.28*x5 - 0.74*x6 + 0.44*x7 + 0.08*x8
     - 0.54*x9 - 0.07*x10 - 0.7*x11 + 0.51*x12 - 0.99*x13 + 0.67*x14 + 0.54*x15
     + 0.79*x16 - 0.61*x17 - 0.1*x18 - 0.13*x19 + 0.19*x20 + 0.77*x21
     - 0.38*x22 - 0.19*x23 + 0.1*x24 - 0.3*x25 - 0.12*x26 - 0.98*x27 - 0.71*x28
     - 0.77*x29 + 0.03*x30 + 0.67*x31 + 0.54*x32 - 0.34*x33 + 0.39*x34
     + 0.37*x35 + 0.56*x36 - 0.96*x37 - 0.56*x38 - 0.19*x39 - 0.64*x40
     + 0.66*x41 - 0.86*x42 - 0.78*x43 - 0.14*x44 - 0.5*x45 + 0.21*x46
     - 0.93*x47 + 0.72*x48 + 0.57*x49 + 0.44*x50 + 0.29*x51 + 0.03*x52
     - 0.53*x53 - 0.89*x54 + 0.25*x55 - 0.06*x56 + 0.27*x57 + 0.88*x58
     - 0.34*x59 - 0.38*x60 + 0.31*x61 = -0.69;

e4:  - 0.8*x2 - 0.71*x3 + 0.26*x4 - 0.85*x5 + 0.37*x6 + 0.87*x7 + 0.57*x8
     - 0.07*x9 + 0.37*x10 + 0.91*x11 - 0.53*x12 - 0.2*x13 - 0.91*x14 - 0.44*x15
     - 0.54*x16 - 0.05*x17 + 0.11*x18 + 0.27*x19 + 0.98*x20 - 0.03*x21
     + 0.25*x22 + 0.05*x23 + 0.51*x24 - 0.25*x25 + 0.53*x26 + x27 - 0.12*x28
     - 0.12*x29 + 0.39*x30 - 0.74*x31 + 0.11*x32 + 0.95*x33 - 0.71*x34
     + 0.45*x35 - 0.29*x36 + 0.28*x37 + 0.33*x38 + 0.97*x39 - 0.97*x40
     - 0.07*x41 - 0.15*x42 - x43 - 0.77*x44 + 0.4*x45 - 0.18*x46 - 0.42*x47
     + 0.26*x48 + 0.7*x49 + 0.39*x50 - 0.79*x51 + 0.73*x52 + 0.14*x53
     - 0.32*x54 + 0.43*x55 + 0.18*x56 - 0.63*x57 - 0.67*x58 + 0.74*x59
     - 0.71*x60 - 0.11*x61 = 0.02;

e5:  - 0.76*x2 + 0.79*x3 - 0.89*x4 - 0.81*x5 + 0.79*x6 + 0.32*x7 - 0.05*x8
     + 0.93*x9 - 0.71*x10 + 0.37*x11 - 0.06*x12 - 0.76*x13 + 0.02*x14
     + 0.24*x15 - 0.31*x16 - 0.87*x17 - 0.04*x18 - 0.84*x19 + 0.5*x20
     + 0.26*x21 - 0.06*x22 - x23 - 0.86*x24 + 0.97*x25 + 0.18*x26 + 0.83*x27
     + 0.85*x28 + 0.33*x29 + 0.81*x30 - x31 + 0.35*x32 + 0.04*x33 + 0.65*x34
     + 0.63*x35 - 0.24*x36 - 0.28*x38 + 0.67*x39 + 0.28*x40 - 0.5*x41
     + 0.54*x42 + 0.17*x43 + 0.54*x44 - 0.09*x45 + 0.72*x46 + 0.34*x47
     + 0.65*x48 - 0.45*x49 - 0.4*x50 - 0.26*x51 + 0.52*x52 - 0.7*x53 + 0.33*x54
     + 0.59*x55 + 0.05*x56 + 0.75*x57 + 0.56*x58 - 0.5*x59 + 0.4*x60 + 0.65*x61
     = 0.13;

e6:    0.16*x2 - 0.7*x3 - 0.56*x4 + 0.46*x5 - 0.07*x6 + 0.82*x7 - 0.49*x8
     - 0.89*x9 - 0.73*x10 + 0.85*x11 - 0.21*x12 + 0.74*x13 + 0.82*x14 - 0.4*x15
     + 0.52*x16 + 0.25*x17 - 0.98*x18 + 0.45*x19 - 0.72*x20 - 0.81*x21
     + 0.13*x22 - 0.43*x23 + 0.04*x24 - 0.91*x25 - 0.39*x26 + 0.99*x27
     - 0.33*x28 + 0.09*x29 + 0.51*x30 + 0.65*x31 - 0.09*x32 + 0.51*x33
     + 0.77*x34 + 0.01*x35 - 0.12*x36 + 0.19*x37 + 0.53*x38 - 0.48*x39
     + 0.08*x40 - 0.73*x41 - 0.42*x42 + 0.79*x43 + 0.22*x44 + 0.59*x45
     - 0.77*x46 + 0.28*x47 - 0.21*x48 - 0.26*x49 - 0.46*x50 + 0.18*x51
     + 0.92*x52 + 0.6*x53 + 0.82*x54 - 0.07*x55 + 0.45*x56 + 0.3*x57 + 0.32*x58
     - 0.14*x59 + 0.1*x60 - 0.35*x61 = -0.92;

e7:  - 0.3*x2 - 0.42*x3 + 0.52*x4 - 0.23*x5 + 0.9*x6 + 0.48*x7 - 0.26*x8
     - 0.35*x9 + 0.63*x10 + 0.78*x11 - 0.93*x12 - 0.06*x13 + 0.39*x14
     + 0.84*x15 - 0.43*x16 + 0.82*x17 + 0.86*x18 - 0.87*x19 + 0.04*x20
     + 0.28*x21 + 0.45*x22 - 0.94*x23 - 0.16*x24 + 0.71*x25 - 0.14*x26
     - 0.54*x27 + 0.49*x28 + 0.18*x29 - 0.05*x30 - 0.08*x31 - 0.41*x32
     - 0.95*x33 - 0.99*x34 + 0.8*x35 + 0.22*x36 + 0.02*x37 + 0.56*x38
     - 0.55*x39 + 0.95*x41 + 0.07*x42 - 0.65*x43 - 0.23*x44 - 0.17*x45
     + 0.4*x46 + 0.17*x47 - 0.43*x48 - 0.02*x49 + 0.22*x50 + 0.55*x51
     + 0.87*x52 + 0.16*x53 - 0.47*x54 - 0.24*x55 + 0.04*x56 + 0.27*x57
     - 0.06*x58 - 0.29*x59 - 0.41*x60 - 0.06*x61 = 0.18;

e8:    0.36*x2 - 0.94*x3 + 0.11*x4 - 0.79*x5 - 0.63*x6 + 0.55*x7 + 0.84*x8
     - 0.18*x9 - 0.3*x10 - 0.91*x11 - 0.88*x12 - 0.11*x13 - 0.8*x14 + 0.08*x15
     - 0.16*x16 + 0.3*x17 - 0.58*x18 - 0.24*x19 - 0.37*x20 - 0.99*x21
     + 0.85*x22 - 0.72*x23 - 0.53*x24 + 0.43*x25 + 0.56*x26 - 0.13*x27
     - 0.75*x28 + 0.01*x29 - 0.54*x30 + 0.34*x31 - 0.57*x32 + 0.59*x33
     + 0.39*x34 - 0.55*x35 + 0.13*x36 + 0.65*x37 + 0.01*x38 - 0.26*x39
     + 0.68*x40 - 0.08*x41 + 0.69*x42 - 0.1*x43 + 0.98*x44 + 0.47*x45
     + 0.57*x46 + 0.19*x47 + 0.97*x48 + 0.26*x49 - 0.46*x50 - 0.81*x51
     + 0.49*x52 + 0.19*x53 - 0.64*x54 - 0.58*x55 - 0.92*x56 - 0.25*x57
     + 0.23*x58 + 0.91*x59 - 0.88*x60 + 0.55*x61 = -0.21;

e9:  - 0.55*x2 - 0.7*x3 - 0.25*x4 - 0.41*x5 + 0.9*x6 - 0.22*x7 + 0.07*x8
     + 0.64*x9 - 0.39*x10 - 0.98*x11 - 0.44*x12 - 0.08*x13 - 0.14*x14
     - 0.08*x15 + 0.33*x16 + 0.06*x17 + 0.96*x18 + 0.43*x19 + 0.12*x20
     + 0.14*x21 - 0.16*x22 + 0.8*x23 - 0.98*x24 - 0.37*x25 + 0.76*x26
     - 0.69*x27 + 0.22*x28 + 0.53*x29 - 0.07*x30 - 0.73*x31 - 0.21*x32
     + 0.18*x33 + 0.81*x34 - 0.33*x35 - 0.82*x36 - 0.9*x37 + 0.6*x38 + 0.9*x39
     + 0.6*x40 + 0.39*x41 - 0.7*x42 + 0.21*x43 - 0.42*x44 - 0.11*x45 - 0.47*x46
     + 0.67*x47 - 0.1*x48 + 0.76*x49 + 0.82*x50 + 0.15*x51 - 0.75*x52
     + 0.89*x53 + 0.7*x54 + 0.35*x55 + 0.23*x56 + 0.64*x57 - 0.74*x58
     - 0.05*x59 - 0.48*x60 + 0.06*x61 = -0.52;

e10:  - 0.61*x2 + 0.09*x3 - 0.92*x4 - 0.02*x5 - 0.77*x6 - 0.62*x7 - 0.99*x8
      + 0.96*x9 + 0.9*x10 - 0.98*x11 - 0.86*x12 + 0.35*x13 + 0.3*x14 - 0.01*x15
      - 0.3*x16 + 0.79*x17 - 0.37*x18 - 0.84*x19 - 0.89*x20 + 0.55*x21
      + 0.24*x22 - 0.2*x23 - 0.16*x24 - 0.01*x25 - 0.55*x26 + 0.45*x27
      - 0.47*x28 + 0.45*x29 + 0.57*x30 - 0.94*x31 + 0.98*x32 + 0.3*x33
      + 0.21*x34 - 0.28*x35 + 0.62*x36 + 0.67*x37 - 0.87*x38 + 0.63*x39
      + 0.48*x40 + 0.5*x41 - 0.45*x42 + 0.48*x43 + 0.44*x44 - 0.39*x45
      + 0.36*x46 - 0.39*x47 + 0.05*x48 - 0.59*x49 + 0.08*x50 + 0.83*x51
      - 0.53*x52 + 0.85*x53 - 0.1*x54 - 0.19*x55 - 0.39*x56 + 0.92*x57
      - 0.24*x58 + 0.55*x59 - 0.6*x60 + 0.6*x61 = 0.92;

e11:  - 0.7*x2 + 0.87*x3 - 0.23*x4 + 0.76*x5 + 0.22*x6 - 0.07*x8 - 0.06*x9
      + 0.2*x10 + 0.76*x11 + 0.77*x12 - 0.97*x13 + 0.23*x14 - 0.96*x15
      - 0.63*x16 - 0.79*x17 - 0.86*x18 - 0.08*x19 + 0.25*x20 + 0.91*x21
      - 0.55*x22 - 0.39*x23 - 0.5*x24 + 0.2*x25 - 0.86*x26 + 0.99*x27
      + 0.44*x28 + 0.56*x29 - 0.62*x30 - 0.6*x31 + 0.11*x32 - 0.37*x33
      - 0.43*x34 - 0.95*x35 + 0.9*x36 + 0.31*x37 - 0.72*x38 + 0.13*x39
      + 0.72*x40 - 0.92*x41 - 0.66*x42 - 0.91*x43 + 0.89*x44 - 0.08*x45
      + 0.3*x46 - 0.3*x47 + 0.23*x48 + 0.68*x49 + 0.75*x50 + 0.82*x51
      - 0.98*x52 + 0.98*x53 - 0.38*x54 - 0.32*x55 + 0.49*x56 - 0.92*x57
      + 0.79*x58 + 0.38*x59 + 0.63*x60 - 0.59*x61 = 0.08;

e12:    0.92*x2 + 0.1*x3 - 0.78*x4 + 0.92*x5 + 0.54*x6 + 0.03*x7 + 0.56*x8
      + 0.4*x9 + 0.37*x10 + 0.03*x11 - 0.73*x12 - 0.6*x13 - 0.48*x14 + 0.87*x15
      - 0.07*x16 + 0.35*x17 + 0.07*x18 + 0.45*x19 + 0.6*x20 - 0.26*x21
      - 0.49*x22 + 0.48*x23 - 0.67*x24 - 0.23*x25 + 0.23*x26 - 0.04*x27
      - 0.04*x28 - 0.71*x29 - 0.56*x30 + 0.39*x31 - 0.52*x32 + 0.17*x33
      - 0.41*x34 - 0.92*x35 - 0.11*x36 + 0.24*x37 + 0.59*x38 - 0.56*x39
      - 0.89*x40 + 0.94*x41 - 0.69*x42 - 0.5*x43 - 0.7*x44 - 0.98*x45
      + 0.85*x46 - 0.69*x47 + 0.08*x48 - 0.34*x49 + 0.72*x50 + 0.96*x51
      + 0.16*x52 - 0.72*x53 + 0.51*x54 - 0.98*x55 - 0.98*x56 + 0.42*x57
      + 0.88*x58 + 0.51*x59 + 0.3*x60 + 0.05*x61 = -0.46;

e13:    0.07*x2 + 0.13*x3 + 0.68*x4 - 0.47*x5 + 0.63*x6 + 0.92*x7 - 0.52*x8
      + 0.07*x9 + 0.28*x10 + 0.08*x11 + 0.2*x12 - 0.11*x13 + 0.94*x14
      + 0.81*x15 + 0.78*x16 - 0.31*x17 + 0.56*x18 - 0.03*x19 + 0.36*x20
      + 0.33*x21 + 0.68*x22 + 0.94*x23 - 0.99*x24 - 0.33*x25 + 0.46*x26
      + 0.65*x27 + 0.15*x28 + 0.12*x29 + 0.97*x30 - 0.33*x31 + 0.27*x32
      - 0.08*x33 + 0.77*x34 + 0.73*x35 - 0.27*x36 + 0.54*x37 + 0.13*x38
      - 0.84*x39 + 0.66*x40 + 0.15*x41 - 0.91*x42 + 0.03*x43 - 0.51*x44
      + 0.28*x45 - 0.27*x46 + 0.52*x47 - 0.29*x48 - 0.7*x49 - 0.63*x50
      - 0.87*x51 - 0.69*x52 - 0.53*x53 - 0.85*x54 + 0.31*x55 + 0.3*x56
      + 0.82*x57 - 0.97*x58 - 0.95*x59 - 0.81*x60 + 0.9*x61 = -0.07;

e14: (-0.09*x2^2) - 0.45*x2 + 1.76*x4*x2 - 0.69*x4 + 1.58*x5*x2 + 0.79*x5 - 0.4
     *x8*x2 + 0.31*x8 - 1.4*x10*x2 + 0.21*x10 + 0.98*x15*x2 - 0.99*x15 + 0.22*
     x20*x2 + 0.39*x20 + 1.56*x22*x2 - 0.81*x22 - 1.02*x24*x2 + 0.03*x24 - 1.34
     *x25*x2 + 0.39*x25 + 0.66*x28*x2 + 0.86*x28 - 0.02*x32*x2 + 0.02*x32 - 0.4
     *x33*x2 - 0.86*x33 + 1.96*x37*x2 - 0.99*x37 + 0.12*x40*x2 - 0.3*x40 - 1.28
     *x41*x2 + 0.33*x41 - 1.44*x42*x2 + 0.13*x42 + 0.6*x43*x2 + 0.21*x43 + 1.26
     *x45*x2 + 0.76*x45 + 0.3*x47*x2 - 0.84*x47 - 1.26*x55*x2 - 0.83*x55 - 1.76
     *x60*x2 - 0.88*x60 - 0.4*x5*x3 - 0.68*x3 - x6*x3 + 0.84*x6 - 0.12*x7*x3 + 
     0.02*x7 - 1.96*x12*x3 + 0.37*x12 - 1.46*x15*x3 - 0.74*x19*x3 + 0.64*x19 - 
     0.86*x22*x3 + 1.3*x24*x3 + 0.38*x26*x3 - 0.12*x26 - 1.24*x27*x3 + 0.64*x27
      + 0.92*x31*x3 - 0.25*x31 + 1.7*x34*x3 + 0.33*x34 - 0.62*x38*x3 - 0.53*x38
      - 1.6*x40*x3 - 0.56*x41*x3 - 0.48*x42*x3 - 1.5*x44*x3 + 0.59*x44 + 0.42*
     x48*x3 - 0.63*x48 + 0.26*x50*x3 + 0.29*x50 + 1.94*x51*x3 - 0.99*x51 - 0.2*
     x53*x3 + 0.45*x53 - 0.46*x58*x3 - 0.06*x58 - 0.28*x59*x3 - 0.3*x59 - 0.34*
     x4^2 - 0.72*x6*x4 - 1.62*x8*x4 + 1.56*x11*x4 - 0.91*x11 + 1.12*x13*x4 + 
     0.14*x13 - 0.2*x14*x4 + 0.03*x14 - 0.86*x15*x4 - 0.52*x16*x4 - 0.32*x16 - 
     1.34*x17*x4 - 0.53*x17 + 0.3*x19*x4 + 1.72*x20*x4 + 1.54*x22*x4 + 0.3*x23*
     x4 - 0.49*x23 + 1.9*x25*x4 + 1.9*x27*x4 - 1.76*x29*x4 + 0.27*x29 + 1.82*
     x30*x4 + 0.16*x30 - 1.44*x31*x4 - 0.18*x33*x4 - 1.74*x34*x4 - 0.76*x36*x4
      - 0.25*x36 + 1.12*x40*x4 + 0.54*x44*x4 + 0.3*x45*x4 - 0.98*x49*x4 + 0.72*
     x49 - 1.74*x50*x4 - 0.04*x56*x4 + 0.97*x56 - 1.96*x58*x4 - 0.62*x59*x4 + 
     0.58*x5^2 - 0.9*x7*x5 + 0.32*x16*x5 + 0.52*x17*x5 + 0.76*x20*x5 + 1.76*x23
     *x5 - 1.92*x24*x5 - 0.4*x25*x5 - 0.24*x28*x5 - 1.42*x30*x5 - 0.56*x31*x5
      - 0.4*x33*x5 + 1.9*x34*x5 - 0.78*x35*x5 + 0.32*x35 - 0.94*x36*x5 - 1.78*
     x39*x5 + 0.73*x39 + 0.34*x40*x5 - 0.32*x42*x5 - 1.56*x45*x5 + 1.24*x48*x5
      - 1.88*x49*x5 - 0.02*x50*x5 - 1.56*x56*x5 - 0.52*x57*x5 + 0.77*x57 - 0.14
     *x59*x5 + 0.74*x61*x5 - 0.01*x61 - 0.44*x7*x6 - 0.58*x9*x6 - 0.06*x9 - 
     0.66*x12*x6 + 0.58*x14*x6 + 0.48*x16*x6 + 0.6*x18*x6 - 0.55*x18 - 1.62*x20
     *x6 - 0.98*x22*x6 + 0.98*x24*x6 - 1.88*x26*x6 + 1.96*x27*x6 - 1.38*x29*x6
      - 1.84*x30*x6 - 0.02*x37*x6 + 1.28*x38*x6 - 0.08*x39*x6 + 0.06*x41*x6 - 
     1.02*x43*x6 + 0.56*x47*x6 + 1.2*x48*x6 + 0.26*x49*x6 + 0.22*x50*x6 + 1.58*
     x51*x6 - 1.96*x52*x6 - 0.12*x52 + x57*x6 - 0.82*x58*x6 + 1.78*x61*x6 + 0.5
     *x8*x7 - 0.66*x9*x7 + 1.94*x11*x7 + 0.92*x12*x7 + 1.58*x15*x7 + 0.68*x18*
     x7 - 1.74*x19*x7 + 0.16*x22*x7 - 1.34*x28*x7 + 1.58*x31*x7 - 1.54*x34*x7
      + 0.14*x38*x7 + 0.98*x39*x7 - 1.3*x40*x7 - 0.88*x42*x7 - 1.36*x45*x7 + 
     1.2*x46*x7 + 0.06*x46 + x49*x7 + 0.02*x50*x7 - 0.94*x56*x7 - 1.56*x57*x7
      - 0.9*x61*x7 + 0.5*x10*x8 - 0.98*x11*x8 - 1.36*x23*x8 - 1.96*x24*x8 + 
     0.66*x25*x8 - 1.2*x26*x8 - 0.2*x27*x8 - 1.7*x31*x8 + 0.2*x34*x8 + 1.58*x36
     *x8 + 1.56*x37*x8 - 1.5*x38*x8 + 0.22*x40*x8 + 1.66*x41*x8 - 1.66*x43*x8
      - 1.02*x44*x8 - 1.76*x50*x8 + 0.84*x51*x8 + 1.48*x52*x8 - 0.04*x53*x8 - 
     0.34*x54*x8 - 0.25*x54 - 1.66*x55*x8 + x59*x8 - 0.6*x60*x8 + 1.48*x61*x8
      + 0.24*x10*x9 + 1.12*x12*x9 - 1.82*x16*x9 + 0.14*x17*x9 - 1.46*x20*x9 - 
     0.6*x22*x9 - 0.28*x23*x9 + 0.98*x24*x9 + 0.5*x26*x9 + 1.38*x30*x9 + 0.62*
     x31*x9 - 1.9*x32*x9 - 0.78*x34*x9 - 0.86*x36*x9 - 1.2*x37*x9 - 0.24*x39*x9
      - 1.2*x40*x9 + 1.96*x41*x9 - 1.64*x45*x9 - 0.38*x47*x9 + 0.42*x49*x9 + 
     1.6*x50*x9 - 0.74*x51*x9 - 1.66*x52*x9 - 0.78*x57*x9 - 0.18*x58*x9 + 1.5*
     x59*x9 - 0.44*x61*x9 - 0.75*x10*x10 - 0.64*x12*x10 + 1.8*x13*x10 + 0.28*
     x16*x10 + 0.32*x17*x10 + 1.36*x23*x10 + 0.56*x25*x10 + 0.24*x28*x10 + 0.42
     *x29*x10 + 1.04*x30*x10 + 0.88*x31*x10 + 1.98*x32*x10 - 0.7*x34*x10 - 0.24
     *x35*x10 + 0.32*x36*x10 - 1.56*x37*x10 + 1.86*x38*x10 - 1.16*x41*x10 + 1.3
     *x42*x10 + 1.58*x43*x10 + 0.42*x45*x10 - 0.7*x47*x10 + 1.18*x48*x10 - 1.46
     *x49*x10 - 1.04*x51*x10 + 1.78*x54*x10 + 0.18*x58*x10 - 0.31*x11^2 + 1.52*
     x14*x11 + 0.32*x15*x11 - 1.52*x17*x11 + 1.14*x19*x11 + 1.34*x20*x11 + 0.72
     *x21*x11 - 0.84*x21 - 0.64*x22*x11 - 0.1*x23*x11 + 0.12*x29*x11 + 0.72*x31
     *x11 + 0.08*x35*x11 - 1.58*x36*x11 - 0.72*x41*x11 + 1.18*x42*x11 + 1.36*
     x45*x11 + 1.38*x46*x11 + 1.04*x47*x11 - 1.3*x48*x11 - 1.24*x49*x11 + 0.74*
     x50*x11 + 0.72*x51*x11 + 1.28*x54*x11 - 0.56*x57*x11 - 1.84*x58*x11 - 0.84
     *x59*x11 - 0.3*x60*x11 - 0.56*x14*x12 - 1.08*x16*x12 - 0.02*x17*x12 + 0.34
     *x19*x12 + 1.68*x20*x12 + 1.6*x21*x12 + 1.36*x22*x12 + 0.6*x24*x12 + 1.82*
     x25*x12 + 1.36*x27*x12 - 1.76*x30*x12 + 0.22*x31*x12 + 0.68*x33*x12 - 0.28
     *x36*x12 + 0.04*x37*x12 + 0.32*x40*x12 + 1.84*x42*x12 - 0.8*x43*x12 + 0.14
     *x46*x12 - 1.06*x48*x12 - 0.82*x51*x12 - 1.32*x52*x12 + 1.18*x57*x12 + 
     1.72*x59*x12 - 0.57*x13^2 - 0.34*x14*x13 - 0.44*x15*x13 - 1.5*x19*x13 + 
     1.86*x22*x13 - 1.64*x23*x13 + 1.12*x25*x13 - 1.6*x26*x13 - 0.8*x28*x13 - 
     0.3*x29*x13 - 0.36*x30*x13 + 0.98*x35*x13 + 1.1*x38*x13 - 1.46*x40*x13 - 
     1.38*x41*x13 - 1.92*x42*x13 + 1.02*x45*x13 + 0.48*x48*x13 + 0.58*x50*x13
      + 1.52*x53*x13 - 0.68*x55*x13 + 0.68*x56*x13 - 0.22*x57*x13 + 0.78*x58*
     x13 + 1.56*x60*x13 - 0.68*x14^2 + 1.12*x15*x14 + 1.52*x17*x14 + 1.06*x21*
     x14 + 1.9*x22*x14 - 1.76*x24*x14 + 0.48*x26*x14 - 0.2*x28*x14 + 1.94*x32*
     x14 + 1.28*x34*x14 - 0.16*x36*x14 - 0.26*x38*x14 - 0.76*x40*x14 - 0.4*x42*
     x14 + 0.4*x43*x14 - 0.16*x44*x14 + 0.1*x47*x14 - 0.64*x49*x14 - 0.46*x52*
     x14 + 0.24*x53*x14 + 1.94*x54*x14 + 1.3*x57*x14 + 0.4*x58*x14 - 1.58*x59*
     x14 + 1.6*x16*x15 + 0.78*x18*x15 + 0.86*x20*x15 + 1.48*x23*x15 + 0.18*x24*
     x15 + 0.66*x27*x15 + 1.16*x30*x15 - 1.22*x33*x15 + 1.84*x37*x15 - 1.82*x41
     *x15 - 0.6*x42*x15 - 1.9*x44*x15 + 0.98*x46*x15 - 0.22*x47*x15 - 1.2*x51*
     x15 - 0.8*x53*x15 + 0.9*x56*x15 + 0.72*x57*x15 + 1.68*x58*x15 - 0.98*x59*
     x15 + 1.68*x24*x16 + 0.62*x25*x16 - x27*x16 - 1.26*x29*x16 + 0.58*x31*x16
      - 1.36*x35*x16 - 0.54*x37*x16 + 1.32*x39*x16 - 1.08*x41*x16 - 1.58*x47*
     x16 + 0.38*x48*x16 - 0.08*x49*x16 - 0.38*x51*x16 + 1.62*x53*x16 + 0.58*x54
     *x16 + 0.04*x60*x16 + 1.7*x61*x16 - 0.5*x17^2 + 0.34*x19*x17 + 1.2*x20*x17
      + 1.38*x22*x17 + 0.56*x27*x17 - 0.82*x30*x17 - 0.5*x33*x17 - 1.98*x34*x17
      - 0.48*x35*x17 + 0.52*x38*x17 + 2*x39*x17 + 1.06*x43*x17 + 0.32*x45*x17
      - 0.18*x46*x17 - 1.8*x47*x17 + 0.22*x49*x17 - 1.5*x51*x17 - 1.98*x52*x17
      + 0.72*x53*x17 - 1.32*x56*x17 + 1.9*x59*x17 + 1.08*x60*x17 - 0.34*x18^2
      - 1.82*x20*x18 - 0.1*x21*x18 - 0.32*x26*x18 + 0.18*x29*x18 + 1.76*x33*x18
      - 0.24*x34*x18 + 1.28*x36*x18 + 0.56*x37*x18 + 0.42*x38*x18 - 1.18*x39*
     x18 + 0.82*x41*x18 + 1.2*x42*x18 + 1.6*x43*x18 - 1.02*x44*x18 - 0.86*x45*
     x18 - 0.02*x46*x18 - 1.92*x47*x18 - 1.78*x48*x18 - 1.56*x52*x18 + 0.76*x53
     *x18 + 0.5*x54*x18 - 0.66*x57*x18 - 0.94*x60*x18 + 0.37*x19^2 + 0.28*x23*
     x19 - 1.16*x26*x19 - 0.58*x28*x19 - 0.06*x30*x19 - 1.68*x31*x19 + 0.74*x34
     *x19 + 1.78*x35*x19 - 1.52*x37*x19 + 0.84*x38*x19 + 1.84*x40*x19 - 0.06*
     x41*x19 - 1.34*x43*x19 + 1.74*x44*x19 - 0.34*x45*x19 + 0.52*x47*x19 + 0.16
     *x49*x19 + 1.6*x53*x19 + 0.36*x55*x19 + 1.28*x56*x19 - 0.48*x58*x19 + 0.34
     *x59*x19 + 0.22*x61*x19 - 1.8*x21*x20 - 0.26*x22*x20 + 1.44*x23*x20 + 1.38
     *x29*x20 - 0.26*x31*x20 + 0.08*x34*x20 - 0.42*x35*x20 - 0.6*x40*x20 + 1.3*
     x41*x20 + 1.06*x42*x20 + 1.92*x44*x20 + 0.26*x45*x20 - 1.74*x49*x20 - 0.34
     *x50*x20 + 1.32*x52*x20 - 1.84*x53*x20 - 0.16*x58*x20 - 1.62*x60*x20 + 1.3
     *x61*x20 - 0.44*x21^2 + 0.94*x23*x21 + 1.8*x25*x21 + 0.4*x26*x21 + 0.52*
     x27*x21 - 0.6*x28*x21 + 1.96*x31*x21 - 1.88*x35*x21 - 0.48*x36*x21 - 0.58*
     x37*x21 - 1.64*x38*x21 + 1.7*x40*x21 + 1.54*x41*x21 - 0.36*x44*x21 + 1.92*
     x45*x21 + 0.4*x47*x21 - 1.68*x49*x21 - 0.3*x52*x21 - 0.88*x53*x21 - 0.06*
     x57*x21 - 1.2*x58*x21 - 0.32*x59*x21 - 1.9*x61*x21 - 1.9*x26*x22 - 2*x27*
     x22 - 1.02*x28*x22 - 0.94*x30*x22 + 0.6*x39*x22 + 0.18*x42*x22 + 0.68*x44*
     x22 + 1.56*x46*x22 + 0.72*x48*x22 - 1.3*x51*x22 + 1.88*x52*x22 - 1.32*x53*
     x22 + 0.52*x54*x22 - 1.78*x24*x23 + 1.04*x26*x23 - 1.82*x28*x23 + 0.48*x29
     *x23 - 1.32*x31*x23 + 0.66*x34*x23 + 1.16*x35*x23 - 1.68*x37*x23 + 0.2*x38
     *x23 - 0.08*x40*x23 + 1.94*x42*x23 - 1.4*x45*x23 + 1.7*x47*x23 + 1.6*x48*
     x23 + 0.24*x51*x23 - 1.16*x52*x23 - 1.42*x53*x23 - 1.28*x54*x23 - 0.24*x55
     *x23 - 0.14*x61*x23 - 0.1*x24^2 - 1.04*x26*x24 - 1.98*x27*x24 - 1.94*x29*
     x24 + 1.92*x32*x24 + 0.24*x36*x24 - 0.88*x37*x24 + 0.18*x38*x24 + 0.48*x40
     *x24 - 1.48*x42*x24 + 0.44*x44*x24 - 0.42*x46*x24 - 0.4*x49*x24 - 0.4*x50*
     x24 - 1.46*x51*x24 + 1.12*x54*x24 - 1.02*x56*x24 + 1.88*x57*x24 - 1.7*x58*
     x24 - 0.82*x25^2 + 0.78*x26*x25 + 1.88*x32*x25 + 1.92*x33*x25 + 0.86*x34*
     x25 - 0.46*x35*x25 - 0.1*x36*x25 - 1.3*x39*x25 - 0.8*x43*x25 + 0.72*x44*
     x25 - 1.92*x46*x25 + 1.42*x48*x25 - 0.5*x49*x25 + 0.62*x54*x25 - 0.8*x55*
     x25 + 0.94*x58*x25 - 1.44*x59*x25 + 0.72*x60*x25 - 1.3*x28*x26 + 1.9*x30*
     x26 - 1.28*x31*x26 + 1.46*x32*x26 + 0.1*x33*x26 - 1.18*x34*x26 - 0.5*x35*
     x26 + 0.14*x38*x26 - 1.14*x40*x26 + 1.58*x43*x26 + 0.24*x44*x26 + 1.06*x45
     *x26 + 1.96*x49*x26 - 0.96*x51*x26 + 0.38*x52*x26 - 1.7*x53*x26 + 1.38*x58
     *x26 - 0.48*x27^2 + 0.72*x29*x27 + 0.82*x32*x27 + 0.34*x33*x27 + 0.12*x41*
     x27 - 0.54*x42*x27 + 1.68*x43*x27 - 1.4*x45*x27 + 1.7*x48*x27 - 0.52*x49*
     x27 - 0.56*x50*x27 - 1.88*x51*x27 + x52*x27 + 0.3*x53*x27 + 0.46*x54*x27
      + 0.36*x56*x27 + 0.24*x58*x27 + 0.78*x59*x27 - 0.12*x60*x27 + 1.82*x61*
     x27 - 0.09*x28^2 + 0.6*x29*x28 + 1.8*x30*x28 + 1.3*x31*x28 + 0.36*x32*x28
      - 0.48*x36*x28 + 0.72*x39*x28 + 1.04*x40*x28 + 1.18*x41*x28 - 0.22*x44*
     x28 + 0.9*x45*x28 + 0.54*x46*x28 - 0.54*x48*x28 + 0.96*x51*x28 + 0.9*x52*
     x28 + 1.16*x53*x28 + 1.4*x55*x28 - 0.6*x58*x28 - 0.5*x59*x28 + 1.04*x61*
     x28 - 1.3*x30*x29 - 0.58*x34*x29 + 0.4*x35*x29 - 1.14*x36*x29 + 0.74*x37*
     x29 - 1.02*x39*x29 - 0.06*x40*x29 + 0.76*x41*x29 + 0.84*x43*x29 + 1.32*x44
     *x29 - 0.68*x46*x29 - 0.92*x48*x29 + 1.7*x56*x29 - 0.24*x59*x29 + 0.87*x30
     ^2 + x34*x30 + 0.48*x36*x30 + 0.2*x37*x30 - 1.74*x40*x30 + 1.58*x41*x30 - 
     1.42*x42*x30 + 0.78*x43*x30 - 0.16*x44*x30 - 1.96*x47*x30 + 0.8*x48*x30 + 
     0.1*x49*x30 + 0.36*x51*x30 + 1.94*x53*x30 + 1.2*x54*x30 - 0.56*x57*x30 - 
     0.5*x58*x30 + 0.02*x59*x30 - 0.86*x60*x30 - 1.48*x61*x30 - 0.38*x31^2 - 
     1.34*x33*x31 + 1.18*x34*x31 + 1.2*x35*x31 + 1.94*x36*x31 + 1.52*x38*x31 - 
     0.2*x39*x31 - 0.5*x41*x31 + 0.96*x45*x31 + 0.64*x46*x31 - 1.66*x49*x31 + 
     0.7*x51*x31 - 1.48*x53*x31 + 0.26*x54*x31 + 1.4*x55*x31 - 0.46*x58*x31 - 
     0.96*x59*x31 + 0.41*x32^2 + 0.04*x34*x32 + 0.46*x35*x32 - 1.28*x36*x32 - 
     1.4*x37*x32 - 1.18*x38*x32 - 0.28*x40*x32 + 1.58*x42*x32 - 0.06*x43*x32 + 
     1.04*x44*x32 + 1.12*x45*x32 + 1.76*x46*x32 - 1.5*x47*x32 + 0.84*x48*x32 - 
     1.94*x50*x32 - 0.6*x52*x32 + 0.3*x53*x32 - 0.78*x54*x32 - 1.42*x55*x32 + 
     1.62*x59*x32 - 0.4*x61*x32 + 0.76*x33^2 - 1.2*x34*x33 + 0.56*x36*x33 + 
     0.78*x37*x33 + 1.94*x38*x33 + 1.42*x39*x33 + 1.78*x41*x33 - 1.94*x42*x33
      - 0.1*x44*x33 + 1.46*x45*x33 - 1.18*x46*x33 - 1.22*x49*x33 - 1.2*x54*x33
      - 0.28*x57*x33 + 1.2*x59*x33 + 0.42*x61*x33 + 0.56*x34^2 + 1.9*x35*x34 + 
     0.74*x36*x34 - 0.46*x37*x34 - 1.8*x38*x34 - 0.78*x41*x34 + 0.56*x42*x34 - 
     0.8*x43*x34 - 0.32*x44*x34 - 0.44*x46*x34 + 1.68*x51*x34 - 1.36*x53*x34 + 
     1.38*x54*x34 - 0.4*x60*x34 + 0.39*x35^2 + 1.54*x37*x35 - 0.5*x38*x35 + 
     0.74*x41*x35 - 0.04*x42*x35 - 1.26*x44*x35 + x46*x35 - 0.7*x51*x35 + 0.9*
     x54*x35 + 0.86*x56*x35 - 1.06*x58*x35 - 1.82*x61*x35 + 0.56*x36^2 - 1.54*
     x37*x36 - 1.38*x38*x36 + 1.02*x40*x36 + 1.66*x41*x36 - 1.82*x42*x36 + 1.42
     *x45*x36 + 0.26*x46*x36 + 1.86*x50*x36 + 1.8*x51*x36 + 1.9*x52*x36 - 0.76*
     x53*x36 + 0.08*x54*x36 + 0.92*x56*x36 + 0.62*x59*x36 + 1.4*x60*x36 - 0.48*
     x37^2 - 0.48*x44*x37 + 1.54*x45*x37 + 0.96*x46*x37 + 0.12*x47*x37 + 1.06*
     x48*x37 - 0.44*x49*x37 - 1.46*x51*x37 + 0.06*x55*x37 + 1.4*x60*x37 - 0.58*
     x61*x37 + 0.8*x38^2 + 1.36*x40*x38 + 0.4*x43*x38 + 0.1*x44*x38 + 1.4*x45*
     x38 - 1.78*x47*x38 + 0.2*x49*x38 - 1.14*x51*x38 - 1.04*x52*x38 + 1.9*x53*
     x38 + 0.76*x54*x38 + 0.52*x56*x38 + 1.16*x58*x38 + 0.06*x59*x38 - 0.84*x61
     *x38 + 0.38*x39^2 + 0.52*x44*x39 - 1.3*x45*x39 + 0.04*x47*x39 - 1.28*x48*
     x39 - 1.04*x52*x39 + 1.42*x53*x39 - 1.76*x54*x39 + 0.92*x57*x39 + 0.08*x60
     *x39 + 1.88*x61*x39 + 1.62*x44*x40 - 0.4*x45*x40 + 0.02*x47*x40 - 1.78*x48
     *x40 + 0.26*x49*x40 - 0.86*x53*x40 - 1.98*x54*x40 - 0.18*x55*x40 + 0.52*
     x58*x40 - 0.7*x61*x40 + 1.48*x45*x41 + 0.9*x51*x41 + 0.06*x52*x41 - 0.92*
     x53*x41 + 1.46*x54*x41 - 1.58*x55*x41 + 1.66*x56*x41 + 1.14*x61*x41 - 0.26
     *x42^2 - 0.18*x43*x42 - 1.2*x44*x42 - 1.26*x45*x42 - 0.32*x46*x42 - 2*x48*
     x42 - 1.94*x49*x42 - 0.86*x50*x42 - 1.08*x51*x42 - 0.48*x52*x42 + 1.98*x55
     *x42 + 0.26*x56*x42 - 1.94*x57*x42 - 1.74*x60*x42 + 0.04*x44*x43 + 0.04*
     x47*x43 - 1.02*x48*x43 + 1.8*x49*x43 - 1.44*x51*x43 + 1.44*x55*x43 - 0.76*
     x57*x43 - 0.4*x59*x43 - 1.64*x60*x43 + 0.78*x61*x43 + 1.7*x46*x44 - 0.9*
     x47*x44 + 0.88*x50*x44 + 0.32*x51*x44 + 0.54*x53*x44 + 1.4*x54*x44 - 0.58*
     x55*x44 + 0.4*x56*x44 + 1.52*x59*x44 + 0.54*x48*x45 - 0.3*x49*x45 + 1.58*
     x50*x45 - 0.74*x53*x45 - 0.9*x54*x45 - 1.14*x56*x45 - 0.26*x57*x45 + 0.56*
     x59*x45 - 1.42*x48*x46 - 0.84*x49*x46 - 0.92*x51*x46 - 1.9*x53*x46 + 0.62*
     x54*x46 - 1.42*x56*x46 - 1.86*x57*x46 - 1.38*x58*x46 - 1.38*x60*x46 - 0.86
     *x47^2 - 0.58*x49*x47 - 0.82*x50*x47 - 0.06*x52*x47 + 0.76*x54*x47 + 1.28*
     x59*x47 + 0.25*x48^2 + 0.38*x50*x48 - 0.9*x52*x48 + 0.44*x53*x48 - 0.44*
     x56*x48 + 1.44*x58*x48 - 1.64*x59*x48 - 1.94*x60*x48 - 0.98*x61*x48 - 0.86
     *x53*x49 - 0.42*x54*x49 + 1.02*x56*x49 - 0.7*x57*x49 + 0.12*x59*x49 + 0.75
     *x50^2 + 0.16*x51*x50 + 0.78*x54*x50 + 1.82*x55*x50 - 1.08*x58*x50 - 1.02*
     x59*x50 + 0.03*x51^2 + 0.9*x52*x51 - 0.52*x55*x51 - 1.16*x57*x51 - 0.12*
     x58*x51 - 0.86*x60*x51 - 0.8*x61*x51 + 1.46*x53*x52 + 1.46*x54*x52 + 1.78*
     x56*x52 + 1.38*x59*x52 + 1.94*x61*x52 + 0.15*x53^2 - 0.22*x54*x53 - 0.3*
     x56*x53 - 0.24*x57*x53 - 0.24*x58*x53 + 0.74*x60*x53 + 1.7*x57*x54 + 1.82*
     x58*x54 - 0.34*x60*x54 + 0.18*x55^2 + 0.76*x56*x55 - 1.64*x57*x55 - 0.06*
     x57^2 + 2*x60*x57 - 1.72*x61*x57 - 0.6*x58^2 + 0.76*x59*x58 - 0.58*x60*x58
      - 0.6*x60*x59 - 1.62*x61*x60 - 0.95*x61^2 <= 50.57;