MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


Instance: chimera_selby-c8-onc8-02

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