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


var x2 >= 0, <= 0.0421941;
var x3 >= 0, <= 0.0632911;
var x4 >= 0, <= 1.81435;
var x5 >= 0, <= 0.400844;
var x6 >= 0, <= 0.843882;
var x7 >= 0, <= 1.54008;
var x8 >= 0, <= 0.400844;
var x9 >= 0, <= 0.843882;
var x10 >= 0, <= 0.464135;
var x11 >= 0, <= 0.0632911;
var x12 >= 0, <= 1.81435;
var x13 >= 0, <= 0.970464;
var x14 >= 0, <= 0.843882;
var x15 >= 0, <= 0.970464;
var x16 >= 0, <= 1.49789;
var x17 >= 0, <= 0.400844;
var x18 >= 0, <= 0.464135;
var x19 >= 0, <= 0.970464;
var x20 >= 0, <= 1.54008;
var x21 >= 0, <= 0.400844;
var x22 >= 0, <= 1.81435;
var x23 >= 0, <= 0.0632911;
var x24 >= 0, <= 0.843882;
var x25 >= 0, <= 0.0421941;
var x26 >= 0, <= 1.81435;
var x27 >= 0, <= 0.0632911;
var x28 >= 0, <= 0.548523;
var x29 >= 0, <= 1.49789;
var x30 >= 0, <= 1.54008;
var x31 >= 0, <= 0.464135;
var x32 >= 0, <= 0.0421941;
var x33 >= 0, <= 1.81435;
var x34 >= 0, <= 0.548523;
var x35 >= 0, <= 0.843882;
var x36 >= 0, <= 0.464135;
var x37 >= 0, <= 0.0632911;
var x38 >= 0, <= 1.81435;
var x39 >= 0, <= 0.970464;
var x40 >= 0, <= 0.548523;
var x41 >= 0, <= 1.49789;
var x42 >= 0, <= 1.54008;
var x43 >= 0, <= 0.400844;
var x44 >= 0, <= 0.464135;
var x45 >= 0, <= 1.81435;
var x46 >= 0, <= 0.548523;
var x47 >= 0, <= 1.54008;
var x48 >= 0, <= 0.0421941;
var x49 >= 0, <= 0.0632911;
var x50 >= 0, <= 0.970464;
var x51 >= 0, <= 0.548523;
var x52 >= 0, <= 0.400844;
var x53 >= 0, <= 0.843882;
var x54 >= 0, <= 0.0421941;
var x55 >= 0, <= 1.81435;
var x56 >= 0, <= 1.81435;
var x57 >= 0, <= 0.970464;
var x58 >= 0, <= 1.49789;
var x59 >= 0, <= 0.400844;
var x60 >= 0, <= 0.843882;
var x61 >= 0, <= 0.0421941;
var x62 >= 0, <= 1.81435;
var x63 >= 0, <= 0.0632911;
var x64 >= 0, <= 1.81435;
var x65 >= 0, <= 0.970464;
var x66 >= 0, <= 0.548523;
var x67 >= 0, <= 1.49789;
var x68 >= 0, <= 1.54008;
var x69 >= 0, <= 0.843882;
var x70 >= 0, <= 0.464135;
var x71 >= 0, <= 0.0421941;
var x72 >= 0, <= 0.464135;
var x73 >= 0, <= 1.81435;
var x74 >= 0, <= 1.81435;
var x75 >= 0, <= 1.49789;
var x76 >= 0, <= 1.54008;
var x77 >= 0, <= 0.400844;
var x78 >= 0, <= 0.0421941;
var x79 >= 0, <= 0.0632911;
var x80 >= 0, <= 1.81435;
var x81 >= 0, <= 0.970464;
var x82 >= 0, <= 0.548523;
var x83 >= 0, <= 1.49789;
var x84 >= 0, <= 1.54008;
var x85 >= 0, <= 0.400844;
var x86 >= 0, <= 0.464135;
var x87 >= 0, <= 0.0632911;
var x88 >= 0, <= 1.81435;
var x89 >= 0, <= 0.970464;
var x90 >= 0, <= 0.548523;
var x91 >= 0, <= 1.49789;
var x92 >= 0, <= 1.54008;
var x93 >= 0, <= 0.400844;
var x94 >= 0, <= 0.464135;
var x95 >= 0, <= 0.0421941;
var x96 >= 0, <= 1.81435;
var x97 >= 0, <= 0.0632911;
var x98 >= 0, <= 1.49789;
var x99 >= 0, <= 0.400844;
var x100 >= 0, <= 0.464135;
var x101 >= 0, <= 1.81435;
var x102 >= 0, <= 1.49789;
var x103 >= 0, <= 0.548523;
var x104 >= 0, <= 0.0421941;
var x105 >= 0, <= 1.81435;
var x106 >= 0, <= 0.0632911;
var x107 >= 0, <= 0.970464;
var x108 >= 0, <= 1.49789;
var x109 >= 0, <= 0.400844;
var x110 >= 0, <= 0.464135;
var x111 >= 0, <= 1.81435;
var x112 >= 0, <= 0.843882;
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, <= 10;
var x144 >= 0, <= 10;
var x145 >= 0, <= 10;
var x146 >= 0, <= 10;
var x147 >= 0, <= 10;
var x148 >= 0, <= 10;
var x149 >= 0, <= 10;
var x150 >= 0, <= 10;
var x151 >= 0, <= 10;
var x152 >= 0, <= 10;
var x153 >= 0, <= 10;
var x154 >= 0, <= 10;
var x155 >= 0, <= 10;
var x156 >= 0, <= 10;
var x157 >= 0, <= 10;
var x158 >= 0, <= 10;
var x159 >= 0, <= 10;
var x160 >= 0, <= 10;
var x161 >= 0, <= 10;
var x162 >= 0, <= 10;
var x163 >= 0, <= 10;
var x164 >= 0, <= 10;
var x165 >= 0, <= 10;
var x166 >= 0, <= 10;
var x167 >= 0, <= 10;
var x168 >= 0, <= 10;
var x169 >= 0, <= 10;
var x170 := 0.565217, >= 0.565217, <= 4.26087;
var x171 := 2.69565, >= 2.69565, <= 4.26087;
var x172 := 0.565217, >= 0.565217, <= 4.26087;
var x173 := 0.565217, >= 0.565217, <= 4.26087;
var x174 := 0.695652, >= 0.695652, <= 4.26087;
var x175 := 0.565217, >= 0.565217, <= 3.47826;
var x176 := 1.34783, >= 1.34783, <= 3.56522;
var x177 := 0.565217, >= 0.565217, <= 4.26087;
var x178 := 0.565217, >= 0.565217, <= 4.26087;
var x179 := 0.565217, >= 0.565217, <= 4.26087;
var x180 := 0.160643, >= 0.160643, <= 3.65462;
var x181 := 0.160643, >= 0.160643, <= 3.65462;
var x182 := 0.160643, >= 0.160643, <= 2.57028;
var x183 := 0.160643, >= 0.160643, <= 3.65462;
var x184 := 0.160643, >= 0.160643, <= 2.85141;
var x185 := 0.281124, >= 0.281124, <= 2.85141;
var x186 := 0.843373, >= 0.843373, <= 3.65462;
var x187 := 0.281124, >= 0.281124, <= 3.65462;
var x188 := 0.160643, >= 0.160643, <= 3.65462;
var x189 := 0.160643, >= 0.160643, <= 3.65462;
var x190 := 0.138249, >= 0.138249, <= 4.10138;
var x191 := 0.138249, >= 0.138249, <= 3.64055;
var x192 := 2.35023, >= 2.35023, <= 3.64055;
var x193 := 2.35023, >= 2.35023, <= 4.10138;
var x194 := 0.230415, >= 0.230415, <= 4.10138;
var x195 := 2.39631, >= 2.39631, <= 4.10138;
var x196 := 1.05991, >= 1.05991, <= 3.54839;
var x197 := 1.05991, >= 1.05991, <= 3.64055;
var x198 := 0.230415, >= 0.230415, <= 4.0553;
var x199 := 0.138249, >= 0.138249, <= 3.64055;
var x200 := 0.394089, >= 0.394089, <= 4.18719;
var x201 := 0.394089, >= 0.394089, <= 3.94089;
var x202 := 0.541872, >= 0.541872, <= 3.94089;
var x203 := 0.541872, >= 0.541872, <= 3.94089;
var x204 := 1.52709, >= 1.52709, <= 4.18719;
var x205 := 1.87192, >= 1.87192, <= 3.94089;
var x206 := 0.985222, >= 0.985222, <= 3.89163;
var x207 := 0.541872, >= 0.541872, <= 3.94089;
var x208 := 0.541872, >= 0.541872, <= 4.18719;
var x209 := 0.394089, >= 0.394089, <= 3.94089;
var x210 >= 0, <= 0.0421941;
var x211 >= 0, <= 0.843882;
var x212 >= 0, <= 1.81435;
var x213 >= 0, <= 0.548523;

minimize obj:  - 284.4*x2 - 237*x3 - 331.8*x4 - 379.2*x5 - 426.6*x6 + 94.8*x7
     - 94.8*x8 - 142.2*x9 + 379.2*x10 - 47.4*x11 - 142.2*x12 - 189.6*x13
     - 237*x14 - 663.6*x15 - 521.4*x16 - 663.6*x17 - 189.6*x18 + 47.4*x19
     + 237*x20 + 47.4*x21 + 47.4*x22 - 331.8*x23 - 521.4*x24 + 237*x25
     + 663.6*x26 + 284.4*x27 + 616.2*x28 + 284.4*x29 + 331.8*x30 + 616.2*x31
     - 474*x32 - 521.4*x33 - 94.8*x34 - 616.2*x35 - 94.8*x36 + 47.4*x37
     - 47.4*x38 - 94.8*x39 + 379.2*x40 + 47.4*x41 + 94.8*x42 - 94.8*x43
     + 379.2*x44 - 94.8*x45 + 331.8*x46 + 47.4*x47 + 47.4*x48 + 94.8*x49
     - 47.4*x50 + 426.6*x51 - 47.4*x52 - 94.8*x53 - 379.2*x54 + 47.4*x55
     - 426.6*x56 - 474*x57 - 331.8*x58 - 474*x59 - 521.4*x60 - 284.4*x61
     + 142.2*x62 - 237*x63 - 331.8*x64 - 379.2*x65 + 94.8*x66 - 237*x67
     - 189.6*x68 - 426.6*x69 + 94.8*x70 - 711*x71 - 331.8*x72 - 284.4*x73
     - 758.4*x74 - 663.6*x75 - 616.2*x76 - 805.8*x77 - 284.4*x78 - 237*x79
     - 331.8*x80 - 379.2*x81 + 94.8*x82 - 237*x83 - 189.6*x84 - 379.2*x85
     + 94.8*x86 - 237*x87 - 331.8*x88 - 379.2*x89 + 94.8*x90 - 237*x91
     - 189.6*x92 - 379.2*x93 + 94.8*x94 - 284.4*x95 + 142.2*x96 - 237*x97
     - 237*x98 - 379.2*x99 + 94.8*x100 - 331.8*x101 - 237*x102 + 379.2*x103
     + 426.6*x104 + 853.2*x105 + 474*x106 + 331.8*x107 + 474*x108 + 331.8*x109
     + 805.8*x110 + 758.4*x111 + 189.6*x112 + 284.4*x113 + 711*x114
     + 284.4*x115 + 284.4*x116 + 189.6*x117 + 616.2*x118 + 189.6*x119
     - 94.8*x120 - 521.4*x121 - 284.4*x122 + 142.2*x123 - 900.6*x124
     + 426.6*x125 + 853.2*x126 + 853.2*x127 + 426.6*x128 + 142.2*x129
     - 284.4*x130 - 189.6*x131 - 94.8*x132 + 331.8*x133 + 331.8*x134
     - 94.8*x135 - 94.8*x136 - 805.8*x137 - 711*x138 + 521.4*x139 + 948*x140
     + 521.4*x141 + 521.4*x142 + 237*x143 - 189.6*x144 - 94.8*x145 - 189.6*x146
     - 189.6*x147 - 189.6*x148 - 189.6*x149 + 284.4*x150 + 284.4*x151
     + 284.4*x152 + 284.4*x153 - 426.6*x154 + 237*x155 + 237*x156 + 237*x157
     + 237*x158 - 47.4*x159 - 474*x160 - 379.2*x161 + 331.8*x162 + 331.8*x163
     + 47.4*x164 - 379.2*x165 - 284.4*x166 - 94.8*x167 - 94.8*x168 - 805.8*x169
    ;

subject to

e2:    x2 + x3 + x4 + x5 + x6 + x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68
     + x69 + x70 + 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 + x104 + x105 + x106 + x107 + x108 + x109 + x110
     + x111 + x112 - x113 - x115 - x116 - x117 - x119 - x121 - x122 - x124
     - x125 - x128 - x130 - x131 - x132 - x135 - x136 - x137 - x138 - x139
     - x141 - x142 - x144 - x145 - x146 - x147 - x148 - x149 - x150 - x151
     - x152 - x153 - x154 - x155 - x156 - x157 - x158 - x160 - x161 - x162
     - x163 - x165 - x166 - x167 - x168 - x169 <= 10;

e3:    x7 + x8 + x9 + x10 + x103 + x104 + x105 + x106 + x107 + x108 + x109
     + x110 + x113 + x114 + x115 + x116 - x120 - x121 - x129 - x130 - x137
     - x143 - x144 - x154 - x159 - x160 - x164 - x165 - x169 + x210 <= 10;

e4:    x11 + x12 + x13 + x14 + x111 + x112 + x117 + x118 + x119 + x120 + x121
     - x124 - x131 - x138 - x145 - x161 - x166 <= 10;

e5:    x15 + x16 + x17 + x18 + x122 + x123 + x124 <= 10;

e6:    x19 + x20 + x21 + x125 + x126 + x127 + x128 + x129 + x130 + x131 + x211
     <= 10;

e7:    x22 + x23 + x24 + x132 + x133 + x134 + x135 + x136 + x137 + x138 <= 10;

e8:    x25 + x26 + x27 + x28 + x29 + x30 + x31 + x139 + x140 + x141 + x142
     + x143 + x144 + x145 <= 10;

e9:    x32 + x33 + x34 + x35 + x36 + x146 + x147 + x148 + x149 <= 10;

e10:    x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x150 + x151 + x152
      + x153 + x154 <= 10;

e11:    x45 + x46 + x47 + x155 + x156 + x157 + x158 + x159 + x160 + x161 <= 10;

e12:    x48 + x49 + x50 + x51 + x52 + x53 + x162 + x163 + x164 + x165 + x166
      + x212 <= 10;

e13:    x54 + x55 + x56 + x57 + x58 + x59 + x60 + x167 + x168 + x169 + x213
      <= 10;

e14:    x2 + x25 + x32 + x48 + x54 + x61 + x71 + x78 + x95 + x104 + x210
      <= 0.0421941;

e15:    x22 + x26 + x55 + x62 + x73 + x96 + x105 + x111 <= 1.81435;

e16:    x3 + x11 + x23 + x27 + x37 + x49 + x63 + x79 + x87 + x97 + x106
      <= 0.0632911;

e17:    x4 + x12 + x33 + x38 + x45 + x56 + x64 + x74 + x80 + x88 + x101 + x212
      <= 1.81435;

e18:    x13 + x15 + x19 + x39 + x50 + x57 + x65 + x81 + x89 + x107 <= 0.970464;

e19:    x28 + x34 + x40 + x46 + x51 + x66 + x82 + x90 + x103 + x213
      <= 0.548523;

e20:    x16 + x29 + x41 + x58 + x67 + x75 + x83 + x91 + x98 + x102 + x108
      <= 1.49789;

e21:    x7 + x20 + x30 + x42 + x47 + x68 + x76 + x84 + x92 <= 1.54008;

e22:    x5 + x8 + x17 + x21 + x43 + x52 + x59 + x77 + x85 + x93 + x99 + x109
      <= 0.400844;

e23:    x6 + x9 + x14 + x24 + x35 + x53 + x60 + x69 + x112 + x211 <= 0.843882;

e24:    x10 + x18 + x31 + x36 + x44 + x70 + x72 + x86 + x94 + x100 + x110
      <= 0.464135;

e25:    x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 <= 10;

e26:    x71 + x72 <= 10;

e27:    x73 + x74 + x75 + x76 + x77 <= 10;

e28:    x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 <= 10;

e29:    x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 <= 10;

e30:    x95 + x96 + x97 + x98 + x99 + x100 <= 10;

e31:    x101 + x102 <= 10;

e32:    x103 + x210 <= 10;

e33:    x104 + x105 + x106 + x107 + x108 + x109 + x110 <= 10;

e34:    x111 + x112 <= 10;

e35:    x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 - x113 - x117
      - x122 - x125 - x132 - x139 - x146 - x150 - x155 - x162 - x167 >= 0;

e36:    x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 - x115 - x119
      - x128 - x135 - x141 - x147 - x151 - x156 >= 0;

e37:    x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 - x136 - x148 - x152
      - x157 - x168 >= 0;

e38:    x95 + x96 + x97 + x98 + x99 + x100 - x142 - x149 - x153 - x158 >= 0;

e39:    x101 + x102 - x116 - x163 >= 0;

e40:    x104 + x105 + x106 + x107 + x108 + x109 + x110 - x121 - x130 - x137
      - x144 - x154 - x160 - x165 - x169 >= 0;

e41:    x111 + x112 - x124 - x131 - x138 - x145 - x161 - x166 >= 0;

e42:    x103 - x120 - x129 - x143 - x159 - x164 + x210 >= 0;

e43:    x104 + x105 + x106 + x107 + x108 + x109 + x110 - x121 - x130 - x137
      - x144 - x154 - x160 - x165 - x169 >= 0;

e44:    x111 + x112 - x124 - x131 - x138 - x145 - x161 - x166 >= 0;

e45: x170*x61 - 3.47826*x61 + x170*x62 - 3.47826*x62 + x170*x63 - 3.47826*x63
      + x170*x64 - 3.47826*x64 + x170*x65 - 3.47826*x65 + x170*x66 - 3.47826*
     x66 + x170*x67 - 3.47826*x67 + x170*x68 - 3.47826*x68 + x170*x69 - 3.47826
     *x69 + x170*x70 - 3.47826*x70 - 0.0869565*x113 + 0.782609*x117
      - 0.73913*x122 - 0.782609*x125 - 0.782609*x132 + 2.91304*x139
      + 0.956522*x146 + 2.78261*x150 + 1.6087*x155 + 2.13043*x162 + 2.3913*x167
      = 0;

e46: x171*x71 + x171*x72 - 2.69565*x118 - 4.21739*x123 - 4.26087*x126
      - 4.26087*x133 = 0;

e47: x172*x73 + x172*x74 + x172*x75 + x172*x76 + x172*x77 - 3.56522*x114
      - 4.26087*x127 - 4.26087*x134 - 0.565217*x140 = 0;

e48: x173*x78 - 3.47826*x78 + x173*x79 - 3.47826*x79 + x173*x80 - 3.47826*x80
      + x173*x81 - 3.47826*x81 + x173*x82 - 3.47826*x82 + x173*x83 - 3.47826*
     x83 + x173*x84 - 3.47826*x84 + x173*x85 - 3.47826*x85 + x173*x86 - 3.47826
     *x86 - 0.0869565*x115 + 0.782609*x119 - 0.782609*x128 - 0.782609*x135
      + 2.91304*x141 + 0.956522*x147 + 2.78261*x151 + 1.6087*x156 = 0;

e49: x174*x87 - 3.47826*x87 + x174*x88 - 3.47826*x88 + x174*x89 - 3.47826*x89
      + x174*x90 - 3.47826*x90 + x174*x91 - 3.47826*x91 + x174*x92 - 3.47826*
     x92 + x174*x93 - 3.47826*x93 + x174*x94 - 3.47826*x94 - 0.782609*x136
      + 0.956522*x148 + 2.78261*x152 + 1.6087*x157 + 2.3913*x168 = 0;

e50: x175*x95 - 3.47826*x95 + x175*x96 - 3.47826*x96 + x175*x97 - 3.47826*x97
      + x175*x98 - 3.47826*x98 + x175*x99 - 3.47826*x99 + x175*x100 - 3.47826*
     x100 + 2.91304*x142 + 0.956522*x149 + 2.78261*x153 + 1.6087*x158 = 0;

e51: x176*x101 - 3.47826*x101 + x176*x102 - 3.47826*x102 - 0.0869565*x116
      + 2.13043*x163 = 0;

e52: x177*x103 - 3.56522*x103 + x210*x177 - 3.56522*x210 + 0.869565*x120
      - 0.695652*x129 + 3*x143 + 1.69565*x159 + 2.21739*x164 = 0;

e53: x178*x104 - 7.04348*x104 + x178*x105 - 7.04348*x105 + x178*x106 - 7.04348*
     x106 + x178*x107 - 7.04348*x107 + x178*x108 - 7.04348*x108 + x178*x109 - 
     7.04348*x109 + x178*x110 - 7.04348*x110 + 4.34783*x121 + 2.78261*x130
      + 2.78261*x137 + 6.47826*x144 + 6.34783*x154 + 5.17391*x160
      + 5.69565*x165 + 5.95652*x169 = 0;

e54: x179*x111 - 6.17391*x111 + x179*x112 - 6.17391*x112 + 1.95652*x124
      + 1.91304*x131 + 1.91304*x138 + 5.6087*x145 + 4.30435*x161 + 4.82609*x166
      = 0;

e55: x170*x61 - 0.565217*x61 + x171*x71 - 0.565217*x71 + x173*x78 - 0.565217*
     x78 + x175*x95 - 0.565217*x95 + x178*x104 - 0.565217*x104 + x210*x177 - 
     0.565217*x210 + 2.91304*x2 + 1.95652*x32 + 0.782609*x48 + 0.521739*x54
      >= 0;

e56: x170*x61 - 9.43478*x61 + x171*x71 - 9.43478*x71 + x173*x78 - 9.43478*x78
      + x175*x95 - 9.43478*x95 + x178*x104 - 9.43478*x104 + x210*x177 - 9.43478
     *x210 - 5.95652*x2 - 8.86957*x25 - 6.91304*x32 - 8.08696*x48 - 8.34783*x54
      <= 0;

e57: x170*x62 - 0.565217*x62 + x172*x73 - 0.565217*x73 + x175*x96 - 0.565217*
     x96 + x178*x105 - 0.565217*x105 + x179*x111 - 0.565217*x111 + 3.69565*x22
      + 0.521739*x55 >= 0;

e58: x170*x62 - 5.34783*x62 + x172*x73 - 5.34783*x73 + x175*x96 - 5.34783*x96
      + x178*x105 - 5.34783*x105 + x179*x111 - 5.34783*x111 - 1.08696*x22
      - 4.78261*x26 - 4.26087*x55 <= 0;

e59: x170*x63 - 0.565217*x63 + x173*x79 - 0.565217*x79 + x174*x87 - 0.565217*
     x87 + x175*x97 - 0.565217*x97 + x178*x106 - 0.565217*x106 + 2.91304*x3
      + 2.13043*x11 + 3.69565*x23 + 0.130435*x37 + 0.782609*x49 >= 0;

e60: x170*x63 - 8.17391*x63 + x173*x79 - 8.17391*x79 + x174*x87 - 8.17391*x87
      + x175*x97 - 8.17391*x97 + x178*x106 - 8.17391*x106 - 4.69565*x3
      - 5.47826*x11 - 3.91304*x23 - 7.6087*x27 - 7.47826*x37 - 6.82609*x49
      <= 0;

e61: x170*x64 - 0.565217*x64 + x172*x74 - 0.565217*x74 + x173*x80 - 0.565217*
     x80 + x174*x88 - 0.565217*x88 + x176*x101 - 0.565217*x101 + 2.91304*x4
      + 2.13043*x12 + 1.95652*x33 + 0.130435*x38 + 1.30435*x45 + 0.521739*x56
      + 0.782609*x212 >= 0;

e62: x170*x64 - 10*x64 + x172*x74 - 10*x74 + x173*x80 - 10*x80 + x174*x88 - 10*
     x88 + x176*x101 - 10*x101 - 6.52174*x4 - 7.30435*x12 - 7.47826*x33
      - 9.30435*x38 - 8.13043*x45 - 8.91304*x56 - 8.65217*x212 <= 0;

e63: x170*x65 - 0.565217*x65 + x173*x81 - 0.565217*x81 + x174*x89 - 0.565217*
     x89 + x178*x107 - 0.565217*x107 + 2.13043*x13 + 3.65217*x15 + 3.69565*x19
      + 0.130435*x39 + 0.782609*x50 + 0.521739*x57 >= 0;

e64: x170*x65 - 3.65217*x65 + x173*x81 - 3.65217*x81 + x174*x89 - 3.65217*x89
      + x178*x107 - 3.65217*x107 - 0.956522*x13 + 0.565217*x15 + 0.608696*x19
      - 2.95652*x39 - 2.30435*x50 - 2.56522*x57 <= 0;

e65: x170*x66 - 0.565217*x66 + x173*x82 - 0.565217*x82 + x174*x90 - 0.565217*
     x90 + x177*x103 - 0.565217*x103 + 1.95652*x34 + 0.130435*x40 + 1.30435*x46
      + 0.782609*x51 + 0.521739*x213 >= 0;

e66: x170*x66 - 2.6087*x66 + x173*x82 - 2.6087*x82 + x174*x90 - 2.6087*x90 + 
     x177*x103 - 2.6087*x103 - 2.04348*x28 - 0.0869565*x34 - 1.91304*x40
      - 0.73913*x46 - 1.26087*x51 - 1.52174*x213 <= 0;

e67: x170*x67 - 0.565217*x67 + x172*x75 - 0.565217*x75 + x173*x83 - 0.565217*
     x83 + x174*x91 - 0.565217*x91 + x175*x98 - 0.565217*x98 + x176*x102 - 
     0.565217*x102 + x178*x108 - 0.565217*x108 + 3.65217*x16 + 0.130435*x41
      + 0.521739*x58 >= 0;

e68: x170*x67 - 7.65217*x67 + x172*x75 - 7.65217*x75 + x173*x83 - 7.65217*x83
      + x174*x91 - 7.65217*x91 + x175*x98 - 7.65217*x98 + x176*x102 - 7.65217*
     x102 + x178*x108 - 7.65217*x108 - 3.43478*x16 - 7.08696*x29 - 6.95652*x41
      - 6.56522*x58 <= 0;

e69: x170*x68 - 0.565217*x68 + x172*x76 - 0.565217*x76 + x173*x84 - 0.565217*
     x84 + x174*x92 - 0.565217*x92 + 3*x7 + 3.69565*x20 + 0.130435*x42
      + 1.30435*x47 >= 0;

e70: x170*x68 - 4.47826*x68 + x172*x76 - 4.47826*x76 + x173*x84 - 4.47826*x84
      + x174*x92 - 4.47826*x92 - 0.913043*x7 - 0.217391*x20 - 3.91304*x30
      - 3.78261*x42 - 2.6087*x47 <= 0;

e71: x172*x77 - 0.565217*x77 + x173*x85 - 0.565217*x85 + x174*x93 - 0.565217*
     x93 + x175*x99 - 0.565217*x99 + x178*x109 - 0.565217*x109 + 2.91304*x5
      + 3*x8 + 3.65217*x17 + 3.69565*x21 + 0.130435*x43 + 0.782609*x52
      + 0.521739*x59 >= 0;

e72: x172*x77 - 2.56522*x77 + x173*x85 - 2.56522*x85 + x174*x93 - 2.56522*x93
      + x175*x99 - 2.56522*x99 + x178*x109 - 2.56522*x109 + 0.913043*x5 + x8
      + 1.65217*x17 + 1.69565*x21 - 1.86957*x43 - 1.21739*x52 - 1.47826*x59
      <= 0;

e73: x170*x69 - 0.565217*x69 + x179*x112 - 0.565217*x112 + 2.91304*x6 + 3*x9
      + 2.13043*x14 + 3.69565*x24 + 1.95652*x35 + 0.782609*x53 + 0.521739*x60
      + 3.69565*x211 >= 0;

e74: x170*x69 - 9.52174*x69 + x179*x112 - 9.52174*x112 - 6.04348*x6
      - 5.95652*x9 - 6.82609*x14 - 5.26087*x24 - 7*x35 - 8.17391*x53
      - 8.43478*x60 - 5.26087*x211 <= 0;

e75: x170*x70 - 0.565217*x70 + x171*x72 - 0.565217*x72 + x173*x86 - 0.565217*
     x86 + x174*x94 - 0.565217*x94 + x175*x100 - 0.565217*x100 + x178*x110 - 
     0.565217*x110 + 3*x10 + 3.65217*x18 + 1.95652*x36 + 0.130435*x44 >= 0;

e76: x170*x70 - 9*x70 + x171*x72 - 9*x72 + x173*x86 - 9*x86 + x174*x94 - 9*x94
      + x175*x100 - 9*x100 + x178*x110 - 9*x110 - 5.43478*x10 - 4.78261*x18
      - 8.43478*x31 - 6.47826*x36 - 8.30435*x44 <= 0;

e77: x180*x61 - 0.843373*x61 + x180*x62 - 0.843373*x62 + x180*x63 - 0.843373*
     x63 + x180*x64 - 0.843373*x64 + x180*x65 - 0.843373*x65 + x180*x66 - 
     0.843373*x66 + x180*x67 - 0.843373*x67 + x180*x68 - 0.843373*x68 + x180*
     x69 - 0.843373*x69 + x180*x70 - 0.843373*x70 - 1.72691*x113 - 2.81124*x117
      - 2.249*x122 + 0.120482*x125 + 0.682731*x132 + 0.562249*x139
      - 1.60643*x146 - 0.160643*x150 - 2.00803*x155 - 2.81124*x162
      - 1.04418*x167 = 0;

e78: x181*x71 + x181*x72 - 3.65462*x118 - 3.09237*x123 - 0.722892*x126
      - 0.160643*x133 = 0;

e79: x182*x73 + x182*x74 + x182*x75 + x182*x76 + x182*x77 - 2.57028*x114
      - 0.722892*x127 - 0.160643*x134 - 0.281124*x140 = 0;

e80: x183*x78 - 0.843373*x78 + x183*x79 - 0.843373*x79 + x183*x80 - 0.843373*
     x80 + x183*x81 - 0.843373*x81 + x183*x82 - 0.843373*x82 + x183*x83 - 
     0.843373*x83 + x183*x84 - 0.843373*x84 + x183*x85 - 0.843373*x85 + x183*
     x86 - 0.843373*x86 - 1.72691*x115 - 2.81124*x119 + 0.120482*x128
      + 0.682731*x135 + 0.562249*x141 - 1.60643*x147 - 0.160643*x151
      - 2.00803*x156 = 0;

e81: x184*x87 - 0.843373*x87 + x184*x88 - 0.843373*x88 + x184*x89 - 0.843373*
     x89 + x184*x90 - 0.843373*x90 + x184*x91 - 0.843373*x91 + x184*x92 - 
     0.843373*x92 + x184*x93 - 0.843373*x93 + x184*x94 - 0.843373*x94
      + 0.682731*x136 - 1.60643*x148 - 0.160643*x152 - 2.00803*x157
      - 1.04418*x168 = 0;

e82: x185*x95 - 0.843373*x95 + x185*x96 - 0.843373*x96 + x185*x97 - 0.843373*
     x97 + x185*x98 - 0.843373*x98 + x185*x99 - 0.843373*x99 + x185*x100 - 
     0.843373*x100 + 0.562249*x142 - 1.60643*x149 - 0.160643*x153
      - 2.00803*x158 = 0;

e83: x186*x101 - 0.843373*x101 + x186*x102 - 0.843373*x102 - 1.72691*x116
      - 2.81124*x163 = 0;

e84: x187*x103 - 2.57028*x103 + x210*x187 - 2.57028*x210 - 1.08434*x120
      + 1.84739*x129 + 2.28916*x143 - 0.281124*x159 - 1.08434*x164 = 0;

e85: x188*x104 - 3.41365*x104 + x188*x105 - 3.41365*x105 + x188*x106 - 3.41365*
     x106 + x188*x107 - 3.41365*x107 + x188*x108 - 3.41365*x108 + x188*x109 - 
     3.41365*x109 + x188*x110 - 3.41365*x110 - 0.240964*x121 + 2.69076*x130
      + 3.25301*x137 + 3.13253*x144 + 2.40964*x154 + 0.562249*x160
      - 0.240964*x165 + 1.5261*x169 = 0;

e86: x189*x111 - 4.49799*x111 + x189*x112 - 4.49799*x112 + 1.40562*x124
      + 3.7751*x131 + 4.33735*x138 + 4.21687*x145 + 1.64659*x161
      + 0.843373*x166 = 0;

e87: x180*x61 - 0.160643*x61 + x181*x71 - 0.160643*x71 + x183*x78 - 0.160643*
     x78 + x185*x95 - 0.160643*x95 + x188*x104 - 0.160643*x104 + x210*x187 - 
     0.160643*x210 + 0.682731*x2 + 0.120482*x25 + 2.28916*x32 + 3.49398*x48
      + 1.72691*x54 >= 0;

e88: x180*x61 - 6.78715*x61 + x181*x71 - 6.78715*x71 + x183*x78 - 6.78715*x78
      + x185*x95 - 6.78715*x95 + x188*x104 - 6.78715*x104 + x210*x187 - 6.78715
     *x210 - 5.94378*x2 - 6.50602*x25 - 4.33735*x32 - 3.13253*x48 - 4.8996*x54
      <= 0;

e89: x180*x62 - 0.160643*x62 + x182*x73 - 0.160643*x73 + x185*x96 - 0.160643*
     x96 + x188*x105 - 0.160643*x105 + x189*x111 - 0.160643*x111 + 0.120482*x26
      + 1.72691*x55 >= 0;

e90: x180*x62 - 6.14458*x62 + x182*x73 - 6.14458*x73 + x185*x96 - 6.14458*x96
      + x188*x105 - 6.14458*x105 + x189*x111 - 6.14458*x111 - 5.98394*x22
      - 5.86345*x26 - 4.25703*x55 <= 0;

e91: x180*x63 - 0.160643*x63 + x183*x79 - 0.160643*x79 + x184*x87 - 0.160643*
     x87 + x185*x97 - 0.160643*x97 + x188*x106 - 0.160643*x106 + 0.682731*x3
      + 3.49398*x11 + 0.120482*x27 + 0.843373*x37 + 3.49398*x49 >= 0;

e92: x180*x63 - 2.85141*x63 + x183*x79 - 2.85141*x79 + x184*x87 - 2.85141*x87
      + x185*x97 - 2.85141*x97 + x188*x106 - 2.85141*x106 - 2.00803*x3
      + 0.803213*x11 - 2.69076*x23 - 2.57028*x27 - 1.84739*x37 + 0.803213*x49
      <= 0;

e93: x180*x64 - 0.160643*x64 + x182*x74 - 0.160643*x74 + x183*x80 - 0.160643*
     x80 + x184*x88 - 0.160643*x88 + x186*x101 - 0.160643*x101 + 0.682731*x4
      + 3.49398*x12 + 2.28916*x33 + 0.843373*x38 + 2.69076*x45 + 1.72691*x56
      + 3.49398*x212 >= 0;

e94: x180*x64 - 5.46185*x64 + x182*x74 - 5.46185*x74 + x183*x80 - 5.46185*x80
      + x184*x88 - 5.46185*x88 + x186*x101 - 5.46185*x101 - 4.61847*x4
      - 1.80723*x12 - 3.01205*x33 - 4.45783*x38 - 2.61044*x45 - 3.5743*x56
      - 1.80723*x212 <= 0;

e95: x180*x65 - 0.160643*x65 + x183*x81 - 0.160643*x81 + x184*x89 - 0.160643*
     x89 + x188*x107 - 0.160643*x107 + 3.49398*x13 + 2.93173*x15 + 0.562249*x19
      + 0.843373*x39 + 3.49398*x50 + 1.72691*x57 >= 0;

e96: x180*x65 - 6.14458*x65 + x183*x81 - 6.14458*x81 + x184*x89 - 6.14458*x89
      + x188*x107 - 6.14458*x107 - 2.48996*x13 - 3.05221*x15 - 5.42169*x19
      - 5.14056*x39 - 2.48996*x50 - 4.25703*x57 <= 0;

e97: x180*x66 - 0.160643*x66 + x183*x82 - 0.160643*x82 + x184*x90 - 0.160643*
     x90 + x187*x103 - 0.160643*x103 + 0.120482*x28 + 2.28916*x34
      + 0.843373*x40 + 2.69076*x46 + 3.49398*x51 + 1.72691*x213 >= 0;

e98: x180*x66 - 2.73092*x66 + x183*x82 - 2.73092*x82 + x184*x90 - 2.73092*x90
      + x187*x103 - 2.73092*x103 - 2.4498*x28 - 0.281124*x34 - 1.72691*x40
      + 0.120482*x46 + 0.923695*x51 - 0.843373*x213 <= 0;

e99: x180*x67 - 0.160643*x67 + x182*x75 - 0.160643*x75 + x183*x83 - 0.160643*
     x83 + x184*x91 - 0.160643*x91 + x185*x98 - 0.160643*x98 + x186*x102 - 
     0.160643*x102 + x188*x108 - 0.160643*x108 + 2.93173*x16 + 0.120482*x29
      + 0.843373*x41 + 1.72691*x58 >= 0;

e100: x180*x67 - 9.07631*x67 + x182*x75 - 9.07631*x75 + x183*x83 - 9.07631*x83
       + x184*x91 - 9.07631*x91 + x185*x98 - 9.07631*x98 + x186*x102 - 9.07631*
      x102 + x188*x108 - 9.07631*x108 - 5.98394*x16 - 8.79518*x29 - 8.07229*x41
       - 7.18876*x58 <= 0;

e101: x180*x68 - 0.160643*x68 + x182*x76 - 0.160643*x76 + x183*x84 - 0.160643*
      x84 + x184*x92 - 0.160643*x92 + 2.40964*x7 + 0.562249*x20 + 0.120482*x30
       + 0.843373*x42 + 2.69076*x47 >= 0;

e102: x180*x68 - 3.69478*x68 + x182*x76 - 3.69478*x76 + x183*x84 - 3.69478*x84
       + x184*x92 - 3.69478*x92 - 1.1245*x7 - 2.97189*x20 - 3.41365*x30
       - 2.69076*x42 - 0.843373*x47 <= 0;

e103: x182*x77 - 0.160643*x77 + x183*x85 - 0.160643*x85 + x184*x93 - 0.160643*
      x93 + x185*x99 - 0.160643*x99 + x188*x109 - 0.160643*x109 + 0.682731*x5
       + 2.40964*x8 + 2.93173*x17 + 0.562249*x21 + 0.843373*x43 + 3.49398*x52
       + 1.72691*x59 >= 0;

e104: x182*x77 - 10*x77 + x183*x85 - 10*x85 + x184*x93 - 10*x93 + x185*x99 - 10
      *x99 + x188*x109 - 10*x109 - 9.15663*x5 - 7.42972*x8 - 6.90763*x17
       - 9.27711*x21 - 8.99598*x43 - 6.34538*x52 - 8.11245*x59 <= 0;

e105: x180*x69 - 0.160643*x69 + x189*x112 - 0.160643*x112 + 0.682731*x6
       + 2.40964*x9 + 3.49398*x14 + 2.28916*x35 + 3.49398*x53 + 1.72691*x60
       + 0.562249*x211 >= 0;

e106: x180*x69 - 3.05221*x69 + x189*x112 - 3.05221*x112 - 2.20884*x6
       - 0.481928*x9 + 0.60241*x14 - 2.89157*x24 - 0.60241*x35 + 0.60241*x53
       - 1.16466*x60 - 2.32932*x211 <= 0;

e107: x180*x70 - 0.160643*x70 + x181*x72 - 0.160643*x72 + x183*x86 - 0.160643*
      x86 + x184*x94 - 0.160643*x94 + x185*x100 - 0.160643*x100 + x188*x110 - 
      0.160643*x110 + 2.40964*x10 + 2.93173*x18 + 0.120482*x31 + 2.28916*x36
       + 0.843373*x44 >= 0;

e108: x180*x70 - 5.06024*x70 + x181*x72 - 5.06024*x72 + x183*x86 - 5.06024*x86
       + x184*x94 - 5.06024*x94 + x185*x100 - 5.06024*x100 + x188*x110 - 
      5.06024*x110 - 2.48996*x10 - 1.96787*x18 - 4.77912*x31 - 2.61044*x36
       - 4.05622*x44 <= 0;

e109: x190*x61 - 2.58065*x61 + x190*x62 - 2.58065*x62 + x190*x63 - 2.58065*x63
       + x190*x64 - 2.58065*x64 + x190*x65 - 2.58065*x65 + x190*x66 - 2.58065*
      x66 + x190*x67 - 2.58065*x67 + x190*x68 - 2.58065*x68 + x190*x69 - 
      2.58065*x69 + x190*x70 - 2.58065*x70 - 0.967742*x113 - 0.921659*x117
       + 2.4424*x122 - 1.05991*x125 + 0.230415*x132 + 0.0460829*x139
       - 1.52074*x146 - 1.47465*x150 + 0.184332*x155 + 1.52074*x162
       + 2.35023*x167 = 0;

e110: x191*x71 + x191*x72 - 3.5023*x118 - 0.138249*x123 - 3.64055*x126
       - 2.35023*x133 = 0;

e111: x192*x73 + x192*x74 + x192*x75 + x192*x76 + x192*x77 - 3.54839*x114
       - 3.64055*x127 - 2.35023*x134 - 2.53456*x140 = 0;

e112: x193*x78 - 2.58065*x78 + x193*x79 - 2.58065*x79 + x193*x80 - 2.58065*x80
       + x193*x81 - 2.58065*x81 + x193*x82 - 2.58065*x82 + x193*x83 - 2.58065*
      x83 + x193*x84 - 2.58065*x84 + x193*x85 - 2.58065*x85 + x193*x86 - 
      2.58065*x86 - 0.967742*x115 - 0.921659*x119 - 1.05991*x128
       + 0.230415*x135 + 0.0460829*x141 - 1.52074*x147 - 1.47465*x151
       + 0.184332*x156 = 0;

e113: x194*x87 - 2.58065*x87 + x194*x88 - 2.58065*x88 + x194*x89 - 2.58065*x89
       + x194*x90 - 2.58065*x90 + x194*x91 - 2.58065*x91 + x194*x92 - 2.58065*
      x92 + x194*x93 - 2.58065*x93 + x194*x94 - 2.58065*x94 + 0.230415*x136
       - 1.52074*x148 - 1.47465*x152 + 0.184332*x157 + 2.35023*x168 = 0;

e114: x195*x95 - 2.58065*x95 + x195*x96 - 2.58065*x96 + x195*x97 - 2.58065*x97
       + x195*x98 - 2.58065*x98 + x195*x99 - 2.58065*x99 + x195*x100 - 2.58065*
      x100 + 0.0460829*x142 - 1.52074*x149 - 1.47465*x153 + 0.184332*x158 = 0;

e115: x196*x101 - 2.58065*x101 + x196*x102 - 2.58065*x102 - 0.967742*x116
       + 1.52074*x163 = 0;

e116: x197*x103 - 3.54839*x103 + x210*x197 - 3.54839*x210 + 0.0460829*x120
       - 0.0921659*x129 + 1.01382*x143 + 1.15207*x159 + 2.48848*x164 = 0;

e117: x198*x104 - 6.12903*x104 + x198*x105 - 6.12903*x105 + x198*x106 - 6.12903
      *x106 + x198*x107 - 6.12903*x107 + x198*x108 - 6.12903*x108 + x198*x109
       - 6.12903*x109 + x198*x110 - 6.12903*x110 + 2.62673*x121 + 2.48848*x130
       + 3.7788*x137 + 3.59447*x144 + 2.07373*x154 + 3.73272*x160
       + 5.06912*x165 + 5.89862*x169 = 0;

e118: x199*x111 - 6.08295*x111 + x199*x112 - 6.08295*x112 + 5.9447*x124
       + 2.4424*x131 + 3.73272*x138 + 3.54839*x145 + 3.68664*x161
       + 5.02304*x166 = 0;

e119: x190*x61 - 0.138249*x61 + x191*x71 - 0.138249*x71 + x193*x78 - 0.138249*
      x78 + x195*x95 - 0.138249*x95 + x198*x104 - 0.138249*x104 + x210*x197 - 
      0.138249*x210 + 2.4424*x2 + 2.39631*x25 + 3.96313*x32 + 0.921659*x48
       + 0.0921659*x54 >= 0;

e120: x190*x61 - 10*x61 + x191*x71 - 10*x71 + x193*x78 - 10*x78 + x195*x95 - 10
      *x95 + x198*x104 - 10*x104 + x210*x197 - 10*x210 - 7.41935*x2
       - 7.46544*x25 - 5.89862*x32 - 8.94009*x48 - 9.76959*x54 <= 0;

e121: x190*x62 - 0.138249*x62 + x192*x73 - 0.138249*x73 + x195*x96 - 0.138249*
      x96 + x198*x105 - 0.138249*x105 + x199*x111 - 0.138249*x111 + 2.21198*x22
       + 2.39631*x26 + 0.0921659*x55 >= 0;

e122: x190*x62 - 6.86636*x62 + x192*x73 - 6.86636*x73 + x195*x96 - 6.86636*x96
       + x198*x105 - 6.86636*x105 + x199*x111 - 6.86636*x111 - 4.51613*x22
       - 4.3318*x26 - 6.63594*x55 <= 0;

e123: x190*x63 - 0.138249*x63 + x193*x79 - 0.138249*x79 + x194*x87 - 0.138249*
      x87 + x195*x97 - 0.138249*x97 + x198*x106 - 0.138249*x106 + 2.4424*x3
       + 3.36406*x11 + 2.21198*x23 + 2.39631*x27 + 3.91705*x37 + 0.921659*x49
       >= 0;

e124: x190*x63 - 4.00922*x63 + x193*x79 - 4.00922*x79 + x194*x87 - 4.00922*x87
       + x195*x97 - 4.00922*x97 + x198*x106 - 4.00922*x106 - 1.42857*x3
       - 0.506912*x11 - 1.65899*x23 - 1.47465*x27 + 0.0460829*x37 - 2.94931*x49
       <= 0;

e125: x190*x64 - 0.138249*x64 + x192*x74 - 0.138249*x74 + x193*x80 - 0.138249*
      x80 + x194*x88 - 0.138249*x88 + x196*x101 - 0.138249*x101 + 2.4424*x4
       + 3.36406*x12 + 3.96313*x33 + 3.91705*x38 + 2.25806*x45 + 0.0921659*x56
       + 0.921659*x212 >= 0;

e126: x190*x64 - 7.5576*x64 + x192*x74 - 7.5576*x74 + x193*x80 - 7.5576*x80 + 
      x194*x88 - 7.5576*x88 + x196*x101 - 7.5576*x101 - 4.97696*x4 - 4.0553*x12
       - 3.45622*x33 - 3.5023*x38 - 5.16129*x45 - 7.32719*x56 - 6.4977*x212
       <= 0;

e127: x190*x65 - 0.138249*x65 + x193*x81 - 0.138249*x81 + x194*x89 - 0.138249*
      x89 + x198*x107 - 0.138249*x107 + 3.36406*x13 + 3.5023*x19 + 3.91705*x39
       + 0.921659*x50 + 0.0921659*x57 >= 0;

e128: x190*x65 - 7.88018*x65 + x193*x81 - 7.88018*x81 + x194*x89 - 7.88018*x89
       + x198*x107 - 7.88018*x107 - 4.37788*x13 - 7.74194*x15 - 4.23963*x19
       - 3.82488*x39 - 6.82028*x50 - 7.64977*x57 <= 0;

e129: x190*x66 - 0.138249*x66 + x193*x82 - 0.138249*x82 + x194*x90 - 0.138249*
      x90 + x197*x103 - 0.138249*x103 + 2.39631*x28 + 3.96313*x34 + 3.91705*x40
       + 2.25806*x46 + 0.921659*x51 + 0.0921659*x213 >= 0;

e130: x190*x66 - 2.4424*x66 + x193*x82 - 2.4424*x82 + x194*x90 - 2.4424*x90 + 
      x197*x103 - 2.4424*x103 + 0.0921659*x28 + 1.65899*x34 + 1.6129*x40
       - 0.0460829*x46 - 1.38249*x51 - 2.21198*x213 <= 0;

e131: x190*x67 - 0.138249*x67 + x192*x75 - 0.138249*x75 + x193*x83 - 0.138249*
      x83 + x194*x91 - 0.138249*x91 + x195*x98 - 0.138249*x98 + x196*x102 - 
      0.138249*x102 + x198*x108 - 0.138249*x108 + 2.39631*x29 + 3.91705*x41
       + 0.0921659*x58 >= 0;

e132: x190*x67 - 6.4977*x67 + x192*x75 - 6.4977*x75 + x193*x83 - 6.4977*x83 + 
      x194*x91 - 6.4977*x91 + x195*x98 - 6.4977*x98 + x196*x102 - 6.4977*x102
       + x198*x108 - 6.4977*x108 - 6.35945*x16 - 3.96313*x29 - 2.4424*x41
       - 6.26728*x58 <= 0;

e133: x190*x68 - 0.138249*x68 + x192*x76 - 0.138249*x76 + x193*x84 - 0.138249*
      x84 + x194*x92 - 0.138249*x92 + 3.41014*x7 + 3.5023*x20 + 2.39631*x30
       + 3.91705*x42 + 2.25806*x47 >= 0;

e134: x190*x68 - 6.40553*x68 + x192*x76 - 6.40553*x76 + x193*x84 - 6.40553*x84
       + x194*x92 - 6.40553*x92 - 2.85714*x7 - 2.76498*x20 - 3.87097*x30
       - 2.35023*x42 - 4.00922*x47 <= 0;

e135: x192*x77 - 0.138249*x77 + x193*x85 - 0.138249*x85 + x194*x93 - 0.138249*
      x93 + x195*x99 - 0.138249*x99 + x198*x109 - 0.138249*x109 + 2.4424*x5
       + 3.41014*x8 + 3.5023*x21 + 3.91705*x43 + 0.921659*x52 + 0.0921659*x59
       >= 0;

e136: x192*x77 - 5.06912*x77 + x193*x85 - 5.06912*x85 + x194*x93 - 5.06912*x93
       + x195*x99 - 5.06912*x99 + x198*x109 - 5.06912*x109 - 2.48848*x5
       - 1.52074*x8 - 4.93088*x17 - 1.42857*x21 - 1.01382*x43 - 4.00922*x52
       - 4.83871*x59 <= 0;

e137: x190*x69 - 0.138249*x69 + x199*x112 - 0.138249*x112 + 2.4424*x6
       + 3.41014*x9 + 3.36406*x14 + 2.21198*x24 + 3.96313*x35 + 0.921659*x53
       + 0.0921659*x60 + 3.5023*x211 >= 0;

e138: x190*x69 - 3.36406*x69 + x199*x112 - 3.36406*x112 - 0.78341*x6
       + 0.184332*x9 + 0.138249*x14 - 1.01382*x24 + 0.737327*x35 - 2.30415*x53
       - 3.13364*x60 + 0.276498*x211 <= 0;

e139: x190*x70 - 0.138249*x70 + x191*x72 - 0.138249*x72 + x193*x86 - 0.138249*
      x86 + x194*x94 - 0.138249*x94 + x195*x100 - 0.138249*x100 + x198*x110 - 
      0.138249*x110 + 3.41014*x10 + 2.39631*x31 + 3.96313*x36 + 3.91705*x44
       >= 0;

e140: x190*x70 - 9.49309*x70 + x191*x72 - 9.49309*x72 + x193*x86 - 9.49309*x86
       + x194*x94 - 9.49309*x94 + x195*x100 - 9.49309*x100 + x198*x110 - 
      9.49309*x110 - 5.9447*x10 - 9.35484*x18 - 6.95853*x31 - 5.39171*x36
       - 5.43779*x44 <= 0;

e141: x200*x61 - 3.89163*x61 + x200*x62 - 3.89163*x62 + x200*x63 - 3.89163*x63
       + x200*x64 - 3.89163*x64 + x200*x65 - 3.89163*x65 + x200*x66 - 3.89163*
      x66 + x200*x67 - 3.89163*x67 + x200*x68 - 3.89163*x68 + x200*x69 - 
      3.89163*x69 + x200*x70 - 3.89163*x70 + 0.8867*x113 - 0.0492611*x117
       + 3.49754*x122 + 3.34975*x125 + 2.36453*x132 - 0.0492611*x139
       + 2.0197*x146 + 0.295567*x150 + 1.33005*x155 + 2.9064*x162
       - 0.295567*x167 = 0;

e142: x201*x71 + x201*x72 - 3.94089*x118 - 0.394089*x123 - 0.541872*x126
       - 1.52709*x133 = 0;

e143: x202*x73 + x202*x74 + x202*x75 + x202*x76 + x202*x77 - 3.00493*x114
       - 0.541872*x127 - 1.52709*x134 - 3.94089*x140 = 0;

e144: x203*x78 - 3.89163*x78 + x203*x79 - 3.89163*x79 + x203*x80 - 3.89163*x80
       + x203*x81 - 3.89163*x81 + x203*x82 - 3.89163*x82 + x203*x83 - 3.89163*
      x83 + x203*x84 - 3.89163*x84 + x203*x85 - 3.89163*x85 + x203*x86 - 
      3.89163*x86 + 0.8867*x115 - 0.0492611*x119 + 3.34975*x128 + 2.36453*x135
       - 0.0492611*x141 + 2.0197*x147 + 0.295567*x151 + 1.33005*x156 = 0;

e145: x204*x87 - 3.89163*x87 + x204*x88 - 3.89163*x88 + x204*x89 - 3.89163*x89
       + x204*x90 - 3.89163*x90 + x204*x91 - 3.89163*x91 + x204*x92 - 3.89163*
      x92 + x204*x93 - 3.89163*x93 + x204*x94 - 3.89163*x94 + 2.36453*x136
       + 2.0197*x148 + 0.295567*x152 + 1.33005*x157 - 0.295567*x168 = 0;

e146: x205*x95 - 3.89163*x95 + x205*x96 - 3.89163*x96 + x205*x97 - 3.89163*x97
       + x205*x98 - 3.89163*x98 + x205*x99 - 3.89163*x99 + x205*x100 - 3.89163*
      x100 - 0.0492611*x142 + 2.0197*x149 + 0.295567*x153 + 1.33005*x158 = 0;

e147: x206*x101 - 3.89163*x101 + x206*x102 - 3.89163*x102 + 0.8867*x116
       + 2.9064*x163 = 0;

e148: x207*x103 - 3.00493*x103 + x210*x207 - 3.00493*x210 - 0.935961*x120
       + 2.46305*x129 - 0.935961*x143 + 0.44335*x159 + 2.0197*x164 = 0;

e149: x208*x104 - 6.89655*x104 + x208*x105 - 6.89655*x105 + x208*x106 - 6.89655
      *x106 + x208*x107 - 6.89655*x107 + x208*x108 - 6.89655*x108 + x208*x109
       - 6.89655*x109 + x208*x110 - 6.89655*x110 + 2.95567*x121 + 6.35468*x130
       + 5.36946*x137 + 2.95567*x144 + 3.30049*x154 + 4.33498*x160
       + 5.91133*x165 + 2.70936*x169 = 0;

e150: x209*x111 - 7.83251*x111 + x209*x112 - 7.83251*x112 + 7.43842*x124
       + 7.29064*x131 + 6.30542*x138 + 3.89163*x145 + 5.27094*x161
       + 6.84729*x166 = 0;

e151: x200*x61 - 0.394089*x61 + x201*x71 - 0.394089*x71 + x203*x78 - 0.394089*
      x78 + x205*x95 - 0.394089*x95 + x208*x104 - 0.394089*x104 + x210*x207 - 
      0.394089*x210 + 3.49754*x2 + 3.5468*x25 + 1.47783*x32 + 0.591133*x48
       + 3.7931*x54 >= 0;

e152: x200*x61 - 3.89163*x61 + x201*x71 - 3.89163*x71 + x203*x78 - 3.89163*x78
       + x205*x95 - 3.89163*x95 + x208*x104 - 3.89163*x104 + x210*x207 - 
      3.89163*x210 + 0.0492611*x25 - 2.0197*x32 - 2.9064*x48 + 0.295567*x54
       <= 0;

e153: x200*x62 - 0.394089*x62 + x202*x73 - 0.394089*x73 + x205*x96 - 0.394089*
      x96 + x208*x105 - 0.394089*x105 + x209*x111 - 0.394089*x111 + 1.133*x22
       + 3.5468*x26 + 3.7931*x55 >= 0;

e154: x200*x62 - 5.91133*x62 + x202*x73 - 5.91133*x73 + x205*x96 - 5.91133*x96
       + x208*x105 - 5.91133*x105 + x209*x111 - 5.91133*x111 - 4.38424*x22
       - 1.97044*x26 - 1.72414*x55 <= 0;

e155: x200*x63 - 0.394089*x63 + x203*x79 - 0.394089*x79 + x204*x87 - 0.394089*
      x87 + x205*x97 - 0.394089*x97 + x208*x106 - 0.394089*x106 + 3.49754*x3
       + 3.5468*x11 + 1.133*x23 + 3.5468*x27 + 3.20197*x37 + 0.591133*x49 >= 0;

e156: x200*x63 - 2.6601*x63 + x203*x79 - 2.6601*x79 + x204*x87 - 2.6601*x87 + 
      x205*x97 - 2.6601*x97 + x208*x106 - 2.6601*x106 + 1.23153*x3
       + 1.28079*x11 - 1.133*x23 + 1.28079*x27 + 0.935961*x37 - 1.67488*x49
       <= 0;

e157: x200*x64 - 0.394089*x64 + x202*x74 - 0.394089*x74 + x203*x80 - 0.394089*
      x80 + x204*x88 - 0.394089*x88 + x206*x101 - 0.394089*x101 + 3.49754*x4
       + 3.5468*x12 + 1.47783*x33 + 3.20197*x38 + 2.16749*x45 + 3.7931*x56
       + 0.591133*x212 >= 0;

e158: x200*x64 - 3.94089*x64 + x202*x74 - 3.94089*x74 + x203*x80 - 3.94089*x80
       + x204*x88 - 3.94089*x88 + x206*x101 - 3.94089*x101 - 0.0492611*x4
       - 2.06897*x33 - 0.344828*x38 - 1.37931*x45 + 0.246305*x56 - 2.95567*x212
       <= 0;

e159: x200*x65 - 0.394089*x65 + x203*x81 - 0.394089*x81 + x204*x89 - 0.394089*
      x89 + x208*x107 - 0.394089*x107 + 3.5468*x13 + 0.147783*x19 + 3.20197*x39
       + 0.591133*x50 + 3.7931*x57 >= 0;

e160: x200*x65 - 4.48276*x65 + x203*x81 - 4.48276*x81 + x204*x89 - 4.48276*x89
       + x208*x107 - 4.48276*x107 - 0.541872*x13 - 4.08867*x15 - 3.94089*x19
       - 0.8867*x39 - 3.49754*x50 - 0.295567*x57 <= 0;

e161: x200*x66 - 0.394089*x66 + x203*x82 - 0.394089*x82 + x204*x90 - 0.394089*
      x90 + x207*x103 - 0.394089*x103 + 3.5468*x28 + 1.47783*x34 + 3.20197*x40
       + 2.16749*x46 + 0.591133*x51 + 3.7931*x213 >= 0;

e162: x200*x66 - 10*x66 + x203*x82 - 10*x82 + x204*x90 - 10*x90 + x207*x103 - 
      10*x103 - 6.05911*x28 - 8.12808*x34 - 6.40394*x40 - 7.43842*x46
       - 9.01478*x51 - 5.81281*x213 <= 0;

e163: x200*x67 - 0.394089*x67 + x202*x75 - 0.394089*x75 + x203*x83 - 0.394089*
      x83 + x204*x91 - 0.394089*x91 + x205*x98 - 0.394089*x98 + x206*x102 - 
      0.394089*x102 + x208*x108 - 0.394089*x108 + 3.5468*x29 + 3.20197*x41
       + 3.7931*x58 >= 0;

e164: x200*x67 - 4.03941*x67 + x202*x75 - 4.03941*x75 + x203*x83 - 4.03941*x83
       + x204*x91 - 4.03941*x91 + x205*x98 - 4.03941*x98 + x206*x102 - 4.03941*
      x102 + x208*x108 - 4.03941*x108 - 3.64532*x16 - 0.0985222*x29
       - 0.44335*x41 + 0.147783*x58 <= 0;

e165: x200*x68 - 0.394089*x68 + x202*x76 - 0.394089*x76 + x203*x84 - 0.394089*
      x84 + x204*x92 - 0.394089*x92 + 2.61084*x7 + 0.147783*x20 + 3.5468*x30
       + 3.20197*x42 + 2.16749*x47 >= 0;

e166: x200*x68 - 5.5665*x68 + x202*x76 - 5.5665*x76 + x203*x84 - 5.5665*x84 + 
      x204*x92 - 5.5665*x92 - 2.56158*x7 - 5.02463*x20 - 1.62562*x30
       - 1.97044*x42 - 3.00493*x47 <= 0;

e167: x202*x77 - 0.394089*x77 + x203*x85 - 0.394089*x85 + x204*x93 - 0.394089*
      x93 + x205*x99 - 0.394089*x99 + x208*x109 - 0.394089*x109 + 3.49754*x5
       + 2.61084*x8 + 0.147783*x21 + 3.20197*x43 + 0.591133*x52 + 3.7931*x59
       >= 0;

e168: x202*x77 - 5.27094*x77 + x203*x85 - 5.27094*x85 + x204*x93 - 5.27094*x93
       + x205*x99 - 5.27094*x99 + x208*x109 - 5.27094*x109 - 1.37931*x5
       - 2.26601*x8 - 4.87685*x17 - 4.72906*x21 - 1.67488*x43 - 4.28571*x52
       - 1.08374*x59 <= 0;

e169: x200*x69 - 0.394089*x69 + x209*x112 - 0.394089*x112 + 3.49754*x6
       + 2.61084*x9 + 3.5468*x14 + 1.133*x24 + 1.47783*x35 + 0.591133*x53
       + 3.7931*x60 + 0.147783*x211 >= 0;

e170: x200*x69 - 3.84236*x69 + x209*x112 - 3.84236*x112 + 0.0492611*x6
       - 0.837438*x9 + 0.0985222*x14 - 2.31527*x24 - 1.97044*x35 - 2.85714*x53
       + 0.344828*x60 - 3.30049*x211 <= 0;

e171: x200*x70 - 0.394089*x70 + x201*x72 - 0.394089*x72 + x203*x86 - 0.394089*
      x86 + x204*x94 - 0.394089*x94 + x205*x100 - 0.394089*x100 + x208*x110 - 
      0.394089*x110 + 2.61084*x10 + 3.5468*x31 + 1.47783*x36 + 3.20197*x44
       >= 0;

e172: x200*x70 - 7.0936*x70 + x201*x72 - 7.0936*x72 + x203*x86 - 7.0936*x86 + 
      x204*x94 - 7.0936*x94 + x205*x100 - 7.0936*x100 + x208*x110 - 7.0936*x110
       - 4.08867*x10 - 6.69951*x18 - 3.15271*x31 - 5.22167*x36 - 3.49754*x44
       <= 0;