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)
-23176.19000000 p1 ( gdx sol )
(infeas: 0)
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 of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of Hessian of Lagrangian

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*        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-03-25 Git hash: 1dae024f
Imprint / Privacy Policy / License: CC-BY 4.0