## ams_version=1.0 Model Main_crossdock_15x7 { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable b151 { Range: binary; } Variable b152 { Range: binary; } Variable b153 { Range: binary; } Variable b154 { Range: binary; } Variable b155 { Range: binary; } Variable b156 { Range: binary; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } Variable b176 { Range: binary; } Variable b177 { Range: binary; } Variable b178 { Range: binary; } Variable b179 { Range: binary; } Variable b180 { Range: binary; } Variable b181 { Range: binary; } Variable b182 { Range: binary; } Variable b183 { Range: binary; } Variable b184 { Range: binary; } Variable b185 { Range: binary; } Variable b186 { Range: binary; } Variable b187 { Range: binary; } Variable b188 { Range: binary; } Variable b189 { Range: binary; } Variable b190 { Range: binary; } Variable b191 { Range: binary; } Variable b192 { Range: binary; } Variable b193 { Range: binary; } Variable b194 { Range: binary; } Variable b195 { Range: binary; } Variable b196 { Range: binary; } Variable b197 { Range: binary; } Variable b198 { Range: binary; } Variable b199 { Range: binary; } Variable b200 { Range: binary; } Variable b201 { Range: binary; } Variable b202 { Range: binary; } Variable b203 { Range: binary; } Variable b204 { Range: binary; } Variable b205 { Range: binary; } Variable b206 { Range: binary; } Variable b207 { Range: binary; } Variable b208 { Range: binary; } Variable b209 { Range: binary; } Variable b210 { Range: binary; } Variable objvar; Constraint e1 { Definition: { -(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) + objvar = 0 } } Constraint e2 { Definition: b1 + b2 + b3 + b4 + b5 + b6 + b7 = 1; } Constraint e3 { Definition: b8 + b9 + b10 + b11 + b12 + b13 + b14 = 1; } Constraint e4 { Definition: b15 + b16 + b17 + b18 + b19 + b20 + b21 = 1; } Constraint e5 { Definition: b22 + b23 + b24 + b25 + b26 + b27 + b28 = 1; } Constraint e6 { Definition: b29 + b30 + b31 + b32 + b33 + b34 + b35 = 1; } Constraint e7 { Definition: b36 + b37 + b38 + b39 + b40 + b41 + b42 = 1; } Constraint e8 { Definition: b43 + b44 + b45 + b46 + b47 + b48 + b49 = 1; } Constraint e9 { Definition: b50 + b51 + b52 + b53 + b54 + b55 + b56 = 1; } Constraint e10 { Definition: b57 + b58 + b59 + b60 + b61 + b62 + b63 = 1; } Constraint e11 { Definition: b64 + b65 + b66 + b67 + b68 + b69 + b70 = 1; } Constraint e12 { Definition: b71 + b72 + b73 + b74 + b75 + b76 + b77 = 1; } Constraint e13 { Definition: b78 + b79 + b80 + b81 + b82 + b83 + b84 = 1; } Constraint e14 { Definition: b85 + b86 + b87 + b88 + b89 + b90 + b91 = 1; } Constraint e15 { Definition: b92 + b93 + b94 + b95 + b96 + b97 + b98 = 1; } Constraint e16 { Definition: b99 + b100 + b101 + b102 + b103 + b104 + b105 = 1; } Constraint e17 { Definition: b106 + b107 + b108 + b109 + b110 + b111 + b112 = 1; } Constraint e18 { Definition: b113 + b114 + b115 + b116 + b117 + b118 + b119 = 1; } Constraint e19 { Definition: b120 + b121 + b122 + b123 + b124 + b125 + b126 = 1; } Constraint e20 { Definition: b127 + b128 + b129 + b130 + b131 + b132 + b133 = 1; } Constraint e21 { Definition: b134 + b135 + b136 + b137 + b138 + b139 + b140 = 1; } Constraint e22 { Definition: b141 + b142 + b143 + b144 + b145 + b146 + b147 = 1; } Constraint e23 { Definition: b148 + b149 + b150 + b151 + b152 + b153 + b154 = 1; } Constraint e24 { Definition: b155 + b156 + b157 + b158 + b159 + b160 + b161 = 1; } Constraint e25 { Definition: b162 + b163 + b164 + b165 + b166 + b167 + b168 = 1; } Constraint e26 { Definition: b169 + b170 + b171 + b172 + b173 + b174 + b175 = 1; } Constraint e27 { Definition: b176 + b177 + b178 + b179 + b180 + b181 + b182 = 1; } Constraint e28 { Definition: b183 + b184 + b185 + b186 + b187 + b188 + b189 = 1; } Constraint e29 { Definition: b190 + b191 + b192 + b193 + b194 + b195 + b196 = 1; } Constraint e30 { Definition: b197 + b198 + b199 + b200 + b201 + b202 + b203 = 1; } Constraint e31 { Definition: b204 + b205 + b206 + b207 + b208 + b209 + b210 = 1; } Constraint e32 { Definition: { 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 } } Constraint e33 { Definition: { 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 } } Constraint e34 { Definition: { 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 } } Constraint e35 { Definition: { 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 } } Constraint e36 { Definition: { 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 } } Constraint e37 { Definition: { 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 } } Constraint e38 { Definition: { 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 } } Constraint e39 { Definition: { 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 } } Constraint e40 { Definition: { 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 } } Constraint e41 { Definition: { 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 } } Constraint e42 { Definition: { 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 } } Constraint e43 { Definition: { 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 } } Constraint e44 { Definition: { 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 } } Constraint e45 { Definition: { 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 } } Procedure MainInitialization; MathematicalProgram crossdock_15x7 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve crossdock_15x7; } } Procedure MainTermination { Body: { return 1; } } }