MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


Instance: chimera_selby-c8-onc8-01

Maximum Cut on Chimera Graphs
Formats ams gms lp mod osil pip
Primal Bounds (infeas ≤ 1e-08)
173.50000000 p1 ( gdx sol )
(infeas: 0)
Other points (infeas > 1e-08)  
Dual Bounds
240.31381750 (BARON)
245.75000000 (COUENNE)
224.90000000 (LINDO)
229.79363210 (SCIP)
References M. Jünger, E. Lobe, P. Mutzel, G. Reinelt, F. Rendl, G. Rinaldi, T. Stollenwerk, Performance of a Quantum Annealer for Ising Ground State Computations on Chimera Graphs, Tech. Rep., 2019.
Source https://minoa-itn.fau.de/benchmark-instances
Application Max Cut
Added to library 15 Nov 2019
Problem type BQP
#Variables 507
#Binary Variables 507
#Integer Variables 0
#Nonlinear Variables 507
#Nonlinear Binary Variables 507
#Nonlinear Integer Variables 0
Objective Sense max
Objective type quadratic
Objective curvature indefinite
#Nonzeros in Objective 507
#Nonlinear Nonzeros in Objective 507
#Constraints 0
#Linear Constraints 0
#Quadratic Constraints 0
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 0
Operands in Gen. Nonlin. Functions  
Constraints curvature linear
#Nonzeros in Jacobian 0
#Nonlinear Nonzeros in Jacobian 0
#Nonzeros in (Upper-Left) Hessian of Lagrangian 2684
#Nonzeros in Diagonal of Hessian of Lagrangian 0
#Blocks in Hessian of Lagrangian 1
Minimal blocksize in Hessian of Lagrangian 507
Maximal blocksize in Hessian of Lagrangian 507
Average blocksize in Hessian of Lagrangian 507.0
#Semicontinuities 0
#Nonlinear Semicontinuities 0
#SOS type 1 0
#SOS type 2 0
Infeasibility of initial point 0
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
*          1        1        0        0        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        508        1      507        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*        508        1      507        0
*
*  Solve m using MIQCP maximizing objvar;


Variables  b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19
          ,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36
          ,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53
          ,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69,b70
          ,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86,b87
          ,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102,b103
          ,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115,b116
          ,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128,b129
          ,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141,b142
          ,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154,b155
          ,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167,b168
          ,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180,b181
          ,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193,b194
          ,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206,b207
          ,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219,b220
          ,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232,b233
          ,b234,b235,b236,b237,b238,b239,b240,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,b402
          ,b403,b404,b405,b406,b407,b408,b409,b410,b411,b412,b413,b414,b415
          ,b416,b417,b418,b419,b420,b421,b422,b423,b424,b425,b426,b427,b428
          ,b429,b430,b431,b432,b433,b434,b435,b436,b437,b438,b439,b440,b441
          ,b442,b443,b444,b445,b446,b447,b448,b449,b450,b451,b452,b453,b454
          ,b455,b456,b457,b458,b459,b460,b461,b462,b463,b464,b465,b466,b467
          ,b468,b469,b470,b471,b472,b473,b474,b475,b476,b477,b478,b479,b480
          ,b481,b482,b483,b484,b485,b486,b487,b488,b489,b490,b491,b492,b493
          ,b494,b495,b496,b497,b498,b499,b500,b501,b502,b503,b504,b505,b506
          ,b507,objvar;

Binary Variables  b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17
          ,b18,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34
          ,b35,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51
          ,b52,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68
          ,b69,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85
          ,b86,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101
          ,b102,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114
          ,b115,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127
          ,b128,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140
          ,b141,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153
          ,b154,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166
          ,b167,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179
          ,b180,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192
          ,b193,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205
          ,b206,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218
          ,b219,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231
          ,b232,b233,b234,b235,b236,b237,b238,b239,b240,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,b402,b403,b404,b405,b406,b407,b408,b409,b410,b411,b412,b413
          ,b414,b415,b416,b417,b418,b419,b420,b421,b422,b423,b424,b425,b426
          ,b427,b428,b429,b430,b431,b432,b433,b434,b435,b436,b437,b438,b439
          ,b440,b441,b442,b443,b444,b445,b446,b447,b448,b449,b450,b451,b452
          ,b453,b454,b455,b456,b457,b458,b459,b460,b461,b462,b463,b464,b465
          ,b466,b467,b468,b469,b470,b471,b472,b473,b474,b475,b476,b477,b478
          ,b479,b480,b481,b482,b483,b484,b485,b486,b487,b488,b489,b490,b491
          ,b492,b493,b494,b495,b496,b497,b498,b499,b500,b501,b502,b503,b504
          ,b505,b506,b507;

Equations  e1;


e1.. -(0.4*b1*(1 - b5) - 0.1*b1*(1 - b7) - 0.3*b1*(1 - b8) - 0.5*b1*(1 - b63)
      - 0.2*b2*(1 - b5) - 0.5*b2*(1 - b6) + 0.3*b2*(1 - b7) - 0.4*b2*(1 - b8)
      - 0.1*b2*(1 - b64) + 0.1*b3*(1 - b5) - 0.1*b3*(1 - b6) - 0.3*b3*(1 - b7)
      - 0.5*b3*(1 - b8) - 0.5*b3*(1 - b65) - 0.2*b4*(1 - b5) - 0.3*b4*(1 - b6)
      + 0.2*b4*(1 - b7) + 0.4*b4*(1 - b8) - 0.3*b4*(1 - b66) + 0.4*b5*(1 - b1)
      - 0.2*b5*(1 - b2) + 0.1*b5*(1 - b3) - 0.2*b5*(1 - b4) + 0.7*b5*(1 - b13)
      - 0.5*b6*(1 - b2) - 0.1*b6*(1 - b3) - 0.3*b6*(1 - b4) + b6*(1 - b14) - 
     0.1*b7*(1 - b1) + 0.3*b7*(1 - b2) - 0.3*b7*(1 - b3) + 0.2*b7*(1 - b4) + 
     0.6*b7*(1 - b15) - 0.3*b8*(1 - b1) - 0.4*b8*(1 - b2) - 0.5*b8*(1 - b3) + 
     0.4*b8*(1 - b4) - 0.2*b9*(1 - b13) + 0.5*b9*(1 - b14) + 0.5*b9*(1 - b15)
      + 0.6*b9*(1 - b71) + 0.5*b10*(1 - b13) + 0.1*b10*(1 - b14) + 0.3*b10*(1
      - b15) - 0.8*b10*(1 - b72) - 0.5*b11*(1 - b13) + 0.2*b11*(1 - b14) + 0.2*
     b11*(1 - b15) + 0.8*b11*(1 - b73) - 0.4*b12*(1 - b15) - 0.8*b12*(1 - b74)
      + 0.7*b13*(1 - b5) - 0.2*b13*(1 - b9) + 0.5*b13*(1 - b10) - 0.5*b13*(1 - 
     b11) + 0.9*b13*(1 - b20) + b14*(1 - b6) + 0.5*b14*(1 - b9) + 0.1*b14*(1 - 
     b10) + 0.2*b14*(1 - b11) + 0.4*b14*(1 - b21) + 0.6*b15*(1 - b7) + 0.5*b15*
     (1 - b9) + 0.3*b15*(1 - b10) + 0.2*b15*(1 - b11) - 0.4*b15*(1 - b12) + 0.8
     *b15*(1 - b22) + 0.1*b16*(1 - b20) - 0.5*b16*(1 - b22) + 0.3*b16*(1 - b23)
      + 0.6*b16*(1 - b79) - 0.1*b17*(1 - b20) - 0.3*b17*(1 - b21) - 0.3*b17*(1
      - b22) - 0.2*b17*(1 - b23) + 0.2*b17*(1 - b80) + 0.2*b18*(1 - b20) - 0.2*
     b18*(1 - b21) - 0.3*b18*(1 - b22) + 0.4*b18*(1 - b23) - 0.4*b18*(1 - b81)
      + 0.5*b19*(1 - b20) + 0.3*b19*(1 - b21) - 0.2*b19*(1 - b22) + 0.2*b19*(1
      - b23) + 0.4*b19*(1 - b82) + 0.9*b20*(1 - b13) + 0.1*b20*(1 - b16) - 0.1*
     b20*(1 - b17) + 0.2*b20*(1 - b18) + 0.5*b20*(1 - b19) + 0.6*b20*(1 - b28)
      + 0.4*b21*(1 - b14) - 0.3*b21*(1 - b17) - 0.2*b21*(1 - b18) + 0.3*b21*(1
      - b19) + 0.3*b21*(1 - b29) + 0.8*b22*(1 - b15) - 0.5*b22*(1 - b16) - 0.3*
     b22*(1 - b17) - 0.3*b22*(1 - b18) - 0.2*b22*(1 - b19) + 0.2*b22*(1 - b30)
      + 0.3*b23*(1 - b16) - 0.2*b23*(1 - b17) + 0.4*b23*(1 - b18) + 0.2*b23*(1
      - b19) - 0.4*b23*(1 - b31) + 0.5*b24*(1 - b28) - 0.2*b24*(1 - b29) + 0.3*
     b24*(1 - b30) + 0.4*b24*(1 - b31) - 0.4*b24*(1 - b87) - 0.4*b25*(1 - b28)
      + 0.2*b25*(1 - b29) + 0.1*b25*(1 - b30) + 0.4*b25*(1 - b31) - 0.6*b25*(1
      - b88) - 0.1*b26*(1 - b28) - 0.4*b26*(1 - b29) - 0.5*b26*(1 - b30) - 0.1*
     b26*(1 - b31) - 0.7*b26*(1 - b89) - 0.2*b27*(1 - b29) - 0.4*b27*(1 - b30)
      + 0.6*b27*(1 - b90) + 0.6*b28*(1 - b20) + 0.5*b28*(1 - b24) - 0.4*b28*(1
      - b25) - 0.1*b28*(1 - b26) + 0.3*b28*(1 - b36) + 0.3*b29*(1 - b21) - 0.2*
     b29*(1 - b24) + 0.2*b29*(1 - b25) - 0.4*b29*(1 - b26) - 0.2*b29*(1 - b27)
      + 0.3*b29*(1 - b37) + 0.2*b30*(1 - b22) + 0.3*b30*(1 - b24) + 0.1*b30*(1
      - b25) - 0.5*b30*(1 - b26) - 0.4*b30*(1 - b27) + 0.1*b30*(1 - b38) - 0.4*
     b31*(1 - b23) + 0.4*b31*(1 - b24) + 0.4*b31*(1 - b25) - 0.1*b31*(1 - b26)
      - 0.2*b31*(1 - b39) - 0.2*b32*(1 - b36) - 0.1*b32*(1 - b37) + 0.1*b32*(1
      - b38) - 0.4*b32*(1 - b39) + 0.5*b33*(1 - b36) + 0.1*b33*(1 - b37) + 0.5*
     b33*(1 - b38) - 0.5*b33*(1 - b39) + 0.8*b33*(1 - b96) - 0.5*b34*(1 - b36)
      + 0.1*b34*(1 - b37) - 0.5*b34*(1 - b38) - 0.3*b34*(1 - b39) + 0.9*b34*(1
      - b97) + 0.2*b35*(1 - b36) - 0.4*b35*(1 - b37) - 0.2*b35*(1 - b38) - 0.3*
     b35*(1 - b39) + b35*(1 - b98) + 0.3*b36*(1 - b28) - 0.2*b36*(1 - b32) + 
     0.5*b36*(1 - b33) - 0.5*b36*(1 - b34) + 0.2*b36*(1 - b35) - 0.3*b36*(1 - 
     b44) + 0.3*b37*(1 - b29) - 0.1*b37*(1 - b32) + 0.1*b37*(1 - b33) + 0.1*b37
     *(1 - b34) - 0.4*b37*(1 - b35) - 0.7*b37*(1 - b45) + 0.1*b38*(1 - b30) + 
     0.1*b38*(1 - b32) + 0.5*b38*(1 - b33) - 0.5*b38*(1 - b34) - 0.2*b38*(1 - 
     b35) + 0.2*b38*(1 - b46) - 0.2*b39*(1 - b31) - 0.4*b39*(1 - b32) - 0.5*b39
     *(1 - b33) - 0.3*b39*(1 - b34) - 0.3*b39*(1 - b35) + 0.7*b39*(1 - b47) - 
     0.2*b40*(1 - b44) - 0.3*b40*(1 - b46) + 0.5*b40*(1 - b47) + 0.3*b41*(1 - 
     b44) - 0.3*b41*(1 - b46) - 0.4*b41*(1 - b47) - 0.9*b41*(1 - b104) - 0.4*
     b42*(1 - b44) - 0.5*b42*(1 - b45) + 0.2*b42*(1 - b46) - 0.1*b42*(1 - b47)
      - 0.7*b42*(1 - b105) - 0.4*b43*(1 - b45) + 0.5*b43*(1 - b46) - 0.2*b43*(1
      - b47) - 0.2*b43*(1 - b106) - 0.3*b44*(1 - b36) - 0.2*b44*(1 - b40) + 0.3
     *b44*(1 - b41) - 0.4*b44*(1 - b42) - 0.5*b44*(1 - b52) - 0.7*b45*(1 - b37)
      - 0.5*b45*(1 - b42) - 0.4*b45*(1 - b43) + 0.6*b45*(1 - b53) + 0.2*b46*(1
      - b38) - 0.3*b46*(1 - b40) - 0.3*b46*(1 - b41) + 0.2*b46*(1 - b42) + 0.5*
     b46*(1 - b43) - b46*(1 - b54) + 0.7*b47*(1 - b39) + 0.5*b47*(1 - b40) - 
     0.4*b47*(1 - b41) - 0.1*b47*(1 - b42) - 0.2*b47*(1 - b43) - 0.9*b47*(1 - 
     b55) - 0.4*b48*(1 - b52) - 0.1*b48*(1 - b53) + 0.3*b48*(1 - b54) + 0.3*b48
     *(1 - b55) + 0.1*b48*(1 - b111) - 0.4*b49*(1 - b52) + 0.2*b49*(1 - b53) + 
     0.1*b49*(1 - b54) - 0.5*b49*(1 - b55) + 0.1*b50*(1 - b52) - 0.3*b50*(1 - 
     b53) - 0.4*b50*(1 - b54) + 0.1*b50*(1 - b55) + 0.6*b50*(1 - b113) + 0.5*
     b51*(1 - b52) + 0.4*b51*(1 - b53) + 0.2*b51*(1 - b54) + 0.5*b51*(1 - b55)
      + 0.4*b51*(1 - b114) - 0.5*b52*(1 - b44) - 0.4*b52*(1 - b48) - 0.4*b52*(1
      - b49) + 0.1*b52*(1 - b50) + 0.5*b52*(1 - b51) - 0.7*b52*(1 - b59) + 0.6*
     b53*(1 - b45) - 0.1*b53*(1 - b48) + 0.2*b53*(1 - b49) - 0.3*b53*(1 - b50)
      + 0.4*b53*(1 - b51) - b53*(1 - b60) - b54*(1 - b46) + 0.3*b54*(1 - b48)
      + 0.1*b54*(1 - b49) - 0.4*b54*(1 - b50) + 0.2*b54*(1 - b51) - 0.3*b54*(1
      - b61) - 0.9*b55*(1 - b47) + 0.3*b55*(1 - b48) - 0.5*b55*(1 - b49) + 0.1*
     b55*(1 - b50) + 0.5*b55*(1 - b51) - 0.4*b55*(1 - b62) - 0.5*b56*(1 - b59)
      + 0.3*b56*(1 - b60) + 0.1*b56*(1 - b61) + 0.1*b56*(1 - b62) - 0.4*b56*(1
      - b119) - 0.1*b57*(1 - b59) + 0.3*b57*(1 - b60) + 0.3*b57*(1 - b61) - 0.2
     *b57*(1 - b62) - b57*(1 - b120) + 0.1*b58*(1 - b59) - 0.2*b58*(1 - b60) - 
     0.3*b58*(1 - b61) + 0.3*b58*(1 - b62) + 0.2*b58*(1 - b121) - 0.7*b59*(1 - 
     b52) - 0.5*b59*(1 - b56) - 0.1*b59*(1 - b57) + 0.1*b59*(1 - b58) - b60*(1
      - b53) + 0.3*b60*(1 - b56) + 0.3*b60*(1 - b57) - 0.2*b60*(1 - b58) - 0.3*
     b61*(1 - b54) + 0.1*b61*(1 - b56) + 0.3*b61*(1 - b57) - 0.3*b61*(1 - b58)
      - 0.4*b62*(1 - b55) + 0.1*b62*(1 - b56) - 0.2*b62*(1 - b57) + 0.3*b62*(1
      - b58) - 0.5*b63*(1 - b1) + 0.3*b63*(1 - b67) - 0.1*b63*(1 - b68) - 0.1*
     b63*(1 - b69) - 0.4*b63*(1 - b70) - 0.9*b63*(1 - b127) - 0.1*b64*(1 - b2)
      + 0.1*b64*(1 - b67) + 0.3*b64*(1 - b68) - 0.3*b64*(1 - b69) + b64*(1 - 
     b128) - 0.5*b65*(1 - b3) - 0.2*b65*(1 - b67) - 0.5*b65*(1 - b69) + 0.5*b65
     *(1 - b70) - 0.7*b65*(1 - b129) - 0.3*b66*(1 - b4) - 0.4*b66*(1 - b67) - 
     0.1*b66*(1 - b68) + 0.5*b66*(1 - b69) - 0.3*b66*(1 - b70) - b66*(1 - b130)
      + 0.3*b67*(1 - b63) + 0.1*b67*(1 - b64) - 0.2*b67*(1 - b65) - 0.4*b67*(1
      - b66) + 0.3*b67*(1 - b75) - 0.1*b68*(1 - b63) + 0.3*b68*(1 - b64) - 0.1*
     b68*(1 - b66) + 0.5*b68*(1 - b76) - 0.1*b69*(1 - b63) - 0.3*b69*(1 - b64)
      - 0.5*b69*(1 - b65) + 0.5*b69*(1 - b66) + 0.3*b69*(1 - b77) - 0.4*b70*(1
      - b63) + 0.5*b70*(1 - b65) - 0.3*b70*(1 - b66) + 0.6*b71*(1 - b9) - 0.5*
     b71*(1 - b75) - 0.2*b71*(1 - b76) - 0.4*b71*(1 - b77) - 0.3*b71*(1 - b78)
      + 0.7*b71*(1 - b135) - 0.8*b72*(1 - b10) - 0.3*b72*(1 - b75) - 0.3*b72*(1
      - b77) + 0.5*b72*(1 - b78) + 0.3*b72*(1 - b136) + 0.8*b73*(1 - b11) - 0.5
     *b73*(1 - b75) + 0.2*b73*(1 - b76) - 0.5*b73*(1 - b77) + 0.1*b73*(1 - b78)
      - 0.1*b73*(1 - b137) - 0.8*b74*(1 - b12) + 0.3*b74*(1 - b75) + 0.1*b74*(1
      - b76) - 0.3*b74*(1 - b77) - 0.5*b74*(1 - b78) + 0.3*b75*(1 - b67) - 0.5*
     b75*(1 - b71) - 0.3*b75*(1 - b72) - 0.5*b75*(1 - b73) + 0.3*b75*(1 - b74)
      - 0.4*b75*(1 - b83) + 0.5*b76*(1 - b68) - 0.2*b76*(1 - b71) + 0.2*b76*(1
      - b73) + 0.1*b76*(1 - b74) - 0.3*b76*(1 - b84) + 0.3*b77*(1 - b69) - 0.4*
     b77*(1 - b71) - 0.3*b77*(1 - b72) - 0.5*b77*(1 - b73) - 0.3*b77*(1 - b74)
      + b77*(1 - b85) - 0.3*b78*(1 - b71) + 0.5*b78*(1 - b72) + 0.1*b78*(1 - 
     b73) - 0.5*b78*(1 - b74) - 0.2*b78*(1 - b86) + 0.6*b79*(1 - b16) - 0.1*b79
     *(1 - b83) + 0.5*b79*(1 - b84) - 0.4*b79*(1 - b85) + 0.4*b79*(1 - b86) - 
     0.9*b79*(1 - b143) + 0.2*b80*(1 - b17) + 0.4*b80*(1 - b83) + 0.1*b80*(1 - 
     b84) + 0.3*b80*(1 - b85) + 0.5*b80*(1 - b86) + 0.3*b80*(1 - b144) - 0.4*
     b81*(1 - b18) - 0.5*b81*(1 - b83) + 0.3*b81*(1 - b84) + 0.5*b81*(1 - b85)
      - 0.4*b81*(1 - b86) - 0.3*b81*(1 - b145) + 0.4*b82*(1 - b19) - 0.5*b82*(1
      - b83) + 0.5*b82*(1 - b84) - 0.4*b82*(1 - b85) - 0.2*b82*(1 - b86) - 0.9*
     b82*(1 - b146) - 0.4*b83*(1 - b75) - 0.1*b83*(1 - b79) + 0.4*b83*(1 - b80)
      - 0.5*b83*(1 - b81) - 0.5*b83*(1 - b82) + 0.3*b83*(1 - b91) - 0.3*b84*(1
      - b76) + 0.5*b84*(1 - b79) + 0.1*b84*(1 - b80) + 0.3*b84*(1 - b81) + 0.5*
     b84*(1 - b82) - 0.3*b84*(1 - b92) + b85*(1 - b77) - 0.4*b85*(1 - b79) + 
     0.3*b85*(1 - b80) + 0.5*b85*(1 - b81) - 0.4*b85*(1 - b82) - 0.3*b85*(1 - 
     b93) - 0.2*b86*(1 - b78) + 0.4*b86*(1 - b79) + 0.5*b86*(1 - b80) - 0.4*b86
     *(1 - b81) - 0.2*b86*(1 - b82) + 0.2*b86*(1 - b94) - 0.4*b87*(1 - b24) - 
     0.1*b87*(1 - b91) + 0.2*b87*(1 - b92) + 0.5*b87*(1 - b93) - 0.4*b87*(1 - 
     b94) - 0.5*b87*(1 - b151) - 0.6*b88*(1 - b25) + 0.5*b88*(1 - b91) - 0.4*
     b88*(1 - b92) + 0.3*b88*(1 - b93) - 0.5*b88*(1 - b94) + 0.4*b88*(1 - b152)
      - 0.7*b89*(1 - b26) + 0.5*b89*(1 - b91) + 0.5*b89*(1 - b92) - 0.4*b89*(1
      - b93) - 0.2*b89*(1 - b94) + 0.4*b89*(1 - b153) + 0.6*b90*(1 - b27) - 0.3
     *b90*(1 - b91) - 0.2*b90*(1 - b92) - 0.3*b90*(1 - b93) - 0.2*b90*(1 - b94)
      + b90*(1 - b154) + 0.3*b91*(1 - b83) - 0.1*b91*(1 - b87) + 0.5*b91*(1 - 
     b88) + 0.5*b91*(1 - b89) - 0.3*b91*(1 - b90) + 0.2*b91*(1 - b99) - 0.3*b92
     *(1 - b84) + 0.2*b92*(1 - b87) - 0.4*b92*(1 - b88) + 0.5*b92*(1 - b89) - 
     0.2*b92*(1 - b90) - 0.8*b92*(1 - b100) - 0.3*b93*(1 - b85) + 0.5*b93*(1 - 
     b87) + 0.3*b93*(1 - b88) - 0.4*b93*(1 - b89) - 0.3*b93*(1 - b90) - 0.3*b93
     *(1 - b101) + 0.2*b94*(1 - b86) - 0.4*b94*(1 - b87) - 0.5*b94*(1 - b88) - 
     0.2*b94*(1 - b89) - 0.2*b94*(1 - b90) + 0.2*b94*(1 - b102) + 0.3*b95*(1 - 
     b99) - 0.5*b95*(1 - b100) + 0.2*b95*(1 - b101) + 0.6*b95*(1 - b159) + 0.8*
     b96*(1 - b33) + 0.5*b96*(1 - b99) - 0.5*b96*(1 - b100) - 0.3*b96*(1 - b101
     ) - 0.2*b96*(1 - b102) - 0.5*b96*(1 - b160) + 0.9*b97*(1 - b34) + 0.5*b97*
     (1 - b99) + 0.1*b97*(1 - b100) - 0.5*b97*(1 - b101) - 0.5*b97*(1 - b161)
      + b98*(1 - b35) + 0.5*b98*(1 - b99) - 0.4*b98*(1 - b100) + 0.1*b98*(1 - 
     b101) + 0.3*b98*(1 - b102) - 0.7*b98*(1 - b162) + 0.2*b99*(1 - b91) + 0.3*
     b99*(1 - b95) + 0.5*b99*(1 - b96) + 0.5*b99*(1 - b97) + 0.5*b99*(1 - b98)
      + 0.6*b99*(1 - b107) - 0.8*b100*(1 - b92) - 0.5*b100*(1 - b95) - 0.5*b100
     *(1 - b96) + 0.1*b100*(1 - b97) - 0.4*b100*(1 - b98) - 0.6*b100*(1 - b108)
      - 0.3*b101*(1 - b93) + 0.2*b101*(1 - b95) - 0.3*b101*(1 - b96) - 0.5*b101
     *(1 - b97) + 0.1*b101*(1 - b98) + 0.6*b101*(1 - b109) + 0.2*b102*(1 - b94)
      - 0.2*b102*(1 - b96) + 0.3*b102*(1 - b98) + 0.9*b102*(1 - b110) + 0.2*
     b103*(1 - b107) - 0.3*b103*(1 - b109) - 0.2*b103*(1 - b110) - 0.7*b103*(1
      - b167) - 0.9*b104*(1 - b41) + 0.3*b104*(1 - b107) - 0.4*b104*(1 - b108)
      - 0.2*b104*(1 - b109) - 0.5*b104*(1 - b110) - 0.6*b104*(1 - b168) - 0.7*
     b105*(1 - b42) + 0.3*b105*(1 - b107) - 0.3*b105*(1 - b108) - 0.4*b105*(1
      - b169) - 0.2*b106*(1 - b43) + 0.2*b106*(1 - b107) + 0.4*b106*(1 - b108)
      - 0.4*b106*(1 - b109) - 0.4*b106*(1 - b110) + 0.3*b106*(1 - b170) + 0.6*
     b107*(1 - b99) + 0.2*b107*(1 - b103) + 0.3*b107*(1 - b104) + 0.3*b107*(1
      - b105) + 0.2*b107*(1 - b106) - 0.4*b107*(1 - b115) - 0.6*b108*(1 - b100)
      - 0.4*b108*(1 - b104) - 0.3*b108*(1 - b105) + 0.4*b108*(1 - b106) - 0.5*
     b108*(1 - b116) + 0.6*b109*(1 - b101) - 0.3*b109*(1 - b103) - 0.2*b109*(1
      - b104) - 0.4*b109*(1 - b106) + 0.8*b109*(1 - b117) + 0.9*b110*(1 - b102)
      - 0.2*b110*(1 - b103) - 0.5*b110*(1 - b104) - 0.4*b110*(1 - b106) - 0.8*
     b110*(1 - b118) + 0.1*b111*(1 - b48) + 0.4*b111*(1 - b115) + 0.2*b111*(1
      - b118) - 0.6*b111*(1 - b175) + 0.2*b112*(1 - b115) + 0.4*b112*(1 - b116)
      - 0.5*b112*(1 - b117) - 0.3*b112*(1 - b118) + 0.6*b113*(1 - b50) - 0.5*
     b113*(1 - b115) + 0.4*b113*(1 - b116) + 0.2*b113*(1 - b117) + 0.5*b113*(1
      - b118) - b113*(1 - b177) + 0.4*b114*(1 - b51) - 0.4*b114*(1 - b115) + 
     0.2*b114*(1 - b117) + 0.5*b114*(1 - b118) + 0.4*b114*(1 - b178) - 0.4*b115
     *(1 - b107) + 0.4*b115*(1 - b111) + 0.2*b115*(1 - b112) - 0.5*b115*(1 - 
     b113) - 0.4*b115*(1 - b114) + b115*(1 - b123) - 0.5*b116*(1 - b108) + 0.4*
     b116*(1 - b112) + 0.4*b116*(1 - b113) - 0.1*b116*(1 - b124) + 0.8*b117*(1
      - b109) - 0.5*b117*(1 - b112) + 0.2*b117*(1 - b113) + 0.2*b117*(1 - b114)
      + 0.6*b117*(1 - b125) - 0.8*b118*(1 - b110) + 0.2*b118*(1 - b111) - 0.3*
     b118*(1 - b112) + 0.5*b118*(1 - b113) + 0.5*b118*(1 - b114) - 0.2*b118*(1
      - b126) - 0.4*b119*(1 - b56) + 0.1*b119*(1 - b123) - 0.3*b119*(1 - b124)
      + 0.5*b119*(1 - b125) - 0.1*b119*(1 - b126) - b119*(1 - b183) - b120*(1
      - b57) - 0.4*b120*(1 - b123) - 0.4*b120*(1 - b124) - 0.5*b120*(1 - b125)
      - 0.4*b120*(1 - b126) + 0.6*b120*(1 - b184) + 0.2*b121*(1 - b58) + 0.5*
     b121*(1 - b123) + 0.2*b121*(1 - b124) + 0.2*b121*(1 - b125) - 0.1*b121*(1
      - b126) - 0.1*b121*(1 - b185) - 0.2*b122*(1 - b123) - 0.2*b122*(1 - b125)
      - 0.1*b122*(1 - b126) + 0.1*b122*(1 - b186) + b123*(1 - b115) + 0.1*b123*
     (1 - b119) - 0.4*b123*(1 - b120) + 0.5*b123*(1 - b121) - 0.2*b123*(1 - 
     b122) - 0.1*b124*(1 - b116) - 0.3*b124*(1 - b119) - 0.4*b124*(1 - b120) + 
     0.2*b124*(1 - b121) + 0.6*b125*(1 - b117) + 0.5*b125*(1 - b119) - 0.5*b125
     *(1 - b120) + 0.2*b125*(1 - b121) - 0.2*b125*(1 - b122) - 0.2*b126*(1 - 
     b118) - 0.1*b126*(1 - b119) - 0.4*b126*(1 - b120) - 0.1*b126*(1 - b121) - 
     0.1*b126*(1 - b122) - 0.9*b127*(1 - b63) + 0.2*b127*(1 - b131) - 0.4*b127*
     (1 - b132) + 0.2*b127*(1 - b133) - 0.5*b127*(1 - b134) + 0.1*b127*(1 - 
     b191) + b128*(1 - b64) - 0.5*b128*(1 - b131) - 0.2*b128*(1 - b132) + 0.1*
     b128*(1 - b133) - 0.3*b128*(1 - b134) + 0.8*b128*(1 - b192) - 0.7*b129*(1
      - b65) + 0.1*b129*(1 - b131) - 0.4*b129*(1 - b132) + 0.1*b129*(1 - b133)
      + 0.4*b129*(1 - b134) - 0.2*b129*(1 - b193) - b130*(1 - b66) - 0.1*b130*(
     1 - b131) - 0.2*b130*(1 - b132) - 0.2*b130*(1 - b133) + 0.4*b130*(1 - b134
     ) - 0.2*b130*(1 - b194) + 0.2*b131*(1 - b127) - 0.5*b131*(1 - b128) + 0.1*
     b131*(1 - b129) - 0.1*b131*(1 - b130) + 0.7*b131*(1 - b139) - 0.4*b132*(1
      - b127) - 0.2*b132*(1 - b128) - 0.4*b132*(1 - b129) - 0.2*b132*(1 - b130)
      + 0.4*b132*(1 - b140) + 0.2*b133*(1 - b127) + 0.1*b133*(1 - b128) + 0.1*
     b133*(1 - b129) - 0.2*b133*(1 - b130) - 0.8*b133*(1 - b141) - 0.5*b134*(1
      - b127) - 0.3*b134*(1 - b128) + 0.4*b134*(1 - b129) + 0.4*b134*(1 - b130)
      - 0.1*b134*(1 - b142) + 0.7*b135*(1 - b71) - 0.4*b135*(1 - b139) - 0.3*
     b135*(1 - b140) + 0.4*b135*(1 - b141) + 0.9*b135*(1 - b199) + 0.3*b136*(1
      - b72) + 0.1*b136*(1 - b139) + 0.2*b136*(1 - b140) + 0.4*b136*(1 - b142)
      + b136*(1 - b200) - 0.1*b137*(1 - b73) - 0.2*b137*(1 - b139) - 0.2*b137*(
     1 - b140) + 0.3*b137*(1 - b141) - 0.1*b137*(1 - b142) - 0.8*b137*(1 - b201
     ) + 0.4*b138*(1 - b140) + 0.2*b138*(1 - b141) + 0.4*b138*(1 - b142) + 0.7*
     b138*(1 - b202) + 0.7*b139*(1 - b131) - 0.4*b139*(1 - b135) + 0.1*b139*(1
      - b136) - 0.2*b139*(1 - b137) + 0.3*b139*(1 - b147) + 0.4*b140*(1 - b132)
      - 0.3*b140*(1 - b135) + 0.2*b140*(1 - b136) - 0.2*b140*(1 - b137) + 0.4*
     b140*(1 - b138) + 0.2*b140*(1 - b148) - 0.8*b141*(1 - b133) + 0.4*b141*(1
      - b135) + 0.3*b141*(1 - b137) + 0.2*b141*(1 - b138) - 0.5*b141*(1 - b149)
      - 0.1*b142*(1 - b134) + 0.4*b142*(1 - b136) - 0.1*b142*(1 - b137) + 0.4*
     b142*(1 - b138) + 0.6*b142*(1 - b150) - 0.9*b143*(1 - b79) - 0.1*b143*(1
      - b147) + 0.4*b143*(1 - b148) + 0.1*b143*(1 - b149) - 0.4*b143*(1 - b150)
      + 0.6*b143*(1 - b207) + 0.3*b144*(1 - b80) - 0.3*b144*(1 - b147) - 0.2*
     b144*(1 - b148) + 0.3*b144*(1 - b149) + 0.2*b144*(1 - b150) + 0.6*b144*(1
      - b208) - 0.3*b145*(1 - b81) + 0.3*b145*(1 - b147) - 0.2*b145*(1 - b148)
      + 0.4*b145*(1 - b149) - 0.3*b145*(1 - b150) - 0.3*b145*(1 - b209) - 0.9*
     b146*(1 - b82) + 0.2*b146*(1 - b149) - 0.5*b146*(1 - b150) + 0.9*b146*(1
      - b210) + 0.3*b147*(1 - b139) - 0.1*b147*(1 - b143) - 0.3*b147*(1 - b144)
      + 0.3*b147*(1 - b145) + 0.5*b147*(1 - b155) + 0.2*b148*(1 - b140) + 0.4*
     b148*(1 - b143) - 0.2*b148*(1 - b144) - 0.2*b148*(1 - b145) + 0.3*b148*(1
      - b156) - 0.5*b149*(1 - b141) + 0.1*b149*(1 - b143) + 0.3*b149*(1 - b144)
      + 0.4*b149*(1 - b145) + 0.2*b149*(1 - b146) + 0.2*b149*(1 - b157) + 0.6*
     b150*(1 - b142) - 0.4*b150*(1 - b143) + 0.2*b150*(1 - b144) - 0.3*b150*(1
      - b145) - 0.5*b150*(1 - b146) + 0.2*b150*(1 - b158) - 0.5*b151*(1 - b87)
      - 0.1*b151*(1 - b155) - 0.1*b151*(1 - b156) + 0.5*b151*(1 - b157) - 0.6*
     b151*(1 - b215) + 0.4*b152*(1 - b88) + 0.1*b152*(1 - b155) - 0.1*b152*(1
      - b156) + 0.1*b152*(1 - b157) - 0.1*b152*(1 - b158) + 0.8*b152*(1 - b216)
      + 0.4*b153*(1 - b89) + 0.2*b153*(1 - b155) - 0.5*b153*(1 - b156) + 0.1*
     b153*(1 - b157) - 0.3*b153*(1 - b158) + 0.2*b153*(1 - b217) + b154*(1 - 
     b90) - 0.1*b154*(1 - b156) - 0.3*b154*(1 - b157) + 0.5*b154*(1 - b158) + 
     0.3*b154*(1 - b218) + 0.5*b155*(1 - b147) - 0.1*b155*(1 - b151) + 0.1*b155
     *(1 - b152) + 0.2*b155*(1 - b153) + 0.7*b155*(1 - b163) + 0.3*b156*(1 - 
     b148) - 0.1*b156*(1 - b151) - 0.1*b156*(1 - b152) - 0.5*b156*(1 - b153) - 
     0.1*b156*(1 - b154) - 0.9*b156*(1 - b164) + 0.2*b157*(1 - b149) + 0.5*b157
     *(1 - b151) + 0.1*b157*(1 - b152) + 0.1*b157*(1 - b153) - 0.3*b157*(1 - 
     b154) - 0.7*b157*(1 - b165) + 0.2*b158*(1 - b150) - 0.1*b158*(1 - b152) - 
     0.3*b158*(1 - b153) + 0.5*b158*(1 - b154) - 0.7*b158*(1 - b166) + 0.6*b159
     *(1 - b95) + 0.2*b159*(1 - b164) + 0.3*b159*(1 - b165) + 0.5*b159*(1 - 
     b166) - 0.3*b159*(1 - b223) - 0.5*b160*(1 - b96) + 0.2*b160*(1 - b163) + 
     0.1*b160*(1 - b164) - 0.4*b160*(1 - b166) + 0.8*b160*(1 - b224) - 0.5*b161
     *(1 - b97) - 0.2*b161*(1 - b163) + 0.2*b161*(1 - b164) - 0.5*b161*(1 - 
     b165) + 0.2*b161*(1 - b166) - b161*(1 - b225) - 0.7*b162*(1 - b98) - 0.3*
     b162*(1 - b163) + 0.2*b162*(1 - b164) - 0.3*b162*(1 - b165) - 0.4*b162*(1
      - b166) - 0.5*b162*(1 - b226) + 0.7*b163*(1 - b155) + 0.2*b163*(1 - b160)
      - 0.2*b163*(1 - b161) - 0.3*b163*(1 - b162) + 0.1*b163*(1 - b171) - 0.9*
     b164*(1 - b156) + 0.2*b164*(1 - b159) + 0.1*b164*(1 - b160) + 0.2*b164*(1
      - b161) + 0.2*b164*(1 - b162) + 0.6*b164*(1 - b172) - 0.7*b165*(1 - b157)
      + 0.3*b165*(1 - b159) - 0.5*b165*(1 - b161) - 0.3*b165*(1 - b162) + 0.8*
     b165*(1 - b173) - 0.7*b166*(1 - b158) + 0.5*b166*(1 - b159) - 0.4*b166*(1
      - b160) + 0.2*b166*(1 - b161) - 0.4*b166*(1 - b162) + b166*(1 - b174) - 
     0.7*b167*(1 - b103) + 0.1*b167*(1 - b171) - 0.2*b167*(1 - b172) - 0.2*b167
     *(1 - b173) + 0.3*b167*(1 - b174) + 0.4*b167*(1 - b231) - 0.6*b168*(1 - 
     b104) + 0.5*b168*(1 - b171) + 0.5*b168*(1 - b172) + 0.5*b168*(1 - b173) + 
     0.4*b168*(1 - b174) - 0.8*b168*(1 - b232) - 0.4*b169*(1 - b105) + 0.1*b169
     *(1 - b171) - 0.1*b169*(1 - b172) + 0.1*b169*(1 - b173) + 0.1*b169*(1 - 
     b174) + 0.5*b169*(1 - b233) + 0.3*b170*(1 - b106) + 0.1*b170*(1 - b171) + 
     0.1*b170*(1 - b172) - 0.2*b170*(1 - b173) - 0.4*b170*(1 - b174) - 0.4*b170
     *(1 - b234) + 0.1*b171*(1 - b163) + 0.1*b171*(1 - b167) + 0.5*b171*(1 - 
     b168) + 0.1*b171*(1 - b169) + 0.1*b171*(1 - b170) - 0.4*b171*(1 - b179) + 
     0.6*b172*(1 - b164) - 0.2*b172*(1 - b167) + 0.5*b172*(1 - b168) - 0.1*b172
     *(1 - b169) + 0.1*b172*(1 - b170) + 0.7*b172*(1 - b180) + 0.8*b173*(1 - 
     b165) - 0.2*b173*(1 - b167) + 0.5*b173*(1 - b168) + 0.1*b173*(1 - b169) - 
     0.2*b173*(1 - b170) + 0.5*b173*(1 - b181) + b174*(1 - b166) + 0.3*b174*(1
      - b167) + 0.4*b174*(1 - b168) + 0.1*b174*(1 - b169) - 0.4*b174*(1 - b170)
      - 0.2*b174*(1 - b182) - 0.6*b175*(1 - b111) - 0.3*b175*(1 - b179) - 0.3*
     b175*(1 - b180) - 0.4*b175*(1 - b182) - 0.4*b175*(1 - b239) + 0.2*b176*(1
      - b179) - 0.5*b176*(1 - b180) + 0.4*b176*(1 - b181) - 0.1*b176*(1 - b182)
      - 0.9*b176*(1 - b240) - b177*(1 - b113) + 0.3*b177*(1 - b179) + 0.2*b177*
     (1 - b180) - 0.4*b177*(1 - b181) + 0.5*b177*(1 - b182) - 0.9*b177*(1 - 
     b241) + 0.4*b178*(1 - b114) + 0.5*b178*(1 - b179) + 0.3*b178*(1 - b180) - 
     0.4*b178*(1 - b181) + 0.1*b178*(1 - b182) - 0.9*b178*(1 - b242) - 0.4*b179
     *(1 - b171) - 0.3*b179*(1 - b175) + 0.2*b179*(1 - b176) + 0.3*b179*(1 - 
     b177) + 0.5*b179*(1 - b178) - 0.4*b179*(1 - b187) + 0.7*b180*(1 - b172) - 
     0.3*b180*(1 - b175) - 0.5*b180*(1 - b176) + 0.2*b180*(1 - b177) + 0.3*b180
     *(1 - b178) + 0.8*b180*(1 - b188) + 0.5*b181*(1 - b173) + 0.4*b181*(1 - 
     b176) - 0.4*b181*(1 - b177) - 0.4*b181*(1 - b178) - 0.1*b181*(1 - b189) - 
     0.2*b182*(1 - b174) - 0.4*b182*(1 - b175) - 0.1*b182*(1 - b176) + 0.5*b182
     *(1 - b177) + 0.1*b182*(1 - b178) - 0.1*b182*(1 - b190) - b183*(1 - b119)
      - 0.2*b183*(1 - b187) - 0.1*b183*(1 - b188) + 0.3*b183*(1 - b189) + 0.4*
     b183*(1 - b190) + 0.6*b183*(1 - b247) + 0.6*b184*(1 - b120) + 0.5*b184*(1
      - b187) - 0.1*b184*(1 - b188) + 0.1*b184*(1 - b189) + 0.4*b184*(1 - b190)
      - 0.6*b184*(1 - b248) - 0.1*b185*(1 - b121) - 0.2*b185*(1 - b187) + 0.2*
     b185*(1 - b188) + 0.3*b185*(1 - b189) + 0.1*b185*(1 - b190) + 0.6*b185*(1
      - b249) + 0.1*b186*(1 - b122) - 0.5*b186*(1 - b187) + 0.4*b186*(1 - b188)
      - 0.1*b186*(1 - b189) - 0.3*b186*(1 - b190) + b186*(1 - b250) - 0.4*b187*
     (1 - b179) - 0.2*b187*(1 - b183) + 0.5*b187*(1 - b184) - 0.2*b187*(1 - 
     b185) - 0.5*b187*(1 - b186) + 0.8*b188*(1 - b180) - 0.1*b188*(1 - b183) - 
     0.1*b188*(1 - b184) + 0.2*b188*(1 - b185) + 0.4*b188*(1 - b186) - 0.1*b189
     *(1 - b181) + 0.3*b189*(1 - b183) + 0.1*b189*(1 - b184) + 0.3*b189*(1 - 
     b185) - 0.1*b189*(1 - b186) - 0.1*b190*(1 - b182) + 0.4*b190*(1 - b183) + 
     0.4*b190*(1 - b184) + 0.1*b190*(1 - b185) - 0.3*b190*(1 - b186) + 0.1*b191
     *(1 - b127) + 0.5*b191*(1 - b195) + 0.5*b191*(1 - b196) + 0.1*b191*(1 - 
     b197) - 0.5*b191*(1 - b198) + 0.6*b191*(1 - b255) + 0.8*b192*(1 - b128) - 
     0.1*b192*(1 - b195) + 0.2*b192*(1 - b196) + 0.3*b192*(1 - b197) + 0.2*b192
     *(1 - b198) + 0.4*b192*(1 - b256) - 0.2*b193*(1 - b129) + 0.2*b193*(1 - 
     b195) + 0.4*b193*(1 - b196) - 0.5*b193*(1 - b197) - 0.7*b193*(1 - b257) - 
     0.2*b194*(1 - b130) - 0.1*b194*(1 - b195) + 0.3*b194*(1 - b196) + 0.4*b194
     *(1 - b197) + 0.1*b194*(1 - b198) + 0.2*b194*(1 - b258) + 0.5*b195*(1 - 
     b191) - 0.1*b195*(1 - b192) + 0.2*b195*(1 - b193) - 0.1*b195*(1 - b194) - 
     0.6*b195*(1 - b203) + 0.5*b196*(1 - b191) + 0.2*b196*(1 - b192) + 0.4*b196
     *(1 - b193) + 0.3*b196*(1 - b194) + 0.9*b196*(1 - b204) + 0.1*b197*(1 - 
     b191) + 0.3*b197*(1 - b192) - 0.5*b197*(1 - b193) + 0.4*b197*(1 - b194) - 
     0.5*b197*(1 - b205) - 0.5*b198*(1 - b191) + 0.2*b198*(1 - b192) + 0.1*b198
     *(1 - b194) + 0.9*b199*(1 - b135) - 0.2*b199*(1 - b203) - 0.1*b199*(1 - 
     b204) + 0.2*b199*(1 - b205) + 0.1*b199*(1 - b206) + 0.6*b199*(1 - b263) + 
     b200*(1 - b136) - 0.4*b200*(1 - b203) - 0.1*b200*(1 - b204) + 0.4*b200*(1
      - b205) - 0.4*b200*(1 - b206) - 0.6*b200*(1 - b264) - 0.8*b201*(1 - b137)
      + 0.5*b201*(1 - b203) - 0.4*b201*(1 - b204) - 0.4*b201*(1 - b205) - 0.3*
     b201*(1 - b206) - 0.8*b201*(1 - b265) + 0.7*b202*(1 - b138) + 0.1*b202*(1
      - b204) - 0.1*b202*(1 - b205) - 0.4*b202*(1 - b206) - 0.6*b203*(1 - b195)
      - 0.2*b203*(1 - b199) - 0.4*b203*(1 - b200) + 0.5*b203*(1 - b201) - 0.8*
     b203*(1 - b211) + 0.9*b204*(1 - b196) - 0.1*b204*(1 - b199) - 0.1*b204*(1
      - b200) - 0.4*b204*(1 - b201) + 0.1*b204*(1 - b202) - 0.9*b204*(1 - b212)
      - 0.5*b205*(1 - b197) + 0.2*b205*(1 - b199) + 0.4*b205*(1 - b200) - 0.4*
     b205*(1 - b201) - 0.1*b205*(1 - b202) + 0.1*b206*(1 - b199) - 0.4*b206*(1
      - b200) - 0.3*b206*(1 - b201) - 0.4*b206*(1 - b202) + 0.5*b206*(1 - b214)
      + 0.6*b207*(1 - b143) + 0.2*b207*(1 - b211) + 0.2*b207*(1 - b212) + 0.5*
     b207*(1 - b213) - 0.6*b207*(1 - b271) + 0.6*b208*(1 - b144) + 0.3*b208*(1
      - b211) - 0.3*b208*(1 - b212) - 0.5*b208*(1 - b213) - 0.3*b208*(1 - b214)
      + 0.9*b208*(1 - b272) - 0.3*b209*(1 - b145) - 0.4*b209*(1 - b211) - 0.3*
     b209*(1 - b212) + 0.5*b209*(1 - b213) - 0.5*b209*(1 - b214) + 0.7*b209*(1
      - b273) + 0.9*b210*(1 - b146) + 0.2*b210*(1 - b211) + 0.5*b210*(1 - b212)
      - 0.2*b210*(1 - b213) - 0.4*b210*(1 - b214) - 0.9*b210*(1 - b274) - 0.8*
     b211*(1 - b203) + 0.2*b211*(1 - b207) + 0.3*b211*(1 - b208) - 0.4*b211*(1
      - b209) + 0.2*b211*(1 - b210) - 0.2*b211*(1 - b219) - 0.9*b212*(1 - b204)
      + 0.2*b212*(1 - b207) - 0.3*b212*(1 - b208) - 0.3*b212*(1 - b209) + 0.5*
     b212*(1 - b210) + 0.2*b212*(1 - b220) + 0.5*b213*(1 - b207) - 0.5*b213*(1
      - b208) + 0.5*b213*(1 - b209) - 0.2*b213*(1 - b210) - 0.8*b213*(1 - b221)
      + 0.5*b214*(1 - b206) - 0.3*b214*(1 - b208) - 0.5*b214*(1 - b209) - 0.4*
     b214*(1 - b210) - 0.6*b214*(1 - b222) - 0.6*b215*(1 - b151) - 0.2*b215*(1
      - b219) - 0.1*b215*(1 - b220) - 0.5*b215*(1 - b221) + b215*(1 - b279) + 
     0.8*b216*(1 - b152) + 0.3*b216*(1 - b219) - 0.2*b216*(1 - b220) - 0.5*b216
     *(1 - b221) + 0.5*b216*(1 - b222) - 0.5*b216*(1 - b280) + 0.2*b217*(1 - 
     b153) + 0.3*b217*(1 - b219) - 0.4*b217*(1 - b220) - 0.3*b217*(1 - b221) + 
     0.3*b218*(1 - b154) + 0.3*b218*(1 - b219) + 0.5*b218*(1 - b222) + 0.8*b218
     *(1 - b282) - 0.2*b219*(1 - b211) - 0.2*b219*(1 - b215) + 0.3*b219*(1 - 
     b216) + 0.3*b219*(1 - b217) + 0.3*b219*(1 - b218) - 0.3*b219*(1 - b227) + 
     0.2*b220*(1 - b212) - 0.1*b220*(1 - b215) - 0.2*b220*(1 - b216) - 0.4*b220
     *(1 - b217) - 0.7*b220*(1 - b228) - 0.8*b221*(1 - b213) - 0.5*b221*(1 - 
     b215) - 0.5*b221*(1 - b216) - 0.3*b221*(1 - b217) + 0.3*b221*(1 - b229) - 
     0.6*b222*(1 - b214) + 0.5*b222*(1 - b216) + 0.5*b222*(1 - b218) - 0.2*b222
     *(1 - b230) - 0.3*b223*(1 - b159) + 0.3*b223*(1 - b227) - 0.4*b223*(1 - 
     b228) - 0.1*b223*(1 - b229) - 0.2*b223*(1 - b230) + 0.9*b223*(1 - b287) + 
     0.8*b224*(1 - b160) - 0.5*b224*(1 - b229) - 0.5*b224*(1 - b230) - 0.8*b224
     *(1 - b288) - b225*(1 - b161) - 0.3*b225*(1 - b227) - 0.3*b225*(1 - b228)
      + 0.5*b225*(1 - b229) - 0.1*b225*(1 - b230) - 0.1*b225*(1 - b289) - 0.5*
     b226*(1 - b162) - 0.2*b226*(1 - b227) - 0.4*b226*(1 - b228) - 0.5*b226*(1
      - b230) + b226*(1 - b290) - 0.3*b227*(1 - b219) + 0.3*b227*(1 - b223) - 
     0.3*b227*(1 - b225) - 0.2*b227*(1 - b226) - 0.7*b228*(1 - b220) - 0.4*b228
     *(1 - b223) - 0.3*b228*(1 - b225) - 0.4*b228*(1 - b226) - 0.6*b228*(1 - 
     b236) + 0.3*b229*(1 - b221) - 0.1*b229*(1 - b223) - 0.5*b229*(1 - b224) + 
     0.5*b229*(1 - b225) - 0.3*b229*(1 - b237) - 0.2*b230*(1 - b222) - 0.2*b230
     *(1 - b223) - 0.5*b230*(1 - b224) - 0.1*b230*(1 - b225) - 0.5*b230*(1 - 
     b226) + 0.8*b230*(1 - b238) + 0.4*b231*(1 - b167) - 0.1*b231*(1 - b235) + 
     0.2*b231*(1 - b236) + 0.4*b231*(1 - b237) - 0.4*b231*(1 - b238) + b231*(1
      - b295) - 0.8*b232*(1 - b168) - 0.4*b232*(1 - b235) - 0.1*b232*(1 - b237)
      + 0.3*b232*(1 - b238) - 0.1*b232*(1 - b296) + 0.5*b233*(1 - b169) - 0.4*
     b233*(1 - b235) + 0.5*b233*(1 - b236) - 0.2*b233*(1 - b237) - 0.4*b233*(1
      - b238) + 0.9*b233*(1 - b297) - 0.4*b234*(1 - b170) + 0.1*b234*(1 - b236)
      + 0.1*b234*(1 - b237) + 0.1*b234*(1 - b298) - 0.1*b235*(1 - b231) - 0.4*
     b235*(1 - b232) - 0.4*b235*(1 - b233) + 0.5*b235*(1 - b243) - 0.6*b236*(1
      - b228) + 0.2*b236*(1 - b231) + 0.5*b236*(1 - b233) + 0.1*b236*(1 - b234)
      + 0.2*b236*(1 - b244) - 0.3*b237*(1 - b229) + 0.4*b237*(1 - b231) - 0.1*
     b237*(1 - b232) - 0.2*b237*(1 - b233) + 0.1*b237*(1 - b234) + 0.8*b237*(1
      - b245) + 0.8*b238*(1 - b230) - 0.4*b238*(1 - b231) + 0.3*b238*(1 - b232)
      - 0.4*b238*(1 - b233) - 0.6*b238*(1 - b246) - 0.4*b239*(1 - b175) - 0.1*
     b239*(1 - b243) + 0.2*b239*(1 - b244) + 0.4*b239*(1 - b245) + 0.5*b239*(1
      - b246) + 0.1*b239*(1 - b303) - 0.9*b240*(1 - b176) - 0.4*b240*(1 - b243)
      + 0.5*b240*(1 - b244) + 0.4*b240*(1 - b245) + 0.5*b240*(1 - b246) - 0.3*
     b240*(1 - b304) - 0.9*b241*(1 - b177) + 0.5*b241*(1 - b243) + 0.2*b241*(1
      - b244) + 0.1*b241*(1 - b245) - 0.1*b241*(1 - b246) - 0.4*b241*(1 - b305)
      - 0.9*b242*(1 - b178) + 0.2*b242*(1 - b243) - 0.4*b242*(1 - b244) + 0.2*
     b242*(1 - b245) - 0.2*b242*(1 - b246) + 0.5*b242*(1 - b306) + 0.5*b243*(1
      - b235) - 0.1*b243*(1 - b239) - 0.4*b243*(1 - b240) + 0.5*b243*(1 - b241)
      + 0.2*b243*(1 - b242) + 0.1*b243*(1 - b251) + 0.2*b244*(1 - b236) + 0.2*
     b244*(1 - b239) + 0.5*b244*(1 - b240) + 0.2*b244*(1 - b241) - 0.4*b244*(1
      - b242) + 0.5*b244*(1 - b252) + 0.8*b245*(1 - b237) + 0.4*b245*(1 - b239)
      + 0.4*b245*(1 - b240) + 0.1*b245*(1 - b241) + 0.2*b245*(1 - b242) - 0.5*
     b245*(1 - b253) - 0.6*b246*(1 - b238) + 0.5*b246*(1 - b239) + 0.5*b246*(1
      - b240) - 0.1*b246*(1 - b241) - 0.2*b246*(1 - b242) + 0.7*b246*(1 - b254)
      + 0.6*b247*(1 - b183) - 0.1*b247*(1 - b251) + 0.3*b247*(1 - b252) + 0.2*
     b247*(1 - b253) - 0.3*b247*(1 - b254) + 0.4*b247*(1 - b311) - 0.6*b248*(1
      - b184) + 0.4*b248*(1 - b251) - 0.5*b248*(1 - b252) + 0.5*b248*(1 - b253)
      + 0.3*b248*(1 - b254) + 0.6*b249*(1 - b185) - 0.1*b249*(1 - b251) - 0.1*
     b249*(1 - b252) + 0.5*b249*(1 - b253) - 0.5*b249*(1 - b313) + b250*(1 - 
     b186) - 0.1*b250*(1 - b251) - 0.1*b250*(1 - b252) - 0.4*b250*(1 - b254) + 
     0.4*b250*(1 - b314) + 0.1*b251*(1 - b243) - 0.1*b251*(1 - b247) + 0.4*b251
     *(1 - b248) - 0.1*b251*(1 - b249) - 0.1*b251*(1 - b250) + 0.5*b252*(1 - 
     b244) + 0.3*b252*(1 - b247) - 0.5*b252*(1 - b248) - 0.1*b252*(1 - b249) - 
     0.1*b252*(1 - b250) - 0.5*b253*(1 - b245) + 0.2*b253*(1 - b247) + 0.5*b253
     *(1 - b248) + 0.5*b253*(1 - b249) + 0.7*b254*(1 - b246) - 0.3*b254*(1 - 
     b247) + 0.3*b254*(1 - b248) - 0.4*b254*(1 - b250) + 0.6*b255*(1 - b191) + 
     0.5*b255*(1 - b259) - 0.1*b255*(1 - b260) + 0.5*b255*(1 - b261) + 0.2*b255
     *(1 - b262) + 0.4*b255*(1 - b319) + 0.4*b256*(1 - b192) - 0.1*b256*(1 - 
     b259) + 0.2*b256*(1 - b260) + 0.2*b256*(1 - b262) - 0.8*b256*(1 - b320) - 
     0.7*b257*(1 - b193) + 0.5*b257*(1 - b259) + 0.2*b257*(1 - b260) + 0.4*b257
     *(1 - b261) + 0.1*b257*(1 - b262) + 0.6*b257*(1 - b321) + 0.2*b258*(1 - 
     b194) + 0.4*b258*(1 - b259) + 0.2*b258*(1 - b260) - 0.3*b258*(1 - b261) - 
     0.3*b258*(1 - b262) - 0.6*b258*(1 - b322) + 0.5*b259*(1 - b255) - 0.1*b259
     *(1 - b256) + 0.5*b259*(1 - b257) + 0.4*b259*(1 - b258) - 0.3*b259*(1 - 
     b267) - 0.1*b260*(1 - b255) + 0.2*b260*(1 - b256) + 0.2*b260*(1 - b257) + 
     0.2*b260*(1 - b258) + 0.9*b260*(1 - b268) + 0.5*b261*(1 - b255) + 0.4*b261
     *(1 - b257) - 0.3*b261*(1 - b258) + 0.9*b261*(1 - b269) + 0.2*b262*(1 - 
     b255) + 0.2*b262*(1 - b256) + 0.1*b262*(1 - b257) - 0.3*b262*(1 - b258) - 
     b262*(1 - b270) + 0.6*b263*(1 - b199) + 0.5*b263*(1 - b267) - 0.5*b263*(1
      - b268) - 0.1*b263*(1 - b269) - 0.5*b263*(1 - b270) - b263*(1 - b327) - 
     0.6*b264*(1 - b200) - 0.4*b264*(1 - b267) + 0.4*b264*(1 - b268) + 0.3*b264
     *(1 - b269) - 0.2*b264*(1 - b270) - 0.2*b264*(1 - b328) - 0.8*b265*(1 - 
     b201) - 0.2*b265*(1 - b267) + 0.1*b265*(1 - b268) + 0.4*b265*(1 - b270) + 
     0.3*b265*(1 - b329) + 0.5*b266*(1 - b267) + 0.4*b266*(1 - b268) + 0.3*b266
     *(1 - b269) + 0.5*b266*(1 - b270) - b266*(1 - b330) - 0.3*b267*(1 - b259)
      + 0.5*b267*(1 - b263) - 0.4*b267*(1 - b264) - 0.2*b267*(1 - b265) + 0.5*
     b267*(1 - b266) + b267*(1 - b275) + 0.9*b268*(1 - b260) - 0.5*b268*(1 - 
     b263) + 0.4*b268*(1 - b264) + 0.1*b268*(1 - b265) + 0.4*b268*(1 - b266) + 
     0.8*b268*(1 - b276) + 0.9*b269*(1 - b261) - 0.1*b269*(1 - b263) + 0.3*b269
     *(1 - b264) + 0.3*b269*(1 - b266) - b270*(1 - b262) - 0.5*b270*(1 - b263)
      - 0.2*b270*(1 - b264) + 0.4*b270*(1 - b265) + 0.5*b270*(1 - b266) - 0.6*
     b271*(1 - b207) + 0.3*b271*(1 - b275) - 0.1*b271*(1 - b276) - 0.2*b271*(1
      - b277) + 0.1*b271*(1 - b278) - 0.7*b271*(1 - b335) + 0.9*b272*(1 - b208)
      + 0.2*b272*(1 - b275) - 0.5*b272*(1 - b276) + 0.2*b272*(1 - b277) - 0.5*
     b272*(1 - b278) + 0.1*b272*(1 - b336) + 0.7*b273*(1 - b209) + 0.3*b273*(1
      - b275) + 0.4*b273*(1 - b277) - 0.3*b273*(1 - b278) + 0.7*b273*(1 - b337)
      - 0.9*b274*(1 - b210) - 0.5*b274*(1 - b275) + 0.4*b274*(1 - b276) + 0.5*
     b274*(1 - b277) - 0.3*b274*(1 - b278) + 0.8*b274*(1 - b338) + b275*(1 - 
     b267) + 0.3*b275*(1 - b271) + 0.2*b275*(1 - b272) + 0.3*b275*(1 - b273) - 
     0.5*b275*(1 - b274) + 0.6*b275*(1 - b283) + 0.8*b276*(1 - b268) - 0.1*b276
     *(1 - b271) - 0.5*b276*(1 - b272) + 0.4*b276*(1 - b274) - 0.4*b276*(1 - 
     b284) - 0.2*b277*(1 - b271) + 0.2*b277*(1 - b272) + 0.4*b277*(1 - b273) + 
     0.5*b277*(1 - b274) - 0.9*b277*(1 - b285) + 0.1*b278*(1 - b271) - 0.5*b278
     *(1 - b272) - 0.3*b278*(1 - b273) - 0.3*b278*(1 - b274) + b279*(1 - b215)
      - 0.5*b279*(1 - b283) + 0.3*b279*(1 - b284) - 0.2*b279*(1 - b285) - 0.2*
     b279*(1 - b286) + 0.2*b279*(1 - b343) - 0.5*b280*(1 - b216) - 0.5*b280*(1
      - b285) - 0.5*b280*(1 - b286) + 0.1*b280*(1 - b344) + 0.3*b281*(1 - b283)
      + 0.5*b281*(1 - b284) - 0.3*b281*(1 - b285) + 0.4*b281*(1 - b286) - 0.1*
     b281*(1 - b345) + 0.8*b282*(1 - b218) - 0.4*b282*(1 - b283) + 0.2*b282*(1
      - b284) + 0.2*b282*(1 - b285) - 0.1*b282*(1 - b286) + 0.8*b282*(1 - b346)
      + 0.6*b283*(1 - b275) - 0.5*b283*(1 - b279) + 0.3*b283*(1 - b281) - 0.4*
     b283*(1 - b282) + 0.7*b283*(1 - b291) - 0.4*b284*(1 - b276) + 0.3*b284*(1
      - b279) + 0.5*b284*(1 - b281) + 0.2*b284*(1 - b282) + 0.2*b284*(1 - b292)
      - 0.9*b285*(1 - b277) - 0.2*b285*(1 - b279) - 0.5*b285*(1 - b280) - 0.3*
     b285*(1 - b281) + 0.2*b285*(1 - b282) + 0.2*b285*(1 - b293) - 0.2*b286*(1
      - b279) - 0.5*b286*(1 - b280) + 0.4*b286*(1 - b281) - 0.1*b286*(1 - b282)
      + 0.1*b286*(1 - b294) + 0.9*b287*(1 - b223) - 0.3*b287*(1 - b291) - 0.3*
     b287*(1 - b292) - 0.1*b287*(1 - b293) + 0.2*b287*(1 - b294) + 0.2*b287*(1
      - b351) - 0.8*b288*(1 - b224) - 0.5*b288*(1 - b291) - 0.4*b288*(1 - b292)
      + 0.4*b288*(1 - b293) - 0.3*b288*(1 - b294) - 0.2*b288*(1 - b352) - 0.1*
     b289*(1 - b225) + 0.1*b289*(1 - b291) - 0.1*b289*(1 - b292) - 0.1*b289*(1
      - b293) - 0.2*b289*(1 - b294) - 0.9*b289*(1 - b353) + b290*(1 - b226) - 
     0.4*b290*(1 - b291) - 0.3*b290*(1 - b292) - 0.4*b290*(1 - b293) - 0.4*b290
     *(1 - b294) + 0.2*b290*(1 - b354) + 0.7*b291*(1 - b283) - 0.3*b291*(1 - 
     b287) - 0.5*b291*(1 - b288) + 0.1*b291*(1 - b289) - 0.4*b291*(1 - b290) + 
     0.1*b291*(1 - b299) + 0.2*b292*(1 - b284) - 0.3*b292*(1 - b287) - 0.4*b292
     *(1 - b288) - 0.1*b292*(1 - b289) - 0.3*b292*(1 - b290) - 0.4*b292*(1 - 
     b300) + 0.2*b293*(1 - b285) - 0.1*b293*(1 - b287) + 0.4*b293*(1 - b288) - 
     0.1*b293*(1 - b289) - 0.4*b293*(1 - b290) + 0.6*b293*(1 - b301) + 0.1*b294
     *(1 - b286) + 0.2*b294*(1 - b287) - 0.3*b294*(1 - b288) - 0.2*b294*(1 - 
     b289) - 0.4*b294*(1 - b290) - 0.9*b294*(1 - b302) + b295*(1 - b231) + 0.2*
     b295*(1 - b299) - 0.5*b295*(1 - b300) + 0.3*b295*(1 - b302) - 0.8*b295*(1
      - b359) - 0.1*b296*(1 - b232) + 0.1*b296*(1 - b299) + 0.4*b296*(1 - b300)
      - 0.3*b296*(1 - b301) + 0.1*b296*(1 - b302) - 0.2*b296*(1 - b360) + 0.9*
     b297*(1 - b233) + 0.4*b297*(1 - b300) - 0.1*b297*(1 - b301) - 0.3*b297*(1
      - b302) + 0.5*b297*(1 - b361) + 0.1*b298*(1 - b234) - 0.1*b298*(1 - b299)
      - 0.1*b298*(1 - b300) + 0.2*b298*(1 - b301) - 0.4*b298*(1 - b302) + 0.8*
     b298*(1 - b362) + 0.1*b299*(1 - b291) + 0.2*b299*(1 - b295) + 0.1*b299*(1
      - b296) - 0.1*b299*(1 - b298) - 0.8*b299*(1 - b307) - 0.4*b300*(1 - b292)
      - 0.5*b300*(1 - b295) + 0.4*b300*(1 - b296) + 0.4*b300*(1 - b297) - 0.1*
     b300*(1 - b298) + 0.8*b300*(1 - b308) + 0.6*b301*(1 - b293) - 0.3*b301*(1
      - b296) - 0.1*b301*(1 - b297) + 0.2*b301*(1 - b298) + 0.5*b301*(1 - b309)
      - 0.9*b302*(1 - b294) + 0.3*b302*(1 - b295) + 0.1*b302*(1 - b296) - 0.3*
     b302*(1 - b297) - 0.4*b302*(1 - b298) - 0.9*b302*(1 - b310) + 0.1*b303*(1
      - b239) - 0.4*b303*(1 - b307) - 0.3*b303*(1 - b308) + 0.4*b303*(1 - b309)
      - 0.5*b303*(1 - b310) + 0.7*b303*(1 - b367) - 0.3*b304*(1 - b240) - 0.1*
     b304*(1 - b307) - 0.4*b304*(1 - b308) + 0.3*b304*(1 - b309) - 0.4*b304*(1
      - b310) + 0.4*b304*(1 - b368) - 0.4*b305*(1 - b241) - 0.1*b305*(1 - b307)
      - 0.4*b305*(1 - b308) - 0.5*b305*(1 - b309) - 0.1*b305*(1 - b310) - 0.3*
     b305*(1 - b369) + 0.5*b306*(1 - b242) - 0.3*b306*(1 - b307) - 0.4*b306*(1
      - b308) - 0.4*b306*(1 - b309) + 0.4*b306*(1 - b310) - 0.8*b306*(1 - b370)
      - 0.8*b307*(1 - b299) - 0.4*b307*(1 - b303) - 0.1*b307*(1 - b304) - 0.1*
     b307*(1 - b305) - 0.3*b307*(1 - b306) - 0.9*b307*(1 - b315) + 0.8*b308*(1
      - b300) - 0.3*b308*(1 - b303) - 0.4*b308*(1 - b304) - 0.4*b308*(1 - b305)
      - 0.4*b308*(1 - b306) + 0.1*b308*(1 - b316) + 0.5*b309*(1 - b301) + 0.4*
     b309*(1 - b303) + 0.3*b309*(1 - b304) - 0.5*b309*(1 - b305) - 0.4*b309*(1
      - b306) - 0.1*b309*(1 - b317) - 0.9*b310*(1 - b302) - 0.5*b310*(1 - b303)
      - 0.4*b310*(1 - b304) - 0.1*b310*(1 - b305) + 0.4*b310*(1 - b306) + 0.4*
     b311*(1 - b247) - 0.3*b311*(1 - b315) - 0.5*b311*(1 - b316) + 0.1*b311*(1
      - b317) - 0.5*b311*(1 - b318) - 0.9*b311*(1 - b375) + 0.4*b312*(1 - b315)
      + 0.1*b312*(1 - b317) + 0.2*b312*(1 - b318) + 0.6*b312*(1 - b376) - 0.5*
     b313*(1 - b249) + 0.1*b313*(1 - b315) + 0.4*b313*(1 - b316) + 0.1*b313*(1
      - b317) - 0.5*b313*(1 - b318) - 0.4*b313*(1 - b377) + 0.4*b314*(1 - b250)
      - 0.5*b314*(1 - b316) + 0.2*b314*(1 - b317) - 0.4*b314*(1 - b318) - 0.2*
     b314*(1 - b378) - 0.9*b315*(1 - b307) - 0.3*b315*(1 - b311) + 0.4*b315*(1
      - b312) + 0.1*b315*(1 - b313) + 0.1*b316*(1 - b308) - 0.5*b316*(1 - b311)
      + 0.4*b316*(1 - b313) - 0.5*b316*(1 - b314) - 0.1*b317*(1 - b309) + 0.1*
     b317*(1 - b311) + 0.1*b317*(1 - b312) + 0.1*b317*(1 - b313) + 0.2*b317*(1
      - b314) - 0.5*b318*(1 - b311) + 0.2*b318*(1 - b312) - 0.5*b318*(1 - b313)
      - 0.4*b318*(1 - b314) + 0.4*b319*(1 - b255) + 0.1*b319*(1 - b323) - 0.3*
     b319*(1 - b324) - 0.2*b319*(1 - b325) - 0.2*b319*(1 - b326) + 0.3*b319*(1
      - b383) - 0.8*b320*(1 - b256) - 0.2*b320*(1 - b323) + 0.5*b320*(1 - b324)
      - 0.4*b320*(1 - b325) - 0.4*b320*(1 - b326) + 0.2*b320*(1 - b384) + 0.6*
     b321*(1 - b257) + 0.5*b321*(1 - b323) - 0.1*b321*(1 - b324) - 0.2*b321*(1
      - b325) - 0.2*b321*(1 - b326) - 0.6*b321*(1 - b385) - 0.6*b322*(1 - b258)
      - 0.5*b322*(1 - b323) - 0.3*b322*(1 - b324) - 0.5*b322*(1 - b325) + 0.1*
     b322*(1 - b326) - 0.4*b322*(1 - b386) + 0.1*b323*(1 - b319) - 0.2*b323*(1
      - b320) + 0.5*b323*(1 - b321) - 0.5*b323*(1 - b322) + 0.9*b323*(1 - b331)
      - 0.3*b324*(1 - b319) + 0.5*b324*(1 - b320) - 0.1*b324*(1 - b321) - 0.3*
     b324*(1 - b322) - 0.2*b324*(1 - b332) - 0.2*b325*(1 - b319) - 0.4*b325*(1
      - b320) - 0.2*b325*(1 - b321) - 0.5*b325*(1 - b322) - 0.9*b325*(1 - b333)
      - 0.2*b326*(1 - b319) - 0.4*b326*(1 - b320) - 0.2*b326*(1 - b321) + 0.1*
     b326*(1 - b322) + 0.1*b326*(1 - b334) - b327*(1 - b263) + 0.2*b327*(1 - 
     b331) + 0.3*b327*(1 - b332) - 0.2*b327*(1 - b333) + 0.2*b327*(1 - b334) + 
     0.8*b327*(1 - b391) - 0.2*b328*(1 - b264) - 0.1*b328*(1 - b331) - 0.2*b328
     *(1 - b332) - 0.5*b328*(1 - b333) - 0.3*b328*(1 - b334) - 0.9*b328*(1 - 
     b392) + 0.3*b329*(1 - b265) + 0.3*b329*(1 - b331) + 0.1*b329*(1 - b332) - 
     0.1*b329*(1 - b333) - 0.2*b329*(1 - b334) + 0.4*b329*(1 - b393) - b330*(1
      - b266) + 0.3*b330*(1 - b331) - 0.3*b330*(1 - b332) - 0.4*b330*(1 - b333)
      - 0.5*b330*(1 - b334) + 0.5*b330*(1 - b394) + 0.9*b331*(1 - b323) + 0.2*
     b331*(1 - b327) - 0.1*b331*(1 - b328) + 0.3*b331*(1 - b329) + 0.3*b331*(1
      - b330) + 0.4*b331*(1 - b339) - 0.2*b332*(1 - b324) + 0.3*b332*(1 - b327)
      - 0.2*b332*(1 - b328) + 0.1*b332*(1 - b329) - 0.3*b332*(1 - b330) + 0.9*
     b332*(1 - b340) - 0.9*b333*(1 - b325) - 0.2*b333*(1 - b327) - 0.5*b333*(1
      - b328) - 0.1*b333*(1 - b329) - 0.4*b333*(1 - b330) + 0.9*b333*(1 - b341)
      + 0.1*b334*(1 - b326) + 0.2*b334*(1 - b327) - 0.3*b334*(1 - b328) - 0.2*
     b334*(1 - b329) - 0.5*b334*(1 - b330) - 0.3*b334*(1 - b342) - 0.7*b335*(1
      - b271) + 0.1*b335*(1 - b339) + 0.1*b335*(1 - b340) - 0.5*b335*(1 - b342)
      - b335*(1 - b398) + 0.1*b336*(1 - b272) + 0.5*b336*(1 - b339) - 0.4*b336*
     (1 - b340) - 0.4*b336*(1 - b341) - 0.1*b336*(1 - b342) + 0.4*b336*(1 - 
     b399) + 0.7*b337*(1 - b273) + 0.5*b337*(1 - b341) + 0.5*b337*(1 - b342) + 
     0.8*b337*(1 - b400) + 0.8*b338*(1 - b274) - 0.3*b338*(1 - b339) - 0.1*b338
     *(1 - b340) - 0.2*b338*(1 - b341) + 0.5*b338*(1 - b342) + b338*(1 - b401)
      + 0.4*b339*(1 - b331) + 0.1*b339*(1 - b335) + 0.5*b339*(1 - b336) - 0.3*
     b339*(1 - b338) + b339*(1 - b347) + 0.9*b340*(1 - b332) + 0.1*b340*(1 - 
     b335) - 0.4*b340*(1 - b336) - 0.1*b340*(1 - b338) - 0.8*b340*(1 - b348) + 
     0.9*b341*(1 - b333) - 0.4*b341*(1 - b336) + 0.5*b341*(1 - b337) - 0.2*b341
     *(1 - b338) + 0.7*b341*(1 - b349) - 0.3*b342*(1 - b334) - 0.5*b342*(1 - 
     b335) - 0.1*b342*(1 - b336) + 0.5*b342*(1 - b337) + 0.5*b342*(1 - b338) + 
     0.3*b342*(1 - b350) + 0.2*b343*(1 - b279) + 0.2*b343*(1 - b347) - 0.2*b343
     *(1 - b348) + 0.2*b343*(1 - b349) - 0.2*b343*(1 - b350) - 0.2*b343*(1 - 
     b406) + 0.1*b344*(1 - b280) - 0.1*b344*(1 - b347) + 0.1*b344*(1 - b348) - 
     0.3*b344*(1 - b349) - 0.1*b344*(1 - b350) - 0.1*b345*(1 - b281) + 0.1*b345
     *(1 - b347) + 0.5*b345*(1 - b349) - 0.1*b345*(1 - b350) - 0.8*b345*(1 - 
     b408) + 0.8*b346*(1 - b282) - 0.1*b346*(1 - b347) - 0.5*b346*(1 - b348) + 
     0.3*b346*(1 - b349) + 0.4*b346*(1 - b350) - 0.3*b346*(1 - b409) + b347*(1
      - b339) + 0.2*b347*(1 - b343) - 0.1*b347*(1 - b344) + 0.1*b347*(1 - b345)
      - 0.1*b347*(1 - b346) - 0.3*b347*(1 - b355) - 0.8*b348*(1 - b340) - 0.2*
     b348*(1 - b343) + 0.1*b348*(1 - b344) - 0.5*b348*(1 - b346) - 0.4*b348*(1
      - b356) + 0.7*b349*(1 - b341) + 0.2*b349*(1 - b343) - 0.3*b349*(1 - b344)
      + 0.5*b349*(1 - b345) + 0.3*b349*(1 - b346) - 0.4*b349*(1 - b357) + 0.3*
     b350*(1 - b342) - 0.2*b350*(1 - b343) - 0.1*b350*(1 - b344) - 0.1*b350*(1
      - b345) + 0.4*b350*(1 - b346) - 0.5*b350*(1 - b358) + 0.2*b351*(1 - b287)
      + 0.1*b351*(1 - b355) - 0.4*b351*(1 - b356) - 0.4*b351*(1 - b357) + 0.5*
     b351*(1 - b358) + 0.4*b351*(1 - b414) - 0.2*b352*(1 - b288) - 0.2*b352*(1
      - b355) - 0.3*b352*(1 - b356) + 0.1*b352*(1 - b357) + 0.4*b352*(1 - b358)
      + 0.2*b352*(1 - b415) - 0.9*b353*(1 - b289) - 0.3*b353*(1 - b355) + 0.5*
     b353*(1 - b357) + 0.1*b353*(1 - b358) - 0.3*b353*(1 - b416) + 0.2*b354*(1
      - b290) - 0.3*b354*(1 - b355) - 0.4*b354*(1 - b356) + 0.4*b354*(1 - b357)
      + 0.4*b354*(1 - b358) + 0.2*b354*(1 - b417) - 0.3*b355*(1 - b347) + 0.1*
     b355*(1 - b351) - 0.2*b355*(1 - b352) - 0.3*b355*(1 - b353) - 0.3*b355*(1
      - b354) + 0.7*b355*(1 - b363) - 0.4*b356*(1 - b348) - 0.4*b356*(1 - b351)
      - 0.3*b356*(1 - b352) - 0.4*b356*(1 - b354) + b356*(1 - b364) - 0.4*b357*
     (1 - b349) - 0.4*b357*(1 - b351) + 0.1*b357*(1 - b352) + 0.5*b357*(1 - 
     b353) + 0.4*b357*(1 - b354) + 0.4*b357*(1 - b365) - 0.5*b358*(1 - b350) + 
     0.5*b358*(1 - b351) + 0.4*b358*(1 - b352) + 0.1*b358*(1 - b353) + 0.4*b358
     *(1 - b354) - 0.3*b358*(1 - b366) - 0.8*b359*(1 - b295) + 0.4*b359*(1 - 
     b363) - 0.1*b359*(1 - b364) - 0.1*b359*(1 - b365) + 0.2*b359*(1 - b366) + 
     0.6*b359*(1 - b422) - 0.2*b360*(1 - b296) + 0.2*b360*(1 - b363) - 0.2*b360
     *(1 - b364) - 0.1*b360*(1 - b365) + 0.1*b360*(1 - b366) - 0.3*b360*(1 - 
     b423) + 0.5*b361*(1 - b297) + 0.2*b361*(1 - b363) + 0.4*b361*(1 - b364) + 
     0.1*b361*(1 - b365) + 0.3*b361*(1 - b366) + 0.8*b362*(1 - b298) - 0.3*b362
     *(1 - b363) - 0.1*b362*(1 - b364) - 0.4*b362*(1 - b365) + 0.2*b362*(1 - 
     b366) - 0.5*b362*(1 - b424) + 0.7*b363*(1 - b355) + 0.4*b363*(1 - b359) + 
     0.2*b363*(1 - b360) + 0.2*b363*(1 - b361) - 0.3*b363*(1 - b362) + 0.7*b363
     *(1 - b371) + b364*(1 - b356) - 0.1*b364*(1 - b359) - 0.2*b364*(1 - b360)
      + 0.4*b364*(1 - b361) - 0.1*b364*(1 - b362) - b364*(1 - b372) + 0.4*b365*
     (1 - b357) - 0.1*b365*(1 - b359) - 0.1*b365*(1 - b360) + 0.1*b365*(1 - 
     b361) - 0.4*b365*(1 - b362) - b365*(1 - b373) - 0.3*b366*(1 - b358) + 0.2*
     b366*(1 - b359) + 0.1*b366*(1 - b360) + 0.3*b366*(1 - b361) + 0.2*b366*(1
      - b362) + 0.7*b366*(1 - b374) + 0.7*b367*(1 - b303) + 0.4*b367*(1 - b371)
      + 0.4*b367*(1 - b372) + 0.3*b367*(1 - b373) - 0.5*b367*(1 - b374) + 0.3*
     b367*(1 - b428) + 0.4*b368*(1 - b304) - 0.2*b368*(1 - b371) + 0.5*b368*(1
      - b372) + 0.1*b368*(1 - b373) + 0.5*b368*(1 - b374) + 0.2*b368*(1 - b429)
      - 0.3*b369*(1 - b305) + 0.3*b369*(1 - b371) - 0.3*b369*(1 - b372) + 0.5*
     b369*(1 - b373) - 0.2*b369*(1 - b374) - 0.4*b369*(1 - b430) - 0.8*b370*(1
      - b306) + 0.3*b370*(1 - b371) - 0.5*b370*(1 - b372) + 0.4*b370*(1 - b373)
      - 0.5*b370*(1 - b374) + 0.4*b370*(1 - b431) + 0.7*b371*(1 - b363) + 0.4*
     b371*(1 - b367) - 0.2*b371*(1 - b368) + 0.3*b371*(1 - b369) + 0.3*b371*(1
      - b370) - b371*(1 - b379) - b372*(1 - b364) + 0.4*b372*(1 - b367) + 0.5*
     b372*(1 - b368) - 0.3*b372*(1 - b369) - 0.5*b372*(1 - b370) + b372*(1 - 
     b380) - b373*(1 - b365) + 0.3*b373*(1 - b367) + 0.1*b373*(1 - b368) + 0.5*
     b373*(1 - b369) + 0.4*b373*(1 - b370) + 0.1*b373*(1 - b381) + 0.7*b374*(1
      - b366) - 0.5*b374*(1 - b367) + 0.5*b374*(1 - b368) - 0.2*b374*(1 - b369)
      - 0.5*b374*(1 - b370) + 0.2*b374*(1 - b382) - 0.9*b375*(1 - b311) - 0.4*
     b375*(1 - b379) + 0.2*b375*(1 - b380) + 0.2*b375*(1 - b381) - 0.3*b375*(1
      - b382) - 0.4*b375*(1 - b436) + 0.6*b376*(1 - b312) + 0.5*b376*(1 - b379)
      + 0.5*b376*(1 - b380) - 0.5*b376*(1 - b382) + 0.8*b376*(1 - b437) - 0.4*
     b377*(1 - b313) + 0.4*b377*(1 - b379) - 0.2*b377*(1 - b380) - 0.3*b377*(1
      - b381) - 0.1*b377*(1 - b382) + 0.2*b377*(1 - b438) - 0.2*b378*(1 - b314)
      - 0.2*b378*(1 - b379) - 0.1*b378*(1 - b380) - 0.1*b378*(1 - b381) + 0.3*
     b378*(1 - b382) - 0.3*b378*(1 - b439) - b379*(1 - b371) - 0.4*b379*(1 - 
     b375) + 0.5*b379*(1 - b376) + 0.4*b379*(1 - b377) - 0.2*b379*(1 - b378) + 
     b380*(1 - b372) + 0.2*b380*(1 - b375) + 0.5*b380*(1 - b376) - 0.2*b380*(1
      - b377) - 0.1*b380*(1 - b378) + 0.1*b381*(1 - b373) + 0.2*b381*(1 - b375)
      - 0.3*b381*(1 - b377) - 0.1*b381*(1 - b378) + 0.2*b382*(1 - b374) - 0.3*
     b382*(1 - b375) - 0.5*b382*(1 - b376) - 0.1*b382*(1 - b377) + 0.3*b382*(1
      - b378) + 0.3*b383*(1 - b319) + 0.1*b383*(1 - b387) + 0.4*b383*(1 - b388)
      + 0.5*b383*(1 - b389) - 0.5*b383*(1 - b390) + 0.5*b383*(1 - b444) + 0.2*
     b384*(1 - b320) - 0.5*b384*(1 - b388) + 0.4*b384*(1 - b389) - 0.5*b384*(1
      - b390) + 0.5*b384*(1 - b445) - 0.6*b385*(1 - b321) - 0.4*b385*(1 - b387)
      - 0.5*b385*(1 - b388) - 0.1*b385*(1 - b389) - 0.5*b385*(1 - b390) - 0.8*
     b385*(1 - b446) - 0.4*b386*(1 - b322) - 0.4*b386*(1 - b387) - 0.3*b386*(1
      - b388) - 0.1*b386*(1 - b389) + 0.5*b386*(1 - b390) - 0.1*b386*(1 - b447)
      + 0.1*b387*(1 - b383) - 0.4*b387*(1 - b385) - 0.4*b387*(1 - b386) + 0.4*
     b388*(1 - b383) - 0.5*b388*(1 - b384) - 0.5*b388*(1 - b385) - 0.3*b388*(1
      - b386) + 0.2*b388*(1 - b396) + 0.5*b389*(1 - b383) + 0.4*b389*(1 - b384)
      - 0.1*b389*(1 - b385) - 0.1*b389*(1 - b386) + 0.7*b389*(1 - b397) - 0.5*
     b390*(1 - b383) - 0.5*b390*(1 - b384) - 0.5*b390*(1 - b385) + 0.5*b390*(1
      - b386) + 0.8*b391*(1 - b327) + 0.1*b391*(1 - b395) - 0.1*b391*(1 - b396)
      - 0.5*b391*(1 - b397) + 0.7*b391*(1 - b452) - 0.9*b392*(1 - b328) + 0.2*
     b392*(1 - b395) - 0.1*b392*(1 - b396) - 0.2*b392*(1 - b397) + 0.9*b392*(1
      - b453) + 0.4*b393*(1 - b329) - 0.4*b393*(1 - b395) - 0.2*b393*(1 - b396)
      + 0.4*b393*(1 - b397) + 0.8*b393*(1 - b454) + 0.5*b394*(1 - b330) + 0.4*
     b394*(1 - b395) + 0.4*b394*(1 - b396) - 0.5*b394*(1 - b397) + 0.6*b394*(1
      - b455) + 0.1*b395*(1 - b391) + 0.2*b395*(1 - b392) - 0.4*b395*(1 - b393)
      + 0.4*b395*(1 - b394) + 0.3*b395*(1 - b402) + 0.2*b396*(1 - b388) - 0.1*
     b396*(1 - b391) - 0.1*b396*(1 - b392) - 0.2*b396*(1 - b393) + 0.4*b396*(1
      - b394) - b396*(1 - b403) + 0.7*b397*(1 - b389) - 0.5*b397*(1 - b391) - 
     0.2*b397*(1 - b392) + 0.4*b397*(1 - b393) - 0.5*b397*(1 - b394) - b398*(1
      - b335) - 0.2*b398*(1 - b402) + 0.1*b398*(1 - b403) - 0.2*b398*(1 - b404)
      + 0.2*b398*(1 - b405) - 0.1*b398*(1 - b460) + 0.4*b399*(1 - b336) - 0.3*
     b399*(1 - b402) - 0.3*b399*(1 - b403) - 0.1*b399*(1 - b404) + 0.5*b399*(1
      - b405) + 0.5*b399*(1 - b461) + 0.8*b400*(1 - b337) - 0.2*b400*(1 - b402)
      - 0.3*b400*(1 - b403) + 0.3*b400*(1 - b404) + 0.4*b400*(1 - b405) - 0.1*
     b400*(1 - b462) + b401*(1 - b338) + 0.3*b401*(1 - b402) + 0.5*b401*(1 - 
     b403) - 0.1*b401*(1 - b404) - 0.5*b401*(1 - b405) + 0.1*b401*(1 - b463) + 
     0.3*b402*(1 - b395) - 0.2*b402*(1 - b398) - 0.3*b402*(1 - b399) - 0.2*b402
     *(1 - b400) + 0.3*b402*(1 - b401) + 0.9*b402*(1 - b410) - b403*(1 - b396)
      + 0.1*b403*(1 - b398) - 0.3*b403*(1 - b399) - 0.3*b403*(1 - b400) + 0.5*
     b403*(1 - b401) - 0.3*b403*(1 - b411) - 0.2*b404*(1 - b398) - 0.1*b404*(1
      - b399) + 0.3*b404*(1 - b400) - 0.1*b404*(1 - b401) - 0.6*b404*(1 - b412)
      + 0.2*b405*(1 - b398) + 0.5*b405*(1 - b399) + 0.4*b405*(1 - b400) - 0.5*
     b405*(1 - b401) - 0.3*b405*(1 - b413) - 0.2*b406*(1 - b343) + 0.5*b406*(1
      - b410) + 0.2*b406*(1 - b411) - 0.3*b406*(1 - b412) - 0.4*b406*(1 - b413)
      + 0.7*b406*(1 - b468) - 0.2*b407*(1 - b410) + 0.3*b407*(1 - b411) + 0.5*
     b407*(1 - b412) + 0.5*b407*(1 - b413) + 0.4*b407*(1 - b469) - 0.8*b408*(1
      - b345) - 0.3*b408*(1 - b410) - 0.4*b408*(1 - b411) - 0.4*b408*(1 - b412)
      + 0.1*b408*(1 - b413) - 0.9*b408*(1 - b470) - 0.3*b409*(1 - b346) + 0.4*
     b409*(1 - b410) + 0.5*b409*(1 - b411) - 0.3*b409*(1 - b412) + 0.4*b409*(1
      - b413) - 0.9*b409*(1 - b471) + 0.9*b410*(1 - b402) + 0.5*b410*(1 - b406)
      - 0.2*b410*(1 - b407) - 0.3*b410*(1 - b408) + 0.4*b410*(1 - b409) - 0.3*
     b411*(1 - b403) + 0.2*b411*(1 - b406) + 0.3*b411*(1 - b407) - 0.4*b411*(1
      - b408) + 0.5*b411*(1 - b409) - 0.6*b412*(1 - b404) - 0.3*b412*(1 - b406)
      + 0.5*b412*(1 - b407) - 0.4*b412*(1 - b408) - 0.3*b412*(1 - b409) - 0.6*
     b412*(1 - b420) - 0.3*b413*(1 - b405) - 0.4*b413*(1 - b406) + 0.5*b413*(1
      - b407) + 0.1*b413*(1 - b408) + 0.4*b413*(1 - b409) + 0.4*b414*(1 - b351)
      - 0.3*b414*(1 - b418) - 0.4*b414*(1 - b419) + 0.4*b414*(1 - b420) + 0.5*
     b414*(1 - b421) + b414*(1 - b476) + 0.2*b415*(1 - b352) - 0.5*b415*(1 - 
     b418) - 0.3*b415*(1 - b419) - 0.2*b415*(1 - b420) - 0.2*b415*(1 - b421) - 
     0.8*b415*(1 - b477) - 0.3*b416*(1 - b353) + 0.1*b416*(1 - b418) + 0.4*b416
     *(1 - b420) - 0.2*b416*(1 - b421) - 0.6*b416*(1 - b478) + 0.2*b417*(1 - 
     b354) - 0.5*b417*(1 - b418) + 0.4*b417*(1 - b419) + 0.1*b417*(1 - b420) + 
     0.1*b417*(1 - b421) - 0.7*b417*(1 - b479) - 0.3*b418*(1 - b414) - 0.5*b418
     *(1 - b415) + 0.1*b418*(1 - b416) - 0.5*b418*(1 - b417) + 0.6*b418*(1 - 
     b425) - 0.4*b419*(1 - b414) - 0.3*b419*(1 - b415) + 0.4*b419*(1 - b417) - 
     0.3*b419*(1 - b426) - 0.6*b420*(1 - b412) + 0.4*b420*(1 - b414) - 0.2*b420
     *(1 - b415) + 0.4*b420*(1 - b416) + 0.1*b420*(1 - b417) - 0.6*b420*(1 - 
     b427) + 0.5*b421*(1 - b414) - 0.2*b421*(1 - b415) - 0.2*b421*(1 - b416) + 
     0.1*b421*(1 - b417) + 0.6*b422*(1 - b359) + 0.2*b422*(1 - b425) - 0.5*b422
     *(1 - b426) + 0.5*b422*(1 - b427) + 0.7*b422*(1 - b484) - 0.3*b423*(1 - 
     b360) - 0.1*b423*(1 - b425) - 0.4*b423*(1 - b426) - 0.5*b423*(1 - b427) - 
     0.8*b423*(1 - b485) - 0.5*b424*(1 - b362) - 0.1*b424*(1 - b425) - 0.1*b424
     *(1 - b426) + 0.4*b424*(1 - b427) + 0.8*b424*(1 - b487) + 0.6*b425*(1 - 
     b418) + 0.2*b425*(1 - b422) - 0.1*b425*(1 - b423) - 0.1*b425*(1 - b424) + 
     0.4*b425*(1 - b432) - 0.3*b426*(1 - b419) - 0.5*b426*(1 - b422) - 0.4*b426
     *(1 - b423) - 0.1*b426*(1 - b424) + 0.3*b426*(1 - b433) - 0.6*b427*(1 - 
     b420) + 0.5*b427*(1 - b422) - 0.5*b427*(1 - b423) + 0.4*b427*(1 - b424) + 
     0.8*b427*(1 - b434) + 0.3*b428*(1 - b367) + 0.4*b428*(1 - b432) + 0.3*b428
     *(1 - b433) + 0.3*b428*(1 - b434) + 0.1*b428*(1 - b435) + 0.9*b428*(1 - 
     b492) + 0.2*b429*(1 - b368) + 0.1*b429*(1 - b432) + 0.2*b429*(1 - b433) + 
     0.1*b429*(1 - b435) - 0.1*b429*(1 - b493) - 0.4*b430*(1 - b369) + 0.2*b430
     *(1 - b432) + 0.4*b430*(1 - b433) - 0.4*b430*(1 - b435) + 0.4*b430*(1 - 
     b494) + 0.4*b431*(1 - b370) + 0.2*b431*(1 - b432) - 0.4*b431*(1 - b433) - 
     0.5*b431*(1 - b434) + 0.3*b431*(1 - b435) - 0.7*b431*(1 - b495) + 0.4*b432
     *(1 - b425) + 0.4*b432*(1 - b428) + 0.1*b432*(1 - b429) + 0.2*b432*(1 - 
     b430) + 0.2*b432*(1 - b431) - 0.6*b432*(1 - b440) + 0.3*b433*(1 - b426) + 
     0.3*b433*(1 - b428) + 0.2*b433*(1 - b429) + 0.4*b433*(1 - b430) - 0.4*b433
     *(1 - b431) + 0.8*b434*(1 - b427) + 0.3*b434*(1 - b428) - 0.5*b434*(1 - 
     b431) + 0.6*b434*(1 - b442) + 0.1*b435*(1 - b428) + 0.1*b435*(1 - b429) - 
     0.4*b435*(1 - b430) + 0.3*b435*(1 - b431) + 0.6*b435*(1 - b443) - 0.4*b436
     *(1 - b375) - 0.2*b436*(1 - b440) - 0.1*b436*(1 - b441) + 0.5*b436*(1 - 
     b442) - 0.2*b436*(1 - b443) + 0.6*b436*(1 - b500) + 0.8*b437*(1 - b376) + 
     0.1*b437*(1 - b440) + 0.2*b437*(1 - b441) + 0.1*b437*(1 - b442) - 0.5*b437
     *(1 - b501) + 0.2*b438*(1 - b377) + 0.5*b438*(1 - b440) - 0.5*b438*(1 - 
     b441) + 0.1*b438*(1 - b442) + 0.3*b438*(1 - b443) + 0.9*b438*(1 - b502) - 
     0.3*b439*(1 - b378) - 0.5*b439*(1 - b440) - 0.2*b439*(1 - b441) - 0.5*b439
     *(1 - b442) + 0.4*b439*(1 - b443) - 0.1*b439*(1 - b503) - 0.6*b440*(1 - 
     b432) - 0.2*b440*(1 - b436) + 0.1*b440*(1 - b437) + 0.5*b440*(1 - b438) - 
     0.5*b440*(1 - b439) - 0.1*b441*(1 - b436) + 0.2*b441*(1 - b437) - 0.5*b441
     *(1 - b438) - 0.2*b441*(1 - b439) + 0.6*b442*(1 - b434) + 0.5*b442*(1 - 
     b436) + 0.1*b442*(1 - b437) + 0.1*b442*(1 - b438) - 0.5*b442*(1 - b439) + 
     0.6*b443*(1 - b435) - 0.2*b443*(1 - b436) + 0.3*b443*(1 - b438) + 0.4*b443
     *(1 - b439) + 0.5*b444*(1 - b383) + 0.1*b444*(1 - b448) - 0.5*b444*(1 - 
     b449) + 0.5*b444*(1 - b450) + 0.2*b444*(1 - b451) + 0.5*b445*(1 - b384) - 
     0.1*b445*(1 - b449) + 0.3*b445*(1 - b450) + 0.2*b445*(1 - b451) - 0.8*b446
     *(1 - b385) + 0.4*b446*(1 - b448) + 0.3*b446*(1 - b449) + 0.4*b446*(1 - 
     b450) + 0.1*b446*(1 - b451) - 0.1*b447*(1 - b386) + 0.1*b447*(1 - b448) + 
     0.1*b447*(1 - b449) + 0.5*b447*(1 - b451) + 0.1*b448*(1 - b444) + 0.4*b448
     *(1 - b446) + 0.1*b448*(1 - b447) - 0.7*b448*(1 - b456) - 0.5*b449*(1 - 
     b444) - 0.1*b449*(1 - b445) + 0.3*b449*(1 - b446) + 0.1*b449*(1 - b447) + 
     0.5*b450*(1 - b444) + 0.3*b450*(1 - b445) + 0.4*b450*(1 - b446) - b450*(1
      - b458) + 0.2*b451*(1 - b444) + 0.2*b451*(1 - b445) + 0.1*b451*(1 - b446)
      + 0.5*b451*(1 - b447) + 0.3*b451*(1 - b459) + 0.7*b452*(1 - b391) - 0.1*
     b452*(1 - b456) + 0.4*b452*(1 - b457) + 0.1*b452*(1 - b458) + 0.9*b453*(1
      - b392) - 0.1*b453*(1 - b456) - 0.5*b453*(1 - b457) - 0.2*b453*(1 - b458)
      + 0.3*b453*(1 - b459) + 0.8*b454*(1 - b393) + 0.5*b454*(1 - b456) + 0.4*
     b454*(1 - b457) + 0.1*b454*(1 - b458) - 0.1*b454*(1 - b459) + 0.6*b455*(1
      - b394) + 0.1*b455*(1 - b456) - 0.1*b455*(1 - b457) - 0.5*b455*(1 - b458)
      - 0.3*b455*(1 - b459) - 0.7*b456*(1 - b448) - 0.1*b456*(1 - b452) - 0.1*
     b456*(1 - b453) + 0.5*b456*(1 - b454) + 0.1*b456*(1 - b455) + 0.6*b456*(1
      - b464) + 0.4*b457*(1 - b452) - 0.5*b457*(1 - b453) + 0.4*b457*(1 - b454)
      - 0.1*b457*(1 - b455) - b458*(1 - b450) + 0.1*b458*(1 - b452) - 0.2*b458*
     (1 - b453) + 0.1*b458*(1 - b454) - 0.5*b458*(1 - b455) - 0.6*b458*(1 - 
     b466) + 0.3*b459*(1 - b451) + 0.3*b459*(1 - b453) - 0.1*b459*(1 - b454) - 
     0.3*b459*(1 - b455) + 0.5*b459*(1 - b467) - 0.1*b460*(1 - b398) - 0.3*b460
     *(1 - b464) - 0.3*b460*(1 - b465) - 0.2*b460*(1 - b466) + 0.4*b460*(1 - 
     b467) + 0.5*b461*(1 - b399) + 0.1*b461*(1 - b464) + 0.5*b461*(1 - b466) + 
     0.2*b461*(1 - b467) - 0.1*b462*(1 - b400) - 0.4*b462*(1 - b464) + 0.3*b462
     *(1 - b465) - 0.4*b462*(1 - b466) - 0.1*b462*(1 - b467) + 0.1*b463*(1 - 
     b401) + 0.4*b463*(1 - b464) + 0.4*b463*(1 - b465) + 0.4*b463*(1 - b466) - 
     0.4*b463*(1 - b467) + 0.6*b464*(1 - b456) - 0.3*b464*(1 - b460) + 0.1*b464
     *(1 - b461) - 0.4*b464*(1 - b462) + 0.4*b464*(1 - b463) - 0.7*b464*(1 - 
     b472) - 0.3*b465*(1 - b460) + 0.3*b465*(1 - b462) + 0.4*b465*(1 - b463) + 
     0.8*b465*(1 - b473) - 0.6*b466*(1 - b458) - 0.2*b466*(1 - b460) + 0.5*b466
     *(1 - b461) - 0.4*b466*(1 - b462) + 0.4*b466*(1 - b463) + 0.5*b467*(1 - 
     b459) + 0.4*b467*(1 - b460) + 0.2*b467*(1 - b461) - 0.1*b467*(1 - b462) - 
     0.4*b467*(1 - b463) - 0.3*b467*(1 - b475) + 0.7*b468*(1 - b406) - 0.4*b468
     *(1 - b472) - 0.4*b468*(1 - b473) + 0.4*b468*(1 - b474) - 0.2*b468*(1 - 
     b475) + 0.4*b469*(1 - b407) + 0.2*b469*(1 - b472) - 0.3*b469*(1 - b473) - 
     0.5*b469*(1 - b474) + 0.2*b469*(1 - b475) - 0.9*b470*(1 - b408) + 0.3*b470
     *(1 - b472) + 0.5*b470*(1 - b473) - 0.2*b470*(1 - b474) - 0.3*b470*(1 - 
     b475) - 0.9*b471*(1 - b409) - 0.5*b471*(1 - b472) + 0.1*b471*(1 - b473) + 
     0.4*b471*(1 - b474) + 0.4*b471*(1 - b475) - 0.7*b472*(1 - b464) - 0.4*b472
     *(1 - b468) + 0.2*b472*(1 - b469) + 0.3*b472*(1 - b470) - 0.5*b472*(1 - 
     b471) + 0.6*b472*(1 - b480) + 0.8*b473*(1 - b465) - 0.4*b473*(1 - b468) - 
     0.3*b473*(1 - b469) + 0.5*b473*(1 - b470) + 0.1*b473*(1 - b471) - 0.1*b473
     *(1 - b481) + 0.4*b474*(1 - b468) - 0.5*b474*(1 - b469) - 0.2*b474*(1 - 
     b470) + 0.4*b474*(1 - b471) + b474*(1 - b482) - 0.3*b475*(1 - b467) - 0.2*
     b475*(1 - b468) + 0.2*b475*(1 - b469) - 0.3*b475*(1 - b470) + 0.4*b475*(1
      - b471) - 0.1*b475*(1 - b483) + b476*(1 - b414) - 0.3*b476*(1 - b481) - 
     0.3*b476*(1 - b482) - 0.3*b476*(1 - b483) - 0.8*b477*(1 - b415) + 0.4*b477
     *(1 - b480) + 0.3*b477*(1 - b481) + 0.4*b477*(1 - b482) - 0.5*b477*(1 - 
     b483) - 0.6*b478*(1 - b416) + 0.5*b478*(1 - b480) + 0.5*b478*(1 - b482) + 
     0.5*b478*(1 - b483) - 0.7*b479*(1 - b417) + 0.2*b479*(1 - b480) - 0.5*b479
     *(1 - b481) - 0.5*b479*(1 - b482) - 0.4*b479*(1 - b483) + 0.6*b480*(1 - 
     b472) + 0.4*b480*(1 - b477) + 0.5*b480*(1 - b478) + 0.2*b480*(1 - b479) - 
     0.4*b480*(1 - b488) - 0.1*b481*(1 - b473) - 0.3*b481*(1 - b476) + 0.3*b481
     *(1 - b477) - 0.5*b481*(1 - b479) - 0.8*b481*(1 - b489) + b482*(1 - b474)
      - 0.3*b482*(1 - b476) + 0.4*b482*(1 - b477) + 0.5*b482*(1 - b478) - 0.5*
     b482*(1 - b479) - 0.6*b482*(1 - b490) - 0.1*b483*(1 - b475) - 0.3*b483*(1
      - b476) - 0.5*b483*(1 - b477) + 0.5*b483*(1 - b478) - 0.4*b483*(1 - b479)
      - 0.3*b483*(1 - b491) + 0.7*b484*(1 - b422) - 0.5*b484*(1 - b489) + 0.1*
     b484*(1 - b490) - 0.2*b484*(1 - b491) - 0.8*b485*(1 - b423) - 0.1*b485*(1
      - b488) - 0.3*b485*(1 - b489) + 0.4*b485*(1 - b490) - 0.3*b485*(1 - b491)
      + 0.2*b486*(1 - b489) + 0.1*b486*(1 - b490) - 0.1*b486*(1 - b491) + 0.8*
     b487*(1 - b424) + 0.5*b487*(1 - b488) - 0.2*b487*(1 - b489) - 0.2*b487*(1
      - b490) - 0.1*b487*(1 - b491) - 0.4*b488*(1 - b480) - 0.1*b488*(1 - b485)
      + 0.5*b488*(1 - b487) - 0.3*b488*(1 - b496) - 0.8*b489*(1 - b481) - 0.5*
     b489*(1 - b484) - 0.3*b489*(1 - b485) + 0.2*b489*(1 - b486) - 0.2*b489*(1
      - b487) + b489*(1 - b497) - 0.6*b490*(1 - b482) + 0.1*b490*(1 - b484) + 
     0.4*b490*(1 - b485) + 0.1*b490*(1 - b486) - 0.2*b490*(1 - b487) + 0.5*b490
     *(1 - b498) - 0.3*b491*(1 - b483) - 0.2*b491*(1 - b484) - 0.3*b491*(1 - 
     b485) - 0.1*b491*(1 - b486) - 0.1*b491*(1 - b487) - 0.5*b491*(1 - b499) + 
     0.9*b492*(1 - b428) - 0.4*b492*(1 - b496) + 0.1*b492*(1 - b498) + 0.1*b492
     *(1 - b499) - 0.1*b493*(1 - b429) - 0.3*b493*(1 - b496) + 0.2*b493*(1 - 
     b497) - 0.5*b493*(1 - b498) + 0.5*b493*(1 - b499) + 0.4*b494*(1 - b430) + 
     0.5*b494*(1 - b496) - 0.4*b494*(1 - b497) - 0.3*b494*(1 - b498) + 0.4*b494
     *(1 - b499) - 0.7*b495*(1 - b431) - 0.5*b495*(1 - b496) - 0.4*b495*(1 - 
     b497) + 0.4*b495*(1 - b498) - 0.1*b495*(1 - b499) - 0.3*b496*(1 - b488) - 
     0.4*b496*(1 - b492) - 0.3*b496*(1 - b493) + 0.5*b496*(1 - b494) - 0.5*b496
     *(1 - b495) - 0.3*b496*(1 - b504) + b497*(1 - b489) + 0.2*b497*(1 - b493)
      - 0.4*b497*(1 - b494) - 0.4*b497*(1 - b495) + 0.2*b497*(1 - b505) + 0.5*
     b498*(1 - b490) + 0.1*b498*(1 - b492) - 0.5*b498*(1 - b493) - 0.3*b498*(1
      - b494) + 0.4*b498*(1 - b495) + 0.3*b498*(1 - b506) - 0.5*b499*(1 - b491)
      + 0.1*b499*(1 - b492) + 0.5*b499*(1 - b493) + 0.4*b499*(1 - b494) - 0.1*
     b499*(1 - b495) - 0.9*b499*(1 - b507) + 0.6*b500*(1 - b436) + 0.3*b500*(1
      - b504) - 0.5*b500*(1 - b505) - 0.1*b500*(1 - b506) + 0.4*b500*(1 - b507)
      - 0.5*b501*(1 - b437) - 0.1*b501*(1 - b504) + 0.4*b501*(1 - b505) - 0.1*
     b501*(1 - b506) + 0.5*b501*(1 - b507) + 0.9*b502*(1 - b438) + 0.4*b502*(1
      - b504) + 0.4*b502*(1 - b505) + 0.4*b502*(1 - b506) - 0.1*b503*(1 - b439)
      + 0.4*b503*(1 - b504) - 0.1*b503*(1 - b505) - 0.4*b503*(1 - b506) - 0.3*
     b503*(1 - b507) - 0.3*b504*(1 - b496) + 0.3*b504*(1 - b500) - 0.1*b504*(1
      - b501) + 0.4*b504*(1 - b502) + 0.4*b504*(1 - b503) + 0.2*b505*(1 - b497)
      - 0.5*b505*(1 - b500) + 0.4*b505*(1 - b501) + 0.4*b505*(1 - b502) - 0.1*
     b505*(1 - b503) + 0.3*b506*(1 - b498) - 0.1*b506*(1 - b500) - 0.1*b506*(1
      - b501) + 0.4*b506*(1 - b502) - 0.4*b506*(1 - b503) - 0.9*b507*(1 - b499)
      + 0.4*b507*(1 - b500) + 0.5*b507*(1 - b501) - 0.3*b507*(1 - b503))
      + objvar =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% maximizing objvar;


Last updated: 2019-11-29 Git hash: 4a97e4ed
Imprint / Privacy Policy