MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance pedigree_sp_top4_300
Optimize selection of a fixed-size breeding population under a relatedness constraint
| Formatsⓘ | ams gms lp mod nl osil pip py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | -23707.35806000 (ANTIGONE) -23176.19002000 (BARON) -23807.83091000 (COUENNE) -23176.19000000 (CPLEX) -23176.19000000 (GUROBI) -23176.19000000 (LINDO) -23176.19000000 (SCIP) -23233.27432000 (SHOT) |
| Referencesⓘ | Mullin, Tim J. and Belotti, Pietro, Using branch-and-bound algorithms to optimize selection of a fixed-size breeding population under a relatedness constraint, Tree Genetics & Genomes, 12, 2015, 4. |
| Sourceⓘ | QPLIB instance 10009, contributed by Pietro Belotti, https://datadryad.org/resource/doi:10.5061/dryad.4r1f0 |
| Applicationⓘ | Breeding |
| Added to libraryⓘ | 18 Aug 2018 |
| Problem typeⓘ | MBQCP |
| #Variablesⓘ | 605 |
| #Binary Variablesⓘ | 473 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 605 |
| #Nonlinear Binary Variablesⓘ | 473 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 473 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 246 |
| #Linear Constraintsⓘ | 245 |
| #Quadratic Constraintsⓘ | 1 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | |
| Constraints curvatureⓘ | convex |
| #Nonzeros in Jacobianⓘ | 1566 |
| #Nonlinear Nonzeros in Jacobianⓘ | 605 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 12205 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 605 |
| #Blocks in Hessian of Lagrangianⓘ | 193 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 1 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 349 |
| Average blocksize in Hessian of Lagrangianⓘ | 3.134715 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 5.0000e-01 |
| Maximal coefficientⓘ | 6.9072e+02 |
| Infeasibility of initial pointⓘ | 50 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 247 2 244 1 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 606 133 473 0 0 0 0 0
* FX 132
*
* Nonzero counts
* Total const NL DLL
* 2040 1435 605 0
*
* Solve m using MIQCP minimizing objvar;
Variables objvar,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69
,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86
,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102
,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115
,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128
,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141
,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154
,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167
,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180
,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193
,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206
,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219
,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232
,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245
,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284
,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297
,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309,b310
,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323
,b324,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336
,b337,b338,b339,b340,b341,b342,b343,b344,b345,b346,b347,b348,b349
,b350,b351,b352,b353,b354,b355,b356,b357,b358,b359,b360,b361,b362
,b363,b364,b365,b366,b367,b368,b369,b370,b371,b372,b373,b374,b375
,b376,b377,b378,b379,b380,b381,b382,b383,b384,b385,b386,b387,b388
,b389,b390,b391,b392,b393,b394,b395,b396,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,x475,x476,x477,x478,x479
,x480,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492
,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505
,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518
,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531
,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544
,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557
,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570
,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583
,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596
,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606;
Binary Variables b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69
,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86
,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102
,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115
,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128
,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141
,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154
,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167
,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180
,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193
,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206
,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219
,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232
,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245
,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284
,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297
,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309,b310
,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323
,b324,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336
,b337,b338,b339,b340,b341,b342,b343,b344,b345,b346,b347,b348,b349
,b350,b351,b352,b353,b354,b355,b356,b357,b358,b359,b360,b361,b362
,b363,b364,b365,b366,b367,b368,b369,b370,b371,b372,b373,b374,b375
,b376,b377,b378,b379,b380,b381,b382,b383,b384,b385,b386,b387,b388
,b389,b390,b391,b392,b393,b394,b395,b396,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;
Equations e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53
,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70
,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87
,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103
,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116
,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129
,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142
,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155
,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168
,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181
,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194
,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207
,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,e218,e219,e220
,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,e233
,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246
,e247;
e1.. objvar + 137.73*b2 + 196.73*b3 + 120.22*b4 + 417.92*b5 + 200.82*b6
+ 162.5*b7 + 162.65*b8 + 179.47*b9 + 110.3*b10 + 235.64*b11 + 183.97*b12
+ 198.58*b13 + 257.31*b14 + 302.88*b15 + 267.93*b16 + 156.75*b17
+ 405.16*b18 + 245.93*b19 + 109.24*b20 + 171.4*b21 + 212.91*b22
+ 155.66*b23 + 246.71*b24 + 131.3*b25 + 197.36*b26 + 209.67*b27
+ 113.46*b28 + 243.86*b29 + 257.51*b30 + 228.84*b31 + 223.53*b32
+ 332.82*b33 + 130.27*b34 + 219.72*b35 + 507.81*b36 + 371.17*b37
+ 173.26*b38 + 239.32*b39 + 214.33*b40 + 128.05*b41 + 110.83*b42
+ 114.82*b43 + 182.26*b44 + 348.89*b45 + 355.55*b46 + 368.04*b47
+ 362.49*b48 + 376.86*b49 + 439.44*b50 + 432.17*b51 + 382.38*b52
+ 374.59*b53 + 344.56*b54 + 343.24*b55 + 339.38*b56 + 333.55*b57
+ 398.36*b58 + 403.09*b59 + 395.46*b60 + 432.48*b61 + 358.69*b62
+ 443.01*b63 + 313.3*b64 + 323.68*b65 + 445.6*b66 + 364.21*b67
+ 371.06*b68 + 306.51*b69 + 315.8*b70 + 390.72*b71 + 309.16*b72
+ 361.58*b73 + 302.76*b74 + 302.73*b75 + 350.56*b76 + 347.69*b77
+ 301.28*b78 + 308.45*b79 + 305.83*b80 + 305.6*b81 + 260.95*b82
+ 301.08*b83 + 100.9*b84 + 182.47*b85 + 274.02*b86 + 118.98*b87
+ 167.55*b88 + 168.54*b89 + 309.6*b90 + 301.43*b91 + 307.63*b92 + 349*b93
+ 345.92*b94 + 307.05*b95 + 336.93*b96 + 312.79*b97 + 344.98*b98
+ 352.25*b99 + 353.73*b100 + 409.07*b101 + 413.63*b102 + 346.7*b103
+ 383.68*b104 + 311.28*b105 + 214.65*b106 + 256.57*b107 + 672.57*b108
+ 211.4*b109 + 204.03*b110 + 324.99*b111 + 336.74*b112 + 112.03*b113
+ 369.55*b114 + 153.47*b115 + 166.24*b116 + 381.53*b117 + 265.39*b118
+ 379.6*b119 + 424.5*b120 + 320.94*b121 + 225.01*b122 + 308.72*b123
+ 176.27*b124 + 194.23*b125 + 488.5*b126 + 229.73*b127 + 184.42*b128
+ 370.78*b129 + 247.86*b130 + 280.8*b131 + 112*b132 + 248.56*b133
+ 169.26*b134 + 307.74*b135 + 184.55*b136 + 401.86*b137 + 187.16*b138
+ 151.9*b139 + 388.77*b140 + 150.5*b141 + 108.65*b142 + 137.42*b143
+ 155.21*b144 + 231.09*b145 + 321.79*b146 + 318*b147 + 308.36*b148
+ 239.09*b149 + 328.93*b150 + 328.09*b151 + 214.12*b152 + 453.3*b153
+ 169.46*b154 + 215.89*b155 + 245.42*b156 + 200.26*b157 + 392.21*b158
+ 182.94*b159 + 103.17*b160 + 177.46*b161 + 263.76*b162 + 201.97*b163
+ 187.4*b164 + 131.19*b165 + 144.93*b166 + 215.44*b167 + 251.54*b168
+ 444.24*b169 + 356.9*b170 + 352.21*b171 + 418.93*b172 + 375.07*b173
+ 549.94*b174 + 584.09*b175 + 559.85*b176 + 394.59*b177 + 400.81*b178
+ 306.69*b179 + 361.27*b180 + 398.91*b181 + 579.44*b182 + 601.26*b183
+ 610.33*b184 + 619.24*b185 + 481.14*b186 + 300.67*b187 + 317.07*b188
+ 444.94*b189 + 405.95*b190 + 580.08*b191 + 496.41*b192 + 483.82*b193
+ 320.49*b194 + 351.69*b195 + 394.77*b196 + 492.52*b197 + 115.79*b198
+ 431.92*b199 + 193.95*b200 + 115.11*b201 + 142.44*b202 + 223.48*b203
+ 348.96*b204 + 180.24*b205 + 243.65*b206 + 374.78*b207 + 425.05*b208
+ 360.37*b209 + 306.78*b210 + 325.03*b211 + 436.09*b212 + 509.49*b213
+ 324.12*b214 + 305.13*b215 + 340.7*b216 + 332.15*b217 + 465.05*b218
+ 341.97*b219 + 489.03*b220 + 474.72*b221 + 422.27*b222 + 359.53*b223
+ 364.99*b224 + 365.7*b225 + 395.1*b226 + 349*b227 + 428.05*b228
+ 448.53*b229 + 327.53*b230 + 333.64*b231 + 397.36*b232 + 490.62*b233
+ 340.66*b234 + 379.48*b235 + 323.01*b236 + 338.28*b237 + 364.16*b238
+ 348.35*b239 + 488.32*b240 + 453.77*b241 + 354.55*b242 + 373.12*b243
+ 328.72*b244 + 474.1*b245 + 662.23*b246 + 492.63*b247 + 318.13*b248
+ 372.08*b249 + 407.31*b250 + 459.43*b251 + 441.57*b252 + 479.99*b253
+ 400.74*b254 + 432.39*b255 + 348.98*b256 + 475.03*b257 + 478.79*b258
+ 383.92*b259 + 379.05*b260 + 423.72*b261 + 351.91*b262 + 311.88*b263
+ 495.72*b264 + 484.77*b265 + 305.71*b266 + 314.14*b267 + 330.43*b268
+ 456.88*b269 + 364.05*b270 + 391.49*b271 + 314.7*b272 + 476.88*b273
+ 317.25*b274 + 328.14*b275 + 372.95*b276 + 372.68*b277 + 333.26*b278
+ 364.23*b279 + 398.84*b280 + 379.81*b281 + 491.59*b282 + 315.11*b283
+ 337*b284 + 368.84*b285 + 488.66*b286 + 336.95*b287 + 403.8*b288
+ 311.72*b289 + 456.84*b290 + 331.36*b291 + 324.9*b292 + 396.26*b293
+ 366.13*b294 + 328.25*b295 + 323.43*b296 + 366.93*b297 + 316.24*b298
+ 345.88*b299 + 454.67*b300 + 492.69*b301 + 303.81*b302 + 380.62*b303
+ 321.81*b304 + 361.14*b305 + 400.94*b306 + 431.67*b307 + 308.83*b308
+ 338.58*b309 + 485.82*b310 + 334.32*b311 + 377.12*b312 + 513.12*b313
+ 310.17*b314 + 442.11*b315 + 376.98*b316 + 302.65*b317 + 313.59*b318
+ 437.34*b319 + 329.52*b320 + 503.56*b321 + 437.4*b322 + 499.5*b323
+ 358.66*b324 + 436.24*b325 + 320.38*b326 + 665.54*b327 + 408.61*b328
+ 328.94*b329 + 427.48*b330 + 363.95*b331 + 431.52*b332 + 392.5*b333
+ 382.22*b334 + 382.61*b335 + 302.18*b336 + 412.39*b337 + 317.75*b338
+ 317.1*b339 + 331.44*b340 + 308.88*b341 + 339.81*b342 + 403.39*b343
+ 318.05*b344 + 494.89*b345 + 372.98*b346 + 690.72*b347 + 381.65*b348
+ 432.01*b349 + 320.39*b350 + 374.54*b351 + 416.54*b352 + 478.42*b353
+ 419.81*b354 + 335.65*b355 + 362.02*b356 + 342.39*b357 + 432.8*b358
+ 451.98*b359 + 671.27*b360 + 309.18*b361 + 456.3*b362 + 458.44*b363
+ 472.43*b364 + 355.62*b365 + 446.1*b366 + 306.48*b367 + 379.63*b368
+ 315.68*b369 + 351.32*b370 + 397.86*b371 + 311.99*b372 + 301.82*b373
+ 410.62*b374 + 406.71*b375 + 401.51*b376 + 321.49*b377 + 308.25*b378
+ 305.34*b379 + 362.93*b380 + 345.16*b381 + 451.24*b382 + 318.72*b383
+ 334.38*b384 + 371.67*b385 + 371.63*b386 + 479.78*b387 + 322.74*b388
+ 484.64*b389 + 389.16*b390 + 342.39*b391 + 407.79*b392 + 402.71*b393
+ 502.19*b394 + 343.03*b395 + 479.58*b396 + 343.14*b397 + 451.75*b398
+ 317.41*b399 + 397.92*b400 + 321.17*b401 + 402.02*b402 + 322.88*b403
+ 328.65*b404 + 347.65*b405 + 407.95*b406 + 376.75*b407 + 356.23*b408
+ 374.55*b409 + 367.01*b410 + 402.29*b411 + 302.19*b412 + 306.09*b413
+ 301.83*b414 + 382.65*b415 + 328.9*b416 + 370.96*b417 + 398.59*b418
+ 310.35*b419 + 378.73*b420 + 346.23*b421 + 326.77*b422 + 388.04*b423
+ 324.37*b424 + 344.19*b425 + 348.78*b426 + 406.7*b427 + 327.68*b428
+ 338.01*b429 + 385.06*b430 + 373.67*b431 + 417.14*b432 + 350.65*b433
+ 323.46*b434 + 355.05*b435 + 334.17*b436 + 302.29*b437 + 325.03*b438
+ 307.37*b439 + 370.75*b440 + 343.57*b441 + 402.75*b442 + 336.58*b443
+ 391.06*b444 + 385.86*b445 + 392.96*b446 + 308.35*b447 + 358.2*b448
+ 370.73*b449 + 307.42*b450 + 329.42*b451 + 393.31*b452 + 311.16*b453
+ 305.26*b454 + 341.14*b455 + 397.72*b456 + 342.96*b457 + 307.27*b458
+ 394.57*b459 + 350.1*b460 + 372.91*b461 + 411.47*b462 + 305.14*b463
+ 303.02*b464 + 347.26*b465 + 364.02*b466 + 363.57*b467 + 402.76*b468
+ 326.49*b469 + 346.26*b470 + 330.35*b471 + 399.96*b472 + 301.24*b473
+ 389.3*b474 =E= 0;
e2.. 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 =E= 50;
e3.. sqr(b2) + sqr(b3) + sqr(b4) + sqr(b5) + sqr(b54) + sqr(b55) + sqr(b56) +
sqr(b76) + sqr(b77) + sqr(b80) + sqr(b93) + sqr(b95) + sqr(b96) + sqr(b97)
+ sqr(b98) + sqr(b103) + sqr(b170) + sqr(b171) + sqr(b195) + sqr(b196) +
sqr(b220) + sqr(b222) + sqr(b233) + sqr(b240) + sqr(b246) + sqr(b257) +
sqr(b259) + sqr(b264) + sqr(b265) + sqr(b310) + sqr(b312) + sqr(b313) +
sqr(b327) + sqr(b330) + sqr(b332) + sqr(b335) + sqr(b345) + sqr(b347) +
sqr(b348) + sqr(b352) + sqr(b354) + sqr(b358) + sqr(b360) + sqr(b380) +
sqr(b385) + sqr(b389) + sqr(b392) + sqr(b394) + sqr(b6) + sqr(b412) + sqr(
b414) + sqr(b434) + sqr(b447) + sqr(b451) + sqr(b473) + sqr(b7) + sqr(b8)
+ sqr(b9) + sqr(b253) + sqr(b262) + sqr(b280) + sqr(b285) + sqr(b288) +
sqr(b296) + sqr(b322) + sqr(b340) + sqr(b344) + sqr(b367) + sqr(b372) +
sqr(b383) + sqr(b10) + sqr(b11) + sqr(b65) + sqr(b69) + sqr(b70) + sqr(
b244) + sqr(b419) + sqr(b458) + sqr(b464) + sqr(b12) + sqr(b209) + sqr(
b241) + sqr(b243) + sqr(b254) + sqr(b256) + sqr(b294) + sqr(b300) + sqr(
b318) + sqr(b334) + sqr(b337) + sqr(b363) + sqr(b371) + sqr(b375) + sqr(
b13) + sqr(b369) + sqr(b14) + sqr(b59) + sqr(b79) + sqr(b81) + sqr(b92) +
sqr(b105) + sqr(b169) + sqr(b177) + sqr(b181) + sqr(b15) + sqr(b401) +
sqr(b402) + sqr(b417) + sqr(b418) + sqr(b420) + sqr(b423) + sqr(b426) +
sqr(b430) + sqr(b431) + sqr(b433) + sqr(b435) + sqr(b437) + sqr(b440) +
sqr(b442) + sqr(b443) + sqr(b444) + sqr(b452) + sqr(b453) + sqr(b463) +
sqr(b465) + sqr(b16) + sqr(b78) + sqr(b91) + sqr(b17) + sqr(b57) + sqr(b94
) + sqr(b99) + sqr(b100) + sqr(b18) + sqr(b58) + sqr(b101) + sqr(b102) +
sqr(b104) + sqr(b19) + sqr(b20) + sqr(b21) + sqr(b22) + sqr(b179) + sqr(
b187) + sqr(b23) + sqr(b211) + sqr(b214) + sqr(b223) + sqr(b342) + sqr(
b355) + sqr(b24) + sqr(b221) + sqr(b245) + sqr(b250) + sqr(b251) + sqr(
b260) + sqr(b268) + sqr(b271) + sqr(b291) + sqr(b308) + sqr(b309) + sqr(
b320) + sqr(b326) + sqr(b364) + sqr(b377) + sqr(b386) + sqr(b25) + sqr(
b278) + sqr(b26) + sqr(b27) + sqr(b28) + sqr(b314) + sqr(b350) + sqr(b361)
+ sqr(b373) + sqr(b399) + sqr(b29) + sqr(b30) + sqr(b180) + sqr(b188) +
sqr(b194) + sqr(b31) + sqr(b32) + sqr(b45) + sqr(b46) + sqr(b47) + sqr(b62
) + sqr(b33) + sqr(b186) + sqr(b192) + sqr(b193) + sqr(b197) + sqr(b34) +
sqr(b53) + sqr(b67) + sqr(b173) + sqr(b238) + sqr(b35) + sqr(b48) + sqr(
b49) + sqr(b50) + sqr(b51) + sqr(b63) + sqr(b66) + sqr(b68) + sqr(b73) +
sqr(b36) + sqr(b52) + sqr(b60) + sqr(b61) + sqr(b64) + sqr(b71) + sqr(b72)
+ sqr(b74) + sqr(b75) + sqr(b37) + sqr(b38) + sqr(b39) + sqr(b40) + sqr(
b41) + sqr(b42) + sqr(b43) + sqr(b44) + sqr(x475) + sqr(x476) + sqr(b82)
+ sqr(b410) + sqr(b449) + sqr(b466) + sqr(b467) + sqr(b83) + sqr(b408) +
sqr(b448) + sqr(b454) + sqr(b460) + sqr(b470) + sqr(b84) + sqr(b85) + sqr(
b86) + sqr(b403) + sqr(b404) + sqr(b428) + sqr(b429) + sqr(b87) + sqr(b88)
+ sqr(b217) + sqr(b225) + sqr(b231) + sqr(b248) + sqr(b263) + sqr(b304)
+ sqr(b324) + sqr(b329) + sqr(b370) + sqr(b384) + sqr(b89) + sqr(b266) +
sqr(b272) + sqr(b283) + sqr(b338) + sqr(b90) + sqr(b174) + sqr(b176) +
sqr(b184) + sqr(b191) + sqr(b236) + sqr(b237) + sqr(b276) + sqr(b279) +
sqr(b281) + sqr(b303) + sqr(b341) + sqr(b357) + sqr(b381) + sqr(b106) +
sqr(b405) + sqr(b416) + sqr(b421) + sqr(b422) + sqr(b425) + sqr(b436) +
sqr(b438) + sqr(b441) + sqr(b455) + sqr(b457) + sqr(b469) + sqr(b471) +
sqr(b107) + sqr(b108) + sqr(b175) + sqr(b182) + sqr(b183) + sqr(b185) +
sqr(b212) + sqr(b229) + sqr(b232) + sqr(b242) + sqr(b252) + sqr(b255) +
sqr(b269) + sqr(b270) + sqr(b273) + sqr(b290) + sqr(b293) + sqr(b297) +
sqr(b299) + sqr(b301) + sqr(b305) + sqr(b306) + sqr(b307) + sqr(b323) +
sqr(b328) + sqr(b343) + sqr(b346) + sqr(b353) + sqr(b359) + sqr(b362) +
sqr(b393) + sqr(b396) + sqr(b397) + sqr(b400) + sqr(b109) + sqr(b413) +
sqr(b424) + sqr(b439) + sqr(b450) + sqr(b110) + sqr(b111) + sqr(b407) +
sqr(b409) + sqr(b415) + sqr(b461) + sqr(b112) + sqr(b406) + sqr(b411) +
sqr(b427) + sqr(b432) + sqr(b445) + sqr(b446) + sqr(b456) + sqr(b459) +
sqr(b462) + sqr(b468) + sqr(b472) + sqr(b474) + sqr(b113) + sqr(b114) +
sqr(b115) + sqr(b249) + sqr(b277) + sqr(b284) + sqr(b289) + sqr(b351) +
sqr(b365) + sqr(b368) + sqr(b374) + sqr(b376) + sqr(b390) + sqr(b116) +
sqr(b117) + sqr(b118) + sqr(b119) + sqr(b120) + sqr(b172) + sqr(b178) +
sqr(b189) + sqr(b190) + sqr(b210) + sqr(b216) + sqr(b226) + sqr(b227) +
sqr(b230) + sqr(b234) + sqr(b235) + sqr(b239) + sqr(b275) + sqr(b287) +
sqr(b292) + sqr(b295) + sqr(b391) + sqr(b121) + sqr(b258) + sqr(b261) +
sqr(b325) + sqr(b349) + sqr(b122) + sqr(b215) + sqr(b228) + sqr(b274) +
sqr(b311) + sqr(b316) + sqr(b333) + sqr(b356) + sqr(b123) + sqr(b213) +
sqr(b247) + sqr(b286) + sqr(b317) + sqr(b387) + sqr(b388) + sqr(b124) +
sqr(b336) + sqr(b339) + sqr(b125) + sqr(b315) + sqr(b319) + sqr(b321) +
sqr(b366) + sqr(b126) + sqr(b218) + sqr(b219) + sqr(b224) + sqr(b282) +
sqr(b331) + sqr(b382) + sqr(b395) + sqr(b398) + sqr(b127) + sqr(b128) +
sqr(b129) + sqr(b267) + sqr(b298) + sqr(b302) + sqr(b378) + sqr(b379) +
sqr(b130) + sqr(b131) + sqr(b132) + sqr(b133) + sqr(b134) + sqr(b135) +
sqr(b136) + sqr(b137) + sqr(b138) + sqr(b139) + sqr(b140) + sqr(b141) +
sqr(b142) + sqr(b143) + sqr(b144) + sqr(b145) + sqr(b146) + sqr(b147) +
sqr(b148) + sqr(b149) + sqr(b150) + sqr(b151) + sqr(b152) + sqr(b153) +
sqr(b154) + sqr(b155) + sqr(b156) + sqr(b157) + sqr(b158) + sqr(b159) +
sqr(b160) + sqr(b161) + sqr(b162) + sqr(b163) + sqr(b164) + sqr(b165) +
sqr(b166) + sqr(b167) + sqr(b168) + sqr(b198) + sqr(b199) + sqr(b200) +
sqr(b201) + sqr(b202) + sqr(b203) + sqr(b204) + sqr(b205) + sqr(b206) +
sqr(b207) + sqr(b208) + sqr(x477) + sqr(x478) + sqr(x479) + sqr(x480) +
sqr(x481) + sqr(x482) + sqr(x483) + sqr(x484) + sqr(x485) + sqr(x486) +
sqr(x487) + sqr(x488) + sqr(x489) + sqr(x490) + sqr(x491) + sqr(x492) +
sqr(x493) + sqr(x494) + sqr(x495) + sqr(x496) + sqr(x497) + sqr(x498) +
sqr(x499) + sqr(x500) + sqr(x501) + sqr(x502) + sqr(x503) + sqr(x504) +
sqr(x505) + sqr(x506) + sqr(x507) + sqr(x508) + sqr(x509) + sqr(x510) +
sqr(x511) + sqr(x512) + sqr(x513) + sqr(x514) + sqr(x515) + sqr(x516) +
sqr(x517) + sqr(x518) + sqr(x519) + sqr(x520) + sqr(x521) + sqr(x522) +
sqr(x523) + sqr(x524) + sqr(x525) + sqr(x526) + sqr(x527) + sqr(x528) +
sqr(x529) + sqr(x530) + sqr(x531) + sqr(x532) + sqr(x533) + sqr(x534) +
sqr(x535) + sqr(x536) + sqr(x537) + sqr(x538) + sqr(x539) + sqr(x540) +
sqr(x541) + sqr(x542) + sqr(x543) + sqr(x544) + sqr(x545) + sqr(x546) +
sqr(x547) + sqr(x548) + sqr(x549) + sqr(x550) + sqr(x551) + sqr(x552) +
sqr(x553) + sqr(x554) + sqr(x555) + sqr(x556) + sqr(x557) + sqr(x558) +
sqr(x559) + sqr(x560) + sqr(x561) + sqr(x562) + sqr(x563) + sqr(x564) +
sqr(x565) + sqr(x566) + sqr(x567) + sqr(x568) + sqr(x569) + sqr(x570) +
sqr(x571) + sqr(x572) + sqr(x573) + sqr(x574) + sqr(x575) + sqr(x576) +
sqr(x577) + sqr(x578) + sqr(x579) + sqr(x580) + sqr(x581) + sqr(x582) +
sqr(x583) + sqr(x584) + sqr(x585) + sqr(x586) + sqr(x587) + sqr(x588) +
sqr(x589) + sqr(x590) + sqr(x591) + sqr(x592) + sqr(x593) + sqr(x594) +
sqr(x595) + sqr(x596) + sqr(x597) + sqr(x598) + sqr(x599) + sqr(x600) +
sqr(x601) + sqr(x602) + sqr(x603) + sqr(x604) + sqr(x605) + sqr(x606) + b5
*b54 + b5*b55 + b5*b56 + b5*b76 + b5*b77 + b5*b80 + b5*b93 + b5*b95 + b5*
b96 + b5*b97 + b5*b98 + b5*b103 + b5*b170 + b5*b171 + b5*b195 + b5*b196 +
b5*b220 + b5*b222 + b5*b233 + b5*b240 + b5*b246 + b5*b257 + b5*b259 + b5*
b264 + b5*b265 + b5*b310 + b5*b312 + b5*b313 + b5*b327 + b5*b330 + b5*b332
+ b5*b335 + b5*b345 + b5*b347 + b5*b348 + b5*b352 + b5*b354 + b5*b358 +
b5*b360 + b5*b380 + b5*b385 + b5*b389 + b5*b392 + b5*b394 + b6*b412 + b6*
b414 + b6*b434 + b6*b447 + b6*b451 + b6*b473 + b9*b170 + b9*b171 + b9*b195
+ b9*b196 + b9*b253 + b9*b262 + b9*b280 + b9*b285 + b9*b288 + b9*b296 +
b9*b322 + b9*b340 + b9*b344 + b9*b367 + b9*b372 + b9*b383 + b11*b65 + b11*
b69 + b11*b70 + b11*b244 + b11*b257 + b11*b332 + b11*b354 + b11*b358 + b11
*b419 + b11*b458 + b11*b464 + b12*b209 + b12*b241 + b12*b243 + b12*b254 +
b12*b256 + b12*b294 + b12*b300 + b12*b318 + b12*b334 + b12*b337 + b12*b363
+ b12*b371 + b12*b375 + b13*b54 + b13*b77 + b13*b93 + b13*b98 + b13*b369
+ b14*b59 + b14*b79 + b14*b81 + b14*b92 + b14*b105 + b14*b169 + b14*b177
+ b14*b181 + b15*b401 + b15*b402 + b15*b417 + b15*b418 + b15*b420 + b15*
b423 + b15*b426 + b15*b430 + b15*b431 + b15*b433 + b15*b434 + b15*b435 +
b15*b437 + b15*b440 + b15*b442 + b15*b443 + b15*b444 + b15*b451 + b15*b452
+ b15*b453 + b15*b463 + b15*b465 + b16*b78 + b16*b79 + b16*b81 + b16*b91
+ b16*b92 + b16*b105 + b17*b57 + b17*b94 + b17*b99 + b17*b100 + b18*b57
+ b18*b58 + b18*b59 + b18*b94 + b18*b99 + b18*b100 + b18*b101 + b18*b102
+ b18*b104 + b18*b169 + b18*b177 + b18*b181 + b19*b58 + b19*b78 + b19*b91
+ b19*b101 + b19*b102 + b19*b104 + b21*b55 + b21*b76 + b21*b96 + b21*b103
+ b22*b179 + b22*b187 + b23*b211 + b23*b214 + b23*b223 + b23*b342 + b23*
b355 + b24*b221 + b24*b245 + b24*b250 + b24*b251 + b24*b260 + b24*b268 +
b24*b271 + b24*b291 + b24*b308 + b24*b309 + b24*b320 + b24*b326 + b24*b364
+ b24*b377 + b24*b386 + b25*b278 + b25*b308 + b28*b314 + b28*b350 + b28*
b361 + b28*b373 + b28*b399 + b30*b180 + b30*b188 + b30*b194 + b31*b179 +
b31*b187 + b32*b45 + b32*b46 + b32*b47 + b32*b62 + b33*b186 + b33*b192 +
b33*b193 + b33*b197 + b34*b53 + b34*b67 + b34*b173 + b34*b238 + b35*b48 +
b35*b49 + b35*b50 + b35*b51 + b35*b63 + b35*b66 + b35*b68 + b35*b73 + b36*
b50 + b36*b51 + b36*b52 + b36*b60 + b36*b61 + b36*b63 + b36*b64 + b36*b66
+ b36*b71 + b36*b72 + b36*b74 + b36*b75 + b36*b186 + b36*b192 + b36*b193
+ b36*b197 + b37*b45 + b37*b46 + b37*b47 + b37*b48 + b37*b49 + b37*b53 +
b37*b62 + b37*b67 + b37*b68 + b37*b73 + b37*b173 + b37*b238 + b39*b65 +
b39*b69 + b39*b70 + b40*b180 + b40*b188 + b40*b194 + b42*b52 + b42*b60 +
b42*b61 + b42*b71 + b45*b46 + b45*b47 + 0.5*b45*b48 + 0.5*b45*b49 + 0.5*
b45*b53 + b45*b62 + 0.5*b45*b67 + 0.5*b45*b68 + 0.5*b45*b73 + 0.5*b45*b173
+ 0.5*b45*b238 + b46*b47 + 0.5*b46*b48 + 0.5*b46*b49 + 0.5*b46*b53 + b46*
b62 + 0.5*b46*b67 + 0.5*b46*b68 + 0.5*b46*b73 + 0.5*b46*b173 + 0.5*b46*
b238 + 0.5*b47*b48 + 0.5*b47*b49 + 0.5*b47*b53 + b47*b62 + 0.5*b47*b67 +
0.5*b47*b68 + 0.5*b47*b73 + 0.5*b47*b173 + 0.5*b47*b238 + b48*b49 + 0.5*
b48*b50 + 0.5*b48*b51 + 0.5*b48*b53 + 0.5*b48*b62 + 0.5*b48*b63 + 0.5*b48*
b66 + 0.5*b48*b67 + b48*b68 + b48*b73 + 0.5*b48*b173 + 0.5*b48*b238 + 0.5*
b49*b50 + 0.5*b49*b51 + 0.5*b49*b53 + 0.5*b49*b62 + 0.5*b49*b63 + 0.5*b49*
b66 + 0.5*b49*b67 + b49*b68 + b49*b73 + 0.5*b49*b173 + 0.5*b49*b238 + b50*
b51 + 0.5*b50*b52 + 0.5*b50*b60 + 0.5*b50*b61 + b50*b63 + 0.5*b50*b64 +
b50*b66 + 0.5*b50*b68 + 0.5*b50*b71 + 0.5*b50*b72 + 0.5*b50*b73 + 0.5*b50*
b74 + 0.5*b50*b75 + 0.5*b50*b186 + 0.5*b50*b192 + 0.5*b50*b193 + 0.5*b50*
b197 + 0.5*b51*b52 + 0.5*b51*b60 + 0.5*b51*b61 + b51*b63 + 0.5*b51*b64 +
b51*b66 + 0.5*b51*b68 + 0.5*b51*b71 + 0.5*b51*b72 + 0.5*b51*b73 + 0.5*b51*
b74 + 0.5*b51*b75 + 0.5*b51*b186 + 0.5*b51*b192 + 0.5*b51*b193 + 0.5*b51*
b197 + b52*b60 + b52*b61 + 0.5*b52*b63 + 0.5*b52*b64 + 0.5*b52*b66 + b52*
b71 + 0.5*b52*b72 + 0.5*b52*b74 + 0.5*b52*b75 + 0.5*b52*b186 + 0.5*b52*
b192 + 0.5*b52*b193 + 0.5*b52*b197 + 0.5*b53*b62 + b53*b67 + 0.5*b53*b68
+ 0.5*b53*b73 + b53*b173 + b53*b238 + 0.5*b54*b55 + 0.5*b54*b56 + 0.5*b54
*b76 + b54*b77 + 0.5*b54*b80 + b54*b93 + 0.5*b54*b95 + 0.5*b54*b96 + 0.5*
b54*b97 + b54*b98 + 0.5*b54*b103 + 0.5*b54*b170 + 0.5*b54*b171 + 0.5*b54*
b195 + 0.5*b54*b196 + 0.5*b54*b220 + 0.5*b54*b222 + 0.5*b54*b233 + 0.5*b54
*b240 + 0.5*b54*b246 + 0.5*b54*b257 + 0.5*b54*b259 + 0.5*b54*b264 + 0.5*
b54*b265 + 0.5*b54*b310 + 0.5*b54*b312 + 0.5*b54*b313 + 0.5*b54*b327 + 0.5
*b54*b330 + 0.5*b54*b332 + 0.5*b54*b335 + 0.5*b54*b345 + 0.5*b54*b347 +
0.5*b54*b348 + 0.5*b54*b352 + 0.5*b54*b354 + 0.5*b54*b358 + 0.5*b54*b360
+ 0.5*b54*b369 + 0.5*b54*b380 + 0.5*b54*b385 + 0.5*b54*b389 + 0.5*b54*
b392 + 0.5*b54*b394 + 0.5*b55*b56 + b55*b76 + 0.5*b55*b77 + 0.5*b55*b80 +
0.5*b55*b93 + 0.5*b55*b95 + b55*b96 + 0.5*b55*b97 + 0.5*b55*b98 + b55*b103
+ 0.5*b55*b170 + 0.5*b55*b171 + 0.5*b55*b195 + 0.5*b55*b196 + 0.5*b55*
b220 + 0.5*b55*b222 + 0.5*b55*b233 + 0.5*b55*b240 + 0.5*b55*b246 + 0.5*b55
*b257 + 0.5*b55*b259 + 0.5*b55*b264 + 0.5*b55*b265 + 0.5*b55*b310 + 0.5*
b55*b312 + 0.5*b55*b313 + 0.5*b55*b327 + 0.5*b55*b330 + 0.5*b55*b332 + 0.5
*b55*b335 + 0.5*b55*b345 + 0.5*b55*b347 + 0.5*b55*b348 + 0.5*b55*b352 +
0.5*b55*b354 + 0.5*b55*b358 + 0.5*b55*b360 + 0.5*b55*b380 + 0.5*b55*b385
+ 0.5*b55*b389 + 0.5*b55*b392 + 0.5*b55*b394 + 0.5*b56*b76 + 0.5*b56*b77
+ b56*b80 + 0.5*b56*b93 + b56*b95 + 0.5*b56*b96 + b56*b97 + 0.5*b56*b98
+ 0.5*b56*b103 + 0.5*b56*b170 + 0.5*b56*b171 + 0.5*b56*b195 + 0.5*b56*
b196 + 0.5*b56*b220 + 0.5*b56*b222 + 0.5*b56*b233 + 0.5*b56*b240 + 0.5*b56
*b246 + 0.5*b56*b257 + 0.5*b56*b259 + 0.5*b56*b264 + 0.5*b56*b265 + 0.5*
b56*b310 + 0.5*b56*b312 + 0.5*b56*b313 + 0.5*b56*b327 + 0.5*b56*b330 + 0.5
*b56*b332 + 0.5*b56*b335 + 0.5*b56*b345 + 0.5*b56*b347 + 0.5*b56*b348 +
0.5*b56*b352 + 0.5*b56*b354 + 0.5*b56*b358 + 0.5*b56*b360 + 0.5*b56*b380
+ 0.5*b56*b385 + 0.5*b56*b389 + 0.5*b56*b392 + 0.5*b56*b394 + b56*x475 +
0.5*b57*b58 + 0.5*b57*b59 + b57*b94 + b57*b99 + b57*b100 + 0.5*b57*b101 +
0.5*b57*b102 + 0.5*b57*b104 + 0.5*b57*b169 + 0.5*b57*b177 + 0.5*b57*b181
+ 0.5*b58*b59 + 0.5*b58*b78 + 0.5*b58*b91 + 0.5*b58*b94 + 0.5*b58*b99 +
0.5*b58*b100 + b58*b101 + b58*b102 + b58*b104 + 0.5*b58*b169 + 0.5*b58*
b177 + 0.5*b58*b181 + 0.5*b59*b79 + 0.5*b59*b81 + 0.5*b59*b92 + 0.5*b59*
b94 + 0.5*b59*b99 + 0.5*b59*b100 + 0.5*b59*b101 + 0.5*b59*b102 + 0.5*b59*
b104 + 0.5*b59*b105 + b59*b169 + b59*b177 + b59*b181 + b60*b61 + 0.5*b60*
b63 + 0.5*b60*b64 + 0.5*b60*b66 + b60*b71 + 0.5*b60*b72 + 0.5*b60*b74 +
0.5*b60*b75 + 0.5*b60*b186 + 0.5*b60*b192 + 0.5*b60*b193 + 0.5*b60*b197 +
0.5*b61*b63 + 0.5*b61*b64 + 0.5*b61*b66 + b61*b71 + 0.5*b61*b72 + 0.5*b61*
b74 + 0.5*b61*b75 + 0.5*b61*b186 + 0.5*b61*b192 + 0.5*b61*b193 + 0.5*b61*
b197 + 0.5*b62*b67 + 0.5*b62*b68 + 0.5*b62*b73 + 0.5*b62*b173 + 0.5*b62*
b238 + 0.5*b63*b64 + b63*b66 + 0.5*b63*b68 + 0.5*b63*b71 + 0.5*b63*b72 +
0.5*b63*b73 + 0.5*b63*b74 + 0.5*b63*b75 + 0.5*b63*b186 + 0.5*b63*b192 +
0.5*b63*b193 + 0.5*b63*b197 + 0.5*b64*b66 + 0.5*b64*b71 + b64*b72 + b64*
b74 + b64*b75 + 0.5*b64*b186 + 0.5*b64*b192 + 0.5*b64*b193 + 0.5*b64*b197
+ b64*x476 + b65*b69 + b65*b70 + 0.5*b65*b244 + 0.5*b65*b257 + 0.5*b65*
b332 + 0.5*b65*b354 + 0.5*b65*b358 + 0.5*b65*b419 + 0.5*b65*b458 + 0.5*b65
*b464 + 0.5*b66*b68 + 0.5*b66*b71 + 0.5*b66*b72 + 0.5*b66*b73 + 0.5*b66*
b74 + 0.5*b66*b75 + 0.5*b66*b186 + 0.5*b66*b192 + 0.5*b66*b193 + 0.5*b66*
b197 + 0.5*b67*b68 + 0.5*b67*b73 + b67*b173 + b67*b238 + b68*b73 + 0.5*b68
*b173 + 0.5*b68*b238 + b69*b70 + 0.5*b69*b244 + 0.5*b69*b257 + 0.5*b69*
b332 + 0.5*b69*b354 + 0.5*b69*b358 + 0.5*b69*b419 + 0.5*b69*b458 + 0.5*b69
*b464 + 0.5*b70*b244 + 0.5*b70*b257 + 0.5*b70*b332 + 0.5*b70*b354 + 0.5*
b70*b358 + 0.5*b70*b419 + 0.5*b70*b458 + 0.5*b70*b464 + 0.5*b71*b72 + 0.5*
b71*b74 + 0.5*b71*b75 + 0.5*b71*b186 + 0.5*b71*b192 + 0.5*b71*b193 + 0.5*
b71*b197 + b72*b74 + b72*b75 + 0.5*b72*b186 + 0.5*b72*b192 + 0.5*b72*b193
+ 0.5*b72*b197 + b72*x476 + 0.5*b73*b173 + 0.5*b73*b238 + b74*b75 + 0.5*
b74*b186 + 0.5*b74*b192 + 0.5*b74*b193 + 0.5*b74*b197 + b74*x476 + 0.5*b75
*b186 + 0.5*b75*b192 + 0.5*b75*b193 + 0.5*b75*b197 + b75*x476 + 0.5*b76*
b77 + 0.5*b76*b80 + 0.5*b76*b93 + 0.5*b76*b95 + b76*b96 + 0.5*b76*b97 +
0.5*b76*b98 + b76*b103 + 0.5*b76*b170 + 0.5*b76*b171 + 0.5*b76*b195 + 0.5*
b76*b196 + 0.5*b76*b220 + 0.5*b76*b222 + 0.5*b76*b233 + 0.5*b76*b240 + 0.5
*b76*b246 + 0.5*b76*b257 + 0.5*b76*b259 + 0.5*b76*b264 + 0.5*b76*b265 +
0.5*b76*b310 + 0.5*b76*b312 + 0.5*b76*b313 + 0.5*b76*b327 + 0.5*b76*b330
+ 0.5*b76*b332 + 0.5*b76*b335 + 0.5*b76*b345 + 0.5*b76*b347 + 0.5*b76*
b348 + 0.5*b76*b352 + 0.5*b76*b354 + 0.5*b76*b358 + 0.5*b76*b360 + 0.5*b76
*b380 + 0.5*b76*b385 + 0.5*b76*b389 + 0.5*b76*b392 + 0.5*b76*b394 + 0.5*
b77*b80 + b77*b93 + 0.5*b77*b95 + 0.5*b77*b96 + 0.5*b77*b97 + b77*b98 +
0.5*b77*b103 + 0.5*b77*b170 + 0.5*b77*b171 + 0.5*b77*b195 + 0.5*b77*b196
+ 0.5*b77*b220 + 0.5*b77*b222 + 0.5*b77*b233 + 0.5*b77*b240 + 0.5*b77*
b246 + 0.5*b77*b257 + 0.5*b77*b259 + 0.5*b77*b264 + 0.5*b77*b265 + 0.5*b77
*b310 + 0.5*b77*b312 + 0.5*b77*b313 + 0.5*b77*b327 + 0.5*b77*b330 + 0.5*
b77*b332 + 0.5*b77*b335 + 0.5*b77*b345 + 0.5*b77*b347 + 0.5*b77*b348 + 0.5
*b77*b352 + 0.5*b77*b354 + 0.5*b77*b358 + 0.5*b77*b360 + 0.5*b77*b369 +
0.5*b77*b380 + 0.5*b77*b385 + 0.5*b77*b389 + 0.5*b77*b392 + 0.5*b77*b394
+ 0.5*b78*b79 + 0.5*b78*b81 + b78*b91 + 0.5*b78*b92 + 0.5*b78*b101 + 0.5*
b78*b102 + 0.5*b78*b104 + 0.5*b78*b105 + b79*b81 + 0.5*b79*b91 + b79*b92
+ b79*b105 + 0.5*b79*b169 + 0.5*b79*b177 + 0.5*b79*b181 + 0.5*b80*b93 +
b80*b95 + 0.5*b80*b96 + b80*b97 + 0.5*b80*b98 + 0.5*b80*b103 + 0.5*b80*
b170 + 0.5*b80*b171 + 0.5*b80*b195 + 0.5*b80*b196 + 0.5*b80*b220 + 0.5*b80
*b222 + 0.5*b80*b233 + 0.5*b80*b240 + 0.5*b80*b246 + 0.5*b80*b257 + 0.5*
b80*b259 + 0.5*b80*b264 + 0.5*b80*b265 + 0.5*b80*b310 + 0.5*b80*b312 + 0.5
*b80*b313 + 0.5*b80*b327 + 0.5*b80*b330 + 0.5*b80*b332 + 0.5*b80*b335 +
0.5*b80*b345 + 0.5*b80*b347 + 0.5*b80*b348 + 0.5*b80*b352 + 0.5*b80*b354
+ 0.5*b80*b358 + 0.5*b80*b360 + 0.5*b80*b380 + 0.5*b80*b385 + 0.5*b80*
b389 + 0.5*b80*b392 + 0.5*b80*b394 + b80*x475 + 0.5*b81*b91 + b81*b92 +
b81*b105 + 0.5*b81*b169 + 0.5*b81*b177 + 0.5*b81*b181 + b82*b410 + b82*
b449 + b82*b466 + b82*b467 + b83*b408 + b83*b448 + b83*b454 + b83*b460 +
b83*b470 + b86*b403 + b86*b404 + b86*b428 + b86*b429 + b86*b433 + b86*b435
+ b86*b443 + b86*b465 + b87*b259 + b87*b335 + b87*b380 + b87*b385 + b88*
b217 + b88*b225 + b88*b231 + b88*b248 + b88*b263 + b88*b268 + b88*b304 +
b88*b324 + b88*b326 + b88*b329 + b88*b370 + b88*b384 + b89*b266 + b89*b272
+ b89*b283 + b89*b338 + b89*b369 + b90*b174 + b90*b176 + b90*b184 + b90*
b191 + b90*b209 + b90*b236 + b90*b237 + b90*b256 + b90*b276 + b90*b279 +
b90*b281 + b90*b294 + b90*b300 + b90*b303 + b90*b341 + b90*b344 + b90*b357
+ b90*b367 + b90*b372 + b90*b381 + b90*b383 + 0.5*b91*b92 + 0.5*b91*b101
+ 0.5*b91*b102 + 0.5*b91*b104 + 0.5*b91*b105 + b92*b105 + 0.5*b92*b169 +
0.5*b92*b177 + 0.5*b92*b181 + 0.5*b93*b95 + 0.5*b93*b96 + 0.5*b93*b97 +
b93*b98 + 0.5*b93*b103 + 0.5*b93*b170 + 0.5*b93*b171 + 0.5*b93*b195 + 0.5*
b93*b196 + 0.5*b93*b220 + 0.5*b93*b222 + 0.5*b93*b233 + 0.5*b93*b240 + 0.5
*b93*b246 + 0.5*b93*b257 + 0.5*b93*b259 + 0.5*b93*b264 + 0.5*b93*b265 +
0.5*b93*b310 + 0.5*b93*b312 + 0.5*b93*b313 + 0.5*b93*b327 + 0.5*b93*b330
+ 0.5*b93*b332 + 0.5*b93*b335 + 0.5*b93*b345 + 0.5*b93*b347 + 0.5*b93*
b348 + 0.5*b93*b352 + 0.5*b93*b354 + 0.5*b93*b358 + 0.5*b93*b360 + 0.5*b93
*b369 + 0.5*b93*b380 + 0.5*b93*b385 + 0.5*b93*b389 + 0.5*b93*b392 + 0.5*
b93*b394 + b94*b99 + b94*b100 + 0.5*b94*b101 + 0.5*b94*b102 + 0.5*b94*b104
+ 0.5*b94*b169 + 0.5*b94*b177 + 0.5*b94*b181 + 0.5*b95*b96 + b95*b97 +
0.5*b95*b98 + 0.5*b95*b103 + 0.5*b95*b170 + 0.5*b95*b171 + 0.5*b95*b195 +
0.5*b95*b196 + 0.5*b95*b220 + 0.5*b95*b222 + 0.5*b95*b233 + 0.5*b95*b240
+ 0.5*b95*b246 + 0.5*b95*b257 + 0.5*b95*b259 + 0.5*b95*b264 + 0.5*b95*
b265 + 0.5*b95*b310 + 0.5*b95*b312 + 0.5*b95*b313 + 0.5*b95*b327 + 0.5*b95
*b330 + 0.5*b95*b332 + 0.5*b95*b335 + 0.5*b95*b345 + 0.5*b95*b347 + 0.5*
b95*b348 + 0.5*b95*b352 + 0.5*b95*b354 + 0.5*b95*b358 + 0.5*b95*b360 + 0.5
*b95*b380 + 0.5*b95*b385 + 0.5*b95*b389 + 0.5*b95*b392 + 0.5*b95*b394 +
b95*x475 + 0.5*b96*b97 + 0.5*b96*b98 + b96*b103 + 0.5*b96*b170 + 0.5*b96*
b171 + 0.5*b96*b195 + 0.5*b96*b196 + 0.5*b96*b220 + 0.5*b96*b222 + 0.5*b96
*b233 + 0.5*b96*b240 + 0.5*b96*b246 + 0.5*b96*b257 + 0.5*b96*b259 + 0.5*
b96*b264 + 0.5*b96*b265 + 0.5*b96*b310 + 0.5*b96*b312 + 0.5*b96*b313 + 0.5
*b96*b327 + 0.5*b96*b330 + 0.5*b96*b332 + 0.5*b96*b335 + 0.5*b96*b345 +
0.5*b96*b347 + 0.5*b96*b348 + 0.5*b96*b352 + 0.5*b96*b354 + 0.5*b96*b358
+ 0.5*b96*b360 + 0.5*b96*b380 + 0.5*b96*b385 + 0.5*b96*b389 + 0.5*b96*
b392 + 0.5*b96*b394 + 0.5*b97*b98 + 0.5*b97*b103 + 0.5*b97*b170 + 0.5*b97*
b171 + 0.5*b97*b195 + 0.5*b97*b196 + 0.5*b97*b220 + 0.5*b97*b222 + 0.5*b97
*b233 + 0.5*b97*b240 + 0.5*b97*b246 + 0.5*b97*b257 + 0.5*b97*b259 + 0.5*
b97*b264 + 0.5*b97*b265 + 0.5*b97*b310 + 0.5*b97*b312 + 0.5*b97*b313 + 0.5
*b97*b327 + 0.5*b97*b330 + 0.5*b97*b332 + 0.5*b97*b335 + 0.5*b97*b345 +
0.5*b97*b347 + 0.5*b97*b348 + 0.5*b97*b352 + 0.5*b97*b354 + 0.5*b97*b358
+ 0.5*b97*b360 + 0.5*b97*b380 + 0.5*b97*b385 + 0.5*b97*b389 + 0.5*b97*
b392 + 0.5*b97*b394 + b97*x475 + 0.5*b98*b103 + 0.5*b98*b170 + 0.5*b98*
b171 + 0.5*b98*b195 + 0.5*b98*b196 + 0.5*b98*b220 + 0.5*b98*b222 + 0.5*b98
*b233 + 0.5*b98*b240 + 0.5*b98*b246 + 0.5*b98*b257 + 0.5*b98*b259 + 0.5*
b98*b264 + 0.5*b98*b265 + 0.5*b98*b310 + 0.5*b98*b312 + 0.5*b98*b313 + 0.5
*b98*b327 + 0.5*b98*b330 + 0.5*b98*b332 + 0.5*b98*b335 + 0.5*b98*b345 +
0.5*b98*b347 + 0.5*b98*b348 + 0.5*b98*b352 + 0.5*b98*b354 + 0.5*b98*b358
+ 0.5*b98*b360 + 0.5*b98*b369 + 0.5*b98*b380 + 0.5*b98*b385 + 0.5*b98*
b389 + 0.5*b98*b392 + 0.5*b98*b394 + b99*b100 + 0.5*b99*b101 + 0.5*b99*
b102 + 0.5*b99*b104 + 0.5*b99*b169 + 0.5*b99*b177 + 0.5*b99*b181 + 0.5*
b100*b101 + 0.5*b100*b102 + 0.5*b100*b104 + 0.5*b100*b169 + 0.5*b100*b177
+ 0.5*b100*b181 + b101*b102 + b101*b104 + 0.5*b101*b169 + 0.5*b101*b177
+ 0.5*b101*b181 + b102*b104 + 0.5*b102*b169 + 0.5*b102*b177 + 0.5*b102*
b181 + 0.5*b103*b170 + 0.5*b103*b171 + 0.5*b103*b195 + 0.5*b103*b196 + 0.5
*b103*b220 + 0.5*b103*b222 + 0.5*b103*b233 + 0.5*b103*b240 + 0.5*b103*b246
+ 0.5*b103*b257 + 0.5*b103*b259 + 0.5*b103*b264 + 0.5*b103*b265 + 0.5*
b103*b310 + 0.5*b103*b312 + 0.5*b103*b313 + 0.5*b103*b327 + 0.5*b103*b330
+ 0.5*b103*b332 + 0.5*b103*b335 + 0.5*b103*b345 + 0.5*b103*b347 + 0.5*
b103*b348 + 0.5*b103*b352 + 0.5*b103*b354 + 0.5*b103*b358 + 0.5*b103*b360
+ 0.5*b103*b380 + 0.5*b103*b385 + 0.5*b103*b389 + 0.5*b103*b392 + 0.5*
b103*b394 + 0.5*b104*b169 + 0.5*b104*b177 + 0.5*b104*b181 + 0.5*b105*b169
+ 0.5*b105*b177 + 0.5*b105*b181 + b106*b405 + b106*b416 + b106*b421 +
b106*b422 + b106*b425 + b106*b436 + b106*b438 + b106*b441 + b106*b454 +
b106*b455 + b106*b457 + b106*b469 + b106*b471 + b107*b214 + b107*b266 +
b107*b272 + b107*b283 + b107*b338 + b107*b373 + b108*b174 + b108*b175 +
b108*b176 + b108*b182 + b108*b183 + b108*b184 + b108*b185 + b108*b191 +
b108*b212 + b108*b229 + b108*b232 + b108*b242 + b108*b246 + b108*b252 +
b108*b255 + b108*b269 + b108*b270 + b108*b273 + b108*b290 + b108*b293 +
b108*b297 + b108*b299 + b108*b301 + b108*b305 + b108*b306 + b108*b307 +
b108*b323 + b108*b327 + b108*b328 + b108*b343 + b108*b346 + b108*b347 +
b108*b353 + b108*b359 + b108*b360 + b108*b362 + b108*b393 + b108*b396 +
b108*b397 + b108*b400 + b109*b401 + b109*b413 + b109*b424 + b109*b437 +
b109*b439 + b109*b450 + b109*b453 + b109*b463 + b111*b407 + b111*b409 +
b111*b415 + b111*b417 + b111*b426 + b111*b431 + b111*b440 + b111*b461 +
b112*b406 + b112*b407 + b112*b408 + b112*b409 + b112*b411 + b112*b412 +
b112*b413 + b112*b414 + b112*b415 + b112*b424 + b112*b427 + b112*b432 +
b112*b439 + b112*b445 + b112*b446 + b112*b447 + b112*b448 + b112*b450 +
b112*b456 + b112*b459 + b112*b460 + b112*b461 + b112*b462 + b112*b468 +
b112*b470 + b112*b472 + b112*b473 + b112*b474 + b114*b418 + b114*b420 +
b114*b422 + b114*b427 + b114*b430 + b114*b432 + b114*b436 + b114*b438 +
b114*b444 + b114*b455 + b114*b468 + b114*b472 + b115*b244 + b115*b249 +
b115*b273 + b115*b277 + b115*b284 + b115*b289 + b115*b301 + b115*b323 +
b115*b351 + b115*b365 + b115*b368 + b115*b374 + b115*b376 + b115*b390 +
b115*b396 + b117*b410 + b117*b411 + b117*b421 + b117*b425 + b117*b441 +
b117*b445 + b117*b446 + b117*b449 + b117*b457 + b117*b466 + b117*b467 +
b117*b474 + b118*b403 + b118*b404 + b118*b419 + b118*b428 + b118*b429 +
b118*b458 + b118*b464 + b119*b402 + b119*b405 + b119*b406 + b119*b416 +
b119*b423 + b119*b442 + b119*b452 + b119*b456 + b119*b459 + b119*b462 +
b119*b469 + b119*b471 + b120*b172 + b120*b178 + b120*b189 + b120*b190 +
b120*b210 + b120*b216 + b120*b220 + b120*b226 + b120*b227 + b120*b230 +
b120*b233 + b120*b234 + b120*b235 + b120*b239 + b120*b264 + b120*b265 +
b120*b275 + b120*b287 + b120*b292 + b120*b295 + b120*b351 + b120*b368 +
b120*b376 + b120*b390 + b120*b391 + b121*b211 + b121*b223 + b121*b250 +
b121*b258 + b121*b260 + b121*b261 + b121*b271 + b121*b314 + b121*b325 +
b121*b342 + b121*b349 + b121*b350 + b121*b355 + b121*b361 + b121*b386 +
b121*b399 + b122*b215 + b122*b228 + b122*b274 + b122*b291 + b122*b309 +
b122*b311 + b122*b316 + b122*b320 + b122*b333 + b122*b356 + b122*b377 +
b123*b213 + b123*b217 + b123*b228 + b123*b231 + b123*b247 + b123*b258 +
b123*b261 + b123*b286 + b123*b316 + b123*b317 + b123*b324 + b123*b325 +
b123*b333 + b123*b349 + b123*b356 + b123*b384 + b123*b387 + b123*b388 +
b124*b289 + b124*b312 + b124*b318 + b124*b330 + b124*b336 + b124*b339 +
b124*b348 + b124*b392 + b125*b215 + b125*b225 + b125*b236 + b125*b237 +
b125*b278 + b125*b303 + b125*b304 + b125*b311 + b125*b315 + b125*b319 +
b125*b321 + b125*b329 + b125*b357 + b125*b366 + b125*b370 + b126*b213 +
b126*b218 + b126*b219 + b126*b221 + b126*b224 + b126*b245 + b126*b247 +
b126*b251 + b126*b253 + b126*b254 + b126*b280 + b126*b282 + b126*b286 +
b126*b288 + b126*b315 + b126*b319 + b126*b321 + b126*b322 + b126*b331 +
b126*b363 + b126*b364 + b126*b366 + b126*b371 + b126*b375 + b126*b382 +
b126*b387 + b126*b395 + b126*b398 + b128*b218 + b128*b248 + b128*b263 +
b128*b276 + b128*b279 + b128*b281 + b128*b282 + b128*b381 + b128*b382 +
b128*b398 + b129*b175 + b129*b182 + b129*b183 + b129*b185 + b129*b241 +
b129*b243 + b129*b249 + b129*b267 + b129*b277 + b129*b298 + b129*b302 +
b129*b310 + b129*b334 + b129*b337 + b129*b345 + b129*b365 + b129*b374 +
b129*b378 + b129*b379 + b129*b389 + b129*b394 + b130*b172 + b130*b178 +
b130*b189 + b130*b190 + b130*b222 + b130*b240 + b130*b262 + b130*b284 +
b130*b285 + b130*b296 + b130*b313 + b130*b340 + b130*b352 + b169*b177 +
b169*b181 + b170*b171 + b170*b195 + b170*b196 + 0.5*b170*b220 + 0.5*b170*
b222 + 0.5*b170*b233 + 0.5*b170*b240 + 0.5*b170*b246 + 0.5*b170*b253 + 0.5
*b170*b257 + 0.5*b170*b259 + 0.5*b170*b262 + 0.5*b170*b264 + 0.5*b170*b265
+ 0.5*b170*b280 + 0.5*b170*b285 + 0.5*b170*b288 + 0.5*b170*b296 + 0.5*
b170*b310 + 0.5*b170*b312 + 0.5*b170*b313 + 0.5*b170*b322 + 0.5*b170*b327
+ 0.5*b170*b330 + 0.5*b170*b332 + 0.5*b170*b335 + 0.5*b170*b340 + 0.5*
b170*b344 + 0.5*b170*b345 + 0.5*b170*b347 + 0.5*b170*b348 + 0.5*b170*b352
+ 0.5*b170*b354 + 0.5*b170*b358 + 0.5*b170*b360 + 0.5*b170*b367 + 0.5*
b170*b372 + 0.5*b170*b380 + 0.5*b170*b383 + 0.5*b170*b385 + 0.5*b170*b389
+ 0.5*b170*b392 + 0.5*b170*b394 + b171*b195 + b171*b196 + 0.5*b171*b220
+ 0.5*b171*b222 + 0.5*b171*b233 + 0.5*b171*b240 + 0.5*b171*b246 + 0.5*
b171*b253 + 0.5*b171*b257 + 0.5*b171*b259 + 0.5*b171*b262 + 0.5*b171*b264
+ 0.5*b171*b265 + 0.5*b171*b280 + 0.5*b171*b285 + 0.5*b171*b288 + 0.5*
b171*b296 + 0.5*b171*b310 + 0.5*b171*b312 + 0.5*b171*b313 + 0.5*b171*b322
+ 0.5*b171*b327 + 0.5*b171*b330 + 0.5*b171*b332 + 0.5*b171*b335 + 0.5*
b171*b340 + 0.5*b171*b344 + 0.5*b171*b345 + 0.5*b171*b347 + 0.5*b171*b348
+ 0.5*b171*b352 + 0.5*b171*b354 + 0.5*b171*b358 + 0.5*b171*b360 + 0.5*
b171*b367 + 0.5*b171*b372 + 0.5*b171*b380 + 0.5*b171*b383 + 0.5*b171*b385
+ 0.5*b171*b389 + 0.5*b171*b392 + 0.5*b171*b394 + b172*b178 + b172*b189
+ b172*b190 + 0.5*b172*b210 + 0.5*b172*b216 + 0.5*b172*b220 + 0.5*b172*
b222 + 0.5*b172*b226 + 0.5*b172*b227 + 0.5*b172*b230 + 0.5*b172*b233 + 0.5
*b172*b234 + 0.5*b172*b235 + 0.5*b172*b239 + 0.5*b172*b240 + 0.5*b172*b262
+ 0.5*b172*b264 + 0.5*b172*b265 + 0.5*b172*b275 + 0.5*b172*b284 + 0.5*
b172*b285 + 0.5*b172*b287 + 0.5*b172*b292 + 0.5*b172*b295 + 0.5*b172*b296
+ 0.5*b172*b313 + 0.5*b172*b340 + 0.5*b172*b351 + 0.5*b172*b352 + 0.5*
b172*b368 + 0.5*b172*b376 + 0.5*b172*b390 + 0.5*b172*b391 + b173*b238 +
0.5*b174*b175 + b174*b176 + 0.5*b174*b182 + 0.5*b174*b183 + b174*b184 +
0.5*b174*b185 + b174*b191 + 0.5*b174*b209 + 0.5*b174*b212 + 0.5*b174*b229
+ 0.5*b174*b232 + 0.5*b174*b236 + 0.5*b174*b237 + 0.5*b174*b242 + 0.5*
b174*b246 + 0.5*b174*b252 + 0.5*b174*b255 + 0.5*b174*b256 + 0.5*b174*b269
+ 0.5*b174*b270 + 0.5*b174*b273 + 0.5*b174*b276 + 0.5*b174*b279 + 0.5*
b174*b281 + 0.5*b174*b290 + 0.5*b174*b293 + 0.5*b174*b294 + 0.5*b174*b297
+ 0.5*b174*b299 + 0.5*b174*b300 + 0.5*b174*b301 + 0.5*b174*b303 + 0.5*
b174*b305 + 0.5*b174*b306 + 0.5*b174*b307 + 0.5*b174*b323 + 0.5*b174*b327
+ 0.5*b174*b328 + 0.5*b174*b341 + 0.5*b174*b343 + 0.5*b174*b344 + 0.5*
b174*b346 + 0.5*b174*b347 + 0.5*b174*b353 + 0.5*b174*b357 + 0.5*b174*b359
+ 0.5*b174*b360 + 0.5*b174*b362 + 0.5*b174*b367 + 0.5*b174*b372 + 0.5*
b174*b381 + 0.5*b174*b383 + 0.5*b174*b393 + 0.5*b174*b396 + 0.5*b174*b397
+ 0.5*b174*b400 + 0.5*b175*b176 + b175*b182 + b175*b183 + 0.5*b175*b184
+ b175*b185 + 0.5*b175*b191 + 0.5*b175*b212 + 0.5*b175*b229 + 0.5*b175*
b232 + 0.5*b175*b241 + 0.5*b175*b242 + 0.5*b175*b243 + 0.5*b175*b246 + 0.5
*b175*b249 + 0.5*b175*b252 + 0.5*b175*b255 + 0.5*b175*b267 + 0.5*b175*b269
+ 0.5*b175*b270 + 0.5*b175*b273 + 0.5*b175*b277 + 0.5*b175*b290 + 0.5*
b175*b293 + 0.5*b175*b297 + 0.5*b175*b298 + 0.5*b175*b299 + 0.5*b175*b301
+ 0.5*b175*b302 + 0.5*b175*b305 + 0.5*b175*b306 + 0.5*b175*b307 + 0.5*
b175*b310 + 0.5*b175*b323 + 0.5*b175*b327 + 0.5*b175*b328 + 0.5*b175*b334
+ 0.5*b175*b337 + 0.5*b175*b343 + 0.5*b175*b345 + 0.5*b175*b346 + 0.5*
b175*b347 + 0.5*b175*b353 + 0.5*b175*b359 + 0.5*b175*b360 + 0.5*b175*b362
+ 0.5*b175*b365 + 0.5*b175*b374 + 0.5*b175*b378 + 0.5*b175*b379 + 0.5*
b175*b389 + 0.5*b175*b393 + 0.5*b175*b394 + 0.5*b175*b396 + 0.5*b175*b397
+ 0.5*b175*b400 + 0.5*b176*b182 + 0.5*b176*b183 + b176*b184 + 0.5*b176*
b185 + b176*b191 + 0.5*b176*b209 + 0.5*b176*b212 + 0.5*b176*b229 + 0.5*
b176*b232 + 0.5*b176*b236 + 0.5*b176*b237 + 0.5*b176*b242 + 0.5*b176*b246
+ 0.5*b176*b252 + 0.5*b176*b255 + 0.5*b176*b256 + 0.5*b176*b269 + 0.5*
b176*b270 + 0.5*b176*b273 + 0.5*b176*b276 + 0.5*b176*b279 + 0.5*b176*b281
+ 0.5*b176*b290 + 0.5*b176*b293 + 0.5*b176*b294 + 0.5*b176*b297 + 0.5*
b176*b299 + 0.5*b176*b300 + 0.5*b176*b301 + 0.5*b176*b303 + 0.5*b176*b305
+ 0.5*b176*b306 + 0.5*b176*b307 + 0.5*b176*b323 + 0.5*b176*b327 + 0.5*
b176*b328 + 0.5*b176*b341 + 0.5*b176*b343 + 0.5*b176*b344 + 0.5*b176*b346
+ 0.5*b176*b347 + 0.5*b176*b353 + 0.5*b176*b357 + 0.5*b176*b359 + 0.5*
b176*b360 + 0.5*b176*b362 + 0.5*b176*b367 + 0.5*b176*b372 + 0.5*b176*b381
+ 0.5*b176*b383 + 0.5*b176*b393 + 0.5*b176*b396 + 0.5*b176*b397 + 0.5*
b176*b400 + b177*b181 + b178*b189 + b178*b190 + 0.5*b178*b210 + 0.5*b178*
b216 + 0.5*b178*b220 + 0.5*b178*b222 + 0.5*b178*b226 + 0.5*b178*b227 + 0.5
*b178*b230 + 0.5*b178*b233 + 0.5*b178*b234 + 0.5*b178*b235 + 0.5*b178*b239
+ 0.5*b178*b240 + 0.5*b178*b262 + 0.5*b178*b264 + 0.5*b178*b265 + 0.5*
b178*b275 + 0.5*b178*b284 + 0.5*b178*b285 + 0.5*b178*b287 + 0.5*b178*b292
+ 0.5*b178*b295 + 0.5*b178*b296 + 0.5*b178*b313 + 0.5*b178*b340 + 0.5*
b178*b351 + 0.5*b178*b352 + 0.5*b178*b368 + 0.5*b178*b376 + 0.5*b178*b390
+ 0.5*b178*b391 + b179*b187 + b180*b188 + b180*b194 + b182*b183 + 0.5*
b182*b184 + b182*b185 + 0.5*b182*b191 + 0.5*b182*b212 + 0.5*b182*b229 +
0.5*b182*b232 + 0.5*b182*b241 + 0.5*b182*b242 + 0.5*b182*b243 + 0.5*b182*
b246 + 0.5*b182*b249 + 0.5*b182*b252 + 0.5*b182*b255 + 0.5*b182*b267 + 0.5
*b182*b269 + 0.5*b182*b270 + 0.5*b182*b273 + 0.5*b182*b277 + 0.5*b182*b290
+ 0.5*b182*b293 + 0.5*b182*b297 + 0.5*b182*b298 + 0.5*b182*b299 + 0.5*
b182*b301 + 0.5*b182*b302 + 0.5*b182*b305 + 0.5*b182*b306 + 0.5*b182*b307
+ 0.5*b182*b310 + 0.5*b182*b323 + 0.5*b182*b327 + 0.5*b182*b328 + 0.5*
b182*b334 + 0.5*b182*b337 + 0.5*b182*b343 + 0.5*b182*b345 + 0.5*b182*b346
+ 0.5*b182*b347 + 0.5*b182*b353 + 0.5*b182*b359 + 0.5*b182*b360 + 0.5*
b182*b362 + 0.5*b182*b365 + 0.5*b182*b374 + 0.5*b182*b378 + 0.5*b182*b379
+ 0.5*b182*b389 + 0.5*b182*b393 + 0.5*b182*b394 + 0.5*b182*b396 + 0.5*
b182*b397 + 0.5*b182*b400 + 0.5*b183*b184 + b183*b185 + 0.5*b183*b191 +
0.5*b183*b212 + 0.5*b183*b229 + 0.5*b183*b232 + 0.5*b183*b241 + 0.5*b183*
b242 + 0.5*b183*b243 + 0.5*b183*b246 + 0.5*b183*b249 + 0.5*b183*b252 + 0.5
*b183*b255 + 0.5*b183*b267 + 0.5*b183*b269 + 0.5*b183*b270 + 0.5*b183*b273
+ 0.5*b183*b277 + 0.5*b183*b290 + 0.5*b183*b293 + 0.5*b183*b297 + 0.5*
b183*b298 + 0.5*b183*b299 + 0.5*b183*b301 + 0.5*b183*b302 + 0.5*b183*b305
+ 0.5*b183*b306 + 0.5*b183*b307 + 0.5*b183*b310 + 0.5*b183*b323 + 0.5*
b183*b327 + 0.5*b183*b328 + 0.5*b183*b334 + 0.5*b183*b337 + 0.5*b183*b343
+ 0.5*b183*b345 + 0.5*b183*b346 + 0.5*b183*b347 + 0.5*b183*b353 + 0.5*
b183*b359 + 0.5*b183*b360 + 0.5*b183*b362 + 0.5*b183*b365 + 0.5*b183*b374
+ 0.5*b183*b378 + 0.5*b183*b379 + 0.5*b183*b389 + 0.5*b183*b393 + 0.5*
b183*b394 + 0.5*b183*b396 + 0.5*b183*b397 + 0.5*b183*b400 + 0.5*b184*b185
+ b184*b191 + 0.5*b184*b209 + 0.5*b184*b212 + 0.5*b184*b229 + 0.5*b184*
b232 + 0.5*b184*b236 + 0.5*b184*b237 + 0.5*b184*b242 + 0.5*b184*b246 + 0.5
*b184*b252 + 0.5*b184*b255 + 0.5*b184*b256 + 0.5*b184*b269 + 0.5*b184*b270
+ 0.5*b184*b273 + 0.5*b184*b276 + 0.5*b184*b279 + 0.5*b184*b281 + 0.5*
b184*b290 + 0.5*b184*b293 + 0.5*b184*b294 + 0.5*b184*b297 + 0.5*b184*b299
+ 0.5*b184*b300 + 0.5*b184*b301 + 0.5*b184*b303 + 0.5*b184*b305 + 0.5*
b184*b306 + 0.5*b184*b307 + 0.5*b184*b323 + 0.5*b184*b327 + 0.5*b184*b328
+ 0.5*b184*b341 + 0.5*b184*b343 + 0.5*b184*b344 + 0.5*b184*b346 + 0.5*
b184*b347 + 0.5*b184*b353 + 0.5*b184*b357 + 0.5*b184*b359 + 0.5*b184*b360
+ 0.5*b184*b362 + 0.5*b184*b367 + 0.5*b184*b372 + 0.5*b184*b381 + 0.5*
b184*b383 + 0.5*b184*b393 + 0.5*b184*b396 + 0.5*b184*b397 + 0.5*b184*b400
+ 0.5*b185*b191 + 0.5*b185*b212 + 0.5*b185*b229 + 0.5*b185*b232 + 0.5*
b185*b241 + 0.5*b185*b242 + 0.5*b185*b243 + 0.5*b185*b246 + 0.5*b185*b249
+ 0.5*b185*b252 + 0.5*b185*b255 + 0.5*b185*b267 + 0.5*b185*b269 + 0.5*
b185*b270 + 0.5*b185*b273 + 0.5*b185*b277 + 0.5*b185*b290 + 0.5*b185*b293
+ 0.5*b185*b297 + 0.5*b185*b298 + 0.5*b185*b299 + 0.5*b185*b301 + 0.5*
b185*b302 + 0.5*b185*b305 + 0.5*b185*b306 + 0.5*b185*b307 + 0.5*b185*b310
+ 0.5*b185*b323 + 0.5*b185*b327 + 0.5*b185*b328 + 0.5*b185*b334 + 0.5*
b185*b337 + 0.5*b185*b343 + 0.5*b185*b345 + 0.5*b185*b346 + 0.5*b185*b347
+ 0.5*b185*b353 + 0.5*b185*b359 + 0.5*b185*b360 + 0.5*b185*b362 + 0.5*
b185*b365 + 0.5*b185*b374 + 0.5*b185*b378 + 0.5*b185*b379 + 0.5*b185*b389
+ 0.5*b185*b393 + 0.5*b185*b394 + 0.5*b185*b396 + 0.5*b185*b397 + 0.5*
b185*b400 + b186*b192 + b186*b193 + b186*b197 + b188*b194 + b189*b190 +
0.5*b189*b210 + 0.5*b189*b216 + 0.5*b189*b220 + 0.5*b189*b222 + 0.5*b189*
b226 + 0.5*b189*b227 + 0.5*b189*b230 + 0.5*b189*b233 + 0.5*b189*b234 + 0.5
*b189*b235 + 0.5*b189*b239 + 0.5*b189*b240 + 0.5*b189*b262 + 0.5*b189*b264
+ 0.5*b189*b265 + 0.5*b189*b275 + 0.5*b189*b284 + 0.5*b189*b285 + 0.5*
b189*b287 + 0.5*b189*b292 + 0.5*b189*b295 + 0.5*b189*b296 + 0.5*b189*b313
+ 0.5*b189*b340 + 0.5*b189*b351 + 0.5*b189*b352 + 0.5*b189*b368 + 0.5*
b189*b376 + 0.5*b189*b390 + 0.5*b189*b391 + 0.5*b190*b210 + 0.5*b190*b216
+ 0.5*b190*b220 + 0.5*b190*b222 + 0.5*b190*b226 + 0.5*b190*b227 + 0.5*
b190*b230 + 0.5*b190*b233 + 0.5*b190*b234 + 0.5*b190*b235 + 0.5*b190*b239
+ 0.5*b190*b240 + 0.5*b190*b262 + 0.5*b190*b264 + 0.5*b190*b265 + 0.5*
b190*b275 + 0.5*b190*b284 + 0.5*b190*b285 + 0.5*b190*b287 + 0.5*b190*b292
+ 0.5*b190*b295 + 0.5*b190*b296 + 0.5*b190*b313 + 0.5*b190*b340 + 0.5*
b190*b351 + 0.5*b190*b352 + 0.5*b190*b368 + 0.5*b190*b376 + 0.5*b190*b390
+ 0.5*b190*b391 + 0.5*b191*b209 + 0.5*b191*b212 + 0.5*b191*b229 + 0.5*
b191*b232 + 0.5*b191*b236 + 0.5*b191*b237 + 0.5*b191*b242 + 0.5*b191*b246
+ 0.5*b191*b252 + 0.5*b191*b255 + 0.5*b191*b256 + 0.5*b191*b269 + 0.5*
b191*b270 + 0.5*b191*b273 + 0.5*b191*b276 + 0.5*b191*b279 + 0.5*b191*b281
+ 0.5*b191*b290 + 0.5*b191*b293 + 0.5*b191*b294 + 0.5*b191*b297 + 0.5*
b191*b299 + 0.5*b191*b300 + 0.5*b191*b301 + 0.5*b191*b303 + 0.5*b191*b305
+ 0.5*b191*b306 + 0.5*b191*b307 + 0.5*b191*b323 + 0.5*b191*b327 + 0.5*
b191*b328 + 0.5*b191*b341 + 0.5*b191*b343 + 0.5*b191*b344 + 0.5*b191*b346
+ 0.5*b191*b347 + 0.5*b191*b353 + 0.5*b191*b357 + 0.5*b191*b359 + 0.5*
b191*b360 + 0.5*b191*b362 + 0.5*b191*b367 + 0.5*b191*b372 + 0.5*b191*b381
+ 0.5*b191*b383 + 0.5*b191*b393 + 0.5*b191*b396 + 0.5*b191*b397 + 0.5*
b191*b400 + b192*b193 + b192*b197 + b193*b197 + b195*b196 + 0.5*b195*b220
+ 0.5*b195*b222 + 0.5*b195*b233 + 0.5*b195*b240 + 0.5*b195*b246 + 0.5*
b195*b253 + 0.5*b195*b257 + 0.5*b195*b259 + 0.5*b195*b262 + 0.5*b195*b264
+ 0.5*b195*b265 + 0.5*b195*b280 + 0.5*b195*b285 + 0.5*b195*b288 + 0.5*
b195*b296 + 0.5*b195*b310 + 0.5*b195*b312 + 0.5*b195*b313 + 0.5*b195*b322
+ 0.5*b195*b327 + 0.5*b195*b330 + 0.5*b195*b332 + 0.5*b195*b335 + 0.5*
b195*b340 + 0.5*b195*b344 + 0.5*b195*b345 + 0.5*b195*b347 + 0.5*b195*b348
+ 0.5*b195*b352 + 0.5*b195*b354 + 0.5*b195*b358 + 0.5*b195*b360 + 0.5*
b195*b367 + 0.5*b195*b372 + 0.5*b195*b380 + 0.5*b195*b383 + 0.5*b195*b385
+ 0.5*b195*b389 + 0.5*b195*b392 + 0.5*b195*b394 + 0.5*b196*b220 + 0.5*
b196*b222 + 0.5*b196*b233 + 0.5*b196*b240 + 0.5*b196*b246 + 0.5*b196*b253
+ 0.5*b196*b257 + 0.5*b196*b259 + 0.5*b196*b262 + 0.5*b196*b264 + 0.5*
b196*b265 + 0.5*b196*b280 + 0.5*b196*b285 + 0.5*b196*b288 + 0.5*b196*b296
+ 0.5*b196*b310 + 0.5*b196*b312 + 0.5*b196*b313 + 0.5*b196*b322 + 0.5*
b196*b327 + 0.5*b196*b330 + 0.5*b196*b332 + 0.5*b196*b335 + 0.5*b196*b340
+ 0.5*b196*b344 + 0.5*b196*b345 + 0.5*b196*b347 + 0.5*b196*b348 + 0.5*
b196*b352 + 0.5*b196*b354 + 0.5*b196*b358 + 0.5*b196*b360 + 0.5*b196*b367
+ 0.5*b196*b372 + 0.5*b196*b380 + 0.5*b196*b383 + 0.5*b196*b385 + 0.5*
b196*b389 + 0.5*b196*b392 + 0.5*b196*b394 + 0.5*b209*b236 + 0.5*b209*b237
+ 0.5*b209*b241 + 0.5*b209*b243 + 0.5*b209*b254 + b209*b256 + 0.5*b209*
b276 + 0.5*b209*b279 + 0.5*b209*b281 + b209*b294 + b209*b300 + 0.5*b209*
b303 + 0.5*b209*b318 + 0.5*b209*b334 + 0.5*b209*b337 + 0.5*b209*b341 + 0.5
*b209*b344 + 0.5*b209*b357 + 0.5*b209*b363 + 0.5*b209*b367 + 0.5*b209*b371
+ 0.5*b209*b372 + 0.5*b209*b375 + 0.5*b209*b381 + 0.5*b209*b383 + 0.5*
b210*b216 + 0.5*b210*b220 + 0.5*b210*b226 + 0.5*b210*b227 + 0.5*b210*b230
+ 0.5*b210*b232 + 0.5*b210*b233 + 0.5*b210*b234 + 0.5*b210*b235 + 0.5*
b210*b239 + 0.5*b210*b242 + 0.5*b210*b264 + 0.5*b210*b265 + 0.5*b210*b270
+ 0.5*b210*b275 + b210*b287 + 0.5*b210*b292 + 0.5*b210*b295 + 0.5*b210*
b346 + 0.5*b210*b351 + 0.5*b210*b368 + 0.5*b210*b376 + 0.5*b210*b390 + 0.5
*b210*b391 + b210*x477 + 0.5*b211*b214 + b211*b223 + 0.5*b211*b250 + 0.5*
b211*b258 + 0.5*b211*b260 + 0.5*b211*b261 + 0.5*b211*b271 + 0.5*b211*b314
+ 0.5*b211*b325 + b211*b342 + 0.5*b211*b349 + 0.5*b211*b350 + b211*b355
+ 0.5*b211*b361 + 0.5*b211*b386 + 0.5*b211*b399 + b212*b229 + 0.5*b212*
b230 + 0.5*b212*b232 + 0.5*b212*b235 + 0.5*b212*b242 + 0.5*b212*b246 + 0.5
*b212*b252 + b212*b255 + 0.5*b212*b269 + 0.5*b212*b270 + 0.5*b212*b273 +
b212*b290 + 0.5*b212*b292 + 0.5*b212*b293 + 0.5*b212*b297 + 0.5*b212*b299
+ 0.5*b212*b301 + 0.5*b212*b305 + 0.5*b212*b306 + 0.5*b212*b307 + 0.5*
b212*b323 + 0.5*b212*b327 + 0.5*b212*b328 + 0.5*b212*b343 + 0.5*b212*b346
+ 0.5*b212*b347 + 0.5*b212*b353 + 0.5*b212*b359 + 0.5*b212*b360 + 0.5*
b212*b362 + 0.5*b212*b393 + 0.5*b212*b396 + 0.5*b212*b397 + 0.5*b212*b400
+ b212*x478 + 0.5*b213*b217 + 0.5*b213*b218 + 0.5*b213*b219 + 0.5*b213*
b221 + 0.5*b213*b224 + 0.5*b213*b228 + 0.5*b213*b231 + 0.5*b213*b245 +
b213*b247 + 0.5*b213*b251 + 0.5*b213*b253 + 0.5*b213*b254 + 0.5*b213*b258
+ 0.5*b213*b261 + 0.5*b213*b280 + 0.5*b213*b282 + b213*b286 + 0.5*b213*
b288 + 0.5*b213*b315 + 0.5*b213*b316 + 0.5*b213*b317 + 0.5*b213*b319 + 0.5
*b213*b321 + 0.5*b213*b322 + 0.5*b213*b324 + 0.5*b213*b325 + 0.5*b213*b331
+ 0.5*b213*b333 + 0.5*b213*b349 + 0.5*b213*b356 + 0.5*b213*b363 + 0.5*
b213*b364 + 0.5*b213*b366 + 0.5*b213*b371 + 0.5*b213*b375 + 0.5*b213*b382
+ 0.5*b213*b384 + b213*b387 + 0.5*b213*b388 + 0.5*b213*b395 + 0.5*b213*
b398 + 0.5*b214*b223 + 0.5*b214*b266 + 0.5*b214*b272 + 0.5*b214*b283 + 0.5
*b214*b338 + 0.5*b214*b342 + 0.5*b214*b355 + 0.5*b214*b373 + 0.5*b215*b225
+ 0.5*b215*b228 + 0.5*b215*b236 + 0.5*b215*b237 + 0.5*b215*b274 + 0.5*
b215*b278 + 0.5*b215*b291 + 0.5*b215*b303 + 0.5*b215*b304 + 0.5*b215*b309
+ b215*b311 + 0.5*b215*b315 + 0.5*b215*b316 + 0.5*b215*b319 + 0.5*b215*
b320 + 0.5*b215*b321 + 0.5*b215*b329 + 0.5*b215*b333 + 0.5*b215*b356 + 0.5
*b215*b357 + 0.5*b215*b366 + 0.5*b215*b370 + 0.5*b215*b377 + 0.5*b216*b220
+ 0.5*b216*b226 + b216*b227 + 0.5*b216*b230 + 0.5*b216*b233 + 0.5*b216*
b234 + 0.5*b216*b235 + 0.5*b216*b239 + 0.5*b216*b264 + 0.5*b216*b265 +
b216*b275 + 0.5*b216*b287 + 0.5*b216*b292 + b216*b295 + 0.5*b216*b351 +
0.5*b216*b368 + 0.5*b216*b376 + 0.5*b216*b390 + 0.5*b216*b391 + b216*x479
+ 0.5*b217*b225 + 0.5*b217*b228 + b217*b231 + 0.5*b217*b247 + 0.5*b217*
b248 + 0.5*b217*b258 + 0.5*b217*b261 + 0.5*b217*b263 + 0.5*b217*b268 + 0.5
*b217*b286 + 0.5*b217*b304 + 0.5*b217*b316 + 0.5*b217*b317 + b217*b324 +
0.5*b217*b325 + 0.5*b217*b326 + 0.5*b217*b329 + 0.5*b217*b333 + 0.5*b217*
b349 + 0.5*b217*b356 + 0.5*b217*b370 + b217*b384 + 0.5*b217*b387 + 0.5*
b217*b388 + 0.5*b218*b219 + 0.5*b218*b221 + 0.5*b218*b224 + 0.5*b218*b245
+ 0.5*b218*b247 + 0.5*b218*b248 + 0.5*b218*b251 + 0.5*b218*b253 + 0.5*
b218*b254 + 0.5*b218*b263 + 0.5*b218*b276 + 0.5*b218*b279 + 0.5*b218*b280
+ 0.5*b218*b281 + b218*b282 + 0.5*b218*b286 + 0.5*b218*b288 + 0.5*b218*
b315 + 0.5*b218*b319 + 0.5*b218*b321 + 0.5*b218*b322 + 0.5*b218*b331 + 0.5
*b218*b363 + 0.5*b218*b364 + 0.5*b218*b366 + 0.5*b218*b371 + 0.5*b218*b375
+ 0.5*b218*b381 + b218*b382 + 0.5*b218*b387 + 0.5*b218*b395 + b218*b398
+ 0.5*b219*b221 + b219*b224 + 0.5*b219*b245 + 0.5*b219*b247 + 0.5*b219*
b251 + 0.5*b219*b253 + 0.5*b219*b254 + 0.5*b219*b280 + 0.5*b219*b282 + 0.5
*b219*b286 + 0.5*b219*b288 + 0.5*b219*b315 + 0.5*b219*b319 + 0.5*b219*b321
+ 0.5*b219*b322 + b219*b331 + 0.5*b219*b341 + 0.5*b219*b363 + 0.5*b219*
b364 + 0.5*b219*b366 + 0.5*b219*b371 + 0.5*b219*b375 + 0.5*b219*b382 + 0.5
*b219*b387 + b219*b395 + 0.5*b219*b398 + b219*x480 + 0.5*b220*b222 + 0.5*
b220*b226 + 0.5*b220*b227 + 0.5*b220*b230 + b220*b233 + 0.5*b220*b234 +
0.5*b220*b235 + 0.5*b220*b239 + 0.5*b220*b240 + 0.5*b220*b246 + 0.5*b220*
b257 + 0.5*b220*b259 + b220*b264 + b220*b265 + 0.5*b220*b275 + 0.5*b220*
b287 + 0.5*b220*b292 + 0.5*b220*b295 + 0.5*b220*b310 + 0.5*b220*b312 + 0.5
*b220*b313 + 0.5*b220*b327 + 0.5*b220*b330 + 0.5*b220*b332 + 0.5*b220*b335
+ 0.5*b220*b345 + 0.5*b220*b347 + 0.5*b220*b348 + 0.5*b220*b351 + 0.5*
b220*b352 + 0.5*b220*b354 + 0.5*b220*b358 + 0.5*b220*b360 + 0.5*b220*b368
+ 0.5*b220*b376 + 0.5*b220*b380 + 0.5*b220*b385 + 0.5*b220*b389 + 0.5*
b220*b390 + 0.5*b220*b391 + 0.5*b220*b392 + 0.5*b220*b394 + 0.5*b221*b224
+ b221*b245 + 0.5*b221*b247 + 0.5*b221*b250 + b221*b251 + 0.5*b221*b253
+ 0.5*b221*b254 + 0.5*b221*b260 + 0.5*b221*b268 + 0.5*b221*b271 + 0.5*
b221*b280 + 0.5*b221*b282 + 0.5*b221*b286 + 0.5*b221*b288 + 0.5*b221*b291
+ 0.5*b221*b308 + 0.5*b221*b309 + 0.5*b221*b315 + 0.5*b221*b319 + 0.5*
b221*b320 + 0.5*b221*b321 + 0.5*b221*b322 + 0.5*b221*b326 + 0.5*b221*b331
+ 0.5*b221*b363 + b221*b364 + 0.5*b221*b366 + 0.5*b221*b371 + 0.5*b221*
b375 + 0.5*b221*b377 + 0.5*b221*b382 + 0.5*b221*b386 + 0.5*b221*b387 + 0.5
*b221*b395 + 0.5*b221*b398 + 0.5*b222*b233 + b222*b240 + 0.5*b222*b246 +
0.5*b222*b257 + 0.5*b222*b259 + 0.5*b222*b262 + 0.5*b222*b264 + 0.5*b222*
b265 + 0.5*b222*b284 + 0.5*b222*b285 + 0.5*b222*b296 + 0.5*b222*b310 + 0.5
*b222*b312 + b222*b313 + 0.5*b222*b327 + 0.5*b222*b330 + 0.5*b222*b332 +
0.5*b222*b335 + 0.5*b222*b340 + 0.5*b222*b345 + 0.5*b222*b347 + 0.5*b222*
b348 + b222*b352 + 0.5*b222*b354 + 0.5*b222*b358 + 0.5*b222*b360 + 0.5*
b222*b380 + 0.5*b222*b385 + 0.5*b222*b389 + 0.5*b222*b392 + 0.5*b222*b394
+ 0.5*b223*b250 + 0.5*b223*b258 + 0.5*b223*b260 + 0.5*b223*b261 + 0.5*
b223*b271 + 0.5*b223*b314 + 0.5*b223*b325 + b223*b342 + 0.5*b223*b349 +
0.5*b223*b350 + b223*b355 + 0.5*b223*b361 + 0.5*b223*b386 + 0.5*b223*b399
+ 0.5*b224*b245 + 0.5*b224*b247 + 0.5*b224*b251 + 0.5*b224*b253 + 0.5*
b224*b254 + 0.5*b224*b280 + 0.5*b224*b282 + 0.5*b224*b286 + 0.5*b224*b288
+ 0.5*b224*b315 + 0.5*b224*b319 + 0.5*b224*b321 + 0.5*b224*b322 + b224*
b331 + 0.5*b224*b341 + 0.5*b224*b363 + 0.5*b224*b364 + 0.5*b224*b366 + 0.5
*b224*b371 + 0.5*b224*b375 + 0.5*b224*b382 + 0.5*b224*b387 + b224*b395 +
0.5*b224*b398 + b224*x480 + 0.5*b225*b231 + 0.5*b225*b236 + 0.5*b225*b237
+ 0.5*b225*b248 + 0.5*b225*b263 + 0.5*b225*b268 + 0.5*b225*b278 + 0.5*
b225*b303 + b225*b304 + 0.5*b225*b311 + 0.5*b225*b315 + 0.5*b225*b319 +
0.5*b225*b321 + 0.5*b225*b324 + 0.5*b225*b326 + b225*b329 + 0.5*b225*b357
+ 0.5*b225*b366 + b225*b370 + 0.5*b225*b384 + 0.5*b226*b227 + 0.5*b226*
b230 + 0.5*b226*b233 + b226*b234 + 0.5*b226*b235 + b226*b239 + 0.5*b226*
b264 + 0.5*b226*b265 + 0.5*b226*b267 + 0.5*b226*b269 + 0.5*b226*b275 + 0.5
*b226*b287 + 0.5*b226*b292 + 0.5*b226*b295 + 0.5*b226*b298 + 0.5*b226*b336
+ 0.5*b226*b339 + 0.5*b226*b351 + 0.5*b226*b353 + 0.5*b226*b359 + 0.5*
b226*b362 + 0.5*b226*b368 + 0.5*b226*b376 + 0.5*b226*b378 + 0.5*b226*b379
+ 0.5*b226*b390 + b226*b391 + b226*x481 + 0.5*b227*b230 + 0.5*b227*b233
+ 0.5*b227*b234 + 0.5*b227*b235 + 0.5*b227*b239 + 0.5*b227*b264 + 0.5*
b227*b265 + b227*b275 + 0.5*b227*b287 + 0.5*b227*b292 + b227*b295 + 0.5*
b227*b351 + 0.5*b227*b368 + 0.5*b227*b376 + 0.5*b227*b390 + 0.5*b227*b391
+ b227*x479 + 0.5*b228*b231 + 0.5*b228*b247 + 0.5*b228*b258 + 0.5*b228*
b261 + 0.5*b228*b274 + 0.5*b228*b286 + 0.5*b228*b291 + 0.5*b228*b309 + 0.5
*b228*b311 + b228*b316 + 0.5*b228*b317 + 0.5*b228*b320 + 0.5*b228*b324 +
0.5*b228*b325 + b228*b333 + 0.5*b228*b349 + b228*b356 + 0.5*b228*b377 +
0.5*b228*b384 + 0.5*b228*b387 + 0.5*b228*b388 + 0.5*b229*b230 + 0.5*b229*
b232 + 0.5*b229*b235 + 0.5*b229*b242 + 0.5*b229*b246 + 0.5*b229*b252 +
b229*b255 + 0.5*b229*b269 + 0.5*b229*b270 + 0.5*b229*b273 + b229*b290 +
0.5*b229*b292 + 0.5*b229*b293 + 0.5*b229*b297 + 0.5*b229*b299 + 0.5*b229*
b301 + 0.5*b229*b305 + 0.5*b229*b306 + 0.5*b229*b307 + 0.5*b229*b323 + 0.5
*b229*b327 + 0.5*b229*b328 + 0.5*b229*b343 + 0.5*b229*b346 + 0.5*b229*b347
+ 0.5*b229*b353 + 0.5*b229*b359 + 0.5*b229*b360 + 0.5*b229*b362 + 0.5*
b229*b393 + 0.5*b229*b396 + 0.5*b229*b397 + 0.5*b229*b400 + b229*x478 +
0.5*b230*b233 + 0.5*b230*b234 + b230*b235 + 0.5*b230*b239 + 0.5*b230*b255
+ 0.5*b230*b264 + 0.5*b230*b265 + 0.5*b230*b275 + 0.5*b230*b287 + 0.5*
b230*b290 + b230*b292 + 0.5*b230*b295 + 0.5*b230*b351 + 0.5*b230*b368 +
0.5*b230*b376 + 0.5*b230*b390 + 0.5*b230*b391 + b230*x478 + 0.5*b231*b247
+ 0.5*b231*b248 + 0.5*b231*b258 + 0.5*b231*b261 + 0.5*b231*b263 + 0.5*
b231*b268 + 0.5*b231*b286 + 0.5*b231*b304 + 0.5*b231*b316 + 0.5*b231*b317
+ b231*b324 + 0.5*b231*b325 + 0.5*b231*b326 + 0.5*b231*b329 + 0.5*b231*
b333 + 0.5*b231*b349 + 0.5*b231*b356 + 0.5*b231*b370 + b231*b384 + 0.5*
b231*b387 + 0.5*b231*b388 + b232*b242 + 0.5*b232*b246 + 0.5*b232*b252 +
0.5*b232*b255 + 0.5*b232*b269 + b232*b270 + 0.5*b232*b273 + 0.5*b232*b287
+ 0.5*b232*b290 + 0.5*b232*b293 + 0.5*b232*b297 + 0.5*b232*b299 + 0.5*
b232*b301 + 0.5*b232*b305 + 0.5*b232*b306 + 0.5*b232*b307 + 0.5*b232*b323
+ 0.5*b232*b327 + 0.5*b232*b328 + 0.5*b232*b343 + b232*b346 + 0.5*b232*
b347 + 0.5*b232*b353 + 0.5*b232*b359 + 0.5*b232*b360 + 0.5*b232*b362 + 0.5
*b232*b393 + 0.5*b232*b396 + 0.5*b232*b397 + 0.5*b232*b400 + b232*x477 +
0.5*b233*b234 + 0.5*b233*b235 + 0.5*b233*b239 + 0.5*b233*b240 + 0.5*b233*
b246 + 0.5*b233*b257 + 0.5*b233*b259 + b233*b264 + b233*b265 + 0.5*b233*
b275 + 0.5*b233*b287 + 0.5*b233*b292 + 0.5*b233*b295 + 0.5*b233*b310 + 0.5
*b233*b312 + 0.5*b233*b313 + 0.5*b233*b327 + 0.5*b233*b330 + 0.5*b233*b332
+ 0.5*b233*b335 + 0.5*b233*b345 + 0.5*b233*b347 + 0.5*b233*b348 + 0.5*
b233*b351 + 0.5*b233*b352 + 0.5*b233*b354 + 0.5*b233*b358 + 0.5*b233*b360
+ 0.5*b233*b368 + 0.5*b233*b376 + 0.5*b233*b380 + 0.5*b233*b385 + 0.5*
b233*b389 + 0.5*b233*b390 + 0.5*b233*b391 + 0.5*b233*b392 + 0.5*b233*b394
+ 0.5*b234*b235 + b234*b239 + 0.5*b234*b264 + 0.5*b234*b265 + 0.5*b234*
b267 + 0.5*b234*b269 + 0.5*b234*b275 + 0.5*b234*b287 + 0.5*b234*b292 + 0.5
*b234*b295 + 0.5*b234*b298 + 0.5*b234*b336 + 0.5*b234*b339 + 0.5*b234*b351
+ 0.5*b234*b353 + 0.5*b234*b359 + 0.5*b234*b362 + 0.5*b234*b368 + 0.5*
b234*b376 + 0.5*b234*b378 + 0.5*b234*b379 + 0.5*b234*b390 + b234*b391 +
b234*x481 + 0.5*b235*b239 + 0.5*b235*b255 + 0.5*b235*b264 + 0.5*b235*b265
+ 0.5*b235*b275 + 0.5*b235*b287 + 0.5*b235*b290 + b235*b292 + 0.5*b235*
b295 + 0.5*b235*b351 + 0.5*b235*b368 + 0.5*b235*b376 + 0.5*b235*b390 + 0.5
*b235*b391 + b235*x478 + b236*b237 + 0.5*b236*b256 + 0.5*b236*b276 + 0.5*
b236*b278 + 0.5*b236*b279 + 0.5*b236*b281 + 0.5*b236*b294 + 0.5*b236*b300
+ b236*b303 + 0.5*b236*b304 + 0.5*b236*b311 + 0.5*b236*b315 + 0.5*b236*
b319 + 0.5*b236*b321 + 0.5*b236*b329 + 0.5*b236*b341 + 0.5*b236*b344 +
b236*b357 + 0.5*b236*b366 + 0.5*b236*b367 + 0.5*b236*b370 + 0.5*b236*b372
+ 0.5*b236*b381 + 0.5*b236*b383 + 0.5*b237*b256 + 0.5*b237*b276 + 0.5*
b237*b278 + 0.5*b237*b279 + 0.5*b237*b281 + 0.5*b237*b294 + 0.5*b237*b300
+ b237*b303 + 0.5*b237*b304 + 0.5*b237*b311 + 0.5*b237*b315 + 0.5*b237*
b319 + 0.5*b237*b321 + 0.5*b237*b329 + 0.5*b237*b341 + 0.5*b237*b344 +
b237*b357 + 0.5*b237*b366 + 0.5*b237*b367 + 0.5*b237*b370 + 0.5*b237*b372
+ 0.5*b237*b381 + 0.5*b237*b383 + 0.5*b239*b264 + 0.5*b239*b265 + 0.5*
b239*b267 + 0.5*b239*b269 + 0.5*b239*b275 + 0.5*b239*b287 + 0.5*b239*b292
+ 0.5*b239*b295 + 0.5*b239*b298 + 0.5*b239*b336 + 0.5*b239*b339 + 0.5*
b239*b351 + 0.5*b239*b353 + 0.5*b239*b359 + 0.5*b239*b362 + 0.5*b239*b368
+ 0.5*b239*b376 + 0.5*b239*b378 + 0.5*b239*b379 + 0.5*b239*b390 + b239*
b391 + b239*x481 + 0.5*b240*b246 + 0.5*b240*b257 + 0.5*b240*b259 + 0.5*
b240*b262 + 0.5*b240*b264 + 0.5*b240*b265 + 0.5*b240*b284 + 0.5*b240*b285
+ 0.5*b240*b296 + 0.5*b240*b310 + 0.5*b240*b312 + b240*b313 + 0.5*b240*
b327 + 0.5*b240*b330 + 0.5*b240*b332 + 0.5*b240*b335 + 0.5*b240*b340 + 0.5
*b240*b345 + 0.5*b240*b347 + 0.5*b240*b348 + b240*b352 + 0.5*b240*b354 +
0.5*b240*b358 + 0.5*b240*b360 + 0.5*b240*b380 + 0.5*b240*b385 + 0.5*b240*
b389 + 0.5*b240*b392 + 0.5*b240*b394 + b241*b243 + 0.5*b241*b249 + 0.5*
b241*b254 + 0.5*b241*b256 + 0.5*b241*b267 + 0.5*b241*b277 + 0.5*b241*b294
+ 0.5*b241*b298 + 0.5*b241*b300 + 0.5*b241*b302 + 0.5*b241*b310 + 0.5*
b241*b318 + b241*b334 + b241*b337 + 0.5*b241*b345 + 0.5*b241*b363 + 0.5*
b241*b365 + 0.5*b241*b371 + 0.5*b241*b374 + 0.5*b241*b375 + 0.5*b241*b378
+ 0.5*b241*b379 + 0.5*b241*b389 + 0.5*b241*b394 + 0.5*b242*b246 + 0.5*
b242*b252 + 0.5*b242*b255 + 0.5*b242*b269 + b242*b270 + 0.5*b242*b273 +
0.5*b242*b287 + 0.5*b242*b290 + 0.5*b242*b293 + 0.5*b242*b297 + 0.5*b242*
b299 + 0.5*b242*b301 + 0.5*b242*b305 + 0.5*b242*b306 + 0.5*b242*b307 + 0.5
*b242*b323 + 0.5*b242*b327 + 0.5*b242*b328 + 0.5*b242*b343 + b242*b346 +
0.5*b242*b347 + 0.5*b242*b353 + 0.5*b242*b359 + 0.5*b242*b360 + 0.5*b242*
b362 + 0.5*b242*b393 + 0.5*b242*b396 + 0.5*b242*b397 + 0.5*b242*b400 +
b242*x477 + 0.5*b243*b249 + 0.5*b243*b254 + 0.5*b243*b256 + 0.5*b243*b267
+ 0.5*b243*b277 + 0.5*b243*b294 + 0.5*b243*b298 + 0.5*b243*b300 + 0.5*
b243*b302 + 0.5*b243*b310 + 0.5*b243*b318 + b243*b334 + b243*b337 + 0.5*
b243*b345 + 0.5*b243*b363 + 0.5*b243*b365 + 0.5*b243*b371 + 0.5*b243*b374
+ 0.5*b243*b375 + 0.5*b243*b378 + 0.5*b243*b379 + 0.5*b243*b389 + 0.5*
b243*b394 + 0.5*b244*b249 + 0.5*b244*b257 + 0.5*b244*b273 + 0.5*b244*b277
+ 0.5*b244*b284 + 0.5*b244*b289 + 0.5*b244*b301 + 0.5*b244*b323 + 0.5*
b244*b332 + 0.5*b244*b351 + 0.5*b244*b354 + 0.5*b244*b358 + 0.5*b244*b365
+ 0.5*b244*b368 + 0.5*b244*b374 + 0.5*b244*b376 + 0.5*b244*b390 + 0.5*
b244*b396 + 0.5*b244*b419 + 0.5*b244*b458 + 0.5*b244*b464 + 0.5*b245*b247
+ 0.5*b245*b250 + b245*b251 + 0.5*b245*b253 + 0.5*b245*b254 + 0.5*b245*
b260 + 0.5*b245*b268 + 0.5*b245*b271 + 0.5*b245*b280 + 0.5*b245*b282 + 0.5
*b245*b286 + 0.5*b245*b288 + 0.5*b245*b291 + 0.5*b245*b308 + 0.5*b245*b309
+ 0.5*b245*b315 + 0.5*b245*b319 + 0.5*b245*b320 + 0.5*b245*b321 + 0.5*
b245*b322 + 0.5*b245*b326 + 0.5*b245*b331 + 0.5*b245*b363 + b245*b364 +
0.5*b245*b366 + 0.5*b245*b371 + 0.5*b245*b375 + 0.5*b245*b377 + 0.5*b245*
b382 + 0.5*b245*b386 + 0.5*b245*b387 + 0.5*b245*b395 + 0.5*b245*b398 + 0.5
*b246*b252 + 0.5*b246*b255 + 0.5*b246*b257 + 0.5*b246*b259 + 0.5*b246*b264
+ 0.5*b246*b265 + 0.5*b246*b269 + 0.5*b246*b270 + 0.5*b246*b273 + 0.5*
b246*b290 + 0.5*b246*b293 + 0.5*b246*b297 + 0.5*b246*b299 + 0.5*b246*b301
+ 0.5*b246*b305 + 0.5*b246*b306 + 0.5*b246*b307 + 0.5*b246*b310 + 0.5*
b246*b312 + 0.5*b246*b313 + 0.5*b246*b323 + b246*b327 + 0.5*b246*b328 +
0.5*b246*b330 + 0.5*b246*b332 + 0.5*b246*b335 + 0.5*b246*b343 + 0.5*b246*
b345 + 0.5*b246*b346 + b246*b347 + 0.5*b246*b348 + 0.5*b246*b352 + 0.5*
b246*b353 + 0.5*b246*b354 + 0.5*b246*b358 + 0.5*b246*b359 + b246*b360 +
0.5*b246*b362 + 0.5*b246*b380 + 0.5*b246*b385 + 0.5*b246*b389 + 0.5*b246*
b392 + 0.5*b246*b393 + 0.5*b246*b394 + 0.5*b246*b396 + 0.5*b246*b397 + 0.5
*b246*b400 + 0.5*b247*b251 + 0.5*b247*b253 + 0.5*b247*b254 + 0.5*b247*b258
+ 0.5*b247*b261 + 0.5*b247*b280 + 0.5*b247*b282 + b247*b286 + 0.5*b247*
b288 + 0.5*b247*b315 + 0.5*b247*b316 + 0.5*b247*b317 + 0.5*b247*b319 + 0.5
*b247*b321 + 0.5*b247*b322 + 0.5*b247*b324 + 0.5*b247*b325 + 0.5*b247*b331
+ 0.5*b247*b333 + 0.5*b247*b349 + 0.5*b247*b356 + 0.5*b247*b363 + 0.5*
b247*b364 + 0.5*b247*b366 + 0.5*b247*b371 + 0.5*b247*b375 + 0.5*b247*b382
+ 0.5*b247*b384 + b247*b387 + 0.5*b247*b388 + 0.5*b247*b395 + 0.5*b247*
b398 + b248*b263 + 0.5*b248*b268 + 0.5*b248*b276 + 0.5*b248*b279 + 0.5*
b248*b281 + 0.5*b248*b282 + 0.5*b248*b304 + 0.5*b248*b324 + 0.5*b248*b326
+ 0.5*b248*b329 + 0.5*b248*b370 + 0.5*b248*b381 + 0.5*b248*b382 + 0.5*
b248*b384 + 0.5*b248*b398 + 0.5*b249*b267 + 0.5*b249*b273 + b249*b277 +
0.5*b249*b284 + 0.5*b249*b289 + 0.5*b249*b298 + 0.5*b249*b301 + 0.5*b249*
b302 + 0.5*b249*b310 + 0.5*b249*b323 + 0.5*b249*b334 + 0.5*b249*b337 + 0.5
*b249*b345 + 0.5*b249*b351 + b249*b365 + 0.5*b249*b368 + b249*b374 + 0.5*
b249*b376 + 0.5*b249*b378 + 0.5*b249*b379 + 0.5*b249*b389 + 0.5*b249*b390
+ 0.5*b249*b394 + 0.5*b249*b396 + 0.5*b250*b251 + 0.5*b250*b258 + b250*
b260 + 0.5*b250*b261 + 0.5*b250*b268 + b250*b271 + 0.5*b250*b291 + 0.5*
b250*b308 + 0.5*b250*b309 + 0.5*b250*b314 + 0.5*b250*b320 + 0.5*b250*b325
+ 0.5*b250*b326 + 0.5*b250*b342 + 0.5*b250*b349 + 0.5*b250*b350 + 0.5*
b250*b355 + 0.5*b250*b361 + 0.5*b250*b364 + 0.5*b250*b377 + b250*b386 +
0.5*b250*b399 + 0.5*b251*b253 + 0.5*b251*b254 + 0.5*b251*b260 + 0.5*b251*
b268 + 0.5*b251*b271 + 0.5*b251*b280 + 0.5*b251*b282 + 0.5*b251*b286 + 0.5
*b251*b288 + 0.5*b251*b291 + 0.5*b251*b308 + 0.5*b251*b309 + 0.5*b251*b315
+ 0.5*b251*b319 + 0.5*b251*b320 + 0.5*b251*b321 + 0.5*b251*b322 + 0.5*
b251*b326 + 0.5*b251*b331 + 0.5*b251*b363 + b251*b364 + 0.5*b251*b366 +
0.5*b251*b371 + 0.5*b251*b375 + 0.5*b251*b377 + 0.5*b251*b382 + 0.5*b251*
b386 + 0.5*b251*b387 + 0.5*b251*b395 + 0.5*b251*b398 + 0.5*b252*b255 + 0.5
*b252*b269 + 0.5*b252*b270 + 0.5*b252*b273 + 0.5*b252*b290 + b252*b293 +
0.5*b252*b297 + 0.5*b252*b299 + 0.5*b252*b301 + 0.5*b252*b305 + b252*b306
+ 0.5*b252*b307 + 0.5*b252*b323 + 0.5*b252*b327 + b252*b328 + 0.5*b252*
b343 + 0.5*b252*b346 + 0.5*b252*b347 + 0.5*b252*b353 + 0.5*b252*b359 + 0.5
*b252*b360 + 0.5*b252*b362 + 0.5*b252*b393 + 0.5*b252*b396 + 0.5*b252*b397
+ 0.5*b252*b400 + b252*x482 + 0.5*b253*b254 + 0.5*b253*b262 + b253*b280
+ 0.5*b253*b282 + 0.5*b253*b285 + 0.5*b253*b286 + b253*b288 + 0.5*b253*
b296 + 0.5*b253*b315 + 0.5*b253*b319 + 0.5*b253*b321 + b253*b322 + 0.5*
b253*b331 + 0.5*b253*b340 + 0.5*b253*b344 + 0.5*b253*b363 + 0.5*b253*b364
+ 0.5*b253*b366 + 0.5*b253*b367 + 0.5*b253*b371 + 0.5*b253*b372 + 0.5*
b253*b375 + 0.5*b253*b382 + 0.5*b253*b383 + 0.5*b253*b387 + 0.5*b253*b395
+ 0.5*b253*b398 + 0.5*b254*b256 + 0.5*b254*b280 + 0.5*b254*b282 + 0.5*
b254*b286 + 0.5*b254*b288 + 0.5*b254*b294 + 0.5*b254*b300 + 0.5*b254*b315
+ 0.5*b254*b318 + 0.5*b254*b319 + 0.5*b254*b321 + 0.5*b254*b322 + 0.5*
b254*b331 + 0.5*b254*b334 + 0.5*b254*b337 + b254*b363 + 0.5*b254*b364 +
0.5*b254*b366 + b254*b371 + b254*b375 + 0.5*b254*b382 + 0.5*b254*b387 +
0.5*b254*b395 + 0.5*b254*b398 + 0.5*b255*b269 + 0.5*b255*b270 + 0.5*b255*
b273 + b255*b290 + 0.5*b255*b292 + 0.5*b255*b293 + 0.5*b255*b297 + 0.5*
b255*b299 + 0.5*b255*b301 + 0.5*b255*b305 + 0.5*b255*b306 + 0.5*b255*b307
+ 0.5*b255*b323 + 0.5*b255*b327 + 0.5*b255*b328 + 0.5*b255*b343 + 0.5*
b255*b346 + 0.5*b255*b347 + 0.5*b255*b353 + 0.5*b255*b359 + 0.5*b255*b360
+ 0.5*b255*b362 + 0.5*b255*b393 + 0.5*b255*b396 + 0.5*b255*b397 + 0.5*
b255*b400 + b255*x478 + 0.5*b256*b276 + 0.5*b256*b279 + 0.5*b256*b281 +
b256*b294 + b256*b300 + 0.5*b256*b303 + 0.5*b256*b318 + 0.5*b256*b334 +
0.5*b256*b337 + 0.5*b256*b341 + 0.5*b256*b344 + 0.5*b256*b357 + 0.5*b256*
b363 + 0.5*b256*b367 + 0.5*b256*b371 + 0.5*b256*b372 + 0.5*b256*b375 + 0.5
*b256*b381 + 0.5*b256*b383 + 0.5*b257*b259 + 0.5*b257*b264 + 0.5*b257*b265
+ 0.5*b257*b310 + 0.5*b257*b312 + 0.5*b257*b313 + 0.5*b257*b327 + 0.5*
b257*b330 + b257*b332 + 0.5*b257*b335 + 0.5*b257*b345 + 0.5*b257*b347 +
0.5*b257*b348 + 0.5*b257*b352 + b257*b354 + b257*b358 + 0.5*b257*b360 +
0.5*b257*b380 + 0.5*b257*b385 + 0.5*b257*b389 + 0.5*b257*b392 + 0.5*b257*
b394 + 0.5*b257*b419 + 0.5*b257*b458 + 0.5*b257*b464 + 0.5*b258*b260 +
b258*b261 + 0.5*b258*b271 + 0.5*b258*b286 + 0.5*b258*b314 + 0.5*b258*b316
+ 0.5*b258*b317 + 0.5*b258*b324 + b258*b325 + 0.5*b258*b333 + 0.5*b258*
b342 + b258*b349 + 0.5*b258*b350 + 0.5*b258*b355 + 0.5*b258*b356 + 0.5*
b258*b361 + 0.5*b258*b384 + 0.5*b258*b386 + 0.5*b258*b387 + 0.5*b258*b388
+ 0.5*b258*b399 + 0.5*b259*b264 + 0.5*b259*b265 + 0.5*b259*b310 + 0.5*
b259*b312 + 0.5*b259*b313 + 0.5*b259*b327 + 0.5*b259*b330 + 0.5*b259*b332
+ b259*b335 + 0.5*b259*b345 + 0.5*b259*b347 + 0.5*b259*b348 + 0.5*b259*
b352 + 0.5*b259*b354 + 0.5*b259*b358 + 0.5*b259*b360 + b259*b380 + b259*
b385 + 0.5*b259*b389 + 0.5*b259*b392 + 0.5*b259*b394 + 0.5*b260*b261 + 0.5
*b260*b268 + b260*b271 + 0.5*b260*b291 + 0.5*b260*b308 + 0.5*b260*b309 +
0.5*b260*b314 + 0.5*b260*b320 + 0.5*b260*b325 + 0.5*b260*b326 + 0.5*b260*
b342 + 0.5*b260*b349 + 0.5*b260*b350 + 0.5*b260*b355 + 0.5*b260*b361 + 0.5
*b260*b364 + 0.5*b260*b377 + b260*b386 + 0.5*b260*b399 + 0.5*b261*b271 +
0.5*b261*b286 + 0.5*b261*b314 + 0.5*b261*b316 + 0.5*b261*b317 + 0.5*b261*
b324 + b261*b325 + 0.5*b261*b333 + 0.5*b261*b342 + b261*b349 + 0.5*b261*
b350 + 0.5*b261*b355 + 0.5*b261*b356 + 0.5*b261*b361 + 0.5*b261*b384 + 0.5
*b261*b386 + 0.5*b261*b387 + 0.5*b261*b388 + 0.5*b261*b399 + 0.5*b262*b280
+ 0.5*b262*b284 + b262*b285 + 0.5*b262*b288 + b262*b296 + 0.5*b262*b313
+ 0.5*b262*b322 + b262*b340 + 0.5*b262*b344 + 0.5*b262*b352 + 0.5*b262*
b367 + 0.5*b262*b372 + 0.5*b262*b383 + 0.5*b263*b268 + 0.5*b263*b276 + 0.5
*b263*b279 + 0.5*b263*b281 + 0.5*b263*b282 + 0.5*b263*b304 + 0.5*b263*b324
+ 0.5*b263*b326 + 0.5*b263*b329 + 0.5*b263*b370 + 0.5*b263*b381 + 0.5*
b263*b382 + 0.5*b263*b384 + 0.5*b263*b398 + b264*b265 + 0.5*b264*b275 +
0.5*b264*b287 + 0.5*b264*b292 + 0.5*b264*b295 + 0.5*b264*b310 + 0.5*b264*
b312 + 0.5*b264*b313 + 0.5*b264*b327 + 0.5*b264*b330 + 0.5*b264*b332 + 0.5
*b264*b335 + 0.5*b264*b345 + 0.5*b264*b347 + 0.5*b264*b348 + 0.5*b264*b351
+ 0.5*b264*b352 + 0.5*b264*b354 + 0.5*b264*b358 + 0.5*b264*b360 + 0.5*
b264*b368 + 0.5*b264*b376 + 0.5*b264*b380 + 0.5*b264*b385 + 0.5*b264*b389
+ 0.5*b264*b390 + 0.5*b264*b391 + 0.5*b264*b392 + 0.5*b264*b394 + 0.5*
b265*b275 + 0.5*b265*b287 + 0.5*b265*b292 + 0.5*b265*b295 + 0.5*b265*b310
+ 0.5*b265*b312 + 0.5*b265*b313 + 0.5*b265*b327 + 0.5*b265*b330 + 0.5*
b265*b332 + 0.5*b265*b335 + 0.5*b265*b345 + 0.5*b265*b347 + 0.5*b265*b348
+ 0.5*b265*b351 + 0.5*b265*b352 + 0.5*b265*b354 + 0.5*b265*b358 + 0.5*
b265*b360 + 0.5*b265*b368 + 0.5*b265*b376 + 0.5*b265*b380 + 0.5*b265*b385
+ 0.5*b265*b389 + 0.5*b265*b390 + 0.5*b265*b391 + 0.5*b265*b392 + 0.5*
b265*b394 + b266*b272 + b266*b283 + b266*b338 + 0.5*b266*b369 + 0.5*b266*
b373 + 0.5*b267*b269 + 0.5*b267*b277 + b267*b298 + 0.5*b267*b302 + 0.5*
b267*b310 + 0.5*b267*b334 + 0.5*b267*b336 + 0.5*b267*b337 + 0.5*b267*b339
+ 0.5*b267*b345 + 0.5*b267*b353 + 0.5*b267*b359 + 0.5*b267*b362 + 0.5*
b267*b365 + 0.5*b267*b374 + b267*b378 + b267*b379 + 0.5*b267*b389 + 0.5*
b267*b391 + 0.5*b267*b394 + b267*x481 + 0.5*b268*b271 + 0.5*b268*b291 +
0.5*b268*b304 + 0.5*b268*b308 + 0.5*b268*b309 + 0.5*b268*b320 + 0.5*b268*
b324 + b268*b326 + 0.5*b268*b329 + 0.5*b268*b364 + 0.5*b268*b370 + 0.5*
b268*b377 + 0.5*b268*b384 + 0.5*b268*b386 + 0.5*b269*b270 + 0.5*b269*b273
+ 0.5*b269*b290 + 0.5*b269*b293 + 0.5*b269*b297 + 0.5*b269*b298 + 0.5*
b269*b299 + 0.5*b269*b301 + 0.5*b269*b305 + 0.5*b269*b306 + 0.5*b269*b307
+ 0.5*b269*b323 + 0.5*b269*b327 + 0.5*b269*b328 + 0.5*b269*b336 + 0.5*
b269*b339 + 0.5*b269*b343 + 0.5*b269*b346 + 0.5*b269*b347 + b269*b353 +
b269*b359 + 0.5*b269*b360 + b269*b362 + 0.5*b269*b378 + 0.5*b269*b379 +
0.5*b269*b391 + 0.5*b269*b393 + 0.5*b269*b396 + 0.5*b269*b397 + 0.5*b269*
b400 + b269*x481 + 0.5*b270*b273 + 0.5*b270*b287 + 0.5*b270*b290 + 0.5*
b270*b293 + 0.5*b270*b297 + 0.5*b270*b299 + 0.5*b270*b301 + 0.5*b270*b305
+ 0.5*b270*b306 + 0.5*b270*b307 + 0.5*b270*b323 + 0.5*b270*b327 + 0.5*
b270*b328 + 0.5*b270*b343 + b270*b346 + 0.5*b270*b347 + 0.5*b270*b353 +
0.5*b270*b359 + 0.5*b270*b360 + 0.5*b270*b362 + 0.5*b270*b393 + 0.5*b270*
b396 + 0.5*b270*b397 + 0.5*b270*b400 + b270*x477 + 0.5*b271*b291 + 0.5*
b271*b308 + 0.5*b271*b309 + 0.5*b271*b314 + 0.5*b271*b320 + 0.5*b271*b325
+ 0.5*b271*b326 + 0.5*b271*b342 + 0.5*b271*b349 + 0.5*b271*b350 + 0.5*
b271*b355 + 0.5*b271*b361 + 0.5*b271*b364 + 0.5*b271*b377 + b271*b386 +
0.5*b271*b399 + b272*b283 + b272*b338 + 0.5*b272*b369 + 0.5*b272*b373 +
0.5*b273*b277 + 0.5*b273*b284 + 0.5*b273*b289 + 0.5*b273*b290 + 0.5*b273*
b293 + 0.5*b273*b297 + 0.5*b273*b299 + b273*b301 + 0.5*b273*b305 + 0.5*
b273*b306 + 0.5*b273*b307 + b273*b323 + 0.5*b273*b327 + 0.5*b273*b328 +
0.5*b273*b343 + 0.5*b273*b346 + 0.5*b273*b347 + 0.5*b273*b351 + 0.5*b273*
b353 + 0.5*b273*b359 + 0.5*b273*b360 + 0.5*b273*b362 + 0.5*b273*b365 + 0.5
*b273*b368 + 0.5*b273*b374 + 0.5*b273*b376 + 0.5*b273*b390 + 0.5*b273*b393
+ b273*b396 + 0.5*b273*b397 + 0.5*b273*b400 + 0.5*b274*b291 + 0.5*b274*
b309 + 0.5*b274*b311 + 0.5*b274*b316 + 0.5*b274*b320 + 0.5*b274*b333 + 0.5
*b274*b356 + 0.5*b274*b377 + b274*x483 + 0.5*b275*b287 + 0.5*b275*b292 +
b275*b295 + 0.5*b275*b351 + 0.5*b275*b368 + 0.5*b275*b376 + 0.5*b275*b390
+ 0.5*b275*b391 + b275*x479 + b276*b279 + b276*b281 + 0.5*b276*b282 + 0.5
*b276*b294 + 0.5*b276*b300 + 0.5*b276*b303 + 0.5*b276*b341 + 0.5*b276*b344
+ 0.5*b276*b357 + 0.5*b276*b367 + 0.5*b276*b372 + b276*b381 + 0.5*b276*
b382 + 0.5*b276*b383 + 0.5*b276*b398 + 0.5*b277*b284 + 0.5*b277*b289 + 0.5
*b277*b298 + 0.5*b277*b301 + 0.5*b277*b302 + 0.5*b277*b310 + 0.5*b277*b323
+ 0.5*b277*b334 + 0.5*b277*b337 + 0.5*b277*b345 + 0.5*b277*b351 + b277*
b365 + 0.5*b277*b368 + b277*b374 + 0.5*b277*b376 + 0.5*b277*b378 + 0.5*
b277*b379 + 0.5*b277*b389 + 0.5*b277*b390 + 0.5*b277*b394 + 0.5*b277*b396
+ 0.5*b278*b303 + 0.5*b278*b304 + 0.5*b278*b308 + 0.5*b278*b311 + 0.5*
b278*b315 + 0.5*b278*b319 + 0.5*b278*b321 + 0.5*b278*b329 + 0.5*b278*b357
+ 0.5*b278*b366 + 0.5*b278*b370 + b279*b281 + 0.5*b279*b282 + 0.5*b279*
b294 + 0.5*b279*b300 + 0.5*b279*b303 + 0.5*b279*b341 + 0.5*b279*b344 + 0.5
*b279*b357 + 0.5*b279*b367 + 0.5*b279*b372 + b279*b381 + 0.5*b279*b382 +
0.5*b279*b383 + 0.5*b279*b398 + 0.5*b280*b282 + 0.5*b280*b285 + 0.5*b280*
b286 + b280*b288 + 0.5*b280*b296 + 0.5*b280*b315 + 0.5*b280*b319 + 0.5*
b280*b321 + b280*b322 + 0.5*b280*b331 + 0.5*b280*b340 + 0.5*b280*b344 +
0.5*b280*b363 + 0.5*b280*b364 + 0.5*b280*b366 + 0.5*b280*b367 + 0.5*b280*
b371 + 0.5*b280*b372 + 0.5*b280*b375 + 0.5*b280*b382 + 0.5*b280*b383 + 0.5
*b280*b387 + 0.5*b280*b395 + 0.5*b280*b398 + 0.5*b281*b282 + 0.5*b281*b294
+ 0.5*b281*b300 + 0.5*b281*b303 + 0.5*b281*b341 + 0.5*b281*b344 + 0.5*
b281*b357 + 0.5*b281*b367 + 0.5*b281*b372 + b281*b381 + 0.5*b281*b382 +
0.5*b281*b383 + 0.5*b281*b398 + 0.5*b282*b286 + 0.5*b282*b288 + 0.5*b282*
b315 + 0.5*b282*b319 + 0.5*b282*b321 + 0.5*b282*b322 + 0.5*b282*b331 + 0.5
*b282*b363 + 0.5*b282*b364 + 0.5*b282*b366 + 0.5*b282*b371 + 0.5*b282*b375
+ 0.5*b282*b381 + b282*b382 + 0.5*b282*b387 + 0.5*b282*b395 + b282*b398
+ b283*b338 + 0.5*b283*b369 + 0.5*b283*b373 + 0.5*b284*b285 + 0.5*b284*
b289 + 0.5*b284*b296 + 0.5*b284*b301 + 0.5*b284*b313 + 0.5*b284*b323 + 0.5
*b284*b340 + 0.5*b284*b351 + 0.5*b284*b352 + 0.5*b284*b365 + 0.5*b284*b368
+ 0.5*b284*b374 + 0.5*b284*b376 + 0.5*b284*b390 + 0.5*b284*b396 + 0.5*
b285*b288 + b285*b296 + 0.5*b285*b313 + 0.5*b285*b322 + b285*b340 + 0.5*
b285*b344 + 0.5*b285*b352 + 0.5*b285*b367 + 0.5*b285*b372 + 0.5*b285*b383
+ 0.5*b286*b288 + 0.5*b286*b315 + 0.5*b286*b316 + 0.5*b286*b317 + 0.5*
b286*b319 + 0.5*b286*b321 + 0.5*b286*b322 + 0.5*b286*b324 + 0.5*b286*b325
+ 0.5*b286*b331 + 0.5*b286*b333 + 0.5*b286*b349 + 0.5*b286*b356 + 0.5*
b286*b363 + 0.5*b286*b364 + 0.5*b286*b366 + 0.5*b286*b371 + 0.5*b286*b375
+ 0.5*b286*b382 + 0.5*b286*b384 + b286*b387 + 0.5*b286*b388 + 0.5*b286*
b395 + 0.5*b286*b398 + 0.5*b287*b292 + 0.5*b287*b295 + 0.5*b287*b346 + 0.5
*b287*b351 + 0.5*b287*b368 + 0.5*b287*b376 + 0.5*b287*b390 + 0.5*b287*b391
+ b287*x477 + 0.5*b288*b296 + 0.5*b288*b315 + 0.5*b288*b319 + 0.5*b288*
b321 + b288*b322 + 0.5*b288*b331 + 0.5*b288*b340 + 0.5*b288*b344 + 0.5*
b288*b363 + 0.5*b288*b364 + 0.5*b288*b366 + 0.5*b288*b367 + 0.5*b288*b371
+ 0.5*b288*b372 + 0.5*b288*b375 + 0.5*b288*b382 + 0.5*b288*b383 + 0.5*
b288*b387 + 0.5*b288*b395 + 0.5*b288*b398 + 0.5*b289*b301 + 0.5*b289*b312
+ 0.5*b289*b318 + 0.5*b289*b323 + 0.5*b289*b330 + 0.5*b289*b336 + 0.5*
b289*b339 + 0.5*b289*b348 + 0.5*b289*b351 + 0.5*b289*b365 + 0.5*b289*b368
+ 0.5*b289*b374 + 0.5*b289*b376 + 0.5*b289*b390 + 0.5*b289*b392 + 0.5*
b289*b396 + 0.5*b290*b292 + 0.5*b290*b293 + 0.5*b290*b297 + 0.5*b290*b299
+ 0.5*b290*b301 + 0.5*b290*b305 + 0.5*b290*b306 + 0.5*b290*b307 + 0.5*
b290*b323 + 0.5*b290*b327 + 0.5*b290*b328 + 0.5*b290*b343 + 0.5*b290*b346
+ 0.5*b290*b347 + 0.5*b290*b353 + 0.5*b290*b359 + 0.5*b290*b360 + 0.5*
b290*b362 + 0.5*b290*b393 + 0.5*b290*b396 + 0.5*b290*b397 + 0.5*b290*b400
+ b290*x478 + 0.5*b291*b308 + b291*b309 + 0.5*b291*b311 + 0.5*b291*b316
+ b291*b320 + 0.5*b291*b326 + 0.5*b291*b333 + 0.5*b291*b356 + 0.5*b291*
b364 + b291*b377 + 0.5*b291*b386 + 0.5*b292*b295 + 0.5*b292*b351 + 0.5*
b292*b368 + 0.5*b292*b376 + 0.5*b292*b390 + 0.5*b292*b391 + b292*x478 +
0.5*b293*b297 + 0.5*b293*b299 + 0.5*b293*b301 + 0.5*b293*b305 + b293*b306
+ 0.5*b293*b307 + 0.5*b293*b323 + 0.5*b293*b327 + b293*b328 + 0.5*b293*
b343 + 0.5*b293*b346 + 0.5*b293*b347 + 0.5*b293*b353 + 0.5*b293*b359 + 0.5
*b293*b360 + 0.5*b293*b362 + 0.5*b293*b393 + 0.5*b293*b396 + 0.5*b293*b397
+ 0.5*b293*b400 + b293*x482 + b294*b300 + 0.5*b294*b303 + 0.5*b294*b318
+ 0.5*b294*b334 + 0.5*b294*b337 + 0.5*b294*b341 + 0.5*b294*b344 + 0.5*
b294*b357 + 0.5*b294*b363 + 0.5*b294*b367 + 0.5*b294*b371 + 0.5*b294*b372
+ 0.5*b294*b375 + 0.5*b294*b381 + 0.5*b294*b383 + 0.5*b295*b351 + 0.5*
b295*b368 + 0.5*b295*b376 + 0.5*b295*b390 + 0.5*b295*b391 + b295*x479 +
0.5*b296*b313 + 0.5*b296*b322 + b296*b340 + 0.5*b296*b344 + 0.5*b296*b352
+ 0.5*b296*b367 + 0.5*b296*b372 + 0.5*b296*b383 + b297*b299 + 0.5*b297*
b301 + b297*b305 + 0.5*b297*b306 + 0.5*b297*b307 + 0.5*b297*b323 + 0.5*
b297*b327 + 0.5*b297*b328 + 0.5*b297*b343 + 0.5*b297*b346 + 0.5*b297*b347
+ 0.5*b297*b353 + 0.5*b297*b359 + 0.5*b297*b360 + 0.5*b297*b362 + 0.5*
b297*b393 + 0.5*b297*b396 + b297*b397 + 0.5*b297*b400 + b297*x484 + 0.5*
b298*b302 + 0.5*b298*b310 + 0.5*b298*b334 + 0.5*b298*b336 + 0.5*b298*b337
+ 0.5*b298*b339 + 0.5*b298*b345 + 0.5*b298*b353 + 0.5*b298*b359 + 0.5*
b298*b362 + 0.5*b298*b365 + 0.5*b298*b374 + b298*b378 + b298*b379 + 0.5*
b298*b389 + 0.5*b298*b391 + 0.5*b298*b394 + b298*x481 + 0.5*b299*b301 +
b299*b305 + 0.5*b299*b306 + 0.5*b299*b307 + 0.5*b299*b323 + 0.5*b299*b327
+ 0.5*b299*b328 + 0.5*b299*b343 + 0.5*b299*b346 + 0.5*b299*b347 + 0.5*
b299*b353 + 0.5*b299*b359 + 0.5*b299*b360 + 0.5*b299*b362 + 0.5*b299*b393
+ 0.5*b299*b396 + b299*b397 + 0.5*b299*b400 + b299*x484 + 0.5*b300*b303
+ 0.5*b300*b318 + 0.5*b300*b334 + 0.5*b300*b337 + 0.5*b300*b341 + 0.5*
b300*b344 + 0.5*b300*b357 + 0.5*b300*b363 + 0.5*b300*b367 + 0.5*b300*b371
+ 0.5*b300*b372 + 0.5*b300*b375 + 0.5*b300*b381 + 0.5*b300*b383 + 0.5*
b301*b305 + 0.5*b301*b306 + 0.5*b301*b307 + b301*b323 + 0.5*b301*b327 +
0.5*b301*b328 + 0.5*b301*b343 + 0.5*b301*b346 + 0.5*b301*b347 + 0.5*b301*
b351 + 0.5*b301*b353 + 0.5*b301*b359 + 0.5*b301*b360 + 0.5*b301*b362 + 0.5
*b301*b365 + 0.5*b301*b368 + 0.5*b301*b374 + 0.5*b301*b376 + 0.5*b301*b390
+ 0.5*b301*b393 + b301*b396 + 0.5*b301*b397 + 0.5*b301*b400 + 0.5*b302*
b307 + 0.5*b302*b310 + 0.5*b302*b334 + 0.5*b302*b337 + 0.5*b302*b343 + 0.5
*b302*b345 + 0.5*b302*b365 + 0.5*b302*b374 + 0.5*b302*b378 + 0.5*b302*b379
+ 0.5*b302*b389 + 0.5*b302*b393 + 0.5*b302*b394 + 0.5*b302*b400 + b302*
x485 + 0.5*b303*b304 + 0.5*b303*b311 + 0.5*b303*b315 + 0.5*b303*b319 + 0.5
*b303*b321 + 0.5*b303*b329 + 0.5*b303*b341 + 0.5*b303*b344 + b303*b357 +
0.5*b303*b366 + 0.5*b303*b367 + 0.5*b303*b370 + 0.5*b303*b372 + 0.5*b303*
b381 + 0.5*b303*b383 + 0.5*b304*b311 + 0.5*b304*b315 + 0.5*b304*b319 + 0.5
*b304*b321 + 0.5*b304*b324 + 0.5*b304*b326 + b304*b329 + 0.5*b304*b357 +
0.5*b304*b366 + b304*b370 + 0.5*b304*b384 + 0.5*b305*b306 + 0.5*b305*b307
+ 0.5*b305*b323 + 0.5*b305*b327 + 0.5*b305*b328 + 0.5*b305*b343 + 0.5*
b305*b346 + 0.5*b305*b347 + 0.5*b305*b353 + 0.5*b305*b359 + 0.5*b305*b360
+ 0.5*b305*b362 + 0.5*b305*b393 + 0.5*b305*b396 + b305*b397 + 0.5*b305*
b400 + b305*x484 + 0.5*b306*b307 + 0.5*b306*b323 + 0.5*b306*b327 + b306*
b328 + 0.5*b306*b343 + 0.5*b306*b346 + 0.5*b306*b347 + 0.5*b306*b353 + 0.5
*b306*b359 + 0.5*b306*b360 + 0.5*b306*b362 + 0.5*b306*b393 + 0.5*b306*b396
+ 0.5*b306*b397 + 0.5*b306*b400 + b306*x482 + 0.5*b307*b323 + 0.5*b307*
b327 + 0.5*b307*b328 + b307*b343 + 0.5*b307*b346 + 0.5*b307*b347 + 0.5*
b307*b353 + 0.5*b307*b359 + 0.5*b307*b360 + 0.5*b307*b362 + b307*b393 +
0.5*b307*b396 + 0.5*b307*b397 + b307*b400 + b307*x485 + 0.5*b308*b309 +
0.5*b308*b320 + 0.5*b308*b326 + 0.5*b308*b364 + 0.5*b308*b377 + 0.5*b308*
b386 + 0.5*b309*b311 + 0.5*b309*b316 + b309*b320 + 0.5*b309*b326 + 0.5*
b309*b333 + 0.5*b309*b356 + 0.5*b309*b364 + b309*b377 + 0.5*b309*b386 +
0.5*b310*b312 + 0.5*b310*b313 + 0.5*b310*b327 + 0.5*b310*b330 + 0.5*b310*
b332 + 0.5*b310*b334 + 0.5*b310*b335 + 0.5*b310*b337 + b310*b345 + 0.5*
b310*b347 + 0.5*b310*b348 + 0.5*b310*b352 + 0.5*b310*b354 + 0.5*b310*b358
+ 0.5*b310*b360 + 0.5*b310*b365 + 0.5*b310*b374 + 0.5*b310*b378 + 0.5*
b310*b379 + 0.5*b310*b380 + 0.5*b310*b385 + b310*b389 + 0.5*b310*b392 +
b310*b394 + 0.5*b311*b315 + 0.5*b311*b316 + 0.5*b311*b319 + 0.5*b311*b320
+ 0.5*b311*b321 + 0.5*b311*b329 + 0.5*b311*b333 + 0.5*b311*b356 + 0.5*
b311*b357 + 0.5*b311*b366 + 0.5*b311*b370 + 0.5*b311*b377 + 0.5*b312*b313
+ 0.5*b312*b318 + 0.5*b312*b327 + b312*b330 + 0.5*b312*b332 + 0.5*b312*
b335 + 0.5*b312*b336 + 0.5*b312*b339 + 0.5*b312*b345 + 0.5*b312*b347 +
b312*b348 + 0.5*b312*b352 + 0.5*b312*b354 + 0.5*b312*b358 + 0.5*b312*b360
+ 0.5*b312*b380 + 0.5*b312*b385 + 0.5*b312*b389 + b312*b392 + 0.5*b312*
b394 + 0.5*b313*b327 + 0.5*b313*b330 + 0.5*b313*b332 + 0.5*b313*b335 + 0.5
*b313*b340 + 0.5*b313*b345 + 0.5*b313*b347 + 0.5*b313*b348 + b313*b352 +
0.5*b313*b354 + 0.5*b313*b358 + 0.5*b313*b360 + 0.5*b313*b380 + 0.5*b313*
b385 + 0.5*b313*b389 + 0.5*b313*b392 + 0.5*b313*b394 + 0.5*b314*b325 + 0.5
*b314*b342 + 0.5*b314*b349 + b314*b350 + 0.5*b314*b355 + b314*b361 + 0.5*
b314*b373 + 0.5*b314*b386 + b314*b399 + b315*b319 + b315*b321 + 0.5*b315*
b322 + 0.5*b315*b329 + 0.5*b315*b331 + 0.5*b315*b357 + 0.5*b315*b363 + 0.5
*b315*b364 + b315*b366 + 0.5*b315*b370 + 0.5*b315*b371 + 0.5*b315*b375 +
0.5*b315*b382 + 0.5*b315*b387 + 0.5*b315*b395 + 0.5*b315*b398 + 0.5*b316*
b317 + 0.5*b316*b320 + 0.5*b316*b324 + 0.5*b316*b325 + b316*b333 + 0.5*
b316*b349 + b316*b356 + 0.5*b316*b377 + 0.5*b316*b384 + 0.5*b316*b387 +
0.5*b316*b388 + 0.5*b317*b324 + 0.5*b317*b325 + 0.5*b317*b333 + 0.5*b317*
b349 + 0.5*b317*b356 + 0.5*b317*b384 + 0.5*b317*b387 + 0.5*b317*b388 +
b317*x486 + 0.5*b318*b330 + 0.5*b318*b334 + 0.5*b318*b336 + 0.5*b318*b337
+ 0.5*b318*b339 + 0.5*b318*b348 + 0.5*b318*b363 + 0.5*b318*b371 + 0.5*
b318*b375 + 0.5*b318*b392 + b319*b321 + 0.5*b319*b322 + 0.5*b319*b329 +
0.5*b319*b331 + 0.5*b319*b357 + 0.5*b319*b363 + 0.5*b319*b364 + b319*b366
+ 0.5*b319*b370 + 0.5*b319*b371 + 0.5*b319*b375 + 0.5*b319*b382 + 0.5*
b319*b387 + 0.5*b319*b395 + 0.5*b319*b398 + 0.5*b320*b326 + 0.5*b320*b333
+ 0.5*b320*b356 + 0.5*b320*b364 + b320*b377 + 0.5*b320*b386 + 0.5*b321*
b322 + 0.5*b321*b329 + 0.5*b321*b331 + 0.5*b321*b357 + 0.5*b321*b363 + 0.5
*b321*b364 + b321*b366 + 0.5*b321*b370 + 0.5*b321*b371 + 0.5*b321*b375 +
0.5*b321*b382 + 0.5*b321*b387 + 0.5*b321*b395 + 0.5*b321*b398 + 0.5*b322*
b331 + 0.5*b322*b340 + 0.5*b322*b344 + 0.5*b322*b363 + 0.5*b322*b364 + 0.5
*b322*b366 + 0.5*b322*b367 + 0.5*b322*b371 + 0.5*b322*b372 + 0.5*b322*b375
+ 0.5*b322*b382 + 0.5*b322*b383 + 0.5*b322*b387 + 0.5*b322*b395 + 0.5*
b322*b398 + 0.5*b323*b327 + 0.5*b323*b328 + 0.5*b323*b343 + 0.5*b323*b346
+ 0.5*b323*b347 + 0.5*b323*b351 + 0.5*b323*b353 + 0.5*b323*b359 + 0.5*
b323*b360 + 0.5*b323*b362 + 0.5*b323*b365 + 0.5*b323*b368 + 0.5*b323*b374
+ 0.5*b323*b376 + 0.5*b323*b390 + 0.5*b323*b393 + b323*b396 + 0.5*b323*
b397 + 0.5*b323*b400 + 0.5*b324*b325 + 0.5*b324*b326 + 0.5*b324*b329 + 0.5
*b324*b333 + 0.5*b324*b349 + 0.5*b324*b356 + 0.5*b324*b370 + b324*b384 +
0.5*b324*b387 + 0.5*b324*b388 + 0.5*b325*b333 + 0.5*b325*b342 + b325*b349
+ 0.5*b325*b350 + 0.5*b325*b355 + 0.5*b325*b356 + 0.5*b325*b361 + 0.5*
b325*b384 + 0.5*b325*b386 + 0.5*b325*b387 + 0.5*b325*b388 + 0.5*b325*b399
+ 0.5*b326*b329 + 0.5*b326*b364 + 0.5*b326*b370 + 0.5*b326*b377 + 0.5*
b326*b384 + 0.5*b326*b386 + 0.5*b327*b328 + 0.5*b327*b330 + 0.5*b327*b332
+ 0.5*b327*b335 + 0.5*b327*b343 + 0.5*b327*b345 + 0.5*b327*b346 + b327*
b347 + 0.5*b327*b348 + 0.5*b327*b352 + 0.5*b327*b353 + 0.5*b327*b354 + 0.5
*b327*b358 + 0.5*b327*b359 + b327*b360 + 0.5*b327*b362 + 0.5*b327*b380 +
0.5*b327*b385 + 0.5*b327*b389 + 0.5*b327*b392 + 0.5*b327*b393 + 0.5*b327*
b394 + 0.5*b327*b396 + 0.5*b327*b397 + 0.5*b327*b400 + 0.5*b328*b343 + 0.5
*b328*b346 + 0.5*b328*b347 + 0.5*b328*b353 + 0.5*b328*b359 + 0.5*b328*b360
+ 0.5*b328*b362 + 0.5*b328*b393 + 0.5*b328*b396 + 0.5*b328*b397 + 0.5*
b328*b400 + b328*x482 + 0.5*b329*b357 + 0.5*b329*b366 + b329*b370 + 0.5*
b329*b384 + 0.5*b330*b332 + 0.5*b330*b335 + 0.5*b330*b336 + 0.5*b330*b339
+ 0.5*b330*b345 + 0.5*b330*b347 + b330*b348 + 0.5*b330*b352 + 0.5*b330*
b354 + 0.5*b330*b358 + 0.5*b330*b360 + 0.5*b330*b380 + 0.5*b330*b385 + 0.5
*b330*b389 + b330*b392 + 0.5*b330*b394 + 0.5*b331*b341 + 0.5*b331*b363 +
0.5*b331*b364 + 0.5*b331*b366 + 0.5*b331*b371 + 0.5*b331*b375 + 0.5*b331*
b382 + 0.5*b331*b387 + b331*b395 + 0.5*b331*b398 + b331*x480 + 0.5*b332*
b335 + 0.5*b332*b345 + 0.5*b332*b347 + 0.5*b332*b348 + 0.5*b332*b352 +
b332*b354 + b332*b358 + 0.5*b332*b360 + 0.5*b332*b380 + 0.5*b332*b385 +
0.5*b332*b389 + 0.5*b332*b392 + 0.5*b332*b394 + 0.5*b332*b419 + 0.5*b332*
b458 + 0.5*b332*b464 + 0.5*b333*b349 + b333*b356 + 0.5*b333*b377 + 0.5*
b333*b384 + 0.5*b333*b387 + 0.5*b333*b388 + b334*b337 + 0.5*b334*b345 +
0.5*b334*b363 + 0.5*b334*b365 + 0.5*b334*b371 + 0.5*b334*b374 + 0.5*b334*
b375 + 0.5*b334*b378 + 0.5*b334*b379 + 0.5*b334*b389 + 0.5*b334*b394 + 0.5
*b335*b345 + 0.5*b335*b347 + 0.5*b335*b348 + 0.5*b335*b352 + 0.5*b335*b354
+ 0.5*b335*b358 + 0.5*b335*b360 + b335*b380 + b335*b385 + 0.5*b335*b389
+ 0.5*b335*b392 + 0.5*b335*b394 + b336*b339 + 0.5*b336*b348 + 0.5*b336*
b353 + 0.5*b336*b359 + 0.5*b336*b362 + 0.5*b336*b378 + 0.5*b336*b379 + 0.5
*b336*b391 + 0.5*b336*b392 + b336*x481 + 0.5*b337*b345 + 0.5*b337*b363 +
0.5*b337*b365 + 0.5*b337*b371 + 0.5*b337*b374 + 0.5*b337*b375 + 0.5*b337*
b378 + 0.5*b337*b379 + 0.5*b337*b389 + 0.5*b337*b394 + 0.5*b338*b369 + 0.5
*b338*b373 + 0.5*b339*b348 + 0.5*b339*b353 + 0.5*b339*b359 + 0.5*b339*b362
+ 0.5*b339*b378 + 0.5*b339*b379 + 0.5*b339*b391 + 0.5*b339*b392 + b339*
x481 + 0.5*b340*b344 + 0.5*b340*b352 + 0.5*b340*b367 + 0.5*b340*b372 + 0.5
*b340*b383 + 0.5*b341*b344 + 0.5*b341*b357 + 0.5*b341*b367 + 0.5*b341*b372
+ 0.5*b341*b381 + 0.5*b341*b383 + 0.5*b341*b395 + b341*x480 + 0.5*b342*
b349 + 0.5*b342*b350 + b342*b355 + 0.5*b342*b361 + 0.5*b342*b386 + 0.5*
b342*b399 + 0.5*b343*b346 + 0.5*b343*b347 + 0.5*b343*b353 + 0.5*b343*b359
+ 0.5*b343*b360 + 0.5*b343*b362 + b343*b393 + 0.5*b343*b396 + 0.5*b343*
b397 + b343*b400 + b343*x485 + 0.5*b344*b357 + b344*b367 + b344*b372 + 0.5
*b344*b381 + b344*b383 + 0.5*b345*b347 + 0.5*b345*b348 + 0.5*b345*b352 +
0.5*b345*b354 + 0.5*b345*b358 + 0.5*b345*b360 + 0.5*b345*b365 + 0.5*b345*
b374 + 0.5*b345*b378 + 0.5*b345*b379 + 0.5*b345*b380 + 0.5*b345*b385 +
b345*b389 + 0.5*b345*b392 + b345*b394 + 0.5*b346*b347 + 0.5*b346*b353 +
0.5*b346*b359 + 0.5*b346*b360 + 0.5*b346*b362 + 0.5*b346*b393 + 0.5*b346*
b396 + 0.5*b346*b397 + 0.5*b346*b400 + b346*x477 + 0.5*b347*b348 + 0.5*
b347*b352 + 0.5*b347*b353 + 0.5*b347*b354 + 0.5*b347*b358 + 0.5*b347*b359
+ b347*b360 + 0.5*b347*b362 + 0.5*b347*b380 + 0.5*b347*b385 + 0.5*b347*
b389 + 0.5*b347*b392 + 0.5*b347*b393 + 0.5*b347*b394 + 0.5*b347*b396 + 0.5
*b347*b397 + 0.5*b347*b400 + 0.5*b348*b352 + 0.5*b348*b354 + 0.5*b348*b358
+ 0.5*b348*b360 + 0.5*b348*b380 + 0.5*b348*b385 + 0.5*b348*b389 + b348*
b392 + 0.5*b348*b394 + 0.5*b349*b350 + 0.5*b349*b355 + 0.5*b349*b356 + 0.5
*b349*b361 + 0.5*b349*b384 + 0.5*b349*b386 + 0.5*b349*b387 + 0.5*b349*b388
+ 0.5*b349*b399 + 0.5*b350*b355 + b350*b361 + 0.5*b350*b373 + 0.5*b350*
b386 + b350*b399 + 0.5*b351*b365 + b351*b368 + 0.5*b351*b374 + b351*b376
+ b351*b390 + 0.5*b351*b391 + 0.5*b351*b396 + 0.5*b352*b354 + 0.5*b352*
b358 + 0.5*b352*b360 + 0.5*b352*b380 + 0.5*b352*b385 + 0.5*b352*b389 + 0.5
*b352*b392 + 0.5*b352*b394 + b353*b359 + 0.5*b353*b360 + b353*b362 + 0.5*
b353*b378 + 0.5*b353*b379 + 0.5*b353*b391 + 0.5*b353*b393 + 0.5*b353*b396
+ 0.5*b353*b397 + 0.5*b353*b400 + b353*x481 + b354*b358 + 0.5*b354*b360
+ 0.5*b354*b380 + 0.5*b354*b385 + 0.5*b354*b389 + 0.5*b354*b392 + 0.5*
b354*b394 + 0.5*b354*b419 + 0.5*b354*b458 + 0.5*b354*b464 + 0.5*b355*b361
+ 0.5*b355*b386 + 0.5*b355*b399 + 0.5*b356*b377 + 0.5*b356*b384 + 0.5*
b356*b387 + 0.5*b356*b388 + 0.5*b357*b366 + 0.5*b357*b367 + 0.5*b357*b370
+ 0.5*b357*b372 + 0.5*b357*b381 + 0.5*b357*b383 + 0.5*b358*b360 + 0.5*
b358*b380 + 0.5*b358*b385 + 0.5*b358*b389 + 0.5*b358*b392 + 0.5*b358*b394
+ 0.5*b358*b419 + 0.5*b358*b458 + 0.5*b358*b464 + 0.5*b359*b360 + b359*
b362 + 0.5*b359*b378 + 0.5*b359*b379 + 0.5*b359*b391 + 0.5*b359*b393 + 0.5
*b359*b396 + 0.5*b359*b397 + 0.5*b359*b400 + b359*x481 + 0.5*b360*b362 +
0.5*b360*b380 + 0.5*b360*b385 + 0.5*b360*b389 + 0.5*b360*b392 + 0.5*b360*
b393 + 0.5*b360*b394 + 0.5*b360*b396 + 0.5*b360*b397 + 0.5*b360*b400 + 0.5
*b361*b373 + 0.5*b361*b386 + b361*b399 + 0.5*b362*b378 + 0.5*b362*b379 +
0.5*b362*b391 + 0.5*b362*b393 + 0.5*b362*b396 + 0.5*b362*b397 + 0.5*b362*
b400 + b362*x481 + 0.5*b363*b364 + 0.5*b363*b366 + b363*b371 + b363*b375
+ 0.5*b363*b382 + 0.5*b363*b387 + 0.5*b363*b395 + 0.5*b363*b398 + 0.5*
b364*b366 + 0.5*b364*b371 + 0.5*b364*b375 + 0.5*b364*b377 + 0.5*b364*b382
+ 0.5*b364*b386 + 0.5*b364*b387 + 0.5*b364*b395 + 0.5*b364*b398 + 0.5*
b365*b368 + b365*b374 + 0.5*b365*b376 + 0.5*b365*b378 + 0.5*b365*b379 +
0.5*b365*b389 + 0.5*b365*b390 + 0.5*b365*b394 + 0.5*b365*b396 + 0.5*b366*
b370 + 0.5*b366*b371 + 0.5*b366*b375 + 0.5*b366*b382 + 0.5*b366*b387 + 0.5
*b366*b395 + 0.5*b366*b398 + b367*b372 + 0.5*b367*b381 + b367*b383 + 0.5*
b368*b374 + b368*b376 + b368*b390 + 0.5*b368*b391 + 0.5*b368*b396 + 0.5*
b370*b384 + b371*b375 + 0.5*b371*b382 + 0.5*b371*b387 + 0.5*b371*b395 +
0.5*b371*b398 + 0.5*b372*b381 + b372*b383 + 0.5*b373*b399 + 0.5*b374*b376
+ 0.5*b374*b378 + 0.5*b374*b379 + 0.5*b374*b389 + 0.5*b374*b390 + 0.5*
b374*b394 + 0.5*b374*b396 + 0.5*b375*b382 + 0.5*b375*b387 + 0.5*b375*b395
+ 0.5*b375*b398 + b376*b390 + 0.5*b376*b391 + 0.5*b376*b396 + 0.5*b377*
b386 + b378*b379 + 0.5*b378*b389 + 0.5*b378*b391 + 0.5*b378*b394 + b378*
x481 + 0.5*b379*b389 + 0.5*b379*b391 + 0.5*b379*b394 + b379*x481 + b380*
b385 + 0.5*b380*b389 + 0.5*b380*b392 + 0.5*b380*b394 + 0.5*b381*b382 + 0.5
*b381*b383 + 0.5*b381*b398 + 0.5*b382*b387 + 0.5*b382*b395 + b382*b398 +
0.5*b384*b387 + 0.5*b384*b388 + 0.5*b385*b389 + 0.5*b385*b392 + 0.5*b385*
b394 + 0.5*b386*b399 + 0.5*b387*b388 + 0.5*b387*b395 + 0.5*b387*b398 +
b388*x487 + 0.5*b389*b392 + b389*b394 + 0.5*b390*b391 + 0.5*b390*b396 +
b391*x481 + 0.5*b392*b394 + 0.5*b393*b396 + 0.5*b393*b397 + b393*b400 +
b393*x485 + 0.5*b395*b398 + b395*x480 + 0.5*b396*b397 + 0.5*b396*b400 +
0.5*b397*b400 + b397*x484 + b400*x485 + 0.5*b401*b402 + 0.5*b401*b413 +
0.5*b401*b417 + 0.5*b401*b418 + 0.5*b401*b420 + 0.5*b401*b423 + 0.5*b401*
b424 + 0.5*b401*b426 + 0.5*b401*b430 + 0.5*b401*b431 + 0.5*b401*b433 + 0.5
*b401*b434 + 0.5*b401*b435 + b401*b437 + 0.5*b401*b439 + 0.5*b401*b440 +
0.5*b401*b442 + 0.5*b401*b443 + 0.5*b401*b444 + 0.5*b401*b450 + 0.5*b401*
b451 + 0.5*b401*b452 + b401*b453 + b401*b463 + 0.5*b401*b465 + 0.5*b402*
b405 + 0.5*b402*b406 + 0.5*b402*b416 + 0.5*b402*b417 + 0.5*b402*b418 + 0.5
*b402*b420 + b402*b423 + 0.5*b402*b426 + 0.5*b402*b430 + 0.5*b402*b431 +
0.5*b402*b433 + 0.5*b402*b434 + 0.5*b402*b435 + 0.5*b402*b437 + 0.5*b402*
b440 + b402*b442 + 0.5*b402*b443 + 0.5*b402*b444 + 0.5*b402*b451 + b402*
b452 + 0.5*b402*b453 + 0.5*b402*b456 + 0.5*b402*b459 + 0.5*b402*b462 + 0.5
*b402*b463 + 0.5*b402*b465 + 0.5*b402*b469 + 0.5*b402*b471 + b403*b404 +
0.5*b403*b419 + b403*b428 + b403*b429 + 0.5*b403*b433 + 0.5*b403*b435 +
0.5*b403*b443 + 0.5*b403*b458 + 0.5*b403*b464 + 0.5*b403*b465 + 0.5*b404*
b419 + b404*b428 + b404*b429 + 0.5*b404*b433 + 0.5*b404*b435 + 0.5*b404*
b443 + 0.5*b404*b458 + 0.5*b404*b464 + 0.5*b404*b465 + 0.5*b405*b406 +
b405*b416 + 0.5*b405*b421 + 0.5*b405*b422 + 0.5*b405*b423 + 0.5*b405*b425
+ 0.5*b405*b436 + 0.5*b405*b438 + 0.5*b405*b441 + 0.5*b405*b442 + 0.5*
b405*b452 + 0.5*b405*b454 + 0.5*b405*b455 + 0.5*b405*b456 + 0.5*b405*b457
+ 0.5*b405*b459 + 0.5*b405*b462 + b405*b469 + b405*b471 + 0.5*b406*b407
+ 0.5*b406*b408 + 0.5*b406*b409 + 0.5*b406*b411 + 0.5*b406*b412 + 0.5*
b406*b413 + 0.5*b406*b414 + 0.5*b406*b415 + 0.5*b406*b416 + 0.5*b406*b423
+ 0.5*b406*b424 + 0.5*b406*b427 + 0.5*b406*b432 + 0.5*b406*b439 + 0.5*
b406*b442 + 0.5*b406*b445 + 0.5*b406*b446 + 0.5*b406*b447 + 0.5*b406*b448
+ 0.5*b406*b450 + 0.5*b406*b452 + b406*b456 + b406*b459 + 0.5*b406*b460
+ 0.5*b406*b461 + b406*b462 + 0.5*b406*b468 + 0.5*b406*b469 + 0.5*b406*
b470 + 0.5*b406*b471 + 0.5*b406*b472 + 0.5*b406*b473 + 0.5*b406*b474 + 0.5
*b407*b408 + b407*b409 + 0.5*b407*b411 + 0.5*b407*b412 + 0.5*b407*b413 +
0.5*b407*b414 + b407*b415 + 0.5*b407*b417 + 0.5*b407*b424 + 0.5*b407*b426
+ 0.5*b407*b427 + 0.5*b407*b431 + 0.5*b407*b432 + 0.5*b407*b439 + 0.5*
b407*b440 + 0.5*b407*b445 + 0.5*b407*b446 + 0.5*b407*b447 + 0.5*b407*b448
+ 0.5*b407*b450 + 0.5*b407*b456 + 0.5*b407*b459 + 0.5*b407*b460 + b407*
b461 + 0.5*b407*b462 + 0.5*b407*b468 + 0.5*b407*b470 + 0.5*b407*b472 + 0.5
*b407*b473 + 0.5*b407*b474 + 0.5*b408*b409 + 0.5*b408*b411 + 0.5*b408*b412
+ 0.5*b408*b413 + 0.5*b408*b414 + 0.5*b408*b415 + 0.5*b408*b424 + 0.5*
b408*b427 + 0.5*b408*b432 + 0.5*b408*b439 + 0.5*b408*b445 + 0.5*b408*b446
+ 0.5*b408*b447 + b408*b448 + 0.5*b408*b450 + 0.5*b408*b454 + 0.5*b408*
b456 + 0.5*b408*b459 + b408*b460 + 0.5*b408*b461 + 0.5*b408*b462 + 0.5*
b408*b468 + b408*b470 + 0.5*b408*b472 + 0.5*b408*b473 + 0.5*b408*b474 +
0.5*b409*b411 + 0.5*b409*b412 + 0.5*b409*b413 + 0.5*b409*b414 + b409*b415
+ 0.5*b409*b417 + 0.5*b409*b424 + 0.5*b409*b426 + 0.5*b409*b427 + 0.5*
b409*b431 + 0.5*b409*b432 + 0.5*b409*b439 + 0.5*b409*b440 + 0.5*b409*b445
+ 0.5*b409*b446 + 0.5*b409*b447 + 0.5*b409*b448 + 0.5*b409*b450 + 0.5*
b409*b456 + 0.5*b409*b459 + 0.5*b409*b460 + b409*b461 + 0.5*b409*b462 +
0.5*b409*b468 + 0.5*b409*b470 + 0.5*b409*b472 + 0.5*b409*b473 + 0.5*b409*
b474 + 0.5*b410*b411 + 0.5*b410*b421 + 0.5*b410*b425 + 0.5*b410*b441 + 0.5
*b410*b445 + 0.5*b410*b446 + b410*b449 + 0.5*b410*b457 + b410*b466 + b410*
b467 + 0.5*b410*b474 + 0.5*b411*b412 + 0.5*b411*b413 + 0.5*b411*b414 + 0.5
*b411*b415 + 0.5*b411*b421 + 0.5*b411*b424 + 0.5*b411*b425 + 0.5*b411*b427
+ 0.5*b411*b432 + 0.5*b411*b439 + 0.5*b411*b441 + b411*b445 + b411*b446
+ 0.5*b411*b447 + 0.5*b411*b448 + 0.5*b411*b449 + 0.5*b411*b450 + 0.5*
b411*b456 + 0.5*b411*b457 + 0.5*b411*b459 + 0.5*b411*b460 + 0.5*b411*b461
+ 0.5*b411*b462 + 0.5*b411*b466 + 0.5*b411*b467 + 0.5*b411*b468 + 0.5*
b411*b470 + 0.5*b411*b472 + 0.5*b411*b473 + b411*b474 + 0.5*b412*b413 +
b412*b414 + 0.5*b412*b415 + 0.5*b412*b424 + 0.5*b412*b427 + 0.5*b412*b432
+ 0.5*b412*b434 + 0.5*b412*b439 + 0.5*b412*b445 + 0.5*b412*b446 + b412*
b447 + 0.5*b412*b448 + 0.5*b412*b450 + 0.5*b412*b451 + 0.5*b412*b456 + 0.5
*b412*b459 + 0.5*b412*b460 + 0.5*b412*b461 + 0.5*b412*b462 + 0.5*b412*b468
+ 0.5*b412*b470 + 0.5*b412*b472 + b412*b473 + 0.5*b412*b474 + 0.5*b413*
b414 + 0.5*b413*b415 + b413*b424 + 0.5*b413*b427 + 0.5*b413*b432 + 0.5*
b413*b437 + b413*b439 + 0.5*b413*b445 + 0.5*b413*b446 + 0.5*b413*b447 +
0.5*b413*b448 + b413*b450 + 0.5*b413*b453 + 0.5*b413*b456 + 0.5*b413*b459
+ 0.5*b413*b460 + 0.5*b413*b461 + 0.5*b413*b462 + 0.5*b413*b463 + 0.5*
b413*b468 + 0.5*b413*b470 + 0.5*b413*b472 + 0.5*b413*b473 + 0.5*b413*b474
+ 0.5*b414*b415 + 0.5*b414*b424 + 0.5*b414*b427 + 0.5*b414*b432 + 0.5*
b414*b434 + 0.5*b414*b439 + 0.5*b414*b445 + 0.5*b414*b446 + b414*b447 +
0.5*b414*b448 + 0.5*b414*b450 + 0.5*b414*b451 + 0.5*b414*b456 + 0.5*b414*
b459 + 0.5*b414*b460 + 0.5*b414*b461 + 0.5*b414*b462 + 0.5*b414*b468 + 0.5
*b414*b470 + 0.5*b414*b472 + b414*b473 + 0.5*b414*b474 + 0.5*b415*b417 +
0.5*b415*b424 + 0.5*b415*b426 + 0.5*b415*b427 + 0.5*b415*b431 + 0.5*b415*
b432 + 0.5*b415*b439 + 0.5*b415*b440 + 0.5*b415*b445 + 0.5*b415*b446 + 0.5
*b415*b447 + 0.5*b415*b448 + 0.5*b415*b450 + 0.5*b415*b456 + 0.5*b415*b459
+ 0.5*b415*b460 + b415*b461 + 0.5*b415*b462 + 0.5*b415*b468 + 0.5*b415*
b470 + 0.5*b415*b472 + 0.5*b415*b473 + 0.5*b415*b474 + 0.5*b416*b421 + 0.5
*b416*b422 + 0.5*b416*b423 + 0.5*b416*b425 + 0.5*b416*b436 + 0.5*b416*b438
+ 0.5*b416*b441 + 0.5*b416*b442 + 0.5*b416*b452 + 0.5*b416*b454 + 0.5*
b416*b455 + 0.5*b416*b456 + 0.5*b416*b457 + 0.5*b416*b459 + 0.5*b416*b462
+ b416*b469 + b416*b471 + 0.5*b417*b418 + 0.5*b417*b420 + 0.5*b417*b423
+ b417*b426 + 0.5*b417*b430 + b417*b431 + 0.5*b417*b433 + 0.5*b417*b434
+ 0.5*b417*b435 + 0.5*b417*b437 + b417*b440 + 0.5*b417*b442 + 0.5*b417*
b443 + 0.5*b417*b444 + 0.5*b417*b451 + 0.5*b417*b452 + 0.5*b417*b453 + 0.5
*b417*b461 + 0.5*b417*b463 + 0.5*b417*b465 + b418*b420 + 0.5*b418*b422 +
0.5*b418*b423 + 0.5*b418*b426 + 0.5*b418*b427 + b418*b430 + 0.5*b418*b431
+ 0.5*b418*b432 + 0.5*b418*b433 + 0.5*b418*b434 + 0.5*b418*b435 + 0.5*
b418*b436 + 0.5*b418*b437 + 0.5*b418*b438 + 0.5*b418*b440 + 0.5*b418*b442
+ 0.5*b418*b443 + b418*b444 + 0.5*b418*b451 + 0.5*b418*b452 + 0.5*b418*
b453 + 0.5*b418*b455 + 0.5*b418*b463 + 0.5*b418*b465 + 0.5*b418*b468 + 0.5
*b418*b472 + 0.5*b419*b428 + 0.5*b419*b429 + b419*b458 + b419*b464 + 0.5*
b420*b422 + 0.5*b420*b423 + 0.5*b420*b426 + 0.5*b420*b427 + b420*b430 +
0.5*b420*b431 + 0.5*b420*b432 + 0.5*b420*b433 + 0.5*b420*b434 + 0.5*b420*
b435 + 0.5*b420*b436 + 0.5*b420*b437 + 0.5*b420*b438 + 0.5*b420*b440 + 0.5
*b420*b442 + 0.5*b420*b443 + b420*b444 + 0.5*b420*b451 + 0.5*b420*b452 +
0.5*b420*b453 + 0.5*b420*b455 + 0.5*b420*b463 + 0.5*b420*b465 + 0.5*b420*
b468 + 0.5*b420*b472 + 0.5*b421*b422 + b421*b425 + 0.5*b421*b436 + 0.5*
b421*b438 + b421*b441 + 0.5*b421*b445 + 0.5*b421*b446 + 0.5*b421*b449 +
0.5*b421*b454 + 0.5*b421*b455 + b421*b457 + 0.5*b421*b466 + 0.5*b421*b467
+ 0.5*b421*b469 + 0.5*b421*b471 + 0.5*b421*b474 + 0.5*b422*b425 + 0.5*
b422*b427 + 0.5*b422*b430 + 0.5*b422*b432 + b422*b436 + b422*b438 + 0.5*
b422*b441 + 0.5*b422*b444 + 0.5*b422*b454 + b422*b455 + 0.5*b422*b457 +
0.5*b422*b468 + 0.5*b422*b469 + 0.5*b422*b471 + 0.5*b422*b472 + 0.5*b423*
b426 + 0.5*b423*b430 + 0.5*b423*b431 + 0.5*b423*b433 + 0.5*b423*b434 + 0.5
*b423*b435 + 0.5*b423*b437 + 0.5*b423*b440 + b423*b442 + 0.5*b423*b443 +
0.5*b423*b444 + 0.5*b423*b451 + b423*b452 + 0.5*b423*b453 + 0.5*b423*b456
+ 0.5*b423*b459 + 0.5*b423*b462 + 0.5*b423*b463 + 0.5*b423*b465 + 0.5*
b423*b469 + 0.5*b423*b471 + 0.5*b424*b427 + 0.5*b424*b432 + 0.5*b424*b437
+ b424*b439 + 0.5*b424*b445 + 0.5*b424*b446 + 0.5*b424*b447 + 0.5*b424*
b448 + b424*b450 + 0.5*b424*b453 + 0.5*b424*b456 + 0.5*b424*b459 + 0.5*
b424*b460 + 0.5*b424*b461 + 0.5*b424*b462 + 0.5*b424*b463 + 0.5*b424*b468
+ 0.5*b424*b470 + 0.5*b424*b472 + 0.5*b424*b473 + 0.5*b424*b474 + 0.5*
b425*b436 + 0.5*b425*b438 + b425*b441 + 0.5*b425*b445 + 0.5*b425*b446 +
0.5*b425*b449 + 0.5*b425*b454 + 0.5*b425*b455 + b425*b457 + 0.5*b425*b466
+ 0.5*b425*b467 + 0.5*b425*b469 + 0.5*b425*b471 + 0.5*b425*b474 + 0.5*
b426*b430 + b426*b431 + 0.5*b426*b433 + 0.5*b426*b434 + 0.5*b426*b435 +
0.5*b426*b437 + b426*b440 + 0.5*b426*b442 + 0.5*b426*b443 + 0.5*b426*b444
+ 0.5*b426*b451 + 0.5*b426*b452 + 0.5*b426*b453 + 0.5*b426*b461 + 0.5*
b426*b463 + 0.5*b426*b465 + 0.5*b427*b430 + b427*b432 + 0.5*b427*b436 +
0.5*b427*b438 + 0.5*b427*b439 + 0.5*b427*b444 + 0.5*b427*b445 + 0.5*b427*
b446 + 0.5*b427*b447 + 0.5*b427*b448 + 0.5*b427*b450 + 0.5*b427*b455 + 0.5
*b427*b456 + 0.5*b427*b459 + 0.5*b427*b460 + 0.5*b427*b461 + 0.5*b427*b462
+ b427*b468 + 0.5*b427*b470 + b427*b472 + 0.5*b427*b473 + 0.5*b427*b474
+ b428*b429 + 0.5*b428*b433 + 0.5*b428*b435 + 0.5*b428*b443 + 0.5*b428*
b458 + 0.5*b428*b464 + 0.5*b428*b465 + 0.5*b429*b433 + 0.5*b429*b435 + 0.5
*b429*b443 + 0.5*b429*b458 + 0.5*b429*b464 + 0.5*b429*b465 + 0.5*b430*b431
+ 0.5*b430*b432 + 0.5*b430*b433 + 0.5*b430*b434 + 0.5*b430*b435 + 0.5*
b430*b436 + 0.5*b430*b437 + 0.5*b430*b438 + 0.5*b430*b440 + 0.5*b430*b442
+ 0.5*b430*b443 + b430*b444 + 0.5*b430*b451 + 0.5*b430*b452 + 0.5*b430*
b453 + 0.5*b430*b455 + 0.5*b430*b463 + 0.5*b430*b465 + 0.5*b430*b468 + 0.5
*b430*b472 + 0.5*b431*b433 + 0.5*b431*b434 + 0.5*b431*b435 + 0.5*b431*b437
+ b431*b440 + 0.5*b431*b442 + 0.5*b431*b443 + 0.5*b431*b444 + 0.5*b431*
b451 + 0.5*b431*b452 + 0.5*b431*b453 + 0.5*b431*b461 + 0.5*b431*b463 + 0.5
*b431*b465 + 0.5*b432*b436 + 0.5*b432*b438 + 0.5*b432*b439 + 0.5*b432*b444
+ 0.5*b432*b445 + 0.5*b432*b446 + 0.5*b432*b447 + 0.5*b432*b448 + 0.5*
b432*b450 + 0.5*b432*b455 + 0.5*b432*b456 + 0.5*b432*b459 + 0.5*b432*b460
+ 0.5*b432*b461 + 0.5*b432*b462 + b432*b468 + 0.5*b432*b470 + b432*b472
+ 0.5*b432*b473 + 0.5*b432*b474 + 0.5*b433*b434 + b433*b435 + 0.5*b433*
b437 + 0.5*b433*b440 + 0.5*b433*b442 + b433*b443 + 0.5*b433*b444 + 0.5*
b433*b451 + 0.5*b433*b452 + 0.5*b433*b453 + 0.5*b433*b463 + b433*b465 +
0.5*b434*b435 + 0.5*b434*b437 + 0.5*b434*b440 + 0.5*b434*b442 + 0.5*b434*
b443 + 0.5*b434*b444 + 0.5*b434*b447 + b434*b451 + 0.5*b434*b452 + 0.5*
b434*b453 + 0.5*b434*b463 + 0.5*b434*b465 + 0.5*b434*b473 + 0.5*b435*b437
+ 0.5*b435*b440 + 0.5*b435*b442 + b435*b443 + 0.5*b435*b444 + 0.5*b435*
b451 + 0.5*b435*b452 + 0.5*b435*b453 + 0.5*b435*b463 + b435*b465 + b436*
b438 + 0.5*b436*b441 + 0.5*b436*b444 + 0.5*b436*b454 + b436*b455 + 0.5*
b436*b457 + 0.5*b436*b468 + 0.5*b436*b469 + 0.5*b436*b471 + 0.5*b436*b472
+ 0.5*b437*b439 + 0.5*b437*b440 + 0.5*b437*b442 + 0.5*b437*b443 + 0.5*
b437*b444 + 0.5*b437*b450 + 0.5*b437*b451 + 0.5*b437*b452 + b437*b453 +
b437*b463 + 0.5*b437*b465 + 0.5*b438*b441 + 0.5*b438*b444 + 0.5*b438*b454
+ b438*b455 + 0.5*b438*b457 + 0.5*b438*b468 + 0.5*b438*b469 + 0.5*b438*
b471 + 0.5*b438*b472 + 0.5*b439*b445 + 0.5*b439*b446 + 0.5*b439*b447 + 0.5
*b439*b448 + b439*b450 + 0.5*b439*b453 + 0.5*b439*b456 + 0.5*b439*b459 +
0.5*b439*b460 + 0.5*b439*b461 + 0.5*b439*b462 + 0.5*b439*b463 + 0.5*b439*
b468 + 0.5*b439*b470 + 0.5*b439*b472 + 0.5*b439*b473 + 0.5*b439*b474 + 0.5
*b440*b442 + 0.5*b440*b443 + 0.5*b440*b444 + 0.5*b440*b451 + 0.5*b440*b452
+ 0.5*b440*b453 + 0.5*b440*b461 + 0.5*b440*b463 + 0.5*b440*b465 + 0.5*
b441*b445 + 0.5*b441*b446 + 0.5*b441*b449 + 0.5*b441*b454 + 0.5*b441*b455
+ b441*b457 + 0.5*b441*b466 + 0.5*b441*b467 + 0.5*b441*b469 + 0.5*b441*
b471 + 0.5*b441*b474 + 0.5*b442*b443 + 0.5*b442*b444 + 0.5*b442*b451 +
b442*b452 + 0.5*b442*b453 + 0.5*b442*b456 + 0.5*b442*b459 + 0.5*b442*b462
+ 0.5*b442*b463 + 0.5*b442*b465 + 0.5*b442*b469 + 0.5*b442*b471 + 0.5*
b443*b444 + 0.5*b443*b451 + 0.5*b443*b452 + 0.5*b443*b453 + 0.5*b443*b463
+ b443*b465 + 0.5*b444*b451 + 0.5*b444*b452 + 0.5*b444*b453 + 0.5*b444*
b455 + 0.5*b444*b463 + 0.5*b444*b465 + 0.5*b444*b468 + 0.5*b444*b472 +
b445*b446 + 0.5*b445*b447 + 0.5*b445*b448 + 0.5*b445*b449 + 0.5*b445*b450
+ 0.5*b445*b456 + 0.5*b445*b457 + 0.5*b445*b459 + 0.5*b445*b460 + 0.5*
b445*b461 + 0.5*b445*b462 + 0.5*b445*b466 + 0.5*b445*b467 + 0.5*b445*b468
+ 0.5*b445*b470 + 0.5*b445*b472 + 0.5*b445*b473 + b445*b474 + 0.5*b446*
b447 + 0.5*b446*b448 + 0.5*b446*b449 + 0.5*b446*b450 + 0.5*b446*b456 + 0.5
*b446*b457 + 0.5*b446*b459 + 0.5*b446*b460 + 0.5*b446*b461 + 0.5*b446*b462
+ 0.5*b446*b466 + 0.5*b446*b467 + 0.5*b446*b468 + 0.5*b446*b470 + 0.5*
b446*b472 + 0.5*b446*b473 + b446*b474 + 0.5*b447*b448 + 0.5*b447*b450 +
0.5*b447*b451 + 0.5*b447*b456 + 0.5*b447*b459 + 0.5*b447*b460 + 0.5*b447*
b461 + 0.5*b447*b462 + 0.5*b447*b468 + 0.5*b447*b470 + 0.5*b447*b472 +
b447*b473 + 0.5*b447*b474 + 0.5*b448*b450 + 0.5*b448*b454 + 0.5*b448*b456
+ 0.5*b448*b459 + b448*b460 + 0.5*b448*b461 + 0.5*b448*b462 + 0.5*b448*
b468 + b448*b470 + 0.5*b448*b472 + 0.5*b448*b473 + 0.5*b448*b474 + 0.5*
b449*b457 + b449*b466 + b449*b467 + 0.5*b449*b474 + 0.5*b450*b453 + 0.5*
b450*b456 + 0.5*b450*b459 + 0.5*b450*b460 + 0.5*b450*b461 + 0.5*b450*b462
+ 0.5*b450*b463 + 0.5*b450*b468 + 0.5*b450*b470 + 0.5*b450*b472 + 0.5*
b450*b473 + 0.5*b450*b474 + 0.5*b451*b452 + 0.5*b451*b453 + 0.5*b451*b463
+ 0.5*b451*b465 + 0.5*b451*b473 + 0.5*b452*b453 + 0.5*b452*b456 + 0.5*
b452*b459 + 0.5*b452*b462 + 0.5*b452*b463 + 0.5*b452*b465 + 0.5*b452*b469
+ 0.5*b452*b471 + b453*b463 + 0.5*b453*b465 + 0.5*b454*b455 + 0.5*b454*
b457 + 0.5*b454*b460 + 0.5*b454*b469 + 0.5*b454*b470 + 0.5*b454*b471 + 0.5
*b455*b457 + 0.5*b455*b468 + 0.5*b455*b469 + 0.5*b455*b471 + 0.5*b455*b472
+ b456*b459 + 0.5*b456*b460 + 0.5*b456*b461 + b456*b462 + 0.5*b456*b468
+ 0.5*b456*b469 + 0.5*b456*b470 + 0.5*b456*b471 + 0.5*b456*b472 + 0.5*
b456*b473 + 0.5*b456*b474 + 0.5*b457*b466 + 0.5*b457*b467 + 0.5*b457*b469
+ 0.5*b457*b471 + 0.5*b457*b474 + b458*b464 + 0.5*b459*b460 + 0.5*b459*
b461 + b459*b462 + 0.5*b459*b468 + 0.5*b459*b469 + 0.5*b459*b470 + 0.5*
b459*b471 + 0.5*b459*b472 + 0.5*b459*b473 + 0.5*b459*b474 + 0.5*b460*b461
+ 0.5*b460*b462 + 0.5*b460*b468 + b460*b470 + 0.5*b460*b472 + 0.5*b460*
b473 + 0.5*b460*b474 + 0.5*b461*b462 + 0.5*b461*b468 + 0.5*b461*b470 + 0.5
*b461*b472 + 0.5*b461*b473 + 0.5*b461*b474 + 0.5*b462*b468 + 0.5*b462*b469
+ 0.5*b462*b470 + 0.5*b462*b471 + 0.5*b462*b472 + 0.5*b462*b473 + 0.5*
b462*b474 + 0.5*b463*b465 + b466*b467 + 0.5*b466*b474 + 0.5*b467*b474 +
0.5*b468*b470 + b468*b472 + 0.5*b468*b473 + 0.5*b468*b474 + b469*b471 +
0.5*b470*b472 + 0.5*b470*b473 + 0.5*b470*b474 + 0.5*b472*b473 + 0.5*b472*
b474 + 0.5*b473*b474 =L= 100;
e4.. - b170 + b196 =G= 0;
e5.. b170 - b171 =G= 0;
e6.. b171 - b195 =G= 0;
e7.. b297 - b305 =G= 0;
e8.. - b299 + b305 =G= 0;
e9.. b299 - b397 =G= 0;
e10.. b257 - b358 =G= 0;
e11.. - b332 + b358 =G= 0;
e12.. b332 - b354 =G= 0;
e13.. - b77 + b93 =G= 0;
e14.. b77 - b98 =G= 0;
e15.. - b54 + b98 =G= 0;
e16.. b56 - b97 =G= 0;
e17.. - b95 + b97 =G= 0;
e18.. - b80 + b95 =G= 0;
e19.. - b434 + b451 =G= 0;
e20.. - b433 + b435 =G= 0;
e21.. b433 - b465 =G= 0;
e22.. - b443 + b465 =G= 0;
e23.. b401 - b453 =G= 0;
e24.. b453 - b463 =G= 0;
e25.. - b437 + b463 =G= 0;
e26.. - b417 + b431 =G= 0;
e27.. b417 - b440 =G= 0;
e28.. - b426 + b440 =G= 0;
e29.. b418 - b444 =G= 0;
e30.. - b430 + b444 =G= 0;
e31.. - b420 + b430 =G= 0;
e32.. - b402 + b442 =G= 0;
e33.. b402 - b452 =G= 0;
e34.. - b423 + b452 =G= 0;
e35.. - b79 + b105 =G= 0;
e36.. b79 - b92 =G= 0;
e37.. - b81 + b92 =G= 0;
e38.. - b78 + b91 =G= 0;
e39.. - b59 + b169 =G= 0;
e40.. b59 - b181 =G= 0;
e41.. - b177 + b181 =G= 0;
e42.. - b99 + b100 =G= 0;
e43.. - b94 + b99 =G= 0;
e44.. - b57 + b94 =G= 0;
e45.. - b101 + b102 =G= 0;
e46.. - b58 + b101 =G= 0;
e47.. b58 - b104 =G= 0;
e48.. b76 - b103 =G= 0;
e49.. - b55 + b103 =G= 0;
e50.. b55 - b96 =G= 0;
e51.. b179 - b187 =G= 0;
e52.. b180 - b194 =G= 0;
e53.. - b188 + b194 =G= 0;
e54.. b47 - b62 =G= 0;
e55.. - b46 + b62 =G= 0;
e56.. - b45 + b46 =G= 0;
e57.. - b63 + b66 =G= 0;
e58.. - b50 + b63 =G= 0;
e59.. b50 - b51 =G= 0;
e60.. b49 - b68 =G= 0;
e61.. - b48 + b68 =G= 0;
e62.. b48 - b73 =G= 0;
e63.. b192 - b197 =G= 0;
e64.. - b193 + b197 =G= 0;
e65.. - b186 + b193 =G= 0;
e66.. - b60 + b61 =G= 0;
e67.. b60 - b71 =G= 0;
e68.. - b52 + b71 =G= 0;
e69.. - b53 + b173 =G= 0;
e70.. b53 - b67 =G= 0;
e71.. b67 - b238 =G= 0;
e72.. b65 - b70 =G= 0;
e73.. - b69 + b70 =G= 0;
e74.. b64 - b72 =G= 0;
e75.. b72 - b74 =G= 0;
e76.. b74 - b75 =G= 0;
e77.. - b410 + b449 =G= 0;
e78.. b410 - b466 =G= 0;
e79.. b466 - b467 =G= 0;
e80.. b259 - b335 =G= 0;
e81.. b335 - b385 =G= 0;
e82.. - b380 + b385 =G= 0;
e83.. b268 - b326 =G= 0;
e84.. b324 - b384 =G= 0;
e85.. - b231 + b384 =G= 0;
e86.. - b217 + b231 =G= 0;
e87.. b225 - b370 =G= 0;
e88.. - b329 + b370 =G= 0;
e89.. - b304 + b329 =G= 0;
e90.. b248 - b263 =G= 0;
e91.. - b344 + b383 =G= 0;
e92.. b344 - b372 =G= 0;
e93.. - b367 + b372 =G= 0;
e94.. - b294 + b300 =G= 0;
e95.. - b209 + b294 =G= 0;
e96.. b209 - b256 =G= 0;
e97.. b184 - b191 =G= 0;
e98.. - b176 + b191 =G= 0;
e99.. - b174 + b176 =G= 0;
e100.. b303 - b357 =G= 0;
e101.. - b237 + b357 =G= 0;
e102.. - b236 + b237 =G= 0;
e103.. - b276 + b281 =G= 0;
e104.. b276 - b279 =G= 0;
e105.. b279 - b381 =G= 0;
e106.. - b436 + b455 =G= 0;
e107.. - b422 + b436 =G= 0;
e108.. b422 - b438 =G= 0;
e109.. b421 - b425 =G= 0;
e110.. b425 - b441 =G= 0;
e111.. b441 - b457 =G= 0;
e112.. b405 - b471 =G= 0;
e113.. - b416 + b471 =G= 0;
e114.. b416 - b469 =G= 0;
e115.. - b283 + b338 =G= 0;
e116.. - b272 + b283 =G= 0;
e117.. - b266 + b272 =G= 0;
e118.. b347 - b360 =G= 0;
e119.. - b327 + b360 =G= 0;
e120.. - b246 + b327 =G= 0;
e121.. b307 - b343 =G= 0;
e122.. b343 - b393 =G= 0;
e123.. b393 - b400 =G= 0;
e124.. - b301 + b323 =G= 0;
e125.. b301 - b396 =G= 0;
e126.. - b273 + b396 =G= 0;
e127.. - b269 + b353 =G= 0;
e128.. b269 - b362 =G= 0;
e129.. - b359 + b362 =G= 0;
e130.. b252 - b328 =G= 0;
e131.. - b306 + b328 =G= 0;
e132.. - b293 + b306 =G= 0;
e133.. - b183 + b185 =G= 0;
e134.. - b175 + b183 =G= 0;
e135.. b175 - b182 =G= 0;
e136.. - b412 + b447 =G= 0;
e137.. b412 - b414 =G= 0;
e138.. b414 - b473 =G= 0;
e139.. - b408 + b448 =G= 0;
e140.. b408 - b460 =G= 0;
e141.. b460 - b470 =G= 0;
e142.. b424 - b450 =G= 0;
e143.. - b439 + b450 =G= 0;
e144.. - b413 + b439 =G= 0;
e145.. - b407 + b415 =G= 0;
e146.. b407 - b409 =G= 0;
e147.. b409 - b461 =G= 0;
e148.. - b427 + b432 =G= 0;
e149.. b427 - b468 =G= 0;
e150.. b468 - b472 =G= 0;
e151.. b411 - b446 =G= 0;
e152.. b446 - b474 =G= 0;
e153.. - b445 + b474 =G= 0;
e154.. - b406 + b462 =G= 0;
e155.. b406 - b456 =G= 0;
e156.. b456 - b459 =G= 0;
e157.. - b229 + b290 =G= 0;
e158.. - b212 + b229 =G= 0;
e159.. b212 - b255 =G= 0;
e160.. - b230 + b235 =G= 0;
e161.. b230 - b292 =G= 0;
e162.. b232 - b346 =G= 0;
e163.. - b270 + b346 =G= 0;
e164.. - b242 + b270 =G= 0;
e165.. - b210 + b287 =G= 0;
e166.. - b216 + b227 =G= 0;
e167.. b216 - b295 =G= 0;
e168.. - b275 + b295 =G= 0;
e169.. b419 - b458 =G= 0;
e170.. b458 - b464 =G= 0;
e171.. - b404 + b429 =G= 0;
e172.. b404 - b428 =G= 0;
e173.. - b403 + b428 =G= 0;
e174.. - b233 + b264 =G= 0;
e175.. - b220 + b233 =G= 0;
e176.. b220 - b265 =G= 0;
e177.. b376 - b390 =G= 0;
e178.. - b368 + b390 =G= 0;
e179.. - b351 + b368 =G= 0;
e180.. b226 - b239 =G= 0;
e181.. b239 - b391 =G= 0;
e182.. - b234 + b391 =G= 0;
e183.. b223 - b342 =G= 0;
e184.. b342 - b355 =G= 0;
e185.. - b211 + b355 =G= 0;
e186.. b250 - b271 =G= 0;
e187.. - b260 + b271 =G= 0;
e188.. b260 - b386 =G= 0;
e189.. b350 - b399 =G= 0;
e190.. - b314 + b399 =G= 0;
e191.. b314 - b361 =G= 0;
e192.. b258 - b325 =G= 0;
e193.. b325 - b349 =G= 0;
e194.. - b261 + b349 =G= 0;
e195.. - b291 + b309 =G= 0;
e196.. b291 - b320 =G= 0;
e197.. b320 - b377 =G= 0;
e198.. b228 - b333 =G= 0;
e199.. - b316 + b333 =G= 0;
e200.. b316 - b356 =G= 0;
e201.. - b215 + b311 =G= 0;
e202.. b330 - b392 =G= 0;
e203.. - b348 + b392 =G= 0;
e204.. - b312 + b348 =G= 0;
e205.. - b336 + b339 =G= 0;
e206.. b253 - b322 =G= 0;
e207.. - b288 + b322 =G= 0;
e208.. - b280 + b288 =G= 0;
e209.. b363 - b375 =G= 0;
e210.. - b254 + b375 =G= 0;
e211.. b254 - b371 =G= 0;
e212.. b221 - b245 =G= 0;
e213.. b245 - b364 =G= 0;
e214.. - b251 + b364 =G= 0;
e215.. b213 - b247 =G= 0;
e216.. b247 - b286 =G= 0;
e217.. b286 - b387 =G= 0;
e218.. b321 - b366 =G= 0;
e219.. - b315 + b366 =G= 0;
e220.. b315 - b319 =G= 0;
e221.. b224 - b331 =G= 0;
e222.. b331 - b395 =G= 0;
e223.. - b219 + b395 =G= 0;
e224.. - b218 + b282 =G= 0;
e225.. b218 - b398 =G= 0;
e226.. - b382 + b398 =G= 0;
e227.. - b345 + b394 =G= 0;
e228.. - b310 + b345 =G= 0;
e229.. b310 - b389 =G= 0;
e230.. b241 - b337 =G= 0;
e231.. - b334 + b337 =G= 0;
e232.. - b243 + b334 =G= 0;
e233.. - b277 + b374 =G= 0;
e234.. - b249 + b277 =G= 0;
e235.. b249 - b365 =G= 0;
e236.. - b267 + b298 =G= 0;
e237.. b267 - b378 =G= 0;
e238.. b378 - b379 =G= 0;
e239.. - b240 + b313 =G= 0;
e240.. - b222 + b240 =G= 0;
e241.. b222 - b352 =G= 0;
e242.. - b262 + b285 =G= 0;
e243.. b262 - b340 =G= 0;
e244.. - b296 + b340 =G= 0;
e245.. - b172 + b189 =G= 0;
e246.. b172 - b190 =G= 0;
e247.. - b178 + b190 =G= 0;
* set non-default bounds
x475.fx = 0;
x476.fx = 0;
x477.fx = 0;
x478.fx = 0;
x479.fx = 0;
x480.fx = 0;
x481.fx = 0;
x482.fx = 0;
x483.fx = 0;
x484.fx = 0;
x485.fx = 0;
x486.fx = 0;
x487.fx = 0;
x488.fx = 0;
x489.fx = 0;
x490.fx = 0;
x491.fx = 0;
x492.fx = 0;
x493.fx = 0;
x494.fx = 0;
x495.fx = 0;
x496.fx = 0;
x497.fx = 0;
x498.fx = 0;
x499.fx = 0;
x500.fx = 0;
x501.fx = 0;
x502.fx = 0;
x503.fx = 0;
x504.fx = 0;
x505.fx = 0;
x506.fx = 0;
x507.fx = 0;
x508.fx = 0;
x509.fx = 0;
x510.fx = 0;
x511.fx = 0;
x512.fx = 0;
x513.fx = 0;
x514.fx = 0;
x515.fx = 0;
x516.fx = 0;
x517.fx = 0;
x518.fx = 0;
x519.fx = 0;
x520.fx = 0;
x521.fx = 0;
x522.fx = 0;
x523.fx = 0;
x524.fx = 0;
x525.fx = 0;
x526.fx = 0;
x527.fx = 0;
x528.fx = 0;
x529.fx = 0;
x530.fx = 0;
x531.fx = 0;
x532.fx = 0;
x533.fx = 0;
x534.fx = 0;
x535.fx = 0;
x536.fx = 0;
x537.fx = 0;
x538.fx = 0;
x539.fx = 0;
x540.fx = 0;
x541.fx = 0;
x542.fx = 0;
x543.fx = 0;
x544.fx = 0;
x545.fx = 0;
x546.fx = 0;
x547.fx = 0;
x548.fx = 0;
x549.fx = 0;
x550.fx = 0;
x551.fx = 0;
x552.fx = 0;
x553.fx = 0;
x554.fx = 0;
x555.fx = 0;
x556.fx = 0;
x557.fx = 0;
x558.fx = 0;
x559.fx = 0;
x560.fx = 0;
x561.fx = 0;
x562.fx = 0;
x563.fx = 0;
x564.fx = 0;
x565.fx = 0;
x566.fx = 0;
x567.fx = 0;
x568.fx = 0;
x569.fx = 0;
x570.fx = 0;
x571.fx = 0;
x572.fx = 0;
x573.fx = 0;
x574.fx = 0;
x575.fx = 0;
x576.fx = 0;
x577.fx = 0;
x578.fx = 0;
x579.fx = 0;
x580.fx = 0;
x581.fx = 0;
x582.fx = 0;
x583.fx = 0;
x584.fx = 0;
x585.fx = 0;
x586.fx = 0;
x587.fx = 0;
x588.fx = 0;
x589.fx = 0;
x590.fx = 0;
x591.fx = 0;
x592.fx = 0;
x593.fx = 0;
x594.fx = 0;
x595.fx = 0;
x596.fx = 0;
x597.fx = 0;
x598.fx = 0;
x599.fx = 0;
x600.fx = 0;
x601.fx = 0;
x602.fx = 0;
x603.fx = 0;
x604.fx = 0;
x605.fx = 0;
x606.fx = 0;
Model m / all /;
m.limrow=0; m.limcol=0;
m.tolproj=0.0;
$if NOT '%gams.u1%' == '' $include '%gams.u1%'
$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% minimizing objvar;
Last updated: 2024-12-17 Git hash: 8eaceb91