MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance crossdock_15x7
| Formatsⓘ | ams gms lp mod nl osil pip py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 14050.18555000 (ANTIGONE) 14409.00000000 (BARON) 2048.00000000 (COUENNE) 7975.96666700 (CPLEX) 14409.00000000 (GUROBI) 12009.00000000 (LINDO) 10399.01346000 (SCIP) 5243.75294100 (SHOT) 14409.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ⓘ | 210 |
| #Binary Variablesⓘ | 210 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 210 |
| #Nonlinear Binary Variablesⓘ | 210 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | quadratic |
| Objective curvatureⓘ | indefinite |
| #Nonzeros in Objectiveⓘ | 210 |
| #Nonlinear Nonzeros in Objectiveⓘ | 210 |
| #Constraintsⓘ | 44 |
| #Linear Constraintsⓘ | 44 |
| #Quadratic Constraintsⓘ | 0 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | |
| Constraints curvatureⓘ | linear |
| #Nonzeros in Jacobianⓘ | 420 |
| #Nonlinear Nonzeros in Jacobianⓘ | 0 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 5586 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 0 |
| #Blocks in Hessian of Lagrangianⓘ | 1 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 210 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 210 |
| Average blocksize in Hessian of Lagrangianⓘ | 210.0 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.0000e+00 |
| Maximal coefficientⓘ | 7.0000e+02 |
| Infeasibility of initial pointⓘ | 1 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 45 31 0 14 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 211 1 210 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 631 421 210 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,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;
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;
e1.. -(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 =E= 0;
e2.. b1 + b2 + b3 + b4 + b5 + b6 + b7 =E= 1;
e3.. b8 + b9 + b10 + b11 + b12 + b13 + b14 =E= 1;
e4.. b15 + b16 + b17 + b18 + b19 + b20 + b21 =E= 1;
e5.. b22 + b23 + b24 + b25 + b26 + b27 + b28 =E= 1;
e6.. b29 + b30 + b31 + b32 + b33 + b34 + b35 =E= 1;
e7.. b36 + b37 + b38 + b39 + b40 + b41 + b42 =E= 1;
e8.. b43 + b44 + b45 + b46 + b47 + b48 + b49 =E= 1;
e9.. b50 + b51 + b52 + b53 + b54 + b55 + b56 =E= 1;
e10.. b57 + b58 + b59 + b60 + b61 + b62 + b63 =E= 1;
e11.. b64 + b65 + b66 + b67 + b68 + b69 + b70 =E= 1;
e12.. b71 + b72 + b73 + b74 + b75 + b76 + b77 =E= 1;
e13.. b78 + b79 + b80 + b81 + b82 + b83 + b84 =E= 1;
e14.. b85 + b86 + b87 + b88 + b89 + b90 + b91 =E= 1;
e15.. b92 + b93 + b94 + b95 + b96 + b97 + b98 =E= 1;
e16.. b99 + b100 + b101 + b102 + b103 + b104 + b105 =E= 1;
e17.. b106 + b107 + b108 + b109 + b110 + b111 + b112 =E= 1;
e18.. b113 + b114 + b115 + b116 + b117 + b118 + b119 =E= 1;
e19.. b120 + b121 + b122 + b123 + b124 + b125 + b126 =E= 1;
e20.. b127 + b128 + b129 + b130 + b131 + b132 + b133 =E= 1;
e21.. b134 + b135 + b136 + b137 + b138 + b139 + b140 =E= 1;
e22.. b141 + b142 + b143 + b144 + b145 + b146 + b147 =E= 1;
e23.. b148 + b149 + b150 + b151 + b152 + b153 + b154 =E= 1;
e24.. b155 + b156 + b157 + b158 + b159 + b160 + b161 =E= 1;
e25.. b162 + b163 + b164 + b165 + b166 + b167 + b168 =E= 1;
e26.. b169 + b170 + b171 + b172 + b173 + b174 + b175 =E= 1;
e27.. b176 + b177 + b178 + b179 + b180 + b181 + b182 =E= 1;
e28.. b183 + b184 + b185 + b186 + b187 + b188 + b189 =E= 1;
e29.. b190 + b191 + b192 + b193 + b194 + b195 + b196 =E= 1;
e30.. b197 + b198 + b199 + b200 + b201 + b202 + b203 =E= 1;
e31.. b204 + b205 + b206 + b207 + b208 + b209 + b210 =E= 1;
e32.. 130*b1 + 84*b8 + 63*b15 + 233*b22 + 103*b29 + 118*b36 + 62*b43
+ 62*b50 + 138*b57 + 129*b64 + 25*b71 + 120*b78 + 93*b85 + 166*b92
+ 98*b99 =L= 302;
e33.. 130*b2 + 84*b9 + 63*b16 + 233*b23 + 103*b30 + 118*b37 + 62*b44
+ 62*b51 + 138*b58 + 129*b65 + 25*b72 + 120*b79 + 93*b86 + 166*b93
+ 98*b100 =L= 302;
e34.. 130*b3 + 84*b10 + 63*b17 + 233*b24 + 103*b31 + 118*b38 + 62*b45
+ 62*b52 + 138*b59 + 129*b66 + 25*b73 + 120*b80 + 93*b87 + 166*b94
+ 98*b101 =L= 302;
e35.. 130*b4 + 84*b11 + 63*b18 + 233*b25 + 103*b32 + 118*b39 + 62*b46
+ 62*b53 + 138*b60 + 129*b67 + 25*b74 + 120*b81 + 93*b88 + 166*b95
+ 98*b102 =L= 302;
e36.. 130*b5 + 84*b12 + 63*b19 + 233*b26 + 103*b33 + 118*b40 + 62*b47
+ 62*b54 + 138*b61 + 129*b68 + 25*b75 + 120*b82 + 93*b89 + 166*b96
+ 98*b103 =L= 302;
e37.. 130*b6 + 84*b13 + 63*b20 + 233*b27 + 103*b34 + 118*b41 + 62*b48
+ 62*b55 + 138*b62 + 129*b69 + 25*b76 + 120*b83 + 93*b90 + 166*b97
+ 98*b104 =L= 302;
e38.. 130*b7 + 84*b14 + 63*b21 + 233*b28 + 103*b35 + 118*b42 + 62*b49
+ 62*b56 + 138*b63 + 129*b70 + 25*b77 + 120*b84 + 93*b91 + 166*b98
+ 98*b105 =L= 302;
e39.. 112*b106 + 158*b113 + 128*b120 + 35*b127 + 34*b134 + 160*b141
+ 121*b148 + 178*b155 + 118*b162 + 38*b169 + 102*b176 + 87*b183
+ 79*b190 + 66*b197 + 208*b204 =L= 302;
e40.. 112*b107 + 158*b114 + 128*b121 + 35*b128 + 34*b135 + 160*b142
+ 121*b149 + 178*b156 + 118*b163 + 38*b170 + 102*b177 + 87*b184
+ 79*b191 + 66*b198 + 208*b205 =L= 302;
e41.. 112*b108 + 158*b115 + 128*b122 + 35*b129 + 34*b136 + 160*b143
+ 121*b150 + 178*b157 + 118*b164 + 38*b171 + 102*b178 + 87*b185
+ 79*b192 + 66*b199 + 208*b206 =L= 302;
e42.. 112*b109 + 158*b116 + 128*b123 + 35*b130 + 34*b137 + 160*b144
+ 121*b151 + 178*b158 + 118*b165 + 38*b172 + 102*b179 + 87*b186
+ 79*b193 + 66*b200 + 208*b207 =L= 302;
e43.. 112*b110 + 158*b117 + 128*b124 + 35*b131 + 34*b138 + 160*b145
+ 121*b152 + 178*b159 + 118*b166 + 38*b173 + 102*b180 + 87*b187
+ 79*b194 + 66*b201 + 208*b208 =L= 302;
e44.. 112*b111 + 158*b118 + 128*b125 + 35*b132 + 34*b139 + 160*b146
+ 121*b153 + 178*b160 + 118*b167 + 38*b174 + 102*b181 + 87*b188
+ 79*b195 + 66*b202 + 208*b209 =L= 302;
e45.. 112*b112 + 158*b119 + 128*b126 + 35*b133 + 34*b140 + 160*b147
+ 121*b154 + 178*b161 + 118*b168 + 38*b175 + 102*b182 + 87*b189
+ 79*b196 + 66*b203 + 208*b210 =L= 302;
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