#  MIQCP written by GAMS Convert at 02/15/18 15:42:35
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        148        2      145        1        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        270        8      262        0        0        0        0        0
#  FX      7        7        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1084      815      269        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 x264 >= 0, <= 0;
var x265 >= 0, <= 0;
var x266 >= 0, <= 0;
var x267 >= 0, <= 0;
var x268 >= 0, <= 0;
var x269 >= 0, <= 0;
var x270 >= 0, <= 0;

minimize obj:  - 137.73*b2 - 196.73*b3 - 120.22*b4 - 417.92*b5 - 200.82*b6
     - 162.5*b7 - 162.65*b8 - 179.47*b9 - 235.64*b10 - 183.97*b11 - 257.31*b12
     - 302.88*b13 - 156.75*b14 - 405.16*b15 - 245.93*b16 - 171.4*b17
     - 155.66*b18 - 246.71*b19 - 257.51*b20 - 223.53*b21 - 332.82*b22
     - 130.27*b23 - 219.72*b24 - 507.81*b25 - 371.17*b26 - 214.33*b27
     - 110.83*b28 - 355.55*b29 - 368.04*b30 - 362.49*b31 - 376.86*b32
     - 439.44*b33 - 432.17*b34 - 382.38*b35 - 374.59*b36 - 398.36*b37
     - 403.09*b38 - 395.46*b39 - 432.48*b40 - 358.69*b41 - 443.01*b42
     - 445.6*b43 - 364.21*b44 - 371.06*b45 - 390.72*b46 - 361.58*b47
     - 350.56*b48 - 260.95*b49 - 301.08*b50 - 274.02*b51 - 118.98*b52
     - 167.55*b53 - 309.6*b54 - 352.25*b55 - 353.73*b56 - 409.07*b57
     - 413.63*b58 - 383.68*b59 - 672.57*b60 - 324.99*b61 - 336.74*b62
     - 369.55*b63 - 153.47*b64 - 381.53*b65 - 379.6*b66 - 424.5*b67
     - 320.94*b68 - 225.01*b69 - 308.72*b70 - 176.27*b71 - 194.23*b72
     - 488.5*b73 - 184.42*b74 - 370.78*b75 - 247.86*b76 - 401.86*b77
     - 388.77*b78 - 392.21*b79 - 444.24*b80 - 356.9*b81 - 352.21*b82
     - 418.93*b83 - 375.07*b84 - 549.94*b85 - 584.09*b86 - 559.85*b87
     - 394.59*b88 - 400.81*b89 - 361.27*b90 - 398.91*b91 - 579.44*b92
     - 601.26*b93 - 610.33*b94 - 619.24*b95 - 481.14*b96 - 444.94*b97
     - 405.95*b98 - 580.08*b99 - 496.41*b100 - 483.82*b101 - 351.69*b102
     - 394.77*b103 - 492.52*b104 - 431.92*b105 - 374.78*b106 - 425.05*b107
     - 360.37*b108 - 436.09*b109 - 509.49*b110 - 465.05*b111 - 489.03*b112
     - 474.72*b113 - 422.27*b114 - 359.53*b115 - 364.99*b116 - 365.7*b117
     - 395.1*b118 - 428.05*b119 - 448.53*b120 - 397.36*b121 - 490.62*b122
     - 379.48*b123 - 364.16*b124 - 488.32*b125 - 453.77*b126 - 354.55*b127
     - 373.12*b128 - 474.1*b129 - 662.23*b130 - 492.63*b131 - 372.08*b132
     - 407.31*b133 - 459.43*b134 - 441.57*b135 - 479.99*b136 - 400.74*b137
     - 432.39*b138 - 475.03*b139 - 478.79*b140 - 383.92*b141 - 379.05*b142
     - 423.72*b143 - 351.91*b144 - 495.72*b145 - 484.77*b146 - 456.88*b147
     - 364.05*b148 - 391.49*b149 - 476.88*b150 - 372.95*b151 - 372.68*b152
     - 364.23*b153 - 398.84*b154 - 379.81*b155 - 491.59*b156 - 368.84*b157
     - 488.66*b158 - 403.8*b159 - 456.84*b160 - 396.26*b161 - 366.13*b162
     - 366.93*b163 - 454.67*b164 - 492.69*b165 - 380.62*b166 - 361.14*b167
     - 400.94*b168 - 431.67*b169 - 485.82*b170 - 377.12*b171 - 513.12*b172
     - 442.11*b173 - 376.98*b174 - 437.34*b175 - 503.56*b176 - 437.4*b177
     - 499.5*b178 - 358.66*b179 - 436.24*b180 - 665.54*b181 - 408.61*b182
     - 427.48*b183 - 363.95*b184 - 431.52*b185 - 392.5*b186 - 382.22*b187
     - 382.61*b188 - 412.39*b189 - 403.39*b190 - 494.89*b191 - 372.98*b192
     - 690.72*b193 - 381.65*b194 - 432.01*b195 - 374.54*b196 - 416.54*b197
     - 478.42*b198 - 419.81*b199 - 362.02*b200 - 432.8*b201 - 451.98*b202
     - 671.27*b203 - 456.3*b204 - 458.44*b205 - 472.43*b206 - 355.62*b207
     - 446.1*b208 - 379.63*b209 - 351.32*b210 - 397.86*b211 - 410.62*b212
     - 406.71*b213 - 401.51*b214 - 362.93*b215 - 451.24*b216 - 371.67*b217
     - 371.63*b218 - 479.78*b219 - 484.64*b220 - 389.16*b221 - 407.79*b222
     - 402.71*b223 - 502.19*b224 - 479.58*b225 - 451.75*b226 - 397.92*b227
     - 402.02*b228 - 407.95*b229 - 376.75*b230 - 356.23*b231 - 374.55*b232
     - 367.01*b233 - 402.29*b234 - 382.65*b235 - 370.96*b236 - 398.59*b237
     - 378.73*b238 - 388.04*b239 - 406.7*b240 - 385.06*b241 - 373.67*b242
     - 417.14*b243 - 350.65*b244 - 355.05*b245 - 370.75*b246 - 402.75*b247
     - 391.06*b248 - 385.86*b249 - 392.96*b250 - 358.2*b251 - 370.73*b252
     - 393.31*b253 - 397.72*b254 - 394.57*b255 - 350.1*b256 - 372.91*b257
     - 411.47*b258 - 364.02*b259 - 363.57*b260 - 402.76*b261 - 399.96*b262
     - 389.3*b263;

subject to

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

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

e4:  - b81 + b103 >= 0;

e5:    b81 - b82 >= 0;

e6:    b82 - b102 >= 0;

e7:    b163 - b167 >= 0;

e8:    b139 - b201 >= 0;

e9:  - b185 + b201 >= 0;

e10:    b185 - b199 >= 0;

e11:  - b244 + b245 >= 0;

e12:  - b236 + b242 >= 0;

e13:    b236 - b246 >= 0;

e14:    b237 - b248 >= 0;

e15:  - b241 + b248 >= 0;

e16:  - b238 + b241 >= 0;

e17:  - b228 + b247 >= 0;

e18:    b228 - b253 >= 0;

e19:  - b239 + b253 >= 0;

e20:  - b38 + b80 >= 0;

e21:    b38 - b91 >= 0;

e22:  - b88 + b91 >= 0;

e23:  - b55 + b56 >= 0;

e24:  - b57 + b58 >= 0;

e25:  - b37 + b57 >= 0;

e26:    b37 - b59 >= 0;

e27:    b30 - b41 >= 0;

e28:  - b29 + b41 >= 0;

e29:  - b42 + b43 >= 0;

e30:  - b33 + b42 >= 0;

e31:    b33 - b34 >= 0;

e32:    b32 - b45 >= 0;

e33:  - b31 + b45 >= 0;

e34:    b31 - b47 >= 0;

e35:    b100 - b104 >= 0;

e36:  - b101 + b104 >= 0;

e37:  - b96 + b101 >= 0;

e38:  - b39 + b40 >= 0;

e39:    b39 - b46 >= 0;

e40:  - b35 + b46 >= 0;

e41:  - b36 + b84 >= 0;

e42:    b36 - b44 >= 0;

e43:    b44 - b124 >= 0;

e44:  - b233 + b252 >= 0;

e45:    b233 - b259 >= 0;

e46:    b259 - b260 >= 0;

e47:    b141 - b188 >= 0;

e48:    b188 - b217 >= 0;

e49:  - b215 + b217 >= 0;

e50:    b117 - b210 >= 0;

e51:  - b162 + b164 >= 0;

e52:  - b108 + b162 >= 0;

e53:    b94 - b99 >= 0;

e54:  - b87 + b99 >= 0;

e55:  - b85 + b87 >= 0;

e56:  - b151 + b155 >= 0;

e57:    b151 - b153 >= 0;

e58:    b193 - b203 >= 0;

e59:  - b181 + b203 >= 0;

e60:  - b130 + b181 >= 0;

e61:    b169 - b190 >= 0;

e62:    b190 - b223 >= 0;

e63:    b223 - b227 >= 0;

e64:  - b165 + b178 >= 0;

e65:    b165 - b225 >= 0;

e66:  - b150 + b225 >= 0;

e67:  - b147 + b198 >= 0;

e68:    b147 - b204 >= 0;

e69:  - b202 + b204 >= 0;

e70:    b135 - b182 >= 0;

e71:  - b168 + b182 >= 0;

e72:  - b161 + b168 >= 0;

e73:  - b93 + b95 >= 0;

e74:  - b86 + b93 >= 0;

e75:    b86 - b92 >= 0;

e76:  - b231 + b251 >= 0;

e77:    b231 - b256 >= 0;

e78:  - b230 + b235 >= 0;

e79:    b230 - b232 >= 0;

e80:    b232 - b257 >= 0;

e81:  - b240 + b243 >= 0;

e82:    b240 - b261 >= 0;

e83:    b261 - b262 >= 0;

e84:    b234 - b250 >= 0;

e85:    b250 - b263 >= 0;

e86:  - b249 + b263 >= 0;

e87:  - b229 + b258 >= 0;

e88:    b229 - b254 >= 0;

e89:    b254 - b255 >= 0;

e90:  - b120 + b160 >= 0;

e91:  - b109 + b120 >= 0;

e92:    b109 - b138 >= 0;

e93:    b121 - b192 >= 0;

e94:  - b148 + b192 >= 0;

e95:  - b127 + b148 >= 0;

e96:  - b122 + b145 >= 0;

e97:  - b112 + b122 >= 0;

e98:    b112 - b146 >= 0;

e99:    b214 - b221 >= 0;

e100:  - b209 + b221 >= 0;

e101:  - b196 + b209 >= 0;

e102:    b133 - b149 >= 0;

e103:  - b142 + b149 >= 0;

e104:    b142 - b218 >= 0;

e105:    b140 - b180 >= 0;

e106:    b180 - b195 >= 0;

e107:  - b143 + b195 >= 0;

e108:    b119 - b186 >= 0;

e109:  - b174 + b186 >= 0;

e110:    b174 - b200 >= 0;

e111:    b183 - b222 >= 0;

e112:  - b194 + b222 >= 0;

e113:  - b171 + b194 >= 0;

e114:    b136 - b177 >= 0;

e115:  - b159 + b177 >= 0;

e116:  - b154 + b159 >= 0;

e117:    b205 - b213 >= 0;

e118:  - b137 + b213 >= 0;

e119:    b137 - b211 >= 0;

e120:    b113 - b129 >= 0;

e121:    b129 - b206 >= 0;

e122:  - b134 + b206 >= 0;

e123:    b110 - b131 >= 0;

e124:    b131 - b158 >= 0;

e125:    b158 - b219 >= 0;

e126:    b176 - b208 >= 0;

e127:  - b173 + b208 >= 0;

e128:    b173 - b175 >= 0;

e129:    b116 - b184 >= 0;

e130:  - b111 + b156 >= 0;

e131:    b111 - b226 >= 0;

e132:  - b216 + b226 >= 0;

e133:  - b191 + b224 >= 0;

e134:  - b170 + b191 >= 0;

e135:    b170 - b220 >= 0;

e136:    b126 - b189 >= 0;

e137:  - b187 + b189 >= 0;

e138:  - b128 + b187 >= 0;

e139:  - b152 + b212 >= 0;

e140:  - b132 + b152 >= 0;

e141:    b132 - b207 >= 0;

e142:  - b125 + b172 >= 0;

e143:  - b114 + b125 >= 0;

e144:    b114 - b197 >= 0;

e145:  - b144 + b157 >= 0;

e146:  - b83 + b97 >= 0;

e147:    b83 - b98 >= 0;

e148:  - b89 + b98 >= 0;