#  MIQCP written by GAMS Convert at 02/15/18 15:45:35
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        276       23        0      253        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        276        1      275        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1286      738      548        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;

minimize obj: (-301.5*b2*b3) - 85.5*b2 - 36*b3 - 202.5*b2*b4 - 396*b4 - 418.5*
    b2*b5 - 193.5*b5 - 418.5*b2*b6 - 256.5*b6 - 283.5*b2*b7 - 103.5*b7 - 36*b2*
    b8 - 423*b8 - 234*b2*b9 - 94.5*b9 - 243*b2*b10 - 324*b10 - 288*b2*b11 - 63*
    b11 - 108*b2*b12 - 63*b12 - 63*b2*b13 - 391.5*b13 - 18*b2*b14 - 148.5*b14
     - 85.5*b2*b15 - 207*b15 - 319.5*b2*b16 - 36*b16 - 126*b2*b17 - 18*b17 - 
    58.5*b2*b18 - 153*b18 - 202.5*b2*b19 - 279*b19 - 234*b2*b20 - 247.5*b20 - 
    355.5*b2*b21 - 220.5*b21 - 49.5*b2*b22 - 27*b22 - 180*b2*b23 - 162*b23 - 54
    *b3*b4 - 256.5*b3*b5 - 216*b3*b6 - 76.5*b3*b7 - 193.5*b3*b8 - 279*b3*b9 - 
    108*b3*b10 - 202.5*b3*b11 - 94.5*b3*b12 - 270*b3*b13 - 54*b3*b14 - 297*b3*
    b15 - 238.5*b3*b16 - 22.5*b3*b17 - 364.5*b3*b18 - 274.5*b3*b19 - 45*b3*b20
     - 396*b3*b21 - 346.5*b3*b22 - 153*b3*b23 - 9*b4*b5 - 369*b4*b6 - 238.5*b4*
    b7 - 117*b4*b8 - 279*b4*b9 - 81*b4*b10 - 319.5*b4*b11 - 63*b4*b12 - 436.5*
    b4*b13 - 369*b4*b14 - 243*b4*b15 - 40.5*b4*b16 - 414*b4*b17 - 247.5*b4*b18
     - 351*b4*b19 - 391.5*b4*b20 - 310.5*b4*b21 - 9*b4*b22 - 144*b4*b23 - 189*
    b5*b6 - 63*b5*b7 - 202.5*b5*b8 - 270*b5*b9 - 301.5*b5*b10 - 9*b5*b11 - 189*
    b5*b12 - 364.5*b5*b13 - 288*b5*b14 - 369*b5*b15 - 261*b5*b16 - 441*b5*b17
     - 162*b5*b18 - 414*b5*b19 - 13.5*b5*b20 - 279*b5*b21 - 243*b5*b22 - 94.5*
    b5*b23 - 382.5*b6*b7 - 310.5*b6*b8 - 315*b6*b9 - 90*b6*b10 - 337.5*b6*b11
     - 360*b6*b12 - 54*b6*b13 - 369*b6*b14 - 45*b6*b15 - 445.5*b6*b16 - 18*b6*
    b17 - 58.5*b6*b18 - 378*b6*b19 - 441*b6*b20 - 121.5*b6*b21 - 364.5*b6*b22
     - 265.5*b6*b23 - 211.5*b7*b8 - 373.5*b7*b9 - 238.5*b7*b10 - 360*b7*b11 - 
    157.5*b7*b13 - 405*b7*b14 - 441*b7*b15 - 319.5*b7*b16 - 373.5*b7*b17 - 243*
    b7*b18 - 387*b7*b19 - 400.5*b7*b20 - 121.5*b7*b21 - 319.5*b7*b22 - 45*b7*
    b23 - 441*b8*b9 - 409.5*b8*b10 - 387*b8*b11 - 135*b8*b12 - 247.5*b8*b13 - 
    90*b8*b14 - 180*b8*b15 - 31.5*b8*b16 - 342*b8*b17 - 238.5*b8*b18 - 409.5*b8
    *b19 - 337.5*b8*b20 - 148.5*b8*b21 - 324*b8*b22 - 153*b8*b23 - 144*b9*b10
     - 31.5*b9*b11 - 391.5*b9*b12 - 288*b9*b13 - 31.5*b9*b14 - 333*b9*b15 - 243
    *b9*b16 - 261*b9*b17 - 436.5*b9*b18 - 400.5*b9*b19 - 54*b9*b20 - 373.5*b9*
    b21 - 355.5*b9*b22 - 175.5*b9*b23 - 31.5*b10*b11 - 400.5*b10*b12 - 400.5*
    b10*b13 - 441*b10*b14 - 121.5*b10*b15 - 85.5*b10*b16 - 27*b10*b17 - 270*b10
    *b19 - 58.5*b10*b20 - 342*b10*b21 - 292.5*b10*b22 - 252*b10*b23 - 229.5*b11
    *b12 - 225*b11*b13 - 126*b11*b14 - 166.5*b11*b15 - 153*b11*b16 - 391.5*b11*
    b17 - 108*b11*b18 - 441*b11*b19 - 211.5*b11*b20 - 225*b11*b21 - 22.5*b11*
    b22 - 256.5*b11*b23 - 216*b12*b13 - 423*b12*b14 - 94.5*b12*b15 - 139.5*b12*
    b16 - 112.5*b12*b17 - 54*b12*b18 - 171*b12*b19 - 67.5*b12*b20 - 9*b12*b21
     - 400.5*b12*b22 - 423*b12*b23 - 94.5*b13*b14 - 427.5*b13*b15 - 423*b13*b16
     - 148.5*b13*b17 - 36*b13*b18 - 319.5*b13*b19 - 445.5*b13*b20 - 288*b13*b21
     - 333*b13*b22 - 4.5*b13*b23 - 198*b14*b15 - 54*b14*b16 - 162*b14*b17 - 
    373.5*b14*b18 - 396*b14*b19 - 153*b14*b20 - 135*b14*b21 - 175.5*b14*b22 - 
    175.5*b14*b23 - 175.5*b15*b16 - 391.5*b15*b17 - 387*b15*b18 - 270*b15*b19
     - 315*b15*b20 - 49.5*b15*b21 - 328.5*b15*b22 - 40.5*b15*b23 - 351*b16*b17
     - 337.5*b16*b18 - 225*b16*b19 - 328.5*b16*b20 - 216*b16*b21 - 202.5*b16*
    b22 - 85.5*b16*b23 - 369*b17*b18 - 22.5*b17*b19 - 405*b17*b20 - 148.5*b17*
    b21 - 94.5*b17*b22 - 76.5*b17*b23 - 153*b18*b19 - 292.5*b18*b20 - 364.5*b18
    *b21 - 315*b18*b22 - 310.5*b19*b20 - 256.5*b19*b21 - 373.5*b19*b22 - 270*
    b19*b23 - 432*b20*b21 - 99*b20*b22 - 445.5*b20*b23 - 153*b21*b22 - 373.5*
    b21*b23 - 99*b22*b23 - 301.5*b24*b25 - 202.5*b24*b26 - 418.5*b24*b27 - 
    418.5*b24*b28 - 283.5*b24*b29 - 36*b24*b30 - 234*b24*b31 - 243*b24*b32 - 
    288*b24*b33 - 108*b24*b34 - 63*b24*b35 - 18*b24*b36 - 85.5*b24*b37 - 319.5*
    b24*b38 - 126*b24*b39 - 58.5*b24*b40 - 202.5*b24*b41 - 234*b24*b42 - 355.5*
    b24*b43 - 49.5*b24*b44 - 180*b24*b45 - 54*b25*b26 - 256.5*b25*b27 - 216*b25
    *b28 - 76.5*b25*b29 - 193.5*b25*b30 - 279*b25*b31 - 108*b25*b32 - 202.5*b25
    *b33 - 94.5*b25*b34 - 270*b25*b35 - 54*b25*b36 - 297*b25*b37 - 238.5*b25*
    b38 - 22.5*b25*b39 - 364.5*b25*b40 - 274.5*b25*b41 - 45*b25*b42 - 396*b25*
    b43 - 346.5*b25*b44 - 153*b25*b45 - 9*b26*b27 - 369*b26*b28 - 238.5*b26*b29
     - 117*b26*b30 - 279*b26*b31 - 81*b26*b32 - 319.5*b26*b33 - 63*b26*b34 - 
    436.5*b26*b35 - 369*b26*b36 - 243*b26*b37 - 40.5*b26*b38 - 414*b26*b39 - 
    247.5*b26*b40 - 351*b26*b41 - 391.5*b26*b42 - 310.5*b26*b43 - 9*b26*b44 - 
    144*b26*b45 - 189*b27*b28 - 63*b27*b29 - 202.5*b27*b30 - 270*b27*b31 - 
    301.5*b27*b32 - 9*b27*b33 - 189*b27*b34 - 364.5*b27*b35 - 288*b27*b36 - 369
    *b27*b37 - 261*b27*b38 - 441*b27*b39 - 162*b27*b40 - 414*b27*b41 - 13.5*b27
    *b42 - 279*b27*b43 - 243*b27*b44 - 94.5*b27*b45 - 382.5*b28*b29 - 310.5*b28
    *b30 - 315*b28*b31 - 90*b28*b32 - 337.5*b28*b33 - 360*b28*b34 - 54*b28*b35
     - 369*b28*b36 - 45*b28*b37 - 445.5*b28*b38 - 18*b28*b39 - 58.5*b28*b40 - 
    378*b28*b41 - 441*b28*b42 - 121.5*b28*b43 - 364.5*b28*b44 - 265.5*b28*b45
     - 211.5*b29*b30 - 373.5*b29*b31 - 238.5*b29*b32 - 360*b29*b33 - 157.5*b29*
    b35 - 405*b29*b36 - 441*b29*b37 - 319.5*b29*b38 - 373.5*b29*b39 - 243*b29*
    b40 - 387*b29*b41 - 400.5*b29*b42 - 121.5*b29*b43 - 319.5*b29*b44 - 45*b29*
    b45 - 441*b30*b31 - 409.5*b30*b32 - 387*b30*b33 - 135*b30*b34 - 247.5*b30*
    b35 - 90*b30*b36 - 180*b30*b37 - 31.5*b30*b38 - 342*b30*b39 - 238.5*b30*b40
     - 409.5*b30*b41 - 337.5*b30*b42 - 148.5*b30*b43 - 324*b30*b44 - 153*b30*
    b45 - 144*b31*b32 - 31.5*b31*b33 - 391.5*b31*b34 - 288*b31*b35 - 31.5*b31*
    b36 - 333*b31*b37 - 243*b31*b38 - 261*b31*b39 - 436.5*b31*b40 - 400.5*b31*
    b41 - 54*b31*b42 - 373.5*b31*b43 - 355.5*b31*b44 - 175.5*b31*b45 - 31.5*b32
    *b33 - 400.5*b32*b34 - 400.5*b32*b35 - 441*b32*b36 - 121.5*b32*b37 - 85.5*
    b32*b38 - 27*b32*b39 - 270*b32*b41 - 58.5*b32*b42 - 342*b32*b43 - 292.5*b32
    *b44 - 252*b32*b45 - 229.5*b33*b34 - 225*b33*b35 - 126*b33*b36 - 166.5*b33*
    b37 - 153*b33*b38 - 391.5*b33*b39 - 108*b33*b40 - 441*b33*b41 - 211.5*b33*
    b42 - 225*b33*b43 - 22.5*b33*b44 - 256.5*b33*b45 - 216*b34*b35 - 423*b34*
    b36 - 94.5*b34*b37 - 139.5*b34*b38 - 112.5*b34*b39 - 54*b34*b40 - 171*b34*
    b41 - 67.5*b34*b42 - 9*b34*b43 - 400.5*b34*b44 - 423*b34*b45 - 94.5*b35*b36
     - 427.5*b35*b37 - 423*b35*b38 - 148.5*b35*b39 - 36*b35*b40 - 319.5*b35*b41
     - 445.5*b35*b42 - 288*b35*b43 - 333*b35*b44 - 4.5*b35*b45 - 198*b36*b37 - 
    54*b36*b38 - 162*b36*b39 - 373.5*b36*b40 - 396*b36*b41 - 153*b36*b42 - 135*
    b36*b43 - 175.5*b36*b44 - 175.5*b36*b45 - 175.5*b37*b38 - 391.5*b37*b39 - 
    387*b37*b40 - 270*b37*b41 - 315*b37*b42 - 49.5*b37*b43 - 328.5*b37*b44 - 
    40.5*b37*b45 - 351*b38*b39 - 337.5*b38*b40 - 225*b38*b41 - 328.5*b38*b42 - 
    216*b38*b43 - 202.5*b38*b44 - 85.5*b38*b45 - 369*b39*b40 - 22.5*b39*b41 - 
    405*b39*b42 - 148.5*b39*b43 - 94.5*b39*b44 - 76.5*b39*b45 - 153*b40*b41 - 
    292.5*b40*b42 - 364.5*b40*b43 - 315*b40*b44 - 310.5*b41*b42 - 256.5*b41*b43
     - 373.5*b41*b44 - 270*b41*b45 - 432*b42*b43 - 99*b42*b44 - 445.5*b42*b45
     - 153*b43*b44 - 373.5*b43*b45 - 99*b44*b45 - 54*b46*b47 - 256.5*b46*b48 - 
    216*b46*b49 - 76.5*b46*b50 - 193.5*b46*b51 - 279*b46*b52 - 108*b46*b53 - 
    202.5*b46*b54 - 94.5*b46*b55 - 270*b46*b56 - 54*b46*b57 - 297*b46*b58 - 
    238.5*b46*b59 - 22.5*b46*b60 - 364.5*b46*b61 - 274.5*b46*b62 - 45*b46*b63
     - 396*b46*b64 - 346.5*b46*b65 - 153*b46*b66 - 9*b47*b48 - 369*b47*b49 - 
    238.5*b47*b50 - 117*b47*b51 - 279*b47*b52 - 81*b47*b53 - 319.5*b47*b54 - 63
    *b47*b55 - 436.5*b47*b56 - 369*b47*b57 - 243*b47*b58 - 40.5*b47*b59 - 414*
    b47*b60 - 247.5*b47*b61 - 351*b47*b62 - 391.5*b47*b63 - 310.5*b47*b64 - 9*
    b47*b65 - 144*b47*b66 - 189*b48*b49 - 63*b48*b50 - 202.5*b48*b51 - 270*b48*
    b52 - 301.5*b48*b53 - 9*b48*b54 - 189*b48*b55 - 364.5*b48*b56 - 288*b48*b57
     - 369*b48*b58 - 261*b48*b59 - 441*b48*b60 - 162*b48*b61 - 414*b48*b62 - 
    13.5*b48*b63 - 279*b48*b64 - 243*b48*b65 - 94.5*b48*b66 - 382.5*b49*b50 - 
    310.5*b49*b51 - 315*b49*b52 - 90*b49*b53 - 337.5*b49*b54 - 360*b49*b55 - 54
    *b49*b56 - 369*b49*b57 - 45*b49*b58 - 445.5*b49*b59 - 18*b49*b60 - 58.5*b49
    *b61 - 378*b49*b62 - 441*b49*b63 - 121.5*b49*b64 - 364.5*b49*b65 - 265.5*
    b49*b66 - 211.5*b50*b51 - 373.5*b50*b52 - 238.5*b50*b53 - 360*b50*b54 - 
    157.5*b50*b56 - 405*b50*b57 - 441*b50*b58 - 319.5*b50*b59 - 373.5*b50*b60
     - 243*b50*b61 - 387*b50*b62 - 400.5*b50*b63 - 121.5*b50*b64 - 319.5*b50*
    b65 - 45*b50*b66 - 441*b51*b52 - 409.5*b51*b53 - 387*b51*b54 - 135*b51*b55
     - 247.5*b51*b56 - 90*b51*b57 - 180*b51*b58 - 31.5*b51*b59 - 342*b51*b60 - 
    238.5*b51*b61 - 409.5*b51*b62 - 337.5*b51*b63 - 148.5*b51*b64 - 324*b51*b65
     - 153*b51*b66 - 144*b52*b53 - 31.5*b52*b54 - 391.5*b52*b55 - 288*b52*b56
     - 31.5*b52*b57 - 333*b52*b58 - 243*b52*b59 - 261*b52*b60 - 436.5*b52*b61
     - 400.5*b52*b62 - 54*b52*b63 - 373.5*b52*b64 - 355.5*b52*b65 - 175.5*b52*
    b66 - 31.5*b53*b54 - 400.5*b53*b55 - 400.5*b53*b56 - 441*b53*b57 - 121.5*
    b53*b58 - 85.5*b53*b59 - 27*b53*b60 - 270*b53*b62 - 58.5*b53*b63 - 342*b53*
    b64 - 292.5*b53*b65 - 252*b53*b66 - 229.5*b54*b55 - 225*b54*b56 - 126*b54*
    b57 - 166.5*b54*b58 - 153*b54*b59 - 391.5*b54*b60 - 108*b54*b61 - 441*b54*
    b62 - 211.5*b54*b63 - 225*b54*b64 - 22.5*b54*b65 - 256.5*b54*b66 - 216*b55*
    b56 - 423*b55*b57 - 94.5*b55*b58 - 139.5*b55*b59 - 112.5*b55*b60 - 54*b55*
    b61 - 171*b55*b62 - 67.5*b55*b63 - 9*b55*b64 - 400.5*b55*b65 - 423*b55*b66
     - 94.5*b56*b57 - 427.5*b56*b58 - 423*b56*b59 - 148.5*b56*b60 - 36*b56*b61
     - 319.5*b56*b62 - 445.5*b56*b63 - 288*b56*b64 - 333*b56*b65 - 4.5*b56*b66
     - 198*b57*b58 - 54*b57*b59 - 162*b57*b60 - 373.5*b57*b61 - 396*b57*b62 - 
    153*b57*b63 - 135*b57*b64 - 175.5*b57*b65 - 175.5*b57*b66 - 175.5*b58*b59
     - 391.5*b58*b60 - 387*b58*b61 - 270*b58*b62 - 315*b58*b63 - 49.5*b58*b64
     - 328.5*b58*b65 - 40.5*b58*b66 - 351*b59*b60 - 337.5*b59*b61 - 225*b59*b62
     - 328.5*b59*b63 - 216*b59*b64 - 202.5*b59*b65 - 85.5*b59*b66 - 369*b60*b61
     - 22.5*b60*b62 - 405*b60*b63 - 148.5*b60*b64 - 94.5*b60*b65 - 76.5*b60*b66
     - 153*b61*b62 - 292.5*b61*b63 - 364.5*b61*b64 - 315*b61*b65 - 310.5*b62*
    b63 - 256.5*b62*b64 - 373.5*b62*b65 - 270*b62*b66 - 432*b63*b64 - 99*b63*
    b65 - 445.5*b63*b66 - 153*b64*b65 - 373.5*b64*b66 - 99*b65*b66 - 9*b67*b68
     - 369*b67*b69 - 238.5*b67*b70 - 117*b67*b71 - 279*b67*b72 - 81*b67*b73 - 
    319.5*b67*b74 - 63*b67*b75 - 436.5*b67*b76 - 369*b67*b77 - 243*b67*b78 - 
    40.5*b67*b79 - 414*b67*b80 - 247.5*b67*b81 - 351*b67*b82 - 391.5*b67*b83 - 
    310.5*b67*b84 - 9*b67*b85 - 144*b67*b86 - 189*b68*b69 - 63*b68*b70 - 202.5*
    b68*b71 - 270*b68*b72 - 301.5*b68*b73 - 9*b68*b74 - 189*b68*b75 - 364.5*b68
    *b76 - 288*b68*b77 - 369*b68*b78 - 261*b68*b79 - 441*b68*b80 - 162*b68*b81
     - 414*b68*b82 - 13.5*b68*b83 - 279*b68*b84 - 243*b68*b85 - 94.5*b68*b86 - 
    382.5*b69*b70 - 310.5*b69*b71 - 315*b69*b72 - 90*b69*b73 - 337.5*b69*b74 - 
    360*b69*b75 - 54*b69*b76 - 369*b69*b77 - 45*b69*b78 - 445.5*b69*b79 - 18*
    b69*b80 - 58.5*b69*b81 - 378*b69*b82 - 441*b69*b83 - 121.5*b69*b84 - 364.5*
    b69*b85 - 265.5*b69*b86 - 211.5*b70*b71 - 373.5*b70*b72 - 238.5*b70*b73 - 
    360*b70*b74 - 157.5*b70*b76 - 405*b70*b77 - 441*b70*b78 - 319.5*b70*b79 - 
    373.5*b70*b80 - 243*b70*b81 - 387*b70*b82 - 400.5*b70*b83 - 121.5*b70*b84
     - 319.5*b70*b85 - 45*b70*b86 - 441*b71*b72 - 409.5*b71*b73 - 387*b71*b74
     - 135*b71*b75 - 247.5*b71*b76 - 90*b71*b77 - 180*b71*b78 - 31.5*b71*b79 - 
    342*b71*b80 - 238.5*b71*b81 - 409.5*b71*b82 - 337.5*b71*b83 - 148.5*b71*b84
     - 324*b71*b85 - 153*b71*b86 - 144*b72*b73 - 31.5*b72*b74 - 391.5*b72*b75
     - 288*b72*b76 - 31.5*b72*b77 - 333*b72*b78 - 243*b72*b79 - 261*b72*b80 - 
    436.5*b72*b81 - 400.5*b72*b82 - 54*b72*b83 - 373.5*b72*b84 - 355.5*b72*b85
     - 175.5*b72*b86 - 31.5*b73*b74 - 400.5*b73*b75 - 400.5*b73*b76 - 441*b73*
    b77 - 121.5*b73*b78 - 85.5*b73*b79 - 27*b73*b80 - 270*b73*b82 - 58.5*b73*
    b83 - 342*b73*b84 - 292.5*b73*b85 - 252*b73*b86 - 229.5*b74*b75 - 225*b74*
    b76 - 126*b74*b77 - 166.5*b74*b78 - 153*b74*b79 - 391.5*b74*b80 - 108*b74*
    b81 - 441*b74*b82 - 211.5*b74*b83 - 225*b74*b84 - 22.5*b74*b85 - 256.5*b74*
    b86 - 216*b75*b76 - 423*b75*b77 - 94.5*b75*b78 - 139.5*b75*b79 - 112.5*b75*
    b80 - 54*b75*b81 - 171*b75*b82 - 67.5*b75*b83 - 9*b75*b84 - 400.5*b75*b85
     - 423*b75*b86 - 94.5*b76*b77 - 427.5*b76*b78 - 423*b76*b79 - 148.5*b76*b80
     - 36*b76*b81 - 319.5*b76*b82 - 445.5*b76*b83 - 288*b76*b84 - 333*b76*b85
     - 4.5*b76*b86 - 198*b77*b78 - 54*b77*b79 - 162*b77*b80 - 373.5*b77*b81 - 
    396*b77*b82 - 153*b77*b83 - 135*b77*b84 - 175.5*b77*b85 - 175.5*b77*b86 - 
    175.5*b78*b79 - 391.5*b78*b80 - 387*b78*b81 - 270*b78*b82 - 315*b78*b83 - 
    49.5*b78*b84 - 328.5*b78*b85 - 40.5*b78*b86 - 351*b79*b80 - 337.5*b79*b81
     - 225*b79*b82 - 328.5*b79*b83 - 216*b79*b84 - 202.5*b79*b85 - 85.5*b79*b86
     - 369*b80*b81 - 22.5*b80*b82 - 405*b80*b83 - 148.5*b80*b84 - 94.5*b80*b85
     - 76.5*b80*b86 - 153*b81*b82 - 292.5*b81*b83 - 364.5*b81*b84 - 315*b81*b85
     - 310.5*b82*b83 - 256.5*b82*b84 - 373.5*b82*b85 - 270*b82*b86 - 432*b83*
    b84 - 99*b83*b85 - 445.5*b83*b86 - 153*b84*b85 - 373.5*b84*b86 - 99*b85*b86
     - 189*b87*b88 - 63*b87*b89 - 202.5*b87*b90 - 270*b87*b91 - 301.5*b87*b92
     - 9*b87*b93 - 189*b87*b94 - 364.5*b87*b95 - 288*b87*b96 - 369*b87*b97 - 
    261*b87*b98 - 441*b87*b99 - 162*b87*b100 - 414*b87*b101 - 13.5*b87*b102 - 
    279*b87*b103 - 243*b87*b104 - 94.5*b87*b105 - 382.5*b88*b89 - 310.5*b88*b90
     - 315*b88*b91 - 90*b88*b92 - 337.5*b88*b93 - 360*b88*b94 - 54*b88*b95 - 
    369*b88*b96 - 45*b88*b97 - 445.5*b88*b98 - 18*b88*b99 - 58.5*b88*b100 - 378
    *b88*b101 - 441*b88*b102 - 121.5*b88*b103 - 364.5*b88*b104 - 265.5*b88*b105
     - 211.5*b89*b90 - 373.5*b89*b91 - 238.5*b89*b92 - 360*b89*b93 - 157.5*b89*
    b95 - 405*b89*b96 - 441*b89*b97 - 319.5*b89*b98 - 373.5*b89*b99 - 243*b89*
    b100 - 387*b89*b101 - 400.5*b89*b102 - 121.5*b89*b103 - 319.5*b89*b104 - 45
    *b89*b105 - 441*b90*b91 - 409.5*b90*b92 - 387*b90*b93 - 135*b90*b94 - 247.5
    *b90*b95 - 90*b90*b96 - 180*b90*b97 - 31.5*b90*b98 - 342*b90*b99 - 238.5*
    b90*b100 - 409.5*b90*b101 - 337.5*b90*b102 - 148.5*b90*b103 - 324*b90*b104
     - 153*b90*b105 - 144*b91*b92 - 31.5*b91*b93 - 391.5*b91*b94 - 288*b91*b95
     - 31.5*b91*b96 - 333*b91*b97 - 243*b91*b98 - 261*b91*b99 - 436.5*b91*b100
     - 400.5*b91*b101 - 54*b91*b102 - 373.5*b91*b103 - 355.5*b91*b104 - 175.5*
    b91*b105 - 31.5*b92*b93 - 400.5*b92*b94 - 400.5*b92*b95 - 441*b92*b96 - 
    121.5*b92*b97 - 85.5*b92*b98 - 27*b92*b99 - 270*b92*b101 - 58.5*b92*b102 - 
    342*b92*b103 - 292.5*b92*b104 - 252*b92*b105 - 229.5*b93*b94 - 225*b93*b95
     - 126*b93*b96 - 166.5*b93*b97 - 153*b93*b98 - 391.5*b93*b99 - 108*b93*b100
     - 441*b93*b101 - 211.5*b93*b102 - 225*b93*b103 - 22.5*b93*b104 - 256.5*b93
    *b105 - 216*b94*b95 - 423*b94*b96 - 94.5*b94*b97 - 139.5*b94*b98 - 112.5*
    b94*b99 - 54*b94*b100 - 171*b94*b101 - 67.5*b94*b102 - 9*b94*b103 - 400.5*
    b94*b104 - 423*b94*b105 - 94.5*b95*b96 - 427.5*b95*b97 - 423*b95*b98 - 
    148.5*b95*b99 - 36*b95*b100 - 319.5*b95*b101 - 445.5*b95*b102 - 288*b95*
    b103 - 333*b95*b104 - 4.5*b95*b105 - 198*b96*b97 - 54*b96*b98 - 162*b96*b99
     - 373.5*b96*b100 - 396*b96*b101 - 153*b96*b102 - 135*b96*b103 - 175.5*b96*
    b104 - 175.5*b96*b105 - 175.5*b97*b98 - 391.5*b97*b99 - 387*b97*b100 - 270*
    b97*b101 - 315*b97*b102 - 49.5*b97*b103 - 328.5*b97*b104 - 40.5*b97*b105 - 
    351*b98*b99 - 337.5*b98*b100 - 225*b98*b101 - 328.5*b98*b102 - 216*b98*b103
     - 202.5*b98*b104 - 85.5*b98*b105 - 369*b99*b100 - 22.5*b99*b101 - 405*b99*
    b102 - 148.5*b99*b103 - 94.5*b99*b104 - 76.5*b99*b105 - 153*b100*b101 - 
    292.5*b100*b102 - 364.5*b100*b103 - 315*b100*b104 - 310.5*b101*b102 - 256.5
    *b101*b103 - 373.5*b101*b104 - 270*b101*b105 - 432*b102*b103 - 99*b102*b104
     - 445.5*b102*b105 - 153*b103*b104 - 373.5*b103*b105 - 99*b104*b105 - 382.5
    *b106*b107 - 310.5*b106*b108 - 315*b106*b109 - 90*b106*b110 - 337.5*b106*
    b111 - 360*b106*b112 - 54*b106*b113 - 369*b106*b114 - 45*b106*b115 - 445.5*
    b106*b116 - 18*b106*b117 - 58.5*b106*b118 - 378*b106*b119 - 441*b106*b120
     - 121.5*b106*b121 - 364.5*b106*b122 - 265.5*b106*b123 - 211.5*b107*b108 - 
    373.5*b107*b109 - 238.5*b107*b110 - 360*b107*b111 - 157.5*b107*b113 - 405*
    b107*b114 - 441*b107*b115 - 319.5*b107*b116 - 373.5*b107*b117 - 243*b107*
    b118 - 387*b107*b119 - 400.5*b107*b120 - 121.5*b107*b121 - 319.5*b107*b122
     - 45*b107*b123 - 441*b108*b109 - 409.5*b108*b110 - 387*b108*b111 - 135*
    b108*b112 - 247.5*b108*b113 - 90*b108*b114 - 180*b108*b115 - 31.5*b108*b116
     - 342*b108*b117 - 238.5*b108*b118 - 409.5*b108*b119 - 337.5*b108*b120 - 
    148.5*b108*b121 - 324*b108*b122 - 153*b108*b123 - 144*b109*b110 - 31.5*b109
    *b111 - 391.5*b109*b112 - 288*b109*b113 - 31.5*b109*b114 - 333*b109*b115 - 
    243*b109*b116 - 261*b109*b117 - 436.5*b109*b118 - 400.5*b109*b119 - 54*b109
    *b120 - 373.5*b109*b121 - 355.5*b109*b122 - 175.5*b109*b123 - 31.5*b110*
    b111 - 400.5*b110*b112 - 400.5*b110*b113 - 441*b110*b114 - 121.5*b110*b115
     - 85.5*b110*b116 - 27*b110*b117 - 270*b110*b119 - 58.5*b110*b120 - 342*
    b110*b121 - 292.5*b110*b122 - 252*b110*b123 - 229.5*b111*b112 - 225*b111*
    b113 - 126*b111*b114 - 166.5*b111*b115 - 153*b111*b116 - 391.5*b111*b117 - 
    108*b111*b118 - 441*b111*b119 - 211.5*b111*b120 - 225*b111*b121 - 22.5*b111
    *b122 - 256.5*b111*b123 - 216*b112*b113 - 423*b112*b114 - 94.5*b112*b115 - 
    139.5*b112*b116 - 112.5*b112*b117 - 54*b112*b118 - 171*b112*b119 - 67.5*
    b112*b120 - 9*b112*b121 - 400.5*b112*b122 - 423*b112*b123 - 94.5*b113*b114
     - 427.5*b113*b115 - 423*b113*b116 - 148.5*b113*b117 - 36*b113*b118 - 319.5
    *b113*b119 - 445.5*b113*b120 - 288*b113*b121 - 333*b113*b122 - 4.5*b113*
    b123 - 198*b114*b115 - 54*b114*b116 - 162*b114*b117 - 373.5*b114*b118 - 396
    *b114*b119 - 153*b114*b120 - 135*b114*b121 - 175.5*b114*b122 - 175.5*b114*
    b123 - 175.5*b115*b116 - 391.5*b115*b117 - 387*b115*b118 - 270*b115*b119 - 
    315*b115*b120 - 49.5*b115*b121 - 328.5*b115*b122 - 40.5*b115*b123 - 351*
    b116*b117 - 337.5*b116*b118 - 225*b116*b119 - 328.5*b116*b120 - 216*b116*
    b121 - 202.5*b116*b122 - 85.5*b116*b123 - 369*b117*b118 - 22.5*b117*b119 - 
    405*b117*b120 - 148.5*b117*b121 - 94.5*b117*b122 - 76.5*b117*b123 - 153*
    b118*b119 - 292.5*b118*b120 - 364.5*b118*b121 - 315*b118*b122 - 310.5*b119*
    b120 - 256.5*b119*b121 - 373.5*b119*b122 - 270*b119*b123 - 432*b120*b121 - 
    99*b120*b122 - 445.5*b120*b123 - 153*b121*b122 - 373.5*b121*b123 - 99*b122*
    b123 - 211.5*b124*b125 - 373.5*b124*b126 - 238.5*b124*b127 - 360*b124*b128
     - 157.5*b124*b129 - 405*b124*b130 - 441*b124*b131 - 319.5*b124*b132 - 
    373.5*b124*b133 - 243*b124*b134 - 387*b124*b135 - 400.5*b124*b136 - 121.5*
    b124*b137 - 319.5*b124*b138 - 45*b124*b139 - 441*b125*b126 - 409.5*b125*
    b127 - 387*b125*b128 - 247.5*b125*b129 - 90*b125*b130 - 180*b125*b131 - 
    31.5*b125*b132 - 342*b125*b133 - 238.5*b125*b134 - 409.5*b125*b135 - 337.5*
    b125*b136 - 148.5*b125*b137 - 324*b125*b138 - 153*b125*b139 - 135*b125*b140
     - 144*b126*b127 - 31.5*b126*b128 - 288*b126*b129 - 31.5*b126*b130 - 333*
    b126*b131 - 243*b126*b132 - 261*b126*b133 - 436.5*b126*b134 - 400.5*b126*
    b135 - 54*b126*b136 - 373.5*b126*b137 - 355.5*b126*b138 - 175.5*b126*b139
     - 391.5*b126*b140 - 31.5*b127*b128 - 400.5*b127*b129 - 441*b127*b130 - 
    121.5*b127*b131 - 85.5*b127*b132 - 27*b127*b133 - 270*b127*b135 - 58.5*b127
    *b136 - 342*b127*b137 - 292.5*b127*b138 - 252*b127*b139 - 400.5*b127*b140
     - 225*b128*b129 - 126*b128*b130 - 166.5*b128*b131 - 153*b128*b132 - 391.5*
    b128*b133 - 108*b128*b134 - 441*b128*b135 - 211.5*b128*b136 - 225*b128*b137
     - 22.5*b128*b138 - 256.5*b128*b139 - 229.5*b128*b140 - 94.5*b129*b130 - 
    427.5*b129*b131 - 423*b129*b132 - 148.5*b129*b133 - 36*b129*b134 - 319.5*
    b129*b135 - 445.5*b129*b136 - 288*b129*b137 - 333*b129*b138 - 4.5*b129*b139
     - 216*b129*b140 - 198*b130*b131 - 54*b130*b132 - 162*b130*b133 - 373.5*
    b130*b134 - 396*b130*b135 - 153*b130*b136 - 135*b130*b137 - 175.5*b130*b138
     - 175.5*b130*b139 - 423*b130*b140 - 175.5*b131*b132 - 391.5*b131*b133 - 
    387*b131*b134 - 270*b131*b135 - 315*b131*b136 - 49.5*b131*b137 - 328.5*b131
    *b138 - 40.5*b131*b139 - 94.5*b131*b140 - 351*b132*b133 - 337.5*b132*b134
     - 225*b132*b135 - 328.5*b132*b136 - 216*b132*b137 - 202.5*b132*b138 - 85.5
    *b132*b139 - 139.5*b132*b140 - 369*b133*b134 - 22.5*b133*b135 - 405*b133*
    b136 - 148.5*b133*b137 - 94.5*b133*b138 - 76.5*b133*b139 - 112.5*b133*b140
     - 153*b134*b135 - 292.5*b134*b136 - 364.5*b134*b137 - 315*b134*b138 - 54*
    b134*b140 - 310.5*b135*b136 - 256.5*b135*b137 - 373.5*b135*b138 - 270*b135*
    b139 - 171*b135*b140 - 432*b136*b137 - 99*b136*b138 - 445.5*b136*b139 - 
    67.5*b136*b140 - 153*b137*b138 - 373.5*b137*b139 - 9*b137*b140 - 99*b138*
    b139 - 400.5*b138*b140 - 423*b139*b140 - 441*b141*b142 - 409.5*b141*b143 - 
    387*b141*b144 - 135*b141*b145 - 247.5*b141*b146 - 90*b141*b147 - 180*b141*
    b148 - 31.5*b141*b149 - 342*b141*b150 - 238.5*b141*b151 - 409.5*b141*b152
     - 337.5*b141*b153 - 148.5*b141*b154 - 324*b141*b155 - 153*b141*b156 - 144*
    b142*b143 - 31.5*b142*b144 - 391.5*b142*b145 - 288*b142*b146 - 31.5*b142*
    b147 - 333*b142*b148 - 243*b142*b149 - 261*b142*b150 - 436.5*b142*b151 - 
    400.5*b142*b152 - 54*b142*b153 - 373.5*b142*b154 - 355.5*b142*b155 - 175.5*
    b142*b156 - 31.5*b143*b144 - 400.5*b143*b145 - 400.5*b143*b146 - 441*b143*
    b147 - 121.5*b143*b148 - 85.5*b143*b149 - 27*b143*b150 - 270*b143*b152 - 
    58.5*b143*b153 - 342*b143*b154 - 292.5*b143*b155 - 252*b143*b156 - 229.5*
    b144*b145 - 225*b144*b146 - 126*b144*b147 - 166.5*b144*b148 - 153*b144*b149
     - 391.5*b144*b150 - 108*b144*b151 - 441*b144*b152 - 211.5*b144*b153 - 225*
    b144*b154 - 22.5*b144*b155 - 256.5*b144*b156 - 216*b145*b146 - 423*b145*
    b147 - 94.5*b145*b148 - 139.5*b145*b149 - 112.5*b145*b150 - 54*b145*b151 - 
    171*b145*b152 - 67.5*b145*b153 - 9*b145*b154 - 400.5*b145*b155 - 423*b145*
    b156 - 94.5*b146*b147 - 427.5*b146*b148 - 423*b146*b149 - 148.5*b146*b150
     - 36*b146*b151 - 319.5*b146*b152 - 445.5*b146*b153 - 288*b146*b154 - 333*
    b146*b155 - 4.5*b146*b156 - 198*b147*b148 - 54*b147*b149 - 162*b147*b150 - 
    373.5*b147*b151 - 396*b147*b152 - 153*b147*b153 - 135*b147*b154 - 175.5*
    b147*b155 - 175.5*b147*b156 - 175.5*b148*b149 - 391.5*b148*b150 - 387*b148*
    b151 - 270*b148*b152 - 315*b148*b153 - 49.5*b148*b154 - 328.5*b148*b155 - 
    40.5*b148*b156 - 351*b149*b150 - 337.5*b149*b151 - 225*b149*b152 - 328.5*
    b149*b153 - 216*b149*b154 - 202.5*b149*b155 - 85.5*b149*b156 - 369*b150*
    b151 - 22.5*b150*b152 - 405*b150*b153 - 148.5*b150*b154 - 94.5*b150*b155 - 
    76.5*b150*b156 - 153*b151*b152 - 292.5*b151*b153 - 364.5*b151*b154 - 315*
    b151*b155 - 310.5*b152*b153 - 256.5*b152*b154 - 373.5*b152*b155 - 270*b152*
    b156 - 432*b153*b154 - 99*b153*b155 - 445.5*b153*b156 - 153*b154*b155 - 
    373.5*b154*b156 - 99*b155*b156 - 144*b157*b158 - 31.5*b157*b159 - 391.5*
    b157*b160 - 288*b157*b161 - 31.5*b157*b162 - 333*b157*b163 - 243*b157*b164
     - 261*b157*b165 - 436.5*b157*b166 - 400.5*b157*b167 - 54*b157*b168 - 373.5
    *b157*b169 - 355.5*b157*b170 - 175.5*b157*b171 - 31.5*b158*b159 - 400.5*
    b158*b160 - 400.5*b158*b161 - 441*b158*b162 - 121.5*b158*b163 - 85.5*b158*
    b164 - 27*b158*b165 - 270*b158*b167 - 58.5*b158*b168 - 342*b158*b169 - 
    292.5*b158*b170 - 252*b158*b171 - 229.5*b159*b160 - 225*b159*b161 - 126*
    b159*b162 - 166.5*b159*b163 - 153*b159*b164 - 391.5*b159*b165 - 108*b159*
    b166 - 441*b159*b167 - 211.5*b159*b168 - 225*b159*b169 - 22.5*b159*b170 - 
    256.5*b159*b171 - 216*b160*b161 - 423*b160*b162 - 94.5*b160*b163 - 139.5*
    b160*b164 - 112.5*b160*b165 - 54*b160*b166 - 171*b160*b167 - 67.5*b160*b168
     - 9*b160*b169 - 400.5*b160*b170 - 423*b160*b171 - 94.5*b161*b162 - 427.5*
    b161*b163 - 423*b161*b164 - 148.5*b161*b165 - 36*b161*b166 - 319.5*b161*
    b167 - 445.5*b161*b168 - 288*b161*b169 - 333*b161*b170 - 4.5*b161*b171 - 
    198*b162*b163 - 54*b162*b164 - 162*b162*b165 - 373.5*b162*b166 - 396*b162*
    b167 - 153*b162*b168 - 135*b162*b169 - 175.5*b162*b170 - 175.5*b162*b171 - 
    175.5*b163*b164 - 391.5*b163*b165 - 387*b163*b166 - 270*b163*b167 - 315*
    b163*b168 - 49.5*b163*b169 - 328.5*b163*b170 - 40.5*b163*b171 - 351*b164*
    b165 - 337.5*b164*b166 - 225*b164*b167 - 328.5*b164*b168 - 216*b164*b169 - 
    202.5*b164*b170 - 85.5*b164*b171 - 369*b165*b166 - 22.5*b165*b167 - 405*
    b165*b168 - 148.5*b165*b169 - 94.5*b165*b170 - 76.5*b165*b171 - 153*b166*
    b167 - 292.5*b166*b168 - 364.5*b166*b169 - 315*b166*b170 - 310.5*b167*b168
     - 256.5*b167*b169 - 373.5*b167*b170 - 270*b167*b171 - 432*b168*b169 - 99*
    b168*b170 - 445.5*b168*b171 - 153*b169*b170 - 373.5*b169*b171 - 99*b170*
    b171 - 31.5*b172*b173 - 400.5*b172*b174 - 400.5*b172*b175 - 441*b172*b176
     - 121.5*b172*b177 - 85.5*b172*b178 - 27*b172*b179 - 270*b172*b180 - 58.5*
    b172*b181 - 342*b172*b182 - 292.5*b172*b183 - 252*b172*b184 - 229.5*b173*
    b174 - 225*b173*b175 - 126*b173*b176 - 166.5*b173*b177 - 153*b173*b178 - 
    391.5*b173*b179 - 441*b173*b180 - 211.5*b173*b181 - 225*b173*b182 - 22.5*
    b173*b183 - 256.5*b173*b184 - 108*b173*b185 - 216*b174*b175 - 423*b174*b176
     - 94.5*b174*b177 - 139.5*b174*b178 - 112.5*b174*b179 - 171*b174*b180 - 
    67.5*b174*b181 - 9*b174*b182 - 400.5*b174*b183 - 423*b174*b184 - 54*b174*
    b185 - 94.5*b175*b176 - 427.5*b175*b177 - 423*b175*b178 - 148.5*b175*b179
     - 319.5*b175*b180 - 445.5*b175*b181 - 288*b175*b182 - 333*b175*b183 - 4.5*
    b175*b184 - 36*b175*b185 - 198*b176*b177 - 54*b176*b178 - 162*b176*b179 - 
    396*b176*b180 - 153*b176*b181 - 135*b176*b182 - 175.5*b176*b183 - 175.5*
    b176*b184 - 373.5*b176*b185 - 175.5*b177*b178 - 391.5*b177*b179 - 270*b177*
    b180 - 315*b177*b181 - 49.5*b177*b182 - 328.5*b177*b183 - 40.5*b177*b184 - 
    387*b177*b185 - 351*b178*b179 - 225*b178*b180 - 328.5*b178*b181 - 216*b178*
    b182 - 202.5*b178*b183 - 85.5*b178*b184 - 337.5*b178*b185 - 22.5*b179*b180
     - 405*b179*b181 - 148.5*b179*b182 - 94.5*b179*b183 - 76.5*b179*b184 - 369*
    b179*b185 - 310.5*b180*b181 - 256.5*b180*b182 - 373.5*b180*b183 - 270*b180*
    b184 - 153*b180*b185 - 432*b181*b182 - 99*b181*b183 - 445.5*b181*b184 - 
    292.5*b181*b185 - 153*b182*b183 - 373.5*b182*b184 - 364.5*b182*b185 - 99*
    b183*b184 - 315*b183*b185 - 229.5*b186*b187 - 225*b186*b188 - 126*b186*b189
     - 166.5*b186*b190 - 153*b186*b191 - 391.5*b186*b192 - 108*b186*b193 - 441*
    b186*b194 - 211.5*b186*b195 - 225*b186*b196 - 22.5*b186*b197 - 256.5*b186*
    b198 - 216*b187*b188 - 423*b187*b189 - 94.5*b187*b190 - 139.5*b187*b191 - 
    112.5*b187*b192 - 54*b187*b193 - 171*b187*b194 - 67.5*b187*b195 - 9*b187*
    b196 - 400.5*b187*b197 - 423*b187*b198 - 94.5*b188*b189 - 427.5*b188*b190
     - 423*b188*b191 - 148.5*b188*b192 - 36*b188*b193 - 319.5*b188*b194 - 445.5
    *b188*b195 - 288*b188*b196 - 333*b188*b197 - 4.5*b188*b198 - 198*b189*b190
     - 54*b189*b191 - 162*b189*b192 - 373.5*b189*b193 - 396*b189*b194 - 153*
    b189*b195 - 135*b189*b196 - 175.5*b189*b197 - 175.5*b189*b198 - 175.5*b190*
    b191 - 391.5*b190*b192 - 387*b190*b193 - 270*b190*b194 - 315*b190*b195 - 
    49.5*b190*b196 - 328.5*b190*b197 - 40.5*b190*b198 - 351*b191*b192 - 337.5*
    b191*b193 - 225*b191*b194 - 328.5*b191*b195 - 216*b191*b196 - 202.5*b191*
    b197 - 85.5*b191*b198 - 369*b192*b193 - 22.5*b192*b194 - 405*b192*b195 - 
    148.5*b192*b196 - 94.5*b192*b197 - 76.5*b192*b198 - 153*b193*b194 - 292.5*
    b193*b195 - 364.5*b193*b196 - 315*b193*b197 - 310.5*b194*b195 - 256.5*b194*
    b196 - 373.5*b194*b197 - 270*b194*b198 - 432*b195*b196 - 99*b195*b197 - 
    445.5*b195*b198 - 153*b196*b197 - 373.5*b196*b198 - 99*b197*b198 - 216*b199
    *b200 - 423*b199*b201 - 94.5*b199*b202 - 139.5*b199*b203 - 112.5*b199*b204
     - 54*b199*b205 - 171*b199*b206 - 67.5*b199*b207 - 9*b199*b208 - 400.5*b199
    *b209 - 423*b199*b210 - 94.5*b200*b201 - 427.5*b200*b202 - 423*b200*b203 - 
    148.5*b200*b204 - 36*b200*b205 - 319.5*b200*b206 - 445.5*b200*b207 - 288*
    b200*b208 - 333*b200*b209 - 4.5*b200*b210 - 198*b201*b202 - 54*b201*b203 - 
    162*b201*b204 - 373.5*b201*b205 - 396*b201*b206 - 153*b201*b207 - 135*b201*
    b208 - 175.5*b201*b209 - 175.5*b201*b210 - 175.5*b202*b203 - 391.5*b202*
    b204 - 387*b202*b205 - 270*b202*b206 - 315*b202*b207 - 49.5*b202*b208 - 
    328.5*b202*b209 - 40.5*b202*b210 - 351*b203*b204 - 337.5*b203*b205 - 225*
    b203*b206 - 328.5*b203*b207 - 216*b203*b208 - 202.5*b203*b209 - 85.5*b203*
    b210 - 369*b204*b205 - 22.5*b204*b206 - 405*b204*b207 - 148.5*b204*b208 - 
    94.5*b204*b209 - 76.5*b204*b210 - 153*b205*b206 - 292.5*b205*b207 - 364.5*
    b205*b208 - 315*b205*b209 - 310.5*b206*b207 - 256.5*b206*b208 - 373.5*b206*
    b209 - 270*b206*b210 - 432*b207*b208 - 99*b207*b209 - 445.5*b207*b210 - 153
    *b208*b209 - 373.5*b208*b210 - 99*b209*b210 - 94.5*b211*b212 - 427.5*b211*
    b213 - 423*b211*b214 - 148.5*b211*b215 - 36*b211*b216 - 319.5*b211*b217 - 
    445.5*b211*b218 - 288*b211*b219 - 333*b211*b220 - 4.5*b211*b221 - 198*b212*
    b213 - 54*b212*b214 - 162*b212*b215 - 373.5*b212*b216 - 396*b212*b217 - 153
    *b212*b218 - 135*b212*b219 - 175.5*b212*b220 - 175.5*b212*b221 - 175.5*b213
    *b214 - 391.5*b213*b215 - 387*b213*b216 - 270*b213*b217 - 315*b213*b218 - 
    49.5*b213*b219 - 328.5*b213*b220 - 40.5*b213*b221 - 351*b214*b215 - 337.5*
    b214*b216 - 225*b214*b217 - 328.5*b214*b218 - 216*b214*b219 - 202.5*b214*
    b220 - 85.5*b214*b221 - 369*b215*b216 - 22.5*b215*b217 - 405*b215*b218 - 
    148.5*b215*b219 - 94.5*b215*b220 - 76.5*b215*b221 - 153*b216*b217 - 292.5*
    b216*b218 - 364.5*b216*b219 - 315*b216*b220 - 310.5*b217*b218 - 256.5*b217*
    b219 - 373.5*b217*b220 - 270*b217*b221 - 432*b218*b219 - 99*b218*b220 - 
    445.5*b218*b221 - 153*b219*b220 - 373.5*b219*b221 - 99*b220*b221 - 198*b222
    *b223 - 54*b222*b224 - 162*b222*b225 - 373.5*b222*b226 - 396*b222*b227 - 
    153*b222*b228 - 135*b222*b229 - 175.5*b222*b230 - 175.5*b222*b231 - 175.5*
    b223*b224 - 391.5*b223*b225 - 387*b223*b226 - 270*b223*b227 - 315*b223*b228
     - 49.5*b223*b229 - 328.5*b223*b230 - 40.5*b223*b231 - 351*b224*b225 - 
    337.5*b224*b226 - 225*b224*b227 - 328.5*b224*b228 - 216*b224*b229 - 202.5*
    b224*b230 - 85.5*b224*b231 - 369*b225*b226 - 22.5*b225*b227 - 405*b225*b228
     - 148.5*b225*b229 - 94.5*b225*b230 - 76.5*b225*b231 - 153*b226*b227 - 
    292.5*b226*b228 - 364.5*b226*b229 - 315*b226*b230 - 310.5*b227*b228 - 256.5
    *b227*b229 - 373.5*b227*b230 - 270*b227*b231 - 432*b228*b229 - 99*b228*b230
     - 445.5*b228*b231 - 153*b229*b230 - 373.5*b229*b231 - 99*b230*b231 - 175.5
    *b232*b233 - 391.5*b232*b234 - 387*b232*b235 - 270*b232*b236 - 315*b232*
    b237 - 49.5*b232*b238 - 328.5*b232*b239 - 40.5*b232*b240 - 351*b233*b234 - 
    337.5*b233*b235 - 225*b233*b236 - 328.5*b233*b237 - 216*b233*b238 - 202.5*
    b233*b239 - 85.5*b233*b240 - 369*b234*b235 - 22.5*b234*b236 - 405*b234*b237
     - 148.5*b234*b238 - 94.5*b234*b239 - 76.5*b234*b240 - 153*b235*b236 - 
    292.5*b235*b237 - 364.5*b235*b238 - 315*b235*b239 - 310.5*b236*b237 - 256.5
    *b236*b238 - 373.5*b236*b239 - 270*b236*b240 - 432*b237*b238 - 99*b237*b239
     - 445.5*b237*b240 - 153*b238*b239 - 373.5*b238*b240 - 99*b239*b240 - 351*
    b241*b242 - 337.5*b241*b243 - 225*b241*b244 - 328.5*b241*b245 - 216*b241*
    b246 - 202.5*b241*b247 - 85.5*b241*b248 - 369*b242*b243 - 22.5*b242*b244 - 
    405*b242*b245 - 148.5*b242*b246 - 94.5*b242*b247 - 76.5*b242*b248 - 153*
    b243*b244 - 292.5*b243*b245 - 364.5*b243*b246 - 315*b243*b247 - 310.5*b244*
    b245 - 256.5*b244*b246 - 373.5*b244*b247 - 270*b244*b248 - 432*b245*b246 - 
    99*b245*b247 - 445.5*b245*b248 - 153*b246*b247 - 373.5*b246*b248 - 99*b247*
    b248 - 369*b249*b250 - 22.5*b249*b251 - 405*b249*b252 - 148.5*b249*b253 - 
    94.5*b249*b254 - 76.5*b249*b255 - 153*b250*b251 - 292.5*b250*b252 - 364.5*
    b250*b253 - 315*b250*b254 - 310.5*b251*b252 - 256.5*b251*b253 - 373.5*b251*
    b254 - 270*b251*b255 - 432*b252*b253 - 99*b252*b254 - 445.5*b252*b255 - 153
    *b253*b254 - 373.5*b253*b255 - 99*b254*b255 - 153*b256*b257 - 292.5*b256*
    b258 - 364.5*b256*b259 - 315*b256*b260 - 310.5*b257*b258 - 256.5*b257*b259
     - 373.5*b257*b260 - 270*b257*b261 - 432*b258*b259 - 99*b258*b260 - 445.5*
    b258*b261 - 153*b259*b260 - 373.5*b259*b261 - 99*b260*b261 - 310.5*b262*
    b263 - 256.5*b262*b264 - 373.5*b262*b265 - 270*b262*b266 - 432*b263*b264 - 
    99*b263*b265 - 445.5*b263*b266 - 153*b264*b265 - 373.5*b264*b266 - 99*b265*
    b266 - 432*b267*b268 - 99*b267*b269 - 445.5*b267*b270 - 153*b268*b269 - 
    373.5*b268*b270 - 99*b269*b270 - 153*b271*b272 - 373.5*b271*b273 - 99*b272*
    b273 - 99*b274*b275;

subject to

e2:    b2 + b24 = 1;

e3:    b3 + b25 + b46 = 1;

e4:    b4 + b26 + b47 + b67 = 1;

e5:    b5 + b27 + b48 + b68 + b87 = 1;

e6:    b6 + b28 + b49 + b69 + b88 + b106 = 1;

e7:    b7 + b29 + b50 + b70 + b89 + b107 + b124 = 1;

e8:    b8 + b30 + b51 + b71 + b90 + b108 + b125 + b141 = 1;

e9:    b9 + b31 + b52 + b72 + b91 + b109 + b126 + b142 + b157 = 1;

e10:    b10 + b32 + b53 + b73 + b92 + b110 + b127 + b143 + b158 + b172 = 1;

e11:    b11 + b33 + b54 + b74 + b93 + b111 + b128 + b144 + b159 + b173 + b186
      = 1;

e12:    b12 + b34 + b55 + b75 + b94 + b112 + b140 + b145 + b160 + b174 + b187
      + b199 = 1;

e13:    b13 + b35 + b56 + b76 + b95 + b113 + b129 + b146 + b161 + b175 + b188
      + b200 + b211 = 1;

e14:    b14 + b36 + b57 + b77 + b96 + b114 + b130 + b147 + b162 + b176 + b189
      + b201 + b212 + b222 = 1;

e15:    b15 + b37 + b58 + b78 + b97 + b115 + b131 + b148 + b163 + b177 + b190
      + b202 + b213 + b223 + b232 = 1;

e16:    b16 + b38 + b59 + b79 + b98 + b116 + b132 + b149 + b164 + b178 + b191
      + b203 + b214 + b224 + b233 + b241 = 1;

e17:    b17 + b39 + b60 + b80 + b99 + b117 + b133 + b150 + b165 + b179 + b192
      + b204 + b215 + b225 + b234 + b242 + b249 = 1;

e18:    b18 + b40 + b61 + b81 + b100 + b118 + b134 + b151 + b166 + b185 + b193
      + b205 + b216 + b226 + b235 + b243 + b250 + b256 = 1;

e19:    b19 + b41 + b62 + b82 + b101 + b119 + b135 + b152 + b167 + b180 + b194
      + b206 + b217 + b227 + b236 + b244 + b251 + b257 + b262 = 1;

e20:    b20 + b42 + b63 + b83 + b102 + b120 + b136 + b153 + b168 + b181 + b195
      + b207 + b218 + b228 + b237 + b245 + b252 + b258 + b263 + b267 = 1;

e21:    b21 + b43 + b64 + b84 + b103 + b121 + b137 + b154 + b169 + b182 + b196
      + b208 + b219 + b229 + b238 + b246 + b253 + b259 + b264 + b268 + b271
      = 1;

e22:    b22 + b44 + b65 + b85 + b104 + b122 + b138 + b155 + b170 + b183 + b197
      + b209 + b220 + b230 + b239 + b247 + b254 + b260 + b265 + b269 + b272
      + b274 = 1;

e23:    b23 + b45 + b66 + b86 + b105 + b123 + b139 + b156 + b171 + b184 + b198
      + b210 + b221 + b231 + b240 + b248 + b255 + b261 + b266 + b270 + b273
      + b275 + b276 = 1;

e24:  - b24 + b25 <= 0;

e25:  - b24 + b26 <= 0;

e26:  - b24 + b27 <= 0;

e27:  - b24 + b28 <= 0;

e28:  - b24 + b29 <= 0;

e29:  - b24 + b30 <= 0;

e30:  - b24 + b31 <= 0;

e31:  - b24 + b32 <= 0;

e32:  - b24 + b33 <= 0;

e33:  - b24 + b34 <= 0;

e34:  - b24 + b35 <= 0;

e35:  - b24 + b36 <= 0;

e36:  - b24 + b37 <= 0;

e37:  - b24 + b38 <= 0;

e38:  - b24 + b39 <= 0;

e39:  - b24 + b40 <= 0;

e40:  - b24 + b41 <= 0;

e41:  - b24 + b42 <= 0;

e42:  - b24 + b43 <= 0;

e43:  - b24 + b44 <= 0;

e44:  - b24 + b45 <= 0;

e45:  - b46 + b47 <= 0;

e46:  - b46 + b48 <= 0;

e47:  - b46 + b49 <= 0;

e48:  - b46 + b50 <= 0;

e49:  - b46 + b51 <= 0;

e50:  - b46 + b52 <= 0;

e51:  - b46 + b53 <= 0;

e52:  - b46 + b54 <= 0;

e53:  - b46 + b55 <= 0;

e54:  - b46 + b56 <= 0;

e55:  - b46 + b57 <= 0;

e56:  - b46 + b58 <= 0;

e57:  - b46 + b59 <= 0;

e58:  - b46 + b60 <= 0;

e59:  - b46 + b61 <= 0;

e60:  - b46 + b62 <= 0;

e61:  - b46 + b63 <= 0;

e62:  - b46 + b64 <= 0;

e63:  - b46 + b65 <= 0;

e64:  - b46 + b66 <= 0;

e65:  - b67 + b68 <= 0;

e66:  - b67 + b69 <= 0;

e67:  - b67 + b70 <= 0;

e68:  - b67 + b71 <= 0;

e69:  - b67 + b72 <= 0;

e70:  - b67 + b73 <= 0;

e71:  - b67 + b74 <= 0;

e72:  - b67 + b75 <= 0;

e73:  - b67 + b76 <= 0;

e74:  - b67 + b77 <= 0;

e75:  - b67 + b78 <= 0;

e76:  - b67 + b79 <= 0;

e77:  - b67 + b80 <= 0;

e78:  - b67 + b81 <= 0;

e79:  - b67 + b82 <= 0;

e80:  - b67 + b83 <= 0;

e81:  - b67 + b84 <= 0;

e82:  - b67 + b85 <= 0;

e83:  - b67 + b86 <= 0;

e84:  - b87 + b88 <= 0;

e85:  - b87 + b89 <= 0;

e86:  - b87 + b90 <= 0;

e87:  - b87 + b91 <= 0;

e88:  - b87 + b92 <= 0;

e89:  - b87 + b93 <= 0;

e90:  - b87 + b94 <= 0;

e91:  - b87 + b95 <= 0;

e92:  - b87 + b96 <= 0;

e93:  - b87 + b97 <= 0;

e94:  - b87 + b98 <= 0;

e95:  - b87 + b99 <= 0;

e96:  - b87 + b100 <= 0;

e97:  - b87 + b101 <= 0;

e98:  - b87 + b102 <= 0;

e99:  - b87 + b103 <= 0;

e100:  - b87 + b104 <= 0;

e101:  - b87 + b105 <= 0;

e102:  - b106 + b107 <= 0;

e103:  - b106 + b108 <= 0;

e104:  - b106 + b109 <= 0;

e105:  - b106 + b110 <= 0;

e106:  - b106 + b111 <= 0;

e107:  - b106 + b112 <= 0;

e108:  - b106 + b113 <= 0;

e109:  - b106 + b114 <= 0;

e110:  - b106 + b115 <= 0;

e111:  - b106 + b116 <= 0;

e112:  - b106 + b117 <= 0;

e113:  - b106 + b118 <= 0;

e114:  - b106 + b119 <= 0;

e115:  - b106 + b120 <= 0;

e116:  - b106 + b121 <= 0;

e117:  - b106 + b122 <= 0;

e118:  - b106 + b123 <= 0;

e119:  - b124 + b125 <= 0;

e120:  - b124 + b126 <= 0;

e121:  - b124 + b127 <= 0;

e122:  - b124 + b128 <= 0;

e123:  - b124 + b140 <= 0;

e124:  - b124 + b129 <= 0;

e125:  - b124 + b130 <= 0;

e126:  - b124 + b131 <= 0;

e127:  - b124 + b132 <= 0;

e128:  - b124 + b133 <= 0;

e129:  - b124 + b134 <= 0;

e130:  - b124 + b135 <= 0;

e131:  - b124 + b136 <= 0;

e132:  - b124 + b137 <= 0;

e133:  - b124 + b138 <= 0;

e134:  - b124 + b139 <= 0;

e135:  - b141 + b142 <= 0;

e136:  - b141 + b143 <= 0;

e137:  - b141 + b144 <= 0;

e138:  - b141 + b145 <= 0;

e139:  - b141 + b146 <= 0;

e140:  - b141 + b147 <= 0;

e141:  - b141 + b148 <= 0;

e142:  - b141 + b149 <= 0;

e143:  - b141 + b150 <= 0;

e144:  - b141 + b151 <= 0;

e145:  - b141 + b152 <= 0;

e146:  - b141 + b153 <= 0;

e147:  - b141 + b154 <= 0;

e148:  - b141 + b155 <= 0;

e149:  - b141 + b156 <= 0;

e150:  - b157 + b158 <= 0;

e151:  - b157 + b159 <= 0;

e152:  - b157 + b160 <= 0;

e153:  - b157 + b161 <= 0;

e154:  - b157 + b162 <= 0;

e155:  - b157 + b163 <= 0;

e156:  - b157 + b164 <= 0;

e157:  - b157 + b165 <= 0;

e158:  - b157 + b166 <= 0;

e159:  - b157 + b167 <= 0;

e160:  - b157 + b168 <= 0;

e161:  - b157 + b169 <= 0;

e162:  - b157 + b170 <= 0;

e163:  - b157 + b171 <= 0;

e164:  - b172 + b173 <= 0;

e165:  - b172 + b174 <= 0;

e166:  - b172 + b175 <= 0;

e167:  - b172 + b176 <= 0;

e168:  - b172 + b177 <= 0;

e169:  - b172 + b178 <= 0;

e170:  - b172 + b179 <= 0;

e171:  - b172 + b185 <= 0;

e172:  - b172 + b180 <= 0;

e173:  - b172 + b181 <= 0;

e174:  - b172 + b182 <= 0;

e175:  - b172 + b183 <= 0;

e176:  - b172 + b184 <= 0;

e177:  - b186 + b187 <= 0;

e178:  - b186 + b188 <= 0;

e179:  - b186 + b189 <= 0;

e180:  - b186 + b190 <= 0;

e181:  - b186 + b191 <= 0;

e182:  - b186 + b192 <= 0;

e183:  - b186 + b193 <= 0;

e184:  - b186 + b194 <= 0;

e185:  - b186 + b195 <= 0;

e186:  - b186 + b196 <= 0;

e187:  - b186 + b197 <= 0;

e188:  - b186 + b198 <= 0;

e189:  - b199 + b200 <= 0;

e190:  - b199 + b201 <= 0;

e191:  - b199 + b202 <= 0;

e192:  - b199 + b203 <= 0;

e193:  - b199 + b204 <= 0;

e194:  - b199 + b205 <= 0;

e195:  - b199 + b206 <= 0;

e196:  - b199 + b207 <= 0;

e197:  - b199 + b208 <= 0;

e198:  - b199 + b209 <= 0;

e199:  - b199 + b210 <= 0;

e200:  - b211 + b212 <= 0;

e201:  - b211 + b213 <= 0;

e202:  - b211 + b214 <= 0;

e203:  - b211 + b215 <= 0;

e204:  - b211 + b216 <= 0;

e205:  - b211 + b217 <= 0;

e206:  - b211 + b218 <= 0;

e207:  - b211 + b219 <= 0;

e208:  - b211 + b220 <= 0;

e209:  - b211 + b221 <= 0;

e210:  - b222 + b223 <= 0;

e211:  - b222 + b224 <= 0;

e212:  - b222 + b225 <= 0;

e213:  - b222 + b226 <= 0;

e214:  - b222 + b227 <= 0;

e215:  - b222 + b228 <= 0;

e216:  - b222 + b229 <= 0;

e217:  - b222 + b230 <= 0;

e218:  - b222 + b231 <= 0;

e219:  - b232 + b233 <= 0;

e220:  - b232 + b234 <= 0;

e221:  - b232 + b235 <= 0;

e222:  - b232 + b236 <= 0;

e223:  - b232 + b237 <= 0;

e224:  - b232 + b238 <= 0;

e225:  - b232 + b239 <= 0;

e226:  - b232 + b240 <= 0;

e227:  - b241 + b242 <= 0;

e228:  - b241 + b243 <= 0;

e229:  - b241 + b244 <= 0;

e230:  - b241 + b245 <= 0;

e231:  - b241 + b246 <= 0;

e232:  - b241 + b247 <= 0;

e233:  - b241 + b248 <= 0;

e234:  - b249 + b250 <= 0;

e235:  - b249 + b251 <= 0;

e236:  - b249 + b252 <= 0;

e237:  - b249 + b253 <= 0;

e238:  - b249 + b254 <= 0;

e239:  - b249 + b255 <= 0;

e240:  - b256 + b257 <= 0;

e241:  - b256 + b258 <= 0;

e242:  - b256 + b259 <= 0;

e243:  - b256 + b260 <= 0;

e244:  - b256 + b261 <= 0;

e245:  - b262 + b263 <= 0;

e246:  - b262 + b264 <= 0;

e247:  - b262 + b265 <= 0;

e248:  - b262 + b266 <= 0;

e249:  - b267 + b268 <= 0;

e250:  - b267 + b269 <= 0;

e251:  - b267 + b270 <= 0;

e252:  - b271 + b272 <= 0;

e253:  - b271 + b273 <= 0;

e254:  - b274 + b275 <= 0;

e255: 4225.5*b2 - 301.5*b3*b2 + 4243.5*b3 - 202.5*b4*b2 + 4689*b4 - 418.5*b5*b2
       + 4837.5*b5 - 418.5*b6*b2 + 5548.5*b6 - 283.5*b7*b2 + 5440.5*b7 - 36*b8*
      b2 + 4945.5*b8 - 234*b9*b2 + 5710.5*b9 - 243*b10*b2 + 4338*b10 - 288*b11*
      b2 + 4522.5*b11 - 108*b12*b2 + 4081.5*b12 - 63*b13*b2 + 5242.5*b13 - 18*
      b14*b2 + 4531.5*b14 - 85.5*b15*b2 + 4959*b15 - 319.5*b16*b2 + 4675.5*b16
       - 126*b17*b2 + 4698*b17 - 58.5*b18*b2 + 4599*b18 - 202.5*b19*b2 + 6295.5
      *b19 - 234*b20*b2 + 5481*b20 - 355.5*b21*b2 + 5098.5*b21 - 49.5*b22*b2 + 
      4900.5*b22 - 180*b23*b2 + 3712.5*b23 - 54*b4*b3 - 256.5*b5*b3 - 216*b6*b3
       - 76.5*b7*b3 - 193.5*b8*b3 - 279*b9*b3 - 108*b10*b3 - 202.5*b11*b3 - 
      94.5*b12*b3 - 270*b13*b3 - 54*b14*b3 - 297*b15*b3 - 238.5*b16*b3 - 22.5*
      b17*b3 - 364.5*b18*b3 - 274.5*b19*b3 - 45*b20*b3 - 396*b21*b3 - 346.5*b22
      *b3 - 153*b23*b3 - 9*b5*b4 - 369*b6*b4 - 238.5*b7*b4 - 117*b8*b4 - 279*b9
      *b4 - 81*b10*b4 - 319.5*b11*b4 - 63*b12*b4 - 436.5*b13*b4 - 369*b14*b4 - 
      243*b15*b4 - 40.5*b16*b4 - 414*b17*b4 - 247.5*b18*b4 - 351*b19*b4 - 391.5
      *b20*b4 - 310.5*b21*b4 - 9*b22*b4 - 144*b23*b4 - 189*b6*b5 - 63*b7*b5 - 
      202.5*b8*b5 - 270*b9*b5 - 301.5*b10*b5 - 9*b11*b5 - 189*b12*b5 - 364.5*
      b13*b5 - 288*b14*b5 - 369*b15*b5 - 261*b16*b5 - 441*b17*b5 - 162*b18*b5
       - 414*b19*b5 - 13.5*b20*b5 - 279*b21*b5 - 243*b22*b5 - 94.5*b23*b5 - 
      382.5*b7*b6 - 310.5*b8*b6 - 315*b9*b6 - 90*b10*b6 - 337.5*b11*b6 - 360*
      b12*b6 - 54*b13*b6 - 369*b14*b6 - 45*b15*b6 - 445.5*b16*b6 - 18*b17*b6 - 
      58.5*b18*b6 - 378*b19*b6 - 441*b20*b6 - 121.5*b21*b6 - 364.5*b22*b6 - 
      265.5*b23*b6 - 211.5*b8*b7 - 373.5*b9*b7 - 238.5*b10*b7 - 360*b11*b7 - 
      157.5*b13*b7 - 405*b14*b7 - 441*b15*b7 - 319.5*b16*b7 - 373.5*b17*b7 - 
      243*b18*b7 - 387*b19*b7 - 400.5*b20*b7 - 121.5*b21*b7 - 319.5*b22*b7 - 45
      *b23*b7 - 441*b9*b8 - 409.5*b10*b8 - 387*b11*b8 - 135*b12*b8 - 247.5*b13*
      b8 - 90*b14*b8 - 180*b15*b8 - 31.5*b16*b8 - 342*b17*b8 - 238.5*b18*b8 - 
      409.5*b19*b8 - 337.5*b20*b8 - 148.5*b21*b8 - 324*b22*b8 - 153*b23*b8 - 
      144*b10*b9 - 31.5*b11*b9 - 391.5*b12*b9 - 288*b13*b9 - 31.5*b14*b9 - 333*
      b15*b9 - 243*b16*b9 - 261*b17*b9 - 436.5*b18*b9 - 400.5*b19*b9 - 54*b20*
      b9 - 373.5*b21*b9 - 355.5*b22*b9 - 175.5*b23*b9 - 31.5*b11*b10 - 400.5*
      b12*b10 - 400.5*b13*b10 - 441*b14*b10 - 121.5*b15*b10 - 85.5*b16*b10 - 27
      *b17*b10 - 270*b19*b10 - 58.5*b20*b10 - 342*b21*b10 - 292.5*b22*b10 - 252
      *b23*b10 - 229.5*b12*b11 - 225*b13*b11 - 126*b14*b11 - 166.5*b15*b11 - 
      153*b16*b11 - 391.5*b17*b11 - 108*b18*b11 - 441*b19*b11 - 211.5*b20*b11
       - 225*b21*b11 - 22.5*b22*b11 - 256.5*b23*b11 - 216*b13*b12 - 423*b14*b12
       - 94.5*b15*b12 - 139.5*b16*b12 - 112.5*b17*b12 - 54*b18*b12 - 171*b19*
      b12 - 67.5*b20*b12 - 9*b21*b12 - 400.5*b22*b12 - 423*b23*b12 - 94.5*b14*
      b13 - 427.5*b15*b13 - 423*b16*b13 - 148.5*b17*b13 - 36*b18*b13 - 319.5*
      b19*b13 - 445.5*b20*b13 - 288*b21*b13 - 333*b22*b13 - 4.5*b23*b13 - 198*
      b15*b14 - 54*b16*b14 - 162*b17*b14 - 373.5*b18*b14 - 396*b19*b14 - 153*
      b20*b14 - 135*b21*b14 - 175.5*b22*b14 - 175.5*b23*b14 - 175.5*b16*b15 - 
      391.5*b17*b15 - 387*b18*b15 - 270*b19*b15 - 315*b20*b15 - 49.5*b21*b15 - 
      328.5*b22*b15 - 40.5*b23*b15 - 351*b17*b16 - 337.5*b18*b16 - 225*b19*b16
       - 328.5*b20*b16 - 216*b21*b16 - 202.5*b22*b16 - 85.5*b23*b16 - 369*b18*
      b17 - 22.5*b19*b17 - 405*b20*b17 - 148.5*b21*b17 - 94.5*b22*b17 - 76.5*
      b23*b17 - 153*b19*b18 - 292.5*b20*b18 - 364.5*b21*b18 - 315*b22*b18 - 
      310.5*b20*b19 - 256.5*b21*b19 - 373.5*b22*b19 - 270*b23*b19 - 432*b21*b20
       - 99*b22*b20 - 445.5*b23*b20 - 153*b22*b21 - 373.5*b23*b21 - 99*b23*b22
       <= 29265.2;

e256: (-301.5*b25*b24) - 28882.7*b24 + 4279.5*b25 - 202.5*b26*b24 + 5085*b26 - 
      418.5*b27*b24 + 5031*b27 - 418.5*b28*b24 + 5805*b28 - 283.5*b29*b24 + 
      5544*b29 - 36*b30*b24 + 5368.5*b30 - 234*b31*b24 + 5805*b31 - 243*b32*b24
       + 4662*b32 - 288*b33*b24 + 4585.5*b33 - 108*b34*b24 + 4144.5*b34 - 63*
      b35*b24 + 5634*b35 - 18*b36*b24 + 4680*b36 - 85.5*b37*b24 + 5166*b37 - 
      319.5*b38*b24 + 4711.5*b38 - 126*b39*b24 + 4716*b39 - 58.5*b40*b24 + 4752
      *b40 - 202.5*b41*b24 + 6574.5*b41 - 234*b42*b24 + 5728.5*b42 - 355.5*b43*
      b24 + 5319*b43 - 49.5*b44*b24 + 4927.5*b44 - 180*b45*b24 + 3874.5*b45 - 
      54*b26*b25 - 256.5*b27*b25 - 216*b28*b25 - 76.5*b29*b25 - 193.5*b30*b25
       - 279*b31*b25 - 108*b32*b25 - 202.5*b33*b25 - 94.5*b34*b25 - 270*b35*b25
       - 54*b36*b25 - 297*b37*b25 - 238.5*b38*b25 - 22.5*b39*b25 - 364.5*b40*
      b25 - 274.5*b41*b25 - 45*b42*b25 - 396*b43*b25 - 346.5*b44*b25 - 153*b45*
      b25 - 9*b27*b26 - 369*b28*b26 - 238.5*b29*b26 - 117*b30*b26 - 279*b31*b26
       - 81*b32*b26 - 319.5*b33*b26 - 63*b34*b26 - 436.5*b35*b26 - 369*b36*b26
       - 243*b37*b26 - 40.5*b38*b26 - 414*b39*b26 - 247.5*b40*b26 - 351*b41*b26
       - 391.5*b42*b26 - 310.5*b43*b26 - 9*b44*b26 - 144*b45*b26 - 189*b28*b27
       - 63*b29*b27 - 202.5*b30*b27 - 270*b31*b27 - 301.5*b32*b27 - 9*b33*b27
       - 189*b34*b27 - 364.5*b35*b27 - 288*b36*b27 - 369*b37*b27 - 261*b38*b27
       - 441*b39*b27 - 162*b40*b27 - 414*b41*b27 - 13.5*b42*b27 - 279*b43*b27
       - 243*b44*b27 - 94.5*b45*b27 - 382.5*b29*b28 - 310.5*b30*b28 - 315*b31*
      b28 - 90*b32*b28 - 337.5*b33*b28 - 360*b34*b28 - 54*b35*b28 - 369*b36*b28
       - 45*b37*b28 - 445.5*b38*b28 - 18*b39*b28 - 58.5*b40*b28 - 378*b41*b28
       - 441*b42*b28 - 121.5*b43*b28 - 364.5*b44*b28 - 265.5*b45*b28 - 211.5*
      b30*b29 - 373.5*b31*b29 - 238.5*b32*b29 - 360*b33*b29 - 157.5*b35*b29 - 
      405*b36*b29 - 441*b37*b29 - 319.5*b38*b29 - 373.5*b39*b29 - 243*b40*b29
       - 387*b41*b29 - 400.5*b42*b29 - 121.5*b43*b29 - 319.5*b44*b29 - 45*b45*
      b29 - 441*b31*b30 - 409.5*b32*b30 - 387*b33*b30 - 135*b34*b30 - 247.5*b35
      *b30 - 90*b36*b30 - 180*b37*b30 - 31.5*b38*b30 - 342*b39*b30 - 238.5*b40*
      b30 - 409.5*b41*b30 - 337.5*b42*b30 - 148.5*b43*b30 - 324*b44*b30 - 153*
      b45*b30 - 144*b32*b31 - 31.5*b33*b31 - 391.5*b34*b31 - 288*b35*b31 - 31.5
      *b36*b31 - 333*b37*b31 - 243*b38*b31 - 261*b39*b31 - 436.5*b40*b31 - 
      400.5*b41*b31 - 54*b42*b31 - 373.5*b43*b31 - 355.5*b44*b31 - 175.5*b45*
      b31 - 31.5*b33*b32 - 400.5*b34*b32 - 400.5*b35*b32 - 441*b36*b32 - 121.5*
      b37*b32 - 85.5*b38*b32 - 27*b39*b32 - 270*b41*b32 - 58.5*b42*b32 - 342*
      b43*b32 - 292.5*b44*b32 - 252*b45*b32 - 229.5*b34*b33 - 225*b35*b33 - 126
      *b36*b33 - 166.5*b37*b33 - 153*b38*b33 - 391.5*b39*b33 - 108*b40*b33 - 
      441*b41*b33 - 211.5*b42*b33 - 225*b43*b33 - 22.5*b44*b33 - 256.5*b45*b33
       - 216*b35*b34 - 423*b36*b34 - 94.5*b37*b34 - 139.5*b38*b34 - 112.5*b39*
      b34 - 54*b40*b34 - 171*b41*b34 - 67.5*b42*b34 - 9*b43*b34 - 400.5*b44*b34
       - 423*b45*b34 - 94.5*b36*b35 - 427.5*b37*b35 - 423*b38*b35 - 148.5*b39*
      b35 - 36*b40*b35 - 319.5*b41*b35 - 445.5*b42*b35 - 288*b43*b35 - 333*b44*
      b35 - 4.5*b45*b35 - 198*b37*b36 - 54*b38*b36 - 162*b39*b36 - 373.5*b40*
      b36 - 396*b41*b36 - 153*b42*b36 - 135*b43*b36 - 175.5*b44*b36 - 175.5*b45
      *b36 - 175.5*b38*b37 - 391.5*b39*b37 - 387*b40*b37 - 270*b41*b37 - 315*
      b42*b37 - 49.5*b43*b37 - 328.5*b44*b37 - 40.5*b45*b37 - 351*b39*b38 - 
      337.5*b40*b38 - 225*b41*b38 - 328.5*b42*b38 - 216*b43*b38 - 202.5*b44*b38
       - 85.5*b45*b38 - 369*b40*b39 - 22.5*b41*b39 - 405*b42*b39 - 148.5*b43*
      b39 - 94.5*b44*b39 - 76.5*b45*b39 - 153*b41*b40 - 292.5*b42*b40 - 364.5*
      b43*b40 - 315*b44*b40 - 310.5*b42*b41 - 256.5*b43*b41 - 373.5*b44*b41 - 
      270*b45*b41 - 432*b43*b42 - 99*b44*b42 - 445.5*b45*b42 - 153*b44*b43 - 
      373.5*b45*b43 - 99*b45*b44 <= 0;

e257: (-54*b47*b46) - 28914.2*b46 + 5085*b47 - 256.5*b48*b46 + 5031*b48 - 216*
      b49*b46 + 5805*b49 - 76.5*b50*b46 + 5544*b50 - 193.5*b51*b46 + 5368.5*b51
       - 279*b52*b46 + 5805*b52 - 108*b53*b46 + 4662*b53 - 202.5*b54*b46 + 
      4585.5*b54 - 94.5*b55*b46 + 4144.5*b55 - 270*b56*b46 + 5634*b56 - 54*b57*
      b46 + 4680*b57 - 297*b58*b46 + 5166*b58 - 238.5*b59*b46 + 4711.5*b59 - 
      22.5*b60*b46 + 4716*b60 - 364.5*b61*b46 + 4752*b61 - 274.5*b62*b46 + 
      6574.5*b62 - 45*b63*b46 + 5728.5*b63 - 396*b64*b46 + 5319*b64 - 346.5*b65
      *b46 + 4927.5*b65 - 153*b66*b46 + 3874.5*b66 - 9*b48*b47 - 369*b49*b47 - 
      238.5*b50*b47 - 117*b51*b47 - 279*b52*b47 - 81*b53*b47 - 319.5*b54*b47 - 
      63*b55*b47 - 436.5*b56*b47 - 369*b57*b47 - 243*b58*b47 - 40.5*b59*b47 - 
      414*b60*b47 - 247.5*b61*b47 - 351*b62*b47 - 391.5*b63*b47 - 310.5*b64*b47
       - 9*b65*b47 - 144*b66*b47 - 189*b49*b48 - 63*b50*b48 - 202.5*b51*b48 - 
      270*b52*b48 - 301.5*b53*b48 - 9*b54*b48 - 189*b55*b48 - 364.5*b56*b48 - 
      288*b57*b48 - 369*b58*b48 - 261*b59*b48 - 441*b60*b48 - 162*b61*b48 - 414
      *b62*b48 - 13.5*b63*b48 - 279*b64*b48 - 243*b65*b48 - 94.5*b66*b48 - 
      382.5*b50*b49 - 310.5*b51*b49 - 315*b52*b49 - 90*b53*b49 - 337.5*b54*b49
       - 360*b55*b49 - 54*b56*b49 - 369*b57*b49 - 45*b58*b49 - 445.5*b59*b49 - 
      18*b60*b49 - 58.5*b61*b49 - 378*b62*b49 - 441*b63*b49 - 121.5*b64*b49 - 
      364.5*b65*b49 - 265.5*b66*b49 - 211.5*b51*b50 - 373.5*b52*b50 - 238.5*b53
      *b50 - 360*b54*b50 - 157.5*b56*b50 - 405*b57*b50 - 441*b58*b50 - 319.5*
      b59*b50 - 373.5*b60*b50 - 243*b61*b50 - 387*b62*b50 - 400.5*b63*b50 - 
      121.5*b64*b50 - 319.5*b65*b50 - 45*b66*b50 - 441*b52*b51 - 409.5*b53*b51
       - 387*b54*b51 - 135*b55*b51 - 247.5*b56*b51 - 90*b57*b51 - 180*b58*b51
       - 31.5*b59*b51 - 342*b60*b51 - 238.5*b61*b51 - 409.5*b62*b51 - 337.5*b63
      *b51 - 148.5*b64*b51 - 324*b65*b51 - 153*b66*b51 - 144*b53*b52 - 31.5*b54
      *b52 - 391.5*b55*b52 - 288*b56*b52 - 31.5*b57*b52 - 333*b58*b52 - 243*b59
      *b52 - 261*b60*b52 - 436.5*b61*b52 - 400.5*b62*b52 - 54*b63*b52 - 373.5*
      b64*b52 - 355.5*b65*b52 - 175.5*b66*b52 - 31.5*b54*b53 - 400.5*b55*b53 - 
      400.5*b56*b53 - 441*b57*b53 - 121.5*b58*b53 - 85.5*b59*b53 - 27*b60*b53
       - 270*b62*b53 - 58.5*b63*b53 - 342*b64*b53 - 292.5*b65*b53 - 252*b66*b53
       - 229.5*b55*b54 - 225*b56*b54 - 126*b57*b54 - 166.5*b58*b54 - 153*b59*
      b54 - 391.5*b60*b54 - 108*b61*b54 - 441*b62*b54 - 211.5*b63*b54 - 225*b64
      *b54 - 22.5*b65*b54 - 256.5*b66*b54 - 216*b56*b55 - 423*b57*b55 - 94.5*
      b58*b55 - 139.5*b59*b55 - 112.5*b60*b55 - 54*b61*b55 - 171*b62*b55 - 67.5
      *b63*b55 - 9*b64*b55 - 400.5*b65*b55 - 423*b66*b55 - 94.5*b57*b56 - 427.5
      *b58*b56 - 423*b59*b56 - 148.5*b60*b56 - 36*b61*b56 - 319.5*b62*b56 - 
      445.5*b63*b56 - 288*b64*b56 - 333*b65*b56 - 4.5*b66*b56 - 198*b58*b57 - 
      54*b59*b57 - 162*b60*b57 - 373.5*b61*b57 - 396*b62*b57 - 153*b63*b57 - 
      135*b64*b57 - 175.5*b65*b57 - 175.5*b66*b57 - 175.5*b59*b58 - 391.5*b60*
      b58 - 387*b61*b58 - 270*b62*b58 - 315*b63*b58 - 49.5*b64*b58 - 328.5*b65*
      b58 - 40.5*b66*b58 - 351*b60*b59 - 337.5*b61*b59 - 225*b62*b59 - 328.5*
      b63*b59 - 216*b64*b59 - 202.5*b65*b59 - 85.5*b66*b59 - 369*b61*b60 - 22.5
      *b62*b60 - 405*b63*b60 - 148.5*b64*b60 - 94.5*b65*b60 - 76.5*b66*b60 - 
      153*b62*b61 - 292.5*b63*b61 - 364.5*b64*b61 - 315*b65*b61 - 310.5*b63*b62
       - 256.5*b64*b62 - 373.5*b65*b62 - 270*b66*b62 - 432*b64*b63 - 99*b65*b63
       - 445.5*b66*b63 - 153*b65*b64 - 373.5*b66*b64 - 99*b66*b65 <= 0;

e258: (-9*b68*b67) - 28108.7*b67 + 5031*b68 - 369*b69*b67 + 5805*b69 - 238.5*
      b70*b67 + 5544*b70 - 117*b71*b67 + 5368.5*b71 - 279*b72*b67 + 5805*b72 - 
      81*b73*b67 + 4662*b73 - 319.5*b74*b67 + 4585.5*b74 - 63*b75*b67 + 4144.5*
      b75 - 436.5*b76*b67 + 5634*b76 - 369*b77*b67 + 4680*b77 - 243*b78*b67 + 
      5166*b78 - 40.5*b79*b67 + 4711.5*b79 - 414*b80*b67 + 4716*b80 - 247.5*b81
      *b67 + 4752*b81 - 351*b82*b67 + 6574.5*b82 - 391.5*b83*b67 + 5728.5*b83
       - 310.5*b84*b67 + 5319*b84 - 9*b85*b67 + 4927.5*b85 - 144*b86*b67 + 
      3874.5*b86 - 189*b69*b68 - 63*b70*b68 - 202.5*b71*b68 - 270*b72*b68 - 
      301.5*b73*b68 - 9*b74*b68 - 189*b75*b68 - 364.5*b76*b68 - 288*b77*b68 - 
      369*b78*b68 - 261*b79*b68 - 441*b80*b68 - 162*b81*b68 - 414*b82*b68 - 
      13.5*b83*b68 - 279*b84*b68 - 243*b85*b68 - 94.5*b86*b68 - 382.5*b70*b69
       - 310.5*b71*b69 - 315*b72*b69 - 90*b73*b69 - 337.5*b74*b69 - 360*b75*b69
       - 54*b76*b69 - 369*b77*b69 - 45*b78*b69 - 445.5*b79*b69 - 18*b80*b69 - 
      58.5*b81*b69 - 378*b82*b69 - 441*b83*b69 - 121.5*b84*b69 - 364.5*b85*b69
       - 265.5*b86*b69 - 211.5*b71*b70 - 373.5*b72*b70 - 238.5*b73*b70 - 360*
      b74*b70 - 157.5*b76*b70 - 405*b77*b70 - 441*b78*b70 - 319.5*b79*b70 - 
      373.5*b80*b70 - 243*b81*b70 - 387*b82*b70 - 400.5*b83*b70 - 121.5*b84*b70
       - 319.5*b85*b70 - 45*b86*b70 - 441*b72*b71 - 409.5*b73*b71 - 387*b74*b71
       - 135*b75*b71 - 247.5*b76*b71 - 90*b77*b71 - 180*b78*b71 - 31.5*b79*b71
       - 342*b80*b71 - 238.5*b81*b71 - 409.5*b82*b71 - 337.5*b83*b71 - 148.5*
      b84*b71 - 324*b85*b71 - 153*b86*b71 - 144*b73*b72 - 31.5*b74*b72 - 391.5*
      b75*b72 - 288*b76*b72 - 31.5*b77*b72 - 333*b78*b72 - 243*b79*b72 - 261*
      b80*b72 - 436.5*b81*b72 - 400.5*b82*b72 - 54*b83*b72 - 373.5*b84*b72 - 
      355.5*b85*b72 - 175.5*b86*b72 - 31.5*b74*b73 - 400.5*b75*b73 - 400.5*b76*
      b73 - 441*b77*b73 - 121.5*b78*b73 - 85.5*b79*b73 - 27*b80*b73 - 270*b82*
      b73 - 58.5*b83*b73 - 342*b84*b73 - 292.5*b85*b73 - 252*b86*b73 - 229.5*
      b75*b74 - 225*b76*b74 - 126*b77*b74 - 166.5*b78*b74 - 153*b79*b74 - 391.5
      *b80*b74 - 108*b81*b74 - 441*b82*b74 - 211.5*b83*b74 - 225*b84*b74 - 22.5
      *b85*b74 - 256.5*b86*b74 - 216*b76*b75 - 423*b77*b75 - 94.5*b78*b75 - 
      139.5*b79*b75 - 112.5*b80*b75 - 54*b81*b75 - 171*b82*b75 - 67.5*b83*b75
       - 9*b84*b75 - 400.5*b85*b75 - 423*b86*b75 - 94.5*b77*b76 - 427.5*b78*b76
       - 423*b79*b76 - 148.5*b80*b76 - 36*b81*b76 - 319.5*b82*b76 - 445.5*b83*
      b76 - 288*b84*b76 - 333*b85*b76 - 4.5*b86*b76 - 198*b78*b77 - 54*b79*b77
       - 162*b80*b77 - 373.5*b81*b77 - 396*b82*b77 - 153*b83*b77 - 135*b84*b77
       - 175.5*b85*b77 - 175.5*b86*b77 - 175.5*b79*b78 - 391.5*b80*b78 - 387*
      b81*b78 - 270*b82*b78 - 315*b83*b78 - 49.5*b84*b78 - 328.5*b85*b78 - 40.5
      *b86*b78 - 351*b80*b79 - 337.5*b81*b79 - 225*b82*b79 - 328.5*b83*b79 - 
      216*b84*b79 - 202.5*b85*b79 - 85.5*b86*b79 - 369*b81*b80 - 22.5*b82*b80
       - 405*b83*b80 - 148.5*b84*b80 - 94.5*b85*b80 - 76.5*b86*b80 - 153*b82*
      b81 - 292.5*b83*b81 - 364.5*b84*b81 - 315*b85*b81 - 310.5*b83*b82 - 256.5
      *b84*b82 - 373.5*b85*b82 - 270*b86*b82 - 432*b84*b83 - 99*b85*b83 - 445.5
      *b86*b83 - 153*b85*b84 - 373.5*b86*b84 - 99*b86*b85 <= 0;

e259: (-189*b88*b87) - 28162.7*b87 + 5805*b88 - 63*b89*b87 + 5544*b89 - 202.5*
      b90*b87 + 5368.5*b90 - 270*b91*b87 + 5805*b91 - 301.5*b92*b87 + 4662*b92
       - 9*b93*b87 + 4585.5*b93 - 189*b94*b87 + 4144.5*b94 - 364.5*b95*b87 + 
      5634*b95 - 288*b96*b87 + 4680*b96 - 369*b97*b87 + 5166*b97 - 261*b98*b87
       + 4711.5*b98 - 441*b99*b87 + 4716*b99 - 162*b100*b87 + 4752*b100 - 414*
      b101*b87 + 6574.5*b101 - 13.5*b102*b87 + 5728.5*b102 - 279*b103*b87 + 
      5319*b103 - 243*b104*b87 + 4927.5*b104 - 94.5*b105*b87 + 3874.5*b105 - 
      382.5*b89*b88 - 310.5*b90*b88 - 315*b91*b88 - 90*b92*b88 - 337.5*b93*b88
       - 360*b94*b88 - 54*b95*b88 - 369*b96*b88 - 45*b97*b88 - 445.5*b98*b88 - 
      18*b99*b88 - 58.5*b100*b88 - 378*b101*b88 - 441*b102*b88 - 121.5*b103*b88
       - 364.5*b104*b88 - 265.5*b105*b88 - 211.5*b90*b89 - 373.5*b91*b89 - 
      238.5*b92*b89 - 360*b93*b89 - 157.5*b95*b89 - 405*b96*b89 - 441*b97*b89
       - 319.5*b98*b89 - 373.5*b99*b89 - 243*b100*b89 - 387*b101*b89 - 400.5*
      b102*b89 - 121.5*b103*b89 - 319.5*b104*b89 - 45*b105*b89 - 441*b91*b90 - 
      409.5*b92*b90 - 387*b93*b90 - 135*b94*b90 - 247.5*b95*b90 - 90*b96*b90 - 
      180*b97*b90 - 31.5*b98*b90 - 342*b99*b90 - 238.5*b100*b90 - 409.5*b101*
      b90 - 337.5*b102*b90 - 148.5*b103*b90 - 324*b104*b90 - 153*b105*b90 - 144
      *b92*b91 - 31.5*b93*b91 - 391.5*b94*b91 - 288*b95*b91 - 31.5*b96*b91 - 
      333*b97*b91 - 243*b98*b91 - 261*b99*b91 - 436.5*b100*b91 - 400.5*b101*b91
       - 54*b102*b91 - 373.5*b103*b91 - 355.5*b104*b91 - 175.5*b105*b91 - 31.5*
      b93*b92 - 400.5*b94*b92 - 400.5*b95*b92 - 441*b96*b92 - 121.5*b97*b92 - 
      85.5*b98*b92 - 27*b99*b92 - 270*b101*b92 - 58.5*b102*b92 - 342*b103*b92
       - 292.5*b104*b92 - 252*b105*b92 - 229.5*b94*b93 - 225*b95*b93 - 126*b96*
      b93 - 166.5*b97*b93 - 153*b98*b93 - 391.5*b99*b93 - 108*b100*b93 - 441*
      b101*b93 - 211.5*b102*b93 - 225*b103*b93 - 22.5*b104*b93 - 256.5*b105*b93
       - 216*b95*b94 - 423*b96*b94 - 94.5*b97*b94 - 139.5*b98*b94 - 112.5*b99*
      b94 - 54*b100*b94 - 171*b101*b94 - 67.5*b102*b94 - 9*b103*b94 - 400.5*
      b104*b94 - 423*b105*b94 - 94.5*b96*b95 - 427.5*b97*b95 - 423*b98*b95 - 
      148.5*b99*b95 - 36*b100*b95 - 319.5*b101*b95 - 445.5*b102*b95 - 288*b103*
      b95 - 333*b104*b95 - 4.5*b105*b95 - 198*b97*b96 - 54*b98*b96 - 162*b99*
      b96 - 373.5*b100*b96 - 396*b101*b96 - 153*b102*b96 - 135*b103*b96 - 175.5
      *b104*b96 - 175.5*b105*b96 - 175.5*b98*b97 - 391.5*b99*b97 - 387*b100*b97
       - 270*b101*b97 - 315*b102*b97 - 49.5*b103*b97 - 328.5*b104*b97 - 40.5*
      b105*b97 - 351*b99*b98 - 337.5*b100*b98 - 225*b101*b98 - 328.5*b102*b98
       - 216*b103*b98 - 202.5*b104*b98 - 85.5*b105*b98 - 369*b100*b99 - 22.5*
      b101*b99 - 405*b102*b99 - 148.5*b103*b99 - 94.5*b104*b99 - 76.5*b105*b99
       - 153*b101*b100 - 292.5*b102*b100 - 364.5*b103*b100 - 315*b104*b100 - 
      310.5*b102*b101 - 256.5*b103*b101 - 373.5*b104*b101 - 270*b105*b101 - 432
      *b103*b102 - 99*b104*b102 - 445.5*b105*b102 - 153*b104*b103 - 373.5*b105*
      b103 - 99*b105*b104 <= 0;

e260: (-382.5*b107*b106) - 27388.7*b106 + 5544*b107 - 310.5*b108*b106 + 5368.5*
      b108 - 315*b109*b106 + 5805*b109 - 90*b110*b106 + 4662*b110 - 337.5*b111*
      b106 + 4585.5*b111 - 360*b112*b106 + 4144.5*b112 - 54*b113*b106 + 5634*
      b113 - 369*b114*b106 + 4680*b114 - 45*b115*b106 + 5166*b115 - 445.5*b116*
      b106 + 4711.5*b116 - 18*b117*b106 + 4716*b117 - 58.5*b118*b106 + 4752*
      b118 - 378*b119*b106 + 6574.5*b119 - 441*b120*b106 + 5728.5*b120 - 121.5*
      b121*b106 + 5319*b121 - 364.5*b122*b106 + 4927.5*b122 - 265.5*b123*b106
       + 3874.5*b123 - 211.5*b108*b107 - 373.5*b109*b107 - 238.5*b110*b107 - 
      360*b111*b107 - 157.5*b113*b107 - 405*b114*b107 - 441*b115*b107 - 319.5*
      b116*b107 - 373.5*b117*b107 - 243*b118*b107 - 387*b119*b107 - 400.5*b120*
      b107 - 121.5*b121*b107 - 319.5*b122*b107 - 45*b123*b107 - 441*b109*b108
       - 409.5*b110*b108 - 387*b111*b108 - 135*b112*b108 - 247.5*b113*b108 - 90
      *b114*b108 - 180*b115*b108 - 31.5*b116*b108 - 342*b117*b108 - 238.5*b118*
      b108 - 409.5*b119*b108 - 337.5*b120*b108 - 148.5*b121*b108 - 324*b122*
      b108 - 153*b123*b108 - 144*b110*b109 - 31.5*b111*b109 - 391.5*b112*b109
       - 288*b113*b109 - 31.5*b114*b109 - 333*b115*b109 - 243*b116*b109 - 261*
      b117*b109 - 436.5*b118*b109 - 400.5*b119*b109 - 54*b120*b109 - 373.5*b121
      *b109 - 355.5*b122*b109 - 175.5*b123*b109 - 31.5*b111*b110 - 400.5*b112*
      b110 - 400.5*b113*b110 - 441*b114*b110 - 121.5*b115*b110 - 85.5*b116*b110
       - 27*b117*b110 - 270*b119*b110 - 58.5*b120*b110 - 342*b121*b110 - 292.5*
      b122*b110 - 252*b123*b110 - 229.5*b112*b111 - 225*b113*b111 - 126*b114*
      b111 - 166.5*b115*b111 - 153*b116*b111 - 391.5*b117*b111 - 108*b118*b111
       - 441*b119*b111 - 211.5*b120*b111 - 225*b121*b111 - 22.5*b122*b111 - 
      256.5*b123*b111 - 216*b113*b112 - 423*b114*b112 - 94.5*b115*b112 - 139.5*
      b116*b112 - 112.5*b117*b112 - 54*b118*b112 - 171*b119*b112 - 67.5*b120*
      b112 - 9*b121*b112 - 400.5*b122*b112 - 423*b123*b112 - 94.5*b114*b113 - 
      427.5*b115*b113 - 423*b116*b113 - 148.5*b117*b113 - 36*b118*b113 - 319.5*
      b119*b113 - 445.5*b120*b113 - 288*b121*b113 - 333*b122*b113 - 4.5*b123*
      b113 - 198*b115*b114 - 54*b116*b114 - 162*b117*b114 - 373.5*b118*b114 - 
      396*b119*b114 - 153*b120*b114 - 135*b121*b114 - 175.5*b122*b114 - 175.5*
      b123*b114 - 175.5*b116*b115 - 391.5*b117*b115 - 387*b118*b115 - 270*b119*
      b115 - 315*b120*b115 - 49.5*b121*b115 - 328.5*b122*b115 - 40.5*b123*b115
       - 351*b117*b116 - 337.5*b118*b116 - 225*b119*b116 - 328.5*b120*b116 - 
      216*b121*b116 - 202.5*b122*b116 - 85.5*b123*b116 - 369*b118*b117 - 22.5*
      b119*b117 - 405*b120*b117 - 148.5*b121*b117 - 94.5*b122*b117 - 76.5*b123*
      b117 - 153*b119*b118 - 292.5*b120*b118 - 364.5*b121*b118 - 315*b122*b118
       - 310.5*b120*b119 - 256.5*b121*b119 - 373.5*b122*b119 - 270*b123*b119 - 
      432*b121*b120 - 99*b122*b120 - 445.5*b123*b120 - 153*b122*b121 - 373.5*
      b123*b121 - 99*b123*b122 <= 0;

e261: (-211.5*b125*b124) - 27649.7*b124 + 5368.5*b125 - 373.5*b126*b124 + 5805*
      b126 - 238.5*b127*b124 + 4662*b127 - 360*b128*b124 + 4585.5*b128 - 157.5*
      b129*b124 + 5634*b129 - 405*b130*b124 + 4680*b130 - 441*b131*b124 + 5166*
      b131 - 319.5*b132*b124 + 4711.5*b132 - 373.5*b133*b124 + 4716*b133 - 243*
      b134*b124 + 4752*b134 - 387*b135*b124 + 6574.5*b135 - 400.5*b136*b124 + 
      5728.5*b136 - 121.5*b137*b124 + 5319*b137 - 319.5*b138*b124 + 4927.5*b138
       - 45*b139*b124 + 3874.5*b139 - 441*b126*b125 - 409.5*b127*b125 - 387*
      b128*b125 - 247.5*b129*b125 - 90*b130*b125 - 180*b131*b125 - 31.5*b132*
      b125 - 342*b133*b125 - 238.5*b134*b125 - 409.5*b135*b125 - 337.5*b136*
      b125 - 148.5*b137*b125 - 324*b138*b125 - 153*b139*b125 - 135*b140*b125 + 
      4144.5*b140 - 144*b127*b126 - 31.5*b128*b126 - 288*b129*b126 - 31.5*b130*
      b126 - 333*b131*b126 - 243*b132*b126 - 261*b133*b126 - 436.5*b134*b126 - 
      400.5*b135*b126 - 54*b136*b126 - 373.5*b137*b126 - 355.5*b138*b126 - 
      175.5*b139*b126 - 391.5*b140*b126 - 31.5*b128*b127 - 400.5*b129*b127 - 
      441*b130*b127 - 121.5*b131*b127 - 85.5*b132*b127 - 27*b133*b127 - 270*
      b135*b127 - 58.5*b136*b127 - 342*b137*b127 - 292.5*b138*b127 - 252*b139*
      b127 - 400.5*b140*b127 - 225*b129*b128 - 126*b130*b128 - 166.5*b131*b128
       - 153*b132*b128 - 391.5*b133*b128 - 108*b134*b128 - 441*b135*b128 - 
      211.5*b136*b128 - 225*b137*b128 - 22.5*b138*b128 - 256.5*b139*b128 - 
      229.5*b140*b128 - 94.5*b130*b129 - 427.5*b131*b129 - 423*b132*b129 - 
      148.5*b133*b129 - 36*b134*b129 - 319.5*b135*b129 - 445.5*b136*b129 - 288*
      b137*b129 - 333*b138*b129 - 4.5*b139*b129 - 216*b140*b129 - 198*b131*b130
       - 54*b132*b130 - 162*b133*b130 - 373.5*b134*b130 - 396*b135*b130 - 153*
      b136*b130 - 135*b137*b130 - 175.5*b138*b130 - 175.5*b139*b130 - 423*b140*
      b130 - 175.5*b132*b131 - 391.5*b133*b131 - 387*b134*b131 - 270*b135*b131
       - 315*b136*b131 - 49.5*b137*b131 - 328.5*b138*b131 - 40.5*b139*b131 - 
      94.5*b140*b131 - 351*b133*b132 - 337.5*b134*b132 - 225*b135*b132 - 328.5*
      b136*b132 - 216*b137*b132 - 202.5*b138*b132 - 85.5*b139*b132 - 139.5*b140
      *b132 - 369*b134*b133 - 22.5*b135*b133 - 405*b136*b133 - 148.5*b137*b133
       - 94.5*b138*b133 - 76.5*b139*b133 - 112.5*b140*b133 - 153*b135*b134 - 
      292.5*b136*b134 - 364.5*b137*b134 - 315*b138*b134 - 54*b140*b134 - 310.5*
      b136*b135 - 256.5*b137*b135 - 373.5*b138*b135 - 270*b139*b135 - 171*b140*
      b135 - 432*b137*b136 - 99*b138*b136 - 445.5*b139*b136 - 67.5*b140*b136 - 
      153*b138*b137 - 373.5*b139*b137 - 9*b140*b137 - 99*b139*b138 - 400.5*b140
      *b138 - 423*b140*b139 <= 0;

e262: (-441*b142*b141) - 27825.2*b141 + 5805*b142 - 409.5*b143*b141 + 4662*b143
       - 387*b144*b141 + 4585.5*b144 - 135*b145*b141 + 4144.5*b145 - 247.5*b146
      *b141 + 5634*b146 - 90*b147*b141 + 4680*b147 - 180*b148*b141 + 5166*b148
       - 31.5*b149*b141 + 4711.5*b149 - 342*b150*b141 + 4716*b150 - 238.5*b151*
      b141 + 4752*b151 - 409.5*b152*b141 + 6574.5*b152 - 337.5*b153*b141 + 
      5728.5*b153 - 148.5*b154*b141 + 5319*b154 - 324*b155*b141 + 4927.5*b155
       - 153*b156*b141 + 3874.5*b156 - 144*b143*b142 - 31.5*b144*b142 - 391.5*
      b145*b142 - 288*b146*b142 - 31.5*b147*b142 - 333*b148*b142 - 243*b149*
      b142 - 261*b150*b142 - 436.5*b151*b142 - 400.5*b152*b142 - 54*b153*b142
       - 373.5*b154*b142 - 355.5*b155*b142 - 175.5*b156*b142 - 31.5*b144*b143
       - 400.5*b145*b143 - 400.5*b146*b143 - 441*b147*b143 - 121.5*b148*b143 - 
      85.5*b149*b143 - 27*b150*b143 - 270*b152*b143 - 58.5*b153*b143 - 342*b154
      *b143 - 292.5*b155*b143 - 252*b156*b143 - 229.5*b145*b144 - 225*b146*b144
       - 126*b147*b144 - 166.5*b148*b144 - 153*b149*b144 - 391.5*b150*b144 - 
      108*b151*b144 - 441*b152*b144 - 211.5*b153*b144 - 225*b154*b144 - 22.5*
      b155*b144 - 256.5*b156*b144 - 216*b146*b145 - 423*b147*b145 - 94.5*b148*
      b145 - 139.5*b149*b145 - 112.5*b150*b145 - 54*b151*b145 - 171*b152*b145
       - 67.5*b153*b145 - 9*b154*b145 - 400.5*b155*b145 - 423*b156*b145 - 94.5*
      b147*b146 - 427.5*b148*b146 - 423*b149*b146 - 148.5*b150*b146 - 36*b151*
      b146 - 319.5*b152*b146 - 445.5*b153*b146 - 288*b154*b146 - 333*b155*b146
       - 4.5*b156*b146 - 198*b148*b147 - 54*b149*b147 - 162*b150*b147 - 373.5*
      b151*b147 - 396*b152*b147 - 153*b153*b147 - 135*b154*b147 - 175.5*b155*
      b147 - 175.5*b156*b147 - 175.5*b149*b148 - 391.5*b150*b148 - 387*b151*
      b148 - 270*b152*b148 - 315*b153*b148 - 49.5*b154*b148 - 328.5*b155*b148
       - 40.5*b156*b148 - 351*b150*b149 - 337.5*b151*b149 - 225*b152*b149 - 
      328.5*b153*b149 - 216*b154*b149 - 202.5*b155*b149 - 85.5*b156*b149 - 369*
      b151*b150 - 22.5*b152*b150 - 405*b153*b150 - 148.5*b154*b150 - 94.5*b155*
      b150 - 76.5*b156*b150 - 153*b152*b151 - 292.5*b153*b151 - 364.5*b154*b151
       - 315*b155*b151 - 310.5*b153*b152 - 256.5*b154*b152 - 373.5*b155*b152 - 
      270*b156*b152 - 432*b154*b153 - 99*b155*b153 - 445.5*b156*b153 - 153*b155
      *b154 - 373.5*b156*b154 - 99*b156*b155 <= 0;

e263: (-144*b158*b157) - 27388.7*b157 + 4662*b158 - 31.5*b159*b157 + 4585.5*
      b159 - 391.5*b160*b157 + 4144.5*b160 - 288*b161*b157 + 5634*b161 - 31.5*
      b162*b157 + 4680*b162 - 333*b163*b157 + 5166*b163 - 243*b164*b157 + 
      4711.5*b164 - 261*b165*b157 + 4716*b165 - 436.5*b166*b157 + 4752*b166 - 
      400.5*b167*b157 + 6574.5*b167 - 54*b168*b157 + 5728.5*b168 - 373.5*b169*
      b157 + 5319*b169 - 355.5*b170*b157 + 4927.5*b170 - 175.5*b171*b157 + 
      3874.5*b171 - 31.5*b159*b158 - 400.5*b160*b158 - 400.5*b161*b158 - 441*
      b162*b158 - 121.5*b163*b158 - 85.5*b164*b158 - 27*b165*b158 - 270*b167*
      b158 - 58.5*b168*b158 - 342*b169*b158 - 292.5*b170*b158 - 252*b171*b158
       - 229.5*b160*b159 - 225*b161*b159 - 126*b162*b159 - 166.5*b163*b159 - 
      153*b164*b159 - 391.5*b165*b159 - 108*b166*b159 - 441*b167*b159 - 211.5*
      b168*b159 - 225*b169*b159 - 22.5*b170*b159 - 256.5*b171*b159 - 216*b161*
      b160 - 423*b162*b160 - 94.5*b163*b160 - 139.5*b164*b160 - 112.5*b165*b160
       - 54*b166*b160 - 171*b167*b160 - 67.5*b168*b160 - 9*b169*b160 - 400.5*
      b170*b160 - 423*b171*b160 - 94.5*b162*b161 - 427.5*b163*b161 - 423*b164*
      b161 - 148.5*b165*b161 - 36*b166*b161 - 319.5*b167*b161 - 445.5*b168*b161
       - 288*b169*b161 - 333*b170*b161 - 4.5*b171*b161 - 198*b163*b162 - 54*
      b164*b162 - 162*b165*b162 - 373.5*b166*b162 - 396*b167*b162 - 153*b168*
      b162 - 135*b169*b162 - 175.5*b170*b162 - 175.5*b171*b162 - 175.5*b164*
      b163 - 391.5*b165*b163 - 387*b166*b163 - 270*b167*b163 - 315*b168*b163 - 
      49.5*b169*b163 - 328.5*b170*b163 - 40.5*b171*b163 - 351*b165*b164 - 337.5
      *b166*b164 - 225*b167*b164 - 328.5*b168*b164 - 216*b169*b164 - 202.5*b170
      *b164 - 85.5*b171*b164 - 369*b166*b165 - 22.5*b167*b165 - 405*b168*b165
       - 148.5*b169*b165 - 94.5*b170*b165 - 76.5*b171*b165 - 153*b167*b166 - 
      292.5*b168*b166 - 364.5*b169*b166 - 315*b170*b166 - 310.5*b168*b167 - 
      256.5*b169*b167 - 373.5*b170*b167 - 270*b171*b167 - 432*b169*b168 - 99*
      b170*b168 - 445.5*b171*b168 - 153*b170*b169 - 373.5*b171*b169 - 99*b171*
      b170 <= 0;

e264: (-31.5*b173*b172) - 28531.7*b172 + 4585.5*b173 - 400.5*b174*b172 + 4144.5
      *b174 - 400.5*b175*b172 + 5634*b175 - 441*b176*b172 + 4680*b176 - 121.5*
      b177*b172 + 5166*b177 - 85.5*b178*b172 + 4711.5*b178 - 27*b179*b172 + 
      4716*b179 - 270*b180*b172 + 6574.5*b180 - 58.5*b181*b172 + 5728.5*b181 - 
      342*b182*b172 + 5319*b182 - 292.5*b183*b172 + 4927.5*b183 - 252*b184*b172
       + 3874.5*b184 - 229.5*b174*b173 - 225*b175*b173 - 126*b176*b173 - 166.5*
      b177*b173 - 153*b178*b173 - 391.5*b179*b173 - 441*b180*b173 - 211.5*b181*
      b173 - 225*b182*b173 - 22.5*b183*b173 - 256.5*b184*b173 - 108*b185*b173
       + 4752*b185 - 216*b175*b174 - 423*b176*b174 - 94.5*b177*b174 - 139.5*
      b178*b174 - 112.5*b179*b174 - 171*b180*b174 - 67.5*b181*b174 - 9*b182*
      b174 - 400.5*b183*b174 - 423*b184*b174 - 54*b185*b174 - 94.5*b176*b175 - 
      427.5*b177*b175 - 423*b178*b175 - 148.5*b179*b175 - 319.5*b180*b175 - 
      445.5*b181*b175 - 288*b182*b175 - 333*b183*b175 - 4.5*b184*b175 - 36*b185
      *b175 - 198*b177*b176 - 54*b178*b176 - 162*b179*b176 - 396*b180*b176 - 
      153*b181*b176 - 135*b182*b176 - 175.5*b183*b176 - 175.5*b184*b176 - 373.5
      *b185*b176 - 175.5*b178*b177 - 391.5*b179*b177 - 270*b180*b177 - 315*b181
      *b177 - 49.5*b182*b177 - 328.5*b183*b177 - 40.5*b184*b177 - 387*b185*b177
       - 351*b179*b178 - 225*b180*b178 - 328.5*b181*b178 - 216*b182*b178 - 
      202.5*b183*b178 - 85.5*b184*b178 - 337.5*b185*b178 - 22.5*b180*b179 - 405
      *b181*b179 - 148.5*b182*b179 - 94.5*b183*b179 - 76.5*b184*b179 - 369*b185
      *b179 - 310.5*b181*b180 - 256.5*b182*b180 - 373.5*b183*b180 - 270*b184*
      b180 - 153*b185*b180 - 432*b182*b181 - 99*b183*b181 - 445.5*b184*b181 - 
      292.5*b185*b181 - 153*b183*b182 - 373.5*b184*b182 - 364.5*b185*b182 - 99*
      b184*b183 - 315*b185*b183 <= 0;

e265: (-229.5*b187*b186) - 28608.2*b186 + 4144.5*b187 - 225*b188*b186 + 5634*
      b188 - 126*b189*b186 + 4680*b189 - 166.5*b190*b186 + 5166*b190 - 153*b191
      *b186 + 4711.5*b191 - 391.5*b192*b186 + 4716*b192 - 108*b193*b186 + 4752*
      b193 - 441*b194*b186 + 6574.5*b194 - 211.5*b195*b186 + 5728.5*b195 - 225*
      b196*b186 + 5319*b196 - 22.5*b197*b186 + 4927.5*b197 - 256.5*b198*b186 + 
      3874.5*b198 - 216*b188*b187 - 423*b189*b187 - 94.5*b190*b187 - 139.5*b191
      *b187 - 112.5*b192*b187 - 54*b193*b187 - 171*b194*b187 - 67.5*b195*b187
       - 9*b196*b187 - 400.5*b197*b187 - 423*b198*b187 - 94.5*b189*b188 - 427.5
      *b190*b188 - 423*b191*b188 - 148.5*b192*b188 - 36*b193*b188 - 319.5*b194*
      b188 - 445.5*b195*b188 - 288*b196*b188 - 333*b197*b188 - 4.5*b198*b188 - 
      198*b190*b189 - 54*b191*b189 - 162*b192*b189 - 373.5*b193*b189 - 396*b194
      *b189 - 153*b195*b189 - 135*b196*b189 - 175.5*b197*b189 - 175.5*b198*b189
       - 175.5*b191*b190 - 391.5*b192*b190 - 387*b193*b190 - 270*b194*b190 - 
      315*b195*b190 - 49.5*b196*b190 - 328.5*b197*b190 - 40.5*b198*b190 - 351*
      b192*b191 - 337.5*b193*b191 - 225*b194*b191 - 328.5*b195*b191 - 216*b196*
      b191 - 202.5*b197*b191 - 85.5*b198*b191 - 369*b193*b192 - 22.5*b194*b192
       - 405*b195*b192 - 148.5*b196*b192 - 94.5*b197*b192 - 76.5*b198*b192 - 
      153*b194*b193 - 292.5*b195*b193 - 364.5*b196*b193 - 315*b197*b193 - 310.5
      *b195*b194 - 256.5*b196*b194 - 373.5*b197*b194 - 270*b198*b194 - 432*b196
      *b195 - 99*b197*b195 - 445.5*b198*b195 - 153*b197*b196 - 373.5*b198*b196
       - 99*b198*b197 <= 0;

e266: (-216*b200*b199) - 29049.2*b199 + 5634*b200 - 423*b201*b199 + 4680*b201
       - 94.5*b202*b199 + 5166*b202 - 139.5*b203*b199 + 4711.5*b203 - 112.5*
      b204*b199 + 4716*b204 - 54*b205*b199 + 4752*b205 - 171*b206*b199 + 6574.5
      *b206 - 67.5*b207*b199 + 5728.5*b207 - 9*b208*b199 + 5319*b208 - 400.5*
      b209*b199 + 4927.5*b209 - 423*b210*b199 + 3874.5*b210 - 94.5*b201*b200 - 
      427.5*b202*b200 - 423*b203*b200 - 148.5*b204*b200 - 36*b205*b200 - 319.5*
      b206*b200 - 445.5*b207*b200 - 288*b208*b200 - 333*b209*b200 - 4.5*b210*
      b200 - 198*b202*b201 - 54*b203*b201 - 162*b204*b201 - 373.5*b205*b201 - 
      396*b206*b201 - 153*b207*b201 - 135*b208*b201 - 175.5*b209*b201 - 175.5*
      b210*b201 - 175.5*b203*b202 - 391.5*b204*b202 - 387*b205*b202 - 270*b206*
      b202 - 315*b207*b202 - 49.5*b208*b202 - 328.5*b209*b202 - 40.5*b210*b202
       - 351*b204*b203 - 337.5*b205*b203 - 225*b206*b203 - 328.5*b207*b203 - 
      216*b208*b203 - 202.5*b209*b203 - 85.5*b210*b203 - 369*b205*b204 - 22.5*
      b206*b204 - 405*b207*b204 - 148.5*b208*b204 - 94.5*b209*b204 - 76.5*b210*
      b204 - 153*b206*b205 - 292.5*b207*b205 - 364.5*b208*b205 - 315*b209*b205
       - 310.5*b207*b206 - 256.5*b208*b206 - 373.5*b209*b206 - 270*b210*b206 - 
      432*b208*b207 - 99*b209*b207 - 445.5*b210*b207 - 153*b209*b208 - 373.5*
      b210*b208 - 99*b210*b209 <= 0;

e267: (-94.5*b212*b211) - 27559.7*b211 + 4680*b212 - 427.5*b213*b211 + 5166*
      b213 - 423*b214*b211 + 4711.5*b214 - 148.5*b215*b211 + 4716*b215 - 36*
      b216*b211 + 4752*b216 - 319.5*b217*b211 + 6574.5*b217 - 445.5*b218*b211
       + 5728.5*b218 - 288*b219*b211 + 5319*b219 - 333*b220*b211 + 4927.5*b220
       - 4.5*b221*b211 + 3874.5*b221 - 198*b213*b212 - 54*b214*b212 - 162*b215*
      b212 - 373.5*b216*b212 - 396*b217*b212 - 153*b218*b212 - 135*b219*b212 - 
      175.5*b220*b212 - 175.5*b221*b212 - 175.5*b214*b213 - 391.5*b215*b213 - 
      387*b216*b213 - 270*b217*b213 - 315*b218*b213 - 49.5*b219*b213 - 328.5*
      b220*b213 - 40.5*b221*b213 - 351*b215*b214 - 337.5*b216*b214 - 225*b217*
      b214 - 328.5*b218*b214 - 216*b219*b214 - 202.5*b220*b214 - 85.5*b221*b214
       - 369*b216*b215 - 22.5*b217*b215 - 405*b218*b215 - 148.5*b219*b215 - 
      94.5*b220*b215 - 76.5*b221*b215 - 153*b217*b216 - 292.5*b218*b216 - 364.5
      *b219*b216 - 315*b220*b216 - 310.5*b218*b217 - 256.5*b219*b217 - 373.5*
      b220*b217 - 270*b221*b217 - 432*b219*b218 - 99*b220*b218 - 445.5*b221*
      b218 - 153*b220*b219 - 373.5*b221*b219 - 99*b221*b220 <= 0;

e268: (-198*b223*b222) - 28513.7*b222 + 5166*b223 - 54*b224*b222 + 4711.5*b224
       - 162*b225*b222 + 4716*b225 - 373.5*b226*b222 + 4752*b226 - 396*b227*
      b222 + 6574.5*b227 - 153*b228*b222 + 5728.5*b228 - 135*b229*b222 + 5319*
      b229 - 175.5*b230*b222 + 4927.5*b230 - 175.5*b231*b222 + 3874.5*b231 - 
      175.5*b224*b223 - 391.5*b225*b223 - 387*b226*b223 - 270*b227*b223 - 315*
      b228*b223 - 49.5*b229*b223 - 328.5*b230*b223 - 40.5*b231*b223 - 351*b225*
      b224 - 337.5*b226*b224 - 225*b227*b224 - 328.5*b228*b224 - 216*b229*b224
       - 202.5*b230*b224 - 85.5*b231*b224 - 369*b226*b225 - 22.5*b227*b225 - 
      405*b228*b225 - 148.5*b229*b225 - 94.5*b230*b225 - 76.5*b231*b225 - 153*
      b227*b226 - 292.5*b228*b226 - 364.5*b229*b226 - 315*b230*b226 - 310.5*
      b228*b227 - 256.5*b229*b227 - 373.5*b230*b227 - 270*b231*b227 - 432*b229*
      b228 - 99*b230*b228 - 445.5*b231*b228 - 153*b230*b229 - 373.5*b231*b229
       - 99*b231*b230 <= 0;

e269: (-175.5*b233*b232) - 28027.7*b232 + 4711.5*b233 - 391.5*b234*b232 + 4716*
      b234 - 387*b235*b232 + 4752*b235 - 270*b236*b232 + 6574.5*b236 - 315*b237
      *b232 + 5728.5*b237 - 49.5*b238*b232 + 5319*b238 - 328.5*b239*b232 + 
      4927.5*b239 - 40.5*b240*b232 + 3874.5*b240 - 351*b234*b233 - 337.5*b235*
      b233 - 225*b236*b233 - 328.5*b237*b233 - 216*b238*b233 - 202.5*b239*b233
       - 85.5*b240*b233 - 369*b235*b234 - 22.5*b236*b234 - 405*b237*b234 - 
      148.5*b238*b234 - 94.5*b239*b234 - 76.5*b240*b234 - 153*b236*b235 - 292.5
      *b237*b235 - 364.5*b238*b235 - 315*b239*b235 - 310.5*b237*b236 - 256.5*
      b238*b236 - 373.5*b239*b236 - 270*b240*b236 - 432*b238*b237 - 99*b239*
      b237 - 445.5*b240*b237 - 153*b239*b238 - 373.5*b240*b238 - 99*b240*b239
       <= 0;

e270: (-351*b242*b241) - 28482.2*b241 + 4716*b242 - 337.5*b243*b241 + 4752*b243
       - 225*b244*b241 + 6574.5*b244 - 328.5*b245*b241 + 5728.5*b245 - 216*b246
      *b241 + 5319*b246 - 202.5*b247*b241 + 4927.5*b247 - 85.5*b248*b241 + 
      3874.5*b248 - 369*b243*b242 - 22.5*b244*b242 - 405*b245*b242 - 148.5*b246
      *b242 - 94.5*b247*b242 - 76.5*b248*b242 - 153*b244*b243 - 292.5*b245*b243
       - 364.5*b246*b243 - 315*b247*b243 - 310.5*b245*b244 - 256.5*b246*b244 - 
      373.5*b247*b244 - 270*b248*b244 - 432*b246*b245 - 99*b247*b245 - 445.5*
      b248*b245 - 153*b247*b246 - 373.5*b248*b246 - 99*b248*b247 <= 0;

e271: (-369*b250*b249) - 28477.7*b249 + 4752*b250 - 22.5*b251*b249 + 6574.5*
      b251 - 405*b252*b249 + 5728.5*b252 - 148.5*b253*b249 + 5319*b253 - 94.5*
      b254*b249 + 4927.5*b254 - 76.5*b255*b249 + 3874.5*b255 - 153*b251*b250 - 
      292.5*b252*b250 - 364.5*b253*b250 - 315*b254*b250 - 310.5*b252*b251 - 
      256.5*b253*b251 - 373.5*b254*b251 - 270*b255*b251 - 432*b253*b252 - 99*
      b254*b252 - 445.5*b255*b252 - 153*b254*b253 - 373.5*b255*b253 - 99*b255*
      b254 <= 0;

e272: (-153*b257*b256) - 28441.7*b256 + 6574.5*b257 - 292.5*b258*b256 + 5728.5*
      b258 - 364.5*b259*b256 + 5319*b259 - 315*b260*b256 + 4927.5*b260 - 310.5*
      b258*b257 - 256.5*b259*b257 - 373.5*b260*b257 - 270*b261*b257 + 3874.5*
      b261 - 432*b259*b258 - 99*b260*b258 - 445.5*b261*b258 - 153*b260*b259 - 
      373.5*b261*b259 - 99*b261*b260 <= 0;

e273: (-310.5*b263*b262) - 26619.2*b262 + 5728.5*b263 - 256.5*b264*b262 + 5319*
      b264 - 373.5*b265*b262 + 4927.5*b265 - 270*b266*b262 + 3874.5*b266 - 432*
      b264*b263 - 99*b265*b263 - 445.5*b266*b263 - 153*b265*b264 - 373.5*b266*
      b264 - 99*b266*b265 <= 0;

e274: (-432*b268*b267) - 27465.2*b267 + 5319*b268 - 99*b269*b267 + 4927.5*b269
       - 445.5*b270*b267 + 3874.5*b270 - 153*b269*b268 - 373.5*b270*b268 - 99*
      b270*b269 <= 0;

e275: (-153*b272*b271) - 27874.7*b271 + 4927.5*b272 - 373.5*b273*b271 + 3874.5*
      b273 - 99*b273*b272 <= 0;

e276: (-99*b275*b274) - 28266.2*b274 + 3874.5*b275 <= 0;