#  MIQCP written by GAMS Convert at 02/15/18 15:45:36
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        325       25        0      300        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        325        1      324        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1523      877      646        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;
var b242 binary >= 0, <= 1;
var b243 binary >= 0, <= 1;
var b244 binary >= 0, <= 1;
var b245 binary >= 0, <= 1;
var b246 binary >= 0, <= 1;
var b247 binary >= 0, <= 1;
var b248 binary >= 0, <= 1;
var b249 binary >= 0, <= 1;
var b250 binary >= 0, <= 1;
var b251 binary >= 0, <= 1;
var b252 binary >= 0, <= 1;
var b253 binary >= 0, <= 1;
var b254 binary >= 0, <= 1;
var b255 binary >= 0, <= 1;
var b256 binary >= 0, <= 1;
var b257 binary >= 0, <= 1;
var b258 binary >= 0, <= 1;
var b259 binary >= 0, <= 1;
var b260 binary >= 0, <= 1;
var b261 binary >= 0, <= 1;
var b262 binary >= 0, <= 1;
var b263 binary >= 0, <= 1;
var b264 binary >= 0, <= 1;
var b265 binary >= 0, <= 1;
var b266 binary >= 0, <= 1;
var b267 binary >= 0, <= 1;
var b268 binary >= 0, <= 1;
var b269 binary >= 0, <= 1;
var b270 binary >= 0, <= 1;
var b271 binary >= 0, <= 1;
var b272 binary >= 0, <= 1;
var b273 binary >= 0, <= 1;
var b274 binary >= 0, <= 1;
var b275 binary >= 0, <= 1;
var b276 binary >= 0, <= 1;
var b277 binary >= 0, <= 1;
var b278 binary >= 0, <= 1;
var b279 binary >= 0, <= 1;
var b280 binary >= 0, <= 1;
var b281 binary >= 0, <= 1;
var b282 binary >= 0, <= 1;
var b283 binary >= 0, <= 1;
var b284 binary >= 0, <= 1;
var b285 binary >= 0, <= 1;
var b286 binary >= 0, <= 1;
var b287 binary >= 0, <= 1;
var b288 binary >= 0, <= 1;
var b289 binary >= 0, <= 1;
var b290 binary >= 0, <= 1;
var b291 binary >= 0, <= 1;
var b292 binary >= 0, <= 1;
var b293 binary >= 0, <= 1;
var b294 binary >= 0, <= 1;
var b295 binary >= 0, <= 1;
var b296 binary >= 0, <= 1;
var b297 binary >= 0, <= 1;
var b298 binary >= 0, <= 1;
var b299 binary >= 0, <= 1;
var b300 binary >= 0, <= 1;
var b301 binary >= 0, <= 1;
var b302 binary >= 0, <= 1;
var b303 binary >= 0, <= 1;
var b304 binary >= 0, <= 1;
var b305 binary >= 0, <= 1;
var b306 binary >= 0, <= 1;
var b307 binary >= 0, <= 1;
var b308 binary >= 0, <= 1;
var b309 binary >= 0, <= 1;
var b310 binary >= 0, <= 1;
var b311 binary >= 0, <= 1;
var b312 binary >= 0, <= 1;
var b313 binary >= 0, <= 1;
var b314 binary >= 0, <= 1;
var b315 binary >= 0, <= 1;
var b316 binary >= 0, <= 1;
var b317 binary >= 0, <= 1;
var b318 binary >= 0, <= 1;
var b319 binary >= 0, <= 1;
var b320 binary >= 0, <= 1;
var b321 binary >= 0, <= 1;
var b322 binary >= 0, <= 1;
var b323 binary >= 0, <= 1;
var b324 binary >= 0, <= 1;
var b325 binary >= 0, <= 1;

minimize obj: (-970*b2*b3) - 430*b2 - 620*b3 - 820*b2*b4 - 240*b4 - 540*b2*b5
     - 450*b5 - 90*b2*b6 - 210*b6 - 920*b2*b7 - 600*b7 - 550*b2*b8 - 120*b8 - 
    780*b2*b9 - 660*b9 - 870*b2*b10 - 530*b10 - 690*b2*b11 - 50*b11 - 20*b2*b12
     - 810*b12 - 320*b2*b13 - 610*b13 - 420*b2*b14 - 100*b14 - 140*b2*b15 - 880
    *b15 - 450*b2*b16 - 770*b16 - 600*b2*b17 - 340*b17 - 670*b2*b18 - 20*b18 - 
    20*b2*b19 - 820*b19 - 420*b2*b20 - 530*b20 - 810*b2*b21 - 260*b21 - 640*b2*
    b22 - 620*b22 - 820*b2*b23 - 180*b23 - 580*b2*b24 - 710*b24 - 980*b2*b25 - 
    140*b25 - 360*b3*b4 - 920*b3*b5 - 30*b3*b6 - 620*b3*b7 - 540*b3*b8 - 210*b3
    *b9 - 850*b3*b10 - 690*b3*b11 - 700*b3*b12 - 200*b3*b13 - 750*b3*b14 - 800*
    b3*b15 - 120*b3*b16 - 820*b3*b17 - 100*b3*b18 - 990*b3*b19 - 40*b3*b20 - 
    130*b3*b21 - 840*b3*b22 - 980*b3*b23 - 270*b3*b24 - 810*b3*b25 - 590*b4*b5
     - 470*b4*b6 - 830*b4*b7 - 530*b4*b8 - 800*b4*b9 - 350*b4*b11 - 900*b4*b12
     - 980*b4*b13 - 710*b4*b14 - 830*b4*b15 - 540*b4*b16 - 860*b4*b17 - 890*b4*
    b18 - 270*b4*b19 - 710*b4*b20 - 100*b4*b21 - 980*b4*b22 - 910*b4*b23 - 860*
    b4*b24 - 300*b4*b25 - 550*b5*b6 - 200*b5*b7 - 400*b5*b8 - 70*b5*b9 - 760*b5
    *b10 - 530*b5*b11 - 910*b5*b12 - 750*b5*b13 - 330*b5*b14 - 720*b5*b15 - 340
    *b5*b16 - 320*b5*b17 - 70*b5*b18 - 870*b5*b19 - 640*b5*b20 - 70*b5*b21 - 
    740*b5*b22 - 540*b5*b23 - 580*b5*b24 - 970*b5*b25 - 890*b6*b7 - 120*b6*b8
     - 830*b6*b9 - 790*b6*b10 - 390*b6*b11 - 70*b6*b12 - 890*b6*b13 - 890*b6*
    b14 - 980*b6*b15 - 270*b6*b16 - 190*b6*b17 - 60*b6*b18 - 600*b6*b20 - 130*
    b6*b21 - 760*b6*b22 - 650*b6*b23 - 560*b6*b24 - 510*b6*b25 - 500*b7*b8 - 
    280*b7*b9 - 370*b7*b10 - 340*b7*b11 - 870*b7*b12 - 240*b7*b13 - 980*b7*b14
     - 470*b7*b15 - 500*b7*b16 - 50*b7*b17 - 570*b7*b18 - 480*b7*b19 - 940*b7*
    b20 - 210*b7*b21 - 310*b7*b22 - 250*b7*b23 - 120*b7*b24 - 380*b7*b25 - 150*
    b8*b9 - 20*b8*b10 - 890*b8*b11 - 940*b8*b12 - 210*b8*b13 - 950*b8*b14 - 940
    *b8*b15 - 330*b8*b16 - 80*b8*b17 - 710*b8*b18 - 990*b8*b19 - 640*b8*b20 - 
    740*b8*b21 - 10*b8*b22 - 440*b8*b23 - 120*b8*b24 - 360*b8*b25 - 830*b9*b10
     - 880*b9*b11 - 340*b9*b12 - 300*b9*b13 - 390*b9*b14 - 390*b9*b15 - 390*b9*
    b16 - 870*b9*b17 - 860*b9*b18 - 600*b9*b19 - 700*b9*b20 - 110*b9*b21 - 730*
    b9*b22 - 90*b9*b23 - 780*b9*b24 - 750*b9*b25 - 500*b10*b11 - 730*b10*b12 - 
    480*b10*b13 - 450*b10*b14 - 190*b10*b15 - 820*b10*b16 - 50*b10*b17 - 900*
    b10*b18 - 330*b10*b19 - 210*b10*b20 - 170*b10*b21 - 340*b10*b22 - 650*b10*
    b23 - 810*b10*b24 - 700*b10*b25 - 690*b11*b13 - 570*b11*b14 - 830*b11*b15
     - 600*b11*b16 - 960*b11*b17 - 220*b11*b18 - 990*b11*b19 - 340*b11*b20 - 
    830*b11*b21 - 220*b11*b22 - 460*b11*b23 - 560*b11*b24 - 830*b11*b25 - 240*
    b12*b13 - 830*b12*b14 - 330*b12*b15 - 490*b12*b16 - 310*b12*b17 - 300*b12*
    b18 - 690*b12*b19 - 650*b12*b20 - 350*b12*b21 - 110*b12*b22 - 980*b12*b23
     - 560*b12*b24 - 800*b12*b25 - 850*b13*b14 - 730*b13*b15 - 610*b13*b16 - 
    550*b13*b17 - 250*b13*b18 - 830*b13*b19 - 120*b13*b20 - 80*b13*b21 - 950*
    b13*b22 - 610*b13*b23 - 310*b13*b24 - 470*b13*b25 - 950*b14*b15 - 660*b14*
    b16 - 690*b14*b17 - 930*b14*b18 - 740*b14*b19 - 520*b14*b20 - 700*b14*b21
     - 570*b14*b22 - 850*b14*b23 - 710*b14*b24 - 400*b14*b25 - 150*b15*b16 - 
    400*b15*b17 - 580*b15*b18 - 20*b15*b19 - 40*b15*b20 - 560*b15*b21 - 100*b15
    *b22 - 360*b15*b23 - 410*b15*b24 - 830*b15*b25 - 980*b16*b17 - 490*b16*b18
     - 80*b16*b19 - 330*b16*b20 - 130*b16*b21 - 690*b16*b22 - 280*b16*b23 - 740
    *b16*b24 - 750*b17*b18 - 220*b17*b19 - 660*b17*b20 - 440*b17*b21 - 670*b17*
    b22 - 400*b17*b23 - 480*b17*b24 - 370*b17*b25 - 490*b18*b19 - 850*b18*b20
     - 90*b18*b21 - 410*b18*b22 - 10*b18*b24 - 990*b18*b25 - 540*b19*b20 - 570*
    b19*b21 - 80*b19*b22 - 640*b19*b23 - 940*b19*b24 - 10*b19*b25 - 470*b20*b21
     - 440*b20*b22 - 500*b20*b23 - 80*b20*b24 - 770*b20*b25 - 640*b21*b22 - 770
    *b21*b23 - 570*b21*b24 - 900*b21*b25 - 290*b22*b23 - 850*b22*b24 - 640*b22*
    b25 - 470*b23*b24 - 810*b23*b25 - 320*b24*b25 - 970*b26*b27 - 820*b26*b28
     - 540*b26*b29 - 90*b26*b30 - 920*b26*b31 - 550*b26*b32 - 780*b26*b33 - 870
    *b26*b34 - 690*b26*b35 - 20*b26*b36 - 320*b26*b37 - 420*b26*b38 - 140*b26*
    b39 - 450*b26*b40 - 600*b26*b41 - 670*b26*b42 - 20*b26*b43 - 420*b26*b44 - 
    810*b26*b45 - 640*b26*b46 - 820*b26*b47 - 580*b26*b48 - 980*b26*b49 - 360*
    b27*b28 - 920*b27*b29 - 30*b27*b30 - 620*b27*b31 - 540*b27*b32 - 210*b27*
    b33 - 850*b27*b34 - 690*b27*b35 - 700*b27*b36 - 200*b27*b37 - 750*b27*b38
     - 800*b27*b39 - 120*b27*b40 - 820*b27*b41 - 100*b27*b42 - 990*b27*b43 - 40
    *b27*b44 - 130*b27*b45 - 840*b27*b46 - 980*b27*b47 - 270*b27*b48 - 810*b27*
    b49 - 590*b28*b29 - 470*b28*b30 - 830*b28*b31 - 530*b28*b32 - 800*b28*b33
     - 350*b28*b35 - 900*b28*b36 - 980*b28*b37 - 710*b28*b38 - 830*b28*b39 - 
    540*b28*b40 - 860*b28*b41 - 890*b28*b42 - 270*b28*b43 - 710*b28*b44 - 100*
    b28*b45 - 980*b28*b46 - 910*b28*b47 - 860*b28*b48 - 300*b28*b49 - 550*b29*
    b30 - 200*b29*b31 - 400*b29*b32 - 70*b29*b33 - 760*b29*b34 - 530*b29*b35 - 
    910*b29*b36 - 750*b29*b37 - 330*b29*b38 - 720*b29*b39 - 340*b29*b40 - 320*
    b29*b41 - 70*b29*b42 - 870*b29*b43 - 640*b29*b44 - 70*b29*b45 - 740*b29*b46
     - 540*b29*b47 - 580*b29*b48 - 970*b29*b49 - 890*b30*b31 - 120*b30*b32 - 
    830*b30*b33 - 790*b30*b34 - 390*b30*b35 - 70*b30*b36 - 890*b30*b37 - 890*
    b30*b38 - 980*b30*b39 - 270*b30*b40 - 190*b30*b41 - 60*b30*b42 - 600*b30*
    b44 - 130*b30*b45 - 760*b30*b46 - 650*b30*b47 - 560*b30*b48 - 510*b30*b49
     - 500*b31*b32 - 280*b31*b33 - 370*b31*b34 - 340*b31*b35 - 870*b31*b36 - 
    240*b31*b37 - 980*b31*b38 - 470*b31*b39 - 500*b31*b40 - 50*b31*b41 - 570*
    b31*b42 - 480*b31*b43 - 940*b31*b44 - 210*b31*b45 - 310*b31*b46 - 250*b31*
    b47 - 120*b31*b48 - 380*b31*b49 - 150*b32*b33 - 20*b32*b34 - 890*b32*b35 - 
    940*b32*b36 - 210*b32*b37 - 950*b32*b38 - 940*b32*b39 - 330*b32*b40 - 80*
    b32*b41 - 710*b32*b42 - 990*b32*b43 - 640*b32*b44 - 740*b32*b45 - 10*b32*
    b46 - 440*b32*b47 - 120*b32*b48 - 360*b32*b49 - 830*b33*b34 - 880*b33*b35
     - 340*b33*b36 - 300*b33*b37 - 390*b33*b38 - 390*b33*b39 - 390*b33*b40 - 
    870*b33*b41 - 860*b33*b42 - 600*b33*b43 - 700*b33*b44 - 110*b33*b45 - 730*
    b33*b46 - 90*b33*b47 - 780*b33*b48 - 750*b33*b49 - 500*b34*b35 - 730*b34*
    b36 - 480*b34*b37 - 450*b34*b38 - 190*b34*b39 - 820*b34*b40 - 50*b34*b41 - 
    900*b34*b42 - 330*b34*b43 - 210*b34*b44 - 170*b34*b45 - 340*b34*b46 - 650*
    b34*b47 - 810*b34*b48 - 700*b34*b49 - 690*b35*b37 - 570*b35*b38 - 830*b35*
    b39 - 600*b35*b40 - 960*b35*b41 - 220*b35*b42 - 990*b35*b43 - 340*b35*b44
     - 830*b35*b45 - 220*b35*b46 - 460*b35*b47 - 560*b35*b48 - 830*b35*b49 - 
    240*b36*b37 - 830*b36*b38 - 330*b36*b39 - 490*b36*b40 - 310*b36*b41 - 300*
    b36*b42 - 690*b36*b43 - 650*b36*b44 - 350*b36*b45 - 110*b36*b46 - 980*b36*
    b47 - 560*b36*b48 - 800*b36*b49 - 850*b37*b38 - 730*b37*b39 - 610*b37*b40
     - 550*b37*b41 - 250*b37*b42 - 830*b37*b43 - 120*b37*b44 - 80*b37*b45 - 950
    *b37*b46 - 610*b37*b47 - 310*b37*b48 - 470*b37*b49 - 950*b38*b39 - 660*b38*
    b40 - 690*b38*b41 - 930*b38*b42 - 740*b38*b43 - 520*b38*b44 - 700*b38*b45
     - 570*b38*b46 - 850*b38*b47 - 710*b38*b48 - 400*b38*b49 - 150*b39*b40 - 
    400*b39*b41 - 580*b39*b42 - 20*b39*b43 - 40*b39*b44 - 560*b39*b45 - 100*b39
    *b46 - 360*b39*b47 - 410*b39*b48 - 830*b39*b49 - 980*b40*b41 - 490*b40*b42
     - 80*b40*b43 - 330*b40*b44 - 130*b40*b45 - 690*b40*b46 - 280*b40*b47 - 740
    *b40*b48 - 750*b41*b42 - 220*b41*b43 - 660*b41*b44 - 440*b41*b45 - 670*b41*
    b46 - 400*b41*b47 - 480*b41*b48 - 370*b41*b49 - 490*b42*b43 - 850*b42*b44
     - 90*b42*b45 - 410*b42*b46 - 10*b42*b48 - 990*b42*b49 - 540*b43*b44 - 570*
    b43*b45 - 80*b43*b46 - 640*b43*b47 - 940*b43*b48 - 10*b43*b49 - 470*b44*b45
     - 440*b44*b46 - 500*b44*b47 - 80*b44*b48 - 770*b44*b49 - 640*b45*b46 - 770
    *b45*b47 - 570*b45*b48 - 900*b45*b49 - 290*b46*b47 - 850*b46*b48 - 640*b46*
    b49 - 470*b47*b48 - 810*b47*b49 - 320*b48*b49 - 360*b50*b51 - 920*b50*b52
     - 30*b50*b53 - 620*b50*b54 - 540*b50*b55 - 210*b50*b56 - 850*b50*b57 - 690
    *b50*b58 - 700*b50*b59 - 200*b50*b60 - 750*b50*b61 - 800*b50*b62 - 120*b50*
    b63 - 820*b50*b64 - 100*b50*b65 - 990*b50*b66 - 40*b50*b67 - 130*b50*b68 - 
    840*b50*b69 - 980*b50*b70 - 270*b50*b71 - 810*b50*b72 - 590*b51*b52 - 470*
    b51*b53 - 830*b51*b54 - 530*b51*b55 - 800*b51*b56 - 350*b51*b58 - 900*b51*
    b59 - 980*b51*b60 - 710*b51*b61 - 830*b51*b62 - 540*b51*b63 - 860*b51*b64
     - 890*b51*b65 - 270*b51*b66 - 710*b51*b67 - 100*b51*b68 - 980*b51*b69 - 
    910*b51*b70 - 860*b51*b71 - 300*b51*b72 - 550*b52*b53 - 200*b52*b54 - 400*
    b52*b55 - 70*b52*b56 - 760*b52*b57 - 530*b52*b58 - 910*b52*b59 - 750*b52*
    b60 - 330*b52*b61 - 720*b52*b62 - 340*b52*b63 - 320*b52*b64 - 70*b52*b65 - 
    870*b52*b66 - 640*b52*b67 - 70*b52*b68 - 740*b52*b69 - 540*b52*b70 - 580*
    b52*b71 - 970*b52*b72 - 890*b53*b54 - 120*b53*b55 - 830*b53*b56 - 790*b53*
    b57 - 390*b53*b58 - 70*b53*b59 - 890*b53*b60 - 890*b53*b61 - 980*b53*b62 - 
    270*b53*b63 - 190*b53*b64 - 60*b53*b65 - 600*b53*b67 - 130*b53*b68 - 760*
    b53*b69 - 650*b53*b70 - 560*b53*b71 - 510*b53*b72 - 500*b54*b55 - 280*b54*
    b56 - 370*b54*b57 - 340*b54*b58 - 870*b54*b59 - 240*b54*b60 - 980*b54*b61
     - 470*b54*b62 - 500*b54*b63 - 50*b54*b64 - 570*b54*b65 - 480*b54*b66 - 940
    *b54*b67 - 210*b54*b68 - 310*b54*b69 - 250*b54*b70 - 120*b54*b71 - 380*b54*
    b72 - 150*b55*b56 - 20*b55*b57 - 890*b55*b58 - 940*b55*b59 - 210*b55*b60 - 
    950*b55*b61 - 940*b55*b62 - 330*b55*b63 - 80*b55*b64 - 710*b55*b65 - 990*
    b55*b66 - 640*b55*b67 - 740*b55*b68 - 10*b55*b69 - 440*b55*b70 - 120*b55*
    b71 - 360*b55*b72 - 830*b56*b57 - 880*b56*b58 - 340*b56*b59 - 300*b56*b60
     - 390*b56*b61 - 390*b56*b62 - 390*b56*b63 - 870*b56*b64 - 860*b56*b65 - 
    600*b56*b66 - 700*b56*b67 - 110*b56*b68 - 730*b56*b69 - 90*b56*b70 - 780*
    b56*b71 - 750*b56*b72 - 500*b57*b58 - 730*b57*b59 - 480*b57*b60 - 450*b57*
    b61 - 190*b57*b62 - 820*b57*b63 - 50*b57*b64 - 900*b57*b65 - 330*b57*b66 - 
    210*b57*b67 - 170*b57*b68 - 340*b57*b69 - 650*b57*b70 - 810*b57*b71 - 700*
    b57*b72 - 690*b58*b60 - 570*b58*b61 - 830*b58*b62 - 600*b58*b63 - 960*b58*
    b64 - 220*b58*b65 - 990*b58*b66 - 340*b58*b67 - 830*b58*b68 - 220*b58*b69
     - 460*b58*b70 - 560*b58*b71 - 830*b58*b72 - 240*b59*b60 - 830*b59*b61 - 
    330*b59*b62 - 490*b59*b63 - 310*b59*b64 - 300*b59*b65 - 690*b59*b66 - 650*
    b59*b67 - 350*b59*b68 - 110*b59*b69 - 980*b59*b70 - 560*b59*b71 - 800*b59*
    b72 - 850*b60*b61 - 730*b60*b62 - 610*b60*b63 - 550*b60*b64 - 250*b60*b65
     - 830*b60*b66 - 120*b60*b67 - 80*b60*b68 - 950*b60*b69 - 610*b60*b70 - 310
    *b60*b71 - 470*b60*b72 - 950*b61*b62 - 660*b61*b63 - 690*b61*b64 - 930*b61*
    b65 - 740*b61*b66 - 520*b61*b67 - 700*b61*b68 - 570*b61*b69 - 850*b61*b70
     - 710*b61*b71 - 400*b61*b72 - 150*b62*b63 - 400*b62*b64 - 580*b62*b65 - 20
    *b62*b66 - 40*b62*b67 - 560*b62*b68 - 100*b62*b69 - 360*b62*b70 - 410*b62*
    b71 - 830*b62*b72 - 980*b63*b64 - 490*b63*b65 - 80*b63*b66 - 330*b63*b67 - 
    130*b63*b68 - 690*b63*b69 - 280*b63*b70 - 740*b63*b71 - 750*b64*b65 - 220*
    b64*b66 - 660*b64*b67 - 440*b64*b68 - 670*b64*b69 - 400*b64*b70 - 480*b64*
    b71 - 370*b64*b72 - 490*b65*b66 - 850*b65*b67 - 90*b65*b68 - 410*b65*b69 - 
    10*b65*b71 - 990*b65*b72 - 540*b66*b67 - 570*b66*b68 - 80*b66*b69 - 640*b66
    *b70 - 940*b66*b71 - 10*b66*b72 - 470*b67*b68 - 440*b67*b69 - 500*b67*b70
     - 80*b67*b71 - 770*b67*b72 - 640*b68*b69 - 770*b68*b70 - 570*b68*b71 - 900
    *b68*b72 - 290*b69*b70 - 850*b69*b71 - 640*b69*b72 - 470*b70*b71 - 810*b70*
    b72 - 320*b71*b72 - 590*b73*b74 - 470*b73*b75 - 830*b73*b76 - 530*b73*b77
     - 800*b73*b78 - 350*b73*b79 - 900*b73*b80 - 980*b73*b81 - 710*b73*b82 - 
    830*b73*b83 - 540*b73*b84 - 860*b73*b85 - 890*b73*b86 - 270*b73*b87 - 710*
    b73*b88 - 100*b73*b89 - 980*b73*b90 - 910*b73*b91 - 860*b73*b92 - 300*b73*
    b93 - 550*b74*b75 - 200*b74*b76 - 400*b74*b77 - 70*b74*b78 - 530*b74*b79 - 
    910*b74*b80 - 750*b74*b81 - 330*b74*b82 - 720*b74*b83 - 340*b74*b84 - 320*
    b74*b85 - 70*b74*b86 - 870*b74*b87 - 640*b74*b88 - 70*b74*b89 - 740*b74*b90
     - 540*b74*b91 - 580*b74*b92 - 970*b74*b93 - 760*b74*b94 - 890*b75*b76 - 
    120*b75*b77 - 830*b75*b78 - 390*b75*b79 - 70*b75*b80 - 890*b75*b81 - 890*
    b75*b82 - 980*b75*b83 - 270*b75*b84 - 190*b75*b85 - 60*b75*b86 - 600*b75*
    b88 - 130*b75*b89 - 760*b75*b90 - 650*b75*b91 - 560*b75*b92 - 510*b75*b93
     - 790*b75*b94 - 500*b76*b77 - 280*b76*b78 - 340*b76*b79 - 870*b76*b80 - 
    240*b76*b81 - 980*b76*b82 - 470*b76*b83 - 500*b76*b84 - 50*b76*b85 - 570*
    b76*b86 - 480*b76*b87 - 940*b76*b88 - 210*b76*b89 - 310*b76*b90 - 250*b76*
    b91 - 120*b76*b92 - 380*b76*b93 - 370*b76*b94 - 150*b77*b78 - 890*b77*b79
     - 940*b77*b80 - 210*b77*b81 - 950*b77*b82 - 940*b77*b83 - 330*b77*b84 - 80
    *b77*b85 - 710*b77*b86 - 990*b77*b87 - 640*b77*b88 - 740*b77*b89 - 10*b77*
    b90 - 440*b77*b91 - 120*b77*b92 - 360*b77*b93 - 20*b77*b94 - 880*b78*b79 - 
    340*b78*b80 - 300*b78*b81 - 390*b78*b82 - 390*b78*b83 - 390*b78*b84 - 870*
    b78*b85 - 860*b78*b86 - 600*b78*b87 - 700*b78*b88 - 110*b78*b89 - 730*b78*
    b90 - 90*b78*b91 - 780*b78*b92 - 750*b78*b93 - 830*b78*b94 - 690*b79*b81 - 
    570*b79*b82 - 830*b79*b83 - 600*b79*b84 - 960*b79*b85 - 220*b79*b86 - 990*
    b79*b87 - 340*b79*b88 - 830*b79*b89 - 220*b79*b90 - 460*b79*b91 - 560*b79*
    b92 - 830*b79*b93 - 500*b79*b94 - 240*b80*b81 - 830*b80*b82 - 330*b80*b83
     - 490*b80*b84 - 310*b80*b85 - 300*b80*b86 - 690*b80*b87 - 650*b80*b88 - 
    350*b80*b89 - 110*b80*b90 - 980*b80*b91 - 560*b80*b92 - 800*b80*b93 - 730*
    b80*b94 - 850*b81*b82 - 730*b81*b83 - 610*b81*b84 - 550*b81*b85 - 250*b81*
    b86 - 830*b81*b87 - 120*b81*b88 - 80*b81*b89 - 950*b81*b90 - 610*b81*b91 - 
    310*b81*b92 - 470*b81*b93 - 480*b81*b94 - 950*b82*b83 - 660*b82*b84 - 690*
    b82*b85 - 930*b82*b86 - 740*b82*b87 - 520*b82*b88 - 700*b82*b89 - 570*b82*
    b90 - 850*b82*b91 - 710*b82*b92 - 400*b82*b93 - 450*b82*b94 - 150*b83*b84
     - 400*b83*b85 - 580*b83*b86 - 20*b83*b87 - 40*b83*b88 - 560*b83*b89 - 100*
    b83*b90 - 360*b83*b91 - 410*b83*b92 - 830*b83*b93 - 190*b83*b94 - 980*b84*
    b85 - 490*b84*b86 - 80*b84*b87 - 330*b84*b88 - 130*b84*b89 - 690*b84*b90 - 
    280*b84*b91 - 740*b84*b92 - 820*b84*b94 - 750*b85*b86 - 220*b85*b87 - 660*
    b85*b88 - 440*b85*b89 - 670*b85*b90 - 400*b85*b91 - 480*b85*b92 - 370*b85*
    b93 - 50*b85*b94 - 490*b86*b87 - 850*b86*b88 - 90*b86*b89 - 410*b86*b90 - 
    10*b86*b92 - 990*b86*b93 - 900*b86*b94 - 540*b87*b88 - 570*b87*b89 - 80*b87
    *b90 - 640*b87*b91 - 940*b87*b92 - 10*b87*b93 - 330*b87*b94 - 470*b88*b89
     - 440*b88*b90 - 500*b88*b91 - 80*b88*b92 - 770*b88*b93 - 210*b88*b94 - 640
    *b89*b90 - 770*b89*b91 - 570*b89*b92 - 900*b89*b93 - 170*b89*b94 - 290*b90*
    b91 - 850*b90*b92 - 640*b90*b93 - 340*b90*b94 - 470*b91*b92 - 810*b91*b93
     - 650*b91*b94 - 320*b92*b93 - 810*b92*b94 - 700*b93*b94 - 550*b95*b96 - 
    200*b95*b97 - 400*b95*b98 - 70*b95*b99 - 760*b95*b100 - 530*b95*b101 - 910*
    b95*b102 - 750*b95*b103 - 330*b95*b104 - 720*b95*b105 - 340*b95*b106 - 320*
    b95*b107 - 70*b95*b108 - 870*b95*b109 - 640*b95*b110 - 70*b95*b111 - 740*
    b95*b112 - 540*b95*b113 - 580*b95*b114 - 970*b95*b115 - 890*b96*b97 - 120*
    b96*b98 - 830*b96*b99 - 790*b96*b100 - 390*b96*b101 - 70*b96*b102 - 890*b96
    *b103 - 890*b96*b104 - 980*b96*b105 - 270*b96*b106 - 190*b96*b107 - 60*b96*
    b108 - 600*b96*b110 - 130*b96*b111 - 760*b96*b112 - 650*b96*b113 - 560*b96*
    b114 - 510*b96*b115 - 500*b97*b98 - 280*b97*b99 - 370*b97*b100 - 340*b97*
    b101 - 870*b97*b102 - 240*b97*b103 - 980*b97*b104 - 470*b97*b105 - 500*b97*
    b106 - 50*b97*b107 - 570*b97*b108 - 480*b97*b109 - 940*b97*b110 - 210*b97*
    b111 - 310*b97*b112 - 250*b97*b113 - 120*b97*b114 - 380*b97*b115 - 150*b98*
    b99 - 20*b98*b100 - 890*b98*b101 - 940*b98*b102 - 210*b98*b103 - 950*b98*
    b104 - 940*b98*b105 - 330*b98*b106 - 80*b98*b107 - 710*b98*b108 - 990*b98*
    b109 - 640*b98*b110 - 740*b98*b111 - 10*b98*b112 - 440*b98*b113 - 120*b98*
    b114 - 360*b98*b115 - 830*b99*b100 - 880*b99*b101 - 340*b99*b102 - 300*b99*
    b103 - 390*b99*b104 - 390*b99*b105 - 390*b99*b106 - 870*b99*b107 - 860*b99*
    b108 - 600*b99*b109 - 700*b99*b110 - 110*b99*b111 - 730*b99*b112 - 90*b99*
    b113 - 780*b99*b114 - 750*b99*b115 - 500*b100*b101 - 730*b100*b102 - 480*
    b100*b103 - 450*b100*b104 - 190*b100*b105 - 820*b100*b106 - 50*b100*b107 - 
    900*b100*b108 - 330*b100*b109 - 210*b100*b110 - 170*b100*b111 - 340*b100*
    b112 - 650*b100*b113 - 810*b100*b114 - 700*b100*b115 - 690*b101*b103 - 570*
    b101*b104 - 830*b101*b105 - 600*b101*b106 - 960*b101*b107 - 220*b101*b108
     - 990*b101*b109 - 340*b101*b110 - 830*b101*b111 - 220*b101*b112 - 460*b101
    *b113 - 560*b101*b114 - 830*b101*b115 - 240*b102*b103 - 830*b102*b104 - 330
    *b102*b105 - 490*b102*b106 - 310*b102*b107 - 300*b102*b108 - 690*b102*b109
     - 650*b102*b110 - 350*b102*b111 - 110*b102*b112 - 980*b102*b113 - 560*b102
    *b114 - 800*b102*b115 - 850*b103*b104 - 730*b103*b105 - 610*b103*b106 - 550
    *b103*b107 - 250*b103*b108 - 830*b103*b109 - 120*b103*b110 - 80*b103*b111
     - 950*b103*b112 - 610*b103*b113 - 310*b103*b114 - 470*b103*b115 - 950*b104
    *b105 - 660*b104*b106 - 690*b104*b107 - 930*b104*b108 - 740*b104*b109 - 520
    *b104*b110 - 700*b104*b111 - 570*b104*b112 - 850*b104*b113 - 710*b104*b114
     - 400*b104*b115 - 150*b105*b106 - 400*b105*b107 - 580*b105*b108 - 20*b105*
    b109 - 40*b105*b110 - 560*b105*b111 - 100*b105*b112 - 360*b105*b113 - 410*
    b105*b114 - 830*b105*b115 - 980*b106*b107 - 490*b106*b108 - 80*b106*b109 - 
    330*b106*b110 - 130*b106*b111 - 690*b106*b112 - 280*b106*b113 - 740*b106*
    b114 - 750*b107*b108 - 220*b107*b109 - 660*b107*b110 - 440*b107*b111 - 670*
    b107*b112 - 400*b107*b113 - 480*b107*b114 - 370*b107*b115 - 490*b108*b109
     - 850*b108*b110 - 90*b108*b111 - 410*b108*b112 - 10*b108*b114 - 990*b108*
    b115 - 540*b109*b110 - 570*b109*b111 - 80*b109*b112 - 640*b109*b113 - 940*
    b109*b114 - 10*b109*b115 - 470*b110*b111 - 440*b110*b112 - 500*b110*b113 - 
    80*b110*b114 - 770*b110*b115 - 640*b111*b112 - 770*b111*b113 - 570*b111*
    b114 - 900*b111*b115 - 290*b112*b113 - 850*b112*b114 - 640*b112*b115 - 470*
    b113*b114 - 810*b113*b115 - 320*b114*b115 - 890*b116*b117 - 120*b116*b118
     - 830*b116*b119 - 790*b116*b120 - 390*b116*b121 - 70*b116*b122 - 890*b116*
    b123 - 890*b116*b124 - 980*b116*b125 - 270*b116*b126 - 190*b116*b127 - 60*
    b116*b128 - 600*b116*b129 - 130*b116*b130 - 760*b116*b131 - 650*b116*b132
     - 560*b116*b133 - 510*b116*b134 - 500*b117*b118 - 280*b117*b119 - 370*b117
    *b120 - 340*b117*b121 - 870*b117*b122 - 240*b117*b123 - 980*b117*b124 - 470
    *b117*b125 - 500*b117*b126 - 50*b117*b127 - 570*b117*b128 - 940*b117*b129
     - 210*b117*b130 - 310*b117*b131 - 250*b117*b132 - 120*b117*b133 - 380*b117
    *b134 - 480*b117*b135 - 150*b118*b119 - 20*b118*b120 - 890*b118*b121 - 940*
    b118*b122 - 210*b118*b123 - 950*b118*b124 - 940*b118*b125 - 330*b118*b126
     - 80*b118*b127 - 710*b118*b128 - 640*b118*b129 - 740*b118*b130 - 10*b118*
    b131 - 440*b118*b132 - 120*b118*b133 - 360*b118*b134 - 990*b118*b135 - 830*
    b119*b120 - 880*b119*b121 - 340*b119*b122 - 300*b119*b123 - 390*b119*b124
     - 390*b119*b125 - 390*b119*b126 - 870*b119*b127 - 860*b119*b128 - 700*b119
    *b129 - 110*b119*b130 - 730*b119*b131 - 90*b119*b132 - 780*b119*b133 - 750*
    b119*b134 - 600*b119*b135 - 500*b120*b121 - 730*b120*b122 - 480*b120*b123
     - 450*b120*b124 - 190*b120*b125 - 820*b120*b126 - 50*b120*b127 - 900*b120*
    b128 - 210*b120*b129 - 170*b120*b130 - 340*b120*b131 - 650*b120*b132 - 810*
    b120*b133 - 700*b120*b134 - 330*b120*b135 - 690*b121*b123 - 570*b121*b124
     - 830*b121*b125 - 600*b121*b126 - 960*b121*b127 - 220*b121*b128 - 340*b121
    *b129 - 830*b121*b130 - 220*b121*b131 - 460*b121*b132 - 560*b121*b133 - 830
    *b121*b134 - 990*b121*b135 - 240*b122*b123 - 830*b122*b124 - 330*b122*b125
     - 490*b122*b126 - 310*b122*b127 - 300*b122*b128 - 650*b122*b129 - 350*b122
    *b130 - 110*b122*b131 - 980*b122*b132 - 560*b122*b133 - 800*b122*b134 - 690
    *b122*b135 - 850*b123*b124 - 730*b123*b125 - 610*b123*b126 - 550*b123*b127
     - 250*b123*b128 - 120*b123*b129 - 80*b123*b130 - 950*b123*b131 - 610*b123*
    b132 - 310*b123*b133 - 470*b123*b134 - 830*b123*b135 - 950*b124*b125 - 660*
    b124*b126 - 690*b124*b127 - 930*b124*b128 - 520*b124*b129 - 700*b124*b130
     - 570*b124*b131 - 850*b124*b132 - 710*b124*b133 - 400*b124*b134 - 740*b124
    *b135 - 150*b125*b126 - 400*b125*b127 - 580*b125*b128 - 40*b125*b129 - 560*
    b125*b130 - 100*b125*b131 - 360*b125*b132 - 410*b125*b133 - 830*b125*b134
     - 20*b125*b135 - 980*b126*b127 - 490*b126*b128 - 330*b126*b129 - 130*b126*
    b130 - 690*b126*b131 - 280*b126*b132 - 740*b126*b133 - 80*b126*b135 - 750*
    b127*b128 - 660*b127*b129 - 440*b127*b130 - 670*b127*b131 - 400*b127*b132
     - 480*b127*b133 - 370*b127*b134 - 220*b127*b135 - 850*b128*b129 - 90*b128*
    b130 - 410*b128*b131 - 10*b128*b133 - 990*b128*b134 - 490*b128*b135 - 470*
    b129*b130 - 440*b129*b131 - 500*b129*b132 - 80*b129*b133 - 770*b129*b134 - 
    540*b129*b135 - 640*b130*b131 - 770*b130*b132 - 570*b130*b133 - 900*b130*
    b134 - 570*b130*b135 - 290*b131*b132 - 850*b131*b133 - 640*b131*b134 - 80*
    b131*b135 - 470*b132*b133 - 810*b132*b134 - 640*b132*b135 - 320*b133*b134
     - 940*b133*b135 - 10*b134*b135 - 500*b136*b137 - 280*b136*b138 - 370*b136*
    b139 - 340*b136*b140 - 870*b136*b141 - 240*b136*b142 - 980*b136*b143 - 470*
    b136*b144 - 500*b136*b145 - 50*b136*b146 - 570*b136*b147 - 480*b136*b148 - 
    940*b136*b149 - 210*b136*b150 - 310*b136*b151 - 250*b136*b152 - 120*b136*
    b153 - 380*b136*b154 - 150*b137*b138 - 20*b137*b139 - 890*b137*b140 - 940*
    b137*b141 - 210*b137*b142 - 950*b137*b143 - 940*b137*b144 - 330*b137*b145
     - 80*b137*b146 - 710*b137*b147 - 990*b137*b148 - 640*b137*b149 - 740*b137*
    b150 - 10*b137*b151 - 440*b137*b152 - 120*b137*b153 - 360*b137*b154 - 830*
    b138*b139 - 880*b138*b140 - 340*b138*b141 - 300*b138*b142 - 390*b138*b143
     - 390*b138*b144 - 390*b138*b145 - 870*b138*b146 - 860*b138*b147 - 600*b138
    *b148 - 700*b138*b149 - 110*b138*b150 - 730*b138*b151 - 90*b138*b152 - 780*
    b138*b153 - 750*b138*b154 - 500*b139*b140 - 730*b139*b141 - 480*b139*b142
     - 450*b139*b143 - 190*b139*b144 - 820*b139*b145 - 50*b139*b146 - 900*b139*
    b147 - 330*b139*b148 - 210*b139*b149 - 170*b139*b150 - 340*b139*b151 - 650*
    b139*b152 - 810*b139*b153 - 700*b139*b154 - 690*b140*b142 - 570*b140*b143
     - 830*b140*b144 - 600*b140*b145 - 960*b140*b146 - 220*b140*b147 - 990*b140
    *b148 - 340*b140*b149 - 830*b140*b150 - 220*b140*b151 - 460*b140*b152 - 560
    *b140*b153 - 830*b140*b154 - 240*b141*b142 - 830*b141*b143 - 330*b141*b144
     - 490*b141*b145 - 310*b141*b146 - 300*b141*b147 - 690*b141*b148 - 650*b141
    *b149 - 350*b141*b150 - 110*b141*b151 - 980*b141*b152 - 560*b141*b153 - 800
    *b141*b154 - 850*b142*b143 - 730*b142*b144 - 610*b142*b145 - 550*b142*b146
     - 250*b142*b147 - 830*b142*b148 - 120*b142*b149 - 80*b142*b150 - 950*b142*
    b151 - 610*b142*b152 - 310*b142*b153 - 470*b142*b154 - 950*b143*b144 - 660*
    b143*b145 - 690*b143*b146 - 930*b143*b147 - 740*b143*b148 - 520*b143*b149
     - 700*b143*b150 - 570*b143*b151 - 850*b143*b152 - 710*b143*b153 - 400*b143
    *b154 - 150*b144*b145 - 400*b144*b146 - 580*b144*b147 - 20*b144*b148 - 40*
    b144*b149 - 560*b144*b150 - 100*b144*b151 - 360*b144*b152 - 410*b144*b153
     - 830*b144*b154 - 980*b145*b146 - 490*b145*b147 - 80*b145*b148 - 330*b145*
    b149 - 130*b145*b150 - 690*b145*b151 - 280*b145*b152 - 740*b145*b153 - 750*
    b146*b147 - 220*b146*b148 - 660*b146*b149 - 440*b146*b150 - 670*b146*b151
     - 400*b146*b152 - 480*b146*b153 - 370*b146*b154 - 490*b147*b148 - 850*b147
    *b149 - 90*b147*b150 - 410*b147*b151 - 10*b147*b153 - 990*b147*b154 - 540*
    b148*b149 - 570*b148*b150 - 80*b148*b151 - 640*b148*b152 - 940*b148*b153 - 
    10*b148*b154 - 470*b149*b150 - 440*b149*b151 - 500*b149*b152 - 80*b149*b153
     - 770*b149*b154 - 640*b150*b151 - 770*b150*b152 - 570*b150*b153 - 900*b150
    *b154 - 290*b151*b152 - 850*b151*b153 - 640*b151*b154 - 470*b152*b153 - 810
    *b152*b154 - 320*b153*b154 - 150*b155*b156 - 20*b155*b157 - 890*b155*b158
     - 940*b155*b159 - 210*b155*b160 - 950*b155*b161 - 940*b155*b162 - 330*b155
    *b163 - 80*b155*b164 - 710*b155*b165 - 990*b155*b166 - 640*b155*b167 - 740*
    b155*b168 - 10*b155*b169 - 440*b155*b170 - 120*b155*b171 - 360*b155*b172 - 
    830*b156*b157 - 880*b156*b158 - 340*b156*b159 - 300*b156*b160 - 390*b156*
    b161 - 390*b156*b162 - 390*b156*b163 - 870*b156*b164 - 860*b156*b165 - 600*
    b156*b166 - 700*b156*b167 - 110*b156*b168 - 730*b156*b169 - 90*b156*b170 - 
    780*b156*b171 - 750*b156*b172 - 500*b157*b158 - 730*b157*b159 - 480*b157*
    b160 - 450*b157*b161 - 190*b157*b162 - 820*b157*b163 - 50*b157*b164 - 900*
    b157*b165 - 330*b157*b166 - 210*b157*b167 - 170*b157*b168 - 340*b157*b169
     - 650*b157*b170 - 810*b157*b171 - 700*b157*b172 - 690*b158*b160 - 570*b158
    *b161 - 830*b158*b162 - 600*b158*b163 - 960*b158*b164 - 220*b158*b165 - 990
    *b158*b166 - 340*b158*b167 - 830*b158*b168 - 220*b158*b169 - 460*b158*b170
     - 560*b158*b171 - 830*b158*b172 - 240*b159*b160 - 830*b159*b161 - 330*b159
    *b162 - 490*b159*b163 - 310*b159*b164 - 300*b159*b165 - 690*b159*b166 - 650
    *b159*b167 - 350*b159*b168 - 110*b159*b169 - 980*b159*b170 - 560*b159*b171
     - 800*b159*b172 - 850*b160*b161 - 730*b160*b162 - 610*b160*b163 - 550*b160
    *b164 - 250*b160*b165 - 830*b160*b166 - 120*b160*b167 - 80*b160*b168 - 950*
    b160*b169 - 610*b160*b170 - 310*b160*b171 - 470*b160*b172 - 950*b161*b162
     - 660*b161*b163 - 690*b161*b164 - 930*b161*b165 - 740*b161*b166 - 520*b161
    *b167 - 700*b161*b168 - 570*b161*b169 - 850*b161*b170 - 710*b161*b171 - 400
    *b161*b172 - 150*b162*b163 - 400*b162*b164 - 580*b162*b165 - 20*b162*b166
     - 40*b162*b167 - 560*b162*b168 - 100*b162*b169 - 360*b162*b170 - 410*b162*
    b171 - 830*b162*b172 - 980*b163*b164 - 490*b163*b165 - 80*b163*b166 - 330*
    b163*b167 - 130*b163*b168 - 690*b163*b169 - 280*b163*b170 - 740*b163*b171
     - 750*b164*b165 - 220*b164*b166 - 660*b164*b167 - 440*b164*b168 - 670*b164
    *b169 - 400*b164*b170 - 480*b164*b171 - 370*b164*b172 - 490*b165*b166 - 850
    *b165*b167 - 90*b165*b168 - 410*b165*b169 - 10*b165*b171 - 990*b165*b172 - 
    540*b166*b167 - 570*b166*b168 - 80*b166*b169 - 640*b166*b170 - 940*b166*
    b171 - 10*b166*b172 - 470*b167*b168 - 440*b167*b169 - 500*b167*b170 - 80*
    b167*b171 - 770*b167*b172 - 640*b168*b169 - 770*b168*b170 - 570*b168*b171
     - 900*b168*b172 - 290*b169*b170 - 850*b169*b171 - 640*b169*b172 - 470*b170
    *b171 - 810*b170*b172 - 320*b171*b172 - 830*b173*b174 - 880*b173*b175 - 340
    *b173*b176 - 300*b173*b177 - 390*b173*b178 - 390*b173*b179 - 390*b173*b180
     - 870*b173*b181 - 860*b173*b182 - 600*b173*b183 - 700*b173*b184 - 110*b173
    *b185 - 730*b173*b186 - 90*b173*b187 - 780*b173*b188 - 750*b173*b189 - 500*
    b174*b175 - 730*b174*b176 - 480*b174*b177 - 450*b174*b178 - 190*b174*b179
     - 820*b174*b180 - 50*b174*b181 - 900*b174*b182 - 330*b174*b183 - 210*b174*
    b184 - 170*b174*b185 - 340*b174*b186 - 650*b174*b187 - 810*b174*b188 - 700*
    b174*b189 - 690*b175*b177 - 570*b175*b178 - 830*b175*b179 - 600*b175*b180
     - 960*b175*b181 - 220*b175*b182 - 990*b175*b183 - 340*b175*b184 - 830*b175
    *b185 - 220*b175*b186 - 460*b175*b187 - 560*b175*b188 - 830*b175*b189 - 240
    *b176*b177 - 830*b176*b178 - 330*b176*b179 - 490*b176*b180 - 310*b176*b181
     - 300*b176*b182 - 690*b176*b183 - 650*b176*b184 - 350*b176*b185 - 110*b176
    *b186 - 980*b176*b187 - 560*b176*b188 - 800*b176*b189 - 850*b177*b178 - 730
    *b177*b179 - 610*b177*b180 - 550*b177*b181 - 250*b177*b182 - 830*b177*b183
     - 120*b177*b184 - 80*b177*b185 - 950*b177*b186 - 610*b177*b187 - 310*b177*
    b188 - 470*b177*b189 - 950*b178*b179 - 660*b178*b180 - 690*b178*b181 - 930*
    b178*b182 - 740*b178*b183 - 520*b178*b184 - 700*b178*b185 - 570*b178*b186
     - 850*b178*b187 - 710*b178*b188 - 400*b178*b189 - 150*b179*b180 - 400*b179
    *b181 - 580*b179*b182 - 20*b179*b183 - 40*b179*b184 - 560*b179*b185 - 100*
    b179*b186 - 360*b179*b187 - 410*b179*b188 - 830*b179*b189 - 980*b180*b181
     - 490*b180*b182 - 80*b180*b183 - 330*b180*b184 - 130*b180*b185 - 690*b180*
    b186 - 280*b180*b187 - 740*b180*b188 - 750*b181*b182 - 220*b181*b183 - 660*
    b181*b184 - 440*b181*b185 - 670*b181*b186 - 400*b181*b187 - 480*b181*b188
     - 370*b181*b189 - 490*b182*b183 - 850*b182*b184 - 90*b182*b185 - 410*b182*
    b186 - 10*b182*b188 - 990*b182*b189 - 540*b183*b184 - 570*b183*b185 - 80*
    b183*b186 - 640*b183*b187 - 940*b183*b188 - 10*b183*b189 - 470*b184*b185 - 
    440*b184*b186 - 500*b184*b187 - 80*b184*b188 - 770*b184*b189 - 640*b185*
    b186 - 770*b185*b187 - 570*b185*b188 - 900*b185*b189 - 290*b186*b187 - 850*
    b186*b188 - 640*b186*b189 - 470*b187*b188 - 810*b187*b189 - 320*b188*b189
     - 500*b190*b191 - 730*b190*b192 - 480*b190*b193 - 450*b190*b194 - 190*b190
    *b195 - 820*b190*b196 - 50*b190*b197 - 900*b190*b198 - 330*b190*b199 - 210*
    b190*b200 - 170*b190*b201 - 340*b190*b202 - 650*b190*b203 - 810*b190*b204
     - 700*b190*b205 - 690*b191*b193 - 570*b191*b194 - 830*b191*b195 - 600*b191
    *b196 - 960*b191*b197 - 220*b191*b198 - 990*b191*b199 - 340*b191*b200 - 830
    *b191*b201 - 220*b191*b202 - 460*b191*b203 - 560*b191*b204 - 830*b191*b205
     - 240*b192*b193 - 830*b192*b194 - 330*b192*b195 - 490*b192*b196 - 310*b192
    *b197 - 300*b192*b198 - 690*b192*b199 - 650*b192*b200 - 350*b192*b201 - 110
    *b192*b202 - 980*b192*b203 - 560*b192*b204 - 800*b192*b205 - 850*b193*b194
     - 730*b193*b195 - 610*b193*b196 - 550*b193*b197 - 250*b193*b198 - 830*b193
    *b199 - 120*b193*b200 - 80*b193*b201 - 950*b193*b202 - 610*b193*b203 - 310*
    b193*b204 - 470*b193*b205 - 950*b194*b195 - 660*b194*b196 - 690*b194*b197
     - 930*b194*b198 - 740*b194*b199 - 520*b194*b200 - 700*b194*b201 - 570*b194
    *b202 - 850*b194*b203 - 710*b194*b204 - 400*b194*b205 - 150*b195*b196 - 400
    *b195*b197 - 580*b195*b198 - 20*b195*b199 - 40*b195*b200 - 560*b195*b201 - 
    100*b195*b202 - 360*b195*b203 - 410*b195*b204 - 830*b195*b205 - 980*b196*
    b197 - 490*b196*b198 - 80*b196*b199 - 330*b196*b200 - 130*b196*b201 - 690*
    b196*b202 - 280*b196*b203 - 740*b196*b204 - 750*b197*b198 - 220*b197*b199
     - 660*b197*b200 - 440*b197*b201 - 670*b197*b202 - 400*b197*b203 - 480*b197
    *b204 - 370*b197*b205 - 490*b198*b199 - 850*b198*b200 - 90*b198*b201 - 410*
    b198*b202 - 10*b198*b204 - 990*b198*b205 - 540*b199*b200 - 570*b199*b201 - 
    80*b199*b202 - 640*b199*b203 - 940*b199*b204 - 10*b199*b205 - 470*b200*b201
     - 440*b200*b202 - 500*b200*b203 - 80*b200*b204 - 770*b200*b205 - 640*b201*
    b202 - 770*b201*b203 - 570*b201*b204 - 900*b201*b205 - 290*b202*b203 - 850*
    b202*b204 - 640*b202*b205 - 470*b203*b204 - 810*b203*b205 - 320*b204*b205
     - 690*b206*b207 - 570*b206*b208 - 830*b206*b209 - 600*b206*b210 - 960*b206
    *b211 - 220*b206*b212 - 990*b206*b213 - 340*b206*b214 - 830*b206*b215 - 220
    *b206*b216 - 460*b206*b217 - 560*b206*b218 - 830*b206*b219 - 850*b207*b208
     - 730*b207*b209 - 610*b207*b210 - 550*b207*b211 - 250*b207*b212 - 830*b207
    *b213 - 120*b207*b214 - 80*b207*b215 - 950*b207*b216 - 610*b207*b217 - 310*
    b207*b218 - 470*b207*b219 - 240*b207*b220 - 950*b208*b209 - 660*b208*b210
     - 690*b208*b211 - 930*b208*b212 - 740*b208*b213 - 520*b208*b214 - 700*b208
    *b215 - 570*b208*b216 - 850*b208*b217 - 710*b208*b218 - 400*b208*b219 - 830
    *b208*b220 - 150*b209*b210 - 400*b209*b211 - 580*b209*b212 - 20*b209*b213
     - 40*b209*b214 - 560*b209*b215 - 100*b209*b216 - 360*b209*b217 - 410*b209*
    b218 - 830*b209*b219 - 330*b209*b220 - 980*b210*b211 - 490*b210*b212 - 80*
    b210*b213 - 330*b210*b214 - 130*b210*b215 - 690*b210*b216 - 280*b210*b217
     - 740*b210*b218 - 490*b210*b220 - 750*b211*b212 - 220*b211*b213 - 660*b211
    *b214 - 440*b211*b215 - 670*b211*b216 - 400*b211*b217 - 480*b211*b218 - 370
    *b211*b219 - 310*b211*b220 - 490*b212*b213 - 850*b212*b214 - 90*b212*b215
     - 410*b212*b216 - 10*b212*b218 - 990*b212*b219 - 300*b212*b220 - 540*b213*
    b214 - 570*b213*b215 - 80*b213*b216 - 640*b213*b217 - 940*b213*b218 - 10*
    b213*b219 - 690*b213*b220 - 470*b214*b215 - 440*b214*b216 - 500*b214*b217
     - 80*b214*b218 - 770*b214*b219 - 650*b214*b220 - 640*b215*b216 - 770*b215*
    b217 - 570*b215*b218 - 900*b215*b219 - 350*b215*b220 - 290*b216*b217 - 850*
    b216*b218 - 640*b216*b219 - 110*b216*b220 - 470*b217*b218 - 810*b217*b219
     - 980*b217*b220 - 320*b218*b219 - 560*b218*b220 - 800*b219*b220 - 240*b221
    *b222 - 830*b221*b223 - 330*b221*b224 - 490*b221*b225 - 310*b221*b226 - 300
    *b221*b227 - 690*b221*b228 - 650*b221*b229 - 350*b221*b230 - 110*b221*b231
     - 980*b221*b232 - 560*b221*b233 - 800*b221*b234 - 850*b222*b223 - 730*b222
    *b224 - 610*b222*b225 - 550*b222*b226 - 250*b222*b227 - 830*b222*b228 - 120
    *b222*b229 - 80*b222*b230 - 950*b222*b231 - 610*b222*b232 - 310*b222*b233
     - 470*b222*b234 - 950*b223*b224 - 660*b223*b225 - 690*b223*b226 - 930*b223
    *b227 - 740*b223*b228 - 520*b223*b229 - 700*b223*b230 - 570*b223*b231 - 850
    *b223*b232 - 710*b223*b233 - 400*b223*b234 - 150*b224*b225 - 400*b224*b226
     - 580*b224*b227 - 20*b224*b228 - 40*b224*b229 - 560*b224*b230 - 100*b224*
    b231 - 360*b224*b232 - 410*b224*b233 - 830*b224*b234 - 980*b225*b226 - 490*
    b225*b227 - 80*b225*b228 - 330*b225*b229 - 130*b225*b230 - 690*b225*b231 - 
    280*b225*b232 - 740*b225*b233 - 750*b226*b227 - 220*b226*b228 - 660*b226*
    b229 - 440*b226*b230 - 670*b226*b231 - 400*b226*b232 - 480*b226*b233 - 370*
    b226*b234 - 490*b227*b228 - 850*b227*b229 - 90*b227*b230 - 410*b227*b231 - 
    10*b227*b233 - 990*b227*b234 - 540*b228*b229 - 570*b228*b230 - 80*b228*b231
     - 640*b228*b232 - 940*b228*b233 - 10*b228*b234 - 470*b229*b230 - 440*b229*
    b231 - 500*b229*b232 - 80*b229*b233 - 770*b229*b234 - 640*b230*b231 - 770*
    b230*b232 - 570*b230*b233 - 900*b230*b234 - 290*b231*b232 - 850*b231*b233
     - 640*b231*b234 - 470*b232*b233 - 810*b232*b234 - 320*b233*b234 - 850*b235
    *b236 - 730*b235*b237 - 610*b235*b238 - 550*b235*b239 - 250*b235*b240 - 830
    *b235*b241 - 120*b235*b242 - 80*b235*b243 - 950*b235*b244 - 610*b235*b245
     - 310*b235*b246 - 470*b235*b247 - 950*b236*b237 - 660*b236*b238 - 690*b236
    *b239 - 930*b236*b240 - 740*b236*b241 - 520*b236*b242 - 700*b236*b243 - 570
    *b236*b244 - 850*b236*b245 - 710*b236*b246 - 400*b236*b247 - 150*b237*b238
     - 400*b237*b239 - 580*b237*b240 - 20*b237*b241 - 40*b237*b242 - 560*b237*
    b243 - 100*b237*b244 - 360*b237*b245 - 410*b237*b246 - 830*b237*b247 - 980*
    b238*b239 - 490*b238*b240 - 80*b238*b241 - 330*b238*b242 - 130*b238*b243 - 
    690*b238*b244 - 280*b238*b245 - 740*b238*b246 - 750*b239*b240 - 220*b239*
    b241 - 660*b239*b242 - 440*b239*b243 - 670*b239*b244 - 400*b239*b245 - 480*
    b239*b246 - 370*b239*b247 - 490*b240*b241 - 850*b240*b242 - 90*b240*b243 - 
    410*b240*b244 - 10*b240*b246 - 990*b240*b247 - 540*b241*b242 - 570*b241*
    b243 - 80*b241*b244 - 640*b241*b245 - 940*b241*b246 - 10*b241*b247 - 470*
    b242*b243 - 440*b242*b244 - 500*b242*b245 - 80*b242*b246 - 770*b242*b247 - 
    640*b243*b244 - 770*b243*b245 - 570*b243*b246 - 900*b243*b247 - 290*b244*
    b245 - 850*b244*b246 - 640*b244*b247 - 470*b245*b246 - 810*b245*b247 - 320*
    b246*b247 - 950*b248*b249 - 660*b248*b250 - 690*b248*b251 - 930*b248*b252
     - 740*b248*b253 - 520*b248*b254 - 700*b248*b255 - 570*b248*b256 - 850*b248
    *b257 - 710*b248*b258 - 400*b248*b259 - 150*b249*b250 - 400*b249*b251 - 580
    *b249*b252 - 20*b249*b253 - 40*b249*b254 - 560*b249*b255 - 100*b249*b256 - 
    360*b249*b257 - 410*b249*b258 - 830*b249*b259 - 980*b250*b251 - 490*b250*
    b252 - 80*b250*b253 - 330*b250*b254 - 130*b250*b255 - 690*b250*b256 - 280*
    b250*b257 - 740*b250*b258 - 750*b251*b252 - 220*b251*b253 - 660*b251*b254
     - 440*b251*b255 - 670*b251*b256 - 400*b251*b257 - 480*b251*b258 - 370*b251
    *b259 - 490*b252*b253 - 850*b252*b254 - 90*b252*b255 - 410*b252*b256 - 10*
    b252*b258 - 990*b252*b259 - 540*b253*b254 - 570*b253*b255 - 80*b253*b256 - 
    640*b253*b257 - 940*b253*b258 - 10*b253*b259 - 470*b254*b255 - 440*b254*
    b256 - 500*b254*b257 - 80*b254*b258 - 770*b254*b259 - 640*b255*b256 - 770*
    b255*b257 - 570*b255*b258 - 900*b255*b259 - 290*b256*b257 - 850*b256*b258
     - 640*b256*b259 - 470*b257*b258 - 810*b257*b259 - 320*b258*b259 - 150*b260
    *b261 - 400*b260*b262 - 580*b260*b263 - 20*b260*b264 - 40*b260*b265 - 560*
    b260*b266 - 100*b260*b267 - 360*b260*b268 - 410*b260*b269 - 830*b260*b270
     - 980*b261*b262 - 490*b261*b263 - 80*b261*b264 - 330*b261*b265 - 130*b261*
    b266 - 690*b261*b267 - 280*b261*b268 - 740*b261*b269 - 750*b262*b263 - 220*
    b262*b264 - 660*b262*b265 - 440*b262*b266 - 670*b262*b267 - 400*b262*b268
     - 480*b262*b269 - 370*b262*b270 - 490*b263*b264 - 850*b263*b265 - 90*b263*
    b266 - 410*b263*b267 - 10*b263*b269 - 990*b263*b270 - 540*b264*b265 - 570*
    b264*b266 - 80*b264*b267 - 640*b264*b268 - 940*b264*b269 - 10*b264*b270 - 
    470*b265*b266 - 440*b265*b267 - 500*b265*b268 - 80*b265*b269 - 770*b265*
    b270 - 640*b266*b267 - 770*b266*b268 - 570*b266*b269 - 900*b266*b270 - 290*
    b267*b268 - 850*b267*b269 - 640*b267*b270 - 470*b268*b269 - 810*b268*b270
     - 320*b269*b270 - 980*b271*b272 - 490*b271*b273 - 80*b271*b274 - 330*b271*
    b275 - 130*b271*b276 - 690*b271*b277 - 280*b271*b278 - 740*b271*b279 - 750*
    b272*b273 - 220*b272*b274 - 660*b272*b275 - 440*b272*b276 - 670*b272*b277
     - 400*b272*b278 - 480*b272*b279 - 370*b272*b280 - 490*b273*b274 - 850*b273
    *b275 - 90*b273*b276 - 410*b273*b277 - 10*b273*b279 - 990*b273*b280 - 540*
    b274*b275 - 570*b274*b276 - 80*b274*b277 - 640*b274*b278 - 940*b274*b279 - 
    10*b274*b280 - 470*b275*b276 - 440*b275*b277 - 500*b275*b278 - 80*b275*b279
     - 770*b275*b280 - 640*b276*b277 - 770*b276*b278 - 570*b276*b279 - 900*b276
    *b280 - 290*b277*b278 - 850*b277*b279 - 640*b277*b280 - 470*b278*b279 - 810
    *b278*b280 - 320*b279*b280 - 750*b281*b282 - 220*b281*b283 - 660*b281*b284
     - 440*b281*b285 - 670*b281*b286 - 400*b281*b287 - 480*b281*b288 - 370*b281
    *b289 - 490*b282*b283 - 850*b282*b284 - 90*b282*b285 - 410*b282*b286 - 10*
    b282*b288 - 990*b282*b289 - 540*b283*b284 - 570*b283*b285 - 80*b283*b286 - 
    640*b283*b287 - 940*b283*b288 - 10*b283*b289 - 470*b284*b285 - 440*b284*
    b286 - 500*b284*b287 - 80*b284*b288 - 770*b284*b289 - 640*b285*b286 - 770*
    b285*b287 - 570*b285*b288 - 900*b285*b289 - 290*b286*b287 - 850*b286*b288
     - 640*b286*b289 - 470*b287*b288 - 810*b287*b289 - 320*b288*b289 - 490*b290
    *b291 - 850*b290*b292 - 90*b290*b293 - 410*b290*b294 - 10*b290*b295 - 990*
    b290*b296 - 540*b291*b292 - 570*b291*b293 - 80*b291*b294 - 940*b291*b295 - 
    10*b291*b296 - 640*b291*b297 - 470*b292*b293 - 440*b292*b294 - 80*b292*b295
     - 770*b292*b296 - 500*b292*b297 - 640*b293*b294 - 570*b293*b295 - 900*b293
    *b296 - 770*b293*b297 - 850*b294*b295 - 640*b294*b296 - 290*b294*b297 - 320
    *b295*b296 - 470*b295*b297 - 810*b296*b297 - 540*b298*b299 - 570*b298*b300
     - 80*b298*b301 - 640*b298*b302 - 940*b298*b303 - 10*b298*b304 - 470*b299*
    b300 - 440*b299*b301 - 500*b299*b302 - 80*b299*b303 - 770*b299*b304 - 640*
    b300*b301 - 770*b300*b302 - 570*b300*b303 - 900*b300*b304 - 290*b301*b302
     - 850*b301*b303 - 640*b301*b304 - 470*b302*b303 - 810*b302*b304 - 320*b303
    *b304 - 470*b305*b306 - 440*b305*b307 - 500*b305*b308 - 80*b305*b309 - 770*
    b305*b310 - 640*b306*b307 - 770*b306*b308 - 570*b306*b309 - 900*b306*b310
     - 290*b307*b308 - 850*b307*b309 - 640*b307*b310 - 470*b308*b309 - 810*b308
    *b310 - 320*b309*b310 - 640*b311*b312 - 770*b311*b313 - 570*b311*b314 - 900
    *b311*b315 - 290*b312*b313 - 850*b312*b314 - 640*b312*b315 - 470*b313*b314
     - 810*b313*b315 - 320*b314*b315 - 290*b316*b317 - 850*b316*b318 - 640*b316
    *b319 - 470*b317*b318 - 810*b317*b319 - 320*b318*b319 - 470*b320*b321 - 810
    *b320*b322 - 320*b321*b322 - 320*b323*b324;

subject to

e2:    b2 + b26 = 1;

e3:    b3 + b27 + b50 = 1;

e4:    b4 + b28 + b51 + b73 = 1;

e5:    b5 + b29 + b52 + b74 + b95 = 1;

e6:    b6 + b30 + b53 + b75 + b96 + b116 = 1;

e7:    b7 + b31 + b54 + b76 + b97 + b117 + b136 = 1;

e8:    b8 + b32 + b55 + b77 + b98 + b118 + b137 + b155 = 1;

e9:    b9 + b33 + b56 + b78 + b99 + b119 + b138 + b156 + b173 = 1;

e10:    b10 + b34 + b57 + b94 + b100 + b120 + b139 + b157 + b174 + b190 = 1;

e11:    b11 + b35 + b58 + b79 + b101 + b121 + b140 + b158 + b175 + b191 + b206
      = 1;

e12:    b12 + b36 + b59 + b80 + b102 + b122 + b141 + b159 + b176 + b192 + b220
      + b221 = 1;

e13:    b13 + b37 + b60 + b81 + b103 + b123 + b142 + b160 + b177 + b193 + b207
      + b222 + b235 = 1;

e14:    b14 + b38 + b61 + b82 + b104 + b124 + b143 + b161 + b178 + b194 + b208
      + b223 + b236 + b248 = 1;

e15:    b15 + b39 + b62 + b83 + b105 + b125 + b144 + b162 + b179 + b195 + b209
      + b224 + b237 + b249 + b260 = 1;

e16:    b16 + b40 + b63 + b84 + b106 + b126 + b145 + b163 + b180 + b196 + b210
      + b225 + b238 + b250 + b261 + b271 = 1;

e17:    b17 + b41 + b64 + b85 + b107 + b127 + b146 + b164 + b181 + b197 + b211
      + b226 + b239 + b251 + b262 + b272 + b281 = 1;

e18:    b18 + b42 + b65 + b86 + b108 + b128 + b147 + b165 + b182 + b198 + b212
      + b227 + b240 + b252 + b263 + b273 + b282 + b290 = 1;

e19:    b19 + b43 + b66 + b87 + b109 + b135 + b148 + b166 + b183 + b199 + b213
      + b228 + b241 + b253 + b264 + b274 + b283 + b291 + b298 = 1;

e20:    b20 + b44 + b67 + b88 + b110 + b129 + b149 + b167 + b184 + b200 + b214
      + b229 + b242 + b254 + b265 + b275 + b284 + b292 + b299 + b305 = 1;

e21:    b21 + b45 + b68 + b89 + b111 + b130 + b150 + b168 + b185 + b201 + b215
      + b230 + b243 + b255 + b266 + b276 + b285 + b293 + b300 + b306 + b311
      = 1;

e22:    b22 + b46 + b69 + b90 + b112 + b131 + b151 + b169 + b186 + b202 + b216
      + b231 + b244 + b256 + b267 + b277 + b286 + b294 + b301 + b307 + b312
      + b316 = 1;

e23:    b23 + b47 + b70 + b91 + b113 + b132 + b152 + b170 + b187 + b203 + b217
      + b232 + b245 + b257 + b268 + b278 + b287 + b297 + b302 + b308 + b313
      + b317 + b320 = 1;

e24:    b24 + b48 + b71 + b92 + b114 + b133 + b153 + b171 + b188 + b204 + b218
      + b233 + b246 + b258 + b269 + b279 + b288 + b295 + b303 + b309 + b314
      + b318 + b321 + b323 = 1;

e25:    b25 + b49 + b72 + b93 + b115 + b134 + b154 + b172 + b189 + b205 + b219
      + b234 + b247 + b259 + b270 + b280 + b289 + b296 + b304 + b310 + b315
      + b319 + b322 + b324 + b325 = 1;

e26:  - b26 + b27 <= 0;

e27:  - b26 + b28 <= 0;

e28:  - b26 + b29 <= 0;

e29:  - b26 + b30 <= 0;

e30:  - b26 + b31 <= 0;

e31:  - b26 + b32 <= 0;

e32:  - b26 + b33 <= 0;

e33:  - b26 + b34 <= 0;

e34:  - b26 + b35 <= 0;

e35:  - b26 + b36 <= 0;

e36:  - b26 + b37 <= 0;

e37:  - b26 + b38 <= 0;

e38:  - b26 + b39 <= 0;

e39:  - b26 + b40 <= 0;

e40:  - b26 + b41 <= 0;

e41:  - b26 + b42 <= 0;

e42:  - b26 + b43 <= 0;

e43:  - b26 + b44 <= 0;

e44:  - b26 + b45 <= 0;

e45:  - b26 + b46 <= 0;

e46:  - b26 + b47 <= 0;

e47:  - b26 + b48 <= 0;

e48:  - b26 + b49 <= 0;

e49:  - b50 + b51 <= 0;

e50:  - b50 + b52 <= 0;

e51:  - b50 + b53 <= 0;

e52:  - b50 + b54 <= 0;

e53:  - b50 + b55 <= 0;

e54:  - b50 + b56 <= 0;

e55:  - b50 + b57 <= 0;

e56:  - b50 + b58 <= 0;

e57:  - b50 + b59 <= 0;

e58:  - b50 + b60 <= 0;

e59:  - b50 + b61 <= 0;

e60:  - b50 + b62 <= 0;

e61:  - b50 + b63 <= 0;

e62:  - b50 + b64 <= 0;

e63:  - b50 + b65 <= 0;

e64:  - b50 + b66 <= 0;

e65:  - b50 + b67 <= 0;

e66:  - b50 + b68 <= 0;

e67:  - b50 + b69 <= 0;

e68:  - b50 + b70 <= 0;

e69:  - b50 + b71 <= 0;

e70:  - b50 + b72 <= 0;

e71:  - b73 + b74 <= 0;

e72:  - b73 + b75 <= 0;

e73:  - b73 + b76 <= 0;

e74:  - b73 + b77 <= 0;

e75:  - b73 + b78 <= 0;

e76:  - b73 + b94 <= 0;

e77:  - b73 + b79 <= 0;

e78:  - b73 + b80 <= 0;

e79:  - b73 + b81 <= 0;

e80:  - b73 + b82 <= 0;

e81:  - b73 + b83 <= 0;

e82:  - b73 + b84 <= 0;

e83:  - b73 + b85 <= 0;

e84:  - b73 + b86 <= 0;

e85:  - b73 + b87 <= 0;

e86:  - b73 + b88 <= 0;

e87:  - b73 + b89 <= 0;

e88:  - b73 + b90 <= 0;

e89:  - b73 + b91 <= 0;

e90:  - b73 + b92 <= 0;

e91:  - b73 + b93 <= 0;

e92:  - b95 + b96 <= 0;

e93:  - b95 + b97 <= 0;

e94:  - b95 + b98 <= 0;

e95:  - b95 + b99 <= 0;

e96:  - b95 + b100 <= 0;

e97:  - b95 + b101 <= 0;

e98:  - b95 + b102 <= 0;

e99:  - b95 + b103 <= 0;

e100:  - b95 + b104 <= 0;

e101:  - b95 + b105 <= 0;

e102:  - b95 + b106 <= 0;

e103:  - b95 + b107 <= 0;

e104:  - b95 + b108 <= 0;

e105:  - b95 + b109 <= 0;

e106:  - b95 + b110 <= 0;

e107:  - b95 + b111 <= 0;

e108:  - b95 + b112 <= 0;

e109:  - b95 + b113 <= 0;

e110:  - b95 + b114 <= 0;

e111:  - b95 + b115 <= 0;

e112:  - b116 + b117 <= 0;

e113:  - b116 + b118 <= 0;

e114:  - b116 + b119 <= 0;

e115:  - b116 + b120 <= 0;

e116:  - b116 + b121 <= 0;

e117:  - b116 + b122 <= 0;

e118:  - b116 + b123 <= 0;

e119:  - b116 + b124 <= 0;

e120:  - b116 + b125 <= 0;

e121:  - b116 + b126 <= 0;

e122:  - b116 + b127 <= 0;

e123:  - b116 + b128 <= 0;

e124:  - b116 + b135 <= 0;

e125:  - b116 + b129 <= 0;

e126:  - b116 + b130 <= 0;

e127:  - b116 + b131 <= 0;

e128:  - b116 + b132 <= 0;

e129:  - b116 + b133 <= 0;

e130:  - b116 + b134 <= 0;

e131:  - b136 + b137 <= 0;

e132:  - b136 + b138 <= 0;

e133:  - b136 + b139 <= 0;

e134:  - b136 + b140 <= 0;

e135:  - b136 + b141 <= 0;

e136:  - b136 + b142 <= 0;

e137:  - b136 + b143 <= 0;

e138:  - b136 + b144 <= 0;

e139:  - b136 + b145 <= 0;

e140:  - b136 + b146 <= 0;

e141:  - b136 + b147 <= 0;

e142:  - b136 + b148 <= 0;

e143:  - b136 + b149 <= 0;

e144:  - b136 + b150 <= 0;

e145:  - b136 + b151 <= 0;

e146:  - b136 + b152 <= 0;

e147:  - b136 + b153 <= 0;

e148:  - b136 + b154 <= 0;

e149:  - b155 + b156 <= 0;

e150:  - b155 + b157 <= 0;

e151:  - b155 + b158 <= 0;

e152:  - b155 + b159 <= 0;

e153:  - b155 + b160 <= 0;

e154:  - b155 + b161 <= 0;

e155:  - b155 + b162 <= 0;

e156:  - b155 + b163 <= 0;

e157:  - b155 + b164 <= 0;

e158:  - b155 + b165 <= 0;

e159:  - b155 + b166 <= 0;

e160:  - b155 + b167 <= 0;

e161:  - b155 + b168 <= 0;

e162:  - b155 + b169 <= 0;

e163:  - b155 + b170 <= 0;

e164:  - b155 + b171 <= 0;

e165:  - b155 + b172 <= 0;

e166:  - b173 + b174 <= 0;

e167:  - b173 + b175 <= 0;

e168:  - b173 + b176 <= 0;

e169:  - b173 + b177 <= 0;

e170:  - b173 + b178 <= 0;

e171:  - b173 + b179 <= 0;

e172:  - b173 + b180 <= 0;

e173:  - b173 + b181 <= 0;

e174:  - b173 + b182 <= 0;

e175:  - b173 + b183 <= 0;

e176:  - b173 + b184 <= 0;

e177:  - b173 + b185 <= 0;

e178:  - b173 + b186 <= 0;

e179:  - b173 + b187 <= 0;

e180:  - b173 + b188 <= 0;

e181:  - b173 + b189 <= 0;

e182:  - b190 + b191 <= 0;

e183:  - b190 + b192 <= 0;

e184:  - b190 + b193 <= 0;

e185:  - b190 + b194 <= 0;

e186:  - b190 + b195 <= 0;

e187:  - b190 + b196 <= 0;

e188:  - b190 + b197 <= 0;

e189:  - b190 + b198 <= 0;

e190:  - b190 + b199 <= 0;

e191:  - b190 + b200 <= 0;

e192:  - b190 + b201 <= 0;

e193:  - b190 + b202 <= 0;

e194:  - b190 + b203 <= 0;

e195:  - b190 + b204 <= 0;

e196:  - b190 + b205 <= 0;

e197:  - b206 + b220 <= 0;

e198:  - b206 + b207 <= 0;

e199:  - b206 + b208 <= 0;

e200:  - b206 + b209 <= 0;

e201:  - b206 + b210 <= 0;

e202:  - b206 + b211 <= 0;

e203:  - b206 + b212 <= 0;

e204:  - b206 + b213 <= 0;

e205:  - b206 + b214 <= 0;

e206:  - b206 + b215 <= 0;

e207:  - b206 + b216 <= 0;

e208:  - b206 + b217 <= 0;

e209:  - b206 + b218 <= 0;

e210:  - b206 + b219 <= 0;

e211:  - b221 + b222 <= 0;

e212:  - b221 + b223 <= 0;

e213:  - b221 + b224 <= 0;

e214:  - b221 + b225 <= 0;

e215:  - b221 + b226 <= 0;

e216:  - b221 + b227 <= 0;

e217:  - b221 + b228 <= 0;

e218:  - b221 + b229 <= 0;

e219:  - b221 + b230 <= 0;

e220:  - b221 + b231 <= 0;

e221:  - b221 + b232 <= 0;

e222:  - b221 + b233 <= 0;

e223:  - b221 + b234 <= 0;

e224:  - b235 + b236 <= 0;

e225:  - b235 + b237 <= 0;

e226:  - b235 + b238 <= 0;

e227:  - b235 + b239 <= 0;

e228:  - b235 + b240 <= 0;

e229:  - b235 + b241 <= 0;

e230:  - b235 + b242 <= 0;

e231:  - b235 + b243 <= 0;

e232:  - b235 + b244 <= 0;

e233:  - b235 + b245 <= 0;

e234:  - b235 + b246 <= 0;

e235:  - b235 + b247 <= 0;

e236:  - b248 + b249 <= 0;

e237:  - b248 + b250 <= 0;

e238:  - b248 + b251 <= 0;

e239:  - b248 + b252 <= 0;

e240:  - b248 + b253 <= 0;

e241:  - b248 + b254 <= 0;

e242:  - b248 + b255 <= 0;

e243:  - b248 + b256 <= 0;

e244:  - b248 + b257 <= 0;

e245:  - b248 + b258 <= 0;

e246:  - b248 + b259 <= 0;

e247:  - b260 + b261 <= 0;

e248:  - b260 + b262 <= 0;

e249:  - b260 + b263 <= 0;

e250:  - b260 + b264 <= 0;

e251:  - b260 + b265 <= 0;

e252:  - b260 + b266 <= 0;

e253:  - b260 + b267 <= 0;

e254:  - b260 + b268 <= 0;

e255:  - b260 + b269 <= 0;

e256:  - b260 + b270 <= 0;

e257:  - b271 + b272 <= 0;

e258:  - b271 + b273 <= 0;

e259:  - b271 + b274 <= 0;

e260:  - b271 + b275 <= 0;

e261:  - b271 + b276 <= 0;

e262:  - b271 + b277 <= 0;

e263:  - b271 + b278 <= 0;

e264:  - b271 + b279 <= 0;

e265:  - b271 + b280 <= 0;

e266:  - b281 + b282 <= 0;

e267:  - b281 + b283 <= 0;

e268:  - b281 + b284 <= 0;

e269:  - b281 + b285 <= 0;

e270:  - b281 + b286 <= 0;

e271:  - b281 + b287 <= 0;

e272:  - b281 + b288 <= 0;

e273:  - b281 + b289 <= 0;

e274:  - b290 + b291 <= 0;

e275:  - b290 + b292 <= 0;

e276:  - b290 + b293 <= 0;

e277:  - b290 + b294 <= 0;

e278:  - b290 + b297 <= 0;

e279:  - b290 + b295 <= 0;

e280:  - b290 + b296 <= 0;

e281:  - b298 + b299 <= 0;

e282:  - b298 + b300 <= 0;

e283:  - b298 + b301 <= 0;

e284:  - b298 + b302 <= 0;

e285:  - b298 + b303 <= 0;

e286:  - b298 + b304 <= 0;

e287:  - b305 + b306 <= 0;

e288:  - b305 + b307 <= 0;

e289:  - b305 + b308 <= 0;

e290:  - b305 + b309 <= 0;

e291:  - b305 + b310 <= 0;

e292:  - b311 + b312 <= 0;

e293:  - b311 + b313 <= 0;

e294:  - b311 + b314 <= 0;

e295:  - b311 + b315 <= 0;

e296:  - b316 + b317 <= 0;

e297:  - b316 + b318 <= 0;

e298:  - b316 + b319 <= 0;

e299:  - b320 + b321 <= 0;

e300:  - b320 + b322 <= 0;

e301:  - b323 + b324 <= 0;

e302: 13120*b2 - 970*b3*b2 + 12740*b3 - 820*b4*b2 + 14590*b4 - 540*b5*b2 + 
      12410*b5 - 90*b6*b2 + 10720*b6 - 920*b7*b2 + 11320*b7 - 550*b8*b2 + 11160
      *b8 - 780*b9*b2 + 12130*b9 - 870*b10*b2 + 11820*b10 - 690*b11*b2 + 13360*
      b11 - 20*b12*b2 + 12120*b12 - 320*b13*b2 + 11660*b13 - 420*b14*b2 + 15840
      *b14 - 140*b15*b2 + 11750*b15 - 450*b16*b2 + 9990*b16 - 600*b17*b2 + 
      11720*b17 - 670*b18*b2 + 11190*b18 - 20*b19*b2 + 11390*b19 - 420*b20*b2
       + 11210*b20 - 810*b21*b2 + 9570*b21 - 640*b22*b2 + 12010*b22 - 820*b23*
      b2 + 12750*b23 - 580*b24*b2 + 11690*b24 - 980*b25*b2 + 13900*b25 - 360*b4
      *b3 - 920*b5*b3 - 30*b6*b3 - 620*b7*b3 - 540*b8*b3 - 210*b9*b3 - 850*b10*
      b3 - 690*b11*b3 - 700*b12*b3 - 200*b13*b3 - 750*b14*b3 - 800*b15*b3 - 120
      *b16*b3 - 820*b17*b3 - 100*b18*b3 - 990*b19*b3 - 40*b20*b3 - 130*b21*b3
       - 840*b22*b3 - 980*b23*b3 - 270*b24*b3 - 810*b25*b3 - 590*b5*b4 - 470*b6
      *b4 - 830*b7*b4 - 530*b8*b4 - 800*b9*b4 - 350*b11*b4 - 900*b12*b4 - 980*
      b13*b4 - 710*b14*b4 - 830*b15*b4 - 540*b16*b4 - 860*b17*b4 - 890*b18*b4
       - 270*b19*b4 - 710*b20*b4 - 100*b21*b4 - 980*b22*b4 - 910*b23*b4 - 860*
      b24*b4 - 300*b25*b4 - 550*b6*b5 - 200*b7*b5 - 400*b8*b5 - 70*b9*b5 - 760*
      b10*b5 - 530*b11*b5 - 910*b12*b5 - 750*b13*b5 - 330*b14*b5 - 720*b15*b5
       - 340*b16*b5 - 320*b17*b5 - 70*b18*b5 - 870*b19*b5 - 640*b20*b5 - 70*b21
      *b5 - 740*b22*b5 - 540*b23*b5 - 580*b24*b5 - 970*b25*b5 - 890*b7*b6 - 120
      *b8*b6 - 830*b9*b6 - 790*b10*b6 - 390*b11*b6 - 70*b12*b6 - 890*b13*b6 - 
      890*b14*b6 - 980*b15*b6 - 270*b16*b6 - 190*b17*b6 - 60*b18*b6 - 600*b20*
      b6 - 130*b21*b6 - 760*b22*b6 - 650*b23*b6 - 560*b24*b6 - 510*b25*b6 - 500
      *b8*b7 - 280*b9*b7 - 370*b10*b7 - 340*b11*b7 - 870*b12*b7 - 240*b13*b7 - 
      980*b14*b7 - 470*b15*b7 - 500*b16*b7 - 50*b17*b7 - 570*b18*b7 - 480*b19*
      b7 - 940*b20*b7 - 210*b21*b7 - 310*b22*b7 - 250*b23*b7 - 120*b24*b7 - 380
      *b25*b7 - 150*b9*b8 - 20*b10*b8 - 890*b11*b8 - 940*b12*b8 - 210*b13*b8 - 
      950*b14*b8 - 940*b15*b8 - 330*b16*b8 - 80*b17*b8 - 710*b18*b8 - 990*b19*
      b8 - 640*b20*b8 - 740*b21*b8 - 10*b22*b8 - 440*b23*b8 - 120*b24*b8 - 360*
      b25*b8 - 830*b10*b9 - 880*b11*b9 - 340*b12*b9 - 300*b13*b9 - 390*b14*b9
       - 390*b15*b9 - 390*b16*b9 - 870*b17*b9 - 860*b18*b9 - 600*b19*b9 - 700*
      b20*b9 - 110*b21*b9 - 730*b22*b9 - 90*b23*b9 - 780*b24*b9 - 750*b25*b9 - 
      500*b11*b10 - 730*b12*b10 - 480*b13*b10 - 450*b14*b10 - 190*b15*b10 - 820
      *b16*b10 - 50*b17*b10 - 900*b18*b10 - 330*b19*b10 - 210*b20*b10 - 170*b21
      *b10 - 340*b22*b10 - 650*b23*b10 - 810*b24*b10 - 700*b25*b10 - 690*b13*
      b11 - 570*b14*b11 - 830*b15*b11 - 600*b16*b11 - 960*b17*b11 - 220*b18*b11
       - 990*b19*b11 - 340*b20*b11 - 830*b21*b11 - 220*b22*b11 - 460*b23*b11 - 
      560*b24*b11 - 830*b25*b11 - 240*b13*b12 - 830*b14*b12 - 330*b15*b12 - 490
      *b16*b12 - 310*b17*b12 - 300*b18*b12 - 690*b19*b12 - 650*b20*b12 - 350*
      b21*b12 - 110*b22*b12 - 980*b23*b12 - 560*b24*b12 - 800*b25*b12 - 850*b14
      *b13 - 730*b15*b13 - 610*b16*b13 - 550*b17*b13 - 250*b18*b13 - 830*b19*
      b13 - 120*b20*b13 - 80*b21*b13 - 950*b22*b13 - 610*b23*b13 - 310*b24*b13
       - 470*b25*b13 - 950*b15*b14 - 660*b16*b14 - 690*b17*b14 - 930*b18*b14 - 
      740*b19*b14 - 520*b20*b14 - 700*b21*b14 - 570*b22*b14 - 850*b23*b14 - 710
      *b24*b14 - 400*b25*b14 - 150*b16*b15 - 400*b17*b15 - 580*b18*b15 - 20*b19
      *b15 - 40*b20*b15 - 560*b21*b15 - 100*b22*b15 - 360*b23*b15 - 410*b24*b15
       - 830*b25*b15 - 980*b17*b16 - 490*b18*b16 - 80*b19*b16 - 330*b20*b16 - 
      130*b21*b16 - 690*b22*b16 - 280*b23*b16 - 740*b24*b16 - 750*b18*b17 - 220
      *b19*b17 - 660*b20*b17 - 440*b21*b17 - 670*b22*b17 - 400*b23*b17 - 480*
      b24*b17 - 370*b25*b17 - 490*b19*b18 - 850*b20*b18 - 90*b21*b18 - 410*b22*
      b18 - 10*b24*b18 - 990*b25*b18 - 540*b20*b19 - 570*b21*b19 - 80*b22*b19
       - 640*b23*b19 - 940*b24*b19 - 10*b25*b19 - 470*b21*b20 - 440*b22*b20 - 
      500*b23*b20 - 80*b24*b20 - 770*b25*b20 - 640*b22*b21 - 770*b23*b21 - 570*
      b24*b21 - 900*b25*b21 - 290*b23*b22 - 850*b24*b22 - 640*b25*b22 - 470*b24
      *b23 - 810*b25*b23 - 320*b25*b24 <= 40395.8;

e303: (-970*b27*b26) - 37545.8*b26 + 13360*b27 - 820*b28*b26 + 14830*b28 - 540*
      b29*b26 + 12860*b29 - 90*b30*b26 + 10930*b30 - 920*b31*b26 + 11920*b31 - 
      550*b32*b26 + 11280*b32 - 780*b33*b26 + 12790*b33 - 870*b34*b26 + 12350*
      b34 - 690*b35*b26 + 13410*b35 - 20*b36*b26 + 12930*b36 - 320*b37*b26 + 
      12270*b37 - 420*b38*b26 + 15940*b38 - 140*b39*b26 + 12630*b39 - 450*b40*
      b26 + 10760*b40 - 600*b41*b26 + 12060*b41 - 670*b42*b26 + 11210*b42 - 20*
      b43*b26 + 12210*b43 - 420*b44*b26 + 11740*b44 - 810*b45*b26 + 9830*b45 - 
      640*b46*b26 + 12630*b46 - 820*b47*b26 + 12930*b47 - 580*b48*b26 + 12400*
      b48 - 980*b49*b26 + 14040*b49 - 360*b28*b27 - 920*b29*b27 - 30*b30*b27 - 
      620*b31*b27 - 540*b32*b27 - 210*b33*b27 - 850*b34*b27 - 690*b35*b27 - 700
      *b36*b27 - 200*b37*b27 - 750*b38*b27 - 800*b39*b27 - 120*b40*b27 - 820*
      b41*b27 - 100*b42*b27 - 990*b43*b27 - 40*b44*b27 - 130*b45*b27 - 840*b46*
      b27 - 980*b47*b27 - 270*b48*b27 - 810*b49*b27 - 590*b29*b28 - 470*b30*b28
       - 830*b31*b28 - 530*b32*b28 - 800*b33*b28 - 350*b35*b28 - 900*b36*b28 - 
      980*b37*b28 - 710*b38*b28 - 830*b39*b28 - 540*b40*b28 - 860*b41*b28 - 890
      *b42*b28 - 270*b43*b28 - 710*b44*b28 - 100*b45*b28 - 980*b46*b28 - 910*
      b47*b28 - 860*b48*b28 - 300*b49*b28 - 550*b30*b29 - 200*b31*b29 - 400*b32
      *b29 - 70*b33*b29 - 760*b34*b29 - 530*b35*b29 - 910*b36*b29 - 750*b37*b29
       - 330*b38*b29 - 720*b39*b29 - 340*b40*b29 - 320*b41*b29 - 70*b42*b29 - 
      870*b43*b29 - 640*b44*b29 - 70*b45*b29 - 740*b46*b29 - 540*b47*b29 - 580*
      b48*b29 - 970*b49*b29 - 890*b31*b30 - 120*b32*b30 - 830*b33*b30 - 790*b34
      *b30 - 390*b35*b30 - 70*b36*b30 - 890*b37*b30 - 890*b38*b30 - 980*b39*b30
       - 270*b40*b30 - 190*b41*b30 - 60*b42*b30 - 600*b44*b30 - 130*b45*b30 - 
      760*b46*b30 - 650*b47*b30 - 560*b48*b30 - 510*b49*b30 - 500*b32*b31 - 280
      *b33*b31 - 370*b34*b31 - 340*b35*b31 - 870*b36*b31 - 240*b37*b31 - 980*
      b38*b31 - 470*b39*b31 - 500*b40*b31 - 50*b41*b31 - 570*b42*b31 - 480*b43*
      b31 - 940*b44*b31 - 210*b45*b31 - 310*b46*b31 - 250*b47*b31 - 120*b48*b31
       - 380*b49*b31 - 150*b33*b32 - 20*b34*b32 - 890*b35*b32 - 940*b36*b32 - 
      210*b37*b32 - 950*b38*b32 - 940*b39*b32 - 330*b40*b32 - 80*b41*b32 - 710*
      b42*b32 - 990*b43*b32 - 640*b44*b32 - 740*b45*b32 - 10*b46*b32 - 440*b47*
      b32 - 120*b48*b32 - 360*b49*b32 - 830*b34*b33 - 880*b35*b33 - 340*b36*b33
       - 300*b37*b33 - 390*b38*b33 - 390*b39*b33 - 390*b40*b33 - 870*b41*b33 - 
      860*b42*b33 - 600*b43*b33 - 700*b44*b33 - 110*b45*b33 - 730*b46*b33 - 90*
      b47*b33 - 780*b48*b33 - 750*b49*b33 - 500*b35*b34 - 730*b36*b34 - 480*b37
      *b34 - 450*b38*b34 - 190*b39*b34 - 820*b40*b34 - 50*b41*b34 - 900*b42*b34
       - 330*b43*b34 - 210*b44*b34 - 170*b45*b34 - 340*b46*b34 - 650*b47*b34 - 
      810*b48*b34 - 700*b49*b34 - 690*b37*b35 - 570*b38*b35 - 830*b39*b35 - 600
      *b40*b35 - 960*b41*b35 - 220*b42*b35 - 990*b43*b35 - 340*b44*b35 - 830*
      b45*b35 - 220*b46*b35 - 460*b47*b35 - 560*b48*b35 - 830*b49*b35 - 240*b37
      *b36 - 830*b38*b36 - 330*b39*b36 - 490*b40*b36 - 310*b41*b36 - 300*b42*
      b36 - 690*b43*b36 - 650*b44*b36 - 350*b45*b36 - 110*b46*b36 - 980*b47*b36
       - 560*b48*b36 - 800*b49*b36 - 850*b38*b37 - 730*b39*b37 - 610*b40*b37 - 
      550*b41*b37 - 250*b42*b37 - 830*b43*b37 - 120*b44*b37 - 80*b45*b37 - 950*
      b46*b37 - 610*b47*b37 - 310*b48*b37 - 470*b49*b37 - 950*b39*b38 - 660*b40
      *b38 - 690*b41*b38 - 930*b42*b38 - 740*b43*b38 - 520*b44*b38 - 700*b45*
      b38 - 570*b46*b38 - 850*b47*b38 - 710*b48*b38 - 400*b49*b38 - 150*b40*b39
       - 400*b41*b39 - 580*b42*b39 - 20*b43*b39 - 40*b44*b39 - 560*b45*b39 - 
      100*b46*b39 - 360*b47*b39 - 410*b48*b39 - 830*b49*b39 - 980*b41*b40 - 490
      *b42*b40 - 80*b43*b40 - 330*b44*b40 - 130*b45*b40 - 690*b46*b40 - 280*b47
      *b40 - 740*b48*b40 - 750*b42*b41 - 220*b43*b41 - 660*b44*b41 - 440*b45*
      b41 - 670*b46*b41 - 400*b47*b41 - 480*b48*b41 - 370*b49*b41 - 490*b43*b42
       - 850*b44*b42 - 90*b45*b42 - 410*b46*b42 - 10*b48*b42 - 990*b49*b42 - 
      540*b44*b43 - 570*b45*b43 - 80*b46*b43 - 640*b47*b43 - 940*b48*b43 - 10*
      b49*b43 - 470*b45*b44 - 440*b46*b44 - 500*b47*b44 - 80*b48*b44 - 770*b49*
      b44 - 640*b46*b45 - 770*b47*b45 - 570*b48*b45 - 900*b49*b45 - 290*b47*b46
       - 850*b48*b46 - 640*b49*b46 - 470*b48*b47 - 810*b49*b47 - 320*b49*b48
       <= 0;

e304: (-360*b51*b50) - 37735.8*b50 + 14830*b51 - 920*b52*b50 + 12860*b52 - 30*
      b53*b50 + 10930*b53 - 620*b54*b50 + 11920*b54 - 540*b55*b50 + 11280*b55
       - 210*b56*b50 + 12790*b56 - 850*b57*b50 + 12350*b57 - 690*b58*b50 + 
      13410*b58 - 700*b59*b50 + 12930*b59 - 200*b60*b50 + 12270*b60 - 750*b61*
      b50 + 15940*b61 - 800*b62*b50 + 12630*b62 - 120*b63*b50 + 10760*b63 - 820
      *b64*b50 + 12060*b64 - 100*b65*b50 + 11210*b65 - 990*b66*b50 + 12210*b66
       - 40*b67*b50 + 11740*b67 - 130*b68*b50 + 9830*b68 - 840*b69*b50 + 12630*
      b69 - 980*b70*b50 + 12930*b70 - 270*b71*b50 + 12400*b71 - 810*b72*b50 + 
      14040*b72 - 590*b52*b51 - 470*b53*b51 - 830*b54*b51 - 530*b55*b51 - 800*
      b56*b51 - 350*b58*b51 - 900*b59*b51 - 980*b60*b51 - 710*b61*b51 - 830*b62
      *b51 - 540*b63*b51 - 860*b64*b51 - 890*b65*b51 - 270*b66*b51 - 710*b67*
      b51 - 100*b68*b51 - 980*b69*b51 - 910*b70*b51 - 860*b71*b51 - 300*b72*b51
       - 550*b53*b52 - 200*b54*b52 - 400*b55*b52 - 70*b56*b52 - 760*b57*b52 - 
      530*b58*b52 - 910*b59*b52 - 750*b60*b52 - 330*b61*b52 - 720*b62*b52 - 340
      *b63*b52 - 320*b64*b52 - 70*b65*b52 - 870*b66*b52 - 640*b67*b52 - 70*b68*
      b52 - 740*b69*b52 - 540*b70*b52 - 580*b71*b52 - 970*b72*b52 - 890*b54*b53
       - 120*b55*b53 - 830*b56*b53 - 790*b57*b53 - 390*b58*b53 - 70*b59*b53 - 
      890*b60*b53 - 890*b61*b53 - 980*b62*b53 - 270*b63*b53 - 190*b64*b53 - 60*
      b65*b53 - 600*b67*b53 - 130*b68*b53 - 760*b69*b53 - 650*b70*b53 - 560*b71
      *b53 - 510*b72*b53 - 500*b55*b54 - 280*b56*b54 - 370*b57*b54 - 340*b58*
      b54 - 870*b59*b54 - 240*b60*b54 - 980*b61*b54 - 470*b62*b54 - 500*b63*b54
       - 50*b64*b54 - 570*b65*b54 - 480*b66*b54 - 940*b67*b54 - 210*b68*b54 - 
      310*b69*b54 - 250*b70*b54 - 120*b71*b54 - 380*b72*b54 - 150*b56*b55 - 20*
      b57*b55 - 890*b58*b55 - 940*b59*b55 - 210*b60*b55 - 950*b61*b55 - 940*b62
      *b55 - 330*b63*b55 - 80*b64*b55 - 710*b65*b55 - 990*b66*b55 - 640*b67*b55
       - 740*b68*b55 - 10*b69*b55 - 440*b70*b55 - 120*b71*b55 - 360*b72*b55 - 
      830*b57*b56 - 880*b58*b56 - 340*b59*b56 - 300*b60*b56 - 390*b61*b56 - 390
      *b62*b56 - 390*b63*b56 - 870*b64*b56 - 860*b65*b56 - 600*b66*b56 - 700*
      b67*b56 - 110*b68*b56 - 730*b69*b56 - 90*b70*b56 - 780*b71*b56 - 750*b72*
      b56 - 500*b58*b57 - 730*b59*b57 - 480*b60*b57 - 450*b61*b57 - 190*b62*b57
       - 820*b63*b57 - 50*b64*b57 - 900*b65*b57 - 330*b66*b57 - 210*b67*b57 - 
      170*b68*b57 - 340*b69*b57 - 650*b70*b57 - 810*b71*b57 - 700*b72*b57 - 690
      *b60*b58 - 570*b61*b58 - 830*b62*b58 - 600*b63*b58 - 960*b64*b58 - 220*
      b65*b58 - 990*b66*b58 - 340*b67*b58 - 830*b68*b58 - 220*b69*b58 - 460*b70
      *b58 - 560*b71*b58 - 830*b72*b58 - 240*b60*b59 - 830*b61*b59 - 330*b62*
      b59 - 490*b63*b59 - 310*b64*b59 - 300*b65*b59 - 690*b66*b59 - 650*b67*b59
       - 350*b68*b59 - 110*b69*b59 - 980*b70*b59 - 560*b71*b59 - 800*b72*b59 - 
      850*b61*b60 - 730*b62*b60 - 610*b63*b60 - 550*b64*b60 - 250*b65*b60 - 830
      *b66*b60 - 120*b67*b60 - 80*b68*b60 - 950*b69*b60 - 610*b70*b60 - 310*b71
      *b60 - 470*b72*b60 - 950*b62*b61 - 660*b63*b61 - 690*b64*b61 - 930*b65*
      b61 - 740*b66*b61 - 520*b67*b61 - 700*b68*b61 - 570*b69*b61 - 850*b70*b61
       - 710*b71*b61 - 400*b72*b61 - 150*b63*b62 - 400*b64*b62 - 580*b65*b62 - 
      20*b66*b62 - 40*b67*b62 - 560*b68*b62 - 100*b69*b62 - 360*b70*b62 - 410*
      b71*b62 - 830*b72*b62 - 980*b64*b63 - 490*b65*b63 - 80*b66*b63 - 330*b67*
      b63 - 130*b68*b63 - 690*b69*b63 - 280*b70*b63 - 740*b71*b63 - 750*b65*b64
       - 220*b66*b64 - 660*b67*b64 - 440*b68*b64 - 670*b69*b64 - 400*b70*b64 - 
      480*b71*b64 - 370*b72*b64 - 490*b66*b65 - 850*b67*b65 - 90*b68*b65 - 410*
      b69*b65 - 10*b71*b65 - 990*b72*b65 - 540*b67*b66 - 570*b68*b66 - 80*b69*
      b66 - 640*b70*b66 - 940*b71*b66 - 10*b72*b66 - 470*b68*b67 - 440*b69*b67
       - 500*b70*b67 - 80*b71*b67 - 770*b72*b67 - 640*b69*b68 - 770*b70*b68 - 
      570*b71*b68 - 900*b72*b68 - 290*b70*b69 - 850*b71*b69 - 640*b72*b69 - 470
      *b71*b70 - 810*b72*b70 - 320*b72*b71 <= 0;

e305: (-590*b74*b73) - 36265.8*b73 + 12860*b74 - 470*b75*b73 + 10930*b75 - 830*
      b76*b73 + 11920*b76 - 530*b77*b73 + 11280*b77 - 800*b78*b73 + 12790*b78
       - 350*b79*b73 + 13410*b79 - 900*b80*b73 + 12930*b80 - 980*b81*b73 + 
      12270*b81 - 710*b82*b73 + 15940*b82 - 830*b83*b73 + 12630*b83 - 540*b84*
      b73 + 10760*b84 - 860*b85*b73 + 12060*b85 - 890*b86*b73 + 11210*b86 - 270
      *b87*b73 + 12210*b87 - 710*b88*b73 + 11740*b88 - 100*b89*b73 + 9830*b89
       - 980*b90*b73 + 12630*b90 - 910*b91*b73 + 12930*b91 - 860*b92*b73 + 
      12400*b92 - 300*b93*b73 + 14040*b93 - 550*b75*b74 - 200*b76*b74 - 400*b77
      *b74 - 70*b78*b74 - 530*b79*b74 - 910*b80*b74 - 750*b81*b74 - 330*b82*b74
       - 720*b83*b74 - 340*b84*b74 - 320*b85*b74 - 70*b86*b74 - 870*b87*b74 - 
      640*b88*b74 - 70*b89*b74 - 740*b90*b74 - 540*b91*b74 - 580*b92*b74 - 970*
      b93*b74 - 760*b94*b74 + 12350*b94 - 890*b76*b75 - 120*b77*b75 - 830*b78*
      b75 - 390*b79*b75 - 70*b80*b75 - 890*b81*b75 - 890*b82*b75 - 980*b83*b75
       - 270*b84*b75 - 190*b85*b75 - 60*b86*b75 - 600*b88*b75 - 130*b89*b75 - 
      760*b90*b75 - 650*b91*b75 - 560*b92*b75 - 510*b93*b75 - 790*b94*b75 - 500
      *b77*b76 - 280*b78*b76 - 340*b79*b76 - 870*b80*b76 - 240*b81*b76 - 980*
      b82*b76 - 470*b83*b76 - 500*b84*b76 - 50*b85*b76 - 570*b86*b76 - 480*b87*
      b76 - 940*b88*b76 - 210*b89*b76 - 310*b90*b76 - 250*b91*b76 - 120*b92*b76
       - 380*b93*b76 - 370*b94*b76 - 150*b78*b77 - 890*b79*b77 - 940*b80*b77 - 
      210*b81*b77 - 950*b82*b77 - 940*b83*b77 - 330*b84*b77 - 80*b85*b77 - 710*
      b86*b77 - 990*b87*b77 - 640*b88*b77 - 740*b89*b77 - 10*b90*b77 - 440*b91*
      b77 - 120*b92*b77 - 360*b93*b77 - 20*b94*b77 - 880*b79*b78 - 340*b80*b78
       - 300*b81*b78 - 390*b82*b78 - 390*b83*b78 - 390*b84*b78 - 870*b85*b78 - 
      860*b86*b78 - 600*b87*b78 - 700*b88*b78 - 110*b89*b78 - 730*b90*b78 - 90*
      b91*b78 - 780*b92*b78 - 750*b93*b78 - 830*b94*b78 - 690*b81*b79 - 570*b82
      *b79 - 830*b83*b79 - 600*b84*b79 - 960*b85*b79 - 220*b86*b79 - 990*b87*
      b79 - 340*b88*b79 - 830*b89*b79 - 220*b90*b79 - 460*b91*b79 - 560*b92*b79
       - 830*b93*b79 - 500*b94*b79 - 240*b81*b80 - 830*b82*b80 - 330*b83*b80 - 
      490*b84*b80 - 310*b85*b80 - 300*b86*b80 - 690*b87*b80 - 650*b88*b80 - 350
      *b89*b80 - 110*b90*b80 - 980*b91*b80 - 560*b92*b80 - 800*b93*b80 - 730*
      b94*b80 - 850*b82*b81 - 730*b83*b81 - 610*b84*b81 - 550*b85*b81 - 250*b86
      *b81 - 830*b87*b81 - 120*b88*b81 - 80*b89*b81 - 950*b90*b81 - 610*b91*b81
       - 310*b92*b81 - 470*b93*b81 - 480*b94*b81 - 950*b83*b82 - 660*b84*b82 - 
      690*b85*b82 - 930*b86*b82 - 740*b87*b82 - 520*b88*b82 - 700*b89*b82 - 570
      *b90*b82 - 850*b91*b82 - 710*b92*b82 - 400*b93*b82 - 450*b94*b82 - 150*
      b84*b83 - 400*b85*b83 - 580*b86*b83 - 20*b87*b83 - 40*b88*b83 - 560*b89*
      b83 - 100*b90*b83 - 360*b91*b83 - 410*b92*b83 - 830*b93*b83 - 190*b94*b83
       - 980*b85*b84 - 490*b86*b84 - 80*b87*b84 - 330*b88*b84 - 130*b89*b84 - 
      690*b90*b84 - 280*b91*b84 - 740*b92*b84 - 820*b94*b84 - 750*b86*b85 - 220
      *b87*b85 - 660*b88*b85 - 440*b89*b85 - 670*b90*b85 - 400*b91*b85 - 480*
      b92*b85 - 370*b93*b85 - 50*b94*b85 - 490*b87*b86 - 850*b88*b86 - 90*b89*
      b86 - 410*b90*b86 - 10*b92*b86 - 990*b93*b86 - 900*b94*b86 - 540*b88*b87
       - 570*b89*b87 - 80*b90*b87 - 640*b91*b87 - 940*b92*b87 - 10*b93*b87 - 
      330*b94*b87 - 470*b89*b88 - 440*b90*b88 - 500*b91*b88 - 80*b92*b88 - 770*
      b93*b88 - 210*b94*b88 - 640*b90*b89 - 770*b91*b89 - 570*b92*b89 - 900*b93
      *b89 - 170*b94*b89 - 290*b91*b90 - 850*b92*b90 - 640*b93*b90 - 340*b94*
      b90 - 470*b92*b91 - 810*b93*b91 - 650*b94*b91 - 320*b93*b92 - 810*b94*b92
       - 700*b94*b93 <= 0;

e306: (-550*b96*b95) - 38235.8*b95 + 10930*b96 - 200*b97*b95 + 11920*b97 - 400*
      b98*b95 + 11280*b98 - 70*b99*b95 + 12790*b99 - 760*b100*b95 + 12350*b100
       - 530*b101*b95 + 13410*b101 - 910*b102*b95 + 12930*b102 - 750*b103*b95
       + 12270*b103 - 330*b104*b95 + 15940*b104 - 720*b105*b95 + 12630*b105 - 
      340*b106*b95 + 10760*b106 - 320*b107*b95 + 12060*b107 - 70*b108*b95 + 
      11210*b108 - 870*b109*b95 + 12210*b109 - 640*b110*b95 + 11740*b110 - 70*
      b111*b95 + 9830*b111 - 740*b112*b95 + 12630*b112 - 540*b113*b95 + 12930*
      b113 - 580*b114*b95 + 12400*b114 - 970*b115*b95 + 14040*b115 - 890*b97*
      b96 - 120*b98*b96 - 830*b99*b96 - 790*b100*b96 - 390*b101*b96 - 70*b102*
      b96 - 890*b103*b96 - 890*b104*b96 - 980*b105*b96 - 270*b106*b96 - 190*
      b107*b96 - 60*b108*b96 - 600*b110*b96 - 130*b111*b96 - 760*b112*b96 - 650
      *b113*b96 - 560*b114*b96 - 510*b115*b96 - 500*b98*b97 - 280*b99*b97 - 370
      *b100*b97 - 340*b101*b97 - 870*b102*b97 - 240*b103*b97 - 980*b104*b97 - 
      470*b105*b97 - 500*b106*b97 - 50*b107*b97 - 570*b108*b97 - 480*b109*b97
       - 940*b110*b97 - 210*b111*b97 - 310*b112*b97 - 250*b113*b97 - 120*b114*
      b97 - 380*b115*b97 - 150*b99*b98 - 20*b100*b98 - 890*b101*b98 - 940*b102*
      b98 - 210*b103*b98 - 950*b104*b98 - 940*b105*b98 - 330*b106*b98 - 80*b107
      *b98 - 710*b108*b98 - 990*b109*b98 - 640*b110*b98 - 740*b111*b98 - 10*
      b112*b98 - 440*b113*b98 - 120*b114*b98 - 360*b115*b98 - 830*b100*b99 - 
      880*b101*b99 - 340*b102*b99 - 300*b103*b99 - 390*b104*b99 - 390*b105*b99
       - 390*b106*b99 - 870*b107*b99 - 860*b108*b99 - 600*b109*b99 - 700*b110*
      b99 - 110*b111*b99 - 730*b112*b99 - 90*b113*b99 - 780*b114*b99 - 750*b115
      *b99 - 500*b101*b100 - 730*b102*b100 - 480*b103*b100 - 450*b104*b100 - 
      190*b105*b100 - 820*b106*b100 - 50*b107*b100 - 900*b108*b100 - 330*b109*
      b100 - 210*b110*b100 - 170*b111*b100 - 340*b112*b100 - 650*b113*b100 - 
      810*b114*b100 - 700*b115*b100 - 690*b103*b101 - 570*b104*b101 - 830*b105*
      b101 - 600*b106*b101 - 960*b107*b101 - 220*b108*b101 - 990*b109*b101 - 
      340*b110*b101 - 830*b111*b101 - 220*b112*b101 - 460*b113*b101 - 560*b114*
      b101 - 830*b115*b101 - 240*b103*b102 - 830*b104*b102 - 330*b105*b102 - 
      490*b106*b102 - 310*b107*b102 - 300*b108*b102 - 690*b109*b102 - 650*b110*
      b102 - 350*b111*b102 - 110*b112*b102 - 980*b113*b102 - 560*b114*b102 - 
      800*b115*b102 - 850*b104*b103 - 730*b105*b103 - 610*b106*b103 - 550*b107*
      b103 - 250*b108*b103 - 830*b109*b103 - 120*b110*b103 - 80*b111*b103 - 950
      *b112*b103 - 610*b113*b103 - 310*b114*b103 - 470*b115*b103 - 950*b105*
      b104 - 660*b106*b104 - 690*b107*b104 - 930*b108*b104 - 740*b109*b104 - 
      520*b110*b104 - 700*b111*b104 - 570*b112*b104 - 850*b113*b104 - 710*b114*
      b104 - 400*b115*b104 - 150*b106*b105 - 400*b107*b105 - 580*b108*b105 - 20
      *b109*b105 - 40*b110*b105 - 560*b111*b105 - 100*b112*b105 - 360*b113*b105
       - 410*b114*b105 - 830*b115*b105 - 980*b107*b106 - 490*b108*b106 - 80*
      b109*b106 - 330*b110*b106 - 130*b111*b106 - 690*b112*b106 - 280*b113*b106
       - 740*b114*b106 - 750*b108*b107 - 220*b109*b107 - 660*b110*b107 - 440*
      b111*b107 - 670*b112*b107 - 400*b113*b107 - 480*b114*b107 - 370*b115*b107
       - 490*b109*b108 - 850*b110*b108 - 90*b111*b108 - 410*b112*b108 - 10*b114
      *b108 - 990*b115*b108 - 540*b110*b109 - 570*b111*b109 - 80*b112*b109 - 
      640*b113*b109 - 940*b114*b109 - 10*b115*b109 - 470*b111*b110 - 440*b112*
      b110 - 500*b113*b110 - 80*b114*b110 - 770*b115*b110 - 640*b112*b111 - 770
      *b113*b111 - 570*b114*b111 - 900*b115*b111 - 290*b113*b112 - 850*b114*
      b112 - 640*b115*b112 - 470*b114*b113 - 810*b115*b113 - 320*b115*b114
       <= 0;

e307: (-890*b117*b116) - 40165.8*b116 + 11920*b117 - 120*b118*b116 + 11280*b118
       - 830*b119*b116 + 12790*b119 - 790*b120*b116 + 12350*b120 - 390*b121*
      b116 + 13410*b121 - 70*b122*b116 + 12930*b122 - 890*b123*b116 + 12270*
      b123 - 890*b124*b116 + 15940*b124 - 980*b125*b116 + 12630*b125 - 270*b126
      *b116 + 10760*b126 - 190*b127*b116 + 12060*b127 - 60*b128*b116 + 11210*
      b128 - 600*b129*b116 + 11740*b129 - 130*b130*b116 + 9830*b130 - 760*b131*
      b116 + 12630*b131 - 650*b132*b116 + 12930*b132 - 560*b133*b116 + 12400*
      b133 - 510*b134*b116 + 14040*b134 - 500*b118*b117 - 280*b119*b117 - 370*
      b120*b117 - 340*b121*b117 - 870*b122*b117 - 240*b123*b117 - 980*b124*b117
       - 470*b125*b117 - 500*b126*b117 - 50*b127*b117 - 570*b128*b117 - 940*
      b129*b117 - 210*b130*b117 - 310*b131*b117 - 250*b132*b117 - 120*b133*b117
       - 380*b134*b117 - 480*b135*b117 + 12210*b135 - 150*b119*b118 - 20*b120*
      b118 - 890*b121*b118 - 940*b122*b118 - 210*b123*b118 - 950*b124*b118 - 
      940*b125*b118 - 330*b126*b118 - 80*b127*b118 - 710*b128*b118 - 640*b129*
      b118 - 740*b130*b118 - 10*b131*b118 - 440*b132*b118 - 120*b133*b118 - 360
      *b134*b118 - 990*b135*b118 - 830*b120*b119 - 880*b121*b119 - 340*b122*
      b119 - 300*b123*b119 - 390*b124*b119 - 390*b125*b119 - 390*b126*b119 - 
      870*b127*b119 - 860*b128*b119 - 700*b129*b119 - 110*b130*b119 - 730*b131*
      b119 - 90*b132*b119 - 780*b133*b119 - 750*b134*b119 - 600*b135*b119 - 500
      *b121*b120 - 730*b122*b120 - 480*b123*b120 - 450*b124*b120 - 190*b125*
      b120 - 820*b126*b120 - 50*b127*b120 - 900*b128*b120 - 210*b129*b120 - 170
      *b130*b120 - 340*b131*b120 - 650*b132*b120 - 810*b133*b120 - 700*b134*
      b120 - 330*b135*b120 - 690*b123*b121 - 570*b124*b121 - 830*b125*b121 - 
      600*b126*b121 - 960*b127*b121 - 220*b128*b121 - 340*b129*b121 - 830*b130*
      b121 - 220*b131*b121 - 460*b132*b121 - 560*b133*b121 - 830*b134*b121 - 
      990*b135*b121 - 240*b123*b122 - 830*b124*b122 - 330*b125*b122 - 490*b126*
      b122 - 310*b127*b122 - 300*b128*b122 - 650*b129*b122 - 350*b130*b122 - 
      110*b131*b122 - 980*b132*b122 - 560*b133*b122 - 800*b134*b122 - 690*b135*
      b122 - 850*b124*b123 - 730*b125*b123 - 610*b126*b123 - 550*b127*b123 - 
      250*b128*b123 - 120*b129*b123 - 80*b130*b123 - 950*b131*b123 - 610*b132*
      b123 - 310*b133*b123 - 470*b134*b123 - 830*b135*b123 - 950*b125*b124 - 
      660*b126*b124 - 690*b127*b124 - 930*b128*b124 - 520*b129*b124 - 700*b130*
      b124 - 570*b131*b124 - 850*b132*b124 - 710*b133*b124 - 400*b134*b124 - 
      740*b135*b124 - 150*b126*b125 - 400*b127*b125 - 580*b128*b125 - 40*b129*
      b125 - 560*b130*b125 - 100*b131*b125 - 360*b132*b125 - 410*b133*b125 - 
      830*b134*b125 - 20*b135*b125 - 980*b127*b126 - 490*b128*b126 - 330*b129*
      b126 - 130*b130*b126 - 690*b131*b126 - 280*b132*b126 - 740*b133*b126 - 80
      *b135*b126 - 750*b128*b127 - 660*b129*b127 - 440*b130*b127 - 670*b131*
      b127 - 400*b132*b127 - 480*b133*b127 - 370*b134*b127 - 220*b135*b127 - 
      850*b129*b128 - 90*b130*b128 - 410*b131*b128 - 10*b133*b128 - 990*b134*
      b128 - 490*b135*b128 - 470*b130*b129 - 440*b131*b129 - 500*b132*b129 - 80
      *b133*b129 - 770*b134*b129 - 540*b135*b129 - 640*b131*b130 - 770*b132*
      b130 - 570*b133*b130 - 900*b134*b130 - 570*b135*b130 - 290*b132*b131 - 
      850*b133*b131 - 640*b134*b131 - 80*b135*b131 - 470*b133*b132 - 810*b134*
      b132 - 640*b135*b132 - 320*b134*b133 - 940*b135*b133 - 10*b135*b134 <= 0;

e308: (-500*b137*b136) - 39175.8*b136 + 11280*b137 - 280*b138*b136 + 12790*b138
       - 370*b139*b136 + 12350*b139 - 340*b140*b136 + 13410*b140 - 870*b141*
      b136 + 12930*b141 - 240*b142*b136 + 12270*b142 - 980*b143*b136 + 15940*
      b143 - 470*b144*b136 + 12630*b144 - 500*b145*b136 + 10760*b145 - 50*b146*
      b136 + 12060*b146 - 570*b147*b136 + 11210*b147 - 480*b148*b136 + 12210*
      b148 - 940*b149*b136 + 11740*b149 - 210*b150*b136 + 9830*b150 - 310*b151*
      b136 + 12630*b151 - 250*b152*b136 + 12930*b152 - 120*b153*b136 + 12400*
      b153 - 380*b154*b136 + 14040*b154 - 150*b138*b137 - 20*b139*b137 - 890*
      b140*b137 - 940*b141*b137 - 210*b142*b137 - 950*b143*b137 - 940*b144*b137
       - 330*b145*b137 - 80*b146*b137 - 710*b147*b137 - 990*b148*b137 - 640*
      b149*b137 - 740*b150*b137 - 10*b151*b137 - 440*b152*b137 - 120*b153*b137
       - 360*b154*b137 - 830*b139*b138 - 880*b140*b138 - 340*b141*b138 - 300*
      b142*b138 - 390*b143*b138 - 390*b144*b138 - 390*b145*b138 - 870*b146*b138
       - 860*b147*b138 - 600*b148*b138 - 700*b149*b138 - 110*b150*b138 - 730*
      b151*b138 - 90*b152*b138 - 780*b153*b138 - 750*b154*b138 - 500*b140*b139
       - 730*b141*b139 - 480*b142*b139 - 450*b143*b139 - 190*b144*b139 - 820*
      b145*b139 - 50*b146*b139 - 900*b147*b139 - 330*b148*b139 - 210*b149*b139
       - 170*b150*b139 - 340*b151*b139 - 650*b152*b139 - 810*b153*b139 - 700*
      b154*b139 - 690*b142*b140 - 570*b143*b140 - 830*b144*b140 - 600*b145*b140
       - 960*b146*b140 - 220*b147*b140 - 990*b148*b140 - 340*b149*b140 - 830*
      b150*b140 - 220*b151*b140 - 460*b152*b140 - 560*b153*b140 - 830*b154*b140
       - 240*b142*b141 - 830*b143*b141 - 330*b144*b141 - 490*b145*b141 - 310*
      b146*b141 - 300*b147*b141 - 690*b148*b141 - 650*b149*b141 - 350*b150*b141
       - 110*b151*b141 - 980*b152*b141 - 560*b153*b141 - 800*b154*b141 - 850*
      b143*b142 - 730*b144*b142 - 610*b145*b142 - 550*b146*b142 - 250*b147*b142
       - 830*b148*b142 - 120*b149*b142 - 80*b150*b142 - 950*b151*b142 - 610*
      b152*b142 - 310*b153*b142 - 470*b154*b142 - 950*b144*b143 - 660*b145*b143
       - 690*b146*b143 - 930*b147*b143 - 740*b148*b143 - 520*b149*b143 - 700*
      b150*b143 - 570*b151*b143 - 850*b152*b143 - 710*b153*b143 - 400*b154*b143
       - 150*b145*b144 - 400*b146*b144 - 580*b147*b144 - 20*b148*b144 - 40*b149
      *b144 - 560*b150*b144 - 100*b151*b144 - 360*b152*b144 - 410*b153*b144 - 
      830*b154*b144 - 980*b146*b145 - 490*b147*b145 - 80*b148*b145 - 330*b149*
      b145 - 130*b150*b145 - 690*b151*b145 - 280*b152*b145 - 740*b153*b145 - 
      750*b147*b146 - 220*b148*b146 - 660*b149*b146 - 440*b150*b146 - 670*b151*
      b146 - 400*b152*b146 - 480*b153*b146 - 370*b154*b146 - 490*b148*b147 - 
      850*b149*b147 - 90*b150*b147 - 410*b151*b147 - 10*b153*b147 - 990*b154*
      b147 - 540*b149*b148 - 570*b150*b148 - 80*b151*b148 - 640*b152*b148 - 940
      *b153*b148 - 10*b154*b148 - 470*b150*b149 - 440*b151*b149 - 500*b152*b149
       - 80*b153*b149 - 770*b154*b149 - 640*b151*b150 - 770*b152*b150 - 570*
      b153*b150 - 900*b154*b150 - 290*b152*b151 - 850*b153*b151 - 640*b154*b151
       - 470*b153*b152 - 810*b154*b152 - 320*b154*b153 <= 0;

e309: (-150*b156*b155) - 39815.8*b155 + 12790*b156 - 20*b157*b155 + 12350*b157
       - 890*b158*b155 + 13410*b158 - 940*b159*b155 + 12930*b159 - 210*b160*
      b155 + 12270*b160 - 950*b161*b155 + 15940*b161 - 940*b162*b155 + 12630*
      b162 - 330*b163*b155 + 10760*b163 - 80*b164*b155 + 12060*b164 - 710*b165*
      b155 + 11210*b165 - 990*b166*b155 + 12210*b166 - 640*b167*b155 + 11740*
      b167 - 740*b168*b155 + 9830*b168 - 10*b169*b155 + 12630*b169 - 440*b170*
      b155 + 12930*b170 - 120*b171*b155 + 12400*b171 - 360*b172*b155 + 14040*
      b172 - 830*b157*b156 - 880*b158*b156 - 340*b159*b156 - 300*b160*b156 - 
      390*b161*b156 - 390*b162*b156 - 390*b163*b156 - 870*b164*b156 - 860*b165*
      b156 - 600*b166*b156 - 700*b167*b156 - 110*b168*b156 - 730*b169*b156 - 90
      *b170*b156 - 780*b171*b156 - 750*b172*b156 - 500*b158*b157 - 730*b159*
      b157 - 480*b160*b157 - 450*b161*b157 - 190*b162*b157 - 820*b163*b157 - 50
      *b164*b157 - 900*b165*b157 - 330*b166*b157 - 210*b167*b157 - 170*b168*
      b157 - 340*b169*b157 - 650*b170*b157 - 810*b171*b157 - 700*b172*b157 - 
      690*b160*b158 - 570*b161*b158 - 830*b162*b158 - 600*b163*b158 - 960*b164*
      b158 - 220*b165*b158 - 990*b166*b158 - 340*b167*b158 - 830*b168*b158 - 
      220*b169*b158 - 460*b170*b158 - 560*b171*b158 - 830*b172*b158 - 240*b160*
      b159 - 830*b161*b159 - 330*b162*b159 - 490*b163*b159 - 310*b164*b159 - 
      300*b165*b159 - 690*b166*b159 - 650*b167*b159 - 350*b168*b159 - 110*b169*
      b159 - 980*b170*b159 - 560*b171*b159 - 800*b172*b159 - 850*b161*b160 - 
      730*b162*b160 - 610*b163*b160 - 550*b164*b160 - 250*b165*b160 - 830*b166*
      b160 - 120*b167*b160 - 80*b168*b160 - 950*b169*b160 - 610*b170*b160 - 310
      *b171*b160 - 470*b172*b160 - 950*b162*b161 - 660*b163*b161 - 690*b164*
      b161 - 930*b165*b161 - 740*b166*b161 - 520*b167*b161 - 700*b168*b161 - 
      570*b169*b161 - 850*b170*b161 - 710*b171*b161 - 400*b172*b161 - 150*b163*
      b162 - 400*b164*b162 - 580*b165*b162 - 20*b166*b162 - 40*b167*b162 - 560*
      b168*b162 - 100*b169*b162 - 360*b170*b162 - 410*b171*b162 - 830*b172*b162
       - 980*b164*b163 - 490*b165*b163 - 80*b166*b163 - 330*b167*b163 - 130*
      b168*b163 - 690*b169*b163 - 280*b170*b163 - 740*b171*b163 - 750*b165*b164
       - 220*b166*b164 - 660*b167*b164 - 440*b168*b164 - 670*b169*b164 - 400*
      b170*b164 - 480*b171*b164 - 370*b172*b164 - 490*b166*b165 - 850*b167*b165
       - 90*b168*b165 - 410*b169*b165 - 10*b171*b165 - 990*b172*b165 - 540*b167
      *b166 - 570*b168*b166 - 80*b169*b166 - 640*b170*b166 - 940*b171*b166 - 10
      *b172*b166 - 470*b168*b167 - 440*b169*b167 - 500*b170*b167 - 80*b171*b167
       - 770*b172*b167 - 640*b169*b168 - 770*b170*b168 - 570*b171*b168 - 900*
      b172*b168 - 290*b170*b169 - 850*b171*b169 - 640*b172*b169 - 470*b171*b170
       - 810*b172*b170 - 320*b172*b171 <= 0;

e310: (-830*b174*b173) - 38305.8*b173 + 12350*b174 - 880*b175*b173 + 13410*b175
       - 340*b176*b173 + 12930*b176 - 300*b177*b173 + 12270*b177 - 390*b178*
      b173 + 15940*b178 - 390*b179*b173 + 12630*b179 - 390*b180*b173 + 10760*
      b180 - 870*b181*b173 + 12060*b181 - 860*b182*b173 + 11210*b182 - 600*b183
      *b173 + 12210*b183 - 700*b184*b173 + 11740*b184 - 110*b185*b173 + 9830*
      b185 - 730*b186*b173 + 12630*b186 - 90*b187*b173 + 12930*b187 - 780*b188*
      b173 + 12400*b188 - 750*b189*b173 + 14040*b189 - 500*b175*b174 - 730*b176
      *b174 - 480*b177*b174 - 450*b178*b174 - 190*b179*b174 - 820*b180*b174 - 
      50*b181*b174 - 900*b182*b174 - 330*b183*b174 - 210*b184*b174 - 170*b185*
      b174 - 340*b186*b174 - 650*b187*b174 - 810*b188*b174 - 700*b189*b174 - 
      690*b177*b175 - 570*b178*b175 - 830*b179*b175 - 600*b180*b175 - 960*b181*
      b175 - 220*b182*b175 - 990*b183*b175 - 340*b184*b175 - 830*b185*b175 - 
      220*b186*b175 - 460*b187*b175 - 560*b188*b175 - 830*b189*b175 - 240*b177*
      b176 - 830*b178*b176 - 330*b179*b176 - 490*b180*b176 - 310*b181*b176 - 
      300*b182*b176 - 690*b183*b176 - 650*b184*b176 - 350*b185*b176 - 110*b186*
      b176 - 980*b187*b176 - 560*b188*b176 - 800*b189*b176 - 850*b178*b177 - 
      730*b179*b177 - 610*b180*b177 - 550*b181*b177 - 250*b182*b177 - 830*b183*
      b177 - 120*b184*b177 - 80*b185*b177 - 950*b186*b177 - 610*b187*b177 - 310
      *b188*b177 - 470*b189*b177 - 950*b179*b178 - 660*b180*b178 - 690*b181*
      b178 - 930*b182*b178 - 740*b183*b178 - 520*b184*b178 - 700*b185*b178 - 
      570*b186*b178 - 850*b187*b178 - 710*b188*b178 - 400*b189*b178 - 150*b180*
      b179 - 400*b181*b179 - 580*b182*b179 - 20*b183*b179 - 40*b184*b179 - 560*
      b185*b179 - 100*b186*b179 - 360*b187*b179 - 410*b188*b179 - 830*b189*b179
       - 980*b181*b180 - 490*b182*b180 - 80*b183*b180 - 330*b184*b180 - 130*
      b185*b180 - 690*b186*b180 - 280*b187*b180 - 740*b188*b180 - 750*b182*b181
       - 220*b183*b181 - 660*b184*b181 - 440*b185*b181 - 670*b186*b181 - 400*
      b187*b181 - 480*b188*b181 - 370*b189*b181 - 490*b183*b182 - 850*b184*b182
       - 90*b185*b182 - 410*b186*b182 - 10*b188*b182 - 990*b189*b182 - 540*b184
      *b183 - 570*b185*b183 - 80*b186*b183 - 640*b187*b183 - 940*b188*b183 - 10
      *b189*b183 - 470*b185*b184 - 440*b186*b184 - 500*b187*b184 - 80*b188*b184
       - 770*b189*b184 - 640*b186*b185 - 770*b187*b185 - 570*b188*b185 - 900*
      b189*b185 - 290*b187*b186 - 850*b188*b186 - 640*b189*b186 - 470*b188*b187
       - 810*b189*b187 - 320*b189*b188 <= 0;

e311: (-500*b191*b190) - 38745.8*b190 + 13410*b191 - 730*b192*b190 + 12930*b192
       - 480*b193*b190 + 12270*b193 - 450*b194*b190 + 15940*b194 - 190*b195*
      b190 + 12630*b195 - 820*b196*b190 + 10760*b196 - 50*b197*b190 + 12060*
      b197 - 900*b198*b190 + 11210*b198 - 330*b199*b190 + 12210*b199 - 210*b200
      *b190 + 11740*b200 - 170*b201*b190 + 9830*b201 - 340*b202*b190 + 12630*
      b202 - 650*b203*b190 + 12930*b203 - 810*b204*b190 + 12400*b204 - 700*b205
      *b190 + 14040*b205 - 690*b193*b191 - 570*b194*b191 - 830*b195*b191 - 600*
      b196*b191 - 960*b197*b191 - 220*b198*b191 - 990*b199*b191 - 340*b200*b191
       - 830*b201*b191 - 220*b202*b191 - 460*b203*b191 - 560*b204*b191 - 830*
      b205*b191 - 240*b193*b192 - 830*b194*b192 - 330*b195*b192 - 490*b196*b192
       - 310*b197*b192 - 300*b198*b192 - 690*b199*b192 - 650*b200*b192 - 350*
      b201*b192 - 110*b202*b192 - 980*b203*b192 - 560*b204*b192 - 800*b205*b192
       - 850*b194*b193 - 730*b195*b193 - 610*b196*b193 - 550*b197*b193 - 250*
      b198*b193 - 830*b199*b193 - 120*b200*b193 - 80*b201*b193 - 950*b202*b193
       - 610*b203*b193 - 310*b204*b193 - 470*b205*b193 - 950*b195*b194 - 660*
      b196*b194 - 690*b197*b194 - 930*b198*b194 - 740*b199*b194 - 520*b200*b194
       - 700*b201*b194 - 570*b202*b194 - 850*b203*b194 - 710*b204*b194 - 400*
      b205*b194 - 150*b196*b195 - 400*b197*b195 - 580*b198*b195 - 20*b199*b195
       - 40*b200*b195 - 560*b201*b195 - 100*b202*b195 - 360*b203*b195 - 410*
      b204*b195 - 830*b205*b195 - 980*b197*b196 - 490*b198*b196 - 80*b199*b196
       - 330*b200*b196 - 130*b201*b196 - 690*b202*b196 - 280*b203*b196 - 740*
      b204*b196 - 750*b198*b197 - 220*b199*b197 - 660*b200*b197 - 440*b201*b197
       - 670*b202*b197 - 400*b203*b197 - 480*b204*b197 - 370*b205*b197 - 490*
      b199*b198 - 850*b200*b198 - 90*b201*b198 - 410*b202*b198 - 10*b204*b198
       - 990*b205*b198 - 540*b200*b199 - 570*b201*b199 - 80*b202*b199 - 640*
      b203*b199 - 940*b204*b199 - 10*b205*b199 - 470*b201*b200 - 440*b202*b200
       - 500*b203*b200 - 80*b204*b200 - 770*b205*b200 - 640*b202*b201 - 770*
      b203*b201 - 570*b204*b201 - 900*b205*b201 - 290*b203*b202 - 850*b204*b202
       - 640*b205*b202 - 470*b204*b203 - 810*b205*b203 - 320*b205*b204 <= 0;

e312: (-690*b207*b206) - 37685.8*b206 + 12270*b207 - 570*b208*b206 + 15940*b208
       - 830*b209*b206 + 12630*b209 - 600*b210*b206 + 10760*b210 - 960*b211*
      b206 + 12060*b211 - 220*b212*b206 + 11210*b212 - 990*b213*b206 + 12210*
      b213 - 340*b214*b206 + 11740*b214 - 830*b215*b206 + 9830*b215 - 220*b216*
      b206 + 12630*b216 - 460*b217*b206 + 12930*b217 - 560*b218*b206 + 12400*
      b218 - 830*b219*b206 + 14040*b219 - 850*b208*b207 - 730*b209*b207 - 610*
      b210*b207 - 550*b211*b207 - 250*b212*b207 - 830*b213*b207 - 120*b214*b207
       - 80*b215*b207 - 950*b216*b207 - 610*b217*b207 - 310*b218*b207 - 470*
      b219*b207 - 240*b220*b207 + 12930*b220 - 950*b209*b208 - 660*b210*b208 - 
      690*b211*b208 - 930*b212*b208 - 740*b213*b208 - 520*b214*b208 - 700*b215*
      b208 - 570*b216*b208 - 850*b217*b208 - 710*b218*b208 - 400*b219*b208 - 
      830*b220*b208 - 150*b210*b209 - 400*b211*b209 - 580*b212*b209 - 20*b213*
      b209 - 40*b214*b209 - 560*b215*b209 - 100*b216*b209 - 360*b217*b209 - 410
      *b218*b209 - 830*b219*b209 - 330*b220*b209 - 980*b211*b210 - 490*b212*
      b210 - 80*b213*b210 - 330*b214*b210 - 130*b215*b210 - 690*b216*b210 - 280
      *b217*b210 - 740*b218*b210 - 490*b220*b210 - 750*b212*b211 - 220*b213*
      b211 - 660*b214*b211 - 440*b215*b211 - 670*b216*b211 - 400*b217*b211 - 
      480*b218*b211 - 370*b219*b211 - 310*b220*b211 - 490*b213*b212 - 850*b214*
      b212 - 90*b215*b212 - 410*b216*b212 - 10*b218*b212 - 990*b219*b212 - 300*
      b220*b212 - 540*b214*b213 - 570*b215*b213 - 80*b216*b213 - 640*b217*b213
       - 940*b218*b213 - 10*b219*b213 - 690*b220*b213 - 470*b215*b214 - 440*
      b216*b214 - 500*b217*b214 - 80*b218*b214 - 770*b219*b214 - 650*b220*b214
       - 640*b216*b215 - 770*b217*b215 - 570*b218*b215 - 900*b219*b215 - 350*
      b220*b215 - 290*b217*b216 - 850*b218*b216 - 640*b219*b216 - 110*b220*b216
       - 470*b218*b217 - 810*b219*b217 - 980*b220*b217 - 320*b219*b218 - 560*
      b220*b218 - 800*b220*b219 <= 0;

e313: (-240*b222*b221) - 38165.8*b221 + 12270*b222 - 830*b223*b221 + 15940*b223
       - 330*b224*b221 + 12630*b224 - 490*b225*b221 + 10760*b225 - 310*b226*
      b221 + 12060*b226 - 300*b227*b221 + 11210*b227 - 690*b228*b221 + 12210*
      b228 - 650*b229*b221 + 11740*b229 - 350*b230*b221 + 9830*b230 - 110*b231*
      b221 + 12630*b231 - 980*b232*b221 + 12930*b232 - 560*b233*b221 + 12400*
      b233 - 800*b234*b221 + 14040*b234 - 850*b223*b222 - 730*b224*b222 - 610*
      b225*b222 - 550*b226*b222 - 250*b227*b222 - 830*b228*b222 - 120*b229*b222
       - 80*b230*b222 - 950*b231*b222 - 610*b232*b222 - 310*b233*b222 - 470*
      b234*b222 - 950*b224*b223 - 660*b225*b223 - 690*b226*b223 - 930*b227*b223
       - 740*b228*b223 - 520*b229*b223 - 700*b230*b223 - 570*b231*b223 - 850*
      b232*b223 - 710*b233*b223 - 400*b234*b223 - 150*b225*b224 - 400*b226*b224
       - 580*b227*b224 - 20*b228*b224 - 40*b229*b224 - 560*b230*b224 - 100*b231
      *b224 - 360*b232*b224 - 410*b233*b224 - 830*b234*b224 - 980*b226*b225 - 
      490*b227*b225 - 80*b228*b225 - 330*b229*b225 - 130*b230*b225 - 690*b231*
      b225 - 280*b232*b225 - 740*b233*b225 - 750*b227*b226 - 220*b228*b226 - 
      660*b229*b226 - 440*b230*b226 - 670*b231*b226 - 400*b232*b226 - 480*b233*
      b226 - 370*b234*b226 - 490*b228*b227 - 850*b229*b227 - 90*b230*b227 - 410
      *b231*b227 - 10*b233*b227 - 990*b234*b227 - 540*b229*b228 - 570*b230*b228
       - 80*b231*b228 - 640*b232*b228 - 940*b233*b228 - 10*b234*b228 - 470*b230
      *b229 - 440*b231*b229 - 500*b232*b229 - 80*b233*b229 - 770*b234*b229 - 
      640*b231*b230 - 770*b232*b230 - 570*b233*b230 - 900*b234*b230 - 290*b232*
      b231 - 850*b233*b231 - 640*b234*b231 - 470*b233*b232 - 810*b234*b232 - 
      320*b234*b233 <= 0;

e314: (-850*b236*b235) - 38825.8*b235 + 15940*b236 - 730*b237*b235 + 12630*b237
       - 610*b238*b235 + 10760*b238 - 550*b239*b235 + 12060*b239 - 250*b240*
      b235 + 11210*b240 - 830*b241*b235 + 12210*b241 - 120*b242*b235 + 11740*
      b242 - 80*b243*b235 + 9830*b243 - 950*b244*b235 + 12630*b244 - 610*b245*
      b235 + 12930*b245 - 310*b246*b235 + 12400*b246 - 470*b247*b235 + 14040*
      b247 - 950*b237*b236 - 660*b238*b236 - 690*b239*b236 - 930*b240*b236 - 
      740*b241*b236 - 520*b242*b236 - 700*b243*b236 - 570*b244*b236 - 850*b245*
      b236 - 710*b246*b236 - 400*b247*b236 - 150*b238*b237 - 400*b239*b237 - 
      580*b240*b237 - 20*b241*b237 - 40*b242*b237 - 560*b243*b237 - 100*b244*
      b237 - 360*b245*b237 - 410*b246*b237 - 830*b247*b237 - 980*b239*b238 - 
      490*b240*b238 - 80*b241*b238 - 330*b242*b238 - 130*b243*b238 - 690*b244*
      b238 - 280*b245*b238 - 740*b246*b238 - 750*b240*b239 - 220*b241*b239 - 
      660*b242*b239 - 440*b243*b239 - 670*b244*b239 - 400*b245*b239 - 480*b246*
      b239 - 370*b247*b239 - 490*b241*b240 - 850*b242*b240 - 90*b243*b240 - 410
      *b244*b240 - 10*b246*b240 - 990*b247*b240 - 540*b242*b241 - 570*b243*b241
       - 80*b244*b241 - 640*b245*b241 - 940*b246*b241 - 10*b247*b241 - 470*b243
      *b242 - 440*b244*b242 - 500*b245*b242 - 80*b246*b242 - 770*b247*b242 - 
      640*b244*b243 - 770*b245*b243 - 570*b246*b243 - 900*b247*b243 - 290*b245*
      b244 - 850*b246*b244 - 640*b247*b244 - 470*b246*b245 - 810*b247*b245 - 
      320*b247*b246 <= 0;

e315: (-950*b249*b248) - 35155.8*b248 + 12630*b249 - 660*b250*b248 + 10760*b250
       - 690*b251*b248 + 12060*b251 - 930*b252*b248 + 11210*b252 - 740*b253*
      b248 + 12210*b253 - 520*b254*b248 + 11740*b254 - 700*b255*b248 + 9830*
      b255 - 570*b256*b248 + 12630*b256 - 850*b257*b248 + 12930*b257 - 710*b258
      *b248 + 12400*b258 - 400*b259*b248 + 14040*b259 - 150*b250*b249 - 400*
      b251*b249 - 580*b252*b249 - 20*b253*b249 - 40*b254*b249 - 560*b255*b249
       - 100*b256*b249 - 360*b257*b249 - 410*b258*b249 - 830*b259*b249 - 980*
      b251*b250 - 490*b252*b250 - 80*b253*b250 - 330*b254*b250 - 130*b255*b250
       - 690*b256*b250 - 280*b257*b250 - 740*b258*b250 - 750*b252*b251 - 220*
      b253*b251 - 660*b254*b251 - 440*b255*b251 - 670*b256*b251 - 400*b257*b251
       - 480*b258*b251 - 370*b259*b251 - 490*b253*b252 - 850*b254*b252 - 90*
      b255*b252 - 410*b256*b252 - 10*b258*b252 - 990*b259*b252 - 540*b254*b253
       - 570*b255*b253 - 80*b256*b253 - 640*b257*b253 - 940*b258*b253 - 10*b259
      *b253 - 470*b255*b254 - 440*b256*b254 - 500*b257*b254 - 80*b258*b254 - 
      770*b259*b254 - 640*b256*b255 - 770*b257*b255 - 570*b258*b255 - 900*b259*
      b255 - 290*b257*b256 - 850*b258*b256 - 640*b259*b256 - 470*b258*b257 - 
      810*b259*b257 - 320*b259*b258 <= 0;

e316: (-150*b261*b260) - 38465.8*b260 + 10760*b261 - 400*b262*b260 + 12060*b262
       - 580*b263*b260 + 11210*b263 - 20*b264*b260 + 12210*b264 - 40*b265*b260
       + 11740*b265 - 560*b266*b260 + 9830*b266 - 100*b267*b260 + 12630*b267 - 
      360*b268*b260 + 12930*b268 - 410*b269*b260 + 12400*b269 - 830*b270*b260
       + 14040*b270 - 980*b262*b261 - 490*b263*b261 - 80*b264*b261 - 330*b265*
      b261 - 130*b266*b261 - 690*b267*b261 - 280*b268*b261 - 740*b269*b261 - 
      750*b263*b262 - 220*b264*b262 - 660*b265*b262 - 440*b266*b262 - 670*b267*
      b262 - 400*b268*b262 - 480*b269*b262 - 370*b270*b262 - 490*b264*b263 - 
      850*b265*b263 - 90*b266*b263 - 410*b267*b263 - 10*b269*b263 - 990*b270*
      b263 - 540*b265*b264 - 570*b266*b264 - 80*b267*b264 - 640*b268*b264 - 940
      *b269*b264 - 10*b270*b264 - 470*b266*b265 - 440*b267*b265 - 500*b268*b265
       - 80*b269*b265 - 770*b270*b265 - 640*b267*b266 - 770*b268*b266 - 570*
      b269*b266 - 900*b270*b266 - 290*b268*b267 - 850*b269*b267 - 640*b270*b267
       - 470*b269*b268 - 810*b270*b268 - 320*b270*b269 <= 0;

e317: (-980*b272*b271) - 40335.8*b271 + 12060*b272 - 490*b273*b271 + 11210*b273
       - 80*b274*b271 + 12210*b274 - 330*b275*b271 + 11740*b275 - 130*b276*b271
       + 9830*b276 - 690*b277*b271 + 12630*b277 - 280*b278*b271 + 12930*b278 - 
      740*b279*b271 + 12400*b279 - 750*b273*b272 - 220*b274*b272 - 660*b275*
      b272 - 440*b276*b272 - 670*b277*b272 - 400*b278*b272 - 480*b279*b272 - 
      370*b280*b272 + 14040*b280 - 490*b274*b273 - 850*b275*b273 - 90*b276*b273
       - 410*b277*b273 - 10*b279*b273 - 990*b280*b273 - 540*b275*b274 - 570*
      b276*b274 - 80*b277*b274 - 640*b278*b274 - 940*b279*b274 - 10*b280*b274
       - 470*b276*b275 - 440*b277*b275 - 500*b278*b275 - 80*b279*b275 - 770*
      b280*b275 - 640*b277*b276 - 770*b278*b276 - 570*b279*b276 - 900*b280*b276
       - 290*b278*b277 - 850*b279*b277 - 640*b280*b277 - 470*b279*b278 - 810*
      b280*b278 - 320*b280*b279 <= 0;

e318: (-750*b282*b281) - 39035.8*b281 + 11210*b282 - 220*b283*b281 + 12210*b283
       - 660*b284*b281 + 11740*b284 - 440*b285*b281 + 9830*b285 - 670*b286*b281
       + 12630*b286 - 400*b287*b281 + 12930*b287 - 480*b288*b281 + 12400*b288
       - 370*b289*b281 + 14040*b289 - 490*b283*b282 - 850*b284*b282 - 90*b285*
      b282 - 410*b286*b282 - 10*b288*b282 - 990*b289*b282 - 540*b284*b283 - 570
      *b285*b283 - 80*b286*b283 - 640*b287*b283 - 940*b288*b283 - 10*b289*b283
       - 470*b285*b284 - 440*b286*b284 - 500*b287*b284 - 80*b288*b284 - 770*
      b289*b284 - 640*b286*b285 - 770*b287*b285 - 570*b288*b285 - 900*b289*b285
       - 290*b287*b286 - 850*b288*b286 - 640*b289*b286 - 470*b288*b287 - 810*
      b289*b287 - 320*b289*b288 <= 0;

e319: (-490*b291*b290) - 39885.8*b290 + 12210*b291 - 850*b292*b290 + 11740*b292
       - 90*b293*b290 + 9830*b293 - 410*b294*b290 + 12630*b294 - 10*b295*b290
       + 12400*b295 - 990*b296*b290 + 14040*b296 - 540*b292*b291 - 570*b293*
      b291 - 80*b294*b291 - 940*b295*b291 - 10*b296*b291 - 640*b297*b291 + 
      12930*b297 - 470*b293*b292 - 440*b294*b292 - 80*b295*b292 - 770*b296*b292
       - 500*b297*b292 - 640*b294*b293 - 570*b295*b293 - 900*b296*b293 - 770*
      b297*b293 - 850*b295*b294 - 640*b296*b294 - 290*b297*b294 - 320*b296*b295
       - 470*b297*b295 - 810*b297*b296 <= 0;

e320: (-540*b299*b298) - 38885.8*b298 + 11740*b299 - 570*b300*b298 + 9830*b300
       - 80*b301*b298 + 12630*b301 - 640*b302*b298 + 12930*b302 - 940*b303*b298
       + 12400*b303 - 10*b304*b298 + 14040*b304 - 470*b300*b299 - 440*b301*b299
       - 500*b302*b299 - 80*b303*b299 - 770*b304*b299 - 640*b301*b300 - 770*
      b302*b300 - 570*b303*b300 - 900*b304*b300 - 290*b302*b301 - 850*b303*b301
       - 640*b304*b301 - 470*b303*b302 - 810*b304*b302 - 320*b304*b303 <= 0;

e321: (-470*b306*b305) - 39355.8*b305 + 9830*b306 - 440*b307*b305 + 12630*b307
       - 500*b308*b305 + 12930*b308 - 80*b309*b305 + 12400*b309 - 770*b310*b305
       + 14040*b310 - 640*b307*b306 - 770*b308*b306 - 570*b309*b306 - 900*b310*
      b306 - 290*b308*b307 - 850*b309*b307 - 640*b310*b307 - 470*b309*b308 - 
      810*b310*b308 - 320*b310*b309 <= 0;

e322: (-640*b312*b311) - 41265.8*b311 + 12630*b312 - 770*b313*b311 + 12930*b313
       - 570*b314*b311 + 12400*b314 - 900*b315*b311 + 14040*b315 - 290*b313*
      b312 - 850*b314*b312 - 640*b315*b312 - 470*b314*b313 - 810*b315*b313 - 
      320*b315*b314 <= 0;

e323: (-290*b317*b316) - 38465.8*b316 + 12930*b317 - 850*b318*b316 + 12400*b318
       - 640*b319*b316 + 14040*b319 - 470*b318*b317 - 810*b319*b317 - 320*b319*
      b318 <= 0;

e324: (-470*b321*b320) - 38165.8*b320 + 12400*b321 - 810*b322*b320 + 14040*b322
       - 320*b322*b321 <= 0;

e325: (-320*b324*b323) - 38695.8*b323 + 14040*b324 <= 0;