# MINLP written by GAMS Convert at 03/18/26 11:20:21
#
# Equation counts
#     Total        E        G        L        N        X        C        B
#       530      114        0      416        0        0        0        0
#
# Variable counts
#                  x        b        i      s1s      s2s       sc       si
#     Total     cont   binary  integer     sos1     sos2    scont     sint
#       318      222       96        0        0        0        0        0
# FX     24
#
# Nonzero counts
#     Total    const       NL
#      1647     1207      440
#
# Reformulation has removed 1 variable and 1 equation

var b1 binary >= 0, <= 1;
var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var x97 >= 0, <= 50;
var x98 >= 0, <= 50;
var x99 >= 0, <= 50;
var x100 >= 0, <= 50;
var x101 >= 0, <= 50;
var x102 >= 0, <= 50;
var x103 >= 0, <= 50;
var x104 >= 0, <= 50;
var x105 >= 0, <= 50;
var x106 >= 0, <= 50;
var x107 >= 0, <= 50;
var x108 >= 0, <= 50;
var x109 >= 0, <= 50;
var x110 >= 0, <= 50;
var x111 >= 0, <= 50;
var x112 >= 0, <= 50;
var x113 >= 0, <= 50;
var x114 >= 0, <= 50;
var x115 >= 0, <= 50;
var x116 >= 0, <= 50;
var x117 >= 0, <= 50;
var x118 >= 0, <= 50;
var x119 >= 0, <= 50;
var x120 >= 0, <= 50;
var x121 >= 0, <= 50;
var x122 >= 0, <= 50;
var x123 >= 0, <= 50;
var x124 >= 0, <= 50;
var x125 >= 0, <= 50;
var x126 >= 0, <= 50;
var x127 >= 0, <= 50;
var x128 >= 0, <= 50;
var x129 >= 0, <= 50;
var x130 >= 0, <= 50;
var x131 >= 0, <= 50;
var x132 >= 0, <= 50;
var x133 >= 0, <= 50;
var x134 >= 0, <= 50;
var x135 >= 0, <= 50;
var x136 >= 0, <= 50;
var x137 >= 0, <= 50;
var x138 >= 0, <= 50;
var x139 >= 0, <= 50;
var x140 >= 0, <= 50;
var x141 >= 0, <= 50;
var x142 >= 0, <= 50;
var x143 >= 0, <= 50;
var x144 >= 0, <= 50;
var x145 >= 0, <= 50;
var x146 >= 0, <= 50;
var x147 >= 0, <= 50;
var x148 >= 0, <= 50;
var x149 >= 0, <= 50;
var x150 >= 0, <= 50;
var x151 >= 0, <= 50;
var x152 >= 0, <= 50;
var x153 >= 0, <= 50;
var x154 >= 0, <= 50;
var x155 >= 0, <= 50;
var x156 >= 0, <= 50;
var x157 >= 0, <= 50;
var x158 >= 0, <= 50;
var x159 >= 0, <= 50;
var x160 >= 0, <= 50;
var x161 >= 0, <= 50;
var x162 >= 0, <= 50;
var x163 >= 0, <= 50;
var x164 >= 0, <= 50;
var x165 >= 0, <= 50;
var x166 >= 0, <= 50;
var x167 >= 0, <= 50;
var x168 >= 0, <= 50;
var x169 >= 0, <= 50;
var x170 >= 0, <= 50;
var x171 >= 0, <= 50;
var x172 >= 0, <= 50;
var x173 >= 0, <= 50;
var x174 >= 0, <= 50;
var x175 >= 0, <= 50;
var x176 >= 0, <= 50;
var x177 >= 0, <= 50;
var x178 >= 0, <= 50;
var x179 >= 0, <= 50;
var x180 >= 0, <= 50;
var x181 >= 0, <= 50;
var x182 >= 0, <= 50;
var x183 >= 0, <= 50;
var x184 >= 0, <= 50;
var x185 >= 0, <= 50;
var x186 >= 0, <= 50;
var x187 >= 0, <= 50;
var x188 >= 0, <= 50;
var x189 >= 0, <= 50;
var x190 >= 0, <= 50;
var x191 >= 0, <= 50;
var x192 >= 0, <= 50;
var x193 >= 0, <= 3.66;
var x194 >= 0, <= 3.66;
var x195 >= 0, <= 3.66;
var x196 >= 0, <= 3.66;
var x197 >= 0, <= 3.66;
var x198 >= 0, <= 3.66;
var x199 >= 0, <= 3.66;
var x200 >= 0, <= 3.66;
var x201 >= 0, <= 3.66;
var x202 >= 0, <= 3.66;
var x203 >= 0, <= 3.14;
var x204 >= 0, <= 3.14;
var x205 >= 0, <= 3.14;
var x206 >= 0, <= 3.14;
var x207 >= 0, <= 3.14;
var x208 >= 0, <= 3.14;
var x209 >= 0, <= 3.14;
var x210 >= 0, <= 3.14;
var x211 >= 0, <= 3.14;
var x212 >= 0, <= 3.14;
var x213 >= 0, <= 0;
var x214 >= 0, <= 0;
var x215 >= 0, <= 0;
var x216 >= 0, <= 0;
var x217 >= 0, <= 0;
var x218 >= 0, <= 0;
var x219 >= 0, <= 0;
var x220 >= 0, <= 0;
var x221 >= 0, <= 0;
var x222 >= 0, <= 0;
var x223 >= 0, <= 0;
var x224 >= 0, <= 0;
var x225 >= 0, <= 44;
var x226 >= 0, <= 44;
var x227 >= 0, <= 44;
var x228 >= 0, <= 44;
var x229 >= 0, <= 44;
var x230 >= 0, <= 44;
var x231 >= 0, <= 47.3;
var x232 >= 0, <= 47.3;
var x233 >= 0, <= 47.3;
var x234 >= 0, <= 47.3;
var x235 >= 0, <= 47.3;
var x236 >= 0, <= 47.3;
var x237 >= 0, <= 44;
var x238 >= 0, <= 44;
var x239 >= 0, <= 44;
var x240 >= 0, <= 44;
var x241 >= 0, <= 44;
var x242 >= 0, <= 44;
var x243 >= 0, <= 62.7;
var x244 >= 0, <= 62.7;
var x245 >= 0, <= 62.7;
var x246 >= 0, <= 62.7;
var x247 >= 0, <= 62.7;
var x248 >= 0, <= 62.7;
var x249 >= 0, <= 52.8;
var x250 >= 0, <= 52.8;
var x251 >= 0, <= 52.8;
var x252 >= 0, <= 52.8;
var x253 >= 0, <= 52.8;
var x254 >= 0, <= 52.8;
var x255 >= 0, <= 0;
var x256 >= 0, <= 50;
var x257 >= 0, <= 0;
var x258 >= 0, <= 50;
var x259 >= 0, <= 0;
var x260 >= 0, <= 50;
var x261 >= 0, <= 0;
var x262 >= 0, <= 50;
var x263 >= 0, <= 0;
var x264 >= 0, <= 50;
var x265 >= 0, <= 0;
var x266 >= 0, <= 50;
var x267 >= 0, <= 0;
var x268 >= 0, <= 50;
var x269 >= 0, <= 0;
var x270 >= 0, <= 50;
var x271 >= 0, <= 0;
var x272 >= 0, <= 50;
var x273 >= 0, <= 0;
var x274 >= 0, <= 50;
var x275 >= 0, <= 0;
var x276 >= 0, <= 50;
var x277 >= 0, <= 0;
var x278 >= 0, <= 3.66;
var x279 >= 0, <= 3.66;
var x280 >= 0, <= 3.66;
var x281 >= 0, <= 3.66;
var x282 >= 0, <= 3.66;
var x283 >= 0, <= 3.66;
var x284 >= 0, <= 3.66;
var x285 >= 0, <= 3.66;
var x286 >= 0, <= 3.66;
var x287 >= 0, <= 3.66;
var x288 >= 0, <= 3.66;
var x289 >= 0, <= 3.66;
var x290 >= 0, <= 3.66;
var x291 >= 0, <= 3.66;
var x292 >= 0, <= 3.66;
var x293 >= 0, <= 3.66;
var x294 >= 0, <= 3.66;
var x295 >= 0, <= 3.66;
var x296 >= 0, <= 3.66;
var x297 >= 0, <= 3.66;
var x298 >= 0, <= 3.14;
var x299 >= 0, <= 3.14;
var x300 >= 0, <= 3.14;
var x301 >= 0, <= 3.14;
var x302 >= 0, <= 3.14;
var x303 >= 0, <= 3.14;
var x304 >= 0, <= 3.14;
var x305 >= 0, <= 3.14;
var x306 >= 0, <= 3.14;
var x307 >= 0, <= 3.14;
var x308 >= 0, <= 3.14;
var x309 >= 0, <= 3.14;
var x310 >= 0, <= 3.14;
var x311 >= 0, <= 3.14;
var x312 >= 0, <= 3.14;
var x313 >= 0, <= 3.14;
var x314 >= 0, <= 3.14;
var x315 >= 0, <= 3.14;
var x316 >= 0, <= 3.14;
var x317 >= 0, <= 3.14;
var x318 := 10, >= 10, <= 50;

maximize obj: -30.250000000000004 * b1 - 30.250000000000004 * b2 -
    30.250000000000004 * b3 - 30.250000000000004 * b4 - 30.250000000000004 * b5
    - 30.250000000000004 * b6 - 30.250000000000004 * b7 - 30.250000000000004 *
    b8 - 30.250000000000004 * b9 - 30.250000000000004 * b10 -
    30.250000000000004 * b11 - 30.250000000000004 * b12 - 30.250000000000004 *
    b13 - 30.250000000000004 * b14 - 30.250000000000004 * b15 -
    30.250000000000004 * b16 - 30.250000000000004 * b17 - 30.250000000000004 *
    b18 - 30.250000000000004 * b19 - 30.250000000000004 * b20 -
    30.250000000000004 * b21 - 30.250000000000004 * b22 - 30.250000000000004 *
    b23 - 30.250000000000004 * b24 - 30.250000000000004 * b25 -
    30.250000000000004 * b26 - 30.250000000000004 * b27 - 30.250000000000004 *
    b28 - 30.250000000000004 * b29 - 30.250000000000004 * b30 -
    30.250000000000004 * b31 - 30.250000000000004 * b32 - 30.250000000000004 *
    b33 - 30.250000000000004 * b34 - 30.250000000000004 * b35 -
    30.250000000000004 * b36 - 30.250000000000004 * b37 - 30.250000000000004 *
    b38 - 30.250000000000004 * b39 - 30.250000000000004 * b40 -
    30.250000000000004 * b41 - 30.250000000000004 * b42 - 30.250000000000004 *
    b43 - 30.250000000000004 * b44 - 30.250000000000004 * b45 -
    30.250000000000004 * b46 - 30.250000000000004 * b47 - 30.250000000000004 *
    b48 - 30.250000000000004 * b49 - 30.250000000000004 * b50 -
    30.250000000000004 * b51 - 30.250000000000004 * b52 - 30.250000000000004 *
    b53 - 30.250000000000004 * b54 - 30.250000000000004 * b55 -
    30.250000000000004 * b56 - 30.250000000000004 * b57 - 30.250000000000004 *
    b58 - 30.250000000000004 * b59 - 30.250000000000004 * b60 -
    30.250000000000004 * b61 - 30.250000000000004 * b62 - 30.250000000000004 *
    b63 - 30.250000000000004 * b64 - 30.250000000000004 * b65 -
    30.250000000000004 * b66 - 30.250000000000004 * b67 - 30.250000000000004 *
    b68 - 30.250000000000004 * b69 - 30.250000000000004 * b70 -
    30.250000000000004 * b71 - 30.250000000000004 * b72 - 30.250000000000004 *
    b73 - 30.250000000000004 * b74 - 30.250000000000004 * b75 -
    30.250000000000004 * b76 - 30.250000000000004 * b77 - 30.250000000000004 *
    b78 - 30.250000000000004 * b79 - 30.250000000000004 * b80 -
    30.250000000000004 * b81 - 30.250000000000004 * b82 - 30.250000000000004 *
    b83 - 30.250000000000004 * b84 - 30.250000000000004 * b85 -
    30.250000000000004 * b86 - 30.250000000000004 * b87 - 30.250000000000004 *
    b88 - 30.250000000000004 * b89 - 30.250000000000004 * b90 -
    30.250000000000004 * b91 - 30.250000000000004 * b92 - 30.250000000000004 *
    b93 - 30.250000000000004 * b94 - 30.250000000000004 * b95 -
    30.250000000000004 * b96 - 11.495000000000001 * x97 - 11.495000000000001 *
    x98 - 11.495000000000001 * x99 - 11.495000000000001 * x100 -
    11.495000000000001 * x101 - 11.495000000000001 * x102 - 20.570000000000004
    * x103 - 20.570000000000004 * x104 - 20.570000000000004 * x105 -
    20.570000000000004 * x106 - 20.570000000000004 * x107 - 20.570000000000004
    * x108 - 12.100000000000001 * x109 - 12.100000000000001 * x110 -
    12.100000000000001 * x111 - 12.100000000000001 * x112 - 12.100000000000001
    * x113 - 12.100000000000001 * x114 - 22.082500000000003 * x115 -
    22.082500000000003 * x116 - 22.082500000000003 * x117 - 22.082500000000003
    * x118 - 22.082500000000003 * x119 - 22.082500000000003 * x120 -
    23.897500000000004 * x121 - 23.897500000000004 * x122 - 23.897500000000004
    * x123 - 23.897500000000004 * x124 - 23.897500000000004 * x125 -
    23.897500000000004 * x126 - 20.267500000000002 * x127 - 20.267500000000002
    * x128 - 20.267500000000002 * x129 - 20.267500000000002 * x130 -
    20.267500000000002 * x131 - 20.267500000000002 * x132 - 25.267500000000002
    * x133 - 25.267500000000002 * x134 - 25.267500000000002 * x135 -
    25.267500000000002 * x136 - 25.267500000000002 * x137 - 25.267500000000002
    * x138 + 40.177499999999995 * x139 + 40.177499999999995 * x140 +
    40.177499999999995 * x141 + 40.177499999999995 * x142 + 40.177499999999995
    * x143 + 40.177499999999995 * x144 - 24.965000000000003 * x145 -
    24.965000000000003 * x146 - 24.965000000000003 * x147 - 24.965000000000003
    * x148 - 24.965000000000003 * x149 - 24.965000000000003 * x150 + 49.555 *
    x151 + 49.555 * x152 + 49.555 * x153 + 49.555 * x154 + 49.555 * x155 +
    49.555 * x156 - 10.982500000000002 * x157 - 10.982500000000002 * x158 -
    10.982500000000002 * x159 - 10.982500000000002 * x160 - 10.982500000000002
    * x161 - 10.982500000000002 * x162 - 20.360000000000003 * x163 -
    20.360000000000003 * x164 - 20.360000000000003 * x165 - 20.360000000000003
    * x166 - 20.360000000000003 * x167 - 20.360000000000003 * x168 - 23.385 *
    x169 - 23.385 * x170 - 23.385 * x171 - 23.385 * x172 - 23.385 * x173 -
    23.385 * x174 - 26.755000000000003 * x175 - 26.755000000000003 * x176 -
    26.755000000000003 * x177 - 26.755000000000003 * x178 - 26.755000000000003
    * x179 - 26.755000000000003 * x180 - 13.7475 * x181 - 13.7475 * x182 -
    13.7475 * x183 - 13.7475 * x184 - 13.7475 * x185 - 13.7475 * x186 -
    26.755000000000003 * x187 - 26.755000000000003 * x188 - 26.755000000000003
    * x189 - 26.755000000000003 * x190 - 26.755000000000003 * x191 -
    26.755000000000003 * x192;

subject to

e1:  b1 - x97 <= 0;
e2:  b2 - x98 <= 0;
e3:  b3 - x99 <= 0;
e4:  b4 - x100 <= 0;
e5:  b5 - x101 <= 0;
e6:  b6 - x102 <= 0;
e7:  b7 - x103 <= 0;
e8:  b8 - x104 <= 0;
e9:  b9 - x105 <= 0;
e10:  b10 - x106 <= 0;
e11:  b11 - x107 <= 0;
e12:  b12 - x108 <= 0;
e13:  b13 - x109 <= 0;
e14:  b14 - x110 <= 0;
e15:  b15 - x111 <= 0;
e16:  b16 - x112 <= 0;
e17:  b17 - x113 <= 0;
e18:  b18 - x114 <= 0;
e19:  b19 - x115 <= 0;
e20:  b20 - x116 <= 0;
e21:  b21 - x117 <= 0;
e22:  b22 - x118 <= 0;
e23:  b23 - x119 <= 0;
e24:  b24 - x120 <= 0;
e25:  b25 - x121 <= 0;
e26:  b26 - x122 <= 0;
e27:  b27 - x123 <= 0;
e28:  b28 - x124 <= 0;
e29:  b29 - x125 <= 0;
e30:  b30 - x126 <= 0;
e31:  b31 - x127 <= 0;
e32:  b32 - x128 <= 0;
e33:  b33 - x129 <= 0;
e34:  b34 - x130 <= 0;
e35:  b35 - x131 <= 0;
e36:  b36 - x132 <= 0;
e37:  b37 - x133 <= 0;
e38:  b38 - x134 <= 0;
e39:  b39 - x135 <= 0;
e40:  b40 - x136 <= 0;
e41:  b41 - x137 <= 0;
e42:  b42 - x138 <= 0;
e43:  b43 - x139 <= 0;
e44:  b44 - x140 <= 0;
e45:  b45 - x141 <= 0;
e46:  b46 - x142 <= 0;
e47:  b47 - x143 <= 0;
e48:  b48 - x144 <= 0;
e49:  b49 - x145 <= 0;
e50:  b50 - x146 <= 0;
e51:  b51 - x147 <= 0;
e52:  b52 - x148 <= 0;
e53:  b53 - x149 <= 0;
e54:  b54 - x150 <= 0;
e55:  b55 - x151 <= 0;
e56:  b56 - x152 <= 0;
e57:  b57 - x153 <= 0;
e58:  b58 - x154 <= 0;
e59:  b59 - x155 <= 0;
e60:  b60 - x156 <= 0;
e61:  b61 - x157 <= 0;
e62:  b62 - x158 <= 0;
e63:  b63 - x159 <= 0;
e64:  b64 - x160 <= 0;
e65:  b65 - x161 <= 0;
e66:  b66 - x162 <= 0;
e67:  b67 - x163 <= 0;
e68:  b68 - x164 <= 0;
e69:  b69 - x165 <= 0;
e70:  b70 - x166 <= 0;
e71:  b71 - x167 <= 0;
e72:  b72 - x168 <= 0;
e73:  b73 - x169 <= 0;
e74:  b74 - x170 <= 0;
e75:  b75 - x171 <= 0;
e76:  b76 - x172 <= 0;
e77:  b77 - x173 <= 0;
e78:  b78 - x174 <= 0;
e79:  b79 - x175 <= 0;
e80:  b80 - x176 <= 0;
e81:  b81 - x177 <= 0;
e82:  b82 - x178 <= 0;
e83:  b83 - x179 <= 0;
e84:  b84 - x180 <= 0;
e85:  b85 - x181 <= 0;
e86:  b86 - x182 <= 0;
e87:  b87 - x183 <= 0;
e88:  b88 - x184 <= 0;
e89:  b89 - x185 <= 0;
e90:  b90 - x186 <= 0;
e91:  b91 - x187 <= 0;
e92:  b92 - x188 <= 0;
e93:  b93 - x189 <= 0;
e94:  b94 - x190 <= 0;
e95:  b95 - x191 <= 0;
e96:  b96 - x192 <= 0;
e97:  -50 * b1 + x97 <= 0;
e98:  -50 * b2 + x98 <= 0;
e99:  -50 * b3 + x99 <= 0;
e100:  -50 * b4 + x100 <= 0;
e101:  -50 * b5 + x101 <= 0;
e102:  -50 * b6 + x102 <= 0;
e103:  -50 * b7 + x103 <= 0;
e104:  -50 * b8 + x104 <= 0;
e105:  -50 * b9 + x105 <= 0;
e106:  -50 * b10 + x106 <= 0;
e107:  -50 * b11 + x107 <= 0;
e108:  -50 * b12 + x108 <= 0;
e109:  -50 * b13 + x109 <= 0;
e110:  -50 * b14 + x110 <= 0;
e111:  -50 * b15 + x111 <= 0;
e112:  -50 * b16 + x112 <= 0;
e113:  -50 * b17 + x113 <= 0;
e114:  -50 * b18 + x114 <= 0;
e115:  -50 * b19 + x115 <= 0;
e116:  -50 * b20 + x116 <= 0;
e117:  -50 * b21 + x117 <= 0;
e118:  -50 * b22 + x118 <= 0;
e119:  -50 * b23 + x119 <= 0;
e120:  -50 * b24 + x120 <= 0;
e121:  -50 * b25 + x121 <= 0;
e122:  -50 * b26 + x122 <= 0;
e123:  -50 * b27 + x123 <= 0;
e124:  -50 * b28 + x124 <= 0;
e125:  -50 * b29 + x125 <= 0;
e126:  -50 * b30 + x126 <= 0;
e127:  -50 * b31 + x127 <= 0;
e128:  -50 * b32 + x128 <= 0;
e129:  -50 * b33 + x129 <= 0;
e130:  -50 * b34 + x130 <= 0;
e131:  -50 * b35 + x131 <= 0;
e132:  -50 * b36 + x132 <= 0;
e133:  -50 * b37 + x133 <= 0;
e134:  -50 * b38 + x134 <= 0;
e135:  -50 * b39 + x135 <= 0;
e136:  -50 * b40 + x136 <= 0;
e137:  -50 * b41 + x137 <= 0;
e138:  -50 * b42 + x138 <= 0;
e139:  -50 * b43 + x139 <= 0;
e140:  -50 * b44 + x140 <= 0;
e141:  -50 * b45 + x141 <= 0;
e142:  -50 * b46 + x142 <= 0;
e143:  -50 * b47 + x143 <= 0;
e144:  -50 * b48 + x144 <= 0;
e145:  -50 * b49 + x145 <= 0;
e146:  -50 * b50 + x146 <= 0;
e147:  -50 * b51 + x147 <= 0;
e148:  -50 * b52 + x148 <= 0;
e149:  -50 * b53 + x149 <= 0;
e150:  -50 * b54 + x150 <= 0;
e151:  -50 * b55 + x151 <= 0;
e152:  -50 * b56 + x152 <= 0;
e153:  -50 * b57 + x153 <= 0;
e154:  -50 * b58 + x154 <= 0;
e155:  -50 * b59 + x155 <= 0;
e156:  -50 * b60 + x156 <= 0;
e157:  -50 * b61 + x157 <= 0;
e158:  -50 * b62 + x158 <= 0;
e159:  -50 * b63 + x159 <= 0;
e160:  -50 * b64 + x160 <= 0;
e161:  -50 * b65 + x161 <= 0;
e162:  -50 * b66 + x162 <= 0;
e163:  -50 * b67 + x163 <= 0;
e164:  -50 * b68 + x164 <= 0;
e165:  -50 * b69 + x165 <= 0;
e166:  -50 * b70 + x166 <= 0;
e167:  -50 * b71 + x167 <= 0;
e168:  -50 * b72 + x168 <= 0;
e169:  -50 * b73 + x169 <= 0;
e170:  -50 * b74 + x170 <= 0;
e171:  -50 * b75 + x171 <= 0;
e172:  -50 * b76 + x172 <= 0;
e173:  -50 * b77 + x173 <= 0;
e174:  -50 * b78 + x174 <= 0;
e175:  -50 * b79 + x175 <= 0;
e176:  -50 * b80 + x176 <= 0;
e177:  -50 * b81 + x177 <= 0;
e178:  -50 * b82 + x178 <= 0;
e179:  -50 * b83 + x179 <= 0;
e180:  -50 * b84 + x180 <= 0;
e181:  -50 * b85 + x181 <= 0;
e182:  -50 * b86 + x182 <= 0;
e183:  -50 * b87 + x183 <= 0;
e184:  -50 * b88 + x184 <= 0;
e185:  -50 * b89 + x185 <= 0;
e186:  -50 * b90 + x186 <= 0;
e187:  -50 * b91 + x187 <= 0;
e188:  -50 * b92 + x188 <= 0;
e189:  -50 * b93 + x189 <= 0;
e190:  -50 * b94 + x190 <= 0;
e191:  -50 * b95 + x191 <= 0;
e192:  -50 * b96 + x192 <= 0;
e193:  3.66 * b38 - x193 <= 3.66;
e194:  3.66 * b39 - x194 <= 3.66;
e195:  3.66 * b40 - x195 <= 3.66;
e196:  3.66 * b41 - x196 <= 3.66;
e197:  3.66 * b42 - x197 <= 3.66;
e198:  3.66 * b44 - x193 <= 3.66;
e199:  3.66 * b45 - x194 <= 3.66;
e200:  3.66 * b46 - x195 <= 3.66;
e201:  3.66 * b47 - x196 <= 3.66;
e202:  3.66 * b48 - x197 <= 3.66;
e203:  3.66 * b50 - x198 <= 3.66;
e204:  3.66 * b51 - x199 <= 3.66;
e205:  3.66 * b52 - x200 <= 3.66;
e206:  3.66 * b53 - x201 <= 3.66;
e207:  3.66 * b54 - x202 <= 3.66;
e208:  3.66 * b56 - x198 <= 3.66;
e209:  3.66 * b57 - x199 <= 3.66;
e210:  3.66 * b58 - x200 <= 3.66;
e211:  3.66 * b59 - x201 <= 3.66;
e212:  3.66 * b60 - x202 <= 3.66;
e213:  3.14 * b38 - x203 <= 3.14;
e214:  3.14 * b39 - x204 <= 3.14;
e215:  3.14 * b40 - x205 <= 3.14;
e216:  3.14 * b41 - x206 <= 3.14;
e217:  3.14 * b42 - x207 <= 3.14;
e218:  3.14 * b44 - x203 <= 3.14;
e219:  3.14 * b45 - x204 <= 3.14;
e220:  3.14 * b46 - x205 <= 3.14;
e221:  3.14 * b47 - x206 <= 3.14;
e222:  3.14 * b48 - x207 <= 3.14;
e223:  3.14 * b50 - x208 <= 3.14;
e224:  3.14 * b51 - x209 <= 3.14;
e225:  3.14 * b52 - x210 <= 3.14;
e226:  3.14 * b53 - x211 <= 3.14;
e227:  3.14 * b54 - x212 <= 3.14;
e228:  3.14 * b56 - x208 <= 3.14;
e229:  3.14 * b57 - x209 <= 3.14;
e230:  3.14 * b58 - x210 <= 3.14;
e231:  3.14 * b59 - x211 <= 3.14;
e232:  3.14 * b60 - x212 <= 3.14;
e233:  3.66 * b38 + x193 <= 7.32;
e234:  3.66 * b39 + x194 <= 7.32;
e235:  3.66 * b40 + x195 <= 7.32;
e236:  3.66 * b41 + x196 <= 7.32;
e237:  3.66 * b42 + x197 <= 7.32;
e238:  3.66 * b44 + x193 <= 7.04;
e239:  3.66 * b45 + x194 <= 7.04;
e240:  3.66 * b46 + x195 <= 7.04;
e241:  3.66 * b47 + x196 <= 7.04;
e242:  3.66 * b48 + x197 <= 7.04;
e243:  3.66 * b50 + x198 <= 7.32;
e244:  3.66 * b51 + x199 <= 7.32;
e245:  3.66 * b52 + x200 <= 7.32;
e246:  3.66 * b53 + x201 <= 7.32;
e247:  3.66 * b54 + x202 <= 7.32;
e248:  3.66 * b56 + x198 <= 7.04;
e249:  3.66 * b57 + x199 <= 7.04;
e250:  3.66 * b58 + x200 <= 7.04;
e251:  3.66 * b59 + x201 <= 7.04;
e252:  3.66 * b60 + x202 <= 7.04;
e253:  3.14 * b38 + x203 <= 6.800000000000001;
e254:  3.14 * b39 + x204 <= 6.800000000000001;
e255:  3.14 * b40 + x205 <= 6.800000000000001;
e256:  3.14 * b41 + x206 <= 6.800000000000001;
e257:  3.14 * b42 + x207 <= 6.800000000000001;
e258:  3.14 * b44 + x203 <= 6.470000000000001;
e259:  3.14 * b45 + x204 <= 6.470000000000001;
e260:  3.14 * b46 + x205 <= 6.470000000000001;
e261:  3.14 * b47 + x206 <= 6.470000000000001;
e262:  3.14 * b48 + x207 <= 6.470000000000001;
e263:  3.14 * b50 + x208 <= 6.800000000000001;
e264:  3.14 * b51 + x209 <= 6.800000000000001;
e265:  3.14 * b52 + x210 <= 6.800000000000001;
e266:  3.14 * b53 + x211 <= 6.800000000000001;
e267:  3.14 * b54 + x212 <= 6.800000000000001;
e268:  3.14 * b56 + x208 <= 6.470000000000001;
e269:  3.14 * b57 + x209 <= 6.470000000000001;
e270:  3.14 * b58 + x210 <= 6.470000000000001;
e271:  3.14 * b59 + x211 <= 6.470000000000001;
e272:  3.14 * b60 + x212 <= 6.470000000000001;
e273:  x157 + x163 + x169 + x213 = 32;
e274:  x158 + x164 + x170 - x213 + x214 = 35;
e275:  x159 + x165 + x171 - x214 + x215 = 10;
e276:  x160 + x166 + x172 - x215 + x216 = 15;
e277:  x161 + x167 + x173 - x216 + x217 = 14;
e278:  x162 + x168 + x174 - x217 + x218 = 0;
e279:  x175 + x181 + x187 + x219 = 35;
e280:  x176 + x182 + x188 - x219 + x220 = 16;
e281:  x177 + x183 + x189 - x220 + x221 = 25;
e282:  x178 + x184 + x190 - x221 + x222 = 35;
e283:  x179 + x185 + x191 - x222 + x223 = 29;
e284:  x180 + x186 + x192 - x223 + x224 = 0;
e285:  x97 + x103 - x157 - x175 + x225 = 0;
e286:  x98 + x104 - x158 - x176 - x225 + x226 = 0;
e287:  x99 + x105 - x159 - x177 - x226 + x227 = 0;
e288:  x100 + x106 - x160 - x178 - x227 + x228 = 0;
e289:  x101 + x107 - x161 - x179 - x228 + x229 = 0;
e290:  x102 + x108 - x162 - x180 - x229 + x230 = 0;
e291:  x109 + x115 - x163 - x181 + x231 = 0;
e292:  x110 + x116 - x164 - x182 - x231 + x232 = 0;
e293:  x111 + x117 - x165 - x183 - x232 + x233 = 0;
e294:  x112 + x118 - x166 - x184 - x233 + x234 = 0;
e295:  x113 + x119 - x167 - x185 - x234 + x235 = 0;
e296:  x114 + x120 - x168 - x186 - x235 + x236 = 0;
e297:  x121 + x127 - x169 - x187 + x237 = 0;
e298:  x122 + x128 - x170 - x188 - x237 + x238 = 0;
e299:  x123 + x129 - x171 - x189 - x238 + x239 = 0;
e300:  x124 + x130 - x172 - x190 - x239 + x240 = 0;
e301:  x125 + x131 - x173 - x191 - x240 + x241 = 0;
e302:  x126 + x132 - x174 - x192 - x241 + x242 = 0;
e303:  -x97 - x109 - x121 + x133 + x139 + x243 = 0;
e304:  -x98 - x110 - x122 + x134 + x140 - x243 + x244 = 0;
e305:  -x99 - x111 - x123 + x135 + x141 - x244 + x245 = 0;
e306:  -x100 - x112 - x124 + x136 + x142 - x245 + x246 = 0;
e307:  -x101 - x113 - x125 + x137 + x143 - x246 + x247 = 0;
e308:  -x102 - x114 - x126 + x138 + x144 - x247 + x248 = 0;
e309:  -x103 - x115 - x127 + x145 + x151 + x249 = 0;
e310:  -x104 - x116 - x128 + x146 + x152 - x249 + x250 = 0;
e311:  -x105 - x117 - x129 + x147 + x153 - x250 + x251 = 0;
e312:  -x106 - x118 - x130 + x148 + x154 - x251 + x252 = 0;
e313:  -x107 - x119 - x131 + x149 + x155 - x252 + x253 = 0;
e314:  -x108 - x120 - x132 + x150 + x156 - x253 + x254 = 0;
e315:  -x133 - x145 + x255 + x256 = 0;
e316:  -x134 - x146 - x255 + x257 + x258 = 0;
e317:  -x135 - x147 - x257 + x259 + x260 = 0;
e318:  -x136 - x148 - x259 + x261 + x262 = 0;
e319:  -x137 - x149 - x261 + x263 + x264 = 0;
e320:  -x138 - x150 - x263 + x265 + x266 = 0;
e321:  -x139 - x151 + x267 + x268 = 0;
e322:  -x140 - x152 - x267 + x269 + x270 = 0;
e323:  -x141 - x153 - x269 + x271 + x272 = 0;
e324:  -x142 - x154 - x271 + x273 + x274 = 0;
e325:  -x143 - x155 - x273 + x275 + x276 = 0;
e326:  -x144 - x156 - x275 + x277 + x318 = 0;
e327:  x225 * x278 - 3.66 * x157 - 2.74 * x175 = 0;
e328:  x226 * x279 - x225 * x278 + x98 * x278 + x104 * x278 - 3.66 * x158 -
       2.74 * x176 = 0;
e329:  x227 * x280 - x226 * x279 + x99 * x279 + x105 * x279 - 3.66 * x159 -
       2.74 * x177 = 0;
e330:  x228 * x281 - x227 * x280 + x100 * x280 + x106 * x280 - 3.66 * x160 -
       2.74 * x178 = 0;
e331:  x229 * x282 - x228 * x281 + x101 * x281 + x107 * x281 - 3.66 * x161 -
       2.74 * x179 = 0;
e332:  x230 * x283 - x229 * x282 + x102 * x282 + x108 * x282 - 3.66 * x162 -
       2.74 * x180 = 0;
e333:  x231 * x284 - 3.66 * x163 - 2.74 * x181 = 0;
e334:  x232 * x285 - x231 * x284 + x110 * x284 + x116 * x284 - 3.66 * x164 -
       2.74 * x182 = 0;
e335:  x233 * x286 - x232 * x285 + x111 * x285 + x117 * x285 - 3.66 * x165 -
       2.74 * x183 = 0;
e336:  x234 * x287 - x233 * x286 + x112 * x286 + x118 * x286 - 3.66 * x166 -
       2.74 * x184 = 0;
e337:  x235 * x288 - x234 * x287 + x113 * x287 + x119 * x287 - 3.66 * x167 -
       2.74 * x185 = 0;
e338:  x236 * x289 - x235 * x288 + x114 * x288 + x120 * x288 - 3.66 * x168 -
       2.74 * x186 = 0;
e339:  x237 * x290 - 3.66 * x169 - 2.74 * x187 = 0;
e340:  x238 * x291 - x237 * x290 + x122 * x290 + x128 * x290 - 3.66 * x170 -
       2.74 * x188 = 0;
e341:  x239 * x292 - x238 * x291 + x123 * x291 + x129 * x291 - 3.66 * x171 -
       2.74 * x189 = 0;
e342:  x240 * x293 - x239 * x292 + x124 * x292 + x130 * x292 - 3.66 * x172 -
       2.74 * x190 = 0;
e343:  x241 * x294 - x240 * x293 + x125 * x293 + x131 * x293 - 3.66 * x173 -
       2.74 * x191 = 0;
e344:  x242 * x295 - x241 * x294 + x126 * x294 + x132 * x294 - 3.66 * x174 -
       2.74 * x192 = 0;
e345:  x243 * x193 = 0;
e346:  x244 * x194 - x98 * x278 - x110 * x284 - x122 * x290 - x243 * x193 +
       x134 * x193 + x140 * x193 = 0;
e347:  x245 * x195 - x99 * x279 - x111 * x285 - x123 * x291 - x244 * x194 +
       x135 * x194 + x141 * x194 = 0;
e348:  x246 * x196 - x100 * x280 - x112 * x286 - x124 * x292 - x245 * x195 +
       x136 * x195 + x142 * x195 = 0;
e349:  x247 * x197 - x101 * x281 - x113 * x287 - x125 * x293 - x246 * x196 +
       x137 * x196 + x143 * x196 = 0;
e350:  x248 * x296 - x102 * x282 - x114 * x288 - x126 * x294 - x247 * x197 +
       x138 * x197 + x144 * x197 = 0;
e351:  x249 * x198 = 0;
e352:  x250 * x199 - x104 * x278 - x116 * x284 - x128 * x290 - x249 * x198 +
       x146 * x198 + x152 * x198 = 0;
e353:  x251 * x200 - x105 * x279 - x117 * x285 - x129 * x291 - x250 * x199 +
       x147 * x199 + x153 * x199 = 0;
e354:  x252 * x201 - x106 * x280 - x118 * x286 - x130 * x292 - x251 * x200 +
       x148 * x200 + x154 * x200 = 0;
e355:  x253 * x202 - x107 * x281 - x119 * x287 - x131 * x293 - x252 * x201 +
       x149 * x201 + x155 * x201 = 0;
e356:  x254 * x297 - x108 * x282 - x120 * x288 - x132 * x294 - x253 * x202 +
       x150 * x202 + x156 * x202 = 0;
e357:  x225 * x298 - 3.14 * x157 - 2.93 * x175 = 0;
e358:  x226 * x299 - x225 * x298 + x98 * x298 + x104 * x298 - 3.14 * x158 -
       2.93 * x176 = 0;
e359:  x227 * x300 - x226 * x299 + x99 * x299 + x105 * x299 - 3.14 * x159 -
       2.93 * x177 = 0;
e360:  x228 * x301 - x227 * x300 + x100 * x300 + x106 * x300 - 3.14 * x160 -
       2.93 * x178 = 0;
e361:  x229 * x302 - x228 * x301 + x101 * x301 + x107 * x301 - 3.14 * x161 -
       2.93 * x179 = 0;
e362:  x230 * x303 - x229 * x302 + x102 * x302 + x108 * x302 - 3.14 * x162 -
       2.93 * x180 = 0;
e363:  x231 * x304 - 3.14 * x163 - 2.93 * x181 = 0;
e364:  x232 * x305 - x231 * x304 + x110 * x304 + x116 * x304 - 3.14 * x164 -
       2.93 * x182 = 0;
e365:  x233 * x306 - x232 * x305 + x111 * x305 + x117 * x305 - 3.14 * x165 -
       2.93 * x183 = 0;
e366:  x234 * x307 - x233 * x306 + x112 * x306 + x118 * x306 - 3.14 * x166 -
       2.93 * x184 = 0;
e367:  x235 * x308 - x234 * x307 + x113 * x307 + x119 * x307 - 3.14 * x167 -
       2.93 * x185 = 0;
e368:  x236 * x309 - x235 * x308 + x114 * x308 + x120 * x308 - 3.14 * x168 -
       2.93 * x186 = 0;
e369:  x237 * x310 - 3.14 * x169 - 2.93 * x187 = 0;
e370:  x238 * x311 - x237 * x310 + x122 * x310 + x128 * x310 - 3.14 * x170 -
       2.93 * x188 = 0;
e371:  x239 * x312 - x238 * x311 + x123 * x311 + x129 * x311 - 3.14 * x171 -
       2.93 * x189 = 0;
e372:  x240 * x313 - x239 * x312 + x124 * x312 + x130 * x312 - 3.14 * x172 -
       2.93 * x190 = 0;
e373:  x241 * x314 - x240 * x313 + x125 * x313 + x131 * x313 - 3.14 * x173 -
       2.93 * x191 = 0;
e374:  x242 * x315 - x241 * x314 + x126 * x314 + x132 * x314 - 3.14 * x174 -
       2.93 * x192 = 0;
e375:  x243 * x203 = 0;
e376:  x244 * x204 - x98 * x298 - x110 * x304 - x122 * x310 - x243 * x203 +
       x134 * x203 + x140 * x203 = 0;
e377:  x245 * x205 - x99 * x299 - x111 * x305 - x123 * x311 - x244 * x204 +
       x135 * x204 + x141 * x204 = 0;
e378:  x246 * x206 - x100 * x300 - x112 * x306 - x124 * x312 - x245 * x205 +
       x136 * x205 + x142 * x205 = 0;
e379:  x247 * x207 - x101 * x301 - x113 * x307 - x125 * x313 - x246 * x206 +
       x137 * x206 + x143 * x206 = 0;
e380:  x248 * x316 - x102 * x302 - x114 * x308 - x126 * x314 - x247 * x207 +
       x138 * x207 + x144 * x207 = 0;
e381:  x249 * x208 = 0;
e382:  x250 * x209 - x104 * x298 - x116 * x304 - x128 * x310 - x249 * x208 +
       x146 * x208 + x152 * x208 = 0;
e383:  x251 * x210 - x105 * x299 - x117 * x305 - x129 * x311 - x250 * x209 +
       x147 * x209 + x153 * x209 = 0;
e384:  x252 * x211 - x106 * x300 - x118 * x306 - x130 * x312 - x251 * x210 +
       x148 * x210 + x154 * x210 = 0;
e385:  x253 * x212 - x107 * x301 - x119 * x307 - x131 * x313 - x252 * x211 +
       x149 * x211 + x155 * x211 = 0;
e386:  x254 * x317 - x108 * x302 - x120 * x308 - x132 * x314 - x253 * x212 +
       x150 * x212 + x156 * x212 = 0;
e387:  b1 + b37 <= 1;
e388:  b2 + b38 <= 1;
e389:  b3 + b39 <= 1;
e390:  b4 + b40 <= 1;
e391:  b5 + b41 <= 1;
e392:  b6 + b42 <= 1;
e393:  b1 + b43 <= 1;
e394:  b2 + b44 <= 1;
e395:  b3 + b45 <= 1;
e396:  b4 + b46 <= 1;
e397:  b5 + b47 <= 1;
e398:  b6 + b48 <= 1;
e399:  b7 + b49 <= 1;
e400:  b8 + b50 <= 1;
e401:  b9 + b51 <= 1;
e402:  b10 + b52 <= 1;
e403:  b11 + b53 <= 1;
e404:  b12 + b54 <= 1;
e405:  b7 + b55 <= 1;
e406:  b8 + b56 <= 1;
e407:  b9 + b57 <= 1;
e408:  b10 + b58 <= 1;
e409:  b11 + b59 <= 1;
e410:  b12 + b60 <= 1;
e411:  b13 + b37 <= 1;
e412:  b14 + b38 <= 1;
e413:  b15 + b39 <= 1;
e414:  b16 + b40 <= 1;
e415:  b17 + b41 <= 1;
e416:  b18 + b42 <= 1;
e417:  b13 + b43 <= 1;
e418:  b14 + b44 <= 1;
e419:  b15 + b45 <= 1;
e420:  b16 + b46 <= 1;
e421:  b17 + b47 <= 1;
e422:  b18 + b48 <= 1;
e423:  b19 + b49 <= 1;
e424:  b20 + b50 <= 1;
e425:  b21 + b51 <= 1;
e426:  b22 + b52 <= 1;
e427:  b23 + b53 <= 1;
e428:  b24 + b54 <= 1;
e429:  b19 + b55 <= 1;
e430:  b20 + b56 <= 1;
e431:  b21 + b57 <= 1;
e432:  b22 + b58 <= 1;
e433:  b23 + b59 <= 1;
e434:  b24 + b60 <= 1;
e435:  b25 + b37 <= 1;
e436:  b26 + b38 <= 1;
e437:  b27 + b39 <= 1;
e438:  b28 + b40 <= 1;
e439:  b29 + b41 <= 1;
e440:  b30 + b42 <= 1;
e441:  b25 + b43 <= 1;
e442:  b26 + b44 <= 1;
e443:  b27 + b45 <= 1;
e444:  b28 + b46 <= 1;
e445:  b29 + b47 <= 1;
e446:  b30 + b48 <= 1;
e447:  b31 + b49 <= 1;
e448:  b32 + b50 <= 1;
e449:  b33 + b51 <= 1;
e450:  b34 + b52 <= 1;
e451:  b35 + b53 <= 1;
e452:  b36 + b54 <= 1;
e453:  b31 + b55 <= 1;
e454:  b32 + b56 <= 1;
e455:  b33 + b57 <= 1;
e456:  b34 + b58 <= 1;
e457:  b35 + b59 <= 1;
e458:  b36 + b60 <= 1;
e459:  b1 + b61 <= 1;
e460:  b2 + b62 <= 1;
e461:  b3 + b63 <= 1;
e462:  b4 + b64 <= 1;
e463:  b5 + b65 <= 1;
e464:  b6 + b66 <= 1;
e465:  b7 + b61 <= 1;
e466:  b8 + b62 <= 1;
e467:  b9 + b63 <= 1;
e468:  b10 + b64 <= 1;
e469:  b11 + b65 <= 1;
e470:  b12 + b66 <= 1;
e471:  b13 + b67 <= 1;
e472:  b14 + b68 <= 1;
e473:  b15 + b69 <= 1;
e474:  b16 + b70 <= 1;
e475:  b17 + b71 <= 1;
e476:  b18 + b72 <= 1;
e477:  b19 + b67 <= 1;
e478:  b20 + b68 <= 1;
e479:  b21 + b69 <= 1;
e480:  b22 + b70 <= 1;
e481:  b23 + b71 <= 1;
e482:  b24 + b72 <= 1;
e483:  b25 + b73 <= 1;
e484:  b26 + b74 <= 1;
e485:  b27 + b75 <= 1;
e486:  b28 + b76 <= 1;
e487:  b29 + b77 <= 1;
e488:  b30 + b78 <= 1;
e489:  b31 + b73 <= 1;
e490:  b32 + b74 <= 1;
e491:  b33 + b75 <= 1;
e492:  b34 + b76 <= 1;
e493:  b35 + b77 <= 1;
e494:  b36 + b78 <= 1;
e495:  b1 + b79 <= 1;
e496:  b2 + b80 <= 1;
e497:  b3 + b81 <= 1;
e498:  b4 + b82 <= 1;
e499:  b5 + b83 <= 1;
e500:  b6 + b84 <= 1;
e501:  b7 + b79 <= 1;
e502:  b8 + b80 <= 1;
e503:  b9 + b81 <= 1;
e504:  b10 + b82 <= 1;
e505:  b11 + b83 <= 1;
e506:  b12 + b84 <= 1;
e507:  b13 + b85 <= 1;
e508:  b14 + b86 <= 1;
e509:  b15 + b87 <= 1;
e510:  b16 + b88 <= 1;
e511:  b17 + b89 <= 1;
e512:  b18 + b90 <= 1;
e513:  b19 + b85 <= 1;
e514:  b20 + b86 <= 1;
e515:  b21 + b87 <= 1;
e516:  b22 + b88 <= 1;
e517:  b23 + b89 <= 1;
e518:  b24 + b90 <= 1;
e519:  b25 + b91 <= 1;
e520:  b26 + b92 <= 1;
e521:  b27 + b93 <= 1;
e522:  b28 + b94 <= 1;
e523:  b29 + b95 <= 1;
e524:  b30 + b96 <= 1;
e525:  b31 + b91 <= 1;
e526:  b32 + b92 <= 1;
e527:  b33 + b93 <= 1;
e528:  b34 + b94 <= 1;
e529:  b35 + b95 <= 1;
e530:  b36 + b96 <= 1;