QPLIB

A Library of Quadratic Programming Instances

Home // browse instances // view statistics // read documentation // download QPLIB archive [ 1.5G ]

QPLIB_3413

Formats gms lp mod qplib
Problem type probtype QBL
Solution point objective value solobjvalue 2192.00000000 (gdx, sol)
Solution point infeasibility solinfeasibility 0.0000e+00
Donor donor Ruth Misener
#Variables nvars 400
#Binary Variables nbinvars 400
#Integer Variables nintvars 0
#Bounded non-binary Variables nboundedvars 0
#Variables with only one bound nsingleboundedvars 0
#Nonlinear Variables nnlvars 400
#Nonlinear Binary Variables nnlbinvars 400
#Nonlinear Integer Variables nnlintvars 0
Objective Sense objsense min
Objective type objtype quadratic
Objective curvature objcurvature indefinite
#Negative eigenvalues in objective matrix nobjquadnegev 180
#Positive eigenvalues in objective matrix nobjquadposev 180
#Nonzeros in Objective nobjnz 400
#Nonlinear Nonzeros in Objective nobjnlnz 400
#Quadratic Terms in Objective nobjquadnz 7220
#Square Terms in Objective nobjquaddiagnz 0
#Constraints ncons 40
#Linear Constraints nlincons 40
#Quadratic Constraints nquadcons 0
#Diagonal Quadratic Constraints ndiagquadcons 0
Constraints curvature conscurvature linear
#Convex Nonlinear Constraints nconvexnlcons 0
#Concave Nonlinear Constraints nconcavenlcons 0
#Indefinite Nonlinear Constraints nindefinitenlcons 0
#Nonzeros in Jacobian njacobiannz 800
#Nonlinear Nonzeros in Jacobian njacobiannlnz 0
#Nonzeros in (Upper-Left) Hessian of Lagrangian nlaghessiannz 14440
#Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz 0
#Blocks in Hessian of Lagrangian nlaghessianblocks 1
Minimal blocksize in Hessian of Lagrangian laghessianminblocksize 400
Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize 400
Average blocksize in Hessian of Lagrangian laghessianavgblocksize 400.0
Sparsity Jacobian
Sparsity Lag. Hessian

QPLIB_3413.gms

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*         41       41        0        0        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        401        1      400        0        0        0        0        0
*  FX      0        0        0        0        0        0        0        0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       1201      801      400        0
*
*  Solve m using MIQCP minimizing objvar;


Variables  objvar,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,b241,b242,b243,b244,b245
          ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
          ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
          ,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284
          ,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297
          ,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309,b310
          ,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323
          ,b324,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336
          ,b337,b338,b339,b340,b341,b342,b343,b344,b345,b346,b347,b348,b349
          ,b350,b351,b352,b353,b354,b355,b356,b357,b358,b359,b360,b361,b362
          ,b363,b364,b365,b366,b367,b368,b369,b370,b371,b372,b373,b374,b375
          ,b376,b377,b378,b379,b380,b381,b382,b383,b384,b385,b386,b387,b388
          ,b389,b390,b391,b392,b393,b394,b395,b396,b397,b398,b399,b400,b401;

Binary Variables  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,b241,b242,b243,b244,b245
          ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
          ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
          ,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284
          ,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297
          ,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309,b310
          ,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323
          ,b324,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336
          ,b337,b338,b339,b340,b341,b342,b343,b344,b345,b346,b347,b348,b349
          ,b350,b351,b352,b353,b354,b355,b356,b357,b358,b359,b360,b361,b362
          ,b363,b364,b365,b366,b367,b368,b369,b370,b371,b372,b373,b374,b375
          ,b376,b377,b378,b379,b380,b381,b382,b383,b384,b385,b386,b387,b388
          ,b389,b390,b391,b392,b393,b394,b395,b396,b397,b398,b399,b400,b401;

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;


e1.. 696*b2*b3 + 1218*b2*b4 + 1218*b2*b5 + 696*b2*b6 + 1044*b2*b7 + 522*b2*b8
      + 1218*b2*b9 + 174*b2*b10 + 1218*b2*b11 + 1392*b2*b12 + 1218*b2*b13 + 348
     *b2*b14 + 1566*b2*b15 + 1392*b2*b16 + 348*b2*b17 + 1566*b2*b18 + 522*b2*
     b19 + 696*b2*b20 + 522*b2*b21 + 112*b2*b22 + 196*b2*b23 + 196*b2*b24 + 112
     *b2*b25 + 168*b2*b26 + 84*b2*b27 + 196*b2*b28 + 28*b2*b29 + 196*b2*b30 + 
     224*b2*b31 + 196*b2*b32 + 56*b2*b33 + 252*b2*b34 + 224*b2*b35 + 56*b2*b36
      + 252*b2*b37 + 84*b2*b38 + 112*b2*b39 + 84*b2*b40 + 1392*b3*b41 + 174*b3*
     b42 + 1218*b3*b43 + 1566*b3*b44 + 1392*b3*b45 + 1218*b3*b46 + 1044*b3*b47
      + 870*b3*b48 + 174*b3*b49 + 522*b3*b50 + 174*b3*b51 + 696*b3*b52 + 696*b3
     *b53 + 348*b3*b54 + 1218*b3*b55 + 1044*b3*b56 + 522*b3*b57 + 870*b3*b58 + 
     1312*b3*b59 + 164*b3*b60 + 1148*b3*b61 + 1476*b3*b62 + 1312*b3*b63 + 1148*
     b3*b64 + 984*b3*b65 + 820*b3*b66 + 164*b3*b67 + 492*b3*b68 + 164*b3*b69 + 
     656*b3*b70 + 656*b3*b71 + 328*b3*b72 + 1148*b3*b73 + 984*b3*b74 + 492*b3*
     b75 + 820*b3*b76 + 912*b3*b77 + 114*b3*b78 + 798*b3*b79 + 1026*b3*b80 + 
     912*b3*b81 + 798*b3*b82 + 684*b3*b83 + 570*b3*b84 + 114*b3*b85 + 342*b3*
     b86 + 114*b3*b87 + 456*b3*b88 + 456*b3*b89 + 228*b3*b90 + 798*b3*b91 + 684
     *b3*b92 + 342*b3*b93 + 570*b3*b94 + 656*b3*b95 + 456*b3*b96 + 870*b4*b42
      + 1218*b4*b43 + 1566*b4*b44 + 174*b4*b45 + 1044*b4*b46 + 522*b4*b47 + 348
     *b4*b48 + 1566*b4*b49 + 1392*b4*b50 + 696*b4*b51 + 1392*b4*b52 + 1218*b4*
     b53 + 1218*b4*b54 + 696*b4*b55 + 522*b4*b56 + 1218*b4*b57 + 174*b4*b58 + 
     820*b4*b60 + 1148*b4*b61 + 1476*b4*b62 + 164*b4*b63 + 984*b4*b64 + 492*b4*
     b65 + 328*b4*b66 + 1476*b4*b67 + 1312*b4*b68 + 656*b4*b69 + 1312*b4*b70 + 
     1148*b4*b71 + 1148*b4*b72 + 656*b4*b73 + 492*b4*b74 + 1148*b4*b75 + 164*b4
     *b76 + 570*b4*b78 + 798*b4*b79 + 1026*b4*b80 + 114*b4*b81 + 684*b4*b82 + 
     342*b4*b83 + 228*b4*b84 + 1026*b4*b85 + 912*b4*b86 + 456*b4*b87 + 912*b4*
     b88 + 798*b4*b89 + 798*b4*b90 + 456*b4*b91 + 342*b4*b92 + 798*b4*b93 + 114
     *b4*b94 + 1148*b4*b95 + 798*b4*b96 + 1392*b4*b97 + 1312*b4*b98 + 912*b4*
     b99 + 870*b5*b41 + 522*b5*b43 + 174*b5*b44 + 1566*b5*b45 + 1566*b5*b46 + 
     1218*b5*b47 + 174*b5*b48 + 1044*b5*b49 + 1044*b5*b50 + 174*b5*b51 + 174*b5
     *b52 + 348*b5*b53 + 348*b5*b54 + 696*b5*b55 + 348*b5*b56 + 1218*b5*b57 + 
     1392*b5*b58 + 820*b5*b59 + 492*b5*b61 + 164*b5*b62 + 1476*b5*b63 + 1476*b5
     *b64 + 1148*b5*b65 + 164*b5*b66 + 984*b5*b67 + 984*b5*b68 + 164*b5*b69 + 
     164*b5*b70 + 328*b5*b71 + 328*b5*b72 + 656*b5*b73 + 328*b5*b74 + 1148*b5*
     b75 + 1312*b5*b76 + 570*b5*b77 + 342*b5*b79 + 114*b5*b80 + 1026*b5*b81 + 
     1026*b5*b82 + 798*b5*b83 + 114*b5*b84 + 684*b5*b85 + 684*b5*b86 + 114*b5*
     b87 + 114*b5*b88 + 228*b5*b89 + 228*b5*b90 + 456*b5*b91 + 228*b5*b92 + 798
     *b5*b93 + 912*b5*b94 + 1148*b5*b95 + 798*b5*b96 + 174*b5*b97 + 164*b5*b98
      + 114*b5*b99 + 1218*b6*b41 + 522*b6*b42 + 1566*b6*b44 + 1566*b6*b45 + 
     1044*b6*b46 + 1566*b6*b47 + 696*b6*b48 + 174*b6*b49 + 1392*b6*b50 + 348*b6
     *b51 + 1566*b6*b52 + 1392*b6*b53 + 1044*b6*b54 + 174*b6*b55 + 1566*b6*b56
      + 348*b6*b57 + 1044*b6*b58 + 1148*b6*b59 + 492*b6*b60 + 1476*b6*b62 + 
     1476*b6*b63 + 984*b6*b64 + 1476*b6*b65 + 656*b6*b66 + 164*b6*b67 + 1312*b6
     *b68 + 328*b6*b69 + 1476*b6*b70 + 1312*b6*b71 + 984*b6*b72 + 164*b6*b73 + 
     1476*b6*b74 + 328*b6*b75 + 984*b6*b76 + 798*b6*b77 + 342*b6*b78 + 1026*b6*
     b80 + 1026*b6*b81 + 684*b6*b82 + 1026*b6*b83 + 456*b6*b84 + 114*b6*b85 + 
     912*b6*b86 + 228*b6*b87 + 1026*b6*b88 + 912*b6*b89 + 684*b6*b90 + 114*b6*
     b91 + 1026*b6*b92 + 228*b6*b93 + 684*b6*b94 + 656*b6*b95 + 456*b6*b96 + 
     1218*b6*b97 + 1148*b6*b98 + 798*b6*b99 + 1566*b7*b41 + 174*b7*b42 + 1566*
     b7*b43 + 1218*b7*b45 + 1044*b7*b46 + 1566*b7*b47 + 348*b7*b48 + 522*b7*b49
      + 174*b7*b50 + 696*b7*b51 + 174*b7*b52 + 1566*b7*b53 + 870*b7*b54 + 522*
     b7*b55 + 522*b7*b56 + 1218*b7*b57 + 522*b7*b58 + 1476*b7*b59 + 164*b7*b60
      + 1476*b7*b61 + 1148*b7*b63 + 984*b7*b64 + 1476*b7*b65 + 328*b7*b66 + 492
     *b7*b67 + 164*b7*b68 + 656*b7*b69 + 164*b7*b70 + 1476*b7*b71 + 820*b7*b72
      + 492*b7*b73 + 492*b7*b74 + 1148*b7*b75 + 492*b7*b76 + 1026*b7*b77 + 114*
     b7*b78 + 1026*b7*b79 + 798*b7*b81 + 684*b7*b82 + 1026*b7*b83 + 228*b7*b84
      + 342*b7*b85 + 114*b7*b86 + 456*b7*b87 + 114*b7*b88 + 1026*b7*b89 + 570*
     b7*b90 + 342*b7*b91 + 342*b7*b92 + 798*b7*b93 + 342*b7*b94 + 984*b7*b95 + 
     684*b7*b96 + 1566*b7*b97 + 1476*b7*b98 + 1026*b7*b99 + 174*b8*b41 + 1566*
     b8*b42 + 1566*b8*b43 + 1218*b8*b44 + 522*b8*b46 + 1218*b8*b47 + 522*b8*b48
      + 870*b8*b49 + 174*b8*b50 + 1566*b8*b51 + 696*b8*b52 + 1044*b8*b53 + 696*
     b8*b54 + 1218*b8*b55 + 696*b8*b56 + 1566*b8*b57 + 1044*b8*b58 + 164*b8*b59
      + 1476*b8*b60 + 1476*b8*b61 + 1148*b8*b62 + 492*b8*b64 + 1148*b8*b65 + 
     492*b8*b66 + 820*b8*b67 + 164*b8*b68 + 1476*b8*b69 + 656*b8*b70 + 984*b8*
     b71 + 656*b8*b72 + 1148*b8*b73 + 656*b8*b74 + 1476*b8*b75 + 984*b8*b76 + 
     114*b8*b77 + 1026*b8*b78 + 1026*b8*b79 + 798*b8*b80 + 342*b8*b82 + 798*b8*
     b83 + 342*b8*b84 + 570*b8*b85 + 114*b8*b86 + 1026*b8*b87 + 456*b8*b88 + 
     684*b8*b89 + 456*b8*b90 + 798*b8*b91 + 456*b8*b92 + 1026*b8*b93 + 684*b8*
     b94 + 492*b8*b95 + 342*b8*b96 + 1392*b8*b97 + 1312*b8*b98 + 912*b8*b99 + 
     1044*b9*b41 + 1566*b9*b42 + 1044*b9*b43 + 1044*b9*b44 + 522*b9*b45 + 1218*
     b9*b47 + 174*b9*b48 + 1044*b9*b49 + 1218*b9*b50 + 522*b9*b51 + 1566*b9*b52
      + 696*b9*b53 + 174*b9*b54 + 1392*b9*b55 + 696*b9*b56 + 1566*b9*b57 + 174*
     b9*b58 + 984*b9*b59 + 1476*b9*b60 + 984*b9*b61 + 984*b9*b62 + 492*b9*b63
      + 1148*b9*b65 + 164*b9*b66 + 984*b9*b67 + 1148*b9*b68 + 492*b9*b69 + 1476
     *b9*b70 + 656*b9*b71 + 164*b9*b72 + 1312*b9*b73 + 656*b9*b74 + 1476*b9*b75
      + 164*b9*b76 + 684*b9*b77 + 1026*b9*b78 + 684*b9*b79 + 684*b9*b80 + 342*
     b9*b81 + 798*b9*b83 + 114*b9*b84 + 684*b9*b85 + 798*b9*b86 + 342*b9*b87 + 
     1026*b9*b88 + 456*b9*b89 + 114*b9*b90 + 912*b9*b91 + 456*b9*b92 + 1026*b9*
     b93 + 114*b9*b94 + 1148*b9*b95 + 798*b9*b96 + 1218*b9*b97 + 1148*b9*b98 + 
     798*b9*b99 + 522*b10*b41 + 1218*b10*b42 + 1566*b10*b43 + 1566*b10*b44 + 
     1218*b10*b45 + 1218*b10*b46 + 1044*b10*b48 + 174*b10*b49 + 870*b10*b50 + 
     1218*b10*b51 + 1044*b10*b52 + 870*b10*b53 + 522*b10*b54 + 696*b10*b55 + 
     1566*b10*b56 + 1392*b10*b57 + 174*b10*b58 + 492*b10*b59 + 1148*b10*b60 + 
     1476*b10*b61 + 1476*b10*b62 + 1148*b10*b63 + 1148*b10*b64 + 984*b10*b66 + 
     164*b10*b67 + 820*b10*b68 + 1148*b10*b69 + 984*b10*b70 + 820*b10*b71 + 492
     *b10*b72 + 656*b10*b73 + 1476*b10*b74 + 1312*b10*b75 + 164*b10*b76 + 342*
     b10*b77 + 798*b10*b78 + 1026*b10*b79 + 1026*b10*b80 + 798*b10*b81 + 798*
     b10*b82 + 684*b10*b84 + 114*b10*b85 + 570*b10*b86 + 798*b10*b87 + 684*b10*
     b88 + 570*b10*b89 + 342*b10*b90 + 456*b10*b91 + 1026*b10*b92 + 912*b10*b93
      + 114*b10*b94 + 164*b10*b95 + 114*b10*b96 + 1044*b10*b97 + 984*b10*b98 + 
     684*b10*b99 + 348*b11*b41 + 174*b11*b42 + 696*b11*b43 + 348*b11*b44 + 522*
     b11*b45 + 174*b11*b46 + 1044*b11*b47 + 1044*b11*b49 + 522*b11*b50 + 1566*
     b11*b51 + 522*b11*b52 + 522*b11*b53 + 1044*b11*b54 + 696*b11*b55 + 174*b11
     *b56 + 1392*b11*b57 + 1044*b11*b58 + 328*b11*b59 + 164*b11*b60 + 656*b11*
     b61 + 328*b11*b62 + 492*b11*b63 + 164*b11*b64 + 984*b11*b65 + 984*b11*b67
      + 492*b11*b68 + 1476*b11*b69 + 492*b11*b70 + 492*b11*b71 + 984*b11*b72 + 
     656*b11*b73 + 164*b11*b74 + 1312*b11*b75 + 984*b11*b76 + 228*b11*b77 + 114
     *b11*b78 + 456*b11*b79 + 228*b11*b80 + 342*b11*b81 + 114*b11*b82 + 684*b11
     *b83 + 684*b11*b85 + 342*b11*b86 + 1026*b11*b87 + 342*b11*b88 + 342*b11*
     b89 + 684*b11*b90 + 456*b11*b91 + 114*b11*b92 + 912*b11*b93 + 684*b11*b94
      + 1148*b11*b95 + 798*b11*b96 + 870*b11*b97 + 820*b11*b98 + 570*b11*b99 + 
     1566*b12*b41 + 1044*b12*b42 + 174*b12*b43 + 522*b12*b44 + 870*b12*b45 + 
     1044*b12*b46 + 174*b12*b47 + 1044*b12*b48 + 1044*b12*b50 + 522*b12*b51 + 
     1392*b12*b52 + 348*b12*b53 + 696*b12*b54 + 1392*b12*b55 + 174*b12*b56 + 
     1566*b12*b57 + 1044*b12*b58 + 1476*b12*b59 + 984*b12*b60 + 164*b12*b61 + 
     492*b12*b62 + 820*b12*b63 + 984*b12*b64 + 164*b12*b65 + 984*b12*b66 + 984*
     b12*b68 + 492*b12*b69 + 1312*b12*b70 + 328*b12*b71 + 656*b12*b72 + 1312*
     b12*b73 + 164*b12*b74 + 1476*b12*b75 + 984*b12*b76 + 1026*b12*b77 + 684*
     b12*b78 + 114*b12*b79 + 342*b12*b80 + 570*b12*b81 + 684*b12*b82 + 114*b12*
     b83 + 684*b12*b84 + 684*b12*b86 + 342*b12*b87 + 912*b12*b88 + 228*b12*b89
      + 456*b12*b90 + 912*b12*b91 + 114*b12*b92 + 1026*b12*b93 + 684*b12*b94 + 
     1312*b12*b95 + 912*b12*b96 + 174*b12*b97 + 164*b12*b98 + 114*b12*b99 + 
     1392*b13*b41 + 1044*b13*b42 + 1392*b13*b43 + 174*b13*b44 + 174*b13*b45 + 
     1218*b13*b46 + 870*b13*b47 + 522*b13*b48 + 1044*b13*b49 + 1392*b13*b51 + 
     348*b13*b52 + 1218*b13*b53 + 1044*b13*b54 + 696*b13*b55 + 870*b13*b56 + 
     696*b13*b57 + 174*b13*b58 + 1312*b13*b59 + 984*b13*b60 + 1312*b13*b61 + 
     164*b13*b62 + 164*b13*b63 + 1148*b13*b64 + 820*b13*b65 + 492*b13*b66 + 984
     *b13*b67 + 1312*b13*b69 + 328*b13*b70 + 1148*b13*b71 + 984*b13*b72 + 656*
     b13*b73 + 820*b13*b74 + 656*b13*b75 + 164*b13*b76 + 912*b13*b77 + 684*b13*
     b78 + 912*b13*b79 + 114*b13*b80 + 114*b13*b81 + 798*b13*b82 + 570*b13*b83
      + 342*b13*b84 + 684*b13*b85 + 912*b13*b87 + 228*b13*b88 + 798*b13*b89 + 
     684*b13*b90 + 456*b13*b91 + 570*b13*b92 + 456*b13*b93 + 114*b13*b94 + 1148
     *b13*b95 + 798*b13*b96 + 522*b13*b97 + 492*b13*b98 + 342*b13*b99 + 696*b14
     *b41 + 174*b14*b42 + 348*b14*b43 + 696*b14*b44 + 1566*b14*b45 + 522*b14*
     b46 + 1218*b14*b47 + 1566*b14*b48 + 522*b14*b49 + 1392*b14*b50 + 696*b14*
     b52 + 696*b14*b53 + 348*b14*b54 + 870*b14*b55 + 1044*b14*b56 + 696*b14*b57
      + 1566*b14*b58 + 656*b14*b59 + 164*b14*b60 + 328*b14*b61 + 656*b14*b62 + 
     1476*b14*b63 + 492*b14*b64 + 1148*b14*b65 + 1476*b14*b66 + 492*b14*b67 + 
     1312*b14*b68 + 656*b14*b70 + 656*b14*b71 + 328*b14*b72 + 820*b14*b73 + 984
     *b14*b74 + 656*b14*b75 + 1476*b14*b76 + 456*b14*b77 + 114*b14*b78 + 228*
     b14*b79 + 456*b14*b80 + 1026*b14*b81 + 342*b14*b82 + 798*b14*b83 + 1026*
     b14*b84 + 342*b14*b85 + 912*b14*b86 + 456*b14*b88 + 456*b14*b89 + 228*b14*
     b90 + 570*b14*b91 + 684*b14*b92 + 456*b14*b93 + 1026*b14*b94 + 328*b14*b95
      + 228*b14*b96 + 174*b14*b97 + 164*b14*b98 + 114*b14*b99 + 1392*b15*b41 + 
     174*b15*b42 + 1566*b15*b43 + 174*b15*b44 + 696*b15*b45 + 1566*b15*b46 + 
     1044*b15*b47 + 522*b15*b48 + 1392*b15*b49 + 348*b15*b50 + 696*b15*b51 + 
     522*b15*b53 + 348*b15*b54 + 1392*b15*b55 + 1218*b15*b56 + 348*b15*b57 + 
     1392*b15*b58 + 1312*b15*b59 + 164*b15*b60 + 1476*b15*b61 + 164*b15*b62 + 
     656*b15*b63 + 1476*b15*b64 + 984*b15*b65 + 492*b15*b66 + 1312*b15*b67 + 
     328*b15*b68 + 656*b15*b69 + 492*b15*b71 + 328*b15*b72 + 1312*b15*b73 + 
     1148*b15*b74 + 328*b15*b75 + 1312*b15*b76 + 912*b15*b77 + 114*b15*b78 + 
     1026*b15*b79 + 114*b15*b80 + 456*b15*b81 + 1026*b15*b82 + 684*b15*b83 + 
     342*b15*b84 + 912*b15*b85 + 228*b15*b86 + 456*b15*b87 + 342*b15*b89 + 228*
     b15*b90 + 912*b15*b91 + 798*b15*b92 + 228*b15*b93 + 912*b15*b94 + 1476*b15
     *b95 + 1026*b15*b96 + 696*b15*b97 + 656*b15*b98 + 456*b15*b99 + 1218*b16*
     b41 + 348*b16*b42 + 1392*b16*b43 + 1566*b16*b44 + 1044*b16*b45 + 696*b16*
     b46 + 870*b16*b47 + 522*b16*b48 + 348*b16*b49 + 1218*b16*b50 + 696*b16*b51
      + 522*b16*b52 + 696*b16*b54 + 522*b16*b55 + 522*b16*b56 + 1392*b16*b57 + 
     696*b16*b58 + 1148*b16*b59 + 328*b16*b60 + 1312*b16*b61 + 1476*b16*b62 + 
     984*b16*b63 + 656*b16*b64 + 820*b16*b65 + 492*b16*b66 + 328*b16*b67 + 1148
     *b16*b68 + 656*b16*b69 + 492*b16*b70 + 656*b16*b72 + 492*b16*b73 + 492*b16
     *b74 + 1312*b16*b75 + 656*b16*b76 + 798*b16*b77 + 228*b16*b78 + 912*b16*
     b79 + 1026*b16*b80 + 684*b16*b81 + 456*b16*b82 + 570*b16*b83 + 342*b16*b84
      + 228*b16*b85 + 798*b16*b86 + 456*b16*b87 + 342*b16*b88 + 456*b16*b90 + 
     342*b16*b91 + 342*b16*b92 + 912*b16*b93 + 456*b16*b94 + 1312*b16*b95 + 912
     *b16*b96 + 696*b16*b97 + 656*b16*b98 + 456*b16*b99 + 1218*b17*b41 + 348*
     b17*b42 + 1044*b17*b43 + 870*b17*b44 + 696*b17*b45 + 174*b17*b46 + 522*b17
     *b47 + 1044*b17*b48 + 696*b17*b49 + 1044*b17*b50 + 348*b17*b51 + 348*b17*
     b52 + 696*b17*b53 + 1392*b17*b55 + 870*b17*b56 + 1566*b17*b57 + 1566*b17*
     b58 + 1148*b17*b59 + 328*b17*b60 + 984*b17*b61 + 820*b17*b62 + 656*b17*b63
      + 164*b17*b64 + 492*b17*b65 + 984*b17*b66 + 656*b17*b67 + 984*b17*b68 + 
     328*b17*b69 + 328*b17*b70 + 656*b17*b71 + 1312*b17*b73 + 820*b17*b74 + 
     1476*b17*b75 + 1476*b17*b76 + 798*b17*b77 + 228*b17*b78 + 684*b17*b79 + 
     570*b17*b80 + 456*b17*b81 + 114*b17*b82 + 342*b17*b83 + 684*b17*b84 + 456*
     b17*b85 + 684*b17*b86 + 228*b17*b87 + 228*b17*b88 + 456*b17*b89 + 912*b17*
     b91 + 570*b17*b92 + 1026*b17*b93 + 1026*b17*b94 + 328*b17*b95 + 228*b17*
     b96 + 348*b17*b97 + 328*b17*b98 + 228*b17*b99 + 696*b18*b41 + 696*b18*b42
      + 174*b18*b43 + 522*b18*b44 + 1218*b18*b45 + 1392*b18*b46 + 696*b18*b47
      + 696*b18*b48 + 1392*b18*b49 + 696*b18*b50 + 870*b18*b51 + 1392*b18*b52
      + 522*b18*b53 + 1392*b18*b54 + 174*b18*b56 + 348*b18*b57 + 1218*b18*b58
      + 656*b18*b59 + 656*b18*b60 + 164*b18*b61 + 492*b18*b62 + 1148*b18*b63 + 
     1312*b18*b64 + 656*b18*b65 + 656*b18*b66 + 1312*b18*b67 + 656*b18*b68 + 
     820*b18*b69 + 1312*b18*b70 + 492*b18*b71 + 1312*b18*b72 + 164*b18*b74 + 
     328*b18*b75 + 1148*b18*b76 + 456*b18*b77 + 456*b18*b78 + 114*b18*b79 + 342
     *b18*b80 + 798*b18*b81 + 912*b18*b82 + 456*b18*b83 + 456*b18*b84 + 912*b18
     *b85 + 456*b18*b86 + 570*b18*b87 + 912*b18*b88 + 342*b18*b89 + 912*b18*b90
      + 114*b18*b92 + 228*b18*b93 + 798*b18*b94 + 1476*b18*b95 + 1026*b18*b96
      + 1218*b18*b97 + 1148*b18*b98 + 798*b18*b99 + 522*b19*b41 + 348*b19*b42
      + 1566*b19*b43 + 522*b19*b44 + 696*b19*b45 + 696*b19*b46 + 1566*b19*b47
      + 174*b19*b48 + 174*b19*b49 + 870*b19*b50 + 1044*b19*b51 + 1218*b19*b52
      + 522*b19*b53 + 870*b19*b54 + 174*b19*b55 + 174*b19*b57 + 174*b19*b58 + 
     492*b19*b59 + 328*b19*b60 + 1476*b19*b61 + 492*b19*b62 + 656*b19*b63 + 656
     *b19*b64 + 1476*b19*b65 + 164*b19*b66 + 164*b19*b67 + 820*b19*b68 + 984*
     b19*b69 + 1148*b19*b70 + 492*b19*b71 + 820*b19*b72 + 164*b19*b73 + 164*b19
     *b75 + 164*b19*b76 + 342*b19*b77 + 228*b19*b78 + 1026*b19*b79 + 342*b19*
     b80 + 456*b19*b81 + 456*b19*b82 + 1026*b19*b83 + 114*b19*b84 + 114*b19*b85
      + 570*b19*b86 + 684*b19*b87 + 798*b19*b88 + 342*b19*b89 + 570*b19*b90 + 
     114*b19*b91 + 114*b19*b93 + 114*b19*b94 + 492*b19*b95 + 342*b19*b96 + 1044
     *b19*b97 + 984*b19*b98 + 684*b19*b99 + 1218*b20*b41 + 1218*b20*b42 + 348*
     b20*b43 + 1218*b20*b44 + 1566*b20*b45 + 1566*b20*b46 + 1392*b20*b47 + 1392
     *b20*b48 + 1566*b20*b49 + 696*b20*b50 + 696*b20*b51 + 348*b20*b52 + 1392*
     b20*b53 + 1566*b20*b54 + 348*b20*b55 + 174*b20*b56 + 696*b20*b58 + 1148*
     b20*b59 + 1148*b20*b60 + 328*b20*b61 + 1148*b20*b62 + 1476*b20*b63 + 1476*
     b20*b64 + 1312*b20*b65 + 1312*b20*b66 + 1476*b20*b67 + 656*b20*b68 + 656*
     b20*b69 + 328*b20*b70 + 1312*b20*b71 + 1476*b20*b72 + 328*b20*b73 + 164*
     b20*b74 + 656*b20*b76 + 798*b20*b77 + 798*b20*b78 + 228*b20*b79 + 798*b20*
     b80 + 1026*b20*b81 + 1026*b20*b82 + 912*b20*b83 + 912*b20*b84 + 1026*b20*
     b85 + 456*b20*b86 + 456*b20*b87 + 228*b20*b88 + 912*b20*b89 + 1026*b20*b90
      + 228*b20*b91 + 114*b20*b92 + 456*b20*b94 + 656*b20*b95 + 456*b20*b96 + 
     522*b20*b97 + 492*b20*b98 + 342*b20*b99 + 174*b21*b41 + 1392*b21*b42 + 
     1044*b21*b43 + 522*b21*b44 + 1044*b21*b45 + 174*b21*b46 + 174*b21*b47 + 
     1044*b21*b48 + 1044*b21*b49 + 174*b21*b50 + 1566*b21*b51 + 1392*b21*b52 + 
     696*b21*b53 + 1566*b21*b54 + 1218*b21*b55 + 174*b21*b56 + 696*b21*b57 + 
     164*b21*b59 + 1312*b21*b60 + 984*b21*b61 + 492*b21*b62 + 984*b21*b63 + 164
     *b21*b64 + 164*b21*b65 + 984*b21*b66 + 984*b21*b67 + 164*b21*b68 + 1476*
     b21*b69 + 1312*b21*b70 + 656*b21*b71 + 1476*b21*b72 + 1148*b21*b73 + 164*
     b21*b74 + 656*b21*b75 + 114*b21*b77 + 912*b21*b78 + 684*b21*b79 + 342*b21*
     b80 + 684*b21*b81 + 114*b21*b82 + 114*b21*b83 + 684*b21*b84 + 684*b21*b85
      + 114*b21*b86 + 1026*b21*b87 + 912*b21*b88 + 456*b21*b89 + 1026*b21*b90
      + 798*b21*b91 + 114*b21*b92 + 456*b21*b93 + 492*b21*b95 + 342*b21*b96 + 
     870*b21*b97 + 820*b21*b98 + 570*b21*b99 + 224*b22*b41 + 28*b22*b42 + 196*
     b22*b43 + 252*b22*b44 + 224*b22*b45 + 196*b22*b46 + 168*b22*b47 + 140*b22*
     b48 + 28*b22*b49 + 84*b22*b50 + 28*b22*b51 + 112*b22*b52 + 112*b22*b53 + 
     56*b22*b54 + 196*b22*b55 + 168*b22*b56 + 84*b22*b57 + 140*b22*b58 + 1088*
     b22*b100 + 136*b22*b101 + 952*b22*b102 + 1224*b22*b103 + 1088*b22*b104 + 
     952*b22*b105 + 816*b22*b106 + 680*b22*b107 + 136*b22*b108 + 408*b22*b109
      + 136*b22*b110 + 544*b22*b111 + 544*b22*b112 + 272*b22*b113 + 952*b22*
     b114 + 816*b22*b115 + 408*b22*b116 + 680*b22*b117 + 544*b22*b118 + 140*b23
     *b42 + 196*b23*b43 + 252*b23*b44 + 28*b23*b45 + 168*b23*b46 + 84*b23*b47
      + 56*b23*b48 + 252*b23*b49 + 224*b23*b50 + 112*b23*b51 + 224*b23*b52 + 
     196*b23*b53 + 196*b23*b54 + 112*b23*b55 + 84*b23*b56 + 196*b23*b57 + 28*
     b23*b58 + 224*b23*b97 + 680*b23*b101 + 952*b23*b102 + 1224*b23*b103 + 136*
     b23*b104 + 816*b23*b105 + 408*b23*b106 + 272*b23*b107 + 1224*b23*b108 + 
     1088*b23*b109 + 544*b23*b110 + 1088*b23*b111 + 952*b23*b112 + 952*b23*b113
      + 544*b23*b114 + 408*b23*b115 + 952*b23*b116 + 136*b23*b117 + 952*b23*
     b118 + 1088*b23*b119 + 140*b24*b41 + 84*b24*b43 + 28*b24*b44 + 252*b24*b45
      + 252*b24*b46 + 196*b24*b47 + 28*b24*b48 + 168*b24*b49 + 168*b24*b50 + 28
     *b24*b51 + 28*b24*b52 + 56*b24*b53 + 56*b24*b54 + 112*b24*b55 + 56*b24*b56
      + 196*b24*b57 + 224*b24*b58 + 28*b24*b97 + 680*b24*b100 + 408*b24*b102 + 
     136*b24*b103 + 1224*b24*b104 + 1224*b24*b105 + 952*b24*b106 + 136*b24*b107
      + 816*b24*b108 + 816*b24*b109 + 136*b24*b110 + 136*b24*b111 + 272*b24*
     b112 + 272*b24*b113 + 544*b24*b114 + 272*b24*b115 + 952*b24*b116 + 1088*
     b24*b117 + 952*b24*b118 + 136*b24*b119 + 196*b25*b41 + 84*b25*b42 + 252*
     b25*b44 + 252*b25*b45 + 168*b25*b46 + 252*b25*b47 + 112*b25*b48 + 28*b25*
     b49 + 224*b25*b50 + 56*b25*b51 + 252*b25*b52 + 224*b25*b53 + 168*b25*b54
      + 28*b25*b55 + 252*b25*b56 + 56*b25*b57 + 168*b25*b58 + 196*b25*b97 + 952
     *b25*b100 + 408*b25*b101 + 1224*b25*b103 + 1224*b25*b104 + 816*b25*b105 + 
     1224*b25*b106 + 544*b25*b107 + 136*b25*b108 + 1088*b25*b109 + 272*b25*b110
      + 1224*b25*b111 + 1088*b25*b112 + 816*b25*b113 + 136*b25*b114 + 1224*b25*
     b115 + 272*b25*b116 + 816*b25*b117 + 544*b25*b118 + 952*b25*b119 + 252*b26
     *b41 + 28*b26*b42 + 252*b26*b43 + 196*b26*b45 + 168*b26*b46 + 252*b26*b47
      + 56*b26*b48 + 84*b26*b49 + 28*b26*b50 + 112*b26*b51 + 28*b26*b52 + 252*
     b26*b53 + 140*b26*b54 + 84*b26*b55 + 84*b26*b56 + 196*b26*b57 + 84*b26*b58
      + 252*b26*b97 + 1224*b26*b100 + 136*b26*b101 + 1224*b26*b102 + 952*b26*
     b104 + 816*b26*b105 + 1224*b26*b106 + 272*b26*b107 + 408*b26*b108 + 136*
     b26*b109 + 544*b26*b110 + 136*b26*b111 + 1224*b26*b112 + 680*b26*b113 + 
     408*b26*b114 + 408*b26*b115 + 952*b26*b116 + 408*b26*b117 + 816*b26*b118
      + 1224*b26*b119 + 28*b27*b41 + 252*b27*b42 + 252*b27*b43 + 196*b27*b44 + 
     84*b27*b46 + 196*b27*b47 + 84*b27*b48 + 140*b27*b49 + 28*b27*b50 + 252*b27
     *b51 + 112*b27*b52 + 168*b27*b53 + 112*b27*b54 + 196*b27*b55 + 112*b27*b56
      + 252*b27*b57 + 168*b27*b58 + 224*b27*b97 + 136*b27*b100 + 1224*b27*b101
      + 1224*b27*b102 + 952*b27*b103 + 408*b27*b105 + 952*b27*b106 + 408*b27*
     b107 + 680*b27*b108 + 136*b27*b109 + 1224*b27*b110 + 544*b27*b111 + 816*
     b27*b112 + 544*b27*b113 + 952*b27*b114 + 544*b27*b115 + 1224*b27*b116 + 
     816*b27*b117 + 408*b27*b118 + 1088*b27*b119 + 168*b28*b41 + 252*b28*b42 + 
     168*b28*b43 + 168*b28*b44 + 84*b28*b45 + 196*b28*b47 + 28*b28*b48 + 168*
     b28*b49 + 196*b28*b50 + 84*b28*b51 + 252*b28*b52 + 112*b28*b53 + 28*b28*
     b54 + 224*b28*b55 + 112*b28*b56 + 252*b28*b57 + 28*b28*b58 + 196*b28*b97
      + 816*b28*b100 + 1224*b28*b101 + 816*b28*b102 + 816*b28*b103 + 408*b28*
     b104 + 952*b28*b106 + 136*b28*b107 + 816*b28*b108 + 952*b28*b109 + 408*b28
     *b110 + 1224*b28*b111 + 544*b28*b112 + 136*b28*b113 + 1088*b28*b114 + 544*
     b28*b115 + 1224*b28*b116 + 136*b28*b117 + 952*b28*b118 + 952*b28*b119 + 84
     *b29*b41 + 196*b29*b42 + 252*b29*b43 + 252*b29*b44 + 196*b29*b45 + 196*b29
     *b46 + 168*b29*b48 + 28*b29*b49 + 140*b29*b50 + 196*b29*b51 + 168*b29*b52
      + 140*b29*b53 + 84*b29*b54 + 112*b29*b55 + 252*b29*b56 + 224*b29*b57 + 28
     *b29*b58 + 168*b29*b97 + 408*b29*b100 + 952*b29*b101 + 1224*b29*b102 + 
     1224*b29*b103 + 952*b29*b104 + 952*b29*b105 + 816*b29*b107 + 136*b29*b108
      + 680*b29*b109 + 952*b29*b110 + 816*b29*b111 + 680*b29*b112 + 408*b29*
     b113 + 544*b29*b114 + 1224*b29*b115 + 1088*b29*b116 + 136*b29*b117 + 136*
     b29*b118 + 816*b29*b119 + 56*b30*b41 + 28*b30*b42 + 112*b30*b43 + 56*b30*
     b44 + 84*b30*b45 + 28*b30*b46 + 168*b30*b47 + 168*b30*b49 + 84*b30*b50 + 
     252*b30*b51 + 84*b30*b52 + 84*b30*b53 + 168*b30*b54 + 112*b30*b55 + 28*b30
     *b56 + 224*b30*b57 + 168*b30*b58 + 140*b30*b97 + 272*b30*b100 + 136*b30*
     b101 + 544*b30*b102 + 272*b30*b103 + 408*b30*b104 + 136*b30*b105 + 816*b30
     *b106 + 816*b30*b108 + 408*b30*b109 + 1224*b30*b110 + 408*b30*b111 + 408*
     b30*b112 + 816*b30*b113 + 544*b30*b114 + 136*b30*b115 + 1088*b30*b116 + 
     816*b30*b117 + 952*b30*b118 + 680*b30*b119 + 252*b31*b41 + 168*b31*b42 + 
     28*b31*b43 + 84*b31*b44 + 140*b31*b45 + 168*b31*b46 + 28*b31*b47 + 168*b31
     *b48 + 168*b31*b50 + 84*b31*b51 + 224*b31*b52 + 56*b31*b53 + 112*b31*b54
      + 224*b31*b55 + 28*b31*b56 + 252*b31*b57 + 168*b31*b58 + 28*b31*b97 + 
     1224*b31*b100 + 816*b31*b101 + 136*b31*b102 + 408*b31*b103 + 680*b31*b104
      + 816*b31*b105 + 136*b31*b106 + 816*b31*b107 + 816*b31*b109 + 408*b31*
     b110 + 1088*b31*b111 + 272*b31*b112 + 544*b31*b113 + 1088*b31*b114 + 136*
     b31*b115 + 1224*b31*b116 + 816*b31*b117 + 1088*b31*b118 + 136*b31*b119 + 
     224*b32*b41 + 168*b32*b42 + 224*b32*b43 + 28*b32*b44 + 28*b32*b45 + 196*
     b32*b46 + 140*b32*b47 + 84*b32*b48 + 168*b32*b49 + 224*b32*b51 + 56*b32*
     b52 + 196*b32*b53 + 168*b32*b54 + 112*b32*b55 + 140*b32*b56 + 112*b32*b57
      + 28*b32*b58 + 84*b32*b97 + 1088*b32*b100 + 816*b32*b101 + 1088*b32*b102
      + 136*b32*b103 + 136*b32*b104 + 952*b32*b105 + 680*b32*b106 + 408*b32*
     b107 + 816*b32*b108 + 1088*b32*b110 + 272*b32*b111 + 952*b32*b112 + 816*
     b32*b113 + 544*b32*b114 + 680*b32*b115 + 544*b32*b116 + 136*b32*b117 + 952
     *b32*b118 + 408*b32*b119 + 112*b33*b41 + 28*b33*b42 + 56*b33*b43 + 112*b33
     *b44 + 252*b33*b45 + 84*b33*b46 + 196*b33*b47 + 252*b33*b48 + 84*b33*b49
      + 224*b33*b50 + 112*b33*b52 + 112*b33*b53 + 56*b33*b54 + 140*b33*b55 + 
     168*b33*b56 + 112*b33*b57 + 252*b33*b58 + 28*b33*b97 + 544*b33*b100 + 136*
     b33*b101 + 272*b33*b102 + 544*b33*b103 + 1224*b33*b104 + 408*b33*b105 + 
     952*b33*b106 + 1224*b33*b107 + 408*b33*b108 + 1088*b33*b109 + 544*b33*b111
      + 544*b33*b112 + 272*b33*b113 + 680*b33*b114 + 816*b33*b115 + 544*b33*
     b116 + 1224*b33*b117 + 272*b33*b118 + 136*b33*b119 + 224*b34*b41 + 28*b34*
     b42 + 252*b34*b43 + 28*b34*b44 + 112*b34*b45 + 252*b34*b46 + 168*b34*b47
      + 84*b34*b48 + 224*b34*b49 + 56*b34*b50 + 112*b34*b51 + 84*b34*b53 + 56*
     b34*b54 + 224*b34*b55 + 196*b34*b56 + 56*b34*b57 + 224*b34*b58 + 112*b34*
     b97 + 1088*b34*b100 + 136*b34*b101 + 1224*b34*b102 + 136*b34*b103 + 544*
     b34*b104 + 1224*b34*b105 + 816*b34*b106 + 408*b34*b107 + 1088*b34*b108 + 
     272*b34*b109 + 544*b34*b110 + 408*b34*b112 + 272*b34*b113 + 1088*b34*b114
      + 952*b34*b115 + 272*b34*b116 + 1088*b34*b117 + 1224*b34*b118 + 544*b34*
     b119 + 196*b35*b41 + 56*b35*b42 + 224*b35*b43 + 252*b35*b44 + 168*b35*b45
      + 112*b35*b46 + 140*b35*b47 + 84*b35*b48 + 56*b35*b49 + 196*b35*b50 + 112
     *b35*b51 + 84*b35*b52 + 112*b35*b54 + 84*b35*b55 + 84*b35*b56 + 224*b35*
     b57 + 112*b35*b58 + 112*b35*b97 + 952*b35*b100 + 272*b35*b101 + 1088*b35*
     b102 + 1224*b35*b103 + 816*b35*b104 + 544*b35*b105 + 680*b35*b106 + 408*
     b35*b107 + 272*b35*b108 + 952*b35*b109 + 544*b35*b110 + 408*b35*b111 + 544
     *b35*b113 + 408*b35*b114 + 408*b35*b115 + 1088*b35*b116 + 544*b35*b117 + 
     1088*b35*b118 + 544*b35*b119 + 196*b36*b41 + 56*b36*b42 + 168*b36*b43 + 
     140*b36*b44 + 112*b36*b45 + 28*b36*b46 + 84*b36*b47 + 168*b36*b48 + 112*
     b36*b49 + 168*b36*b50 + 56*b36*b51 + 56*b36*b52 + 112*b36*b53 + 224*b36*
     b55 + 140*b36*b56 + 252*b36*b57 + 252*b36*b58 + 56*b36*b97 + 952*b36*b100
      + 272*b36*b101 + 816*b36*b102 + 680*b36*b103 + 544*b36*b104 + 136*b36*
     b105 + 408*b36*b106 + 816*b36*b107 + 544*b36*b108 + 816*b36*b109 + 272*b36
     *b110 + 272*b36*b111 + 544*b36*b112 + 1088*b36*b114 + 680*b36*b115 + 1224*
     b36*b116 + 1224*b36*b117 + 272*b36*b118 + 272*b36*b119 + 112*b37*b41 + 112
     *b37*b42 + 28*b37*b43 + 84*b37*b44 + 196*b37*b45 + 224*b37*b46 + 112*b37*
     b47 + 112*b37*b48 + 224*b37*b49 + 112*b37*b50 + 140*b37*b51 + 224*b37*b52
      + 84*b37*b53 + 224*b37*b54 + 28*b37*b56 + 56*b37*b57 + 196*b37*b58 + 196*
     b37*b97 + 544*b37*b100 + 544*b37*b101 + 136*b37*b102 + 408*b37*b103 + 952*
     b37*b104 + 1088*b37*b105 + 544*b37*b106 + 544*b37*b107 + 1088*b37*b108 + 
     544*b37*b109 + 680*b37*b110 + 1088*b37*b111 + 408*b37*b112 + 1088*b37*b113
      + 136*b37*b115 + 272*b37*b116 + 952*b37*b117 + 1224*b37*b118 + 952*b37*
     b119 + 84*b38*b41 + 56*b38*b42 + 252*b38*b43 + 84*b38*b44 + 112*b38*b45 + 
     112*b38*b46 + 252*b38*b47 + 28*b38*b48 + 28*b38*b49 + 140*b38*b50 + 168*
     b38*b51 + 196*b38*b52 + 84*b38*b53 + 140*b38*b54 + 28*b38*b55 + 28*b38*b57
      + 28*b38*b58 + 168*b38*b97 + 408*b38*b100 + 272*b38*b101 + 1224*b38*b102
      + 408*b38*b103 + 544*b38*b104 + 544*b38*b105 + 1224*b38*b106 + 136*b38*
     b107 + 136*b38*b108 + 680*b38*b109 + 816*b38*b110 + 952*b38*b111 + 408*b38
     *b112 + 680*b38*b113 + 136*b38*b114 + 136*b38*b116 + 136*b38*b117 + 408*
     b38*b118 + 816*b38*b119 + 196*b39*b41 + 196*b39*b42 + 56*b39*b43 + 196*b39
     *b44 + 252*b39*b45 + 252*b39*b46 + 224*b39*b47 + 224*b39*b48 + 252*b39*b49
      + 112*b39*b50 + 112*b39*b51 + 56*b39*b52 + 224*b39*b53 + 252*b39*b54 + 56
     *b39*b55 + 28*b39*b56 + 112*b39*b58 + 84*b39*b97 + 952*b39*b100 + 952*b39*
     b101 + 272*b39*b102 + 952*b39*b103 + 1224*b39*b104 + 1224*b39*b105 + 1088*
     b39*b106 + 1088*b39*b107 + 1224*b39*b108 + 544*b39*b109 + 544*b39*b110 + 
     272*b39*b111 + 1088*b39*b112 + 1224*b39*b113 + 272*b39*b114 + 136*b39*b115
      + 544*b39*b117 + 544*b39*b118 + 408*b39*b119 + 28*b40*b41 + 224*b40*b42
      + 168*b40*b43 + 84*b40*b44 + 168*b40*b45 + 28*b40*b46 + 28*b40*b47 + 168*
     b40*b48 + 168*b40*b49 + 28*b40*b50 + 252*b40*b51 + 224*b40*b52 + 112*b40*
     b53 + 252*b40*b54 + 196*b40*b55 + 28*b40*b56 + 112*b40*b57 + 140*b40*b97
      + 136*b40*b100 + 1088*b40*b101 + 816*b40*b102 + 408*b40*b103 + 816*b40*
     b104 + 136*b40*b105 + 136*b40*b106 + 816*b40*b107 + 816*b40*b108 + 136*b40
     *b109 + 1224*b40*b110 + 1088*b40*b111 + 544*b40*b112 + 1224*b40*b113 + 952
     *b40*b114 + 136*b40*b115 + 544*b40*b116 + 408*b40*b118 + 680*b40*b119 + 
     1218*b41*b120 + 196*b41*b121 + 1218*b42*b120 + 196*b42*b121 + 696*b43*b120
      + 112*b43*b121 + 1044*b44*b120 + 168*b44*b121 + 522*b45*b120 + 84*b45*
     b121 + 1218*b46*b120 + 196*b46*b121 + 174*b47*b120 + 28*b47*b121 + 1218*
     b48*b120 + 196*b48*b121 + 1392*b49*b120 + 224*b49*b121 + 1218*b50*b120 + 
     196*b50*b121 + 348*b51*b120 + 56*b51*b121 + 1566*b52*b120 + 252*b52*b121
      + 1392*b53*b120 + 224*b53*b121 + 348*b54*b120 + 56*b54*b121 + 1566*b55*
     b120 + 252*b55*b121 + 522*b56*b120 + 84*b56*b121 + 696*b57*b120 + 112*b57*
     b121 + 522*b58*b120 + 84*b58*b121 + 1148*b59*b120 + 190*b59*b122 + 266*b59
     *b123 + 342*b59*b124 + 38*b59*b125 + 228*b59*b126 + 114*b59*b127 + 76*b59*
     b128 + 342*b59*b129 + 304*b59*b130 + 152*b59*b131 + 304*b59*b132 + 266*b59
     *b133 + 266*b59*b134 + 152*b59*b135 + 114*b59*b136 + 266*b59*b137 + 38*b59
     *b138 + 180*b59*b139 + 252*b59*b140 + 324*b59*b141 + 36*b59*b142 + 216*b59
     *b143 + 108*b59*b144 + 72*b59*b145 + 324*b59*b146 + 288*b59*b147 + 144*b59
     *b148 + 288*b59*b149 + 252*b59*b150 + 252*b59*b151 + 144*b59*b152 + 108*
     b59*b153 + 252*b59*b154 + 36*b59*b155 + 380*b59*b156 + 532*b59*b157 + 684*
     b59*b158 + 76*b59*b159 + 456*b59*b160 + 228*b59*b161 + 152*b59*b162 + 684*
     b59*b163 + 608*b59*b164 + 304*b59*b165 + 608*b59*b166 + 532*b59*b167 + 532
     *b59*b168 + 304*b59*b169 + 228*b59*b170 + 532*b59*b171 + 76*b59*b172 + 470
     *b59*b173 + 658*b59*b174 + 846*b59*b175 + 94*b59*b176 + 564*b59*b177 + 282
     *b59*b178 + 188*b59*b179 + 846*b59*b180 + 752*b59*b181 + 376*b59*b182 + 
     752*b59*b183 + 658*b59*b184 + 658*b59*b185 + 376*b59*b186 + 282*b59*b187
      + 658*b59*b188 + 94*b59*b189 + 266*b59*b190 + 252*b59*b191 + 532*b59*b192
      + 658*b59*b193 + 304*b59*b194 + 288*b59*b195 + 608*b59*b196 + 752*b59*
     b197 + 1148*b60*b120 + 114*b60*b123 + 38*b60*b124 + 342*b60*b125 + 342*b60
     *b126 + 266*b60*b127 + 38*b60*b128 + 228*b60*b129 + 228*b60*b130 + 38*b60*
     b131 + 38*b60*b132 + 76*b60*b133 + 76*b60*b134 + 152*b60*b135 + 76*b60*
     b136 + 266*b60*b137 + 304*b60*b138 + 108*b60*b140 + 36*b60*b141 + 324*b60*
     b142 + 324*b60*b143 + 252*b60*b144 + 36*b60*b145 + 216*b60*b146 + 216*b60*
     b147 + 36*b60*b148 + 36*b60*b149 + 72*b60*b150 + 72*b60*b151 + 144*b60*
     b152 + 72*b60*b153 + 252*b60*b154 + 288*b60*b155 + 228*b60*b157 + 76*b60*
     b158 + 684*b60*b159 + 684*b60*b160 + 532*b60*b161 + 76*b60*b162 + 456*b60*
     b163 + 456*b60*b164 + 76*b60*b165 + 76*b60*b166 + 152*b60*b167 + 152*b60*
     b168 + 304*b60*b169 + 152*b60*b170 + 532*b60*b171 + 608*b60*b172 + 282*b60
     *b174 + 94*b60*b175 + 846*b60*b176 + 846*b60*b177 + 658*b60*b178 + 94*b60*
     b179 + 564*b60*b180 + 564*b60*b181 + 94*b60*b182 + 94*b60*b183 + 188*b60*
     b184 + 188*b60*b185 + 376*b60*b186 + 188*b60*b187 + 658*b60*b188 + 752*b60
     *b189 + 266*b60*b190 + 252*b60*b191 + 532*b60*b192 + 658*b60*b193 + 38*b60
     *b194 + 36*b60*b195 + 76*b60*b196 + 94*b60*b197 + 190*b60*b198 + 180*b60*
     b199 + 380*b60*b200 + 470*b60*b201 + 656*b61*b120 + 114*b61*b122 + 342*b61
     *b124 + 342*b61*b125 + 228*b61*b126 + 342*b61*b127 + 152*b61*b128 + 38*b61
     *b129 + 304*b61*b130 + 76*b61*b131 + 342*b61*b132 + 304*b61*b133 + 228*b61
     *b134 + 38*b61*b135 + 342*b61*b136 + 76*b61*b137 + 228*b61*b138 + 108*b61*
     b139 + 324*b61*b141 + 324*b61*b142 + 216*b61*b143 + 324*b61*b144 + 144*b61
     *b145 + 36*b61*b146 + 288*b61*b147 + 72*b61*b148 + 324*b61*b149 + 288*b61*
     b150 + 216*b61*b151 + 36*b61*b152 + 324*b61*b153 + 72*b61*b154 + 216*b61*
     b155 + 228*b61*b156 + 684*b61*b158 + 684*b61*b159 + 456*b61*b160 + 684*b61
     *b161 + 304*b61*b162 + 76*b61*b163 + 608*b61*b164 + 152*b61*b165 + 684*b61
     *b166 + 608*b61*b167 + 456*b61*b168 + 76*b61*b169 + 684*b61*b170 + 152*b61
     *b171 + 456*b61*b172 + 282*b61*b173 + 846*b61*b175 + 846*b61*b176 + 564*
     b61*b177 + 846*b61*b178 + 376*b61*b179 + 94*b61*b180 + 752*b61*b181 + 188*
     b61*b182 + 846*b61*b183 + 752*b61*b184 + 564*b61*b185 + 94*b61*b186 + 846*
     b61*b187 + 188*b61*b188 + 564*b61*b189 + 152*b61*b190 + 144*b61*b191 + 304
     *b61*b192 + 376*b61*b193 + 266*b61*b194 + 252*b61*b195 + 532*b61*b196 + 
     658*b61*b197 + 266*b61*b198 + 252*b61*b199 + 532*b61*b200 + 658*b61*b201
      + 984*b62*b120 + 38*b62*b122 + 342*b62*b123 + 266*b62*b125 + 228*b62*b126
      + 342*b62*b127 + 76*b62*b128 + 114*b62*b129 + 38*b62*b130 + 152*b62*b131
      + 38*b62*b132 + 342*b62*b133 + 190*b62*b134 + 114*b62*b135 + 114*b62*b136
      + 266*b62*b137 + 114*b62*b138 + 36*b62*b139 + 324*b62*b140 + 252*b62*b142
      + 216*b62*b143 + 324*b62*b144 + 72*b62*b145 + 108*b62*b146 + 36*b62*b147
      + 144*b62*b148 + 36*b62*b149 + 324*b62*b150 + 180*b62*b151 + 108*b62*b152
      + 108*b62*b153 + 252*b62*b154 + 108*b62*b155 + 76*b62*b156 + 684*b62*b157
      + 532*b62*b159 + 456*b62*b160 + 684*b62*b161 + 152*b62*b162 + 228*b62*
     b163 + 76*b62*b164 + 304*b62*b165 + 76*b62*b166 + 684*b62*b167 + 380*b62*
     b168 + 228*b62*b169 + 228*b62*b170 + 532*b62*b171 + 228*b62*b172 + 94*b62*
     b173 + 846*b62*b174 + 658*b62*b176 + 564*b62*b177 + 846*b62*b178 + 188*b62
     *b179 + 282*b62*b180 + 94*b62*b181 + 376*b62*b182 + 94*b62*b183 + 846*b62*
     b184 + 470*b62*b185 + 282*b62*b186 + 282*b62*b187 + 658*b62*b188 + 282*b62
     *b189 + 228*b62*b190 + 216*b62*b191 + 456*b62*b192 + 564*b62*b193 + 342*
     b62*b194 + 324*b62*b195 + 684*b62*b196 + 846*b62*b197 + 342*b62*b198 + 324
     *b62*b199 + 684*b62*b200 + 846*b62*b201 + 492*b63*b120 + 342*b63*b122 + 
     342*b63*b123 + 266*b63*b124 + 114*b63*b126 + 266*b63*b127 + 114*b63*b128
      + 190*b63*b129 + 38*b63*b130 + 342*b63*b131 + 152*b63*b132 + 228*b63*b133
      + 152*b63*b134 + 266*b63*b135 + 152*b63*b136 + 342*b63*b137 + 228*b63*
     b138 + 324*b63*b139 + 324*b63*b140 + 252*b63*b141 + 108*b63*b143 + 252*b63
     *b144 + 108*b63*b145 + 180*b63*b146 + 36*b63*b147 + 324*b63*b148 + 144*b63
     *b149 + 216*b63*b150 + 144*b63*b151 + 252*b63*b152 + 144*b63*b153 + 324*
     b63*b154 + 216*b63*b155 + 684*b63*b156 + 684*b63*b157 + 532*b63*b158 + 228
     *b63*b160 + 532*b63*b161 + 228*b63*b162 + 380*b63*b163 + 76*b63*b164 + 684
     *b63*b165 + 304*b63*b166 + 456*b63*b167 + 304*b63*b168 + 532*b63*b169 + 
     304*b63*b170 + 684*b63*b171 + 456*b63*b172 + 846*b63*b173 + 846*b63*b174
      + 658*b63*b175 + 282*b63*b177 + 658*b63*b178 + 282*b63*b179 + 470*b63*
     b180 + 94*b63*b181 + 846*b63*b182 + 376*b63*b183 + 564*b63*b184 + 376*b63*
     b185 + 658*b63*b186 + 376*b63*b187 + 846*b63*b188 + 564*b63*b189 + 114*b63
     *b190 + 108*b63*b191 + 228*b63*b192 + 282*b63*b193 + 304*b63*b194 + 288*
     b63*b195 + 608*b63*b196 + 752*b63*b197 + 38*b63*b198 + 36*b63*b199 + 76*
     b63*b200 + 94*b63*b201 + 1148*b64*b120 + 342*b64*b122 + 228*b64*b123 + 228
     *b64*b124 + 114*b64*b125 + 266*b64*b127 + 38*b64*b128 + 228*b64*b129 + 266
     *b64*b130 + 114*b64*b131 + 342*b64*b132 + 152*b64*b133 + 38*b64*b134 + 304
     *b64*b135 + 152*b64*b136 + 342*b64*b137 + 38*b64*b138 + 324*b64*b139 + 216
     *b64*b140 + 216*b64*b141 + 108*b64*b142 + 252*b64*b144 + 36*b64*b145 + 216
     *b64*b146 + 252*b64*b147 + 108*b64*b148 + 324*b64*b149 + 144*b64*b150 + 36
     *b64*b151 + 288*b64*b152 + 144*b64*b153 + 324*b64*b154 + 36*b64*b155 + 684
     *b64*b156 + 456*b64*b157 + 456*b64*b158 + 228*b64*b159 + 532*b64*b161 + 76
     *b64*b162 + 456*b64*b163 + 532*b64*b164 + 228*b64*b165 + 684*b64*b166 + 
     304*b64*b167 + 76*b64*b168 + 608*b64*b169 + 304*b64*b170 + 684*b64*b171 + 
     76*b64*b172 + 846*b64*b173 + 564*b64*b174 + 564*b64*b175 + 282*b64*b176 + 
     658*b64*b178 + 94*b64*b179 + 564*b64*b180 + 658*b64*b181 + 282*b64*b182 + 
     846*b64*b183 + 376*b64*b184 + 94*b64*b185 + 752*b64*b186 + 376*b64*b187 + 
     846*b64*b188 + 94*b64*b189 + 266*b64*b190 + 252*b64*b191 + 532*b64*b192 + 
     658*b64*b193 + 266*b64*b194 + 252*b64*b195 + 532*b64*b196 + 658*b64*b197
      + 228*b64*b198 + 216*b64*b199 + 456*b64*b200 + 564*b64*b201 + 164*b65*
     b120 + 266*b65*b122 + 342*b65*b123 + 342*b65*b124 + 266*b65*b125 + 266*b65
     *b126 + 228*b65*b128 + 38*b65*b129 + 190*b65*b130 + 266*b65*b131 + 228*b65
     *b132 + 190*b65*b133 + 114*b65*b134 + 152*b65*b135 + 342*b65*b136 + 304*
     b65*b137 + 38*b65*b138 + 252*b65*b139 + 324*b65*b140 + 324*b65*b141 + 252*
     b65*b142 + 252*b65*b143 + 216*b65*b145 + 36*b65*b146 + 180*b65*b147 + 252*
     b65*b148 + 216*b65*b149 + 180*b65*b150 + 108*b65*b151 + 144*b65*b152 + 324
     *b65*b153 + 288*b65*b154 + 36*b65*b155 + 532*b65*b156 + 684*b65*b157 + 684
     *b65*b158 + 532*b65*b159 + 532*b65*b160 + 456*b65*b162 + 76*b65*b163 + 380
     *b65*b164 + 532*b65*b165 + 456*b65*b166 + 380*b65*b167 + 228*b65*b168 + 
     304*b65*b169 + 684*b65*b170 + 608*b65*b171 + 76*b65*b172 + 658*b65*b173 + 
     846*b65*b174 + 846*b65*b175 + 658*b65*b176 + 658*b65*b177 + 564*b65*b179
      + 94*b65*b180 + 470*b65*b181 + 658*b65*b182 + 564*b65*b183 + 470*b65*b184
      + 282*b65*b185 + 376*b65*b186 + 846*b65*b187 + 752*b65*b188 + 94*b65*b189
      + 38*b65*b190 + 36*b65*b191 + 76*b65*b192 + 94*b65*b193 + 228*b65*b194 + 
     216*b65*b195 + 456*b65*b196 + 564*b65*b197 + 114*b65*b198 + 108*b65*b199
      + 228*b65*b200 + 282*b65*b201 + 1148*b66*b120 + 38*b66*b122 + 152*b66*
     b123 + 76*b66*b124 + 114*b66*b125 + 38*b66*b126 + 228*b66*b127 + 228*b66*
     b129 + 114*b66*b130 + 342*b66*b131 + 114*b66*b132 + 114*b66*b133 + 228*b66
     *b134 + 152*b66*b135 + 38*b66*b136 + 304*b66*b137 + 228*b66*b138 + 36*b66*
     b139 + 144*b66*b140 + 72*b66*b141 + 108*b66*b142 + 36*b66*b143 + 216*b66*
     b144 + 216*b66*b146 + 108*b66*b147 + 324*b66*b148 + 108*b66*b149 + 108*b66
     *b150 + 216*b66*b151 + 144*b66*b152 + 36*b66*b153 + 288*b66*b154 + 216*b66
     *b155 + 76*b66*b156 + 304*b66*b157 + 152*b66*b158 + 228*b66*b159 + 76*b66*
     b160 + 456*b66*b161 + 456*b66*b163 + 228*b66*b164 + 684*b66*b165 + 228*b66
     *b166 + 228*b66*b167 + 456*b66*b168 + 304*b66*b169 + 76*b66*b170 + 608*b66
     *b171 + 456*b66*b172 + 94*b66*b173 + 376*b66*b174 + 188*b66*b175 + 282*b66
     *b176 + 94*b66*b177 + 564*b66*b178 + 564*b66*b180 + 282*b66*b181 + 846*b66
     *b182 + 282*b66*b183 + 282*b66*b184 + 564*b66*b185 + 376*b66*b186 + 94*b66
     *b187 + 752*b66*b188 + 564*b66*b189 + 266*b66*b190 + 252*b66*b191 + 532*
     b66*b192 + 658*b66*b193 + 190*b66*b194 + 180*b66*b195 + 380*b66*b196 + 470
     *b66*b197 + 76*b66*b198 + 72*b66*b199 + 152*b66*b200 + 188*b66*b201 + 1312
     *b67*b120 + 228*b67*b122 + 38*b67*b123 + 114*b67*b124 + 190*b67*b125 + 228
     *b67*b126 + 38*b67*b127 + 228*b67*b128 + 228*b67*b130 + 114*b67*b131 + 304
     *b67*b132 + 76*b67*b133 + 152*b67*b134 + 304*b67*b135 + 38*b67*b136 + 342*
     b67*b137 + 228*b67*b138 + 216*b67*b139 + 36*b67*b140 + 108*b67*b141 + 180*
     b67*b142 + 216*b67*b143 + 36*b67*b144 + 216*b67*b145 + 216*b67*b147 + 108*
     b67*b148 + 288*b67*b149 + 72*b67*b150 + 144*b67*b151 + 288*b67*b152 + 36*
     b67*b153 + 324*b67*b154 + 216*b67*b155 + 456*b67*b156 + 76*b67*b157 + 228*
     b67*b158 + 380*b67*b159 + 456*b67*b160 + 76*b67*b161 + 456*b67*b162 + 456*
     b67*b164 + 228*b67*b165 + 608*b67*b166 + 152*b67*b167 + 304*b67*b168 + 608
     *b67*b169 + 76*b67*b170 + 684*b67*b171 + 456*b67*b172 + 564*b67*b173 + 94*
     b67*b174 + 282*b67*b175 + 470*b67*b176 + 564*b67*b177 + 94*b67*b178 + 564*
     b67*b179 + 564*b67*b181 + 282*b67*b182 + 752*b67*b183 + 188*b67*b184 + 376
     *b67*b185 + 752*b67*b186 + 94*b67*b187 + 846*b67*b188 + 564*b67*b189 + 304
     *b67*b190 + 288*b67*b191 + 608*b67*b192 + 752*b67*b193 + 38*b67*b194 + 36*
     b67*b195 + 76*b67*b196 + 94*b67*b197 + 342*b67*b198 + 324*b67*b199 + 684*
     b67*b200 + 846*b67*b201 + 1148*b68*b120 + 228*b68*b122 + 304*b68*b123 + 38
     *b68*b124 + 38*b68*b125 + 266*b68*b126 + 190*b68*b127 + 114*b68*b128 + 228
     *b68*b129 + 304*b68*b131 + 76*b68*b132 + 266*b68*b133 + 228*b68*b134 + 152
     *b68*b135 + 190*b68*b136 + 152*b68*b137 + 38*b68*b138 + 216*b68*b139 + 288
     *b68*b140 + 36*b68*b141 + 36*b68*b142 + 252*b68*b143 + 180*b68*b144 + 108*
     b68*b145 + 216*b68*b146 + 288*b68*b148 + 72*b68*b149 + 252*b68*b150 + 216*
     b68*b151 + 144*b68*b152 + 180*b68*b153 + 144*b68*b154 + 36*b68*b155 + 456*
     b68*b156 + 608*b68*b157 + 76*b68*b158 + 76*b68*b159 + 532*b68*b160 + 380*
     b68*b161 + 228*b68*b162 + 456*b68*b163 + 608*b68*b165 + 152*b68*b166 + 532
     *b68*b167 + 456*b68*b168 + 304*b68*b169 + 380*b68*b170 + 304*b68*b171 + 76
     *b68*b172 + 564*b68*b173 + 752*b68*b174 + 94*b68*b175 + 94*b68*b176 + 658*
     b68*b177 + 470*b68*b178 + 282*b68*b179 + 564*b68*b180 + 752*b68*b182 + 188
     *b68*b183 + 658*b68*b184 + 564*b68*b185 + 376*b68*b186 + 470*b68*b187 + 
     376*b68*b188 + 94*b68*b189 + 266*b68*b190 + 252*b68*b191 + 532*b68*b192 + 
     658*b68*b193 + 114*b68*b194 + 108*b68*b195 + 228*b68*b196 + 282*b68*b197
      + 304*b68*b198 + 288*b68*b199 + 608*b68*b200 + 752*b68*b201 + 328*b69*
     b120 + 38*b69*b122 + 76*b69*b123 + 152*b69*b124 + 342*b69*b125 + 114*b69*
     b126 + 266*b69*b127 + 342*b69*b128 + 114*b69*b129 + 304*b69*b130 + 152*b69
     *b132 + 152*b69*b133 + 76*b69*b134 + 190*b69*b135 + 228*b69*b136 + 152*b69
     *b137 + 342*b69*b138 + 36*b69*b139 + 72*b69*b140 + 144*b69*b141 + 324*b69*
     b142 + 108*b69*b143 + 252*b69*b144 + 324*b69*b145 + 108*b69*b146 + 288*b69
     *b147 + 144*b69*b149 + 144*b69*b150 + 72*b69*b151 + 180*b69*b152 + 216*b69
     *b153 + 144*b69*b154 + 324*b69*b155 + 76*b69*b156 + 152*b69*b157 + 304*b69
     *b158 + 684*b69*b159 + 228*b69*b160 + 532*b69*b161 + 684*b69*b162 + 228*
     b69*b163 + 608*b69*b164 + 304*b69*b166 + 304*b69*b167 + 152*b69*b168 + 380
     *b69*b169 + 456*b69*b170 + 304*b69*b171 + 684*b69*b172 + 94*b69*b173 + 188
     *b69*b174 + 376*b69*b175 + 846*b69*b176 + 282*b69*b177 + 658*b69*b178 + 
     846*b69*b179 + 282*b69*b180 + 752*b69*b181 + 376*b69*b183 + 376*b69*b184
      + 188*b69*b185 + 470*b69*b186 + 564*b69*b187 + 376*b69*b188 + 846*b69*
     b189 + 76*b69*b190 + 72*b69*b191 + 152*b69*b192 + 188*b69*b193 + 38*b69*
     b194 + 36*b69*b195 + 76*b69*b196 + 94*b69*b197 + 152*b69*b198 + 144*b69*
     b199 + 304*b69*b200 + 376*b69*b201 + 1476*b70*b120 + 38*b70*b122 + 342*b70
     *b123 + 38*b70*b124 + 152*b70*b125 + 342*b70*b126 + 228*b70*b127 + 114*b70
     *b128 + 304*b70*b129 + 76*b70*b130 + 152*b70*b131 + 114*b70*b133 + 76*b70*
     b134 + 304*b70*b135 + 266*b70*b136 + 76*b70*b137 + 304*b70*b138 + 36*b70*
     b139 + 324*b70*b140 + 36*b70*b141 + 144*b70*b142 + 324*b70*b143 + 216*b70*
     b144 + 108*b70*b145 + 288*b70*b146 + 72*b70*b147 + 144*b70*b148 + 108*b70*
     b150 + 72*b70*b151 + 288*b70*b152 + 252*b70*b153 + 72*b70*b154 + 288*b70*
     b155 + 76*b70*b156 + 684*b70*b157 + 76*b70*b158 + 304*b70*b159 + 684*b70*
     b160 + 456*b70*b161 + 228*b70*b162 + 608*b70*b163 + 152*b70*b164 + 304*b70
     *b165 + 228*b70*b167 + 152*b70*b168 + 608*b70*b169 + 532*b70*b170 + 152*
     b70*b171 + 608*b70*b172 + 94*b70*b173 + 846*b70*b174 + 94*b70*b175 + 376*
     b70*b176 + 846*b70*b177 + 564*b70*b178 + 282*b70*b179 + 752*b70*b180 + 188
     *b70*b181 + 376*b70*b182 + 282*b70*b184 + 188*b70*b185 + 752*b70*b186 + 
     658*b70*b187 + 188*b70*b188 + 752*b70*b189 + 342*b70*b190 + 324*b70*b191
      + 684*b70*b192 + 846*b70*b193 + 152*b70*b194 + 144*b70*b195 + 304*b70*
     b196 + 376*b70*b197 + 304*b70*b198 + 288*b70*b199 + 608*b70*b200 + 752*b70
     *b201 + 1312*b71*b120 + 76*b71*b122 + 304*b71*b123 + 342*b71*b124 + 228*
     b71*b125 + 152*b71*b126 + 190*b71*b127 + 114*b71*b128 + 76*b71*b129 + 266*
     b71*b130 + 152*b71*b131 + 114*b71*b132 + 152*b71*b134 + 114*b71*b135 + 114
     *b71*b136 + 304*b71*b137 + 152*b71*b138 + 72*b71*b139 + 288*b71*b140 + 324
     *b71*b141 + 216*b71*b142 + 144*b71*b143 + 180*b71*b144 + 108*b71*b145 + 72
     *b71*b146 + 252*b71*b147 + 144*b71*b148 + 108*b71*b149 + 144*b71*b151 + 
     108*b71*b152 + 108*b71*b153 + 288*b71*b154 + 144*b71*b155 + 152*b71*b156
      + 608*b71*b157 + 684*b71*b158 + 456*b71*b159 + 304*b71*b160 + 380*b71*
     b161 + 228*b71*b162 + 152*b71*b163 + 532*b71*b164 + 304*b71*b165 + 228*b71
     *b166 + 304*b71*b168 + 228*b71*b169 + 228*b71*b170 + 608*b71*b171 + 304*
     b71*b172 + 188*b71*b173 + 752*b71*b174 + 846*b71*b175 + 564*b71*b176 + 376
     *b71*b177 + 470*b71*b178 + 282*b71*b179 + 188*b71*b180 + 658*b71*b181 + 
     376*b71*b182 + 282*b71*b183 + 376*b71*b185 + 282*b71*b186 + 282*b71*b187
      + 752*b71*b188 + 376*b71*b189 + 304*b71*b190 + 288*b71*b191 + 608*b71*
     b192 + 752*b71*b193 + 152*b71*b194 + 144*b71*b195 + 304*b71*b196 + 376*b71
     *b197 + 266*b71*b198 + 252*b71*b199 + 532*b71*b200 + 658*b71*b201 + 328*
     b72*b120 + 76*b72*b122 + 228*b72*b123 + 190*b72*b124 + 152*b72*b125 + 38*
     b72*b126 + 114*b72*b127 + 228*b72*b128 + 152*b72*b129 + 228*b72*b130 + 76*
     b72*b131 + 76*b72*b132 + 152*b72*b133 + 304*b72*b135 + 190*b72*b136 + 342*
     b72*b137 + 342*b72*b138 + 72*b72*b139 + 216*b72*b140 + 180*b72*b141 + 144*
     b72*b142 + 36*b72*b143 + 108*b72*b144 + 216*b72*b145 + 144*b72*b146 + 216*
     b72*b147 + 72*b72*b148 + 72*b72*b149 + 144*b72*b150 + 288*b72*b152 + 180*
     b72*b153 + 324*b72*b154 + 324*b72*b155 + 152*b72*b156 + 456*b72*b157 + 380
     *b72*b158 + 304*b72*b159 + 76*b72*b160 + 228*b72*b161 + 456*b72*b162 + 304
     *b72*b163 + 456*b72*b164 + 152*b72*b165 + 152*b72*b166 + 304*b72*b167 + 
     608*b72*b169 + 380*b72*b170 + 684*b72*b171 + 684*b72*b172 + 188*b72*b173
      + 564*b72*b174 + 470*b72*b175 + 376*b72*b176 + 94*b72*b177 + 282*b72*b178
      + 564*b72*b179 + 376*b72*b180 + 564*b72*b181 + 188*b72*b182 + 188*b72*
     b183 + 376*b72*b184 + 752*b72*b186 + 470*b72*b187 + 846*b72*b188 + 846*b72
     *b189 + 76*b72*b190 + 72*b72*b191 + 152*b72*b192 + 188*b72*b193 + 76*b72*
     b194 + 72*b72*b195 + 152*b72*b196 + 188*b72*b197 + 266*b72*b198 + 252*b72*
     b199 + 532*b72*b200 + 658*b72*b201 + 1476*b73*b120 + 152*b73*b122 + 38*b73
     *b123 + 114*b73*b124 + 266*b73*b125 + 304*b73*b126 + 152*b73*b127 + 152*
     b73*b128 + 304*b73*b129 + 152*b73*b130 + 190*b73*b131 + 304*b73*b132 + 114
     *b73*b133 + 304*b73*b134 + 38*b73*b136 + 76*b73*b137 + 266*b73*b138 + 144*
     b73*b139 + 36*b73*b140 + 108*b73*b141 + 252*b73*b142 + 288*b73*b143 + 144*
     b73*b144 + 144*b73*b145 + 288*b73*b146 + 144*b73*b147 + 180*b73*b148 + 288
     *b73*b149 + 108*b73*b150 + 288*b73*b151 + 36*b73*b153 + 72*b73*b154 + 252*
     b73*b155 + 304*b73*b156 + 76*b73*b157 + 228*b73*b158 + 532*b73*b159 + 608*
     b73*b160 + 304*b73*b161 + 304*b73*b162 + 608*b73*b163 + 304*b73*b164 + 380
     *b73*b165 + 608*b73*b166 + 228*b73*b167 + 608*b73*b168 + 76*b73*b170 + 152
     *b73*b171 + 532*b73*b172 + 376*b73*b173 + 94*b73*b174 + 282*b73*b175 + 658
     *b73*b176 + 752*b73*b177 + 376*b73*b178 + 376*b73*b179 + 752*b73*b180 + 
     376*b73*b181 + 470*b73*b182 + 752*b73*b183 + 282*b73*b184 + 752*b73*b185
      + 94*b73*b187 + 188*b73*b188 + 658*b73*b189 + 342*b73*b190 + 324*b73*b191
      + 684*b73*b192 + 846*b73*b193 + 266*b73*b194 + 252*b73*b195 + 532*b73*
     b196 + 658*b73*b197 + 152*b73*b198 + 144*b73*b199 + 304*b73*b200 + 376*b73
     *b201 + 492*b74*b120 + 76*b74*b122 + 342*b74*b123 + 114*b74*b124 + 152*b74
     *b125 + 152*b74*b126 + 342*b74*b127 + 38*b74*b128 + 38*b74*b129 + 190*b74*
     b130 + 228*b74*b131 + 266*b74*b132 + 114*b74*b133 + 190*b74*b134 + 38*b74*
     b135 + 38*b74*b137 + 38*b74*b138 + 72*b74*b139 + 324*b74*b140 + 108*b74*
     b141 + 144*b74*b142 + 144*b74*b143 + 324*b74*b144 + 36*b74*b145 + 36*b74*
     b146 + 180*b74*b147 + 216*b74*b148 + 252*b74*b149 + 108*b74*b150 + 180*b74
     *b151 + 36*b74*b152 + 36*b74*b154 + 36*b74*b155 + 152*b74*b156 + 684*b74*
     b157 + 228*b74*b158 + 304*b74*b159 + 304*b74*b160 + 684*b74*b161 + 76*b74*
     b162 + 76*b74*b163 + 380*b74*b164 + 456*b74*b165 + 532*b74*b166 + 228*b74*
     b167 + 380*b74*b168 + 76*b74*b169 + 76*b74*b171 + 76*b74*b172 + 188*b74*
     b173 + 846*b74*b174 + 282*b74*b175 + 376*b74*b176 + 376*b74*b177 + 846*b74
     *b178 + 94*b74*b179 + 94*b74*b180 + 470*b74*b181 + 564*b74*b182 + 658*b74*
     b183 + 282*b74*b184 + 470*b74*b185 + 94*b74*b186 + 94*b74*b188 + 94*b74*
     b189 + 114*b74*b190 + 108*b74*b191 + 228*b74*b192 + 282*b74*b193 + 228*b74
     *b194 + 216*b74*b195 + 456*b74*b196 + 564*b74*b197 + 114*b74*b198 + 108*
     b74*b199 + 228*b74*b200 + 282*b74*b201 + 656*b75*b120 + 266*b75*b122 + 76*
     b75*b123 + 266*b75*b124 + 342*b75*b125 + 342*b75*b126 + 304*b75*b127 + 304
     *b75*b128 + 342*b75*b129 + 152*b75*b130 + 152*b75*b131 + 76*b75*b132 + 304
     *b75*b133 + 342*b75*b134 + 76*b75*b135 + 38*b75*b136 + 152*b75*b138 + 252*
     b75*b139 + 72*b75*b140 + 252*b75*b141 + 324*b75*b142 + 324*b75*b143 + 288*
     b75*b144 + 288*b75*b145 + 324*b75*b146 + 144*b75*b147 + 144*b75*b148 + 72*
     b75*b149 + 288*b75*b150 + 324*b75*b151 + 72*b75*b152 + 36*b75*b153 + 144*
     b75*b155 + 532*b75*b156 + 152*b75*b157 + 532*b75*b158 + 684*b75*b159 + 684
     *b75*b160 + 608*b75*b161 + 608*b75*b162 + 684*b75*b163 + 304*b75*b164 + 
     304*b75*b165 + 152*b75*b166 + 608*b75*b167 + 684*b75*b168 + 152*b75*b169
      + 76*b75*b170 + 304*b75*b172 + 658*b75*b173 + 188*b75*b174 + 658*b75*b175
      + 846*b75*b176 + 846*b75*b177 + 752*b75*b178 + 752*b75*b179 + 846*b75*
     b180 + 376*b75*b181 + 376*b75*b182 + 188*b75*b183 + 752*b75*b184 + 846*b75
     *b185 + 188*b75*b186 + 94*b75*b187 + 376*b75*b189 + 152*b75*b190 + 144*b75
     *b191 + 304*b75*b192 + 376*b75*b193 + 114*b75*b194 + 108*b75*b195 + 228*
     b75*b196 + 282*b75*b197 + 266*b75*b198 + 252*b75*b199 + 532*b75*b200 + 658
     *b75*b201 + 492*b76*b120 + 304*b76*b122 + 228*b76*b123 + 114*b76*b124 + 
     228*b76*b125 + 38*b76*b126 + 38*b76*b127 + 228*b76*b128 + 228*b76*b129 + 
     38*b76*b130 + 342*b76*b131 + 304*b76*b132 + 152*b76*b133 + 342*b76*b134 + 
     266*b76*b135 + 38*b76*b136 + 152*b76*b137 + 288*b76*b139 + 216*b76*b140 + 
     108*b76*b141 + 216*b76*b142 + 36*b76*b143 + 36*b76*b144 + 216*b76*b145 + 
     216*b76*b146 + 36*b76*b147 + 324*b76*b148 + 288*b76*b149 + 144*b76*b150 + 
     324*b76*b151 + 252*b76*b152 + 36*b76*b153 + 144*b76*b154 + 608*b76*b156 + 
     456*b76*b157 + 228*b76*b158 + 456*b76*b159 + 76*b76*b160 + 76*b76*b161 + 
     456*b76*b162 + 456*b76*b163 + 76*b76*b164 + 684*b76*b165 + 608*b76*b166 + 
     304*b76*b167 + 684*b76*b168 + 532*b76*b169 + 76*b76*b170 + 304*b76*b171 + 
     752*b76*b173 + 564*b76*b174 + 282*b76*b175 + 564*b76*b176 + 94*b76*b177 + 
     94*b76*b178 + 564*b76*b179 + 564*b76*b180 + 94*b76*b181 + 846*b76*b182 + 
     752*b76*b183 + 376*b76*b184 + 846*b76*b185 + 658*b76*b186 + 94*b76*b187 + 
     376*b76*b188 + 114*b76*b190 + 108*b76*b191 + 228*b76*b192 + 282*b76*b193
      + 190*b76*b194 + 180*b76*b195 + 380*b76*b196 + 470*b76*b197 + 38*b76*b198
      + 36*b76*b199 + 76*b76*b200 + 94*b76*b201 + 798*b77*b120 + 910*b77*b202
      + 1274*b77*b203 + 1638*b77*b204 + 182*b77*b205 + 1092*b77*b206 + 546*b77*
     b207 + 364*b77*b208 + 1638*b77*b209 + 1456*b77*b210 + 728*b77*b211 + 1456*
     b77*b212 + 1274*b77*b213 + 1274*b77*b214 + 728*b77*b215 + 546*b77*b216 + 
     1274*b77*b217 + 182*b77*b218 + 1274*b77*b219 + 1456*b77*b220 + 798*b78*
     b120 + 546*b78*b203 + 182*b78*b204 + 1638*b78*b205 + 1638*b78*b206 + 1274*
     b78*b207 + 182*b78*b208 + 1092*b78*b209 + 1092*b78*b210 + 182*b78*b211 + 
     182*b78*b212 + 364*b78*b213 + 364*b78*b214 + 728*b78*b215 + 364*b78*b216
      + 1274*b78*b217 + 1456*b78*b218 + 1274*b78*b219 + 182*b78*b220 + 910*b78*
     b221 + 456*b79*b120 + 546*b79*b202 + 1638*b79*b204 + 1638*b79*b205 + 1092*
     b79*b206 + 1638*b79*b207 + 728*b79*b208 + 182*b79*b209 + 1456*b79*b210 + 
     364*b79*b211 + 1638*b79*b212 + 1456*b79*b213 + 1092*b79*b214 + 182*b79*
     b215 + 1638*b79*b216 + 364*b79*b217 + 1092*b79*b218 + 728*b79*b219 + 1274*
     b79*b220 + 1274*b79*b221 + 684*b80*b120 + 182*b80*b202 + 1638*b80*b203 + 
     1274*b80*b205 + 1092*b80*b206 + 1638*b80*b207 + 364*b80*b208 + 546*b80*
     b209 + 182*b80*b210 + 728*b80*b211 + 182*b80*b212 + 1638*b80*b213 + 910*
     b80*b214 + 546*b80*b215 + 546*b80*b216 + 1274*b80*b217 + 546*b80*b218 + 
     1092*b80*b219 + 1638*b80*b220 + 1638*b80*b221 + 342*b81*b120 + 1638*b81*
     b202 + 1638*b81*b203 + 1274*b81*b204 + 546*b81*b206 + 1274*b81*b207 + 546*
     b81*b208 + 910*b81*b209 + 182*b81*b210 + 1638*b81*b211 + 728*b81*b212 + 
     1092*b81*b213 + 728*b81*b214 + 1274*b81*b215 + 728*b81*b216 + 1638*b81*
     b217 + 1092*b81*b218 + 546*b81*b219 + 1456*b81*b220 + 182*b81*b221 + 798*
     b82*b120 + 1638*b82*b202 + 1092*b82*b203 + 1092*b82*b204 + 546*b82*b205 + 
     1274*b82*b207 + 182*b82*b208 + 1092*b82*b209 + 1274*b82*b210 + 546*b82*
     b211 + 1638*b82*b212 + 728*b82*b213 + 182*b82*b214 + 1456*b82*b215 + 728*
     b82*b216 + 1638*b82*b217 + 182*b82*b218 + 1274*b82*b219 + 1274*b82*b220 + 
     1092*b82*b221 + 114*b83*b120 + 1274*b83*b202 + 1638*b83*b203 + 1638*b83*
     b204 + 1274*b83*b205 + 1274*b83*b206 + 1092*b83*b208 + 182*b83*b209 + 910*
     b83*b210 + 1274*b83*b211 + 1092*b83*b212 + 910*b83*b213 + 546*b83*b214 + 
     728*b83*b215 + 1638*b83*b216 + 1456*b83*b217 + 182*b83*b218 + 182*b83*b219
      + 1092*b83*b220 + 546*b83*b221 + 798*b84*b120 + 182*b84*b202 + 728*b84*
     b203 + 364*b84*b204 + 546*b84*b205 + 182*b84*b206 + 1092*b84*b207 + 1092*
     b84*b209 + 546*b84*b210 + 1638*b84*b211 + 546*b84*b212 + 546*b84*b213 + 
     1092*b84*b214 + 728*b84*b215 + 182*b84*b216 + 1456*b84*b217 + 1092*b84*
     b218 + 1274*b84*b219 + 910*b84*b220 + 364*b84*b221 + 912*b85*b120 + 1092*
     b85*b202 + 182*b85*b203 + 546*b85*b204 + 910*b85*b205 + 1092*b85*b206 + 
     182*b85*b207 + 1092*b85*b208 + 1092*b85*b210 + 546*b85*b211 + 1456*b85*
     b212 + 364*b85*b213 + 728*b85*b214 + 1456*b85*b215 + 182*b85*b216 + 1638*
     b85*b217 + 1092*b85*b218 + 1456*b85*b219 + 182*b85*b220 + 1638*b85*b221 + 
     798*b86*b120 + 1092*b86*b202 + 1456*b86*b203 + 182*b86*b204 + 182*b86*b205
      + 1274*b86*b206 + 910*b86*b207 + 546*b86*b208 + 1092*b86*b209 + 1456*b86*
     b211 + 364*b86*b212 + 1274*b86*b213 + 1092*b86*b214 + 728*b86*b215 + 910*
     b86*b216 + 728*b86*b217 + 182*b86*b218 + 1274*b86*b219 + 546*b86*b220 + 
     1456*b86*b221 + 228*b87*b120 + 182*b87*b202 + 364*b87*b203 + 728*b87*b204
      + 1638*b87*b205 + 546*b87*b206 + 1274*b87*b207 + 1638*b87*b208 + 546*b87*
     b209 + 1456*b87*b210 + 728*b87*b212 + 728*b87*b213 + 364*b87*b214 + 910*
     b87*b215 + 1092*b87*b216 + 728*b87*b217 + 1638*b87*b218 + 364*b87*b219 + 
     182*b87*b220 + 728*b87*b221 + 1026*b88*b120 + 182*b88*b202 + 1638*b88*b203
      + 182*b88*b204 + 728*b88*b205 + 1638*b88*b206 + 1092*b88*b207 + 546*b88*
     b208 + 1456*b88*b209 + 364*b88*b210 + 728*b88*b211 + 546*b88*b213 + 364*
     b88*b214 + 1456*b88*b215 + 1274*b88*b216 + 364*b88*b217 + 1456*b88*b218 + 
     1638*b88*b219 + 728*b88*b220 + 1456*b88*b221 + 912*b89*b120 + 364*b89*b202
      + 1456*b89*b203 + 1638*b89*b204 + 1092*b89*b205 + 728*b89*b206 + 910*b89*
     b207 + 546*b89*b208 + 364*b89*b209 + 1274*b89*b210 + 728*b89*b211 + 546*
     b89*b212 + 728*b89*b214 + 546*b89*b215 + 546*b89*b216 + 1456*b89*b217 + 
     728*b89*b218 + 1456*b89*b219 + 728*b89*b220 + 1274*b89*b221 + 228*b90*b120
      + 364*b90*b202 + 1092*b90*b203 + 910*b90*b204 + 728*b90*b205 + 182*b90*
     b206 + 546*b90*b207 + 1092*b90*b208 + 728*b90*b209 + 1092*b90*b210 + 364*
     b90*b211 + 364*b90*b212 + 728*b90*b213 + 1456*b90*b215 + 910*b90*b216 + 
     1638*b90*b217 + 1638*b90*b218 + 364*b90*b219 + 364*b90*b220 + 1274*b90*
     b221 + 1026*b91*b120 + 728*b91*b202 + 182*b91*b203 + 546*b91*b204 + 1274*
     b91*b205 + 1456*b91*b206 + 728*b91*b207 + 728*b91*b208 + 1456*b91*b209 + 
     728*b91*b210 + 910*b91*b211 + 1456*b91*b212 + 546*b91*b213 + 1456*b91*b214
      + 182*b91*b216 + 364*b91*b217 + 1274*b91*b218 + 1638*b91*b219 + 1274*b91*
     b220 + 728*b91*b221 + 342*b92*b120 + 364*b92*b202 + 1638*b92*b203 + 546*
     b92*b204 + 728*b92*b205 + 728*b92*b206 + 1638*b92*b207 + 182*b92*b208 + 
     182*b92*b209 + 910*b92*b210 + 1092*b92*b211 + 1274*b92*b212 + 546*b92*b213
      + 910*b92*b214 + 182*b92*b215 + 182*b92*b217 + 182*b92*b218 + 546*b92*
     b219 + 1092*b92*b220 + 546*b92*b221 + 456*b93*b120 + 1274*b93*b202 + 364*
     b93*b203 + 1274*b93*b204 + 1638*b93*b205 + 1638*b93*b206 + 1456*b93*b207
      + 1456*b93*b208 + 1638*b93*b209 + 728*b93*b210 + 728*b93*b211 + 364*b93*
     b212 + 1456*b93*b213 + 1638*b93*b214 + 364*b93*b215 + 182*b93*b216 + 728*
     b93*b218 + 728*b93*b219 + 546*b93*b220 + 1274*b93*b221 + 342*b94*b120 + 
     1456*b94*b202 + 1092*b94*b203 + 546*b94*b204 + 1092*b94*b205 + 182*b94*
     b206 + 182*b94*b207 + 1092*b94*b208 + 1092*b94*b209 + 182*b94*b210 + 1638*
     b94*b211 + 1456*b94*b212 + 728*b94*b213 + 1638*b94*b214 + 1274*b94*b215 + 
     182*b94*b216 + 728*b94*b217 + 546*b94*b219 + 910*b94*b220 + 182*b94*b221
      + 266*b95*b122 + 152*b95*b123 + 228*b95*b124 + 114*b95*b125 + 266*b95*
     b126 + 38*b95*b127 + 266*b95*b128 + 304*b95*b129 + 266*b95*b130 + 76*b95*
     b131 + 342*b95*b132 + 304*b95*b133 + 76*b95*b134 + 342*b95*b135 + 114*b95*
     b136 + 152*b95*b137 + 114*b95*b138 + 252*b95*b139 + 144*b95*b140 + 216*b95
     *b141 + 108*b95*b142 + 252*b95*b143 + 36*b95*b144 + 252*b95*b145 + 288*b95
     *b146 + 252*b95*b147 + 72*b95*b148 + 324*b95*b149 + 288*b95*b150 + 72*b95*
     b151 + 324*b95*b152 + 108*b95*b153 + 144*b95*b154 + 108*b95*b155 + 532*b95
     *b156 + 304*b95*b157 + 456*b95*b158 + 228*b95*b159 + 532*b95*b160 + 76*b95
     *b161 + 532*b95*b162 + 608*b95*b163 + 532*b95*b164 + 152*b95*b165 + 684*
     b95*b166 + 608*b95*b167 + 152*b95*b168 + 684*b95*b169 + 228*b95*b170 + 304
     *b95*b171 + 228*b95*b172 + 658*b95*b173 + 376*b95*b174 + 564*b95*b175 + 
     282*b95*b176 + 658*b95*b177 + 94*b95*b178 + 658*b95*b179 + 752*b95*b180 + 
     658*b95*b181 + 188*b95*b182 + 846*b95*b183 + 752*b95*b184 + 188*b95*b185
      + 846*b95*b186 + 282*b95*b187 + 376*b95*b188 + 282*b95*b189 + 152*b95*
     b194 + 144*b95*b195 + 304*b95*b196 + 376*b95*b197 + 266*b95*b198 + 252*b95
     *b199 + 532*b95*b200 + 658*b95*b201 + 1274*b96*b202 + 728*b96*b203 + 1092*
     b96*b204 + 546*b96*b205 + 1274*b96*b206 + 182*b96*b207 + 1274*b96*b208 + 
     1456*b96*b209 + 1274*b96*b210 + 364*b96*b211 + 1638*b96*b212 + 1456*b96*
     b213 + 364*b96*b214 + 1638*b96*b215 + 546*b96*b216 + 728*b96*b217 + 546*
     b96*b218 + 728*b96*b220 + 1274*b96*b221 + 696*b97*b120 + 112*b97*b121 + 
     656*b98*b120 + 38*b98*b122 + 266*b98*b123 + 342*b98*b124 + 304*b98*b125 + 
     266*b98*b126 + 228*b98*b127 + 190*b98*b128 + 38*b98*b129 + 114*b98*b130 + 
     38*b98*b131 + 152*b98*b132 + 152*b98*b133 + 76*b98*b134 + 266*b98*b135 + 
     228*b98*b136 + 114*b98*b137 + 190*b98*b138 + 36*b98*b139 + 252*b98*b140 + 
     324*b98*b141 + 288*b98*b142 + 252*b98*b143 + 216*b98*b144 + 180*b98*b145
      + 36*b98*b146 + 108*b98*b147 + 36*b98*b148 + 144*b98*b149 + 144*b98*b150
      + 72*b98*b151 + 252*b98*b152 + 216*b98*b153 + 108*b98*b154 + 180*b98*b155
      + 76*b98*b156 + 532*b98*b157 + 684*b98*b158 + 608*b98*b159 + 532*b98*b160
      + 456*b98*b161 + 380*b98*b162 + 76*b98*b163 + 228*b98*b164 + 76*b98*b165
      + 304*b98*b166 + 304*b98*b167 + 152*b98*b168 + 532*b98*b169 + 456*b98*
     b170 + 228*b98*b171 + 380*b98*b172 + 94*b98*b173 + 658*b98*b174 + 846*b98*
     b175 + 752*b98*b176 + 658*b98*b177 + 564*b98*b178 + 470*b98*b179 + 94*b98*
     b180 + 282*b98*b181 + 94*b98*b182 + 376*b98*b183 + 376*b98*b184 + 188*b98*
     b185 + 658*b98*b186 + 564*b98*b187 + 282*b98*b188 + 470*b98*b189 + 152*b98
     *b190 + 144*b98*b191 + 304*b98*b192 + 376*b98*b193 + 304*b98*b198 + 288*
     b98*b199 + 608*b98*b200 + 752*b98*b201 + 456*b99*b120 + 182*b99*b202 + 
     1274*b99*b203 + 1638*b99*b204 + 1456*b99*b205 + 1274*b99*b206 + 1092*b99*
     b207 + 910*b99*b208 + 182*b99*b209 + 546*b99*b210 + 182*b99*b211 + 728*b99
     *b212 + 728*b99*b213 + 364*b99*b214 + 1274*b99*b215 + 1092*b99*b216 + 546*
     b99*b217 + 910*b99*b218 + 728*b99*b219 + 1456*b99*b221 + 952*b100*b121 + 
     770*b100*b222 + 1078*b100*b223 + 1386*b100*b224 + 154*b100*b225 + 924*b100
     *b226 + 462*b100*b227 + 308*b100*b228 + 1386*b100*b229 + 1232*b100*b230 + 
     616*b100*b231 + 1232*b100*b232 + 1078*b100*b233 + 1078*b100*b234 + 616*
     b100*b235 + 462*b100*b236 + 1078*b100*b237 + 154*b100*b238 + 1078*b100*
     b239 + 1232*b100*b240 + 952*b101*b121 + 462*b101*b223 + 154*b101*b224 + 
     1386*b101*b225 + 1386*b101*b226 + 1078*b101*b227 + 154*b101*b228 + 924*
     b101*b229 + 924*b101*b230 + 154*b101*b231 + 154*b101*b232 + 308*b101*b233
      + 308*b101*b234 + 616*b101*b235 + 308*b101*b236 + 1078*b101*b237 + 1232*
     b101*b238 + 1078*b101*b239 + 154*b101*b240 + 770*b101*b241 + 544*b102*b121
      + 462*b102*b222 + 1386*b102*b224 + 1386*b102*b225 + 924*b102*b226 + 1386*
     b102*b227 + 616*b102*b228 + 154*b102*b229 + 1232*b102*b230 + 308*b102*b231
      + 1386*b102*b232 + 1232*b102*b233 + 924*b102*b234 + 154*b102*b235 + 1386*
     b102*b236 + 308*b102*b237 + 924*b102*b238 + 616*b102*b239 + 1078*b102*b240
      + 1078*b102*b241 + 816*b103*b121 + 154*b103*b222 + 1386*b103*b223 + 1078*
     b103*b225 + 924*b103*b226 + 1386*b103*b227 + 308*b103*b228 + 462*b103*b229
      + 154*b103*b230 + 616*b103*b231 + 154*b103*b232 + 1386*b103*b233 + 770*
     b103*b234 + 462*b103*b235 + 462*b103*b236 + 1078*b103*b237 + 462*b103*b238
      + 924*b103*b239 + 1386*b103*b240 + 1386*b103*b241 + 408*b104*b121 + 1386*
     b104*b222 + 1386*b104*b223 + 1078*b104*b224 + 462*b104*b226 + 1078*b104*
     b227 + 462*b104*b228 + 770*b104*b229 + 154*b104*b230 + 1386*b104*b231 + 
     616*b104*b232 + 924*b104*b233 + 616*b104*b234 + 1078*b104*b235 + 616*b104*
     b236 + 1386*b104*b237 + 924*b104*b238 + 462*b104*b239 + 1232*b104*b240 + 
     154*b104*b241 + 952*b105*b121 + 1386*b105*b222 + 924*b105*b223 + 924*b105*
     b224 + 462*b105*b225 + 1078*b105*b227 + 154*b105*b228 + 924*b105*b229 + 
     1078*b105*b230 + 462*b105*b231 + 1386*b105*b232 + 616*b105*b233 + 154*b105
     *b234 + 1232*b105*b235 + 616*b105*b236 + 1386*b105*b237 + 154*b105*b238 + 
     1078*b105*b239 + 1078*b105*b240 + 924*b105*b241 + 136*b106*b121 + 1078*
     b106*b222 + 1386*b106*b223 + 1386*b106*b224 + 1078*b106*b225 + 1078*b106*
     b226 + 924*b106*b228 + 154*b106*b229 + 770*b106*b230 + 1078*b106*b231 + 
     924*b106*b232 + 770*b106*b233 + 462*b106*b234 + 616*b106*b235 + 1386*b106*
     b236 + 1232*b106*b237 + 154*b106*b238 + 154*b106*b239 + 924*b106*b240 + 
     462*b106*b241 + 952*b107*b121 + 154*b107*b222 + 616*b107*b223 + 308*b107*
     b224 + 462*b107*b225 + 154*b107*b226 + 924*b107*b227 + 924*b107*b229 + 462
     *b107*b230 + 1386*b107*b231 + 462*b107*b232 + 462*b107*b233 + 924*b107*
     b234 + 616*b107*b235 + 154*b107*b236 + 1232*b107*b237 + 924*b107*b238 + 
     1078*b107*b239 + 770*b107*b240 + 308*b107*b241 + 1088*b108*b121 + 924*b108
     *b222 + 154*b108*b223 + 462*b108*b224 + 770*b108*b225 + 924*b108*b226 + 
     154*b108*b227 + 924*b108*b228 + 924*b108*b230 + 462*b108*b231 + 1232*b108*
     b232 + 308*b108*b233 + 616*b108*b234 + 1232*b108*b235 + 154*b108*b236 + 
     1386*b108*b237 + 924*b108*b238 + 1232*b108*b239 + 154*b108*b240 + 1386*
     b108*b241 + 952*b109*b121 + 924*b109*b222 + 1232*b109*b223 + 154*b109*b224
      + 154*b109*b225 + 1078*b109*b226 + 770*b109*b227 + 462*b109*b228 + 924*
     b109*b229 + 1232*b109*b231 + 308*b109*b232 + 1078*b109*b233 + 924*b109*
     b234 + 616*b109*b235 + 770*b109*b236 + 616*b109*b237 + 154*b109*b238 + 
     1078*b109*b239 + 462*b109*b240 + 1232*b109*b241 + 272*b110*b121 + 154*b110
     *b222 + 308*b110*b223 + 616*b110*b224 + 1386*b110*b225 + 462*b110*b226 + 
     1078*b110*b227 + 1386*b110*b228 + 462*b110*b229 + 1232*b110*b230 + 616*
     b110*b232 + 616*b110*b233 + 308*b110*b234 + 770*b110*b235 + 924*b110*b236
      + 616*b110*b237 + 1386*b110*b238 + 308*b110*b239 + 154*b110*b240 + 616*
     b110*b241 + 1224*b111*b121 + 154*b111*b222 + 1386*b111*b223 + 154*b111*
     b224 + 616*b111*b225 + 1386*b111*b226 + 924*b111*b227 + 462*b111*b228 + 
     1232*b111*b229 + 308*b111*b230 + 616*b111*b231 + 462*b111*b233 + 308*b111*
     b234 + 1232*b111*b235 + 1078*b111*b236 + 308*b111*b237 + 1232*b111*b238 + 
     1386*b111*b239 + 616*b111*b240 + 1232*b111*b241 + 1088*b112*b121 + 308*
     b112*b222 + 1232*b112*b223 + 1386*b112*b224 + 924*b112*b225 + 616*b112*
     b226 + 770*b112*b227 + 462*b112*b228 + 308*b112*b229 + 1078*b112*b230 + 
     616*b112*b231 + 462*b112*b232 + 616*b112*b234 + 462*b112*b235 + 462*b112*
     b236 + 1232*b112*b237 + 616*b112*b238 + 1232*b112*b239 + 616*b112*b240 + 
     1078*b112*b241 + 272*b113*b121 + 308*b113*b222 + 924*b113*b223 + 770*b113*
     b224 + 616*b113*b225 + 154*b113*b226 + 462*b113*b227 + 924*b113*b228 + 616
     *b113*b229 + 924*b113*b230 + 308*b113*b231 + 308*b113*b232 + 616*b113*b233
      + 1232*b113*b235 + 770*b113*b236 + 1386*b113*b237 + 1386*b113*b238 + 308*
     b113*b239 + 308*b113*b240 + 1078*b113*b241 + 1224*b114*b121 + 616*b114*
     b222 + 154*b114*b223 + 462*b114*b224 + 1078*b114*b225 + 1232*b114*b226 + 
     616*b114*b227 + 616*b114*b228 + 1232*b114*b229 + 616*b114*b230 + 770*b114*
     b231 + 1232*b114*b232 + 462*b114*b233 + 1232*b114*b234 + 154*b114*b236 + 
     308*b114*b237 + 1078*b114*b238 + 1386*b114*b239 + 1078*b114*b240 + 616*
     b114*b241 + 408*b115*b121 + 308*b115*b222 + 1386*b115*b223 + 462*b115*b224
      + 616*b115*b225 + 616*b115*b226 + 1386*b115*b227 + 154*b115*b228 + 154*
     b115*b229 + 770*b115*b230 + 924*b115*b231 + 1078*b115*b232 + 462*b115*b233
      + 770*b115*b234 + 154*b115*b235 + 154*b115*b237 + 154*b115*b238 + 462*
     b115*b239 + 924*b115*b240 + 462*b115*b241 + 544*b116*b121 + 1078*b116*b222
      + 308*b116*b223 + 1078*b116*b224 + 1386*b116*b225 + 1386*b116*b226 + 1232
     *b116*b227 + 1232*b116*b228 + 1386*b116*b229 + 616*b116*b230 + 616*b116*
     b231 + 308*b116*b232 + 1232*b116*b233 + 1386*b116*b234 + 308*b116*b235 + 
     154*b116*b236 + 616*b116*b238 + 616*b116*b239 + 462*b116*b240 + 1078*b116*
     b241 + 408*b117*b121 + 1232*b117*b222 + 924*b117*b223 + 462*b117*b224 + 
     924*b117*b225 + 154*b117*b226 + 154*b117*b227 + 924*b117*b228 + 924*b117*
     b229 + 154*b117*b230 + 1386*b117*b231 + 1232*b117*b232 + 616*b117*b233 + 
     1386*b117*b234 + 1078*b117*b235 + 154*b117*b236 + 616*b117*b237 + 462*b117
     *b239 + 770*b117*b240 + 154*b117*b241 + 1078*b118*b222 + 616*b118*b223 + 
     924*b118*b224 + 462*b118*b225 + 1078*b118*b226 + 154*b118*b227 + 1078*b118
     *b228 + 1232*b118*b229 + 1078*b118*b230 + 308*b118*b231 + 1386*b118*b232
      + 1232*b118*b233 + 308*b118*b234 + 1386*b118*b235 + 462*b118*b236 + 616*
     b118*b237 + 462*b118*b238 + 616*b118*b240 + 1078*b118*b241 + 544*b119*b121
      + 154*b119*b222 + 1078*b119*b223 + 1386*b119*b224 + 1232*b119*b225 + 1078
     *b119*b226 + 924*b119*b227 + 770*b119*b228 + 154*b119*b229 + 462*b119*b230
      + 154*b119*b231 + 616*b119*b232 + 616*b119*b233 + 308*b119*b234 + 1078*
     b119*b235 + 924*b119*b236 + 462*b119*b237 + 770*b119*b238 + 616*b119*b239
      + 1232*b119*b241 + 36*b139*b242 + 12*b139*b243 + 108*b139*b244 + 108*b139
     *b245 + 84*b139*b246 + 12*b139*b247 + 72*b139*b248 + 72*b139*b249 + 12*
     b139*b250 + 12*b139*b251 + 24*b139*b252 + 24*b139*b253 + 48*b139*b254 + 24
     *b139*b255 + 84*b139*b256 + 96*b139*b257 + 84*b139*b258 + 12*b139*b259 + 
     60*b139*b260 + 108*b140*b243 + 108*b140*b244 + 72*b140*b245 + 108*b140*
     b246 + 48*b140*b247 + 12*b140*b248 + 96*b140*b249 + 24*b140*b250 + 108*
     b140*b251 + 96*b140*b252 + 72*b140*b253 + 12*b140*b254 + 108*b140*b255 + 
     24*b140*b256 + 72*b140*b257 + 48*b140*b258 + 84*b140*b259 + 84*b140*b260
      + 36*b140*b261 + 108*b141*b242 + 84*b141*b244 + 72*b141*b245 + 108*b141*
     b246 + 24*b141*b247 + 36*b141*b248 + 12*b141*b249 + 48*b141*b250 + 12*b141
     *b251 + 108*b141*b252 + 60*b141*b253 + 36*b141*b254 + 36*b141*b255 + 84*
     b141*b256 + 36*b141*b257 + 72*b141*b258 + 108*b141*b259 + 108*b141*b260 + 
     12*b141*b261 + 108*b142*b242 + 84*b142*b243 + 36*b142*b245 + 84*b142*b246
      + 36*b142*b247 + 60*b142*b248 + 12*b142*b249 + 108*b142*b250 + 48*b142*
     b251 + 72*b142*b252 + 48*b142*b253 + 84*b142*b254 + 48*b142*b255 + 108*
     b142*b256 + 72*b142*b257 + 36*b142*b258 + 96*b142*b259 + 12*b142*b260 + 
     108*b142*b261 + 72*b143*b242 + 72*b143*b243 + 36*b143*b244 + 84*b143*b246
      + 12*b143*b247 + 72*b143*b248 + 84*b143*b249 + 36*b143*b250 + 108*b143*
     b251 + 48*b143*b252 + 12*b143*b253 + 96*b143*b254 + 48*b143*b255 + 108*
     b143*b256 + 12*b143*b257 + 84*b143*b258 + 84*b143*b259 + 72*b143*b260 + 
     108*b143*b261 + 108*b144*b242 + 108*b144*b243 + 84*b144*b244 + 84*b144*
     b245 + 72*b144*b247 + 12*b144*b248 + 60*b144*b249 + 84*b144*b250 + 72*b144
     *b251 + 60*b144*b252 + 36*b144*b253 + 48*b144*b254 + 108*b144*b255 + 96*
     b144*b256 + 12*b144*b257 + 12*b144*b258 + 72*b144*b259 + 36*b144*b260 + 84
     *b144*b261 + 48*b145*b242 + 24*b145*b243 + 36*b145*b244 + 12*b145*b245 + 
     72*b145*b246 + 72*b145*b248 + 36*b145*b249 + 108*b145*b250 + 36*b145*b251
      + 36*b145*b252 + 72*b145*b253 + 48*b145*b254 + 12*b145*b255 + 96*b145*
     b256 + 72*b145*b257 + 84*b145*b258 + 60*b145*b259 + 24*b145*b260 + 12*b145
     *b261 + 12*b146*b242 + 36*b146*b243 + 60*b146*b244 + 72*b146*b245 + 12*
     b146*b246 + 72*b146*b247 + 72*b146*b249 + 36*b146*b250 + 96*b146*b251 + 24
     *b146*b252 + 48*b146*b253 + 96*b146*b254 + 12*b146*b255 + 108*b146*b256 + 
     72*b146*b257 + 96*b146*b258 + 12*b146*b259 + 108*b146*b260 + 72*b146*b261
      + 96*b147*b242 + 12*b147*b243 + 12*b147*b244 + 84*b147*b245 + 60*b147*
     b246 + 36*b147*b247 + 72*b147*b248 + 96*b147*b250 + 24*b147*b251 + 84*b147
     *b252 + 72*b147*b253 + 48*b147*b254 + 60*b147*b255 + 48*b147*b256 + 12*
     b147*b257 + 84*b147*b258 + 36*b147*b259 + 96*b147*b260 + 72*b147*b261 + 24
     *b148*b242 + 48*b148*b243 + 108*b148*b244 + 36*b148*b245 + 84*b148*b246 + 
     108*b148*b247 + 36*b148*b248 + 96*b148*b249 + 48*b148*b251 + 48*b148*b252
      + 24*b148*b253 + 60*b148*b254 + 72*b148*b255 + 48*b148*b256 + 108*b148*
     b257 + 24*b148*b258 + 12*b148*b259 + 48*b148*b260 + 12*b148*b261 + 108*
     b149*b242 + 12*b149*b243 + 48*b149*b244 + 108*b149*b245 + 72*b149*b246 + 
     36*b149*b247 + 96*b149*b248 + 24*b149*b249 + 48*b149*b250 + 36*b149*b252
      + 24*b149*b253 + 96*b149*b254 + 84*b149*b255 + 24*b149*b256 + 96*b149*
     b257 + 108*b149*b258 + 48*b149*b259 + 96*b149*b260 + 12*b149*b261 + 96*
     b150*b242 + 108*b150*b243 + 72*b150*b244 + 48*b150*b245 + 60*b150*b246 + 
     36*b150*b247 + 24*b150*b248 + 84*b150*b249 + 48*b150*b250 + 36*b150*b251
      + 48*b150*b253 + 36*b150*b254 + 36*b150*b255 + 96*b150*b256 + 48*b150*
     b257 + 96*b150*b258 + 48*b150*b259 + 84*b150*b260 + 24*b150*b261 + 72*b151
     *b242 + 60*b151*b243 + 48*b151*b244 + 12*b151*b245 + 36*b151*b246 + 72*
     b151*b247 + 48*b151*b248 + 72*b151*b249 + 24*b151*b250 + 24*b151*b251 + 48
     *b151*b252 + 96*b151*b254 + 60*b151*b255 + 108*b151*b256 + 108*b151*b257
      + 24*b151*b258 + 24*b151*b259 + 84*b151*b260 + 24*b151*b261 + 12*b152*
     b242 + 36*b152*b243 + 84*b152*b244 + 96*b152*b245 + 48*b152*b246 + 48*b152
     *b247 + 96*b152*b248 + 48*b152*b249 + 60*b152*b250 + 96*b152*b251 + 36*
     b152*b252 + 96*b152*b253 + 12*b152*b255 + 24*b152*b256 + 84*b152*b257 + 
     108*b152*b258 + 84*b152*b259 + 48*b152*b260 + 48*b152*b261 + 108*b153*b242
      + 36*b153*b243 + 48*b153*b244 + 48*b153*b245 + 108*b153*b246 + 12*b153*
     b247 + 12*b153*b248 + 60*b153*b249 + 72*b153*b250 + 84*b153*b251 + 36*b153
     *b252 + 60*b153*b253 + 12*b153*b254 + 12*b153*b256 + 12*b153*b257 + 36*
     b153*b258 + 72*b153*b259 + 36*b153*b260 + 24*b153*b261 + 24*b154*b242 + 84
     *b154*b243 + 108*b154*b244 + 108*b154*b245 + 96*b154*b246 + 96*b154*b247
      + 108*b154*b248 + 48*b154*b249 + 48*b154*b250 + 24*b154*b251 + 96*b154*
     b252 + 108*b154*b253 + 24*b154*b254 + 12*b154*b255 + 48*b154*b257 + 48*
     b154*b258 + 36*b154*b259 + 84*b154*b260 + 84*b154*b261 + 72*b155*b242 + 36
     *b155*b243 + 72*b155*b244 + 12*b155*b245 + 12*b155*b246 + 72*b155*b247 + 
     72*b155*b248 + 12*b155*b249 + 108*b155*b250 + 96*b155*b251 + 48*b155*b252
      + 108*b155*b253 + 84*b155*b254 + 12*b155*b255 + 48*b155*b256 + 36*b155*
     b258 + 60*b155*b259 + 12*b155*b260 + 96*b155*b261 + 450*b156*b262 + 150*
     b156*b263 + 1350*b156*b264 + 1350*b156*b265 + 1050*b156*b266 + 150*b156*
     b267 + 900*b156*b268 + 900*b156*b269 + 150*b156*b270 + 150*b156*b271 + 300
     *b156*b272 + 300*b156*b273 + 600*b156*b274 + 300*b156*b275 + 1050*b156*
     b276 + 1200*b156*b277 + 1050*b156*b278 + 150*b156*b279 + 750*b156*b280 + 
     1350*b157*b263 + 1350*b157*b264 + 900*b157*b265 + 1350*b157*b266 + 600*
     b157*b267 + 150*b157*b268 + 1200*b157*b269 + 300*b157*b270 + 1350*b157*
     b271 + 1200*b157*b272 + 900*b157*b273 + 150*b157*b274 + 1350*b157*b275 + 
     300*b157*b276 + 900*b157*b277 + 600*b157*b278 + 1050*b157*b279 + 1050*b157
     *b280 + 450*b157*b281 + 1350*b158*b262 + 1050*b158*b264 + 900*b158*b265 + 
     1350*b158*b266 + 300*b158*b267 + 450*b158*b268 + 150*b158*b269 + 600*b158*
     b270 + 150*b158*b271 + 1350*b158*b272 + 750*b158*b273 + 450*b158*b274 + 
     450*b158*b275 + 1050*b158*b276 + 450*b158*b277 + 900*b158*b278 + 1350*b158
     *b279 + 1350*b158*b280 + 150*b158*b281 + 1350*b159*b262 + 1050*b159*b263
      + 450*b159*b265 + 1050*b159*b266 + 450*b159*b267 + 750*b159*b268 + 150*
     b159*b269 + 1350*b159*b270 + 600*b159*b271 + 900*b159*b272 + 600*b159*b273
      + 1050*b159*b274 + 600*b159*b275 + 1350*b159*b276 + 900*b159*b277 + 450*
     b159*b278 + 1200*b159*b279 + 150*b159*b280 + 1350*b159*b281 + 900*b160*
     b262 + 900*b160*b263 + 450*b160*b264 + 1050*b160*b266 + 150*b160*b267 + 
     900*b160*b268 + 1050*b160*b269 + 450*b160*b270 + 1350*b160*b271 + 600*b160
     *b272 + 150*b160*b273 + 1200*b160*b274 + 600*b160*b275 + 1350*b160*b276 + 
     150*b160*b277 + 1050*b160*b278 + 1050*b160*b279 + 900*b160*b280 + 1350*
     b160*b281 + 1350*b161*b262 + 1350*b161*b263 + 1050*b161*b264 + 1050*b161*
     b265 + 900*b161*b267 + 150*b161*b268 + 750*b161*b269 + 1050*b161*b270 + 
     900*b161*b271 + 750*b161*b272 + 450*b161*b273 + 600*b161*b274 + 1350*b161*
     b275 + 1200*b161*b276 + 150*b161*b277 + 150*b161*b278 + 900*b161*b279 + 
     450*b161*b280 + 1050*b161*b281 + 600*b162*b262 + 300*b162*b263 + 450*b162*
     b264 + 150*b162*b265 + 900*b162*b266 + 900*b162*b268 + 450*b162*b269 + 
     1350*b162*b270 + 450*b162*b271 + 450*b162*b272 + 900*b162*b273 + 600*b162*
     b274 + 150*b162*b275 + 1200*b162*b276 + 900*b162*b277 + 1050*b162*b278 + 
     750*b162*b279 + 300*b162*b280 + 150*b162*b281 + 150*b163*b262 + 450*b163*
     b263 + 750*b163*b264 + 900*b163*b265 + 150*b163*b266 + 900*b163*b267 + 900
     *b163*b269 + 450*b163*b270 + 1200*b163*b271 + 300*b163*b272 + 600*b163*
     b273 + 1200*b163*b274 + 150*b163*b275 + 1350*b163*b276 + 900*b163*b277 + 
     1200*b163*b278 + 150*b163*b279 + 1350*b163*b280 + 900*b163*b281 + 1200*
     b164*b262 + 150*b164*b263 + 150*b164*b264 + 1050*b164*b265 + 750*b164*b266
      + 450*b164*b267 + 900*b164*b268 + 1200*b164*b270 + 300*b164*b271 + 1050*
     b164*b272 + 900*b164*b273 + 600*b164*b274 + 750*b164*b275 + 600*b164*b276
      + 150*b164*b277 + 1050*b164*b278 + 450*b164*b279 + 1200*b164*b280 + 900*
     b164*b281 + 300*b165*b262 + 600*b165*b263 + 1350*b165*b264 + 450*b165*b265
      + 1050*b165*b266 + 1350*b165*b267 + 450*b165*b268 + 1200*b165*b269 + 600*
     b165*b271 + 600*b165*b272 + 300*b165*b273 + 750*b165*b274 + 900*b165*b275
      + 600*b165*b276 + 1350*b165*b277 + 300*b165*b278 + 150*b165*b279 + 600*
     b165*b280 + 150*b165*b281 + 1350*b166*b262 + 150*b166*b263 + 600*b166*b264
      + 1350*b166*b265 + 900*b166*b266 + 450*b166*b267 + 1200*b166*b268 + 300*
     b166*b269 + 600*b166*b270 + 450*b166*b272 + 300*b166*b273 + 1200*b166*b274
      + 1050*b166*b275 + 300*b166*b276 + 1200*b166*b277 + 1350*b166*b278 + 600*
     b166*b279 + 1200*b166*b280 + 150*b166*b281 + 1200*b167*b262 + 1350*b167*
     b263 + 900*b167*b264 + 600*b167*b265 + 750*b167*b266 + 450*b167*b267 + 300
     *b167*b268 + 1050*b167*b269 + 600*b167*b270 + 450*b167*b271 + 600*b167*
     b273 + 450*b167*b274 + 450*b167*b275 + 1200*b167*b276 + 600*b167*b277 + 
     1200*b167*b278 + 600*b167*b279 + 1050*b167*b280 + 300*b167*b281 + 900*b168
     *b262 + 750*b168*b263 + 600*b168*b264 + 150*b168*b265 + 450*b168*b266 + 
     900*b168*b267 + 600*b168*b268 + 900*b168*b269 + 300*b168*b270 + 300*b168*
     b271 + 600*b168*b272 + 1200*b168*b274 + 750*b168*b275 + 1350*b168*b276 + 
     1350*b168*b277 + 300*b168*b278 + 300*b168*b279 + 1050*b168*b280 + 300*b168
     *b281 + 150*b169*b262 + 450*b169*b263 + 1050*b169*b264 + 1200*b169*b265 + 
     600*b169*b266 + 600*b169*b267 + 1200*b169*b268 + 600*b169*b269 + 750*b169*
     b270 + 1200*b169*b271 + 450*b169*b272 + 1200*b169*b273 + 150*b169*b275 + 
     300*b169*b276 + 1050*b169*b277 + 1350*b169*b278 + 1050*b169*b279 + 600*
     b169*b280 + 600*b169*b281 + 1350*b170*b262 + 450*b170*b263 + 600*b170*b264
      + 600*b170*b265 + 1350*b170*b266 + 150*b170*b267 + 150*b170*b268 + 750*
     b170*b269 + 900*b170*b270 + 1050*b170*b271 + 450*b170*b272 + 750*b170*b273
      + 150*b170*b274 + 150*b170*b276 + 150*b170*b277 + 450*b170*b278 + 900*
     b170*b279 + 450*b170*b280 + 300*b170*b281 + 300*b171*b262 + 1050*b171*b263
      + 1350*b171*b264 + 1350*b171*b265 + 1200*b171*b266 + 1200*b171*b267 + 
     1350*b171*b268 + 600*b171*b269 + 600*b171*b270 + 300*b171*b271 + 1200*b171
     *b272 + 1350*b171*b273 + 300*b171*b274 + 150*b171*b275 + 600*b171*b277 + 
     600*b171*b278 + 450*b171*b279 + 1050*b171*b280 + 1050*b171*b281 + 900*b172
     *b262 + 450*b172*b263 + 900*b172*b264 + 150*b172*b265 + 150*b172*b266 + 
     900*b172*b267 + 900*b172*b268 + 150*b172*b269 + 1350*b172*b270 + 1200*b172
     *b271 + 600*b172*b272 + 1350*b172*b273 + 1050*b172*b274 + 150*b172*b275 + 
     600*b172*b276 + 450*b172*b278 + 750*b172*b279 + 150*b172*b280 + 1200*b172*
     b281 + 438*b173*b282 + 146*b173*b283 + 1314*b173*b284 + 1314*b173*b285 + 
     1022*b173*b286 + 146*b173*b287 + 876*b173*b288 + 876*b173*b289 + 146*b173*
     b290 + 146*b173*b291 + 292*b173*b292 + 292*b173*b293 + 584*b173*b294 + 292
     *b173*b295 + 1022*b173*b296 + 1168*b173*b297 + 312*b173*b298 + 104*b173*
     b299 + 936*b173*b300 + 936*b173*b301 + 728*b173*b302 + 104*b173*b303 + 624
     *b173*b304 + 624*b173*b305 + 104*b173*b306 + 104*b173*b307 + 208*b173*b308
      + 208*b173*b309 + 416*b173*b310 + 208*b173*b311 + 728*b173*b312 + 832*
     b173*b313 + 1022*b173*b314 + 728*b173*b315 + 146*b173*b316 + 104*b173*b317
      + 730*b173*b318 + 520*b173*b319 + 1314*b174*b283 + 1314*b174*b284 + 876*
     b174*b285 + 1314*b174*b286 + 584*b174*b287 + 146*b174*b288 + 1168*b174*
     b289 + 292*b174*b290 + 1314*b174*b291 + 1168*b174*b292 + 876*b174*b293 + 
     146*b174*b294 + 1314*b174*b295 + 292*b174*b296 + 876*b174*b297 + 936*b174*
     b299 + 936*b174*b300 + 624*b174*b301 + 936*b174*b302 + 416*b174*b303 + 104
     *b174*b304 + 832*b174*b305 + 208*b174*b306 + 936*b174*b307 + 832*b174*b308
      + 624*b174*b309 + 104*b174*b310 + 936*b174*b311 + 208*b174*b312 + 624*
     b174*b313 + 584*b174*b314 + 416*b174*b315 + 1022*b174*b316 + 728*b174*b317
      + 1022*b174*b318 + 728*b174*b319 + 438*b174*b320 + 312*b174*b321 + 1314*
     b175*b282 + 1022*b175*b284 + 876*b175*b285 + 1314*b175*b286 + 292*b175*
     b287 + 438*b175*b288 + 146*b175*b289 + 584*b175*b290 + 146*b175*b291 + 
     1314*b175*b292 + 730*b175*b293 + 438*b175*b294 + 438*b175*b295 + 1022*b175
     *b296 + 438*b175*b297 + 936*b175*b298 + 728*b175*b300 + 624*b175*b301 + 
     936*b175*b302 + 208*b175*b303 + 312*b175*b304 + 104*b175*b305 + 416*b175*
     b306 + 104*b175*b307 + 936*b175*b308 + 520*b175*b309 + 312*b175*b310 + 312
     *b175*b311 + 728*b175*b312 + 312*b175*b313 + 876*b175*b314 + 624*b175*b315
      + 1314*b175*b316 + 936*b175*b317 + 1314*b175*b318 + 936*b175*b319 + 146*
     b175*b320 + 104*b175*b321 + 1314*b176*b282 + 1022*b176*b283 + 438*b176*
     b285 + 1022*b176*b286 + 438*b176*b287 + 730*b176*b288 + 146*b176*b289 + 
     1314*b176*b290 + 584*b176*b291 + 876*b176*b292 + 584*b176*b293 + 1022*b176
     *b294 + 584*b176*b295 + 1314*b176*b296 + 876*b176*b297 + 936*b176*b298 + 
     728*b176*b299 + 312*b176*b301 + 728*b176*b302 + 312*b176*b303 + 520*b176*
     b304 + 104*b176*b305 + 936*b176*b306 + 416*b176*b307 + 624*b176*b308 + 416
     *b176*b309 + 728*b176*b310 + 416*b176*b311 + 936*b176*b312 + 624*b176*b313
      + 438*b176*b314 + 312*b176*b315 + 1168*b176*b316 + 832*b176*b317 + 146*
     b176*b318 + 104*b176*b319 + 1314*b176*b320 + 936*b176*b321 + 876*b177*b282
      + 876*b177*b283 + 438*b177*b284 + 1022*b177*b286 + 146*b177*b287 + 876*
     b177*b288 + 1022*b177*b289 + 438*b177*b290 + 1314*b177*b291 + 584*b177*
     b292 + 146*b177*b293 + 1168*b177*b294 + 584*b177*b295 + 1314*b177*b296 + 
     146*b177*b297 + 624*b177*b298 + 624*b177*b299 + 312*b177*b300 + 728*b177*
     b302 + 104*b177*b303 + 624*b177*b304 + 728*b177*b305 + 312*b177*b306 + 936
     *b177*b307 + 416*b177*b308 + 104*b177*b309 + 832*b177*b310 + 416*b177*b311
      + 936*b177*b312 + 104*b177*b313 + 1022*b177*b314 + 728*b177*b315 + 1022*
     b177*b316 + 728*b177*b317 + 876*b177*b318 + 624*b177*b319 + 1314*b177*b320
      + 936*b177*b321 + 1314*b178*b282 + 1314*b178*b283 + 1022*b178*b284 + 1022
     *b178*b285 + 876*b178*b287 + 146*b178*b288 + 730*b178*b289 + 1022*b178*
     b290 + 876*b178*b291 + 730*b178*b292 + 438*b178*b293 + 584*b178*b294 + 
     1314*b178*b295 + 1168*b178*b296 + 146*b178*b297 + 936*b178*b298 + 936*b178
     *b299 + 728*b178*b300 + 728*b178*b301 + 624*b178*b303 + 104*b178*b304 + 
     520*b178*b305 + 728*b178*b306 + 624*b178*b307 + 520*b178*b308 + 312*b178*
     b309 + 416*b178*b310 + 936*b178*b311 + 832*b178*b312 + 104*b178*b313 + 146
     *b178*b314 + 104*b178*b315 + 876*b178*b316 + 624*b178*b317 + 438*b178*b318
      + 312*b178*b319 + 1022*b178*b320 + 728*b178*b321 + 584*b179*b282 + 292*
     b179*b283 + 438*b179*b284 + 146*b179*b285 + 876*b179*b286 + 876*b179*b288
      + 438*b179*b289 + 1314*b179*b290 + 438*b179*b291 + 438*b179*b292 + 876*
     b179*b293 + 584*b179*b294 + 146*b179*b295 + 1168*b179*b296 + 876*b179*b297
      + 416*b179*b298 + 208*b179*b299 + 312*b179*b300 + 104*b179*b301 + 624*
     b179*b302 + 624*b179*b304 + 312*b179*b305 + 936*b179*b306 + 312*b179*b307
      + 312*b179*b308 + 624*b179*b309 + 416*b179*b310 + 104*b179*b311 + 832*
     b179*b312 + 624*b179*b313 + 1022*b179*b314 + 728*b179*b315 + 730*b179*b316
      + 520*b179*b317 + 292*b179*b318 + 208*b179*b319 + 146*b179*b320 + 104*
     b179*b321 + 146*b180*b282 + 438*b180*b283 + 730*b180*b284 + 876*b180*b285
      + 146*b180*b286 + 876*b180*b287 + 876*b180*b289 + 438*b180*b290 + 1168*
     b180*b291 + 292*b180*b292 + 584*b180*b293 + 1168*b180*b294 + 146*b180*b295
      + 1314*b180*b296 + 876*b180*b297 + 104*b180*b298 + 312*b180*b299 + 520*
     b180*b300 + 624*b180*b301 + 104*b180*b302 + 624*b180*b303 + 624*b180*b305
      + 312*b180*b306 + 832*b180*b307 + 208*b180*b308 + 416*b180*b309 + 832*
     b180*b310 + 104*b180*b311 + 936*b180*b312 + 624*b180*b313 + 1168*b180*b314
      + 832*b180*b315 + 146*b180*b316 + 104*b180*b317 + 1314*b180*b318 + 936*
     b180*b319 + 876*b180*b320 + 624*b180*b321 + 1168*b181*b282 + 146*b181*b283
      + 146*b181*b284 + 1022*b181*b285 + 730*b181*b286 + 438*b181*b287 + 876*
     b181*b288 + 1168*b181*b290 + 292*b181*b291 + 1022*b181*b292 + 876*b181*
     b293 + 584*b181*b294 + 730*b181*b295 + 584*b181*b296 + 146*b181*b297 + 832
     *b181*b298 + 104*b181*b299 + 104*b181*b300 + 728*b181*b301 + 520*b181*b302
      + 312*b181*b303 + 624*b181*b304 + 832*b181*b306 + 208*b181*b307 + 728*
     b181*b308 + 624*b181*b309 + 416*b181*b310 + 520*b181*b311 + 416*b181*b312
      + 104*b181*b313 + 1022*b181*b314 + 728*b181*b315 + 438*b181*b316 + 312*
     b181*b317 + 1168*b181*b318 + 832*b181*b319 + 876*b181*b320 + 624*b181*b321
      + 292*b182*b282 + 584*b182*b283 + 1314*b182*b284 + 438*b182*b285 + 1022*
     b182*b286 + 1314*b182*b287 + 438*b182*b288 + 1168*b182*b289 + 584*b182*
     b291 + 584*b182*b292 + 292*b182*b293 + 730*b182*b294 + 876*b182*b295 + 584
     *b182*b296 + 1314*b182*b297 + 208*b182*b298 + 416*b182*b299 + 936*b182*
     b300 + 312*b182*b301 + 728*b182*b302 + 936*b182*b303 + 312*b182*b304 + 832
     *b182*b305 + 416*b182*b307 + 416*b182*b308 + 208*b182*b309 + 520*b182*b310
      + 624*b182*b311 + 416*b182*b312 + 936*b182*b313 + 292*b182*b314 + 208*
     b182*b315 + 146*b182*b316 + 104*b182*b317 + 584*b182*b318 + 416*b182*b319
      + 146*b182*b320 + 104*b182*b321 + 1314*b183*b282 + 146*b183*b283 + 584*
     b183*b284 + 1314*b183*b285 + 876*b183*b286 + 438*b183*b287 + 1168*b183*
     b288 + 292*b183*b289 + 584*b183*b290 + 438*b183*b292 + 292*b183*b293 + 
     1168*b183*b294 + 1022*b183*b295 + 292*b183*b296 + 1168*b183*b297 + 936*
     b183*b298 + 104*b183*b299 + 416*b183*b300 + 936*b183*b301 + 624*b183*b302
      + 312*b183*b303 + 832*b183*b304 + 208*b183*b305 + 416*b183*b306 + 312*
     b183*b308 + 208*b183*b309 + 832*b183*b310 + 728*b183*b311 + 208*b183*b312
      + 832*b183*b313 + 1314*b183*b314 + 936*b183*b315 + 584*b183*b316 + 416*
     b183*b317 + 1168*b183*b318 + 832*b183*b319 + 146*b183*b320 + 104*b183*b321
      + 1168*b184*b282 + 1314*b184*b283 + 876*b184*b284 + 584*b184*b285 + 730*
     b184*b286 + 438*b184*b287 + 292*b184*b288 + 1022*b184*b289 + 584*b184*b290
      + 438*b184*b291 + 584*b184*b293 + 438*b184*b294 + 438*b184*b295 + 1168*
     b184*b296 + 584*b184*b297 + 832*b184*b298 + 936*b184*b299 + 624*b184*b300
      + 416*b184*b301 + 520*b184*b302 + 312*b184*b303 + 208*b184*b304 + 728*
     b184*b305 + 416*b184*b306 + 312*b184*b307 + 416*b184*b309 + 312*b184*b310
      + 312*b184*b311 + 832*b184*b312 + 416*b184*b313 + 1168*b184*b314 + 832*
     b184*b315 + 584*b184*b316 + 416*b184*b317 + 1022*b184*b318 + 728*b184*b319
      + 292*b184*b320 + 208*b184*b321 + 876*b185*b282 + 730*b185*b283 + 584*
     b185*b284 + 146*b185*b285 + 438*b185*b286 + 876*b185*b287 + 584*b185*b288
      + 876*b185*b289 + 292*b185*b290 + 292*b185*b291 + 584*b185*b292 + 1168*
     b185*b294 + 730*b185*b295 + 1314*b185*b296 + 1314*b185*b297 + 624*b185*
     b298 + 520*b185*b299 + 416*b185*b300 + 104*b185*b301 + 312*b185*b302 + 624
     *b185*b303 + 416*b185*b304 + 624*b185*b305 + 208*b185*b306 + 208*b185*b307
      + 416*b185*b308 + 832*b185*b310 + 520*b185*b311 + 936*b185*b312 + 936*
     b185*b313 + 292*b185*b314 + 208*b185*b315 + 292*b185*b316 + 208*b185*b317
      + 1022*b185*b318 + 728*b185*b319 + 292*b185*b320 + 208*b185*b321 + 146*
     b186*b282 + 438*b186*b283 + 1022*b186*b284 + 1168*b186*b285 + 584*b186*
     b286 + 584*b186*b287 + 1168*b186*b288 + 584*b186*b289 + 730*b186*b290 + 
     1168*b186*b291 + 438*b186*b292 + 1168*b186*b293 + 146*b186*b295 + 292*b186
     *b296 + 1022*b186*b297 + 104*b186*b298 + 312*b186*b299 + 728*b186*b300 + 
     832*b186*b301 + 416*b186*b302 + 416*b186*b303 + 832*b186*b304 + 416*b186*
     b305 + 520*b186*b306 + 832*b186*b307 + 312*b186*b308 + 832*b186*b309 + 104
     *b186*b311 + 208*b186*b312 + 728*b186*b313 + 1314*b186*b314 + 936*b186*
     b315 + 1022*b186*b316 + 728*b186*b317 + 584*b186*b318 + 416*b186*b319 + 
     584*b186*b320 + 416*b186*b321 + 1314*b187*b282 + 438*b187*b283 + 584*b187*
     b284 + 584*b187*b285 + 1314*b187*b286 + 146*b187*b287 + 146*b187*b288 + 
     730*b187*b289 + 876*b187*b290 + 1022*b187*b291 + 438*b187*b292 + 730*b187*
     b293 + 146*b187*b294 + 146*b187*b296 + 146*b187*b297 + 936*b187*b298 + 312
     *b187*b299 + 416*b187*b300 + 416*b187*b301 + 936*b187*b302 + 104*b187*b303
      + 104*b187*b304 + 520*b187*b305 + 624*b187*b306 + 728*b187*b307 + 312*
     b187*b308 + 520*b187*b309 + 104*b187*b310 + 104*b187*b312 + 104*b187*b313
      + 438*b187*b314 + 312*b187*b315 + 876*b187*b316 + 624*b187*b317 + 438*
     b187*b318 + 312*b187*b319 + 292*b187*b320 + 208*b187*b321 + 292*b188*b282
      + 1022*b188*b283 + 1314*b188*b284 + 1314*b188*b285 + 1168*b188*b286 + 
     1168*b188*b287 + 1314*b188*b288 + 584*b188*b289 + 584*b188*b290 + 292*b188
     *b291 + 1168*b188*b292 + 1314*b188*b293 + 292*b188*b294 + 146*b188*b295 + 
     584*b188*b297 + 208*b188*b298 + 728*b188*b299 + 936*b188*b300 + 936*b188*
     b301 + 832*b188*b302 + 832*b188*b303 + 936*b188*b304 + 416*b188*b305 + 416
     *b188*b306 + 208*b188*b307 + 832*b188*b308 + 936*b188*b309 + 208*b188*b310
      + 104*b188*b311 + 416*b188*b313 + 584*b188*b314 + 416*b188*b315 + 438*
     b188*b316 + 312*b188*b317 + 1022*b188*b318 + 728*b188*b319 + 1022*b188*
     b320 + 728*b188*b321 + 876*b189*b282 + 438*b189*b283 + 876*b189*b284 + 146
     *b189*b285 + 146*b189*b286 + 876*b189*b287 + 876*b189*b288 + 146*b189*b289
      + 1314*b189*b290 + 1168*b189*b291 + 584*b189*b292 + 1314*b189*b293 + 1022
     *b189*b294 + 146*b189*b295 + 584*b189*b296 + 624*b189*b298 + 312*b189*b299
      + 624*b189*b300 + 104*b189*b301 + 104*b189*b302 + 624*b189*b303 + 624*
     b189*b304 + 104*b189*b305 + 936*b189*b306 + 832*b189*b307 + 416*b189*b308
      + 936*b189*b309 + 728*b189*b310 + 104*b189*b311 + 416*b189*b312 + 438*
     b189*b314 + 312*b189*b315 + 730*b189*b316 + 520*b189*b317 + 146*b189*b318
      + 104*b189*b319 + 1168*b189*b320 + 832*b189*b321 + 48*b191*b242 + 72*b191
     *b243 + 36*b191*b244 + 84*b191*b245 + 12*b191*b246 + 84*b191*b247 + 96*
     b191*b248 + 84*b191*b249 + 24*b191*b250 + 108*b191*b251 + 96*b191*b252 + 
     24*b191*b253 + 108*b191*b254 + 36*b191*b255 + 48*b191*b256 + 36*b191*b257
      + 48*b191*b259 + 84*b191*b260 + 84*b191*b261 + 600*b192*b262 + 900*b192*
     b263 + 450*b192*b264 + 1050*b192*b265 + 150*b192*b266 + 1050*b192*b267 + 
     1200*b192*b268 + 1050*b192*b269 + 300*b192*b270 + 1350*b192*b271 + 1200*
     b192*b272 + 300*b192*b273 + 1350*b192*b274 + 450*b192*b275 + 600*b192*b276
      + 450*b192*b277 + 600*b192*b279 + 1050*b192*b280 + 1050*b192*b281 + 584*
     b193*b282 + 876*b193*b283 + 438*b193*b284 + 1022*b193*b285 + 146*b193*b286
      + 1022*b193*b287 + 1168*b193*b288 + 1022*b193*b289 + 292*b193*b290 + 1314
     *b193*b291 + 1168*b193*b292 + 292*b193*b293 + 1314*b193*b294 + 438*b193*
     b295 + 584*b193*b296 + 438*b193*b297 + 416*b193*b298 + 624*b193*b299 + 312
     *b193*b300 + 728*b193*b301 + 104*b193*b302 + 728*b193*b303 + 832*b193*b304
      + 728*b193*b305 + 208*b193*b306 + 936*b193*b307 + 832*b193*b308 + 208*
     b193*b309 + 936*b193*b310 + 312*b193*b311 + 416*b193*b312 + 312*b193*b313
      + 584*b193*b316 + 416*b193*b317 + 1022*b193*b318 + 728*b193*b319 + 1022*
     b193*b320 + 728*b193*b321 + 84*b195*b242 + 108*b195*b243 + 96*b195*b244 + 
     84*b195*b245 + 72*b195*b246 + 60*b195*b247 + 12*b195*b248 + 36*b195*b249
      + 12*b195*b250 + 48*b195*b251 + 48*b195*b252 + 24*b195*b253 + 84*b195*
     b254 + 72*b195*b255 + 36*b195*b256 + 60*b195*b257 + 48*b195*b258 + 96*b195
     *b260 + 12*b195*b261 + 1050*b196*b262 + 1350*b196*b263 + 1200*b196*b264 + 
     1050*b196*b265 + 900*b196*b266 + 750*b196*b267 + 150*b196*b268 + 450*b196*
     b269 + 150*b196*b270 + 600*b196*b271 + 600*b196*b272 + 300*b196*b273 + 
     1050*b196*b274 + 900*b196*b275 + 450*b196*b276 + 750*b196*b277 + 600*b196*
     b278 + 1200*b196*b280 + 150*b196*b281 + 1022*b197*b282 + 1314*b197*b283 + 
     1168*b197*b284 + 1022*b197*b285 + 876*b197*b286 + 730*b197*b287 + 146*b197
     *b288 + 438*b197*b289 + 146*b197*b290 + 584*b197*b291 + 584*b197*b292 + 
     292*b197*b293 + 1022*b197*b294 + 876*b197*b295 + 438*b197*b296 + 730*b197*
     b297 + 728*b197*b298 + 936*b197*b299 + 832*b197*b300 + 728*b197*b301 + 624
     *b197*b302 + 520*b197*b303 + 104*b197*b304 + 312*b197*b305 + 104*b197*b306
      + 416*b197*b307 + 416*b197*b308 + 208*b197*b309 + 728*b197*b310 + 624*
     b197*b311 + 312*b197*b312 + 520*b197*b313 + 584*b197*b314 + 416*b197*b315
      + 1168*b197*b318 + 832*b197*b319 + 146*b197*b320 + 104*b197*b321 + 84*
     b199*b242 + 108*b199*b243 + 12*b199*b244 + 72*b199*b245 + 36*b199*b246 + 
     24*b199*b247 + 108*b199*b248 + 96*b199*b249 + 48*b199*b250 + 96*b199*b251
      + 84*b199*b252 + 84*b199*b253 + 48*b199*b254 + 36*b199*b255 + 84*b199*
     b256 + 12*b199*b257 + 84*b199*b258 + 96*b199*b259 + 60*b199*b261 + 1050*
     b200*b262 + 1350*b200*b263 + 150*b200*b264 + 900*b200*b265 + 450*b200*b266
      + 300*b200*b267 + 1350*b200*b268 + 1200*b200*b269 + 600*b200*b270 + 1200*
     b200*b271 + 1050*b200*b272 + 1050*b200*b273 + 600*b200*b274 + 450*b200*
     b275 + 1050*b200*b276 + 150*b200*b277 + 1050*b200*b278 + 1200*b200*b279 + 
     750*b200*b281 + 1022*b201*b282 + 1314*b201*b283 + 146*b201*b284 + 876*b201
     *b285 + 438*b201*b286 + 292*b201*b287 + 1314*b201*b288 + 1168*b201*b289 + 
     584*b201*b290 + 1168*b201*b291 + 1022*b201*b292 + 1022*b201*b293 + 584*
     b201*b294 + 438*b201*b295 + 1022*b201*b296 + 146*b201*b297 + 728*b201*b298
      + 936*b201*b299 + 104*b201*b300 + 624*b201*b301 + 312*b201*b302 + 208*
     b201*b303 + 936*b201*b304 + 832*b201*b305 + 416*b201*b306 + 832*b201*b307
      + 728*b201*b308 + 728*b201*b309 + 416*b201*b310 + 312*b201*b311 + 728*
     b201*b312 + 104*b201*b313 + 1022*b201*b314 + 728*b201*b315 + 1168*b201*
     b316 + 832*b201*b317 + 730*b201*b320 + 520*b201*b321 + 306*b222*b322 + 102
     *b222*b323 + 918*b222*b324 + 918*b222*b325 + 714*b222*b326 + 102*b222*b327
      + 612*b222*b328 + 612*b222*b329 + 102*b222*b330 + 102*b222*b331 + 204*
     b222*b332 + 204*b222*b333 + 408*b222*b334 + 204*b222*b335 + 714*b222*b336
      + 816*b222*b337 + 714*b222*b338 + 102*b222*b339 + 510*b222*b340 + 918*
     b223*b323 + 918*b223*b324 + 612*b223*b325 + 918*b223*b326 + 408*b223*b327
      + 102*b223*b328 + 816*b223*b329 + 204*b223*b330 + 918*b223*b331 + 816*
     b223*b332 + 612*b223*b333 + 102*b223*b334 + 918*b223*b335 + 204*b223*b336
      + 612*b223*b337 + 408*b223*b338 + 714*b223*b339 + 714*b223*b340 + 306*
     b223*b341 + 918*b224*b322 + 714*b224*b324 + 612*b224*b325 + 918*b224*b326
      + 204*b224*b327 + 306*b224*b328 + 102*b224*b329 + 408*b224*b330 + 102*
     b224*b331 + 918*b224*b332 + 510*b224*b333 + 306*b224*b334 + 306*b224*b335
      + 714*b224*b336 + 306*b224*b337 + 612*b224*b338 + 918*b224*b339 + 918*
     b224*b340 + 102*b224*b341 + 918*b225*b322 + 714*b225*b323 + 306*b225*b325
      + 714*b225*b326 + 306*b225*b327 + 510*b225*b328 + 102*b225*b329 + 918*
     b225*b330 + 408*b225*b331 + 612*b225*b332 + 408*b225*b333 + 714*b225*b334
      + 408*b225*b335 + 918*b225*b336 + 612*b225*b337 + 306*b225*b338 + 816*
     b225*b339 + 102*b225*b340 + 918*b225*b341 + 612*b226*b322 + 612*b226*b323
      + 306*b226*b324 + 714*b226*b326 + 102*b226*b327 + 612*b226*b328 + 714*
     b226*b329 + 306*b226*b330 + 918*b226*b331 + 408*b226*b332 + 102*b226*b333
      + 816*b226*b334 + 408*b226*b335 + 918*b226*b336 + 102*b226*b337 + 714*
     b226*b338 + 714*b226*b339 + 612*b226*b340 + 918*b226*b341 + 918*b227*b322
      + 918*b227*b323 + 714*b227*b324 + 714*b227*b325 + 612*b227*b327 + 102*
     b227*b328 + 510*b227*b329 + 714*b227*b330 + 612*b227*b331 + 510*b227*b332
      + 306*b227*b333 + 408*b227*b334 + 918*b227*b335 + 816*b227*b336 + 102*
     b227*b337 + 102*b227*b338 + 612*b227*b339 + 306*b227*b340 + 714*b227*b341
      + 408*b228*b322 + 204*b228*b323 + 306*b228*b324 + 102*b228*b325 + 612*
     b228*b326 + 612*b228*b328 + 306*b228*b329 + 918*b228*b330 + 306*b228*b331
      + 306*b228*b332 + 612*b228*b333 + 408*b228*b334 + 102*b228*b335 + 816*
     b228*b336 + 612*b228*b337 + 714*b228*b338 + 510*b228*b339 + 204*b228*b340
      + 102*b228*b341 + 102*b229*b322 + 306*b229*b323 + 510*b229*b324 + 612*
     b229*b325 + 102*b229*b326 + 612*b229*b327 + 612*b229*b329 + 306*b229*b330
      + 816*b229*b331 + 204*b229*b332 + 408*b229*b333 + 816*b229*b334 + 102*
     b229*b335 + 918*b229*b336 + 612*b229*b337 + 816*b229*b338 + 102*b229*b339
      + 918*b229*b340 + 612*b229*b341 + 816*b230*b322 + 102*b230*b323 + 102*
     b230*b324 + 714*b230*b325 + 510*b230*b326 + 306*b230*b327 + 612*b230*b328
      + 816*b230*b330 + 204*b230*b331 + 714*b230*b332 + 612*b230*b333 + 408*
     b230*b334 + 510*b230*b335 + 408*b230*b336 + 102*b230*b337 + 714*b230*b338
      + 306*b230*b339 + 816*b230*b340 + 612*b230*b341 + 204*b231*b322 + 408*
     b231*b323 + 918*b231*b324 + 306*b231*b325 + 714*b231*b326 + 918*b231*b327
      + 306*b231*b328 + 816*b231*b329 + 408*b231*b331 + 408*b231*b332 + 204*
     b231*b333 + 510*b231*b334 + 612*b231*b335 + 408*b231*b336 + 918*b231*b337
      + 204*b231*b338 + 102*b231*b339 + 408*b231*b340 + 102*b231*b341 + 918*
     b232*b322 + 102*b232*b323 + 408*b232*b324 + 918*b232*b325 + 612*b232*b326
      + 306*b232*b327 + 816*b232*b328 + 204*b232*b329 + 408*b232*b330 + 306*
     b232*b332 + 204*b232*b333 + 816*b232*b334 + 714*b232*b335 + 204*b232*b336
      + 816*b232*b337 + 918*b232*b338 + 408*b232*b339 + 816*b232*b340 + 102*
     b232*b341 + 816*b233*b322 + 918*b233*b323 + 612*b233*b324 + 408*b233*b325
      + 510*b233*b326 + 306*b233*b327 + 204*b233*b328 + 714*b233*b329 + 408*
     b233*b330 + 306*b233*b331 + 408*b233*b333 + 306*b233*b334 + 306*b233*b335
      + 816*b233*b336 + 408*b233*b337 + 816*b233*b338 + 408*b233*b339 + 714*
     b233*b340 + 204*b233*b341 + 612*b234*b322 + 510*b234*b323 + 408*b234*b324
      + 102*b234*b325 + 306*b234*b326 + 612*b234*b327 + 408*b234*b328 + 612*
     b234*b329 + 204*b234*b330 + 204*b234*b331 + 408*b234*b332 + 816*b234*b334
      + 510*b234*b335 + 918*b234*b336 + 918*b234*b337 + 204*b234*b338 + 204*
     b234*b339 + 714*b234*b340 + 204*b234*b341 + 102*b235*b322 + 306*b235*b323
      + 714*b235*b324 + 816*b235*b325 + 408*b235*b326 + 408*b235*b327 + 816*
     b235*b328 + 408*b235*b329 + 510*b235*b330 + 816*b235*b331 + 306*b235*b332
      + 816*b235*b333 + 102*b235*b335 + 204*b235*b336 + 714*b235*b337 + 918*
     b235*b338 + 714*b235*b339 + 408*b235*b340 + 408*b235*b341 + 918*b236*b322
      + 306*b236*b323 + 408*b236*b324 + 408*b236*b325 + 918*b236*b326 + 102*
     b236*b327 + 102*b236*b328 + 510*b236*b329 + 612*b236*b330 + 714*b236*b331
      + 306*b236*b332 + 510*b236*b333 + 102*b236*b334 + 102*b236*b336 + 102*
     b236*b337 + 306*b236*b338 + 612*b236*b339 + 306*b236*b340 + 204*b236*b341
      + 204*b237*b322 + 714*b237*b323 + 918*b237*b324 + 918*b237*b325 + 816*
     b237*b326 + 816*b237*b327 + 918*b237*b328 + 408*b237*b329 + 408*b237*b330
      + 204*b237*b331 + 816*b237*b332 + 918*b237*b333 + 204*b237*b334 + 102*
     b237*b335 + 408*b237*b337 + 408*b237*b338 + 306*b237*b339 + 714*b237*b340
      + 714*b237*b341 + 612*b238*b322 + 306*b238*b323 + 612*b238*b324 + 102*
     b238*b325 + 102*b238*b326 + 612*b238*b327 + 612*b238*b328 + 102*b238*b329
      + 918*b238*b330 + 816*b238*b331 + 408*b238*b332 + 918*b238*b333 + 714*
     b238*b334 + 102*b238*b335 + 408*b238*b336 + 306*b238*b338 + 510*b238*b339
      + 102*b238*b340 + 816*b238*b341 + 408*b239*b322 + 612*b239*b323 + 306*
     b239*b324 + 714*b239*b325 + 102*b239*b326 + 714*b239*b327 + 816*b239*b328
      + 714*b239*b329 + 204*b239*b330 + 918*b239*b331 + 816*b239*b332 + 204*
     b239*b333 + 918*b239*b334 + 306*b239*b335 + 408*b239*b336 + 306*b239*b337
      + 408*b239*b339 + 714*b239*b340 + 714*b239*b341 + 714*b240*b322 + 918*
     b240*b323 + 816*b240*b324 + 714*b240*b325 + 612*b240*b326 + 510*b240*b327
      + 102*b240*b328 + 306*b240*b329 + 102*b240*b330 + 408*b240*b331 + 408*
     b240*b332 + 204*b240*b333 + 714*b240*b334 + 612*b240*b335 + 306*b240*b336
      + 510*b240*b337 + 408*b240*b338 + 816*b240*b340 + 102*b240*b341 + 714*
     b241*b322 + 918*b241*b323 + 102*b241*b324 + 612*b241*b325 + 306*b241*b326
      + 204*b241*b327 + 918*b241*b328 + 816*b241*b329 + 408*b241*b330 + 816*
     b241*b331 + 714*b241*b332 + 714*b241*b333 + 408*b241*b334 + 306*b241*b335
      + 714*b241*b336 + 102*b241*b337 + 714*b241*b338 + 816*b241*b339 + 510*
     b241*b341 + 1674*b262*b342 + 1674*b262*b343 + 1116*b262*b344 + 1674*b262*
     b345 + 744*b262*b346 + 186*b262*b347 + 1488*b262*b348 + 372*b262*b349 + 
     1674*b262*b350 + 1488*b262*b351 + 1116*b262*b352 + 186*b262*b353 + 1674*
     b262*b354 + 372*b262*b355 + 1116*b262*b356 + 744*b262*b357 + 1302*b262*
     b358 + 1302*b262*b359 + 558*b262*b360 + 1302*b263*b343 + 1116*b263*b344 + 
     1674*b263*b345 + 372*b263*b346 + 558*b263*b347 + 186*b263*b348 + 744*b263*
     b349 + 186*b263*b350 + 1674*b263*b351 + 930*b263*b352 + 558*b263*b353 + 
     558*b263*b354 + 1302*b263*b355 + 558*b263*b356 + 1116*b263*b357 + 1674*
     b263*b358 + 1674*b263*b359 + 186*b263*b360 + 1674*b263*b361 + 1302*b264*
     b342 + 558*b264*b344 + 1302*b264*b345 + 558*b264*b346 + 930*b264*b347 + 
     186*b264*b348 + 1674*b264*b349 + 744*b264*b350 + 1116*b264*b351 + 744*b264
     *b352 + 1302*b264*b353 + 744*b264*b354 + 1674*b264*b355 + 1116*b264*b356
      + 558*b264*b357 + 1488*b264*b358 + 186*b264*b359 + 1674*b264*b360 + 1674*
     b264*b361 + 1116*b265*b342 + 558*b265*b343 + 1302*b265*b345 + 186*b265*
     b346 + 1116*b265*b347 + 1302*b265*b348 + 558*b265*b349 + 1674*b265*b350 + 
     744*b265*b351 + 186*b265*b352 + 1488*b265*b353 + 744*b265*b354 + 1674*b265
     *b355 + 186*b265*b356 + 1302*b265*b357 + 1302*b265*b358 + 1116*b265*b359
      + 1674*b265*b360 + 1116*b265*b361 + 1674*b266*b342 + 1302*b266*b343 + 
     1302*b266*b344 + 1116*b266*b346 + 186*b266*b347 + 930*b266*b348 + 1302*
     b266*b349 + 1116*b266*b350 + 930*b266*b351 + 558*b266*b352 + 744*b266*b353
      + 1674*b266*b354 + 1488*b266*b355 + 186*b266*b356 + 186*b266*b357 + 1116*
     b266*b358 + 558*b266*b359 + 1302*b266*b360 + 1674*b266*b361 + 372*b267*
     b342 + 558*b267*b343 + 186*b267*b344 + 1116*b267*b345 + 1116*b267*b347 + 
     558*b267*b348 + 1674*b267*b349 + 558*b267*b350 + 558*b267*b351 + 1116*b267
     *b352 + 744*b267*b353 + 186*b267*b354 + 1488*b267*b355 + 1116*b267*b356 + 
     1302*b267*b357 + 930*b267*b358 + 372*b267*b359 + 186*b267*b360 + 744*b267*
     b361 + 558*b268*b342 + 930*b268*b343 + 1116*b268*b344 + 186*b268*b345 + 
     1116*b268*b346 + 1116*b268*b348 + 558*b268*b349 + 1488*b268*b350 + 372*
     b268*b351 + 744*b268*b352 + 1488*b268*b353 + 186*b268*b354 + 1674*b268*
     b355 + 1116*b268*b356 + 1488*b268*b357 + 186*b268*b358 + 1674*b268*b359 + 
     1116*b268*b360 + 186*b268*b361 + 186*b269*b342 + 186*b269*b343 + 1302*b269
     *b344 + 930*b269*b345 + 558*b269*b346 + 1116*b269*b347 + 1488*b269*b349 + 
     372*b269*b350 + 1302*b269*b351 + 1116*b269*b352 + 744*b269*b353 + 930*b269
     *b354 + 744*b269*b355 + 186*b269*b356 + 1302*b269*b357 + 558*b269*b358 + 
     1488*b269*b359 + 1116*b269*b360 + 1488*b269*b361 + 744*b270*b342 + 1674*
     b270*b343 + 558*b270*b344 + 1302*b270*b345 + 1674*b270*b346 + 558*b270*
     b347 + 1488*b270*b348 + 744*b270*b350 + 744*b270*b351 + 372*b270*b352 + 
     930*b270*b353 + 1116*b270*b354 + 744*b270*b355 + 1674*b270*b356 + 372*b270
     *b357 + 186*b270*b358 + 744*b270*b359 + 186*b270*b360 + 372*b270*b361 + 
     186*b271*b342 + 744*b271*b343 + 1674*b271*b344 + 1116*b271*b345 + 558*b271
     *b346 + 1488*b271*b347 + 372*b271*b348 + 744*b271*b349 + 558*b271*b351 + 
     372*b271*b352 + 1488*b271*b353 + 1302*b271*b354 + 372*b271*b355 + 1488*
     b271*b356 + 1674*b271*b357 + 744*b271*b358 + 1488*b271*b359 + 186*b271*
     b360 + 1674*b271*b361 + 1674*b272*b342 + 1116*b272*b343 + 744*b272*b344 + 
     930*b272*b345 + 558*b272*b346 + 372*b272*b347 + 1302*b272*b348 + 744*b272*
     b349 + 558*b272*b350 + 744*b272*b352 + 558*b272*b353 + 558*b272*b354 + 
     1488*b272*b355 + 744*b272*b356 + 1488*b272*b357 + 744*b272*b358 + 1302*
     b272*b359 + 372*b272*b360 + 1488*b272*b361 + 930*b273*b342 + 744*b273*b343
      + 186*b273*b344 + 558*b273*b345 + 1116*b273*b346 + 744*b273*b347 + 1116*
     b273*b348 + 372*b273*b349 + 372*b273*b350 + 744*b273*b351 + 1488*b273*b353
      + 930*b273*b354 + 1674*b273*b355 + 1674*b273*b356 + 372*b273*b357 + 372*
     b273*b358 + 1302*b273*b359 + 372*b273*b360 + 1116*b273*b361 + 558*b274*
     b342 + 1302*b274*b343 + 1488*b274*b344 + 744*b274*b345 + 744*b274*b346 + 
     1488*b274*b347 + 744*b274*b348 + 930*b274*b349 + 1488*b274*b350 + 558*b274
     *b351 + 1488*b274*b352 + 186*b274*b354 + 372*b274*b355 + 1302*b274*b356 + 
     1674*b274*b357 + 1302*b274*b358 + 744*b274*b359 + 744*b274*b360 + 186*b274
     *b361 + 558*b275*b342 + 744*b275*b343 + 744*b275*b344 + 1674*b275*b345 + 
     186*b275*b346 + 186*b275*b347 + 930*b275*b348 + 1116*b275*b349 + 1302*b275
     *b350 + 558*b275*b351 + 930*b275*b352 + 186*b275*b353 + 186*b275*b355 + 
     186*b275*b356 + 558*b275*b357 + 1116*b275*b358 + 558*b275*b359 + 372*b275*
     b360 + 1674*b275*b361 + 1302*b276*b342 + 1674*b276*b343 + 1674*b276*b344
      + 1488*b276*b345 + 1488*b276*b346 + 1674*b276*b347 + 744*b276*b348 + 744*
     b276*b349 + 372*b276*b350 + 1488*b276*b351 + 1674*b276*b352 + 372*b276*
     b353 + 186*b276*b354 + 744*b276*b356 + 744*b276*b357 + 558*b276*b358 + 
     1302*b276*b359 + 1302*b276*b360 + 372*b276*b361 + 558*b277*b342 + 1116*
     b277*b343 + 186*b277*b344 + 186*b277*b345 + 1116*b277*b346 + 1116*b277*
     b347 + 186*b277*b348 + 1674*b277*b349 + 1488*b277*b350 + 744*b277*b351 + 
     1674*b277*b352 + 1302*b277*b353 + 186*b277*b354 + 744*b277*b355 + 558*b277
     *b357 + 930*b277*b358 + 186*b277*b359 + 1488*b277*b360 + 1116*b277*b361 + 
     1116*b278*b342 + 558*b278*b343 + 1302*b278*b344 + 186*b278*b345 + 1302*
     b278*b346 + 1488*b278*b347 + 1302*b278*b348 + 372*b278*b349 + 1674*b278*
     b350 + 1488*b278*b351 + 372*b278*b352 + 1674*b278*b353 + 558*b278*b354 + 
     744*b278*b355 + 558*b278*b356 + 744*b278*b358 + 1302*b278*b359 + 1302*b278
     *b360 + 744*b278*b361 + 1674*b279*b342 + 1488*b279*b343 + 1302*b279*b344
      + 1116*b279*b345 + 930*b279*b346 + 186*b279*b347 + 558*b279*b348 + 186*
     b279*b349 + 744*b279*b350 + 744*b279*b351 + 372*b279*b352 + 1302*b279*b353
      + 1116*b279*b354 + 558*b279*b355 + 930*b279*b356 + 744*b279*b357 + 1488*
     b279*b359 + 186*b279*b360 + 1302*b279*b361 + 1674*b280*b342 + 186*b280*
     b343 + 1116*b280*b344 + 558*b280*b345 + 372*b280*b346 + 1674*b280*b347 + 
     1488*b280*b348 + 744*b280*b349 + 1488*b280*b350 + 1302*b280*b351 + 1302*
     b280*b352 + 744*b280*b353 + 558*b280*b354 + 1302*b280*b355 + 186*b280*b356
      + 1302*b280*b357 + 1488*b280*b358 + 930*b280*b360 + 1302*b280*b361 + 186*
     b281*b342 + 1674*b281*b343 + 1674*b281*b344 + 1302*b281*b345 + 186*b281*
     b346 + 1116*b281*b347 + 1116*b281*b348 + 186*b281*b349 + 186*b281*b350 + 
     372*b281*b351 + 372*b281*b352 + 744*b281*b353 + 372*b281*b354 + 1302*b281*
     b355 + 1488*b281*b356 + 1302*b281*b357 + 186*b281*b358 + 930*b281*b359 + 
     558*b281*b361 + 1512*b282*b362 + 1512*b282*b363 + 1008*b282*b364 + 1512*
     b282*b365 + 672*b282*b366 + 168*b282*b367 + 1344*b282*b368 + 336*b282*b369
      + 1512*b282*b370 + 1344*b282*b371 + 1008*b282*b372 + 168*b282*b373 + 1512
     *b282*b374 + 336*b282*b375 + 1008*b282*b376 + 672*b282*b377 + 1176*b282*
     b378 + 1176*b282*b379 + 504*b282*b380 + 1176*b283*b363 + 1008*b283*b364 + 
     1512*b283*b365 + 336*b283*b366 + 504*b283*b367 + 168*b283*b368 + 672*b283*
     b369 + 168*b283*b370 + 1512*b283*b371 + 840*b283*b372 + 504*b283*b373 + 
     504*b283*b374 + 1176*b283*b375 + 504*b283*b376 + 1008*b283*b377 + 1512*
     b283*b378 + 1512*b283*b379 + 168*b283*b380 + 1512*b283*b381 + 1176*b284*
     b362 + 504*b284*b364 + 1176*b284*b365 + 504*b284*b366 + 840*b284*b367 + 
     168*b284*b368 + 1512*b284*b369 + 672*b284*b370 + 1008*b284*b371 + 672*b284
     *b372 + 1176*b284*b373 + 672*b284*b374 + 1512*b284*b375 + 1008*b284*b376
      + 504*b284*b377 + 1344*b284*b378 + 168*b284*b379 + 1512*b284*b380 + 1512*
     b284*b381 + 1008*b285*b362 + 504*b285*b363 + 1176*b285*b365 + 168*b285*
     b366 + 1008*b285*b367 + 1176*b285*b368 + 504*b285*b369 + 1512*b285*b370 + 
     672*b285*b371 + 168*b285*b372 + 1344*b285*b373 + 672*b285*b374 + 1512*b285
     *b375 + 168*b285*b376 + 1176*b285*b377 + 1176*b285*b378 + 1008*b285*b379
      + 1512*b285*b380 + 1008*b285*b381 + 1512*b286*b362 + 1176*b286*b363 + 
     1176*b286*b364 + 1008*b286*b366 + 168*b286*b367 + 840*b286*b368 + 1176*
     b286*b369 + 1008*b286*b370 + 840*b286*b371 + 504*b286*b372 + 672*b286*b373
      + 1512*b286*b374 + 1344*b286*b375 + 168*b286*b376 + 168*b286*b377 + 1008*
     b286*b378 + 504*b286*b379 + 1176*b286*b380 + 1512*b286*b381 + 336*b287*
     b362 + 504*b287*b363 + 168*b287*b364 + 1008*b287*b365 + 1008*b287*b367 + 
     504*b287*b368 + 1512*b287*b369 + 504*b287*b370 + 504*b287*b371 + 1008*b287
     *b372 + 672*b287*b373 + 168*b287*b374 + 1344*b287*b375 + 1008*b287*b376 + 
     1176*b287*b377 + 840*b287*b378 + 336*b287*b379 + 168*b287*b380 + 672*b287*
     b381 + 504*b288*b362 + 840*b288*b363 + 1008*b288*b364 + 168*b288*b365 + 
     1008*b288*b366 + 1008*b288*b368 + 504*b288*b369 + 1344*b288*b370 + 336*
     b288*b371 + 672*b288*b372 + 1344*b288*b373 + 168*b288*b374 + 1512*b288*
     b375 + 1008*b288*b376 + 1344*b288*b377 + 168*b288*b378 + 1512*b288*b379 + 
     1008*b288*b380 + 168*b288*b381 + 168*b289*b362 + 168*b289*b363 + 1176*b289
     *b364 + 840*b289*b365 + 504*b289*b366 + 1008*b289*b367 + 1344*b289*b369 + 
     336*b289*b370 + 1176*b289*b371 + 1008*b289*b372 + 672*b289*b373 + 840*b289
     *b374 + 672*b289*b375 + 168*b289*b376 + 1176*b289*b377 + 504*b289*b378 + 
     1344*b289*b379 + 1008*b289*b380 + 1344*b289*b381 + 672*b290*b362 + 1512*
     b290*b363 + 504*b290*b364 + 1176*b290*b365 + 1512*b290*b366 + 504*b290*
     b367 + 1344*b290*b368 + 672*b290*b370 + 672*b290*b371 + 336*b290*b372 + 
     840*b290*b373 + 1008*b290*b374 + 672*b290*b375 + 1512*b290*b376 + 336*b290
     *b377 + 168*b290*b378 + 672*b290*b379 + 168*b290*b380 + 336*b290*b381 + 
     168*b291*b362 + 672*b291*b363 + 1512*b291*b364 + 1008*b291*b365 + 504*b291
     *b366 + 1344*b291*b367 + 336*b291*b368 + 672*b291*b369 + 504*b291*b371 + 
     336*b291*b372 + 1344*b291*b373 + 1176*b291*b374 + 336*b291*b375 + 1344*
     b291*b376 + 1512*b291*b377 + 672*b291*b378 + 1344*b291*b379 + 168*b291*
     b380 + 1512*b291*b381 + 1512*b292*b362 + 1008*b292*b363 + 672*b292*b364 + 
     840*b292*b365 + 504*b292*b366 + 336*b292*b367 + 1176*b292*b368 + 672*b292*
     b369 + 504*b292*b370 + 672*b292*b372 + 504*b292*b373 + 504*b292*b374 + 
     1344*b292*b375 + 672*b292*b376 + 1344*b292*b377 + 672*b292*b378 + 1176*
     b292*b379 + 336*b292*b380 + 1344*b292*b381 + 840*b293*b362 + 672*b293*b363
      + 168*b293*b364 + 504*b293*b365 + 1008*b293*b366 + 672*b293*b367 + 1008*
     b293*b368 + 336*b293*b369 + 336*b293*b370 + 672*b293*b371 + 1344*b293*b373
      + 840*b293*b374 + 1512*b293*b375 + 1512*b293*b376 + 336*b293*b377 + 336*
     b293*b378 + 1176*b293*b379 + 336*b293*b380 + 1008*b293*b381 + 504*b294*
     b362 + 1176*b294*b363 + 1344*b294*b364 + 672*b294*b365 + 672*b294*b366 + 
     1344*b294*b367 + 672*b294*b368 + 840*b294*b369 + 1344*b294*b370 + 504*b294
     *b371 + 1344*b294*b372 + 168*b294*b374 + 336*b294*b375 + 1176*b294*b376 + 
     1512*b294*b377 + 1176*b294*b378 + 672*b294*b379 + 672*b294*b380 + 168*b294
     *b381 + 504*b295*b362 + 672*b295*b363 + 672*b295*b364 + 1512*b295*b365 + 
     168*b295*b366 + 168*b295*b367 + 840*b295*b368 + 1008*b295*b369 + 1176*b295
     *b370 + 504*b295*b371 + 840*b295*b372 + 168*b295*b373 + 168*b295*b375 + 
     168*b295*b376 + 504*b295*b377 + 1008*b295*b378 + 504*b295*b379 + 336*b295*
     b380 + 1512*b295*b381 + 1176*b296*b362 + 1512*b296*b363 + 1512*b296*b364
      + 1344*b296*b365 + 1344*b296*b366 + 1512*b296*b367 + 672*b296*b368 + 672*
     b296*b369 + 336*b296*b370 + 1344*b296*b371 + 1512*b296*b372 + 336*b296*
     b373 + 168*b296*b374 + 672*b296*b376 + 672*b296*b377 + 504*b296*b378 + 
     1176*b296*b379 + 1176*b296*b380 + 336*b296*b381 + 504*b297*b362 + 1008*
     b297*b363 + 168*b297*b364 + 168*b297*b365 + 1008*b297*b366 + 1008*b297*
     b367 + 168*b297*b368 + 1512*b297*b369 + 1344*b297*b370 + 672*b297*b371 + 
     1512*b297*b372 + 1176*b297*b373 + 168*b297*b374 + 672*b297*b375 + 504*b297
     *b377 + 840*b297*b378 + 168*b297*b379 + 1344*b297*b380 + 1008*b297*b381 + 
     720*b298*b382 + 720*b298*b383 + 480*b298*b384 + 720*b298*b385 + 320*b298*
     b386 + 80*b298*b387 + 640*b298*b388 + 160*b298*b389 + 720*b298*b390 + 640*
     b298*b391 + 480*b298*b392 + 80*b298*b393 + 720*b298*b394 + 160*b298*b395
      + 480*b298*b396 + 320*b298*b397 + 560*b298*b398 + 560*b298*b399 + 240*
     b298*b400 + 560*b299*b383 + 480*b299*b384 + 720*b299*b385 + 160*b299*b386
      + 240*b299*b387 + 80*b299*b388 + 320*b299*b389 + 80*b299*b390 + 720*b299*
     b391 + 400*b299*b392 + 240*b299*b393 + 240*b299*b394 + 560*b299*b395 + 240
     *b299*b396 + 480*b299*b397 + 720*b299*b398 + 720*b299*b399 + 80*b299*b400
      + 720*b299*b401 + 560*b300*b382 + 240*b300*b384 + 560*b300*b385 + 240*
     b300*b386 + 400*b300*b387 + 80*b300*b388 + 720*b300*b389 + 320*b300*b390
      + 480*b300*b391 + 320*b300*b392 + 560*b300*b393 + 320*b300*b394 + 720*
     b300*b395 + 480*b300*b396 + 240*b300*b397 + 640*b300*b398 + 80*b300*b399
      + 720*b300*b400 + 720*b300*b401 + 480*b301*b382 + 240*b301*b383 + 560*
     b301*b385 + 80*b301*b386 + 480*b301*b387 + 560*b301*b388 + 240*b301*b389
      + 720*b301*b390 + 320*b301*b391 + 80*b301*b392 + 640*b301*b393 + 320*b301
     *b394 + 720*b301*b395 + 80*b301*b396 + 560*b301*b397 + 560*b301*b398 + 480
     *b301*b399 + 720*b301*b400 + 480*b301*b401 + 720*b302*b382 + 560*b302*b383
      + 560*b302*b384 + 480*b302*b386 + 80*b302*b387 + 400*b302*b388 + 560*b302
     *b389 + 480*b302*b390 + 400*b302*b391 + 240*b302*b392 + 320*b302*b393 + 
     720*b302*b394 + 640*b302*b395 + 80*b302*b396 + 80*b302*b397 + 480*b302*
     b398 + 240*b302*b399 + 560*b302*b400 + 720*b302*b401 + 160*b303*b382 + 240
     *b303*b383 + 80*b303*b384 + 480*b303*b385 + 480*b303*b387 + 240*b303*b388
      + 720*b303*b389 + 240*b303*b390 + 240*b303*b391 + 480*b303*b392 + 320*
     b303*b393 + 80*b303*b394 + 640*b303*b395 + 480*b303*b396 + 560*b303*b397
      + 400*b303*b398 + 160*b303*b399 + 80*b303*b400 + 320*b303*b401 + 240*b304
     *b382 + 400*b304*b383 + 480*b304*b384 + 80*b304*b385 + 480*b304*b386 + 480
     *b304*b388 + 240*b304*b389 + 640*b304*b390 + 160*b304*b391 + 320*b304*b392
      + 640*b304*b393 + 80*b304*b394 + 720*b304*b395 + 480*b304*b396 + 640*b304
     *b397 + 80*b304*b398 + 720*b304*b399 + 480*b304*b400 + 80*b304*b401 + 80*
     b305*b382 + 80*b305*b383 + 560*b305*b384 + 400*b305*b385 + 240*b305*b386
      + 480*b305*b387 + 640*b305*b389 + 160*b305*b390 + 560*b305*b391 + 480*
     b305*b392 + 320*b305*b393 + 400*b305*b394 + 320*b305*b395 + 80*b305*b396
      + 560*b305*b397 + 240*b305*b398 + 640*b305*b399 + 480*b305*b400 + 640*
     b305*b401 + 320*b306*b382 + 720*b306*b383 + 240*b306*b384 + 560*b306*b385
      + 720*b306*b386 + 240*b306*b387 + 640*b306*b388 + 320*b306*b390 + 320*
     b306*b391 + 160*b306*b392 + 400*b306*b393 + 480*b306*b394 + 320*b306*b395
      + 720*b306*b396 + 160*b306*b397 + 80*b306*b398 + 320*b306*b399 + 80*b306*
     b400 + 160*b306*b401 + 80*b307*b382 + 320*b307*b383 + 720*b307*b384 + 480*
     b307*b385 + 240*b307*b386 + 640*b307*b387 + 160*b307*b388 + 320*b307*b389
      + 240*b307*b391 + 160*b307*b392 + 640*b307*b393 + 560*b307*b394 + 160*
     b307*b395 + 640*b307*b396 + 720*b307*b397 + 320*b307*b398 + 640*b307*b399
      + 80*b307*b400 + 720*b307*b401 + 720*b308*b382 + 480*b308*b383 + 320*b308
     *b384 + 400*b308*b385 + 240*b308*b386 + 160*b308*b387 + 560*b308*b388 + 
     320*b308*b389 + 240*b308*b390 + 320*b308*b392 + 240*b308*b393 + 240*b308*
     b394 + 640*b308*b395 + 320*b308*b396 + 640*b308*b397 + 320*b308*b398 + 560
     *b308*b399 + 160*b308*b400 + 640*b308*b401 + 400*b309*b382 + 320*b309*b383
      + 80*b309*b384 + 240*b309*b385 + 480*b309*b386 + 320*b309*b387 + 480*b309
     *b388 + 160*b309*b389 + 160*b309*b390 + 320*b309*b391 + 640*b309*b393 + 
     400*b309*b394 + 720*b309*b395 + 720*b309*b396 + 160*b309*b397 + 160*b309*
     b398 + 560*b309*b399 + 160*b309*b400 + 480*b309*b401 + 240*b310*b382 + 560
     *b310*b383 + 640*b310*b384 + 320*b310*b385 + 320*b310*b386 + 640*b310*b387
      + 320*b310*b388 + 400*b310*b389 + 640*b310*b390 + 240*b310*b391 + 640*
     b310*b392 + 80*b310*b394 + 160*b310*b395 + 560*b310*b396 + 720*b310*b397
      + 560*b310*b398 + 320*b310*b399 + 320*b310*b400 + 80*b310*b401 + 240*b311
     *b382 + 320*b311*b383 + 320*b311*b384 + 720*b311*b385 + 80*b311*b386 + 80*
     b311*b387 + 400*b311*b388 + 480*b311*b389 + 560*b311*b390 + 240*b311*b391
      + 400*b311*b392 + 80*b311*b393 + 80*b311*b395 + 80*b311*b396 + 240*b311*
     b397 + 480*b311*b398 + 240*b311*b399 + 160*b311*b400 + 720*b311*b401 + 560
     *b312*b382 + 720*b312*b383 + 720*b312*b384 + 640*b312*b385 + 640*b312*b386
      + 720*b312*b387 + 320*b312*b388 + 320*b312*b389 + 160*b312*b390 + 640*
     b312*b391 + 720*b312*b392 + 160*b312*b393 + 80*b312*b394 + 320*b312*b396
      + 320*b312*b397 + 240*b312*b398 + 560*b312*b399 + 560*b312*b400 + 160*
     b312*b401 + 240*b313*b382 + 480*b313*b383 + 80*b313*b384 + 80*b313*b385 + 
     480*b313*b386 + 480*b313*b387 + 80*b313*b388 + 720*b313*b389 + 640*b313*
     b390 + 320*b313*b391 + 720*b313*b392 + 560*b313*b393 + 80*b313*b394 + 320*
     b313*b395 + 240*b313*b397 + 400*b313*b398 + 80*b313*b399 + 640*b313*b400
      + 480*b313*b401 + 1008*b314*b362 + 504*b314*b363 + 1176*b314*b364 + 168*
     b314*b365 + 1176*b314*b366 + 1344*b314*b367 + 1176*b314*b368 + 336*b314*
     b369 + 1512*b314*b370 + 1344*b314*b371 + 336*b314*b372 + 1512*b314*b373 + 
     504*b314*b374 + 672*b314*b375 + 504*b314*b376 + 672*b314*b378 + 1176*b314*
     b379 + 1176*b314*b380 + 672*b314*b381 + 480*b315*b382 + 240*b315*b383 + 
     560*b315*b384 + 80*b315*b385 + 560*b315*b386 + 640*b315*b387 + 560*b315*
     b388 + 160*b315*b389 + 720*b315*b390 + 640*b315*b391 + 160*b315*b392 + 720
     *b315*b393 + 240*b315*b394 + 320*b315*b395 + 240*b315*b396 + 320*b315*b398
      + 560*b315*b399 + 560*b315*b400 + 320*b315*b401 + 1512*b316*b362 + 1344*
     b316*b363 + 1176*b316*b364 + 1008*b316*b365 + 840*b316*b366 + 168*b316*
     b367 + 504*b316*b368 + 168*b316*b369 + 672*b316*b370 + 672*b316*b371 + 336
     *b316*b372 + 1176*b316*b373 + 1008*b316*b374 + 504*b316*b375 + 840*b316*
     b376 + 672*b316*b377 + 1344*b316*b379 + 168*b316*b380 + 1176*b316*b381 + 
     720*b317*b382 + 640*b317*b383 + 560*b317*b384 + 480*b317*b385 + 400*b317*
     b386 + 80*b317*b387 + 240*b317*b388 + 80*b317*b389 + 320*b317*b390 + 320*
     b317*b391 + 160*b317*b392 + 560*b317*b393 + 480*b317*b394 + 240*b317*b395
      + 400*b317*b396 + 320*b317*b397 + 640*b317*b399 + 80*b317*b400 + 560*b317
     *b401 + 1512*b318*b362 + 168*b318*b363 + 1008*b318*b364 + 504*b318*b365 + 
     336*b318*b366 + 1512*b318*b367 + 1344*b318*b368 + 672*b318*b369 + 1344*
     b318*b370 + 1176*b318*b371 + 1176*b318*b372 + 672*b318*b373 + 504*b318*
     b374 + 1176*b318*b375 + 168*b318*b376 + 1176*b318*b377 + 1344*b318*b378 + 
     840*b318*b380 + 1176*b318*b381 + 720*b319*b382 + 80*b319*b383 + 480*b319*
     b384 + 240*b319*b385 + 160*b319*b386 + 720*b319*b387 + 640*b319*b388 + 320
     *b319*b389 + 640*b319*b390 + 560*b319*b391 + 560*b319*b392 + 320*b319*b393
      + 240*b319*b394 + 560*b319*b395 + 80*b319*b396 + 560*b319*b397 + 640*b319
     *b398 + 400*b319*b400 + 560*b319*b401 + 168*b320*b362 + 1512*b320*b363 + 
     1512*b320*b364 + 1176*b320*b365 + 168*b320*b366 + 1008*b320*b367 + 1008*
     b320*b368 + 168*b320*b369 + 168*b320*b370 + 336*b320*b371 + 336*b320*b372
      + 672*b320*b373 + 336*b320*b374 + 1176*b320*b375 + 1344*b320*b376 + 1176*
     b320*b377 + 168*b320*b378 + 840*b320*b379 + 504*b320*b381 + 80*b321*b382
      + 720*b321*b383 + 720*b321*b384 + 560*b321*b385 + 80*b321*b386 + 480*b321
     *b387 + 480*b321*b388 + 80*b321*b389 + 80*b321*b390 + 160*b321*b391 + 160*
     b321*b392 + 320*b321*b393 + 160*b321*b394 + 560*b321*b395 + 640*b321*b396
      + 560*b321*b397 + 80*b321*b398 + 400*b321*b399 + 240*b321*b401 - objvar
      =E= 0;

e2..    b2 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51
      + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b97 =E= 1;

e3..    b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15
      + b16 + b17 + b18 + b19 + b20 + b21 + b120 =E= 1;

e4..    b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33
      + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b121 =E= 1;

e5..    b59 + b60 + b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70
      + b71 + b72 + b73 + b74 + b75 + b76 + b95 + b98 =E= 1;

e6..    b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88
      + b89 + b90 + b91 + b92 + b93 + b94 + b96 + b99 =E= 1;

e7..    b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109
      + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119
      =E= 1;

e8..    b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131
      + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b190 + b194 + b198
      =E= 1;

e9..    b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148
      + b149 + b150 + b151 + b152 + b153 + b154 + b155 + b191 + b195 + b199
      =E= 1;

e10..    b156 + b157 + b158 + b159 + b160 + b161 + b162 + b163 + b164 + b165
       + b166 + b167 + b168 + b169 + b170 + b171 + b172 + b192 + b196 + b200
       =E= 1;

e11..    b173 + b174 + b175 + b176 + b177 + b178 + b179 + b180 + b181 + b182
       + b183 + b184 + b185 + b186 + b187 + b188 + b189 + b193 + b197 + b201
       =E= 1;

e12..    b202 + b203 + b204 + b205 + b206 + b207 + b208 + b209 + b210 + b211
       + b212 + b213 + b214 + b215 + b216 + b217 + b218 + b219 + b220 + b221
       =E= 1;

e13..    b222 + b223 + b224 + b225 + b226 + b227 + b228 + b229 + b230 + b231
       + b232 + b233 + b234 + b235 + b236 + b237 + b238 + b239 + b240 + b241
       =E= 1;

e14..    b242 + b243 + b244 + b245 + b246 + b247 + b248 + b249 + b250 + b251
       + b252 + b253 + b254 + b255 + b256 + b257 + b258 + b259 + b260 + b261
       =E= 1;

e15..    b262 + b263 + b264 + b265 + b266 + b267 + b268 + b269 + b270 + b271
       + b272 + b273 + b274 + b275 + b276 + b277 + b278 + b279 + b280 + b281
       =E= 1;

e16..    b282 + b283 + b284 + b285 + b286 + b287 + b288 + b289 + b290 + b291
       + b292 + b293 + b294 + b295 + b296 + b297 + b314 + b316 + b318 + b320
       =E= 1;

e17..    b298 + b299 + b300 + b301 + b302 + b303 + b304 + b305 + b306 + b307
       + b308 + b309 + b310 + b311 + b312 + b313 + b315 + b317 + b319 + b321
       =E= 1;

e18..    b322 + b323 + b324 + b325 + b326 + b327 + b328 + b329 + b330 + b331
       + b332 + b333 + b334 + b335 + b336 + b337 + b338 + b339 + b340 + b341
       =E= 1;

e19..    b342 + b343 + b344 + b345 + b346 + b347 + b348 + b349 + b350 + b351
       + b352 + b353 + b354 + b355 + b356 + b357 + b358 + b359 + b360 + b361
       =E= 1;

e20..    b362 + b363 + b364 + b365 + b366 + b367 + b368 + b369 + b370 + b371
       + b372 + b373 + b374 + b375 + b376 + b377 + b378 + b379 + b380 + b381
       =E= 1;

e21..    b382 + b383 + b384 + b385 + b386 + b387 + b388 + b389 + b390 + b391
       + b392 + b393 + b394 + b395 + b396 + b397 + b398 + b399 + b400 + b401
       =E= 1;

e22..    b2 + b95 + b96 + b118 + b120 + b121 + b190 + b191 + b192 + b193 + b219
       + b239 + b258 + b278 + b314 + b315 + b338 + b357 + b377 + b397 =E= 1;

e23..    b3 + b22 + b97 + b98 + b99 + b119 + b194 + b195 + b196 + b197 + b220
       + b240 + b259 + b279 + b316 + b317 + b339 + b358 + b378 + b398 =E= 1;

e24..    b4 + b23 + b41 + b59 + b77 + b100 + b198 + b199 + b200 + b201 + b221
       + b241 + b260 + b280 + b318 + b319 + b340 + b359 + b379 + b399 =E= 1;

e25..    b5 + b24 + b42 + b60 + b78 + b101 + b122 + b139 + b156 + b173 + b202
       + b222 + b261 + b281 + b320 + b321 + b341 + b360 + b380 + b400 =E= 1;

e26..    b6 + b25 + b43 + b61 + b79 + b102 + b123 + b140 + b157 + b174 + b203
       + b223 + b242 + b262 + b282 + b298 + b322 + b361 + b381 + b401 =E= 1;

e27..    b7 + b26 + b44 + b62 + b80 + b103 + b124 + b141 + b158 + b175 + b204
       + b224 + b243 + b263 + b283 + b299 + b323 + b342 + b362 + b382 =E= 1;

e28..    b8 + b27 + b45 + b63 + b81 + b104 + b125 + b142 + b159 + b176 + b205
       + b225 + b244 + b264 + b284 + b300 + b324 + b343 + b363 + b383 =E= 1;

e29..    b9 + b28 + b46 + b64 + b82 + b105 + b126 + b143 + b160 + b177 + b206
       + b226 + b245 + b265 + b285 + b301 + b325 + b344 + b364 + b384 =E= 1;

e30..    b10 + b29 + b47 + b65 + b83 + b106 + b127 + b144 + b161 + b178 + b207
       + b227 + b246 + b266 + b286 + b302 + b326 + b345 + b365 + b385 =E= 1;

e31..    b11 + b30 + b48 + b66 + b84 + b107 + b128 + b145 + b162 + b179 + b208
       + b228 + b247 + b267 + b287 + b303 + b327 + b346 + b366 + b386 =E= 1;

e32..    b12 + b31 + b49 + b67 + b85 + b108 + b129 + b146 + b163 + b180 + b209
       + b229 + b248 + b268 + b288 + b304 + b328 + b347 + b367 + b387 =E= 1;

e33..    b13 + b32 + b50 + b68 + b86 + b109 + b130 + b147 + b164 + b181 + b210
       + b230 + b249 + b269 + b289 + b305 + b329 + b348 + b368 + b388 =E= 1;

e34..    b14 + b33 + b51 + b69 + b87 + b110 + b131 + b148 + b165 + b182 + b211
       + b231 + b250 + b270 + b290 + b306 + b330 + b349 + b369 + b389 =E= 1;

e35..    b15 + b34 + b52 + b70 + b88 + b111 + b132 + b149 + b166 + b183 + b212
       + b232 + b251 + b271 + b291 + b307 + b331 + b350 + b370 + b390 =E= 1;

e36..    b16 + b35 + b53 + b71 + b89 + b112 + b133 + b150 + b167 + b184 + b213
       + b233 + b252 + b272 + b292 + b308 + b332 + b351 + b371 + b391 =E= 1;

e37..    b17 + b36 + b54 + b72 + b90 + b113 + b134 + b151 + b168 + b185 + b214
       + b234 + b253 + b273 + b293 + b309 + b333 + b352 + b372 + b392 =E= 1;

e38..    b18 + b37 + b55 + b73 + b91 + b114 + b135 + b152 + b169 + b186 + b215
       + b235 + b254 + b274 + b294 + b310 + b334 + b353 + b373 + b393 =E= 1;

e39..    b19 + b38 + b56 + b74 + b92 + b115 + b136 + b153 + b170 + b187 + b216
       + b236 + b255 + b275 + b295 + b311 + b335 + b354 + b374 + b394 =E= 1;

e40..    b20 + b39 + b57 + b75 + b93 + b116 + b137 + b154 + b171 + b188 + b217
       + b237 + b256 + b276 + b296 + b312 + b336 + b355 + b375 + b395 =E= 1;

e41..    b21 + b40 + b58 + b76 + b94 + b117 + b138 + b155 + b172 + b189 + b218
       + b238 + b257 + b277 + b297 + b313 + b337 + b356 + b376 + b396 =E= 1;

Model m / all /;

m.limrow=0; m.limcol=0;

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

m.tolproj = 0.0;
$if not set MIQCP $set MIQCP MIQCP
Solve m using %MIQCP% minimizing objvar;





Website © 2017-2019 by Zuse Institute Berlin. All rights reserved. Imprint.