Min -35.07524719453752 x[1] - 29.83118787696083 x[2] - 19.979695627353085 x[3] - 51.185720350251145 x[4] - 695.4471143835076 x[5] - 447.8485786416527 x[6] - 51.561928361002444 x[7] - 13.752156984249005 x[8] - 1.0953097258489022 x[10] - 545.4085302136683 x[11] - 16.010327747910175 x[13] - 6.976196935980123 x[14] - 44.61655968695257 x[15] + 0.45500342233782054 w[2][1 to 3] + 0.23545401936507537 w[9][1 to 3] + 0.2647533407008147 w[10][1 to 3] + 0.045781651919539534 w[12][1 to 3] + 0.4488606434185405 w[13][1 to 3] + 0.0711998561604057 w[14][1 to 2] + 0.6362839933796052 w[17][1 to 3] + 0.1654087069019783 w[18][1 to 2] + 0.7458544602980135 w[19][1 to 3] + 0.05687207581607168 w[28][1 to 2]
Subject to
 δ[1,1,1] binary
 δ[1,2,1] binary
 δ[2,1,1] binary
 δ[2,2,1] binary
 δ[3,1,1] binary
 δ[3,2,1] binary
 δ[4,1,1] binary
 δ[4,2,1] binary
 δ[5,1,1] binary
 δ[5,2,1] binary
 δ[6,1,1] binary
 δ[6,2,1] binary
 δ[7,1,1] binary
 δ[7,2,1] binary
 δ[8,1,1] binary
 δ[8,2,1] binary
 δ[9,1,1] binary
 δ[9,2,1] binary
 δ[10,1,1] binary
 δ[10,2,1] binary
 δ[11,1,1] binary
 δ[11,2,1] binary
 δ[12,1,1] binary
 δ[13,1,1] binary
 δ[13,2,1] binary
 δ[14,1,1] binary
 δ[14,2,1] binary
 δ[15,1,1] binary
 δ[15,2,1] binary
 x[1]^2 - 5.75 z[1,1,1] - 2.25 z[1,1,2] = 1.0
 x[1]^3 - 12.5 z[1,2,1] - 13.5 z[1,2,2] = 1.0
 x[2]^2 - 2.4375 z[2,1,1] - 0.5625 z[2,1,2] = 1.0
 x[2]^3 - 4.46875 z[2,2,1] - 2.53125 z[2,2,2] = 1.0
 x[3]^2 - 12 z[3,1,1] - 4 z[3,1,2] = 0.0
 x[3]^3 - 32 z[3,2,1] - 32 z[3,2,2] = 0.0
 x[4]^2 - 12 z[4,1,1] - 4 z[4,1,2] = 0.0
 x[4]^3 - 32 z[4,2,1] - 32 z[4,2,2] = 0.0
 x[5]^2 - 9.9375 z[5,1,1] - 5.0625 z[5,1,2] = 1.0
 x[5]^3 - 25.03125 z[5,2,1] - 37.96875 z[5,2,2] = 1.0
 x[6]^2 - 5.75 z[6,1,1] - 2.25 z[6,1,2] = 1.0
 x[6]^3 - 12.5 z[6,2,1] - 13.5 z[6,2,2] = 1.0
 x[7]^2 - 6.75 z[7,1,1] - 2.25 z[7,1,2] = 0.0
 x[7]^3 - 13.5 z[7,2,1] - 13.5 z[7,2,2] = 0.0
 x[8]^2 - 9.9375 z[8,1,1] - 5.0625 z[8,1,2] = 1.0
 x[8]^3 - 25.03125 z[8,2,1] - 37.96875 z[8,2,2] = 1.0
 x[9]^2 - 2.4375 z[9,1,1] - 0.5625 z[9,1,2] = 1.0
 x[9]^3 - 4.46875 z[9,2,1] - 2.53125 z[9,2,2] = 1.0
 x[10]^2 - 3 z[10,1,1] - z[10,1,2] = 0.0
 x[10]^3 - 4 z[10,2,1] - 4 z[10,2,2] = 0.0
 x[11]^2 - 9.9375 z[11,1,1] - 5.0625 z[11,1,2] = 1.0
 x[11]^3 - 25.03125 z[11,2,1] - 37.96875 z[11,2,2] = 1.0
 x[12]^2 - 6.75 z[12,1,1] - 2.25 z[12,1,2] = 0.0
 x[13]^2 - 3 z[13,1,1] - z[13,1,2] = 0.0
 x[13]^3 - 4 z[13,2,1] - 4 z[13,2,2] = 0.0
 x[14]^2 - 5.75 z[14,1,1] - 2.25 z[14,1,2] = 1.0
 x[14]^3 - 12.5 z[14,2,1] - 13.5 z[14,2,2] = 1.0
 x[15]^2 - 3 z[15,1,1] - z[15,1,2] = 0.0
 x[15]^3 - 4 z[15,2,1] - 4 z[15,2,2] = 0.0
 -x[2]^3 + w[1][1 to 1] = 0.0
 -x[4]^2 + w[2][1 to 1] = 0.0
 -x[3]^3 + w[3][1 to 1] = 0.0
 -w[2][1 to 1] + w[4][1 to 1] = 0.0
 -x[4]^3 + w[5][1 to 1] = 0.0
 -x[1]^2 + w[6][1 to 1] = 0.0
 -x[5]^3 + w[7][1 to 1] = 0.0
 -x[1]^3 + w[8][1 to 1] = 0.0
 -x[3]^2 + w[9][1 to 1] = 0.0
 -w[8][1 to 1] + w[10][1 to 1] = 0.0
 -x[10]^3 + w[11][1 to 1] = 0.0
 -w[10][1 to 1] + w[12][1 to 1] = 0.0
 -x[8]^2 + w[13][1 to 1] = 0.0
 -x[2]^2 + w[14][1 to 1] = 0.0
 -w[3][1 to 1] + w[15][1 to 1] = 0.0
 -x[6]^2 + w[16][1 to 1] = 0.0
 -w[14][1 to 1] + w[17][1 to 1] = 0.0
 -w[12][1 to 1] + w[18][1 to 1] = 0.0
 -x[5]^2 + w[19][1 to 1] = 0.0
 -w[1][1 to 1] + w[20][1 to 1] = 0.0
 -x[12]^2 + w[21][1 to 1] = 0.0
 -w[20][1 to 1] + w[22][1 to 1] = 0.0
 -w[5][1 to 1] + w[23][1 to 1] = 0.0
 -w[16][1 to 1] + w[24][1 to 1] = 0.0
 -w[13][1 to 1] + w[25][1 to 1] = 0.0
 -w[18][1 to 1] + w[26][1 to 1] = 0.0
 -w[22][1 to 1] + w[27][1 to 1] = 0.0
 -w[9][1 to 1] + w[28][1 to 1] = 0.0
 -w[7][1 to 1] + w[29][1 to 1] = 0.0
 -w[6][1 to 1] + w[30][1 to 1] = 0.0
 x[1] ≥ 1.0
 x[2] ≥ 1.0
 x[3] ≥ 0.0
 x[4] ≥ 0.0
 x[5] ≥ 1.0
 x[6] ≥ 1.0
 x[7] ≥ 0.0
 x[8] ≥ 1.0
 x[9] ≥ 1.0
 x[10] ≥ 0.0
 x[11] ≥ 1.0
 x[12] ≥ 0.0
 x[13] ≥ 0.0
 x[14] ≥ 1.0
 x[15] ≥ 0.0
 x[1]^2 ≥ 1.0
 -2 x[1] + x[1]^2 ≥ -1.0
 -3 x[1] + x[1]^2 ≥ -2.25
 -4 x[1] + x[1]^2 ≥ -4.0
 -5 x[1] + x[1]^2 ≥ -6.25
 -6 x[1] + x[1]^2 ≥ -9.0
 x[1]^3 ≥ 1.0
 -3 x[1] + x[1]^3 ≥ -2.0
 -6.75 x[1] + x[1]^3 ≥ -6.75
 -12 x[1] + x[1]^3 ≥ -16.0
 -18.75 x[1] + x[1]^3 ≥ -31.25
 -27 x[1] + x[1]^3 ≥ -54.0
 x[2]^2 ≥ 1.0
 -2 x[2] + x[2]^2 ≥ -1.0
 -2.5 x[2] + x[2]^2 ≥ -1.5625
 -3 x[2] + x[2]^2 ≥ -2.25
 -3.5 x[2] + x[2]^2 ≥ -3.0625
 -4 x[2] + x[2]^2 ≥ -4.0
 x[2]^3 ≥ 1.0
 -3 x[2] + x[2]^3 ≥ -2.0
 -4.6875 x[2] + x[2]^3 ≥ -3.90625
 -6.75 x[2] + x[2]^3 ≥ -6.75
 -9.1875 x[2] + x[2]^3 ≥ -10.71875
 -12 x[2] + x[2]^3 ≥ -16.0
 x[3]^2 ≥ 0.0
 -2 x[3] + x[3]^2 ≥ -1.0
 -4 x[3] + x[3]^2 ≥ -4.0
 -6 x[3] + x[3]^2 ≥ -9.0
 -8 x[3] + x[3]^2 ≥ -16.0
 x[3]^3 ≥ 0.0
 -3 x[3] + x[3]^3 ≥ -2.0
 -12 x[3] + x[3]^3 ≥ -16.0
 -27 x[3] + x[3]^3 ≥ -54.0
 -48 x[3] + x[3]^3 ≥ -128.0
 x[4]^2 ≥ 0.0
 -2 x[4] + x[4]^2 ≥ -1.0
 -4 x[4] + x[4]^2 ≥ -4.0
 -6 x[4] + x[4]^2 ≥ -9.0
 -8 x[4] + x[4]^2 ≥ -16.0
 x[4]^3 ≥ 0.0
 -3 x[4] + x[4]^3 ≥ -2.0
 -12 x[4] + x[4]^3 ≥ -16.0
 -27 x[4] + x[4]^3 ≥ -54.0
 -48 x[4] + x[4]^3 ≥ -128.0
 x[5]^2 ≥ 1.0
 -2 x[5] + x[5]^2 ≥ -1.0
 -3.5 x[5] + x[5]^2 ≥ -3.0625
 -5 x[5] + x[5]^2 ≥ -6.25
 -6.5 x[5] + x[5]^2 ≥ -10.5625
 -8 x[5] + x[5]^2 ≥ -16.0
 x[5]^3 ≥ 1.0
 -3 x[5] + x[5]^3 ≥ -2.0
 -9.1875 x[5] + x[5]^3 ≥ -10.71875
 -18.75 x[5] + x[5]^3 ≥ -31.25
 -31.6875 x[5] + x[5]^3 ≥ -68.65625
 -48 x[5] + x[5]^3 ≥ -128.0
 x[6]^2 ≥ 1.0
 -2 x[6] + x[6]^2 ≥ -1.0
 -3 x[6] + x[6]^2 ≥ -2.25
 -4 x[6] + x[6]^2 ≥ -4.0
 -5 x[6] + x[6]^2 ≥ -6.25
 -6 x[6] + x[6]^2 ≥ -9.0
 x[6]^3 ≥ 1.0
 -3 x[6] + x[6]^3 ≥ -2.0
 -6.75 x[6] + x[6]^3 ≥ -6.75
 -12 x[6] + x[6]^3 ≥ -16.0
 -18.75 x[6] + x[6]^3 ≥ -31.25
 -27 x[6] + x[6]^3 ≥ -54.0
 x[7]^2 ≥ 0.0
 -1.5 x[7] + x[7]^2 ≥ -0.5625
 -3 x[7] + x[7]^2 ≥ -2.25
 -4.5 x[7] + x[7]^2 ≥ -5.0625
 -6 x[7] + x[7]^2 ≥ -9.0
 x[7]^3 ≥ 0.0
 -1.6875 x[7] + x[7]^3 ≥ -0.84375
 -6.75 x[7] + x[7]^3 ≥ -6.75
 -15.1875 x[7] + x[7]^3 ≥ -22.78125
 -27 x[7] + x[7]^3 ≥ -54.0
 x[8]^2 ≥ 1.0
 -2 x[8] + x[8]^2 ≥ -1.0
 -3.5 x[8] + x[8]^2 ≥ -3.0625
 -5 x[8] + x[8]^2 ≥ -6.25
 -6.5 x[8] + x[8]^2 ≥ -10.5625
 -8 x[8] + x[8]^2 ≥ -16.0
 x[8]^3 ≥ 1.0
 -3 x[8] + x[8]^3 ≥ -2.0
 -9.1875 x[8] + x[8]^3 ≥ -10.71875
 -18.75 x[8] + x[8]^3 ≥ -31.25
 -31.6875 x[8] + x[8]^3 ≥ -68.65625
 -48 x[8] + x[8]^3 ≥ -128.0
 x[9]^2 ≥ 1.0
 -2 x[9] + x[9]^2 ≥ -1.0
 -2.5 x[9] + x[9]^2 ≥ -1.5625
 -3 x[9] + x[9]^2 ≥ -2.25
 -3.5 x[9] + x[9]^2 ≥ -3.0625
 -4 x[9] + x[9]^2 ≥ -4.0
 x[9]^3 ≥ 1.0
 -3 x[9] + x[9]^3 ≥ -2.0
 -4.6875 x[9] + x[9]^3 ≥ -3.90625
 -6.75 x[9] + x[9]^3 ≥ -6.75
 -9.1875 x[9] + x[9]^3 ≥ -10.71875
 -12 x[9] + x[9]^3 ≥ -16.0
 x[10]^2 ≥ 0.0
 -x[10] + x[10]^2 ≥ -0.25
 -2 x[10] + x[10]^2 ≥ -1.0
 -3 x[10] + x[10]^2 ≥ -2.25
 -4 x[10] + x[10]^2 ≥ -4.0
 x[10]^3 ≥ 0.0
 -0.75 x[10] + x[10]^3 ≥ -0.25
 -3 x[10] + x[10]^3 ≥ -2.0
 -6.75 x[10] + x[10]^3 ≥ -6.75
 -12 x[10] + x[10]^3 ≥ -16.0
 x[11]^2 ≥ 1.0
 -2 x[11] + x[11]^2 ≥ -1.0
 -3.5 x[11] + x[11]^2 ≥ -3.0625
 -5 x[11] + x[11]^2 ≥ -6.25
 -6.5 x[11] + x[11]^2 ≥ -10.5625
 -8 x[11] + x[11]^2 ≥ -16.0
 x[11]^3 ≥ 1.0
 -3 x[11] + x[11]^3 ≥ -2.0
 -9.1875 x[11] + x[11]^3 ≥ -10.71875
 -18.75 x[11] + x[11]^3 ≥ -31.25
 -31.6875 x[11] + x[11]^3 ≥ -68.65625
 -48 x[11] + x[11]^3 ≥ -128.0
 x[12]^2 ≥ 0.0
 -1.5 x[12] + x[12]^2 ≥ -0.5625
 -3 x[12] + x[12]^2 ≥ -2.25
 -4.5 x[12] + x[12]^2 ≥ -5.0625
 -6 x[12] + x[12]^2 ≥ -9.0
 x[13]^2 ≥ 0.0
 -x[13] + x[13]^2 ≥ -0.25
 -2 x[13] + x[13]^2 ≥ -1.0
 -3 x[13] + x[13]^2 ≥ -2.25
 -4 x[13] + x[13]^2 ≥ -4.0
 x[13]^3 ≥ 0.0
 -0.75 x[13] + x[13]^3 ≥ -0.25
 -3 x[13] + x[13]^3 ≥ -2.0
 -6.75 x[13] + x[13]^3 ≥ -6.75
 -12 x[13] + x[13]^3 ≥ -16.0
 x[14]^2 ≥ 1.0
 -2 x[14] + x[14]^2 ≥ -1.0
 -3 x[14] + x[14]^2 ≥ -2.25
 -4 x[14] + x[14]^2 ≥ -4.0
 -5 x[14] + x[14]^2 ≥ -6.25
 -6 x[14] + x[14]^2 ≥ -9.0
 x[14]^3 ≥ 1.0
 -3 x[14] + x[14]^3 ≥ -2.0
 -6.75 x[14] + x[14]^3 ≥ -6.75
 -12 x[14] + x[14]^3 ≥ -16.0
 -18.75 x[14] + x[14]^3 ≥ -31.25
 -27 x[14] + x[14]^3 ≥ -54.0
 x[15]^2 ≥ 0.0
 -x[15] + x[15]^2 ≥ -0.25
 -2 x[15] + x[15]^2 ≥ -1.0
 -3 x[15] + x[15]^2 ≥ -2.25
 -4 x[15] + x[15]^2 ≥ -4.0
 x[15]^3 ≥ 0.0
 -0.75 x[15] + x[15]^3 ≥ -0.25
 -3 x[15] + x[15]^3 ≥ -2.0
 -6.75 x[15] + x[15]^3 ≥ -6.75
 -12 x[15] + x[15]^3 ≥ -16.0
 -z[1,1,1] ≥ -1.0
 z[1,1,1] - δ[1,1,1] ≥ 0.0
 -z[1,1,2] + δ[1,1,1] ≥ 0.0
 z[1,1,2] ≥ 0.0
 -z[1,2,1] ≥ -1.0
 z[1,2,1] - δ[1,2,1] ≥ 0.0
 -z[1,2,2] + δ[1,2,1] ≥ 0.0
 z[1,2,2] ≥ 0.0
 -z[2,1,1] ≥ -1.0
 z[2,1,1] - δ[2,1,1] ≥ 0.0
 -z[2,1,2] + δ[2,1,1] ≥ 0.0
 z[2,1,2] ≥ 0.0
 -z[2,2,1] ≥ -1.0
 z[2,2,1] - δ[2,2,1] ≥ 0.0
 -z[2,2,2] + δ[2,2,1] ≥ 0.0
 z[2,2,2] ≥ 0.0
 -z[3,1,1] ≥ -1.0
 z[3,1,1] - δ[3,1,1] ≥ 0.0
 -z[3,1,2] + δ[3,1,1] ≥ 0.0
 z[3,1,2] ≥ 0.0
 -z[3,2,1] ≥ -1.0
 z[3,2,1] - δ[3,2,1] ≥ 0.0
 -z[3,2,2] + δ[3,2,1] ≥ 0.0
 z[3,2,2] ≥ 0.0
 -z[4,1,1] ≥ -1.0
 z[4,1,1] - δ[4,1,1] ≥ 0.0
 -z[4,1,2] + δ[4,1,1] ≥ 0.0
 z[4,1,2] ≥ 0.0
 -z[4,2,1] ≥ -1.0
 z[4,2,1] - δ[4,2,1] ≥ 0.0
 -z[4,2,2] + δ[4,2,1] ≥ 0.0
 z[4,2,2] ≥ 0.0
 -z[5,1,1] ≥ -1.0
 z[5,1,1] - δ[5,1,1] ≥ 0.0
 -z[5,1,2] + δ[5,1,1] ≥ 0.0
 z[5,1,2] ≥ 0.0
 -z[5,2,1] ≥ -1.0
 z[5,2,1] - δ[5,2,1] ≥ 0.0
 -z[5,2,2] + δ[5,2,1] ≥ 0.0
 z[5,2,2] ≥ 0.0
 -z[6,1,1] ≥ -1.0
 z[6,1,1] - δ[6,1,1] ≥ 0.0
 -z[6,1,2] + δ[6,1,1] ≥ 0.0
 z[6,1,2] ≥ 0.0
 -z[6,2,1] ≥ -1.0
 z[6,2,1] - δ[6,2,1] ≥ 0.0
 -z[6,2,2] + δ[6,2,1] ≥ 0.0
 z[6,2,2] ≥ 0.0
 -z[7,1,1] ≥ -1.0
 z[7,1,1] - δ[7,1,1] ≥ 0.0
 -z[7,1,2] + δ[7,1,1] ≥ 0.0
 z[7,1,2] ≥ 0.0
 -z[7,2,1] ≥ -1.0
 z[7,2,1] - δ[7,2,1] ≥ 0.0
 -z[7,2,2] + δ[7,2,1] ≥ 0.0
 z[7,2,2] ≥ 0.0
 -z[8,1,1] ≥ -1.0
 z[8,1,1] - δ[8,1,1] ≥ 0.0
 -z[8,1,2] + δ[8,1,1] ≥ 0.0
 z[8,1,2] ≥ 0.0
 -z[8,2,1] ≥ -1.0
 z[8,2,1] - δ[8,2,1] ≥ 0.0
 -z[8,2,2] + δ[8,2,1] ≥ 0.0
 z[8,2,2] ≥ 0.0
 -z[9,1,1] ≥ -1.0
 z[9,1,1] - δ[9,1,1] ≥ 0.0
 -z[9,1,2] + δ[9,1,1] ≥ 0.0
 z[9,1,2] ≥ 0.0
 -z[9,2,1] ≥ -1.0
 z[9,2,1] - δ[9,2,1] ≥ 0.0
 -z[9,2,2] + δ[9,2,1] ≥ 0.0
 z[9,2,2] ≥ 0.0
 -z[10,1,1] ≥ -1.0
 z[10,1,1] - δ[10,1,1] ≥ 0.0
 -z[10,1,2] + δ[10,1,1] ≥ 0.0
 z[10,1,2] ≥ 0.0
 -z[10,2,1] ≥ -1.0
 z[10,2,1] - δ[10,2,1] ≥ 0.0
 -z[10,2,2] + δ[10,2,1] ≥ 0.0
 z[10,2,2] ≥ 0.0
 -z[11,1,1] ≥ -1.0
 z[11,1,1] - δ[11,1,1] ≥ 0.0
 -z[11,1,2] + δ[11,1,1] ≥ 0.0
 z[11,1,2] ≥ 0.0
 -z[11,2,1] ≥ -1.0
 z[11,2,1] - δ[11,2,1] ≥ 0.0
 -z[11,2,2] + δ[11,2,1] ≥ 0.0
 z[11,2,2] ≥ 0.0
 -z[12,1,1] ≥ -1.0
 z[12,1,1] - δ[12,1,1] ≥ 0.0
 -z[12,1,2] + δ[12,1,1] ≥ 0.0
 z[12,1,2] ≥ 0.0
 -z[13,1,1] ≥ -1.0
 z[13,1,1] - δ[13,1,1] ≥ 0.0
 -z[13,1,2] + δ[13,1,1] ≥ 0.0
 z[13,1,2] ≥ 0.0
 -z[13,2,1] ≥ -1.0
 z[13,2,1] - δ[13,2,1] ≥ 0.0
 -z[13,2,2] + δ[13,2,1] ≥ 0.0
 z[13,2,2] ≥ 0.0
 -z[14,1,1] ≥ -1.0
 z[14,1,1] - δ[14,1,1] ≥ 0.0
 -z[14,1,2] + δ[14,1,1] ≥ 0.0
 z[14,1,2] ≥ 0.0
 -z[14,2,1] ≥ -1.0
 z[14,2,1] - δ[14,2,1] ≥ 0.0
 -z[14,2,2] + δ[14,2,1] ≥ 0.0
 z[14,2,2] ≥ 0.0
 -z[15,1,1] ≥ -1.0
 z[15,1,1] - δ[15,1,1] ≥ 0.0
 -z[15,1,2] + δ[15,1,1] ≥ 0.0
 z[15,1,2] ≥ 0.0
 -z[15,2,1] ≥ -1.0
 z[15,2,1] - δ[15,2,1] ≥ 0.0
 -z[15,2,2] + δ[15,2,1] ≥ 0.0
 z[15,2,2] ≥ 0.0
 w[1][1 to 2] ≥ 1.0
 -x[2]^3 - x[8]^3 + w[1][1 to 2] ≥ -1.0
 -64 x[2]^3 - 8 x[8]^3 + w[1][1 to 2] ≥ -512.0
 -26.03125 x[2]^3 - 5.46875 x[8]^3 - 169.6728515625 z[2,2,1] - 63.3603515625 z[8,2,1] + w[1][1 to 2] ≥ -375.3916015625
 -x[2]^3 - 5.46875 x[8]^3 - 281.53125 z[2,2,1] + w[1][1 to 2] ≥ -287.0
 -26.03125 x[2]^3 - x[8]^3 - 175.21875 z[8,2,1] + w[1][1 to 2] ≥ -201.25
 -x[2]^3 - x[8]^3 - 111.8583984375 z[2,2,1] - 111.8583984375 z[8,2,1] + w[1][1 to 2] ≥ -112.8583984375
 w[2][1 to 2] ≥ 0.0
 -x[4]^2 + w[2][1 to 2] ≥ 0.0
 -64 x[4]^2 - 16 x[5]^3 + w[2][1 to 2] ≥ -1024.0
 -26.03125 x[4]^2 - 12 x[5]^3 - 455.625 z[4,1,1] - 100.125 z[5,2,1] + w[2][1 to 2] ≥ -868.125
 -x[4]^2 - 12 x[5]^3 - 756 z[4,1,1] + w[2][1 to 2] ≥ -768.0
 -26.03125 x[4]^2 - 400.5 z[5,2,1] + w[2][1 to 2] ≥ -400.5
 -x[4]^2 - 300.375 z[4,1,1] - 300.375 z[5,2,1] + w[2][1 to 2] ≥ -300.375
 w[2][1 to 3] ≥ 0.0
 w[2][1 to 3] ≥ 0.0
 -1024 x[7]^3 - 27 w[2][1 to 2] + w[2][1 to 3] ≥ -27648.0
 -1024 x[7]^3 - 27 w[2][1 to 2] + w[2][1 to 3] ≥ -27648.0
 -1024 x[7]^3 - 27 w[2][1 to 2] + w[2][1 to 3] ≥ -27648.0
 -13824 z[7,2,1] - 13.5 w[2][1 to 2] + w[2][1 to 3] ≥ -13824.0
 -13824 z[7,2,1] - 13.5 w[2][1 to 2] + w[2][1 to 3] ≥ -13824.0
 w[3][1 to 2] ≥ 0.0
 -x[3]^3 + w[3][1 to 2] ≥ 0.0
 -64 x[3]^3 - 64 x[5]^3 + w[3][1 to 2] ≥ -4096.0
 -26.03125 x[3]^3 - 32 x[5]^3 - 1215 z[3,2,1] - 801 z[5,2,1] + w[3][1 to 2] ≥ -2849.0
 -x[3]^3 - 32 x[5]^3 - 2016 z[3,2,1] + w[3][1 to 2] ≥ -2048.0
 -26.03125 x[3]^3 - 1602 z[5,2,1] + w[3][1 to 2] ≥ -1602.0
 -x[3]^3 - 801 z[3,2,1] - 801 z[5,2,1] + w[3][1 to 2] ≥ -801.0
 w[3][1 to 3] ≥ 0.0
 w[3][1 to 3] ≥ 0.0
 -4096 x[7]^3 - 27 w[3][1 to 2] + w[3][1 to 3] ≥ -110592.0
 -4096 x[7]^3 - 27 w[3][1 to 2] + w[3][1 to 3] ≥ -110592.0
 -4096 x[7]^3 - 27 w[3][1 to 2] + w[3][1 to 3] ≥ -110592.0
 -55296 z[7,2,1] - 13.5 w[3][1 to 2] + w[3][1 to 3] ≥ -55296.0
 -55296 z[7,2,1] - 13.5 w[3][1 to 2] + w[3][1 to 3] ≥ -55296.0
 w[4][1 to 2] ≥ 0.0
 -x[4]^2 + w[4][1 to 2] ≥ 0.0
 -8 x[4]^2 - 16 x[9]^3 + w[4][1 to 2] ≥ -128.0
 -5.46875 x[4]^2 - 12 x[9]^3 - 30.375 z[4,1,1] - 17.875 z[9,2,1] + w[4][1 to 2] ≥ -113.875
 -x[4]^2 - 12 x[9]^3 - 84 z[4,1,1] + w[4][1 to 2] ≥ -96.0
 -5.46875 x[4]^2 - 71.5 z[9,2,1] + w[4][1 to 2] ≥ -71.5
 -x[4]^2 - 53.625 z[4,1,1] - 53.625 z[9,2,1] + w[4][1 to 2] ≥ -53.625
 w[5][1 to 2] ≥ 0.0
 -x[4]^3 + w[5][1 to 2] ≥ 0.0
 -16 x[4]^3 - 64 x[5]^2 + w[5][1 to 2] ≥ -1024.0
 -10.9375 x[4]^3 - 32 x[5]^2 - 162 z[4,2,1] - 318 z[5,1,1] + w[5][1 to 2] ≥ -830.0
 -x[4]^3 - 32 x[5]^2 - 480 z[4,2,1] + w[5][1 to 2] ≥ -512.0
 -10.9375 x[4]^3 - 636 z[5,1,1] + w[5][1 to 2] ≥ -636.0
 -x[4]^3 - 318 z[4,2,1] - 318 z[5,1,1] + w[5][1 to 2] ≥ -318.0
 w[6][1 to 2] ≥ 0.0
 -x[3]^2 + w[6][1 to 2] ≥ 0.0
 -16 x[1]^2 - 9 x[3]^2 + w[6][1 to 2] ≥ -144.0
 -12 x[1]^2 - 6.75 x[3]^2 - 23 z[1,1,1] - 27 z[3,1,1] + w[6][1 to 2] ≥ -131.0
 -6.75 x[3]^2 - 92 z[1,1,1] + w[6][1 to 2] ≥ -92.0
 -12 x[1]^2 - x[3]^2 - 96 z[3,1,1] + w[6][1 to 2] ≥ -108.0
 -x[3]^2 - 69 z[1,1,1] - 69 z[3,1,1] + w[6][1 to 2] ≥ -69.0
 w[6][1 to 3] ≥ 0.0
 -w[6][1 to 2] + w[6][1 to 3] ≥ 0.0
 -144 x[9]^2 - 4 w[6][1 to 2] + w[6][1 to 3] ≥ -576.0
 -144 x[9]^2 - 4 w[6][1 to 2] + w[6][1 to 3] ≥ -576.0
 -144 x[9]^2 - 4 w[6][1 to 2] + w[6][1 to 3] ≥ -576.0
 -351 z[9,1,1] - 3.4375 w[6][1 to 2] + w[6][1 to 3] ≥ -351.0
 -351 z[9,1,1] - 3.4375 w[6][1 to 2] + w[6][1 to 3] ≥ -351.0
 w[7][1 to 2] ≥ 1.0
 -x[5]^3 - x[8]^2 + w[7][1 to 2] ≥ -1.0
 -16 x[5]^3 - 64 x[8]^2 + w[7][1 to 2] ≥ -1024.0
 -10.9375 x[5]^3 - 26.03125 x[8]^2 - 126.720703125 z[5,2,1] - 377.314453125 z[8,1,1] + w[7][1 to 2] ≥ -788.751953125
 -x[5]^3 - 26.03125 x[8]^2 - 375.46875 z[5,2,1] + w[7][1 to 2] ≥ -401.5
 -10.9375 x[5]^3 - x[8]^2 - 626.0625 z[8,1,1] + w[7][1 to 2] ≥ -637.0
 -x[5]^3 - x[8]^2 - 248.748046875 z[5,2,1] - 248.748046875 z[8,1,1] + w[7][1 to 2] ≥ -249.748046875
 w[7][1 to 3] ≥ 1.0
 -x[9]^3 - w[7][1 to 2] + w[7][1 to 3] ≥ -1.0
 -1024 x[9]^3 - 8 w[7][1 to 2] + w[7][1 to 3] ≥ -8192.0
 -1024 x[9]^3 - 8 w[7][1 to 2] + w[7][1 to 3] ≥ -8192.0
 -1024 x[9]^3 - 8 w[7][1 to 2] + w[7][1 to 3] ≥ -8192.0
 -x[9]^3 - 4571.53125 z[9,2,1] - 5.46875 w[7][1 to 2] + w[7][1 to 3] ≥ -4577.0
 -x[9]^3 - 4571.53125 z[9,2,1] - 5.46875 w[7][1 to 2] + w[7][1 to 3] ≥ -4577.0
 w[8][1 to 2] ≥ 1.0
 -x[1]^3 - x[8]^3 + w[8][1 to 2] ≥ -1.0
 -64 x[1]^3 - 27 x[8]^3 + w[8][1 to 2] ≥ -1728.0
 -26.03125 x[1]^3 - 13.5 x[8]^3 - 474.609375 z[1,2,1] - 337.921875 z[8,2,1] + w[8][1 to 2] ≥ -1163.953125
 -x[1]^3 - 13.5 x[8]^3 - 787.5 z[1,2,1] + w[8][1 to 2] ≥ -801.0
 -26.03125 x[1]^3 - x[8]^3 - 650.8125 z[8,2,1] + w[8][1 to 2] ≥ -676.84375
 -x[1]^3 - x[8]^3 - 312.890625 z[1,2,1] - 312.890625 z[8,2,1] + w[8][1 to 2] ≥ -313.890625
 w[8][1 to 3] ≥ 0.0
 -x[12]^2 + w[8][1 to 3] ≥ 0.0
 -1728 x[12]^2 - 9 w[8][1 to 2] + w[8][1 to 3] ≥ -15552.0
 -1728 x[12]^2 - 9 w[8][1 to 2] + w[8][1 to 3] ≥ -15552.0
 -1728 x[12]^2 - 9 w[8][1 to 2] + w[8][1 to 3] ≥ -15552.0
 -x[12]^2 - 11657.25 z[12,1,1] - 6.75 w[8][1 to 2] + w[8][1 to 3] ≥ -11664.0
 -x[12]^2 - 11657.25 z[12,1,1] - 6.75 w[8][1 to 2] + w[8][1 to 3] ≥ -11664.0
 w[9][1 to 2] ≥ 0.0
 w[9][1 to 2] ≥ 0.0
 -64 x[3]^2 - 16 x[4]^3 + w[9][1 to 2] ≥ -1024.0
 -32 x[3]^2 - 12 x[4]^3 - 384 z[3,1,1] - 128 z[4,2,1] + w[9][1 to 2] ≥ -896.0
 -12 x[4]^3 - 768 z[3,1,1] + w[9][1 to 2] ≥ -768.0
 -32 x[3]^2 - 512 z[4,2,1] + w[9][1 to 2] ≥ -512.0
 -384 z[3,1,1] - 384 z[4,2,1] + w[9][1 to 2] ≥ -384.0
 w[9][1 to 3] ≥ 0.0
 w[9][1 to 3] ≥ 0.0
 -1024 x[7]^2 - 9 w[9][1 to 2] + w[9][1 to 3] ≥ -9216.0
 -1024 x[7]^2 - 9 w[9][1 to 2] + w[9][1 to 3] ≥ -9216.0
 -1024 x[7]^2 - 9 w[9][1 to 2] + w[9][1 to 3] ≥ -9216.0
 -6912 z[7,1,1] - 6.75 w[9][1 to 2] + w[9][1 to 3] ≥ -6912.0
 -6912 z[7,1,1] - 6.75 w[9][1 to 2] + w[9][1 to 3] ≥ -6912.0
 w[10][1 to 2] ≥ 0.0
 -x[3]^3 + w[10][1 to 2] ≥ 0.0
 -64 x[1]^3 - 27 x[3]^3 + w[10][1 to 2] ≥ -1728.0
 -32 x[1]^3 - 13.5 x[3]^3 - 400 z[1,2,1] - 432 z[3,2,1] + w[10][1 to 2] ≥ -1264.0
 -13.5 x[3]^3 - 800 z[1,2,1] + w[10][1 to 2] ≥ -800.0
 -32 x[1]^3 - x[3]^3 - 832 z[3,2,1] + w[10][1 to 2] ≥ -864.0
 -x[3]^3 - 400 z[1,2,1] - 400 z[3,2,1] + w[10][1 to 2] ≥ -400.0
 w[10][1 to 3] ≥ 0.0
 w[10][1 to 3] ≥ 0.0
 -1728 x[4]^2 - 16 w[10][1 to 2] + w[10][1 to 3] ≥ -27648.0
 -1728 x[4]^2 - 16 w[10][1 to 2] + w[10][1 to 3] ≥ -27648.0
 -1728 x[4]^2 - 16 w[10][1 to 2] + w[10][1 to 3] ≥ -27648.0
 -20736 z[4,1,1] - 12 w[10][1 to 2] + w[10][1 to 3] ≥ -20736.0
 -20736 z[4,1,1] - 12 w[10][1 to 2] + w[10][1 to 3] ≥ -20736.0
 w[11][1 to 2] ≥ 0.0
 -x[10]^3 + w[11][1 to 2] ≥ 0.0
 -16 x[10]^3 - 8 x[11]^2 + w[11][1 to 2] ≥ -128.0
 -10.9375 x[10]^3 - 4 x[11]^2 - 20.25 z[10,2,1] - 39.75 z[11,1,1] + w[11][1 to 2] ≥ -103.75
 -x[10]^3 - 4 x[11]^2 - 60 z[10,2,1] + w[11][1 to 2] ≥ -64.0
 -10.9375 x[10]^3 - 79.5 z[11,1,1] + w[11][1 to 2] ≥ -79.5
 -x[10]^3 - 39.75 z[10,2,1] - 39.75 z[11,1,1] + w[11][1 to 2] ≥ -39.75
 w[11][1 to 3] ≥ 0.0
 w[11][1 to 3] ≥ 0.0
 -128 x[13]^2 - 4 w[11][1 to 2] + w[11][1 to 3] ≥ -512.0
 -128 x[13]^2 - 4 w[11][1 to 2] + w[11][1 to 3] ≥ -512.0
 -128 x[13]^2 - 4 w[11][1 to 2] + w[11][1 to 3] ≥ -512.0
 -384 z[13,1,1] - 3 w[11][1 to 2] + w[11][1 to 3] ≥ -384.0
 -384 z[13,1,1] - 3 w[11][1 to 2] + w[11][1 to 3] ≥ -384.0
 w[12][1 to 2] ≥ 1.0
 -x[1]^3 - x[8]^3 + w[12][1 to 2] ≥ -1.0
 -64 x[1]^3 - 27 x[8]^3 + w[12][1 to 2] ≥ -1728.0
 -26.03125 x[1]^3 - 13.5 x[8]^3 - 474.609375 z[1,2,1] - 337.921875 z[8,2,1] + w[12][1 to 2] ≥ -1163.953125
 -x[1]^3 - 13.5 x[8]^3 - 787.5 z[1,2,1] + w[12][1 to 2] ≥ -801.0
 -26.03125 x[1]^3 - x[8]^3 - 650.8125 z[8,2,1] + w[12][1 to 2] ≥ -676.84375
 -x[1]^3 - x[8]^3 - 312.890625 z[1,2,1] - 312.890625 z[8,2,1] + w[12][1 to 2] ≥ -313.890625
 w[12][1 to 3] ≥ 0.0
 -x[10]^3 + w[12][1 to 3] ≥ 0.0
 -1728 x[10]^3 - 8 w[12][1 to 2] + w[12][1 to 3] ≥ -13824.0
 -1728 x[10]^3 - 8 w[12][1 to 2] + w[12][1 to 3] ≥ -13824.0
 -1728 x[10]^3 - 8 w[12][1 to 2] + w[12][1 to 3] ≥ -13824.0
 -x[10]^3 - 6908 z[10,2,1] - 4 w[12][1 to 2] + w[12][1 to 3] ≥ -6912.0
 -x[10]^3 - 6908 z[10,2,1] - 4 w[12][1 to 2] + w[12][1 to 3] ≥ -6912.0
 w[13][1 to 2] ≥ 0.0
 -x[13]^3 + w[13][1 to 2] ≥ 0.0
 -8 x[8]^2 - 16 x[13]^3 + w[13][1 to 2] ≥ -128.0
 -4 x[8]^2 - 10.9375 x[13]^3 - 39.75 z[8,1,1] - 20.25 z[13,2,1] + w[13][1 to 2] ≥ -103.75
 -10.9375 x[13]^3 - 79.5 z[8,1,1] + w[13][1 to 2] ≥ -79.5
 -4 x[8]^2 - x[13]^3 - 60 z[13,2,1] + w[13][1 to 2] ≥ -64.0
 -x[13]^3 - 39.75 z[8,1,1] - 39.75 z[13,2,1] + w[13][1 to 2] ≥ -39.75
 w[13][1 to 3] ≥ 0.0
 -w[13][1 to 2] + w[13][1 to 3] ≥ 0.0
 -128 x[14]^2 - 9 w[13][1 to 2] + w[13][1 to 3] ≥ -1152.0
 -128 x[14]^2 - 9 w[13][1 to 2] + w[13][1 to 3] ≥ -1152.0
 -128 x[14]^2 - 9 w[13][1 to 2] + w[13][1 to 3] ≥ -1152.0
 -736 z[14,1,1] - 6.75 w[13][1 to 2] + w[13][1 to 3] ≥ -736.0
 -736 z[14,1,1] - 6.75 w[13][1 to 2] + w[13][1 to 3] ≥ -736.0
 w[14][1 to 2] ≥ 1.0
 -x[2]^2 - x[6]^3 + w[14][1 to 2] ≥ -1.0
 -27 x[2]^2 - 4 x[6]^3 + w[14][1 to 2] ≥ -108.0
 -13.5 x[2]^2 - 3.4375 x[6]^3 - 32.90625 z[2,1,1] - 7.03125 z[6,2,1] + w[14][1 to 2] ≥ -86.34375
 -x[2]^2 - 3.4375 x[6]^3 - 63.375 z[2,1,1] + w[14][1 to 2] ≥ -66.8125
 -13.5 x[2]^2 - x[6]^3 - 37.5 z[6,2,1] + w[14][1 to 2] ≥ -51.0
 -x[2]^2 - x[6]^3 - 30.46875 z[2,1,1] - 30.46875 z[6,2,1] + w[14][1 to 2] ≥ -31.46875
 w[15][1 to 2] ≥ 0.0
 -x[3]^3 + w[15][1 to 2] ≥ 0.0
 -16 x[3]^3 - 64 x[11]^2 + w[15][1 to 2] ≥ -1024.0
 -10.9375 x[3]^3 - 32 x[11]^2 - 162 z[3,2,1] - 318 z[11,1,1] + w[15][1 to 2] ≥ -830.0
 -x[3]^3 - 32 x[11]^2 - 480 z[3,2,1] + w[15][1 to 2] ≥ -512.0
 -10.9375 x[3]^3 - 636 z[11,1,1] + w[15][1 to 2] ≥ -636.0
 -x[3]^3 - 318 z[3,2,1] - 318 z[11,1,1] + w[15][1 to 2] ≥ -318.0
 w[15][1 to 3] ≥ 0.0
 -w[15][1 to 2] + w[15][1 to 3] ≥ 0.0
 -1024 x[14]^2 - 9 w[15][1 to 2] + w[15][1 to 3] ≥ -9216.0
 -1024 x[14]^2 - 9 w[15][1 to 2] + w[15][1 to 3] ≥ -9216.0
 -1024 x[14]^2 - 9 w[15][1 to 2] + w[15][1 to 3] ≥ -9216.0
 -5888 z[14,1,1] - 6.75 w[15][1 to 2] + w[15][1 to 3] ≥ -5888.0
 -5888 z[14,1,1] - 6.75 w[15][1 to 2] + w[15][1 to 3] ≥ -5888.0
 w[16][1 to 2] ≥ 1.0
 -x[6]^2 - x[9]^2 + w[16][1 to 2] ≥ -1.0
 -4 x[6]^2 - 9 x[9]^2 + w[16][1 to 2] ≥ -36.0
 -3.4375 x[6]^2 - 6.75 x[9]^2 - 3.234375 z[6,1,1] - 5.484375 z[9,1,1] + w[16][1 to 2] ≥ -31.921875
 -x[6]^2 - 6.75 x[9]^2 - 17.25 z[6,1,1] + w[16][1 to 2] ≥ -24.0
 -3.4375 x[6]^2 - x[9]^2 - 19.5 z[9,1,1] + w[16][1 to 2] ≥ -22.9375
 -x[6]^2 - x[9]^2 - 14.015625 z[6,1,1] - 14.015625 z[9,1,1] + w[16][1 to 2] ≥ -15.015625
 w[17][1 to 2] ≥ 0.0
 -x[7]^3 + w[17][1 to 2] ≥ 0.0
 -27 x[2]^2 - 4 x[7]^3 + w[17][1 to 2] ≥ -108.0
 -13.5 x[2]^2 - 3.4375 x[7]^3 - 32.90625 z[2,1,1] - 7.59375 z[7,2,1] + w[17][1 to 2] ≥ -86.90625
 -3.4375 x[7]^3 - 65.8125 z[2,1,1] + w[17][1 to 2] ≥ -65.8125
 -13.5 x[2]^2 - x[7]^3 - 40.5 z[7,2,1] + w[17][1 to 2] ≥ -54.0
 -x[7]^3 - 32.90625 z[2,1,1] - 32.90625 z[7,2,1] + w[17][1 to 2] ≥ -32.90625
 w[17][1 to 3] ≥ 0.0
 w[17][1 to 3] ≥ 0.0
 -108 x[15]^3 - 8 w[17][1 to 2] + w[17][1 to 3] ≥ -864.0
 -108 x[15]^3 - 8 w[17][1 to 2] + w[17][1 to 3] ≥ -864.0
 -108 x[15]^3 - 8 w[17][1 to 2] + w[17][1 to 3] ≥ -864.0
 -432 z[15,2,1] - 4 w[17][1 to 2] + w[17][1 to 3] ≥ -432.0
 -432 z[15,2,1] - 4 w[17][1 to 2] + w[17][1 to 3] ≥ -432.0
 w[18][1 to 2] ≥ 0.0
 -x[7]^3 + w[18][1 to 2] ≥ 0.0
 -27 x[1]^3 - 27 x[7]^3 + w[18][1 to 2] ≥ -729.0
 -13.5 x[1]^3 - 13.5 x[7]^3 - 168.75 z[1,2,1] - 182.25 z[7,2,1] + w[18][1 to 2] ≥ -533.25
 -13.5 x[7]^3 - 337.5 z[1,2,1] + w[18][1 to 2] ≥ -337.5
 -13.5 x[1]^3 - x[7]^3 - 351 z[7,2,1] + w[18][1 to 2] ≥ -364.5
 -x[7]^3 - 168.75 z[1,2,1] - 168.75 z[7,2,1] + w[18][1 to 2] ≥ -168.75
 w[19][1 to 2] ≥ 1.0
 -x[5]^2 - x[6]^3 + w[19][1 to 2] ≥ -1.0
 -27 x[5]^2 - 16 x[6]^3 + w[19][1 to 2] ≥ -432.0
 -13.5 x[5]^2 - 10.9375 x[6]^3 - 134.15625 z[5,1,1] - 63.28125 z[6,2,1] + w[19][1 to 2] ≥ -345.09375
 -x[5]^2 - 10.9375 x[6]^3 - 258.375 z[5,1,1] + w[19][1 to 2] ≥ -269.3125
 -13.5 x[5]^2 - x[6]^3 - 187.5 z[6,2,1] + w[19][1 to 2] ≥ -201.0
 -x[5]^2 - x[6]^3 - 124.21875 z[5,1,1] - 124.21875 z[6,2,1] + w[19][1 to 2] ≥ -125.21875
 w[19][1 to 3] ≥ 1.0
 -x[11]^3 - w[19][1 to 2] + w[19][1 to 3] ≥ -1.0
 -432 x[11]^3 - 64 w[19][1 to 2] + w[19][1 to 3] ≥ -27648.0
 -432 x[11]^3 - 64 w[19][1 to 2] + w[19][1 to 3] ≥ -27648.0
 -432 x[11]^3 - 64 w[19][1 to 2] + w[19][1 to 3] ≥ -27648.0
 -x[11]^3 - 10788.46875 z[11,2,1] - 26.03125 w[19][1 to 2] + w[19][1 to 3] ≥ -10814.5
 -x[11]^3 - 10788.46875 z[11,2,1] - 26.03125 w[19][1 to 2] + w[19][1 to 3] ≥ -10814.5
 w[20][1 to 2] ≥ 1.0
 -x[2]^3 - x[11]^3 + w[20][1 to 2] ≥ -1.0
 -64 x[2]^3 - 8 x[11]^3 + w[20][1 to 2] ≥ -512.0
 -26.03125 x[2]^3 - 5.46875 x[11]^3 - 169.6728515625 z[2,2,1] - 63.3603515625 z[11,2,1] + w[20][1 to 2] ≥ -375.3916015625
 -x[2]^3 - 5.46875 x[11]^3 - 281.53125 z[2,2,1] + w[20][1 to 2] ≥ -287.0
 -26.03125 x[2]^3 - x[11]^3 - 175.21875 z[11,2,1] + w[20][1 to 2] ≥ -201.25
 -x[2]^3 - x[11]^3 - 111.8583984375 z[2,2,1] - 111.8583984375 z[11,2,1] + w[20][1 to 2] ≥ -112.8583984375
 w[21][1 to 2] ≥ 0.0
 -x[12]^2 + w[21][1 to 2] ≥ 0.0
 -9 x[12]^2 - 9 x[14]^2 + w[21][1 to 2] ≥ -81.0
 -6.75 x[12]^2 - 6.75 x[14]^2 - 15.1875 z[12,1,1] - 12.9375 z[14,1,1] + w[21][1 to 2] ≥ -73.6875
 -x[12]^2 - 6.75 x[14]^2 - 54 z[12,1,1] + w[21][1 to 2] ≥ -60.75
 -6.75 x[12]^2 - 51.75 z[14,1,1] + w[21][1 to 2] ≥ -51.75
 -x[12]^2 - 38.8125 z[12,1,1] - 38.8125 z[14,1,1] + w[21][1 to 2] ≥ -38.8125
 w[22][1 to 2] ≥ 0.0
 -x[13]^2 + w[22][1 to 2] ≥ 0.0
 -4 x[2]^3 - 8 x[13]^2 + w[22][1 to 2] ≥ -32.0
 -3 x[2]^3 - 5.46875 x[13]^2 - 4.46875 z[2,2,1] - 7.59375 z[13,1,1] + w[22][1 to 2] ≥ -28.46875
 -5.46875 x[13]^2 - 17.875 z[2,2,1] + w[22][1 to 2] ≥ -17.875
 -3 x[2]^3 - x[13]^2 - 21 z[13,1,1] + w[22][1 to 2] ≥ -24.0
 -x[13]^2 - 13.40625 z[2,2,1] - 13.40625 z[13,1,1] + w[22][1 to 2] ≥ -13.40625
 w[22][1 to 3] ≥ 0.0
 w[22][1 to 3] ≥ 0.0
 -32 x[15]^2 - 4 w[22][1 to 2] + w[22][1 to 3] ≥ -128.0
 -32 x[15]^2 - 4 w[22][1 to 2] + w[22][1 to 3] ≥ -128.0
 -32 x[15]^2 - 4 w[22][1 to 2] + w[22][1 to 3] ≥ -128.0
 -96 z[15,1,1] - 3 w[22][1 to 2] + w[22][1 to 3] ≥ -96.0
 -96 z[15,1,1] - 3 w[22][1 to 2] + w[22][1 to 3] ≥ -96.0
 w[23][1 to 2] ≥ 0.0
 -x[4]^3 + w[23][1 to 2] ≥ 0.0
 -27 x[4]^3 - 64 x[14]^3 + w[23][1 to 2] ≥ -1728.0
 -13.5 x[4]^3 - 32 x[14]^3 - 432 z[4,2,1] - 400 z[14,2,1] + w[23][1 to 2] ≥ -1264.0
 -x[4]^3 - 32 x[14]^3 - 832 z[4,2,1] + w[23][1 to 2] ≥ -864.0
 -13.5 x[4]^3 - 800 z[14,2,1] + w[23][1 to 2] ≥ -800.0
 -x[4]^3 - 400 z[4,2,1] - 400 z[14,2,1] + w[23][1 to 2] ≥ -400.0
 w[24][1 to 2] ≥ 0.0
 -x[15]^2 + w[24][1 to 2] ≥ 0.0
 -4 x[6]^2 - 9 x[15]^2 + w[24][1 to 2] ≥ -36.0
 -3 x[6]^2 - 6.75 x[15]^2 - 5.75 z[6,1,1] - 6.75 z[15,1,1] + w[24][1 to 2] ≥ -32.75
 -6.75 x[15]^2 - 23 z[6,1,1] + w[24][1 to 2] ≥ -23.0
 -3 x[6]^2 - x[15]^2 - 24 z[15,1,1] + w[24][1 to 2] ≥ -27.0
 -x[15]^2 - 17.25 z[6,1,1] - 17.25 z[15,1,1] + w[24][1 to 2] ≥ -17.25
 w[25][1 to 2] ≥ 0.0
 -x[10]^2 + w[25][1 to 2] ≥ 0.0
 -4 x[8]^2 - 16 x[10]^2 + w[25][1 to 2] ≥ -64.0
 -3 x[8]^2 - 10.9375 x[10]^2 - 9.9375 z[8,1,1] - 15.1875 z[10,1,1] + w[25][1 to 2] ≥ -57.9375
 -10.9375 x[10]^2 - 39.75 z[8,1,1] + w[25][1 to 2] ≥ -39.75
 -3 x[8]^2 - x[10]^2 - 45 z[10,1,1] + w[25][1 to 2] ≥ -48.0
 -x[10]^2 - 29.8125 z[8,1,1] - 29.8125 z[10,1,1] + w[25][1 to 2] ≥ -29.8125
 w[26][1 to 2] ≥ 0.0
 -x[13]^2 + w[26][1 to 2] ≥ 0.0
 -4 x[1]^3 - 27 x[13]^2 + w[26][1 to 2] ≥ -108.0
 -3 x[1]^3 - 13.5 x[13]^2 - 12.5 z[1,2,1] - 40.5 z[13,1,1] + w[26][1 to 2] ≥ -93.5
 -13.5 x[13]^2 - 50 z[1,2,1] + w[26][1 to 2] ≥ -50.0
 -3 x[1]^3 - x[13]^2 - 78 z[13,1,1] + w[26][1 to 2] ≥ -81.0
 -x[13]^2 - 37.5 z[1,2,1] - 37.5 z[13,1,1] + w[26][1 to 2] ≥ -37.5
 w[26][1 to 3] ≥ 0.0
 w[26][1 to 3] ≥ 0.0
 -108 x[15]^3 - 8 w[26][1 to 2] + w[26][1 to 3] ≥ -864.0
 -108 x[15]^3 - 8 w[26][1 to 2] + w[26][1 to 3] ≥ -864.0
 -108 x[15]^3 - 8 w[26][1 to 2] + w[26][1 to 3] ≥ -864.0
 -432 z[15,2,1] - 4 w[26][1 to 2] + w[26][1 to 3] ≥ -432.0
 -432 z[15,2,1] - 4 w[26][1 to 2] + w[26][1 to 3] ≥ -432.0
 w[27][1 to 2] ≥ 0.0
 -x[13]^2 + w[27][1 to 2] ≥ 0.0
 -4 x[2]^3 - 8 x[13]^2 + w[27][1 to 2] ≥ -32.0
 -3 x[2]^3 - 5.46875 x[13]^2 - 4.46875 z[2,2,1] - 7.59375 z[13,1,1] + w[27][1 to 2] ≥ -28.46875
 -5.46875 x[13]^2 - 17.875 z[2,2,1] + w[27][1 to 2] ≥ -17.875
 -3 x[2]^3 - x[13]^2 - 21 z[13,1,1] + w[27][1 to 2] ≥ -24.0
 -x[13]^2 - 13.40625 z[2,2,1] - 13.40625 z[13,1,1] + w[27][1 to 2] ≥ -13.40625
 w[27][1 to 3] ≥ 0.0
 w[27][1 to 3] ≥ 0.0
 -32 x[15]^3 - 8 w[27][1 to 2] + w[27][1 to 3] ≥ -256.0
 -32 x[15]^3 - 8 w[27][1 to 2] + w[27][1 to 3] ≥ -256.0
 -32 x[15]^3 - 8 w[27][1 to 2] + w[27][1 to 3] ≥ -256.0
 -128 z[15,2,1] - 4 w[27][1 to 2] + w[27][1 to 3] ≥ -128.0
 -128 z[15,2,1] - 4 w[27][1 to 2] + w[27][1 to 3] ≥ -128.0
 w[28][1 to 2] ≥ 0.0
 -x[3]^2 + w[28][1 to 2] ≥ 0.0
 -64 x[3]^2 - 16 x[8]^3 + w[28][1 to 2] ≥ -1024.0
 -26.03125 x[3]^2 - 12 x[8]^3 - 455.625 z[3,1,1] - 100.125 z[8,2,1] + w[28][1 to 2] ≥ -868.125
 -x[3]^2 - 12 x[8]^3 - 756 z[3,1,1] + w[28][1 to 2] ≥ -768.0
 -26.03125 x[3]^2 - 400.5 z[8,2,1] + w[28][1 to 2] ≥ -400.5
 -x[3]^2 - 300.375 z[3,1,1] - 300.375 z[8,2,1] + w[28][1 to 2] ≥ -300.375
 w[29][1 to 2] ≥ 1.0
 -x[5]^3 - x[8]^3 + w[29][1 to 2] ≥ -1.0
 -64 x[5]^3 - 64 x[8]^3 + w[29][1 to 2] ≥ -4096.0
 -26.03125 x[5]^3 - 26.03125 x[8]^3 - 950.4052734375 z[5,2,1] - 950.4052734375 z[8,2,1] + w[29][1 to 2] ≥ -2578.4365234375
 -x[5]^3 - 26.03125 x[8]^3 - 1576.96875 z[5,2,1] + w[29][1 to 2] ≥ -1603.0
 -26.03125 x[5]^3 - x[8]^3 - 1576.96875 z[8,2,1] + w[29][1 to 2] ≥ -1603.0
 -x[5]^3 - x[8]^3 - 626.5634765625 z[5,2,1] - 626.5634765625 z[8,2,1] + w[29][1 to 2] ≥ -627.5634765625
 w[30][1 to 2] ≥ 1.0
 -x[1]^2 - x[5]^3 + w[30][1 to 2] ≥ -1.0
 -64 x[1]^2 - 9 x[5]^3 + w[30][1 to 2] ≥ -576.0
 -26.03125 x[1]^2 - 6.75 x[5]^3 - 218.3203125 z[1,1,1] - 56.3203125 z[5,2,1] + w[30][1 to 2] ≥ -450.3515625
 -x[1]^2 - 6.75 x[5]^3 - 362.25 z[1,1,1] + w[30][1 to 2] ≥ -369.0
 -26.03125 x[1]^2 - x[5]^3 - 200.25 z[5,2,1] + w[30][1 to 2] ≥ -226.28125
 -x[1]^2 - x[5]^3 - 143.9296875 z[1,1,1] - 143.9296875 z[5,2,1] + w[30][1 to 2] ≥ -144.9296875
 x[1] ≤ 3.0
 x[2] ≤ 2.0
 x[3] ≤ 4.0
 x[4] ≤ 4.0
 x[5] ≤ 4.0
 x[6] ≤ 3.0
 x[7] ≤ 3.0
 x[8] ≤ 4.0
 x[9] ≤ 2.0
 x[10] ≤ 2.0
 x[11] ≤ 4.0
 x[12] ≤ 3.0
 x[13] ≤ 2.0
 x[14] ≤ 3.0
 x[15] ≤ 2.0
 -4 x[1] + x[1]^2 ≤ -3.0
 x[1]^2 ≤ 9.0
 -13 x[1] + x[1]^3 ≤ -12.0
 x[1]^3 ≤ 27.0
 -3 x[2] + x[2]^2 ≤ -2.0
 x[2]^2 ≤ 4.0
 -7 x[2] + x[2]^3 ≤ -6.0
 x[2]^3 ≤ 8.0
 -4 x[3] + x[3]^2 ≤ 0.0
 x[3]^2 ≤ 16.0
 -16 x[3] + x[3]^3 ≤ 0.0
 x[3]^3 ≤ 64.0
 -4 x[4] + x[4]^2 ≤ 0.0
 x[4]^2 ≤ 16.0
 -16 x[4] + x[4]^3 ≤ 0.0
 x[4]^3 ≤ 64.0
 -5 x[5] + x[5]^2 ≤ -4.0
 x[5]^2 ≤ 16.0
 -21 x[5] + x[5]^3 ≤ -20.0
 x[5]^3 ≤ 64.0
 -4 x[6] + x[6]^2 ≤ -3.0
 x[6]^2 ≤ 9.0
 -13 x[6] + x[6]^3 ≤ -12.0
 x[6]^3 ≤ 27.0
 -3 x[7] + x[7]^2 ≤ 0.0
 x[7]^2 ≤ 9.0
 -9 x[7] + x[7]^3 ≤ 0.0
 x[7]^3 ≤ 27.0
 -5 x[8] + x[8]^2 ≤ -4.0
 x[8]^2 ≤ 16.0
 -21 x[8] + x[8]^3 ≤ -20.0
 x[8]^3 ≤ 64.0
 -3 x[9] + x[9]^2 ≤ -2.0
 x[9]^2 ≤ 4.0
 -7 x[9] + x[9]^3 ≤ -6.0
 x[9]^3 ≤ 8.0
 -2 x[10] + x[10]^2 ≤ 0.0
 x[10]^2 ≤ 4.0
 -4 x[10] + x[10]^3 ≤ 0.0
 x[10]^3 ≤ 8.0
 -5 x[11] + x[11]^2 ≤ -4.0
 x[11]^2 ≤ 16.0
 -21 x[11] + x[11]^3 ≤ -20.0
 x[11]^3 ≤ 64.0
 -3 x[12] + x[12]^2 ≤ 0.0
 x[12]^2 ≤ 9.0
 -2 x[13] + x[13]^2 ≤ 0.0
 x[13]^2 ≤ 4.0
 -4 x[13] + x[13]^3 ≤ 0.0
 x[13]^3 ≤ 8.0
 -4 x[14] + x[14]^2 ≤ -3.0
 x[14]^2 ≤ 9.0
 -13 x[14] + x[14]^3 ≤ -12.0
 x[14]^3 ≤ 27.0
 -2 x[15] + x[15]^2 ≤ 0.0
 x[15]^2 ≤ 4.0
 -4 x[15] + x[15]^3 ≤ 0.0
 x[15]^3 ≤ 8.0
 -64 x[2]^3 - x[8]^3 + w[1][1 to 2] ≤ -64.0
 -x[2]^3 - 8 x[8]^3 + w[1][1 to 2] ≤ -8.0
 w[1][1 to 2] ≤ 512.0
 -26.03125 x[2]^3 - 8 x[8]^3 + 111.8583984375 z[2,2,1] + 63.3603515625 z[8,2,1] + w[1][1 to 2] ≤ -33.03125
 -64 x[2]^3 - 5.46875 x[8]^3 + 281.53125 z[2,2,1] + w[1][1 to 2] ≤ -68.46875
 -26.03125 x[2]^3 - 8 x[8]^3 + 175.21875 z[8,2,1] + w[1][1 to 2] ≤ -33.03125
 -64 x[2]^3 - 5.46875 x[8]^3 + 169.6728515625 z[2,2,1] + 111.8583984375 z[8,2,1] + w[1][1 to 2] ≤ -68.46875
 -64 x[4]^2 + w[2][1 to 2] ≤ 0.0
 -x[4]^2 - 16 x[5]^3 + w[2][1 to 2] ≤ -16.0
 w[2][1 to 2] ≤ 1024.0
 -26.03125 x[4]^2 - 16 x[5]^3 + 300.375 z[4,1,1] + 100.125 z[5,2,1] + w[2][1 to 2] ≤ -16.0
 -64 x[4]^2 - 12 x[5]^3 + 756 z[4,1,1] + w[2][1 to 2] ≤ -12.0
 -26.03125 x[4]^2 - 16 x[5]^3 + 400.5 z[5,2,1] + w[2][1 to 2] ≤ -16.0
 -64 x[4]^2 - 12 x[5]^3 + 455.625 z[4,1,1] + 300.375 z[5,2,1] + w[2][1 to 2] ≤ -12.0
 -27 w[2][1 to 2] + w[2][1 to 3] ≤ 0.0
 -1024 x[7]^3 + w[2][1 to 3] ≤ 0.0
 w[2][1 to 3] ≤ 27648.0
 -1024 x[7]^3 + w[2][1 to 3] ≤ 0.0
 -1024 x[7]^3 + w[2][1 to 3] ≤ 0.0
 -1024 x[7]^3 + 13824 z[7,2,1] - 13.5 w[2][1 to 2] + w[2][1 to 3] ≤ 0.0
 -1024 x[7]^3 + 13824 z[7,2,1] - 13.5 w[2][1 to 2] + w[2][1 to 3] ≤ 0.0
 -64 x[3]^3 + w[3][1 to 2] ≤ 0.0
 -x[3]^3 - 64 x[5]^3 + w[3][1 to 2] ≤ -64.0
 w[3][1 to 2] ≤ 4096.0
 -26.03125 x[3]^3 - 64 x[5]^3 + 801 z[3,2,1] + 801 z[5,2,1] + w[3][1 to 2] ≤ -64.0
 -64 x[3]^3 - 32 x[5]^3 + 2016 z[3,2,1] + w[3][1 to 2] ≤ -32.0
 -26.03125 x[3]^3 - 64 x[5]^3 + 1602 z[5,2,1] + w[3][1 to 2] ≤ -64.0
 -64 x[3]^3 - 32 x[5]^3 + 1215 z[3,2,1] + 801 z[5,2,1] + w[3][1 to 2] ≤ -32.0
 -27 w[3][1 to 2] + w[3][1 to 3] ≤ 0.0
 -4096 x[7]^3 + w[3][1 to 3] ≤ 0.0
 w[3][1 to 3] ≤ 110592.0
 -4096 x[7]^3 + w[3][1 to 3] ≤ 0.0
 -4096 x[7]^3 + w[3][1 to 3] ≤ 0.0
 -4096 x[7]^3 + 55296 z[7,2,1] - 13.5 w[3][1 to 2] + w[3][1 to 3] ≤ 0.0
 -4096 x[7]^3 + 55296 z[7,2,1] - 13.5 w[3][1 to 2] + w[3][1 to 3] ≤ 0.0
 -8 x[4]^2 + w[4][1 to 2] ≤ 0.0
 -x[4]^2 - 16 x[9]^3 + w[4][1 to 2] ≤ -16.0
 w[4][1 to 2] ≤ 128.0
 -5.46875 x[4]^2 - 16 x[9]^3 + 53.625 z[4,1,1] + 17.875 z[9,2,1] + w[4][1 to 2] ≤ -16.0
 -8 x[4]^2 - 12 x[9]^3 + 84 z[4,1,1] + w[4][1 to 2] ≤ -12.0
 -5.46875 x[4]^2 - 16 x[9]^3 + 71.5 z[9,2,1] + w[4][1 to 2] ≤ -16.0
 -8 x[4]^2 - 12 x[9]^3 + 30.375 z[4,1,1] + 53.625 z[9,2,1] + w[4][1 to 2] ≤ -12.0
 -16 x[4]^3 + w[5][1 to 2] ≤ 0.0
 -x[4]^3 - 64 x[5]^2 + w[5][1 to 2] ≤ -64.0
 w[5][1 to 2] ≤ 1024.0
 -10.9375 x[4]^3 - 64 x[5]^2 + 318 z[4,2,1] + 318 z[5,1,1] + w[5][1 to 2] ≤ -64.0
 -16 x[4]^3 - 32 x[5]^2 + 480 z[4,2,1] + w[5][1 to 2] ≤ -32.0
 -10.9375 x[4]^3 - 64 x[5]^2 + 636 z[5,1,1] + w[5][1 to 2] ≤ -64.0
 -16 x[4]^3 - 32 x[5]^2 + 162 z[4,2,1] + 318 z[5,1,1] + w[5][1 to 2] ≤ -32.0
 -16 x[1]^2 - x[3]^2 + w[6][1 to 2] ≤ -16.0
 -9 x[3]^2 + w[6][1 to 2] ≤ 0.0
 w[6][1 to 2] ≤ 144.0
 -12 x[1]^2 - 9 x[3]^2 + 69 z[1,1,1] + 27 z[3,1,1] + w[6][1 to 2] ≤ -12.0
 -16 x[1]^2 - 6.75 x[3]^2 + 92 z[1,1,1] + w[6][1 to 2] ≤ -16.0
 -12 x[1]^2 - 9 x[3]^2 + 96 z[3,1,1] + w[6][1 to 2] ≤ -12.0
 -16 x[1]^2 - 6.75 x[3]^2 + 23 z[1,1,1] + 69 z[3,1,1] + w[6][1 to 2] ≤ -16.0
 -4 w[6][1 to 2] + w[6][1 to 3] ≤ 0.0
 -144 x[9]^2 - w[6][1 to 2] + w[6][1 to 3] ≤ -144.0
 w[6][1 to 3] ≤ 576.0
 -144 x[9]^2 - w[6][1 to 2] + w[6][1 to 3] ≤ -144.0
 -144 x[9]^2 - w[6][1 to 2] + w[6][1 to 3] ≤ -144.0
 -144 x[9]^2 + 351 z[9,1,1] - 3.4375 w[6][1 to 2] + w[6][1 to 3] ≤ -144.0
 -144 x[9]^2 + 351 z[9,1,1] - 3.4375 w[6][1 to 2] + w[6][1 to 3] ≤ -144.0
 -16 x[5]^3 - x[8]^2 + w[7][1 to 2] ≤ -16.0
 -x[5]^3 - 64 x[8]^2 + w[7][1 to 2] ≤ -64.0
 w[7][1 to 2] ≤ 1024.0
 -10.9375 x[5]^3 - 64 x[8]^2 + 248.748046875 z[5,2,1] + 377.314453125 z[8,1,1] + w[7][1 to 2] ≤ -73.9375
 -16 x[5]^3 - 26.03125 x[8]^2 + 375.46875 z[5,2,1] + w[7][1 to 2] ≤ -41.03125
 -10.9375 x[5]^3 - 64 x[8]^2 + 626.0625 z[8,1,1] + w[7][1 to 2] ≤ -73.9375
 -16 x[5]^3 - 26.03125 x[8]^2 + 126.720703125 z[5,2,1] + 248.748046875 z[8,1,1] + w[7][1 to 2] ≤ -41.03125
 -x[9]^3 - 8 w[7][1 to 2] + w[7][1 to 3] ≤ -8.0
 -1024 x[9]^3 - w[7][1 to 2] + w[7][1 to 3] ≤ -1024.0
 w[7][1 to 3] ≤ 8192.0
 -1024 x[9]^3 - w[7][1 to 2] + w[7][1 to 3] ≤ -1024.0
 -1024 x[9]^3 - w[7][1 to 2] + w[7][1 to 3] ≤ -1024.0
 -1024 x[9]^3 + 4571.53125 z[9,2,1] - 5.46875 w[7][1 to 2] + w[7][1 to 3] ≤ -1028.46875
 -1024 x[9]^3 + 4571.53125 z[9,2,1] - 5.46875 w[7][1 to 2] + w[7][1 to 3] ≤ -1028.46875
 -64 x[1]^3 - x[8]^3 + w[8][1 to 2] ≤ -64.0
 -x[1]^3 - 27 x[8]^3 + w[8][1 to 2] ≤ -27.0
 w[8][1 to 2] ≤ 1728.0
 -26.03125 x[1]^3 - 27 x[8]^3 + 312.890625 z[1,2,1] + 337.921875 z[8,2,1] + w[8][1 to 2] ≤ -52.03125
 -64 x[1]^3 - 13.5 x[8]^3 + 787.5 z[1,2,1] + w[8][1 to 2] ≤ -76.5
 -26.03125 x[1]^3 - 27 x[8]^3 + 650.8125 z[8,2,1] + w[8][1 to 2] ≤ -52.03125
 -64 x[1]^3 - 13.5 x[8]^3 + 474.609375 z[1,2,1] + 312.890625 z[8,2,1] + w[8][1 to 2] ≤ -76.5
 -x[12]^2 - 9 w[8][1 to 2] + w[8][1 to 3] ≤ -9.0
 -1728 x[12]^2 + w[8][1 to 3] ≤ 0.0
 w[8][1 to 3] ≤ 15552.0
 -1728 x[12]^2 + w[8][1 to 3] ≤ 0.0
 -1728 x[12]^2 + w[8][1 to 3] ≤ 0.0
 -1728 x[12]^2 + 11657.25 z[12,1,1] - 6.75 w[8][1 to 2] + w[8][1 to 3] ≤ -6.75
 -1728 x[12]^2 + 11657.25 z[12,1,1] - 6.75 w[8][1 to 2] + w[8][1 to 3] ≤ -6.75
 -64 x[3]^2 + w[9][1 to 2] ≤ 0.0
 -16 x[4]^3 + w[9][1 to 2] ≤ 0.0
 w[9][1 to 2] ≤ 1024.0
 -32 x[3]^2 - 16 x[4]^3 + 384 z[3,1,1] + 128 z[4,2,1] + w[9][1 to 2] ≤ 0.0
 -64 x[3]^2 - 12 x[4]^3 + 768 z[3,1,1] + w[9][1 to 2] ≤ 0.0
 -32 x[3]^2 - 16 x[4]^3 + 512 z[4,2,1] + w[9][1 to 2] ≤ 0.0
 -64 x[3]^2 - 12 x[4]^3 + 384 z[3,1,1] + 384 z[4,2,1] + w[9][1 to 2] ≤ 0.0
 -9 w[9][1 to 2] + w[9][1 to 3] ≤ 0.0
 -1024 x[7]^2 + w[9][1 to 3] ≤ 0.0
 w[9][1 to 3] ≤ 9216.0
 -1024 x[7]^2 + w[9][1 to 3] ≤ 0.0
 -1024 x[7]^2 + w[9][1 to 3] ≤ 0.0
 -1024 x[7]^2 + 6912 z[7,1,1] - 6.75 w[9][1 to 2] + w[9][1 to 3] ≤ 0.0
 -1024 x[7]^2 + 6912 z[7,1,1] - 6.75 w[9][1 to 2] + w[9][1 to 3] ≤ 0.0
 -64 x[1]^3 - x[3]^3 + w[10][1 to 2] ≤ -64.0
 -27 x[3]^3 + w[10][1 to 2] ≤ 0.0
 w[10][1 to 2] ≤ 1728.0
 -32 x[1]^3 - 27 x[3]^3 + 400 z[1,2,1] + 432 z[3,2,1] + w[10][1 to 2] ≤ -32.0
 -64 x[1]^3 - 13.5 x[3]^3 + 800 z[1,2,1] + w[10][1 to 2] ≤ -64.0
 -32 x[1]^3 - 27 x[3]^3 + 832 z[3,2,1] + w[10][1 to 2] ≤ -32.0
 -64 x[1]^3 - 13.5 x[3]^3 + 400 z[1,2,1] + 400 z[3,2,1] + w[10][1 to 2] ≤ -64.0
 -16 w[10][1 to 2] + w[10][1 to 3] ≤ 0.0
 -1728 x[4]^2 + w[10][1 to 3] ≤ 0.0
 w[10][1 to 3] ≤ 27648.0
 -1728 x[4]^2 + w[10][1 to 3] ≤ 0.0
 -1728 x[4]^2 + w[10][1 to 3] ≤ 0.0
 -1728 x[4]^2 + 20736 z[4,1,1] - 12 w[10][1 to 2] + w[10][1 to 3] ≤ 0.0
 -1728 x[4]^2 + 20736 z[4,1,1] - 12 w[10][1 to 2] + w[10][1 to 3] ≤ 0.0
 -16 x[10]^3 + w[11][1 to 2] ≤ 0.0
 -x[10]^3 - 8 x[11]^2 + w[11][1 to 2] ≤ -8.0
 w[11][1 to 2] ≤ 128.0
 -10.9375 x[10]^3 - 8 x[11]^2 + 39.75 z[10,2,1] + 39.75 z[11,1,1] + w[11][1 to 2] ≤ -8.0
 -16 x[10]^3 - 4 x[11]^2 + 60 z[10,2,1] + w[11][1 to 2] ≤ -4.0
 -10.9375 x[10]^3 - 8 x[11]^2 + 79.5 z[11,1,1] + w[11][1 to 2] ≤ -8.0
 -16 x[10]^3 - 4 x[11]^2 + 20.25 z[10,2,1] + 39.75 z[11,1,1] + w[11][1 to 2] ≤ -4.0
 -4 w[11][1 to 2] + w[11][1 to 3] ≤ 0.0
 -128 x[13]^2 + w[11][1 to 3] ≤ 0.0
 w[11][1 to 3] ≤ 512.0
 -128 x[13]^2 + w[11][1 to 3] ≤ 0.0
 -128 x[13]^2 + w[11][1 to 3] ≤ 0.0
 -128 x[13]^2 + 384 z[13,1,1] - 3 w[11][1 to 2] + w[11][1 to 3] ≤ 0.0
 -128 x[13]^2 + 384 z[13,1,1] - 3 w[11][1 to 2] + w[11][1 to 3] ≤ 0.0
 -64 x[1]^3 - x[8]^3 + w[12][1 to 2] ≤ -64.0
 -x[1]^3 - 27 x[8]^3 + w[12][1 to 2] ≤ -27.0
 w[12][1 to 2] ≤ 1728.0
 -26.03125 x[1]^3 - 27 x[8]^3 + 312.890625 z[1,2,1] + 337.921875 z[8,2,1] + w[12][1 to 2] ≤ -52.03125
 -64 x[1]^3 - 13.5 x[8]^3 + 787.5 z[1,2,1] + w[12][1 to 2] ≤ -76.5
 -26.03125 x[1]^3 - 27 x[8]^3 + 650.8125 z[8,2,1] + w[12][1 to 2] ≤ -52.03125
 -64 x[1]^3 - 13.5 x[8]^3 + 474.609375 z[1,2,1] + 312.890625 z[8,2,1] + w[12][1 to 2] ≤ -76.5
 -x[10]^3 - 8 w[12][1 to 2] + w[12][1 to 3] ≤ -8.0
 -1728 x[10]^3 + w[12][1 to 3] ≤ 0.0
 w[12][1 to 3] ≤ 13824.0
 -1728 x[10]^3 + w[12][1 to 3] ≤ 0.0
 -1728 x[10]^3 + w[12][1 to 3] ≤ 0.0
 -1728 x[10]^3 + 6908 z[10,2,1] - 4 w[12][1 to 2] + w[12][1 to 3] ≤ -4.0
 -1728 x[10]^3 + 6908 z[10,2,1] - 4 w[12][1 to 2] + w[12][1 to 3] ≤ -4.0
 -8 x[8]^2 - x[13]^3 + w[13][1 to 2] ≤ -8.0
 -16 x[13]^3 + w[13][1 to 2] ≤ 0.0
 w[13][1 to 2] ≤ 128.0
 -4 x[8]^2 - 16 x[13]^3 + 39.75 z[8,1,1] + 20.25 z[13,2,1] + w[13][1 to 2] ≤ -4.0
 -8 x[8]^2 - 10.9375 x[13]^3 + 79.5 z[8,1,1] + w[13][1 to 2] ≤ -8.0
 -4 x[8]^2 - 16 x[13]^3 + 60 z[13,2,1] + w[13][1 to 2] ≤ -4.0
 -8 x[8]^2 - 10.9375 x[13]^3 + 39.75 z[8,1,1] + 39.75 z[13,2,1] + w[13][1 to 2] ≤ -8.0
 -9 w[13][1 to 2] + w[13][1 to 3] ≤ 0.0
 -128 x[14]^2 - w[13][1 to 2] + w[13][1 to 3] ≤ -128.0
 w[13][1 to 3] ≤ 1152.0
 -128 x[14]^2 - w[13][1 to 2] + w[13][1 to 3] ≤ -128.0
 -128 x[14]^2 - w[13][1 to 2] + w[13][1 to 3] ≤ -128.0
 -128 x[14]^2 + 736 z[14,1,1] - 6.75 w[13][1 to 2] + w[13][1 to 3] ≤ -128.0
 -128 x[14]^2 + 736 z[14,1,1] - 6.75 w[13][1 to 2] + w[13][1 to 3] ≤ -128.0
 -27 x[2]^2 - x[6]^3 + w[14][1 to 2] ≤ -27.0
 -x[2]^2 - 4 x[6]^3 + w[14][1 to 2] ≤ -4.0
 w[14][1 to 2] ≤ 108.0
 -13.5 x[2]^2 - 4 x[6]^3 + 30.46875 z[2,1,1] + 7.03125 z[6,2,1] + w[14][1 to 2] ≤ -16.5
 -27 x[2]^2 - 3.4375 x[6]^3 + 63.375 z[2,1,1] + w[14][1 to 2] ≤ -29.4375
 -13.5 x[2]^2 - 4 x[6]^3 + 37.5 z[6,2,1] + w[14][1 to 2] ≤ -16.5
 -27 x[2]^2 - 3.4375 x[6]^3 + 32.90625 z[2,1,1] + 30.46875 z[6,2,1] + w[14][1 to 2] ≤ -29.4375
 -16 x[3]^3 + w[15][1 to 2] ≤ 0.0
 -x[3]^3 - 64 x[11]^2 + w[15][1 to 2] ≤ -64.0
 w[15][1 to 2] ≤ 1024.0
 -10.9375 x[3]^3 - 64 x[11]^2 + 318 z[3,2,1] + 318 z[11,1,1] + w[15][1 to 2] ≤ -64.0
 -16 x[3]^3 - 32 x[11]^2 + 480 z[3,2,1] + w[15][1 to 2] ≤ -32.0
 -10.9375 x[3]^3 - 64 x[11]^2 + 636 z[11,1,1] + w[15][1 to 2] ≤ -64.0
 -16 x[3]^3 - 32 x[11]^2 + 162 z[3,2,1] + 318 z[11,1,1] + w[15][1 to 2] ≤ -32.0
 -9 w[15][1 to 2] + w[15][1 to 3] ≤ 0.0
 -1024 x[14]^2 - w[15][1 to 2] + w[15][1 to 3] ≤ -1024.0
 w[15][1 to 3] ≤ 9216.0
 -1024 x[14]^2 - w[15][1 to 2] + w[15][1 to 3] ≤ -1024.0
 -1024 x[14]^2 - w[15][1 to 2] + w[15][1 to 3] ≤ -1024.0
 -1024 x[14]^2 + 5888 z[14,1,1] - 6.75 w[15][1 to 2] + w[15][1 to 3] ≤ -1024.0
 -1024 x[14]^2 + 5888 z[14,1,1] - 6.75 w[15][1 to 2] + w[15][1 to 3] ≤ -1024.0
 -4 x[6]^2 - x[9]^2 + w[16][1 to 2] ≤ -4.0
 -x[6]^2 - 9 x[9]^2 + w[16][1 to 2] ≤ -9.0
 w[16][1 to 2] ≤ 36.0
 -3.4375 x[6]^2 - 9 x[9]^2 + 14.015625 z[6,1,1] + 5.484375 z[9,1,1] + w[16][1 to 2] ≤ -11.4375
 -4 x[6]^2 - 6.75 x[9]^2 + 17.25 z[6,1,1] + w[16][1 to 2] ≤ -9.75
 -3.4375 x[6]^2 - 9 x[9]^2 + 19.5 z[9,1,1] + w[16][1 to 2] ≤ -11.4375
 -4 x[6]^2 - 6.75 x[9]^2 + 3.234375 z[6,1,1] + 14.015625 z[9,1,1] + w[16][1 to 2] ≤ -9.75
 -27 x[2]^2 - x[7]^3 + w[17][1 to 2] ≤ -27.0
 -4 x[7]^3 + w[17][1 to 2] ≤ 0.0
 w[17][1 to 2] ≤ 108.0
 -13.5 x[2]^2 - 4 x[7]^3 + 32.90625 z[2,1,1] + 7.59375 z[7,2,1] + w[17][1 to 2] ≤ -13.5
 -27 x[2]^2 - 3.4375 x[7]^3 + 65.8125 z[2,1,1] + w[17][1 to 2] ≤ -27.0
 -13.5 x[2]^2 - 4 x[7]^3 + 40.5 z[7,2,1] + w[17][1 to 2] ≤ -13.5
 -27 x[2]^2 - 3.4375 x[7]^3 + 32.90625 z[2,1,1] + 32.90625 z[7,2,1] + w[17][1 to 2] ≤ -27.0
 -8 w[17][1 to 2] + w[17][1 to 3] ≤ 0.0
 -108 x[15]^3 + w[17][1 to 3] ≤ 0.0
 w[17][1 to 3] ≤ 864.0
 -108 x[15]^3 + w[17][1 to 3] ≤ 0.0
 -108 x[15]^3 + w[17][1 to 3] ≤ 0.0
 -108 x[15]^3 + 432 z[15,2,1] - 4 w[17][1 to 2] + w[17][1 to 3] ≤ 0.0
 -108 x[15]^3 + 432 z[15,2,1] - 4 w[17][1 to 2] + w[17][1 to 3] ≤ 0.0
 -27 x[1]^3 - x[7]^3 + w[18][1 to 2] ≤ -27.0
 -27 x[7]^3 + w[18][1 to 2] ≤ 0.0
 w[18][1 to 2] ≤ 729.0
 -13.5 x[1]^3 - 27 x[7]^3 + 168.75 z[1,2,1] + 182.25 z[7,2,1] + w[18][1 to 2] ≤ -13.5
 -27 x[1]^3 - 13.5 x[7]^3 + 337.5 z[1,2,1] + w[18][1 to 2] ≤ -27.0
 -13.5 x[1]^3 - 27 x[7]^3 + 351 z[7,2,1] + w[18][1 to 2] ≤ -13.5
 -27 x[1]^3 - 13.5 x[7]^3 + 168.75 z[1,2,1] + 168.75 z[7,2,1] + w[18][1 to 2] ≤ -27.0
 -27 x[5]^2 - x[6]^3 + w[19][1 to 2] ≤ -27.0
 -x[5]^2 - 16 x[6]^3 + w[19][1 to 2] ≤ -16.0
 w[19][1 to 2] ≤ 432.0
 -13.5 x[5]^2 - 16 x[6]^3 + 124.21875 z[5,1,1] + 63.28125 z[6,2,1] + w[19][1 to 2] ≤ -28.5
 -27 x[5]^2 - 10.9375 x[6]^3 + 258.375 z[5,1,1] + w[19][1 to 2] ≤ -36.9375
 -13.5 x[5]^2 - 16 x[6]^3 + 187.5 z[6,2,1] + w[19][1 to 2] ≤ -28.5
 -27 x[5]^2 - 10.9375 x[6]^3 + 134.15625 z[5,1,1] + 124.21875 z[6,2,1] + w[19][1 to 2] ≤ -36.9375
 -x[11]^3 - 64 w[19][1 to 2] + w[19][1 to 3] ≤ -64.0
 -432 x[11]^3 - w[19][1 to 2] + w[19][1 to 3] ≤ -432.0
 w[19][1 to 3] ≤ 27648.0
 -432 x[11]^3 - w[19][1 to 2] + w[19][1 to 3] ≤ -432.0
 -432 x[11]^3 - w[19][1 to 2] + w[19][1 to 3] ≤ -432.0
 -432 x[11]^3 + 10788.46875 z[11,2,1] - 26.03125 w[19][1 to 2] + w[19][1 to 3] ≤ -457.03125
 -432 x[11]^3 + 10788.46875 z[11,2,1] - 26.03125 w[19][1 to 2] + w[19][1 to 3] ≤ -457.03125
 -64 x[2]^3 - x[11]^3 + w[20][1 to 2] ≤ -64.0
 -x[2]^3 - 8 x[11]^3 + w[20][1 to 2] ≤ -8.0
 w[20][1 to 2] ≤ 512.0
 -26.03125 x[2]^3 - 8 x[11]^3 + 111.8583984375 z[2,2,1] + 63.3603515625 z[11,2,1] + w[20][1 to 2] ≤ -33.03125
 -64 x[2]^3 - 5.46875 x[11]^3 + 281.53125 z[2,2,1] + w[20][1 to 2] ≤ -68.46875
 -26.03125 x[2]^3 - 8 x[11]^3 + 175.21875 z[11,2,1] + w[20][1 to 2] ≤ -33.03125
 -64 x[2]^3 - 5.46875 x[11]^3 + 169.6728515625 z[2,2,1] + 111.8583984375 z[11,2,1] + w[20][1 to 2] ≤ -68.46875
 -9 x[12]^2 + w[21][1 to 2] ≤ 0.0
 -x[12]^2 - 9 x[14]^2 + w[21][1 to 2] ≤ -9.0
 w[21][1 to 2] ≤ 81.0
 -6.75 x[12]^2 - 9 x[14]^2 + 38.8125 z[12,1,1] + 12.9375 z[14,1,1] + w[21][1 to 2] ≤ -9.0
 -9 x[12]^2 - 6.75 x[14]^2 + 54 z[12,1,1] + w[21][1 to 2] ≤ -6.75
 -6.75 x[12]^2 - 9 x[14]^2 + 51.75 z[14,1,1] + w[21][1 to 2] ≤ -9.0
 -9 x[12]^2 - 6.75 x[14]^2 + 15.1875 z[12,1,1] + 38.8125 z[14,1,1] + w[21][1 to 2] ≤ -6.75
 -4 x[2]^3 - x[13]^2 + w[22][1 to 2] ≤ -4.0
 -8 x[13]^2 + w[22][1 to 2] ≤ 0.0
 w[22][1 to 2] ≤ 32.0
 -3 x[2]^3 - 8 x[13]^2 + 13.40625 z[2,2,1] + 7.59375 z[13,1,1] + w[22][1 to 2] ≤ -3.0
 -4 x[2]^3 - 5.46875 x[13]^2 + 17.875 z[2,2,1] + w[22][1 to 2] ≤ -4.0
 -3 x[2]^3 - 8 x[13]^2 + 21 z[13,1,1] + w[22][1 to 2] ≤ -3.0
 -4 x[2]^3 - 5.46875 x[13]^2 + 4.46875 z[2,2,1] + 13.40625 z[13,1,1] + w[22][1 to 2] ≤ -4.0
 -4 w[22][1 to 2] + w[22][1 to 3] ≤ 0.0
 -32 x[15]^2 + w[22][1 to 3] ≤ 0.0
 w[22][1 to 3] ≤ 128.0
 -32 x[15]^2 + w[22][1 to 3] ≤ 0.0
 -32 x[15]^2 + w[22][1 to 3] ≤ 0.0
 -32 x[15]^2 + 96 z[15,1,1] - 3 w[22][1 to 2] + w[22][1 to 3] ≤ 0.0
 -32 x[15]^2 + 96 z[15,1,1] - 3 w[22][1 to 2] + w[22][1 to 3] ≤ 0.0
 -27 x[4]^3 + w[23][1 to 2] ≤ 0.0
 -x[4]^3 - 64 x[14]^3 + w[23][1 to 2] ≤ -64.0
 w[23][1 to 2] ≤ 1728.0
 -13.5 x[4]^3 - 64 x[14]^3 + 400 z[4,2,1] + 400 z[14,2,1] + w[23][1 to 2] ≤ -64.0
 -27 x[4]^3 - 32 x[14]^3 + 832 z[4,2,1] + w[23][1 to 2] ≤ -32.0
 -13.5 x[4]^3 - 64 x[14]^3 + 800 z[14,2,1] + w[23][1 to 2] ≤ -64.0
 -27 x[4]^3 - 32 x[14]^3 + 432 z[4,2,1] + 400 z[14,2,1] + w[23][1 to 2] ≤ -32.0
 -4 x[6]^2 - x[15]^2 + w[24][1 to 2] ≤ -4.0
 -9 x[15]^2 + w[24][1 to 2] ≤ 0.0
 w[24][1 to 2] ≤ 36.0
 -3 x[6]^2 - 9 x[15]^2 + 17.25 z[6,1,1] + 6.75 z[15,1,1] + w[24][1 to 2] ≤ -3.0
 -4 x[6]^2 - 6.75 x[15]^2 + 23 z[6,1,1] + w[24][1 to 2] ≤ -4.0
 -3 x[6]^2 - 9 x[15]^2 + 24 z[15,1,1] + w[24][1 to 2] ≤ -3.0
 -4 x[6]^2 - 6.75 x[15]^2 + 5.75 z[6,1,1] + 17.25 z[15,1,1] + w[24][1 to 2] ≤ -4.0
 -4 x[8]^2 - x[10]^2 + w[25][1 to 2] ≤ -4.0
 -16 x[10]^2 + w[25][1 to 2] ≤ 0.0
 w[25][1 to 2] ≤ 64.0
 -3 x[8]^2 - 16 x[10]^2 + 29.8125 z[8,1,1] + 15.1875 z[10,1,1] + w[25][1 to 2] ≤ -3.0
 -4 x[8]^2 - 10.9375 x[10]^2 + 39.75 z[8,1,1] + w[25][1 to 2] ≤ -4.0
 -3 x[8]^2 - 16 x[10]^2 + 45 z[10,1,1] + w[25][1 to 2] ≤ -3.0
 -4 x[8]^2 - 10.9375 x[10]^2 + 9.9375 z[8,1,1] + 29.8125 z[10,1,1] + w[25][1 to 2] ≤ -4.0
 -4 x[1]^3 - x[13]^2 + w[26][1 to 2] ≤ -4.0
 -27 x[13]^2 + w[26][1 to 2] ≤ 0.0
 w[26][1 to 2] ≤ 108.0
 -3 x[1]^3 - 27 x[13]^2 + 37.5 z[1,2,1] + 40.5 z[13,1,1] + w[26][1 to 2] ≤ -3.0
 -4 x[1]^3 - 13.5 x[13]^2 + 50 z[1,2,1] + w[26][1 to 2] ≤ -4.0
 -3 x[1]^3 - 27 x[13]^2 + 78 z[13,1,1] + w[26][1 to 2] ≤ -3.0
 -4 x[1]^3 - 13.5 x[13]^2 + 12.5 z[1,2,1] + 37.5 z[13,1,1] + w[26][1 to 2] ≤ -4.0
 -8 w[26][1 to 2] + w[26][1 to 3] ≤ 0.0
 -108 x[15]^3 + w[26][1 to 3] ≤ 0.0
 w[26][1 to 3] ≤ 864.0
 -108 x[15]^3 + w[26][1 to 3] ≤ 0.0
 -108 x[15]^3 + w[26][1 to 3] ≤ 0.0
 -108 x[15]^3 + 432 z[15,2,1] - 4 w[26][1 to 2] + w[26][1 to 3] ≤ 0.0
 -108 x[15]^3 + 432 z[15,2,1] - 4 w[26][1 to 2] + w[26][1 to 3] ≤ 0.0
 -4 x[2]^3 - x[13]^2 + w[27][1 to 2] ≤ -4.0
 -8 x[13]^2 + w[27][1 to 2] ≤ 0.0
 w[27][1 to 2] ≤ 32.0
 -3 x[2]^3 - 8 x[13]^2 + 13.40625 z[2,2,1] + 7.59375 z[13,1,1] + w[27][1 to 2] ≤ -3.0
 -4 x[2]^3 - 5.46875 x[13]^2 + 17.875 z[2,2,1] + w[27][1 to 2] ≤ -4.0
 -3 x[2]^3 - 8 x[13]^2 + 21 z[13,1,1] + w[27][1 to 2] ≤ -3.0
 -4 x[2]^3 - 5.46875 x[13]^2 + 4.46875 z[2,2,1] + 13.40625 z[13,1,1] + w[27][1 to 2] ≤ -4.0
 -8 w[27][1 to 2] + w[27][1 to 3] ≤ 0.0
 -32 x[15]^3 + w[27][1 to 3] ≤ 0.0
 w[27][1 to 3] ≤ 256.0
 -32 x[15]^3 + w[27][1 to 3] ≤ 0.0
 -32 x[15]^3 + w[27][1 to 3] ≤ 0.0
 -32 x[15]^3 + 128 z[15,2,1] - 4 w[27][1 to 2] + w[27][1 to 3] ≤ 0.0
 -32 x[15]^3 + 128 z[15,2,1] - 4 w[27][1 to 2] + w[27][1 to 3] ≤ 0.0
 -64 x[3]^2 + w[28][1 to 2] ≤ 0.0
 -x[3]^2 - 16 x[8]^3 + w[28][1 to 2] ≤ -16.0
 w[28][1 to 2] ≤ 1024.0
 -26.03125 x[3]^2 - 16 x[8]^3 + 300.375 z[3,1,1] + 100.125 z[8,2,1] + w[28][1 to 2] ≤ -16.0
 -64 x[3]^2 - 12 x[8]^3 + 756 z[3,1,1] + w[28][1 to 2] ≤ -12.0
 -26.03125 x[3]^2 - 16 x[8]^3 + 400.5 z[8,2,1] + w[28][1 to 2] ≤ -16.0
 -64 x[3]^2 - 12 x[8]^3 + 455.625 z[3,1,1] + 300.375 z[8,2,1] + w[28][1 to 2] ≤ -12.0
 -64 x[5]^3 - x[8]^3 + w[29][1 to 2] ≤ -64.0
 -x[5]^3 - 64 x[8]^3 + w[29][1 to 2] ≤ -64.0
 w[29][1 to 2] ≤ 4096.0
 -26.03125 x[5]^3 - 64 x[8]^3 + 626.5634765625 z[5,2,1] + 950.4052734375 z[8,2,1] + w[29][1 to 2] ≤ -89.03125
 -64 x[5]^3 - 26.03125 x[8]^3 + 1576.96875 z[5,2,1] + w[29][1 to 2] ≤ -89.03125
 -26.03125 x[5]^3 - 64 x[8]^3 + 1576.96875 z[8,2,1] + w[29][1 to 2] ≤ -89.03125
 -64 x[5]^3 - 26.03125 x[8]^3 + 950.4052734375 z[5,2,1] + 626.5634765625 z[8,2,1] + w[29][1 to 2] ≤ -89.03125
 -64 x[1]^2 - x[5]^3 + w[30][1 to 2] ≤ -64.0
 -x[1]^2 - 9 x[5]^3 + w[30][1 to 2] ≤ -9.0
 w[30][1 to 2] ≤ 576.0
 -26.03125 x[1]^2 - 9 x[5]^3 + 143.9296875 z[1,1,1] + 56.3203125 z[5,2,1] + w[30][1 to 2] ≤ -34.03125
 -64 x[1]^2 - 6.75 x[5]^3 + 362.25 z[1,1,1] + w[30][1 to 2] ≤ -69.75
 -26.03125 x[1]^2 - 9 x[5]^3 + 200.25 z[5,2,1] + w[30][1 to 2] ≤ -34.03125
 -64 x[1]^2 - 6.75 x[5]^3 + 218.3203125 z[1,1,1] + 143.9296875 z[5,2,1] + w[30][1 to 2] ≤ -69.75
 8.663701090108994 x[1] - 5.175026846692896 x[2] - 3.1834906227534354 x[3] + 9.04908765323432 x[4] + 9.938274683701408 x[5] + 5.3680731783879985 x[6] + 7.4432684470334465 x[7] - 4.071848800617186 x[8] + 1.14546026197214 x[9] - 1.965025919710225 x[10] + 8.194140160895834 x[11] + 3.268150247304522 x[12] + 2.680738608059862 x[13] + 1.468255592260789 x[14] - 6.38423423909269 x[15] + 0.07638990727305073 w[10][1 to 3] + 0.8556993020520742 w[11][1 to 3] + 0.21546361808208458 w[15][1 to 3] + 0.2619483584595055 w[17][1 to 3] + 0.9682949746532994 w[21][1 to 2] + 0.9266963925414364 w[23][1 to 2] + 0.3688812004860098 w[24][1 to 2] + 0.3697210209699313 w[25][1 to 2] ≤ 181.91736451786608
 5.984820085592585 x[1] - 9.720508411049122 x[2] + 7.56988433986518 x[3] + 9.39597973788766 x[4] + 6.9912443007023555 x[5] + 8.244526084895547 x[6] + 5.177920430248978 x[7] + 9.729601994845606 x[8] - 3.748275040242426 x[9] + 6.84311577680144 x[10] + 2.3871454572835518 x[11] + 5.380018376430868 x[12] - 6.640325227942423 x[13] + 1.571913778597139 x[14] + 2.98666218883454 x[15] + 0.6339670230662853 w[5][1 to 2] + 0.9330484602710889 w[6][1 to 3] + 0.9543187010911431 w[8][1 to 3] + 0.5406467847565772 w[12][1 to 3] + 0.0008603744706663363 w[14][1 to 2] + 0.20104774884772847 w[16][1 to 2] + 0.1339523818024677 w[18][1 to 2] + 0.2548316482376485 w[19][1 to 3] + 0.7321029588571004 w[22][1 to 3] + 0.8622896055313545 w[23][1 to 2] + 0.06461790527995648 w[24][1 to 2] + 0.4302009508579685 w[28][1 to 2] ≤ 413.16136582554805
 -0.7144603779664891 x[1] + 3.6986880596204266 x[2] + 5.185507935283123 x[3] - 0.805585426793689 x[4] - 1.4862577532410057 x[5] + 4.976682419825442 x[6] + 8.605886421090368 x[7] + 6.487187767176877 x[8] + 8.394744628117383 x[9] - 5.250839633278899 x[10] + 3.6334205243538875 x[11] - 0.9106941876935828 x[12] + 9.032038128013223 x[13] - 3.503874663384603 x[14] + 3.525731115075118 x[15] + 0.8200738044438398 w[2][1 to 3] + 0.44097897467306235 w[4][1 to 2] + 0.1398877164178809 w[12][1 to 3] + 0.04858574342598265 w[14][1 to 2] + 0.5903531750928828 w[19][1 to 3] + 0.9630257159146798 w[20][1 to 2] + 0.8642574452988385 w[21][1 to 2] + 0.7906579421992099 w[22][1 to 3] + 0.32072700620946915 w[25][1 to 2] + 0.9225908340153477 w[26][1 to 3] + 0.7573437812300619 w[28][1 to 2] ≤ 536.779453638221
 -8.057198454761636 x[1] + 2.6116143045327576 x[2] - 0.18805925958676362 x[3] - 4.883714490409861 x[4] + 9.410160029157403 x[5] - 8.907463629978372 x[6] - 0.5427985788771128 x[7] - 9.303944639330194 x[8] + 2.9490027117698467 x[9] + 7.027544974969953 x[10] + 8.829933783950267 x[11] + 4.884803881516584 x[12] + 7.122189830242775 x[13] + 9.63421480480929 x[14] - 0.17132202018504827 x[15] + 0.09176374137359145 w[1][1 to 2] + 0.17903291997602877 w[5][1 to 2] + 0.451975927757865 w[10][1 to 3] + 0.2641572400848884 w[11][1 to 3] + 0.8391882114708342 w[13][1 to 3] + 0.46512809628594387 w[17][1 to 3] + 0.20888329074890732 w[18][1 to 2] + 0.6722972757677401 w[19][1 to 3] + 0.43840995168395924 w[20][1 to 2] + 0.3901172999112381 w[26][1 to 3] + 0.295809963038955 w[27][1 to 3] + 0.7730734632632046 w[29][1 to 2] ≤ 519.5648814446805
 -9.169691721580048 x[1] + 0.9298621669487961 x[2] + 7.622408901755357 x[3] - 0.31892424241159034 x[4] - 5.99700752533705 x[5] - 7.739995295939015 x[6] + 1.2757642106271572 x[7] - 4.288372997349508 x[8] + 0.30001288888763966 x[9] + 0.3235142674803235 x[10] - 3.685579900180298 x[11] - 0.8892277944670788 x[12] - 0.18518133946566095 x[13] - 0.3003020917280441 x[14] - 4.05268922021031 x[15] + 0.005022592034756634 w[1][1 to 2] + 0.17579614282694656 w[4][1 to 2] + 0.42130527905419424 w[8][1 to 3] + 0.9433301462484043 w[17][1 to 3] + 0.6842473978806995 w[21][1 to 2] ≤ 42.10928333443824
 -5.3663922947935605 x[1] - 3.8911720572099284 x[2] - 6.807815843227032 x[3] + 2.958421284911106 x[4] + 3.0640025145729624 x[5] + 5.177477715421034 x[6] - 0.42545448301375544 x[7] - 4.125869398201294 x[8] - 0.14464327440811608 x[9] + 3.0542630882882627 x[10] + 7.009182285865435 x[11] + 2.397533219665915 x[12] - 2.7253542129097275 x[13] - 5.3169243360107865 x[14] + 5.792767841413639 x[15] + 0.28342358175979276 w[2][1 to 3] + 0.21152457245760647 w[3][1 to 3] + 0.9669511142046898 w[4][1 to 2] + 0.23352859830671435 w[7][1 to 3] + 0.09829732057049467 w[11][1 to 3] + 0.04226680979047259 w[12][1 to 3] + 0.5861599478114117 w[15][1 to 3] + 0.8402535636968711 w[16][1 to 2] + 0.0998614114989782 w[17][1 to 3] + 0.9151961722988664 w[19][1 to 3] + 0.22132519251397187 w[25][1 to 2] + 0.3121615116763008 w[28][1 to 2] + 0.43420982314309864 w[29][1 to 2] ≤ 740.8820197706375
 -3.5716886150619054 x[1] - 3.154762625498675 x[2] + 0.3207228413433718 x[3] + 7.190835463874873 x[4] + 4.989048207590994 x[5] + 5.053434221063892 x[6] + 7.44122918736489 x[7] - 0.2526289646902171 x[8] - 4.675247565751861 x[9] + 5.810750904975102 x[10] - 5.541930550858685 x[11] - 7.108688016522473 x[12] + 0.07773077735406808 x[13] - 1.9947202458517168 x[14] - 1.4425826953085021 x[15] + 0.005988522887521608 w[3][1 to 3] + 0.7608685807255653 w[5][1 to 2] + 0.5332899263024977 w[6][1 to 3] + 0.4318009493286641 w[10][1 to 3] + 0.177850094343186 w[28][1 to 2] ≤ 34.69644124166634
 -5.049827590779246 x[1] + 3.309902103638912 x[2] - 1.0622965970582356 x[3] + 2.9105395086761163 x[4] - 5.262599907771359 x[5] + 7.105176864361461 x[6] + 3.6607204063471634 x[7] + 6.58837304591475 x[8] - 4.017594603426051 x[9] - 4.165287841176024 x[10] - 1.7323767234305407 x[11] - 8.873761248514999 x[12] - 2.5446814796408423 x[13] - 2.2721701949929773 x[14] - 3.24663615737538 x[15] + 0.6913574544991439 w[3][1 to 3] + 0.3498429683575448 w[4][1 to 2] + 0.05515466068303243 w[5][1 to 2] + 0.4525388995478854 w[10][1 to 3] + 0.9591543372211413 w[14][1 to 2] + 0.28627005017909335 w[15][1 to 3] + 0.7178136030595392 w[16][1 to 2] + 0.6534586341533728 w[23][1 to 2] + 0.4360023242076998 w[24][1 to 2] + 0.8632160686179173 w[26][1 to 3] ≤ 265.5355160095932
 -4.621096802298381 x[1] + 1.3897986763139123 x[2] - 5.16270145169289 x[3] + 6.781998803604839 x[4] - 4.854455415353636 x[5] - 6.373975019486373 x[6] - 3.8935818062118344 x[7] - 4.043001603287646 x[8] - 3.4595700714074695 x[9] - 7.589510234396624 x[10] + 3.695066352494738 x[11] + 8.619859373399585 x[12] - 5.513008349453812 x[13] - 3.2399297349372613 x[14] + 3.9437638898919225 x[15] + 0.8339038031419013 w[2][1 to 3] + 0.9396096260661926 w[6][1 to 3] + 0.4170036798872727 w[7][1 to 3] + 0.1816162233389571 w[16][1 to 2] + 0.6693262893982193 w[18][1 to 2] + 0.7274459781882752 w[28][1 to 2] + 0.29614522194871684 w[29][1 to 2] ≤ 69.41821840286084
 -8.703972902819634 x[1] + 6.870410730797598 x[2] - 0.5788974610210182 x[3] - 8.601293393857766 x[4] - 0.6304081180533228 x[5] + 4.585690664908517 x[6] - 8.972120501237075 x[7] - 1.3748976526548073 x[8] - 9.986702818762666 x[9] - 4.846419782449876 x[10] - 0.8657651317989234 x[11] - 6.625757851321494 x[12] - 6.957142904849785 x[13] + 7.461413384752458 x[14] + 8.422969385596385 x[15] + 0.4304541177973522 w[1][1 to 2] + 0.5625576741843152 w[4][1 to 2] + 0.8837021271227206 w[6][1 to 3] + 0.9062916270534782 w[10][1 to 3] + 0.2321221737980117 w[11][1 to 3] + 0.04520309934188638 w[14][1 to 2] + 0.48404814470718227 w[16][1 to 2] + 0.5314525073319991 w[17][1 to 3] + 0.589888403342123 w[20][1 to 2] + 0.15653089372040907 w[21][1 to 2] + 0.49729882149803384 w[28][1 to 2] + 0.7472914723944151 w[29][1 to 2] + 0.5513564488600402 w[30][1 to 2] ≤ 104.17571711076235