#  MIQCP written by GAMS Convert at 02/15/18 15:37:15
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#          2        1        1        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        251        1      250        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        501      251      250        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;

maximize obj: (-2*b2*b3) - 40*b2*b4 + 10*b2*b5 + 90*b2*b6 - 15*b2*b7 + 10*b2*b8
     + 86*b2*b9 - 73*b2*b10 - 97*b2*b11 + 47*b2*b12 - 75*b2*b13 - 95*b2*b14 - 
    25*b2*b15 - 30*b2*b16 - 52*b2*b17 + 90*b2*b18 + 79*b2*b19 + 92*b2*b20 + 62*
    b2*b21 - 53*b2*b22 + 70*b2*b23 + 78*b2*b24 + 43*b2*b25 + 43*b3*b7 - 69*b3*
    b15 - 72*b3*b20 - 11*b3*b26 - 40*b3*b27 - 88*b3*b28 + 65*b3*b29 + 12*b3*b30
     + 16*b3*b31 - 55*b3*b32 - 41*b3*b33 - 4*b3*b34 - 78*b3*b35 - 56*b3*b36 - 
    20*b3*b37 + 69*b3*b38 + 81*b3*b39 + 28*b3*b40 + 96*b3*b41 - 71*b3*b42 - 28*
    b3*b43 + 10*b3*b44 - 69*b3*b45 + 86*b3*b46 - 44*b3*b47 - 51*b3*b48 - 95*b3*
    b49 - 95*b3*b50 + 32*b3*b51 + 44*b3*b52 + 8*b3*b53 + 16*b3*b54 - 84*b3*b55
     - 59*b3*b56 + 48*b4*b11 + 47*b4*b29 - 76*b4*b41 + 64*b4*b57 - 16*b4*b58 + 
    38*b4*b59 - 73*b4*b60 + 48*b4*b61 + 34*b4*b62 - 67*b4*b63 - 95*b4*b64 + 7*
    b4*b65 - 30*b4*b66 - 27*b4*b67 - 74*b4*b68 - 54*b4*b69 - 65*b4*b70 - 16*b4*
    b71 - 20*b4*b72 - 93*b4*b73 + 88*b4*b74 - 61*b4*b75 + 71*b4*b76 - 53*b4*b77
     - 95*b4*b78 + 65*b5*b14 - 54*b5*b26 + 37*b5*b33 - 44*b5*b46 - 3*b5*b58 + 5
    *b5*b59 + 33*b5*b64 + 52*b5*b79 - 98*b5*b80 - 4*b5*b81 + 28*b5*b82 + 35*b5*
    b83 + 56*b5*b84 - 80*b5*b85 + 24*b5*b86 - 20*b5*b87 + 58*b5*b88 + 62*b5*b89
     + 29*b5*b90 - 33*b5*b91 + 89*b5*b92 + 63*b5*b93 + 16*b5*b94 - 46*b6*b16 + 
    89*b6*b22 + 33*b6*b33 - 76*b6*b43 + 45*b6*b52 - 30*b6*b68 + 9*b6*b74 + 26*
    b6*b90 - 29*b6*b91 - 89*b6*b95 - 97*b6*b96 - 11*b6*b97 + 85*b6*b98 - 14*b6*
    b99 + 64*b6*b100 + 64*b6*b101 + 89*b6*b102 + 46*b6*b103 - 14*b6*b104 - 68*
    b6*b105 - 61*b6*b106 - 5*b6*b107 + 59*b6*b108 - 13*b6*b109 + 38*b6*b110 + 
    54*b6*b111 - 35*b6*b112 + 3*b6*b113 - 49*b6*b114 + 65*b7*b45 + 68*b7*b59 + 
    67*b7*b61 + 75*b7*b68 - 2*b7*b80 - 71*b7*b103 - 17*b7*b115 - 50*b7*b116 + 
    11*b7*b117 - 63*b7*b118 - 2*b7*b119 - 91*b7*b120 - 66*b7*b121 - 14*b7*b122
     - 36*b7*b123 + 92*b7*b124 - 37*b7*b125 + 83*b7*b126 - 51*b8*b9 + 42*b8*b17
     + 43*b8*b26 + 60*b8*b42 + 55*b8*b62 + 29*b8*b66 + 100*b8*b68 - 38*b8*b80
     - 69*b8*b81 - 12*b8*b84 - 16*b8*b89 - 48*b8*b90 + 5*b8*b104 - 50*b8*b113
     - 2*b8*b115 - 6*b8*b124 + 99*b8*b127 - 66*b8*b128 - 90*b8*b129 - 53*b8*
    b130 - 79*b8*b131 - 48*b8*b132 - 61*b8*b133 + 91*b8*b134 - 60*b8*b135 + 89*
    b8*b136 + 54*b8*b137 + 78*b8*b138 - 44*b8*b139 + 97*b8*b140 + 6*b8*b141 + 
    21*b9*b13 + 63*b9*b15 + 84*b9*b33 + 62*b9*b50 + 67*b9*b57 + 92*b9*b78 + 44*
    b9*b104 - 94*b9*b118 + 74*b9*b125 + 32*b9*b142 + 55*b9*b143 + 11*b9*b144 - 
    56*b9*b145 - 19*b9*b146 + 97*b9*b147 - 64*b9*b148 + 32*b9*b149 - 64*b9*b150
     + 6*b9*b151 - 51*b9*b152 + 38*b9*b153 - 29*b10*b25 - 81*b10*b40 + 62*b10*
    b44 + 52*b10*b46 - 6*b10*b49 + 66*b10*b65 - 82*b10*b72 - 81*b10*b75 + 61*
    b10*b83 + 95*b10*b92 + 83*b10*b97 - 12*b10*b103 + 96*b10*b106 - 2*b10*b110
     - 77*b10*b124 + 63*b10*b126 - 71*b10*b135 + 67*b10*b148 + 56*b10*b154 + 51
    *b10*b155 + 70*b10*b156 + 75*b10*b157 - 20*b10*b158 - 11*b10*b159 + 79*b10*
    b160 + 86*b10*b161 - 60*b10*b162 + 48*b10*b163 - 90*b10*b164 - 73*b10*b165
     - 61*b10*b166 - 6*b10*b167 - 41*b10*b168 + 19*b10*b169 + 30*b11*b13 - 63*
    b11*b31 - 92*b11*b39 - 90*b11*b81 - 76*b11*b83 - 94*b11*b89 + 87*b11*b94 - 
    40*b11*b106 + 32*b11*b116 - 91*b11*b138 - 91*b11*b145 + 37*b11*b152 - 55*
    b11*b170 - 56*b11*b171 - 58*b11*b172 + 90*b11*b173 - 36*b11*b174 - b11*b175
     + 4*b11*b176 + 92*b11*b177 + 52*b11*b178 + b11*b179 - 58*b11*b180 - 80*b12
    *b24 - 12*b12*b31 + 56*b12*b32 - 57*b12*b36 + 48*b12*b41 - 70*b12*b70 + 10*
    b12*b87 - 25*b12*b96 + 40*b12*b108 - 50*b12*b131 - 61*b12*b150 + 20*b12*
    b170 - 89*b12*b172 - 70*b12*b176 - 81*b12*b181 + 24*b12*b182 + 81*b12*b183
     + 55*b12*b184 + 72*b12*b185 + 24*b12*b186 - 33*b12*b187 - 89*b12*b188 - 62
    *b12*b189 - 74*b13*b15 - 30*b13*b36 + 10*b13*b56 - 86*b13*b92 - 8*b13*b96
     + 64*b13*b97 - 78*b13*b106 + 30*b13*b119 + 45*b13*b122 + 17*b13*b127 + 6*
    b13*b128 + 66*b13*b160 - 71*b13*b190 + 82*b13*b191 - 63*b13*b192 + 84*b13*
    b193 + 43*b13*b194 - 33*b14*b27 + 5*b14*b30 + 89*b14*b31 + 80*b14*b34 + b14
    *b48 - 41*b14*b56 + 32*b14*b70 - 32*b14*b71 + 15*b14*b85 - 30*b14*b102 + 3*
    b14*b105 - 29*b14*b108 + 67*b14*b122 - 93*b14*b131 - 68*b14*b138 - 33*b14*
    b141 + 55*b14*b151 - 74*b14*b162 + 84*b14*b164 + 75*b14*b169 + 26*b14*b175
     + 82*b14*b190 - 16*b14*b195 + 57*b14*b196 - 59*b14*b197 - 68*b14*b198 + 66
    *b14*b199 + 64*b14*b200 - 63*b15*b54 - 53*b15*b57 - 96*b15*b59 + 14*b15*b61
     - 95*b15*b64 - 28*b15*b65 + 57*b15*b75 - 16*b15*b82 + 26*b15*b114 - 97*b15
    *b123 + 30*b15*b126 + 89*b15*b141 - 59*b15*b149 - 25*b15*b156 + 72*b15*b158
     + 71*b15*b168 - 55*b15*b175 - 89*b15*b189 - b15*b201 - 57*b15*b202 - 59*
    b15*b203 - 88*b15*b204 - 54*b15*b205 + 91*b15*b206 - 93*b15*b207 + 6*b16*
    b20 + 26*b16*b34 - 93*b16*b37 - 78*b16*b45 + 48*b16*b49 - 18*b16*b52 - 28*
    b16*b65 - 91*b16*b68 + 87*b16*b75 + 63*b16*b76 + 29*b16*b82 - 34*b16*b109
     + 100*b16*b111 - 63*b16*b112 - 35*b16*b116 - 60*b16*b117 - b16*b120 + 71*
    b16*b126 + 92*b16*b127 - 4*b16*b136 - 13*b16*b156 + 44*b16*b162 - 59*b16*
    b169 - 59*b16*b187 + 63*b16*b208 + b16*b209 - 32*b16*b210 - 73*b16*b211 - 
    88*b16*b212 + 54*b16*b213 + 61*b17*b33 - 71*b17*b36 - 26*b17*b43 + 52*b17*
    b53 - 16*b17*b56 + 64*b17*b81 + 7*b17*b93 + 29*b17*b96 - 94*b17*b97 + 8*b17
    *b112 + 33*b17*b122 + 17*b17*b176 + 8*b17*b178 + 77*b17*b179 + 35*b17*b189
     - 51*b17*b198 + 88*b17*b202 - 91*b17*b214 + 93*b17*b215 - 53*b17*b216 - 73
    *b17*b217 + 24*b17*b218 + 70*b18*b29 - 88*b18*b65 - 48*b18*b69 + 2*b18*b78
     + 70*b18*b99 - 54*b18*b127 - 3*b18*b131 + 57*b18*b135 + 29*b18*b143 - 43*
    b18*b144 + 9*b18*b186 + 22*b18*b209 - 29*b18*b210 - 92*b18*b215 - 84*b18*
    b219 - 46*b18*b220 + 45*b19*b37 - 20*b19*b38 - 76*b19*b45 - 11*b19*b52 - 38
    *b19*b58 - 71*b19*b64 + 33*b19*b71 - 63*b19*b72 + 62*b19*b115 - 49*b19*b124
     - 69*b19*b143 + 44*b19*b155 + 21*b19*b173 + 50*b19*b183 - 68*b19*b216 - 6*
    b19*b217 + 43*b19*b221 + 30*b19*b222 - 18*b20*b41 - 41*b20*b73 - 47*b20*b76
     - 42*b20*b81 + 40*b20*b82 - 67*b20*b99 + 49*b20*b106 - 56*b20*b108 - 34*
    b20*b122 - b20*b140 - 55*b20*b142 + 10*b20*b146 + 17*b20*b163 + 10*b20*b199
     - 26*b20*b205 + b20*b207 - 4*b20*b223 - 8*b20*b224 + 29*b20*b225 - 97*b20*
    b226 + 48*b21*b43 + 71*b21*b49 - 53*b21*b50 + 47*b21*b58 - 98*b21*b67 - 45*
    b21*b68 - 51*b21*b83 + 95*b21*b87 + 99*b21*b95 - 95*b21*b96 - 86*b21*b112
     + 14*b21*b130 - 22*b21*b133 + 26*b21*b140 + 54*b21*b142 + 69*b21*b157 - 98
    *b21*b164 + 77*b21*b168 - 73*b21*b185 - 74*b21*b218 + 100*b21*b227 + 71*b21
    *b228 - 99*b21*b229 - 44*b22*b29 - 81*b22*b48 + 94*b22*b63 + 36*b22*b70 + 
    72*b22*b78 - 96*b22*b94 + 14*b22*b105 + 45*b22*b113 - 55*b22*b115 + 11*b22*
    b116 - 43*b22*b119 - 65*b22*b131 - 49*b22*b138 + 5*b22*b145 - 50*b22*b149
     + 78*b22*b153 + 12*b22*b173 + 89*b22*b187 + 19*b22*b188 + 56*b22*b225 + 32
    *b22*b229 - 80*b22*b230 + 40*b22*b231 + 45*b22*b232 + 12*b23*b31 + 81*b23*
    b34 - 59*b23*b36 + 71*b23*b45 - 14*b23*b54 - 5*b23*b57 + 25*b23*b61 - 76*
    b23*b62 - 48*b23*b68 + 50*b23*b74 - 40*b23*b76 - 72*b23*b118 - 22*b23*b123
     - 5*b23*b125 + 99*b23*b134 - 36*b23*b137 - 63*b23*b141 + 8*b23*b153 + 57*
    b23*b160 - 72*b23*b162 - 74*b23*b167 + 55*b23*b190 + 17*b23*b193 - 69*b23*
    b194 + 66*b23*b199 + 60*b23*b203 + 74*b23*b222 - 95*b23*b232 + 97*b24*b25
     + 59*b24*b33 + 38*b24*b37 + 86*b24*b46 + 39*b24*b51 - 83*b24*b52 + 56*b24*
    b66 + 56*b24*b78 + 12*b24*b96 - 65*b24*b104 - 28*b24*b114 - 90*b24*b115 + 
    63*b24*b125 + 35*b24*b126 + 75*b24*b135 + 38*b24*b137 - 91*b24*b150 + 65*
    b24*b152 - 15*b24*b160 + 46*b24*b173 - 61*b24*b176 - 17*b24*b184 + 54*b24*
    b196 - 61*b24*b200 + 23*b24*b216 - 70*b24*b223 - 57*b24*b225 - 18*b24*b233
     + 95*b25*b26 - 93*b25*b45 + 15*b25*b49 + 59*b25*b51 + 29*b25*b76 + 60*b25*
    b89 + 60*b25*b97 - 55*b25*b109 + 41*b25*b121 - 56*b25*b147 - 99*b25*b172 - 
    30*b25*b173 + 44*b25*b182 + 32*b25*b186 - 95*b25*b189 - 79*b25*b213 - 49*
    b25*b230 + 9*b25*b234 - 88*b25*b235 + 95*b26*b27 + 68*b26*b28 + 35*b26*b29
     - 16*b26*b30 + 59*b26*b31 + 77*b26*b32 - 87*b26*b57 - 76*b26*b58 + 17*b26*
    b79 + 76*b26*b80 + 46*b26*b95 + 93*b26*b115 - 71*b26*b116 + 74*b26*b127 + 
    80*b26*b128 + 76*b26*b129 + 2*b26*b142 + 84*b26*b143 + 32*b26*b154 + 35*b26
    *b155 - 16*b26*b156 - 28*b26*b170 + 59*b26*b214 + 28*b26*b215 - 51*b26*b236
     - 22*b26*b237 + 83*b26*b238 - 38*b26*b239 + 15*b27*b30 - 58*b27*b41 + 27*
    b27*b53 + 95*b27*b65 + 89*b27*b88 + 80*b27*b96 + 29*b27*b103 + 21*b27*b108
     + 59*b27*b123 - 92*b27*b141 - 57*b27*b180 - 57*b27*b182 - 37*b27*b183 + 40
    *b27*b187 - 79*b27*b199 - 61*b27*b204 + 96*b27*b205 - 7*b27*b213 + 50*b27*
    b217 - 54*b27*b221 - 11*b27*b223 + 47*b27*b236 - 64*b27*b240 - 19*b27*b241
     - 18*b27*b242 - 70*b28*b34 - 38*b28*b48 + 32*b28*b51 - 21*b28*b55 - 35*b28
    *b62 - 32*b28*b65 - 98*b28*b72 - 56*b28*b77 - 44*b28*b78 - 37*b28*b80 - 16*
    b28*b85 - 32*b28*b87 - 31*b28*b122 - 96*b28*b136 - 91*b28*b142 + 70*b28*
    b157 - 93*b28*b162 + 30*b28*b164 - 7*b28*b194 - 51*b28*b196 + 20*b28*b207
     - 7*b28*b212 - 92*b28*b213 - 67*b28*b224 - 55*b28*b232 + 79*b28*b242 + 54*
    b28*b243 + 49*b28*b244 + 14*b29*b39 - 95*b29*b42 + 11*b29*b44 + 16*b29*b57
     + 28*b29*b67 + 75*b29*b97 - 46*b29*b118 + 22*b29*b123 - 87*b29*b131 + 96*
    b29*b135 - 23*b29*b143 + 68*b29*b146 - 87*b29*b153 - 16*b29*b154 + 90*b29*
    b157 - 89*b29*b175 - 46*b29*b183 - 8*b29*b184 - 42*b29*b198 + 45*b29*b200
     - 83*b29*b224 + 11*b30^2 + 49*b30*b32 + b30*b37 + 10*b30*b40 - 61*b30*b52
     - 72*b30*b66 - 86*b30*b69 - 83*b30*b75 + 7*b30*b80 + 49*b30*b91 - 94*b30*
    b101 + 3*b30*b124 - 68*b30*b136 + 6*b30*b179 - 87*b30*b180 - 30*b30*b185 - 
    87*b30*b201 + 45*b30*b206 + 51*b30*b208 + 41*b30*b212 + 41*b30*b214 + 94*
    b30*b220 + 57*b30*b243 + 65*b30*b245 + 70*b31*b56 + b31*b61 - 65*b31*b67 - 
    37*b31*b75 + 18*b31*b94 + 61*b31*b95 - 92*b31*b97 - 56*b31*b99 - 44*b31*
    b106 + 39*b31*b107 + 79*b31*b115 - 34*b31*b126 + 81*b31*b138 + 59*b31*b151
     + 77*b31*b161 + 47*b31*b162 - 59*b31*b190 + 49*b31*b218 + 62*b31*b244 + 41
    *b31*b246 + 80*b32*b41 - 52*b32*b44 + 46*b32*b52 + 20*b32*b57 - 3*b32*b58
     + 26*b32*b64 - 20*b32*b72 + 92*b32*b78 + 25*b32*b83 - 61*b32*b85 + 35*b32*
    b95 + 28*b32*b100 + 14*b32*b132 - 11*b32*b137 - 47*b32*b139 + 18*b32*b187
     + 67*b32*b196 + 74*b32*b197 - 88*b32*b200 + 49*b32*b208 + 11*b32*b210 + 39
    *b32*b212 + 75*b32*b216 + 81*b32*b226 - 94*b32*b236 + 9*b32*b238 + 64*b33*
    b37 - 82*b33*b53 + 36*b33*b55 - 46*b33*b56 + 60*b33*b61 - 54*b33*b72 - 11*
    b33*b82 + 39*b33*b91 + 10*b33*b93 - 25*b33*b94 + 81*b33*b100 + 12*b33*b122
     - 72*b33*b135 - 73*b33*b137 - 63*b33*b142 + 10*b33*b148 - 47*b33*b152 - 59
    *b33*b153 - 75*b33*b156 - 88*b33*b164 + 90*b33*b171 + 74*b33*b187 - 41*b33*
    b192 + 29*b33*b203 + 93*b33*b223 + 18*b34*b47 + 9*b34*b50 - 34*b34*b53 + 68
    *b34*b58 + 33*b34*b70 + 47*b34*b76 - 2*b34*b83 + 35*b34*b86 - 3*b34*b92 - 
    54*b34*b96 - 63*b34*b127 - 60*b34*b141 - 20*b34*b145 + 14*b34*b146 + 24*b34
    *b159 - 5*b34*b165 - 25*b34*b171 - 92*b34*b185 - 75*b34*b195 + 97*b34*b200
     + 40*b34*b207 - 20*b34*b219 - 4*b34*b221 + 5*b35*b42 + 10*b35*b61 - 54*b35
    *b77 - 16*b35*b98 + 45*b35*b117 - 20*b35*b119 - 67*b35*b121 - 72*b35*b122
     + 35*b35*b125 + 70*b35*b128 - 48*b35*b129 + 21*b35*b131 + 2*b35*b132 - 48*
    b35*b144 - 18*b35*b171 - 79*b35*b172 + 42*b35*b173 + 43*b35*b175 + 30*b35*
    b179 - 12*b35*b188 + 38*b35*b221 - 75*b35*b231 + 16*b35*b247 + 87*b36*b49
     + 100*b36*b59 + 48*b36*b79 + 48*b36*b97 - 90*b36*b125 - 11*b36*b141 + 37*
    b36*b143 + 2*b36*b165 + 76*b36*b170 + 8*b36*b171 + 19*b36*b172 - 62*b36*
    b196 + 13*b36*b204 + 98*b36*b207 - 77*b36*b209 + 15*b36*b218 + 89*b36*b236
     - 55*b36*b245 + 90*b37*b48 - 89*b37*b53 - 93*b37*b59 - 26*b37*b61 + 78*b37
    *b78 - 17*b37*b88 + 18*b37*b91 - 57*b37*b93 + 28*b37*b94 - 54*b37*b122 + 45
    *b37*b134 - 16*b37*b171 - 62*b37*b181 - 45*b37*b182 + 72*b37*b188 - 61*b37*
    b189 + 76*b37*b224 - 82*b37*b228 + 96*b37*b248 - 70*b38*b41 + 45*b38*b60 + 
    87*b38*b66 - 58*b38*b80 - 94*b38*b90 - 17*b38*b92 + 2*b38*b98 - 97*b38*b100
     + 88*b38*b112 + 3*b38*b131 - 67*b38*b135 - 72*b38*b142 + 69*b38*b148 - 99*
    b38*b155 - 92*b38*b156 + 30*b38*b168 + 86*b38*b171 + 34*b38*b180 + 83*b39*
    b59 + 83*b39*b61 - 17*b39*b82 - 22*b39*b83 + 68*b39*b84 + 74*b39*b119 - 30*
    b39*b128 + 62*b39*b132 + 8*b39*b145 + 80*b39*b156 + 42*b39*b158 - 24*b39*
    b159 - 87*b39*b182 + 16*b39*b190 + 46*b39*b195 - 83*b39*b201 + 37*b39*b215
     + 100*b39*b223 - 93*b40*b42 - 57*b40*b59 - 78*b40*b63 + 3*b40*b88 + 12*b40
    *b93 + 3*b40*b94 + 41*b40*b95 - 11*b40*b102 - 44*b40*b136 + 97*b40*b143 + 
    71*b40*b149 + 79*b40*b157 + 58*b40*b182 + 85*b40*b185 + 81*b40*b220 + 6*b40
    *b227 + 29*b40*b230 - 44*b40*b236 - 37*b40*b240 - 12*b40*b241 + 58*b41*b45
     + 58*b41*b58 - 48*b41*b60 - 47*b41*b63 + 45*b41*b66 - 29*b41*b68 + 30*b41*
    b92 + 11*b41*b105 - 60*b41*b110 + 58*b41*b115 + 4*b41*b116 + 72*b41*b124 + 
    81*b41*b133 + 93*b41*b146 - 3*b41*b166 + 91*b41*b167 - 19*b41*b175 + 26*b41
    *b184 + 35*b41*b208 + 47*b41*b226 - 94*b41*b227 + 82*b41*b232 + 98*b41*b239
     + 90*b42*b49 + 48*b42*b70 - 9*b42*b79 - 85*b42*b81 + 78*b42*b89 - 54*b42*
    b97 - 53*b42*b99 + 9*b42*b112 + 98*b42*b116 - 41*b42*b129 + 43*b42*b139 - 
    74*b42*b148 - 56*b42*b154 - 66*b42*b157 + 36*b42*b168 - 11*b42*b184 + 81*
    b42*b203 - 77*b42*b218 + 52*b42*b227 - 45*b42*b236 + 72*b42*b237 + 67*b43^2
     - 37*b43*b56 + 53*b43*b65 + 3*b43*b66 + 82*b43*b84 + 81*b43*b86 - 62*b43*
    b93 + 34*b43*b126 + 13*b43*b145 + 31*b43*b149 + 61*b43*b160 - 18*b43*b180
     + 26*b43*b187 + 56*b43*b190 + 67*b43*b192 - 56*b43*b194 - 37*b43*b195 - 61
    *b43*b196 + 4*b43*b228 - 78*b43*b246 + 99*b44*b47 - 60*b44*b48 + 37*b44*b51
     - 96*b44*b52 + 27*b44*b61 + 73*b44*b73 + 90*b44*b74 - 18*b44*b95 + 82*b44*
    b108 - 20*b44*b116 + 19*b44*b136 + 49*b44*b147 + 28*b44*b151 + 31*b44*b173
     + 35*b44*b178 - 75*b44*b184 - 66*b44*b186 + 25*b44*b190 + 96*b44*b199 + 37
    *b44*b203 + 30*b44*b205 - 57*b44*b213 - 86*b44*b216 - 41*b44*b217 - 97*b44*
    b237 - 81*b44*b239 + 39*b45*b51 - 91*b45*b67 - 52*b45*b76 + 54*b45*b85 - 49
    *b45*b100 + 37*b45*b109 - 64*b45*b110 + 52*b45*b116 + 61*b45*b117 + 48*b45*
    b119 - 76*b45*b128 + 76*b45*b134 + 94*b45*b138 - 62*b45*b149 - 24*b45*b169
     + 66*b45*b181 + 88*b45*b198 - 98*b45*b228 + 89*b45*b231 - 42*b45*b239 + 72
    *b45*b246 - 63*b45*b249 - 28*b45*b250 + 52*b46*b48 + 11*b46*b56 - 86*b46*
    b60 - 64*b46*b72 - 84*b46*b84 + 86*b46*b91 - 34*b46*b92 + 26*b46*b94 + 12*
    b46*b121 - 32*b46*b125 + 37*b46*b127 + 46*b46*b137 - 98*b46*b138 + 73*b46*
    b146 + 75*b46*b148 - 97*b46*b149 - 44*b46*b163 - 57*b46*b170 + 63*b46*b201
     - 91*b46*b224 - 40*b46*b225 - 17*b46*b237 - 31*b46*b241 - 19*b47*b53 + 16*
    b47*b56 - 35*b47*b59 + 88*b47*b72 - 27*b47*b75 + 20*b47*b78 + 11*b47*b81 - 
    42*b47*b87 + 63*b47*b111 + 21*b47*b123 - 72*b47*b127 - 91*b47*b152 - 10*b47
    *b153 + 52*b47*b205 + 97*b47*b206 - 87*b47*b212 + 83*b47*b222 - 35*b47*b234
     + 19*b47*b245 - 70*b47*b246 + 37*b48*b51 - 96*b48*b57 + 79*b48*b64 - 80*
    b48*b68 + 49*b48*b76 - 40*b48*b102 + 48*b48*b112 + 69*b48*b123 + 47*b48*
    b125 - 8*b48*b133 - 49*b48*b157 + 49*b48*b158 - 21*b48*b164 - 32*b48*b166
     + 46*b48*b181 - 4*b48*b199 - 86*b48*b212 - 41*b48*b213 + 14*b48*b226 + 99*
    b48*b243 + 99*b48*b247 + 100*b49^2 - 44*b49*b50 - 67*b49*b52 + 6*b49*b59 - 
    46*b49*b61 + 78*b49*b72 - 39*b49*b76 - 77*b49*b105 + 98*b49*b140 + 85*b49*
    b151 + 51*b49*b156 + 67*b49*b157 - 46*b49*b159 - 4*b49*b170 - 73*b49*b175
     + 38*b49*b190 + 75*b49*b191 - 86*b49*b195 - 63*b49*b198 - 22*b49*b206 + 68
    *b49*b208 - 20*b49*b220 + 80*b49*b232 + 89*b49*b237 + 17*b49*b249 - 12*b50^
    2 + 31*b50*b60 - 62*b50*b62 - 93*b50*b63 - 48*b50*b70 + 37*b50*b108 - 91*
    b50*b120 + 64*b50*b124 - 11*b50*b134 - 38*b50*b135 + 12*b50*b140 - 80*b50*
    b151 + 85*b50*b169 - 79*b50*b174 - 8*b50*b184 - 48*b50*b190 - 20*b50*b192
     - 13*b50*b195 + 13*b50*b203 - 84*b50*b208 + 17*b50*b211 + 100*b50*b212 + 7
    *b50*b222 + 87*b50*b250 - 80*b51*b52 - 12*b51*b64 + 73*b51*b73 - 66*b51*b77
     + 43*b51*b82 + 2*b51*b106 + 51*b51*b109 + 68*b51*b130 - 32*b51*b139 - 33*
    b51*b163 - 2*b51*b175 + 23*b51*b184 - 46*b51*b195 - 98*b51*b199 + 35*b51*
    b207 + 50*b51*b231 + 30*b52*b59 - 12*b52*b61 - 74*b52*b65 - 7*b52*b83 - 27*
    b52*b91 - 8*b52*b97 + 91*b52*b108 - 47*b52*b123 - 69*b52*b139 - 93*b52*b149
     - 59*b52*b160 - 51*b52*b164 - 25*b52*b168 + 73*b52*b169 - 33*b52*b194 - 79
    *b52*b198 - 47*b52*b226 + 92*b52*b238 + 26*b52*b251 - b53^2 + 76*b53*b54 - 
    43*b53*b75 - 98*b53*b79 - 78*b53*b124 + 91*b53*b144 - 75*b53*b155 - 79*b53*
    b156 - 44*b53*b177 - 18*b53*b183 + 63*b53*b200 - 73*b53*b207 + 8*b53*b208
     + 66*b53*b218 + 30*b53*b225 - 97*b53*b228 - 63*b53*b231 + 54*b53*b243 + 27
    *b54*b60 - 22*b54*b63 + 74*b54*b70 + 43*b54*b85 + 48*b54*b103 - 83*b54*b111
     + 25*b54*b118 - 59*b54*b119 - 26*b54*b129 + 60*b54*b143 + 99*b54*b156 + 43
    *b54*b157 - 30*b54*b167 - 32*b54*b173 - 76*b54*b184 + 28*b54*b201 - 53*b54*
    b206 + 34*b54*b214 - 98*b54*b215 - 97*b54*b221 - 16*b54*b249 - 36*b55^2 + 2
    *b55*b65 - 88*b55*b68 - 67*b55*b72 + 40*b55*b87 + 5*b55*b89 + 78*b55*b98 + 
    83*b55*b108 + 90*b55*b127 + 4*b55*b149 - 36*b55*b162 + 57*b55*b198 - 34*b55
    *b203 + 53*b55*b205 + 70*b55*b209 - 10*b55*b222 - 8*b55*b240 + 32*b56*b88
     + 15*b56*b91 - 13*b56*b95 - 94*b56*b96 - 51*b56*b102 + 96*b56*b115 + 48*
    b56*b140 - 56*b56*b141 - 7*b56*b142 + 25*b56*b144 + 61*b56*b155 - 73*b56*
    b161 + 52*b56*b176 - 82*b56*b180 + 20*b56*b181 - 12*b56*b190 + 81*b56*b199
     + 69*b56*b205 - 3*b56*b212 - 48*b56*b232 + 60*b56*b234 - 40*b56*b242 - 7*
    b56*b248 + 76*b56*b251 + 79*b57*b58 - 77*b57*b64 - 97*b57*b65 - 81*b57*b66
     - 15*b57*b67 + 61*b57*b68 + 94*b57*b87 + 49*b57*b116 + 97*b57*b121 + 94*
    b57*b132 + 14*b57*b133 + 6*b57*b143 - 59*b57*b156 + 73*b57*b161 - 95*b57*
    b176 - 77*b57*b177 - 66*b57*b191 - 61*b57*b204 - 22*b57*b209 - 93*b57*b238
     + 19*b57*b243 - 42*b58*b59 - 57*b58*b61 - 2*b58*b62 + 5*b58*b70 - 13*b58*
    b101 - 8*b58*b105 - 64*b58*b110 + 39*b58*b131 + 91*b58*b134 - 84*b58*b137
     - 88*b58*b141 - 34*b58*b194 + 52*b58*b207 - 90*b58*b222 + 59*b58*b225 - 91
    *b58*b240 + 92*b58*b244 + 50*b58*b248 + 33*b59*b68 + 28*b59*b78 - 85*b59*
    b90 - 19*b59*b97 + 91*b59*b118 - b59*b121 + 62*b59*b124 - 26*b59*b127 - 98*
    b59*b137 - 40*b59*b150 - 64*b59*b163 - 84*b59*b171 + 54*b59*b183 + 25*b59*
    b188 + 86*b59*b189 - 10*b59*b228 + 74*b59*b237 + 2*b60*b65 + 43*b60*b112 - 
    19*b60*b115 + 70*b60*b124 - 64*b60*b127 - 78*b60*b140 + 24*b60*b165 - 87*
    b60*b169 + 16*b60*b171 + 15*b60*b174 - 38*b60*b177 + 56*b60*b185 + 82*b60*
    b211 + 12*b60*b222 + 50*b60*b228 + 16*b60*b233 + 52*b60*b243 + 81*b60*b244
     - 57*b60*b249 - 38*b60*b250 - 70*b61*b102 + 29*b61*b104 + 88*b61*b114 - 66
    *b61*b132 - 35*b61*b144 - 21*b61*b169 - 24*b61*b173 - 91*b61*b174 - 5*b61*
    b177 - 16*b61*b181 + 54*b61*b195 - 66*b61*b196 - 32*b61*b218 + 25*b61*b220
     - 45*b61*b230 - 87*b61*b231 - 44*b61*b244 + 12*b61*b246 - 80*b61*b251 - 47
    *b62*b69 + 70*b62*b76 + 12*b62*b77 - 96*b62*b79 - 16*b62*b92 - 88*b62*b93
     - 94*b62*b119 - 96*b62*b158 - 75*b62*b180 - 99*b62*b181 + 89*b62*b187 + 15
    *b62*b196 - 99*b62*b227 - 70*b62*b233 + 78*b62*b235 - 26*b62*b242 + 20*b62*
    b244 - 80*b63*b74 + 85*b63*b93 + 98*b63*b96 + 35*b63*b129 - 7*b63*b130 + 81
    *b63*b146 + 69*b63*b162 + 3*b63*b164 + 15*b63*b190 + 10*b63*b214 + 24*b63*
    b227 - 82*b63*b236 + 85*b63*b238 + 37*b63*b245 - 87*b63*b251 - 96*b64*b73
     + 79*b64*b111 - 27*b64*b113 + 69*b64*b120 + 24*b64*b131 - 34*b64*b133 - 7*
    b64*b134 - 47*b64*b137 - 66*b64*b139 - 33*b64*b140 - 28*b64*b141 - 86*b64*
    b145 + 27*b64*b157 + 23*b64*b176 - 26*b64*b180 - 74*b64*b186 + 32*b64*b187
     - 13*b64*b188 + 34*b64*b189 + 26*b64*b215 + 2*b64*b231 - 88*b65*b76 + 42*
    b65*b80 - 47*b65*b99 + 16*b65*b107 + 96*b65*b142 - 30*b65*b145 + 6*b65*b148
     + 73*b65*b151 + 9*b65*b152 + 32*b65*b153 + 100*b65*b163 - 2*b65*b165 - 67*
    b65*b172 + 10*b65*b174 + 12*b65*b185 - 10*b65*b204 - 58*b65*b208 - 4*b65*
    b230 + 29*b65*b232 - 58*b65*b236 + 77*b66*b77 + 91*b66*b79 + 97*b66*b80 + 
    66*b66*b89 + 76*b66*b100 - 16*b66*b115 - 65*b66*b135 - 48*b66*b139 + 13*b66
    *b142 + 20*b66*b164 + b66*b176 - 97*b66*b199 - 46*b66*b212 + 18*b66*b217 + 
    81*b66*b229 + 2*b66*b232 - 59*b66*b249 - 79*b67*b71 - 61*b67*b77 + 94*b67*
    b89 + 96*b67*b90 - 20*b67*b113 - 7*b67*b123 - 73*b67*b127 + 35*b67*b143 + 
    70*b67*b163 + 11*b67*b167 - 3*b67*b172 + 53*b67*b175 - 59*b67*b183 - 36*b67
    *b203 + 77*b67*b204 + 21*b67*b207 - 36*b67*b217 - 41*b67*b219 - 65*b67*b222
     - 91*b67*b231 - 9*b67*b232 - 9*b67*b246 - 87*b67*b251 + 45*b68*b87 - 85*
    b68*b97 + 63*b68*b100 - 97*b68*b101 + 84*b68*b122 - 77*b68*b133 + 61*b68*
    b142 + 52*b68*b217 - 51*b68*b242 - 47*b68*b248 - 32*b69*b72 - 36*b69*b90 + 
    97*b69*b95 - 83*b69*b101 - 37*b69*b106 - 26*b69*b122 - 23*b69*b164 + 61*b69
    *b185 - 87*b69*b206 - 75*b69*b224 + 58*b69*b231 - 71*b69*b244 + 87*b69*b248
     + 83*b70*b82 + 89*b70*b91 - 80*b70*b112 + 61*b70*b121 - 12*b70*b133 + 50*
    b70*b160 - 49*b70*b176 + 7*b70*b185 + 97*b70*b192 + 28*b70*b193 + 44*b70*
    b198 + 29*b70*b209 - 59*b70*b220 + 73*b70*b228 - 63*b70*b239 - 11*b70*b242
     - 47*b71*b72 - 89*b71*b75 - 46*b71*b91 - 42*b71*b97 + 4*b71*b105 - 48*b71*
    b116 + 73*b71*b138 + 31*b71*b144 + 67*b71*b152 + 15*b71*b162 + 83*b71*b175
     - 32*b71*b188 + 74*b71*b199 - 77*b71*b214 - 24*b71*b241 + 26*b71*b247 - 43
    *b72*b75 + 100*b72*b81 - 75*b72*b90 + 4*b72*b98 - 43*b72*b99 - 22*b72*b101
     - 72*b72*b117 + 2*b72*b130 - 98*b72*b147 - 12*b72*b149 - 92*b72*b151 + 66*
    b72*b168 - 58*b72*b185 - 81*b72*b199 + 63*b72*b224 - 12*b72*b243 - 37*b72*
    b245 + 96*b73*b74 + 74*b73*b76 - 67*b73*b107 + 43*b73*b108 - 40*b73*b113 - 
    50*b73*b121 - 94*b73*b125 + 71*b73*b131 + 54*b73*b134 + 39*b73*b136 + 41*
    b73*b142 - 70*b73*b144 - 11*b73*b146 + 86*b73*b149 + 49*b73*b152 + 93*b73*
    b173 - 31*b73*b182 + 34*b73*b193 + 12*b73*b196 + 51*b73*b197 + 28*b73*b211
     + 11*b73*b222 + 95*b73*b230 + 89*b73*b234 - 44*b73*b251 - 75*b74*b83 + 60*
    b74*b98 + 98*b74*b99 - 70*b74*b102 + 65*b74*b104 + 56*b74*b116 - 85*b74*
    b117 - 87*b74*b118 - 55*b74*b119 + 85*b74*b122 + 66*b74*b140 - 21*b74*b148
     - 91*b74*b153 + 22*b74*b172 - 28*b74*b182 + 36*b74*b186 - 28*b74*b189 + 12
    *b74*b197 - 49*b74*b199 - 52*b74*b207 + 33*b74*b210 + 77*b74*b222 + 23*b74*
    b232 + 85*b74*b247 - 76*b75*b79 + 52*b75*b89 - 68*b75*b110 - 4*b75*b111 + 
    93*b75*b121 - 84*b75*b122 - 74*b75*b124 - 20*b75*b126 - 61*b75*b127 - 25*
    b75*b152 - 95*b75*b159 - 81*b75*b163 - 94*b75*b181 - 20*b75*b201 - 62*b75*
    b215 + 88*b75*b217 - 67*b75*b225 - 90*b75*b231 - 63*b75*b236 + 87*b75*b250
     + 20*b76*b78 + 64*b76*b85 - 22*b76*b96 + 66*b76*b99 - 98*b76*b106 + 76*b76
    *b116 + 57*b76*b122 - 57*b76*b126 - 7*b76*b130 + 57*b76*b144 - 35*b76*b162
     - 68*b76*b175 + 55*b76*b177 - 60*b76*b198 - 97*b76*b200 - 94*b76*b201 + 32
    *b76*b203 + 41*b76*b215 - 87*b76*b224 + 10*b76*b240 - 30*b76*b245 + 35*b77*
    b81 - 7*b77*b93 + 46*b77*b95 + 77*b77*b96 + 40*b77*b102 + 9*b77*b108 - b77*
    b124 - 65*b77*b129 - 3*b77*b138 - 66*b77*b169 + 15*b77*b213 + 7*b77*b220 + 
    68*b77*b229 + 51*b77*b251 + 70*b78*b96 + 5*b78*b114 + 43*b78*b126 + 93*b78*
    b131 - 41*b78*b162 - 98*b78*b176 + 3*b78*b191 - 6*b78*b199 + 67*b78*b204 + 
    94*b78*b207 - 28*b78*b222 - 61*b78*b238 + 85*b78*b250 - 42*b79*b93 - 17*b79
    *b100 + 53*b79*b108 + 57*b79*b137 - 59*b79*b146 + 62*b79*b158 + 36*b79*b165
     + 97*b79*b173 + 58*b79*b187 + 59*b79*b191 + 12*b79*b193 - 83*b79*b197 + 81
    *b79*b199 - 69*b79*b201 - 30*b79*b207 - 22*b79*b223 - 5*b79*b226 - 30*b79*
    b231 - 99*b79*b238 - 78*b79*b246 - 88*b80*b100 - 27*b80*b104 + 69*b80*b114
     - 96*b80*b128 - 43*b80*b139 + 28*b80*b148 - 47*b80*b149 + 5*b80*b162 - 78*
    b80*b171 + 59*b80*b209 - 15*b80*b218 + 61*b80*b219 + 42*b80*b220 - 62*b81*
    b92 + 30*b81*b98 - 14*b81*b105 + 33*b81*b132 + 81*b81*b140 - 28*b81*b142 + 
    27*b81*b149 + 30*b81*b156 - 30*b81*b171 + 69*b81*b173 + 10*b81*b179 - 27*
    b81*b183 + 10*b81*b191 - 56*b81*b193 + 33*b81*b198 - 80*b81*b206 - 52*b81*
    b212 + 15*b81*b213 - 18*b81*b217 + 68*b81*b220 + 18*b81*b233 + 8*b81*b244
     - 70*b82^2 + 99*b82*b92 - 45*b82*b97 + 93*b82*b109 - 58*b82*b111 - 88*b82*
    b131 - 79*b82*b138 + 62*b82*b143 + 41*b82*b147 - 54*b82*b155 - 55*b82*b159
     - 17*b82*b168 + 97*b82*b182 - 59*b82*b201 + 56*b82*b204 + 68*b82*b212 - 68
    *b82*b215 + 45*b82*b221 + 71*b82*b222 + 7*b82*b234 - 12*b83*b102 + 17*b83*
    b108 + 37*b83*b118 - 53*b83*b127 + 12*b83*b128 + 99*b83*b139 + 53*b83*b149
     - 18*b83*b156 + 74*b83*b157 + 91*b83*b169 + 80*b83*b182 - 29*b83*b191 + 33
    *b83*b223 + 65*b83*b224 - 60*b83*b227 - 32*b83*b228 + 14*b83*b232 + 25*b83*
    b238 - 39*b84*b87 + 6*b84*b89 - 15*b84*b112 - 97*b84*b146 - 85*b84*b163 + 
    96*b84*b165 + 33*b84*b166 - 39*b84*b175 + 96*b84*b189 - 97*b84*b202 - 12*
    b84*b204 - 16*b84*b222 + 10*b84*b238 - 15*b84*b240 + 71*b84*b243 + 80*b84*
    b246 + 23*b85*b86 - 28*b85*b97 - 3*b85*b104 + 84*b85*b109 + 51*b85*b134 + 
    25*b85*b139 + 21*b85*b154 - 80*b85*b163 - 68*b85*b166 - 22*b85*b172 - 64*
    b85*b179 - 11*b85*b184 + 12*b85*b207 + 32*b85*b227 + 85*b85*b233 + 29*b85*
    b244 + 47*b85*b250 - 53*b86*b90 - 3*b86*b92 + 78*b86*b93 - 3*b86*b96 + 61*
    b86*b104 - 10*b86*b105 + 28*b86*b111 + 77*b86*b137 + 41*b86*b145 + 98*b86*
    b157 - 5*b86*b160 - 66*b86*b162 + 30*b86*b164 - 53*b86*b173 - 79*b86*b182
     + 66*b86*b198 + 7*b86*b208 - 22*b86*b230 + 57*b86*b248 + 35*b86*b250 - 13*
    b86*b251 + 59*b87*b87 + 92*b87*b101 - 48*b87*b134 - 24*b87*b154 - 31*b87*
    b175 + 26*b87*b187 + 47*b87*b193 - 59*b87*b201 - 82*b87*b210 - 59*b87*b236
     - 49*b87*b242 + 27*b87*b244 - 27*b87*b248 + 63*b87*b249 - 94*b88*b93 - 70*
    b88*b113 + 43*b88*b114 - 63*b88*b116 + 5*b88*b130 - 33*b88*b153 - 97*b88*
    b168 - 6*b88*b174 - 98*b88*b175 + 86*b88*b180 + 90*b88*b187 - 18*b88*b194
     - 8*b88*b205 + b88*b225 - 12*b88*b226 + 99*b88*b233 - 10*b89*b91 + 41*b89*
    b95 + 26*b89*b111 + 18*b89*b112 - 85*b89*b117 + 39*b89*b127 + 7*b89*b130 - 
    57*b89*b132 + 5*b89*b143 + 20*b89*b144 + 57*b89*b169 + 81*b89*b177 + 67*b89
    *b178 + 83*b89*b209 + 72*b89*b224 + 61*b89*b235 + 99*b89*b246 + 13*b90*b94
     - 93*b90*b109 - 66*b90*b115 - 44*b90*b124 + 91*b90*b136 + 78*b90*b138 + 48
    *b90*b157 - 17*b90*b160 + 45*b90*b172 - 47*b90*b177 - 27*b90*b179 + 67*b90*
    b236 - 60*b90*b242 - 83*b90*b251 + 61*b91*b94 - 42*b91*b108 - 36*b91*b119
     - 60*b91*b131 - 48*b91*b143 - 99*b91*b147 - 54*b91*b151 - 79*b91*b153 + 28
    *b91*b168 - 25*b91*b183 - 62*b91*b206 - 3*b91*b211 + 82*b91*b220 - 20*b91*
    b234 + 14*b91*b245 + 17*b92^2 - b92*b99 - 7*b92*b114 - 34*b92*b115 - 37*b92
    *b162 + 67*b92*b168 - 10*b92*b169 - 4*b92*b170 + 59*b92*b176 - 90*b92*b194
     - 76*b92*b195 - 15*b92*b197 - 83*b92*b239 + 28*b93*b101 - 43*b93*b103 + 83
    *b93*b104 + 31*b93*b117 + 39*b93*b118 - 54*b93*b122 - 16*b93*b152 - 71*b93*
    b170 + 29*b93*b189 + 96*b93*b201 + 48*b93*b216 - 96*b93*b232 - 58*b93*b236
     - 11*b93*b246 + 48*b94*b103 - 97*b94*b104 + 49*b94*b123 + 44*b94*b148 - 3*
    b94*b157 + 63*b94*b173 + 96*b94*b178 + 44*b94*b185 - 44*b94*b187 - 30*b94*
    b209 - 20*b94*b212 + 49*b94*b228 + 63*b94*b238 + 6*b95*b118 + 31*b95*b123
     + 67*b95*b152 + 68*b95*b157 + 76*b95*b173 - 39*b95*b183 - 31*b95*b199 - 14
    *b95*b201 - 42*b95*b207 - 3*b95*b208 - b95*b213 - 97*b95*b219 - 52*b95*b230
     - 91*b95*b231 - 18*b95*b233 + 69*b95*b240 - 71*b95*b245 - 56*b95*b249 + 38
    *b96*b98 + 52*b96*b112 + 93*b96*b115 + 89*b96*b121 - 28*b96*b144 - 14*b96*
    b149 - 23*b96*b162 - 68*b96*b170 - 72*b96*b171 - 90*b96*b173 + 19*b96*b181
     - 33*b96*b189 - 17*b96*b194 + 80*b96*b203 + 35*b96*b205 + 82*b96*b232 - 67
    *b96*b248 - 3*b97*b112 + 7*b97*b116 + 28*b97*b123 - 94*b97*b130 - 22*b97*
    b139 - 39*b97*b156 + 97*b97*b162 - 7*b97*b164 + 96*b97*b171 + b97*b191 - 76
    *b97*b192 - 23*b97*b199 - 49*b97*b212 - 43*b97*b215 + 97*b97*b226 + 81*b97*
    b239 - 13*b98*b107 - 15*b98*b115 + 49*b98*b130 + 96*b98*b148 - 8*b98*b154
     + 14*b98*b156 - 46*b98*b166 + 96*b98*b171 - 22*b98*b173 - 40*b98*b176 - 33
    *b98*b180 + 98*b98*b186 - 68*b98*b189 - 24*b98*b191 + 98*b98*b202 + 20*b98*
    b209 - 30*b98*b213 - 72*b98*b220 + 41*b98*b246 + 3*b99*b139 - 88*b99*b141
     + 45*b99*b182 - 37*b99*b192 - 78*b99*b196 - 45*b99*b197 + 12*b99*b202 - 81
    *b100*b111 + 13*b100*b122 - 51*b100*b129 - 85*b100*b145 - 35*b100*b146 + 68
    *b100*b150 + 96*b100*b178 + 12*b100*b179 + 33*b100*b194 - 76*b100*b203 + 39
    *b100*b229 - 65*b100*b236 + 91*b101^2 + 44*b101*b112 + 68*b101*b122 + 49*
    b101*b128 - 8*b101*b132 + 92*b101*b133 - 65*b101*b151 - 45*b101*b180 - 10*
    b101*b182 + 99*b101*b183 - 17*b101*b194 - 29*b101*b196 + 71*b101*b199 + 41*
    b101*b207 - 56*b101*b214 + 23*b101*b216 + 22*b101*b228 - 54*b101*b230 + 61*
    b101*b245 + 59*b101*b250 + 18*b102*b103 + 13*b102*b106 - 72*b102*b120 + 66*
    b102*b124 + 10*b102*b132 + 72*b102*b134 - 27*b102*b162 - 66*b102*b182 - 25*
    b102*b215 + 11*b102*b223 + 5*b102*b230 - 98*b102*b235 - 69*b102*b237 - 82*
    b102*b239 + 24*b103*b111 - 22*b103*b131 - 14*b103*b143 + 40*b103*b151 - 19*
    b103*b157 - 8*b103*b169 - 86*b103*b179 + 40*b103*b182 - 29*b103*b198 - 31*
    b103*b199 - 47*b103*b223 + 77*b103*b225 + 78*b103*b245 - 58*b103*b247 - 23*
    b104*b170 - 53*b104*b182 + 42*b104*b185 - 53*b104*b186 - 58*b104*b207 + 69*
    b104*b208 - 97*b104*b224 + 82*b104*b234 - 37*b104*b247 + 93*b104*b248 - 16*
    b105*b108 + 39*b105*b117 - 75*b105*b118 - 75*b105*b149 - 71*b105*b150 - 8*
    b105*b157 - 7*b105*b161 + 26*b105*b162 + 75*b105*b173 - 71*b105*b184 - 95*
    b105*b188 - 60*b105*b194 - 95*b105*b198 + 88*b106*b119 - 33*b106*b120 + 7*
    b106*b127 + 90*b106*b129 - b106*b135 - 76*b106*b148 + 73*b106*b160 + 44*
    b106*b181 + 86*b106*b184 - 56*b106*b185 + 69*b106*b211 + 60*b106*b222 - 77*
    b106*b230 + b106*b235 - 37*b106*b244 + 25*b107*b113 - 60*b107*b114 + 85*
    b107*b121 + 94*b107*b129 - 19*b107*b135 - 13*b107*b138 - 16*b107*b146 - 6*
    b107*b154 - 24*b107*b160 + 84*b107*b168 + 77*b107*b185 + 99*b107*b195 + 3*
    b107*b208 + 93*b107*b228 + 66*b107*b237 - 18*b107*b238 + 41*b107*b241 - 29*
    b107*b243 - 33*b108*b137 + 73*b108*b185 - 6*b108*b212 + 97*b108*b224 - 79*
    b109*b114 - 23*b109*b119 + 94*b109*b125 + 14*b109*b134 - 86*b109*b141 - 99*
    b109*b161 - 6*b109*b181 + 77*b109*b188 - 74*b109*b197 + 98*b109*b204 + 28*
    b109*b218 + 59*b109*b219 + 85*b109*b220 + 40*b109*b224 - 41*b109*b232 + 82*
    b109*b237 - 65*b109*b241 + 94*b110*b129 - 27*b110*b144 + 7*b110*b165 + 61*
    b110*b204 - 38*b110*b205 + 86*b110*b214 + 40*b110*b218 + 52*b110*b230 - 33*
    b110*b235 + 70*b110*b242 - 15*b110*b248 + 27*b111*b126 + 57*b111*b128 - 23*
    b111*b140 + 3*b111*b142 + 43*b111*b144 - 61*b111*b154 - 80*b111*b160 + 45*
    b111*b161 + 84*b111*b166 - 91*b111*b168 + 35*b111*b172 - 10*b111*b181 - 59*
    b111*b188 + 36*b111*b193 - 84*b111*b203 + 80*b111*b205 - 15*b111*b206 + 57*
    b111*b213 - 54*b111*b226 - 96*b112*b120 - 4*b112*b138 - 15*b112*b147 - 79*
    b112*b158 + 97*b112*b176 - 67*b112*b179 - 5*b112*b180 - 52*b112*b186 + 16*
    b112*b188 - 36*b112*b189 - 32*b112*b190 - 64*b112*b199 - 37*b112*b200 + 87*
    b112*b214 - 72*b112*b217 + 61*b112*b228 + 85*b112*b237 - 65*b113*b114 + 98*
    b113*b117 + 47*b113*b120 - 25*b113*b128 - 91*b113*b139 - 42*b113*b176 + 36*
    b113*b177 - 45*b113*b188 - 71*b113*b194 - 50*b113*b204 + 26*b113*b209 - 6*
    b113*b212 - 36*b113*b229 - 70*b113*b231 + 87*b113*b238 + 68*b114*b119 + 87*
    b114*b124 - 64*b114*b127 - 83*b114*b128 + 56*b114*b129 - 66*b114*b139 + 39*
    b114*b143 - 23*b114*b144 + 12*b114*b155 - 19*b114*b159 - 41*b114*b163 + 63*
    b114*b170 + 5*b114*b172 + 6*b114*b174 - 10*b114*b175 + 56*b114*b186 - 64*
    b114*b203 + 27*b114*b222 + 73*b114*b224 + 95*b114*b230 + 60*b114*b250 - 5*
    b115*b131 - 11*b115*b152 + 77*b115*b165 - 61*b115*b167 + 77*b115*b181 + 57*
    b115*b182 + 54*b115*b197 - 95*b115*b204 - 10*b115*b229 + 98*b115*b244 + 65*
    b115*b246 - 99*b116*b183 + 67*b116*b217 - 96*b116*b233 - 64*b116*b238 - 96*
    b117*b152 + 85*b117*b165 - 33*b117*b170 + 96*b117*b171 + 21*b117*b177 + 43*
    b117*b186 + 64*b117*b202 + 37*b117*b206 - 54*b117*b219 + 80*b117*b235 + 18*
    b117*b244 - 19*b117*b251 - 80*b118*b126 + 95*b118*b127 - 84*b118*b130 - 46*
    b118*b132 - 44*b118*b147 + 41*b118*b149 - 11*b118*b152 + 100*b118*b159 - 40
    *b118*b169 - 54*b118*b170 - 98*b118*b171 + 19*b118*b188 + 8*b118*b191 + 11*
    b118*b214 + 78*b118*b222 - 85*b118*b225 - b118*b228 - 68*b118*b236 + 34*
    b118*b251 - 71*b119^2 + 59*b119*b125 + 62*b119*b143 + 5*b119*b144 - 19*b119
    *b155 - 74*b119*b159 - 90*b119*b183 + 18*b119*b184 + 79*b119*b195 - 48*b119
    *b221 - 13*b119*b228 - 31*b119*b236 + 35*b120*b132 + 9*b120*b139 + 16*b120*
    b147 - 4*b120*b153 + 5*b120*b167 - 98*b120*b172 - 27*b120*b183 + 59*b120*
    b195 - 98*b120*b202 - 79*b120*b206 - 4*b120*b226 + b120*b232 - 20*b120*b233
     + 20*b120*b237 - 42*b120*b238 + 5*b120*b243 - 2*b120*b244 + 71*b121*b125
     - 5*b121*b133 + 10*b121*b144 + 20*b121*b155 - 60*b121*b165 + 36*b121*b172
     + 7*b121*b199 + 48*b121*b206 + 75*b121*b229 + 59*b121*b235 + 20*b122*b134
     + 36*b122*b141 + 11*b122*b143 - 11*b122*b155 + 44*b122*b172 + 100*b122*
    b182 - 24*b122*b185 - 35*b122*b212 - 20*b122*b215 + 44*b122*b233 + 7*b122*
    b246 + 89*b123*b161 + 8*b123*b178 - 45*b123*b186 - 74*b123*b192 + 39*b123*
    b199 + 10*b123*b201 + 41*b123*b204 + 53*b123*b222 + 75*b123*b230 + 16*b123*
    b235 + 75*b123*b244 - 52*b123*b247 + 37*b124*b132 + 77*b124*b154 - 52*b124*
    b190 + 63*b124*b194 - 31*b124*b217 - 7*b124*b219 + 81*b124*b241 + 62*b125*
    b135 - 84*b125*b141 + 23*b125*b148 + 45*b125*b153 - 60*b125*b166 + 43*b125*
    b176 + 65*b125*b177 - 68*b125*b184 + 61*b125*b187 - 22*b125*b192 + 15*b125*
    b197 + 17*b125*b203 + 67*b125*b207 - 57*b126*b129 + 14*b126*b135 + 75*b126*
    b152 - 67*b126*b166 + 100*b126*b170 + 63*b126*b173 - 43*b126*b174 - 86*b126
    *b183 - 59*b126*b208 + 20*b126*b224 - 97*b126*b231 + 49*b126*b236 + 77*b126
    *b243 + 2*b127*b129 - 32*b127*b132 - 37*b127*b133 - 8*b127*b163 + 98*b127*
    b165 + 94*b127*b184 - 99*b127*b195 + 44*b127*b202 - 42*b127*b204 - 35*b127*
    b210 + 98*b127*b240 - 36*b127*b249 + 90*b128*b130 - 92*b128*b168 - 13*b128*
    b170 + 72*b128*b179 - 6*b128*b187 + 85*b128*b194 + 69*b128*b219 + 41*b128*
    b220 - 76*b128*b237 + 3*b128*b246 - 46*b129*b169 + 21*b129*b193 - 20*b129*
    b212 - 91*b129*b217 + 93*b129*b220 - 33*b129*b226 - 23*b129*b240 - 18*b130*
    b144 - 52*b130*b148 - 15*b130*b163 - 68*b130*b164 - 99*b130*b171 - 91*b130*
    b172 + 49*b130*b177 + 57*b130*b181 - 44*b130*b183 + 91*b130*b185 - 60*b130*
    b186 + 16*b130*b210 + 37*b130*b215 + 43*b130*b227 - 15*b130*b242 + 11*b131*
    b135 + 28*b131*b152 + 72*b131*b170 - 71*b131*b171 + 38*b131*b172 + 24*b131*
    b197 + 99*b131*b205 - 58*b131*b207 + 28*b131*b213 + 95*b131*b237 - 56*b132*
    b134 + 26*b132*b146 - 41*b132*b155 + 60*b132*b169 + 58*b132*b177 + 19*b132*
    b205 + 89*b132*b220 + 83*b132*b232 - 13*b132*b236 + 100*b132*b249 + 29*b133
    *b140 + 9*b133*b154 - 60*b133*b162 + 14*b133*b164 + 90*b133*b178 + 4*b133*
    b184 + 13*b133*b188 + 51*b133*b190 - 5*b133*b202 + 3*b133*b203 + b133*b213
     + 96*b133*b240 - 52*b133*b242 + 33*b133*b244 - 41*b134*b138 - 2*b134*b139
     - 35*b134*b142 + 25*b134*b149 + 51*b134*b153 + 18*b134*b155 + 15*b134*b157
     - 53*b134*b160 - 88*b134*b169 + b134*b180 + 83*b134*b198 + 41*b134*b202 - 
    10*b134*b204 - 78*b134*b208 - 34*b134*b209 - 43*b134*b212 + 52*b134*b227 + 
    86*b134*b240 - 40*b135*b142 - 14*b135*b152 + 2*b135*b153 + 60*b135*b154 + 
    82*b135*b160 - 78*b135*b168 + 25*b135*b180 - 76*b135*b201 + 51*b135*b202 + 
    87*b135*b208 + 35*b135*b217 + 42*b135*b222 + 74*b135*b233 + 96*b135*b238 + 
    62*b135*b242 - 52*b135*b243 - 94*b135*b248 - 90*b136*b145 - 89*b136*b146 + 
    4*b136*b147 + 57*b136*b150 + 25*b136*b153 + 91*b136*b160 + 35*b136*b163 - 
    40*b136*b190 + 86*b136*b205 + 54*b136*b214 + 73*b136*b221 - 40*b136*b225 + 
    91*b136*b244 - 88*b137*b144 - 67*b137*b156 + 75*b137*b181 - 91*b137*b214 - 
    80*b137*b219 + 86*b137*b225 + 100*b137*b229 + 59*b137*b234 + 79*b137*b247
     + 12*b138*b153 + 21*b138*b157 - 4*b138*b173 - 83*b138*b191 - 62*b138*b194
     + 90*b138*b201 + 37*b138*b205 - 44*b138*b224 - 88*b138*b234 + 44*b139*b152
     - 75*b139*b153 + 8*b139*b162 + 50*b139*b166 + 88*b139*b170 - 82*b139*b183
     + 82*b139*b188 + 87*b139*b192 + b139*b193 + 34*b139*b206 + 38*b139*b232 - 
    61*b139*b238 + 51*b139*b250 - 85*b140*b152 - 3*b140*b196 - 62*b140*b198 - 
    42*b140*b215 - 57*b140*b217 + 34*b140*b224 - 90*b140*b229 + 32*b140*b241 + 
    87*b140*b247 - 94*b141*b143 + 55*b141*b158 - 26*b141*b161 + 83*b141*b170 - 
    37*b141*b173 + 67*b141*b174 + b141*b179 - 97*b141*b207 + 75*b141*b223 - 37*
    b141*b232 - 34*b141*b248 + 73*b142*b146 + 57*b142*b150 - 26*b142*b157 - 86*
    b142*b161 + 44*b142*b163 - 95*b142*b172 + 18*b142*b185 - 30*b142*b186 + 5*
    b142*b207 - 27*b142*b208 + 77*b142*b211 - 31*b142*b212 - 59*b142*b224 + 9*
    b142*b240 + 3*b142*b242 + 34*b143^2 + 26*b143*b146 - 22*b143*b153 - 97*b143
    *b190 + 95*b143*b210 + 3*b143*b231 + 56*b143*b232 + 85*b144*b156 - 47*b144*
    b162 - 34*b144*b164 - 28*b144*b167 + 36*b144*b171 + 11*b144*b183 + 36*b144*
    b210 + 4*b144*b211 - 46*b144*b212 - 33*b144*b214 + 56*b144*b219 - 66*b144*
    b228 + 7*b144*b232 - 79*b144*b237 - 29*b145*b147 + 41*b145*b148 - 60*b145*
    b174 + 47*b145*b175 + 68*b145*b197 + 49*b145*b198 - 11*b145*b210 - 56*b145*
    b222 + 3*b145*b231 - 23*b145*b234 - 18*b145*b244 - 38*b145*b251 + 30*b146*
    b149 + 51*b146*b156 + 29*b146*b168 + 86*b146*b209 + 61*b146*b222 + 91*b146*
    b227 - 66*b146*b237 + 75*b146*b240 - 74*b146*b246 + 9*b146*b250 + 43*b147*
    b148 + 31*b147*b186 - 94*b147*b191 + 29*b147*b203 - 97*b147*b217 + 49*b147*
    b241 + 15*b147*b244 + 34*b147*b247 - 52*b147*b250 - 6*b148*b154 + 49*b148*
    b174 + 75*b148*b195 - 35*b148*b209 + 65*b148*b214 - 45*b149*b164 - 22*b149*
    b176 + 41*b149*b186 - 18*b149*b196 + 8*b149*b220 - 79*b149*b221 + 17*b149*
    b225 + 58*b149*b230 - 17*b149*b234 + 36*b149*b237 + 80*b150*b157 - 17*b150*
    b178 - 33*b150*b182 - 97*b150*b185 - 45*b150*b196 - 64*b150*b198 + 80*b150*
    b221 + b150*b243 - 84*b150*b247 - 28*b151*b170 - 27*b151*b182 + 15*b151*
    b187 + 43*b151*b246 - 13*b151*b249 + 75*b152*b159 + 83*b152*b198 - 85*b152*
    b199 - 90*b152*b219 - 93*b152*b242 - 33*b152*b244 + 21*b152*b246 + 76*b152*
    b247 - 66*b153*b172 + 62*b153*b190 + 57*b153*b191 - 27*b153*b195 + 59*b153*
    b204 - 29*b153*b207 - 12*b153*b222 - 80*b154*b155 - 46*b154*b162 - 19*b154*
    b164 + 2*b154*b171 + 48*b154*b192 + 42*b154*b194 + 75*b154*b202 + 96*b154*
    b204 + 41*b154*b212 + 27*b154*b236 + 86*b155*b175 - 2*b155*b177 + 86*b155*
    b181 - 55*b155*b194 - 24*b155*b197 - 16*b155*b199 - 42*b155*b227 - 31*b155*
    b235 - 22*b155*b240 - 81*b155*b241 + 54*b155*b242 + 57*b155*b243 + 55*b155*
    b251 + 58*b156*b200 - 43*b156*b230 + 30*b156*b246 - 75*b157*b163 - 30*b157*
    b165 - 82*b157*b171 + 70*b157*b176 - 86*b157*b178 + 62*b157*b188 - 64*b157*
    b190 + 56*b157*b192 - 67*b157*b197 + 34*b157*b204 - 45*b157*b205 + 5*b157*
    b210 - 13*b157*b223 + 40*b157*b251 + 58*b158*b173 - 19*b158*b187 - 13*b158*
    b203 + 33*b158*b207 - 7*b158*b217 - 55*b158*b225 - 87*b158*b227 - 37*b158*
    b230 - 21*b159*b184 - 50*b159*b189 + 78*b159*b194 - 44*b159*b214 - 68*b159*
    b222 - 16*b159*b242 - 18*b159*b247 + 29*b159*b251 + 14*b160*b163 - 54*b160*
    b164 - 61*b160*b170 + 31*b160*b173 + 89*b160*b180 + 88*b160*b183 + 24*b160*
    b186 + 39*b160*b198 - 37*b160*b202 + 30*b160*b213 + 55*b160*b225 - 37*b160*
    b228 + 58*b161*b162 - 77*b161*b170 - 55*b161*b203 - 74*b161*b218 - 89*b161*
    b219 - 46*b161*b224 - 12*b161*b237 - 26*b161*b245 - 88*b162*b167 - 43*b162*
    b181 + 85*b162*b182 - 6*b162*b189 - 81*b162*b197 + 26*b162*b206 - 92*b162*
    b210 + 4*b162*b216 + 41*b162*b221 + 56*b162*b223 - 32*b162*b228 + 92*b162*
    b239 - 76*b163*b172 - 26*b163*b187 - 95*b163*b189 - 72*b163*b216 + 4*b163*
    b221 - 26*b163*b224 - 39*b163*b234 + 70*b163*b242 - 22*b163*b249 - 63*b163*
    b250 - 94*b164*b165 - 41*b164*b181 + 8*b164*b198 - 35*b164*b201 + 17*b164*
    b206 + 90*b164*b207 - 32*b164*b214 - b164*b222 - 73*b164*b242 - 82*b164*
    b246 - 76*b165*b174 + 78*b165*b184 + 33*b165*b186 + 50*b165*b204 - 42*b165*
    b206 - 46*b165*b212 + 5*b165*b220 - 73*b165*b235 - 30*b165*b236 + 76*b165*
    b246 + 49*b165*b250 - 3*b165*b251 + 29*b166*b176 - 92*b166*b177 + 15*b166*
    b183 + 5*b166*b196 - 45*b166*b209 - 33*b166*b214 - 67*b166*b239 + 18*b166*
    b244 + 51*b166*b245 - 67*b166*b246 + 3*b166*b247 - 48*b167^2 - 28*b167*b196
     + 69*b167*b204 + 38*b167*b208 + 52*b167*b222 + 35*b167*b245 - 74*b168*b170
     + 67*b168*b175 - 70*b168*b183 + 32*b168*b198 + 69*b168*b201 + 2*b168*b205
     - 3*b168*b209 - 20*b168*b225 - 28*b168*b229 + 83*b169*b172 + 14*b169*b174
     - 15*b169*b177 + 52*b169*b191 - 91*b169*b195 + 45*b169*b237 + 36*b169*b250
     - 64*b170*b181 - 52*b170*b194 + 87*b170*b197 - 32*b170*b225 + 48*b170*b241
     - 3*b170*b248 + 85*b170*b250 + 78*b171*b181 + 83*b171*b190 - 83*b171*b208
     - 81*b171*b209 - 39*b171*b214 + 69*b171*b221 + 94*b171*b238 + 37*b172*b183
     + 78*b172*b190 - 73*b172*b191 + 25*b172*b192 - 73*b172*b202 + 98*b172*b212
     + 71*b172*b214 + 43*b172*b222 + 51*b172*b244 + 81*b172*b245 - 98*b173*b181
     - 6*b173*b182 - 70*b173*b183 + 25*b173*b189 + 87*b173*b196 + 75*b173*b220
     + 89*b173*b227 - 86*b173*b236 - 16*b173*b238 + 70*b173*b244 + 83*b173*b249
     + 47*b174*b191 + 60*b174*b199 - 76*b174*b206 + 75*b174*b213 + 52*b174*b229
     + 83*b174*b230 + 65*b174*b232 - 55*b174*b245 - 48*b174*b249 + 33*b175*b177
     - 53*b175*b207 + 92*b175*b209 + 59*b175*b210 + 28*b175*b211 - 9*b175*b214
     + 4*b175*b215 + 74*b175*b217 + 82*b175*b230 + 76*b175*b232 + 18*b175*b235
     - 80*b175*b239 + 4*b175*b241 - 36*b176*b182 - 20*b176*b184 - 6*b176*b189
     - 3*b176*b214 - 79*b176*b219 + 66*b177*b183 + 73*b177*b205 - 73*b177*b212
     + 58*b177*b228 + 88*b177*b233 + 87*b177*b246 + 68*b178*b184 - 68*b178*b188
     + 76*b178*b190 + 46*b178*b192 + 45*b178*b197 + 76*b178*b198 - 69*b178*b205
     + 23*b178*b246 - 64*b179*b189 - 8*b179*b199 - 77*b179*b204 + 10*b179*b210
     + 84*b179*b211 - 14*b179*b218 + 23*b179*b219 + 43*b179*b226 - 54*b179*b231
     + 99*b179*b251 + 31*b180*b183 - 19*b180*b194 - 92*b180*b198 - 99*b180*b212
     - 56*b180*b218 - 26*b180*b251 + 19*b181*b206 + 75*b181*b217 - 4*b181*b224
     + 6*b181*b229 - 6*b181*b237 + 77*b181*b243 - 76*b181*b247 - 4*b182*b184 - 
    9*b182*b196 - 47*b182*b202 + 52*b182*b210 - 24*b182*b215 + 43*b182*b237 - 9
    *b182*b243 - 77*b182*b245 - 55*b183^2 - 68*b183*b188 + 69*b183*b189 - 24*
    b183*b194 - 54*b183*b202 + 73*b183*b206 - 54*b183*b211 - 75*b183*b219 - 31*
    b183*b221 + 10*b183*b231 + 67*b183*b248 - b184^2 + 25*b184*b209 + 22*b184*
    b224 + 3*b184*b231 + 76*b184*b249 - 94*b185*b193 + 72*b185*b210 - 3*b186*
    b206 + 56*b186*b211 + 80*b186*b216 - 33*b186*b222 + 94*b186*b225 - 97*b186*
    b232 + 80*b186*b237 + 27*b186*b240 - 80*b186*b244 - 71*b186*b246 + 52*b187*
    b192 - 43*b187*b207 - 43*b187*b234 + 60*b187*b235 + 88*b187*b237 - 49*b187*
    b238 - 9*b188*b197 - 6*b188*b200 - 62*b188*b226 + 61*b188*b230 - 87*b188*
    b238 + 94*b188*b246 + 58*b189*b192 - 17*b189*b204 - 65*b189*b232 + 8*b189*
    b245 + 66*b189*b246 - 97*b190*b198 - 42*b190*b203 - 70*b190*b207 + 21*b190*
    b218 - 82*b190*b223 - 37*b190*b245 + 27*b190*b249 + 17*b190*b250 - 9*b190*
    b251 + 40*b191*b203 - 28*b191*b208 + 98*b191*b218 - 21*b191*b225 + 81*b191*
    b229 + 68*b191*b239 - 37*b192*b211 + 29*b193^2 - 49*b193*b198 - 35*b193*
    b215 - 63*b193*b216 - 40*b193*b220 - 26*b193*b226 + 50*b193*b236 + 82*b193*
    b242 - 50*b193*b244 + 70*b194*b200 + 25*b194*b208 + 35*b194*b211 + 56*b194*
    b215 + 50*b194*b216 - 8*b194*b224 - 40*b194*b228 - 26*b194*b242 - 91*b195*
    b211 - 96*b195*b217 - 60*b195*b232 - 33*b195*b242 - 34*b195*b249 - 56*b196*
    b206 - 98*b196*b214 + 63*b196*b225 + 79*b196*b227 + 84*b196*b228 - 80*b196*
    b231 - b196*b239 + 83*b196*b248 + 4*b197*b200 - 75*b197*b204 - 83*b197*b235
     + 17*b197*b248 - 92*b198^2 + 20*b198*b207 - 19*b198*b217 + 85*b198*b225 + 
    41*b198*b240 + 15*b199*b201 + 85*b199*b211 + 51*b199*b218 - 82*b199*b236 - 
    93*b199*b240 - 47*b200*b210 + 4*b200*b211 - 17*b200*b215 + 94*b200*b218 + 
    100*b201*b232 + 29*b201*b244 - 5*b202*b203 - 78*b202*b214 + 51*b202*b215 + 
    65*b202*b216 - 48*b202*b224 + 86*b202*b227 - 3*b202*b237 - 57*b203*b207 + 
    17*b203*b210 + 66*b203*b217 + 45*b203*b220 - 75*b203*b225 - 85*b203*b227 + 
    74*b203*b239 - 69*b203*b248 + 47*b203*b249 + 87*b203*b250 - 61*b204*b230 + 
    13*b204*b234 - 17*b205*b208 - 9*b205*b216 - 87*b205*b225 - 61*b205*b229 + 
    89*b205*b239 - 70*b205*b250 + 83*b206*b215 + 12*b206*b223 + 66*b206*b224 - 
    46*b206*b250 - b206*b251 - 85*b207*b223 + 50*b208^2 + 52*b208*b214 - 75*
    b208*b215 + 82*b208*b227 - 31*b208*b229 - 38*b208*b235 - 59*b208*b238 - 5*
    b209*b211 + 50*b209*b229 + 66*b210*b214 + 35*b210*b233 + 37*b210*b236 - 23*
    b210*b243 - 69*b211*b214 - 13*b211*b221 - 85*b211*b243 - 26*b213*b239 - 44*
    b213*b247 - 73*b213*b248 - 8*b213*b249 + 22*b213*b251 - 94*b214*b229 + 19*
    b214*b248 - 39*b214*b250 + 11*b215*b217 + 56*b215*b238 + 84*b215*b247 + 94*
    b215*b250 + 87*b215*b251 - 25*b216*b230 - 12*b217*b221 - 98*b217*b228 - 33*
    b217*b248 + 12*b218*b224 + 35*b218*b229 - 7*b218*b234 + 56*b218*b236 + 7*
    b218*b237 + 18*b218*b245 - 75*b219^2 - 44*b219*b221 + 84*b219*b227 + 8*b219
    *b239 - 57*b220*b222 - 55*b220*b226 - 80*b220*b238 + 72*b220*b244 + 84*b221
    *b228 - 18*b221*b247 - 70*b222*b239 + 9*b222*b246 - 49*b223*b241 + 89*b223*
    b244 - b224*b232 - 92*b224*b236 - 47*b224*b243 + 6*b224*b246 + 88*b225*b225
     - 20*b225*b233 + 23*b225*b246 + 6*b226*b245 + 57*b226*b248 - 4*b226*b249
     + 70*b227*b230 - 16*b227*b236 - 37*b227*b241 + 9*b227*b243 + 97*b227*b246
     + 34*b228*b231 - 95*b228*b245 + 27*b229*b245 + 64*b230*b250 - 44*b231*b233
     + 43*b232*b234 + 76*b232*b242 - 29*b233*b238 - 34*b233*b248 + 23*b234*b240
     + 2*b235*b237 + 98*b237*b247 - 10*b238*b242 - 66*b240*b241 - 76*b240*b244
     + 86*b241*b251 + 55*b243*b249 - 47*b247*b249 + 53*b247*b251;

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 >= 1;