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-2021 by Zuse Institute Berlin and GAMS. All rights reserved.
Imprint.
QPLIB is licensed under CC-BY 4.0.