MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


Instance: color_lab3_4x0

A generalization of the vertex coloring problem that models the assignment of test variants of a written exam to the desks of a classroom in such a way that desks that are close-by receive different variants.
Formats ams gms lp mod osil pip
Primal Bounds
64.10000000 p1 ( gdx sol )
(infeas: 0)
Dual Bounds
2.65000000 (BARON)
9.27500000 (COUENNE)
6.48958333 (LINDO)
25.58872009 (SCIP)
References Duives, Jelle, Lodi, Andrea, and Malaguti, Enrico, Test-assignment: a quadratic coloring problem, Journal of Heuristics, 19:4, 2013, 549-564.
Source QPLIB instance 3923, contributed by Andrea Lodi
Application Coloring
Added to library 18 Aug 2018
Problem type BQP
#Variables 395
#Binary Variables 395
#Integer Variables 0
#Nonlinear Variables 316
#Nonlinear Binary Variables 316
#Nonlinear Integer Variables 0
Objective Sense min
Objective type quadratic
Objective curvature indefinite
#Nonzeros in Objective 316
#Nonlinear Nonzeros in Objective 316
#Constraints 80
#Linear Constraints 80
#Quadratic Constraints 0
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 0
Operands in Gen. Nonlin. Functions  
Constraints curvature linear
#Nonzeros in Jacobian 474
#Nonlinear Nonzeros in Jacobian 0
#Nonzeros in (Upper-Left) Hessian of Lagrangian 7968
#Nonzeros in Diagonal of Hessian of Lagrangian 0
#Blocks in Hessian of Lagrangian 2
Minimal blocksize in Hessian of Lagrangian 52
Maximal blocksize in Hessian of Lagrangian 264
Average blocksize in Hessian of Lagrangian 158.0
#Semicontinuities 0
#Nonlinear Semicontinuities 0
#SOS type 1 0
#SOS type 2 0
Infeasibility of initial point 1
Sparsity Jacobian Sparsity of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of Hessian of Lagrangian

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*         81       81        0        0        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        396        1      395        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*        791      475      316        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;

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;

Equations  e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
          ,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
          ,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53
          ,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70
          ,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81;


e1.. b2*b3 + 0.25*b2*b4 + 0.5*b2*b5 + 0.75*b2*b6 + 0.5*b2*b7 + 0.125*b2*b8 + 
     0.25*b2*b9 + 0.375*b2*b10 + 0.8*b2*b11 + 0.2*b2*b12 + 0.4*b2*b13 + 0.6*b2*
     b14 + 0.8*b2*b15 + 0.2*b2*b16 + 0.4*b2*b17 + 0.6*b2*b18 + 0.3*b2*b19 + 
     0.075*b2*b20 + 0.15*b2*b21 + 0.225*b2*b22 + b3*b7 + 0.25*b3*b8 + 0.5*b3*b9
      + 0.75*b3*b10 + 0.8*b3*b11 + 0.2*b3*b12 + 0.4*b3*b13 + 0.6*b3*b14 + 0.8*
     b3*b15 + 0.2*b3*b16 + 0.4*b3*b17 + 0.6*b3*b18 + 0.25*b3*b23 + 0.5*b3*b24
      + 0.75*b3*b25 + 0.5*b3*b26 + 0.125*b3*b27 + 0.25*b3*b28 + 0.375*b3*b29 + 
     0.8*b3*b30 + 0.2*b3*b31 + 0.4*b3*b32 + 0.6*b3*b33 + 0.25*b4*b7 + b4*b8 + 
     0.25*b4*b9 + 0.5*b4*b10 + 0.2*b4*b11 + 0.8*b4*b12 + 0.2*b4*b13 + 0.4*b4*
     b14 + 0.2*b4*b15 + 0.8*b4*b16 + 0.2*b4*b17 + 0.4*b4*b18 + b4*b23 + 0.25*b4
     *b24 + 0.5*b4*b25 + 0.125*b4*b26 + 0.5*b4*b27 + 0.125*b4*b28 + 0.25*b4*b29
      + 0.2*b4*b30 + 0.8*b4*b31 + 0.2*b4*b32 + 0.4*b4*b33 + 0.5*b5*b7 + 0.25*b5
     *b8 + b5*b9 + 0.25*b5*b10 + 0.4*b5*b11 + 0.2*b5*b12 + 0.8*b5*b13 + 0.2*b5*
     b14 + 0.4*b5*b15 + 0.2*b5*b16 + 0.8*b5*b17 + 0.2*b5*b18 + 0.25*b5*b23 + b5
     *b24 + 0.25*b5*b25 + 0.25*b5*b26 + 0.125*b5*b27 + 0.5*b5*b28 + 0.125*b5*
     b29 + 0.4*b5*b30 + 0.2*b5*b31 + 0.8*b5*b32 + 0.2*b5*b33 + 0.75*b6*b7 + 0.5
     *b6*b8 + 0.25*b6*b9 + b6*b10 + 0.6*b6*b11 + 0.4*b6*b12 + 0.2*b6*b13 + 0.8*
     b6*b14 + 0.6*b6*b15 + 0.4*b6*b16 + 0.2*b6*b17 + 0.8*b6*b18 + 0.5*b6*b23 + 
     0.25*b6*b24 + b6*b25 + 0.375*b6*b26 + 0.25*b6*b27 + 0.125*b6*b28 + 0.5*b6*
     b29 + 0.6*b6*b30 + 0.4*b6*b31 + 0.2*b6*b32 + 0.8*b6*b33 + 0.8*b7*b15 + 0.2
     *b7*b16 + 0.4*b7*b17 + 0.6*b7*b18 + 0.125*b7*b23 + 0.25*b7*b24 + 0.375*b7*
     b25 + b7*b26 + 0.25*b7*b27 + 0.5*b7*b28 + 0.75*b7*b29 + 0.8*b7*b30 + 0.2*
     b7*b31 + 0.4*b7*b32 + 0.6*b7*b33 + 0.8*b7*b34 + 0.2*b7*b35 + 0.4*b7*b36 + 
     0.6*b7*b37 + 0.2*b8*b15 + 0.8*b8*b16 + 0.2*b8*b17 + 0.4*b8*b18 + 0.5*b8*
     b23 + 0.125*b8*b24 + 0.25*b8*b25 + 0.25*b8*b26 + b8*b27 + 0.25*b8*b28 + 
     0.5*b8*b29 + 0.2*b8*b30 + 0.8*b8*b31 + 0.2*b8*b32 + 0.4*b8*b33 + 0.2*b8*
     b34 + 0.8*b8*b35 + 0.2*b8*b36 + 0.4*b8*b37 + 0.4*b9*b15 + 0.2*b9*b16 + 0.8
     *b9*b17 + 0.2*b9*b18 + 0.125*b9*b23 + 0.5*b9*b24 + 0.125*b9*b25 + 0.5*b9*
     b26 + 0.25*b9*b27 + b9*b28 + 0.25*b9*b29 + 0.4*b9*b30 + 0.2*b9*b31 + 0.8*
     b9*b32 + 0.2*b9*b33 + 0.4*b9*b34 + 0.2*b9*b35 + 0.8*b9*b36 + 0.2*b9*b37 + 
     0.6*b10*b15 + 0.4*b10*b16 + 0.2*b10*b17 + 0.8*b10*b18 + 0.25*b10*b23 + 
     0.125*b10*b24 + 0.5*b10*b25 + 0.75*b10*b26 + 0.5*b10*b27 + 0.25*b10*b28 + 
     b10*b29 + 0.6*b10*b30 + 0.4*b10*b31 + 0.2*b10*b32 + 0.8*b10*b33 + 0.6*b10*
     b34 + 0.4*b10*b35 + 0.2*b10*b36 + 0.8*b10*b37 + b11*b15 + 0.25*b11*b16 + 
     0.5*b11*b17 + 0.75*b11*b18 + 0.2*b11*b23 + 0.4*b11*b24 + 0.6*b11*b25 + 0.5
     *b11*b30 + 0.125*b11*b31 + 0.25*b11*b32 + 0.375*b11*b33 + 0.3*b11*b38 + 
     0.075*b11*b39 + 0.15*b11*b40 + 0.225*b11*b41 + 0.3*b11*b42 + 0.075*b11*b43
      + 0.15*b11*b44 + 0.225*b11*b45 + 0.3*b11*b46 + 0.075*b11*b47 + 0.15*b11*
     b48 + 0.225*b11*b49 + 0.25*b12*b15 + b12*b16 + 0.25*b12*b17 + 0.5*b12*b18
      + 0.8*b12*b23 + 0.2*b12*b24 + 0.4*b12*b25 + 0.125*b12*b30 + 0.5*b12*b31
      + 0.125*b12*b32 + 0.25*b12*b33 + 0.075*b12*b38 + 0.3*b12*b39 + 0.075*b12*
     b40 + 0.15*b12*b41 + 0.075*b12*b42 + 0.3*b12*b43 + 0.075*b12*b44 + 0.15*
     b12*b45 + 0.075*b12*b46 + 0.3*b12*b47 + 0.075*b12*b48 + 0.15*b12*b49 + 0.5
     *b13*b15 + 0.25*b13*b16 + b13*b17 + 0.25*b13*b18 + 0.2*b13*b23 + 0.8*b13*
     b24 + 0.2*b13*b25 + 0.25*b13*b30 + 0.125*b13*b31 + 0.5*b13*b32 + 0.125*b13
     *b33 + 0.15*b13*b38 + 0.075*b13*b39 + 0.3*b13*b40 + 0.075*b13*b41 + 0.15*
     b13*b42 + 0.075*b13*b43 + 0.3*b13*b44 + 0.075*b13*b45 + 0.15*b13*b46 + 
     0.075*b13*b47 + 0.3*b13*b48 + 0.075*b13*b49 + 0.75*b14*b15 + 0.5*b14*b16
      + 0.25*b14*b17 + b14*b18 + 0.4*b14*b23 + 0.2*b14*b24 + 0.8*b14*b25 + 
     0.375*b14*b30 + 0.25*b14*b31 + 0.125*b14*b32 + 0.5*b14*b33 + 0.225*b14*b38
      + 0.15*b14*b39 + 0.075*b14*b40 + 0.3*b14*b41 + 0.225*b14*b42 + 0.15*b14*
     b43 + 0.075*b14*b44 + 0.3*b14*b45 + 0.225*b14*b46 + 0.15*b14*b47 + 0.075*
     b14*b48 + 0.3*b14*b49 + 0.2*b15*b23 + 0.4*b15*b24 + 0.6*b15*b25 + b15*b30
      + 0.25*b15*b31 + 0.5*b15*b32 + 0.75*b15*b33 + 0.5*b15*b34 + 0.125*b15*b35
      + 0.25*b15*b36 + 0.375*b15*b37 + 0.3*b15*b38 + 0.075*b15*b39 + 0.15*b15*
     b40 + 0.225*b15*b41 + 0.3*b15*b42 + 0.075*b15*b43 + 0.15*b15*b44 + 0.225*
     b15*b45 + 0.3*b15*b50 + 0.075*b15*b51 + 0.15*b15*b52 + 0.225*b15*b53 + 0.8
     *b16*b23 + 0.2*b16*b24 + 0.4*b16*b25 + 0.25*b16*b30 + b16*b31 + 0.25*b16*
     b32 + 0.5*b16*b33 + 0.125*b16*b34 + 0.5*b16*b35 + 0.125*b16*b36 + 0.25*b16
     *b37 + 0.075*b16*b38 + 0.3*b16*b39 + 0.075*b16*b40 + 0.15*b16*b41 + 0.075*
     b16*b42 + 0.3*b16*b43 + 0.075*b16*b44 + 0.15*b16*b45 + 0.075*b16*b50 + 0.3
     *b16*b51 + 0.075*b16*b52 + 0.15*b16*b53 + 0.2*b17*b23 + 0.8*b17*b24 + 0.2*
     b17*b25 + 0.5*b17*b30 + 0.25*b17*b31 + b17*b32 + 0.25*b17*b33 + 0.25*b17*
     b34 + 0.125*b17*b35 + 0.5*b17*b36 + 0.125*b17*b37 + 0.15*b17*b38 + 0.075*
     b17*b39 + 0.3*b17*b40 + 0.075*b17*b41 + 0.15*b17*b42 + 0.075*b17*b43 + 0.3
     *b17*b44 + 0.075*b17*b45 + 0.15*b17*b50 + 0.075*b17*b51 + 0.3*b17*b52 + 
     0.075*b17*b53 + 0.4*b18*b23 + 0.2*b18*b24 + 0.8*b18*b25 + 0.75*b18*b30 + 
     0.5*b18*b31 + 0.25*b18*b32 + b18*b33 + 0.375*b18*b34 + 0.25*b18*b35 + 
     0.125*b18*b36 + 0.5*b18*b37 + 0.225*b18*b38 + 0.15*b18*b39 + 0.075*b18*b40
      + 0.3*b18*b41 + 0.225*b18*b42 + 0.15*b18*b43 + 0.075*b18*b44 + 0.3*b18*
     b45 + 0.225*b18*b50 + 0.15*b18*b51 + 0.075*b18*b52 + 0.3*b18*b53 + 0.075*
     b19*b23 + 0.15*b19*b24 + 0.225*b19*b25 + 0.8*b19*b46 + 0.2*b19*b47 + 0.4*
     b19*b48 + 0.6*b19*b49 + 0.3*b19*b54 + 0.075*b19*b55 + 0.15*b19*b56 + 0.225
     *b19*b57 + 0.5*b19*b58 + 0.125*b19*b59 + 0.25*b19*b60 + 0.375*b19*b61 + 
     0.3*b19*b62 + 0.075*b19*b63 + 0.15*b19*b64 + 0.225*b19*b65 + b19*b66 + 
     0.25*b19*b67 + 0.5*b19*b68 + 0.75*b19*b69 + 0.8*b19*b70 + 0.2*b19*b71 + 
     0.4*b19*b72 + 0.6*b19*b73 + 0.3*b20*b23 + 0.075*b20*b24 + 0.15*b20*b25 + 
     0.2*b20*b46 + 0.8*b20*b47 + 0.2*b20*b48 + 0.4*b20*b49 + 0.075*b20*b54 + 
     0.3*b20*b55 + 0.075*b20*b56 + 0.15*b20*b57 + 0.125*b20*b58 + 0.5*b20*b59
      + 0.125*b20*b60 + 0.25*b20*b61 + 0.075*b20*b62 + 0.3*b20*b63 + 0.075*b20*
     b64 + 0.15*b20*b65 + 0.25*b20*b66 + b20*b67 + 0.25*b20*b68 + 0.5*b20*b69
      + 0.2*b20*b70 + 0.8*b20*b71 + 0.2*b20*b72 + 0.4*b20*b73 + 0.075*b21*b23
      + 0.3*b21*b24 + 0.075*b21*b25 + 0.4*b21*b46 + 0.2*b21*b47 + 0.8*b21*b48
      + 0.2*b21*b49 + 0.15*b21*b54 + 0.075*b21*b55 + 0.3*b21*b56 + 0.075*b21*
     b57 + 0.25*b21*b58 + 0.125*b21*b59 + 0.5*b21*b60 + 0.125*b21*b61 + 0.15*
     b21*b62 + 0.075*b21*b63 + 0.3*b21*b64 + 0.075*b21*b65 + 0.5*b21*b66 + 0.25
     *b21*b67 + b21*b68 + 0.25*b21*b69 + 0.4*b21*b70 + 0.2*b21*b71 + 0.8*b21*
     b72 + 0.2*b21*b73 + 0.15*b22*b23 + 0.075*b22*b24 + 0.3*b22*b25 + 0.6*b22*
     b46 + 0.4*b22*b47 + 0.2*b22*b48 + 0.8*b22*b49 + 0.225*b22*b54 + 0.15*b22*
     b55 + 0.075*b22*b56 + 0.3*b22*b57 + 0.375*b22*b58 + 0.25*b22*b59 + 0.125*
     b22*b60 + 0.5*b22*b61 + 0.225*b22*b62 + 0.15*b22*b63 + 0.075*b22*b64 + 0.3
     *b22*b65 + 0.75*b22*b66 + 0.5*b22*b67 + 0.25*b22*b68 + b22*b69 + 0.6*b22*
     b70 + 0.4*b22*b71 + 0.2*b22*b72 + 0.8*b22*b73 + 0.8*b26*b30 + 0.2*b26*b31
      + 0.4*b26*b32 + 0.6*b26*b33 + 0.8*b26*b34 + 0.2*b26*b35 + 0.4*b26*b36 + 
     0.6*b26*b37 + 0.2*b27*b30 + 0.8*b27*b31 + 0.2*b27*b32 + 0.4*b27*b33 + 0.2*
     b27*b34 + 0.8*b27*b35 + 0.2*b27*b36 + 0.4*b27*b37 + 0.4*b28*b30 + 0.2*b28*
     b31 + 0.8*b28*b32 + 0.2*b28*b33 + 0.4*b28*b34 + 0.2*b28*b35 + 0.8*b28*b36
      + 0.2*b28*b37 + 0.6*b29*b30 + 0.4*b29*b31 + 0.2*b29*b32 + 0.8*b29*b33 + 
     0.6*b29*b34 + 0.4*b29*b35 + 0.2*b29*b36 + 0.8*b29*b37 + b30*b34 + 0.25*b30
     *b35 + 0.5*b30*b36 + 0.75*b30*b37 + 0.3*b30*b42 + 0.075*b30*b43 + 0.15*b30
     *b44 + 0.225*b30*b45 + 0.3*b30*b50 + 0.075*b30*b51 + 0.15*b30*b52 + 0.225*
     b30*b53 + 0.3*b30*b74 + 0.075*b30*b75 + 0.15*b30*b76 + 0.225*b30*b77 + 
     0.25*b31*b34 + b31*b35 + 0.25*b31*b36 + 0.5*b31*b37 + 0.075*b31*b42 + 0.3*
     b31*b43 + 0.075*b31*b44 + 0.15*b31*b45 + 0.075*b31*b50 + 0.3*b31*b51 + 
     0.075*b31*b52 + 0.15*b31*b53 + 0.075*b31*b74 + 0.3*b31*b75 + 0.075*b31*b76
      + 0.15*b31*b77 + 0.5*b32*b34 + 0.25*b32*b35 + b32*b36 + 0.25*b32*b37 + 
     0.15*b32*b42 + 0.075*b32*b43 + 0.3*b32*b44 + 0.075*b32*b45 + 0.15*b32*b50
      + 0.075*b32*b51 + 0.3*b32*b52 + 0.075*b32*b53 + 0.15*b32*b74 + 0.075*b32*
     b75 + 0.3*b32*b76 + 0.075*b32*b77 + 0.75*b33*b34 + 0.5*b33*b35 + 0.25*b33*
     b36 + b33*b37 + 0.225*b33*b42 + 0.15*b33*b43 + 0.075*b33*b44 + 0.3*b33*b45
      + 0.225*b33*b50 + 0.15*b33*b51 + 0.075*b33*b52 + 0.3*b33*b53 + 0.225*b33*
     b74 + 0.15*b33*b75 + 0.075*b33*b76 + 0.3*b33*b77 + 0.3*b34*b50 + 0.075*b34
     *b51 + 0.15*b34*b52 + 0.225*b34*b53 + 0.3*b34*b74 + 0.075*b34*b75 + 0.15*
     b34*b76 + 0.225*b34*b77 + 0.075*b35*b50 + 0.3*b35*b51 + 0.075*b35*b52 + 
     0.15*b35*b53 + 0.075*b35*b74 + 0.3*b35*b75 + 0.075*b35*b76 + 0.15*b35*b77
      + 0.15*b36*b50 + 0.075*b36*b51 + 0.3*b36*b52 + 0.075*b36*b53 + 0.15*b36*
     b74 + 0.075*b36*b75 + 0.3*b36*b76 + 0.075*b36*b77 + 0.225*b37*b50 + 0.15*
     b37*b51 + 0.075*b37*b52 + 0.3*b37*b53 + 0.225*b37*b74 + 0.15*b37*b75 + 
     0.075*b37*b76 + 0.3*b37*b77 + b38*b42 + 0.25*b38*b43 + 0.5*b38*b44 + 0.75*
     b38*b45 + 0.5*b38*b50 + 0.125*b38*b51 + 0.25*b38*b52 + 0.375*b38*b53 + 0.8
     *b38*b78 + 0.2*b38*b79 + 0.4*b38*b80 + 0.6*b38*b81 + 0.8*b38*b82 + 0.2*b38
     *b83 + 0.4*b38*b84 + 0.6*b38*b85 + 0.3*b38*b86 + 0.075*b38*b87 + 0.15*b38*
     b88 + 0.225*b38*b89 + 0.25*b39*b42 + b39*b43 + 0.25*b39*b44 + 0.5*b39*b45
      + 0.125*b39*b50 + 0.5*b39*b51 + 0.125*b39*b52 + 0.25*b39*b53 + 0.2*b39*
     b78 + 0.8*b39*b79 + 0.2*b39*b80 + 0.4*b39*b81 + 0.2*b39*b82 + 0.8*b39*b83
      + 0.2*b39*b84 + 0.4*b39*b85 + 0.075*b39*b86 + 0.3*b39*b87 + 0.075*b39*b88
      + 0.15*b39*b89 + 0.5*b40*b42 + 0.25*b40*b43 + b40*b44 + 0.25*b40*b45 + 
     0.25*b40*b50 + 0.125*b40*b51 + 0.5*b40*b52 + 0.125*b40*b53 + 0.4*b40*b78
      + 0.2*b40*b79 + 0.8*b40*b80 + 0.2*b40*b81 + 0.4*b40*b82 + 0.2*b40*b83 + 
     0.8*b40*b84 + 0.2*b40*b85 + 0.15*b40*b86 + 0.075*b40*b87 + 0.3*b40*b88 + 
     0.075*b40*b89 + 0.75*b41*b42 + 0.5*b41*b43 + 0.25*b41*b44 + b41*b45 + 
     0.375*b41*b50 + 0.25*b41*b51 + 0.125*b41*b52 + 0.5*b41*b53 + 0.6*b41*b78
      + 0.4*b41*b79 + 0.2*b41*b80 + 0.8*b41*b81 + 0.6*b41*b82 + 0.4*b41*b83 + 
     0.2*b41*b84 + 0.8*b41*b85 + 0.225*b41*b86 + 0.15*b41*b87 + 0.075*b41*b88
      + 0.3*b41*b89 + b42*b50 + 0.25*b42*b51 + 0.5*b42*b52 + 0.75*b42*b53 + 0.5
     *b42*b74 + 0.125*b42*b75 + 0.25*b42*b76 + 0.375*b42*b77 + 0.8*b42*b78 + 
     0.2*b42*b79 + 0.4*b42*b80 + 0.6*b42*b81 + 0.8*b42*b82 + 0.2*b42*b83 + 0.4*
     b42*b84 + 0.6*b42*b85 + 0.8*b42*b90 + 0.2*b42*b91 + 0.4*b42*b92 + 0.6*b42*
     b93 + 0.25*b43*b50 + b43*b51 + 0.25*b43*b52 + 0.5*b43*b53 + 0.125*b43*b74
      + 0.5*b43*b75 + 0.125*b43*b76 + 0.25*b43*b77 + 0.2*b43*b78 + 0.8*b43*b79
      + 0.2*b43*b80 + 0.4*b43*b81 + 0.2*b43*b82 + 0.8*b43*b83 + 0.2*b43*b84 + 
     0.4*b43*b85 + 0.2*b43*b90 + 0.8*b43*b91 + 0.2*b43*b92 + 0.4*b43*b93 + 0.5*
     b44*b50 + 0.25*b44*b51 + b44*b52 + 0.25*b44*b53 + 0.25*b44*b74 + 0.125*b44
     *b75 + 0.5*b44*b76 + 0.125*b44*b77 + 0.4*b44*b78 + 0.2*b44*b79 + 0.8*b44*
     b80 + 0.2*b44*b81 + 0.4*b44*b82 + 0.2*b44*b83 + 0.8*b44*b84 + 0.2*b44*b85
      + 0.4*b44*b90 + 0.2*b44*b91 + 0.8*b44*b92 + 0.2*b44*b93 + 0.75*b45*b50 + 
     0.5*b45*b51 + 0.25*b45*b52 + b45*b53 + 0.375*b45*b74 + 0.25*b45*b75 + 
     0.125*b45*b76 + 0.5*b45*b77 + 0.6*b45*b78 + 0.4*b45*b79 + 0.2*b45*b80 + 
     0.8*b45*b81 + 0.6*b45*b82 + 0.4*b45*b83 + 0.2*b45*b84 + 0.8*b45*b85 + 0.6*
     b45*b90 + 0.4*b45*b91 + 0.2*b45*b92 + 0.8*b45*b93 + 0.8*b46*b66 + 0.2*b46*
     b67 + 0.4*b46*b68 + 0.6*b46*b69 + b46*b70 + 0.25*b46*b71 + 0.5*b46*b72 + 
     0.75*b46*b73 + 0.3*b46*b86 + 0.075*b46*b87 + 0.15*b46*b88 + 0.225*b46*b89
      + 0.5*b46*b94 + 0.125*b46*b95 + 0.25*b46*b96 + 0.375*b46*b97 + 0.3*b46*
     b98 + 0.075*b46*b99 + 0.15*b46*b100 + 0.225*b46*b101 + 0.2*b47*b66 + 0.8*
     b47*b67 + 0.2*b47*b68 + 0.4*b47*b69 + 0.25*b47*b70 + b47*b71 + 0.25*b47*
     b72 + 0.5*b47*b73 + 0.075*b47*b86 + 0.3*b47*b87 + 0.075*b47*b88 + 0.15*b47
     *b89 + 0.125*b47*b94 + 0.5*b47*b95 + 0.125*b47*b96 + 0.25*b47*b97 + 0.075*
     b47*b98 + 0.3*b47*b99 + 0.075*b47*b100 + 0.15*b47*b101 + 0.4*b48*b66 + 0.2
     *b48*b67 + 0.8*b48*b68 + 0.2*b48*b69 + 0.5*b48*b70 + 0.25*b48*b71 + b48*
     b72 + 0.25*b48*b73 + 0.15*b48*b86 + 0.075*b48*b87 + 0.3*b48*b88 + 0.075*
     b48*b89 + 0.25*b48*b94 + 0.125*b48*b95 + 0.5*b48*b96 + 0.125*b48*b97 + 
     0.15*b48*b98 + 0.075*b48*b99 + 0.3*b48*b100 + 0.075*b48*b101 + 0.6*b49*b66
      + 0.4*b49*b67 + 0.2*b49*b68 + 0.8*b49*b69 + 0.75*b49*b70 + 0.5*b49*b71 + 
     0.25*b49*b72 + b49*b73 + 0.225*b49*b86 + 0.15*b49*b87 + 0.075*b49*b88 + 
     0.3*b49*b89 + 0.375*b49*b94 + 0.25*b49*b95 + 0.125*b49*b96 + 0.5*b49*b97
      + 0.225*b49*b98 + 0.15*b49*b99 + 0.075*b49*b100 + 0.3*b49*b101 + b50*b74
      + 0.25*b50*b75 + 0.5*b50*b76 + 0.75*b50*b77 + 0.8*b50*b82 + 0.2*b50*b83
      + 0.4*b50*b84 + 0.6*b50*b85 + 0.8*b50*b90 + 0.2*b50*b91 + 0.4*b50*b92 + 
     0.6*b50*b93 + 0.8*b50*b102 + 0.2*b50*b103 + 0.4*b50*b104 + 0.6*b50*b105 + 
     0.25*b51*b74 + b51*b75 + 0.25*b51*b76 + 0.5*b51*b77 + 0.2*b51*b82 + 0.8*
     b51*b83 + 0.2*b51*b84 + 0.4*b51*b85 + 0.2*b51*b90 + 0.8*b51*b91 + 0.2*b51*
     b92 + 0.4*b51*b93 + 0.2*b51*b102 + 0.8*b51*b103 + 0.2*b51*b104 + 0.4*b51*
     b105 + 0.5*b52*b74 + 0.25*b52*b75 + b52*b76 + 0.25*b52*b77 + 0.4*b52*b82
      + 0.2*b52*b83 + 0.8*b52*b84 + 0.2*b52*b85 + 0.4*b52*b90 + 0.2*b52*b91 + 
     0.8*b52*b92 + 0.2*b52*b93 + 0.4*b52*b102 + 0.2*b52*b103 + 0.8*b52*b104 + 
     0.2*b52*b105 + 0.75*b53*b74 + 0.5*b53*b75 + 0.25*b53*b76 + b53*b77 + 0.6*
     b53*b82 + 0.4*b53*b83 + 0.2*b53*b84 + 0.8*b53*b85 + 0.6*b53*b90 + 0.4*b53*
     b91 + 0.2*b53*b92 + 0.8*b53*b93 + 0.6*b53*b102 + 0.4*b53*b103 + 0.2*b53*
     b104 + 0.8*b53*b105 + 0.3*b54*b58 + 0.075*b54*b59 + 0.15*b54*b60 + 0.225*
     b54*b61 + b54*b62 + 0.25*b54*b63 + 0.5*b54*b64 + 0.75*b54*b65 + 0.3*b54*
     b66 + 0.075*b54*b67 + 0.15*b54*b68 + 0.225*b54*b69 + 0.5*b54*b106 + b54*
     b107 + 0.25*b54*b108 + 0.5*b54*b109 + 0.75*b54*b110 + 0.125*b54*b111 + 
     0.25*b54*b112 + 0.375*b54*b113 + 0.075*b55*b58 + 0.3*b55*b59 + 0.075*b55*
     b60 + 0.15*b55*b61 + 0.25*b55*b62 + b55*b63 + 0.25*b55*b64 + 0.5*b55*b65
      + 0.075*b55*b66 + 0.3*b55*b67 + 0.075*b55*b68 + 0.15*b55*b69 + 0.125*b55*
     b106 + 0.25*b55*b107 + b55*b108 + 0.25*b55*b109 + 0.5*b55*b110 + 0.5*b55*
     b111 + 0.125*b55*b112 + 0.25*b55*b113 + 0.15*b56*b58 + 0.075*b56*b59 + 0.3
     *b56*b60 + 0.075*b56*b61 + 0.5*b56*b62 + 0.25*b56*b63 + b56*b64 + 0.25*b56
     *b65 + 0.15*b56*b66 + 0.075*b56*b67 + 0.3*b56*b68 + 0.075*b56*b69 + 0.25*
     b56*b106 + 0.5*b56*b107 + 0.25*b56*b108 + b56*b109 + 0.25*b56*b110 + 0.125
     *b56*b111 + 0.5*b56*b112 + 0.125*b56*b113 + 0.225*b57*b58 + 0.15*b57*b59
      + 0.075*b57*b60 + 0.3*b57*b61 + 0.75*b57*b62 + 0.5*b57*b63 + 0.25*b57*b64
      + b57*b65 + 0.225*b57*b66 + 0.15*b57*b67 + 0.075*b57*b68 + 0.3*b57*b69 + 
     0.375*b57*b106 + 0.75*b57*b107 + 0.5*b57*b108 + 0.25*b57*b109 + b57*b110
      + 0.25*b57*b111 + 0.125*b57*b112 + 0.5*b57*b113 + b58*b66 + 0.25*b58*b67
      + 0.5*b58*b68 + 0.75*b58*b69 + 0.8*b58*b70 + 0.2*b58*b71 + 0.4*b58*b72 + 
     0.6*b58*b73 + 0.8*b58*b94 + 0.2*b58*b95 + 0.4*b58*b96 + 0.6*b58*b97 + 0.3*
     b58*b106 + 0.3*b58*b107 + 0.075*b58*b108 + 0.15*b58*b109 + 0.225*b58*b110
      + 0.075*b58*b111 + 0.15*b58*b112 + 0.225*b58*b113 + b58*b114 + 0.25*b58*
     b115 + 0.5*b58*b116 + 0.75*b58*b117 + 0.8*b58*b118 + 0.2*b58*b119 + 0.4*
     b58*b120 + 0.6*b58*b121 + 0.25*b59*b66 + b59*b67 + 0.25*b59*b68 + 0.5*b59*
     b69 + 0.2*b59*b70 + 0.8*b59*b71 + 0.2*b59*b72 + 0.4*b59*b73 + 0.2*b59*b94
      + 0.8*b59*b95 + 0.2*b59*b96 + 0.4*b59*b97 + 0.075*b59*b106 + 0.075*b59*
     b107 + 0.3*b59*b108 + 0.075*b59*b109 + 0.15*b59*b110 + 0.3*b59*b111 + 
     0.075*b59*b112 + 0.15*b59*b113 + 0.25*b59*b114 + b59*b115 + 0.25*b59*b116
      + 0.5*b59*b117 + 0.2*b59*b118 + 0.8*b59*b119 + 0.2*b59*b120 + 0.4*b59*
     b121 + 0.5*b60*b66 + 0.25*b60*b67 + b60*b68 + 0.25*b60*b69 + 0.4*b60*b70
      + 0.2*b60*b71 + 0.8*b60*b72 + 0.2*b60*b73 + 0.4*b60*b94 + 0.2*b60*b95 + 
     0.8*b60*b96 + 0.2*b60*b97 + 0.15*b60*b106 + 0.15*b60*b107 + 0.075*b60*b108
      + 0.3*b60*b109 + 0.075*b60*b110 + 0.075*b60*b111 + 0.3*b60*b112 + 0.075*
     b60*b113 + 0.5*b60*b114 + 0.25*b60*b115 + b60*b116 + 0.25*b60*b117 + 0.4*
     b60*b118 + 0.2*b60*b119 + 0.8*b60*b120 + 0.2*b60*b121 + 0.75*b61*b66 + 0.5
     *b61*b67 + 0.25*b61*b68 + b61*b69 + 0.6*b61*b70 + 0.4*b61*b71 + 0.2*b61*
     b72 + 0.8*b61*b73 + 0.6*b61*b94 + 0.4*b61*b95 + 0.2*b61*b96 + 0.8*b61*b97
      + 0.225*b61*b106 + 0.225*b61*b107 + 0.15*b61*b108 + 0.075*b61*b109 + 0.3*
     b61*b110 + 0.15*b61*b111 + 0.075*b61*b112 + 0.3*b61*b113 + 0.75*b61*b114
      + 0.5*b61*b115 + 0.25*b61*b116 + b61*b117 + 0.6*b61*b118 + 0.4*b61*b119
      + 0.2*b61*b120 + 0.8*b61*b121 + 0.3*b62*b66 + 0.075*b62*b67 + 0.15*b62*
     b68 + 0.225*b62*b69 + 0.5*b62*b107 + 0.125*b62*b108 + 0.25*b62*b109 + 
     0.375*b62*b110 + 0.075*b63*b66 + 0.3*b63*b67 + 0.075*b63*b68 + 0.15*b63*
     b69 + 0.125*b63*b107 + 0.5*b63*b108 + 0.125*b63*b109 + 0.25*b63*b110 + 
     0.15*b64*b66 + 0.075*b64*b67 + 0.3*b64*b68 + 0.075*b64*b69 + 0.25*b64*b107
      + 0.125*b64*b108 + 0.5*b64*b109 + 0.125*b64*b110 + 0.225*b65*b66 + 0.15*
     b65*b67 + 0.075*b65*b68 + 0.3*b65*b69 + 0.375*b65*b107 + 0.25*b65*b108 + 
     0.125*b65*b109 + 0.5*b65*b110 + 0.8*b66*b70 + 0.2*b66*b71 + 0.4*b66*b72 + 
     0.6*b66*b73 + 0.8*b66*b94 + 0.2*b66*b95 + 0.4*b66*b96 + 0.6*b66*b97 + 0.3*
     b66*b107 + 0.075*b66*b108 + 0.15*b66*b109 + 0.225*b66*b110 + 0.5*b66*b114
      + 0.125*b66*b115 + 0.25*b66*b116 + 0.375*b66*b117 + 0.2*b67*b70 + 0.8*b67
     *b71 + 0.2*b67*b72 + 0.4*b67*b73 + 0.2*b67*b94 + 0.8*b67*b95 + 0.2*b67*b96
      + 0.4*b67*b97 + 0.075*b67*b107 + 0.3*b67*b108 + 0.075*b67*b109 + 0.15*b67
     *b110 + 0.125*b67*b114 + 0.5*b67*b115 + 0.125*b67*b116 + 0.25*b67*b117 + 
     0.4*b68*b70 + 0.2*b68*b71 + 0.8*b68*b72 + 0.2*b68*b73 + 0.4*b68*b94 + 0.2*
     b68*b95 + 0.8*b68*b96 + 0.2*b68*b97 + 0.15*b68*b107 + 0.075*b68*b108 + 0.3
     *b68*b109 + 0.075*b68*b110 + 0.25*b68*b114 + 0.125*b68*b115 + 0.5*b68*b116
      + 0.125*b68*b117 + 0.6*b69*b70 + 0.4*b69*b71 + 0.2*b69*b72 + 0.8*b69*b73
      + 0.6*b69*b94 + 0.4*b69*b95 + 0.2*b69*b96 + 0.8*b69*b97 + 0.225*b69*b107
      + 0.15*b69*b108 + 0.075*b69*b109 + 0.3*b69*b110 + 0.375*b69*b114 + 0.25*
     b69*b115 + 0.125*b69*b116 + 0.5*b69*b117 + 0.3*b70*b86 + 0.075*b70*b87 + 
     0.15*b70*b88 + 0.225*b70*b89 + b70*b94 + 0.25*b70*b95 + 0.5*b70*b96 + 0.75
     *b70*b97 + 0.3*b70*b98 + 0.075*b70*b99 + 0.15*b70*b100 + 0.225*b70*b101 + 
     0.5*b70*b118 + 0.125*b70*b119 + 0.25*b70*b120 + 0.375*b70*b121 + 0.3*b70*
     b122 + 0.075*b70*b123 + 0.15*b70*b124 + 0.225*b70*b125 + 0.075*b71*b86 + 
     0.3*b71*b87 + 0.075*b71*b88 + 0.15*b71*b89 + 0.25*b71*b94 + b71*b95 + 0.25
     *b71*b96 + 0.5*b71*b97 + 0.075*b71*b98 + 0.3*b71*b99 + 0.075*b71*b100 + 
     0.15*b71*b101 + 0.125*b71*b118 + 0.5*b71*b119 + 0.125*b71*b120 + 0.25*b71*
     b121 + 0.075*b71*b122 + 0.3*b71*b123 + 0.075*b71*b124 + 0.15*b71*b125 + 
     0.15*b72*b86 + 0.075*b72*b87 + 0.3*b72*b88 + 0.075*b72*b89 + 0.5*b72*b94
      + 0.25*b72*b95 + b72*b96 + 0.25*b72*b97 + 0.15*b72*b98 + 0.075*b72*b99 + 
     0.3*b72*b100 + 0.075*b72*b101 + 0.25*b72*b118 + 0.125*b72*b119 + 0.5*b72*
     b120 + 0.125*b72*b121 + 0.15*b72*b122 + 0.075*b72*b123 + 0.3*b72*b124 + 
     0.075*b72*b125 + 0.225*b73*b86 + 0.15*b73*b87 + 0.075*b73*b88 + 0.3*b73*
     b89 + 0.75*b73*b94 + 0.5*b73*b95 + 0.25*b73*b96 + b73*b97 + 0.225*b73*b98
      + 0.15*b73*b99 + 0.075*b73*b100 + 0.3*b73*b101 + 0.375*b73*b118 + 0.25*
     b73*b119 + 0.125*b73*b120 + 0.5*b73*b121 + 0.225*b73*b122 + 0.15*b73*b123
      + 0.075*b73*b124 + 0.3*b73*b125 + 0.8*b74*b90 + 0.2*b74*b91 + 0.4*b74*b92
      + 0.6*b74*b93 + 0.8*b74*b102 + 0.2*b74*b103 + 0.4*b74*b104 + 0.6*b74*b105
      + 0.2*b75*b90 + 0.8*b75*b91 + 0.2*b75*b92 + 0.4*b75*b93 + 0.2*b75*b102 + 
     0.8*b75*b103 + 0.2*b75*b104 + 0.4*b75*b105 + 0.4*b76*b90 + 0.2*b76*b91 + 
     0.8*b76*b92 + 0.2*b76*b93 + 0.4*b76*b102 + 0.2*b76*b103 + 0.8*b76*b104 + 
     0.2*b76*b105 + 0.6*b77*b90 + 0.4*b77*b91 + 0.2*b77*b92 + 0.8*b77*b93 + 0.6
     *b77*b102 + 0.4*b77*b103 + 0.2*b77*b104 + 0.8*b77*b105 + b78*b82 + 0.25*
     b78*b83 + 0.5*b78*b84 + 0.75*b78*b85 + 0.5*b78*b90 + 0.125*b78*b91 + 0.25*
     b78*b92 + 0.375*b78*b93 + 0.3*b78*b126 + 0.075*b78*b127 + 0.15*b78*b128 + 
     0.225*b78*b129 + 0.3*b78*b130 + 0.075*b78*b131 + 0.15*b78*b132 + 0.225*b78
     *b133 + 0.25*b79*b82 + b79*b83 + 0.25*b79*b84 + 0.5*b79*b85 + 0.125*b79*
     b90 + 0.5*b79*b91 + 0.125*b79*b92 + 0.25*b79*b93 + 0.075*b79*b126 + 0.3*
     b79*b127 + 0.075*b79*b128 + 0.15*b79*b129 + 0.075*b79*b130 + 0.3*b79*b131
      + 0.075*b79*b132 + 0.15*b79*b133 + 0.5*b80*b82 + 0.25*b80*b83 + b80*b84
      + 0.25*b80*b85 + 0.25*b80*b90 + 0.125*b80*b91 + 0.5*b80*b92 + 0.125*b80*
     b93 + 0.15*b80*b126 + 0.075*b80*b127 + 0.3*b80*b128 + 0.075*b80*b129 + 
     0.15*b80*b130 + 0.075*b80*b131 + 0.3*b80*b132 + 0.075*b80*b133 + 0.75*b81*
     b82 + 0.5*b81*b83 + 0.25*b81*b84 + b81*b85 + 0.375*b81*b90 + 0.25*b81*b91
      + 0.125*b81*b92 + 0.5*b81*b93 + 0.225*b81*b126 + 0.15*b81*b127 + 0.075*
     b81*b128 + 0.3*b81*b129 + 0.225*b81*b130 + 0.15*b81*b131 + 0.075*b81*b132
      + 0.3*b81*b133 + b82*b90 + 0.25*b82*b91 + 0.5*b82*b92 + 0.75*b82*b93 + 
     0.5*b82*b102 + 0.125*b82*b103 + 0.25*b82*b104 + 0.375*b82*b105 + 0.3*b82*
     b126 + 0.075*b82*b127 + 0.15*b82*b128 + 0.225*b82*b129 + 0.25*b83*b90 + 
     b83*b91 + 0.25*b83*b92 + 0.5*b83*b93 + 0.125*b83*b102 + 0.5*b83*b103 + 
     0.125*b83*b104 + 0.25*b83*b105 + 0.075*b83*b126 + 0.3*b83*b127 + 0.075*b83
     *b128 + 0.15*b83*b129 + 0.5*b84*b90 + 0.25*b84*b91 + b84*b92 + 0.25*b84*
     b93 + 0.25*b84*b102 + 0.125*b84*b103 + 0.5*b84*b104 + 0.125*b84*b105 + 
     0.15*b84*b126 + 0.075*b84*b127 + 0.3*b84*b128 + 0.075*b84*b129 + 0.75*b85*
     b90 + 0.5*b85*b91 + 0.25*b85*b92 + b85*b93 + 0.375*b85*b102 + 0.25*b85*
     b103 + 0.125*b85*b104 + 0.5*b85*b105 + 0.225*b85*b126 + 0.15*b85*b127 + 
     0.075*b85*b128 + 0.3*b85*b129 + b86*b98 + 0.25*b86*b99 + 0.5*b86*b100 + 
     0.75*b86*b101 + 0.5*b86*b122 + 0.125*b86*b123 + 0.25*b86*b124 + 0.375*b86*
     b125 + 0.8*b86*b130 + 0.2*b86*b131 + 0.4*b86*b132 + 0.6*b86*b133 + 0.8*b86
     *b134 + 0.2*b86*b135 + 0.4*b86*b136 + 0.6*b86*b137 + 0.25*b87*b98 + b87*
     b99 + 0.25*b87*b100 + 0.5*b87*b101 + 0.125*b87*b122 + 0.5*b87*b123 + 0.125
     *b87*b124 + 0.25*b87*b125 + 0.2*b87*b130 + 0.8*b87*b131 + 0.2*b87*b132 + 
     0.4*b87*b133 + 0.2*b87*b134 + 0.8*b87*b135 + 0.2*b87*b136 + 0.4*b87*b137
      + 0.5*b88*b98 + 0.25*b88*b99 + b88*b100 + 0.25*b88*b101 + 0.25*b88*b122
      + 0.125*b88*b123 + 0.5*b88*b124 + 0.125*b88*b125 + 0.4*b88*b130 + 0.2*b88
     *b131 + 0.8*b88*b132 + 0.2*b88*b133 + 0.4*b88*b134 + 0.2*b88*b135 + 0.8*
     b88*b136 + 0.2*b88*b137 + 0.75*b89*b98 + 0.5*b89*b99 + 0.25*b89*b100 + b89
     *b101 + 0.375*b89*b122 + 0.25*b89*b123 + 0.125*b89*b124 + 0.5*b89*b125 + 
     0.6*b89*b130 + 0.4*b89*b131 + 0.2*b89*b132 + 0.8*b89*b133 + 0.6*b89*b134
      + 0.4*b89*b135 + 0.2*b89*b136 + 0.8*b89*b137 + b90*b102 + 0.25*b90*b103
      + 0.5*b90*b104 + 0.75*b90*b105 + 0.3*b90*b138 + 0.075*b90*b139 + 0.15*b90
     *b140 + 0.225*b90*b141 + 0.25*b91*b102 + b91*b103 + 0.25*b91*b104 + 0.5*
     b91*b105 + 0.075*b91*b138 + 0.3*b91*b139 + 0.075*b91*b140 + 0.15*b91*b141
      + 0.5*b92*b102 + 0.25*b92*b103 + b92*b104 + 0.25*b92*b105 + 0.15*b92*b138
      + 0.075*b92*b139 + 0.3*b92*b140 + 0.075*b92*b141 + 0.75*b93*b102 + 0.5*
     b93*b103 + 0.25*b93*b104 + b93*b105 + 0.225*b93*b138 + 0.15*b93*b139 + 
     0.075*b93*b140 + 0.3*b93*b141 + 0.3*b94*b98 + 0.075*b94*b99 + 0.15*b94*
     b100 + 0.225*b94*b101 + 0.8*b94*b114 + 0.2*b94*b115 + 0.4*b94*b116 + 0.6*
     b94*b117 + b94*b118 + 0.25*b94*b119 + 0.5*b94*b120 + 0.75*b94*b121 + 0.3*
     b94*b122 + 0.075*b94*b123 + 0.15*b94*b124 + 0.225*b94*b125 + 0.3*b94*b142
      + 0.075*b94*b143 + 0.15*b94*b144 + 0.225*b94*b145 + 0.075*b95*b98 + 0.3*
     b95*b99 + 0.075*b95*b100 + 0.15*b95*b101 + 0.2*b95*b114 + 0.8*b95*b115 + 
     0.2*b95*b116 + 0.4*b95*b117 + 0.25*b95*b118 + b95*b119 + 0.25*b95*b120 + 
     0.5*b95*b121 + 0.075*b95*b122 + 0.3*b95*b123 + 0.075*b95*b124 + 0.15*b95*
     b125 + 0.075*b95*b142 + 0.3*b95*b143 + 0.075*b95*b144 + 0.15*b95*b145 + 
     0.15*b96*b98 + 0.075*b96*b99 + 0.3*b96*b100 + 0.075*b96*b101 + 0.4*b96*
     b114 + 0.2*b96*b115 + 0.8*b96*b116 + 0.2*b96*b117 + 0.5*b96*b118 + 0.25*
     b96*b119 + b96*b120 + 0.25*b96*b121 + 0.15*b96*b122 + 0.075*b96*b123 + 0.3
     *b96*b124 + 0.075*b96*b125 + 0.15*b96*b142 + 0.075*b96*b143 + 0.3*b96*b144
      + 0.075*b96*b145 + 0.225*b97*b98 + 0.15*b97*b99 + 0.075*b97*b100 + 0.3*
     b97*b101 + 0.6*b97*b114 + 0.4*b97*b115 + 0.2*b97*b116 + 0.8*b97*b117 + 
     0.75*b97*b118 + 0.5*b97*b119 + 0.25*b97*b120 + b97*b121 + 0.225*b97*b122
      + 0.15*b97*b123 + 0.075*b97*b124 + 0.3*b97*b125 + 0.225*b97*b142 + 0.15*
     b97*b143 + 0.075*b97*b144 + 0.3*b97*b145 + b98*b122 + 0.25*b98*b123 + 0.5*
     b98*b124 + 0.75*b98*b125 + 0.8*b98*b130 + 0.2*b98*b131 + 0.4*b98*b132 + 
     0.6*b98*b133 + 0.8*b98*b134 + 0.2*b98*b135 + 0.4*b98*b136 + 0.6*b98*b137
      + 0.5*b98*b142 + 0.125*b98*b143 + 0.25*b98*b144 + 0.375*b98*b145 + 0.8*
     b98*b146 + 0.2*b98*b147 + 0.4*b98*b148 + 0.6*b98*b149 + 0.25*b99*b122 + 
     b99*b123 + 0.25*b99*b124 + 0.5*b99*b125 + 0.2*b99*b130 + 0.8*b99*b131 + 
     0.2*b99*b132 + 0.4*b99*b133 + 0.2*b99*b134 + 0.8*b99*b135 + 0.2*b99*b136
      + 0.4*b99*b137 + 0.125*b99*b142 + 0.5*b99*b143 + 0.125*b99*b144 + 0.25*
     b99*b145 + 0.2*b99*b146 + 0.8*b99*b147 + 0.2*b99*b148 + 0.4*b99*b149 + 0.5
     *b100*b122 + 0.25*b100*b123 + b100*b124 + 0.25*b100*b125 + 0.4*b100*b130
      + 0.2*b100*b131 + 0.8*b100*b132 + 0.2*b100*b133 + 0.4*b100*b134 + 0.2*
     b100*b135 + 0.8*b100*b136 + 0.2*b100*b137 + 0.25*b100*b142 + 0.125*b100*
     b143 + 0.5*b100*b144 + 0.125*b100*b145 + 0.4*b100*b146 + 0.2*b100*b147 + 
     0.8*b100*b148 + 0.2*b100*b149 + 0.75*b101*b122 + 0.5*b101*b123 + 0.25*b101
     *b124 + b101*b125 + 0.6*b101*b130 + 0.4*b101*b131 + 0.2*b101*b132 + 0.8*
     b101*b133 + 0.6*b101*b134 + 0.4*b101*b135 + 0.2*b101*b136 + 0.8*b101*b137
      + 0.375*b101*b142 + 0.25*b101*b143 + 0.125*b101*b144 + 0.5*b101*b145 + 
     0.6*b101*b146 + 0.4*b101*b147 + 0.2*b101*b148 + 0.8*b101*b149 + 0.3*b102*
     b138 + 0.075*b102*b139 + 0.15*b102*b140 + 0.225*b102*b141 + 0.075*b103*
     b138 + 0.3*b103*b139 + 0.075*b103*b140 + 0.15*b103*b141 + 0.15*b104*b138
      + 0.075*b104*b139 + 0.3*b104*b140 + 0.075*b104*b141 + 0.225*b105*b138 + 
     0.15*b105*b139 + 0.075*b105*b140 + 0.3*b105*b141 + b106*b107 + 0.25*b106*
     b108 + 0.5*b106*b109 + 0.75*b106*b110 + 0.3*b106*b114 + 0.075*b106*b115 + 
     0.15*b106*b116 + 0.225*b106*b117 + 0.25*b107*b111 + 0.5*b107*b112 + 0.75*
     b107*b113 + 0.3*b107*b114 + 0.075*b107*b115 + 0.15*b107*b116 + 0.225*b107*
     b117 + b108*b111 + 0.25*b108*b112 + 0.5*b108*b113 + 0.075*b108*b114 + 0.3*
     b108*b115 + 0.075*b108*b116 + 0.15*b108*b117 + 0.25*b109*b111 + b109*b112
      + 0.25*b109*b113 + 0.15*b109*b114 + 0.075*b109*b115 + 0.3*b109*b116 + 
     0.075*b109*b117 + 0.5*b110*b111 + 0.25*b110*b112 + b110*b113 + 0.225*b110*
     b114 + 0.15*b110*b115 + 0.075*b110*b116 + 0.3*b110*b117 + 0.075*b111*b114
      + 0.3*b111*b115 + 0.075*b111*b116 + 0.15*b111*b117 + 0.15*b112*b114 + 
     0.075*b112*b115 + 0.3*b112*b116 + 0.075*b112*b117 + 0.225*b113*b114 + 0.15
     *b113*b115 + 0.075*b113*b116 + 0.3*b113*b117 + 0.8*b114*b118 + 0.2*b114*
     b119 + 0.4*b114*b120 + 0.6*b114*b121 + 0.2*b115*b118 + 0.8*b115*b119 + 0.2
     *b115*b120 + 0.4*b115*b121 + 0.4*b116*b118 + 0.2*b116*b119 + 0.8*b116*b120
      + 0.2*b116*b121 + 0.6*b117*b118 + 0.4*b117*b119 + 0.2*b117*b120 + 0.8*
     b117*b121 + 0.3*b118*b122 + 0.075*b118*b123 + 0.15*b118*b124 + 0.225*b118*
     b125 + 0.3*b118*b142 + 0.075*b118*b143 + 0.15*b118*b144 + 0.225*b118*b145
      + 0.075*b119*b122 + 0.3*b119*b123 + 0.075*b119*b124 + 0.15*b119*b125 + 
     0.075*b119*b142 + 0.3*b119*b143 + 0.075*b119*b144 + 0.15*b119*b145 + 0.15*
     b120*b122 + 0.075*b120*b123 + 0.3*b120*b124 + 0.075*b120*b125 + 0.15*b120*
     b142 + 0.075*b120*b143 + 0.3*b120*b144 + 0.075*b120*b145 + 0.225*b121*b122
      + 0.15*b121*b123 + 0.075*b121*b124 + 0.3*b121*b125 + 0.225*b121*b142 + 
     0.15*b121*b143 + 0.075*b121*b144 + 0.3*b121*b145 + 0.8*b122*b134 + 0.2*
     b122*b135 + 0.4*b122*b136 + 0.6*b122*b137 + b122*b142 + 0.25*b122*b143 + 
     0.5*b122*b144 + 0.75*b122*b145 + 0.8*b122*b146 + 0.2*b122*b147 + 0.4*b122*
     b148 + 0.6*b122*b149 + 0.8*b122*b150 + 0.2*b122*b151 + 0.4*b122*b152 + 0.6
     *b122*b153 + 0.2*b123*b134 + 0.8*b123*b135 + 0.2*b123*b136 + 0.4*b123*b137
      + 0.25*b123*b142 + b123*b143 + 0.25*b123*b144 + 0.5*b123*b145 + 0.2*b123*
     b146 + 0.8*b123*b147 + 0.2*b123*b148 + 0.4*b123*b149 + 0.2*b123*b150 + 0.8
     *b123*b151 + 0.2*b123*b152 + 0.4*b123*b153 + 0.4*b124*b134 + 0.2*b124*b135
      + 0.8*b124*b136 + 0.2*b124*b137 + 0.5*b124*b142 + 0.25*b124*b143 + b124*
     b144 + 0.25*b124*b145 + 0.4*b124*b146 + 0.2*b124*b147 + 0.8*b124*b148 + 
     0.2*b124*b149 + 0.4*b124*b150 + 0.2*b124*b151 + 0.8*b124*b152 + 0.2*b124*
     b153 + 0.6*b125*b134 + 0.4*b125*b135 + 0.2*b125*b136 + 0.8*b125*b137 + 
     0.75*b125*b142 + 0.5*b125*b143 + 0.25*b125*b144 + b125*b145 + 0.6*b125*
     b146 + 0.4*b125*b147 + 0.2*b125*b148 + 0.8*b125*b149 + 0.6*b125*b150 + 0.4
     *b125*b151 + 0.2*b125*b152 + 0.8*b125*b153 + 0.8*b126*b154 + 0.2*b126*b155
      + 0.4*b126*b156 + 0.6*b126*b157 + 0.8*b126*b158 + 0.2*b126*b159 + 0.4*
     b126*b160 + 0.6*b126*b161 + 0.3*b126*b162 + 0.075*b126*b163 + 0.15*b126*
     b164 + 0.225*b126*b165 + 0.2*b127*b154 + 0.8*b127*b155 + 0.2*b127*b156 + 
     0.4*b127*b157 + 0.2*b127*b158 + 0.8*b127*b159 + 0.2*b127*b160 + 0.4*b127*
     b161 + 0.075*b127*b162 + 0.3*b127*b163 + 0.075*b127*b164 + 0.15*b127*b165
      + 0.4*b128*b154 + 0.2*b128*b155 + 0.8*b128*b156 + 0.2*b128*b157 + 0.4*
     b128*b158 + 0.2*b128*b159 + 0.8*b128*b160 + 0.2*b128*b161 + 0.15*b128*b162
      + 0.075*b128*b163 + 0.3*b128*b164 + 0.075*b128*b165 + 0.6*b129*b154 + 0.4
     *b129*b155 + 0.2*b129*b156 + 0.8*b129*b157 + 0.6*b129*b158 + 0.4*b129*b159
      + 0.2*b129*b160 + 0.8*b129*b161 + 0.225*b129*b162 + 0.15*b129*b163 + 
     0.075*b129*b164 + 0.3*b129*b165 + b130*b134 + 0.25*b130*b135 + 0.5*b130*
     b136 + 0.75*b130*b137 + 0.5*b130*b146 + 0.125*b130*b147 + 0.25*b130*b148
      + 0.375*b130*b149 + 0.3*b130*b162 + 0.075*b130*b163 + 0.15*b130*b164 + 
     0.225*b130*b165 + 0.3*b130*b166 + 0.075*b130*b167 + 0.15*b130*b168 + 0.225
     *b130*b169 + 0.25*b131*b134 + b131*b135 + 0.25*b131*b136 + 0.5*b131*b137
      + 0.125*b131*b146 + 0.5*b131*b147 + 0.125*b131*b148 + 0.25*b131*b149 + 
     0.075*b131*b162 + 0.3*b131*b163 + 0.075*b131*b164 + 0.15*b131*b165 + 0.075
     *b131*b166 + 0.3*b131*b167 + 0.075*b131*b168 + 0.15*b131*b169 + 0.5*b132*
     b134 + 0.25*b132*b135 + b132*b136 + 0.25*b132*b137 + 0.25*b132*b146 + 
     0.125*b132*b147 + 0.5*b132*b148 + 0.125*b132*b149 + 0.15*b132*b162 + 0.075
     *b132*b163 + 0.3*b132*b164 + 0.075*b132*b165 + 0.15*b132*b166 + 0.075*b132
     *b167 + 0.3*b132*b168 + 0.075*b132*b169 + 0.75*b133*b134 + 0.5*b133*b135
      + 0.25*b133*b136 + b133*b137 + 0.375*b133*b146 + 0.25*b133*b147 + 0.125*
     b133*b148 + 0.5*b133*b149 + 0.225*b133*b162 + 0.15*b133*b163 + 0.075*b133*
     b164 + 0.3*b133*b165 + 0.225*b133*b166 + 0.15*b133*b167 + 0.075*b133*b168
      + 0.3*b133*b169 + b134*b146 + 0.25*b134*b147 + 0.5*b134*b148 + 0.75*b134*
     b149 + 0.5*b134*b150 + 0.125*b134*b151 + 0.25*b134*b152 + 0.375*b134*b153
      + 0.3*b134*b162 + 0.075*b134*b163 + 0.15*b134*b164 + 0.225*b134*b165 + 
     0.3*b134*b166 + 0.075*b134*b167 + 0.15*b134*b168 + 0.225*b134*b169 + 0.3*
     b134*b170 + 0.075*b134*b171 + 0.15*b134*b172 + 0.225*b134*b173 + 0.25*b135
     *b146 + b135*b147 + 0.25*b135*b148 + 0.5*b135*b149 + 0.125*b135*b150 + 0.5
     *b135*b151 + 0.125*b135*b152 + 0.25*b135*b153 + 0.075*b135*b162 + 0.3*b135
     *b163 + 0.075*b135*b164 + 0.15*b135*b165 + 0.075*b135*b166 + 0.3*b135*b167
      + 0.075*b135*b168 + 0.15*b135*b169 + 0.075*b135*b170 + 0.3*b135*b171 + 
     0.075*b135*b172 + 0.15*b135*b173 + 0.5*b136*b146 + 0.25*b136*b147 + b136*
     b148 + 0.25*b136*b149 + 0.25*b136*b150 + 0.125*b136*b151 + 0.5*b136*b152
      + 0.125*b136*b153 + 0.15*b136*b162 + 0.075*b136*b163 + 0.3*b136*b164 + 
     0.075*b136*b165 + 0.15*b136*b166 + 0.075*b136*b167 + 0.3*b136*b168 + 0.075
     *b136*b169 + 0.15*b136*b170 + 0.075*b136*b171 + 0.3*b136*b172 + 0.075*b136
     *b173 + 0.75*b137*b146 + 0.5*b137*b147 + 0.25*b137*b148 + b137*b149 + 
     0.375*b137*b150 + 0.25*b137*b151 + 0.125*b137*b152 + 0.5*b137*b153 + 0.225
     *b137*b162 + 0.15*b137*b163 + 0.075*b137*b164 + 0.3*b137*b165 + 0.225*b137
     *b166 + 0.15*b137*b167 + 0.075*b137*b168 + 0.3*b137*b169 + 0.225*b137*b170
      + 0.15*b137*b171 + 0.075*b137*b172 + 0.3*b137*b173 + 0.8*b138*b174 + 0.2*
     b138*b175 + 0.4*b138*b176 + 0.6*b138*b177 + 0.8*b138*b178 + 0.2*b138*b179
      + 0.4*b138*b180 + 0.6*b138*b181 + 0.2*b139*b174 + 0.8*b139*b175 + 0.2*
     b139*b176 + 0.4*b139*b177 + 0.2*b139*b178 + 0.8*b139*b179 + 0.2*b139*b180
      + 0.4*b139*b181 + 0.4*b140*b174 + 0.2*b140*b175 + 0.8*b140*b176 + 0.2*
     b140*b177 + 0.4*b140*b178 + 0.2*b140*b179 + 0.8*b140*b180 + 0.2*b140*b181
      + 0.6*b141*b174 + 0.4*b141*b175 + 0.2*b141*b176 + 0.8*b141*b177 + 0.6*
     b141*b178 + 0.4*b141*b179 + 0.2*b141*b180 + 0.8*b141*b181 + 0.8*b142*b146
      + 0.2*b142*b147 + 0.4*b142*b148 + 0.6*b142*b149 + 0.8*b142*b150 + 0.2*
     b142*b151 + 0.4*b142*b152 + 0.6*b142*b153 + 0.2*b143*b146 + 0.8*b143*b147
      + 0.2*b143*b148 + 0.4*b143*b149 + 0.2*b143*b150 + 0.8*b143*b151 + 0.2*
     b143*b152 + 0.4*b143*b153 + 0.4*b144*b146 + 0.2*b144*b147 + 0.8*b144*b148
      + 0.2*b144*b149 + 0.4*b144*b150 + 0.2*b144*b151 + 0.8*b144*b152 + 0.2*
     b144*b153 + 0.6*b145*b146 + 0.4*b145*b147 + 0.2*b145*b148 + 0.8*b145*b149
      + 0.6*b145*b150 + 0.4*b145*b151 + 0.2*b145*b152 + 0.8*b145*b153 + b146*
     b150 + 0.25*b146*b151 + 0.5*b146*b152 + 0.75*b146*b153 + 0.3*b146*b166 + 
     0.075*b146*b167 + 0.15*b146*b168 + 0.225*b146*b169 + 0.3*b146*b170 + 0.075
     *b146*b171 + 0.15*b146*b172 + 0.225*b146*b173 + 0.3*b146*b182 + 0.075*b146
     *b183 + 0.15*b146*b184 + 0.225*b146*b185 + 0.25*b147*b150 + b147*b151 + 
     0.25*b147*b152 + 0.5*b147*b153 + 0.075*b147*b166 + 0.3*b147*b167 + 0.075*
     b147*b168 + 0.15*b147*b169 + 0.075*b147*b170 + 0.3*b147*b171 + 0.075*b147*
     b172 + 0.15*b147*b173 + 0.075*b147*b182 + 0.3*b147*b183 + 0.075*b147*b184
      + 0.15*b147*b185 + 0.5*b148*b150 + 0.25*b148*b151 + b148*b152 + 0.25*b148
     *b153 + 0.15*b148*b166 + 0.075*b148*b167 + 0.3*b148*b168 + 0.075*b148*b169
      + 0.15*b148*b170 + 0.075*b148*b171 + 0.3*b148*b172 + 0.075*b148*b173 + 
     0.15*b148*b182 + 0.075*b148*b183 + 0.3*b148*b184 + 0.075*b148*b185 + 0.75*
     b149*b150 + 0.5*b149*b151 + 0.25*b149*b152 + b149*b153 + 0.225*b149*b166
      + 0.15*b149*b167 + 0.075*b149*b168 + 0.3*b149*b169 + 0.225*b149*b170 + 
     0.15*b149*b171 + 0.075*b149*b172 + 0.3*b149*b173 + 0.225*b149*b182 + 0.15*
     b149*b183 + 0.075*b149*b184 + 0.3*b149*b185 + 0.3*b150*b170 + 0.075*b150*
     b171 + 0.15*b150*b172 + 0.225*b150*b173 + 0.3*b150*b182 + 0.075*b150*b183
      + 0.15*b150*b184 + 0.225*b150*b185 + 0.075*b151*b170 + 0.3*b151*b171 + 
     0.075*b151*b172 + 0.15*b151*b173 + 0.075*b151*b182 + 0.3*b151*b183 + 0.075
     *b151*b184 + 0.15*b151*b185 + 0.15*b152*b170 + 0.075*b152*b171 + 0.3*b152*
     b172 + 0.075*b152*b173 + 0.15*b152*b182 + 0.075*b152*b183 + 0.3*b152*b184
      + 0.075*b152*b185 + 0.225*b153*b170 + 0.15*b153*b171 + 0.075*b153*b172 + 
     0.3*b153*b173 + 0.225*b153*b182 + 0.15*b153*b183 + 0.075*b153*b184 + 0.3*
     b153*b185 + b154*b158 + 0.25*b154*b159 + 0.5*b154*b160 + 0.75*b154*b161 + 
     0.5*b154*b178 + 0.125*b154*b179 + 0.25*b154*b180 + 0.375*b154*b181 + 0.3*
     b154*b186 + 0.075*b154*b187 + 0.15*b154*b188 + 0.225*b154*b189 + 0.3*b154*
     b190 + 0.075*b154*b191 + 0.15*b154*b192 + 0.225*b154*b193 + 0.3*b154*b194
      + 0.075*b154*b195 + 0.15*b154*b196 + 0.225*b154*b197 + 0.25*b155*b158 + 
     b155*b159 + 0.25*b155*b160 + 0.5*b155*b161 + 0.125*b155*b178 + 0.5*b155*
     b179 + 0.125*b155*b180 + 0.25*b155*b181 + 0.075*b155*b186 + 0.3*b155*b187
      + 0.075*b155*b188 + 0.15*b155*b189 + 0.075*b155*b190 + 0.3*b155*b191 + 
     0.075*b155*b192 + 0.15*b155*b193 + 0.075*b155*b194 + 0.3*b155*b195 + 0.075
     *b155*b196 + 0.15*b155*b197 + 0.5*b156*b158 + 0.25*b156*b159 + b156*b160
      + 0.25*b156*b161 + 0.25*b156*b178 + 0.125*b156*b179 + 0.5*b156*b180 + 
     0.125*b156*b181 + 0.15*b156*b186 + 0.075*b156*b187 + 0.3*b156*b188 + 0.075
     *b156*b189 + 0.15*b156*b190 + 0.075*b156*b191 + 0.3*b156*b192 + 0.075*b156
     *b193 + 0.15*b156*b194 + 0.075*b156*b195 + 0.3*b156*b196 + 0.075*b156*b197
      + 0.75*b157*b158 + 0.5*b157*b159 + 0.25*b157*b160 + b157*b161 + 0.375*
     b157*b178 + 0.25*b157*b179 + 0.125*b157*b180 + 0.5*b157*b181 + 0.225*b157*
     b186 + 0.15*b157*b187 + 0.075*b157*b188 + 0.3*b157*b189 + 0.225*b157*b190
      + 0.15*b157*b191 + 0.075*b157*b192 + 0.3*b157*b193 + 0.225*b157*b194 + 
     0.15*b157*b195 + 0.075*b157*b196 + 0.3*b157*b197 + 0.5*b158*b174 + 0.125*
     b158*b175 + 0.25*b158*b176 + 0.375*b158*b177 + b158*b178 + 0.25*b158*b179
      + 0.5*b158*b180 + 0.75*b158*b181 + 0.3*b158*b186 + 0.075*b158*b187 + 0.15
     *b158*b188 + 0.225*b158*b189 + 0.3*b158*b190 + 0.075*b158*b191 + 0.15*b158
     *b192 + 0.225*b158*b193 + 0.3*b158*b198 + 0.075*b158*b199 + 0.15*b158*b200
      + 0.225*b158*b201 + 0.125*b159*b174 + 0.5*b159*b175 + 0.125*b159*b176 + 
     0.25*b159*b177 + 0.25*b159*b178 + b159*b179 + 0.25*b159*b180 + 0.5*b159*
     b181 + 0.075*b159*b186 + 0.3*b159*b187 + 0.075*b159*b188 + 0.15*b159*b189
      + 0.075*b159*b190 + 0.3*b159*b191 + 0.075*b159*b192 + 0.15*b159*b193 + 
     0.075*b159*b198 + 0.3*b159*b199 + 0.075*b159*b200 + 0.15*b159*b201 + 0.25*
     b160*b174 + 0.125*b160*b175 + 0.5*b160*b176 + 0.125*b160*b177 + 0.5*b160*
     b178 + 0.25*b160*b179 + b160*b180 + 0.25*b160*b181 + 0.15*b160*b186 + 
     0.075*b160*b187 + 0.3*b160*b188 + 0.075*b160*b189 + 0.15*b160*b190 + 0.075
     *b160*b191 + 0.3*b160*b192 + 0.075*b160*b193 + 0.15*b160*b198 + 0.075*b160
     *b199 + 0.3*b160*b200 + 0.075*b160*b201 + 0.375*b161*b174 + 0.25*b161*b175
      + 0.125*b161*b176 + 0.5*b161*b177 + 0.75*b161*b178 + 0.5*b161*b179 + 0.25
     *b161*b180 + b161*b181 + 0.225*b161*b186 + 0.15*b161*b187 + 0.075*b161*
     b188 + 0.3*b161*b189 + 0.225*b161*b190 + 0.15*b161*b191 + 0.075*b161*b192
      + 0.3*b161*b193 + 0.225*b161*b198 + 0.15*b161*b199 + 0.075*b161*b200 + 
     0.3*b161*b201 + b162*b166 + 0.25*b162*b167 + 0.5*b162*b168 + 0.75*b162*
     b169 + 0.5*b162*b170 + 0.125*b162*b171 + 0.25*b162*b172 + 0.375*b162*b173
      + 0.8*b162*b194 + 0.2*b162*b195 + 0.4*b162*b196 + 0.6*b162*b197 + 0.8*
     b162*b202 + 0.2*b162*b203 + 0.4*b162*b204 + 0.6*b162*b205 + 0.25*b163*b166
      + b163*b167 + 0.25*b163*b168 + 0.5*b163*b169 + 0.125*b163*b170 + 0.5*b163
     *b171 + 0.125*b163*b172 + 0.25*b163*b173 + 0.2*b163*b194 + 0.8*b163*b195
      + 0.2*b163*b196 + 0.4*b163*b197 + 0.2*b163*b202 + 0.8*b163*b203 + 0.2*
     b163*b204 + 0.4*b163*b205 + 0.5*b164*b166 + 0.25*b164*b167 + b164*b168 + 
     0.25*b164*b169 + 0.25*b164*b170 + 0.125*b164*b171 + 0.5*b164*b172 + 0.125*
     b164*b173 + 0.4*b164*b194 + 0.2*b164*b195 + 0.8*b164*b196 + 0.2*b164*b197
      + 0.4*b164*b202 + 0.2*b164*b203 + 0.8*b164*b204 + 0.2*b164*b205 + 0.75*
     b165*b166 + 0.5*b165*b167 + 0.25*b165*b168 + b165*b169 + 0.375*b165*b170
      + 0.25*b165*b171 + 0.125*b165*b172 + 0.5*b165*b173 + 0.6*b165*b194 + 0.4*
     b165*b195 + 0.2*b165*b196 + 0.8*b165*b197 + 0.6*b165*b202 + 0.4*b165*b203
      + 0.2*b165*b204 + 0.8*b165*b205 + b166*b170 + 0.25*b166*b171 + 0.5*b166*
     b172 + 0.75*b166*b173 + 0.5*b166*b182 + 0.125*b166*b183 + 0.25*b166*b184
      + 0.375*b166*b185 + 0.8*b166*b194 + 0.2*b166*b195 + 0.4*b166*b196 + 0.6*
     b166*b197 + 0.8*b166*b202 + 0.2*b166*b203 + 0.4*b166*b204 + 0.6*b166*b205
      + 0.8*b166*b206 + 0.2*b166*b207 + 0.4*b166*b208 + 0.6*b166*b209 + 0.25*
     b167*b170 + b167*b171 + 0.25*b167*b172 + 0.5*b167*b173 + 0.125*b167*b182
      + 0.5*b167*b183 + 0.125*b167*b184 + 0.25*b167*b185 + 0.2*b167*b194 + 0.8*
     b167*b195 + 0.2*b167*b196 + 0.4*b167*b197 + 0.2*b167*b202 + 0.8*b167*b203
      + 0.2*b167*b204 + 0.4*b167*b205 + 0.2*b167*b206 + 0.8*b167*b207 + 0.2*
     b167*b208 + 0.4*b167*b209 + 0.5*b168*b170 + 0.25*b168*b171 + b168*b172 + 
     0.25*b168*b173 + 0.25*b168*b182 + 0.125*b168*b183 + 0.5*b168*b184 + 0.125*
     b168*b185 + 0.4*b168*b194 + 0.2*b168*b195 + 0.8*b168*b196 + 0.2*b168*b197
      + 0.4*b168*b202 + 0.2*b168*b203 + 0.8*b168*b204 + 0.2*b168*b205 + 0.4*
     b168*b206 + 0.2*b168*b207 + 0.8*b168*b208 + 0.2*b168*b209 + 0.75*b169*b170
      + 0.5*b169*b171 + 0.25*b169*b172 + b169*b173 + 0.375*b169*b182 + 0.25*
     b169*b183 + 0.125*b169*b184 + 0.5*b169*b185 + 0.6*b169*b194 + 0.4*b169*
     b195 + 0.2*b169*b196 + 0.8*b169*b197 + 0.6*b169*b202 + 0.4*b169*b203 + 0.2
     *b169*b204 + 0.8*b169*b205 + 0.6*b169*b206 + 0.4*b169*b207 + 0.2*b169*b208
      + 0.8*b169*b209 + b170*b182 + 0.25*b170*b183 + 0.5*b170*b184 + 0.75*b170*
     b185 + 0.8*b170*b202 + 0.2*b170*b203 + 0.4*b170*b204 + 0.6*b170*b205 + 0.8
     *b170*b206 + 0.2*b170*b207 + 0.4*b170*b208 + 0.6*b170*b209 + 0.8*b170*b210
      + 0.2*b170*b211 + 0.4*b170*b212 + 0.6*b170*b213 + 0.25*b171*b182 + b171*
     b183 + 0.25*b171*b184 + 0.5*b171*b185 + 0.2*b171*b202 + 0.8*b171*b203 + 
     0.2*b171*b204 + 0.4*b171*b205 + 0.2*b171*b206 + 0.8*b171*b207 + 0.2*b171*
     b208 + 0.4*b171*b209 + 0.2*b171*b210 + 0.8*b171*b211 + 0.2*b171*b212 + 0.4
     *b171*b213 + 0.5*b172*b182 + 0.25*b172*b183 + b172*b184 + 0.25*b172*b185
      + 0.4*b172*b202 + 0.2*b172*b203 + 0.8*b172*b204 + 0.2*b172*b205 + 0.4*
     b172*b206 + 0.2*b172*b207 + 0.8*b172*b208 + 0.2*b172*b209 + 0.4*b172*b210
      + 0.2*b172*b211 + 0.8*b172*b212 + 0.2*b172*b213 + 0.75*b173*b182 + 0.5*
     b173*b183 + 0.25*b173*b184 + b173*b185 + 0.6*b173*b202 + 0.4*b173*b203 + 
     0.2*b173*b204 + 0.8*b173*b205 + 0.6*b173*b206 + 0.4*b173*b207 + 0.2*b173*
     b208 + 0.8*b173*b209 + 0.6*b173*b210 + 0.4*b173*b211 + 0.2*b173*b212 + 0.8
     *b173*b213 + b174*b178 + 0.25*b174*b179 + 0.5*b174*b180 + 0.75*b174*b181
      + 0.3*b174*b198 + 0.075*b174*b199 + 0.15*b174*b200 + 0.225*b174*b201 + 
     0.3*b174*b214 + 0.075*b174*b215 + 0.15*b174*b216 + 0.225*b174*b217 + 0.25*
     b175*b178 + b175*b179 + 0.25*b175*b180 + 0.5*b175*b181 + 0.075*b175*b198
      + 0.3*b175*b199 + 0.075*b175*b200 + 0.15*b175*b201 + 0.075*b175*b214 + 
     0.3*b175*b215 + 0.075*b175*b216 + 0.15*b175*b217 + 0.5*b176*b178 + 0.25*
     b176*b179 + b176*b180 + 0.25*b176*b181 + 0.15*b176*b198 + 0.075*b176*b199
      + 0.3*b176*b200 + 0.075*b176*b201 + 0.15*b176*b214 + 0.075*b176*b215 + 
     0.3*b176*b216 + 0.075*b176*b217 + 0.75*b177*b178 + 0.5*b177*b179 + 0.25*
     b177*b180 + b177*b181 + 0.225*b177*b198 + 0.15*b177*b199 + 0.075*b177*b200
      + 0.3*b177*b201 + 0.225*b177*b214 + 0.15*b177*b215 + 0.075*b177*b216 + 
     0.3*b177*b217 + 0.3*b178*b186 + 0.075*b178*b187 + 0.15*b178*b188 + 0.225*
     b178*b189 + 0.3*b178*b198 + 0.075*b178*b199 + 0.15*b178*b200 + 0.225*b178*
     b201 + 0.3*b178*b214 + 0.075*b178*b215 + 0.15*b178*b216 + 0.225*b178*b217
      + 0.075*b179*b186 + 0.3*b179*b187 + 0.075*b179*b188 + 0.15*b179*b189 + 
     0.075*b179*b198 + 0.3*b179*b199 + 0.075*b179*b200 + 0.15*b179*b201 + 0.075
     *b179*b214 + 0.3*b179*b215 + 0.075*b179*b216 + 0.15*b179*b217 + 0.15*b180*
     b186 + 0.075*b180*b187 + 0.3*b180*b188 + 0.075*b180*b189 + 0.15*b180*b198
      + 0.075*b180*b199 + 0.3*b180*b200 + 0.075*b180*b201 + 0.15*b180*b214 + 
     0.075*b180*b215 + 0.3*b180*b216 + 0.075*b180*b217 + 0.225*b181*b186 + 0.15
     *b181*b187 + 0.075*b181*b188 + 0.3*b181*b189 + 0.225*b181*b198 + 0.15*b181
     *b199 + 0.075*b181*b200 + 0.3*b181*b201 + 0.225*b181*b214 + 0.15*b181*b215
      + 0.075*b181*b216 + 0.3*b181*b217 + 0.8*b182*b206 + 0.2*b182*b207 + 0.4*
     b182*b208 + 0.6*b182*b209 + 0.8*b182*b210 + 0.2*b182*b211 + 0.4*b182*b212
      + 0.6*b182*b213 + 0.2*b183*b206 + 0.8*b183*b207 + 0.2*b183*b208 + 0.4*
     b183*b209 + 0.2*b183*b210 + 0.8*b183*b211 + 0.2*b183*b212 + 0.4*b183*b213
      + 0.4*b184*b206 + 0.2*b184*b207 + 0.8*b184*b208 + 0.2*b184*b209 + 0.4*
     b184*b210 + 0.2*b184*b211 + 0.8*b184*b212 + 0.2*b184*b213 + 0.6*b185*b206
      + 0.4*b185*b207 + 0.2*b185*b208 + 0.8*b185*b209 + 0.6*b185*b210 + 0.4*
     b185*b211 + 0.2*b185*b212 + 0.8*b185*b213 + b186*b190 + 0.25*b186*b191 + 
     0.5*b186*b192 + 0.75*b186*b193 + b186*b198 + 0.25*b186*b199 + 0.5*b186*
     b200 + 0.75*b186*b201 + 0.5*b186*b214 + 0.125*b186*b215 + 0.25*b186*b216
      + 0.375*b186*b217 + 0.8*b186*b218 + 0.2*b186*b219 + 0.4*b186*b220 + 0.6*
     b186*b221 + 0.8*b186*b222 + 0.2*b186*b223 + 0.4*b186*b224 + 0.6*b186*b225
      + 0.8*b186*b226 + 0.2*b186*b227 + 0.4*b186*b228 + 0.6*b186*b229 + 0.25*
     b187*b190 + b187*b191 + 0.25*b187*b192 + 0.5*b187*b193 + 0.25*b187*b198 + 
     b187*b199 + 0.25*b187*b200 + 0.5*b187*b201 + 0.125*b187*b214 + 0.5*b187*
     b215 + 0.125*b187*b216 + 0.25*b187*b217 + 0.2*b187*b218 + 0.8*b187*b219 + 
     0.2*b187*b220 + 0.4*b187*b221 + 0.2*b187*b222 + 0.8*b187*b223 + 0.2*b187*
     b224 + 0.4*b187*b225 + 0.2*b187*b226 + 0.8*b187*b227 + 0.2*b187*b228 + 0.4
     *b187*b229 + 0.5*b188*b190 + 0.25*b188*b191 + b188*b192 + 0.25*b188*b193
      + 0.5*b188*b198 + 0.25*b188*b199 + b188*b200 + 0.25*b188*b201 + 0.25*b188
     *b214 + 0.125*b188*b215 + 0.5*b188*b216 + 0.125*b188*b217 + 0.4*b188*b218
      + 0.2*b188*b219 + 0.8*b188*b220 + 0.2*b188*b221 + 0.4*b188*b222 + 0.2*
     b188*b223 + 0.8*b188*b224 + 0.2*b188*b225 + 0.4*b188*b226 + 0.2*b188*b227
      + 0.8*b188*b228 + 0.2*b188*b229 + 0.75*b189*b190 + 0.5*b189*b191 + 0.25*
     b189*b192 + b189*b193 + 0.75*b189*b198 + 0.5*b189*b199 + 0.25*b189*b200 + 
     b189*b201 + 0.375*b189*b214 + 0.25*b189*b215 + 0.125*b189*b216 + 0.5*b189*
     b217 + 0.6*b189*b218 + 0.4*b189*b219 + 0.2*b189*b220 + 0.8*b189*b221 + 0.6
     *b189*b222 + 0.4*b189*b223 + 0.2*b189*b224 + 0.8*b189*b225 + 0.6*b189*b226
      + 0.4*b189*b227 + 0.2*b189*b228 + 0.8*b189*b229 + 0.5*b190*b198 + 0.125*
     b190*b199 + 0.25*b190*b200 + 0.375*b190*b201 + 0.8*b190*b218 + 0.2*b190*
     b219 + 0.4*b190*b220 + 0.6*b190*b221 + 0.8*b190*b226 + 0.2*b190*b227 + 0.4
     *b190*b228 + 0.6*b190*b229 + 0.3*b190*b230 + 0.075*b190*b231 + 0.15*b190*
     b232 + 0.225*b190*b233 + 0.125*b191*b198 + 0.5*b191*b199 + 0.125*b191*b200
      + 0.25*b191*b201 + 0.2*b191*b218 + 0.8*b191*b219 + 0.2*b191*b220 + 0.4*
     b191*b221 + 0.2*b191*b226 + 0.8*b191*b227 + 0.2*b191*b228 + 0.4*b191*b229
      + 0.075*b191*b230 + 0.3*b191*b231 + 0.075*b191*b232 + 0.15*b191*b233 + 
     0.25*b192*b198 + 0.125*b192*b199 + 0.5*b192*b200 + 0.125*b192*b201 + 0.4*
     b192*b218 + 0.2*b192*b219 + 0.8*b192*b220 + 0.2*b192*b221 + 0.4*b192*b226
      + 0.2*b192*b227 + 0.8*b192*b228 + 0.2*b192*b229 + 0.15*b192*b230 + 0.075*
     b192*b231 + 0.3*b192*b232 + 0.075*b192*b233 + 0.375*b193*b198 + 0.25*b193*
     b199 + 0.125*b193*b200 + 0.5*b193*b201 + 0.6*b193*b218 + 0.4*b193*b219 + 
     0.2*b193*b220 + 0.8*b193*b221 + 0.6*b193*b226 + 0.4*b193*b227 + 0.2*b193*
     b228 + 0.8*b193*b229 + 0.225*b193*b230 + 0.15*b193*b231 + 0.075*b193*b232
      + 0.3*b193*b233 + b194*b202 + 0.25*b194*b203 + 0.5*b194*b204 + 0.75*b194*
     b205 + 0.5*b194*b206 + 0.125*b194*b207 + 0.25*b194*b208 + 0.375*b194*b209
      + 0.3*b194*b230 + 0.075*b194*b231 + 0.15*b194*b232 + 0.225*b194*b233 + 
     0.3*b194*b234 + 0.075*b194*b235 + 0.15*b194*b236 + 0.225*b194*b237 + 0.25*
     b195*b202 + b195*b203 + 0.25*b195*b204 + 0.5*b195*b205 + 0.125*b195*b206
      + 0.5*b195*b207 + 0.125*b195*b208 + 0.25*b195*b209 + 0.075*b195*b230 + 
     0.3*b195*b231 + 0.075*b195*b232 + 0.15*b195*b233 + 0.075*b195*b234 + 0.3*
     b195*b235 + 0.075*b195*b236 + 0.15*b195*b237 + 0.5*b196*b202 + 0.25*b196*
     b203 + b196*b204 + 0.25*b196*b205 + 0.25*b196*b206 + 0.125*b196*b207 + 0.5
     *b196*b208 + 0.125*b196*b209 + 0.15*b196*b230 + 0.075*b196*b231 + 0.3*b196
     *b232 + 0.075*b196*b233 + 0.15*b196*b234 + 0.075*b196*b235 + 0.3*b196*b236
      + 0.075*b196*b237 + 0.75*b197*b202 + 0.5*b197*b203 + 0.25*b197*b204 + 
     b197*b205 + 0.375*b197*b206 + 0.25*b197*b207 + 0.125*b197*b208 + 0.5*b197*
     b209 + 0.225*b197*b230 + 0.15*b197*b231 + 0.075*b197*b232 + 0.3*b197*b233
      + 0.225*b197*b234 + 0.15*b197*b235 + 0.075*b197*b236 + 0.3*b197*b237 + 
     b198*b214 + 0.25*b198*b215 + 0.5*b198*b216 + 0.75*b198*b217 + 0.8*b198*
     b218 + 0.2*b198*b219 + 0.4*b198*b220 + 0.6*b198*b221 + 0.8*b198*b222 + 0.2
     *b198*b223 + 0.4*b198*b224 + 0.6*b198*b225 + 0.8*b198*b238 + 0.2*b198*b239
      + 0.4*b198*b240 + 0.6*b198*b241 + 0.25*b199*b214 + b199*b215 + 0.25*b199*
     b216 + 0.5*b199*b217 + 0.2*b199*b218 + 0.8*b199*b219 + 0.2*b199*b220 + 0.4
     *b199*b221 + 0.2*b199*b222 + 0.8*b199*b223 + 0.2*b199*b224 + 0.4*b199*b225
      + 0.2*b199*b238 + 0.8*b199*b239 + 0.2*b199*b240 + 0.4*b199*b241 + 0.5*
     b200*b214 + 0.25*b200*b215 + b200*b216 + 0.25*b200*b217 + 0.4*b200*b218 + 
     0.2*b200*b219 + 0.8*b200*b220 + 0.2*b200*b221 + 0.4*b200*b222 + 0.2*b200*
     b223 + 0.8*b200*b224 + 0.2*b200*b225 + 0.4*b200*b238 + 0.2*b200*b239 + 0.8
     *b200*b240 + 0.2*b200*b241 + 0.75*b201*b214 + 0.5*b201*b215 + 0.25*b201*
     b216 + b201*b217 + 0.6*b201*b218 + 0.4*b201*b219 + 0.2*b201*b220 + 0.8*
     b201*b221 + 0.6*b201*b222 + 0.4*b201*b223 + 0.2*b201*b224 + 0.8*b201*b225
      + 0.6*b201*b238 + 0.4*b201*b239 + 0.2*b201*b240 + 0.8*b201*b241 + b202*
     b206 + 0.25*b202*b207 + 0.5*b202*b208 + 0.75*b202*b209 + 0.5*b202*b210 + 
     0.125*b202*b211 + 0.25*b202*b212 + 0.375*b202*b213 + 0.3*b202*b230 + 0.075
     *b202*b231 + 0.15*b202*b232 + 0.225*b202*b233 + 0.3*b202*b234 + 0.075*b202
     *b235 + 0.15*b202*b236 + 0.225*b202*b237 + 0.3*b202*b242 + 0.075*b202*b243
      + 0.15*b202*b244 + 0.225*b202*b245 + 0.25*b203*b206 + b203*b207 + 0.25*
     b203*b208 + 0.5*b203*b209 + 0.125*b203*b210 + 0.5*b203*b211 + 0.125*b203*
     b212 + 0.25*b203*b213 + 0.075*b203*b230 + 0.3*b203*b231 + 0.075*b203*b232
      + 0.15*b203*b233 + 0.075*b203*b234 + 0.3*b203*b235 + 0.075*b203*b236 + 
     0.15*b203*b237 + 0.075*b203*b242 + 0.3*b203*b243 + 0.075*b203*b244 + 0.15*
     b203*b245 + 0.5*b204*b206 + 0.25*b204*b207 + b204*b208 + 0.25*b204*b209 + 
     0.25*b204*b210 + 0.125*b204*b211 + 0.5*b204*b212 + 0.125*b204*b213 + 0.15*
     b204*b230 + 0.075*b204*b231 + 0.3*b204*b232 + 0.075*b204*b233 + 0.15*b204*
     b234 + 0.075*b204*b235 + 0.3*b204*b236 + 0.075*b204*b237 + 0.15*b204*b242
      + 0.075*b204*b243 + 0.3*b204*b244 + 0.075*b204*b245 + 0.75*b205*b206 + 
     0.5*b205*b207 + 0.25*b205*b208 + b205*b209 + 0.375*b205*b210 + 0.25*b205*
     b211 + 0.125*b205*b212 + 0.5*b205*b213 + 0.225*b205*b230 + 0.15*b205*b231
      + 0.075*b205*b232 + 0.3*b205*b233 + 0.225*b205*b234 + 0.15*b205*b235 + 
     0.075*b205*b236 + 0.3*b205*b237 + 0.225*b205*b242 + 0.15*b205*b243 + 0.075
     *b205*b244 + 0.3*b205*b245 + b206*b210 + 0.25*b206*b211 + 0.5*b206*b212 + 
     0.75*b206*b213 + 0.3*b206*b234 + 0.075*b206*b235 + 0.15*b206*b236 + 0.225*
     b206*b237 + 0.3*b206*b242 + 0.075*b206*b243 + 0.15*b206*b244 + 0.225*b206*
     b245 + 0.3*b206*b246 + 0.075*b206*b247 + 0.15*b206*b248 + 0.225*b206*b249
      + 0.25*b207*b210 + b207*b211 + 0.25*b207*b212 + 0.5*b207*b213 + 0.075*
     b207*b234 + 0.3*b207*b235 + 0.075*b207*b236 + 0.15*b207*b237 + 0.075*b207*
     b242 + 0.3*b207*b243 + 0.075*b207*b244 + 0.15*b207*b245 + 0.075*b207*b246
      + 0.3*b207*b247 + 0.075*b207*b248 + 0.15*b207*b249 + 0.5*b208*b210 + 0.25
     *b208*b211 + b208*b212 + 0.25*b208*b213 + 0.15*b208*b234 + 0.075*b208*b235
      + 0.3*b208*b236 + 0.075*b208*b237 + 0.15*b208*b242 + 0.075*b208*b243 + 
     0.3*b208*b244 + 0.075*b208*b245 + 0.15*b208*b246 + 0.075*b208*b247 + 0.3*
     b208*b248 + 0.075*b208*b249 + 0.75*b209*b210 + 0.5*b209*b211 + 0.25*b209*
     b212 + b209*b213 + 0.225*b209*b234 + 0.15*b209*b235 + 0.075*b209*b236 + 
     0.3*b209*b237 + 0.225*b209*b242 + 0.15*b209*b243 + 0.075*b209*b244 + 0.3*
     b209*b245 + 0.225*b209*b246 + 0.15*b209*b247 + 0.075*b209*b248 + 0.3*b209*
     b249 + 0.3*b210*b242 + 0.075*b210*b243 + 0.15*b210*b244 + 0.225*b210*b245
      + 0.3*b210*b246 + 0.075*b210*b247 + 0.15*b210*b248 + 0.225*b210*b249 + 
     0.075*b211*b242 + 0.3*b211*b243 + 0.075*b211*b244 + 0.15*b211*b245 + 0.075
     *b211*b246 + 0.3*b211*b247 + 0.075*b211*b248 + 0.15*b211*b249 + 0.15*b212*
     b242 + 0.075*b212*b243 + 0.3*b212*b244 + 0.075*b212*b245 + 0.15*b212*b246
      + 0.075*b212*b247 + 0.3*b212*b248 + 0.075*b212*b249 + 0.225*b213*b242 + 
     0.15*b213*b243 + 0.075*b213*b244 + 0.3*b213*b245 + 0.225*b213*b246 + 0.15*
     b213*b247 + 0.075*b213*b248 + 0.3*b213*b249 + 0.8*b214*b222 + 0.2*b214*
     b223 + 0.4*b214*b224 + 0.6*b214*b225 + 0.8*b214*b238 + 0.2*b214*b239 + 0.4
     *b214*b240 + 0.6*b214*b241 + 0.2*b215*b222 + 0.8*b215*b223 + 0.2*b215*b224
      + 0.4*b215*b225 + 0.2*b215*b238 + 0.8*b215*b239 + 0.2*b215*b240 + 0.4*
     b215*b241 + 0.4*b216*b222 + 0.2*b216*b223 + 0.8*b216*b224 + 0.2*b216*b225
      + 0.4*b216*b238 + 0.2*b216*b239 + 0.8*b216*b240 + 0.2*b216*b241 + 0.6*
     b217*b222 + 0.4*b217*b223 + 0.2*b217*b224 + 0.8*b217*b225 + 0.6*b217*b238
      + 0.4*b217*b239 + 0.2*b217*b240 + 0.8*b217*b241 + b218*b222 + 0.25*b218*
     b223 + 0.5*b218*b224 + 0.75*b218*b225 + b218*b226 + 0.25*b218*b227 + 0.5*
     b218*b228 + 0.75*b218*b229 + 0.5*b218*b238 + 0.125*b218*b239 + 0.25*b218*
     b240 + 0.375*b218*b241 + 0.25*b219*b222 + b219*b223 + 0.25*b219*b224 + 0.5
     *b219*b225 + 0.25*b219*b226 + b219*b227 + 0.25*b219*b228 + 0.5*b219*b229
      + 0.125*b219*b238 + 0.5*b219*b239 + 0.125*b219*b240 + 0.25*b219*b241 + 
     0.5*b220*b222 + 0.25*b220*b223 + b220*b224 + 0.25*b220*b225 + 0.5*b220*
     b226 + 0.25*b220*b227 + b220*b228 + 0.25*b220*b229 + 0.25*b220*b238 + 
     0.125*b220*b239 + 0.5*b220*b240 + 0.125*b220*b241 + 0.75*b221*b222 + 0.5*
     b221*b223 + 0.25*b221*b224 + b221*b225 + 0.75*b221*b226 + 0.5*b221*b227 + 
     0.25*b221*b228 + b221*b229 + 0.375*b221*b238 + 0.25*b221*b239 + 0.125*b221
     *b240 + 0.5*b221*b241 + 0.5*b222*b226 + 0.125*b222*b227 + 0.25*b222*b228
      + 0.375*b222*b229 + b222*b238 + 0.25*b222*b239 + 0.5*b222*b240 + 0.75*
     b222*b241 + 0.125*b223*b226 + 0.5*b223*b227 + 0.125*b223*b228 + 0.25*b223*
     b229 + 0.25*b223*b238 + b223*b239 + 0.25*b223*b240 + 0.5*b223*b241 + 0.25*
     b224*b226 + 0.125*b224*b227 + 0.5*b224*b228 + 0.125*b224*b229 + 0.5*b224*
     b238 + 0.25*b224*b239 + b224*b240 + 0.25*b224*b241 + 0.375*b225*b226 + 
     0.25*b225*b227 + 0.125*b225*b228 + 0.5*b225*b229 + 0.75*b225*b238 + 0.5*
     b225*b239 + 0.25*b225*b240 + b225*b241 + 0.3*b226*b250 + 0.075*b226*b251
      + 0.15*b226*b252 + 0.225*b226*b253 + 0.075*b227*b250 + 0.3*b227*b251 + 
     0.075*b227*b252 + 0.15*b227*b253 + 0.15*b228*b250 + 0.075*b228*b251 + 0.3*
     b228*b252 + 0.075*b228*b253 + 0.225*b229*b250 + 0.15*b229*b251 + 0.075*
     b229*b252 + 0.3*b229*b253 + b230*b234 + 0.25*b230*b235 + 0.5*b230*b236 + 
     0.75*b230*b237 + 0.5*b230*b242 + 0.125*b230*b243 + 0.25*b230*b244 + 0.375*
     b230*b245 + 0.8*b230*b250 + 0.2*b230*b251 + 0.4*b230*b252 + 0.6*b230*b253
      + 0.8*b230*b254 + 0.2*b230*b255 + 0.4*b230*b256 + 0.6*b230*b257 + 0.25*
     b231*b234 + b231*b235 + 0.25*b231*b236 + 0.5*b231*b237 + 0.125*b231*b242
      + 0.5*b231*b243 + 0.125*b231*b244 + 0.25*b231*b245 + 0.2*b231*b250 + 0.8*
     b231*b251 + 0.2*b231*b252 + 0.4*b231*b253 + 0.2*b231*b254 + 0.8*b231*b255
      + 0.2*b231*b256 + 0.4*b231*b257 + 0.5*b232*b234 + 0.25*b232*b235 + b232*
     b236 + 0.25*b232*b237 + 0.25*b232*b242 + 0.125*b232*b243 + 0.5*b232*b244
      + 0.125*b232*b245 + 0.4*b232*b250 + 0.2*b232*b251 + 0.8*b232*b252 + 0.2*
     b232*b253 + 0.4*b232*b254 + 0.2*b232*b255 + 0.8*b232*b256 + 0.2*b232*b257
      + 0.75*b233*b234 + 0.5*b233*b235 + 0.25*b233*b236 + b233*b237 + 0.375*
     b233*b242 + 0.25*b233*b243 + 0.125*b233*b244 + 0.5*b233*b245 + 0.6*b233*
     b250 + 0.4*b233*b251 + 0.2*b233*b252 + 0.8*b233*b253 + 0.6*b233*b254 + 0.4
     *b233*b255 + 0.2*b233*b256 + 0.8*b233*b257 + b234*b242 + 0.25*b234*b243 + 
     0.5*b234*b244 + 0.75*b234*b245 + 0.5*b234*b246 + 0.125*b234*b247 + 0.25*
     b234*b248 + 0.375*b234*b249 + 0.8*b234*b250 + 0.2*b234*b251 + 0.4*b234*
     b252 + 0.6*b234*b253 + 0.8*b234*b254 + 0.2*b234*b255 + 0.4*b234*b256 + 0.6
     *b234*b257 + 0.8*b234*b258 + 0.2*b234*b259 + 0.4*b234*b260 + 0.6*b234*b261
      + 0.25*b235*b242 + b235*b243 + 0.25*b235*b244 + 0.5*b235*b245 + 0.125*
     b235*b246 + 0.5*b235*b247 + 0.125*b235*b248 + 0.25*b235*b249 + 0.2*b235*
     b250 + 0.8*b235*b251 + 0.2*b235*b252 + 0.4*b235*b253 + 0.2*b235*b254 + 0.8
     *b235*b255 + 0.2*b235*b256 + 0.4*b235*b257 + 0.2*b235*b258 + 0.8*b235*b259
      + 0.2*b235*b260 + 0.4*b235*b261 + 0.5*b236*b242 + 0.25*b236*b243 + b236*
     b244 + 0.25*b236*b245 + 0.25*b236*b246 + 0.125*b236*b247 + 0.5*b236*b248
      + 0.125*b236*b249 + 0.4*b236*b250 + 0.2*b236*b251 + 0.8*b236*b252 + 0.2*
     b236*b253 + 0.4*b236*b254 + 0.2*b236*b255 + 0.8*b236*b256 + 0.2*b236*b257
      + 0.4*b236*b258 + 0.2*b236*b259 + 0.8*b236*b260 + 0.2*b236*b261 + 0.75*
     b237*b242 + 0.5*b237*b243 + 0.25*b237*b244 + b237*b245 + 0.375*b237*b246
      + 0.25*b237*b247 + 0.125*b237*b248 + 0.5*b237*b249 + 0.6*b237*b250 + 0.4*
     b237*b251 + 0.2*b237*b252 + 0.8*b237*b253 + 0.6*b237*b254 + 0.4*b237*b255
      + 0.2*b237*b256 + 0.8*b237*b257 + 0.6*b237*b258 + 0.4*b237*b259 + 0.2*
     b237*b260 + 0.8*b237*b261 + b242*b246 + 0.25*b242*b247 + 0.5*b242*b248 + 
     0.75*b242*b249 + 0.8*b242*b254 + 0.2*b242*b255 + 0.4*b242*b256 + 0.6*b242*
     b257 + 0.8*b242*b258 + 0.2*b242*b259 + 0.4*b242*b260 + 0.6*b242*b261 + 0.8
     *b242*b262 + 0.2*b242*b263 + 0.4*b242*b264 + 0.6*b242*b265 + 0.25*b243*
     b246 + b243*b247 + 0.25*b243*b248 + 0.5*b243*b249 + 0.2*b243*b254 + 0.8*
     b243*b255 + 0.2*b243*b256 + 0.4*b243*b257 + 0.2*b243*b258 + 0.8*b243*b259
      + 0.2*b243*b260 + 0.4*b243*b261 + 0.2*b243*b262 + 0.8*b243*b263 + 0.2*
     b243*b264 + 0.4*b243*b265 + 0.5*b244*b246 + 0.25*b244*b247 + b244*b248 + 
     0.25*b244*b249 + 0.4*b244*b254 + 0.2*b244*b255 + 0.8*b244*b256 + 0.2*b244*
     b257 + 0.4*b244*b258 + 0.2*b244*b259 + 0.8*b244*b260 + 0.2*b244*b261 + 0.4
     *b244*b262 + 0.2*b244*b263 + 0.8*b244*b264 + 0.2*b244*b265 + 0.75*b245*
     b246 + 0.5*b245*b247 + 0.25*b245*b248 + b245*b249 + 0.6*b245*b254 + 0.4*
     b245*b255 + 0.2*b245*b256 + 0.8*b245*b257 + 0.6*b245*b258 + 0.4*b245*b259
      + 0.2*b245*b260 + 0.8*b245*b261 + 0.6*b245*b262 + 0.4*b245*b263 + 0.2*
     b245*b264 + 0.8*b245*b265 + 0.8*b246*b258 + 0.2*b246*b259 + 0.4*b246*b260
      + 0.6*b246*b261 + 0.8*b246*b262 + 0.2*b246*b263 + 0.4*b246*b264 + 0.6*
     b246*b265 + 0.2*b247*b258 + 0.8*b247*b259 + 0.2*b247*b260 + 0.4*b247*b261
      + 0.2*b247*b262 + 0.8*b247*b263 + 0.2*b247*b264 + 0.4*b247*b265 + 0.4*
     b248*b258 + 0.2*b248*b259 + 0.8*b248*b260 + 0.2*b248*b261 + 0.4*b248*b262
      + 0.2*b248*b263 + 0.8*b248*b264 + 0.2*b248*b265 + 0.6*b249*b258 + 0.4*
     b249*b259 + 0.2*b249*b260 + 0.8*b249*b261 + 0.6*b249*b262 + 0.4*b249*b263
      + 0.2*b249*b264 + 0.8*b249*b265 + b250*b254 + 0.25*b250*b255 + 0.5*b250*
     b256 + 0.75*b250*b257 + 0.5*b250*b258 + 0.125*b250*b259 + 0.25*b250*b260
      + 0.375*b250*b261 + 0.25*b251*b254 + b251*b255 + 0.25*b251*b256 + 0.5*
     b251*b257 + 0.125*b251*b258 + 0.5*b251*b259 + 0.125*b251*b260 + 0.25*b251*
     b261 + 0.5*b252*b254 + 0.25*b252*b255 + b252*b256 + 0.25*b252*b257 + 0.25*
     b252*b258 + 0.125*b252*b259 + 0.5*b252*b260 + 0.125*b252*b261 + 0.75*b253*
     b254 + 0.5*b253*b255 + 0.25*b253*b256 + b253*b257 + 0.375*b253*b258 + 0.25
     *b253*b259 + 0.125*b253*b260 + 0.5*b253*b261 + b254*b258 + 0.25*b254*b259
      + 0.5*b254*b260 + 0.75*b254*b261 + 0.5*b254*b262 + 0.125*b254*b263 + 0.25
     *b254*b264 + 0.375*b254*b265 + 0.25*b255*b258 + b255*b259 + 0.25*b255*b260
      + 0.5*b255*b261 + 0.125*b255*b262 + 0.5*b255*b263 + 0.125*b255*b264 + 
     0.25*b255*b265 + 0.5*b256*b258 + 0.25*b256*b259 + b256*b260 + 0.25*b256*
     b261 + 0.25*b256*b262 + 0.125*b256*b263 + 0.5*b256*b264 + 0.125*b256*b265
      + 0.75*b257*b258 + 0.5*b257*b259 + 0.25*b257*b260 + b257*b261 + 0.375*
     b257*b262 + 0.25*b257*b263 + 0.125*b257*b264 + 0.5*b257*b265 + b258*b262
      + 0.25*b258*b263 + 0.5*b258*b264 + 0.75*b258*b265 + 0.25*b259*b262 + b259
     *b263 + 0.25*b259*b264 + 0.5*b259*b265 + 0.5*b260*b262 + 0.25*b260*b263 + 
     b260*b264 + 0.25*b260*b265 + 0.75*b261*b262 + 0.5*b261*b263 + 0.25*b261*
     b264 + b261*b265 + b266*b267 + 0.25*b266*b268 + 0.5*b266*b269 + 0.75*b266*
     b270 + 0.85*b266*b271 + 0.2125*b266*b272 + 0.425*b266*b273 + 0.6375*b266*
     b274 + b267*b271 + 0.25*b267*b272 + 0.5*b267*b273 + 0.75*b267*b274 + 0.25*
     b267*b275 + 0.5*b267*b276 + 0.75*b267*b277 + 0.85*b267*b278 + 0.2125*b267*
     b279 + 0.425*b267*b280 + 0.6375*b267*b281 + 0.25*b268*b271 + b268*b272 + 
     0.25*b268*b273 + 0.5*b268*b274 + b268*b275 + 0.25*b268*b276 + 0.5*b268*
     b277 + 0.2125*b268*b278 + 0.85*b268*b279 + 0.2125*b268*b280 + 0.425*b268*
     b281 + 0.5*b269*b271 + 0.25*b269*b272 + b269*b273 + 0.25*b269*b274 + 0.25*
     b269*b275 + b269*b276 + 0.25*b269*b277 + 0.425*b269*b278 + 0.2125*b269*
     b279 + 0.85*b269*b280 + 0.2125*b269*b281 + 0.75*b270*b271 + 0.5*b270*b272
      + 0.25*b270*b273 + b270*b274 + 0.5*b270*b275 + 0.25*b270*b276 + b270*b277
      + 0.6375*b270*b278 + 0.425*b270*b279 + 0.2125*b270*b280 + 0.85*b270*b281
      + 0.2125*b271*b275 + 0.425*b271*b276 + 0.6375*b271*b277 + b271*b278 + 
     0.25*b271*b279 + 0.5*b271*b280 + 0.75*b271*b281 + 0.85*b271*b282 + 0.2125*
     b271*b283 + 0.425*b271*b284 + 0.6375*b271*b285 + 0.85*b272*b275 + 0.2125*
     b272*b276 + 0.425*b272*b277 + 0.25*b272*b278 + b272*b279 + 0.25*b272*b280
      + 0.5*b272*b281 + 0.2125*b272*b282 + 0.85*b272*b283 + 0.2125*b272*b284 + 
     0.425*b272*b285 + 0.2125*b273*b275 + 0.85*b273*b276 + 0.2125*b273*b277 + 
     0.5*b273*b278 + 0.25*b273*b279 + b273*b280 + 0.25*b273*b281 + 0.425*b273*
     b282 + 0.2125*b273*b283 + 0.85*b273*b284 + 0.2125*b273*b285 + 0.425*b274*
     b275 + 0.2125*b274*b276 + 0.85*b274*b277 + 0.75*b274*b278 + 0.5*b274*b279
      + 0.25*b274*b280 + b274*b281 + 0.6375*b274*b282 + 0.425*b274*b283 + 
     0.2125*b274*b284 + 0.85*b274*b285 + b278*b282 + 0.25*b278*b283 + 0.5*b278*
     b284 + 0.75*b278*b285 + 0.85*b278*b286 + 0.2125*b278*b287 + 0.425*b278*
     b288 + 0.6375*b278*b289 + 0.25*b279*b282 + b279*b283 + 0.25*b279*b284 + 
     0.5*b279*b285 + 0.2125*b279*b286 + 0.85*b279*b287 + 0.2125*b279*b288 + 
     0.425*b279*b289 + 0.5*b280*b282 + 0.25*b280*b283 + b280*b284 + 0.25*b280*
     b285 + 0.425*b280*b286 + 0.2125*b280*b287 + 0.85*b280*b288 + 0.2125*b280*
     b289 + 0.75*b281*b282 + 0.5*b281*b283 + 0.25*b281*b284 + b281*b285 + 
     0.6375*b281*b286 + 0.425*b281*b287 + 0.2125*b281*b288 + 0.85*b281*b289 + 
     b282*b286 + 0.25*b282*b287 + 0.5*b282*b288 + 0.75*b282*b289 + 0.85*b282*
     b290 + 0.2125*b282*b291 + 0.425*b282*b292 + 0.6375*b282*b293 + 0.25*b283*
     b286 + b283*b287 + 0.25*b283*b288 + 0.5*b283*b289 + 0.2125*b283*b290 + 
     0.85*b283*b291 + 0.2125*b283*b292 + 0.425*b283*b293 + 0.5*b284*b286 + 0.25
     *b284*b287 + b284*b288 + 0.25*b284*b289 + 0.425*b284*b290 + 0.2125*b284*
     b291 + 0.85*b284*b292 + 0.2125*b284*b293 + 0.75*b285*b286 + 0.5*b285*b287
      + 0.25*b285*b288 + b285*b289 + 0.6375*b285*b290 + 0.425*b285*b291 + 
     0.2125*b285*b292 + 0.85*b285*b293 + b286*b290 + 0.25*b286*b291 + 0.5*b286*
     b292 + 0.75*b286*b293 + 0.85*b286*b294 + 0.2125*b286*b295 + 0.425*b286*
     b296 + 0.6375*b286*b297 + 0.25*b287*b290 + b287*b291 + 0.25*b287*b292 + 
     0.5*b287*b293 + 0.2125*b287*b294 + 0.85*b287*b295 + 0.2125*b287*b296 + 
     0.425*b287*b297 + 0.5*b288*b290 + 0.25*b288*b291 + b288*b292 + 0.25*b288*
     b293 + 0.425*b288*b294 + 0.2125*b288*b295 + 0.85*b288*b296 + 0.2125*b288*
     b297 + 0.75*b289*b290 + 0.5*b289*b291 + 0.25*b289*b292 + b289*b293 + 
     0.6375*b289*b294 + 0.425*b289*b295 + 0.2125*b289*b296 + 0.85*b289*b297 + 
     b290*b294 + 0.25*b290*b295 + 0.5*b290*b296 + 0.75*b290*b297 + 0.85*b290*
     b298 + 0.2125*b290*b299 + 0.425*b290*b300 + 0.6375*b290*b301 + 0.25*b291*
     b294 + b291*b295 + 0.25*b291*b296 + 0.5*b291*b297 + 0.2125*b291*b298 + 
     0.85*b291*b299 + 0.2125*b291*b300 + 0.425*b291*b301 + 0.5*b292*b294 + 0.25
     *b292*b295 + b292*b296 + 0.25*b292*b297 + 0.425*b292*b298 + 0.2125*b292*
     b299 + 0.85*b292*b300 + 0.2125*b292*b301 + 0.75*b293*b294 + 0.5*b293*b295
      + 0.25*b293*b296 + b293*b297 + 0.6375*b293*b298 + 0.425*b293*b299 + 
     0.2125*b293*b300 + 0.85*b293*b301 + b294*b298 + 0.25*b294*b299 + 0.5*b294*
     b300 + 0.75*b294*b301 + 0.85*b294*b302 + 0.2125*b294*b303 + 0.425*b294*
     b304 + 0.6375*b294*b305 + 0.25*b295*b298 + b295*b299 + 0.25*b295*b300 + 
     0.5*b295*b301 + 0.2125*b295*b302 + 0.85*b295*b303 + 0.2125*b295*b304 + 
     0.425*b295*b305 + 0.5*b296*b298 + 0.25*b296*b299 + b296*b300 + 0.25*b296*
     b301 + 0.425*b296*b302 + 0.2125*b296*b303 + 0.85*b296*b304 + 0.2125*b296*
     b305 + 0.75*b297*b298 + 0.5*b297*b299 + 0.25*b297*b300 + b297*b301 + 
     0.6375*b297*b302 + 0.425*b297*b303 + 0.2125*b297*b304 + 0.85*b297*b305 + 
     b298*b302 + 0.25*b298*b303 + 0.5*b298*b304 + 0.75*b298*b305 + 0.85*b298*
     b306 + 0.2125*b298*b307 + 0.425*b298*b308 + 0.6375*b298*b309 + 0.25*b299*
     b302 + b299*b303 + 0.25*b299*b304 + 0.5*b299*b305 + 0.2125*b299*b306 + 
     0.85*b299*b307 + 0.2125*b299*b308 + 0.425*b299*b309 + 0.5*b300*b302 + 0.25
     *b300*b303 + b300*b304 + 0.25*b300*b305 + 0.425*b300*b306 + 0.2125*b300*
     b307 + 0.85*b300*b308 + 0.2125*b300*b309 + 0.75*b301*b302 + 0.5*b301*b303
      + 0.25*b301*b304 + b301*b305 + 0.6375*b301*b306 + 0.425*b301*b307 + 
     0.2125*b301*b308 + 0.85*b301*b309 + b302*b306 + 0.25*b302*b307 + 0.5*b302*
     b308 + 0.75*b302*b309 + 0.85*b302*b310 + 0.2125*b302*b311 + 0.425*b302*
     b312 + 0.6375*b302*b313 + 0.25*b303*b306 + b303*b307 + 0.25*b303*b308 + 
     0.5*b303*b309 + 0.2125*b303*b310 + 0.85*b303*b311 + 0.2125*b303*b312 + 
     0.425*b303*b313 + 0.5*b304*b306 + 0.25*b304*b307 + b304*b308 + 0.25*b304*
     b309 + 0.425*b304*b310 + 0.2125*b304*b311 + 0.85*b304*b312 + 0.2125*b304*
     b313 + 0.75*b305*b306 + 0.5*b305*b307 + 0.25*b305*b308 + b305*b309 + 
     0.6375*b305*b310 + 0.425*b305*b311 + 0.2125*b305*b312 + 0.85*b305*b313 + 
     b306*b310 + 0.25*b306*b311 + 0.5*b306*b312 + 0.75*b306*b313 + 0.85*b306*
     b314 + 0.2125*b306*b315 + 0.425*b306*b316 + 0.6375*b306*b317 + 0.25*b307*
     b310 + b307*b311 + 0.25*b307*b312 + 0.5*b307*b313 + 0.2125*b307*b314 + 
     0.85*b307*b315 + 0.2125*b307*b316 + 0.425*b307*b317 + 0.5*b308*b310 + 0.25
     *b308*b311 + b308*b312 + 0.25*b308*b313 + 0.425*b308*b314 + 0.2125*b308*
     b315 + 0.85*b308*b316 + 0.2125*b308*b317 + 0.75*b309*b310 + 0.5*b309*b311
      + 0.25*b309*b312 + b309*b313 + 0.6375*b309*b314 + 0.425*b309*b315 + 
     0.2125*b309*b316 + 0.85*b309*b317 + b310*b314 + 0.25*b310*b315 + 0.5*b310*
     b316 + 0.75*b310*b317 + 0.25*b311*b314 + b311*b315 + 0.25*b311*b316 + 0.5*
     b311*b317 + 0.5*b312*b314 + 0.25*b312*b315 + b312*b316 + 0.25*b312*b317 + 
     0.75*b313*b314 + 0.5*b313*b315 + 0.25*b313*b316 + b313*b317 - objvar =E= 0
     ;

e2..    b2 + b23 + b24 + b25 + b318 =E= 1;

e3..    b3 + b4 + b5 + b6 + b319 =E= 1;

e4..    b7 + b8 + b9 + b10 + b320 =E= 1;

e5..    b26 + b27 + b28 + b29 + b321 =E= 1;

e6..    b11 + b12 + b13 + b14 + b322 =E= 1;

e7..    b15 + b16 + b17 + b18 + b323 =E= 1;

e8..    b30 + b31 + b32 + b33 + b324 =E= 1;

e9..    b34 + b35 + b36 + b37 + b325 =E= 1;

e10..    b38 + b39 + b40 + b41 + b326 =E= 1;

e11..    b42 + b43 + b44 + b45 + b327 =E= 1;

e12..    b74 + b75 + b76 + b77 + b328 =E= 1;

e13..    b50 + b51 + b52 + b53 + b329 =E= 1;

e14..    b78 + b79 + b80 + b81 + b330 =E= 1;

e15..    b82 + b83 + b84 + b85 + b331 =E= 1;

e16..    b90 + b91 + b92 + b93 + b332 =E= 1;

e17..    b102 + b103 + b104 + b105 + b333 =E= 1;

e18..    b138 + b139 + b140 + b141 + b334 =E= 1;

e19..    b126 + b127 + b128 + b129 + b335 =E= 1;

e20..    b154 + b155 + b156 + b157 + b336 =E= 1;

e21..    b158 + b159 + b160 + b161 + b337 =E= 1;

e22..    b214 + b215 + b216 + b217 + b338 =E= 1;

e23..    b174 + b175 + b176 + b177 + b339 =E= 1;

e24..    b190 + b191 + b192 + b193 + b340 =E= 1;

e25..    b186 + b187 + b188 + b189 + b341 =E= 1;

e26..    b198 + b199 + b200 + b201 + b342 =E= 1;

e27..    b178 + b179 + b180 + b181 + b343 =E= 1;

e28..    b226 + b227 + b228 + b229 + b344 =E= 1;

e29..    b218 + b219 + b220 + b221 + b345 =E= 1;

e30..    b222 + b223 + b224 + b225 + b346 =E= 1;

e31..    b238 + b239 + b240 + b241 + b347 =E= 1;

e32..    b266 + b275 + b276 + b277 + b348 =E= 1;

e33..    b267 + b268 + b269 + b270 + b349 =E= 1;

e34..    b271 + b272 + b273 + b274 + b350 =E= 1;

e35..    b278 + b279 + b280 + b281 + b351 =E= 1;

e36..    b282 + b283 + b284 + b285 + b352 =E= 1;

e37..    b286 + b287 + b288 + b289 + b353 =E= 1;

e38..    b290 + b291 + b292 + b293 + b354 =E= 1;

e39..    b294 + b295 + b296 + b297 + b355 =E= 1;

e40..    b298 + b299 + b300 + b301 + b356 =E= 1;

e41..    b302 + b303 + b304 + b305 + b357 =E= 1;

e42..    b306 + b307 + b308 + b309 + b358 =E= 1;

e43..    b310 + b311 + b312 + b313 + b359 =E= 1;

e44..    b314 + b315 + b316 + b317 + b360 =E= 1;

e45..    b106 + b111 + b112 + b113 + b361 =E= 1;

e46..    b107 + b108 + b109 + b110 + b362 =E= 1;

e47..    b54 + b55 + b56 + b57 + b363 =E= 1;

e48..    b62 + b63 + b64 + b65 + b364 =E= 1;

e49..    b114 + b115 + b116 + b117 + b365 =E= 1;

e50..    b58 + b59 + b60 + b61 + b366 =E= 1;

e51..    b66 + b67 + b68 + b69 + b367 =E= 1;

e52..    b19 + b20 + b21 + b22 + b368 =E= 1;

e53..    b118 + b119 + b120 + b121 + b369 =E= 1;

e54..    b94 + b95 + b96 + b97 + b370 =E= 1;

e55..    b70 + b71 + b72 + b73 + b371 =E= 1;

e56..    b46 + b47 + b48 + b49 + b372 =E= 1;

e57..    b142 + b143 + b144 + b145 + b373 =E= 1;

e58..    b122 + b123 + b124 + b125 + b374 =E= 1;

e59..    b98 + b99 + b100 + b101 + b375 =E= 1;

e60..    b86 + b87 + b88 + b89 + b376 =E= 1;

e61..    b150 + b151 + b152 + b153 + b377 =E= 1;

e62..    b146 + b147 + b148 + b149 + b378 =E= 1;

e63..    b134 + b135 + b136 + b137 + b379 =E= 1;

e64..    b130 + b131 + b132 + b133 + b380 =E= 1;

e65..    b182 + b183 + b184 + b185 + b381 =E= 1;

e66..    b170 + b171 + b172 + b173 + b382 =E= 1;

e67..    b166 + b167 + b168 + b169 + b383 =E= 1;

e68..    b162 + b163 + b164 + b165 + b384 =E= 1;

e69..    b210 + b211 + b212 + b213 + b385 =E= 1;

e70..    b206 + b207 + b208 + b209 + b386 =E= 1;

e71..    b202 + b203 + b204 + b205 + b387 =E= 1;

e72..    b194 + b195 + b196 + b197 + b388 =E= 1;

e73..    b246 + b247 + b248 + b249 + b389 =E= 1;

e74..    b242 + b243 + b244 + b245 + b390 =E= 1;

e75..    b234 + b235 + b236 + b237 + b391 =E= 1;

e76..    b230 + b231 + b232 + b233 + b392 =E= 1;

e77..    b262 + b263 + b264 + b265 + b393 =E= 1;

e78..    b258 + b259 + b260 + b261 + b394 =E= 1;

e79..    b254 + b255 + b256 + b257 + b395 =E= 1;

e80..    b250 + b251 + b252 + b253 + b396 =E= 1;

e81..    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 =E= 0;

Model m / all /;

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

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

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


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