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