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 nl osil pip py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 211.72201350 (ANTIGONE) 180.98424800 (BARON) 229.95000000 (COUENNE) 169.70000000 (CPLEX) 169.70000000 (GUROBI) 207.50000000 (LINDO) 175.06950680 (SCIP) 182.02194340 (SHOT) |
| 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 |
| Minimal coefficientⓘ | 1.0000e-01 |
| Maximal coefficientⓘ | 1.0000e+00 |
| Infeasibility of initial pointⓘ | 0 |
| Sparsity Jacobianⓘ |  |
| Sparsity 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: 2024-04-02 Git hash: 1dd5fb9b