MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance crossdock_15x8
| Formatsⓘ | ams gms lp mod nl osil pip py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 14656.92513000 (ANTIGONE) 15595.00000000 (BARON) 1933.02025800 (COUENNE) 7768.45833300 (CPLEX) 15249.00000000 (GUROBI) 13155.00000000 (LINDO) 8991.76693600 (SCIP) 5137.83333300 (SHOT) 15595.00000000 (Sven Mallach) |
| Referencesⓘ | Guignard, Monique, Hahn, Peter, Pessoa, Artur, and Silva, Daniel Cardoso da, Algorithms for the Cross-dock Door Assignment Problem, Tech. Rep. 2012-06, Optimization Online, 2012. |
| Applicationⓘ | Cross-dock Door Assignment |
| Added to libraryⓘ | 28 Oct 2013 |
| Problem typeⓘ | BQP |
| #Variablesⓘ | 240 |
| #Binary Variablesⓘ | 240 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 240 |
| #Nonlinear Binary Variablesⓘ | 240 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | quadratic |
| Objective curvatureⓘ | indefinite |
| #Nonzeros in Objectiveⓘ | 240 |
| #Nonlinear Nonzeros in Objectiveⓘ | 240 |
| #Constraintsⓘ | 46 |
| #Linear Constraintsⓘ | 46 |
| #Quadratic Constraintsⓘ | 0 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | |
| Constraints curvatureⓘ | linear |
| #Nonzeros in Jacobianⓘ | 480 |
| #Nonlinear Nonzeros in Jacobianⓘ | 0 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 7296 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 0 |
| #Blocks in Hessian of Lagrangianⓘ | 1 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 240 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 240 |
| Average blocksize in Hessian of Lagrangianⓘ | 240.0 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.0000e+00 |
| Maximal coefficientⓘ | 7.3500e+02 |
| Infeasibility of initial pointⓘ | 1 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 47 31 0 16 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 241 1 240 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 721 481 240 0
*
* Solve m using MINLP minimizing objvar;
Variables b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19
,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36
,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53
,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69,b70
,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86,b87
,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102,b103
,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115,b116
,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128,b129
,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141,b142
,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154,b155
,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167,b168
,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180,b181
,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193,b194
,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206,b207
,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219,b220
,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232,b233
,b234,b235,b236,b237,b238,b239,b240,objvar;
Binary Variables b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17
,b18,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34
,b35,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51
,b52,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68
,b69,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85
,b86,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101
,b102,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114
,b115,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127
,b128,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140
,b141,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153
,b154,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166
,b167,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179
,b180,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192
,b193,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205
,b206,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218
,b219,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231
,b232,b233,b234,b235,b236,b237,b238,b239,b240;
Equations e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47;
e1.. -(368*b1*b145 + 414*b1*b146 + 460*b1*b147 + 506*b1*b148 + 552*b1*b149 +
598*b1*b150 + 644*b1*b151 + 690*b1*b152 + 280*b1*b209 + 315*b1*b210 + 350*
b1*b211 + 385*b1*b212 + 420*b1*b213 + 455*b1*b214 + 490*b1*b215 + 525*b1*
b216 + 414*b2*b145 + 368*b2*b146 + 414*b2*b147 + 460*b2*b148 + 506*b2*b149
+ 552*b2*b150 + 598*b2*b151 + 644*b2*b152 + 315*b2*b209 + 280*b2*b210 +
315*b2*b211 + 350*b2*b212 + 385*b2*b213 + 420*b2*b214 + 455*b2*b215 + 490*
b2*b216 + 460*b3*b145 + 414*b3*b146 + 368*b3*b147 + 414*b3*b148 + 460*b3*
b149 + 506*b3*b150 + 552*b3*b151 + 598*b3*b152 + 350*b3*b209 + 315*b3*b210
+ 280*b3*b211 + 315*b3*b212 + 350*b3*b213 + 385*b3*b214 + 420*b3*b215 +
455*b3*b216 + 506*b4*b145 + 460*b4*b146 + 414*b4*b147 + 368*b4*b148 + 414*
b4*b149 + 460*b4*b150 + 506*b4*b151 + 552*b4*b152 + 385*b4*b209 + 350*b4*
b210 + 315*b4*b211 + 280*b4*b212 + 315*b4*b213 + 350*b4*b214 + 385*b4*b215
+ 420*b4*b216 + 552*b5*b145 + 506*b5*b146 + 460*b5*b147 + 414*b5*b148 +
368*b5*b149 + 414*b5*b150 + 460*b5*b151 + 506*b5*b152 + 420*b5*b209 + 385*
b5*b210 + 350*b5*b211 + 315*b5*b212 + 280*b5*b213 + 315*b5*b214 + 350*b5*
b215 + 385*b5*b216 + 598*b6*b145 + 552*b6*b146 + 506*b6*b147 + 460*b6*b148
+ 414*b6*b149 + 368*b6*b150 + 414*b6*b151 + 460*b6*b152 + 455*b6*b209 +
420*b6*b210 + 385*b6*b211 + 350*b6*b212 + 315*b6*b213 + 280*b6*b214 + 315*
b6*b215 + 350*b6*b216 + 644*b7*b145 + 598*b7*b146 + 552*b7*b147 + 506*b7*
b148 + 460*b7*b149 + 414*b7*b150 + 368*b7*b151 + 414*b7*b152 + 490*b7*b209
+ 455*b7*b210 + 420*b7*b211 + 385*b7*b212 + 350*b7*b213 + 315*b7*b214 +
280*b7*b215 + 315*b7*b216 + 690*b8*b145 + 644*b8*b146 + 598*b8*b147 + 552*
b8*b148 + 506*b8*b149 + 460*b8*b150 + 414*b8*b151 + 368*b8*b152 + 525*b8*
b209 + 490*b8*b210 + 455*b8*b211 + 420*b8*b212 + 385*b8*b213 + 350*b8*b214
+ 315*b8*b215 + 280*b8*b216 + 272*b9*b161 + 306*b9*b162 + 340*b9*b163 +
374*b9*b164 + 408*b9*b165 + 442*b9*b166 + 476*b9*b167 + 510*b9*b168 + 160*
b9*b177 + 180*b9*b178 + 200*b9*b179 + 220*b9*b180 + 240*b9*b181 + 260*b9*
b182 + 280*b9*b183 + 300*b9*b184 + 128*b9*b185 + 144*b9*b186 + 160*b9*b187
+ 176*b9*b188 + 192*b9*b189 + 208*b9*b190 + 224*b9*b191 + 240*b9*b192 +
152*b9*b193 + 171*b9*b194 + 190*b9*b195 + 209*b9*b196 + 228*b9*b197 + 247*
b9*b198 + 266*b9*b199 + 285*b9*b200 + 200*b9*b233 + 225*b9*b234 + 250*b9*
b235 + 275*b9*b236 + 300*b9*b237 + 325*b9*b238 + 350*b9*b239 + 375*b9*b240
+ 306*b10*b161 + 272*b10*b162 + 306*b10*b163 + 340*b10*b164 + 374*b10*
b165 + 408*b10*b166 + 442*b10*b167 + 476*b10*b168 + 180*b10*b177 + 160*b10
*b178 + 180*b10*b179 + 200*b10*b180 + 220*b10*b181 + 240*b10*b182 + 260*
b10*b183 + 280*b10*b184 + 144*b10*b185 + 128*b10*b186 + 144*b10*b187 + 160
*b10*b188 + 176*b10*b189 + 192*b10*b190 + 208*b10*b191 + 224*b10*b192 +
171*b10*b193 + 152*b10*b194 + 171*b10*b195 + 190*b10*b196 + 209*b10*b197
+ 228*b10*b198 + 247*b10*b199 + 266*b10*b200 + 225*b10*b233 + 200*b10*
b234 + 225*b10*b235 + 250*b10*b236 + 275*b10*b237 + 300*b10*b238 + 325*b10
*b239 + 350*b10*b240 + 340*b11*b161 + 306*b11*b162 + 272*b11*b163 + 306*
b11*b164 + 340*b11*b165 + 374*b11*b166 + 408*b11*b167 + 442*b11*b168 + 200
*b11*b177 + 180*b11*b178 + 160*b11*b179 + 180*b11*b180 + 200*b11*b181 +
220*b11*b182 + 240*b11*b183 + 260*b11*b184 + 160*b11*b185 + 144*b11*b186
+ 128*b11*b187 + 144*b11*b188 + 160*b11*b189 + 176*b11*b190 + 192*b11*
b191 + 208*b11*b192 + 190*b11*b193 + 171*b11*b194 + 152*b11*b195 + 171*b11
*b196 + 190*b11*b197 + 209*b11*b198 + 228*b11*b199 + 247*b11*b200 + 250*
b11*b233 + 225*b11*b234 + 200*b11*b235 + 225*b11*b236 + 250*b11*b237 + 275
*b11*b238 + 300*b11*b239 + 325*b11*b240 + 374*b12*b161 + 340*b12*b162 +
306*b12*b163 + 272*b12*b164 + 306*b12*b165 + 340*b12*b166 + 374*b12*b167
+ 408*b12*b168 + 220*b12*b177 + 200*b12*b178 + 180*b12*b179 + 160*b12*
b180 + 180*b12*b181 + 200*b12*b182 + 220*b12*b183 + 240*b12*b184 + 176*b12
*b185 + 160*b12*b186 + 144*b12*b187 + 128*b12*b188 + 144*b12*b189 + 160*
b12*b190 + 176*b12*b191 + 192*b12*b192 + 209*b12*b193 + 190*b12*b194 + 171
*b12*b195 + 152*b12*b196 + 171*b12*b197 + 190*b12*b198 + 209*b12*b199 +
228*b12*b200 + 275*b12*b233 + 250*b12*b234 + 225*b12*b235 + 200*b12*b236
+ 225*b12*b237 + 250*b12*b238 + 275*b12*b239 + 300*b12*b240 + 408*b13*
b161 + 374*b13*b162 + 340*b13*b163 + 306*b13*b164 + 272*b13*b165 + 306*b13
*b166 + 340*b13*b167 + 374*b13*b168 + 240*b13*b177 + 220*b13*b178 + 200*
b13*b179 + 180*b13*b180 + 160*b13*b181 + 180*b13*b182 + 200*b13*b183 + 220
*b13*b184 + 192*b13*b185 + 176*b13*b186 + 160*b13*b187 + 144*b13*b188 +
128*b13*b189 + 144*b13*b190 + 160*b13*b191 + 176*b13*b192 + 228*b13*b193
+ 209*b13*b194 + 190*b13*b195 + 171*b13*b196 + 152*b13*b197 + 171*b13*
b198 + 190*b13*b199 + 209*b13*b200 + 300*b13*b233 + 275*b13*b234 + 250*b13
*b235 + 225*b13*b236 + 200*b13*b237 + 225*b13*b238 + 250*b13*b239 + 275*
b13*b240 + 442*b14*b161 + 408*b14*b162 + 374*b14*b163 + 340*b14*b164 + 306
*b14*b165 + 272*b14*b166 + 306*b14*b167 + 340*b14*b168 + 260*b14*b177 +
240*b14*b178 + 220*b14*b179 + 200*b14*b180 + 180*b14*b181 + 160*b14*b182
+ 180*b14*b183 + 200*b14*b184 + 208*b14*b185 + 192*b14*b186 + 176*b14*
b187 + 160*b14*b188 + 144*b14*b189 + 128*b14*b190 + 144*b14*b191 + 160*b14
*b192 + 247*b14*b193 + 228*b14*b194 + 209*b14*b195 + 190*b14*b196 + 171*
b14*b197 + 152*b14*b198 + 171*b14*b199 + 190*b14*b200 + 325*b14*b233 + 300
*b14*b234 + 275*b14*b235 + 250*b14*b236 + 225*b14*b237 + 200*b14*b238 +
225*b14*b239 + 250*b14*b240 + 476*b15*b161 + 442*b15*b162 + 408*b15*b163
+ 374*b15*b164 + 340*b15*b165 + 306*b15*b166 + 272*b15*b167 + 306*b15*
b168 + 280*b15*b177 + 260*b15*b178 + 240*b15*b179 + 220*b15*b180 + 200*b15
*b181 + 180*b15*b182 + 160*b15*b183 + 180*b15*b184 + 224*b15*b185 + 208*
b15*b186 + 192*b15*b187 + 176*b15*b188 + 160*b15*b189 + 144*b15*b190 + 128
*b15*b191 + 144*b15*b192 + 266*b15*b193 + 247*b15*b194 + 228*b15*b195 +
209*b15*b196 + 190*b15*b197 + 171*b15*b198 + 152*b15*b199 + 171*b15*b200
+ 350*b15*b233 + 325*b15*b234 + 300*b15*b235 + 275*b15*b236 + 250*b15*
b237 + 225*b15*b238 + 200*b15*b239 + 225*b15*b240 + 510*b16*b161 + 476*b16
*b162 + 442*b16*b163 + 408*b16*b164 + 374*b16*b165 + 340*b16*b166 + 306*
b16*b167 + 272*b16*b168 + 300*b16*b177 + 280*b16*b178 + 260*b16*b179 + 240
*b16*b180 + 220*b16*b181 + 200*b16*b182 + 180*b16*b183 + 160*b16*b184 +
240*b16*b185 + 224*b16*b186 + 208*b16*b187 + 192*b16*b188 + 176*b16*b189
+ 160*b16*b190 + 144*b16*b191 + 128*b16*b192 + 285*b16*b193 + 266*b16*
b194 + 247*b16*b195 + 228*b16*b196 + 209*b16*b197 + 190*b16*b198 + 171*b16
*b199 + 152*b16*b200 + 375*b16*b233 + 350*b16*b234 + 325*b16*b235 + 300*
b16*b236 + 275*b16*b237 + 250*b16*b238 + 225*b16*b239 + 200*b16*b240 + 240
*b17*b169 + 270*b17*b170 + 300*b17*b171 + 330*b17*b172 + 360*b17*b173 +
390*b17*b174 + 420*b17*b175 + 450*b17*b176 + 224*b17*b193 + 252*b17*b194
+ 280*b17*b195 + 308*b17*b196 + 336*b17*b197 + 364*b17*b198 + 392*b17*
b199 + 420*b17*b200 + 200*b17*b201 + 225*b17*b202 + 250*b17*b203 + 275*b17
*b204 + 300*b17*b205 + 325*b17*b206 + 350*b17*b207 + 375*b17*b208 + 136*
b17*b209 + 153*b17*b210 + 170*b17*b211 + 187*b17*b212 + 204*b17*b213 + 221
*b17*b214 + 238*b17*b215 + 255*b17*b216 + 270*b18*b169 + 240*b18*b170 +
270*b18*b171 + 300*b18*b172 + 330*b18*b173 + 360*b18*b174 + 390*b18*b175
+ 420*b18*b176 + 252*b18*b193 + 224*b18*b194 + 252*b18*b195 + 280*b18*
b196 + 308*b18*b197 + 336*b18*b198 + 364*b18*b199 + 392*b18*b200 + 225*b18
*b201 + 200*b18*b202 + 225*b18*b203 + 250*b18*b204 + 275*b18*b205 + 300*
b18*b206 + 325*b18*b207 + 350*b18*b208 + 153*b18*b209 + 136*b18*b210 + 153
*b18*b211 + 170*b18*b212 + 187*b18*b213 + 204*b18*b214 + 221*b18*b215 +
238*b18*b216 + 300*b19*b169 + 270*b19*b170 + 240*b19*b171 + 270*b19*b172
+ 300*b19*b173 + 330*b19*b174 + 360*b19*b175 + 390*b19*b176 + 280*b19*
b193 + 252*b19*b194 + 224*b19*b195 + 252*b19*b196 + 280*b19*b197 + 308*b19
*b198 + 336*b19*b199 + 364*b19*b200 + 250*b19*b201 + 225*b19*b202 + 200*
b19*b203 + 225*b19*b204 + 250*b19*b205 + 275*b19*b206 + 300*b19*b207 + 325
*b19*b208 + 170*b19*b209 + 153*b19*b210 + 136*b19*b211 + 153*b19*b212 +
170*b19*b213 + 187*b19*b214 + 204*b19*b215 + 221*b19*b216 + 330*b20*b169
+ 300*b20*b170 + 270*b20*b171 + 240*b20*b172 + 270*b20*b173 + 300*b20*
b174 + 330*b20*b175 + 360*b20*b176 + 308*b20*b193 + 280*b20*b194 + 252*b20
*b195 + 224*b20*b196 + 252*b20*b197 + 280*b20*b198 + 308*b20*b199 + 336*
b20*b200 + 275*b20*b201 + 250*b20*b202 + 225*b20*b203 + 200*b20*b204 + 225
*b20*b205 + 250*b20*b206 + 275*b20*b207 + 300*b20*b208 + 187*b20*b209 +
170*b20*b210 + 153*b20*b211 + 136*b20*b212 + 153*b20*b213 + 170*b20*b214
+ 187*b20*b215 + 204*b20*b216 + 360*b21*b169 + 330*b21*b170 + 300*b21*
b171 + 270*b21*b172 + 240*b21*b173 + 270*b21*b174 + 300*b21*b175 + 330*b21
*b176 + 336*b21*b193 + 308*b21*b194 + 280*b21*b195 + 252*b21*b196 + 224*
b21*b197 + 252*b21*b198 + 280*b21*b199 + 308*b21*b200 + 300*b21*b201 + 275
*b21*b202 + 250*b21*b203 + 225*b21*b204 + 200*b21*b205 + 225*b21*b206 +
250*b21*b207 + 275*b21*b208 + 204*b21*b209 + 187*b21*b210 + 170*b21*b211
+ 153*b21*b212 + 136*b21*b213 + 153*b21*b214 + 170*b21*b215 + 187*b21*
b216 + 390*b22*b169 + 360*b22*b170 + 330*b22*b171 + 300*b22*b172 + 270*b22
*b173 + 240*b22*b174 + 270*b22*b175 + 300*b22*b176 + 364*b22*b193 + 336*
b22*b194 + 308*b22*b195 + 280*b22*b196 + 252*b22*b197 + 224*b22*b198 + 252
*b22*b199 + 280*b22*b200 + 325*b22*b201 + 300*b22*b202 + 275*b22*b203 +
250*b22*b204 + 225*b22*b205 + 200*b22*b206 + 225*b22*b207 + 250*b22*b208
+ 221*b22*b209 + 204*b22*b210 + 187*b22*b211 + 170*b22*b212 + 153*b22*
b213 + 136*b22*b214 + 153*b22*b215 + 170*b22*b216 + 420*b23*b169 + 390*b23
*b170 + 360*b23*b171 + 330*b23*b172 + 300*b23*b173 + 270*b23*b174 + 240*
b23*b175 + 270*b23*b176 + 392*b23*b193 + 364*b23*b194 + 336*b23*b195 + 308
*b23*b196 + 280*b23*b197 + 252*b23*b198 + 224*b23*b199 + 252*b23*b200 +
350*b23*b201 + 325*b23*b202 + 300*b23*b203 + 275*b23*b204 + 250*b23*b205
+ 225*b23*b206 + 200*b23*b207 + 225*b23*b208 + 238*b23*b209 + 221*b23*
b210 + 204*b23*b211 + 187*b23*b212 + 170*b23*b213 + 153*b23*b214 + 136*b23
*b215 + 153*b23*b216 + 450*b24*b169 + 420*b24*b170 + 390*b24*b171 + 360*
b24*b172 + 330*b24*b173 + 300*b24*b174 + 270*b24*b175 + 240*b24*b176 + 420
*b24*b193 + 392*b24*b194 + 364*b24*b195 + 336*b24*b196 + 308*b24*b197 +
280*b24*b198 + 252*b24*b199 + 224*b24*b200 + 375*b24*b201 + 350*b24*b202
+ 325*b24*b203 + 300*b24*b204 + 275*b24*b205 + 250*b24*b206 + 225*b24*
b207 + 200*b24*b208 + 255*b24*b209 + 238*b24*b210 + 221*b24*b211 + 204*b24
*b212 + 187*b24*b213 + 170*b24*b214 + 153*b24*b215 + 136*b24*b216 + 160*
b25*b145 + 180*b25*b146 + 200*b25*b147 + 220*b25*b148 + 240*b25*b149 + 260
*b25*b150 + 280*b25*b151 + 300*b25*b152 + 240*b25*b161 + 270*b25*b162 +
300*b25*b163 + 330*b25*b164 + 360*b25*b165 + 390*b25*b166 + 420*b25*b167
+ 450*b25*b168 + 180*b26*b145 + 160*b26*b146 + 180*b26*b147 + 200*b26*
b148 + 220*b26*b149 + 240*b26*b150 + 260*b26*b151 + 280*b26*b152 + 270*b26
*b161 + 240*b26*b162 + 270*b26*b163 + 300*b26*b164 + 330*b26*b165 + 360*
b26*b166 + 390*b26*b167 + 420*b26*b168 + 200*b27*b145 + 180*b27*b146 + 160
*b27*b147 + 180*b27*b148 + 200*b27*b149 + 220*b27*b150 + 240*b27*b151 +
260*b27*b152 + 300*b27*b161 + 270*b27*b162 + 240*b27*b163 + 270*b27*b164
+ 300*b27*b165 + 330*b27*b166 + 360*b27*b167 + 390*b27*b168 + 220*b28*
b145 + 200*b28*b146 + 180*b28*b147 + 160*b28*b148 + 180*b28*b149 + 200*b28
*b150 + 220*b28*b151 + 240*b28*b152 + 330*b28*b161 + 300*b28*b162 + 270*
b28*b163 + 240*b28*b164 + 270*b28*b165 + 300*b28*b166 + 330*b28*b167 + 360
*b28*b168 + 240*b29*b145 + 220*b29*b146 + 200*b29*b147 + 180*b29*b148 +
160*b29*b149 + 180*b29*b150 + 200*b29*b151 + 220*b29*b152 + 360*b29*b161
+ 330*b29*b162 + 300*b29*b163 + 270*b29*b164 + 240*b29*b165 + 270*b29*
b166 + 300*b29*b167 + 330*b29*b168 + 260*b30*b145 + 240*b30*b146 + 220*b30
*b147 + 200*b30*b148 + 180*b30*b149 + 160*b30*b150 + 180*b30*b151 + 200*
b30*b152 + 390*b30*b161 + 360*b30*b162 + 330*b30*b163 + 300*b30*b164 + 270
*b30*b165 + 240*b30*b166 + 270*b30*b167 + 300*b30*b168 + 280*b31*b145 +
260*b31*b146 + 240*b31*b147 + 220*b31*b148 + 200*b31*b149 + 180*b31*b150
+ 160*b31*b151 + 180*b31*b152 + 420*b31*b161 + 390*b31*b162 + 360*b31*
b163 + 330*b31*b164 + 300*b31*b165 + 270*b31*b166 + 240*b31*b167 + 270*b31
*b168 + 300*b32*b145 + 280*b32*b146 + 260*b32*b147 + 240*b32*b148 + 220*
b32*b149 + 200*b32*b150 + 180*b32*b151 + 160*b32*b152 + 450*b32*b161 + 420
*b32*b162 + 390*b32*b163 + 360*b32*b164 + 330*b32*b165 + 300*b32*b166 +
270*b32*b167 + 240*b32*b168 + 104*b33*b121 + 117*b33*b122 + 130*b33*b123
+ 143*b33*b124 + 156*b33*b125 + 169*b33*b126 + 182*b33*b127 + 195*b33*
b128 + 304*b33*b145 + 342*b33*b146 + 380*b33*b147 + 418*b33*b148 + 456*b33
*b149 + 494*b33*b150 + 532*b33*b151 + 570*b33*b152 + 117*b34*b121 + 104*
b34*b122 + 117*b34*b123 + 130*b34*b124 + 143*b34*b125 + 156*b34*b126 + 169
*b34*b127 + 182*b34*b128 + 342*b34*b145 + 304*b34*b146 + 342*b34*b147 +
380*b34*b148 + 418*b34*b149 + 456*b34*b150 + 494*b34*b151 + 532*b34*b152
+ 130*b35*b121 + 117*b35*b122 + 104*b35*b123 + 117*b35*b124 + 130*b35*
b125 + 143*b35*b126 + 156*b35*b127 + 169*b35*b128 + 380*b35*b145 + 342*b35
*b146 + 304*b35*b147 + 342*b35*b148 + 380*b35*b149 + 418*b35*b150 + 456*
b35*b151 + 494*b35*b152 + 143*b36*b121 + 130*b36*b122 + 117*b36*b123 + 104
*b36*b124 + 117*b36*b125 + 130*b36*b126 + 143*b36*b127 + 156*b36*b128 +
418*b36*b145 + 380*b36*b146 + 342*b36*b147 + 304*b36*b148 + 342*b36*b149
+ 380*b36*b150 + 418*b36*b151 + 456*b36*b152 + 156*b37*b121 + 143*b37*
b122 + 130*b37*b123 + 117*b37*b124 + 104*b37*b125 + 117*b37*b126 + 130*b37
*b127 + 143*b37*b128 + 456*b37*b145 + 418*b37*b146 + 380*b37*b147 + 342*
b37*b148 + 304*b37*b149 + 342*b37*b150 + 380*b37*b151 + 418*b37*b152 + 169
*b38*b121 + 156*b38*b122 + 143*b38*b123 + 130*b38*b124 + 117*b38*b125 +
104*b38*b126 + 117*b38*b127 + 130*b38*b128 + 494*b38*b145 + 456*b38*b146
+ 418*b38*b147 + 380*b38*b148 + 342*b38*b149 + 304*b38*b150 + 342*b38*
b151 + 380*b38*b152 + 182*b39*b121 + 169*b39*b122 + 156*b39*b123 + 143*b39
*b124 + 130*b39*b125 + 117*b39*b126 + 104*b39*b127 + 117*b39*b128 + 532*
b39*b145 + 494*b39*b146 + 456*b39*b147 + 418*b39*b148 + 380*b39*b149 + 342
*b39*b150 + 304*b39*b151 + 342*b39*b152 + 195*b40*b121 + 182*b40*b122 +
169*b40*b123 + 156*b40*b124 + 143*b40*b125 + 130*b40*b126 + 117*b40*b127
+ 104*b40*b128 + 570*b40*b145 + 532*b40*b146 + 494*b40*b147 + 456*b40*
b148 + 418*b40*b149 + 380*b40*b150 + 342*b40*b151 + 304*b40*b152 + 392*b41
*b137 + 441*b41*b138 + 490*b41*b139 + 539*b41*b140 + 588*b41*b141 + 637*
b41*b142 + 686*b41*b143 + 735*b41*b144 + 304*b41*b145 + 342*b41*b146 + 380
*b41*b147 + 418*b41*b148 + 456*b41*b149 + 494*b41*b150 + 532*b41*b151 +
570*b41*b152 + 264*b41*b161 + 297*b41*b162 + 330*b41*b163 + 363*b41*b164
+ 396*b41*b165 + 429*b41*b166 + 462*b41*b167 + 495*b41*b168 + 160*b41*
b201 + 180*b41*b202 + 200*b41*b203 + 220*b41*b204 + 240*b41*b205 + 260*b41
*b206 + 280*b41*b207 + 300*b41*b208 + 176*b41*b217 + 198*b41*b218 + 220*
b41*b219 + 242*b41*b220 + 264*b41*b221 + 286*b41*b222 + 308*b41*b223 + 330
*b41*b224 + 272*b41*b233 + 306*b41*b234 + 340*b41*b235 + 374*b41*b236 +
408*b41*b237 + 442*b41*b238 + 476*b41*b239 + 510*b41*b240 + 441*b42*b137
+ 392*b42*b138 + 441*b42*b139 + 490*b42*b140 + 539*b42*b141 + 588*b42*
b142 + 637*b42*b143 + 686*b42*b144 + 342*b42*b145 + 304*b42*b146 + 342*b42
*b147 + 380*b42*b148 + 418*b42*b149 + 456*b42*b150 + 494*b42*b151 + 532*
b42*b152 + 297*b42*b161 + 264*b42*b162 + 297*b42*b163 + 330*b42*b164 + 363
*b42*b165 + 396*b42*b166 + 429*b42*b167 + 462*b42*b168 + 180*b42*b201 +
160*b42*b202 + 180*b42*b203 + 200*b42*b204 + 220*b42*b205 + 240*b42*b206
+ 260*b42*b207 + 280*b42*b208 + 198*b42*b217 + 176*b42*b218 + 198*b42*
b219 + 220*b42*b220 + 242*b42*b221 + 264*b42*b222 + 286*b42*b223 + 308*b42
*b224 + 306*b42*b233 + 272*b42*b234 + 306*b42*b235 + 340*b42*b236 + 374*
b42*b237 + 408*b42*b238 + 442*b42*b239 + 476*b42*b240 + 490*b43*b137 + 441
*b43*b138 + 392*b43*b139 + 441*b43*b140 + 490*b43*b141 + 539*b43*b142 +
588*b43*b143 + 637*b43*b144 + 380*b43*b145 + 342*b43*b146 + 304*b43*b147
+ 342*b43*b148 + 380*b43*b149 + 418*b43*b150 + 456*b43*b151 + 494*b43*
b152 + 330*b43*b161 + 297*b43*b162 + 264*b43*b163 + 297*b43*b164 + 330*b43
*b165 + 363*b43*b166 + 396*b43*b167 + 429*b43*b168 + 200*b43*b201 + 180*
b43*b202 + 160*b43*b203 + 180*b43*b204 + 200*b43*b205 + 220*b43*b206 + 240
*b43*b207 + 260*b43*b208 + 220*b43*b217 + 198*b43*b218 + 176*b43*b219 +
198*b43*b220 + 220*b43*b221 + 242*b43*b222 + 264*b43*b223 + 286*b43*b224
+ 340*b43*b233 + 306*b43*b234 + 272*b43*b235 + 306*b43*b236 + 340*b43*
b237 + 374*b43*b238 + 408*b43*b239 + 442*b43*b240 + 539*b44*b137 + 490*b44
*b138 + 441*b44*b139 + 392*b44*b140 + 441*b44*b141 + 490*b44*b142 + 539*
b44*b143 + 588*b44*b144 + 418*b44*b145 + 380*b44*b146 + 342*b44*b147 + 304
*b44*b148 + 342*b44*b149 + 380*b44*b150 + 418*b44*b151 + 456*b44*b152 +
363*b44*b161 + 330*b44*b162 + 297*b44*b163 + 264*b44*b164 + 297*b44*b165
+ 330*b44*b166 + 363*b44*b167 + 396*b44*b168 + 220*b44*b201 + 200*b44*
b202 + 180*b44*b203 + 160*b44*b204 + 180*b44*b205 + 200*b44*b206 + 220*b44
*b207 + 240*b44*b208 + 242*b44*b217 + 220*b44*b218 + 198*b44*b219 + 176*
b44*b220 + 198*b44*b221 + 220*b44*b222 + 242*b44*b223 + 264*b44*b224 + 374
*b44*b233 + 340*b44*b234 + 306*b44*b235 + 272*b44*b236 + 306*b44*b237 +
340*b44*b238 + 374*b44*b239 + 408*b44*b240 + 588*b45*b137 + 539*b45*b138
+ 490*b45*b139 + 441*b45*b140 + 392*b45*b141 + 441*b45*b142 + 490*b45*
b143 + 539*b45*b144 + 456*b45*b145 + 418*b45*b146 + 380*b45*b147 + 342*b45
*b148 + 304*b45*b149 + 342*b45*b150 + 380*b45*b151 + 418*b45*b152 + 396*
b45*b161 + 363*b45*b162 + 330*b45*b163 + 297*b45*b164 + 264*b45*b165 + 297
*b45*b166 + 330*b45*b167 + 363*b45*b168 + 240*b45*b201 + 220*b45*b202 +
200*b45*b203 + 180*b45*b204 + 160*b45*b205 + 180*b45*b206 + 200*b45*b207
+ 220*b45*b208 + 264*b45*b217 + 242*b45*b218 + 220*b45*b219 + 198*b45*
b220 + 176*b45*b221 + 198*b45*b222 + 220*b45*b223 + 242*b45*b224 + 408*b45
*b233 + 374*b45*b234 + 340*b45*b235 + 306*b45*b236 + 272*b45*b237 + 306*
b45*b238 + 340*b45*b239 + 374*b45*b240 + 637*b46*b137 + 588*b46*b138 + 539
*b46*b139 + 490*b46*b140 + 441*b46*b141 + 392*b46*b142 + 441*b46*b143 +
490*b46*b144 + 494*b46*b145 + 456*b46*b146 + 418*b46*b147 + 380*b46*b148
+ 342*b46*b149 + 304*b46*b150 + 342*b46*b151 + 380*b46*b152 + 429*b46*
b161 + 396*b46*b162 + 363*b46*b163 + 330*b46*b164 + 297*b46*b165 + 264*b46
*b166 + 297*b46*b167 + 330*b46*b168 + 260*b46*b201 + 240*b46*b202 + 220*
b46*b203 + 200*b46*b204 + 180*b46*b205 + 160*b46*b206 + 180*b46*b207 + 200
*b46*b208 + 286*b46*b217 + 264*b46*b218 + 242*b46*b219 + 220*b46*b220 +
198*b46*b221 + 176*b46*b222 + 198*b46*b223 + 220*b46*b224 + 442*b46*b233
+ 408*b46*b234 + 374*b46*b235 + 340*b46*b236 + 306*b46*b237 + 272*b46*
b238 + 306*b46*b239 + 340*b46*b240 + 686*b47*b137 + 637*b47*b138 + 588*b47
*b139 + 539*b47*b140 + 490*b47*b141 + 441*b47*b142 + 392*b47*b143 + 441*
b47*b144 + 532*b47*b145 + 494*b47*b146 + 456*b47*b147 + 418*b47*b148 + 380
*b47*b149 + 342*b47*b150 + 304*b47*b151 + 342*b47*b152 + 462*b47*b161 +
429*b47*b162 + 396*b47*b163 + 363*b47*b164 + 330*b47*b165 + 297*b47*b166
+ 264*b47*b167 + 297*b47*b168 + 280*b47*b201 + 260*b47*b202 + 240*b47*
b203 + 220*b47*b204 + 200*b47*b205 + 180*b47*b206 + 160*b47*b207 + 180*b47
*b208 + 308*b47*b217 + 286*b47*b218 + 264*b47*b219 + 242*b47*b220 + 220*
b47*b221 + 198*b47*b222 + 176*b47*b223 + 198*b47*b224 + 476*b47*b233 + 442
*b47*b234 + 408*b47*b235 + 374*b47*b236 + 340*b47*b237 + 306*b47*b238 +
272*b47*b239 + 306*b47*b240 + 735*b48*b137 + 686*b48*b138 + 637*b48*b139
+ 588*b48*b140 + 539*b48*b141 + 490*b48*b142 + 441*b48*b143 + 392*b48*
b144 + 570*b48*b145 + 532*b48*b146 + 494*b48*b147 + 456*b48*b148 + 418*b48
*b149 + 380*b48*b150 + 342*b48*b151 + 304*b48*b152 + 495*b48*b161 + 462*
b48*b162 + 429*b48*b163 + 396*b48*b164 + 363*b48*b165 + 330*b48*b166 + 297
*b48*b167 + 264*b48*b168 + 300*b48*b201 + 280*b48*b202 + 260*b48*b203 +
240*b48*b204 + 220*b48*b205 + 200*b48*b206 + 180*b48*b207 + 160*b48*b208
+ 330*b48*b217 + 308*b48*b218 + 286*b48*b219 + 264*b48*b220 + 242*b48*
b221 + 220*b48*b222 + 198*b48*b223 + 176*b48*b224 + 510*b48*b233 + 476*b48
*b234 + 442*b48*b235 + 408*b48*b236 + 374*b48*b237 + 340*b48*b238 + 306*
b48*b239 + 272*b48*b240 + 136*b49*b201 + 153*b49*b202 + 170*b49*b203 + 187
*b49*b204 + 204*b49*b205 + 221*b49*b206 + 238*b49*b207 + 255*b49*b208 + 96
*b49*b217 + 108*b49*b218 + 120*b49*b219 + 132*b49*b220 + 144*b49*b221 +
156*b49*b222 + 168*b49*b223 + 180*b49*b224 + 376*b49*b225 + 423*b49*b226
+ 470*b49*b227 + 517*b49*b228 + 564*b49*b229 + 611*b49*b230 + 658*b49*
b231 + 705*b49*b232 + 160*b49*b233 + 180*b49*b234 + 200*b49*b235 + 220*b49
*b236 + 240*b49*b237 + 260*b49*b238 + 280*b49*b239 + 300*b49*b240 + 153*
b50*b201 + 136*b50*b202 + 153*b50*b203 + 170*b50*b204 + 187*b50*b205 + 204
*b50*b206 + 221*b50*b207 + 238*b50*b208 + 108*b50*b217 + 96*b50*b218 + 108
*b50*b219 + 120*b50*b220 + 132*b50*b221 + 144*b50*b222 + 156*b50*b223 +
168*b50*b224 + 423*b50*b225 + 376*b50*b226 + 423*b50*b227 + 470*b50*b228
+ 517*b50*b229 + 564*b50*b230 + 611*b50*b231 + 658*b50*b232 + 180*b50*
b233 + 160*b50*b234 + 180*b50*b235 + 200*b50*b236 + 220*b50*b237 + 240*b50
*b238 + 260*b50*b239 + 280*b50*b240 + 170*b51*b201 + 153*b51*b202 + 136*
b51*b203 + 153*b51*b204 + 170*b51*b205 + 187*b51*b206 + 204*b51*b207 + 221
*b51*b208 + 120*b51*b217 + 108*b51*b218 + 96*b51*b219 + 108*b51*b220 + 120
*b51*b221 + 132*b51*b222 + 144*b51*b223 + 156*b51*b224 + 470*b51*b225 +
423*b51*b226 + 376*b51*b227 + 423*b51*b228 + 470*b51*b229 + 517*b51*b230
+ 564*b51*b231 + 611*b51*b232 + 200*b51*b233 + 180*b51*b234 + 160*b51*
b235 + 180*b51*b236 + 200*b51*b237 + 220*b51*b238 + 240*b51*b239 + 260*b51
*b240 + 187*b52*b201 + 170*b52*b202 + 153*b52*b203 + 136*b52*b204 + 153*
b52*b205 + 170*b52*b206 + 187*b52*b207 + 204*b52*b208 + 132*b52*b217 + 120
*b52*b218 + 108*b52*b219 + 96*b52*b220 + 108*b52*b221 + 120*b52*b222 + 132
*b52*b223 + 144*b52*b224 + 517*b52*b225 + 470*b52*b226 + 423*b52*b227 +
376*b52*b228 + 423*b52*b229 + 470*b52*b230 + 517*b52*b231 + 564*b52*b232
+ 220*b52*b233 + 200*b52*b234 + 180*b52*b235 + 160*b52*b236 + 180*b52*
b237 + 200*b52*b238 + 220*b52*b239 + 240*b52*b240 + 204*b53*b201 + 187*b53
*b202 + 170*b53*b203 + 153*b53*b204 + 136*b53*b205 + 153*b53*b206 + 170*
b53*b207 + 187*b53*b208 + 144*b53*b217 + 132*b53*b218 + 120*b53*b219 + 108
*b53*b220 + 96*b53*b221 + 108*b53*b222 + 120*b53*b223 + 132*b53*b224 + 564
*b53*b225 + 517*b53*b226 + 470*b53*b227 + 423*b53*b228 + 376*b53*b229 +
423*b53*b230 + 470*b53*b231 + 517*b53*b232 + 240*b53*b233 + 220*b53*b234
+ 200*b53*b235 + 180*b53*b236 + 160*b53*b237 + 180*b53*b238 + 200*b53*
b239 + 220*b53*b240 + 221*b54*b201 + 204*b54*b202 + 187*b54*b203 + 170*b54
*b204 + 153*b54*b205 + 136*b54*b206 + 153*b54*b207 + 170*b54*b208 + 156*
b54*b217 + 144*b54*b218 + 132*b54*b219 + 120*b54*b220 + 108*b54*b221 + 96*
b54*b222 + 108*b54*b223 + 120*b54*b224 + 611*b54*b225 + 564*b54*b226 + 517
*b54*b227 + 470*b54*b228 + 423*b54*b229 + 376*b54*b230 + 423*b54*b231 +
470*b54*b232 + 260*b54*b233 + 240*b54*b234 + 220*b54*b235 + 200*b54*b236
+ 180*b54*b237 + 160*b54*b238 + 180*b54*b239 + 200*b54*b240 + 238*b55*
b201 + 221*b55*b202 + 204*b55*b203 + 187*b55*b204 + 170*b55*b205 + 153*b55
*b206 + 136*b55*b207 + 153*b55*b208 + 168*b55*b217 + 156*b55*b218 + 144*
b55*b219 + 132*b55*b220 + 120*b55*b221 + 108*b55*b222 + 96*b55*b223 + 108*
b55*b224 + 658*b55*b225 + 611*b55*b226 + 564*b55*b227 + 517*b55*b228 + 470
*b55*b229 + 423*b55*b230 + 376*b55*b231 + 423*b55*b232 + 280*b55*b233 +
260*b55*b234 + 240*b55*b235 + 220*b55*b236 + 200*b55*b237 + 180*b55*b238
+ 160*b55*b239 + 180*b55*b240 + 255*b56*b201 + 238*b56*b202 + 221*b56*
b203 + 204*b56*b204 + 187*b56*b205 + 170*b56*b206 + 153*b56*b207 + 136*b56
*b208 + 180*b56*b217 + 168*b56*b218 + 156*b56*b219 + 144*b56*b220 + 132*
b56*b221 + 120*b56*b222 + 108*b56*b223 + 96*b56*b224 + 705*b56*b225 + 658*
b56*b226 + 611*b56*b227 + 564*b56*b228 + 517*b56*b229 + 470*b56*b230 + 423
*b56*b231 + 376*b56*b232 + 300*b56*b233 + 280*b56*b234 + 260*b56*b235 +
240*b56*b236 + 220*b56*b237 + 200*b56*b238 + 180*b56*b239 + 160*b56*b240
+ 320*b57*b169 + 360*b57*b170 + 400*b57*b171 + 440*b57*b172 + 480*b57*
b173 + 520*b57*b174 + 560*b57*b175 + 600*b57*b176 + 368*b57*b201 + 414*b57
*b202 + 460*b57*b203 + 506*b57*b204 + 552*b57*b205 + 598*b57*b206 + 644*
b57*b207 + 690*b57*b208 + 336*b57*b217 + 378*b57*b218 + 420*b57*b219 + 462
*b57*b220 + 504*b57*b221 + 546*b57*b222 + 588*b57*b223 + 630*b57*b224 +
360*b58*b169 + 320*b58*b170 + 360*b58*b171 + 400*b58*b172 + 440*b58*b173
+ 480*b58*b174 + 520*b58*b175 + 560*b58*b176 + 414*b58*b201 + 368*b58*
b202 + 414*b58*b203 + 460*b58*b204 + 506*b58*b205 + 552*b58*b206 + 598*b58
*b207 + 644*b58*b208 + 378*b58*b217 + 336*b58*b218 + 378*b58*b219 + 420*
b58*b220 + 462*b58*b221 + 504*b58*b222 + 546*b58*b223 + 588*b58*b224 + 400
*b59*b169 + 360*b59*b170 + 320*b59*b171 + 360*b59*b172 + 400*b59*b173 +
440*b59*b174 + 480*b59*b175 + 520*b59*b176 + 460*b59*b201 + 414*b59*b202
+ 368*b59*b203 + 414*b59*b204 + 460*b59*b205 + 506*b59*b206 + 552*b59*
b207 + 598*b59*b208 + 420*b59*b217 + 378*b59*b218 + 336*b59*b219 + 378*b59
*b220 + 420*b59*b221 + 462*b59*b222 + 504*b59*b223 + 546*b59*b224 + 440*
b60*b169 + 400*b60*b170 + 360*b60*b171 + 320*b60*b172 + 360*b60*b173 + 400
*b60*b174 + 440*b60*b175 + 480*b60*b176 + 506*b60*b201 + 460*b60*b202 +
414*b60*b203 + 368*b60*b204 + 414*b60*b205 + 460*b60*b206 + 506*b60*b207
+ 552*b60*b208 + 462*b60*b217 + 420*b60*b218 + 378*b60*b219 + 336*b60*
b220 + 378*b60*b221 + 420*b60*b222 + 462*b60*b223 + 504*b60*b224 + 480*b61
*b169 + 440*b61*b170 + 400*b61*b171 + 360*b61*b172 + 320*b61*b173 + 360*
b61*b174 + 400*b61*b175 + 440*b61*b176 + 552*b61*b201 + 506*b61*b202 + 460
*b61*b203 + 414*b61*b204 + 368*b61*b205 + 414*b61*b206 + 460*b61*b207 +
506*b61*b208 + 504*b61*b217 + 462*b61*b218 + 420*b61*b219 + 378*b61*b220
+ 336*b61*b221 + 378*b61*b222 + 420*b61*b223 + 462*b61*b224 + 520*b62*
b169 + 480*b62*b170 + 440*b62*b171 + 400*b62*b172 + 360*b62*b173 + 320*b62
*b174 + 360*b62*b175 + 400*b62*b176 + 598*b62*b201 + 552*b62*b202 + 506*
b62*b203 + 460*b62*b204 + 414*b62*b205 + 368*b62*b206 + 414*b62*b207 + 460
*b62*b208 + 546*b62*b217 + 504*b62*b218 + 462*b62*b219 + 420*b62*b220 +
378*b62*b221 + 336*b62*b222 + 378*b62*b223 + 420*b62*b224 + 560*b63*b169
+ 520*b63*b170 + 480*b63*b171 + 440*b63*b172 + 400*b63*b173 + 360*b63*
b174 + 320*b63*b175 + 360*b63*b176 + 644*b63*b201 + 598*b63*b202 + 552*b63
*b203 + 506*b63*b204 + 460*b63*b205 + 414*b63*b206 + 368*b63*b207 + 414*
b63*b208 + 588*b63*b217 + 546*b63*b218 + 504*b63*b219 + 462*b63*b220 + 420
*b63*b221 + 378*b63*b222 + 336*b63*b223 + 378*b63*b224 + 600*b64*b169 +
560*b64*b170 + 520*b64*b171 + 480*b64*b172 + 440*b64*b173 + 400*b64*b174
+ 360*b64*b175 + 320*b64*b176 + 690*b64*b201 + 644*b64*b202 + 598*b64*
b203 + 552*b64*b204 + 506*b64*b205 + 460*b64*b206 + 414*b64*b207 + 368*b64
*b208 + 630*b64*b217 + 588*b64*b218 + 546*b64*b219 + 504*b64*b220 + 462*
b64*b221 + 420*b64*b222 + 378*b64*b223 + 336*b64*b224 + 384*b65*b177 + 432
*b65*b178 + 480*b65*b179 + 528*b65*b180 + 576*b65*b181 + 624*b65*b182 +
672*b65*b183 + 720*b65*b184 + 88*b65*b185 + 99*b65*b186 + 110*b65*b187 +
121*b65*b188 + 132*b65*b189 + 143*b65*b190 + 154*b65*b191 + 165*b65*b192
+ 192*b65*b225 + 216*b65*b226 + 240*b65*b227 + 264*b65*b228 + 288*b65*
b229 + 312*b65*b230 + 336*b65*b231 + 360*b65*b232 + 432*b66*b177 + 384*b66
*b178 + 432*b66*b179 + 480*b66*b180 + 528*b66*b181 + 576*b66*b182 + 624*
b66*b183 + 672*b66*b184 + 99*b66*b185 + 88*b66*b186 + 99*b66*b187 + 110*
b66*b188 + 121*b66*b189 + 132*b66*b190 + 143*b66*b191 + 154*b66*b192 + 216
*b66*b225 + 192*b66*b226 + 216*b66*b227 + 240*b66*b228 + 264*b66*b229 +
288*b66*b230 + 312*b66*b231 + 336*b66*b232 + 480*b67*b177 + 432*b67*b178
+ 384*b67*b179 + 432*b67*b180 + 480*b67*b181 + 528*b67*b182 + 576*b67*
b183 + 624*b67*b184 + 110*b67*b185 + 99*b67*b186 + 88*b67*b187 + 99*b67*
b188 + 110*b67*b189 + 121*b67*b190 + 132*b67*b191 + 143*b67*b192 + 240*b67
*b225 + 216*b67*b226 + 192*b67*b227 + 216*b67*b228 + 240*b67*b229 + 264*
b67*b230 + 288*b67*b231 + 312*b67*b232 + 528*b68*b177 + 480*b68*b178 + 432
*b68*b179 + 384*b68*b180 + 432*b68*b181 + 480*b68*b182 + 528*b68*b183 +
576*b68*b184 + 121*b68*b185 + 110*b68*b186 + 99*b68*b187 + 88*b68*b188 +
99*b68*b189 + 110*b68*b190 + 121*b68*b191 + 132*b68*b192 + 264*b68*b225 +
240*b68*b226 + 216*b68*b227 + 192*b68*b228 + 216*b68*b229 + 240*b68*b230
+ 264*b68*b231 + 288*b68*b232 + 576*b69*b177 + 528*b69*b178 + 480*b69*
b179 + 432*b69*b180 + 384*b69*b181 + 432*b69*b182 + 480*b69*b183 + 528*b69
*b184 + 132*b69*b185 + 121*b69*b186 + 110*b69*b187 + 99*b69*b188 + 88*b69*
b189 + 99*b69*b190 + 110*b69*b191 + 121*b69*b192 + 288*b69*b225 + 264*b69*
b226 + 240*b69*b227 + 216*b69*b228 + 192*b69*b229 + 216*b69*b230 + 240*b69
*b231 + 264*b69*b232 + 624*b70*b177 + 576*b70*b178 + 528*b70*b179 + 480*
b70*b180 + 432*b70*b181 + 384*b70*b182 + 432*b70*b183 + 480*b70*b184 + 143
*b70*b185 + 132*b70*b186 + 121*b70*b187 + 110*b70*b188 + 99*b70*b189 + 88*
b70*b190 + 99*b70*b191 + 110*b70*b192 + 312*b70*b225 + 288*b70*b226 + 264*
b70*b227 + 240*b70*b228 + 216*b70*b229 + 192*b70*b230 + 216*b70*b231 + 240
*b70*b232 + 672*b71*b177 + 624*b71*b178 + 576*b71*b179 + 528*b71*b180 +
480*b71*b181 + 432*b71*b182 + 384*b71*b183 + 432*b71*b184 + 154*b71*b185
+ 143*b71*b186 + 132*b71*b187 + 121*b71*b188 + 110*b71*b189 + 99*b71*b190
+ 88*b71*b191 + 99*b71*b192 + 336*b71*b225 + 312*b71*b226 + 288*b71*b227
+ 264*b71*b228 + 240*b71*b229 + 216*b71*b230 + 192*b71*b231 + 216*b71*
b232 + 720*b72*b177 + 672*b72*b178 + 624*b72*b179 + 576*b72*b180 + 528*b72
*b181 + 480*b72*b182 + 432*b72*b183 + 384*b72*b184 + 165*b72*b185 + 154*
b72*b186 + 143*b72*b187 + 132*b72*b188 + 121*b72*b189 + 110*b72*b190 + 99*
b72*b191 + 88*b72*b192 + 360*b72*b225 + 336*b72*b226 + 312*b72*b227 + 288*
b72*b228 + 264*b72*b229 + 240*b72*b230 + 216*b72*b231 + 192*b72*b232 + 120
*b73*b121 + 135*b73*b122 + 150*b73*b123 + 165*b73*b124 + 180*b73*b125 +
195*b73*b126 + 210*b73*b127 + 225*b73*b128 + 248*b73*b129 + 279*b73*b130
+ 310*b73*b131 + 341*b73*b132 + 372*b73*b133 + 403*b73*b134 + 434*b73*
b135 + 465*b73*b136 + 312*b73*b145 + 351*b73*b146 + 390*b73*b147 + 429*b73
*b148 + 468*b73*b149 + 507*b73*b150 + 546*b73*b151 + 585*b73*b152 + 128*
b73*b153 + 144*b73*b154 + 160*b73*b155 + 176*b73*b156 + 192*b73*b157 + 208
*b73*b158 + 224*b73*b159 + 240*b73*b160 + 368*b73*b185 + 414*b73*b186 +
460*b73*b187 + 506*b73*b188 + 552*b73*b189 + 598*b73*b190 + 644*b73*b191
+ 690*b73*b192 + 336*b73*b233 + 378*b73*b234 + 420*b73*b235 + 462*b73*
b236 + 504*b73*b237 + 546*b73*b238 + 588*b73*b239 + 630*b73*b240 + 135*b74
*b121 + 120*b74*b122 + 135*b74*b123 + 150*b74*b124 + 165*b74*b125 + 180*
b74*b126 + 195*b74*b127 + 210*b74*b128 + 279*b74*b129 + 248*b74*b130 + 279
*b74*b131 + 310*b74*b132 + 341*b74*b133 + 372*b74*b134 + 403*b74*b135 +
434*b74*b136 + 351*b74*b145 + 312*b74*b146 + 351*b74*b147 + 390*b74*b148
+ 429*b74*b149 + 468*b74*b150 + 507*b74*b151 + 546*b74*b152 + 144*b74*
b153 + 128*b74*b154 + 144*b74*b155 + 160*b74*b156 + 176*b74*b157 + 192*b74
*b158 + 208*b74*b159 + 224*b74*b160 + 414*b74*b185 + 368*b74*b186 + 414*
b74*b187 + 460*b74*b188 + 506*b74*b189 + 552*b74*b190 + 598*b74*b191 + 644
*b74*b192 + 378*b74*b233 + 336*b74*b234 + 378*b74*b235 + 420*b74*b236 +
462*b74*b237 + 504*b74*b238 + 546*b74*b239 + 588*b74*b240 + 150*b75*b121
+ 135*b75*b122 + 120*b75*b123 + 135*b75*b124 + 150*b75*b125 + 165*b75*
b126 + 180*b75*b127 + 195*b75*b128 + 310*b75*b129 + 279*b75*b130 + 248*b75
*b131 + 279*b75*b132 + 310*b75*b133 + 341*b75*b134 + 372*b75*b135 + 403*
b75*b136 + 390*b75*b145 + 351*b75*b146 + 312*b75*b147 + 351*b75*b148 + 390
*b75*b149 + 429*b75*b150 + 468*b75*b151 + 507*b75*b152 + 160*b75*b153 +
144*b75*b154 + 128*b75*b155 + 144*b75*b156 + 160*b75*b157 + 176*b75*b158
+ 192*b75*b159 + 208*b75*b160 + 460*b75*b185 + 414*b75*b186 + 368*b75*
b187 + 414*b75*b188 + 460*b75*b189 + 506*b75*b190 + 552*b75*b191 + 598*b75
*b192 + 420*b75*b233 + 378*b75*b234 + 336*b75*b235 + 378*b75*b236 + 420*
b75*b237 + 462*b75*b238 + 504*b75*b239 + 546*b75*b240 + 165*b76*b121 + 150
*b76*b122 + 135*b76*b123 + 120*b76*b124 + 135*b76*b125 + 150*b76*b126 +
165*b76*b127 + 180*b76*b128 + 341*b76*b129 + 310*b76*b130 + 279*b76*b131
+ 248*b76*b132 + 279*b76*b133 + 310*b76*b134 + 341*b76*b135 + 372*b76*
b136 + 429*b76*b145 + 390*b76*b146 + 351*b76*b147 + 312*b76*b148 + 351*b76
*b149 + 390*b76*b150 + 429*b76*b151 + 468*b76*b152 + 176*b76*b153 + 160*
b76*b154 + 144*b76*b155 + 128*b76*b156 + 144*b76*b157 + 160*b76*b158 + 176
*b76*b159 + 192*b76*b160 + 506*b76*b185 + 460*b76*b186 + 414*b76*b187 +
368*b76*b188 + 414*b76*b189 + 460*b76*b190 + 506*b76*b191 + 552*b76*b192
+ 462*b76*b233 + 420*b76*b234 + 378*b76*b235 + 336*b76*b236 + 378*b76*
b237 + 420*b76*b238 + 462*b76*b239 + 504*b76*b240 + 180*b77*b121 + 165*b77
*b122 + 150*b77*b123 + 135*b77*b124 + 120*b77*b125 + 135*b77*b126 + 150*
b77*b127 + 165*b77*b128 + 372*b77*b129 + 341*b77*b130 + 310*b77*b131 + 279
*b77*b132 + 248*b77*b133 + 279*b77*b134 + 310*b77*b135 + 341*b77*b136 +
468*b77*b145 + 429*b77*b146 + 390*b77*b147 + 351*b77*b148 + 312*b77*b149
+ 351*b77*b150 + 390*b77*b151 + 429*b77*b152 + 192*b77*b153 + 176*b77*
b154 + 160*b77*b155 + 144*b77*b156 + 128*b77*b157 + 144*b77*b158 + 160*b77
*b159 + 176*b77*b160 + 552*b77*b185 + 506*b77*b186 + 460*b77*b187 + 414*
b77*b188 + 368*b77*b189 + 414*b77*b190 + 460*b77*b191 + 506*b77*b192 + 504
*b77*b233 + 462*b77*b234 + 420*b77*b235 + 378*b77*b236 + 336*b77*b237 +
378*b77*b238 + 420*b77*b239 + 462*b77*b240 + 195*b78*b121 + 180*b78*b122
+ 165*b78*b123 + 150*b78*b124 + 135*b78*b125 + 120*b78*b126 + 135*b78*
b127 + 150*b78*b128 + 403*b78*b129 + 372*b78*b130 + 341*b78*b131 + 310*b78
*b132 + 279*b78*b133 + 248*b78*b134 + 279*b78*b135 + 310*b78*b136 + 507*
b78*b145 + 468*b78*b146 + 429*b78*b147 + 390*b78*b148 + 351*b78*b149 + 312
*b78*b150 + 351*b78*b151 + 390*b78*b152 + 208*b78*b153 + 192*b78*b154 +
176*b78*b155 + 160*b78*b156 + 144*b78*b157 + 128*b78*b158 + 144*b78*b159
+ 160*b78*b160 + 598*b78*b185 + 552*b78*b186 + 506*b78*b187 + 460*b78*
b188 + 414*b78*b189 + 368*b78*b190 + 414*b78*b191 + 460*b78*b192 + 546*b78
*b233 + 504*b78*b234 + 462*b78*b235 + 420*b78*b236 + 378*b78*b237 + 336*
b78*b238 + 378*b78*b239 + 420*b78*b240 + 210*b79*b121 + 195*b79*b122 + 180
*b79*b123 + 165*b79*b124 + 150*b79*b125 + 135*b79*b126 + 120*b79*b127 +
135*b79*b128 + 434*b79*b129 + 403*b79*b130 + 372*b79*b131 + 341*b79*b132
+ 310*b79*b133 + 279*b79*b134 + 248*b79*b135 + 279*b79*b136 + 546*b79*
b145 + 507*b79*b146 + 468*b79*b147 + 429*b79*b148 + 390*b79*b149 + 351*b79
*b150 + 312*b79*b151 + 351*b79*b152 + 224*b79*b153 + 208*b79*b154 + 192*
b79*b155 + 176*b79*b156 + 160*b79*b157 + 144*b79*b158 + 128*b79*b159 + 144
*b79*b160 + 644*b79*b185 + 598*b79*b186 + 552*b79*b187 + 506*b79*b188 +
460*b79*b189 + 414*b79*b190 + 368*b79*b191 + 414*b79*b192 + 588*b79*b233
+ 546*b79*b234 + 504*b79*b235 + 462*b79*b236 + 420*b79*b237 + 378*b79*
b238 + 336*b79*b239 + 378*b79*b240 + 225*b80*b121 + 210*b80*b122 + 195*b80
*b123 + 180*b80*b124 + 165*b80*b125 + 150*b80*b126 + 135*b80*b127 + 120*
b80*b128 + 465*b80*b129 + 434*b80*b130 + 403*b80*b131 + 372*b80*b132 + 341
*b80*b133 + 310*b80*b134 + 279*b80*b135 + 248*b80*b136 + 585*b80*b145 +
546*b80*b146 + 507*b80*b147 + 468*b80*b148 + 429*b80*b149 + 390*b80*b150
+ 351*b80*b151 + 312*b80*b152 + 240*b80*b153 + 224*b80*b154 + 208*b80*
b155 + 192*b80*b156 + 176*b80*b157 + 160*b80*b158 + 144*b80*b159 + 128*b80
*b160 + 690*b80*b185 + 644*b80*b186 + 598*b80*b187 + 552*b80*b188 + 506*
b80*b189 + 460*b80*b190 + 414*b80*b191 + 368*b80*b192 + 630*b80*b233 + 588
*b80*b234 + 546*b80*b235 + 504*b80*b236 + 462*b80*b237 + 420*b80*b238 +
378*b80*b239 + 336*b80*b240 + 368*b81*b129 + 414*b81*b130 + 460*b81*b131
+ 506*b81*b132 + 552*b81*b133 + 598*b81*b134 + 644*b81*b135 + 690*b81*
b136 + 224*b81*b153 + 252*b81*b154 + 280*b81*b155 + 308*b81*b156 + 336*b81
*b157 + 364*b81*b158 + 392*b81*b159 + 420*b81*b160 + 88*b81*b185 + 99*b81*
b186 + 110*b81*b187 + 121*b81*b188 + 132*b81*b189 + 143*b81*b190 + 154*b81
*b191 + 165*b81*b192 + 224*b81*b193 + 252*b81*b194 + 280*b81*b195 + 308*
b81*b196 + 336*b81*b197 + 364*b81*b198 + 392*b81*b199 + 420*b81*b200 + 414
*b82*b129 + 368*b82*b130 + 414*b82*b131 + 460*b82*b132 + 506*b82*b133 +
552*b82*b134 + 598*b82*b135 + 644*b82*b136 + 252*b82*b153 + 224*b82*b154
+ 252*b82*b155 + 280*b82*b156 + 308*b82*b157 + 336*b82*b158 + 364*b82*
b159 + 392*b82*b160 + 99*b82*b185 + 88*b82*b186 + 99*b82*b187 + 110*b82*
b188 + 121*b82*b189 + 132*b82*b190 + 143*b82*b191 + 154*b82*b192 + 252*b82
*b193 + 224*b82*b194 + 252*b82*b195 + 280*b82*b196 + 308*b82*b197 + 336*
b82*b198 + 364*b82*b199 + 392*b82*b200 + 460*b83*b129 + 414*b83*b130 + 368
*b83*b131 + 414*b83*b132 + 460*b83*b133 + 506*b83*b134 + 552*b83*b135 +
598*b83*b136 + 280*b83*b153 + 252*b83*b154 + 224*b83*b155 + 252*b83*b156
+ 280*b83*b157 + 308*b83*b158 + 336*b83*b159 + 364*b83*b160 + 110*b83*
b185 + 99*b83*b186 + 88*b83*b187 + 99*b83*b188 + 110*b83*b189 + 121*b83*
b190 + 132*b83*b191 + 143*b83*b192 + 280*b83*b193 + 252*b83*b194 + 224*b83
*b195 + 252*b83*b196 + 280*b83*b197 + 308*b83*b198 + 336*b83*b199 + 364*
b83*b200 + 506*b84*b129 + 460*b84*b130 + 414*b84*b131 + 368*b84*b132 + 414
*b84*b133 + 460*b84*b134 + 506*b84*b135 + 552*b84*b136 + 308*b84*b153 +
280*b84*b154 + 252*b84*b155 + 224*b84*b156 + 252*b84*b157 + 280*b84*b158
+ 308*b84*b159 + 336*b84*b160 + 121*b84*b185 + 110*b84*b186 + 99*b84*b187
+ 88*b84*b188 + 99*b84*b189 + 110*b84*b190 + 121*b84*b191 + 132*b84*b192
+ 308*b84*b193 + 280*b84*b194 + 252*b84*b195 + 224*b84*b196 + 252*b84*
b197 + 280*b84*b198 + 308*b84*b199 + 336*b84*b200 + 552*b85*b129 + 506*b85
*b130 + 460*b85*b131 + 414*b85*b132 + 368*b85*b133 + 414*b85*b134 + 460*
b85*b135 + 506*b85*b136 + 336*b85*b153 + 308*b85*b154 + 280*b85*b155 + 252
*b85*b156 + 224*b85*b157 + 252*b85*b158 + 280*b85*b159 + 308*b85*b160 +
132*b85*b185 + 121*b85*b186 + 110*b85*b187 + 99*b85*b188 + 88*b85*b189 +
99*b85*b190 + 110*b85*b191 + 121*b85*b192 + 336*b85*b193 + 308*b85*b194 +
280*b85*b195 + 252*b85*b196 + 224*b85*b197 + 252*b85*b198 + 280*b85*b199
+ 308*b85*b200 + 598*b86*b129 + 552*b86*b130 + 506*b86*b131 + 460*b86*
b132 + 414*b86*b133 + 368*b86*b134 + 414*b86*b135 + 460*b86*b136 + 364*b86
*b153 + 336*b86*b154 + 308*b86*b155 + 280*b86*b156 + 252*b86*b157 + 224*
b86*b158 + 252*b86*b159 + 280*b86*b160 + 143*b86*b185 + 132*b86*b186 + 121
*b86*b187 + 110*b86*b188 + 99*b86*b189 + 88*b86*b190 + 99*b86*b191 + 110*
b86*b192 + 364*b86*b193 + 336*b86*b194 + 308*b86*b195 + 280*b86*b196 + 252
*b86*b197 + 224*b86*b198 + 252*b86*b199 + 280*b86*b200 + 644*b87*b129 +
598*b87*b130 + 552*b87*b131 + 506*b87*b132 + 460*b87*b133 + 414*b87*b134
+ 368*b87*b135 + 414*b87*b136 + 392*b87*b153 + 364*b87*b154 + 336*b87*
b155 + 308*b87*b156 + 280*b87*b157 + 252*b87*b158 + 224*b87*b159 + 252*b87
*b160 + 154*b87*b185 + 143*b87*b186 + 132*b87*b187 + 121*b87*b188 + 110*
b87*b189 + 99*b87*b190 + 88*b87*b191 + 99*b87*b192 + 392*b87*b193 + 364*
b87*b194 + 336*b87*b195 + 308*b87*b196 + 280*b87*b197 + 252*b87*b198 + 224
*b87*b199 + 252*b87*b200 + 690*b88*b129 + 644*b88*b130 + 598*b88*b131 +
552*b88*b132 + 506*b88*b133 + 460*b88*b134 + 414*b88*b135 + 368*b88*b136
+ 420*b88*b153 + 392*b88*b154 + 364*b88*b155 + 336*b88*b156 + 308*b88*
b157 + 280*b88*b158 + 252*b88*b159 + 224*b88*b160 + 165*b88*b185 + 154*b88
*b186 + 143*b88*b187 + 132*b88*b188 + 121*b88*b189 + 110*b88*b190 + 99*b88
*b191 + 88*b88*b192 + 420*b88*b193 + 392*b88*b194 + 364*b88*b195 + 336*b88
*b196 + 308*b88*b197 + 280*b88*b198 + 252*b88*b199 + 224*b88*b200 + 320*
b89*b129 + 360*b89*b130 + 400*b89*b131 + 440*b89*b132 + 480*b89*b133 + 520
*b89*b134 + 560*b89*b135 + 600*b89*b136 + 128*b89*b153 + 144*b89*b154 +
160*b89*b155 + 176*b89*b156 + 192*b89*b157 + 208*b89*b158 + 224*b89*b159
+ 240*b89*b160 + 88*b89*b177 + 99*b89*b178 + 110*b89*b179 + 121*b89*b180
+ 132*b89*b181 + 143*b89*b182 + 154*b89*b183 + 165*b89*b184 + 200*b89*
b193 + 225*b89*b194 + 250*b89*b195 + 275*b89*b196 + 300*b89*b197 + 325*b89
*b198 + 350*b89*b199 + 375*b89*b200 + 360*b90*b129 + 320*b90*b130 + 360*
b90*b131 + 400*b90*b132 + 440*b90*b133 + 480*b90*b134 + 520*b90*b135 + 560
*b90*b136 + 144*b90*b153 + 128*b90*b154 + 144*b90*b155 + 160*b90*b156 +
176*b90*b157 + 192*b90*b158 + 208*b90*b159 + 224*b90*b160 + 99*b90*b177 +
88*b90*b178 + 99*b90*b179 + 110*b90*b180 + 121*b90*b181 + 132*b90*b182 +
143*b90*b183 + 154*b90*b184 + 225*b90*b193 + 200*b90*b194 + 225*b90*b195
+ 250*b90*b196 + 275*b90*b197 + 300*b90*b198 + 325*b90*b199 + 350*b90*
b200 + 400*b91*b129 + 360*b91*b130 + 320*b91*b131 + 360*b91*b132 + 400*b91
*b133 + 440*b91*b134 + 480*b91*b135 + 520*b91*b136 + 160*b91*b153 + 144*
b91*b154 + 128*b91*b155 + 144*b91*b156 + 160*b91*b157 + 176*b91*b158 + 192
*b91*b159 + 208*b91*b160 + 110*b91*b177 + 99*b91*b178 + 88*b91*b179 + 99*
b91*b180 + 110*b91*b181 + 121*b91*b182 + 132*b91*b183 + 143*b91*b184 + 250
*b91*b193 + 225*b91*b194 + 200*b91*b195 + 225*b91*b196 + 250*b91*b197 +
275*b91*b198 + 300*b91*b199 + 325*b91*b200 + 440*b92*b129 + 400*b92*b130
+ 360*b92*b131 + 320*b92*b132 + 360*b92*b133 + 400*b92*b134 + 440*b92*
b135 + 480*b92*b136 + 176*b92*b153 + 160*b92*b154 + 144*b92*b155 + 128*b92
*b156 + 144*b92*b157 + 160*b92*b158 + 176*b92*b159 + 192*b92*b160 + 121*
b92*b177 + 110*b92*b178 + 99*b92*b179 + 88*b92*b180 + 99*b92*b181 + 110*
b92*b182 + 121*b92*b183 + 132*b92*b184 + 275*b92*b193 + 250*b92*b194 + 225
*b92*b195 + 200*b92*b196 + 225*b92*b197 + 250*b92*b198 + 275*b92*b199 +
300*b92*b200 + 480*b93*b129 + 440*b93*b130 + 400*b93*b131 + 360*b93*b132
+ 320*b93*b133 + 360*b93*b134 + 400*b93*b135 + 440*b93*b136 + 192*b93*
b153 + 176*b93*b154 + 160*b93*b155 + 144*b93*b156 + 128*b93*b157 + 144*b93
*b158 + 160*b93*b159 + 176*b93*b160 + 132*b93*b177 + 121*b93*b178 + 110*
b93*b179 + 99*b93*b180 + 88*b93*b181 + 99*b93*b182 + 110*b93*b183 + 121*
b93*b184 + 300*b93*b193 + 275*b93*b194 + 250*b93*b195 + 225*b93*b196 + 200
*b93*b197 + 225*b93*b198 + 250*b93*b199 + 275*b93*b200 + 520*b94*b129 +
480*b94*b130 + 440*b94*b131 + 400*b94*b132 + 360*b94*b133 + 320*b94*b134
+ 360*b94*b135 + 400*b94*b136 + 208*b94*b153 + 192*b94*b154 + 176*b94*
b155 + 160*b94*b156 + 144*b94*b157 + 128*b94*b158 + 144*b94*b159 + 160*b94
*b160 + 143*b94*b177 + 132*b94*b178 + 121*b94*b179 + 110*b94*b180 + 99*b94
*b181 + 88*b94*b182 + 99*b94*b183 + 110*b94*b184 + 325*b94*b193 + 300*b94*
b194 + 275*b94*b195 + 250*b94*b196 + 225*b94*b197 + 200*b94*b198 + 225*b94
*b199 + 250*b94*b200 + 560*b95*b129 + 520*b95*b130 + 480*b95*b131 + 440*
b95*b132 + 400*b95*b133 + 360*b95*b134 + 320*b95*b135 + 360*b95*b136 + 224
*b95*b153 + 208*b95*b154 + 192*b95*b155 + 176*b95*b156 + 160*b95*b157 +
144*b95*b158 + 128*b95*b159 + 144*b95*b160 + 154*b95*b177 + 143*b95*b178
+ 132*b95*b179 + 121*b95*b180 + 110*b95*b181 + 99*b95*b182 + 88*b95*b183
+ 99*b95*b184 + 350*b95*b193 + 325*b95*b194 + 300*b95*b195 + 275*b95*b196
+ 250*b95*b197 + 225*b95*b198 + 200*b95*b199 + 225*b95*b200 + 600*b96*
b129 + 560*b96*b130 + 520*b96*b131 + 480*b96*b132 + 440*b96*b133 + 400*b96
*b134 + 360*b96*b135 + 320*b96*b136 + 240*b96*b153 + 224*b96*b154 + 208*
b96*b155 + 192*b96*b156 + 176*b96*b157 + 160*b96*b158 + 144*b96*b159 + 128
*b96*b160 + 165*b96*b177 + 154*b96*b178 + 143*b96*b179 + 132*b96*b180 +
121*b96*b181 + 110*b96*b182 + 99*b96*b183 + 88*b96*b184 + 375*b96*b193 +
350*b96*b194 + 325*b96*b195 + 300*b96*b196 + 275*b96*b197 + 250*b96*b198
+ 225*b96*b199 + 200*b96*b200 + 320*b97*b121 + 360*b97*b122 + 400*b97*
b123 + 440*b97*b124 + 480*b97*b125 + 520*b97*b126 + 560*b97*b127 + 600*b97
*b128 + 344*b97*b129 + 387*b97*b130 + 430*b97*b131 + 473*b97*b132 + 516*
b97*b133 + 559*b97*b134 + 602*b97*b135 + 645*b97*b136 + 280*b97*b169 + 315
*b97*b170 + 350*b97*b171 + 385*b97*b172 + 420*b97*b173 + 455*b97*b174 +
490*b97*b175 + 525*b97*b176 + 136*b97*b193 + 153*b97*b194 + 170*b97*b195
+ 187*b97*b196 + 204*b97*b197 + 221*b97*b198 + 238*b97*b199 + 255*b97*
b200 + 336*b97*b209 + 378*b97*b210 + 420*b97*b211 + 462*b97*b212 + 504*b97
*b213 + 546*b97*b214 + 588*b97*b215 + 630*b97*b216 + 256*b97*b217 + 288*
b97*b218 + 320*b97*b219 + 352*b97*b220 + 384*b97*b221 + 416*b97*b222 + 448
*b97*b223 + 480*b97*b224 + 360*b98*b121 + 320*b98*b122 + 360*b98*b123 +
400*b98*b124 + 440*b98*b125 + 480*b98*b126 + 520*b98*b127 + 560*b98*b128
+ 387*b98*b129 + 344*b98*b130 + 387*b98*b131 + 430*b98*b132 + 473*b98*
b133 + 516*b98*b134 + 559*b98*b135 + 602*b98*b136 + 315*b98*b169 + 280*b98
*b170 + 315*b98*b171 + 350*b98*b172 + 385*b98*b173 + 420*b98*b174 + 455*
b98*b175 + 490*b98*b176 + 153*b98*b193 + 136*b98*b194 + 153*b98*b195 + 170
*b98*b196 + 187*b98*b197 + 204*b98*b198 + 221*b98*b199 + 238*b98*b200 +
378*b98*b209 + 336*b98*b210 + 378*b98*b211 + 420*b98*b212 + 462*b98*b213
+ 504*b98*b214 + 546*b98*b215 + 588*b98*b216 + 288*b98*b217 + 256*b98*
b218 + 288*b98*b219 + 320*b98*b220 + 352*b98*b221 + 384*b98*b222 + 416*b98
*b223 + 448*b98*b224 + 400*b99*b121 + 360*b99*b122 + 320*b99*b123 + 360*
b99*b124 + 400*b99*b125 + 440*b99*b126 + 480*b99*b127 + 520*b99*b128 + 430
*b99*b129 + 387*b99*b130 + 344*b99*b131 + 387*b99*b132 + 430*b99*b133 +
473*b99*b134 + 516*b99*b135 + 559*b99*b136 + 350*b99*b169 + 315*b99*b170
+ 280*b99*b171 + 315*b99*b172 + 350*b99*b173 + 385*b99*b174 + 420*b99*
b175 + 455*b99*b176 + 170*b99*b193 + 153*b99*b194 + 136*b99*b195 + 153*b99
*b196 + 170*b99*b197 + 187*b99*b198 + 204*b99*b199 + 221*b99*b200 + 420*
b99*b209 + 378*b99*b210 + 336*b99*b211 + 378*b99*b212 + 420*b99*b213 + 462
*b99*b214 + 504*b99*b215 + 546*b99*b216 + 320*b99*b217 + 288*b99*b218 +
256*b99*b219 + 288*b99*b220 + 320*b99*b221 + 352*b99*b222 + 384*b99*b223
+ 416*b99*b224 + 440*b100*b121 + 400*b100*b122 + 360*b100*b123 + 320*b100
*b124 + 360*b100*b125 + 400*b100*b126 + 440*b100*b127 + 480*b100*b128 +
473*b100*b129 + 430*b100*b130 + 387*b100*b131 + 344*b100*b132 + 387*b100*
b133 + 430*b100*b134 + 473*b100*b135 + 516*b100*b136 + 385*b100*b169 + 350
*b100*b170 + 315*b100*b171 + 280*b100*b172 + 315*b100*b173 + 350*b100*b174
+ 385*b100*b175 + 420*b100*b176 + 187*b100*b193 + 170*b100*b194 + 153*
b100*b195 + 136*b100*b196 + 153*b100*b197 + 170*b100*b198 + 187*b100*b199
+ 204*b100*b200 + 462*b100*b209 + 420*b100*b210 + 378*b100*b211 + 336*
b100*b212 + 378*b100*b213 + 420*b100*b214 + 462*b100*b215 + 504*b100*b216
+ 352*b100*b217 + 320*b100*b218 + 288*b100*b219 + 256*b100*b220 + 288*
b100*b221 + 320*b100*b222 + 352*b100*b223 + 384*b100*b224 + 480*b101*b121
+ 440*b101*b122 + 400*b101*b123 + 360*b101*b124 + 320*b101*b125 + 360*
b101*b126 + 400*b101*b127 + 440*b101*b128 + 516*b101*b129 + 473*b101*b130
+ 430*b101*b131 + 387*b101*b132 + 344*b101*b133 + 387*b101*b134 + 430*
b101*b135 + 473*b101*b136 + 420*b101*b169 + 385*b101*b170 + 350*b101*b171
+ 315*b101*b172 + 280*b101*b173 + 315*b101*b174 + 350*b101*b175 + 385*
b101*b176 + 204*b101*b193 + 187*b101*b194 + 170*b101*b195 + 153*b101*b196
+ 136*b101*b197 + 153*b101*b198 + 170*b101*b199 + 187*b101*b200 + 504*
b101*b209 + 462*b101*b210 + 420*b101*b211 + 378*b101*b212 + 336*b101*b213
+ 378*b101*b214 + 420*b101*b215 + 462*b101*b216 + 384*b101*b217 + 352*
b101*b218 + 320*b101*b219 + 288*b101*b220 + 256*b101*b221 + 288*b101*b222
+ 320*b101*b223 + 352*b101*b224 + 520*b102*b121 + 480*b102*b122 + 440*
b102*b123 + 400*b102*b124 + 360*b102*b125 + 320*b102*b126 + 360*b102*b127
+ 400*b102*b128 + 559*b102*b129 + 516*b102*b130 + 473*b102*b131 + 430*
b102*b132 + 387*b102*b133 + 344*b102*b134 + 387*b102*b135 + 430*b102*b136
+ 455*b102*b169 + 420*b102*b170 + 385*b102*b171 + 350*b102*b172 + 315*
b102*b173 + 280*b102*b174 + 315*b102*b175 + 350*b102*b176 + 221*b102*b193
+ 204*b102*b194 + 187*b102*b195 + 170*b102*b196 + 153*b102*b197 + 136*
b102*b198 + 153*b102*b199 + 170*b102*b200 + 546*b102*b209 + 504*b102*b210
+ 462*b102*b211 + 420*b102*b212 + 378*b102*b213 + 336*b102*b214 + 378*
b102*b215 + 420*b102*b216 + 416*b102*b217 + 384*b102*b218 + 352*b102*b219
+ 320*b102*b220 + 288*b102*b221 + 256*b102*b222 + 288*b102*b223 + 320*
b102*b224 + 560*b103*b121 + 520*b103*b122 + 480*b103*b123 + 440*b103*b124
+ 400*b103*b125 + 360*b103*b126 + 320*b103*b127 + 360*b103*b128 + 602*
b103*b129 + 559*b103*b130 + 516*b103*b131 + 473*b103*b132 + 430*b103*b133
+ 387*b103*b134 + 344*b103*b135 + 387*b103*b136 + 490*b103*b169 + 455*
b103*b170 + 420*b103*b171 + 385*b103*b172 + 350*b103*b173 + 315*b103*b174
+ 280*b103*b175 + 315*b103*b176 + 238*b103*b193 + 221*b103*b194 + 204*
b103*b195 + 187*b103*b196 + 170*b103*b197 + 153*b103*b198 + 136*b103*b199
+ 153*b103*b200 + 588*b103*b209 + 546*b103*b210 + 504*b103*b211 + 462*
b103*b212 + 420*b103*b213 + 378*b103*b214 + 336*b103*b215 + 378*b103*b216
+ 448*b103*b217 + 416*b103*b218 + 384*b103*b219 + 352*b103*b220 + 320*
b103*b221 + 288*b103*b222 + 256*b103*b223 + 288*b103*b224 + 600*b104*b121
+ 560*b104*b122 + 520*b104*b123 + 480*b104*b124 + 440*b104*b125 + 400*
b104*b126 + 360*b104*b127 + 320*b104*b128 + 645*b104*b129 + 602*b104*b130
+ 559*b104*b131 + 516*b104*b132 + 473*b104*b133 + 430*b104*b134 + 387*
b104*b135 + 344*b104*b136 + 525*b104*b169 + 490*b104*b170 + 455*b104*b171
+ 420*b104*b172 + 385*b104*b173 + 350*b104*b174 + 315*b104*b175 + 280*
b104*b176 + 255*b104*b193 + 238*b104*b194 + 221*b104*b195 + 204*b104*b196
+ 187*b104*b197 + 170*b104*b198 + 153*b104*b199 + 136*b104*b200 + 630*
b104*b209 + 588*b104*b210 + 546*b104*b211 + 504*b104*b212 + 462*b104*b213
+ 420*b104*b214 + 378*b104*b215 + 336*b104*b216 + 480*b104*b217 + 448*
b104*b218 + 416*b104*b219 + 384*b104*b220 + 352*b104*b221 + 320*b104*b222
+ 288*b104*b223 + 256*b104*b224 + 320*b105*b129 + 360*b105*b130 + 400*
b105*b131 + 440*b105*b132 + 480*b105*b133 + 520*b105*b134 + 560*b105*b135
+ 600*b105*b136 + 384*b105*b161 + 432*b105*b162 + 480*b105*b163 + 528*
b105*b164 + 576*b105*b165 + 624*b105*b166 + 672*b105*b167 + 720*b105*b168
+ 184*b105*b201 + 207*b105*b202 + 230*b105*b203 + 253*b105*b204 + 276*
b105*b205 + 299*b105*b206 + 322*b105*b207 + 345*b105*b208 + 232*b105*b217
+ 261*b105*b218 + 290*b105*b219 + 319*b105*b220 + 348*b105*b221 + 377*
b105*b222 + 406*b105*b223 + 435*b105*b224 + 360*b106*b129 + 320*b106*b130
+ 360*b106*b131 + 400*b106*b132 + 440*b106*b133 + 480*b106*b134 + 520*
b106*b135 + 560*b106*b136 + 432*b106*b161 + 384*b106*b162 + 432*b106*b163
+ 480*b106*b164 + 528*b106*b165 + 576*b106*b166 + 624*b106*b167 + 672*
b106*b168 + 207*b106*b201 + 184*b106*b202 + 207*b106*b203 + 230*b106*b204
+ 253*b106*b205 + 276*b106*b206 + 299*b106*b207 + 322*b106*b208 + 261*
b106*b217 + 232*b106*b218 + 261*b106*b219 + 290*b106*b220 + 319*b106*b221
+ 348*b106*b222 + 377*b106*b223 + 406*b106*b224 + 400*b107*b129 + 360*
b107*b130 + 320*b107*b131 + 360*b107*b132 + 400*b107*b133 + 440*b107*b134
+ 480*b107*b135 + 520*b107*b136 + 480*b107*b161 + 432*b107*b162 + 384*
b107*b163 + 432*b107*b164 + 480*b107*b165 + 528*b107*b166 + 576*b107*b167
+ 624*b107*b168 + 230*b107*b201 + 207*b107*b202 + 184*b107*b203 + 207*
b107*b204 + 230*b107*b205 + 253*b107*b206 + 276*b107*b207 + 299*b107*b208
+ 290*b107*b217 + 261*b107*b218 + 232*b107*b219 + 261*b107*b220 + 290*
b107*b221 + 319*b107*b222 + 348*b107*b223 + 377*b107*b224 + 440*b108*b129
+ 400*b108*b130 + 360*b108*b131 + 320*b108*b132 + 360*b108*b133 + 400*
b108*b134 + 440*b108*b135 + 480*b108*b136 + 528*b108*b161 + 480*b108*b162
+ 432*b108*b163 + 384*b108*b164 + 432*b108*b165 + 480*b108*b166 + 528*
b108*b167 + 576*b108*b168 + 253*b108*b201 + 230*b108*b202 + 207*b108*b203
+ 184*b108*b204 + 207*b108*b205 + 230*b108*b206 + 253*b108*b207 + 276*
b108*b208 + 319*b108*b217 + 290*b108*b218 + 261*b108*b219 + 232*b108*b220
+ 261*b108*b221 + 290*b108*b222 + 319*b108*b223 + 348*b108*b224 + 480*
b109*b129 + 440*b109*b130 + 400*b109*b131 + 360*b109*b132 + 320*b109*b133
+ 360*b109*b134 + 400*b109*b135 + 440*b109*b136 + 576*b109*b161 + 528*
b109*b162 + 480*b109*b163 + 432*b109*b164 + 384*b109*b165 + 432*b109*b166
+ 480*b109*b167 + 528*b109*b168 + 276*b109*b201 + 253*b109*b202 + 230*
b109*b203 + 207*b109*b204 + 184*b109*b205 + 207*b109*b206 + 230*b109*b207
+ 253*b109*b208 + 348*b109*b217 + 319*b109*b218 + 290*b109*b219 + 261*
b109*b220 + 232*b109*b221 + 261*b109*b222 + 290*b109*b223 + 319*b109*b224
+ 520*b110*b129 + 480*b110*b130 + 440*b110*b131 + 400*b110*b132 + 360*
b110*b133 + 320*b110*b134 + 360*b110*b135 + 400*b110*b136 + 624*b110*b161
+ 576*b110*b162 + 528*b110*b163 + 480*b110*b164 + 432*b110*b165 + 384*
b110*b166 + 432*b110*b167 + 480*b110*b168 + 299*b110*b201 + 276*b110*b202
+ 253*b110*b203 + 230*b110*b204 + 207*b110*b205 + 184*b110*b206 + 207*
b110*b207 + 230*b110*b208 + 377*b110*b217 + 348*b110*b218 + 319*b110*b219
+ 290*b110*b220 + 261*b110*b221 + 232*b110*b222 + 261*b110*b223 + 290*
b110*b224 + 560*b111*b129 + 520*b111*b130 + 480*b111*b131 + 440*b111*b132
+ 400*b111*b133 + 360*b111*b134 + 320*b111*b135 + 360*b111*b136 + 672*
b111*b161 + 624*b111*b162 + 576*b111*b163 + 528*b111*b164 + 480*b111*b165
+ 432*b111*b166 + 384*b111*b167 + 432*b111*b168 + 322*b111*b201 + 299*
b111*b202 + 276*b111*b203 + 253*b111*b204 + 230*b111*b205 + 207*b111*b206
+ 184*b111*b207 + 207*b111*b208 + 406*b111*b217 + 377*b111*b218 + 348*
b111*b219 + 319*b111*b220 + 290*b111*b221 + 261*b111*b222 + 232*b111*b223
+ 261*b111*b224 + 600*b112*b129 + 560*b112*b130 + 520*b112*b131 + 480*
b112*b132 + 440*b112*b133 + 400*b112*b134 + 360*b112*b135 + 320*b112*b136
+ 720*b112*b161 + 672*b112*b162 + 624*b112*b163 + 576*b112*b164 + 528*
b112*b165 + 480*b112*b166 + 432*b112*b167 + 384*b112*b168 + 345*b112*b201
+ 322*b112*b202 + 299*b112*b203 + 276*b112*b204 + 253*b112*b205 + 230*
b112*b206 + 207*b112*b207 + 184*b112*b208 + 435*b112*b217 + 406*b112*b218
+ 377*b112*b219 + 348*b112*b220 + 319*b112*b221 + 290*b112*b222 + 261*
b112*b223 + 232*b112*b224 + 184*b113*b185 + 207*b113*b186 + 230*b113*b187
+ 253*b113*b188 + 276*b113*b189 + 299*b113*b190 + 322*b113*b191 + 345*
b113*b192 + 184*b113*b209 + 207*b113*b210 + 230*b113*b211 + 253*b113*b212
+ 276*b113*b213 + 299*b113*b214 + 322*b113*b215 + 345*b113*b216 + 207*
b114*b185 + 184*b114*b186 + 207*b114*b187 + 230*b114*b188 + 253*b114*b189
+ 276*b114*b190 + 299*b114*b191 + 322*b114*b192 + 207*b114*b209 + 184*
b114*b210 + 207*b114*b211 + 230*b114*b212 + 253*b114*b213 + 276*b114*b214
+ 299*b114*b215 + 322*b114*b216 + 230*b115*b185 + 207*b115*b186 + 184*
b115*b187 + 207*b115*b188 + 230*b115*b189 + 253*b115*b190 + 276*b115*b191
+ 299*b115*b192 + 230*b115*b209 + 207*b115*b210 + 184*b115*b211 + 207*
b115*b212 + 230*b115*b213 + 253*b115*b214 + 276*b115*b215 + 299*b115*b216
+ 253*b116*b185 + 230*b116*b186 + 207*b116*b187 + 184*b116*b188 + 207*
b116*b189 + 230*b116*b190 + 253*b116*b191 + 276*b116*b192 + 253*b116*b209
+ 230*b116*b210 + 207*b116*b211 + 184*b116*b212 + 207*b116*b213 + 230*
b116*b214 + 253*b116*b215 + 276*b116*b216 + 276*b117*b185 + 253*b117*b186
+ 230*b117*b187 + 207*b117*b188 + 184*b117*b189 + 207*b117*b190 + 230*
b117*b191 + 253*b117*b192 + 276*b117*b209 + 253*b117*b210 + 230*b117*b211
+ 207*b117*b212 + 184*b117*b213 + 207*b117*b214 + 230*b117*b215 + 253*
b117*b216 + 299*b118*b185 + 276*b118*b186 + 253*b118*b187 + 230*b118*b188
+ 207*b118*b189 + 184*b118*b190 + 207*b118*b191 + 230*b118*b192 + 299*
b118*b209 + 276*b118*b210 + 253*b118*b211 + 230*b118*b212 + 207*b118*b213
+ 184*b118*b214 + 207*b118*b215 + 230*b118*b216 + 322*b119*b185 + 299*
b119*b186 + 276*b119*b187 + 253*b119*b188 + 230*b119*b189 + 207*b119*b190
+ 184*b119*b191 + 207*b119*b192 + 322*b119*b209 + 299*b119*b210 + 276*
b119*b211 + 253*b119*b212 + 230*b119*b213 + 207*b119*b214 + 184*b119*b215
+ 207*b119*b216 + 345*b120*b185 + 322*b120*b186 + 299*b120*b187 + 276*
b120*b188 + 253*b120*b189 + 230*b120*b190 + 207*b120*b191 + 184*b120*b192
+ 345*b120*b209 + 322*b120*b210 + 299*b120*b211 + 276*b120*b212 + 253*
b120*b213 + 230*b120*b214 + 207*b120*b215 + 184*b120*b216) + objvar =E= 0;
e2.. b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 =E= 1;
e3.. b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 =E= 1;
e4.. b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 =E= 1;
e5.. b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 =E= 1;
e6.. b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 =E= 1;
e7.. b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 =E= 1;
e8.. b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 =E= 1;
e9.. b57 + b58 + b59 + b60 + b61 + b62 + b63 + b64 =E= 1;
e10.. b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 =E= 1;
e11.. b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 =E= 1;
e12.. b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 =E= 1;
e13.. b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 =E= 1;
e14.. b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 =E= 1;
e15.. b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 =E= 1;
e16.. b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 =E= 1;
e17.. b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 =E= 1;
e18.. b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 =E= 1;
e19.. b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 =E= 1;
e20.. b145 + b146 + b147 + b148 + b149 + b150 + b151 + b152 =E= 1;
e21.. b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 =E= 1;
e22.. b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 =E= 1;
e23.. b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 =E= 1;
e24.. b177 + b178 + b179 + b180 + b181 + b182 + b183 + b184 =E= 1;
e25.. b185 + b186 + b187 + b188 + b189 + b190 + b191 + b192 =E= 1;
e26.. b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200 =E= 1;
e27.. b201 + b202 + b203 + b204 + b205 + b206 + b207 + b208 =E= 1;
e28.. b209 + b210 + b211 + b212 + b213 + b214 + b215 + b216 =E= 1;
e29.. b217 + b218 + b219 + b220 + b221 + b222 + b223 + b224 =E= 1;
e30.. b225 + b226 + b227 + b228 + b229 + b230 + b231 + b232 =E= 1;
e31.. b233 + b234 + b235 + b236 + b237 + b238 + b239 + b240 =E= 1;
e32.. 81*b1 + 114*b9 + 100*b17 + 50*b25 + 51*b33 + 196*b41 + 96*b49
+ 128*b57 + 83*b65 + 189*b73 + 113*b81 + 92*b89 + 209*b97 + 140*b105
+ 46*b113 =L= 233;
e33.. 81*b2 + 114*b10 + 100*b18 + 50*b26 + 51*b34 + 196*b42 + 96*b50
+ 128*b58 + 83*b66 + 189*b74 + 113*b82 + 92*b90 + 209*b98 + 140*b106
+ 46*b114 =L= 233;
e34.. 81*b3 + 114*b11 + 100*b19 + 50*b27 + 51*b35 + 196*b43 + 96*b51
+ 128*b59 + 83*b67 + 189*b75 + 113*b83 + 92*b91 + 209*b99 + 140*b107
+ 46*b115 =L= 233;
e35.. 81*b4 + 114*b12 + 100*b20 + 50*b28 + 51*b36 + 196*b44 + 96*b52
+ 128*b60 + 83*b68 + 189*b76 + 113*b84 + 92*b92 + 209*b100 + 140*b108
+ 46*b116 =L= 233;
e36.. 81*b5 + 114*b13 + 100*b21 + 50*b29 + 51*b37 + 196*b45 + 96*b53
+ 128*b61 + 83*b69 + 189*b77 + 113*b85 + 92*b93 + 209*b101 + 140*b109
+ 46*b117 =L= 233;
e37.. 81*b6 + 114*b14 + 100*b22 + 50*b30 + 51*b38 + 196*b46 + 96*b54
+ 128*b62 + 83*b70 + 189*b78 + 113*b86 + 92*b94 + 209*b102 + 140*b110
+ 46*b118 =L= 233;
e38.. 81*b7 + 114*b15 + 100*b23 + 50*b31 + 51*b39 + 196*b47 + 96*b55
+ 128*b63 + 83*b71 + 189*b79 + 113*b87 + 92*b95 + 209*b103 + 140*b111
+ 46*b119 =L= 233;
e39.. 81*b8 + 114*b16 + 100*b24 + 50*b32 + 51*b40 + 196*b48 + 96*b56
+ 128*b64 + 83*b72 + 189*b80 + 113*b88 + 92*b96 + 209*b104 + 140*b112
+ 46*b120 =L= 233;
e40.. 68*b121 + 200*b129 + 49*b137 + 181*b145 + 60*b153 + 145*b161
+ 105*b169 + 79*b177 + 107*b185 + 117*b193 + 131*b201 + 117*b209
+ 137*b217 + 71*b225 + 121*b233 =L= 233;
e41.. 68*b122 + 200*b130 + 49*b138 + 181*b146 + 60*b154 + 145*b162
+ 105*b170 + 79*b178 + 107*b186 + 117*b194 + 131*b202 + 117*b210
+ 137*b218 + 71*b226 + 121*b234 =L= 233;
e42.. 68*b123 + 200*b131 + 49*b139 + 181*b147 + 60*b155 + 145*b163
+ 105*b171 + 79*b179 + 107*b187 + 117*b195 + 131*b203 + 117*b211
+ 137*b219 + 71*b227 + 121*b235 =L= 233;
e43.. 68*b124 + 200*b132 + 49*b140 + 181*b148 + 60*b156 + 145*b164
+ 105*b172 + 79*b180 + 107*b188 + 117*b196 + 131*b204 + 117*b212
+ 137*b220 + 71*b228 + 121*b236 =L= 233;
e44.. 68*b125 + 200*b133 + 49*b141 + 181*b149 + 60*b157 + 145*b165
+ 105*b173 + 79*b181 + 107*b189 + 117*b197 + 131*b205 + 117*b213
+ 137*b221 + 71*b229 + 121*b237 =L= 233;
e45.. 68*b126 + 200*b134 + 49*b142 + 181*b150 + 60*b158 + 145*b166
+ 105*b174 + 79*b182 + 107*b190 + 117*b198 + 131*b206 + 117*b214
+ 137*b222 + 71*b230 + 121*b238 =L= 233;
e46.. 68*b127 + 200*b135 + 49*b143 + 181*b151 + 60*b159 + 145*b167
+ 105*b175 + 79*b183 + 107*b191 + 117*b199 + 131*b207 + 117*b215
+ 137*b223 + 71*b231 + 121*b239 =L= 233;
e47.. 68*b128 + 200*b136 + 49*b144 + 181*b152 + 60*b160 + 145*b168
+ 105*b176 + 79*b184 + 107*b192 + 117*b200 + 131*b208 + 117*b216
+ 137*b224 + 71*b232 + 121*b240 =L= 233;
Model m / all /;
m.limrow=0; m.limcol=0;
m.tolproj=0.0;
$if NOT '%gams.u1%' == '' $include '%gams.u1%'
$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% minimizing objvar;
Last updated: 2024-08-26 Git hash: 6cc1607f