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-11-25 Git hash: de62f3e5