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)
15917.00000000 p1 ( gdx sol )
(infeas: 0)
15728.00000000 p2 ( gdx sol )
(infeas: 0)
15610.00000000 p3 ( gdx sol )
(infeas: 0)
15595.00000000 p4 ( gdx sol )
(infeas: 0)
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 of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of 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-03-25 Git hash: 1dae024f
Imprint / Privacy Policy / License: CC-BY 4.0