#  MIQCP written by GAMS Convert at 02/15/18 15:45:54
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#       2241        1        0     2240        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        241        1      240        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       6961     6721      240        0
# 
#  Reformulation has removed 1 variable and 1 equation


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 b97 binary >= 0, <= 1;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var b102 binary >= 0, <= 1;
var b103 binary >= 0, <= 1;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var b106 binary >= 0, <= 1;
var b107 binary >= 0, <= 1;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var b112 binary >= 0, <= 1;
var b113 binary >= 0, <= 1;
var b114 binary >= 0, <= 1;
var b115 binary >= 0, <= 1;
var b116 binary >= 0, <= 1;
var b117 binary >= 0, <= 1;
var b118 binary >= 0, <= 1;
var b119 binary >= 0, <= 1;
var b120 binary >= 0, <= 1;
var b121 binary >= 0, <= 1;
var b122 binary >= 0, <= 1;
var b123 binary >= 0, <= 1;
var b124 binary >= 0, <= 1;
var b125 binary >= 0, <= 1;
var b126 binary >= 0, <= 1;
var b127 binary >= 0, <= 1;
var b128 binary >= 0, <= 1;
var b129 binary >= 0, <= 1;
var b130 binary >= 0, <= 1;
var b131 binary >= 0, <= 1;
var b132 binary >= 0, <= 1;
var b133 binary >= 0, <= 1;
var b134 binary >= 0, <= 1;
var b135 binary >= 0, <= 1;
var b136 binary >= 0, <= 1;
var b137 binary >= 0, <= 1;
var b138 binary >= 0, <= 1;
var b139 binary >= 0, <= 1;
var b140 binary >= 0, <= 1;
var b141 binary >= 0, <= 1;
var b142 binary >= 0, <= 1;
var b143 binary >= 0, <= 1;
var b144 binary >= 0, <= 1;
var b145 binary >= 0, <= 1;
var b146 binary >= 0, <= 1;
var b147 binary >= 0, <= 1;
var b148 binary >= 0, <= 1;
var b149 binary >= 0, <= 1;
var b150 binary >= 0, <= 1;
var b151 binary >= 0, <= 1;
var b152 binary >= 0, <= 1;
var b153 binary >= 0, <= 1;
var b154 binary >= 0, <= 1;
var b155 binary >= 0, <= 1;
var b156 binary >= 0, <= 1;
var b157 binary >= 0, <= 1;
var b158 binary >= 0, <= 1;
var b159 binary >= 0, <= 1;
var b160 binary >= 0, <= 1;
var b161 binary >= 0, <= 1;
var b162 binary >= 0, <= 1;
var b163 binary >= 0, <= 1;
var b164 binary >= 0, <= 1;
var b165 binary >= 0, <= 1;
var b166 binary >= 0, <= 1;
var b167 binary >= 0, <= 1;
var b168 binary >= 0, <= 1;
var b169 binary >= 0, <= 1;
var b170 binary >= 0, <= 1;
var b171 binary >= 0, <= 1;
var b172 binary >= 0, <= 1;
var b173 binary >= 0, <= 1;
var b174 binary >= 0, <= 1;
var b175 binary >= 0, <= 1;
var b176 binary >= 0, <= 1;
var b177 binary >= 0, <= 1;
var b178 binary >= 0, <= 1;
var b179 binary >= 0, <= 1;
var b180 binary >= 0, <= 1;
var b181 binary >= 0, <= 1;
var b182 binary >= 0, <= 1;
var b183 binary >= 0, <= 1;
var b184 binary >= 0, <= 1;
var b185 binary >= 0, <= 1;
var b186 binary >= 0, <= 1;
var b187 binary >= 0, <= 1;
var b188 binary >= 0, <= 1;
var b189 binary >= 0, <= 1;
var b190 binary >= 0, <= 1;
var b191 binary >= 0, <= 1;
var b192 binary >= 0, <= 1;
var b193 binary >= 0, <= 1;
var b194 binary >= 0, <= 1;
var b195 binary >= 0, <= 1;
var b196 binary >= 0, <= 1;
var b197 binary >= 0, <= 1;
var b198 binary >= 0, <= 1;
var b199 binary >= 0, <= 1;
var b200 binary >= 0, <= 1;
var b201 binary >= 0, <= 1;
var b202 binary >= 0, <= 1;
var b203 binary >= 0, <= 1;
var b204 binary >= 0, <= 1;
var b205 binary >= 0, <= 1;
var b206 binary >= 0, <= 1;
var b207 binary >= 0, <= 1;
var b208 binary >= 0, <= 1;
var b209 binary >= 0, <= 1;
var b210 binary >= 0, <= 1;
var b211 binary >= 0, <= 1;
var b212 binary >= 0, <= 1;
var b213 binary >= 0, <= 1;
var b214 binary >= 0, <= 1;
var b215 binary >= 0, <= 1;
var b216 binary >= 0, <= 1;
var b217 binary >= 0, <= 1;
var b218 binary >= 0, <= 1;
var b219 binary >= 0, <= 1;
var b220 binary >= 0, <= 1;
var b221 binary >= 0, <= 1;
var b222 binary >= 0, <= 1;
var b223 binary >= 0, <= 1;
var b224 binary >= 0, <= 1;
var b225 binary >= 0, <= 1;
var b226 binary >= 0, <= 1;
var b227 binary >= 0, <= 1;
var b228 binary >= 0, <= 1;
var b229 binary >= 0, <= 1;
var b230 binary >= 0, <= 1;
var b231 binary >= 0, <= 1;
var b232 binary >= 0, <= 1;
var b233 binary >= 0, <= 1;
var b234 binary >= 0, <= 1;
var b235 binary >= 0, <= 1;
var b236 binary >= 0, <= 1;
var b237 binary >= 0, <= 1;
var b238 binary >= 0, <= 1;
var b239 binary >= 0, <= 1;
var b240 binary >= 0, <= 1;
var b241 binary >= 0, <= 1;

minimize obj: 4*b2 - 2*b2*b122 - 3*b122 - 2*b2*b123 - 7*b123 - 2*b2*b127 - b127
     - 2*b2*b128 + b128 - 2*b2*b130 + 3*b130 - 2*b2*b131 + 8*b131 - 2*b2*b135
     + 2*b135 - 2*b2*b136 + 10*b136 + 2*b2*b156 + 4*b156 + 2*b2*b161 + 17*b161
     + 2*b2*b163 + 9*b163 + 2*b2*b164 + 17*b164 - 2*b2*b170 + b170 - 2*b2*b171
     + 7*b171 - 2*b2*b174 + 6*b174 + 2*b2*b197 + 4*b197 + 2*b2*b199 + 4*b199 + 
    2*b2*b200 + 8*b200 + 2*b2*b211 + b211 - 2*b2*b221 + 2*b221 - 2*b3*b139 + 6*
    b3 - 3*b139 - 2*b3*b140 - 8*b140 - 2*b3*b176 - 4*b176 - 2*b3*b214 - 26*b214
     - 2*b3*b223 - 15*b223 - 2*b3*b226 - 30*b226 + 2*b4*b166 - 4*b4 + 5*b166 + 
    2*b4*b202 - 15*b202 + 2*b4*b214 + 2*b4*b226 + 2*b5*b159 - 8*b5 + 11*b159 + 
    2*b5*b163 + 2*b5*b164 + 2*b5*b167 - b167 - 2*b5*b197 + 2*b5*b199 + 2*b5*
    b203 - 10*b203 + 2*b5*b211 + 2*b5*b212 + 5*b212 + 2*b5*b215 - 13*b215 - 2*
    b5*b221 + 2*b5*b227 - 15*b227 - 2*b6*b202 + 2*b6 - 2*b6*b223 - 2*b6*b226 + 
    2*b6*b230 - 4*b230 + 2*b7*b157 - 3*b7 + 7*b157 + 2*b7*b158 + 2*b158 + 2*b7*
    b159 + 2*b7*b161 + 2*b7*b164 + 2*b7*b165 + 15*b165 - 2*b7*b179 + b179 - 2*
    b7*b181 + 4*b181 - 2*b7*b184 + 8*b184 - 2*b7*b188 + 15*b188 - 2*b7*b190 + 
    23*b190 - 2*b7*b193 + 26*b193 + 2*b7*b201 - 7*b201 + 2*b7*b213 - 10*b213 + 
    2*b7*b225 - 21*b225 - 2*b8*b186 + 6*b8 - 9*b186 - 2*b8*b195 + 3*b195 - 2*b8
    *b202 - 2*b8*b214 - 2*b8*b226 - 2*b8*b228 - 20*b228 + 2*b9*b160 - 9*b9 + 5*
    b160 + 2*b9*b163 + 2*b9*b164 + 2*b9*b165 + 2*b9*b196 - 4*b196 + 2*b9*b199
     + 2*b9*b200 + 2*b9*b201 - 2*b9*b204 + 9*b204 - 2*b9*b206 + 11*b206 + 2*b9*
    b211 + 2*b9*b212 + 2*b9*b213 - 2*b9*b221 + 2*b9*b225 - 2*b10*b208 + 4*b10
     - 6*b208 - 2*b10*b223 - 2*b10*b226 - 2*b10*b228 - 2*b11*b123 + 4*b11 - 2*
    b11*b128 - 2*b11*b131 - 2*b11*b136 - 2*b12*b140 + b12 + 2*b13*b162 - 10*b13
     + 9*b162 + 2*b13*b165 + 2*b13*b166 + 2*b13*b198 - 7*b198 + 2*b13*b201 + 2*
    b13*b202 + 2*b13*b210 - 12*b210 + 2*b13*b213 + 2*b13*b214 - 2*b13*b217 + 19
    *b217 + 2*b13*b225 + 2*b13*b226 - 2*b14*b219 + 2*b14 - 9*b219 - 2*b14*b228
     + 2*b15*b157 - b15 + 2*b15*b161 + 2*b15*b162 - 2*b15*b179 - 2*b15*b181 - 2
    *b15*b184 + 2*b15*b197 + 2*b15*b198 + 2*b15*b210 - 2*b15*b212 - 2*b15*b217
     - 2*b16*b186 + 3*b16 - 2*b16*b214 - 2*b16*b219 - 2*b17*b143 - b17 + b143
     - 2*b17*b147 + 7*b147 - 2*b17*b149 + 8*b149 - 2*b17*b152 + 10*b152 + 2*b17
    *b158 + 2*b17*b159 + 2*b17*b165 + 2*b17*b166 - 2*b17*b188 - 2*b17*b190 - 2*
    b17*b193 - 2*b17*b197 - 2*b17*b200 + 2*b17*b201 + 2*b17*b202 + 2*b17*b213
     + 2*b17*b214 + 2*b17*b225 + 2*b17*b226 - 2*b18*b154 + 4*b18 + 4*b154 - 2*
    b18*b195 - 2*b18*b202 - 2*b18*b228 - 2*b19*b159 - 8*b19 + 2*b19*b162 - 2*
    b19*b164 + 2*b19*b165 + 2*b19*b167 + 2*b19*b197 + 2*b19*b198 + 2*b19*b201
     + 2*b19*b203 + 2*b19*b210 - 2*b19*b212 + 2*b19*b213 + 2*b19*b215 - 2*b19*
    b217 + 2*b19*b225 + 2*b19*b227 - 2*b20*b166 + 3*b20 - 2*b20*b214 - 2*b20*
    b219 - 2*b20*b228 + 2*b20*b230 + 2*b21*b156 - 10*b21 + 2*b21*b158 + 2*b21*
    b160 + 2*b21*b161 + 2*b21*b162 + 2*b21*b164 + 2*b21*b165 + 2*b21*b166 - 2*
    b21*b170 - 2*b21*b171 - 2*b21*b174 - 2*b21*b188 - 2*b21*b190 - 2*b21*b193
     + 2*b21*b196 + 2*b21*b197 + 2*b21*b198 + 2*b21*b200 + 2*b21*b201 + 2*b21*
    b202 - 2*b21*b204 - 2*b21*b206 + 2*b21*b210 + 2*b21*b213 + 2*b21*b214 - 2*
    b21*b217 + 2*b21*b225 + 2*b21*b226 - 2*b22*b176 + 7*b22 - 2*b22*b195 - 2*
    b22*b208 - 2*b22*b214 - 2*b22*b219 - 2*b22*b226 - 2*b22*b228 - 2*b23*b123
     + 3*b23 - 2*b23*b128 - 2*b23*b131 - 2*b23*b136 + 2*b23*b157 + 2*b23*b158
     + 2*b23*b160 + 2*b23*b161 + 2*b23*b166 - 2*b23*b179 - 2*b23*b181 - 2*b23*
    b184 - 2*b23*b188 - 2*b23*b190 - 2*b23*b193 + 2*b23*b196 + 2*b23*b197 + 2*
    b23*b202 - 2*b23*b204 - 2*b23*b206 - 2*b23*b212 + 2*b23*b214 + 2*b23*b226
     - 2*b24*b140 + 5*b24 - 2*b24*b186 - 2*b24*b195 - 2*b24*b208 - 2*b24*b214
     - 2*b25*b122 - b25 - 2*b25*b123 - 2*b25*b127 - 2*b25*b128 - 2*b25*b130 - 2
    *b25*b131 - 2*b25*b135 - 2*b25*b136 + 2*b25*b156 - 2*b25*b161 + 2*b25*b162
     + 2*b25*b163 + 2*b25*b165 + 2*b25*b166 - 2*b25*b170 - 2*b25*b171 - 2*b25*
    b174 - 2*b25*b197 + 2*b25*b198 + 2*b25*b199 + 2*b25*b201 + 2*b25*b202 + 2*
    b25*b210 + 2*b25*b211 + 2*b25*b212 + 2*b25*b213 + 2*b25*b214 - 2*b25*b217
     - 2*b25*b221 + 2*b25*b225 + 2*b25*b226 - 2*b26*b139 + 9*b26 - 2*b26*b140
     - 2*b26*b166 - 2*b26*b176 - 2*b26*b202 - 2*b26*b219 - 2*b26*b223 - 2*b26*
    b226 - 2*b26*b228 + 2*b27*b158 - 2*b27 - 2*b27*b161 - 2*b27*b164 + 2*b27*
    b166 + 2*b27*b167 - 2*b27*b188 - 2*b27*b190 - 2*b27*b193 - 2*b27*b197 - 2*
    b27*b200 + 2*b27*b202 + 2*b27*b203 + 2*b27*b214 + 2*b27*b215 + 2*b27*b226
     + 2*b27*b227 - 2*b28*b166 + 2*b28 - 2*b28*b195 - 2*b28*b202 + 2*b28*b230
     - 2*b29*b143 + b29 - 2*b29*b147 - 2*b29*b149 - 2*b29*b152 + 2*b29*b158 - 2
    *b29*b159 - 2*b29*b161 - 2*b29*b164 + 2*b29*b166 + 2*b29*b167 - 2*b29*b188
     - 2*b29*b190 - 2*b29*b193 + 2*b29*b202 + 2*b29*b203 + 2*b29*b214 + 2*b29*
    b215 + 2*b29*b226 + 2*b29*b227 - 2*b30*b154 + 2*b30 - 2*b30*b166 - 2*b30*
    b195 + 2*b30*b230 + 2*b31*b127 - 14*b31 + 2*b31*b128 + 2*b31*b134 + 4*b134
     + 2*b31*b135 + 2*b31*b136 + 2*b31*b141 - 4*b141 + 2*b31*b142 - 6*b142 + 2*
    b31*b170 + 2*b31*b173 + 2*b173 + 2*b31*b174 + 2*b31*b177 - 4*b177 - 2*b31*
    b197 - 2*b31*b199 - 2*b31*b200 + 2*b31*b211 + 2*b31*b212 + 2*b31*b215 + 2*
    b31*b224 - 9*b224 + 2*b31*b227 + 2*b31*b231 + 2*b32*b124 - 12*b32 + b124 + 
    2*b32*b125 - 4*b125 + 2*b32*b126 - 7*b126 + 2*b32*b127 + 2*b32*b128 + 2*b32
    *b130 + 2*b32*b131 + 2*b32*b135 + 2*b32*b136 + 2*b32*b137 - b137 + 2*b32*
    b138 + b138 + 2*b32*b168 + b168 + 2*b32*b169 - 5*b169 + 2*b32*b170 + 2*b32*
    b171 + 2*b32*b174 + 2*b32*b175 + 3*b175 - 2*b32*b181 - 2*b32*b183 + 4*b183
     - 2*b32*b184 - 2*b32*b190 - 2*b32*b192 + 14*b192 - 2*b32*b193 - 2*b32*b197
     - 2*b32*b199 - 2*b32*b200 - 2*b32*b211 + 2*b32*b213 + 2*b32*b221 + 2*b32*
    b222 - 12*b222 + 2*b32*b225 + 2*b32*b232 + 2*b33*b129 - 14*b33 + b129 + 2*
    b33*b134 + 2*b33*b135 + 2*b33*b136 + 2*b33*b137 + 2*b33*b138 + 2*b33*b173
     + 2*b33*b174 + 2*b33*b175 - 2*b33*b204 - 2*b33*b205 + 5*b205 - 2*b33*b206
     + 2*b33*b211 + 2*b33*b212 + 2*b33*b213 + 2*b33*b222 + 2*b33*b225 + 2*b33*
    b231 + 2*b33*b233 + 2*b33*b234 - 2*b34*b131 + 3*b34 - 2*b34*b134 - 2*b34*
    b136 + 2*b34*b235 - 2*b34*b236 + 2*b35*b132 - 14*b35 - b132 + 2*b35*b133 - 
    3*b133 + 2*b35*b137 + 2*b35*b138 + 2*b35*b139 + 2*b35*b140 + 2*b35*b172 + 
    b172 + 2*b35*b175 + 2*b35*b176 + 2*b35*b210 + 2*b35*b213 + 2*b35*b214 - 2*
    b35*b216 + 11*b216 - 2*b35*b217 + 2*b35*b222 + 2*b35*b223 + 2*b35*b225 + 2*
    b35*b226 + 2*b36*b124 - 3*b36 + 2*b36*b130 + 2*b36*b131 + 2*b36*b132 + 2*
    b36*b133 + 2*b36*b168 + 2*b36*b171 + 2*b36*b172 - 2*b36*b181 - 2*b36*b183
     - 2*b36*b184 + 2*b36*b210 - 2*b36*b211 - 2*b36*b212 - 2*b36*b216 - 2*b36*
    b217 + 2*b36*b232 + 2*b37*b120 - 10*b37 - 2*b120 + 2*b37*b121 - 4*b121 + 2*
    b37*b125 + 2*b37*b126 + 2*b37*b127 + 2*b37*b128 + 2*b37*b137 + 2*b37*b138
     + 2*b37*b139 + 2*b37*b140 - 2*b37*b144 + 2*b144 - 2*b37*b149 - 2*b37*b151
     + 6*b151 - 2*b37*b152 + 2*b37*b169 + 2*b37*b170 + 2*b37*b175 + 2*b37*b176
     - 2*b37*b190 - 2*b37*b192 - 2*b37*b193 - 2*b37*b197 - 2*b37*b199 - 2*b37*
    b200 + 2*b37*b213 + 2*b37*b214 + 2*b37*b222 + 2*b37*b223 + 2*b37*b225 + 2*
    b37*b226 + 2*b38*b122 - 13*b38 + 2*b38*b123 + 2*b38*b130 + 2*b38*b131 + 2*
    b38*b132 + 2*b38*b133 + 2*b38*b137 + 2*b38*b138 + 2*b38*b141 + 2*b38*b142
     - 2*b38*b156 - 2*b38*b161 - 2*b38*b163 - 2*b38*b164 + 2*b38*b171 + 2*b38*
    b172 + 2*b38*b175 + 2*b38*b177 + 2*b38*b210 - 2*b38*b211 - 2*b38*b212 + 2*
    b38*b213 + 2*b38*b215 - 2*b38*b216 - 2*b38*b217 + 2*b38*b222 + 2*b38*b224
     + 2*b38*b225 + 2*b38*b227 + 2*b39*b125 - 19*b39 + 2*b39*b126 + 2*b39*b129
     + 2*b39*b130 + 2*b39*b131 + 2*b39*b132 + 2*b39*b133 + 2*b39*b135 + 2*b39*
    b136 + 2*b39*b137 + 2*b39*b138 + 2*b39*b139 + 2*b39*b140 + 2*b39*b169 + 2*
    b39*b172 - 2*b39*b173 + 2*b39*b175 + 2*b39*b176 - 2*b39*b190 - 2*b39*b192
     - 2*b39*b193 - 2*b39*b204 - 2*b39*b205 - 2*b39*b206 + 2*b39*b210 - 2*b39*
    b211 + 2*b39*b213 + 2*b39*b214 - 2*b39*b216 - 2*b39*b217 + 2*b39*b221 + 2*
    b39*b222 + 2*b39*b223 + 2*b39*b225 + 2*b39*b226 + 2*b39*b233 + 2*b39*b234
     + 2*b39*b236 + 2*b39*b237 + 2*b40*b124 - 4*b40 + 2*b40*b125 + 2*b40*b126
     + 2*b40*b129 + 2*b40*b130 - 2*b40*b134 - 2*b40*b136 + 2*b40*b139 + 2*b40*
    b140 + 2*b40*b168 + 2*b40*b169 + 2*b40*b171 + 2*b40*b176 - 2*b40*b181 - 2*
    b40*b183 - 2*b40*b184 - 2*b40*b190 - 2*b40*b192 - 2*b40*b193 - 2*b40*b204
     - 2*b40*b205 - 2*b40*b206 - 2*b40*b211 - 2*b40*b212 + 2*b40*b214 + 2*b40*
    b223 + 2*b40*b226 + 2*b40*b232 + 2*b40*b233 + 2*b40*b234 + 2*b40*b235 - 2*
    b40*b236 + 2*b41*b122 - 11*b41 + 2*b41*b123 + 2*b41*b127 + 2*b41*b128 - 2*
    b41*b130 - 2*b41*b131 + 2*b41*b132 + 2*b41*b133 + 2*b41*b137 + 2*b41*b138
     + 2*b41*b139 + 2*b41*b140 - 2*b41*b156 - 2*b41*b161 - 2*b41*b163 - 2*b41*
    b164 + 2*b41*b170 - 2*b41*b171 + 2*b41*b172 + 2*b41*b175 + 2*b41*b176 - 2*
    b41*b197 - 2*b41*b199 - 2*b41*b200 + 2*b41*b210 + 2*b41*b211 + 2*b41*b212
     + 2*b41*b213 + 2*b41*b214 - 2*b41*b216 - 2*b41*b217 + 2*b41*b222 + 2*b41*
    b223 + 2*b41*b225 + 2*b41*b226 + 2*b42*b122 - 10*b42 + 2*b42*b123 + 2*b42*
    b125 + 2*b42*b126 + 2*b42*b127 + 2*b42*b128 + 2*b42*b139 + 2*b42*b140 + 2*
    b42*b141 + 2*b42*b142 - 2*b42*b156 - 2*b42*b161 - 2*b42*b163 - 2*b42*b164
     + 2*b42*b169 + 2*b42*b170 + 2*b42*b176 + 2*b42*b177 - 2*b42*b190 - 2*b42*
    b192 - 2*b42*b193 - 2*b42*b197 - 2*b42*b199 - 2*b42*b200 + 2*b42*b214 + 2*
    b42*b215 + 2*b42*b223 + 2*b42*b224 + 2*b42*b226 + 2*b42*b227 + 2*b43*b120
     - 8*b43 + 2*b43*b121 + 2*b43*b122 + 2*b43*b123 + 2*b43*b125 + 2*b43*b126
     + 2*b43*b139 + 2*b43*b140 + 2*b43*b141 + 2*b43*b142 - 2*b43*b144 - 2*b43*
    b149 - 2*b43*b151 - 2*b43*b152 - 2*b43*b156 - 2*b43*b161 - 2*b43*b163 - 2*
    b43*b164 + 2*b43*b169 + 2*b43*b176 + 2*b43*b177 - 2*b43*b190 - 2*b43*b192
     - 2*b43*b193 + 2*b43*b214 + 2*b43*b215 + 2*b43*b223 + 2*b43*b224 + 2*b43*
    b226 + 2*b43*b227 - 2*b44*b179 + 10*b44 - 2*b44*b183 - 2*b44*b184 - 2*b44*
    b187 - 4*b187 - 2*b44*b188 - 2*b44*b192 - 2*b44*b193 + 2*b44*b197 - 2*b44*
    b199 + 2*b44*b201 - 2*b44*b203 - 2*b44*b211 - 2*b44*b212 - 2*b44*b215 + 2*
    b44*b221 + 2*b44*b222 + 2*b44*b225 - 2*b44*b227 - 2*b44*b229 - 9*b229 - 2*
    b44*b238 - 2*b45*b128 + 4*b45 - 2*b45*b134 - 2*b45*b136 - 2*b45*b142 + 2*
    b46*b198 - 2*b46 + 2*b46*b201 + 2*b46*b202 - 2*b46*b216 - 2*b46*b217 - 2*
    b46*b220 - 5*b220 + 2*b46*b222 + 2*b46*b223 + 2*b46*b225 + 2*b46*b226 - 2*
    b46*b229 - 2*b46*b230 - 2*b47*b179 + 8*b47 - 2*b47*b183 - 2*b47*b184 - 2*
    b47*b187 + 2*b47*b197 + 2*b47*b198 - 2*b47*b211 - 2*b47*b212 - 2*b47*b215
     - 2*b47*b216 - 2*b47*b217 - 2*b47*b220 - 2*b48*b147 + 7*b48 - 2*b48*b151
     - 2*b48*b152 - 2*b48*b155 + b155 - 2*b48*b188 - 2*b48*b192 - 2*b48*b193 - 
    2*b48*b199 - 2*b48*b200 + 2*b48*b201 + 2*b48*b202 - 2*b48*b203 + 2*b48*b222
     + 2*b48*b223 + 2*b48*b225 + 2*b48*b226 - 2*b48*b229 - 2*b48*b230 - 2*b48*
    b238 - 2*b49*b159 + 3*b49 - 2*b49*b163 - 2*b49*b164 - 2*b49*b167 + 2*b49*
    b197 + 2*b49*b198 + 2*b49*b201 + 2*b49*b203 - 2*b49*b211 - 2*b49*b212 - 2*
    b49*b215 - 2*b49*b216 - 2*b49*b217 - 2*b49*b220 + 2*b49*b222 + 2*b49*b224
     + 2*b49*b225 + 2*b49*b227 - 2*b49*b229 - 2*b50*b170 + 9*b50 - 2*b50*b173
     - 2*b50*b174 - 2*b50*b177 - 2*b50*b188 - 2*b50*b192 - 2*b50*b193 + 2*b50*
    b196 + 2*b50*b197 + 2*b50*b198 + 2*b50*b200 + 2*b50*b201 + 2*b50*b202 - 2*
    b50*b205 - 2*b50*b206 - 2*b50*b209 - 2*b209 - 2*b50*b211 - 2*b50*b212 - 2*
    b50*b215 - 2*b50*b216 - 2*b50*b217 - 2*b50*b220 + 2*b50*b221 + 2*b50*b222
     + 2*b50*b223 + 2*b50*b225 + 2*b50*b226 - 2*b50*b227 - 2*b50*b229 - 2*b50*
    b230 - 2*b50*b238 - 2*b51*b128 + 14*b51 - 2*b51*b134 - 2*b51*b136 - 2*b51*
    b142 - 2*b51*b179 - 2*b51*b183 - 2*b51*b184 - 2*b51*b187 - 2*b51*b188 - 2*
    b51*b192 - 2*b51*b193 + 2*b51*b196 + 2*b51*b197 + 2*b51*b202 - 2*b51*b205
     - 2*b51*b206 - 2*b51*b209 - 2*b51*b211 - 2*b51*b212 - 2*b51*b215 + 2*b51*
    b223 + 2*b51*b226 - 2*b51*b230 - 2*b51*b238 - 2*b52*b127 + 17*b52 - 2*b52*
    b128 - 2*b52*b134 - 2*b52*b135 - 2*b52*b136 - 2*b52*b141 - 2*b52*b142 - 2*
    b52*b159 - 2*b52*b163 - 2*b52*b164 - 2*b52*b167 - 2*b52*b170 - 2*b52*b173
     - 2*b52*b174 - 2*b52*b177 + 2*b52*b198 + 2*b52*b201 + 2*b52*b202 - 2*b52*
    b203 - 2*b52*b216 - 2*b52*b217 - 2*b52*b220 + 2*b52*b222 + 2*b52*b223 - 2*
    b52*b224 + 2*b52*b225 + 2*b52*b226 - 2*b52*b227 - 2*b52*b229 - 2*b52*b230
     - 2*b52*b231 - 2*b53*b159 + 6*b53 - 2*b53*b163 - 2*b53*b164 - 2*b53*b167
     - 2*b53*b188 - 2*b53*b192 - 2*b53*b193 - 2*b53*b199 - 2*b53*b200 + 2*b53*
    b202 + 2*b53*b223 + 2*b53*b224 + 2*b53*b226 + 2*b53*b227 - 2*b53*b230 - 2*
    b53*b238 - 2*b54*b147 + 7*b54 - 2*b54*b151 - 2*b54*b152 - 2*b54*b155 - 2*
    b54*b159 - 2*b54*b163 - 2*b54*b164 - 2*b54*b167 - 2*b54*b188 - 2*b54*b192
     - 2*b54*b193 + 2*b54*b202 + 2*b54*b203 + 2*b54*b223 + 2*b54*b224 + 2*b54*
    b226 + 2*b54*b227 - 2*b54*b230 - 2*b54*b238 + 2*b55*b180 - 10*b55 - 2*b180
     + 2*b55*b183 + 2*b55*b184 + 2*b55*b185 - 2*b185 + 2*b55*b189 + 4*b189 + 2*
    b55*b192 + 2*b55*b193 + 2*b55*b194 + 17*b194 + 2*b55*b196 + 2*b55*b199 + 2*
    b55*b200 + 2*b55*b201 - 2*b55*b204 - 2*b55*b206 - 2*b55*b207 + 5*b207 + 2*
    b55*b211 + 2*b55*b212 + 2*b55*b213 - 2*b55*b221 - 2*b55*b222 - 2*b56*b124
     + 6*b56 - 2*b56*b126 - 2*b56*b128 - 2*b56*b131 - 2*b56*b136 - 2*b56*b138
     + 2*b57*b182 - 13*b57 - 4*b182 + 2*b57*b185 + 2*b57*b186 + 2*b57*b191 + 9*
    b191 + 2*b57*b194 + 2*b57*b195 + 2*b57*b198 + 2*b57*b201 + 2*b57*b202 + 2*
    b57*b210 + 2*b57*b213 + 2*b57*b214 - 2*b57*b217 - 2*b57*b218 + 9*b218 + 2*
    b57*b225 + 2*b57*b226 + 2*b57*b228 - 2*b58*b178 + 2*b58 - 8*b178 - 2*b58*
    b179 + 2*b58*b182 - 2*b58*b184 - 2*b58*b185 + 2*b58*b190 + 2*b58*b191 + 2*
    b58*b197 + 2*b58*b198 + 2*b58*b210 - 2*b58*b212 - 2*b58*b213 - 2*b58*b217
     - 2*b58*b218 - 2*b59*b145 - b59 + 4*b145 - 2*b59*b146 + 2*b146 - 2*b59*
    b147 - 2*b59*b149 - 2*b59*b152 - 2*b59*b153 + 7*b153 + 2*b59*b178 + 2*b59*
    b179 + 2*b59*b185 + 2*b59*b186 - 2*b59*b190 - 2*b59*b193 + 2*b59*b195 - 2*
    b59*b197 - 2*b59*b200 + 2*b59*b202 + 2*b59*b213 + 2*b59*b214 + 2*b59*b225
     + 2*b59*b226 + 2*b59*b228 - 2*b60*b157 - 8*b60 - 2*b60*b158 - 2*b60*b159
     - 2*b60*b161 - 2*b60*b164 - 2*b60*b165 + 2*b60*b181 + 2*b60*b182 + 2*b60*
    b185 + 2*b60*b187 + 2*b60*b190 + 2*b60*b191 + 2*b60*b194 + 2*b60*b197 + 2*
    b60*b198 + 2*b60*b201 + 2*b60*b203 + 2*b60*b210 - 2*b60*b212 + 2*b60*b215
     - 2*b60*b217 - 2*b60*b218 + 2*b60*b225 + 2*b60*b227 + 2*b60*b229 + 2*b60*
    b238 - 2*b61*b168 - 8*b61 - 2*b61*b169 - 2*b61*b170 - 2*b61*b171 - 2*b61*
    b174 - 2*b61*b175 + 2*b61*b178 + 2*b61*b180 + 2*b61*b181 + 2*b61*b182 + 2*
    b61*b184 + 2*b61*b185 + 2*b61*b186 - 2*b61*b188 + 2*b61*b189 + 2*b61*b191
     + 2*b61*b195 + 2*b61*b196 + 2*b61*b197 + 2*b61*b198 + 2*b61*b200 + 2*b61*
    b201 + 2*b61*b202 - 2*b61*b204 - 2*b61*b206 - 2*b61*b207 + 2*b61*b210 + 2*
    b61*b214 - 2*b61*b217 - 2*b61*b218 + 2*b61*b226 + 2*b61*b228 - 2*b62*b124
     + 7*b62 - 2*b62*b126 - 2*b62*b128 - 2*b62*b131 - 2*b62*b136 - 2*b62*b138
     - 2*b62*b179 + 2*b62*b180 - 2*b62*b184 - 2*b62*b185 + 2*b62*b186 - 2*b62*
    b188 + 2*b62*b189 - 2*b62*b193 - 2*b62*b194 + 2*b62*b195 + 2*b62*b196 + 2*
    b62*b197 + 2*b62*b202 - 2*b62*b204 - 2*b62*b206 - 2*b62*b207 - 2*b62*b212
     - 2*b62*b213 + 2*b62*b214 + 2*b62*b226 + 2*b62*b228 - 2*b63*b124 + 7*b63
     - 2*b63*b125 - 2*b63*b126 - 2*b63*b127 - 2*b63*b128 - 2*b63*b130 - 2*b63*
    b131 - 2*b63*b135 - 2*b63*b136 - 2*b63*b137 - 2*b63*b138 - 2*b63*b157 - 2*
    b63*b158 - 2*b63*b159 - 2*b63*b161 - 2*b63*b164 - 2*b63*b165 - 2*b63*b168
     - 2*b63*b169 - 2*b63*b170 - 2*b63*b171 - 2*b63*b174 - 2*b63*b175 + 2*b63*
    b179 + 2*b63*b182 + 2*b63*b183 + 2*b63*b184 + 2*b63*b185 + 2*b63*b186 + 2*
    b63*b188 + 2*b63*b191 + 2*b63*b192 + 2*b63*b193 + 2*b63*b194 + 2*b63*b195
     - 2*b63*b197 + 2*b63*b198 + 2*b63*b199 + 2*b63*b202 + 2*b63*b210 + 2*b63*
    b211 + 2*b63*b212 + 2*b63*b213 + 2*b63*b214 - 2*b63*b217 - 2*b63*b218 - 2*
    b63*b221 - 2*b63*b222 + 2*b63*b226 + 2*b63*b228 - 2*b63*b232 - 2*b64*b157
     - 2*b64 - 2*b64*b158 - 2*b64*b159 - 2*b64*b161 - 2*b64*b164 - 2*b64*b165
     + 2*b64*b178 + 2*b64*b179 + 2*b64*b186 + 2*b64*b187 - 2*b64*b190 - 2*b64*
    b193 - 2*b64*b194 + 2*b64*b195 - 2*b64*b197 - 2*b64*b200 - 2*b64*b201 + 2*
    b64*b202 + 2*b64*b203 + 2*b64*b214 + 2*b64*b215 + 2*b64*b226 + 2*b64*b227
     + 2*b64*b228 + 2*b64*b229 + 2*b64*b238 - 2*b65*b145 + 3*b65 - 2*b65*b146
     - 2*b65*b147 - 2*b65*b149 - 2*b65*b152 - 2*b65*b153 - 2*b65*b157 - 2*b65*
    b158 - 2*b65*b159 - 2*b65*b161 - 2*b65*b164 - 2*b65*b165 + 2*b65*b178 + 2*
    b65*b186 + 2*b65*b187 - 2*b65*b188 - 2*b65*b190 - 2*b65*b193 - 2*b65*b194
     + 2*b65*b195 + 2*b65*b202 + 2*b65*b203 + 2*b65*b214 + 2*b65*b215 + 2*b65*
    b226 + 2*b65*b227 + 2*b65*b228 + 2*b65*b229 + 2*b65*b238 - 2*b66*b129 + 4*
    b66 - 2*b66*b134 - 2*b66*b136 - 2*b66*b138 + 2*b67*b207 - 5*b67 + 2*b67*
    b208 - 2*b67*b216 - 2*b67*b217 - 2*b67*b218 + 2*b67*b222 + 2*b67*b223 + 2*
    b67*b225 + 2*b67*b226 + 2*b67*b228 + 2*b67*b239 - 2*b68*b180 + 8*b68 - 2*
    b68*b183 - 2*b68*b184 - 2*b68*b185 + 2*b68*b204 - 2*b68*b211 - 2*b68*b212
     - 2*b68*b213 - 2*b68*b216 - 2*b68*b217 - 2*b68*b218 + 2*b68*b239 - 2*b69*
    b148 + 5*b69 + 2*b148 - 2*b69*b151 - 2*b69*b152 - 2*b69*b153 - 2*b69*b189
     - 2*b69*b192 - 2*b69*b193 - 2*b69*b194 - 2*b69*b196 - 2*b69*b199 - 2*b69*
    b200 - 2*b69*b201 + 2*b69*b207 + 2*b69*b208 + 2*b69*b222 + 2*b69*b223 + 2*
    b69*b225 + 2*b69*b226 + 2*b69*b228 - 2*b70*b160 + b70 - 2*b70*b163 - 2*b70*
    b164 - 2*b70*b165 + 2*b70*b204 + 2*b70*b207 + 2*b70*b209 - 2*b70*b211 - 2*
    b70*b212 - 2*b70*b213 - 2*b70*b216 - 2*b70*b217 - 2*b70*b218 + 2*b70*b222
     + 2*b70*b224 + 2*b70*b225 + 2*b70*b227 + 2*b70*b229 + 2*b70*b239 - 2*b71*
    b173 + 7*b71 - 2*b71*b174 - 2*b71*b175 - 2*b71*b189 - 2*b71*b192 - 2*b71*
    b193 - 2*b71*b194 + 2*b71*b204 - 2*b71*b205 + 2*b71*b208 - 2*b71*b211 - 2*
    b71*b212 - 2*b71*b213 - 2*b71*b216 - 2*b71*b217 - 2*b71*b218 + 2*b71*b221
     + 2*b71*b222 + 2*b71*b223 + 2*b71*b226 + 2*b71*b228 - 2*b71*b234 + 2*b71*
    b239 - 2*b72*b129 + 13*b72 - 2*b72*b134 - 2*b72*b136 - 2*b72*b138 - 2*b72*
    b180 - 2*b72*b183 - 2*b72*b184 - 2*b72*b185 - 2*b72*b189 - 2*b72*b192 - 2*
    b72*b193 - 2*b72*b194 + 2*b72*b204 - 2*b72*b205 - 2*b72*b206 - 2*b72*b207
     + 2*b72*b208 - 2*b72*b211 - 2*b72*b212 - 2*b72*b213 + 2*b72*b223 + 2*b72*
    b226 + 2*b72*b228 - 2*b73*b129 + 15*b73 - 2*b73*b134 - 2*b73*b135 - 2*b73*
    b136 - 2*b73*b137 - 2*b73*b138 - 2*b73*b160 - 2*b73*b163 - 2*b73*b164 - 2*
    b73*b165 - 2*b73*b173 - 2*b73*b174 - 2*b73*b175 - 2*b73*b196 - 2*b73*b199
     - 2*b73*b200 - 2*b73*b201 + 2*b73*b205 + 2*b73*b206 + 2*b73*b207 + 2*b73*
    b208 - 2*b73*b216 - 2*b73*b217 - 2*b73*b218 + 2*b73*b223 + 2*b73*b226 + 2*
    b73*b228 - 2*b73*b231 - 2*b73*b233 - 2*b73*b234 + 2*b73*b239 - 2*b74*b160
     + 4*b74 - 2*b74*b163 - 2*b74*b164 - 2*b74*b165 - 2*b74*b189 - 2*b74*b192
     - 2*b74*b193 - 2*b74*b194 - 2*b74*b196 - 2*b74*b199 - 2*b74*b200 - 2*b74*
    b201 + 2*b74*b208 + 2*b74*b209 + 2*b74*b223 + 2*b74*b224 + 2*b74*b226 + 2*
    b74*b227 + 2*b74*b228 + 2*b74*b229 - 2*b75*b148 + 4*b75 - 2*b75*b151 - 2*
    b75*b152 - 2*b75*b153 - 2*b75*b160 - 2*b75*b163 - 2*b75*b164 - 2*b75*b165
     - 2*b75*b189 - 2*b75*b192 - 2*b75*b193 - 2*b75*b194 + 2*b75*b208 + 2*b75*
    b209 + 2*b75*b223 + 2*b75*b224 + 2*b75*b226 + 2*b75*b227 + 2*b75*b228 + 2*
    b75*b229 + 2*b76*b133 - 3*b76 + 2*b76*b138 + 2*b76*b140 + 2*b77*b124 - 3*
    b77 + 2*b77*b131 + 2*b77*b133 + 2*b78*b121 - 5*b78 + 2*b78*b126 + 2*b78*
    b128 + 2*b78*b138 + 2*b78*b140 + 2*b79*b123 - 5*b79 + 2*b79*b131 + 2*b79*
    b133 + 2*b79*b138 + 2*b79*b142 + 2*b80*b126 - 8*b80 + 2*b80*b129 + 2*b80*
    b131 + 2*b80*b133 + 2*b80*b136 + 2*b80*b138 + 2*b80*b140 + 2*b80*b236 + 2*
    b81*b124 - 5*b81 + 2*b81*b126 + 2*b81*b129 + 2*b81*b131 + 2*b81*b140 + 2*
    b82*b123 - 7*b82 + 2*b82*b128 + 2*b82*b133 + 2*b82*b134 + 2*b82*b136 + 2*
    b82*b138 + 2*b82*b140 - 2*b82*b235 + 2*b82*b236 + 2*b83*b123 - 5*b83 + 2*
    b83*b126 + 2*b83*b128 + 2*b83*b140 + 2*b83*b142 + 2*b84*b121 - 5*b84 + 2*
    b84*b123 + 2*b84*b126 + 2*b84*b140 + 2*b84*b142 - 2*b85*b182 + 8*b85 - 2*
    b85*b185 - 2*b85*b186 - 2*b85*b210 - 2*b85*b213 - 2*b85*b214 - 2*b85*b218
     - 2*b85*b219 - 2*b86*b150 + 7*b86 + 4*b150 - 2*b86*b153 - 2*b86*b154 - 2*
    b86*b191 - 2*b86*b194 - 2*b86*b195 - 2*b86*b198 - 2*b86*b201 - 2*b86*b202
     + 2*b86*b218 + 2*b86*b219 - 2*b87*b162 + 5*b87 - 2*b87*b165 - 2*b87*b166
     - 2*b87*b210 - 2*b87*b213 - 2*b87*b214 - 2*b87*b219 + 2*b87*b220 - 2*b87*
    b228 + 2*b87*b229 + 2*b87*b230 - 2*b88*b172 + 13*b88 - 2*b88*b175 - 2*b88*
    b176 - 2*b88*b191 - 2*b88*b194 - 2*b88*b195 - 2*b88*b207 - 2*b88*b208 - 2*
    b88*b210 - 2*b88*b213 - 2*b88*b214 + 2*b88*b217 - 2*b88*b225 - 2*b88*b226
     - 2*b88*b239 - 2*b89*b133 + 13*b89 - 2*b89*b138 - 2*b89*b140 - 2*b89*b182
     - 2*b89*b185 - 2*b89*b186 - 2*b89*b191 - 2*b89*b194 - 2*b89*b195 - 2*b89*
    b207 - 2*b89*b208 - 2*b89*b210 - 2*b89*b213 - 2*b89*b214 + 2*b89*b219 + 2*
    b89*b228 - 2*b89*b239 - 2*b90*b132 + 17*b90 - 2*b90*b133 - 2*b90*b137 - 2*
    b90*b138 - 2*b90*b139 - 2*b90*b140 - 2*b90*b162 - 2*b90*b165 - 2*b90*b166
     - 2*b90*b172 - 2*b90*b175 - 2*b90*b176 - 2*b90*b198 - 2*b90*b201 - 2*b90*
    b202 + 2*b90*b216 + 2*b90*b217 - 2*b90*b222 - 2*b90*b223 - 2*b90*b225 - 2*
    b90*b226 - 2*b91*b162 + 4*b91 - 2*b91*b165 - 2*b91*b166 - 2*b91*b191 - 2*
    b91*b194 - 2*b91*b195 - 2*b91*b198 - 2*b91*b201 - 2*b91*b202 + 2*b91*b219
     + 2*b91*b220 + 2*b91*b228 + 2*b91*b229 + 2*b91*b230 - 2*b92*b150 + 4*b92
     - 2*b92*b153 - 2*b92*b154 - 2*b92*b162 - 2*b92*b165 - 2*b92*b166 - 2*b92*
    b191 - 2*b92*b194 - 2*b92*b195 + 2*b92*b219 + 2*b92*b220 + 2*b92*b228 + 2*
    b92*b229 + 2*b92*b230 - 2*b93*b145 - b93 - 2*b93*b149 - 2*b93*b150 + 2*b93*
    b178 + 2*b93*b179 + 2*b93*b185 + 2*b93*b186 - 2*b93*b190 - 2*b93*b191 - 2*
    b93*b197 - 2*b93*b198 + 2*b93*b213 + 2*b93*b214 + 2*b93*b218 + 2*b93*b219
     - 2*b94*b157 - 5*b94 - 2*b94*b161 - 2*b94*b162 + 2*b94*b181 + 2*b94*b182
     + 2*b94*b185 + 2*b94*b187 + 2*b94*b213 + 2*b94*b215 + 2*b94*b218 + 2*b94*
    b220 - 2*b95*b168 - 6*b95 - 2*b95*b171 - 2*b95*b172 + 2*b95*b178 + 2*b95*
    b180 + 2*b95*b181 + 2*b95*b182 + 2*b95*b184 + 2*b95*b185 + 2*b95*b186 - 2*
    b95*b190 - 2*b95*b191 - 2*b95*b204 + 2*b95*b212 + 2*b95*b213 + 2*b95*b214
     + 2*b95*b217 + 2*b95*b218 + 2*b95*b219 - 2*b95*b239 - 2*b96*b124 + 4*b96
     - 2*b96*b131 - 2*b96*b133 + 2*b96*b178 + 2*b96*b180 - 2*b96*b182 + 2*b96*
    b186 - 2*b96*b190 - 2*b96*b191 - 2*b96*b204 - 2*b96*b210 + 2*b96*b214 + 2*
    b96*b219 - 2*b96*b239 - 2*b97*b124 - b97 - 2*b97*b130 - 2*b97*b131 - 2*b97*
    b132 - 2*b97*b133 - 2*b97*b157 - 2*b97*b161 - 2*b97*b162 - 2*b97*b168 - 2*
    b97*b171 - 2*b97*b172 + 2*b97*b179 + 2*b97*b182 + 2*b97*b183 + 2*b97*b184
     + 2*b97*b185 + 2*b97*b186 - 2*b97*b197 - 2*b97*b198 + 2*b97*b210 + 2*b97*
    b211 + 2*b97*b212 + 2*b97*b213 + 2*b97*b214 + 2*b97*b216 + 2*b97*b217 + 2*
    b97*b218 + 2*b97*b219 - 2*b97*b232 - 2*b98*b157 - b98 - 2*b98*b161 - 2*b98*
    b162 + 2*b98*b178 + 2*b98*b179 + 2*b98*b186 + 2*b98*b187 - 2*b98*b190 - 2*
    b98*b191 - 2*b98*b197 - 2*b98*b198 + 2*b98*b214 + 2*b98*b215 + 2*b98*b219
     + 2*b98*b220 - 2*b99*b145 + b99 - 2*b99*b149 - 2*b99*b150 - 2*b99*b157 - 2
    *b99*b161 - 2*b99*b162 + 2*b99*b178 + 2*b99*b186 + 2*b99*b187 - 2*b99*b190
     - 2*b99*b191 + 2*b99*b214 + 2*b99*b215 + 2*b99*b219 + 2*b99*b220 + 2*b100*
    b143 - 6*b100 + 2*b100*b149 + 2*b100*b150 + 2*b100*b153 + 2*b100*b155 - 2*
    b100*b158 - 2*b100*b159 - 2*b100*b165 - 2*b100*b166 + 2*b100*b190 + 2*b100*
    b191 + 2*b100*b194 + 2*b100*b197 + 2*b100*b198 + 2*b100*b201 + 2*b100*b203
     - 2*b100*b213 - 2*b100*b214 - 2*b100*b218 - 2*b100*b219 - 2*b100*b228 + 2*
    b100*b229 + 2*b100*b230 + 2*b100*b238 + 2*b101*b144 - 5*b101 + 2*b101*b146
     + 2*b101*b148 + 2*b101*b149 + 2*b101*b150 + 2*b101*b152 + 2*b101*b153 + 2*
    b101*b154 - 2*b101*b169 - 2*b101*b170 - 2*b101*b175 - 2*b101*b176 - 2*b101*
    b188 + 2*b101*b189 + 2*b101*b190 + 2*b101*b191 + 2*b101*b193 + 2*b101*b196
     + 2*b101*b197 + 2*b101*b198 + 2*b101*b200 + 2*b101*b201 + 2*b101*b202 - 2*
    b101*b207 - 2*b101*b208 - 2*b101*b213 - 2*b101*b214 - 2*b101*b218 - 2*b101*
    b219 - 2*b101*b225 - 2*b101*b226 - 2*b102*b121 + 4*b102 - 2*b102*b126 - 2*
    b102*b128 - 2*b102*b138 - 2*b102*b140 + 2*b102*b145 + 2*b102*b146 + 2*b102*
    b148 + 2*b102*b149 + 2*b102*b154 - 2*b102*b178 - 2*b102*b179 - 2*b102*b185
     - 2*b102*b186 - 2*b102*b188 + 2*b102*b189 + 2*b102*b190 - 2*b102*b194 + 2*
    b102*b196 + 2*b102*b197 + 2*b102*b202 - 2*b102*b207 - 2*b102*b208 - 2*b102*
    b213 - 2*b102*b214 + 2*b102*b228 - 2*b103*b120 + 7*b103 - 2*b103*b121 - 2*
    b103*b125 - 2*b103*b126 - 2*b103*b127 - 2*b103*b128 - 2*b103*b137 - 2*b103*
    b138 - 2*b103*b139 - 2*b103*b140 + 2*b103*b143 + 2*b103*b144 + 2*b103*b147
     + 2*b103*b150 + 2*b103*b151 + 2*b103*b152 + 2*b103*b153 + 2*b103*b154 - 2*
    b103*b158 - 2*b103*b159 - 2*b103*b165 - 2*b103*b166 - 2*b103*b169 - 2*b103*
    b170 - 2*b103*b175 - 2*b103*b176 + 2*b103*b188 + 2*b103*b191 + 2*b103*b192
     + 2*b103*b193 + 2*b103*b194 + 2*b103*b195 + 2*b103*b198 + 2*b103*b199 + 2*
    b103*b200 - 2*b103*b218 - 2*b103*b219 - 2*b103*b222 - 2*b103*b223 - 2*b103*
    b225 - 2*b103*b226 + 2*b104*b143 - 4*b104 + 2*b104*b146 + 2*b104*b147 + 2*
    b104*b154 + 2*b104*b155 - 2*b104*b158 - 2*b104*b159 - 2*b104*b165 - 2*b104*
    b166 - 2*b104*b194 - 2*b104*b201 + 2*b104*b203 + 2*b104*b228 + 2*b104*b229
     + 2*b104*b230 + 2*b104*b238 + 2*b105*b156 + 5*b105 + 2*b105*b158 + 2*b105*
    b160 + 2*b105*b161 + 2*b105*b162 + 2*b105*b164 + 2*b105*b165 + 2*b105*b166
     - 2*b105*b171 - 2*b105*b172 - 2*b105*b175 - 2*b105*b177 - 2*b105*b190 - 2*
    b105*b191 - 2*b105*b194 - 2*b105*b204 - 2*b105*b207 - 2*b105*b209 + 2*b105*
    b212 + 2*b105*b214 - 2*b105*b215 + 2*b105*b217 + 2*b105*b219 - 2*b105*b220
     - 2*b105*b225 - 2*b105*b227 + 2*b105*b228 - 2*b105*b229 - 2*b105*b230 - 2*
    b105*b238 - 2*b105*b239 - 2*b106*b123 + 13*b106 - 2*b106*b131 - 2*b106*b133
     - 2*b106*b138 - 2*b106*b142 + 2*b106*b157 + 2*b106*b158 + 2*b106*b160 + 2*
    b106*b161 + 2*b106*b166 - 2*b106*b181 - 2*b106*b182 - 2*b106*b185 - 2*b106*
    b187 - 2*b106*b190 - 2*b106*b191 - 2*b106*b194 - 2*b106*b204 - 2*b106*b207
     - 2*b106*b209 - 2*b106*b210 - 2*b106*b213 + 2*b106*b214 - 2*b106*b215 + 2*
    b106*b219 + 2*b106*b228 - 2*b106*b230 - 2*b106*b238 - 2*b106*b239 - 2*b107*
    b122 + 13*b107 - 2*b107*b123 - 2*b107*b130 - 2*b107*b131 - 2*b107*b132 - 2*
    b107*b133 - 2*b107*b137 - 2*b107*b138 - 2*b107*b141 - 2*b107*b142 + 2*b107*
    b156 + 2*b107*b159 - 2*b107*b161 + 2*b107*b163 + 2*b107*b164 + 2*b107*b166
     - 2*b107*b167 - 2*b107*b171 - 2*b107*b172 - 2*b107*b175 - 2*b107*b177 - 2*
    b107*b197 - 2*b107*b198 - 2*b107*b201 - 2*b107*b203 + 2*b107*b210 + 2*b107*
    b211 + 2*b107*b212 + 2*b107*b213 + 2*b107*b214 + 2*b107*b216 + 2*b107*b217
     + 2*b107*b219 - 2*b107*b220 - 2*b107*b222 - 2*b107*b224 - 2*b107*b225 - 2*
    b107*b227 + 2*b107*b228 - 2*b107*b229 - 2*b107*b230 + 2*b108*b158 + 3*b108
     + 2*b108*b159 - 2*b108*b161 - 2*b108*b162 - 2*b108*b165 + 2*b108*b166 - 2*
    b108*b190 - 2*b108*b191 - 2*b108*b194 - 2*b108*b197 - 2*b108*b198 - 2*b108*
    b201 - 2*b108*b203 + 2*b108*b214 + 2*b108*b215 + 2*b108*b219 + 2*b108*b220
     + 2*b108*b228 + 2*b108*b229 - 2*b108*b230 - 2*b108*b238 - 2*b109*b143 + 5*
    b109 - 2*b109*b149 - 2*b109*b150 - 2*b109*b153 - 2*b109*b155 + 2*b109*b158
     - 2*b109*b161 - 2*b109*b162 - 2*b109*b165 + 2*b109*b166 - 2*b109*b190 - 2*
    b109*b191 - 2*b109*b194 + 2*b109*b214 + 2*b109*b215 + 2*b109*b219 + 2*b109*
    b220 + 2*b109*b228 + 2*b109*b229 - 2*b109*b230 - 2*b109*b238 - 2*b110*b126
     + 16*b110 - 2*b110*b129 - 2*b110*b131 - 2*b110*b133 - 2*b110*b136 - 2*b110
    *b138 - 2*b110*b140 + 2*b110*b168 + 2*b110*b169 + 2*b110*b171 + 2*b110*b176
     - 2*b110*b178 - 2*b110*b180 - 2*b110*b181 - 2*b110*b182 - 2*b110*b184 - 2*
    b110*b185 - 2*b110*b186 - 2*b110*b191 - 2*b110*b193 - 2*b110*b194 - 2*b110*
    b206 - 2*b110*b207 - 2*b110*b210 - 2*b110*b212 - 2*b110*b213 + 2*b110*b219
     + 2*b110*b226 + 2*b110*b228 + 2*b110*b234 - 2*b110*b236 - 2*b110*b239 - 2*
    b111*b125 + 17*b111 - 2*b111*b126 - 2*b111*b129 - 2*b111*b130 - 2*b111*b131
     - 2*b111*b132 - 2*b111*b133 - 2*b111*b135 - 2*b111*b136 - 2*b111*b137 - 2*
    b111*b138 - 2*b111*b139 - 2*b111*b140 - 2*b111*b156 - 2*b111*b158 - 2*b111*
    b160 - 2*b111*b161 - 2*b111*b162 - 2*b111*b164 - 2*b111*b165 - 2*b111*b166
     - 2*b111*b169 + 2*b111*b170 - 2*b111*b171 + 2*b111*b173 + 2*b111*b188 + 2*
    b111*b191 + 2*b111*b192 + 2*b111*b193 + 2*b111*b194 + 2*b111*b195 - 2*b111*
    b196 - 2*b111*b197 - 2*b111*b198 - 2*b111*b200 - 2*b111*b201 - 2*b111*b202
     + 2*b111*b205 + 2*b111*b206 + 2*b111*b207 + 2*b111*b208 + 2*b111*b210 + 2*
    b111*b211 + 2*b111*b212 + 2*b111*b213 + 2*b111*b214 + 2*b111*b216 - 2*b111*
    b221 - 2*b111*b222 - 2*b111*b223 - 2*b111*b233 - 2*b111*b234 - 2*b111*b236
     - 2*b111*b237 + 2*b111*b239 - 2*b112*b156 + 2*b112 - 2*b112*b158 - 2*b112*
    b160 - 2*b112*b161 - 2*b112*b162 - 2*b112*b164 - 2*b112*b165 - 2*b112*b166
     + 2*b112*b169 + 2*b112*b170 + 2*b112*b176 + 2*b112*b177 + 2*b112*b188 - 2*
    b112*b189 - 2*b112*b190 - 2*b112*b191 - 2*b112*b193 - 2*b112*b194 - 2*b112*
    b196 - 2*b112*b197 - 2*b112*b198 - 2*b112*b200 - 2*b112*b201 - 2*b112*b202
     + 2*b112*b208 + 2*b112*b209 + 2*b112*b214 + 2*b112*b215 + 2*b112*b219 + 2*
    b112*b220 + 2*b112*b226 + 2*b112*b227 + 2*b112*b228 + 2*b112*b229 + 2*b112*
    b230 + 2*b112*b238 - 2*b113*b144 + 6*b113 - 2*b113*b146 - 2*b113*b148 - 2*
    b113*b149 - 2*b113*b150 - 2*b113*b152 - 2*b113*b153 - 2*b113*b154 - 2*b113*
    b156 - 2*b113*b158 - 2*b113*b160 - 2*b113*b161 - 2*b113*b162 - 2*b113*b164
     - 2*b113*b165 - 2*b113*b166 + 2*b113*b169 + 2*b113*b176 + 2*b113*b177 - 2*
    b113*b189 - 2*b113*b190 - 2*b113*b191 - 2*b113*b193 - 2*b113*b194 + 2*b113*
    b208 + 2*b113*b209 + 2*b113*b214 + 2*b113*b215 + 2*b113*b219 + 2*b113*b220
     + 2*b113*b226 + 2*b113*b227 + 2*b113*b228 + 2*b113*b229 + 2*b113*b230 + 2*
    b113*b238 + 2*b114*b123 - 2*b114 - 2*b114*b124 - 2*b114*b125 - 2*b114*b126
     + 2*b114*b128 - 2*b114*b129 - 2*b114*b130 - 2*b114*b131 + 2*b114*b133 + 2*
    b114*b134 + 2*b114*b136 + 2*b114*b138 - 2*b114*b139 - 2*b114*b157 - 2*b114*
    b158 - 2*b114*b160 - 2*b114*b161 - 2*b114*b166 - 2*b114*b168 - 2*b114*b169
     - 2*b114*b171 - 2*b114*b176 + 2*b114*b179 + 2*b114*b182 + 2*b114*b183 + 2*
    b114*b184 + 2*b114*b185 + 2*b114*b186 + 2*b114*b188 + 2*b114*b191 + 2*b114*
    b192 + 2*b114*b193 + 2*b114*b194 + 2*b114*b195 - 2*b114*b196 - 2*b114*b197
     - 2*b114*b202 + 2*b114*b205 + 2*b114*b206 + 2*b114*b207 + 2*b114*b208 + 2*
    b114*b210 + 2*b114*b211 + 2*b114*b212 + 2*b114*b213 + 2*b114*b214 - 2*b114*
    b219 - 2*b114*b223 - 2*b114*b226 - 2*b114*b228 - 2*b114*b232 - 2*b114*b233
     - 2*b114*b234 - 2*b114*b235 + 2*b114*b236 + 2*b114*b239 + 2*b115*b123 - 6*
    b115 + 2*b115*b126 + 2*b115*b128 + 2*b115*b140 + 2*b115*b142 - 2*b115*b157
     - 2*b115*b158 - 2*b115*b160 - 2*b115*b161 - 2*b115*b166 + 2*b115*b178 + 2*
    b115*b179 + 2*b115*b186 + 2*b115*b187 + 2*b115*b188 - 2*b115*b189 - 2*b115*
    b190 - 2*b115*b196 - 2*b115*b197 - 2*b115*b202 + 2*b115*b208 + 2*b115*b209
     + 2*b115*b214 + 2*b115*b215 + 2*b115*b230 + 2*b115*b238 + 2*b116*b121 - 2*
    b116 + 2*b116*b123 + 2*b116*b126 + 2*b116*b140 + 2*b116*b142 - 2*b116*b145
     - 2*b116*b146 - 2*b116*b148 - 2*b116*b149 - 2*b116*b154 - 2*b116*b157 - 2*
    b116*b158 - 2*b116*b160 - 2*b116*b161 - 2*b116*b166 + 2*b116*b178 + 2*b116*
    b186 + 2*b116*b187 - 2*b116*b189 - 2*b116*b190 + 2*b116*b208 + 2*b116*b209
     + 2*b116*b214 + 2*b116*b215 + 2*b116*b230 + 2*b116*b238 + 2*b117*b122 - 11
    *b117 + 2*b117*b123 + 2*b117*b125 + 2*b117*b126 + 2*b117*b127 + 2*b117*b128
     + 2*b117*b139 + 2*b117*b140 + 2*b117*b141 + 2*b117*b142 - 2*b117*b156 + 2*
    b117*b158 - 2*b117*b162 - 2*b117*b163 - 2*b117*b164 - 2*b117*b165 + 2*b117*
    b167 + 2*b117*b169 + 2*b117*b170 + 2*b117*b176 + 2*b117*b177 - 2*b117*b188
     - 2*b117*b191 - 2*b117*b192 - 2*b117*b193 - 2*b117*b194 - 2*b117*b195 - 2*
    b117*b198 - 2*b117*b199 - 2*b117*b200 - 2*b117*b201 + 2*b117*b203 + 2*b117*
    b219 + 2*b117*b220 + 2*b117*b223 + 2*b117*b224 + 2*b117*b226 + 2*b117*b227
     + 2*b117*b228 + 2*b117*b229 + 2*b117*b230 + 2*b118*b120 - 6*b118 + 2*b118*
    b121 + 2*b118*b122 + 2*b118*b123 + 2*b118*b125 + 2*b118*b126 + 2*b118*b139
     + 2*b118*b140 + 2*b118*b141 + 2*b118*b142 - 2*b118*b143 - 2*b118*b144 - 2*
    b118*b147 - 2*b118*b150 - 2*b118*b151 - 2*b118*b152 - 2*b118*b153 - 2*b118*
    b154 - 2*b118*b156 + 2*b118*b158 - 2*b118*b159 - 2*b118*b162 - 2*b118*b163
     - 2*b118*b164 - 2*b118*b165 + 2*b118*b167 + 2*b118*b169 + 2*b118*b176 + 2*
    b118*b177 - 2*b118*b188 - 2*b118*b191 - 2*b118*b192 - 2*b118*b193 - 2*b118*
    b194 - 2*b118*b195 + 2*b118*b202 + 2*b118*b203 + 2*b118*b219 + 2*b118*b220
     + 2*b118*b223 + 2*b118*b224 + 2*b118*b226 + 2*b118*b227 + 2*b118*b228 + 2*
    b118*b229 + 2*b118*b230 - 2*b119*b143 + 5*b119 - 2*b119*b146 - 2*b119*b147
     - 2*b119*b154 - 2*b119*b155 - 2*b119*b159 - 2*b119*b188 + 2*b119*b202 + 2*
    b119*b203 + 2*b143*b240 - 2*b147*b240 - 2*b153*b240 + 2*b155*b240 - 2*b158*
    b240 - 2*b159*b240 - 2*b165*b240 - 2*b166*b240 - 2*b188*b240 - 2*b194*b240
     + 2*b196*b241 + 2*b199*b241 + 2*b200*b241 + 2*b201*b241 + 2*b202*b240 + 2*
    b203*b240 - 2*b205*b241 - 2*b206*b241 - 2*b209*b241 + 2*b222*b241 - 2*b224*
    b241 + 2*b225*b241 - 2*b227*b241 + 2*b228*b240 + 2*b229*b240 - 2*b229*b241
     + 2*b230*b240 + 2*b238*b240;

subject to

e2:  - b2 + b3 + b4 <= 1;

e3:    b4 - b5 + b6 <= 1;

e4:    b4 - b7 + b8 <= 1;

e5:    b4 - b9 + b10 <= 1;

e6:    b4 - b11 + b12 <= 1;

e7:    b4 - b13 + b14 <= 1;

e8:    b4 - b15 + b16 <= 1;

e9:    b4 - b17 + b18 <= 1;

e10:    b4 - b19 + b20 <= 1;

e11:    b4 - b21 + b22 <= 1;

e12:    b4 - b23 + b24 <= 1;

e13:    b4 - b25 + b26 <= 1;

e14:    b4 - b27 + b28 <= 1;

e15:    b4 - b29 + b30 <= 1;

e16:    b2 - b5 + b31 <= 1;

e17:    b2 - b7 + b32 <= 1;

e18:    b2 - b9 + b33 <= 1;

e19:    b2 - b11 + b34 <= 1;

e20:    b2 - b13 + b35 <= 1;

e21:    b2 - b15 + b36 <= 1;

e22:    b2 - b17 + b37 <= 1;

e23:    b2 - b19 + b38 <= 1;

e24:    b2 - b21 + b39 <= 1;

e25:    b2 - b23 + b40 <= 1;

e26:    b2 - b25 + b41 <= 1;

e27:    b2 - b27 + b42 <= 1;

e28:    b2 - b29 + b43 <= 1;

e29:    b5 - b7 + b44 <= 1;

e30:    b5 - b9 + b241 <= 1;

e31:    b5 - b11 + b45 <= 1;

e32:    b5 - b13 + b46 <= 1;

e33:    b5 - b15 + b47 <= 1;

e34:    b5 - b17 + b48 <= 1;

e35:    b5 - b19 + b49 <= 1;

e36:    b5 - b21 + b50 <= 1;

e37:    b5 - b23 + b51 <= 1;

e38:    b5 - b25 + b52 <= 1;

e39:    b5 - b27 + b53 <= 1;

e40:    b5 - b29 + b54 <= 1;

e41:    b7 - b9 + b55 <= 1;

e42:    b7 - b11 + b56 <= 1;

e43:    b7 - b13 + b57 <= 1;

e44:    b7 - b15 + b58 <= 1;

e45:    b7 - b17 + b59 <= 1;

e46:    b7 - b19 + b60 <= 1;

e47:    b7 - b21 + b61 <= 1;

e48:    b7 - b23 + b62 <= 1;

e49:    b7 - b25 + b63 <= 1;

e50:    b7 - b27 + b64 <= 1;

e51:    b7 - b29 + b65 <= 1;

e52:    b9 - b11 + b66 <= 1;

e53:    b9 - b13 + b67 <= 1;

e54:    b9 - b15 + b68 <= 1;

e55:    b9 - b17 + b69 <= 1;

e56:    b9 - b19 + b70 <= 1;

e57:    b9 - b21 + b71 <= 1;

e58:    b9 - b23 + b72 <= 1;

e59:    b9 - b25 + b73 <= 1;

e60:    b9 - b27 + b74 <= 1;

e61:    b9 - b29 + b75 <= 1;

e62:    b11 - b13 + b76 <= 1;

e63:    b11 - b15 + b77 <= 1;

e64:    b11 - b17 + b78 <= 1;

e65:    b11 - b19 + b79 <= 1;

e66:    b11 - b21 + b80 <= 1;

e67:    b11 - b23 + b81 <= 1;

e68:    b11 - b25 + b82 <= 1;

e69:    b11 - b27 + b83 <= 1;

e70:    b11 - b29 + b84 <= 1;

e71:    b13 - b15 + b85 <= 1;

e72:    b13 - b17 + b86 <= 1;

e73:    b13 - b19 + b87 <= 1;

e74:    b13 - b21 + b88 <= 1;

e75:    b13 - b23 + b89 <= 1;

e76:    b13 - b25 + b90 <= 1;

e77:    b13 - b27 + b91 <= 1;

e78:    b13 - b29 + b92 <= 1;

e79:    b15 - b17 + b93 <= 1;

e80:    b15 - b19 + b94 <= 1;

e81:    b15 - b21 + b95 <= 1;

e82:    b15 - b23 + b96 <= 1;

e83:    b15 - b25 + b97 <= 1;

e84:    b15 - b27 + b98 <= 1;

e85:    b15 - b29 + b99 <= 1;

e86:    b17 - b19 + b100 <= 1;

e87:    b17 - b21 + b101 <= 1;

e88:    b17 - b23 + b102 <= 1;

e89:    b17 - b25 + b103 <= 1;

e90:    b17 - b27 + b104 <= 1;

e91:    b17 - b29 + b240 <= 1;

e92:    b19 - b21 + b105 <= 1;

e93:    b19 - b23 + b106 <= 1;

e94:    b19 - b25 + b107 <= 1;

e95:    b19 - b27 + b108 <= 1;

e96:    b19 - b29 + b109 <= 1;

e97:    b21 - b23 + b110 <= 1;

e98:    b21 - b25 + b111 <= 1;

e99:    b21 - b27 + b112 <= 1;

e100:    b21 - b29 + b113 <= 1;

e101:    b23 - b25 + b114 <= 1;

e102:    b23 - b27 + b115 <= 1;

e103:    b23 - b29 + b116 <= 1;

e104:    b25 - b27 + b117 <= 1;

e105:    b25 - b29 + b118 <= 1;

e106:    b27 - b29 + b119 <= 1;

e107:    b3 - b6 + b31 <= 1;

e108:    b3 - b8 + b32 <= 1;

e109:    b3 - b10 + b33 <= 1;

e110:    b3 - b12 + b34 <= 1;

e111:    b3 - b14 + b35 <= 1;

e112:    b3 - b16 + b36 <= 1;

e113:    b3 - b18 + b37 <= 1;

e114:    b3 - b20 + b38 <= 1;

e115:    b3 - b22 + b39 <= 1;

e116:    b3 - b24 + b40 <= 1;

e117:    b3 - b26 + b41 <= 1;

e118:    b3 - b28 + b42 <= 1;

e119:    b3 - b30 + b43 <= 1;

e120:    b6 - b8 + b44 <= 1;

e121:    b6 - b10 + b241 <= 1;

e122:    b6 - b12 + b45 <= 1;

e123:    b6 - b14 + b46 <= 1;

e124:    b6 - b16 + b47 <= 1;

e125:    b6 - b18 + b48 <= 1;

e126:    b6 - b20 + b49 <= 1;

e127:    b6 - b22 + b50 <= 1;

e128:    b6 - b24 + b51 <= 1;

e129:    b6 - b26 + b52 <= 1;

e130:    b6 - b28 + b53 <= 1;

e131:    b6 - b30 + b54 <= 1;

e132:    b8 - b10 + b55 <= 1;

e133:    b8 - b12 + b56 <= 1;

e134:    b8 - b14 + b57 <= 1;

e135:    b8 - b16 + b58 <= 1;

e136:    b8 - b18 + b59 <= 1;

e137:    b8 - b20 + b60 <= 1;

e138:    b8 - b22 + b61 <= 1;

e139:    b8 - b24 + b62 <= 1;

e140:    b8 - b26 + b63 <= 1;

e141:    b8 - b28 + b64 <= 1;

e142:    b8 - b30 + b65 <= 1;

e143:    b10 - b12 + b66 <= 1;

e144:    b10 - b14 + b67 <= 1;

e145:    b10 - b16 + b68 <= 1;

e146:    b10 - b18 + b69 <= 1;

e147:    b10 - b20 + b70 <= 1;

e148:    b10 - b22 + b71 <= 1;

e149:    b10 - b24 + b72 <= 1;

e150:    b10 - b26 + b73 <= 1;

e151:    b10 - b28 + b74 <= 1;

e152:    b10 - b30 + b75 <= 1;

e153:    b12 - b14 + b76 <= 1;

e154:    b12 - b16 + b77 <= 1;

e155:    b12 - b18 + b78 <= 1;

e156:    b12 - b20 + b79 <= 1;

e157:    b12 - b22 + b80 <= 1;

e158:    b12 - b24 + b81 <= 1;

e159:    b12 - b26 + b82 <= 1;

e160:    b12 - b28 + b83 <= 1;

e161:    b12 - b30 + b84 <= 1;

e162:    b14 - b16 + b85 <= 1;

e163:    b14 - b18 + b86 <= 1;

e164:    b14 - b20 + b87 <= 1;

e165:    b14 - b22 + b88 <= 1;

e166:    b14 - b24 + b89 <= 1;

e167:    b14 - b26 + b90 <= 1;

e168:    b14 - b28 + b91 <= 1;

e169:    b14 - b30 + b92 <= 1;

e170:    b16 - b18 + b93 <= 1;

e171:    b16 - b20 + b94 <= 1;

e172:    b16 - b22 + b95 <= 1;

e173:    b16 - b24 + b96 <= 1;

e174:    b16 - b26 + b97 <= 1;

e175:    b16 - b28 + b98 <= 1;

e176:    b16 - b30 + b99 <= 1;

e177:    b18 - b20 + b100 <= 1;

e178:    b18 - b22 + b101 <= 1;

e179:    b18 - b24 + b102 <= 1;

e180:    b18 - b26 + b103 <= 1;

e181:    b18 - b28 + b104 <= 1;

e182:    b18 - b30 + b240 <= 1;

e183:    b20 - b22 + b105 <= 1;

e184:    b20 - b24 + b106 <= 1;

e185:    b20 - b26 + b107 <= 1;

e186:    b20 - b28 + b108 <= 1;

e187:    b20 - b30 + b109 <= 1;

e188:    b22 - b24 + b110 <= 1;

e189:    b22 - b26 + b111 <= 1;

e190:    b22 - b28 + b112 <= 1;

e191:    b22 - b30 + b113 <= 1;

e192:    b24 - b26 + b114 <= 1;

e193:    b24 - b28 + b115 <= 1;

e194:    b24 - b30 + b116 <= 1;

e195:    b26 - b28 + b117 <= 1;

e196:    b26 - b30 + b118 <= 1;

e197:    b28 - b30 + b119 <= 1;

e198:    b31 - b32 + b44 <= 1;

e199:    b31 - b33 + b241 <= 1;

e200:    b31 - b34 + b45 <= 1;

e201:    b31 - b35 + b46 <= 1;

e202:    b31 - b36 + b47 <= 1;

e203:    b31 - b37 + b48 <= 1;

e204:    b31 - b38 + b49 <= 1;

e205:    b31 - b39 + b50 <= 1;

e206:    b31 - b40 + b51 <= 1;

e207:    b31 - b41 + b52 <= 1;

e208:    b31 - b42 + b53 <= 1;

e209:    b31 - b43 + b54 <= 1;

e210:    b32 - b33 + b55 <= 1;

e211:    b32 - b34 + b56 <= 1;

e212:    b32 - b35 + b57 <= 1;

e213:    b32 - b36 + b58 <= 1;

e214:    b32 - b37 + b59 <= 1;

e215:    b32 - b38 + b60 <= 1;

e216:    b32 - b39 + b61 <= 1;

e217:    b32 - b40 + b62 <= 1;

e218:    b32 - b41 + b63 <= 1;

e219:    b32 - b42 + b64 <= 1;

e220:    b32 - b43 + b65 <= 1;

e221:    b33 - b34 + b66 <= 1;

e222:    b33 - b35 + b67 <= 1;

e223:    b33 - b36 + b68 <= 1;

e224:    b33 - b37 + b69 <= 1;

e225:    b33 - b38 + b70 <= 1;

e226:    b33 - b39 + b71 <= 1;

e227:    b33 - b40 + b72 <= 1;

e228:    b33 - b41 + b73 <= 1;

e229:    b33 - b42 + b74 <= 1;

e230:    b33 - b43 + b75 <= 1;

e231:    b34 - b35 + b76 <= 1;

e232:    b34 - b36 + b77 <= 1;

e233:    b34 - b37 + b78 <= 1;

e234:    b34 - b38 + b79 <= 1;

e235:    b34 - b39 + b80 <= 1;

e236:    b34 - b40 + b81 <= 1;

e237:    b34 - b41 + b82 <= 1;

e238:    b34 - b42 + b83 <= 1;

e239:    b34 - b43 + b84 <= 1;

e240:    b35 - b36 + b85 <= 1;

e241:    b35 - b37 + b86 <= 1;

e242:    b35 - b38 + b87 <= 1;

e243:    b35 - b39 + b88 <= 1;

e244:    b35 - b40 + b89 <= 1;

e245:    b35 - b41 + b90 <= 1;

e246:    b35 - b42 + b91 <= 1;

e247:    b35 - b43 + b92 <= 1;

e248:    b36 - b37 + b93 <= 1;

e249:    b36 - b38 + b94 <= 1;

e250:    b36 - b39 + b95 <= 1;

e251:    b36 - b40 + b96 <= 1;

e252:    b36 - b41 + b97 <= 1;

e253:    b36 - b42 + b98 <= 1;

e254:    b36 - b43 + b99 <= 1;

e255:    b37 - b38 + b100 <= 1;

e256:    b37 - b39 + b101 <= 1;

e257:    b37 - b40 + b102 <= 1;

e258:    b37 - b41 + b103 <= 1;

e259:    b37 - b42 + b104 <= 1;

e260:    b37 - b43 + b240 <= 1;

e261:    b38 - b39 + b105 <= 1;

e262:    b38 - b40 + b106 <= 1;

e263:    b38 - b41 + b107 <= 1;

e264:    b38 - b42 + b108 <= 1;

e265:    b38 - b43 + b109 <= 1;

e266:    b39 - b40 + b110 <= 1;

e267:    b39 - b41 + b111 <= 1;

e268:    b39 - b42 + b112 <= 1;

e269:    b39 - b43 + b113 <= 1;

e270:    b40 - b41 + b114 <= 1;

e271:    b40 - b42 + b115 <= 1;

e272:    b40 - b43 + b116 <= 1;

e273:    b41 - b42 + b117 <= 1;

e274:    b41 - b43 + b118 <= 1;

e275:    b42 - b43 + b119 <= 1;

e276:    b44 + b55 - b241 <= 1;

e277:    b44 - b45 + b56 <= 1;

e278:    b44 - b46 + b57 <= 1;

e279:    b44 - b47 + b58 <= 1;

e280:    b44 - b48 + b59 <= 1;

e281:    b44 - b49 + b60 <= 1;

e282:    b44 - b50 + b61 <= 1;

e283:    b44 - b51 + b62 <= 1;

e284:    b44 - b52 + b63 <= 1;

e285:    b44 - b53 + b64 <= 1;

e286:    b44 - b54 + b65 <= 1;

e287:  - b45 + b66 + b241 <= 1;

e288:  - b46 + b67 + b241 <= 1;

e289:  - b47 + b68 + b241 <= 1;

e290:  - b48 + b69 + b241 <= 1;

e291:  - b49 + b70 + b241 <= 1;

e292:  - b50 + b71 + b241 <= 1;

e293:  - b51 + b72 + b241 <= 1;

e294:  - b52 + b73 + b241 <= 1;

e295:  - b53 + b74 + b241 <= 1;

e296:  - b54 + b75 + b241 <= 1;

e297:    b45 - b46 + b76 <= 1;

e298:    b45 - b47 + b77 <= 1;

e299:    b45 - b48 + b78 <= 1;

e300:    b45 - b49 + b79 <= 1;

e301:    b45 - b50 + b80 <= 1;

e302:    b45 - b51 + b81 <= 1;

e303:    b45 - b52 + b82 <= 1;

e304:    b45 - b53 + b83 <= 1;

e305:    b45 - b54 + b84 <= 1;

e306:    b46 - b47 + b85 <= 1;

e307:    b46 - b48 + b86 <= 1;

e308:    b46 - b49 + b87 <= 1;

e309:    b46 - b50 + b88 <= 1;

e310:    b46 - b51 + b89 <= 1;

e311:    b46 - b52 + b90 <= 1;

e312:    b46 - b53 + b91 <= 1;

e313:    b46 - b54 + b92 <= 1;

e314:    b47 - b48 + b93 <= 1;

e315:    b47 - b49 + b94 <= 1;

e316:    b47 - b50 + b95 <= 1;

e317:    b47 - b51 + b96 <= 1;

e318:    b47 - b52 + b97 <= 1;

e319:    b47 - b53 + b98 <= 1;

e320:    b47 - b54 + b99 <= 1;

e321:    b48 - b49 + b100 <= 1;

e322:    b48 - b50 + b101 <= 1;

e323:    b48 - b51 + b102 <= 1;

e324:    b48 - b52 + b103 <= 1;

e325:    b48 - b53 + b104 <= 1;

e326:    b48 - b54 + b240 <= 1;

e327:    b49 - b50 + b105 <= 1;

e328:    b49 - b51 + b106 <= 1;

e329:    b49 - b52 + b107 <= 1;

e330:    b49 - b53 + b108 <= 1;

e331:    b49 - b54 + b109 <= 1;

e332:    b50 - b51 + b110 <= 1;

e333:    b50 - b52 + b111 <= 1;

e334:    b50 - b53 + b112 <= 1;

e335:    b50 - b54 + b113 <= 1;

e336:    b51 - b52 + b114 <= 1;

e337:    b51 - b53 + b115 <= 1;

e338:    b51 - b54 + b116 <= 1;

e339:    b52 - b53 + b117 <= 1;

e340:    b52 - b54 + b118 <= 1;

e341:    b53 - b54 + b119 <= 1;

e342:    b55 - b56 + b66 <= 1;

e343:    b55 - b57 + b67 <= 1;

e344:    b55 - b58 + b68 <= 1;

e345:    b55 - b59 + b69 <= 1;

e346:    b55 - b60 + b70 <= 1;

e347:    b55 - b61 + b71 <= 1;

e348:    b55 - b62 + b72 <= 1;

e349:    b55 - b63 + b73 <= 1;

e350:    b55 - b64 + b74 <= 1;

e351:    b55 - b65 + b75 <= 1;

e352:    b56 - b57 + b76 <= 1;

e353:    b56 - b58 + b77 <= 1;

e354:    b56 - b59 + b78 <= 1;

e355:    b56 - b60 + b79 <= 1;

e356:    b56 - b61 + b80 <= 1;

e357:    b56 - b62 + b81 <= 1;

e358:    b56 - b63 + b82 <= 1;

e359:    b56 - b64 + b83 <= 1;

e360:    b56 - b65 + b84 <= 1;

e361:    b57 - b58 + b85 <= 1;

e362:    b57 - b59 + b86 <= 1;

e363:    b57 - b60 + b87 <= 1;

e364:    b57 - b61 + b88 <= 1;

e365:    b57 - b62 + b89 <= 1;

e366:    b57 - b63 + b90 <= 1;

e367:    b57 - b64 + b91 <= 1;

e368:    b57 - b65 + b92 <= 1;

e369:    b58 - b59 + b93 <= 1;

e370:    b58 - b60 + b94 <= 1;

e371:    b58 - b61 + b95 <= 1;

e372:    b58 - b62 + b96 <= 1;

e373:    b58 - b63 + b97 <= 1;

e374:    b58 - b64 + b98 <= 1;

e375:    b58 - b65 + b99 <= 1;

e376:    b59 - b60 + b100 <= 1;

e377:    b59 - b61 + b101 <= 1;

e378:    b59 - b62 + b102 <= 1;

e379:    b59 - b63 + b103 <= 1;

e380:    b59 - b64 + b104 <= 1;

e381:    b59 - b65 + b240 <= 1;

e382:    b60 - b61 + b105 <= 1;

e383:    b60 - b62 + b106 <= 1;

e384:    b60 - b63 + b107 <= 1;

e385:    b60 - b64 + b108 <= 1;

e386:    b60 - b65 + b109 <= 1;

e387:    b61 - b62 + b110 <= 1;

e388:    b61 - b63 + b111 <= 1;

e389:    b61 - b64 + b112 <= 1;

e390:    b61 - b65 + b113 <= 1;

e391:    b62 - b63 + b114 <= 1;

e392:    b62 - b64 + b115 <= 1;

e393:    b62 - b65 + b116 <= 1;

e394:    b63 - b64 + b117 <= 1;

e395:    b63 - b65 + b118 <= 1;

e396:    b64 - b65 + b119 <= 1;

e397:    b66 - b67 + b76 <= 1;

e398:    b66 - b68 + b77 <= 1;

e399:    b66 - b69 + b78 <= 1;

e400:    b66 - b70 + b79 <= 1;

e401:    b66 - b71 + b80 <= 1;

e402:    b66 - b72 + b81 <= 1;

e403:    b66 - b73 + b82 <= 1;

e404:    b66 - b74 + b83 <= 1;

e405:    b66 - b75 + b84 <= 1;

e406:    b67 - b68 + b85 <= 1;

e407:    b67 - b69 + b86 <= 1;

e408:    b67 - b70 + b87 <= 1;

e409:    b67 - b71 + b88 <= 1;

e410:    b67 - b72 + b89 <= 1;

e411:    b67 - b73 + b90 <= 1;

e412:    b67 - b74 + b91 <= 1;

e413:    b67 - b75 + b92 <= 1;

e414:    b68 - b69 + b93 <= 1;

e415:    b68 - b70 + b94 <= 1;

e416:    b68 - b71 + b95 <= 1;

e417:    b68 - b72 + b96 <= 1;

e418:    b68 - b73 + b97 <= 1;

e419:    b68 - b74 + b98 <= 1;

e420:    b68 - b75 + b99 <= 1;

e421:    b69 - b70 + b100 <= 1;

e422:    b69 - b71 + b101 <= 1;

e423:    b69 - b72 + b102 <= 1;

e424:    b69 - b73 + b103 <= 1;

e425:    b69 - b74 + b104 <= 1;

e426:    b69 - b75 + b240 <= 1;

e427:    b70 - b71 + b105 <= 1;

e428:    b70 - b72 + b106 <= 1;

e429:    b70 - b73 + b107 <= 1;

e430:    b70 - b74 + b108 <= 1;

e431:    b70 - b75 + b109 <= 1;

e432:    b71 - b72 + b110 <= 1;

e433:    b71 - b73 + b111 <= 1;

e434:    b71 - b74 + b112 <= 1;

e435:    b71 - b75 + b113 <= 1;

e436:    b72 - b73 + b114 <= 1;

e437:    b72 - b74 + b115 <= 1;

e438:    b72 - b75 + b116 <= 1;

e439:    b73 - b74 + b117 <= 1;

e440:    b73 - b75 + b118 <= 1;

e441:    b74 - b75 + b119 <= 1;

e442:    b76 - b77 + b85 <= 1;

e443:    b76 - b78 + b86 <= 1;

e444:    b76 - b79 + b87 <= 1;

e445:    b76 - b80 + b88 <= 1;

e446:    b76 - b81 + b89 <= 1;

e447:    b76 - b82 + b90 <= 1;

e448:    b76 - b83 + b91 <= 1;

e449:    b76 - b84 + b92 <= 1;

e450:    b77 - b78 + b93 <= 1;

e451:    b77 - b79 + b94 <= 1;

e452:    b77 - b80 + b95 <= 1;

e453:    b77 - b81 + b96 <= 1;

e454:    b77 - b82 + b97 <= 1;

e455:    b77 - b83 + b98 <= 1;

e456:    b77 - b84 + b99 <= 1;

e457:    b78 - b79 + b100 <= 1;

e458:    b78 - b80 + b101 <= 1;

e459:    b78 - b81 + b102 <= 1;

e460:    b78 - b82 + b103 <= 1;

e461:    b78 - b83 + b104 <= 1;

e462:    b78 - b84 + b240 <= 1;

e463:    b79 - b80 + b105 <= 1;

e464:    b79 - b81 + b106 <= 1;

e465:    b79 - b82 + b107 <= 1;

e466:    b79 - b83 + b108 <= 1;

e467:    b79 - b84 + b109 <= 1;

e468:    b80 - b81 + b110 <= 1;

e469:    b80 - b82 + b111 <= 1;

e470:    b80 - b83 + b112 <= 1;

e471:    b80 - b84 + b113 <= 1;

e472:    b81 - b82 + b114 <= 1;

e473:    b81 - b83 + b115 <= 1;

e474:    b81 - b84 + b116 <= 1;

e475:    b82 - b83 + b117 <= 1;

e476:    b82 - b84 + b118 <= 1;

e477:    b83 - b84 + b119 <= 1;

e478:    b85 - b86 + b93 <= 1;

e479:    b85 - b87 + b94 <= 1;

e480:    b85 - b88 + b95 <= 1;

e481:    b85 - b89 + b96 <= 1;

e482:    b85 - b90 + b97 <= 1;

e483:    b85 - b91 + b98 <= 1;

e484:    b85 - b92 + b99 <= 1;

e485:    b86 - b87 + b100 <= 1;

e486:    b86 - b88 + b101 <= 1;

e487:    b86 - b89 + b102 <= 1;

e488:    b86 - b90 + b103 <= 1;

e489:    b86 - b91 + b104 <= 1;

e490:    b86 - b92 + b240 <= 1;

e491:    b87 - b88 + b105 <= 1;

e492:    b87 - b89 + b106 <= 1;

e493:    b87 - b90 + b107 <= 1;

e494:    b87 - b91 + b108 <= 1;

e495:    b87 - b92 + b109 <= 1;

e496:    b88 - b89 + b110 <= 1;

e497:    b88 - b90 + b111 <= 1;

e498:    b88 - b91 + b112 <= 1;

e499:    b88 - b92 + b113 <= 1;

e500:    b89 - b90 + b114 <= 1;

e501:    b89 - b91 + b115 <= 1;

e502:    b89 - b92 + b116 <= 1;

e503:    b90 - b91 + b117 <= 1;

e504:    b90 - b92 + b118 <= 1;

e505:    b91 - b92 + b119 <= 1;

e506:    b93 - b94 + b100 <= 1;

e507:    b93 - b95 + b101 <= 1;

e508:    b93 - b96 + b102 <= 1;

e509:    b93 - b97 + b103 <= 1;

e510:    b93 - b98 + b104 <= 1;

e511:    b93 - b99 + b240 <= 1;

e512:    b94 - b95 + b105 <= 1;

e513:    b94 - b96 + b106 <= 1;

e514:    b94 - b97 + b107 <= 1;

e515:    b94 - b98 + b108 <= 1;

e516:    b94 - b99 + b109 <= 1;

e517:    b95 - b96 + b110 <= 1;

e518:    b95 - b97 + b111 <= 1;

e519:    b95 - b98 + b112 <= 1;

e520:    b95 - b99 + b113 <= 1;

e521:    b96 - b97 + b114 <= 1;

e522:    b96 - b98 + b115 <= 1;

e523:    b96 - b99 + b116 <= 1;

e524:    b97 - b98 + b117 <= 1;

e525:    b97 - b99 + b118 <= 1;

e526:    b98 - b99 + b119 <= 1;

e527:    b100 - b101 + b105 <= 1;

e528:    b100 - b102 + b106 <= 1;

e529:    b100 - b103 + b107 <= 1;

e530:    b100 - b104 + b108 <= 1;

e531:    b100 + b109 - b240 <= 1;

e532:    b101 - b102 + b110 <= 1;

e533:    b101 - b103 + b111 <= 1;

e534:    b101 - b104 + b112 <= 1;

e535:    b101 + b113 - b240 <= 1;

e536:    b102 - b103 + b114 <= 1;

e537:    b102 - b104 + b115 <= 1;

e538:    b102 + b116 - b240 <= 1;

e539:    b103 - b104 + b117 <= 1;

e540:    b103 + b118 - b240 <= 1;

e541:    b104 + b119 - b240 <= 1;

e542:    b105 - b106 + b110 <= 1;

e543:    b105 - b107 + b111 <= 1;

e544:    b105 - b108 + b112 <= 1;

e545:    b105 - b109 + b113 <= 1;

e546:    b106 - b107 + b114 <= 1;

e547:    b106 - b108 + b115 <= 1;

e548:    b106 - b109 + b116 <= 1;

e549:    b107 - b108 + b117 <= 1;

e550:    b107 - b109 + b118 <= 1;

e551:    b108 - b109 + b119 <= 1;

e552:    b110 - b111 + b114 <= 1;

e553:    b110 - b112 + b115 <= 1;

e554:    b110 - b113 + b116 <= 1;

e555:    b111 - b112 + b117 <= 1;

e556:    b111 - b113 + b118 <= 1;

e557:    b112 - b113 + b119 <= 1;

e558:    b114 - b115 + b117 <= 1;

e559:    b114 - b116 + b118 <= 1;

e560:    b115 - b116 + b119 <= 1;

e561:    b117 - b118 + b119 <= 1;

e562:    b2 - b3 - b4 <= 0;

e563:  - b4 + b5 - b6 <= 0;

e564:  - b4 + b7 - b8 <= 0;

e565:  - b4 + b9 - b10 <= 0;

e566:  - b4 + b11 - b12 <= 0;

e567:  - b4 + b13 - b14 <= 0;

e568:  - b4 + b15 - b16 <= 0;

e569:  - b4 + b17 - b18 <= 0;

e570:  - b4 + b19 - b20 <= 0;

e571:  - b4 + b21 - b22 <= 0;

e572:  - b4 + b23 - b24 <= 0;

e573:  - b4 + b25 - b26 <= 0;

e574:  - b4 + b27 - b28 <= 0;

e575:  - b4 + b29 - b30 <= 0;

e576:  - b2 + b5 - b31 <= 0;

e577:  - b2 + b7 - b32 <= 0;

e578:  - b2 + b9 - b33 <= 0;

e579:  - b2 + b11 - b34 <= 0;

e580:  - b2 + b13 - b35 <= 0;

e581:  - b2 + b15 - b36 <= 0;

e582:  - b2 + b17 - b37 <= 0;

e583:  - b2 + b19 - b38 <= 0;

e584:  - b2 + b21 - b39 <= 0;

e585:  - b2 + b23 - b40 <= 0;

e586:  - b2 + b25 - b41 <= 0;

e587:  - b2 + b27 - b42 <= 0;

e588:  - b2 + b29 - b43 <= 0;

e589:  - b5 + b7 - b44 <= 0;

e590:  - b5 + b9 - b241 <= 0;

e591:  - b5 + b11 - b45 <= 0;

e592:  - b5 + b13 - b46 <= 0;

e593:  - b5 + b15 - b47 <= 0;

e594:  - b5 + b17 - b48 <= 0;

e595:  - b5 + b19 - b49 <= 0;

e596:  - b5 + b21 - b50 <= 0;

e597:  - b5 + b23 - b51 <= 0;

e598:  - b5 + b25 - b52 <= 0;

e599:  - b5 + b27 - b53 <= 0;

e600:  - b5 + b29 - b54 <= 0;

e601:  - b7 + b9 - b55 <= 0;

e602:  - b7 + b11 - b56 <= 0;

e603:  - b7 + b13 - b57 <= 0;

e604:  - b7 + b15 - b58 <= 0;

e605:  - b7 + b17 - b59 <= 0;

e606:  - b7 + b19 - b60 <= 0;

e607:  - b7 + b21 - b61 <= 0;

e608:  - b7 + b23 - b62 <= 0;

e609:  - b7 + b25 - b63 <= 0;

e610:  - b7 + b27 - b64 <= 0;

e611:  - b7 + b29 - b65 <= 0;

e612:  - b9 + b11 - b66 <= 0;

e613:  - b9 + b13 - b67 <= 0;

e614:  - b9 + b15 - b68 <= 0;

e615:  - b9 + b17 - b69 <= 0;

e616:  - b9 + b19 - b70 <= 0;

e617:  - b9 + b21 - b71 <= 0;

e618:  - b9 + b23 - b72 <= 0;

e619:  - b9 + b25 - b73 <= 0;

e620:  - b9 + b27 - b74 <= 0;

e621:  - b9 + b29 - b75 <= 0;

e622:  - b11 + b13 - b76 <= 0;

e623:  - b11 + b15 - b77 <= 0;

e624:  - b11 + b17 - b78 <= 0;

e625:  - b11 + b19 - b79 <= 0;

e626:  - b11 + b21 - b80 <= 0;

e627:  - b11 + b23 - b81 <= 0;

e628:  - b11 + b25 - b82 <= 0;

e629:  - b11 + b27 - b83 <= 0;

e630:  - b11 + b29 - b84 <= 0;

e631:  - b13 + b15 - b85 <= 0;

e632:  - b13 + b17 - b86 <= 0;

e633:  - b13 + b19 - b87 <= 0;

e634:  - b13 + b21 - b88 <= 0;

e635:  - b13 + b23 - b89 <= 0;

e636:  - b13 + b25 - b90 <= 0;

e637:  - b13 + b27 - b91 <= 0;

e638:  - b13 + b29 - b92 <= 0;

e639:  - b15 + b17 - b93 <= 0;

e640:  - b15 + b19 - b94 <= 0;

e641:  - b15 + b21 - b95 <= 0;

e642:  - b15 + b23 - b96 <= 0;

e643:  - b15 + b25 - b97 <= 0;

e644:  - b15 + b27 - b98 <= 0;

e645:  - b15 + b29 - b99 <= 0;

e646:  - b17 + b19 - b100 <= 0;

e647:  - b17 + b21 - b101 <= 0;

e648:  - b17 + b23 - b102 <= 0;

e649:  - b17 + b25 - b103 <= 0;

e650:  - b17 + b27 - b104 <= 0;

e651:  - b17 + b29 - b240 <= 0;

e652:  - b19 + b21 - b105 <= 0;

e653:  - b19 + b23 - b106 <= 0;

e654:  - b19 + b25 - b107 <= 0;

e655:  - b19 + b27 - b108 <= 0;

e656:  - b19 + b29 - b109 <= 0;

e657:  - b21 + b23 - b110 <= 0;

e658:  - b21 + b25 - b111 <= 0;

e659:  - b21 + b27 - b112 <= 0;

e660:  - b21 + b29 - b113 <= 0;

e661:  - b23 + b25 - b114 <= 0;

e662:  - b23 + b27 - b115 <= 0;

e663:  - b23 + b29 - b116 <= 0;

e664:  - b25 + b27 - b117 <= 0;

e665:  - b25 + b29 - b118 <= 0;

e666:  - b27 + b29 - b119 <= 0;

e667:  - b3 + b6 - b31 <= 0;

e668:  - b3 + b8 - b32 <= 0;

e669:  - b3 + b10 - b33 <= 0;

e670:  - b3 + b12 - b34 <= 0;

e671:  - b3 + b14 - b35 <= 0;

e672:  - b3 + b16 - b36 <= 0;

e673:  - b3 + b18 - b37 <= 0;

e674:  - b3 + b20 - b38 <= 0;

e675:  - b3 + b22 - b39 <= 0;

e676:  - b3 + b24 - b40 <= 0;

e677:  - b3 + b26 - b41 <= 0;

e678:  - b3 + b28 - b42 <= 0;

e679:  - b3 + b30 - b43 <= 0;

e680:  - b6 + b8 - b44 <= 0;

e681:  - b6 + b10 - b241 <= 0;

e682:  - b6 + b12 - b45 <= 0;

e683:  - b6 + b14 - b46 <= 0;

e684:  - b6 + b16 - b47 <= 0;

e685:  - b6 + b18 - b48 <= 0;

e686:  - b6 + b20 - b49 <= 0;

e687:  - b6 + b22 - b50 <= 0;

e688:  - b6 + b24 - b51 <= 0;

e689:  - b6 + b26 - b52 <= 0;

e690:  - b6 + b28 - b53 <= 0;

e691:  - b6 + b30 - b54 <= 0;

e692:  - b8 + b10 - b55 <= 0;

e693:  - b8 + b12 - b56 <= 0;

e694:  - b8 + b14 - b57 <= 0;

e695:  - b8 + b16 - b58 <= 0;

e696:  - b8 + b18 - b59 <= 0;

e697:  - b8 + b20 - b60 <= 0;

e698:  - b8 + b22 - b61 <= 0;

e699:  - b8 + b24 - b62 <= 0;

e700:  - b8 + b26 - b63 <= 0;

e701:  - b8 + b28 - b64 <= 0;

e702:  - b8 + b30 - b65 <= 0;

e703:  - b10 + b12 - b66 <= 0;

e704:  - b10 + b14 - b67 <= 0;

e705:  - b10 + b16 - b68 <= 0;

e706:  - b10 + b18 - b69 <= 0;

e707:  - b10 + b20 - b70 <= 0;

e708:  - b10 + b22 - b71 <= 0;

e709:  - b10 + b24 - b72 <= 0;

e710:  - b10 + b26 - b73 <= 0;

e711:  - b10 + b28 - b74 <= 0;

e712:  - b10 + b30 - b75 <= 0;

e713:  - b12 + b14 - b76 <= 0;

e714:  - b12 + b16 - b77 <= 0;

e715:  - b12 + b18 - b78 <= 0;

e716:  - b12 + b20 - b79 <= 0;

e717:  - b12 + b22 - b80 <= 0;

e718:  - b12 + b24 - b81 <= 0;

e719:  - b12 + b26 - b82 <= 0;

e720:  - b12 + b28 - b83 <= 0;

e721:  - b12 + b30 - b84 <= 0;

e722:  - b14 + b16 - b85 <= 0;

e723:  - b14 + b18 - b86 <= 0;

e724:  - b14 + b20 - b87 <= 0;

e725:  - b14 + b22 - b88 <= 0;

e726:  - b14 + b24 - b89 <= 0;

e727:  - b14 + b26 - b90 <= 0;

e728:  - b14 + b28 - b91 <= 0;

e729:  - b14 + b30 - b92 <= 0;

e730:  - b16 + b18 - b93 <= 0;

e731:  - b16 + b20 - b94 <= 0;

e732:  - b16 + b22 - b95 <= 0;

e733:  - b16 + b24 - b96 <= 0;

e734:  - b16 + b26 - b97 <= 0;

e735:  - b16 + b28 - b98 <= 0;

e736:  - b16 + b30 - b99 <= 0;

e737:  - b18 + b20 - b100 <= 0;

e738:  - b18 + b22 - b101 <= 0;

e739:  - b18 + b24 - b102 <= 0;

e740:  - b18 + b26 - b103 <= 0;

e741:  - b18 + b28 - b104 <= 0;

e742:  - b18 + b30 - b240 <= 0;

e743:  - b20 + b22 - b105 <= 0;

e744:  - b20 + b24 - b106 <= 0;

e745:  - b20 + b26 - b107 <= 0;

e746:  - b20 + b28 - b108 <= 0;

e747:  - b20 + b30 - b109 <= 0;

e748:  - b22 + b24 - b110 <= 0;

e749:  - b22 + b26 - b111 <= 0;

e750:  - b22 + b28 - b112 <= 0;

e751:  - b22 + b30 - b113 <= 0;

e752:  - b24 + b26 - b114 <= 0;

e753:  - b24 + b28 - b115 <= 0;

e754:  - b24 + b30 - b116 <= 0;

e755:  - b26 + b28 - b117 <= 0;

e756:  - b26 + b30 - b118 <= 0;

e757:  - b28 + b30 - b119 <= 0;

e758:  - b31 + b32 - b44 <= 0;

e759:  - b31 + b33 - b241 <= 0;

e760:  - b31 + b34 - b45 <= 0;

e761:  - b31 + b35 - b46 <= 0;

e762:  - b31 + b36 - b47 <= 0;

e763:  - b31 + b37 - b48 <= 0;

e764:  - b31 + b38 - b49 <= 0;

e765:  - b31 + b39 - b50 <= 0;

e766:  - b31 + b40 - b51 <= 0;

e767:  - b31 + b41 - b52 <= 0;

e768:  - b31 + b42 - b53 <= 0;

e769:  - b31 + b43 - b54 <= 0;

e770:  - b32 + b33 - b55 <= 0;

e771:  - b32 + b34 - b56 <= 0;

e772:  - b32 + b35 - b57 <= 0;

e773:  - b32 + b36 - b58 <= 0;

e774:  - b32 + b37 - b59 <= 0;

e775:  - b32 + b38 - b60 <= 0;

e776:  - b32 + b39 - b61 <= 0;

e777:  - b32 + b40 - b62 <= 0;

e778:  - b32 + b41 - b63 <= 0;

e779:  - b32 + b42 - b64 <= 0;

e780:  - b32 + b43 - b65 <= 0;

e781:  - b33 + b34 - b66 <= 0;

e782:  - b33 + b35 - b67 <= 0;

e783:  - b33 + b36 - b68 <= 0;

e784:  - b33 + b37 - b69 <= 0;

e785:  - b33 + b38 - b70 <= 0;

e786:  - b33 + b39 - b71 <= 0;

e787:  - b33 + b40 - b72 <= 0;

e788:  - b33 + b41 - b73 <= 0;

e789:  - b33 + b42 - b74 <= 0;

e790:  - b33 + b43 - b75 <= 0;

e791:  - b34 + b35 - b76 <= 0;

e792:  - b34 + b36 - b77 <= 0;

e793:  - b34 + b37 - b78 <= 0;

e794:  - b34 + b38 - b79 <= 0;

e795:  - b34 + b39 - b80 <= 0;

e796:  - b34 + b40 - b81 <= 0;

e797:  - b34 + b41 - b82 <= 0;

e798:  - b34 + b42 - b83 <= 0;

e799:  - b34 + b43 - b84 <= 0;

e800:  - b35 + b36 - b85 <= 0;

e801:  - b35 + b37 - b86 <= 0;

e802:  - b35 + b38 - b87 <= 0;

e803:  - b35 + b39 - b88 <= 0;

e804:  - b35 + b40 - b89 <= 0;

e805:  - b35 + b41 - b90 <= 0;

e806:  - b35 + b42 - b91 <= 0;

e807:  - b35 + b43 - b92 <= 0;

e808:  - b36 + b37 - b93 <= 0;

e809:  - b36 + b38 - b94 <= 0;

e810:  - b36 + b39 - b95 <= 0;

e811:  - b36 + b40 - b96 <= 0;

e812:  - b36 + b41 - b97 <= 0;

e813:  - b36 + b42 - b98 <= 0;

e814:  - b36 + b43 - b99 <= 0;

e815:  - b37 + b38 - b100 <= 0;

e816:  - b37 + b39 - b101 <= 0;

e817:  - b37 + b40 - b102 <= 0;

e818:  - b37 + b41 - b103 <= 0;

e819:  - b37 + b42 - b104 <= 0;

e820:  - b37 + b43 - b240 <= 0;

e821:  - b38 + b39 - b105 <= 0;

e822:  - b38 + b40 - b106 <= 0;

e823:  - b38 + b41 - b107 <= 0;

e824:  - b38 + b42 - b108 <= 0;

e825:  - b38 + b43 - b109 <= 0;

e826:  - b39 + b40 - b110 <= 0;

e827:  - b39 + b41 - b111 <= 0;

e828:  - b39 + b42 - b112 <= 0;

e829:  - b39 + b43 - b113 <= 0;

e830:  - b40 + b41 - b114 <= 0;

e831:  - b40 + b42 - b115 <= 0;

e832:  - b40 + b43 - b116 <= 0;

e833:  - b41 + b42 - b117 <= 0;

e834:  - b41 + b43 - b118 <= 0;

e835:  - b42 + b43 - b119 <= 0;

e836:  - b44 - b55 + b241 <= 0;

e837:  - b44 + b45 - b56 <= 0;

e838:  - b44 + b46 - b57 <= 0;

e839:  - b44 + b47 - b58 <= 0;

e840:  - b44 + b48 - b59 <= 0;

e841:  - b44 + b49 - b60 <= 0;

e842:  - b44 + b50 - b61 <= 0;

e843:  - b44 + b51 - b62 <= 0;

e844:  - b44 + b52 - b63 <= 0;

e845:  - b44 + b53 - b64 <= 0;

e846:  - b44 + b54 - b65 <= 0;

e847:    b45 - b66 - b241 <= 0;

e848:    b46 - b67 - b241 <= 0;

e849:    b47 - b68 - b241 <= 0;

e850:    b48 - b69 - b241 <= 0;

e851:    b49 - b70 - b241 <= 0;

e852:    b50 - b71 - b241 <= 0;

e853:    b51 - b72 - b241 <= 0;

e854:    b52 - b73 - b241 <= 0;

e855:    b53 - b74 - b241 <= 0;

e856:    b54 - b75 - b241 <= 0;

e857:  - b45 + b46 - b76 <= 0;

e858:  - b45 + b47 - b77 <= 0;

e859:  - b45 + b48 - b78 <= 0;

e860:  - b45 + b49 - b79 <= 0;

e861:  - b45 + b50 - b80 <= 0;

e862:  - b45 + b51 - b81 <= 0;

e863:  - b45 + b52 - b82 <= 0;

e864:  - b45 + b53 - b83 <= 0;

e865:  - b45 + b54 - b84 <= 0;

e866:  - b46 + b47 - b85 <= 0;

e867:  - b46 + b48 - b86 <= 0;

e868:  - b46 + b49 - b87 <= 0;

e869:  - b46 + b50 - b88 <= 0;

e870:  - b46 + b51 - b89 <= 0;

e871:  - b46 + b52 - b90 <= 0;

e872:  - b46 + b53 - b91 <= 0;

e873:  - b46 + b54 - b92 <= 0;

e874:  - b47 + b48 - b93 <= 0;

e875:  - b47 + b49 - b94 <= 0;

e876:  - b47 + b50 - b95 <= 0;

e877:  - b47 + b51 - b96 <= 0;

e878:  - b47 + b52 - b97 <= 0;

e879:  - b47 + b53 - b98 <= 0;

e880:  - b47 + b54 - b99 <= 0;

e881:  - b48 + b49 - b100 <= 0;

e882:  - b48 + b50 - b101 <= 0;

e883:  - b48 + b51 - b102 <= 0;

e884:  - b48 + b52 - b103 <= 0;

e885:  - b48 + b53 - b104 <= 0;

e886:  - b48 + b54 - b240 <= 0;

e887:  - b49 + b50 - b105 <= 0;

e888:  - b49 + b51 - b106 <= 0;

e889:  - b49 + b52 - b107 <= 0;

e890:  - b49 + b53 - b108 <= 0;

e891:  - b49 + b54 - b109 <= 0;

e892:  - b50 + b51 - b110 <= 0;

e893:  - b50 + b52 - b111 <= 0;

e894:  - b50 + b53 - b112 <= 0;

e895:  - b50 + b54 - b113 <= 0;

e896:  - b51 + b52 - b114 <= 0;

e897:  - b51 + b53 - b115 <= 0;

e898:  - b51 + b54 - b116 <= 0;

e899:  - b52 + b53 - b117 <= 0;

e900:  - b52 + b54 - b118 <= 0;

e901:  - b53 + b54 - b119 <= 0;

e902:  - b55 + b56 - b66 <= 0;

e903:  - b55 + b57 - b67 <= 0;

e904:  - b55 + b58 - b68 <= 0;

e905:  - b55 + b59 - b69 <= 0;

e906:  - b55 + b60 - b70 <= 0;

e907:  - b55 + b61 - b71 <= 0;

e908:  - b55 + b62 - b72 <= 0;

e909:  - b55 + b63 - b73 <= 0;

e910:  - b55 + b64 - b74 <= 0;

e911:  - b55 + b65 - b75 <= 0;

e912:  - b56 + b57 - b76 <= 0;

e913:  - b56 + b58 - b77 <= 0;

e914:  - b56 + b59 - b78 <= 0;

e915:  - b56 + b60 - b79 <= 0;

e916:  - b56 + b61 - b80 <= 0;

e917:  - b56 + b62 - b81 <= 0;

e918:  - b56 + b63 - b82 <= 0;

e919:  - b56 + b64 - b83 <= 0;

e920:  - b56 + b65 - b84 <= 0;

e921:  - b57 + b58 - b85 <= 0;

e922:  - b57 + b59 - b86 <= 0;

e923:  - b57 + b60 - b87 <= 0;

e924:  - b57 + b61 - b88 <= 0;

e925:  - b57 + b62 - b89 <= 0;

e926:  - b57 + b63 - b90 <= 0;

e927:  - b57 + b64 - b91 <= 0;

e928:  - b57 + b65 - b92 <= 0;

e929:  - b58 + b59 - b93 <= 0;

e930:  - b58 + b60 - b94 <= 0;

e931:  - b58 + b61 - b95 <= 0;

e932:  - b58 + b62 - b96 <= 0;

e933:  - b58 + b63 - b97 <= 0;

e934:  - b58 + b64 - b98 <= 0;

e935:  - b58 + b65 - b99 <= 0;

e936:  - b59 + b60 - b100 <= 0;

e937:  - b59 + b61 - b101 <= 0;

e938:  - b59 + b62 - b102 <= 0;

e939:  - b59 + b63 - b103 <= 0;

e940:  - b59 + b64 - b104 <= 0;

e941:  - b59 + b65 - b240 <= 0;

e942:  - b60 + b61 - b105 <= 0;

e943:  - b60 + b62 - b106 <= 0;

e944:  - b60 + b63 - b107 <= 0;

e945:  - b60 + b64 - b108 <= 0;

e946:  - b60 + b65 - b109 <= 0;

e947:  - b61 + b62 - b110 <= 0;

e948:  - b61 + b63 - b111 <= 0;

e949:  - b61 + b64 - b112 <= 0;

e950:  - b61 + b65 - b113 <= 0;

e951:  - b62 + b63 - b114 <= 0;

e952:  - b62 + b64 - b115 <= 0;

e953:  - b62 + b65 - b116 <= 0;

e954:  - b63 + b64 - b117 <= 0;

e955:  - b63 + b65 - b118 <= 0;

e956:  - b64 + b65 - b119 <= 0;

e957:  - b66 + b67 - b76 <= 0;

e958:  - b66 + b68 - b77 <= 0;

e959:  - b66 + b69 - b78 <= 0;

e960:  - b66 + b70 - b79 <= 0;

e961:  - b66 + b71 - b80 <= 0;

e962:  - b66 + b72 - b81 <= 0;

e963:  - b66 + b73 - b82 <= 0;

e964:  - b66 + b74 - b83 <= 0;

e965:  - b66 + b75 - b84 <= 0;

e966:  - b67 + b68 - b85 <= 0;

e967:  - b67 + b69 - b86 <= 0;

e968:  - b67 + b70 - b87 <= 0;

e969:  - b67 + b71 - b88 <= 0;

e970:  - b67 + b72 - b89 <= 0;

e971:  - b67 + b73 - b90 <= 0;

e972:  - b67 + b74 - b91 <= 0;

e973:  - b67 + b75 - b92 <= 0;

e974:  - b68 + b69 - b93 <= 0;

e975:  - b68 + b70 - b94 <= 0;

e976:  - b68 + b71 - b95 <= 0;

e977:  - b68 + b72 - b96 <= 0;

e978:  - b68 + b73 - b97 <= 0;

e979:  - b68 + b74 - b98 <= 0;

e980:  - b68 + b75 - b99 <= 0;

e981:  - b69 + b70 - b100 <= 0;

e982:  - b69 + b71 - b101 <= 0;

e983:  - b69 + b72 - b102 <= 0;

e984:  - b69 + b73 - b103 <= 0;

e985:  - b69 + b74 - b104 <= 0;

e986:  - b69 + b75 - b240 <= 0;

e987:  - b70 + b71 - b105 <= 0;

e988:  - b70 + b72 - b106 <= 0;

e989:  - b70 + b73 - b107 <= 0;

e990:  - b70 + b74 - b108 <= 0;

e991:  - b70 + b75 - b109 <= 0;

e992:  - b71 + b72 - b110 <= 0;

e993:  - b71 + b73 - b111 <= 0;

e994:  - b71 + b74 - b112 <= 0;

e995:  - b71 + b75 - b113 <= 0;

e996:  - b72 + b73 - b114 <= 0;

e997:  - b72 + b74 - b115 <= 0;

e998:  - b72 + b75 - b116 <= 0;

e999:  - b73 + b74 - b117 <= 0;

e1000:  - b73 + b75 - b118 <= 0;

e1001:  - b74 + b75 - b119 <= 0;

e1002:  - b76 + b77 - b85 <= 0;

e1003:  - b76 + b78 - b86 <= 0;

e1004:  - b76 + b79 - b87 <= 0;

e1005:  - b76 + b80 - b88 <= 0;

e1006:  - b76 + b81 - b89 <= 0;

e1007:  - b76 + b82 - b90 <= 0;

e1008:  - b76 + b83 - b91 <= 0;

e1009:  - b76 + b84 - b92 <= 0;

e1010:  - b77 + b78 - b93 <= 0;

e1011:  - b77 + b79 - b94 <= 0;

e1012:  - b77 + b80 - b95 <= 0;

e1013:  - b77 + b81 - b96 <= 0;

e1014:  - b77 + b82 - b97 <= 0;

e1015:  - b77 + b83 - b98 <= 0;

e1016:  - b77 + b84 - b99 <= 0;

e1017:  - b78 + b79 - b100 <= 0;

e1018:  - b78 + b80 - b101 <= 0;

e1019:  - b78 + b81 - b102 <= 0;

e1020:  - b78 + b82 - b103 <= 0;

e1021:  - b78 + b83 - b104 <= 0;

e1022:  - b78 + b84 - b240 <= 0;

e1023:  - b79 + b80 - b105 <= 0;

e1024:  - b79 + b81 - b106 <= 0;

e1025:  - b79 + b82 - b107 <= 0;

e1026:  - b79 + b83 - b108 <= 0;

e1027:  - b79 + b84 - b109 <= 0;

e1028:  - b80 + b81 - b110 <= 0;

e1029:  - b80 + b82 - b111 <= 0;

e1030:  - b80 + b83 - b112 <= 0;

e1031:  - b80 + b84 - b113 <= 0;

e1032:  - b81 + b82 - b114 <= 0;

e1033:  - b81 + b83 - b115 <= 0;

e1034:  - b81 + b84 - b116 <= 0;

e1035:  - b82 + b83 - b117 <= 0;

e1036:  - b82 + b84 - b118 <= 0;

e1037:  - b83 + b84 - b119 <= 0;

e1038:  - b85 + b86 - b93 <= 0;

e1039:  - b85 + b87 - b94 <= 0;

e1040:  - b85 + b88 - b95 <= 0;

e1041:  - b85 + b89 - b96 <= 0;

e1042:  - b85 + b90 - b97 <= 0;

e1043:  - b85 + b91 - b98 <= 0;

e1044:  - b85 + b92 - b99 <= 0;

e1045:  - b86 + b87 - b100 <= 0;

e1046:  - b86 + b88 - b101 <= 0;

e1047:  - b86 + b89 - b102 <= 0;

e1048:  - b86 + b90 - b103 <= 0;

e1049:  - b86 + b91 - b104 <= 0;

e1050:  - b86 + b92 - b240 <= 0;

e1051:  - b87 + b88 - b105 <= 0;

e1052:  - b87 + b89 - b106 <= 0;

e1053:  - b87 + b90 - b107 <= 0;

e1054:  - b87 + b91 - b108 <= 0;

e1055:  - b87 + b92 - b109 <= 0;

e1056:  - b88 + b89 - b110 <= 0;

e1057:  - b88 + b90 - b111 <= 0;

e1058:  - b88 + b91 - b112 <= 0;

e1059:  - b88 + b92 - b113 <= 0;

e1060:  - b89 + b90 - b114 <= 0;

e1061:  - b89 + b91 - b115 <= 0;

e1062:  - b89 + b92 - b116 <= 0;

e1063:  - b90 + b91 - b117 <= 0;

e1064:  - b90 + b92 - b118 <= 0;

e1065:  - b91 + b92 - b119 <= 0;

e1066:  - b93 + b94 - b100 <= 0;

e1067:  - b93 + b95 - b101 <= 0;

e1068:  - b93 + b96 - b102 <= 0;

e1069:  - b93 + b97 - b103 <= 0;

e1070:  - b93 + b98 - b104 <= 0;

e1071:  - b93 + b99 - b240 <= 0;

e1072:  - b94 + b95 - b105 <= 0;

e1073:  - b94 + b96 - b106 <= 0;

e1074:  - b94 + b97 - b107 <= 0;

e1075:  - b94 + b98 - b108 <= 0;

e1076:  - b94 + b99 - b109 <= 0;

e1077:  - b95 + b96 - b110 <= 0;

e1078:  - b95 + b97 - b111 <= 0;

e1079:  - b95 + b98 - b112 <= 0;

e1080:  - b95 + b99 - b113 <= 0;

e1081:  - b96 + b97 - b114 <= 0;

e1082:  - b96 + b98 - b115 <= 0;

e1083:  - b96 + b99 - b116 <= 0;

e1084:  - b97 + b98 - b117 <= 0;

e1085:  - b97 + b99 - b118 <= 0;

e1086:  - b98 + b99 - b119 <= 0;

e1087:  - b100 + b101 - b105 <= 0;

e1088:  - b100 + b102 - b106 <= 0;

e1089:  - b100 + b103 - b107 <= 0;

e1090:  - b100 + b104 - b108 <= 0;

e1091:  - b100 - b109 + b240 <= 0;

e1092:  - b101 + b102 - b110 <= 0;

e1093:  - b101 + b103 - b111 <= 0;

e1094:  - b101 + b104 - b112 <= 0;

e1095:  - b101 - b113 + b240 <= 0;

e1096:  - b102 + b103 - b114 <= 0;

e1097:  - b102 + b104 - b115 <= 0;

e1098:  - b102 - b116 + b240 <= 0;

e1099:  - b103 + b104 - b117 <= 0;

e1100:  - b103 - b118 + b240 <= 0;

e1101:  - b104 - b119 + b240 <= 0;

e1102:  - b105 + b106 - b110 <= 0;

e1103:  - b105 + b107 - b111 <= 0;

e1104:  - b105 + b108 - b112 <= 0;

e1105:  - b105 + b109 - b113 <= 0;

e1106:  - b106 + b107 - b114 <= 0;

e1107:  - b106 + b108 - b115 <= 0;

e1108:  - b106 + b109 - b116 <= 0;

e1109:  - b107 + b108 - b117 <= 0;

e1110:  - b107 + b109 - b118 <= 0;

e1111:  - b108 + b109 - b119 <= 0;

e1112:  - b110 + b111 - b114 <= 0;

e1113:  - b110 + b112 - b115 <= 0;

e1114:  - b110 + b113 - b116 <= 0;

e1115:  - b111 + b112 - b117 <= 0;

e1116:  - b111 + b113 - b118 <= 0;

e1117:  - b112 + b113 - b119 <= 0;

e1118:  - b114 + b115 - b117 <= 0;

e1119:  - b114 + b116 - b118 <= 0;

e1120:  - b115 + b116 - b119 <= 0;

e1121:  - b117 + b118 - b119 <= 0;

e1122:  - b120 + b121 + b235 <= 1;

e1123:  - b122 + b123 + b235 <= 1;

e1124:    b235 + b236 - b237 <= 1;

e1125:    b124 - b232 + b235 <= 1;

e1126:  - b125 + b126 + b235 <= 1;

e1127:  - b127 + b128 + b235 <= 1;

e1128:    b129 - b233 + b235 <= 1;

e1129:  - b130 + b131 + b235 <= 1;

e1130:  - b132 + b133 + b235 <= 1;

e1131:    b134 - b231 + b235 <= 1;

e1132:  - b135 + b136 + b235 <= 1;

e1133:  - b137 + b138 + b235 <= 1;

e1134:  - b139 + b140 + b235 <= 1;

e1135:  - b141 + b142 + b235 <= 1;

e1136:    b120 - b122 + b143 <= 1;

e1137:    b120 + b144 - b237 <= 1;

e1138:    b120 + b145 - b232 <= 1;

e1139:    b120 - b125 + b146 <= 1;

e1140:    b120 - b127 + b147 <= 1;

e1141:    b120 + b148 - b233 <= 1;

e1142:    b120 - b130 + b149 <= 1;

e1143:    b120 - b132 + b150 <= 1;

e1144:    b120 + b151 - b231 <= 1;

e1145:    b120 - b135 + b152 <= 1;

e1146:    b120 - b137 + b153 <= 1;

e1147:    b120 - b139 + b154 <= 1;

e1148:    b120 - b141 + b155 <= 1;

e1149:    b122 + b156 - b237 <= 1;

e1150:    b122 + b157 - b232 <= 1;

e1151:    b122 - b125 + b158 <= 1;

e1152:    b122 - b127 + b159 <= 1;

e1153:    b122 + b160 - b233 <= 1;

e1154:    b122 - b130 + b161 <= 1;

e1155:    b122 - b132 + b162 <= 1;

e1156:    b122 + b163 - b231 <= 1;

e1157:    b122 - b135 + b164 <= 1;

e1158:    b122 - b137 + b165 <= 1;

e1159:    b122 - b139 + b166 <= 1;

e1160:    b122 - b141 + b167 <= 1;

e1161:    b168 - b232 + b237 <= 1;

e1162:  - b125 + b169 + b237 <= 1;

e1163:  - b127 + b170 + b237 <= 1;

e1164:  - b233 + b234 + b237 <= 1;

e1165:  - b130 + b171 + b237 <= 1;

e1166:  - b132 + b172 + b237 <= 1;

e1167:    b173 - b231 + b237 <= 1;

e1168:  - b135 + b174 + b237 <= 1;

e1169:  - b137 + b175 + b237 <= 1;

e1170:  - b139 + b176 + b237 <= 1;

e1171:  - b141 + b177 + b237 <= 1;

e1172:  - b125 + b178 + b232 <= 1;

e1173:  - b127 + b179 + b232 <= 1;

e1174:    b180 + b232 - b233 <= 1;

e1175:  - b130 + b181 + b232 <= 1;

e1176:  - b132 + b182 + b232 <= 1;

e1177:    b183 - b231 + b232 <= 1;

e1178:  - b135 + b184 + b232 <= 1;

e1179:  - b137 + b185 + b232 <= 1;

e1180:  - b139 + b186 + b232 <= 1;

e1181:  - b141 + b187 + b232 <= 1;

e1182:    b125 - b127 + b188 <= 1;

e1183:    b125 + b189 - b233 <= 1;

e1184:    b125 - b130 + b190 <= 1;

e1185:    b125 - b132 + b191 <= 1;

e1186:    b125 + b192 - b231 <= 1;

e1187:    b125 - b135 + b193 <= 1;

e1188:    b125 - b137 + b194 <= 1;

e1189:    b125 - b139 + b195 <= 1;

e1190:    b125 - b141 + b238 <= 1;

e1191:    b127 + b196 - b233 <= 1;

e1192:    b127 - b130 + b197 <= 1;

e1193:    b127 - b132 + b198 <= 1;

e1194:    b127 + b199 - b231 <= 1;

e1195:    b127 - b135 + b200 <= 1;

e1196:    b127 - b137 + b201 <= 1;

e1197:    b127 - b139 + b202 <= 1;

e1198:    b127 - b141 + b203 <= 1;

e1199:  - b130 + b204 + b233 <= 1;

e1200:  - b132 + b233 + b239 <= 1;

e1201:    b205 - b231 + b233 <= 1;

e1202:  - b135 + b206 + b233 <= 1;

e1203:  - b137 + b207 + b233 <= 1;

e1204:  - b139 + b208 + b233 <= 1;

e1205:  - b141 + b209 + b233 <= 1;

e1206:    b130 - b132 + b210 <= 1;

e1207:    b130 + b211 - b231 <= 1;

e1208:    b130 - b135 + b212 <= 1;

e1209:    b130 - b137 + b213 <= 1;

e1210:    b130 - b139 + b214 <= 1;

e1211:    b130 - b141 + b215 <= 1;

e1212:    b132 + b216 - b231 <= 1;

e1213:    b132 - b135 + b217 <= 1;

e1214:    b132 - b137 + b218 <= 1;

e1215:    b132 - b139 + b219 <= 1;

e1216:    b132 - b141 + b220 <= 1;

e1217:  - b135 + b221 + b231 <= 1;

e1218:  - b137 + b222 + b231 <= 1;

e1219:  - b139 + b223 + b231 <= 1;

e1220:  - b141 + b224 + b231 <= 1;

e1221:    b135 - b137 + b225 <= 1;

e1222:    b135 - b139 + b226 <= 1;

e1223:    b135 - b141 + b227 <= 1;

e1224:    b137 - b139 + b228 <= 1;

e1225:    b137 - b141 + b229 <= 1;

e1226:    b139 - b141 + b230 <= 1;

e1227:    b121 - b123 + b143 <= 1;

e1228:    b121 + b144 - b236 <= 1;

e1229:    b121 - b124 + b145 <= 1;

e1230:    b121 - b126 + b146 <= 1;

e1231:    b121 - b128 + b147 <= 1;

e1232:    b121 - b129 + b148 <= 1;

e1233:    b121 - b131 + b149 <= 1;

e1234:    b121 - b133 + b150 <= 1;

e1235:    b121 - b134 + b151 <= 1;

e1236:    b121 - b136 + b152 <= 1;

e1237:    b121 - b138 + b153 <= 1;

e1238:    b121 - b140 + b154 <= 1;

e1239:    b121 - b142 + b155 <= 1;

e1240:    b123 + b156 - b236 <= 1;

e1241:    b123 - b124 + b157 <= 1;

e1242:    b123 - b126 + b158 <= 1;

e1243:    b123 - b128 + b159 <= 1;

e1244:    b123 - b129 + b160 <= 1;

e1245:    b123 - b131 + b161 <= 1;

e1246:    b123 - b133 + b162 <= 1;

e1247:    b123 - b134 + b163 <= 1;

e1248:    b123 - b136 + b164 <= 1;

e1249:    b123 - b138 + b165 <= 1;

e1250:    b123 - b140 + b166 <= 1;

e1251:    b123 - b142 + b167 <= 1;

e1252:  - b124 + b168 + b236 <= 1;

e1253:  - b126 + b169 + b236 <= 1;

e1254:  - b128 + b170 + b236 <= 1;

e1255:  - b129 + b234 + b236 <= 1;

e1256:  - b131 + b171 + b236 <= 1;

e1257:  - b133 + b172 + b236 <= 1;

e1258:  - b134 + b173 + b236 <= 1;

e1259:  - b136 + b174 + b236 <= 1;

e1260:  - b138 + b175 + b236 <= 1;

e1261:  - b140 + b176 + b236 <= 1;

e1262:  - b142 + b177 + b236 <= 1;

e1263:    b124 - b126 + b178 <= 1;

e1264:    b124 - b128 + b179 <= 1;

e1265:    b124 - b129 + b180 <= 1;

e1266:    b124 - b131 + b181 <= 1;

e1267:    b124 - b133 + b182 <= 1;

e1268:    b124 - b134 + b183 <= 1;

e1269:    b124 - b136 + b184 <= 1;

e1270:    b124 - b138 + b185 <= 1;

e1271:    b124 - b140 + b186 <= 1;

e1272:    b124 - b142 + b187 <= 1;

e1273:    b126 - b128 + b188 <= 1;

e1274:    b126 - b129 + b189 <= 1;

e1275:    b126 - b131 + b190 <= 1;

e1276:    b126 - b133 + b191 <= 1;

e1277:    b126 - b134 + b192 <= 1;

e1278:    b126 - b136 + b193 <= 1;

e1279:    b126 - b138 + b194 <= 1;

e1280:    b126 - b140 + b195 <= 1;

e1281:    b126 - b142 + b238 <= 1;

e1282:    b128 - b129 + b196 <= 1;

e1283:    b128 - b131 + b197 <= 1;

e1284:    b128 - b133 + b198 <= 1;

e1285:    b128 - b134 + b199 <= 1;

e1286:    b128 - b136 + b200 <= 1;

e1287:    b128 - b138 + b201 <= 1;

e1288:    b128 - b140 + b202 <= 1;

e1289:    b128 - b142 + b203 <= 1;

e1290:    b129 - b131 + b204 <= 1;

e1291:    b129 - b133 + b239 <= 1;

e1292:    b129 - b134 + b205 <= 1;

e1293:    b129 - b136 + b206 <= 1;

e1294:    b129 - b138 + b207 <= 1;

e1295:    b129 - b140 + b208 <= 1;

e1296:    b129 - b142 + b209 <= 1;

e1297:    b131 - b133 + b210 <= 1;

e1298:    b131 - b134 + b211 <= 1;

e1299:    b131 - b136 + b212 <= 1;

e1300:    b131 - b138 + b213 <= 1;

e1301:    b131 - b140 + b214 <= 1;

e1302:    b131 - b142 + b215 <= 1;

e1303:    b133 - b134 + b216 <= 1;

e1304:    b133 - b136 + b217 <= 1;

e1305:    b133 - b138 + b218 <= 1;

e1306:    b133 - b140 + b219 <= 1;

e1307:    b133 - b142 + b220 <= 1;

e1308:    b134 - b136 + b221 <= 1;

e1309:    b134 - b138 + b222 <= 1;

e1310:    b134 - b140 + b223 <= 1;

e1311:    b134 - b142 + b224 <= 1;

e1312:    b136 - b138 + b225 <= 1;

e1313:    b136 - b140 + b226 <= 1;

e1314:    b136 - b142 + b227 <= 1;

e1315:    b138 - b140 + b228 <= 1;

e1316:    b138 - b142 + b229 <= 1;

e1317:    b140 - b142 + b230 <= 1;

e1318:    b143 - b144 + b156 <= 1;

e1319:    b143 - b145 + b157 <= 1;

e1320:    b143 - b146 + b158 <= 1;

e1321:    b143 - b147 + b159 <= 1;

e1322:    b143 - b148 + b160 <= 1;

e1323:    b143 - b149 + b161 <= 1;

e1324:    b143 - b150 + b162 <= 1;

e1325:    b143 - b151 + b163 <= 1;

e1326:    b143 - b152 + b164 <= 1;

e1327:    b143 - b153 + b165 <= 1;

e1328:    b143 - b154 + b166 <= 1;

e1329:    b143 - b155 + b167 <= 1;

e1330:    b144 - b145 + b168 <= 1;

e1331:    b144 - b146 + b169 <= 1;

e1332:    b144 - b147 + b170 <= 1;

e1333:    b144 - b148 + b234 <= 1;

e1334:    b144 - b149 + b171 <= 1;

e1335:    b144 - b150 + b172 <= 1;

e1336:    b144 - b151 + b173 <= 1;

e1337:    b144 - b152 + b174 <= 1;

e1338:    b144 - b153 + b175 <= 1;

e1339:    b144 - b154 + b176 <= 1;

e1340:    b144 - b155 + b177 <= 1;

e1341:    b145 - b146 + b178 <= 1;

e1342:    b145 - b147 + b179 <= 1;

e1343:    b145 - b148 + b180 <= 1;

e1344:    b145 - b149 + b181 <= 1;

e1345:    b145 - b150 + b182 <= 1;

e1346:    b145 - b151 + b183 <= 1;

e1347:    b145 - b152 + b184 <= 1;

e1348:    b145 - b153 + b185 <= 1;

e1349:    b145 - b154 + b186 <= 1;

e1350:    b145 - b155 + b187 <= 1;

e1351:    b146 - b147 + b188 <= 1;

e1352:    b146 - b148 + b189 <= 1;

e1353:    b146 - b149 + b190 <= 1;

e1354:    b146 - b150 + b191 <= 1;

e1355:    b146 - b151 + b192 <= 1;

e1356:    b146 - b152 + b193 <= 1;

e1357:    b146 - b153 + b194 <= 1;

e1358:    b146 - b154 + b195 <= 1;

e1359:    b146 - b155 + b238 <= 1;

e1360:    b147 - b148 + b196 <= 1;

e1361:    b147 - b149 + b197 <= 1;

e1362:    b147 - b150 + b198 <= 1;

e1363:    b147 - b151 + b199 <= 1;

e1364:    b147 - b152 + b200 <= 1;

e1365:    b147 - b153 + b201 <= 1;

e1366:    b147 - b154 + b202 <= 1;

e1367:    b147 - b155 + b203 <= 1;

e1368:    b148 - b149 + b204 <= 1;

e1369:    b148 - b150 + b239 <= 1;

e1370:    b148 - b151 + b205 <= 1;

e1371:    b148 - b152 + b206 <= 1;

e1372:    b148 - b153 + b207 <= 1;

e1373:    b148 - b154 + b208 <= 1;

e1374:    b148 - b155 + b209 <= 1;

e1375:    b149 - b150 + b210 <= 1;

e1376:    b149 - b151 + b211 <= 1;

e1377:    b149 - b152 + b212 <= 1;

e1378:    b149 - b153 + b213 <= 1;

e1379:    b149 - b154 + b214 <= 1;

e1380:    b149 - b155 + b215 <= 1;

e1381:    b150 - b151 + b216 <= 1;

e1382:    b150 - b152 + b217 <= 1;

e1383:    b150 - b153 + b218 <= 1;

e1384:    b150 - b154 + b219 <= 1;

e1385:    b150 - b155 + b220 <= 1;

e1386:    b151 - b152 + b221 <= 1;

e1387:    b151 - b153 + b222 <= 1;

e1388:    b151 - b154 + b223 <= 1;

e1389:    b151 - b155 + b224 <= 1;

e1390:    b152 - b153 + b225 <= 1;

e1391:    b152 - b154 + b226 <= 1;

e1392:    b152 - b155 + b227 <= 1;

e1393:    b153 - b154 + b228 <= 1;

e1394:    b153 - b155 + b229 <= 1;

e1395:    b154 - b155 + b230 <= 1;

e1396:    b156 - b157 + b168 <= 1;

e1397:    b156 - b158 + b169 <= 1;

e1398:    b156 - b159 + b170 <= 1;

e1399:    b156 - b160 + b234 <= 1;

e1400:    b156 - b161 + b171 <= 1;

e1401:    b156 - b162 + b172 <= 1;

e1402:    b156 - b163 + b173 <= 1;

e1403:    b156 - b164 + b174 <= 1;

e1404:    b156 - b165 + b175 <= 1;

e1405:    b156 - b166 + b176 <= 1;

e1406:    b156 - b167 + b177 <= 1;

e1407:    b157 - b158 + b178 <= 1;

e1408:    b157 - b159 + b179 <= 1;

e1409:    b157 - b160 + b180 <= 1;

e1410:    b157 - b161 + b181 <= 1;

e1411:    b157 - b162 + b182 <= 1;

e1412:    b157 - b163 + b183 <= 1;

e1413:    b157 - b164 + b184 <= 1;

e1414:    b157 - b165 + b185 <= 1;

e1415:    b157 - b166 + b186 <= 1;

e1416:    b157 - b167 + b187 <= 1;

e1417:    b158 - b159 + b188 <= 1;

e1418:    b158 - b160 + b189 <= 1;

e1419:    b158 - b161 + b190 <= 1;

e1420:    b158 - b162 + b191 <= 1;

e1421:    b158 - b163 + b192 <= 1;

e1422:    b158 - b164 + b193 <= 1;

e1423:    b158 - b165 + b194 <= 1;

e1424:    b158 - b166 + b195 <= 1;

e1425:    b158 - b167 + b238 <= 1;

e1426:    b159 - b160 + b196 <= 1;

e1427:    b159 - b161 + b197 <= 1;

e1428:    b159 - b162 + b198 <= 1;

e1429:    b159 - b163 + b199 <= 1;

e1430:    b159 - b164 + b200 <= 1;

e1431:    b159 - b165 + b201 <= 1;

e1432:    b159 - b166 + b202 <= 1;

e1433:    b159 - b167 + b203 <= 1;

e1434:    b160 - b161 + b204 <= 1;

e1435:    b160 - b162 + b239 <= 1;

e1436:    b160 - b163 + b205 <= 1;

e1437:    b160 - b164 + b206 <= 1;

e1438:    b160 - b165 + b207 <= 1;

e1439:    b160 - b166 + b208 <= 1;

e1440:    b160 - b167 + b209 <= 1;

e1441:    b161 - b162 + b210 <= 1;

e1442:    b161 - b163 + b211 <= 1;

e1443:    b161 - b164 + b212 <= 1;

e1444:    b161 - b165 + b213 <= 1;

e1445:    b161 - b166 + b214 <= 1;

e1446:    b161 - b167 + b215 <= 1;

e1447:    b162 - b163 + b216 <= 1;

e1448:    b162 - b164 + b217 <= 1;

e1449:    b162 - b165 + b218 <= 1;

e1450:    b162 - b166 + b219 <= 1;

e1451:    b162 - b167 + b220 <= 1;

e1452:    b163 - b164 + b221 <= 1;

e1453:    b163 - b165 + b222 <= 1;

e1454:    b163 - b166 + b223 <= 1;

e1455:    b163 - b167 + b224 <= 1;

e1456:    b164 - b165 + b225 <= 1;

e1457:    b164 - b166 + b226 <= 1;

e1458:    b164 - b167 + b227 <= 1;

e1459:    b165 - b166 + b228 <= 1;

e1460:    b165 - b167 + b229 <= 1;

e1461:    b166 - b167 + b230 <= 1;

e1462:    b168 - b169 + b178 <= 1;

e1463:    b168 - b170 + b179 <= 1;

e1464:    b168 + b180 - b234 <= 1;

e1465:    b168 - b171 + b181 <= 1;

e1466:    b168 - b172 + b182 <= 1;

e1467:    b168 - b173 + b183 <= 1;

e1468:    b168 - b174 + b184 <= 1;

e1469:    b168 - b175 + b185 <= 1;

e1470:    b168 - b176 + b186 <= 1;

e1471:    b168 - b177 + b187 <= 1;

e1472:    b169 - b170 + b188 <= 1;

e1473:    b169 + b189 - b234 <= 1;

e1474:    b169 - b171 + b190 <= 1;

e1475:    b169 - b172 + b191 <= 1;

e1476:    b169 - b173 + b192 <= 1;

e1477:    b169 - b174 + b193 <= 1;

e1478:    b169 - b175 + b194 <= 1;

e1479:    b169 - b176 + b195 <= 1;

e1480:    b169 - b177 + b238 <= 1;

e1481:    b170 + b196 - b234 <= 1;

e1482:    b170 - b171 + b197 <= 1;

e1483:    b170 - b172 + b198 <= 1;

e1484:    b170 - b173 + b199 <= 1;

e1485:    b170 - b174 + b200 <= 1;

e1486:    b170 - b175 + b201 <= 1;

e1487:    b170 - b176 + b202 <= 1;

e1488:    b170 - b177 + b203 <= 1;

e1489:  - b171 + b204 + b234 <= 1;

e1490:  - b172 + b234 + b239 <= 1;

e1491:  - b173 + b205 + b234 <= 1;

e1492:  - b174 + b206 + b234 <= 1;

e1493:  - b175 + b207 + b234 <= 1;

e1494:  - b176 + b208 + b234 <= 1;

e1495:  - b177 + b209 + b234 <= 1;

e1496:    b171 - b172 + b210 <= 1;

e1497:    b171 - b173 + b211 <= 1;

e1498:    b171 - b174 + b212 <= 1;

e1499:    b171 - b175 + b213 <= 1;

e1500:    b171 - b176 + b214 <= 1;

e1501:    b171 - b177 + b215 <= 1;

e1502:    b172 - b173 + b216 <= 1;

e1503:    b172 - b174 + b217 <= 1;

e1504:    b172 - b175 + b218 <= 1;

e1505:    b172 - b176 + b219 <= 1;

e1506:    b172 - b177 + b220 <= 1;

e1507:    b173 - b174 + b221 <= 1;

e1508:    b173 - b175 + b222 <= 1;

e1509:    b173 - b176 + b223 <= 1;

e1510:    b173 - b177 + b224 <= 1;

e1511:    b174 - b175 + b225 <= 1;

e1512:    b174 - b176 + b226 <= 1;

e1513:    b174 - b177 + b227 <= 1;

e1514:    b175 - b176 + b228 <= 1;

e1515:    b175 - b177 + b229 <= 1;

e1516:    b176 - b177 + b230 <= 1;

e1517:    b178 - b179 + b188 <= 1;

e1518:    b178 - b180 + b189 <= 1;

e1519:    b178 - b181 + b190 <= 1;

e1520:    b178 - b182 + b191 <= 1;

e1521:    b178 - b183 + b192 <= 1;

e1522:    b178 - b184 + b193 <= 1;

e1523:    b178 - b185 + b194 <= 1;

e1524:    b178 - b186 + b195 <= 1;

e1525:    b178 - b187 + b238 <= 1;

e1526:    b179 - b180 + b196 <= 1;

e1527:    b179 - b181 + b197 <= 1;

e1528:    b179 - b182 + b198 <= 1;

e1529:    b179 - b183 + b199 <= 1;

e1530:    b179 - b184 + b200 <= 1;

e1531:    b179 - b185 + b201 <= 1;

e1532:    b179 - b186 + b202 <= 1;

e1533:    b179 - b187 + b203 <= 1;

e1534:    b180 - b181 + b204 <= 1;

e1535:    b180 - b182 + b239 <= 1;

e1536:    b180 - b183 + b205 <= 1;

e1537:    b180 - b184 + b206 <= 1;

e1538:    b180 - b185 + b207 <= 1;

e1539:    b180 - b186 + b208 <= 1;

e1540:    b180 - b187 + b209 <= 1;

e1541:    b181 - b182 + b210 <= 1;

e1542:    b181 - b183 + b211 <= 1;

e1543:    b181 - b184 + b212 <= 1;

e1544:    b181 - b185 + b213 <= 1;

e1545:    b181 - b186 + b214 <= 1;

e1546:    b181 - b187 + b215 <= 1;

e1547:    b182 - b183 + b216 <= 1;

e1548:    b182 - b184 + b217 <= 1;

e1549:    b182 - b185 + b218 <= 1;

e1550:    b182 - b186 + b219 <= 1;

e1551:    b182 - b187 + b220 <= 1;

e1552:    b183 - b184 + b221 <= 1;

e1553:    b183 - b185 + b222 <= 1;

e1554:    b183 - b186 + b223 <= 1;

e1555:    b183 - b187 + b224 <= 1;

e1556:    b184 - b185 + b225 <= 1;

e1557:    b184 - b186 + b226 <= 1;

e1558:    b184 - b187 + b227 <= 1;

e1559:    b185 - b186 + b228 <= 1;

e1560:    b185 - b187 + b229 <= 1;

e1561:    b186 - b187 + b230 <= 1;

e1562:    b188 - b189 + b196 <= 1;

e1563:    b188 - b190 + b197 <= 1;

e1564:    b188 - b191 + b198 <= 1;

e1565:    b188 - b192 + b199 <= 1;

e1566:    b188 - b193 + b200 <= 1;

e1567:    b188 - b194 + b201 <= 1;

e1568:    b188 - b195 + b202 <= 1;

e1569:    b188 + b203 - b238 <= 1;

e1570:    b189 - b190 + b204 <= 1;

e1571:    b189 - b191 + b239 <= 1;

e1572:    b189 - b192 + b205 <= 1;

e1573:    b189 - b193 + b206 <= 1;

e1574:    b189 - b194 + b207 <= 1;

e1575:    b189 - b195 + b208 <= 1;

e1576:    b189 + b209 - b238 <= 1;

e1577:    b190 - b191 + b210 <= 1;

e1578:    b190 - b192 + b211 <= 1;

e1579:    b190 - b193 + b212 <= 1;

e1580:    b190 - b194 + b213 <= 1;

e1581:    b190 - b195 + b214 <= 1;

e1582:    b190 + b215 - b238 <= 1;

e1583:    b191 - b192 + b216 <= 1;

e1584:    b191 - b193 + b217 <= 1;

e1585:    b191 - b194 + b218 <= 1;

e1586:    b191 - b195 + b219 <= 1;

e1587:    b191 + b220 - b238 <= 1;

e1588:    b192 - b193 + b221 <= 1;

e1589:    b192 - b194 + b222 <= 1;

e1590:    b192 - b195 + b223 <= 1;

e1591:    b192 + b224 - b238 <= 1;

e1592:    b193 - b194 + b225 <= 1;

e1593:    b193 - b195 + b226 <= 1;

e1594:    b193 + b227 - b238 <= 1;

e1595:    b194 - b195 + b228 <= 1;

e1596:    b194 + b229 - b238 <= 1;

e1597:    b195 + b230 - b238 <= 1;

e1598:    b196 - b197 + b204 <= 1;

e1599:    b196 - b198 + b239 <= 1;

e1600:    b196 - b199 + b205 <= 1;

e1601:    b196 - b200 + b206 <= 1;

e1602:    b196 - b201 + b207 <= 1;

e1603:    b196 - b202 + b208 <= 1;

e1604:    b196 - b203 + b209 <= 1;

e1605:    b197 - b198 + b210 <= 1;

e1606:    b197 - b199 + b211 <= 1;

e1607:    b197 - b200 + b212 <= 1;

e1608:    b197 - b201 + b213 <= 1;

e1609:    b197 - b202 + b214 <= 1;

e1610:    b197 - b203 + b215 <= 1;

e1611:    b198 - b199 + b216 <= 1;

e1612:    b198 - b200 + b217 <= 1;

e1613:    b198 - b201 + b218 <= 1;

e1614:    b198 - b202 + b219 <= 1;

e1615:    b198 - b203 + b220 <= 1;

e1616:    b199 - b200 + b221 <= 1;

e1617:    b199 - b201 + b222 <= 1;

e1618:    b199 - b202 + b223 <= 1;

e1619:    b199 - b203 + b224 <= 1;

e1620:    b200 - b201 + b225 <= 1;

e1621:    b200 - b202 + b226 <= 1;

e1622:    b200 - b203 + b227 <= 1;

e1623:    b201 - b202 + b228 <= 1;

e1624:    b201 - b203 + b229 <= 1;

e1625:    b202 - b203 + b230 <= 1;

e1626:    b204 + b210 - b239 <= 1;

e1627:    b204 - b205 + b211 <= 1;

e1628:    b204 - b206 + b212 <= 1;

e1629:    b204 - b207 + b213 <= 1;

e1630:    b204 - b208 + b214 <= 1;

e1631:    b204 - b209 + b215 <= 1;

e1632:  - b205 + b216 + b239 <= 1;

e1633:  - b206 + b217 + b239 <= 1;

e1634:  - b207 + b218 + b239 <= 1;

e1635:  - b208 + b219 + b239 <= 1;

e1636:  - b209 + b220 + b239 <= 1;

e1637:    b205 - b206 + b221 <= 1;

e1638:    b205 - b207 + b222 <= 1;

e1639:    b205 - b208 + b223 <= 1;

e1640:    b205 - b209 + b224 <= 1;

e1641:    b206 - b207 + b225 <= 1;

e1642:    b206 - b208 + b226 <= 1;

e1643:    b206 - b209 + b227 <= 1;

e1644:    b207 - b208 + b228 <= 1;

e1645:    b207 - b209 + b229 <= 1;

e1646:    b208 - b209 + b230 <= 1;

e1647:    b210 - b211 + b216 <= 1;

e1648:    b210 - b212 + b217 <= 1;

e1649:    b210 - b213 + b218 <= 1;

e1650:    b210 - b214 + b219 <= 1;

e1651:    b210 - b215 + b220 <= 1;

e1652:    b211 - b212 + b221 <= 1;

e1653:    b211 - b213 + b222 <= 1;

e1654:    b211 - b214 + b223 <= 1;

e1655:    b211 - b215 + b224 <= 1;

e1656:    b212 - b213 + b225 <= 1;

e1657:    b212 - b214 + b226 <= 1;

e1658:    b212 - b215 + b227 <= 1;

e1659:    b213 - b214 + b228 <= 1;

e1660:    b213 - b215 + b229 <= 1;

e1661:    b214 - b215 + b230 <= 1;

e1662:    b216 - b217 + b221 <= 1;

e1663:    b216 - b218 + b222 <= 1;

e1664:    b216 - b219 + b223 <= 1;

e1665:    b216 - b220 + b224 <= 1;

e1666:    b217 - b218 + b225 <= 1;

e1667:    b217 - b219 + b226 <= 1;

e1668:    b217 - b220 + b227 <= 1;

e1669:    b218 - b219 + b228 <= 1;

e1670:    b218 - b220 + b229 <= 1;

e1671:    b219 - b220 + b230 <= 1;

e1672:    b221 - b222 + b225 <= 1;

e1673:    b221 - b223 + b226 <= 1;

e1674:    b221 - b224 + b227 <= 1;

e1675:    b222 - b223 + b228 <= 1;

e1676:    b222 - b224 + b229 <= 1;

e1677:    b223 - b224 + b230 <= 1;

e1678:    b225 - b226 + b228 <= 1;

e1679:    b225 - b227 + b229 <= 1;

e1680:    b226 - b227 + b230 <= 1;

e1681:    b228 - b229 + b230 <= 1;

e1682:    b120 - b121 - b235 <= 0;

e1683:    b122 - b123 - b235 <= 0;

e1684:  - b235 - b236 + b237 <= 0;

e1685:  - b124 + b232 - b235 <= 0;

e1686:    b125 - b126 - b235 <= 0;

e1687:    b127 - b128 - b235 <= 0;

e1688:  - b129 + b233 - b235 <= 0;

e1689:    b130 - b131 - b235 <= 0;

e1690:    b132 - b133 - b235 <= 0;

e1691:  - b134 + b231 - b235 <= 0;

e1692:    b135 - b136 - b235 <= 0;

e1693:    b137 - b138 - b235 <= 0;

e1694:    b139 - b140 - b235 <= 0;

e1695:    b141 - b142 - b235 <= 0;

e1696:  - b120 + b122 - b143 <= 0;

e1697:  - b120 - b144 + b237 <= 0;

e1698:  - b120 - b145 + b232 <= 0;

e1699:  - b120 + b125 - b146 <= 0;

e1700:  - b120 + b127 - b147 <= 0;

e1701:  - b120 - b148 + b233 <= 0;

e1702:  - b120 + b130 - b149 <= 0;

e1703:  - b120 + b132 - b150 <= 0;

e1704:  - b120 - b151 + b231 <= 0;

e1705:  - b120 + b135 - b152 <= 0;

e1706:  - b120 + b137 - b153 <= 0;

e1707:  - b120 + b139 - b154 <= 0;

e1708:  - b120 + b141 - b155 <= 0;

e1709:  - b122 - b156 + b237 <= 0;

e1710:  - b122 - b157 + b232 <= 0;

e1711:  - b122 + b125 - b158 <= 0;

e1712:  - b122 + b127 - b159 <= 0;

e1713:  - b122 - b160 + b233 <= 0;

e1714:  - b122 + b130 - b161 <= 0;

e1715:  - b122 + b132 - b162 <= 0;

e1716:  - b122 - b163 + b231 <= 0;

e1717:  - b122 + b135 - b164 <= 0;

e1718:  - b122 + b137 - b165 <= 0;

e1719:  - b122 + b139 - b166 <= 0;

e1720:  - b122 + b141 - b167 <= 0;

e1721:  - b168 + b232 - b237 <= 0;

e1722:    b125 - b169 - b237 <= 0;

e1723:    b127 - b170 - b237 <= 0;

e1724:    b233 - b234 - b237 <= 0;

e1725:    b130 - b171 - b237 <= 0;

e1726:    b132 - b172 - b237 <= 0;

e1727:  - b173 + b231 - b237 <= 0;

e1728:    b135 - b174 - b237 <= 0;

e1729:    b137 - b175 - b237 <= 0;

e1730:    b139 - b176 - b237 <= 0;

e1731:    b141 - b177 - b237 <= 0;

e1732:    b125 - b178 - b232 <= 0;

e1733:    b127 - b179 - b232 <= 0;

e1734:  - b180 - b232 + b233 <= 0;

e1735:    b130 - b181 - b232 <= 0;

e1736:    b132 - b182 - b232 <= 0;

e1737:  - b183 + b231 - b232 <= 0;

e1738:    b135 - b184 - b232 <= 0;

e1739:    b137 - b185 - b232 <= 0;

e1740:    b139 - b186 - b232 <= 0;

e1741:    b141 - b187 - b232 <= 0;

e1742:  - b125 + b127 - b188 <= 0;

e1743:  - b125 - b189 + b233 <= 0;

e1744:  - b125 + b130 - b190 <= 0;

e1745:  - b125 + b132 - b191 <= 0;

e1746:  - b125 - b192 + b231 <= 0;

e1747:  - b125 + b135 - b193 <= 0;

e1748:  - b125 + b137 - b194 <= 0;

e1749:  - b125 + b139 - b195 <= 0;

e1750:  - b125 + b141 - b238 <= 0;

e1751:  - b127 - b196 + b233 <= 0;

e1752:  - b127 + b130 - b197 <= 0;

e1753:  - b127 + b132 - b198 <= 0;

e1754:  - b127 - b199 + b231 <= 0;

e1755:  - b127 + b135 - b200 <= 0;

e1756:  - b127 + b137 - b201 <= 0;

e1757:  - b127 + b139 - b202 <= 0;

e1758:  - b127 + b141 - b203 <= 0;

e1759:    b130 - b204 - b233 <= 0;

e1760:    b132 - b233 - b239 <= 0;

e1761:  - b205 + b231 - b233 <= 0;

e1762:    b135 - b206 - b233 <= 0;

e1763:    b137 - b207 - b233 <= 0;

e1764:    b139 - b208 - b233 <= 0;

e1765:    b141 - b209 - b233 <= 0;

e1766:  - b130 + b132 - b210 <= 0;

e1767:  - b130 - b211 + b231 <= 0;

e1768:  - b130 + b135 - b212 <= 0;

e1769:  - b130 + b137 - b213 <= 0;

e1770:  - b130 + b139 - b214 <= 0;

e1771:  - b130 + b141 - b215 <= 0;

e1772:  - b132 - b216 + b231 <= 0;

e1773:  - b132 + b135 - b217 <= 0;

e1774:  - b132 + b137 - b218 <= 0;

e1775:  - b132 + b139 - b219 <= 0;

e1776:  - b132 + b141 - b220 <= 0;

e1777:    b135 - b221 - b231 <= 0;

e1778:    b137 - b222 - b231 <= 0;

e1779:    b139 - b223 - b231 <= 0;

e1780:    b141 - b224 - b231 <= 0;

e1781:  - b135 + b137 - b225 <= 0;

e1782:  - b135 + b139 - b226 <= 0;

e1783:  - b135 + b141 - b227 <= 0;

e1784:  - b137 + b139 - b228 <= 0;

e1785:  - b137 + b141 - b229 <= 0;

e1786:  - b139 + b141 - b230 <= 0;

e1787:  - b121 + b123 - b143 <= 0;

e1788:  - b121 - b144 + b236 <= 0;

e1789:  - b121 + b124 - b145 <= 0;

e1790:  - b121 + b126 - b146 <= 0;

e1791:  - b121 + b128 - b147 <= 0;

e1792:  - b121 + b129 - b148 <= 0;

e1793:  - b121 + b131 - b149 <= 0;

e1794:  - b121 + b133 - b150 <= 0;

e1795:  - b121 + b134 - b151 <= 0;

e1796:  - b121 + b136 - b152 <= 0;

e1797:  - b121 + b138 - b153 <= 0;

e1798:  - b121 + b140 - b154 <= 0;

e1799:  - b121 + b142 - b155 <= 0;

e1800:  - b123 - b156 + b236 <= 0;

e1801:  - b123 + b124 - b157 <= 0;

e1802:  - b123 + b126 - b158 <= 0;

e1803:  - b123 + b128 - b159 <= 0;

e1804:  - b123 + b129 - b160 <= 0;

e1805:  - b123 + b131 - b161 <= 0;

e1806:  - b123 + b133 - b162 <= 0;

e1807:  - b123 + b134 - b163 <= 0;

e1808:  - b123 + b136 - b164 <= 0;

e1809:  - b123 + b138 - b165 <= 0;

e1810:  - b123 + b140 - b166 <= 0;

e1811:  - b123 + b142 - b167 <= 0;

e1812:    b124 - b168 - b236 <= 0;

e1813:    b126 - b169 - b236 <= 0;

e1814:    b128 - b170 - b236 <= 0;

e1815:    b129 - b234 - b236 <= 0;

e1816:    b131 - b171 - b236 <= 0;

e1817:    b133 - b172 - b236 <= 0;

e1818:    b134 - b173 - b236 <= 0;

e1819:    b136 - b174 - b236 <= 0;

e1820:    b138 - b175 - b236 <= 0;

e1821:    b140 - b176 - b236 <= 0;

e1822:    b142 - b177 - b236 <= 0;

e1823:  - b124 + b126 - b178 <= 0;

e1824:  - b124 + b128 - b179 <= 0;

e1825:  - b124 + b129 - b180 <= 0;

e1826:  - b124 + b131 - b181 <= 0;

e1827:  - b124 + b133 - b182 <= 0;

e1828:  - b124 + b134 - b183 <= 0;

e1829:  - b124 + b136 - b184 <= 0;

e1830:  - b124 + b138 - b185 <= 0;

e1831:  - b124 + b140 - b186 <= 0;

e1832:  - b124 + b142 - b187 <= 0;

e1833:  - b126 + b128 - b188 <= 0;

e1834:  - b126 + b129 - b189 <= 0;

e1835:  - b126 + b131 - b190 <= 0;

e1836:  - b126 + b133 - b191 <= 0;

e1837:  - b126 + b134 - b192 <= 0;

e1838:  - b126 + b136 - b193 <= 0;

e1839:  - b126 + b138 - b194 <= 0;

e1840:  - b126 + b140 - b195 <= 0;

e1841:  - b126 + b142 - b238 <= 0;

e1842:  - b128 + b129 - b196 <= 0;

e1843:  - b128 + b131 - b197 <= 0;

e1844:  - b128 + b133 - b198 <= 0;

e1845:  - b128 + b134 - b199 <= 0;

e1846:  - b128 + b136 - b200 <= 0;

e1847:  - b128 + b138 - b201 <= 0;

e1848:  - b128 + b140 - b202 <= 0;

e1849:  - b128 + b142 - b203 <= 0;

e1850:  - b129 + b131 - b204 <= 0;

e1851:  - b129 + b133 - b239 <= 0;

e1852:  - b129 + b134 - b205 <= 0;

e1853:  - b129 + b136 - b206 <= 0;

e1854:  - b129 + b138 - b207 <= 0;

e1855:  - b129 + b140 - b208 <= 0;

e1856:  - b129 + b142 - b209 <= 0;

e1857:  - b131 + b133 - b210 <= 0;

e1858:  - b131 + b134 - b211 <= 0;

e1859:  - b131 + b136 - b212 <= 0;

e1860:  - b131 + b138 - b213 <= 0;

e1861:  - b131 + b140 - b214 <= 0;

e1862:  - b131 + b142 - b215 <= 0;

e1863:  - b133 + b134 - b216 <= 0;

e1864:  - b133 + b136 - b217 <= 0;

e1865:  - b133 + b138 - b218 <= 0;

e1866:  - b133 + b140 - b219 <= 0;

e1867:  - b133 + b142 - b220 <= 0;

e1868:  - b134 + b136 - b221 <= 0;

e1869:  - b134 + b138 - b222 <= 0;

e1870:  - b134 + b140 - b223 <= 0;

e1871:  - b134 + b142 - b224 <= 0;

e1872:  - b136 + b138 - b225 <= 0;

e1873:  - b136 + b140 - b226 <= 0;

e1874:  - b136 + b142 - b227 <= 0;

e1875:  - b138 + b140 - b228 <= 0;

e1876:  - b138 + b142 - b229 <= 0;

e1877:  - b140 + b142 - b230 <= 0;

e1878:  - b143 + b144 - b156 <= 0;

e1879:  - b143 + b145 - b157 <= 0;

e1880:  - b143 + b146 - b158 <= 0;

e1881:  - b143 + b147 - b159 <= 0;

e1882:  - b143 + b148 - b160 <= 0;

e1883:  - b143 + b149 - b161 <= 0;

e1884:  - b143 + b150 - b162 <= 0;

e1885:  - b143 + b151 - b163 <= 0;

e1886:  - b143 + b152 - b164 <= 0;

e1887:  - b143 + b153 - b165 <= 0;

e1888:  - b143 + b154 - b166 <= 0;

e1889:  - b143 + b155 - b167 <= 0;

e1890:  - b144 + b145 - b168 <= 0;

e1891:  - b144 + b146 - b169 <= 0;

e1892:  - b144 + b147 - b170 <= 0;

e1893:  - b144 + b148 - b234 <= 0;

e1894:  - b144 + b149 - b171 <= 0;

e1895:  - b144 + b150 - b172 <= 0;

e1896:  - b144 + b151 - b173 <= 0;

e1897:  - b144 + b152 - b174 <= 0;

e1898:  - b144 + b153 - b175 <= 0;

e1899:  - b144 + b154 - b176 <= 0;

e1900:  - b144 + b155 - b177 <= 0;

e1901:  - b145 + b146 - b178 <= 0;

e1902:  - b145 + b147 - b179 <= 0;

e1903:  - b145 + b148 - b180 <= 0;

e1904:  - b145 + b149 - b181 <= 0;

e1905:  - b145 + b150 - b182 <= 0;

e1906:  - b145 + b151 - b183 <= 0;

e1907:  - b145 + b152 - b184 <= 0;

e1908:  - b145 + b153 - b185 <= 0;

e1909:  - b145 + b154 - b186 <= 0;

e1910:  - b145 + b155 - b187 <= 0;

e1911:  - b146 + b147 - b188 <= 0;

e1912:  - b146 + b148 - b189 <= 0;

e1913:  - b146 + b149 - b190 <= 0;

e1914:  - b146 + b150 - b191 <= 0;

e1915:  - b146 + b151 - b192 <= 0;

e1916:  - b146 + b152 - b193 <= 0;

e1917:  - b146 + b153 - b194 <= 0;

e1918:  - b146 + b154 - b195 <= 0;

e1919:  - b146 + b155 - b238 <= 0;

e1920:  - b147 + b148 - b196 <= 0;

e1921:  - b147 + b149 - b197 <= 0;

e1922:  - b147 + b150 - b198 <= 0;

e1923:  - b147 + b151 - b199 <= 0;

e1924:  - b147 + b152 - b200 <= 0;

e1925:  - b147 + b153 - b201 <= 0;

e1926:  - b147 + b154 - b202 <= 0;

e1927:  - b147 + b155 - b203 <= 0;

e1928:  - b148 + b149 - b204 <= 0;

e1929:  - b148 + b150 - b239 <= 0;

e1930:  - b148 + b151 - b205 <= 0;

e1931:  - b148 + b152 - b206 <= 0;

e1932:  - b148 + b153 - b207 <= 0;

e1933:  - b148 + b154 - b208 <= 0;

e1934:  - b148 + b155 - b209 <= 0;

e1935:  - b149 + b150 - b210 <= 0;

e1936:  - b149 + b151 - b211 <= 0;

e1937:  - b149 + b152 - b212 <= 0;

e1938:  - b149 + b153 - b213 <= 0;

e1939:  - b149 + b154 - b214 <= 0;

e1940:  - b149 + b155 - b215 <= 0;

e1941:  - b150 + b151 - b216 <= 0;

e1942:  - b150 + b152 - b217 <= 0;

e1943:  - b150 + b153 - b218 <= 0;

e1944:  - b150 + b154 - b219 <= 0;

e1945:  - b150 + b155 - b220 <= 0;

e1946:  - b151 + b152 - b221 <= 0;

e1947:  - b151 + b153 - b222 <= 0;

e1948:  - b151 + b154 - b223 <= 0;

e1949:  - b151 + b155 - b224 <= 0;

e1950:  - b152 + b153 - b225 <= 0;

e1951:  - b152 + b154 - b226 <= 0;

e1952:  - b152 + b155 - b227 <= 0;

e1953:  - b153 + b154 - b228 <= 0;

e1954:  - b153 + b155 - b229 <= 0;

e1955:  - b154 + b155 - b230 <= 0;

e1956:  - b156 + b157 - b168 <= 0;

e1957:  - b156 + b158 - b169 <= 0;

e1958:  - b156 + b159 - b170 <= 0;

e1959:  - b156 + b160 - b234 <= 0;

e1960:  - b156 + b161 - b171 <= 0;

e1961:  - b156 + b162 - b172 <= 0;

e1962:  - b156 + b163 - b173 <= 0;

e1963:  - b156 + b164 - b174 <= 0;

e1964:  - b156 + b165 - b175 <= 0;

e1965:  - b156 + b166 - b176 <= 0;

e1966:  - b156 + b167 - b177 <= 0;

e1967:  - b157 + b158 - b178 <= 0;

e1968:  - b157 + b159 - b179 <= 0;

e1969:  - b157 + b160 - b180 <= 0;

e1970:  - b157 + b161 - b181 <= 0;

e1971:  - b157 + b162 - b182 <= 0;

e1972:  - b157 + b163 - b183 <= 0;

e1973:  - b157 + b164 - b184 <= 0;

e1974:  - b157 + b165 - b185 <= 0;

e1975:  - b157 + b166 - b186 <= 0;

e1976:  - b157 + b167 - b187 <= 0;

e1977:  - b158 + b159 - b188 <= 0;

e1978:  - b158 + b160 - b189 <= 0;

e1979:  - b158 + b161 - b190 <= 0;

e1980:  - b158 + b162 - b191 <= 0;

e1981:  - b158 + b163 - b192 <= 0;

e1982:  - b158 + b164 - b193 <= 0;

e1983:  - b158 + b165 - b194 <= 0;

e1984:  - b158 + b166 - b195 <= 0;

e1985:  - b158 + b167 - b238 <= 0;

e1986:  - b159 + b160 - b196 <= 0;

e1987:  - b159 + b161 - b197 <= 0;

e1988:  - b159 + b162 - b198 <= 0;

e1989:  - b159 + b163 - b199 <= 0;

e1990:  - b159 + b164 - b200 <= 0;

e1991:  - b159 + b165 - b201 <= 0;

e1992:  - b159 + b166 - b202 <= 0;

e1993:  - b159 + b167 - b203 <= 0;

e1994:  - b160 + b161 - b204 <= 0;

e1995:  - b160 + b162 - b239 <= 0;

e1996:  - b160 + b163 - b205 <= 0;

e1997:  - b160 + b164 - b206 <= 0;

e1998:  - b160 + b165 - b207 <= 0;

e1999:  - b160 + b166 - b208 <= 0;

e2000:  - b160 + b167 - b209 <= 0;

e2001:  - b161 + b162 - b210 <= 0;

e2002:  - b161 + b163 - b211 <= 0;

e2003:  - b161 + b164 - b212 <= 0;

e2004:  - b161 + b165 - b213 <= 0;

e2005:  - b161 + b166 - b214 <= 0;

e2006:  - b161 + b167 - b215 <= 0;

e2007:  - b162 + b163 - b216 <= 0;

e2008:  - b162 + b164 - b217 <= 0;

e2009:  - b162 + b165 - b218 <= 0;

e2010:  - b162 + b166 - b219 <= 0;

e2011:  - b162 + b167 - b220 <= 0;

e2012:  - b163 + b164 - b221 <= 0;

e2013:  - b163 + b165 - b222 <= 0;

e2014:  - b163 + b166 - b223 <= 0;

e2015:  - b163 + b167 - b224 <= 0;

e2016:  - b164 + b165 - b225 <= 0;

e2017:  - b164 + b166 - b226 <= 0;

e2018:  - b164 + b167 - b227 <= 0;

e2019:  - b165 + b166 - b228 <= 0;

e2020:  - b165 + b167 - b229 <= 0;

e2021:  - b166 + b167 - b230 <= 0;

e2022:  - b168 + b169 - b178 <= 0;

e2023:  - b168 + b170 - b179 <= 0;

e2024:  - b168 - b180 + b234 <= 0;

e2025:  - b168 + b171 - b181 <= 0;

e2026:  - b168 + b172 - b182 <= 0;

e2027:  - b168 + b173 - b183 <= 0;

e2028:  - b168 + b174 - b184 <= 0;

e2029:  - b168 + b175 - b185 <= 0;

e2030:  - b168 + b176 - b186 <= 0;

e2031:  - b168 + b177 - b187 <= 0;

e2032:  - b169 + b170 - b188 <= 0;

e2033:  - b169 - b189 + b234 <= 0;

e2034:  - b169 + b171 - b190 <= 0;

e2035:  - b169 + b172 - b191 <= 0;

e2036:  - b169 + b173 - b192 <= 0;

e2037:  - b169 + b174 - b193 <= 0;

e2038:  - b169 + b175 - b194 <= 0;

e2039:  - b169 + b176 - b195 <= 0;

e2040:  - b169 + b177 - b238 <= 0;

e2041:  - b170 - b196 + b234 <= 0;

e2042:  - b170 + b171 - b197 <= 0;

e2043:  - b170 + b172 - b198 <= 0;

e2044:  - b170 + b173 - b199 <= 0;

e2045:  - b170 + b174 - b200 <= 0;

e2046:  - b170 + b175 - b201 <= 0;

e2047:  - b170 + b176 - b202 <= 0;

e2048:  - b170 + b177 - b203 <= 0;

e2049:    b171 - b204 - b234 <= 0;

e2050:    b172 - b234 - b239 <= 0;

e2051:    b173 - b205 - b234 <= 0;

e2052:    b174 - b206 - b234 <= 0;

e2053:    b175 - b207 - b234 <= 0;

e2054:    b176 - b208 - b234 <= 0;

e2055:    b177 - b209 - b234 <= 0;

e2056:  - b171 + b172 - b210 <= 0;

e2057:  - b171 + b173 - b211 <= 0;

e2058:  - b171 + b174 - b212 <= 0;

e2059:  - b171 + b175 - b213 <= 0;

e2060:  - b171 + b176 - b214 <= 0;

e2061:  - b171 + b177 - b215 <= 0;

e2062:  - b172 + b173 - b216 <= 0;

e2063:  - b172 + b174 - b217 <= 0;

e2064:  - b172 + b175 - b218 <= 0;

e2065:  - b172 + b176 - b219 <= 0;

e2066:  - b172 + b177 - b220 <= 0;

e2067:  - b173 + b174 - b221 <= 0;

e2068:  - b173 + b175 - b222 <= 0;

e2069:  - b173 + b176 - b223 <= 0;

e2070:  - b173 + b177 - b224 <= 0;

e2071:  - b174 + b175 - b225 <= 0;

e2072:  - b174 + b176 - b226 <= 0;

e2073:  - b174 + b177 - b227 <= 0;

e2074:  - b175 + b176 - b228 <= 0;

e2075:  - b175 + b177 - b229 <= 0;

e2076:  - b176 + b177 - b230 <= 0;

e2077:  - b178 + b179 - b188 <= 0;

e2078:  - b178 + b180 - b189 <= 0;

e2079:  - b178 + b181 - b190 <= 0;

e2080:  - b178 + b182 - b191 <= 0;

e2081:  - b178 + b183 - b192 <= 0;

e2082:  - b178 + b184 - b193 <= 0;

e2083:  - b178 + b185 - b194 <= 0;

e2084:  - b178 + b186 - b195 <= 0;

e2085:  - b178 + b187 - b238 <= 0;

e2086:  - b179 + b180 - b196 <= 0;

e2087:  - b179 + b181 - b197 <= 0;

e2088:  - b179 + b182 - b198 <= 0;

e2089:  - b179 + b183 - b199 <= 0;

e2090:  - b179 + b184 - b200 <= 0;

e2091:  - b179 + b185 - b201 <= 0;

e2092:  - b179 + b186 - b202 <= 0;

e2093:  - b179 + b187 - b203 <= 0;

e2094:  - b180 + b181 - b204 <= 0;

e2095:  - b180 + b182 - b239 <= 0;

e2096:  - b180 + b183 - b205 <= 0;

e2097:  - b180 + b184 - b206 <= 0;

e2098:  - b180 + b185 - b207 <= 0;

e2099:  - b180 + b186 - b208 <= 0;

e2100:  - b180 + b187 - b209 <= 0;

e2101:  - b181 + b182 - b210 <= 0;

e2102:  - b181 + b183 - b211 <= 0;

e2103:  - b181 + b184 - b212 <= 0;

e2104:  - b181 + b185 - b213 <= 0;

e2105:  - b181 + b186 - b214 <= 0;

e2106:  - b181 + b187 - b215 <= 0;

e2107:  - b182 + b183 - b216 <= 0;

e2108:  - b182 + b184 - b217 <= 0;

e2109:  - b182 + b185 - b218 <= 0;

e2110:  - b182 + b186 - b219 <= 0;

e2111:  - b182 + b187 - b220 <= 0;

e2112:  - b183 + b184 - b221 <= 0;

e2113:  - b183 + b185 - b222 <= 0;

e2114:  - b183 + b186 - b223 <= 0;

e2115:  - b183 + b187 - b224 <= 0;

e2116:  - b184 + b185 - b225 <= 0;

e2117:  - b184 + b186 - b226 <= 0;

e2118:  - b184 + b187 - b227 <= 0;

e2119:  - b185 + b186 - b228 <= 0;

e2120:  - b185 + b187 - b229 <= 0;

e2121:  - b186 + b187 - b230 <= 0;

e2122:  - b188 + b189 - b196 <= 0;

e2123:  - b188 + b190 - b197 <= 0;

e2124:  - b188 + b191 - b198 <= 0;

e2125:  - b188 + b192 - b199 <= 0;

e2126:  - b188 + b193 - b200 <= 0;

e2127:  - b188 + b194 - b201 <= 0;

e2128:  - b188 + b195 - b202 <= 0;

e2129:  - b188 - b203 + b238 <= 0;

e2130:  - b189 + b190 - b204 <= 0;

e2131:  - b189 + b191 - b239 <= 0;

e2132:  - b189 + b192 - b205 <= 0;

e2133:  - b189 + b193 - b206 <= 0;

e2134:  - b189 + b194 - b207 <= 0;

e2135:  - b189 + b195 - b208 <= 0;

e2136:  - b189 - b209 + b238 <= 0;

e2137:  - b190 + b191 - b210 <= 0;

e2138:  - b190 + b192 - b211 <= 0;

e2139:  - b190 + b193 - b212 <= 0;

e2140:  - b190 + b194 - b213 <= 0;

e2141:  - b190 + b195 - b214 <= 0;

e2142:  - b190 - b215 + b238 <= 0;

e2143:  - b191 + b192 - b216 <= 0;

e2144:  - b191 + b193 - b217 <= 0;

e2145:  - b191 + b194 - b218 <= 0;

e2146:  - b191 + b195 - b219 <= 0;

e2147:  - b191 - b220 + b238 <= 0;

e2148:  - b192 + b193 - b221 <= 0;

e2149:  - b192 + b194 - b222 <= 0;

e2150:  - b192 + b195 - b223 <= 0;

e2151:  - b192 - b224 + b238 <= 0;

e2152:  - b193 + b194 - b225 <= 0;

e2153:  - b193 + b195 - b226 <= 0;

e2154:  - b193 - b227 + b238 <= 0;

e2155:  - b194 + b195 - b228 <= 0;

e2156:  - b194 - b229 + b238 <= 0;

e2157:  - b195 - b230 + b238 <= 0;

e2158:  - b196 + b197 - b204 <= 0;

e2159:  - b196 + b198 - b239 <= 0;

e2160:  - b196 + b199 - b205 <= 0;

e2161:  - b196 + b200 - b206 <= 0;

e2162:  - b196 + b201 - b207 <= 0;

e2163:  - b196 + b202 - b208 <= 0;

e2164:  - b196 + b203 - b209 <= 0;

e2165:  - b197 + b198 - b210 <= 0;

e2166:  - b197 + b199 - b211 <= 0;

e2167:  - b197 + b200 - b212 <= 0;

e2168:  - b197 + b201 - b213 <= 0;

e2169:  - b197 + b202 - b214 <= 0;

e2170:  - b197 + b203 - b215 <= 0;

e2171:  - b198 + b199 - b216 <= 0;

e2172:  - b198 + b200 - b217 <= 0;

e2173:  - b198 + b201 - b218 <= 0;

e2174:  - b198 + b202 - b219 <= 0;

e2175:  - b198 + b203 - b220 <= 0;

e2176:  - b199 + b200 - b221 <= 0;

e2177:  - b199 + b201 - b222 <= 0;

e2178:  - b199 + b202 - b223 <= 0;

e2179:  - b199 + b203 - b224 <= 0;

e2180:  - b200 + b201 - b225 <= 0;

e2181:  - b200 + b202 - b226 <= 0;

e2182:  - b200 + b203 - b227 <= 0;

e2183:  - b201 + b202 - b228 <= 0;

e2184:  - b201 + b203 - b229 <= 0;

e2185:  - b202 + b203 - b230 <= 0;

e2186:  - b204 - b210 + b239 <= 0;

e2187:  - b204 + b205 - b211 <= 0;

e2188:  - b204 + b206 - b212 <= 0;

e2189:  - b204 + b207 - b213 <= 0;

e2190:  - b204 + b208 - b214 <= 0;

e2191:  - b204 + b209 - b215 <= 0;

e2192:    b205 - b216 - b239 <= 0;

e2193:    b206 - b217 - b239 <= 0;

e2194:    b207 - b218 - b239 <= 0;

e2195:    b208 - b219 - b239 <= 0;

e2196:    b209 - b220 - b239 <= 0;

e2197:  - b205 + b206 - b221 <= 0;

e2198:  - b205 + b207 - b222 <= 0;

e2199:  - b205 + b208 - b223 <= 0;

e2200:  - b205 + b209 - b224 <= 0;

e2201:  - b206 + b207 - b225 <= 0;

e2202:  - b206 + b208 - b226 <= 0;

e2203:  - b206 + b209 - b227 <= 0;

e2204:  - b207 + b208 - b228 <= 0;

e2205:  - b207 + b209 - b229 <= 0;

e2206:  - b208 + b209 - b230 <= 0;

e2207:  - b210 + b211 - b216 <= 0;

e2208:  - b210 + b212 - b217 <= 0;

e2209:  - b210 + b213 - b218 <= 0;

e2210:  - b210 + b214 - b219 <= 0;

e2211:  - b210 + b215 - b220 <= 0;

e2212:  - b211 + b212 - b221 <= 0;

e2213:  - b211 + b213 - b222 <= 0;

e2214:  - b211 + b214 - b223 <= 0;

e2215:  - b211 + b215 - b224 <= 0;

e2216:  - b212 + b213 - b225 <= 0;

e2217:  - b212 + b214 - b226 <= 0;

e2218:  - b212 + b215 - b227 <= 0;

e2219:  - b213 + b214 - b228 <= 0;

e2220:  - b213 + b215 - b229 <= 0;

e2221:  - b214 + b215 - b230 <= 0;

e2222:  - b216 + b217 - b221 <= 0;

e2223:  - b216 + b218 - b222 <= 0;

e2224:  - b216 + b219 - b223 <= 0;

e2225:  - b216 + b220 - b224 <= 0;

e2226:  - b217 + b218 - b225 <= 0;

e2227:  - b217 + b219 - b226 <= 0;

e2228:  - b217 + b220 - b227 <= 0;

e2229:  - b218 + b219 - b228 <= 0;

e2230:  - b218 + b220 - b229 <= 0;

e2231:  - b219 + b220 - b230 <= 0;

e2232:  - b221 + b222 - b225 <= 0;

e2233:  - b221 + b223 - b226 <= 0;

e2234:  - b221 + b224 - b227 <= 0;

e2235:  - b222 + b223 - b228 <= 0;

e2236:  - b222 + b224 - b229 <= 0;

e2237:  - b223 + b224 - b230 <= 0;

e2238:  - b225 + b226 - b228 <= 0;

e2239:  - b225 + b227 - b229 <= 0;

e2240:  - b226 + b227 - b230 <= 0;

e2241:  - b228 + b229 - b230 <= 0;