MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

Home // Instances // Documentation // Download // Statistics


Instance: crossdock_15x7

Formats ams gms lp mod nl osil pip
Primal Bounds
14699.00000000 p1 ( gdx sol )
(infeas: 0)
14622.00000000 p2 ( gdx sol )
(infeas: 0)
14579.00000000 p3 ( gdx sol )
(infeas: 0)
14556.00000000 p4 ( gdx sol )
(infeas: 0)
14525.00000000 p5 ( gdx sol )
(infeas: 0)
14409.00000000 p6 ( gdx sol )
(infeas: 0)
Dual Bounds
13921.61395000 (ANTIGONE)
14409.00000000 (BARON)
2048.00000000 (COUENNE)
12009.00000000 (LINDO)
0.00000000 (SCIP)
References Guignard, Monique, Hahn, Peter, Pessoa, Artur, and Silva, Daniel Cardoso da, Algorithms for the Cross-dock Door Assignment Problem, Tech. Rep. 2012-06, Optimization Online, 2012.
Application Cross-dock Door Assignment
Added to library 28 Oct 2013
Problem type BQP
#Variables 210
#Binary Variables 210
#Integer Variables 0
#Nonlinear Variables 210
#Nonlinear Binary Variables 210
#Nonlinear Integer Variables 0
Objective Sense min
Objective type quadratic
Objective curvature indefinite
#Nonzeros in Objective 210
#Nonlinear Nonzeros in Objective 210
#Constraints 44
#Linear Constraints 44
#Quadratic Constraints 0
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 0
Operands in Gen. Nonlin. Functions  
Constraints curvature linear
#Nonzeros in Jacobian 420
#Nonlinear Nonzeros in Jacobian 0
#Nonzeros in (Upper-Left) Hessian of Lagrangian 5586
#Nonzeros in Diagonal of Hessian of Lagrangian 0
#Blocks in Hessian of Lagrangian 1
Minimal blocksize in Hessian of Lagrangian 210
Maximal blocksize in Hessian of Lagrangian 210
Average blocksize in Hessian of Lagrangian 210.0
#Semicontinuities 0
#Nonlinear Semicontinuities 0
#SOS type 1 0
#SOS type 2 0
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
*         45       31        0       14        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        211        1      210        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*        631      421      210        0
*
*  Solve m using MINLP minimizing objvar;


Variables  b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19
          ,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36
          ,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53
          ,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69,b70
          ,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86,b87
          ,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102,b103
          ,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115,b116
          ,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128,b129
          ,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141,b142
          ,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154,b155
          ,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167,b168
          ,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180,b181
          ,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193,b194
          ,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206,b207
          ,b208,b209,b210,objvar;

Binary Variables  b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17
          ,b18,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34
          ,b35,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51
          ,b52,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68
          ,b69,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85
          ,b86,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101
          ,b102,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114
          ,b115,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127
          ,b128,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140
          ,b141,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153
          ,b154,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166
          ,b167,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179
          ,b180,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192
          ,b193,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205
          ,b206,b207,b208,b209,b210;

Equations  e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
          ,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
          ,e37,e38,e39,e40,e41,e42,e43,e44,e45;


e1.. -(248*b1*b113 + 279*b1*b114 + 310*b1*b115 + 341*b1*b116 + 372*b1*b117 + 
     403*b1*b118 + 434*b1*b119 + 304*b1*b148 + 342*b1*b149 + 380*b1*b150 + 418*
     b1*b151 + 456*b1*b152 + 494*b1*b153 + 532*b1*b154 + 312*b1*b155 + 351*b1*
     b156 + 390*b1*b157 + 429*b1*b158 + 468*b1*b159 + 507*b1*b160 + 546*b1*b161
      + 176*b1*b204 + 198*b1*b205 + 220*b1*b206 + 242*b1*b207 + 264*b1*b208 + 
     286*b1*b209 + 308*b1*b210 + 279*b2*b113 + 248*b2*b114 + 279*b2*b115 + 310*
     b2*b116 + 341*b2*b117 + 372*b2*b118 + 403*b2*b119 + 342*b2*b148 + 304*b2*
     b149 + 342*b2*b150 + 380*b2*b151 + 418*b2*b152 + 456*b2*b153 + 494*b2*b154
      + 351*b2*b155 + 312*b2*b156 + 351*b2*b157 + 390*b2*b158 + 429*b2*b159 + 
     468*b2*b160 + 507*b2*b161 + 198*b2*b204 + 176*b2*b205 + 198*b2*b206 + 220*
     b2*b207 + 242*b2*b208 + 264*b2*b209 + 286*b2*b210 + 310*b3*b113 + 279*b3*
     b114 + 248*b3*b115 + 279*b3*b116 + 310*b3*b117 + 341*b3*b118 + 372*b3*b119
      + 380*b3*b148 + 342*b3*b149 + 304*b3*b150 + 342*b3*b151 + 380*b3*b152 + 
     418*b3*b153 + 456*b3*b154 + 390*b3*b155 + 351*b3*b156 + 312*b3*b157 + 351*
     b3*b158 + 390*b3*b159 + 429*b3*b160 + 468*b3*b161 + 220*b3*b204 + 198*b3*
     b205 + 176*b3*b206 + 198*b3*b207 + 220*b3*b208 + 242*b3*b209 + 264*b3*b210
      + 341*b4*b113 + 310*b4*b114 + 279*b4*b115 + 248*b4*b116 + 279*b4*b117 + 
     310*b4*b118 + 341*b4*b119 + 418*b4*b148 + 380*b4*b149 + 342*b4*b150 + 304*
     b4*b151 + 342*b4*b152 + 380*b4*b153 + 418*b4*b154 + 429*b4*b155 + 390*b4*
     b156 + 351*b4*b157 + 312*b4*b158 + 351*b4*b159 + 390*b4*b160 + 429*b4*b161
      + 242*b4*b204 + 220*b4*b205 + 198*b4*b206 + 176*b4*b207 + 198*b4*b208 + 
     220*b4*b209 + 242*b4*b210 + 372*b5*b113 + 341*b5*b114 + 310*b5*b115 + 279*
     b5*b116 + 248*b5*b117 + 279*b5*b118 + 310*b5*b119 + 456*b5*b148 + 418*b5*
     b149 + 380*b5*b150 + 342*b5*b151 + 304*b5*b152 + 342*b5*b153 + 380*b5*b154
      + 468*b5*b155 + 429*b5*b156 + 390*b5*b157 + 351*b5*b158 + 312*b5*b159 + 
     351*b5*b160 + 390*b5*b161 + 264*b5*b204 + 242*b5*b205 + 220*b5*b206 + 198*
     b5*b207 + 176*b5*b208 + 198*b5*b209 + 220*b5*b210 + 403*b6*b113 + 372*b6*
     b114 + 341*b6*b115 + 310*b6*b116 + 279*b6*b117 + 248*b6*b118 + 279*b6*b119
      + 494*b6*b148 + 456*b6*b149 + 418*b6*b150 + 380*b6*b151 + 342*b6*b152 + 
     304*b6*b153 + 342*b6*b154 + 507*b6*b155 + 468*b6*b156 + 429*b6*b157 + 390*
     b6*b158 + 351*b6*b159 + 312*b6*b160 + 351*b6*b161 + 286*b6*b204 + 264*b6*
     b205 + 242*b6*b206 + 220*b6*b207 + 198*b6*b208 + 176*b6*b209 + 198*b6*b210
      + 434*b7*b113 + 403*b7*b114 + 372*b7*b115 + 341*b7*b116 + 310*b7*b117 + 
     279*b7*b118 + 248*b7*b119 + 532*b7*b148 + 494*b7*b149 + 456*b7*b150 + 418*
     b7*b151 + 380*b7*b152 + 342*b7*b153 + 304*b7*b154 + 546*b7*b155 + 507*b7*
     b156 + 468*b7*b157 + 429*b7*b158 + 390*b7*b159 + 351*b7*b160 + 312*b7*b161
      + 308*b7*b204 + 286*b7*b205 + 264*b7*b206 + 242*b7*b207 + 220*b7*b208 + 
     198*b7*b209 + 176*b7*b210 + 184*b8*b120 + 207*b8*b121 + 230*b8*b122 + 253*
     b8*b123 + 276*b8*b124 + 299*b8*b125 + 322*b8*b126 + 192*b8*b162 + 216*b8*
     b163 + 240*b8*b164 + 264*b8*b165 + 288*b8*b166 + 312*b8*b167 + 336*b8*b168
      + 160*b8*b197 + 180*b8*b198 + 200*b8*b199 + 220*b8*b200 + 240*b8*b201 + 
     260*b8*b202 + 280*b8*b203 + 136*b8*b204 + 153*b8*b205 + 170*b8*b206 + 187*
     b8*b207 + 204*b8*b208 + 221*b8*b209 + 238*b8*b210 + 207*b9*b120 + 184*b9*
     b121 + 207*b9*b122 + 230*b9*b123 + 253*b9*b124 + 276*b9*b125 + 299*b9*b126
      + 216*b9*b162 + 192*b9*b163 + 216*b9*b164 + 240*b9*b165 + 264*b9*b166 + 
     288*b9*b167 + 312*b9*b168 + 180*b9*b197 + 160*b9*b198 + 180*b9*b199 + 200*
     b9*b200 + 220*b9*b201 + 240*b9*b202 + 260*b9*b203 + 153*b9*b204 + 136*b9*
     b205 + 153*b9*b206 + 170*b9*b207 + 187*b9*b208 + 204*b9*b209 + 221*b9*b210
      + 230*b10*b120 + 207*b10*b121 + 184*b10*b122 + 207*b10*b123 + 230*b10*
     b124 + 253*b10*b125 + 276*b10*b126 + 240*b10*b162 + 216*b10*b163 + 192*b10
     *b164 + 216*b10*b165 + 240*b10*b166 + 264*b10*b167 + 288*b10*b168 + 200*
     b10*b197 + 180*b10*b198 + 160*b10*b199 + 180*b10*b200 + 200*b10*b201 + 220
     *b10*b202 + 240*b10*b203 + 170*b10*b204 + 153*b10*b205 + 136*b10*b206 + 
     153*b10*b207 + 170*b10*b208 + 187*b10*b209 + 204*b10*b210 + 253*b11*b120
      + 230*b11*b121 + 207*b11*b122 + 184*b11*b123 + 207*b11*b124 + 230*b11*
     b125 + 253*b11*b126 + 264*b11*b162 + 240*b11*b163 + 216*b11*b164 + 192*b11
     *b165 + 216*b11*b166 + 240*b11*b167 + 264*b11*b168 + 220*b11*b197 + 200*
     b11*b198 + 180*b11*b199 + 160*b11*b200 + 180*b11*b201 + 200*b11*b202 + 220
     *b11*b203 + 187*b11*b204 + 170*b11*b205 + 153*b11*b206 + 136*b11*b207 + 
     153*b11*b208 + 170*b11*b209 + 187*b11*b210 + 276*b12*b120 + 253*b12*b121
      + 230*b12*b122 + 207*b12*b123 + 184*b12*b124 + 207*b12*b125 + 230*b12*
     b126 + 288*b12*b162 + 264*b12*b163 + 240*b12*b164 + 216*b12*b165 + 192*b12
     *b166 + 216*b12*b167 + 240*b12*b168 + 240*b12*b197 + 220*b12*b198 + 200*
     b12*b199 + 180*b12*b200 + 160*b12*b201 + 180*b12*b202 + 200*b12*b203 + 204
     *b12*b204 + 187*b12*b205 + 170*b12*b206 + 153*b12*b207 + 136*b12*b208 + 
     153*b12*b209 + 170*b12*b210 + 299*b13*b120 + 276*b13*b121 + 253*b13*b122
      + 230*b13*b123 + 207*b13*b124 + 184*b13*b125 + 207*b13*b126 + 312*b13*
     b162 + 288*b13*b163 + 264*b13*b164 + 240*b13*b165 + 216*b13*b166 + 192*b13
     *b167 + 216*b13*b168 + 260*b13*b197 + 240*b13*b198 + 220*b13*b199 + 200*
     b13*b200 + 180*b13*b201 + 160*b13*b202 + 180*b13*b203 + 221*b13*b204 + 204
     *b13*b205 + 187*b13*b206 + 170*b13*b207 + 153*b13*b208 + 136*b13*b209 + 
     153*b13*b210 + 322*b14*b120 + 299*b14*b121 + 276*b14*b122 + 253*b14*b123
      + 230*b14*b124 + 207*b14*b125 + 184*b14*b126 + 336*b14*b162 + 312*b14*
     b163 + 288*b14*b164 + 264*b14*b165 + 240*b14*b166 + 216*b14*b167 + 192*b14
     *b168 + 280*b14*b197 + 260*b14*b198 + 240*b14*b199 + 220*b14*b200 + 200*
     b14*b201 + 180*b14*b202 + 160*b14*b203 + 238*b14*b204 + 221*b14*b205 + 204
     *b14*b206 + 187*b14*b207 + 170*b14*b208 + 153*b14*b209 + 136*b14*b210 + 
     120*b15*b127 + 135*b15*b128 + 150*b15*b129 + 165*b15*b130 + 180*b15*b131
      + 195*b15*b132 + 210*b15*b133 + 144*b15*b148 + 162*b15*b149 + 180*b15*
     b150 + 198*b15*b151 + 216*b15*b152 + 234*b15*b153 + 252*b15*b154 + 240*b15
     *b155 + 270*b15*b156 + 300*b15*b157 + 330*b15*b158 + 360*b15*b159 + 390*
     b15*b160 + 420*b15*b161 + 135*b16*b127 + 120*b16*b128 + 135*b16*b129 + 150
     *b16*b130 + 165*b16*b131 + 180*b16*b132 + 195*b16*b133 + 162*b16*b148 + 
     144*b16*b149 + 162*b16*b150 + 180*b16*b151 + 198*b16*b152 + 216*b16*b153
      + 234*b16*b154 + 270*b16*b155 + 240*b16*b156 + 270*b16*b157 + 300*b16*
     b158 + 330*b16*b159 + 360*b16*b160 + 390*b16*b161 + 150*b17*b127 + 135*b17
     *b128 + 120*b17*b129 + 135*b17*b130 + 150*b17*b131 + 165*b17*b132 + 180*
     b17*b133 + 180*b17*b148 + 162*b17*b149 + 144*b17*b150 + 162*b17*b151 + 180
     *b17*b152 + 198*b17*b153 + 216*b17*b154 + 300*b17*b155 + 270*b17*b156 + 
     240*b17*b157 + 270*b17*b158 + 300*b17*b159 + 330*b17*b160 + 360*b17*b161
      + 165*b18*b127 + 150*b18*b128 + 135*b18*b129 + 120*b18*b130 + 135*b18*
     b131 + 150*b18*b132 + 165*b18*b133 + 198*b18*b148 + 180*b18*b149 + 162*b18
     *b150 + 144*b18*b151 + 162*b18*b152 + 180*b18*b153 + 198*b18*b154 + 330*
     b18*b155 + 300*b18*b156 + 270*b18*b157 + 240*b18*b158 + 270*b18*b159 + 300
     *b18*b160 + 330*b18*b161 + 180*b19*b127 + 165*b19*b128 + 150*b19*b129 + 
     135*b19*b130 + 120*b19*b131 + 135*b19*b132 + 150*b19*b133 + 216*b19*b148
      + 198*b19*b149 + 180*b19*b150 + 162*b19*b151 + 144*b19*b152 + 162*b19*
     b153 + 180*b19*b154 + 360*b19*b155 + 330*b19*b156 + 300*b19*b157 + 270*b19
     *b158 + 240*b19*b159 + 270*b19*b160 + 300*b19*b161 + 195*b20*b127 + 180*
     b20*b128 + 165*b20*b129 + 150*b20*b130 + 135*b20*b131 + 120*b20*b132 + 135
     *b20*b133 + 234*b20*b148 + 216*b20*b149 + 198*b20*b150 + 180*b20*b151 + 
     162*b20*b152 + 144*b20*b153 + 162*b20*b154 + 390*b20*b155 + 360*b20*b156
      + 330*b20*b157 + 300*b20*b158 + 270*b20*b159 + 240*b20*b160 + 270*b20*
     b161 + 210*b21*b127 + 195*b21*b128 + 180*b21*b129 + 165*b21*b130 + 150*b21
     *b131 + 135*b21*b132 + 120*b21*b133 + 252*b21*b148 + 234*b21*b149 + 216*
     b21*b150 + 198*b21*b151 + 180*b21*b152 + 162*b21*b153 + 144*b21*b154 + 420
     *b21*b155 + 390*b21*b156 + 360*b21*b157 + 330*b21*b158 + 300*b21*b159 + 
     270*b21*b160 + 240*b21*b161 + 344*b22*b106 + 387*b22*b107 + 430*b22*b108
      + 473*b22*b109 + 516*b22*b110 + 559*b22*b111 + 602*b22*b112 + 320*b22*
     b113 + 360*b22*b114 + 400*b22*b115 + 440*b22*b116 + 480*b22*b117 + 520*b22
     *b118 + 560*b22*b119 + 224*b22*b141 + 252*b22*b142 + 280*b22*b143 + 308*
     b22*b144 + 336*b22*b145 + 364*b22*b146 + 392*b22*b147 + 120*b22*b148 + 135
     *b22*b149 + 150*b22*b150 + 165*b22*b151 + 180*b22*b152 + 195*b22*b153 + 
     210*b22*b154 + 208*b22*b162 + 234*b22*b163 + 260*b22*b164 + 286*b22*b165
      + 312*b22*b166 + 338*b22*b167 + 364*b22*b168 + 248*b22*b176 + 279*b22*
     b177 + 310*b22*b178 + 341*b22*b179 + 372*b22*b180 + 403*b22*b181 + 434*b22
     *b182 + 400*b22*b204 + 450*b22*b205 + 500*b22*b206 + 550*b22*b207 + 600*
     b22*b208 + 650*b22*b209 + 700*b22*b210 + 387*b23*b106 + 344*b23*b107 + 387
     *b23*b108 + 430*b23*b109 + 473*b23*b110 + 516*b23*b111 + 559*b23*b112 + 
     360*b23*b113 + 320*b23*b114 + 360*b23*b115 + 400*b23*b116 + 440*b23*b117
      + 480*b23*b118 + 520*b23*b119 + 252*b23*b141 + 224*b23*b142 + 252*b23*
     b143 + 280*b23*b144 + 308*b23*b145 + 336*b23*b146 + 364*b23*b147 + 135*b23
     *b148 + 120*b23*b149 + 135*b23*b150 + 150*b23*b151 + 165*b23*b152 + 180*
     b23*b153 + 195*b23*b154 + 234*b23*b162 + 208*b23*b163 + 234*b23*b164 + 260
     *b23*b165 + 286*b23*b166 + 312*b23*b167 + 338*b23*b168 + 279*b23*b176 + 
     248*b23*b177 + 279*b23*b178 + 310*b23*b179 + 341*b23*b180 + 372*b23*b181
      + 403*b23*b182 + 450*b23*b204 + 400*b23*b205 + 450*b23*b206 + 500*b23*
     b207 + 550*b23*b208 + 600*b23*b209 + 650*b23*b210 + 430*b24*b106 + 387*b24
     *b107 + 344*b24*b108 + 387*b24*b109 + 430*b24*b110 + 473*b24*b111 + 516*
     b24*b112 + 400*b24*b113 + 360*b24*b114 + 320*b24*b115 + 360*b24*b116 + 400
     *b24*b117 + 440*b24*b118 + 480*b24*b119 + 280*b24*b141 + 252*b24*b142 + 
     224*b24*b143 + 252*b24*b144 + 280*b24*b145 + 308*b24*b146 + 336*b24*b147
      + 150*b24*b148 + 135*b24*b149 + 120*b24*b150 + 135*b24*b151 + 150*b24*
     b152 + 165*b24*b153 + 180*b24*b154 + 260*b24*b162 + 234*b24*b163 + 208*b24
     *b164 + 234*b24*b165 + 260*b24*b166 + 286*b24*b167 + 312*b24*b168 + 310*
     b24*b176 + 279*b24*b177 + 248*b24*b178 + 279*b24*b179 + 310*b24*b180 + 341
     *b24*b181 + 372*b24*b182 + 500*b24*b204 + 450*b24*b205 + 400*b24*b206 + 
     450*b24*b207 + 500*b24*b208 + 550*b24*b209 + 600*b24*b210 + 473*b25*b106
      + 430*b25*b107 + 387*b25*b108 + 344*b25*b109 + 387*b25*b110 + 430*b25*
     b111 + 473*b25*b112 + 440*b25*b113 + 400*b25*b114 + 360*b25*b115 + 320*b25
     *b116 + 360*b25*b117 + 400*b25*b118 + 440*b25*b119 + 308*b25*b141 + 280*
     b25*b142 + 252*b25*b143 + 224*b25*b144 + 252*b25*b145 + 280*b25*b146 + 308
     *b25*b147 + 165*b25*b148 + 150*b25*b149 + 135*b25*b150 + 120*b25*b151 + 
     135*b25*b152 + 150*b25*b153 + 165*b25*b154 + 286*b25*b162 + 260*b25*b163
      + 234*b25*b164 + 208*b25*b165 + 234*b25*b166 + 260*b25*b167 + 286*b25*
     b168 + 341*b25*b176 + 310*b25*b177 + 279*b25*b178 + 248*b25*b179 + 279*b25
     *b180 + 310*b25*b181 + 341*b25*b182 + 550*b25*b204 + 500*b25*b205 + 450*
     b25*b206 + 400*b25*b207 + 450*b25*b208 + 500*b25*b209 + 550*b25*b210 + 516
     *b26*b106 + 473*b26*b107 + 430*b26*b108 + 387*b26*b109 + 344*b26*b110 + 
     387*b26*b111 + 430*b26*b112 + 480*b26*b113 + 440*b26*b114 + 400*b26*b115
      + 360*b26*b116 + 320*b26*b117 + 360*b26*b118 + 400*b26*b119 + 336*b26*
     b141 + 308*b26*b142 + 280*b26*b143 + 252*b26*b144 + 224*b26*b145 + 252*b26
     *b146 + 280*b26*b147 + 180*b26*b148 + 165*b26*b149 + 150*b26*b150 + 135*
     b26*b151 + 120*b26*b152 + 135*b26*b153 + 150*b26*b154 + 312*b26*b162 + 286
     *b26*b163 + 260*b26*b164 + 234*b26*b165 + 208*b26*b166 + 234*b26*b167 + 
     260*b26*b168 + 372*b26*b176 + 341*b26*b177 + 310*b26*b178 + 279*b26*b179
      + 248*b26*b180 + 279*b26*b181 + 310*b26*b182 + 600*b26*b204 + 550*b26*
     b205 + 500*b26*b206 + 450*b26*b207 + 400*b26*b208 + 450*b26*b209 + 500*b26
     *b210 + 559*b27*b106 + 516*b27*b107 + 473*b27*b108 + 430*b27*b109 + 387*
     b27*b110 + 344*b27*b111 + 387*b27*b112 + 520*b27*b113 + 480*b27*b114 + 440
     *b27*b115 + 400*b27*b116 + 360*b27*b117 + 320*b27*b118 + 360*b27*b119 + 
     364*b27*b141 + 336*b27*b142 + 308*b27*b143 + 280*b27*b144 + 252*b27*b145
      + 224*b27*b146 + 252*b27*b147 + 195*b27*b148 + 180*b27*b149 + 165*b27*
     b150 + 150*b27*b151 + 135*b27*b152 + 120*b27*b153 + 135*b27*b154 + 338*b27
     *b162 + 312*b27*b163 + 286*b27*b164 + 260*b27*b165 + 234*b27*b166 + 208*
     b27*b167 + 234*b27*b168 + 403*b27*b176 + 372*b27*b177 + 341*b27*b178 + 310
     *b27*b179 + 279*b27*b180 + 248*b27*b181 + 279*b27*b182 + 650*b27*b204 + 
     600*b27*b205 + 550*b27*b206 + 500*b27*b207 + 450*b27*b208 + 400*b27*b209
      + 450*b27*b210 + 602*b28*b106 + 559*b28*b107 + 516*b28*b108 + 473*b28*
     b109 + 430*b28*b110 + 387*b28*b111 + 344*b28*b112 + 560*b28*b113 + 520*b28
     *b114 + 480*b28*b115 + 440*b28*b116 + 400*b28*b117 + 360*b28*b118 + 320*
     b28*b119 + 392*b28*b141 + 364*b28*b142 + 336*b28*b143 + 308*b28*b144 + 280
     *b28*b145 + 252*b28*b146 + 224*b28*b147 + 210*b28*b148 + 195*b28*b149 + 
     180*b28*b150 + 165*b28*b151 + 150*b28*b152 + 135*b28*b153 + 120*b28*b154
      + 364*b28*b162 + 338*b28*b163 + 312*b28*b164 + 286*b28*b165 + 260*b28*
     b166 + 234*b28*b167 + 208*b28*b168 + 434*b28*b176 + 403*b28*b177 + 372*b28
     *b178 + 341*b28*b179 + 310*b28*b180 + 279*b28*b181 + 248*b28*b182 + 700*
     b28*b204 + 650*b28*b205 + 600*b28*b206 + 550*b28*b207 + 500*b28*b208 + 450
     *b28*b209 + 400*b28*b210 + 168*b29*b120 + 189*b29*b121 + 210*b29*b122 + 
     231*b29*b123 + 252*b29*b124 + 273*b29*b125 + 294*b29*b126 + 160*b29*b148
      + 180*b29*b149 + 200*b29*b150 + 220*b29*b151 + 240*b29*b152 + 260*b29*
     b153 + 280*b29*b154 + 96*b29*b155 + 108*b29*b156 + 120*b29*b157 + 132*b29*
     b158 + 144*b29*b159 + 156*b29*b160 + 168*b29*b161 + 304*b29*b162 + 342*b29
     *b163 + 380*b29*b164 + 418*b29*b165 + 456*b29*b166 + 494*b29*b167 + 532*
     b29*b168 + 96*b29*b176 + 108*b29*b177 + 120*b29*b178 + 132*b29*b179 + 144*
     b29*b180 + 156*b29*b181 + 168*b29*b182 + 189*b30*b120 + 168*b30*b121 + 189
     *b30*b122 + 210*b30*b123 + 231*b30*b124 + 252*b30*b125 + 273*b30*b126 + 
     180*b30*b148 + 160*b30*b149 + 180*b30*b150 + 200*b30*b151 + 220*b30*b152
      + 240*b30*b153 + 260*b30*b154 + 108*b30*b155 + 96*b30*b156 + 108*b30*b157
      + 120*b30*b158 + 132*b30*b159 + 144*b30*b160 + 156*b30*b161 + 342*b30*
     b162 + 304*b30*b163 + 342*b30*b164 + 380*b30*b165 + 418*b30*b166 + 456*b30
     *b167 + 494*b30*b168 + 108*b30*b176 + 96*b30*b177 + 108*b30*b178 + 120*b30
     *b179 + 132*b30*b180 + 144*b30*b181 + 156*b30*b182 + 210*b31*b120 + 189*
     b31*b121 + 168*b31*b122 + 189*b31*b123 + 210*b31*b124 + 231*b31*b125 + 252
     *b31*b126 + 200*b31*b148 + 180*b31*b149 + 160*b31*b150 + 180*b31*b151 + 
     200*b31*b152 + 220*b31*b153 + 240*b31*b154 + 120*b31*b155 + 108*b31*b156
      + 96*b31*b157 + 108*b31*b158 + 120*b31*b159 + 132*b31*b160 + 144*b31*b161
      + 380*b31*b162 + 342*b31*b163 + 304*b31*b164 + 342*b31*b165 + 380*b31*
     b166 + 418*b31*b167 + 456*b31*b168 + 120*b31*b176 + 108*b31*b177 + 96*b31*
     b178 + 108*b31*b179 + 120*b31*b180 + 132*b31*b181 + 144*b31*b182 + 231*b32
     *b120 + 210*b32*b121 + 189*b32*b122 + 168*b32*b123 + 189*b32*b124 + 210*
     b32*b125 + 231*b32*b126 + 220*b32*b148 + 200*b32*b149 + 180*b32*b150 + 160
     *b32*b151 + 180*b32*b152 + 200*b32*b153 + 220*b32*b154 + 132*b32*b155 + 
     120*b32*b156 + 108*b32*b157 + 96*b32*b158 + 108*b32*b159 + 120*b32*b160 + 
     132*b32*b161 + 418*b32*b162 + 380*b32*b163 + 342*b32*b164 + 304*b32*b165
      + 342*b32*b166 + 380*b32*b167 + 418*b32*b168 + 132*b32*b176 + 120*b32*
     b177 + 108*b32*b178 + 96*b32*b179 + 108*b32*b180 + 120*b32*b181 + 132*b32*
     b182 + 252*b33*b120 + 231*b33*b121 + 210*b33*b122 + 189*b33*b123 + 168*b33
     *b124 + 189*b33*b125 + 210*b33*b126 + 240*b33*b148 + 220*b33*b149 + 200*
     b33*b150 + 180*b33*b151 + 160*b33*b152 + 180*b33*b153 + 200*b33*b154 + 144
     *b33*b155 + 132*b33*b156 + 120*b33*b157 + 108*b33*b158 + 96*b33*b159 + 108
     *b33*b160 + 120*b33*b161 + 456*b33*b162 + 418*b33*b163 + 380*b33*b164 + 
     342*b33*b165 + 304*b33*b166 + 342*b33*b167 + 380*b33*b168 + 144*b33*b176
      + 132*b33*b177 + 120*b33*b178 + 108*b33*b179 + 96*b33*b180 + 108*b33*b181
      + 120*b33*b182 + 273*b34*b120 + 252*b34*b121 + 231*b34*b122 + 210*b34*
     b123 + 189*b34*b124 + 168*b34*b125 + 189*b34*b126 + 260*b34*b148 + 240*b34
     *b149 + 220*b34*b150 + 200*b34*b151 + 180*b34*b152 + 160*b34*b153 + 180*
     b34*b154 + 156*b34*b155 + 144*b34*b156 + 132*b34*b157 + 120*b34*b158 + 108
     *b34*b159 + 96*b34*b160 + 108*b34*b161 + 494*b34*b162 + 456*b34*b163 + 418
     *b34*b164 + 380*b34*b165 + 342*b34*b166 + 304*b34*b167 + 342*b34*b168 + 
     156*b34*b176 + 144*b34*b177 + 132*b34*b178 + 120*b34*b179 + 108*b34*b180
      + 96*b34*b181 + 108*b34*b182 + 294*b35*b120 + 273*b35*b121 + 252*b35*b122
      + 231*b35*b123 + 210*b35*b124 + 189*b35*b125 + 168*b35*b126 + 280*b35*
     b148 + 260*b35*b149 + 240*b35*b150 + 220*b35*b151 + 200*b35*b152 + 180*b35
     *b153 + 160*b35*b154 + 168*b35*b155 + 156*b35*b156 + 144*b35*b157 + 132*
     b35*b158 + 120*b35*b159 + 108*b35*b160 + 96*b35*b161 + 532*b35*b162 + 494*
     b35*b163 + 456*b35*b164 + 418*b35*b165 + 380*b35*b166 + 342*b35*b167 + 304
     *b35*b168 + 168*b35*b176 + 156*b35*b177 + 144*b35*b178 + 132*b35*b179 + 
     120*b35*b180 + 108*b35*b181 + 96*b35*b182 + 368*b36*b113 + 414*b36*b114 + 
     460*b36*b115 + 506*b36*b116 + 552*b36*b117 + 598*b36*b118 + 644*b36*b119
      + 304*b36*b169 + 342*b36*b170 + 380*b36*b171 + 418*b36*b172 + 456*b36*
     b173 + 494*b36*b174 + 532*b36*b175 + 272*b36*b204 + 306*b36*b205 + 340*b36
     *b206 + 374*b36*b207 + 408*b36*b208 + 442*b36*b209 + 476*b36*b210 + 414*
     b37*b113 + 368*b37*b114 + 414*b37*b115 + 460*b37*b116 + 506*b37*b117 + 552
     *b37*b118 + 598*b37*b119 + 342*b37*b169 + 304*b37*b170 + 342*b37*b171 + 
     380*b37*b172 + 418*b37*b173 + 456*b37*b174 + 494*b37*b175 + 306*b37*b204
      + 272*b37*b205 + 306*b37*b206 + 340*b37*b207 + 374*b37*b208 + 408*b37*
     b209 + 442*b37*b210 + 460*b38*b113 + 414*b38*b114 + 368*b38*b115 + 414*b38
     *b116 + 460*b38*b117 + 506*b38*b118 + 552*b38*b119 + 380*b38*b169 + 342*
     b38*b170 + 304*b38*b171 + 342*b38*b172 + 380*b38*b173 + 418*b38*b174 + 456
     *b38*b175 + 340*b38*b204 + 306*b38*b205 + 272*b38*b206 + 306*b38*b207 + 
     340*b38*b208 + 374*b38*b209 + 408*b38*b210 + 506*b39*b113 + 460*b39*b114
      + 414*b39*b115 + 368*b39*b116 + 414*b39*b117 + 460*b39*b118 + 506*b39*
     b119 + 418*b39*b169 + 380*b39*b170 + 342*b39*b171 + 304*b39*b172 + 342*b39
     *b173 + 380*b39*b174 + 418*b39*b175 + 374*b39*b204 + 340*b39*b205 + 306*
     b39*b206 + 272*b39*b207 + 306*b39*b208 + 340*b39*b209 + 374*b39*b210 + 552
     *b40*b113 + 506*b40*b114 + 460*b40*b115 + 414*b40*b116 + 368*b40*b117 + 
     414*b40*b118 + 460*b40*b119 + 456*b40*b169 + 418*b40*b170 + 380*b40*b171
      + 342*b40*b172 + 304*b40*b173 + 342*b40*b174 + 380*b40*b175 + 408*b40*
     b204 + 374*b40*b205 + 340*b40*b206 + 306*b40*b207 + 272*b40*b208 + 306*b40
     *b209 + 340*b40*b210 + 598*b41*b113 + 552*b41*b114 + 506*b41*b115 + 460*
     b41*b116 + 414*b41*b117 + 368*b41*b118 + 414*b41*b119 + 494*b41*b169 + 456
     *b41*b170 + 418*b41*b171 + 380*b41*b172 + 342*b41*b173 + 304*b41*b174 + 
     342*b41*b175 + 442*b41*b204 + 408*b41*b205 + 374*b41*b206 + 340*b41*b207
      + 306*b41*b208 + 272*b41*b209 + 306*b41*b210 + 644*b42*b113 + 598*b42*
     b114 + 552*b42*b115 + 506*b42*b116 + 460*b42*b117 + 414*b42*b118 + 368*b42
     *b119 + 532*b42*b169 + 494*b42*b170 + 456*b42*b171 + 418*b42*b172 + 380*
     b42*b173 + 342*b42*b174 + 304*b42*b175 + 476*b42*b204 + 442*b42*b205 + 408
     *b42*b206 + 374*b42*b207 + 340*b42*b208 + 306*b42*b209 + 272*b42*b210 + 
     248*b43*b120 + 279*b43*b121 + 310*b43*b122 + 341*b43*b123 + 372*b43*b124
      + 403*b43*b125 + 434*b43*b126 + 248*b43*b190 + 279*b43*b191 + 310*b43*
     b192 + 341*b43*b193 + 372*b43*b194 + 403*b43*b195 + 434*b43*b196 + 279*b44
     *b120 + 248*b44*b121 + 279*b44*b122 + 310*b44*b123 + 341*b44*b124 + 372*
     b44*b125 + 403*b44*b126 + 279*b44*b190 + 248*b44*b191 + 279*b44*b192 + 310
     *b44*b193 + 341*b44*b194 + 372*b44*b195 + 403*b44*b196 + 310*b45*b120 + 
     279*b45*b121 + 248*b45*b122 + 279*b45*b123 + 310*b45*b124 + 341*b45*b125
      + 372*b45*b126 + 310*b45*b190 + 279*b45*b191 + 248*b45*b192 + 279*b45*
     b193 + 310*b45*b194 + 341*b45*b195 + 372*b45*b196 + 341*b46*b120 + 310*b46
     *b121 + 279*b46*b122 + 248*b46*b123 + 279*b46*b124 + 310*b46*b125 + 341*
     b46*b126 + 341*b46*b190 + 310*b46*b191 + 279*b46*b192 + 248*b46*b193 + 279
     *b46*b194 + 310*b46*b195 + 341*b46*b196 + 372*b47*b120 + 341*b47*b121 + 
     310*b47*b122 + 279*b47*b123 + 248*b47*b124 + 279*b47*b125 + 310*b47*b126
      + 372*b47*b190 + 341*b47*b191 + 310*b47*b192 + 279*b47*b193 + 248*b47*
     b194 + 279*b47*b195 + 310*b47*b196 + 403*b48*b120 + 372*b48*b121 + 341*b48
     *b122 + 310*b48*b123 + 279*b48*b124 + 248*b48*b125 + 279*b48*b126 + 403*
     b48*b190 + 372*b48*b191 + 341*b48*b192 + 310*b48*b193 + 279*b48*b194 + 248
     *b48*b195 + 279*b48*b196 + 434*b49*b120 + 403*b49*b121 + 372*b49*b122 + 
     341*b49*b123 + 310*b49*b124 + 279*b49*b125 + 248*b49*b126 + 434*b49*b190
      + 403*b49*b191 + 372*b49*b192 + 341*b49*b193 + 310*b49*b194 + 279*b49*
     b195 + 248*b49*b196 + 128*b50*b162 + 144*b50*b163 + 160*b50*b164 + 176*b50
     *b165 + 192*b50*b166 + 208*b50*b167 + 224*b50*b168 + 184*b50*b190 + 207*
     b50*b191 + 230*b50*b192 + 253*b50*b193 + 276*b50*b194 + 299*b50*b195 + 322
     *b50*b196 + 184*b50*b197 + 207*b50*b198 + 230*b50*b199 + 253*b50*b200 + 
     276*b50*b201 + 299*b50*b202 + 322*b50*b203 + 144*b51*b162 + 128*b51*b163
      + 144*b51*b164 + 160*b51*b165 + 176*b51*b166 + 192*b51*b167 + 208*b51*
     b168 + 207*b51*b190 + 184*b51*b191 + 207*b51*b192 + 230*b51*b193 + 253*b51
     *b194 + 276*b51*b195 + 299*b51*b196 + 207*b51*b197 + 184*b51*b198 + 207*
     b51*b199 + 230*b51*b200 + 253*b51*b201 + 276*b51*b202 + 299*b51*b203 + 160
     *b52*b162 + 144*b52*b163 + 128*b52*b164 + 144*b52*b165 + 160*b52*b166 + 
     176*b52*b167 + 192*b52*b168 + 230*b52*b190 + 207*b52*b191 + 184*b52*b192
      + 207*b52*b193 + 230*b52*b194 + 253*b52*b195 + 276*b52*b196 + 230*b52*
     b197 + 207*b52*b198 + 184*b52*b199 + 207*b52*b200 + 230*b52*b201 + 253*b52
     *b202 + 276*b52*b203 + 176*b53*b162 + 160*b53*b163 + 144*b53*b164 + 128*
     b53*b165 + 144*b53*b166 + 160*b53*b167 + 176*b53*b168 + 253*b53*b190 + 230
     *b53*b191 + 207*b53*b192 + 184*b53*b193 + 207*b53*b194 + 230*b53*b195 + 
     253*b53*b196 + 253*b53*b197 + 230*b53*b198 + 207*b53*b199 + 184*b53*b200
      + 207*b53*b201 + 230*b53*b202 + 253*b53*b203 + 192*b54*b162 + 176*b54*
     b163 + 160*b54*b164 + 144*b54*b165 + 128*b54*b166 + 144*b54*b167 + 160*b54
     *b168 + 276*b54*b190 + 253*b54*b191 + 230*b54*b192 + 207*b54*b193 + 184*
     b54*b194 + 207*b54*b195 + 230*b54*b196 + 276*b54*b197 + 253*b54*b198 + 230
     *b54*b199 + 207*b54*b200 + 184*b54*b201 + 207*b54*b202 + 230*b54*b203 + 
     208*b55*b162 + 192*b55*b163 + 176*b55*b164 + 160*b55*b165 + 144*b55*b166
      + 128*b55*b167 + 144*b55*b168 + 299*b55*b190 + 276*b55*b191 + 253*b55*
     b192 + 230*b55*b193 + 207*b55*b194 + 184*b55*b195 + 207*b55*b196 + 299*b55
     *b197 + 276*b55*b198 + 253*b55*b199 + 230*b55*b200 + 207*b55*b201 + 184*
     b55*b202 + 207*b55*b203 + 224*b56*b162 + 208*b56*b163 + 192*b56*b164 + 176
     *b56*b165 + 160*b56*b166 + 144*b56*b167 + 128*b56*b168 + 322*b56*b190 + 
     299*b56*b191 + 276*b56*b192 + 253*b56*b193 + 230*b56*b194 + 207*b56*b195
      + 184*b56*b196 + 322*b56*b197 + 299*b56*b198 + 276*b56*b199 + 253*b56*
     b200 + 230*b56*b201 + 207*b56*b202 + 184*b56*b203 + 160*b57*b120 + 180*b57
     *b121 + 200*b57*b122 + 220*b57*b123 + 240*b57*b124 + 260*b57*b125 + 280*
     b57*b126 + 160*b57*b127 + 180*b57*b128 + 200*b57*b129 + 220*b57*b130 + 240
     *b57*b131 + 260*b57*b132 + 280*b57*b133 + 312*b57*b141 + 351*b57*b142 + 
     390*b57*b143 + 429*b57*b144 + 468*b57*b145 + 507*b57*b146 + 546*b57*b147
      + 248*b57*b155 + 279*b57*b156 + 310*b57*b157 + 341*b57*b158 + 372*b57*
     b159 + 403*b57*b160 + 434*b57*b161 + 88*b57*b176 + 99*b57*b177 + 110*b57*
     b178 + 121*b57*b179 + 132*b57*b180 + 143*b57*b181 + 154*b57*b182 + 136*b57
     *b183 + 153*b57*b184 + 170*b57*b185 + 187*b57*b186 + 204*b57*b187 + 221*
     b57*b188 + 238*b57*b189 + 180*b58*b120 + 160*b58*b121 + 180*b58*b122 + 200
     *b58*b123 + 220*b58*b124 + 240*b58*b125 + 260*b58*b126 + 180*b58*b127 + 
     160*b58*b128 + 180*b58*b129 + 200*b58*b130 + 220*b58*b131 + 240*b58*b132
      + 260*b58*b133 + 351*b58*b141 + 312*b58*b142 + 351*b58*b143 + 390*b58*
     b144 + 429*b58*b145 + 468*b58*b146 + 507*b58*b147 + 279*b58*b155 + 248*b58
     *b156 + 279*b58*b157 + 310*b58*b158 + 341*b58*b159 + 372*b58*b160 + 403*
     b58*b161 + 99*b58*b176 + 88*b58*b177 + 99*b58*b178 + 110*b58*b179 + 121*
     b58*b180 + 132*b58*b181 + 143*b58*b182 + 153*b58*b183 + 136*b58*b184 + 153
     *b58*b185 + 170*b58*b186 + 187*b58*b187 + 204*b58*b188 + 221*b58*b189 + 
     200*b59*b120 + 180*b59*b121 + 160*b59*b122 + 180*b59*b123 + 200*b59*b124
      + 220*b59*b125 + 240*b59*b126 + 200*b59*b127 + 180*b59*b128 + 160*b59*
     b129 + 180*b59*b130 + 200*b59*b131 + 220*b59*b132 + 240*b59*b133 + 390*b59
     *b141 + 351*b59*b142 + 312*b59*b143 + 351*b59*b144 + 390*b59*b145 + 429*
     b59*b146 + 468*b59*b147 + 310*b59*b155 + 279*b59*b156 + 248*b59*b157 + 279
     *b59*b158 + 310*b59*b159 + 341*b59*b160 + 372*b59*b161 + 110*b59*b176 + 99
     *b59*b177 + 88*b59*b178 + 99*b59*b179 + 110*b59*b180 + 121*b59*b181 + 132*
     b59*b182 + 170*b59*b183 + 153*b59*b184 + 136*b59*b185 + 153*b59*b186 + 170
     *b59*b187 + 187*b59*b188 + 204*b59*b189 + 220*b60*b120 + 200*b60*b121 + 
     180*b60*b122 + 160*b60*b123 + 180*b60*b124 + 200*b60*b125 + 220*b60*b126
      + 220*b60*b127 + 200*b60*b128 + 180*b60*b129 + 160*b60*b130 + 180*b60*
     b131 + 200*b60*b132 + 220*b60*b133 + 429*b60*b141 + 390*b60*b142 + 351*b60
     *b143 + 312*b60*b144 + 351*b60*b145 + 390*b60*b146 + 429*b60*b147 + 341*
     b60*b155 + 310*b60*b156 + 279*b60*b157 + 248*b60*b158 + 279*b60*b159 + 310
     *b60*b160 + 341*b60*b161 + 121*b60*b176 + 110*b60*b177 + 99*b60*b178 + 88*
     b60*b179 + 99*b60*b180 + 110*b60*b181 + 121*b60*b182 + 187*b60*b183 + 170*
     b60*b184 + 153*b60*b185 + 136*b60*b186 + 153*b60*b187 + 170*b60*b188 + 187
     *b60*b189 + 240*b61*b120 + 220*b61*b121 + 200*b61*b122 + 180*b61*b123 + 
     160*b61*b124 + 180*b61*b125 + 200*b61*b126 + 240*b61*b127 + 220*b61*b128
      + 200*b61*b129 + 180*b61*b130 + 160*b61*b131 + 180*b61*b132 + 200*b61*
     b133 + 468*b61*b141 + 429*b61*b142 + 390*b61*b143 + 351*b61*b144 + 312*b61
     *b145 + 351*b61*b146 + 390*b61*b147 + 372*b61*b155 + 341*b61*b156 + 310*
     b61*b157 + 279*b61*b158 + 248*b61*b159 + 279*b61*b160 + 310*b61*b161 + 132
     *b61*b176 + 121*b61*b177 + 110*b61*b178 + 99*b61*b179 + 88*b61*b180 + 99*
     b61*b181 + 110*b61*b182 + 204*b61*b183 + 187*b61*b184 + 170*b61*b185 + 153
     *b61*b186 + 136*b61*b187 + 153*b61*b188 + 170*b61*b189 + 260*b62*b120 + 
     240*b62*b121 + 220*b62*b122 + 200*b62*b123 + 180*b62*b124 + 160*b62*b125
      + 180*b62*b126 + 260*b62*b127 + 240*b62*b128 + 220*b62*b129 + 200*b62*
     b130 + 180*b62*b131 + 160*b62*b132 + 180*b62*b133 + 507*b62*b141 + 468*b62
     *b142 + 429*b62*b143 + 390*b62*b144 + 351*b62*b145 + 312*b62*b146 + 351*
     b62*b147 + 403*b62*b155 + 372*b62*b156 + 341*b62*b157 + 310*b62*b158 + 279
     *b62*b159 + 248*b62*b160 + 279*b62*b161 + 143*b62*b176 + 132*b62*b177 + 
     121*b62*b178 + 110*b62*b179 + 99*b62*b180 + 88*b62*b181 + 99*b62*b182 + 
     221*b62*b183 + 204*b62*b184 + 187*b62*b185 + 170*b62*b186 + 153*b62*b187
      + 136*b62*b188 + 153*b62*b189 + 280*b63*b120 + 260*b63*b121 + 240*b63*
     b122 + 220*b63*b123 + 200*b63*b124 + 180*b63*b125 + 160*b63*b126 + 280*b63
     *b127 + 260*b63*b128 + 240*b63*b129 + 220*b63*b130 + 200*b63*b131 + 180*
     b63*b132 + 160*b63*b133 + 546*b63*b141 + 507*b63*b142 + 468*b63*b143 + 429
     *b63*b144 + 390*b63*b145 + 351*b63*b146 + 312*b63*b147 + 434*b63*b155 + 
     403*b63*b156 + 372*b63*b157 + 341*b63*b158 + 310*b63*b159 + 279*b63*b160
      + 248*b63*b161 + 154*b63*b176 + 143*b63*b177 + 132*b63*b178 + 121*b63*
     b179 + 110*b63*b180 + 99*b63*b181 + 88*b63*b182 + 238*b63*b183 + 221*b63*
     b184 + 204*b63*b185 + 187*b63*b186 + 170*b63*b187 + 153*b63*b188 + 136*b63
     *b189 + 304*b64*b106 + 342*b64*b107 + 380*b64*b108 + 418*b64*b109 + 456*
     b64*b110 + 494*b64*b111 + 532*b64*b112 + 392*b64*b141 + 441*b64*b142 + 490
     *b64*b143 + 539*b64*b144 + 588*b64*b145 + 637*b64*b146 + 686*b64*b147 + 
     336*b64*b204 + 378*b64*b205 + 420*b64*b206 + 462*b64*b207 + 504*b64*b208
      + 546*b64*b209 + 588*b64*b210 + 342*b65*b106 + 304*b65*b107 + 342*b65*
     b108 + 380*b65*b109 + 418*b65*b110 + 456*b65*b111 + 494*b65*b112 + 441*b65
     *b141 + 392*b65*b142 + 441*b65*b143 + 490*b65*b144 + 539*b65*b145 + 588*
     b65*b146 + 637*b65*b147 + 378*b65*b204 + 336*b65*b205 + 378*b65*b206 + 420
     *b65*b207 + 462*b65*b208 + 504*b65*b209 + 546*b65*b210 + 380*b66*b106 + 
     342*b66*b107 + 304*b66*b108 + 342*b66*b109 + 380*b66*b110 + 418*b66*b111
      + 456*b66*b112 + 490*b66*b141 + 441*b66*b142 + 392*b66*b143 + 441*b66*
     b144 + 490*b66*b145 + 539*b66*b146 + 588*b66*b147 + 420*b66*b204 + 378*b66
     *b205 + 336*b66*b206 + 378*b66*b207 + 420*b66*b208 + 462*b66*b209 + 504*
     b66*b210 + 418*b67*b106 + 380*b67*b107 + 342*b67*b108 + 304*b67*b109 + 342
     *b67*b110 + 380*b67*b111 + 418*b67*b112 + 539*b67*b141 + 490*b67*b142 + 
     441*b67*b143 + 392*b67*b144 + 441*b67*b145 + 490*b67*b146 + 539*b67*b147
      + 462*b67*b204 + 420*b67*b205 + 378*b67*b206 + 336*b67*b207 + 378*b67*
     b208 + 420*b67*b209 + 462*b67*b210 + 456*b68*b106 + 418*b68*b107 + 380*b68
     *b108 + 342*b68*b109 + 304*b68*b110 + 342*b68*b111 + 380*b68*b112 + 588*
     b68*b141 + 539*b68*b142 + 490*b68*b143 + 441*b68*b144 + 392*b68*b145 + 441
     *b68*b146 + 490*b68*b147 + 504*b68*b204 + 462*b68*b205 + 420*b68*b206 + 
     378*b68*b207 + 336*b68*b208 + 378*b68*b209 + 420*b68*b210 + 494*b69*b106
      + 456*b69*b107 + 418*b69*b108 + 380*b69*b109 + 342*b69*b110 + 304*b69*
     b111 + 342*b69*b112 + 637*b69*b141 + 588*b69*b142 + 539*b69*b143 + 490*b69
     *b144 + 441*b69*b145 + 392*b69*b146 + 441*b69*b147 + 546*b69*b204 + 504*
     b69*b205 + 462*b69*b206 + 420*b69*b207 + 378*b69*b208 + 336*b69*b209 + 378
     *b69*b210 + 532*b70*b106 + 494*b70*b107 + 456*b70*b108 + 418*b70*b109 + 
     380*b70*b110 + 342*b70*b111 + 304*b70*b112 + 686*b70*b141 + 637*b70*b142
      + 588*b70*b143 + 539*b70*b144 + 490*b70*b145 + 441*b70*b146 + 392*b70*
     b147 + 588*b70*b204 + 546*b70*b205 + 504*b70*b206 + 462*b70*b207 + 420*b70
     *b208 + 378*b70*b209 + 336*b70*b210 + 200*b71*b183 + 225*b71*b184 + 250*
     b71*b185 + 275*b71*b186 + 300*b71*b187 + 325*b71*b188 + 350*b71*b189 + 225
     *b72*b183 + 200*b72*b184 + 225*b72*b185 + 250*b72*b186 + 275*b72*b187 + 
     300*b72*b188 + 325*b72*b189 + 250*b73*b183 + 225*b73*b184 + 200*b73*b185
      + 225*b73*b186 + 250*b73*b187 + 275*b73*b188 + 300*b73*b189 + 275*b74*
     b183 + 250*b74*b184 + 225*b74*b185 + 200*b74*b186 + 225*b74*b187 + 250*b74
     *b188 + 275*b74*b189 + 300*b75*b183 + 275*b75*b184 + 250*b75*b185 + 225*
     b75*b186 + 200*b75*b187 + 225*b75*b188 + 250*b75*b189 + 325*b76*b183 + 300
     *b76*b184 + 275*b76*b185 + 250*b76*b186 + 225*b76*b187 + 200*b76*b188 + 
     225*b76*b189 + 350*b77*b183 + 325*b77*b184 + 300*b77*b185 + 275*b77*b186
      + 250*b77*b187 + 225*b77*b188 + 200*b77*b189 + 256*b78*b155 + 288*b78*
     b156 + 320*b78*b157 + 352*b78*b158 + 384*b78*b159 + 416*b78*b160 + 448*b78
     *b161 + 360*b78*b183 + 405*b78*b184 + 450*b78*b185 + 495*b78*b186 + 540*
     b78*b187 + 585*b78*b188 + 630*b78*b189 + 344*b78*b204 + 387*b78*b205 + 430
     *b78*b206 + 473*b78*b207 + 516*b78*b208 + 559*b78*b209 + 602*b78*b210 + 
     288*b79*b155 + 256*b79*b156 + 288*b79*b157 + 320*b79*b158 + 352*b79*b159
      + 384*b79*b160 + 416*b79*b161 + 405*b79*b183 + 360*b79*b184 + 405*b79*
     b185 + 450*b79*b186 + 495*b79*b187 + 540*b79*b188 + 585*b79*b189 + 387*b79
     *b204 + 344*b79*b205 + 387*b79*b206 + 430*b79*b207 + 473*b79*b208 + 516*
     b79*b209 + 559*b79*b210 + 320*b80*b155 + 288*b80*b156 + 256*b80*b157 + 288
     *b80*b158 + 320*b80*b159 + 352*b80*b160 + 384*b80*b161 + 450*b80*b183 + 
     405*b80*b184 + 360*b80*b185 + 405*b80*b186 + 450*b80*b187 + 495*b80*b188
      + 540*b80*b189 + 430*b80*b204 + 387*b80*b205 + 344*b80*b206 + 387*b80*
     b207 + 430*b80*b208 + 473*b80*b209 + 516*b80*b210 + 352*b81*b155 + 320*b81
     *b156 + 288*b81*b157 + 256*b81*b158 + 288*b81*b159 + 320*b81*b160 + 352*
     b81*b161 + 495*b81*b183 + 450*b81*b184 + 405*b81*b185 + 360*b81*b186 + 405
     *b81*b187 + 450*b81*b188 + 495*b81*b189 + 473*b81*b204 + 430*b81*b205 + 
     387*b81*b206 + 344*b81*b207 + 387*b81*b208 + 430*b81*b209 + 473*b81*b210
      + 384*b82*b155 + 352*b82*b156 + 320*b82*b157 + 288*b82*b158 + 256*b82*
     b159 + 288*b82*b160 + 320*b82*b161 + 540*b82*b183 + 495*b82*b184 + 450*b82
     *b185 + 405*b82*b186 + 360*b82*b187 + 405*b82*b188 + 450*b82*b189 + 516*
     b82*b204 + 473*b82*b205 + 430*b82*b206 + 387*b82*b207 + 344*b82*b208 + 387
     *b82*b209 + 430*b82*b210 + 416*b83*b155 + 384*b83*b156 + 352*b83*b157 + 
     320*b83*b158 + 288*b83*b159 + 256*b83*b160 + 288*b83*b161 + 585*b83*b183
      + 540*b83*b184 + 495*b83*b185 + 450*b83*b186 + 405*b83*b187 + 360*b83*
     b188 + 405*b83*b189 + 559*b83*b204 + 516*b83*b205 + 473*b83*b206 + 430*b83
     *b207 + 387*b83*b208 + 344*b83*b209 + 387*b83*b210 + 448*b84*b155 + 416*
     b84*b156 + 384*b84*b157 + 352*b84*b158 + 320*b84*b159 + 288*b84*b160 + 256
     *b84*b161 + 630*b84*b183 + 585*b84*b184 + 540*b84*b185 + 495*b84*b186 + 
     450*b84*b187 + 405*b84*b188 + 360*b84*b189 + 602*b84*b204 + 559*b84*b205
      + 516*b84*b206 + 473*b84*b207 + 430*b84*b208 + 387*b84*b209 + 344*b84*
     b210 + 264*b85*b120 + 297*b85*b121 + 330*b85*b122 + 363*b85*b123 + 396*b85
     *b124 + 429*b85*b125 + 462*b85*b126 + 112*b85*b141 + 126*b85*b142 + 140*
     b85*b143 + 154*b85*b144 + 168*b85*b145 + 182*b85*b146 + 196*b85*b147 + 240
     *b85*b148 + 270*b85*b149 + 300*b85*b150 + 330*b85*b151 + 360*b85*b152 + 
     390*b85*b153 + 420*b85*b154 + 128*b85*b176 + 144*b85*b177 + 160*b85*b178
      + 176*b85*b179 + 192*b85*b180 + 208*b85*b181 + 224*b85*b182 + 297*b86*
     b120 + 264*b86*b121 + 297*b86*b122 + 330*b86*b123 + 363*b86*b124 + 396*b86
     *b125 + 429*b86*b126 + 126*b86*b141 + 112*b86*b142 + 126*b86*b143 + 140*
     b86*b144 + 154*b86*b145 + 168*b86*b146 + 182*b86*b147 + 270*b86*b148 + 240
     *b86*b149 + 270*b86*b150 + 300*b86*b151 + 330*b86*b152 + 360*b86*b153 + 
     390*b86*b154 + 144*b86*b176 + 128*b86*b177 + 144*b86*b178 + 160*b86*b179
      + 176*b86*b180 + 192*b86*b181 + 208*b86*b182 + 330*b87*b120 + 297*b87*
     b121 + 264*b87*b122 + 297*b87*b123 + 330*b87*b124 + 363*b87*b125 + 396*b87
     *b126 + 140*b87*b141 + 126*b87*b142 + 112*b87*b143 + 126*b87*b144 + 140*
     b87*b145 + 154*b87*b146 + 168*b87*b147 + 300*b87*b148 + 270*b87*b149 + 240
     *b87*b150 + 270*b87*b151 + 300*b87*b152 + 330*b87*b153 + 360*b87*b154 + 
     160*b87*b176 + 144*b87*b177 + 128*b87*b178 + 144*b87*b179 + 160*b87*b180
      + 176*b87*b181 + 192*b87*b182 + 363*b88*b120 + 330*b88*b121 + 297*b88*
     b122 + 264*b88*b123 + 297*b88*b124 + 330*b88*b125 + 363*b88*b126 + 154*b88
     *b141 + 140*b88*b142 + 126*b88*b143 + 112*b88*b144 + 126*b88*b145 + 140*
     b88*b146 + 154*b88*b147 + 330*b88*b148 + 300*b88*b149 + 270*b88*b150 + 240
     *b88*b151 + 270*b88*b152 + 300*b88*b153 + 330*b88*b154 + 176*b88*b176 + 
     160*b88*b177 + 144*b88*b178 + 128*b88*b179 + 144*b88*b180 + 160*b88*b181
      + 176*b88*b182 + 396*b89*b120 + 363*b89*b121 + 330*b89*b122 + 297*b89*
     b123 + 264*b89*b124 + 297*b89*b125 + 330*b89*b126 + 168*b89*b141 + 154*b89
     *b142 + 140*b89*b143 + 126*b89*b144 + 112*b89*b145 + 126*b89*b146 + 140*
     b89*b147 + 360*b89*b148 + 330*b89*b149 + 300*b89*b150 + 270*b89*b151 + 240
     *b89*b152 + 270*b89*b153 + 300*b89*b154 + 192*b89*b176 + 176*b89*b177 + 
     160*b89*b178 + 144*b89*b179 + 128*b89*b180 + 144*b89*b181 + 160*b89*b182
      + 429*b90*b120 + 396*b90*b121 + 363*b90*b122 + 330*b90*b123 + 297*b90*
     b124 + 264*b90*b125 + 297*b90*b126 + 182*b90*b141 + 168*b90*b142 + 154*b90
     *b143 + 140*b90*b144 + 126*b90*b145 + 112*b90*b146 + 126*b90*b147 + 390*
     b90*b148 + 360*b90*b149 + 330*b90*b150 + 300*b90*b151 + 270*b90*b152 + 240
     *b90*b153 + 270*b90*b154 + 208*b90*b176 + 192*b90*b177 + 176*b90*b178 + 
     160*b90*b179 + 144*b90*b180 + 128*b90*b181 + 144*b90*b182 + 462*b91*b120
      + 429*b91*b121 + 396*b91*b122 + 363*b91*b123 + 330*b91*b124 + 297*b91*
     b125 + 264*b91*b126 + 196*b91*b141 + 182*b91*b142 + 168*b91*b143 + 154*b91
     *b144 + 140*b91*b145 + 126*b91*b146 + 112*b91*b147 + 420*b91*b148 + 390*
     b91*b149 + 360*b91*b150 + 330*b91*b151 + 300*b91*b152 + 270*b91*b153 + 240
     *b91*b154 + 224*b91*b176 + 208*b91*b177 + 192*b91*b178 + 176*b91*b179 + 
     160*b91*b180 + 144*b91*b181 + 128*b91*b182 + 248*b92*b106 + 279*b92*b107
      + 310*b92*b108 + 341*b92*b109 + 372*b92*b110 + 403*b92*b111 + 434*b92*
     b112 + 272*b92*b134 + 306*b92*b135 + 340*b92*b136 + 374*b92*b137 + 408*b92
     *b138 + 442*b92*b139 + 476*b92*b140 + 240*b92*b141 + 270*b92*b142 + 300*
     b92*b143 + 330*b92*b144 + 360*b92*b145 + 390*b92*b146 + 420*b92*b147 + 272
     *b92*b155 + 306*b92*b156 + 340*b92*b157 + 374*b92*b158 + 408*b92*b159 + 
     442*b92*b160 + 476*b92*b161 + 112*b92*b162 + 126*b92*b163 + 140*b92*b164
      + 154*b92*b165 + 168*b92*b166 + 182*b92*b167 + 196*b92*b168 + 184*b92*
     b197 + 207*b92*b198 + 230*b92*b199 + 253*b92*b200 + 276*b92*b201 + 299*b92
     *b202 + 322*b92*b203 + 279*b93*b106 + 248*b93*b107 + 279*b93*b108 + 310*
     b93*b109 + 341*b93*b110 + 372*b93*b111 + 403*b93*b112 + 306*b93*b134 + 272
     *b93*b135 + 306*b93*b136 + 340*b93*b137 + 374*b93*b138 + 408*b93*b139 + 
     442*b93*b140 + 270*b93*b141 + 240*b93*b142 + 270*b93*b143 + 300*b93*b144
      + 330*b93*b145 + 360*b93*b146 + 390*b93*b147 + 306*b93*b155 + 272*b93*
     b156 + 306*b93*b157 + 340*b93*b158 + 374*b93*b159 + 408*b93*b160 + 442*b93
     *b161 + 126*b93*b162 + 112*b93*b163 + 126*b93*b164 + 140*b93*b165 + 154*
     b93*b166 + 168*b93*b167 + 182*b93*b168 + 207*b93*b197 + 184*b93*b198 + 207
     *b93*b199 + 230*b93*b200 + 253*b93*b201 + 276*b93*b202 + 299*b93*b203 + 
     310*b94*b106 + 279*b94*b107 + 248*b94*b108 + 279*b94*b109 + 310*b94*b110
      + 341*b94*b111 + 372*b94*b112 + 340*b94*b134 + 306*b94*b135 + 272*b94*
     b136 + 306*b94*b137 + 340*b94*b138 + 374*b94*b139 + 408*b94*b140 + 300*b94
     *b141 + 270*b94*b142 + 240*b94*b143 + 270*b94*b144 + 300*b94*b145 + 330*
     b94*b146 + 360*b94*b147 + 340*b94*b155 + 306*b94*b156 + 272*b94*b157 + 306
     *b94*b158 + 340*b94*b159 + 374*b94*b160 + 408*b94*b161 + 140*b94*b162 + 
     126*b94*b163 + 112*b94*b164 + 126*b94*b165 + 140*b94*b166 + 154*b94*b167
      + 168*b94*b168 + 230*b94*b197 + 207*b94*b198 + 184*b94*b199 + 207*b94*
     b200 + 230*b94*b201 + 253*b94*b202 + 276*b94*b203 + 341*b95*b106 + 310*b95
     *b107 + 279*b95*b108 + 248*b95*b109 + 279*b95*b110 + 310*b95*b111 + 341*
     b95*b112 + 374*b95*b134 + 340*b95*b135 + 306*b95*b136 + 272*b95*b137 + 306
     *b95*b138 + 340*b95*b139 + 374*b95*b140 + 330*b95*b141 + 300*b95*b142 + 
     270*b95*b143 + 240*b95*b144 + 270*b95*b145 + 300*b95*b146 + 330*b95*b147
      + 374*b95*b155 + 340*b95*b156 + 306*b95*b157 + 272*b95*b158 + 306*b95*
     b159 + 340*b95*b160 + 374*b95*b161 + 154*b95*b162 + 140*b95*b163 + 126*b95
     *b164 + 112*b95*b165 + 126*b95*b166 + 140*b95*b167 + 154*b95*b168 + 253*
     b95*b197 + 230*b95*b198 + 207*b95*b199 + 184*b95*b200 + 207*b95*b201 + 230
     *b95*b202 + 253*b95*b203 + 372*b96*b106 + 341*b96*b107 + 310*b96*b108 + 
     279*b96*b109 + 248*b96*b110 + 279*b96*b111 + 310*b96*b112 + 408*b96*b134
      + 374*b96*b135 + 340*b96*b136 + 306*b96*b137 + 272*b96*b138 + 306*b96*
     b139 + 340*b96*b140 + 360*b96*b141 + 330*b96*b142 + 300*b96*b143 + 270*b96
     *b144 + 240*b96*b145 + 270*b96*b146 + 300*b96*b147 + 408*b96*b155 + 374*
     b96*b156 + 340*b96*b157 + 306*b96*b158 + 272*b96*b159 + 306*b96*b160 + 340
     *b96*b161 + 168*b96*b162 + 154*b96*b163 + 140*b96*b164 + 126*b96*b165 + 
     112*b96*b166 + 126*b96*b167 + 140*b96*b168 + 276*b96*b197 + 253*b96*b198
      + 230*b96*b199 + 207*b96*b200 + 184*b96*b201 + 207*b96*b202 + 230*b96*
     b203 + 403*b97*b106 + 372*b97*b107 + 341*b97*b108 + 310*b97*b109 + 279*b97
     *b110 + 248*b97*b111 + 279*b97*b112 + 442*b97*b134 + 408*b97*b135 + 374*
     b97*b136 + 340*b97*b137 + 306*b97*b138 + 272*b97*b139 + 306*b97*b140 + 390
     *b97*b141 + 360*b97*b142 + 330*b97*b143 + 300*b97*b144 + 270*b97*b145 + 
     240*b97*b146 + 270*b97*b147 + 442*b97*b155 + 408*b97*b156 + 374*b97*b157
      + 340*b97*b158 + 306*b97*b159 + 272*b97*b160 + 306*b97*b161 + 182*b97*
     b162 + 168*b97*b163 + 154*b97*b164 + 140*b97*b165 + 126*b97*b166 + 112*b97
     *b167 + 126*b97*b168 + 299*b97*b197 + 276*b97*b198 + 253*b97*b199 + 230*
     b97*b200 + 207*b97*b201 + 184*b97*b202 + 207*b97*b203 + 434*b98*b106 + 403
     *b98*b107 + 372*b98*b108 + 341*b98*b109 + 310*b98*b110 + 279*b98*b111 + 
     248*b98*b112 + 476*b98*b134 + 442*b98*b135 + 408*b98*b136 + 374*b98*b137
      + 340*b98*b138 + 306*b98*b139 + 272*b98*b140 + 420*b98*b141 + 390*b98*
     b142 + 360*b98*b143 + 330*b98*b144 + 300*b98*b145 + 270*b98*b146 + 240*b98
     *b147 + 476*b98*b155 + 442*b98*b156 + 408*b98*b157 + 374*b98*b158 + 340*
     b98*b159 + 306*b98*b160 + 272*b98*b161 + 196*b98*b162 + 182*b98*b163 + 168
     *b98*b164 + 154*b98*b165 + 140*b98*b166 + 126*b98*b167 + 112*b98*b168 + 
     322*b98*b197 + 299*b98*b198 + 276*b98*b199 + 253*b98*b200 + 230*b98*b201
      + 207*b98*b202 + 184*b98*b203 + 328*b99*b113 + 369*b99*b114 + 410*b99*
     b115 + 451*b99*b116 + 492*b99*b117 + 533*b99*b118 + 574*b99*b119 + 256*b99
     *b176 + 288*b99*b177 + 320*b99*b178 + 352*b99*b179 + 384*b99*b180 + 416*
     b99*b181 + 448*b99*b182 + 200*b99*b190 + 225*b99*b191 + 250*b99*b192 + 275
     *b99*b193 + 300*b99*b194 + 325*b99*b195 + 350*b99*b196 + 369*b100*b113 + 
     328*b100*b114 + 369*b100*b115 + 410*b100*b116 + 451*b100*b117 + 492*b100*
     b118 + 533*b100*b119 + 288*b100*b176 + 256*b100*b177 + 288*b100*b178 + 320
     *b100*b179 + 352*b100*b180 + 384*b100*b181 + 416*b100*b182 + 225*b100*b190
      + 200*b100*b191 + 225*b100*b192 + 250*b100*b193 + 275*b100*b194 + 300*
     b100*b195 + 325*b100*b196 + 410*b101*b113 + 369*b101*b114 + 328*b101*b115
      + 369*b101*b116 + 410*b101*b117 + 451*b101*b118 + 492*b101*b119 + 320*
     b101*b176 + 288*b101*b177 + 256*b101*b178 + 288*b101*b179 + 320*b101*b180
      + 352*b101*b181 + 384*b101*b182 + 250*b101*b190 + 225*b101*b191 + 200*
     b101*b192 + 225*b101*b193 + 250*b101*b194 + 275*b101*b195 + 300*b101*b196
      + 451*b102*b113 + 410*b102*b114 + 369*b102*b115 + 328*b102*b116 + 369*
     b102*b117 + 410*b102*b118 + 451*b102*b119 + 352*b102*b176 + 320*b102*b177
      + 288*b102*b178 + 256*b102*b179 + 288*b102*b180 + 320*b102*b181 + 352*
     b102*b182 + 275*b102*b190 + 250*b102*b191 + 225*b102*b192 + 200*b102*b193
      + 225*b102*b194 + 250*b102*b195 + 275*b102*b196 + 492*b103*b113 + 451*
     b103*b114 + 410*b103*b115 + 369*b103*b116 + 328*b103*b117 + 369*b103*b118
      + 410*b103*b119 + 384*b103*b176 + 352*b103*b177 + 320*b103*b178 + 288*
     b103*b179 + 256*b103*b180 + 288*b103*b181 + 320*b103*b182 + 300*b103*b190
      + 275*b103*b191 + 250*b103*b192 + 225*b103*b193 + 200*b103*b194 + 225*
     b103*b195 + 250*b103*b196 + 533*b104*b113 + 492*b104*b114 + 451*b104*b115
      + 410*b104*b116 + 369*b104*b117 + 328*b104*b118 + 369*b104*b119 + 416*
     b104*b176 + 384*b104*b177 + 352*b104*b178 + 320*b104*b179 + 288*b104*b180
      + 256*b104*b181 + 288*b104*b182 + 325*b104*b190 + 300*b104*b191 + 275*
     b104*b192 + 250*b104*b193 + 225*b104*b194 + 200*b104*b195 + 225*b104*b196
      + 574*b105*b113 + 533*b105*b114 + 492*b105*b115 + 451*b105*b116 + 410*
     b105*b117 + 369*b105*b118 + 328*b105*b119 + 448*b105*b176 + 416*b105*b177
      + 384*b105*b178 + 352*b105*b179 + 320*b105*b180 + 288*b105*b181 + 256*
     b105*b182 + 350*b105*b190 + 325*b105*b191 + 300*b105*b192 + 275*b105*b193
      + 250*b105*b194 + 225*b105*b195 + 200*b105*b196) + objvar =E= 0;

e2..    b1 + b2 + b3 + b4 + b5 + b6 + b7 =E= 1;

e3..    b8 + b9 + b10 + b11 + b12 + b13 + b14 =E= 1;

e4..    b15 + b16 + b17 + b18 + b19 + b20 + b21 =E= 1;

e5..    b22 + b23 + b24 + b25 + b26 + b27 + b28 =E= 1;

e6..    b29 + b30 + b31 + b32 + b33 + b34 + b35 =E= 1;

e7..    b36 + b37 + b38 + b39 + b40 + b41 + b42 =E= 1;

e8..    b43 + b44 + b45 + b46 + b47 + b48 + b49 =E= 1;

e9..    b50 + b51 + b52 + b53 + b54 + b55 + b56 =E= 1;

e10..    b57 + b58 + b59 + b60 + b61 + b62 + b63 =E= 1;

e11..    b64 + b65 + b66 + b67 + b68 + b69 + b70 =E= 1;

e12..    b71 + b72 + b73 + b74 + b75 + b76 + b77 =E= 1;

e13..    b78 + b79 + b80 + b81 + b82 + b83 + b84 =E= 1;

e14..    b85 + b86 + b87 + b88 + b89 + b90 + b91 =E= 1;

e15..    b92 + b93 + b94 + b95 + b96 + b97 + b98 =E= 1;

e16..    b99 + b100 + b101 + b102 + b103 + b104 + b105 =E= 1;

e17..    b106 + b107 + b108 + b109 + b110 + b111 + b112 =E= 1;

e18..    b113 + b114 + b115 + b116 + b117 + b118 + b119 =E= 1;

e19..    b120 + b121 + b122 + b123 + b124 + b125 + b126 =E= 1;

e20..    b127 + b128 + b129 + b130 + b131 + b132 + b133 =E= 1;

e21..    b134 + b135 + b136 + b137 + b138 + b139 + b140 =E= 1;

e22..    b141 + b142 + b143 + b144 + b145 + b146 + b147 =E= 1;

e23..    b148 + b149 + b150 + b151 + b152 + b153 + b154 =E= 1;

e24..    b155 + b156 + b157 + b158 + b159 + b160 + b161 =E= 1;

e25..    b162 + b163 + b164 + b165 + b166 + b167 + b168 =E= 1;

e26..    b169 + b170 + b171 + b172 + b173 + b174 + b175 =E= 1;

e27..    b176 + b177 + b178 + b179 + b180 + b181 + b182 =E= 1;

e28..    b183 + b184 + b185 + b186 + b187 + b188 + b189 =E= 1;

e29..    b190 + b191 + b192 + b193 + b194 + b195 + b196 =E= 1;

e30..    b197 + b198 + b199 + b200 + b201 + b202 + b203 =E= 1;

e31..    b204 + b205 + b206 + b207 + b208 + b209 + b210 =E= 1;

e32..    130*b1 + 84*b8 + 63*b15 + 233*b22 + 103*b29 + 118*b36 + 62*b43
       + 62*b50 + 138*b57 + 129*b64 + 25*b71 + 120*b78 + 93*b85 + 166*b92
       + 98*b99 =L= 302;

e33..    130*b2 + 84*b9 + 63*b16 + 233*b23 + 103*b30 + 118*b37 + 62*b44
       + 62*b51 + 138*b58 + 129*b65 + 25*b72 + 120*b79 + 93*b86 + 166*b93
       + 98*b100 =L= 302;

e34..    130*b3 + 84*b10 + 63*b17 + 233*b24 + 103*b31 + 118*b38 + 62*b45
       + 62*b52 + 138*b59 + 129*b66 + 25*b73 + 120*b80 + 93*b87 + 166*b94
       + 98*b101 =L= 302;

e35..    130*b4 + 84*b11 + 63*b18 + 233*b25 + 103*b32 + 118*b39 + 62*b46
       + 62*b53 + 138*b60 + 129*b67 + 25*b74 + 120*b81 + 93*b88 + 166*b95
       + 98*b102 =L= 302;

e36..    130*b5 + 84*b12 + 63*b19 + 233*b26 + 103*b33 + 118*b40 + 62*b47
       + 62*b54 + 138*b61 + 129*b68 + 25*b75 + 120*b82 + 93*b89 + 166*b96
       + 98*b103 =L= 302;

e37..    130*b6 + 84*b13 + 63*b20 + 233*b27 + 103*b34 + 118*b41 + 62*b48
       + 62*b55 + 138*b62 + 129*b69 + 25*b76 + 120*b83 + 93*b90 + 166*b97
       + 98*b104 =L= 302;

e38..    130*b7 + 84*b14 + 63*b21 + 233*b28 + 103*b35 + 118*b42 + 62*b49
       + 62*b56 + 138*b63 + 129*b70 + 25*b77 + 120*b84 + 93*b91 + 166*b98
       + 98*b105 =L= 302;

e39..    112*b106 + 158*b113 + 128*b120 + 35*b127 + 34*b134 + 160*b141
       + 121*b148 + 178*b155 + 118*b162 + 38*b169 + 102*b176 + 87*b183
       + 79*b190 + 66*b197 + 208*b204 =L= 302;

e40..    112*b107 + 158*b114 + 128*b121 + 35*b128 + 34*b135 + 160*b142
       + 121*b149 + 178*b156 + 118*b163 + 38*b170 + 102*b177 + 87*b184
       + 79*b191 + 66*b198 + 208*b205 =L= 302;

e41..    112*b108 + 158*b115 + 128*b122 + 35*b129 + 34*b136 + 160*b143
       + 121*b150 + 178*b157 + 118*b164 + 38*b171 + 102*b178 + 87*b185
       + 79*b192 + 66*b199 + 208*b206 =L= 302;

e42..    112*b109 + 158*b116 + 128*b123 + 35*b130 + 34*b137 + 160*b144
       + 121*b151 + 178*b158 + 118*b165 + 38*b172 + 102*b179 + 87*b186
       + 79*b193 + 66*b200 + 208*b207 =L= 302;

e43..    112*b110 + 158*b117 + 128*b124 + 35*b131 + 34*b138 + 160*b145
       + 121*b152 + 178*b159 + 118*b166 + 38*b173 + 102*b180 + 87*b187
       + 79*b194 + 66*b201 + 208*b208 =L= 302;

e44..    112*b111 + 158*b118 + 128*b125 + 35*b132 + 34*b139 + 160*b146
       + 121*b153 + 178*b160 + 118*b167 + 38*b174 + 102*b181 + 87*b188
       + 79*b195 + 66*b202 + 208*b209 =L= 302;

e45..    112*b112 + 158*b119 + 128*b126 + 35*b133 + 34*b140 + 160*b147
       + 121*b154 + 178*b161 + 118*b168 + 38*b175 + 102*b182 + 87*b189
       + 79*b196 + 66*b203 + 208*b210 =L= 302;

Model m / all /;

m.limrow=0; m.limcol=0;
m.tolproj=0.0;

$if NOT '%gams.u1%' == '' $include '%gams.u1%'

$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% minimizing objvar;


Last updated: 2018-09-14 Git hash: ac5a5314
Imprint / Privacy Policy