#  NLP written by GAMS Convert at 08/19/18 16:12:08
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        118       28       36       54        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        172      172        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1733      986      747        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 0.601266;
var x3 >= 0, <= 1.8038;
var x4 >= 0, <= 0.949367;
var x5 >= 0, <= 0.601266;
var x6 >= 0, <= 1.42405;
var x7 >= 0, <= 1.20253;
var x8 >= 0, <= 1.8038;
var x9 >= 0, <= 0.85443;
var x10 >= 0, <= 1.42405;
var x11 >= 0, <= 0.949367;
var x12 >= 0, <= 0.601266;
var x13 >= 0, <= 1.20253;
var x14 >= 0, <= 0.85443;
var x15 >= 0, <= 0.949367;
var x16 >= 0, <= 1.42405;
var x17 >= 0, <= 0.949367;
var x18 >= 0, <= 0.601266;
var x19 >= 0, <= 1.29747;
var x20 >= 0, <= 1.42405;
var x21 >= 0, <= 1.20253;
var x22 >= 0, <= 0.443038;
var x23 >= 0, <= 1.8038;
var x24 >= 0, <= 0.85443;
var x25 >= 0, <= 1.42405;
var x26 >= 0, <= 0.601266;
var x27 >= 0, <= 1.20253;
var x28 >= 0, <= 1.8038;
var x29 >= 0, <= 0.949367;
var x30 >= 0, <= 0.601266;
var x31 >= 0, <= 1.20253;
var x32 >= 0, <= 1.42405;
var x33 >= 0, <= 0.949367;
var x34 >= 0, <= 1.29747;
var x35 >= 0, <= 1.8038;
var x36 >= 0, <= 0.601266;
var x37 >= 0, <= 1.29747;
var x38 >= 0, <= 1.42405;
var x39 >= 0, <= 1.20253;
var x40 >= 0, <= 0.443038;
var x41 >= 0, <= 0.85443;
var x42 >= 0, <= 0.601266;
var x43 >= 0, <= 0.443038;
var x44 >= 0, <= 1.42405;
var x45 >= 0, <= 0.949367;
var x46 >= 0, <= 0.601266;
var x47 >= 0, <= 1.42405;
var x48 >= 0, <= 0.949367;
var x49 >= 0, <= 1.29747;
var x50 >= 0, <= 1.42405;
var x51 >= 0, <= 0.443038;
var x52 >= 0, <= 1.8038;
var x53 >= 0, <= 0.85443;
var x54 >= 0, <= 0.601266;
var x55 >= 0, <= 1.29747;
var x56 >= 0, <= 1.20253;
var x57 >= 0, <= 1.8038;
var x58 >= 0, <= 1.42405;
var x59 >= 0, <= 0.949367;
var x60 >= 0, <= 0.601266;
var x61 >= 0, <= 1.29747;
var x62 >= 0, <= 1.42405;
var x63 >= 0, <= 1.20253;
var x64 >= 0, <= 0.443038;
var x65 >= 0, <= 1.8038;
var x66 >= 0, <= 0.85443;
var x67 >= 0, <= 0.949367;
var x68 >= 0, <= 0.601266;
var x69 >= 0, <= 1.29747;
var x70 >= 0, <= 1.42405;
var x71 >= 0, <= 1.8038;
var x72 >= 0, <= 0.85443;
var x73 >= 0, <= 1.42405;
var x74 >= 0, <= 0.949367;
var x75 >= 0, <= 0.601266;
var x76 >= 0, <= 1.29747;
var x77 >= 0, <= 1.42405;
var x78 >= 0, <= 1.20253;
var x79 >= 0, <= 0.443038;
var x80 >= 0, <= 1.8038;
var x81 >= 0, <= 0.85443;
var x82 >= 0, <= 1.42405;
var x83 >= 0, <= 0.949367;
var x84 >= 0, <= 1.42405;
var x85 >= 0, <= 1.20253;
var x86 >= 0, <= 1.42405;
var x87 >= 0, <= 0.85443;
var x88 >= 0, <= 0.601266;
var x89 >= 0, <= 1.42405;
var x90 >= 0, <= 1.20253;
var x91 >= 0, <= 0.443038;
var x92 >= 0, <= 1.42405;
var x93 >= 0, <= 0.949367;
var x94 >= 0, <= 10;
var x95 >= 0, <= 10;
var x96 >= 0, <= 10;
var x97 >= 0, <= 10;
var x98 >= 0, <= 10;
var x99 >= 0, <= 10;
var x100 >= 0, <= 10;
var x101 >= 0, <= 10;
var x102 >= 0, <= 10;
var x103 >= 0, <= 10;
var x104 >= 0, <= 10;
var x105 >= 0, <= 10;
var x106 >= 0, <= 10;
var x107 >= 0, <= 10;
var x108 >= 0, <= 10;
var x109 >= 0, <= 10;
var x110 >= 0, <= 10;
var x111 >= 0, <= 10;
var x112 >= 0, <= 10;
var x113 >= 0, <= 10;
var x114 >= 0, <= 10;
var x115 >= 0, <= 10;
var x116 >= 0, <= 10;
var x117 >= 0, <= 10;
var x118 >= 0, <= 10;
var x119 >= 0, <= 10;
var x120 >= 0, <= 10;
var x121 >= 0, <= 10;
var x122 >= 0, <= 10;
var x123 >= 0, <= 10;
var x124 >= 0, <= 10;
var x125 >= 0, <= 10;
var x126 >= 0, <= 10;
var x127 >= 0, <= 10;
var x128 >= 0, <= 10;
var x129 >= 0, <= 10;
var x130 >= 0, <= 10;
var x131 >= 0, <= 10;
var x132 >= 0, <= 10;
var x133 >= 0, <= 10;
var x134 >= 0, <= 10;
var x135 >= 0, <= 10;
var x136 >= 0, <= 10;
var x137 >= 0, <= 10;
var x138 >= 0, <= 10;
var x139 >= 0, <= 10;
var x140 >= 0, <= 10;
var x141 >= 0, <= 10;
var x142 >= 0, <= 10;
var x143 := 0.481283, >= 0.481283, <= 4.91979;
var x144 := 0.855615, >= 0.855615, <= 4.91979;
var x145 := 0.855615, >= 0.855615, <= 4.91979;
var x146 := 0.481283, >= 0.481283, <= 4.91979;
var x147 := 1.81818, >= 1.81818, <= 4.75936;
var x148 := 0.481283, >= 0.481283, <= 4.91979;
var x149 := 0.855615, >= 0.855615, <= 4.91979;
var x150 := 0.481283, >= 0.481283, <= 4.91979;
var x151 := 0.855615, >= 0.855615, <= 4.91979;
var x152 := 1.73469, >= 1.73469, <= 4.23469;
var x153 := 1.53061, >= 1.53061, <= 4.38776;
var x154 := 1.53061, >= 1.53061, <= 4.38776;
var x155 := 2.60204, >= 2.60204, <= 4.23469;
var x156 := 1.73469, >= 1.73469, <= 3.82653;
var x157 := 1.53061, >= 1.53061, <= 4.38776;
var x158 := 1.73469, >= 1.73469, <= 4.23469;
var x159 := 1.53061, >= 1.53061, <= 4.38776;
var x160 := 1.53061, >= 1.53061, <= 4.23469;
var x161 := 1.13514, >= 1.13514, <= 3.18919;
var x162 := 0.756757, >= 0.756757, <= 3.18919;
var x163 := 0.756757, >= 0.756757, <= 4.16216;
var x164 := 1.40541, >= 1.40541, <= 4.16216;
var x165 := 1.13514, >= 1.13514, <= 4.16216;
var x166 := 0.756757, >= 0.756757, <= 4.16216;
var x167 := 0.756757, >= 0.756757, <= 3.18919;
var x168 := 1.2973, >= 1.2973, <= 4.16216;
var x169 := 0.756757, >= 0.756757, <= 4.16216;
var x170 >= 0, <= 1.42405;
var x171 >= 0, <= 1.42405;
var x172 >= 0, <= 1.42405;

minimize obj:    158*x2 - 221.2*x3 + 189.6*x4 + 31.6*x5 - 442.4*x6 - 347.6*x7
     - 347.6*x8 - 189.6*x9 - 410.8*x10 + 63.2*x11 + 474*x12 + 94.8*x13
     + 252.8*x14 + 505.6*x15 - 442.4*x16 + 63.2*x17 + 252.8*x18 + 252.8*x19
     - 221.2*x20 - 126.4*x21 + 252.8*x22 - 126.4*x23 + 31.6*x24 - 189.6*x25
     + 410.8*x26 + 31.6*x27 + 31.6*x28 + 442.4*x29 + 474*x30 + 94.8*x31
     + 31.6*x32 + 505.6*x33 + 474*x34 + 94.8*x35 + 126.4*x36 + 126.4*x37
     - 347.6*x38 - 252.8*x39 + 126.4*x40 - 94.8*x41 + 474*x42 + 474*x43
     + 31.6*x44 + 505.6*x45 + 158*x46 - 284.4*x47 + 189.6*x48 + 158*x49
     - 316*x50 + 158*x51 - 221.2*x52 - 63.2*x53 + 158*x54 + 158*x55 - 221.2*x56
     - 221.2*x57 - 284.4*x58 + 189.6*x59 - 126.4*x60 - 126.4*x61 - 600.4*x62
     - 505.6*x63 - 126.4*x64 - 505.6*x65 - 347.6*x66 - 94.8*x67 + 158*x68
     + 158*x69 - 316*x70 - 221.2*x71 - 63.2*x72 - 284.4*x73 + 189.6*x74
     + 158*x75 + 158*x76 - 316*x77 - 221.2*x78 + 158*x79 - 221.2*x80 - 63.2*x81
     - 284.4*x82 + 189.6*x83 - 316*x84 - 221.2*x85 - 284.4*x86 - 63.2*x87
     + 758.4*x88 + 284.4*x89 + 379.2*x90 + 758.4*x91 + 316*x92 + 790*x93
     - 126.4*x94 - 126.4*x95 - 126.4*x96 - 126.4*x97 - 126.4*x98 + 316*x99
     + 316*x100 + 316*x101 + 316*x102 - 126.4*x103 + 158*x104 - 126.4*x105
     - 126.4*x106 - 126.4*x107 - 726.8*x108 + 94.8*x109 + 94.8*x110 + 94.8*x111
     + 379.2*x112 + 94.8*x113 + 94.8*x114 + 94.8*x115 - 505.6*x116 + 252.8*x117
     + 537.2*x118 + 252.8*x119 + 252.8*x120 + 316*x121 + 316*x122 + 316*x123
     + 316*x124 + 316*x125 + 316*x126 + 316*x127 + 316*x128 - 284.4*x129
     - 31.6*x130 - 31.6*x131 - 31.6*x132 - 31.6*x133 - 632*x134 + 316*x135
     + 316*x136 + 316*x137 + 600.4*x138 + 316*x139 + 316*x140 + 316*x141
     - 284.4*x142;

subject to

e2:    x2 + x3 + x4 + x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + x55
     + x56 + x57 + x58 + x59 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75
     + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 + x87
     + x88 + x89 + x90 + x91 + x92 + x93 - x94 - x95 - x96 - x97 - x98 - x99
     - x100 - x101 - x102 - x103 - x105 - x106 - x107 - x108 - x109 - x110
     - x111 - x113 - x114 - x115 - x116 - x117 - x119 - x120 - x121 - x122
     - x123 - x124 - x125 - x126 - x127 - x128 - x129 - x130 - x131 - x132
     - x133 - x134 - x135 - x136 - x137 - x139 - x140 - x141 - x142 <= 10;

e3:    x5 + x6 + x7 + x8 + x9 + x10 + x11 + x94 + x95 + x96 + x97 + x98 <= 10;

e4:    x12 + x13 + x14 + x15 + x88 + x89 + x90 + x91 + x92 + x93 + x99 + x100
     + x101 + x102 - x108 - x116 - x129 - x134 - x142 + x170 <= 10;

e5:    x16 + x17 + x103 + x104 + x105 + x106 + x107 + x108 <= 10;

e6:    x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x109 + x110 + x111
     + x112 + x113 + x114 + x115 + x116 <= 10;

e7:    x26 + x27 + x28 + x29 + x117 + x118 + x119 + x120 <= 10;

e8:    x30 + x31 + x32 + x33 + x121 + x122 + x123 + x124 + x171 <= 10;

e9:    x34 + x35 + x125 + x126 + x127 + x128 + x129 <= 10;

e10:    x36 + x37 + x38 + x39 + x40 + x41 + x130 + x131 + x132 + x133 + x134
      <= 10;

e11:    x42 + x43 + x44 + x45 + x135 + x136 + x137 + x138 + x139 + x140 + x141
      + x142 + x172 <= 10;

e12:    x2 + x5 + x12 + x18 + x26 + x30 + x36 + x42 + x46 + x54 + x60 + x68
      + x75 + x88 <= 0.601266;

e13:    x19 + x34 + x37 + x49 + x55 + x61 + x69 + x76 <= 1.29747;

e14:    x6 + x16 + x20 + x38 + x50 + x62 + x70 + x77 + x84 + x89 + x170 + x171
      + x172 <= 1.42405;

e15:    x7 + x13 + x21 + x27 + x31 + x39 + x56 + x63 + x78 + x85 + x90
      <= 1.20253;

e16:    x22 + x40 + x43 + x51 + x64 + x79 + x91 <= 0.443038;

e17:    x3 + x8 + x23 + x28 + x35 + x52 + x57 + x65 + x71 + x80 <= 1.8038;

e18:    x9 + x14 + x24 + x41 + x53 + x66 + x72 + x81 + x87 <= 0.85443;

e19:    x10 + x25 + x32 + x44 + x47 + x58 + x73 + x82 + x86 + x92 <= 1.42405;

e20:    x4 + x11 + x15 + x17 + x29 + x33 + x45 + x48 + x59 + x67 + x74 + x83
      + x93 <= 0.949367;

e21:    x46 + x47 + x48 <= 10;

e22:    x49 + x50 + x51 + x52 + x53 <= 10;

e23:    x54 + x55 + x56 + x57 + x58 + x59 <= 10;

e24:    x60 + x61 + x62 + x63 + x64 + x65 + x66 + x67 <= 10;

e25:    x68 + x69 + x70 + x71 + x72 + x73 + x74 <= 10;

e26:    x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 <= 10;

e27:    x84 + x85 + x86 <= 10;

e28:    x88 + x89 + x90 + x91 + x92 + x93 <= 10;

e29:    x46 + x47 + x48 - x94 - x109 - x117 - x125 - x135 >= 0;

e30:    x49 + x50 + x51 + x52 + x53 - x95 - x99 - x110 - x121 - x130 - x136
      >= 0;

e31:    x54 + x55 + x56 + x57 + x58 + x59 - x100 - x103 - x111 - x122 - x126
      - x131 - x137 >= 0;

e32:    x68 + x69 + x70 + x71 + x72 + x73 + x74 - x96 - x105 - x127 >= 0;

e33:    x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 - x97 - x101 - x106
      - x113 - x119 - x123 - x128 - x132 - x139 >= 0;

e34:    x84 + x85 + x86 - x102 - x114 - x140 >= 0;

e35:    x87 - x98 - x107 - x115 - x120 - x124 - x133 - x141 >= 0;

e36:    x88 + x89 + x90 + x91 + x92 + x93 - x108 - x116 - x129 - x134 - x142
      >= 0;

e37:    x88 + x89 + x90 + x91 + x92 + x93 - x108 - x116 - x129 - x134 - x142
      >= 0;

e38: x143*x46 - 4.49198*x46 + x143*x47 - 4.49198*x47 + x143*x48 - 4.49198*x48
      - 0.26738*x94 - 0.427807*x109 + 4.0107*x117 + 2.6738*x125 - 0.213904*x135
      = 0;

e39: x144*x49 - 4.49198*x49 + x144*x50 - 4.49198*x50 + x144*x51 - 4.49198*x51
      + x144*x52 - 4.49198*x52 + x144*x53 - 4.49198*x53 - 0.26738*x95
      + 3.63636*x99 - 0.427807*x110 + 2.62032*x121 + 0.26738*x130
      - 0.213904*x136 = 0;

e40: x145*x54 - 4.49198*x54 + x145*x55 - 4.49198*x55 + x145*x56 - 4.49198*x56
      + x145*x57 - 4.49198*x57 + x145*x58 - 4.49198*x58 + x145*x59 - 4.49198*
     x59 + 3.63636*x100 + 0.0534759*x103 - 0.427807*x111 + 2.62032*x122
      + 2.6738*x126 + 0.26738*x131 - 0.213904*x137 = 0;

e41: x146*x60 + x146*x61 + x146*x62 + x146*x63 + x146*x64 + x146*x65 + x146*x66
      + x146*x67 - 4.4385*x104 - 4.91979*x112 - 0.481283*x118 - 4.70588*x138
      = 0;

e42: x147*x68 - 4.49198*x68 + x147*x69 - 4.49198*x69 + x147*x70 - 4.49198*x70
      + x147*x71 - 4.49198*x71 + x147*x72 - 4.49198*x72 + x147*x73 - 4.49198*
     x73 + x147*x74 - 4.49198*x74 - 0.26738*x96 + 0.0534759*x105 + 2.6738*x127
      = 0;

e43: x148*x75 - 4.49198*x75 + x148*x76 - 4.49198*x76 + x148*x77 - 4.49198*x77
      + x148*x78 - 4.49198*x78 + x148*x79 - 4.49198*x79 + x148*x80 - 4.49198*
     x80 + x148*x81 - 4.49198*x81 + x148*x82 - 4.49198*x82 + x148*x83 - 4.49198
     *x83 - 0.26738*x97 + 3.63636*x101 + 0.0534759*x106 - 0.427807*x113
      + 4.0107*x119 + 2.62032*x123 + 2.6738*x128 + 0.26738*x132 - 0.213904*x139
      = 0;

e44: x149*x84 - 4.49198*x84 + x149*x85 - 4.49198*x85 + x149*x86 - 4.49198*x86
      + 3.63636*x102 - 0.427807*x114 - 0.213904*x140 = 0;

e45: x150*x87 - 4.49198*x87 - 0.26738*x98 + 0.0534759*x107 - 0.427807*x115
      + 4.0107*x120 + 2.62032*x124 + 0.26738*x133 - 0.213904*x141 = 0;

e46: x151*x88 - 5.34759*x88 + x151*x89 - 5.34759*x89 + x151*x90 - 5.34759*x90
      + x151*x91 - 5.34759*x91 + x151*x92 - 5.34759*x92 + x151*x93 - 5.34759*
     x93 + 0.909091*x108 + 0.427807*x116 + 3.52941*x129 + 1.12299*x134
      + 0.641711*x142 = 0;

e47: x143*x46 - 0.481283*x46 + x145*x54 - 0.481283*x54 + x146*x60 - 0.481283*
     x60 + x147*x68 - 0.481283*x68 + x148*x75 - 0.481283*x75 + x151*x88 - 
     0.481283*x88 + 4.0107*x2 + 4.27807*x5 + 0.374332*x12 + 4.4385*x18
      + 1.39037*x30 + 3.74332*x36 + 4.2246*x42 >= 0;

e48: x143*x46 - 5.34759*x46 + x145*x54 - 5.34759*x54 + x146*x60 - 5.34759*x60
      + x147*x68 - 5.34759*x68 + x148*x75 - 5.34759*x75 + x151*x88 - 5.34759*
     x88 - 0.855615*x2 - 0.588235*x5 - 4.49198*x12 - 0.427807*x18 - 4.86631*x26
      - 3.47594*x30 - 1.12299*x36 - 0.641711*x42 <= 0;

e49: x144*x49 - 0.481283*x49 + x145*x55 - 0.481283*x55 + x146*x61 - 0.481283*
     x61 + x147*x69 - 0.481283*x69 + x148*x76 - 0.481283*x76 + 4.4385*x19
      + 1.3369*x34 + 3.74332*x37 >= 0;

e50: x144*x49 - 10*x49 + x145*x55 - 10*x55 + x146*x61 - 10*x61 + x147*x69 - 10*
     x69 + x148*x76 - 10*x76 - 5.08021*x19 - 8.18182*x34 - 5.7754*x37 <= 0;

e51: x144*x50 - 0.481283*x50 + x146*x62 - 0.481283*x62 + x147*x70 - 0.481283*
     x70 + x148*x77 - 0.481283*x77 + x149*x84 - 0.481283*x84 + x151*x89 - 
     0.481283*x89 + 4.27807*x6 + 3.95722*x16 + 4.4385*x20 + 3.74332*x38
      + 0.374332*x170 + 1.39037*x171 + 4.2246*x172 >= 0;

e52: x144*x50 - 3.95722*x50 + x146*x62 - 3.95722*x62 + x147*x70 - 3.95722*x70
      + x148*x77 - 3.95722*x77 + x149*x84 - 3.95722*x84 + x151*x89 - 3.95722*
     x89 + 0.802139*x6 + 0.481283*x16 + 0.962567*x20 + 0.26738*x38
      - 3.1016*x170 - 2.08556*x171 + 0.748663*x172 <= 0;

e53: x145*x56 - 0.481283*x56 + x146*x63 - 0.481283*x63 + x148*x78 - 0.481283*
     x78 + x149*x85 - 0.481283*x85 + x151*x90 - 0.481283*x90 + 4.27807*x7
      + 0.374332*x13 + 4.4385*x21 + 1.39037*x31 + 3.74332*x39 >= 0;

e54: x145*x56 - 5.02674*x56 + x146*x63 - 5.02674*x63 + x148*x78 - 5.02674*x78
      + x149*x85 - 5.02674*x85 + x151*x90 - 5.02674*x90 - 0.26738*x7
      - 4.17112*x13 - 0.106952*x21 - 4.54545*x27 - 3.15508*x31 - 0.802139*x39
      <= 0;

e55: x144*x51 - 0.481283*x51 + x146*x64 - 0.481283*x64 + x148*x79 - 0.481283*
     x79 + x151*x91 - 0.481283*x91 + 4.4385*x22 + 3.74332*x40 + 4.2246*x43
      >= 0;

e56: x144*x51 - 5.88235*x51 + x146*x64 - 5.88235*x64 + x148*x79 - 5.88235*x79
      + x151*x91 - 5.88235*x91 - 0.962567*x22 - 1.65775*x40 - 1.17647*x43 <= 0;

e57: x144*x52 - 0.481283*x52 + x145*x57 - 0.481283*x57 + x146*x65 - 0.481283*
     x65 + x147*x71 - 0.481283*x71 + x148*x80 - 0.481283*x80 + 4.0107*x3
      + 4.27807*x8 + 4.4385*x23 + 1.3369*x35 >= 0;

e58: x144*x52 - 3.36898*x52 + x145*x57 - 3.36898*x57 + x146*x65 - 3.36898*x65
      + x147*x71 - 3.36898*x71 + x148*x80 - 3.36898*x80 + 1.12299*x3
      + 1.39037*x8 + 1.5508*x23 - 2.8877*x28 - 1.5508*x35 <= 0;

e59: x144*x53 - 0.481283*x53 + x146*x66 - 0.481283*x66 + x147*x72 - 0.481283*
     x72 + x148*x81 - 0.481283*x81 + x150*x87 - 0.481283*x87 + 4.27807*x9
      + 0.374332*x14 + 4.4385*x24 + 3.74332*x41 >= 0;

e60: x144*x53 - 4.59893*x53 + x146*x66 - 4.59893*x66 + x147*x72 - 4.59893*x72
      + x148*x81 - 4.59893*x81 + x150*x87 - 4.59893*x87 + 0.160428*x9
      - 3.74332*x14 + 0.320856*x24 - 0.374332*x41 <= 0;

e61: x143*x47 - 0.481283*x47 + x145*x58 - 0.481283*x58 + x147*x73 - 0.481283*
     x73 + x148*x82 - 0.481283*x82 + x149*x86 - 0.481283*x86 + x151*x92 - 
     0.481283*x92 + 4.27807*x10 + 4.4385*x25 + 1.39037*x32 + 4.2246*x44 >= 0;

e62: x143*x47 - 8.02139*x47 + x145*x58 - 8.02139*x58 + x147*x73 - 8.02139*x73
      + x148*x82 - 8.02139*x82 + x149*x86 - 8.02139*x86 + x151*x92 - 8.02139*
     x92 - 3.26203*x10 - 3.1016*x25 - 6.14973*x32 - 3.31551*x44 <= 0;

e63: x143*x48 - 0.481283*x48 + x145*x59 - 0.481283*x59 + x146*x67 - 0.481283*
     x67 + x147*x74 - 0.481283*x74 + x148*x83 - 0.481283*x83 + x151*x93 - 
     0.481283*x93 + 4.0107*x4 + 4.27807*x11 + 0.374332*x15 + 3.95722*x17
      + 1.39037*x33 + 4.2246*x45 >= 0;

e64: x143*x48 - 7.80749*x48 + x145*x59 - 7.80749*x59 + x146*x67 - 7.80749*x67
      + x147*x74 - 7.80749*x74 + x148*x83 - 7.80749*x83 + x151*x93 - 7.80749*
     x93 - 3.31551*x4 - 3.04813*x11 - 6.95187*x15 - 3.36898*x17 - 7.3262*x29
      - 5.93583*x33 - 3.1016*x45 <= 0;

e65: x152*x46 - 1.73469*x46 + x152*x47 - 1.73469*x47 + x152*x48 - 1.73469*x48
      - 1.58163*x94 - 2.5*x109 - 1.63265*x117 - 2.09184*x125 - 0.867347*x135
      = 0;

e66: x153*x49 - 1.73469*x49 + x153*x50 - 1.73469*x50 + x153*x51 - 1.73469*x51
      + x153*x52 - 1.73469*x52 + x153*x53 - 1.73469*x53 - 1.58163*x95
      - 2.04082*x99 - 2.5*x110 - 2.65306*x121 + 0.204082*x130 - 0.867347*x136
      = 0;

e67: x154*x54 - 1.73469*x54 + x154*x55 - 1.73469*x55 + x154*x56 - 1.73469*x56
      + x154*x57 - 1.73469*x57 + x154*x58 - 1.73469*x58 + x154*x59 - 1.73469*
     x59 - 2.04082*x100 - 1.22449*x103 - 2.5*x111 - 2.65306*x122 - 2.09184*x126
      + 0.204082*x131 - 0.867347*x137 = 0;

e68: x155*x60 + x155*x61 + x155*x62 + x155*x63 + x155*x64 + x155*x65 + x155*x66
      + x155*x67 - 2.95918*x104 - 4.23469*x112 - 3.36735*x118 - 2.60204*x138
      = 0;

e69: x156*x68 - 1.73469*x68 + x156*x69 - 1.73469*x69 + x156*x70 - 1.73469*x70
      + x156*x71 - 1.73469*x71 + x156*x72 - 1.73469*x72 + x156*x73 - 1.73469*
     x73 + x156*x74 - 1.73469*x74 - 1.58163*x96 - 1.22449*x105 - 2.09184*x127
      = 0;

e70: x157*x75 - 1.73469*x75 + x157*x76 - 1.73469*x76 + x157*x77 - 1.73469*x77
      + x157*x78 - 1.73469*x78 + x157*x79 - 1.73469*x79 + x157*x80 - 1.73469*
     x80 + x157*x81 - 1.73469*x81 + x157*x82 - 1.73469*x82 + x157*x83 - 1.73469
     *x83 - 1.58163*x97 - 2.04082*x101 - 1.22449*x106 - 2.5*x113 - 1.63265*x119
      - 2.65306*x123 - 2.09184*x128 + 0.204082*x132 - 0.867347*x139 = 0;

e71: x158*x84 - 1.73469*x84 + x158*x85 - 1.73469*x85 + x158*x86 - 1.73469*x86
      - 2.04082*x102 - 2.5*x114 - 0.867347*x140 = 0;

e72: x159*x87 - 1.73469*x87 - 1.58163*x98 - 1.22449*x107 - 2.5*x115
      - 1.63265*x120 - 2.65306*x124 + 0.204082*x133 - 0.867347*x141 = 0;

e73: x160*x88 - 5.5102*x88 + x160*x89 - 5.5102*x89 + x160*x90 - 5.5102*x90 + 
     x160*x91 - 5.5102*x91 + x160*x92 - 5.5102*x92 + x160*x93 - 5.5102*x93
      + 2.55102*x108 + 1.27551*x116 + 1.68367*x129 + 3.97959*x134
      + 2.90816*x142 = 0;

e74: x152*x46 - 1.53061*x46 + x154*x54 - 1.53061*x54 + x155*x60 - 1.53061*x60
      + x156*x68 - 1.53061*x68 + x157*x75 - 1.53061*x75 + x160*x88 - 1.53061*
     x88 + 0.204082*x2 + 1.78571*x5 + 2.2449*x12 + 2.70408*x18 + 1.83673*x26
      + 2.85714*x30 + 1.07143*x42 >= 0;

e75: x152*x46 - 8.41837*x46 + x154*x54 - 8.41837*x54 + x155*x60 - 8.41837*x60
      + x156*x68 - 8.41837*x68 + x157*x75 - 8.41837*x75 + x160*x88 - 8.41837*
     x88 - 6.68367*x2 - 5.10204*x5 - 4.64286*x12 - 4.18367*x18 - 5.05102*x26
      - 4.03061*x30 - 6.88776*x36 - 5.81633*x42 <= 0;

e76: x153*x49 - 1.53061*x49 + x154*x55 - 1.53061*x55 + x155*x61 - 1.53061*x61
      + x156*x69 - 1.53061*x69 + x157*x76 - 1.53061*x76 + 2.70408*x19
      + 2.29592*x34 >= 0;

e77: x153*x49 - 7.39796*x49 + x154*x55 - 7.39796*x55 + x155*x61 - 7.39796*x61
      + x156*x69 - 7.39796*x69 + x157*x76 - 7.39796*x76 - 3.16327*x19
      - 3.57143*x34 - 5.86735*x37 <= 0;

e78: x153*x50 - 1.53061*x50 + x155*x62 - 1.53061*x62 + x156*x70 - 1.53061*x70
      + x157*x77 - 1.53061*x77 + x158*x84 - 1.53061*x84 + x160*x89 - 1.53061*
     x89 + 1.78571*x6 + 1.42857*x16 + 2.70408*x20 + 2.2449*x170 + 2.85714*x171
      + 1.07143*x172 >= 0;

e79: x153*x50 - 5.61224*x50 + x155*x62 - 5.61224*x62 + x156*x70 - 5.61224*x70
      + x157*x77 - 5.61224*x77 + x158*x84 - 5.61224*x84 + x160*x89 - 5.61224*
     x89 - 2.29592*x6 - 2.65306*x16 - 1.37755*x20 - 4.08163*x38 - 1.83673*x170
      - 1.22449*x171 - 3.0102*x172 <= 0;

e80: x154*x56 - 1.53061*x56 + x155*x63 - 1.53061*x63 + x157*x78 - 1.53061*x78
      + x158*x85 - 1.53061*x85 + x160*x90 - 1.53061*x90 + 1.78571*x7
      + 2.2449*x13 + 2.70408*x21 + 1.83673*x27 + 2.85714*x31 >= 0;

e81: x154*x56 - 7.44898*x56 + x155*x63 - 7.44898*x63 + x157*x78 - 7.44898*x78
      + x158*x85 - 7.44898*x85 + x160*x90 - 7.44898*x90 - 4.13265*x7
      - 3.67347*x13 - 3.21429*x21 - 4.08163*x27 - 3.06122*x31 - 5.91837*x39
      <= 0;

e82: x153*x51 - 1.53061*x51 + x155*x64 - 1.53061*x64 + x157*x79 - 1.53061*x79
      + x160*x91 - 1.53061*x91 + 2.70408*x22 + 1.07143*x43 >= 0;

e83: x153*x51 - 9.38776*x51 + x155*x64 - 9.38776*x64 + x157*x79 - 9.38776*x79
      + x160*x91 - 9.38776*x91 - 5.15306*x22 - 7.85714*x40 - 6.78571*x43 <= 0;

e84: x153*x52 - 1.53061*x52 + x154*x57 - 1.53061*x57 + x155*x65 - 1.53061*x65
      + x156*x71 - 1.53061*x71 + x157*x80 - 1.53061*x80 + 0.204082*x3
      + 1.78571*x8 + 2.70408*x23 + 1.83673*x28 + 2.29592*x35 >= 0;

e85: x153*x52 - 4.03061*x52 + x154*x57 - 4.03061*x57 + x155*x65 - 4.03061*x65
      + x156*x71 - 4.03061*x71 + x157*x80 - 4.03061*x80 - 2.29592*x3
      - 0.714286*x8 + 0.204082*x23 - 0.663265*x28 - 0.204082*x35 <= 0;

e86: x153*x53 - 1.53061*x53 + x155*x66 - 1.53061*x66 + x156*x72 - 1.53061*x72
      + x157*x81 - 1.53061*x81 + x159*x87 - 1.53061*x87 + 1.78571*x9
      + 2.2449*x14 + 2.70408*x24 >= 0;

e87: x153*x53 - 10*x53 + x155*x66 - 10*x66 + x156*x72 - 10*x72 + x157*x81 - 10*
     x81 + x159*x87 - 10*x87 - 6.68367*x9 - 6.22449*x14 - 5.76531*x24
      - 8.46939*x41 <= 0;

e88: x152*x47 - 1.53061*x47 + x154*x58 - 1.53061*x58 + x156*x73 - 1.53061*x73
      + x157*x82 - 1.53061*x82 + x158*x86 - 1.53061*x86 + x160*x92 - 1.53061*
     x92 + 1.78571*x10 + 2.70408*x25 + 2.85714*x32 + 1.07143*x44 >= 0;

e89: x152*x47 - 6.63265*x47 + x154*x58 - 6.63265*x58 + x156*x73 - 6.63265*x73
      + x157*x82 - 6.63265*x82 + x158*x86 - 6.63265*x86 + x160*x92 - 6.63265*
     x92 - 3.31633*x10 - 2.39796*x25 - 2.2449*x32 - 4.03061*x44 <= 0;

e90: x152*x48 - 1.53061*x48 + x154*x59 - 1.53061*x59 + x155*x67 - 1.53061*x67
      + x156*x74 - 1.53061*x74 + x157*x83 - 1.53061*x83 + x160*x93 - 1.53061*
     x93 + 0.204082*x4 + 1.78571*x11 + 2.2449*x15 + 1.42857*x17 + 1.83673*x29
      + 2.85714*x33 + 1.07143*x45 >= 0;

e91: x152*x48 - 5.2551*x48 + x154*x59 - 5.2551*x59 + x155*x67 - 5.2551*x67 + 
     x156*x74 - 5.2551*x74 + x157*x83 - 5.2551*x83 + x160*x93 - 5.2551*x93
      - 3.52041*x4 - 1.93878*x11 - 1.47959*x15 - 2.29592*x17 - 1.88776*x29
      - 0.867347*x33 - 2.65306*x45 <= 0;

e92: x161*x46 - 1.2973*x46 + x161*x47 - 1.2973*x47 + x161*x48 - 1.2973*x48
      - 1.08108*x94 - 0.702703*x109 - 0.108108*x117 + 0.162162*x125
      - 1.89189*x135 = 0;

e93: x162*x49 - 1.2973*x49 + x162*x50 - 1.2973*x50 + x162*x51 - 1.2973*x51 + 
     x162*x52 - 1.2973*x52 + x162*x53 - 1.2973*x53 - 1.08108*x95 + 0.540541*x99
      - 0.702703*x110 - 1.08108*x121 - 0.540541*x130 - 1.89189*x136 = 0;

e94: x163*x54 - 1.2973*x54 + x163*x55 - 1.2973*x55 + x163*x56 - 1.2973*x56 + 
     x163*x57 - 1.2973*x57 + x163*x58 - 1.2973*x58 + x163*x59 - 1.2973*x59
      + 0.540541*x100 - 2.86486*x103 - 0.702703*x111 - 1.08108*x122
      + 0.162162*x126 - 0.540541*x131 - 1.89189*x137 = 0;

e95: x164*x60 + x164*x61 + x164*x62 + x164*x63 + x164*x64 + x164*x65 + x164*x66
      + x164*x67 - 4.16216*x104 - 2*x112 - 1.40541*x118 - 3.18919*x138 = 0;

e96: x165*x68 - 1.2973*x68 + x165*x69 - 1.2973*x69 + x165*x70 - 1.2973*x70 + 
     x165*x71 - 1.2973*x71 + x165*x72 - 1.2973*x72 + x165*x73 - 1.2973*x73 + 
     x165*x74 - 1.2973*x74 - 1.08108*x96 - 2.86486*x105 + 0.162162*x127 = 0;

e97: x166*x75 - 1.2973*x75 + x166*x76 - 1.2973*x76 + x166*x77 - 1.2973*x77 + 
     x166*x78 - 1.2973*x78 + x166*x79 - 1.2973*x79 + x166*x80 - 1.2973*x80 + 
     x166*x81 - 1.2973*x81 + x166*x82 - 1.2973*x82 + x166*x83 - 1.2973*x83
      - 1.08108*x97 + 0.540541*x101 - 2.86486*x106 - 0.702703*x113
      - 0.108108*x119 - 1.08108*x123 + 0.162162*x128 - 0.540541*x132
      - 1.89189*x139 = 0;

e98: x167*x84 - 1.2973*x84 + x167*x85 - 1.2973*x85 + x167*x86 - 1.2973*x86
      + 0.540541*x102 - 0.702703*x114 - 1.89189*x140 = 0;

e99: x168*x87 - 1.2973*x87 - 1.08108*x98 - 2.86486*x107 - 0.702703*x115
      - 0.108108*x120 - 1.08108*x124 - 0.540541*x133 - 1.89189*x141 = 0;

e100: x169*x88 - 2.05405*x88 + x169*x89 - 2.05405*x89 + x169*x90 - 2.05405*x90
       + x169*x91 - 2.05405*x91 + x169*x92 - 2.05405*x92 + x169*x93 - 2.05405*
      x93 - 2.10811*x108 + 0.0540541*x116 + 0.918919*x129 + 0.216216*x134
       - 1.13514*x142 = 0;

e101: x161*x46 - 0.756757*x46 + x163*x54 - 0.756757*x54 + x164*x60 - 0.756757*
      x60 + x165*x68 - 0.756757*x68 + x166*x75 - 0.756757*x75 + x169*x88 - 
      0.756757*x88 + 0.540541*x2 + 1.62162*x5 + 1.24324*x18 + 0.648649*x26
       + 1.62162*x30 + 1.08108*x36 + 2.43243*x42 >= 0;

e102: x161*x46 - 4.97297*x46 + x163*x54 - 4.97297*x54 + x164*x60 - 4.97297*x60
       + x165*x68 - 4.97297*x68 + x166*x75 - 4.97297*x75 + x169*x88 - 4.97297*
      x88 - 3.67568*x2 - 2.59459*x5 - 4.21622*x12 - 2.97297*x18 - 3.56757*x26
       - 2.59459*x30 - 3.13514*x36 - 1.78378*x42 <= 0;

e103: x162*x49 - 0.756757*x49 + x163*x55 - 0.756757*x55 + x164*x61 - 0.756757*
      x61 + x165*x69 - 0.756757*x69 + x166*x76 - 0.756757*x76 + 1.24324*x19
       + 0.378378*x34 + 1.08108*x37 >= 0;

e104: x162*x49 - 8.54054*x49 + x163*x55 - 8.54054*x55 + x164*x61 - 8.54054*x61
       + x165*x69 - 8.54054*x69 + x166*x76 - 8.54054*x76 - 6.54054*x19
       - 7.40541*x34 - 6.7027*x37 <= 0;

e105: x162*x50 - 0.756757*x50 + x164*x62 - 0.756757*x62 + x165*x70 - 0.756757*
      x70 + x166*x77 - 0.756757*x77 + x167*x84 - 0.756757*x84 + x169*x89 - 
      0.756757*x89 + 1.62162*x6 + 3.40541*x16 + 1.24324*x20 + 1.08108*x38
       + 1.62162*x171 + 2.43243*x172 >= 0;

e106: x162*x50 - 3.72973*x50 + x164*x62 - 3.72973*x62 + x165*x70 - 3.72973*x70
       + x166*x77 - 3.72973*x77 + x167*x84 - 3.72973*x84 + x169*x89 - 3.72973*
      x89 - 1.35135*x6 + 0.432432*x16 - 1.72973*x20 - 1.89189*x38
       - 2.97297*x170 - 1.35135*x171 - 0.540541*x172 <= 0;

e107: x163*x56 - 0.756757*x56 + x164*x63 - 0.756757*x63 + x166*x78 - 0.756757*
      x78 + x167*x85 - 0.756757*x85 + x169*x90 - 0.756757*x90 + 1.62162*x7
       + 1.24324*x21 + 0.648649*x27 + 1.62162*x31 + 1.08108*x39 >= 0;

e108: x163*x56 - 6.97297*x56 + x164*x63 - 6.97297*x63 + x166*x78 - 6.97297*x78
       + x167*x85 - 6.97297*x85 + x169*x90 - 6.97297*x90 - 4.59459*x7
       - 6.21622*x13 - 4.97297*x21 - 5.56757*x27 - 4.59459*x31 - 5.13514*x39
       <= 0;

e109: x162*x51 - 0.756757*x51 + x164*x64 - 0.756757*x64 + x166*x79 - 0.756757*
      x79 + x169*x91 - 0.756757*x91 + 1.24324*x22 + 1.08108*x40 + 2.43243*x43
       >= 0;

e110: x162*x51 - 4.97297*x51 + x164*x64 - 4.97297*x64 + x166*x79 - 4.97297*x79
       + x169*x91 - 4.97297*x91 - 2.97297*x22 - 3.13514*x40 - 1.78378*x43 <= 0;

e111: x162*x52 - 0.756757*x52 + x163*x57 - 0.756757*x57 + x164*x65 - 0.756757*
      x65 + x165*x71 - 0.756757*x71 + x166*x80 - 0.756757*x80 + 0.540541*x3
       + 1.62162*x8 + 1.24324*x23 + 0.648649*x28 + 0.378378*x35 >= 0;

e112: x162*x52 - 8.05405*x52 + x163*x57 - 8.05405*x57 + x164*x65 - 8.05405*x65
       + x165*x71 - 8.05405*x71 + x166*x80 - 8.05405*x80 - 6.75676*x3
       - 5.67568*x8 - 6.05405*x23 - 6.64865*x28 - 6.91892*x35 <= 0;

e113: x162*x53 - 0.756757*x53 + x164*x66 - 0.756757*x66 + x165*x72 - 0.756757*
      x72 + x166*x81 - 0.756757*x81 + x168*x87 - 0.756757*x87 + 1.62162*x9
       + 1.24324*x24 + 1.08108*x41 >= 0;

e114: x162*x53 - 10*x53 + x164*x66 - 10*x66 + x165*x72 - 10*x72 + x166*x81 - 10
      *x81 + x168*x87 - 10*x87 - 7.62162*x9 - 9.24324*x14 - 8*x24 - 8.16216*x41
       <= 0;

e115: x161*x47 - 0.756757*x47 + x163*x58 - 0.756757*x58 + x165*x73 - 0.756757*
      x73 + x166*x82 - 0.756757*x82 + x167*x86 - 0.756757*x86 + x169*x92 - 
      0.756757*x92 + 1.62162*x10 + 1.24324*x25 + 1.62162*x32 + 2.43243*x44
       >= 0;

e116: x161*x47 - 3.02703*x47 + x163*x58 - 3.02703*x58 + x165*x73 - 3.02703*x73
       + x166*x82 - 3.02703*x82 + x167*x86 - 3.02703*x86 + x169*x92 - 3.02703*
      x92 - 0.648649*x10 - 1.02703*x25 - 0.648649*x32 + 0.162162*x44 <= 0;

e117: x161*x48 - 0.756757*x48 + x163*x59 - 0.756757*x59 + x164*x67 - 0.756757*
      x67 + x165*x74 - 0.756757*x74 + x166*x83 - 0.756757*x83 + x169*x93 - 
      0.756757*x93 + 0.540541*x4 + 1.62162*x11 + 3.40541*x17 + 0.648649*x29
       + 1.62162*x33 + 2.43243*x45 >= 0;

e118: x161*x48 - 8.27027*x48 + x163*x59 - 8.27027*x59 + x164*x67 - 8.27027*x67
       + x165*x74 - 8.27027*x74 + x166*x83 - 8.27027*x83 + x169*x93 - 8.27027*
      x93 - 6.97297*x4 - 5.89189*x11 - 7.51351*x15 - 4.10811*x17 - 6.86486*x29
       - 5.89189*x33 - 5.08108*x45 <= 0;