#  MINLP written by GAMS Convert at 01/12/18 13:30:14
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#         45       31        0       14        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        211        1      210        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        631      421      210        0
# 
#  Reformulation has removed 1 variable and 1 equation


var b1 binary >= 0, <= 1;
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;

minimize obj: 248*b1*b113 + 279*b1*b114 + 310*b1*b115 + 341*b1*b116 + 372*b1*
    b117 + 403*b1*b118 + 434*b1*b119 + 304*b1*b148 + 342*b1*b149 + 380*b1*b150
     + 418*b1*b151 + 456*b1*b152 + 494*b1*b153 + 532*b1*b154 + 312*b1*b155 + 
    351*b1*b156 + 390*b1*b157 + 429*b1*b158 + 468*b1*b159 + 507*b1*b160 + 546*
    b1*b161 + 176*b1*b204 + 198*b1*b205 + 220*b1*b206 + 242*b1*b207 + 264*b1*
    b208 + 286*b1*b209 + 308*b1*b210 + 279*b2*b113 + 248*b2*b114 + 279*b2*b115
     + 310*b2*b116 + 341*b2*b117 + 372*b2*b118 + 403*b2*b119 + 342*b2*b148 + 
    304*b2*b149 + 342*b2*b150 + 380*b2*b151 + 418*b2*b152 + 456*b2*b153 + 494*
    b2*b154 + 351*b2*b155 + 312*b2*b156 + 351*b2*b157 + 390*b2*b158 + 429*b2*
    b159 + 468*b2*b160 + 507*b2*b161 + 198*b2*b204 + 176*b2*b205 + 198*b2*b206
     + 220*b2*b207 + 242*b2*b208 + 264*b2*b209 + 286*b2*b210 + 310*b3*b113 + 
    279*b3*b114 + 248*b3*b115 + 279*b3*b116 + 310*b3*b117 + 341*b3*b118 + 372*
    b3*b119 + 380*b3*b148 + 342*b3*b149 + 304*b3*b150 + 342*b3*b151 + 380*b3*
    b152 + 418*b3*b153 + 456*b3*b154 + 390*b3*b155 + 351*b3*b156 + 312*b3*b157
     + 351*b3*b158 + 390*b3*b159 + 429*b3*b160 + 468*b3*b161 + 220*b3*b204 + 
    198*b3*b205 + 176*b3*b206 + 198*b3*b207 + 220*b3*b208 + 242*b3*b209 + 264*
    b3*b210 + 341*b4*b113 + 310*b4*b114 + 279*b4*b115 + 248*b4*b116 + 279*b4*
    b117 + 310*b4*b118 + 341*b4*b119 + 418*b4*b148 + 380*b4*b149 + 342*b4*b150
     + 304*b4*b151 + 342*b4*b152 + 380*b4*b153 + 418*b4*b154 + 429*b4*b155 + 
    390*b4*b156 + 351*b4*b157 + 312*b4*b158 + 351*b4*b159 + 390*b4*b160 + 429*
    b4*b161 + 242*b4*b204 + 220*b4*b205 + 198*b4*b206 + 176*b4*b207 + 198*b4*
    b208 + 220*b4*b209 + 242*b4*b210 + 372*b5*b113 + 341*b5*b114 + 310*b5*b115
     + 279*b5*b116 + 248*b5*b117 + 279*b5*b118 + 310*b5*b119 + 456*b5*b148 + 
    418*b5*b149 + 380*b5*b150 + 342*b5*b151 + 304*b5*b152 + 342*b5*b153 + 380*
    b5*b154 + 468*b5*b155 + 429*b5*b156 + 390*b5*b157 + 351*b5*b158 + 312*b5*
    b159 + 351*b5*b160 + 390*b5*b161 + 264*b5*b204 + 242*b5*b205 + 220*b5*b206
     + 198*b5*b207 + 176*b5*b208 + 198*b5*b209 + 220*b5*b210 + 403*b6*b113 + 
    372*b6*b114 + 341*b6*b115 + 310*b6*b116 + 279*b6*b117 + 248*b6*b118 + 279*
    b6*b119 + 494*b6*b148 + 456*b6*b149 + 418*b6*b150 + 380*b6*b151 + 342*b6*
    b152 + 304*b6*b153 + 342*b6*b154 + 507*b6*b155 + 468*b6*b156 + 429*b6*b157
     + 390*b6*b158 + 351*b6*b159 + 312*b6*b160 + 351*b6*b161 + 286*b6*b204 + 
    264*b6*b205 + 242*b6*b206 + 220*b6*b207 + 198*b6*b208 + 176*b6*b209 + 198*
    b6*b210 + 434*b7*b113 + 403*b7*b114 + 372*b7*b115 + 341*b7*b116 + 310*b7*
    b117 + 279*b7*b118 + 248*b7*b119 + 532*b7*b148 + 494*b7*b149 + 456*b7*b150
     + 418*b7*b151 + 380*b7*b152 + 342*b7*b153 + 304*b7*b154 + 546*b7*b155 + 
    507*b7*b156 + 468*b7*b157 + 429*b7*b158 + 390*b7*b159 + 351*b7*b160 + 312*
    b7*b161 + 308*b7*b204 + 286*b7*b205 + 264*b7*b206 + 242*b7*b207 + 220*b7*
    b208 + 198*b7*b209 + 176*b7*b210 + 184*b8*b120 + 207*b8*b121 + 230*b8*b122
     + 253*b8*b123 + 276*b8*b124 + 299*b8*b125 + 322*b8*b126 + 192*b8*b162 + 
    216*b8*b163 + 240*b8*b164 + 264*b8*b165 + 288*b8*b166 + 312*b8*b167 + 336*
    b8*b168 + 160*b8*b197 + 180*b8*b198 + 200*b8*b199 + 220*b8*b200 + 240*b8*
    b201 + 260*b8*b202 + 280*b8*b203 + 136*b8*b204 + 153*b8*b205 + 170*b8*b206
     + 187*b8*b207 + 204*b8*b208 + 221*b8*b209 + 238*b8*b210 + 207*b9*b120 + 
    184*b9*b121 + 207*b9*b122 + 230*b9*b123 + 253*b9*b124 + 276*b9*b125 + 299*
    b9*b126 + 216*b9*b162 + 192*b9*b163 + 216*b9*b164 + 240*b9*b165 + 264*b9*
    b166 + 288*b9*b167 + 312*b9*b168 + 180*b9*b197 + 160*b9*b198 + 180*b9*b199
     + 200*b9*b200 + 220*b9*b201 + 240*b9*b202 + 260*b9*b203 + 153*b9*b204 + 
    136*b9*b205 + 153*b9*b206 + 170*b9*b207 + 187*b9*b208 + 204*b9*b209 + 221*
    b9*b210 + 230*b10*b120 + 207*b10*b121 + 184*b10*b122 + 207*b10*b123 + 230*
    b10*b124 + 253*b10*b125 + 276*b10*b126 + 240*b10*b162 + 216*b10*b163 + 192*
    b10*b164 + 216*b10*b165 + 240*b10*b166 + 264*b10*b167 + 288*b10*b168 + 200*
    b10*b197 + 180*b10*b198 + 160*b10*b199 + 180*b10*b200 + 200*b10*b201 + 220*
    b10*b202 + 240*b10*b203 + 170*b10*b204 + 153*b10*b205 + 136*b10*b206 + 153*
    b10*b207 + 170*b10*b208 + 187*b10*b209 + 204*b10*b210 + 253*b11*b120 + 230*
    b11*b121 + 207*b11*b122 + 184*b11*b123 + 207*b11*b124 + 230*b11*b125 + 253*
    b11*b126 + 264*b11*b162 + 240*b11*b163 + 216*b11*b164 + 192*b11*b165 + 216*
    b11*b166 + 240*b11*b167 + 264*b11*b168 + 220*b11*b197 + 200*b11*b198 + 180*
    b11*b199 + 160*b11*b200 + 180*b11*b201 + 200*b11*b202 + 220*b11*b203 + 187*
    b11*b204 + 170*b11*b205 + 153*b11*b206 + 136*b11*b207 + 153*b11*b208 + 170*
    b11*b209 + 187*b11*b210 + 276*b12*b120 + 253*b12*b121 + 230*b12*b122 + 207*
    b12*b123 + 184*b12*b124 + 207*b12*b125 + 230*b12*b126 + 288*b12*b162 + 264*
    b12*b163 + 240*b12*b164 + 216*b12*b165 + 192*b12*b166 + 216*b12*b167 + 240*
    b12*b168 + 240*b12*b197 + 220*b12*b198 + 200*b12*b199 + 180*b12*b200 + 160*
    b12*b201 + 180*b12*b202 + 200*b12*b203 + 204*b12*b204 + 187*b12*b205 + 170*
    b12*b206 + 153*b12*b207 + 136*b12*b208 + 153*b12*b209 + 170*b12*b210 + 299*
    b13*b120 + 276*b13*b121 + 253*b13*b122 + 230*b13*b123 + 207*b13*b124 + 184*
    b13*b125 + 207*b13*b126 + 312*b13*b162 + 288*b13*b163 + 264*b13*b164 + 240*
    b13*b165 + 216*b13*b166 + 192*b13*b167 + 216*b13*b168 + 260*b13*b197 + 240*
    b13*b198 + 220*b13*b199 + 200*b13*b200 + 180*b13*b201 + 160*b13*b202 + 180*
    b13*b203 + 221*b13*b204 + 204*b13*b205 + 187*b13*b206 + 170*b13*b207 + 153*
    b13*b208 + 136*b13*b209 + 153*b13*b210 + 322*b14*b120 + 299*b14*b121 + 276*
    b14*b122 + 253*b14*b123 + 230*b14*b124 + 207*b14*b125 + 184*b14*b126 + 336*
    b14*b162 + 312*b14*b163 + 288*b14*b164 + 264*b14*b165 + 240*b14*b166 + 216*
    b14*b167 + 192*b14*b168 + 280*b14*b197 + 260*b14*b198 + 240*b14*b199 + 220*
    b14*b200 + 200*b14*b201 + 180*b14*b202 + 160*b14*b203 + 238*b14*b204 + 221*
    b14*b205 + 204*b14*b206 + 187*b14*b207 + 170*b14*b208 + 153*b14*b209 + 136*
    b14*b210 + 120*b15*b127 + 135*b15*b128 + 150*b15*b129 + 165*b15*b130 + 180*
    b15*b131 + 195*b15*b132 + 210*b15*b133 + 144*b15*b148 + 162*b15*b149 + 180*
    b15*b150 + 198*b15*b151 + 216*b15*b152 + 234*b15*b153 + 252*b15*b154 + 240*
    b15*b155 + 270*b15*b156 + 300*b15*b157 + 330*b15*b158 + 360*b15*b159 + 390*
    b15*b160 + 420*b15*b161 + 135*b16*b127 + 120*b16*b128 + 135*b16*b129 + 150*
    b16*b130 + 165*b16*b131 + 180*b16*b132 + 195*b16*b133 + 162*b16*b148 + 144*
    b16*b149 + 162*b16*b150 + 180*b16*b151 + 198*b16*b152 + 216*b16*b153 + 234*
    b16*b154 + 270*b16*b155 + 240*b16*b156 + 270*b16*b157 + 300*b16*b158 + 330*
    b16*b159 + 360*b16*b160 + 390*b16*b161 + 150*b17*b127 + 135*b17*b128 + 120*
    b17*b129 + 135*b17*b130 + 150*b17*b131 + 165*b17*b132 + 180*b17*b133 + 180*
    b17*b148 + 162*b17*b149 + 144*b17*b150 + 162*b17*b151 + 180*b17*b152 + 198*
    b17*b153 + 216*b17*b154 + 300*b17*b155 + 270*b17*b156 + 240*b17*b157 + 270*
    b17*b158 + 300*b17*b159 + 330*b17*b160 + 360*b17*b161 + 165*b18*b127 + 150*
    b18*b128 + 135*b18*b129 + 120*b18*b130 + 135*b18*b131 + 150*b18*b132 + 165*
    b18*b133 + 198*b18*b148 + 180*b18*b149 + 162*b18*b150 + 144*b18*b151 + 162*
    b18*b152 + 180*b18*b153 + 198*b18*b154 + 330*b18*b155 + 300*b18*b156 + 270*
    b18*b157 + 240*b18*b158 + 270*b18*b159 + 300*b18*b160 + 330*b18*b161 + 180*
    b19*b127 + 165*b19*b128 + 150*b19*b129 + 135*b19*b130 + 120*b19*b131 + 135*
    b19*b132 + 150*b19*b133 + 216*b19*b148 + 198*b19*b149 + 180*b19*b150 + 162*
    b19*b151 + 144*b19*b152 + 162*b19*b153 + 180*b19*b154 + 360*b19*b155 + 330*
    b19*b156 + 300*b19*b157 + 270*b19*b158 + 240*b19*b159 + 270*b19*b160 + 300*
    b19*b161 + 195*b20*b127 + 180*b20*b128 + 165*b20*b129 + 150*b20*b130 + 135*
    b20*b131 + 120*b20*b132 + 135*b20*b133 + 234*b20*b148 + 216*b20*b149 + 198*
    b20*b150 + 180*b20*b151 + 162*b20*b152 + 144*b20*b153 + 162*b20*b154 + 390*
    b20*b155 + 360*b20*b156 + 330*b20*b157 + 300*b20*b158 + 270*b20*b159 + 240*
    b20*b160 + 270*b20*b161 + 210*b21*b127 + 195*b21*b128 + 180*b21*b129 + 165*
    b21*b130 + 150*b21*b131 + 135*b21*b132 + 120*b21*b133 + 252*b21*b148 + 234*
    b21*b149 + 216*b21*b150 + 198*b21*b151 + 180*b21*b152 + 162*b21*b153 + 144*
    b21*b154 + 420*b21*b155 + 390*b21*b156 + 360*b21*b157 + 330*b21*b158 + 300*
    b21*b159 + 270*b21*b160 + 240*b21*b161 + 344*b22*b106 + 387*b22*b107 + 430*
    b22*b108 + 473*b22*b109 + 516*b22*b110 + 559*b22*b111 + 602*b22*b112 + 320*
    b22*b113 + 360*b22*b114 + 400*b22*b115 + 440*b22*b116 + 480*b22*b117 + 520*
    b22*b118 + 560*b22*b119 + 224*b22*b141 + 252*b22*b142 + 280*b22*b143 + 308*
    b22*b144 + 336*b22*b145 + 364*b22*b146 + 392*b22*b147 + 120*b22*b148 + 135*
    b22*b149 + 150*b22*b150 + 165*b22*b151 + 180*b22*b152 + 195*b22*b153 + 210*
    b22*b154 + 208*b22*b162 + 234*b22*b163 + 260*b22*b164 + 286*b22*b165 + 312*
    b22*b166 + 338*b22*b167 + 364*b22*b168 + 248*b22*b176 + 279*b22*b177 + 310*
    b22*b178 + 341*b22*b179 + 372*b22*b180 + 403*b22*b181 + 434*b22*b182 + 400*
    b22*b204 + 450*b22*b205 + 500*b22*b206 + 550*b22*b207 + 600*b22*b208 + 650*
    b22*b209 + 700*b22*b210 + 387*b23*b106 + 344*b23*b107 + 387*b23*b108 + 430*
    b23*b109 + 473*b23*b110 + 516*b23*b111 + 559*b23*b112 + 360*b23*b113 + 320*
    b23*b114 + 360*b23*b115 + 400*b23*b116 + 440*b23*b117 + 480*b23*b118 + 520*
    b23*b119 + 252*b23*b141 + 224*b23*b142 + 252*b23*b143 + 280*b23*b144 + 308*
    b23*b145 + 336*b23*b146 + 364*b23*b147 + 135*b23*b148 + 120*b23*b149 + 135*
    b23*b150 + 150*b23*b151 + 165*b23*b152 + 180*b23*b153 + 195*b23*b154 + 234*
    b23*b162 + 208*b23*b163 + 234*b23*b164 + 260*b23*b165 + 286*b23*b166 + 312*
    b23*b167 + 338*b23*b168 + 279*b23*b176 + 248*b23*b177 + 279*b23*b178 + 310*
    b23*b179 + 341*b23*b180 + 372*b23*b181 + 403*b23*b182 + 450*b23*b204 + 400*
    b23*b205 + 450*b23*b206 + 500*b23*b207 + 550*b23*b208 + 600*b23*b209 + 650*
    b23*b210 + 430*b24*b106 + 387*b24*b107 + 344*b24*b108 + 387*b24*b109 + 430*
    b24*b110 + 473*b24*b111 + 516*b24*b112 + 400*b24*b113 + 360*b24*b114 + 320*
    b24*b115 + 360*b24*b116 + 400*b24*b117 + 440*b24*b118 + 480*b24*b119 + 280*
    b24*b141 + 252*b24*b142 + 224*b24*b143 + 252*b24*b144 + 280*b24*b145 + 308*
    b24*b146 + 336*b24*b147 + 150*b24*b148 + 135*b24*b149 + 120*b24*b150 + 135*
    b24*b151 + 150*b24*b152 + 165*b24*b153 + 180*b24*b154 + 260*b24*b162 + 234*
    b24*b163 + 208*b24*b164 + 234*b24*b165 + 260*b24*b166 + 286*b24*b167 + 312*
    b24*b168 + 310*b24*b176 + 279*b24*b177 + 248*b24*b178 + 279*b24*b179 + 310*
    b24*b180 + 341*b24*b181 + 372*b24*b182 + 500*b24*b204 + 450*b24*b205 + 400*
    b24*b206 + 450*b24*b207 + 500*b24*b208 + 550*b24*b209 + 600*b24*b210 + 473*
    b25*b106 + 430*b25*b107 + 387*b25*b108 + 344*b25*b109 + 387*b25*b110 + 430*
    b25*b111 + 473*b25*b112 + 440*b25*b113 + 400*b25*b114 + 360*b25*b115 + 320*
    b25*b116 + 360*b25*b117 + 400*b25*b118 + 440*b25*b119 + 308*b25*b141 + 280*
    b25*b142 + 252*b25*b143 + 224*b25*b144 + 252*b25*b145 + 280*b25*b146 + 308*
    b25*b147 + 165*b25*b148 + 150*b25*b149 + 135*b25*b150 + 120*b25*b151 + 135*
    b25*b152 + 150*b25*b153 + 165*b25*b154 + 286*b25*b162 + 260*b25*b163 + 234*
    b25*b164 + 208*b25*b165 + 234*b25*b166 + 260*b25*b167 + 286*b25*b168 + 341*
    b25*b176 + 310*b25*b177 + 279*b25*b178 + 248*b25*b179 + 279*b25*b180 + 310*
    b25*b181 + 341*b25*b182 + 550*b25*b204 + 500*b25*b205 + 450*b25*b206 + 400*
    b25*b207 + 450*b25*b208 + 500*b25*b209 + 550*b25*b210 + 516*b26*b106 + 473*
    b26*b107 + 430*b26*b108 + 387*b26*b109 + 344*b26*b110 + 387*b26*b111 + 430*
    b26*b112 + 480*b26*b113 + 440*b26*b114 + 400*b26*b115 + 360*b26*b116 + 320*
    b26*b117 + 360*b26*b118 + 400*b26*b119 + 336*b26*b141 + 308*b26*b142 + 280*
    b26*b143 + 252*b26*b144 + 224*b26*b145 + 252*b26*b146 + 280*b26*b147 + 180*
    b26*b148 + 165*b26*b149 + 150*b26*b150 + 135*b26*b151 + 120*b26*b152 + 135*
    b26*b153 + 150*b26*b154 + 312*b26*b162 + 286*b26*b163 + 260*b26*b164 + 234*
    b26*b165 + 208*b26*b166 + 234*b26*b167 + 260*b26*b168 + 372*b26*b176 + 341*
    b26*b177 + 310*b26*b178 + 279*b26*b179 + 248*b26*b180 + 279*b26*b181 + 310*
    b26*b182 + 600*b26*b204 + 550*b26*b205 + 500*b26*b206 + 450*b26*b207 + 400*
    b26*b208 + 450*b26*b209 + 500*b26*b210 + 559*b27*b106 + 516*b27*b107 + 473*
    b27*b108 + 430*b27*b109 + 387*b27*b110 + 344*b27*b111 + 387*b27*b112 + 520*
    b27*b113 + 480*b27*b114 + 440*b27*b115 + 400*b27*b116 + 360*b27*b117 + 320*
    b27*b118 + 360*b27*b119 + 364*b27*b141 + 336*b27*b142 + 308*b27*b143 + 280*
    b27*b144 + 252*b27*b145 + 224*b27*b146 + 252*b27*b147 + 195*b27*b148 + 180*
    b27*b149 + 165*b27*b150 + 150*b27*b151 + 135*b27*b152 + 120*b27*b153 + 135*
    b27*b154 + 338*b27*b162 + 312*b27*b163 + 286*b27*b164 + 260*b27*b165 + 234*
    b27*b166 + 208*b27*b167 + 234*b27*b168 + 403*b27*b176 + 372*b27*b177 + 341*
    b27*b178 + 310*b27*b179 + 279*b27*b180 + 248*b27*b181 + 279*b27*b182 + 650*
    b27*b204 + 600*b27*b205 + 550*b27*b206 + 500*b27*b207 + 450*b27*b208 + 400*
    b27*b209 + 450*b27*b210 + 602*b28*b106 + 559*b28*b107 + 516*b28*b108 + 473*
    b28*b109 + 430*b28*b110 + 387*b28*b111 + 344*b28*b112 + 560*b28*b113 + 520*
    b28*b114 + 480*b28*b115 + 440*b28*b116 + 400*b28*b117 + 360*b28*b118 + 320*
    b28*b119 + 392*b28*b141 + 364*b28*b142 + 336*b28*b143 + 308*b28*b144 + 280*
    b28*b145 + 252*b28*b146 + 224*b28*b147 + 210*b28*b148 + 195*b28*b149 + 180*
    b28*b150 + 165*b28*b151 + 150*b28*b152 + 135*b28*b153 + 120*b28*b154 + 364*
    b28*b162 + 338*b28*b163 + 312*b28*b164 + 286*b28*b165 + 260*b28*b166 + 234*
    b28*b167 + 208*b28*b168 + 434*b28*b176 + 403*b28*b177 + 372*b28*b178 + 341*
    b28*b179 + 310*b28*b180 + 279*b28*b181 + 248*b28*b182 + 700*b28*b204 + 650*
    b28*b205 + 600*b28*b206 + 550*b28*b207 + 500*b28*b208 + 450*b28*b209 + 400*
    b28*b210 + 168*b29*b120 + 189*b29*b121 + 210*b29*b122 + 231*b29*b123 + 252*
    b29*b124 + 273*b29*b125 + 294*b29*b126 + 160*b29*b148 + 180*b29*b149 + 200*
    b29*b150 + 220*b29*b151 + 240*b29*b152 + 260*b29*b153 + 280*b29*b154 + 96*
    b29*b155 + 108*b29*b156 + 120*b29*b157 + 132*b29*b158 + 144*b29*b159 + 156*
    b29*b160 + 168*b29*b161 + 304*b29*b162 + 342*b29*b163 + 380*b29*b164 + 418*
    b29*b165 + 456*b29*b166 + 494*b29*b167 + 532*b29*b168 + 96*b29*b176 + 108*
    b29*b177 + 120*b29*b178 + 132*b29*b179 + 144*b29*b180 + 156*b29*b181 + 168*
    b29*b182 + 189*b30*b120 + 168*b30*b121 + 189*b30*b122 + 210*b30*b123 + 231*
    b30*b124 + 252*b30*b125 + 273*b30*b126 + 180*b30*b148 + 160*b30*b149 + 180*
    b30*b150 + 200*b30*b151 + 220*b30*b152 + 240*b30*b153 + 260*b30*b154 + 108*
    b30*b155 + 96*b30*b156 + 108*b30*b157 + 120*b30*b158 + 132*b30*b159 + 144*
    b30*b160 + 156*b30*b161 + 342*b30*b162 + 304*b30*b163 + 342*b30*b164 + 380*
    b30*b165 + 418*b30*b166 + 456*b30*b167 + 494*b30*b168 + 108*b30*b176 + 96*
    b30*b177 + 108*b30*b178 + 120*b30*b179 + 132*b30*b180 + 144*b30*b181 + 156*
    b30*b182 + 210*b31*b120 + 189*b31*b121 + 168*b31*b122 + 189*b31*b123 + 210*
    b31*b124 + 231*b31*b125 + 252*b31*b126 + 200*b31*b148 + 180*b31*b149 + 160*
    b31*b150 + 180*b31*b151 + 200*b31*b152 + 220*b31*b153 + 240*b31*b154 + 120*
    b31*b155 + 108*b31*b156 + 96*b31*b157 + 108*b31*b158 + 120*b31*b159 + 132*
    b31*b160 + 144*b31*b161 + 380*b31*b162 + 342*b31*b163 + 304*b31*b164 + 342*
    b31*b165 + 380*b31*b166 + 418*b31*b167 + 456*b31*b168 + 120*b31*b176 + 108*
    b31*b177 + 96*b31*b178 + 108*b31*b179 + 120*b31*b180 + 132*b31*b181 + 144*
    b31*b182 + 231*b32*b120 + 210*b32*b121 + 189*b32*b122 + 168*b32*b123 + 189*
    b32*b124 + 210*b32*b125 + 231*b32*b126 + 220*b32*b148 + 200*b32*b149 + 180*
    b32*b150 + 160*b32*b151 + 180*b32*b152 + 200*b32*b153 + 220*b32*b154 + 132*
    b32*b155 + 120*b32*b156 + 108*b32*b157 + 96*b32*b158 + 108*b32*b159 + 120*
    b32*b160 + 132*b32*b161 + 418*b32*b162 + 380*b32*b163 + 342*b32*b164 + 304*
    b32*b165 + 342*b32*b166 + 380*b32*b167 + 418*b32*b168 + 132*b32*b176 + 120*
    b32*b177 + 108*b32*b178 + 96*b32*b179 + 108*b32*b180 + 120*b32*b181 + 132*
    b32*b182 + 252*b33*b120 + 231*b33*b121 + 210*b33*b122 + 189*b33*b123 + 168*
    b33*b124 + 189*b33*b125 + 210*b33*b126 + 240*b33*b148 + 220*b33*b149 + 200*
    b33*b150 + 180*b33*b151 + 160*b33*b152 + 180*b33*b153 + 200*b33*b154 + 144*
    b33*b155 + 132*b33*b156 + 120*b33*b157 + 108*b33*b158 + 96*b33*b159 + 108*
    b33*b160 + 120*b33*b161 + 456*b33*b162 + 418*b33*b163 + 380*b33*b164 + 342*
    b33*b165 + 304*b33*b166 + 342*b33*b167 + 380*b33*b168 + 144*b33*b176 + 132*
    b33*b177 + 120*b33*b178 + 108*b33*b179 + 96*b33*b180 + 108*b33*b181 + 120*
    b33*b182 + 273*b34*b120 + 252*b34*b121 + 231*b34*b122 + 210*b34*b123 + 189*
    b34*b124 + 168*b34*b125 + 189*b34*b126 + 260*b34*b148 + 240*b34*b149 + 220*
    b34*b150 + 200*b34*b151 + 180*b34*b152 + 160*b34*b153 + 180*b34*b154 + 156*
    b34*b155 + 144*b34*b156 + 132*b34*b157 + 120*b34*b158 + 108*b34*b159 + 96*
    b34*b160 + 108*b34*b161 + 494*b34*b162 + 456*b34*b163 + 418*b34*b164 + 380*
    b34*b165 + 342*b34*b166 + 304*b34*b167 + 342*b34*b168 + 156*b34*b176 + 144*
    b34*b177 + 132*b34*b178 + 120*b34*b179 + 108*b34*b180 + 96*b34*b181 + 108*
    b34*b182 + 294*b35*b120 + 273*b35*b121 + 252*b35*b122 + 231*b35*b123 + 210*
    b35*b124 + 189*b35*b125 + 168*b35*b126 + 280*b35*b148 + 260*b35*b149 + 240*
    b35*b150 + 220*b35*b151 + 200*b35*b152 + 180*b35*b153 + 160*b35*b154 + 168*
    b35*b155 + 156*b35*b156 + 144*b35*b157 + 132*b35*b158 + 120*b35*b159 + 108*
    b35*b160 + 96*b35*b161 + 532*b35*b162 + 494*b35*b163 + 456*b35*b164 + 418*
    b35*b165 + 380*b35*b166 + 342*b35*b167 + 304*b35*b168 + 168*b35*b176 + 156*
    b35*b177 + 144*b35*b178 + 132*b35*b179 + 120*b35*b180 + 108*b35*b181 + 96*
    b35*b182 + 368*b36*b113 + 414*b36*b114 + 460*b36*b115 + 506*b36*b116 + 552*
    b36*b117 + 598*b36*b118 + 644*b36*b119 + 304*b36*b169 + 342*b36*b170 + 380*
    b36*b171 + 418*b36*b172 + 456*b36*b173 + 494*b36*b174 + 532*b36*b175 + 272*
    b36*b204 + 306*b36*b205 + 340*b36*b206 + 374*b36*b207 + 408*b36*b208 + 442*
    b36*b209 + 476*b36*b210 + 414*b37*b113 + 368*b37*b114 + 414*b37*b115 + 460*
    b37*b116 + 506*b37*b117 + 552*b37*b118 + 598*b37*b119 + 342*b37*b169 + 304*
    b37*b170 + 342*b37*b171 + 380*b37*b172 + 418*b37*b173 + 456*b37*b174 + 494*
    b37*b175 + 306*b37*b204 + 272*b37*b205 + 306*b37*b206 + 340*b37*b207 + 374*
    b37*b208 + 408*b37*b209 + 442*b37*b210 + 460*b38*b113 + 414*b38*b114 + 368*
    b38*b115 + 414*b38*b116 + 460*b38*b117 + 506*b38*b118 + 552*b38*b119 + 380*
    b38*b169 + 342*b38*b170 + 304*b38*b171 + 342*b38*b172 + 380*b38*b173 + 418*
    b38*b174 + 456*b38*b175 + 340*b38*b204 + 306*b38*b205 + 272*b38*b206 + 306*
    b38*b207 + 340*b38*b208 + 374*b38*b209 + 408*b38*b210 + 506*b39*b113 + 460*
    b39*b114 + 414*b39*b115 + 368*b39*b116 + 414*b39*b117 + 460*b39*b118 + 506*
    b39*b119 + 418*b39*b169 + 380*b39*b170 + 342*b39*b171 + 304*b39*b172 + 342*
    b39*b173 + 380*b39*b174 + 418*b39*b175 + 374*b39*b204 + 340*b39*b205 + 306*
    b39*b206 + 272*b39*b207 + 306*b39*b208 + 340*b39*b209 + 374*b39*b210 + 552*
    b40*b113 + 506*b40*b114 + 460*b40*b115 + 414*b40*b116 + 368*b40*b117 + 414*
    b40*b118 + 460*b40*b119 + 456*b40*b169 + 418*b40*b170 + 380*b40*b171 + 342*
    b40*b172 + 304*b40*b173 + 342*b40*b174 + 380*b40*b175 + 408*b40*b204 + 374*
    b40*b205 + 340*b40*b206 + 306*b40*b207 + 272*b40*b208 + 306*b40*b209 + 340*
    b40*b210 + 598*b41*b113 + 552*b41*b114 + 506*b41*b115 + 460*b41*b116 + 414*
    b41*b117 + 368*b41*b118 + 414*b41*b119 + 494*b41*b169 + 456*b41*b170 + 418*
    b41*b171 + 380*b41*b172 + 342*b41*b173 + 304*b41*b174 + 342*b41*b175 + 442*
    b41*b204 + 408*b41*b205 + 374*b41*b206 + 340*b41*b207 + 306*b41*b208 + 272*
    b41*b209 + 306*b41*b210 + 644*b42*b113 + 598*b42*b114 + 552*b42*b115 + 506*
    b42*b116 + 460*b42*b117 + 414*b42*b118 + 368*b42*b119 + 532*b42*b169 + 494*
    b42*b170 + 456*b42*b171 + 418*b42*b172 + 380*b42*b173 + 342*b42*b174 + 304*
    b42*b175 + 476*b42*b204 + 442*b42*b205 + 408*b42*b206 + 374*b42*b207 + 340*
    b42*b208 + 306*b42*b209 + 272*b42*b210 + 248*b43*b120 + 279*b43*b121 + 310*
    b43*b122 + 341*b43*b123 + 372*b43*b124 + 403*b43*b125 + 434*b43*b126 + 248*
    b43*b190 + 279*b43*b191 + 310*b43*b192 + 341*b43*b193 + 372*b43*b194 + 403*
    b43*b195 + 434*b43*b196 + 279*b44*b120 + 248*b44*b121 + 279*b44*b122 + 310*
    b44*b123 + 341*b44*b124 + 372*b44*b125 + 403*b44*b126 + 279*b44*b190 + 248*
    b44*b191 + 279*b44*b192 + 310*b44*b193 + 341*b44*b194 + 372*b44*b195 + 403*
    b44*b196 + 310*b45*b120 + 279*b45*b121 + 248*b45*b122 + 279*b45*b123 + 310*
    b45*b124 + 341*b45*b125 + 372*b45*b126 + 310*b45*b190 + 279*b45*b191 + 248*
    b45*b192 + 279*b45*b193 + 310*b45*b194 + 341*b45*b195 + 372*b45*b196 + 341*
    b46*b120 + 310*b46*b121 + 279*b46*b122 + 248*b46*b123 + 279*b46*b124 + 310*
    b46*b125 + 341*b46*b126 + 341*b46*b190 + 310*b46*b191 + 279*b46*b192 + 248*
    b46*b193 + 279*b46*b194 + 310*b46*b195 + 341*b46*b196 + 372*b47*b120 + 341*
    b47*b121 + 310*b47*b122 + 279*b47*b123 + 248*b47*b124 + 279*b47*b125 + 310*
    b47*b126 + 372*b47*b190 + 341*b47*b191 + 310*b47*b192 + 279*b47*b193 + 248*
    b47*b194 + 279*b47*b195 + 310*b47*b196 + 403*b48*b120 + 372*b48*b121 + 341*
    b48*b122 + 310*b48*b123 + 279*b48*b124 + 248*b48*b125 + 279*b48*b126 + 403*
    b48*b190 + 372*b48*b191 + 341*b48*b192 + 310*b48*b193 + 279*b48*b194 + 248*
    b48*b195 + 279*b48*b196 + 434*b49*b120 + 403*b49*b121 + 372*b49*b122 + 341*
    b49*b123 + 310*b49*b124 + 279*b49*b125 + 248*b49*b126 + 434*b49*b190 + 403*
    b49*b191 + 372*b49*b192 + 341*b49*b193 + 310*b49*b194 + 279*b49*b195 + 248*
    b49*b196 + 128*b50*b162 + 144*b50*b163 + 160*b50*b164 + 176*b50*b165 + 192*
    b50*b166 + 208*b50*b167 + 224*b50*b168 + 184*b50*b190 + 207*b50*b191 + 230*
    b50*b192 + 253*b50*b193 + 276*b50*b194 + 299*b50*b195 + 322*b50*b196 + 184*
    b50*b197 + 207*b50*b198 + 230*b50*b199 + 253*b50*b200 + 276*b50*b201 + 299*
    b50*b202 + 322*b50*b203 + 144*b51*b162 + 128*b51*b163 + 144*b51*b164 + 160*
    b51*b165 + 176*b51*b166 + 192*b51*b167 + 208*b51*b168 + 207*b51*b190 + 184*
    b51*b191 + 207*b51*b192 + 230*b51*b193 + 253*b51*b194 + 276*b51*b195 + 299*
    b51*b196 + 207*b51*b197 + 184*b51*b198 + 207*b51*b199 + 230*b51*b200 + 253*
    b51*b201 + 276*b51*b202 + 299*b51*b203 + 160*b52*b162 + 144*b52*b163 + 128*
    b52*b164 + 144*b52*b165 + 160*b52*b166 + 176*b52*b167 + 192*b52*b168 + 230*
    b52*b190 + 207*b52*b191 + 184*b52*b192 + 207*b52*b193 + 230*b52*b194 + 253*
    b52*b195 + 276*b52*b196 + 230*b52*b197 + 207*b52*b198 + 184*b52*b199 + 207*
    b52*b200 + 230*b52*b201 + 253*b52*b202 + 276*b52*b203 + 176*b53*b162 + 160*
    b53*b163 + 144*b53*b164 + 128*b53*b165 + 144*b53*b166 + 160*b53*b167 + 176*
    b53*b168 + 253*b53*b190 + 230*b53*b191 + 207*b53*b192 + 184*b53*b193 + 207*
    b53*b194 + 230*b53*b195 + 253*b53*b196 + 253*b53*b197 + 230*b53*b198 + 207*
    b53*b199 + 184*b53*b200 + 207*b53*b201 + 230*b53*b202 + 253*b53*b203 + 192*
    b54*b162 + 176*b54*b163 + 160*b54*b164 + 144*b54*b165 + 128*b54*b166 + 144*
    b54*b167 + 160*b54*b168 + 276*b54*b190 + 253*b54*b191 + 230*b54*b192 + 207*
    b54*b193 + 184*b54*b194 + 207*b54*b195 + 230*b54*b196 + 276*b54*b197 + 253*
    b54*b198 + 230*b54*b199 + 207*b54*b200 + 184*b54*b201 + 207*b54*b202 + 230*
    b54*b203 + 208*b55*b162 + 192*b55*b163 + 176*b55*b164 + 160*b55*b165 + 144*
    b55*b166 + 128*b55*b167 + 144*b55*b168 + 299*b55*b190 + 276*b55*b191 + 253*
    b55*b192 + 230*b55*b193 + 207*b55*b194 + 184*b55*b195 + 207*b55*b196 + 299*
    b55*b197 + 276*b55*b198 + 253*b55*b199 + 230*b55*b200 + 207*b55*b201 + 184*
    b55*b202 + 207*b55*b203 + 224*b56*b162 + 208*b56*b163 + 192*b56*b164 + 176*
    b56*b165 + 160*b56*b166 + 144*b56*b167 + 128*b56*b168 + 322*b56*b190 + 299*
    b56*b191 + 276*b56*b192 + 253*b56*b193 + 230*b56*b194 + 207*b56*b195 + 184*
    b56*b196 + 322*b56*b197 + 299*b56*b198 + 276*b56*b199 + 253*b56*b200 + 230*
    b56*b201 + 207*b56*b202 + 184*b56*b203 + 160*b57*b120 + 180*b57*b121 + 200*
    b57*b122 + 220*b57*b123 + 240*b57*b124 + 260*b57*b125 + 280*b57*b126 + 160*
    b57*b127 + 180*b57*b128 + 200*b57*b129 + 220*b57*b130 + 240*b57*b131 + 260*
    b57*b132 + 280*b57*b133 + 312*b57*b141 + 351*b57*b142 + 390*b57*b143 + 429*
    b57*b144 + 468*b57*b145 + 507*b57*b146 + 546*b57*b147 + 248*b57*b155 + 279*
    b57*b156 + 310*b57*b157 + 341*b57*b158 + 372*b57*b159 + 403*b57*b160 + 434*
    b57*b161 + 88*b57*b176 + 99*b57*b177 + 110*b57*b178 + 121*b57*b179 + 132*
    b57*b180 + 143*b57*b181 + 154*b57*b182 + 136*b57*b183 + 153*b57*b184 + 170*
    b57*b185 + 187*b57*b186 + 204*b57*b187 + 221*b57*b188 + 238*b57*b189 + 180*
    b58*b120 + 160*b58*b121 + 180*b58*b122 + 200*b58*b123 + 220*b58*b124 + 240*
    b58*b125 + 260*b58*b126 + 180*b58*b127 + 160*b58*b128 + 180*b58*b129 + 200*
    b58*b130 + 220*b58*b131 + 240*b58*b132 + 260*b58*b133 + 351*b58*b141 + 312*
    b58*b142 + 351*b58*b143 + 390*b58*b144 + 429*b58*b145 + 468*b58*b146 + 507*
    b58*b147 + 279*b58*b155 + 248*b58*b156 + 279*b58*b157 + 310*b58*b158 + 341*
    b58*b159 + 372*b58*b160 + 403*b58*b161 + 99*b58*b176 + 88*b58*b177 + 99*b58
    *b178 + 110*b58*b179 + 121*b58*b180 + 132*b58*b181 + 143*b58*b182 + 153*b58
    *b183 + 136*b58*b184 + 153*b58*b185 + 170*b58*b186 + 187*b58*b187 + 204*b58
    *b188 + 221*b58*b189 + 200*b59*b120 + 180*b59*b121 + 160*b59*b122 + 180*b59
    *b123 + 200*b59*b124 + 220*b59*b125 + 240*b59*b126 + 200*b59*b127 + 180*b59
    *b128 + 160*b59*b129 + 180*b59*b130 + 200*b59*b131 + 220*b59*b132 + 240*b59
    *b133 + 390*b59*b141 + 351*b59*b142 + 312*b59*b143 + 351*b59*b144 + 390*b59
    *b145 + 429*b59*b146 + 468*b59*b147 + 310*b59*b155 + 279*b59*b156 + 248*b59
    *b157 + 279*b59*b158 + 310*b59*b159 + 341*b59*b160 + 372*b59*b161 + 110*b59
    *b176 + 99*b59*b177 + 88*b59*b178 + 99*b59*b179 + 110*b59*b180 + 121*b59*
    b181 + 132*b59*b182 + 170*b59*b183 + 153*b59*b184 + 136*b59*b185 + 153*b59*
    b186 + 170*b59*b187 + 187*b59*b188 + 204*b59*b189 + 220*b60*b120 + 200*b60*
    b121 + 180*b60*b122 + 160*b60*b123 + 180*b60*b124 + 200*b60*b125 + 220*b60*
    b126 + 220*b60*b127 + 200*b60*b128 + 180*b60*b129 + 160*b60*b130 + 180*b60*
    b131 + 200*b60*b132 + 220*b60*b133 + 429*b60*b141 + 390*b60*b142 + 351*b60*
    b143 + 312*b60*b144 + 351*b60*b145 + 390*b60*b146 + 429*b60*b147 + 341*b60*
    b155 + 310*b60*b156 + 279*b60*b157 + 248*b60*b158 + 279*b60*b159 + 310*b60*
    b160 + 341*b60*b161 + 121*b60*b176 + 110*b60*b177 + 99*b60*b178 + 88*b60*
    b179 + 99*b60*b180 + 110*b60*b181 + 121*b60*b182 + 187*b60*b183 + 170*b60*
    b184 + 153*b60*b185 + 136*b60*b186 + 153*b60*b187 + 170*b60*b188 + 187*b60*
    b189 + 240*b61*b120 + 220*b61*b121 + 200*b61*b122 + 180*b61*b123 + 160*b61*
    b124 + 180*b61*b125 + 200*b61*b126 + 240*b61*b127 + 220*b61*b128 + 200*b61*
    b129 + 180*b61*b130 + 160*b61*b131 + 180*b61*b132 + 200*b61*b133 + 468*b61*
    b141 + 429*b61*b142 + 390*b61*b143 + 351*b61*b144 + 312*b61*b145 + 351*b61*
    b146 + 390*b61*b147 + 372*b61*b155 + 341*b61*b156 + 310*b61*b157 + 279*b61*
    b158 + 248*b61*b159 + 279*b61*b160 + 310*b61*b161 + 132*b61*b176 + 121*b61*
    b177 + 110*b61*b178 + 99*b61*b179 + 88*b61*b180 + 99*b61*b181 + 110*b61*
    b182 + 204*b61*b183 + 187*b61*b184 + 170*b61*b185 + 153*b61*b186 + 136*b61*
    b187 + 153*b61*b188 + 170*b61*b189 + 260*b62*b120 + 240*b62*b121 + 220*b62*
    b122 + 200*b62*b123 + 180*b62*b124 + 160*b62*b125 + 180*b62*b126 + 260*b62*
    b127 + 240*b62*b128 + 220*b62*b129 + 200*b62*b130 + 180*b62*b131 + 160*b62*
    b132 + 180*b62*b133 + 507*b62*b141 + 468*b62*b142 + 429*b62*b143 + 390*b62*
    b144 + 351*b62*b145 + 312*b62*b146 + 351*b62*b147 + 403*b62*b155 + 372*b62*
    b156 + 341*b62*b157 + 310*b62*b158 + 279*b62*b159 + 248*b62*b160 + 279*b62*
    b161 + 143*b62*b176 + 132*b62*b177 + 121*b62*b178 + 110*b62*b179 + 99*b62*
    b180 + 88*b62*b181 + 99*b62*b182 + 221*b62*b183 + 204*b62*b184 + 187*b62*
    b185 + 170*b62*b186 + 153*b62*b187 + 136*b62*b188 + 153*b62*b189 + 280*b63*
    b120 + 260*b63*b121 + 240*b63*b122 + 220*b63*b123 + 200*b63*b124 + 180*b63*
    b125 + 160*b63*b126 + 280*b63*b127 + 260*b63*b128 + 240*b63*b129 + 220*b63*
    b130 + 200*b63*b131 + 180*b63*b132 + 160*b63*b133 + 546*b63*b141 + 507*b63*
    b142 + 468*b63*b143 + 429*b63*b144 + 390*b63*b145 + 351*b63*b146 + 312*b63*
    b147 + 434*b63*b155 + 403*b63*b156 + 372*b63*b157 + 341*b63*b158 + 310*b63*
    b159 + 279*b63*b160 + 248*b63*b161 + 154*b63*b176 + 143*b63*b177 + 132*b63*
    b178 + 121*b63*b179 + 110*b63*b180 + 99*b63*b181 + 88*b63*b182 + 238*b63*
    b183 + 221*b63*b184 + 204*b63*b185 + 187*b63*b186 + 170*b63*b187 + 153*b63*
    b188 + 136*b63*b189 + 304*b64*b106 + 342*b64*b107 + 380*b64*b108 + 418*b64*
    b109 + 456*b64*b110 + 494*b64*b111 + 532*b64*b112 + 392*b64*b141 + 441*b64*
    b142 + 490*b64*b143 + 539*b64*b144 + 588*b64*b145 + 637*b64*b146 + 686*b64*
    b147 + 336*b64*b204 + 378*b64*b205 + 420*b64*b206 + 462*b64*b207 + 504*b64*
    b208 + 546*b64*b209 + 588*b64*b210 + 342*b65*b106 + 304*b65*b107 + 342*b65*
    b108 + 380*b65*b109 + 418*b65*b110 + 456*b65*b111 + 494*b65*b112 + 441*b65*
    b141 + 392*b65*b142 + 441*b65*b143 + 490*b65*b144 + 539*b65*b145 + 588*b65*
    b146 + 637*b65*b147 + 378*b65*b204 + 336*b65*b205 + 378*b65*b206 + 420*b65*
    b207 + 462*b65*b208 + 504*b65*b209 + 546*b65*b210 + 380*b66*b106 + 342*b66*
    b107 + 304*b66*b108 + 342*b66*b109 + 380*b66*b110 + 418*b66*b111 + 456*b66*
    b112 + 490*b66*b141 + 441*b66*b142 + 392*b66*b143 + 441*b66*b144 + 490*b66*
    b145 + 539*b66*b146 + 588*b66*b147 + 420*b66*b204 + 378*b66*b205 + 336*b66*
    b206 + 378*b66*b207 + 420*b66*b208 + 462*b66*b209 + 504*b66*b210 + 418*b67*
    b106 + 380*b67*b107 + 342*b67*b108 + 304*b67*b109 + 342*b67*b110 + 380*b67*
    b111 + 418*b67*b112 + 539*b67*b141 + 490*b67*b142 + 441*b67*b143 + 392*b67*
    b144 + 441*b67*b145 + 490*b67*b146 + 539*b67*b147 + 462*b67*b204 + 420*b67*
    b205 + 378*b67*b206 + 336*b67*b207 + 378*b67*b208 + 420*b67*b209 + 462*b67*
    b210 + 456*b68*b106 + 418*b68*b107 + 380*b68*b108 + 342*b68*b109 + 304*b68*
    b110 + 342*b68*b111 + 380*b68*b112 + 588*b68*b141 + 539*b68*b142 + 490*b68*
    b143 + 441*b68*b144 + 392*b68*b145 + 441*b68*b146 + 490*b68*b147 + 504*b68*
    b204 + 462*b68*b205 + 420*b68*b206 + 378*b68*b207 + 336*b68*b208 + 378*b68*
    b209 + 420*b68*b210 + 494*b69*b106 + 456*b69*b107 + 418*b69*b108 + 380*b69*
    b109 + 342*b69*b110 + 304*b69*b111 + 342*b69*b112 + 637*b69*b141 + 588*b69*
    b142 + 539*b69*b143 + 490*b69*b144 + 441*b69*b145 + 392*b69*b146 + 441*b69*
    b147 + 546*b69*b204 + 504*b69*b205 + 462*b69*b206 + 420*b69*b207 + 378*b69*
    b208 + 336*b69*b209 + 378*b69*b210 + 532*b70*b106 + 494*b70*b107 + 456*b70*
    b108 + 418*b70*b109 + 380*b70*b110 + 342*b70*b111 + 304*b70*b112 + 686*b70*
    b141 + 637*b70*b142 + 588*b70*b143 + 539*b70*b144 + 490*b70*b145 + 441*b70*
    b146 + 392*b70*b147 + 588*b70*b204 + 546*b70*b205 + 504*b70*b206 + 462*b70*
    b207 + 420*b70*b208 + 378*b70*b209 + 336*b70*b210 + 200*b71*b183 + 225*b71*
    b184 + 250*b71*b185 + 275*b71*b186 + 300*b71*b187 + 325*b71*b188 + 350*b71*
    b189 + 225*b72*b183 + 200*b72*b184 + 225*b72*b185 + 250*b72*b186 + 275*b72*
    b187 + 300*b72*b188 + 325*b72*b189 + 250*b73*b183 + 225*b73*b184 + 200*b73*
    b185 + 225*b73*b186 + 250*b73*b187 + 275*b73*b188 + 300*b73*b189 + 275*b74*
    b183 + 250*b74*b184 + 225*b74*b185 + 200*b74*b186 + 225*b74*b187 + 250*b74*
    b188 + 275*b74*b189 + 300*b75*b183 + 275*b75*b184 + 250*b75*b185 + 225*b75*
    b186 + 200*b75*b187 + 225*b75*b188 + 250*b75*b189 + 325*b76*b183 + 300*b76*
    b184 + 275*b76*b185 + 250*b76*b186 + 225*b76*b187 + 200*b76*b188 + 225*b76*
    b189 + 350*b77*b183 + 325*b77*b184 + 300*b77*b185 + 275*b77*b186 + 250*b77*
    b187 + 225*b77*b188 + 200*b77*b189 + 256*b78*b155 + 288*b78*b156 + 320*b78*
    b157 + 352*b78*b158 + 384*b78*b159 + 416*b78*b160 + 448*b78*b161 + 360*b78*
    b183 + 405*b78*b184 + 450*b78*b185 + 495*b78*b186 + 540*b78*b187 + 585*b78*
    b188 + 630*b78*b189 + 344*b78*b204 + 387*b78*b205 + 430*b78*b206 + 473*b78*
    b207 + 516*b78*b208 + 559*b78*b209 + 602*b78*b210 + 288*b79*b155 + 256*b79*
    b156 + 288*b79*b157 + 320*b79*b158 + 352*b79*b159 + 384*b79*b160 + 416*b79*
    b161 + 405*b79*b183 + 360*b79*b184 + 405*b79*b185 + 450*b79*b186 + 495*b79*
    b187 + 540*b79*b188 + 585*b79*b189 + 387*b79*b204 + 344*b79*b205 + 387*b79*
    b206 + 430*b79*b207 + 473*b79*b208 + 516*b79*b209 + 559*b79*b210 + 320*b80*
    b155 + 288*b80*b156 + 256*b80*b157 + 288*b80*b158 + 320*b80*b159 + 352*b80*
    b160 + 384*b80*b161 + 450*b80*b183 + 405*b80*b184 + 360*b80*b185 + 405*b80*
    b186 + 450*b80*b187 + 495*b80*b188 + 540*b80*b189 + 430*b80*b204 + 387*b80*
    b205 + 344*b80*b206 + 387*b80*b207 + 430*b80*b208 + 473*b80*b209 + 516*b80*
    b210 + 352*b81*b155 + 320*b81*b156 + 288*b81*b157 + 256*b81*b158 + 288*b81*
    b159 + 320*b81*b160 + 352*b81*b161 + 495*b81*b183 + 450*b81*b184 + 405*b81*
    b185 + 360*b81*b186 + 405*b81*b187 + 450*b81*b188 + 495*b81*b189 + 473*b81*
    b204 + 430*b81*b205 + 387*b81*b206 + 344*b81*b207 + 387*b81*b208 + 430*b81*
    b209 + 473*b81*b210 + 384*b82*b155 + 352*b82*b156 + 320*b82*b157 + 288*b82*
    b158 + 256*b82*b159 + 288*b82*b160 + 320*b82*b161 + 540*b82*b183 + 495*b82*
    b184 + 450*b82*b185 + 405*b82*b186 + 360*b82*b187 + 405*b82*b188 + 450*b82*
    b189 + 516*b82*b204 + 473*b82*b205 + 430*b82*b206 + 387*b82*b207 + 344*b82*
    b208 + 387*b82*b209 + 430*b82*b210 + 416*b83*b155 + 384*b83*b156 + 352*b83*
    b157 + 320*b83*b158 + 288*b83*b159 + 256*b83*b160 + 288*b83*b161 + 585*b83*
    b183 + 540*b83*b184 + 495*b83*b185 + 450*b83*b186 + 405*b83*b187 + 360*b83*
    b188 + 405*b83*b189 + 559*b83*b204 + 516*b83*b205 + 473*b83*b206 + 430*b83*
    b207 + 387*b83*b208 + 344*b83*b209 + 387*b83*b210 + 448*b84*b155 + 416*b84*
    b156 + 384*b84*b157 + 352*b84*b158 + 320*b84*b159 + 288*b84*b160 + 256*b84*
    b161 + 630*b84*b183 + 585*b84*b184 + 540*b84*b185 + 495*b84*b186 + 450*b84*
    b187 + 405*b84*b188 + 360*b84*b189 + 602*b84*b204 + 559*b84*b205 + 516*b84*
    b206 + 473*b84*b207 + 430*b84*b208 + 387*b84*b209 + 344*b84*b210 + 264*b85*
    b120 + 297*b85*b121 + 330*b85*b122 + 363*b85*b123 + 396*b85*b124 + 429*b85*
    b125 + 462*b85*b126 + 112*b85*b141 + 126*b85*b142 + 140*b85*b143 + 154*b85*
    b144 + 168*b85*b145 + 182*b85*b146 + 196*b85*b147 + 240*b85*b148 + 270*b85*
    b149 + 300*b85*b150 + 330*b85*b151 + 360*b85*b152 + 390*b85*b153 + 420*b85*
    b154 + 128*b85*b176 + 144*b85*b177 + 160*b85*b178 + 176*b85*b179 + 192*b85*
    b180 + 208*b85*b181 + 224*b85*b182 + 297*b86*b120 + 264*b86*b121 + 297*b86*
    b122 + 330*b86*b123 + 363*b86*b124 + 396*b86*b125 + 429*b86*b126 + 126*b86*
    b141 + 112*b86*b142 + 126*b86*b143 + 140*b86*b144 + 154*b86*b145 + 168*b86*
    b146 + 182*b86*b147 + 270*b86*b148 + 240*b86*b149 + 270*b86*b150 + 300*b86*
    b151 + 330*b86*b152 + 360*b86*b153 + 390*b86*b154 + 144*b86*b176 + 128*b86*
    b177 + 144*b86*b178 + 160*b86*b179 + 176*b86*b180 + 192*b86*b181 + 208*b86*
    b182 + 330*b87*b120 + 297*b87*b121 + 264*b87*b122 + 297*b87*b123 + 330*b87*
    b124 + 363*b87*b125 + 396*b87*b126 + 140*b87*b141 + 126*b87*b142 + 112*b87*
    b143 + 126*b87*b144 + 140*b87*b145 + 154*b87*b146 + 168*b87*b147 + 300*b87*
    b148 + 270*b87*b149 + 240*b87*b150 + 270*b87*b151 + 300*b87*b152 + 330*b87*
    b153 + 360*b87*b154 + 160*b87*b176 + 144*b87*b177 + 128*b87*b178 + 144*b87*
    b179 + 160*b87*b180 + 176*b87*b181 + 192*b87*b182 + 363*b88*b120 + 330*b88*
    b121 + 297*b88*b122 + 264*b88*b123 + 297*b88*b124 + 330*b88*b125 + 363*b88*
    b126 + 154*b88*b141 + 140*b88*b142 + 126*b88*b143 + 112*b88*b144 + 126*b88*
    b145 + 140*b88*b146 + 154*b88*b147 + 330*b88*b148 + 300*b88*b149 + 270*b88*
    b150 + 240*b88*b151 + 270*b88*b152 + 300*b88*b153 + 330*b88*b154 + 176*b88*
    b176 + 160*b88*b177 + 144*b88*b178 + 128*b88*b179 + 144*b88*b180 + 160*b88*
    b181 + 176*b88*b182 + 396*b89*b120 + 363*b89*b121 + 330*b89*b122 + 297*b89*
    b123 + 264*b89*b124 + 297*b89*b125 + 330*b89*b126 + 168*b89*b141 + 154*b89*
    b142 + 140*b89*b143 + 126*b89*b144 + 112*b89*b145 + 126*b89*b146 + 140*b89*
    b147 + 360*b89*b148 + 330*b89*b149 + 300*b89*b150 + 270*b89*b151 + 240*b89*
    b152 + 270*b89*b153 + 300*b89*b154 + 192*b89*b176 + 176*b89*b177 + 160*b89*
    b178 + 144*b89*b179 + 128*b89*b180 + 144*b89*b181 + 160*b89*b182 + 429*b90*
    b120 + 396*b90*b121 + 363*b90*b122 + 330*b90*b123 + 297*b90*b124 + 264*b90*
    b125 + 297*b90*b126 + 182*b90*b141 + 168*b90*b142 + 154*b90*b143 + 140*b90*
    b144 + 126*b90*b145 + 112*b90*b146 + 126*b90*b147 + 390*b90*b148 + 360*b90*
    b149 + 330*b90*b150 + 300*b90*b151 + 270*b90*b152 + 240*b90*b153 + 270*b90*
    b154 + 208*b90*b176 + 192*b90*b177 + 176*b90*b178 + 160*b90*b179 + 144*b90*
    b180 + 128*b90*b181 + 144*b90*b182 + 462*b91*b120 + 429*b91*b121 + 396*b91*
    b122 + 363*b91*b123 + 330*b91*b124 + 297*b91*b125 + 264*b91*b126 + 196*b91*
    b141 + 182*b91*b142 + 168*b91*b143 + 154*b91*b144 + 140*b91*b145 + 126*b91*
    b146 + 112*b91*b147 + 420*b91*b148 + 390*b91*b149 + 360*b91*b150 + 330*b91*
    b151 + 300*b91*b152 + 270*b91*b153 + 240*b91*b154 + 224*b91*b176 + 208*b91*
    b177 + 192*b91*b178 + 176*b91*b179 + 160*b91*b180 + 144*b91*b181 + 128*b91*
    b182 + 248*b92*b106 + 279*b92*b107 + 310*b92*b108 + 341*b92*b109 + 372*b92*
    b110 + 403*b92*b111 + 434*b92*b112 + 272*b92*b134 + 306*b92*b135 + 340*b92*
    b136 + 374*b92*b137 + 408*b92*b138 + 442*b92*b139 + 476*b92*b140 + 240*b92*
    b141 + 270*b92*b142 + 300*b92*b143 + 330*b92*b144 + 360*b92*b145 + 390*b92*
    b146 + 420*b92*b147 + 272*b92*b155 + 306*b92*b156 + 340*b92*b157 + 374*b92*
    b158 + 408*b92*b159 + 442*b92*b160 + 476*b92*b161 + 112*b92*b162 + 126*b92*
    b163 + 140*b92*b164 + 154*b92*b165 + 168*b92*b166 + 182*b92*b167 + 196*b92*
    b168 + 184*b92*b197 + 207*b92*b198 + 230*b92*b199 + 253*b92*b200 + 276*b92*
    b201 + 299*b92*b202 + 322*b92*b203 + 279*b93*b106 + 248*b93*b107 + 279*b93*
    b108 + 310*b93*b109 + 341*b93*b110 + 372*b93*b111 + 403*b93*b112 + 306*b93*
    b134 + 272*b93*b135 + 306*b93*b136 + 340*b93*b137 + 374*b93*b138 + 408*b93*
    b139 + 442*b93*b140 + 270*b93*b141 + 240*b93*b142 + 270*b93*b143 + 300*b93*
    b144 + 330*b93*b145 + 360*b93*b146 + 390*b93*b147 + 306*b93*b155 + 272*b93*
    b156 + 306*b93*b157 + 340*b93*b158 + 374*b93*b159 + 408*b93*b160 + 442*b93*
    b161 + 126*b93*b162 + 112*b93*b163 + 126*b93*b164 + 140*b93*b165 + 154*b93*
    b166 + 168*b93*b167 + 182*b93*b168 + 207*b93*b197 + 184*b93*b198 + 207*b93*
    b199 + 230*b93*b200 + 253*b93*b201 + 276*b93*b202 + 299*b93*b203 + 310*b94*
    b106 + 279*b94*b107 + 248*b94*b108 + 279*b94*b109 + 310*b94*b110 + 341*b94*
    b111 + 372*b94*b112 + 340*b94*b134 + 306*b94*b135 + 272*b94*b136 + 306*b94*
    b137 + 340*b94*b138 + 374*b94*b139 + 408*b94*b140 + 300*b94*b141 + 270*b94*
    b142 + 240*b94*b143 + 270*b94*b144 + 300*b94*b145 + 330*b94*b146 + 360*b94*
    b147 + 340*b94*b155 + 306*b94*b156 + 272*b94*b157 + 306*b94*b158 + 340*b94*
    b159 + 374*b94*b160 + 408*b94*b161 + 140*b94*b162 + 126*b94*b163 + 112*b94*
    b164 + 126*b94*b165 + 140*b94*b166 + 154*b94*b167 + 168*b94*b168 + 230*b94*
    b197 + 207*b94*b198 + 184*b94*b199 + 207*b94*b200 + 230*b94*b201 + 253*b94*
    b202 + 276*b94*b203 + 341*b95*b106 + 310*b95*b107 + 279*b95*b108 + 248*b95*
    b109 + 279*b95*b110 + 310*b95*b111 + 341*b95*b112 + 374*b95*b134 + 340*b95*
    b135 + 306*b95*b136 + 272*b95*b137 + 306*b95*b138 + 340*b95*b139 + 374*b95*
    b140 + 330*b95*b141 + 300*b95*b142 + 270*b95*b143 + 240*b95*b144 + 270*b95*
    b145 + 300*b95*b146 + 330*b95*b147 + 374*b95*b155 + 340*b95*b156 + 306*b95*
    b157 + 272*b95*b158 + 306*b95*b159 + 340*b95*b160 + 374*b95*b161 + 154*b95*
    b162 + 140*b95*b163 + 126*b95*b164 + 112*b95*b165 + 126*b95*b166 + 140*b95*
    b167 + 154*b95*b168 + 253*b95*b197 + 230*b95*b198 + 207*b95*b199 + 184*b95*
    b200 + 207*b95*b201 + 230*b95*b202 + 253*b95*b203 + 372*b96*b106 + 341*b96*
    b107 + 310*b96*b108 + 279*b96*b109 + 248*b96*b110 + 279*b96*b111 + 310*b96*
    b112 + 408*b96*b134 + 374*b96*b135 + 340*b96*b136 + 306*b96*b137 + 272*b96*
    b138 + 306*b96*b139 + 340*b96*b140 + 360*b96*b141 + 330*b96*b142 + 300*b96*
    b143 + 270*b96*b144 + 240*b96*b145 + 270*b96*b146 + 300*b96*b147 + 408*b96*
    b155 + 374*b96*b156 + 340*b96*b157 + 306*b96*b158 + 272*b96*b159 + 306*b96*
    b160 + 340*b96*b161 + 168*b96*b162 + 154*b96*b163 + 140*b96*b164 + 126*b96*
    b165 + 112*b96*b166 + 126*b96*b167 + 140*b96*b168 + 276*b96*b197 + 253*b96*
    b198 + 230*b96*b199 + 207*b96*b200 + 184*b96*b201 + 207*b96*b202 + 230*b96*
    b203 + 403*b97*b106 + 372*b97*b107 + 341*b97*b108 + 310*b97*b109 + 279*b97*
    b110 + 248*b97*b111 + 279*b97*b112 + 442*b97*b134 + 408*b97*b135 + 374*b97*
    b136 + 340*b97*b137 + 306*b97*b138 + 272*b97*b139 + 306*b97*b140 + 390*b97*
    b141 + 360*b97*b142 + 330*b97*b143 + 300*b97*b144 + 270*b97*b145 + 240*b97*
    b146 + 270*b97*b147 + 442*b97*b155 + 408*b97*b156 + 374*b97*b157 + 340*b97*
    b158 + 306*b97*b159 + 272*b97*b160 + 306*b97*b161 + 182*b97*b162 + 168*b97*
    b163 + 154*b97*b164 + 140*b97*b165 + 126*b97*b166 + 112*b97*b167 + 126*b97*
    b168 + 299*b97*b197 + 276*b97*b198 + 253*b97*b199 + 230*b97*b200 + 207*b97*
    b201 + 184*b97*b202 + 207*b97*b203 + 434*b98*b106 + 403*b98*b107 + 372*b98*
    b108 + 341*b98*b109 + 310*b98*b110 + 279*b98*b111 + 248*b98*b112 + 476*b98*
    b134 + 442*b98*b135 + 408*b98*b136 + 374*b98*b137 + 340*b98*b138 + 306*b98*
    b139 + 272*b98*b140 + 420*b98*b141 + 390*b98*b142 + 360*b98*b143 + 330*b98*
    b144 + 300*b98*b145 + 270*b98*b146 + 240*b98*b147 + 476*b98*b155 + 442*b98*
    b156 + 408*b98*b157 + 374*b98*b158 + 340*b98*b159 + 306*b98*b160 + 272*b98*
    b161 + 196*b98*b162 + 182*b98*b163 + 168*b98*b164 + 154*b98*b165 + 140*b98*
    b166 + 126*b98*b167 + 112*b98*b168 + 322*b98*b197 + 299*b98*b198 + 276*b98*
    b199 + 253*b98*b200 + 230*b98*b201 + 207*b98*b202 + 184*b98*b203 + 328*b99*
    b113 + 369*b99*b114 + 410*b99*b115 + 451*b99*b116 + 492*b99*b117 + 533*b99*
    b118 + 574*b99*b119 + 256*b99*b176 + 288*b99*b177 + 320*b99*b178 + 352*b99*
    b179 + 384*b99*b180 + 416*b99*b181 + 448*b99*b182 + 200*b99*b190 + 225*b99*
    b191 + 250*b99*b192 + 275*b99*b193 + 300*b99*b194 + 325*b99*b195 + 350*b99*
    b196 + 369*b100*b113 + 328*b100*b114 + 369*b100*b115 + 410*b100*b116 + 451*
    b100*b117 + 492*b100*b118 + 533*b100*b119 + 288*b100*b176 + 256*b100*b177
     + 288*b100*b178 + 320*b100*b179 + 352*b100*b180 + 384*b100*b181 + 416*b100
    *b182 + 225*b100*b190 + 200*b100*b191 + 225*b100*b192 + 250*b100*b193 + 275
    *b100*b194 + 300*b100*b195 + 325*b100*b196 + 410*b101*b113 + 369*b101*b114
     + 328*b101*b115 + 369*b101*b116 + 410*b101*b117 + 451*b101*b118 + 492*b101
    *b119 + 320*b101*b176 + 288*b101*b177 + 256*b101*b178 + 288*b101*b179 + 320
    *b101*b180 + 352*b101*b181 + 384*b101*b182 + 250*b101*b190 + 225*b101*b191
     + 200*b101*b192 + 225*b101*b193 + 250*b101*b194 + 275*b101*b195 + 300*b101
    *b196 + 451*b102*b113 + 410*b102*b114 + 369*b102*b115 + 328*b102*b116 + 369
    *b102*b117 + 410*b102*b118 + 451*b102*b119 + 352*b102*b176 + 320*b102*b177
     + 288*b102*b178 + 256*b102*b179 + 288*b102*b180 + 320*b102*b181 + 352*b102
    *b182 + 275*b102*b190 + 250*b102*b191 + 225*b102*b192 + 200*b102*b193 + 225
    *b102*b194 + 250*b102*b195 + 275*b102*b196 + 492*b103*b113 + 451*b103*b114
     + 410*b103*b115 + 369*b103*b116 + 328*b103*b117 + 369*b103*b118 + 410*b103
    *b119 + 384*b103*b176 + 352*b103*b177 + 320*b103*b178 + 288*b103*b179 + 256
    *b103*b180 + 288*b103*b181 + 320*b103*b182 + 300*b103*b190 + 275*b103*b191
     + 250*b103*b192 + 225*b103*b193 + 200*b103*b194 + 225*b103*b195 + 250*b103
    *b196 + 533*b104*b113 + 492*b104*b114 + 451*b104*b115 + 410*b104*b116 + 369
    *b104*b117 + 328*b104*b118 + 369*b104*b119 + 416*b104*b176 + 384*b104*b177
     + 352*b104*b178 + 320*b104*b179 + 288*b104*b180 + 256*b104*b181 + 288*b104
    *b182 + 325*b104*b190 + 300*b104*b191 + 275*b104*b192 + 250*b104*b193 + 225
    *b104*b194 + 200*b104*b195 + 225*b104*b196 + 574*b105*b113 + 533*b105*b114
     + 492*b105*b115 + 451*b105*b116 + 410*b105*b117 + 369*b105*b118 + 328*b105
    *b119 + 448*b105*b176 + 416*b105*b177 + 384*b105*b178 + 352*b105*b179 + 320
    *b105*b180 + 288*b105*b181 + 256*b105*b182 + 350*b105*b190 + 325*b105*b191
     + 300*b105*b192 + 275*b105*b193 + 250*b105*b194 + 225*b105*b195 + 200*b105
    *b196;

subject to

e2:    b1 + b2 + b3 + b4 + b5 + b6 + b7 = 1;

e3:    b8 + b9 + b10 + b11 + b12 + b13 + b14 = 1;

e4:    b15 + b16 + b17 + b18 + b19 + b20 + b21 = 1;

e5:    b22 + b23 + b24 + b25 + b26 + b27 + b28 = 1;

e6:    b29 + b30 + b31 + b32 + b33 + b34 + b35 = 1;

e7:    b36 + b37 + b38 + b39 + b40 + b41 + b42 = 1;

e8:    b43 + b44 + b45 + b46 + b47 + b48 + b49 = 1;

e9:    b50 + b51 + b52 + b53 + b54 + b55 + b56 = 1;

e10:    b57 + b58 + b59 + b60 + b61 + b62 + b63 = 1;

e11:    b64 + b65 + b66 + b67 + b68 + b69 + b70 = 1;

e12:    b71 + b72 + b73 + b74 + b75 + b76 + b77 = 1;

e13:    b78 + b79 + b80 + b81 + b82 + b83 + b84 = 1;

e14:    b85 + b86 + b87 + b88 + b89 + b90 + b91 = 1;

e15:    b92 + b93 + b94 + b95 + b96 + b97 + b98 = 1;

e16:    b99 + b100 + b101 + b102 + b103 + b104 + b105 = 1;

e17:    b106 + b107 + b108 + b109 + b110 + b111 + b112 = 1;

e18:    b113 + b114 + b115 + b116 + b117 + b118 + b119 = 1;

e19:    b120 + b121 + b122 + b123 + b124 + b125 + b126 = 1;

e20:    b127 + b128 + b129 + b130 + b131 + b132 + b133 = 1;

e21:    b134 + b135 + b136 + b137 + b138 + b139 + b140 = 1;

e22:    b141 + b142 + b143 + b144 + b145 + b146 + b147 = 1;

e23:    b148 + b149 + b150 + b151 + b152 + b153 + b154 = 1;

e24:    b155 + b156 + b157 + b158 + b159 + b160 + b161 = 1;

e25:    b162 + b163 + b164 + b165 + b166 + b167 + b168 = 1;

e26:    b169 + b170 + b171 + b172 + b173 + b174 + b175 = 1;

e27:    b176 + b177 + b178 + b179 + b180 + b181 + b182 = 1;

e28:    b183 + b184 + b185 + b186 + b187 + b188 + b189 = 1;

e29:    b190 + b191 + b192 + b193 + b194 + b195 + b196 = 1;

e30:    b197 + b198 + b199 + b200 + b201 + b202 + b203 = 1;

e31:    b204 + b205 + b206 + b207 + b208 + b209 + b210 = 1;

e32:    130*b1 + 84*b8 + 63*b15 + 233*b22 + 103*b29 + 118*b36 + 62*b43 + 62*b50
      + 138*b57 + 129*b64 + 25*b71 + 120*b78 + 93*b85 + 166*b92 + 98*b99
      <= 302;

e33:    130*b2 + 84*b9 + 63*b16 + 233*b23 + 103*b30 + 118*b37 + 62*b44 + 62*b51
      + 138*b58 + 129*b65 + 25*b72 + 120*b79 + 93*b86 + 166*b93 + 98*b100
      <= 302;

e34:    130*b3 + 84*b10 + 63*b17 + 233*b24 + 103*b31 + 118*b38 + 62*b45
      + 62*b52 + 138*b59 + 129*b66 + 25*b73 + 120*b80 + 93*b87 + 166*b94
      + 98*b101 <= 302;

e35:    130*b4 + 84*b11 + 63*b18 + 233*b25 + 103*b32 + 118*b39 + 62*b46
      + 62*b53 + 138*b60 + 129*b67 + 25*b74 + 120*b81 + 93*b88 + 166*b95
      + 98*b102 <= 302;

e36:    130*b5 + 84*b12 + 63*b19 + 233*b26 + 103*b33 + 118*b40 + 62*b47
      + 62*b54 + 138*b61 + 129*b68 + 25*b75 + 120*b82 + 93*b89 + 166*b96
      + 98*b103 <= 302;

e37:    130*b6 + 84*b13 + 63*b20 + 233*b27 + 103*b34 + 118*b41 + 62*b48
      + 62*b55 + 138*b62 + 129*b69 + 25*b76 + 120*b83 + 93*b90 + 166*b97
      + 98*b104 <= 302;

e38:    130*b7 + 84*b14 + 63*b21 + 233*b28 + 103*b35 + 118*b42 + 62*b49
      + 62*b56 + 138*b63 + 129*b70 + 25*b77 + 120*b84 + 93*b91 + 166*b98
      + 98*b105 <= 302;

e39:    112*b106 + 158*b113 + 128*b120 + 35*b127 + 34*b134 + 160*b141
      + 121*b148 + 178*b155 + 118*b162 + 38*b169 + 102*b176 + 87*b183 + 79*b190
      + 66*b197 + 208*b204 <= 302;

e40:    112*b107 + 158*b114 + 128*b121 + 35*b128 + 34*b135 + 160*b142
      + 121*b149 + 178*b156 + 118*b163 + 38*b170 + 102*b177 + 87*b184 + 79*b191
      + 66*b198 + 208*b205 <= 302;

e41:    112*b108 + 158*b115 + 128*b122 + 35*b129 + 34*b136 + 160*b143
      + 121*b150 + 178*b157 + 118*b164 + 38*b171 + 102*b178 + 87*b185 + 79*b192
      + 66*b199 + 208*b206 <= 302;

e42:    112*b109 + 158*b116 + 128*b123 + 35*b130 + 34*b137 + 160*b144
      + 121*b151 + 178*b158 + 118*b165 + 38*b172 + 102*b179 + 87*b186 + 79*b193
      + 66*b200 + 208*b207 <= 302;

e43:    112*b110 + 158*b117 + 128*b124 + 35*b131 + 34*b138 + 160*b145
      + 121*b152 + 178*b159 + 118*b166 + 38*b173 + 102*b180 + 87*b187 + 79*b194
      + 66*b201 + 208*b208 <= 302;

e44:    112*b111 + 158*b118 + 128*b125 + 35*b132 + 34*b139 + 160*b146
      + 121*b153 + 178*b160 + 118*b167 + 38*b174 + 102*b181 + 87*b188 + 79*b195
      + 66*b202 + 208*b209 <= 302;

e45:    112*b112 + 158*b119 + 128*b126 + 35*b133 + 34*b140 + 160*b147
      + 121*b154 + 178*b161 + 118*b168 + 38*b175 + 102*b182 + 87*b189 + 79*b196
      + 66*b203 + 208*b210 <= 302;