#  QCP written by GAMS Convert at 02/15/18 15:47:06
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        137      117       20        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        321      321        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2285      890     1395        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 100000;
var x3 >= 0, <= 100000;
var x4 >= 0, <= 100000;
var x5 >= 0, <= 100000;
var x6 >= 0, <= 100000;
var x7 >= 0, <= 100000;
var x8 >= 0, <= 100000;
var x9 >= 0, <= 100000;
var x10 >= 0, <= 100000;
var x11 >= 0, <= 100000;
var x12 >= 0, <= 100000;
var x13 >= 0, <= 100000;
var x14 >= 0, <= 100000;
var x15 >= 0, <= 100000;
var x16 >= 0, <= 100000;
var x17 >= 0, <= 100000;
var x18 >= 0, <= 100000;
var x19 >= 0, <= 100000;
var x20 >= 0, <= 100000;
var x21 >= 0, <= 100000;
var x22 >= 0, <= 100000;
var x23 >= 0, <= 100000;
var x24 >= 0, <= 100000;
var x25 >= 0, <= 100000;
var x26 >= 0, <= 100000;
var x27 >= 0, <= 100000;
var x28 >= 0, <= 100000;
var x29 >= 0, <= 100000;
var x30 >= 0, <= 100000;
var x31 >= 0, <= 100000;
var x32 >= 0, <= 100000;
var x33 >= 0, <= 100000;
var x34 >= 0, <= 100000;
var x35 >= 0, <= 100000;
var x36 >= 0, <= 100000;
var x37 >= 0, <= 100000;
var x38 >= 0, <= 100000;
var x39 >= 0, <= 100000;
var x40 >= 0, <= 100000;
var x41 >= 0, <= 279;
var x42 >= 0, <= 532;
var x43 >= 0, <= 86;
var x44 >= 0, <= 952;
var x45 >= 0, <= 178;
var x46 >= 0, <= 700;
var x47 >= 0, <= 827;
var x48 >= 0, <= 272;
var x49 >= 0, <= 589;
var x50 >= 0, <= 619;
var x51 >= 0, <= 400;
var x52 >= 0, <= 460;
var x53 >= 0, <= 710;
var x54 >= 0, <= 514;
var x55 >= 0, <= 590;
var x56 >= 0, <= 514;
var x57 >= 0, <= 540;
var x58 >= 0, <= 328;
var x59 >= 0, <= 9;
var x60 >= 0, <= 277;
var x61 >= 0, <= 85;
var x62 >= 0, <= 541;
var x63 >= 0, <= 227;
var x64 >= 0, <= 825;
var x65 >= 0, <= 111;
var x66 >= 0, <= 900;
var x67 >= 0, <= 323;
var x68 >= 0, <= 549;
var x69 >= 0, <= 213;
var x70 >= 0, <= 27;
var x71 >= 0, <= 805;
var x72 >= 0, <= 871;
var x73 >= 0, <= 101;
var x74 >= 0, <= 377;
var x75 >= 0, <= 512;
var x76 >= 0, <= 272;
var x77 >= 0, <= 46;
var x78 >= 0, <= 636;
var x79 >= 0, <= 933;
var x80 >= 0, <= 413;
var x81 >= 0, <= 233;
var x82 >= 0, <= 279;
var x83 >= 0, <= 760;
var x84 >= 0, <= 516;
var x85 >= 0, <= 178;
var x86 >= 0, <= 1067;
var x87 >= 0, <= 646;
var x88 >= 0, <= 270;
var x89 >= 0, <= 1121;
var x90 >= 0, <= 232;
var x91 >= 0, <= 1180;
var x92 >= 0, <= 1185;
var x93 >= 0, <= 398;
var x94 >= 0, <= 1123;
var x95 >= 0, <= 1042;
var x96 >= 0, <= 906;
var x97 >= 0, <= 978;
var x98 >= 0, <= 927;
var x99 >= 0, <= 1098;
var x100 >= 0, <= 1081;
var x101 >= 0, <= 1113;
var x102 >= 0, <= 916;
var x103 >= 0, <= 999;
var x104 >= 0, <= 990;
var x105 >= 0, <= 890;
var x106 >= 0, <= 1169;
var x107 >= 0, <= 973;
var x108 >= 0, <= 794;
var x109 >= 0, <= 924;
var x110 >= 0, <= 362;
var x111 >= 0, <= 1010;
var x112 >= 0, <= 903;
var x113 >= 0, <= 1089;
var x114 >= 0, <= 655;
var x115 >= 0, <= 203;
var x116 >= 0, <= 940;
var x117 >= 0, <= 1181;
var x118 >= 0, <= 420;
var x119 >= 0, <= 945;
var x120 >= 0, <= 628;
var x121 >= 0, <= 1197;
var x122 >= 0, <= 609;
var x123 >= 0, <= 1107;
var x124 >= 0, <= 1057;
var x125 >= 0, <= 620;
var x126 >= 0, <= 761;
var x127 >= 0, <= 753;
var x128 >= 0, <= 948;
var x129 >= 0, <= 910;
var x130 >= 0, <= 292;
var x131 >= 0, <= 134;
var x132 >= 0, <= 100000;
var x133 >= 0, <= 100000;
var x134 >= 0, <= 100000;
var x135 >= 0, <= 100000;
var x136 >= 0, <= 100000;
var x137 >= 0, <= 100000;
var x138 >= 0, <= 100000;
var x139 >= 0, <= 100000;
var x140 >= 0, <= 100000;
var x141 >= 0, <= 100000;
var x142 >= 0, <= 100000;
var x143 >= 0, <= 100000;
var x144 >= 0, <= 100000;
var x145 >= 0, <= 74;
var x146 >= 0, <= 100000;
var x147 >= 0, <= 100000;
var x148 >= 0, <= 100000;
var x149 >= 0, <= 100000;
var x150 >= 0, <= 100000;
var x151 >= 0, <= 100000;
var x152 >= 0, <= 100000;
var x153 >= 0, <= 100000;
var x154 >= 0, <= 100000;
var x155 >= 0, <= 100000;
var x156 >= 0, <= 100000;
var x157 >= 0, <= 100000;
var x158 >= 0, <= 100000;
var x159 >= 0, <= 26;
var x160 >= 0, <= 100000;
var x161 >= 0, <= 100000;
var x162 >= 0, <= 100000;
var x163 >= 0, <= 100000;
var x164 >= 0, <= 100000;
var x165 >= 0, <= 100000;
var x166 >= 0, <= 100000;
var x167 >= 0, <= 100000;
var x168 >= 0, <= 100000;
var x169 >= 0, <= 100000;
var x170 >= 0, <= 100000;
var x171 >= 0, <= 100000;
var x172 >= 0, <= 100000;
var x173 >= 0, <= 88;
var x174 >= 0, <= 100000;
var x175 >= 0, <= 100000;
var x176 >= 0, <= 100000;
var x177 >= 0, <= 100000;
var x178 >= 0, <= 100000;
var x179 >= 0, <= 100000;
var x180 >= 0, <= 100000;
var x181 >= 0, <= 100000;
var x182 >= 0, <= 100000;
var x183 >= 0, <= 100000;
var x184 >= 0, <= 100000;
var x185 >= 0, <= 100000;
var x186 >= 0, <= 100000;
var x187 >= 0, <= 100;
var x188 >= 0, <= 100000;
var x189 >= 0, <= 100000;
var x190 >= 0, <= 100000;
var x191 >= 0, <= 100000;
var x192 >= 0, <= 100000;
var x193 >= 0, <= 100000;
var x194 >= 0, <= 100000;
var x195 >= 0, <= 100000;
var x196 >= 0, <= 100000;
var x197 >= 0, <= 100000;
var x198 >= 0, <= 100000;
var x199 >= 0, <= 100000;
var x200 >= 0, <= 100000;
var x201 >= 0, <= 55;
var x202 >= 0, <= 100000;
var x203 >= 0, <= 100000;
var x204 >= 0, <= 100000;
var x205 >= 0, <= 100000;
var x206 >= 0, <= 100000;
var x207 >= 0, <= 100000;
var x208 >= 0, <= 100000;
var x209 >= 0, <= 100000;
var x210 >= 0, <= 100000;
var x211 >= 0, <= 100000;
var x212 >= 0, <= 100000;
var x213 >= 0, <= 100000;
var x214 >= 0, <= 100000;
var x215 >= 0, <= 50;
var x216 >= 0, <= 100000;
var x217 >= 0, <= 100000;
var x218 >= 0, <= 100000;
var x219 >= 0, <= 100000;
var x220 >= 0, <= 100000;
var x221 >= 0, <= 100000;
var x222 >= 0, <= 100000;
var x223 >= 0, <= 100000;
var x224 >= 0, <= 100000;
var x225 >= 0, <= 100000;
var x226 >= 0, <= 100000;
var x227 >= 0, <= 100000;
var x228 >= 0, <= 100000;
var x229 >= 0, <= 126;
var x230 >= 0, <= 100000;
var x231 >= 0, <= 100000;
var x232 >= 0, <= 100000;
var x233 >= 0, <= 100000;
var x234 >= 0, <= 100000;
var x235 >= 0, <= 100000;
var x236 >= 0, <= 100000;
var x237 >= 0, <= 100000;
var x238 >= 0, <= 100000;
var x239 >= 0, <= 100000;
var x240 >= 0, <= 100000;
var x241 >= 0, <= 100000;
var x242 >= 0, <= 100000;
var x243 >= 0, <= 58;
var x244 >= 0, <= 100000;
var x245 >= 0, <= 100000;
var x246 >= 0, <= 100000;
var x247 >= 0, <= 100000;
var x248 >= 0, <= 100000;
var x249 >= 0, <= 100000;
var x250 >= 0, <= 100000;
var x251 >= 0, <= 100000;
var x252 >= 0, <= 100000;
var x253 >= 0, <= 100000;
var x254 >= 0, <= 100000;
var x255 >= 0, <= 100000;
var x256 >= 0, <= 100000;
var x257 >= 0, <= 100000;
var x258 >= 0, <= 100000;
var x259 >= 0, <= 100000;
var x260 >= 0, <= 100000;
var x261 >= 0, <= 100000;
var x262 >= 0, <= 100000;
var x263 >= 0, <= 100000;
var x264 >= 0, <= 100000;
var x265 >= 0, <= 100000;
var x266 >= 0, <= 100000;
var x267 >= 0, <= 100000;
var x268 >= 0, <= 100000;
var x269 >= 0, <= 100000;
var x270 >= 0, <= 100000;
var x271 >= 0, <= 100000;
var x272 >= 0, <= 100000;
var x273 >= 0, <= 100000;
var x274 >= 0, <= 100000;
var x275 >= 0, <= 100000;
var x276 >= 0, <= 100000;
var x277 >= 0, <= 100000;
var x278 >= 0, <= 100000;
var x279 >= 0, <= 100000;
var x280 >= 0, <= 100000;
var x281 >= 0, <= 100000;
var x282 >= 0, <= 100000;
var x283 >= 0, <= 100000;
var x284 >= 0, <= 100000;
var x285 >= 0, <= 100000;
var x286 >= 0, <= 100000;
var x287 >= 0, <= 100000;
var x288 >= 0, <= 100000;
var x289 >= 0, <= 100000;
var x290 >= 0, <= 100000;
var x291 >= 0, <= 100000;
var x292 >= 0, <= 100000;
var x293 >= 0, <= 100000;
var x294 >= 0, <= 100000;
var x295 >= 0, <= 100000;
var x296 >= 0, <= 100000;
var x297 >= 0, <= 100000;
var x298 >= 0, <= 100000;
var x299 >= 0, <= 100000;
var x300 >= 0, <= 100000;
var x301 >= 0, <= 100000;
var x302 >= 0, <= 100000;
var x303 >= 0, <= 100000;
var x304 >= 0, <= 100000;
var x305 >= 0, <= 100000;
var x306 >= 0, <= 100000;
var x307 >= 0, <= 100000;
var x308 >= 0, <= 100000;
var x309 >= 0, <= 100000;
var x310 >= 0, <= 100000;
var x311 >= 0, <= 100000;
var x312 >= 0, <= 100000;
var x313 >= 0, <= 100000;
var x314 >= 0, <= 100000;
var x315 >= 0, <= 100000;
var x316 >= 0, <= 100000;
var x317 >= 0, <= 100000;
var x318 >= 0, <= 100000;
var x319 >= 0, <= 100000;
var x320 >= 0, <= 100000;
var x321 >= 0, <= 100000;

minimize obj:    x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13
     + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25
     + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x37
     + x38 + x39 + x40;

subject to

e2:  - x2 - x15 - x28 + x131 - x132 - x133 - x134 - x135 - x136 - x137 - x138
     - x139 - x140 - x141 - x142 - x143 - x144 = 0;

e3:  - x3 - x16 - x29 + x145 - x146 - x147 - x148 - x149 - x150 - x151 - x152
     - x153 - x154 - x155 - x156 - x157 - x158 = 0;

e4:  - x4 - x17 - x30 + x159 - x160 - x161 - x162 - x163 - x164 - x165 - x166
     - x167 - x168 - x169 - x170 - x171 - x172 = 0;

e5:  - x5 - x18 - x31 + x173 - x174 - x175 - x176 - x177 - x178 - x179 - x180
     - x181 - x182 - x183 - x184 - x185 - x186 = 0;

e6:  - x6 - x19 - x32 + x187 - x188 - x189 - x190 - x191 - x192 - x193 - x194
     - x195 - x196 - x197 - x198 - x199 - x200 = 0;

e7:  - x7 - x20 - x33 + x201 - x202 - x203 - x204 - x205 - x206 - x207 - x208
     - x209 - x210 - x211 - x212 - x213 - x214 = 0;

e8:  - x8 - x21 - x34 + x215 - x216 - x217 - x218 - x219 - x220 - x221 - x222
     - x223 - x224 - x225 - x226 - x227 - x228 = 0;

e9:  - x9 - x22 - x35 + x229 - x230 - x231 - x232 - x233 - x234 - x235 - x236
     - x237 - x238 - x239 - x240 - x241 - x242 = 0;

e10:  - x10 - x23 - x36 + x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250
      - x251 - x252 - x253 - x254 - x255 - x256 = 0;

e11:  - x11 - x24 - x37 - x257 - x258 - x259 - x260 - x261 - x262 - x263 - x264
      - x265 - x266 - x267 - x268 - x269 = -115;

e12:  - x12 - x25 - x38 - x270 - x271 - x272 - x273 - x274 - x275 - x276 - x277
      - x278 - x279 - x280 - x281 - x282 = -85;

e13:  - x13 - x26 - x39 - x283 - x284 - x285 - x286 - x287 - x288 - x289 - x290
      - x291 - x292 - x293 - x294 - x295 = -95;

e14:  - x14 - x27 - x40 - x296 - x297 - x298 - x299 - x300 - x301 - x302 - x303
      - x304 - x305 - x306 - x307 - x308 = -80;

e15:    x131 - x132 - x146 - x160 - x174 - x188 - x202 - x216 - x230 - x244
      - x257 - x270 - x283 - x296 - x309 = 0;

e16:  - x133 + x145 - x147 - x161 - x175 - x189 - x203 - x217 - x231 - x245
      - x258 - x271 - x284 - x297 - x310 = 0;

e17:  - x134 - x148 + x159 - x162 - x176 - x190 - x204 - x218 - x232 - x246
      - x259 - x272 - x285 - x298 - x311 = 0;

e18:  - x135 - x149 - x163 + x173 - x177 - x191 - x205 - x219 - x233 - x247
      - x260 - x273 - x286 - x299 - x312 = 0;

e19:  - x136 - x150 - x164 - x178 + x187 - x192 - x206 - x220 - x234 - x248
      - x261 - x274 - x287 - x300 - x313 = 0;

e20:  - x137 - x151 - x165 - x179 - x193 + x201 - x207 - x221 - x235 - x249
      - x262 - x275 - x288 - x301 - x314 = 0;

e21:  - x138 - x152 - x166 - x180 - x194 - x208 + x215 - x222 - x236 - x250
      - x263 - x276 - x289 - x302 - x315 = 0;

e22:  - x139 - x153 - x167 - x181 - x195 - x209 - x223 + x229 - x237 - x251
      - x264 - x277 - x290 - x303 - x316 = 0;

e23:  - x140 - x154 - x168 - x182 - x196 - x210 - x224 - x238 + x243 - x252
      - x265 - x278 - x291 - x304 - x317 = 0;

e24:  - x141 - x155 - x169 - x183 - x197 - x211 - x225 - x239 - x253 - x266
      - x279 - x292 - x305 - x318 = -75;

e25:  - x142 - x156 - x170 - x184 - x198 - x212 - x226 - x240 - x254 - x267
      - x280 - x293 - x306 - x319 = -95;

e26:  - x143 - x157 - x171 - x185 - x199 - x213 - x227 - x241 - x255 - x268
      - x281 - x294 - x307 - x320 = -100;

e27:  - x144 - x158 - x172 - x186 - x200 - x214 - x228 - x242 - x256 - x269
      - x282 - x295 - x308 - x321 = -70;

e28: x131*x41 - x132*x86 - x133*x91 - x134*x96 - x135*x101 - x136*x106 - x137*
     x111 - x138*x116 - x139*x121 - x140*x126 - 3*x2 - 8*x15 - 10*x28
      - 893*x141 - 810*x142 - 757*x143 - 1016*x144 = 0;

e29: x131*x42 - x132*x87 - x133*x92 - x134*x97 - x135*x102 - x136*x107 - x137*
     x112 - x138*x117 - x139*x122 - x140*x127 - 3*x2 - 9*x15 - 849*x141
      - 968*x142 - 545*x143 - 953*x144 = 0;

e30: x131*x43 - x132*x88 - x133*x93 - x134*x98 - x135*x103 - x136*x108 - x137*
     x113 - x138*x118 - x139*x123 - x140*x128 - 8*x2 - 10*x15 - 3*x28
      - 947*x141 - 481*x142 - 785*x143 - 473*x144 = 0;

e31: x131*x44 - x132*x89 - x133*x94 - x134*x99 - x135*x104 - x136*x109 - x137*
     x114 - x138*x119 - x139*x124 - x140*x129 - 8*x2 - 2*x15 - 9*x28 - 613*x141
      - 771*x142 - 689*x143 - 971*x144 = 0;

e32: x131*x45 - x132*x90 - x133*x95 - x134*x100 - x135*x105 - x136*x110 - x137*
     x115 - x138*x120 - x139*x125 - x140*x130 - 4*x2 - 4*x15 - 8*x28 - 440*x141
      - 998*x142 - 986*x143 - 620*x144 = 0;

e33: x145*x46 - x146*x86 - x147*x91 - x148*x96 - x149*x101 - x150*x106 - x151*
     x111 - x152*x116 - x153*x121 - x154*x126 - 3*x3 - 8*x16 - 10*x29
      - 893*x155 - 810*x156 - 757*x157 - 1016*x158 = 0;

e34: x145*x47 - x146*x87 - x147*x92 - x148*x97 - x149*x102 - x150*x107 - x151*
     x112 - x152*x117 - x153*x122 - x154*x127 - 3*x3 - 9*x16 - 849*x155
      - 968*x156 - 545*x157 - 953*x158 = 0;

e35: x145*x48 - x146*x88 - x147*x93 - x148*x98 - x149*x103 - x150*x108 - x151*
     x113 - x152*x118 - x153*x123 - x154*x128 - 8*x3 - 10*x16 - 3*x29
      - 947*x155 - 481*x156 - 785*x157 - 473*x158 = 0;

e36: x145*x49 - x146*x89 - x147*x94 - x148*x99 - x149*x104 - x150*x109 - x151*
     x114 - x152*x119 - x153*x124 - x154*x129 - 8*x3 - 2*x16 - 9*x29 - 613*x155
      - 771*x156 - 689*x157 - 971*x158 = 0;

e37: x145*x50 - x146*x90 - x147*x95 - x148*x100 - x149*x105 - x150*x110 - x151*
     x115 - x152*x120 - x153*x125 - x154*x130 - 4*x3 - 4*x16 - 8*x29 - 440*x155
      - 998*x156 - 986*x157 - 620*x158 = 0;

e38: x159*x51 - x160*x86 - x161*x91 - x162*x96 - x163*x101 - x164*x106 - x165*
     x111 - x166*x116 - x167*x121 - x168*x126 - 3*x4 - 8*x17 - 10*x30
      - 893*x169 - 810*x170 - 757*x171 - 1016*x172 = 0;

e39: x159*x52 - x160*x87 - x161*x92 - x162*x97 - x163*x102 - x164*x107 - x165*
     x112 - x166*x117 - x167*x122 - x168*x127 - 3*x4 - 9*x17 - 849*x169
      - 968*x170 - 545*x171 - 953*x172 = 0;

e40: x159*x53 - x160*x88 - x161*x93 - x162*x98 - x163*x103 - x164*x108 - x165*
     x113 - x166*x118 - x167*x123 - x168*x128 - 8*x4 - 10*x17 - 3*x30
      - 947*x169 - 481*x170 - 785*x171 - 473*x172 = 0;

e41: x159*x54 - x160*x89 - x161*x94 - x162*x99 - x163*x104 - x164*x109 - x165*
     x114 - x166*x119 - x167*x124 - x168*x129 - 8*x4 - 2*x17 - 9*x30 - 613*x169
      - 771*x170 - 689*x171 - 971*x172 = 0;

e42: x159*x55 - x160*x90 - x161*x95 - x162*x100 - x163*x105 - x164*x110 - x165*
     x115 - x166*x120 - x167*x125 - x168*x130 - 4*x4 - 4*x17 - 8*x30 - 440*x169
      - 998*x170 - 986*x171 - 620*x172 = 0;

e43: x173*x56 - x174*x86 - x175*x91 - x176*x96 - x177*x101 - x178*x106 - x179*
     x111 - x180*x116 - x181*x121 - x182*x126 - 3*x5 - 8*x18 - 10*x31
      - 893*x183 - 810*x184 - 757*x185 - 1016*x186 = 0;

e44: x173*x57 - x174*x87 - x175*x92 - x176*x97 - x177*x102 - x178*x107 - x179*
     x112 - x180*x117 - x181*x122 - x182*x127 - 3*x5 - 9*x18 - 849*x183
      - 968*x184 - 545*x185 - 953*x186 = 0;

e45: x173*x58 - x174*x88 - x175*x93 - x176*x98 - x177*x103 - x178*x108 - x179*
     x113 - x180*x118 - x181*x123 - x182*x128 - 8*x5 - 10*x18 - 3*x31
      - 947*x183 - 481*x184 - 785*x185 - 473*x186 = 0;

e46: x173*x59 - x174*x89 - x175*x94 - x176*x99 - x177*x104 - x178*x109 - x179*
     x114 - x180*x119 - x181*x124 - x182*x129 - 8*x5 - 2*x18 - 9*x31 - 613*x183
      - 771*x184 - 689*x185 - 971*x186 = 0;

e47: x173*x60 - x174*x90 - x175*x95 - x176*x100 - x177*x105 - x178*x110 - x179*
     x115 - x180*x120 - x181*x125 - x182*x130 - 4*x5 - 4*x18 - 8*x31 - 440*x183
      - 998*x184 - 986*x185 - 620*x186 = 0;

e48: x187*x61 - x188*x86 - x189*x91 - x190*x96 - x191*x101 - x192*x106 - x193*
     x111 - x194*x116 - x195*x121 - x196*x126 - 3*x6 - 8*x19 - 10*x32
      - 893*x197 - 810*x198 - 757*x199 - 1016*x200 = 0;

e49: x187*x62 - x188*x87 - x189*x92 - x190*x97 - x191*x102 - x192*x107 - x193*
     x112 - x194*x117 - x195*x122 - x196*x127 - 3*x6 - 9*x19 - 849*x197
      - 968*x198 - 545*x199 - 953*x200 = 0;

e50: x187*x63 - x188*x88 - x189*x93 - x190*x98 - x191*x103 - x192*x108 - x193*
     x113 - x194*x118 - x195*x123 - x196*x128 - 8*x6 - 10*x19 - 3*x32
      - 947*x197 - 481*x198 - 785*x199 - 473*x200 = 0;

e51: x187*x64 - x188*x89 - x189*x94 - x190*x99 - x191*x104 - x192*x109 - x193*
     x114 - x194*x119 - x195*x124 - x196*x129 - 8*x6 - 2*x19 - 9*x32 - 613*x197
      - 771*x198 - 689*x199 - 971*x200 = 0;

e52: x187*x65 - x188*x90 - x189*x95 - x190*x100 - x191*x105 - x192*x110 - x193*
     x115 - x194*x120 - x195*x125 - x196*x130 - 4*x6 - 4*x19 - 8*x32 - 440*x197
      - 998*x198 - 986*x199 - 620*x200 = 0;

e53: x201*x66 - x202*x86 - x203*x91 - x204*x96 - x205*x101 - x206*x106 - x207*
     x111 - x208*x116 - x209*x121 - x210*x126 - 3*x7 - 8*x20 - 10*x33
      - 893*x211 - 810*x212 - 757*x213 - 1016*x214 = 0;

e54: x201*x67 - x202*x87 - x203*x92 - x204*x97 - x205*x102 - x206*x107 - x207*
     x112 - x208*x117 - x209*x122 - x210*x127 - 3*x7 - 9*x20 - 849*x211
      - 968*x212 - 545*x213 - 953*x214 = 0;

e55: x201*x68 - x202*x88 - x203*x93 - x204*x98 - x205*x103 - x206*x108 - x207*
     x113 - x208*x118 - x209*x123 - x210*x128 - 8*x7 - 10*x20 - 3*x33
      - 947*x211 - 481*x212 - 785*x213 - 473*x214 = 0;

e56: x201*x69 - x202*x89 - x203*x94 - x204*x99 - x205*x104 - x206*x109 - x207*
     x114 - x208*x119 - x209*x124 - x210*x129 - 8*x7 - 2*x20 - 9*x33 - 613*x211
      - 771*x212 - 689*x213 - 971*x214 = 0;

e57: x201*x70 - x202*x90 - x203*x95 - x204*x100 - x205*x105 - x206*x110 - x207*
     x115 - x208*x120 - x209*x125 - x210*x130 - 4*x7 - 4*x20 - 8*x33 - 440*x211
      - 998*x212 - 986*x213 - 620*x214 = 0;

e58: x215*x71 - x216*x86 - x217*x91 - x218*x96 - x219*x101 - x220*x106 - x221*
     x111 - x222*x116 - x223*x121 - x224*x126 - 3*x8 - 8*x21 - 10*x34
      - 893*x225 - 810*x226 - 757*x227 - 1016*x228 = 0;

e59: x215*x72 - x216*x87 - x217*x92 - x218*x97 - x219*x102 - x220*x107 - x221*
     x112 - x222*x117 - x223*x122 - x224*x127 - 3*x8 - 9*x21 - 849*x225
      - 968*x226 - 545*x227 - 953*x228 = 0;

e60: x215*x73 - x216*x88 - x217*x93 - x218*x98 - x219*x103 - x220*x108 - x221*
     x113 - x222*x118 - x223*x123 - x224*x128 - 8*x8 - 10*x21 - 3*x34
      - 947*x225 - 481*x226 - 785*x227 - 473*x228 = 0;

e61: x215*x74 - x216*x89 - x217*x94 - x218*x99 - x219*x104 - x220*x109 - x221*
     x114 - x222*x119 - x223*x124 - x224*x129 - 8*x8 - 2*x21 - 9*x34 - 613*x225
      - 771*x226 - 689*x227 - 971*x228 = 0;

e62: x215*x75 - x216*x90 - x217*x95 - x218*x100 - x219*x105 - x220*x110 - x221*
     x115 - x222*x120 - x223*x125 - x224*x130 - 4*x8 - 4*x21 - 8*x34 - 440*x225
      - 998*x226 - 986*x227 - 620*x228 = 0;

e63: x229*x76 - x230*x86 - x231*x91 - x232*x96 - x233*x101 - x234*x106 - x235*
     x111 - x236*x116 - x237*x121 - x238*x126 - 3*x9 - 8*x22 - 10*x35
      - 893*x239 - 810*x240 - 757*x241 - 1016*x242 = 0;

e64: x229*x77 - x230*x87 - x231*x92 - x232*x97 - x233*x102 - x234*x107 - x235*
     x112 - x236*x117 - x237*x122 - x238*x127 - 3*x9 - 9*x22 - 849*x239
      - 968*x240 - 545*x241 - 953*x242 = 0;

e65: x229*x78 - x230*x88 - x231*x93 - x232*x98 - x233*x103 - x234*x108 - x235*
     x113 - x236*x118 - x237*x123 - x238*x128 - 8*x9 - 10*x22 - 3*x35
      - 947*x239 - 481*x240 - 785*x241 - 473*x242 = 0;

e66: x229*x79 - x230*x89 - x231*x94 - x232*x99 - x233*x104 - x234*x109 - x235*
     x114 - x236*x119 - x237*x124 - x238*x129 - 8*x9 - 2*x22 - 9*x35 - 613*x239
      - 771*x240 - 689*x241 - 971*x242 = 0;

e67: x229*x80 - x230*x90 - x231*x95 - x232*x100 - x233*x105 - x234*x110 - x235*
     x115 - x236*x120 - x237*x125 - x238*x130 - 4*x9 - 4*x22 - 8*x35 - 440*x239
      - 998*x240 - 986*x241 - 620*x242 = 0;

e68: x243*x81 - x244*x86 - x245*x91 - x246*x96 - x247*x101 - x248*x106 - x249*
     x111 - x250*x116 - x251*x121 - x252*x126 - 3*x10 - 8*x23 - 10*x36
      - 893*x253 - 810*x254 - 757*x255 - 1016*x256 = 0;

e69: x243*x82 - x244*x87 - x245*x92 - x246*x97 - x247*x102 - x248*x107 - x249*
     x112 - x250*x117 - x251*x122 - x252*x127 - 3*x10 - 9*x23 - 849*x253
      - 968*x254 - 545*x255 - 953*x256 = 0;

e70: x243*x83 - x244*x88 - x245*x93 - x246*x98 - x247*x103 - x248*x108 - x249*
     x113 - x250*x118 - x251*x123 - x252*x128 - 8*x10 - 10*x23 - 3*x36
      - 947*x253 - 481*x254 - 785*x255 - 473*x256 = 0;

e71: x243*x84 - x244*x89 - x245*x94 - x246*x99 - x247*x104 - x248*x109 - x249*
     x114 - x250*x119 - x251*x124 - x252*x129 - 8*x10 - 2*x23 - 9*x36
      - 613*x253 - 771*x254 - 689*x255 - 971*x256 = 0;

e72: x243*x85 - x244*x90 - x245*x95 - x246*x100 - x247*x105 - x248*x110 - x249*
     x115 - x250*x120 - x251*x125 - x252*x130 - 4*x10 - 4*x23 - 8*x36
      - 440*x253 - 998*x254 - 986*x255 - 620*x256 = 0;

e73: (-x257*x86) - x258*x91 - x259*x96 - x260*x101 - x261*x106 - x262*x111 - 
     x263*x116 - x264*x121 - x265*x126 - 3*x11 - 8*x24 - 10*x37 - 893*x266
      - 810*x267 - 757*x268 - 1016*x269 >= -75555;

e74: (-x257*x87) - x258*x92 - x259*x97 - x260*x102 - x261*x107 - x262*x112 - 
     x263*x117 - x264*x122 - x265*x127 - 3*x11 - 9*x24 - 849*x266 - 968*x267
      - 545*x268 - 953*x269 >= -52440;

e75: (-x257*x88) - x258*x93 - x259*x98 - x260*x103 - x261*x108 - x262*x113 - 
     x263*x118 - x264*x123 - x265*x128 - 8*x11 - 10*x24 - 3*x37 - 947*x266
      - 481*x267 - 785*x268 - 473*x269 >= -31970;

e76: (-x257*x89) - x258*x94 - x259*x99 - x260*x104 - x261*x109 - x262*x114 - 
     x263*x119 - x264*x124 - x265*x129 - 8*x11 - 2*x24 - 9*x37 - 613*x266
      - 771*x267 - 689*x268 - 971*x269 >= -60720;

e77: (-x257*x90) - x258*x95 - x259*x100 - x260*x105 - x261*x110 - x262*x115 - 
     x263*x120 - x264*x125 - x265*x130 - 4*x11 - 4*x24 - 8*x37 - 440*x266
      - 998*x267 - 986*x268 - 620*x269 >= -27600;

e78: (-x270*x86) - x271*x91 - x272*x96 - x273*x101 - x274*x106 - x275*x111 - 
     x276*x116 - x277*x121 - x278*x126 - 3*x12 - 8*x25 - 10*x38 - 893*x279
      - 810*x280 - 757*x281 - 1016*x282 >= -1275;

e79: (-x270*x87) - x271*x92 - x272*x97 - x273*x102 - x274*x107 - x275*x112 - 
     x276*x117 - x277*x122 - x278*x127 - 3*x12 - 9*x25 - 849*x279 - 968*x280
      - 545*x281 - 953*x282 >= -46155;

e80: (-x270*x88) - x271*x93 - x272*x98 - x273*x103 - x274*x108 - x275*x113 - 
     x276*x118 - x277*x123 - x278*x128 - 8*x12 - 10*x25 - 3*x38 - 947*x279
      - 481*x280 - 785*x281 - 473*x282 >= -23460;

e81: (-x270*x89) - x271*x94 - x272*x99 - x273*x104 - x274*x109 - x275*x114 - 
     x276*x119 - x277*x124 - x278*x129 - 8*x12 - 2*x25 - 9*x38 - 613*x279
      - 771*x280 - 689*x281 - 971*x282 >= -36210;

e82: (-x270*x90) - x271*x95 - x272*x100 - x273*x105 - x274*x110 - x275*x115 - 
     x276*x120 - x277*x125 - x278*x130 - 4*x12 - 4*x25 - 8*x38 - 440*x279
      - 998*x280 - 986*x281 - 620*x282 >= -36720;

e83: (-x283*x86) - x284*x91 - x285*x96 - x286*x101 - x287*x106 - x288*x111 - 
     x289*x116 - x290*x121 - x291*x126 - 3*x13 - 8*x26 - 10*x39 - 893*x292
      - 810*x293 - 757*x294 - 1016*x295 >= -70490;

e84: (-x283*x87) - x284*x92 - x285*x97 - x286*x102 - x287*x107 - x288*x112 - 
     x289*x117 - x290*x122 - x291*x127 - 3*x13 - 9*x26 - 849*x292 - 968*x293
      - 545*x294 - 953*x295 >= -8360;

e85: (-x283*x88) - x284*x93 - x285*x98 - x286*x103 - x287*x108 - x288*x113 - 
     x289*x118 - x290*x123 - x291*x128 - 8*x13 - 10*x26 - 3*x39 - 947*x292
      - 481*x293 - 785*x294 - 473*x295 >= -18715;

e86: (-x283*x89) - x284*x94 - x285*x99 - x286*x104 - x287*x109 - x288*x114 - 
     x289*x119 - x290*x124 - x291*x129 - 8*x13 - 2*x26 - 9*x39 - 613*x292
      - 771*x293 - 689*x294 - 971*x295 >= -32395;

e87: (-x283*x90) - x284*x95 - x285*x100 - x286*x105 - x287*x110 - x288*x115 - 
     x289*x120 - x290*x125 - x291*x130 - 4*x13 - 4*x26 - 8*x39 - 440*x292
      - 998*x293 - 986*x294 - 620*x295 >= -57095;

e88: (-x296*x86) - x297*x91 - x298*x96 - x299*x101 - x300*x106 - x301*x111 - 
     x302*x116 - x303*x121 - x304*x126 - 3*x14 - 8*x27 - 10*x40 - 893*x305
      - 810*x306 - 757*x307 - 1016*x308 >= -75040;

e89: (-x296*x87) - x297*x92 - x298*x97 - x299*x102 - x300*x107 - x301*x112 - 
     x302*x117 - x303*x122 - x304*x127 - 3*x14 - 9*x27 - 849*x305 - 968*x306
      - 545*x307 - 953*x308 >= -75760;

e90: (-x296*x88) - x297*x93 - x298*x98 - x299*x103 - x300*x108 - x301*x113 - 
     x302*x118 - x303*x123 - x304*x128 - 8*x14 - 10*x27 - 3*x40 - 947*x305
      - 481*x306 - 785*x307 - 473*x308 >= -19920;

e91: (-x296*x89) - x297*x94 - x298*x99 - x299*x104 - x300*x109 - x301*x114 - 
     x302*x119 - x303*x124 - x304*x129 - 8*x14 - 2*x27 - 9*x40 - 613*x305
      - 771*x306 - 689*x307 - 971*x308 >= -76320;

e92: (-x296*x90) - x297*x95 - x298*x100 - x299*x105 - x300*x110 - x301*x115 - 
     x302*x120 - x303*x125 - x304*x130 - 4*x14 - 4*x27 - 8*x40 - 440*x305
      - 998*x306 - 986*x307 - 620*x308 >= -40720;

e93: x131*x41 - x131*x86 = -105592;

e94: x131*x42 - x131*x87 = -15276;

e95: x131*x43 - x131*x88 = -24656;

e96: x131*x44 - x131*x89 = -22646;

e97: x131*x45 - x131*x90 = -7236;

e98: x145*x46 - x145*x91 = -35520;

e99: x145*x47 - x145*x92 = -26492;

e100: x145*x48 - x145*x93 = -9324;

e101: x145*x49 - x145*x94 = -39516;

e102: x145*x50 - x145*x95 = -31302;

e103: x159*x51 - x159*x96 = -13156;

e104: x159*x52 - x159*x97 = -13468;

e105: x159*x53 - x159*x98 = -5642;

e106: x159*x54 - x159*x99 = -15184;

e107: x159*x55 - x159*x100 = -12766;

e108: x173*x56 - x173*x101 = -52712;

e109: x173*x57 - x173*x102 = -33088;

e110: x173*x58 - x173*x103 = -59048;

e111: x173*x59 - x173*x104 = -86328;

e112: x173*x60 - x173*x105 = -53944;

e113: x187*x61 - x187*x106 = -108400;

e114: x187*x62 - x187*x107 = -43200;

e115: x187*x63 - x187*x108 = -56700;

e116: x187*x64 - x187*x109 = -9900;

e117: x187*x65 - x187*x110 = -25100;

e118: x201*x66 - x201*x111 = -6050;

e119: x201*x67 - x201*x112 = -31900;

e120: x201*x68 - x201*x113 = -29700;

e121: x201*x69 - x201*x114 = -24310;

e122: x201*x70 - x201*x115 = -9680;

e123: x215*x71 - x215*x116 = -6750;

e124: x215*x72 - x215*x117 = -15500;

e125: x215*x73 - x215*x118 = -15950;

e126: x215*x74 - x215*x119 = -28400;

e127: x215*x75 - x215*x120 = -5800;

e128: x229*x76 - x229*x121 = -116550;

e129: x229*x77 - x229*x122 = -70938;

e130: x229*x78 - x229*x123 = -59346;

e131: x229*x79 - x229*x124 = -15624;

e132: x229*x80 - x229*x125 = -26082;

e133: x243*x81 - x243*x126 = -30624;

e134: x243*x82 - x243*x127 = -27492;

e135: x243*x83 - x243*x128 = -10904;

e136: x243*x84 - x243*x129 = -22852;

e137: x243*x85 - x243*x130 = -6612;