MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


Instance sonet23v4

A variant of the graph partitioning problem where the weight of a cluster in the partition depends on the edges incident to its nodes. This instance has its origin in SONET/SDH optical networks.
Formats ams gms lp mod nl osil pip py
Primal Bounds (infeas ≤ 1e-08)
-22747.50000000 p1 ( gdx sol )
(infeas: 0)
Other points (infeas > 1e-08)  
Dual Bounds
-28328.87227000 (ANTIGONE)
-35299.94794000 (BARON)
-31379.51934000 (COUENNE)
-42145.18243000 (CPLEX)
-28989.00000000 (GUROBI)
-32782.50000000 (LINDO)
-30536.16618000 (SCIP)
-32200.40172000 (SHOT)
References Bonami, Pierre, Nguyen, Viet Hung, Klein, Michel, and Minoux, Michel, On the Solution of a Graph Partitioning Problem under Capacity Constraints. In Mahjoub, A. Ridha, Markakis, Vangelis, Milis, Ioannis, and Paschos, Vangelis Th., Eds, Combinatorial Optimization, Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2012, 285-296.
Source QPLIB instance 2022, contributed by Pierre Bonami
Application Graph Partitioning
Added to library 18 Aug 2018
Problem type BQCQP
#Variables 275
#Binary Variables 275
#Integer Variables 0
#Nonlinear Variables 274
#Nonlinear Binary Variables 274
#Nonlinear Integer Variables 0
Objective Sense min
Objective type quadratic
Objective curvature indefinite
#Nonzeros in Objective 274
#Nonlinear Nonzeros in Objective 274
#Constraints 275
#Linear Constraints 253
#Quadratic Constraints 22
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 0
Operands in Gen. Nonlin. Functions  
Constraints curvature indefinite
#Nonzeros in Jacobian 1011
#Nonlinear Nonzeros in Jacobian 274
#Nonzeros in (Upper-Left) Hessian of Lagrangian 3934
#Nonzeros in Diagonal of Hessian of Lagrangian 0
#Blocks in Hessian of Lagrangian 22
Minimal blocksize in Hessian of Lagrangian 2
Maximal blocksize in Hessian of Lagrangian 22
Average blocksize in Hessian of Lagrangian 12.454545
#Semicontinuities 0
#Nonlinear Semicontinuities 0
#SOS type 1 0
#SOS type 2 0
Minimal coefficient 1.0000e+00
Maximal coefficient 2.9049e+04
Infeasibility of initial point 1
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
*        276       23        0      253        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        276        1      275        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       1286      738      548        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;

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;

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,e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259
          ,e260,e261,e262,e263,e264,e265,e266,e267,e268,e269,e270,e271,e272
          ,e273,e274,e275,e276;


e1.. (-301.5*b2*b3) - 85.5*b2 - 36*b3 - 202.5*b2*b4 - 396*b4 - 418.5*b2*b5 - 
     193.5*b5 - 418.5*b2*b6 - 256.5*b6 - 283.5*b2*b7 - 103.5*b7 - 36*b2*b8 - 
     423*b8 - 234*b2*b9 - 94.5*b9 - 243*b2*b10 - 324*b10 - 288*b2*b11 - 63*b11
      - 108*b2*b12 - 63*b12 - 63*b2*b13 - 391.5*b13 - 18*b2*b14 - 148.5*b14 - 
     85.5*b2*b15 - 207*b15 - 319.5*b2*b16 - 36*b16 - 126*b2*b17 - 18*b17 - 58.5
     *b2*b18 - 153*b18 - 202.5*b2*b19 - 279*b19 - 234*b2*b20 - 247.5*b20 - 
     355.5*b2*b21 - 220.5*b21 - 49.5*b2*b22 - 27*b22 - 180*b2*b23 - 162*b23 - 
     54*b3*b4 - 256.5*b3*b5 - 216*b3*b6 - 76.5*b3*b7 - 193.5*b3*b8 - 279*b3*b9
      - 108*b3*b10 - 202.5*b3*b11 - 94.5*b3*b12 - 270*b3*b13 - 54*b3*b14 - 297*
     b3*b15 - 238.5*b3*b16 - 22.5*b3*b17 - 364.5*b3*b18 - 274.5*b3*b19 - 45*b3*
     b20 - 396*b3*b21 - 346.5*b3*b22 - 153*b3*b23 - 9*b4*b5 - 369*b4*b6 - 238.5
     *b4*b7 - 117*b4*b8 - 279*b4*b9 - 81*b4*b10 - 319.5*b4*b11 - 63*b4*b12 - 
     436.5*b4*b13 - 369*b4*b14 - 243*b4*b15 - 40.5*b4*b16 - 414*b4*b17 - 247.5*
     b4*b18 - 351*b4*b19 - 391.5*b4*b20 - 310.5*b4*b21 - 9*b4*b22 - 144*b4*b23
      - 189*b5*b6 - 63*b5*b7 - 202.5*b5*b8 - 270*b5*b9 - 301.5*b5*b10 - 9*b5*
     b11 - 189*b5*b12 - 364.5*b5*b13 - 288*b5*b14 - 369*b5*b15 - 261*b5*b16 - 
     441*b5*b17 - 162*b5*b18 - 414*b5*b19 - 13.5*b5*b20 - 279*b5*b21 - 243*b5*
     b22 - 94.5*b5*b23 - 382.5*b6*b7 - 310.5*b6*b8 - 315*b6*b9 - 90*b6*b10 - 
     337.5*b6*b11 - 360*b6*b12 - 54*b6*b13 - 369*b6*b14 - 45*b6*b15 - 445.5*b6*
     b16 - 18*b6*b17 - 58.5*b6*b18 - 378*b6*b19 - 441*b6*b20 - 121.5*b6*b21 - 
     364.5*b6*b22 - 265.5*b6*b23 - 211.5*b7*b8 - 373.5*b7*b9 - 238.5*b7*b10 - 
     360*b7*b11 - 157.5*b7*b13 - 405*b7*b14 - 441*b7*b15 - 319.5*b7*b16 - 373.5
     *b7*b17 - 243*b7*b18 - 387*b7*b19 - 400.5*b7*b20 - 121.5*b7*b21 - 319.5*b7
     *b22 - 45*b7*b23 - 441*b8*b9 - 409.5*b8*b10 - 387*b8*b11 - 135*b8*b12 - 
     247.5*b8*b13 - 90*b8*b14 - 180*b8*b15 - 31.5*b8*b16 - 342*b8*b17 - 238.5*
     b8*b18 - 409.5*b8*b19 - 337.5*b8*b20 - 148.5*b8*b21 - 324*b8*b22 - 153*b8*
     b23 - 144*b9*b10 - 31.5*b9*b11 - 391.5*b9*b12 - 288*b9*b13 - 31.5*b9*b14
      - 333*b9*b15 - 243*b9*b16 - 261*b9*b17 - 436.5*b9*b18 - 400.5*b9*b19 - 54
     *b9*b20 - 373.5*b9*b21 - 355.5*b9*b22 - 175.5*b9*b23 - 31.5*b10*b11 - 
     400.5*b10*b12 - 400.5*b10*b13 - 441*b10*b14 - 121.5*b10*b15 - 85.5*b10*b16
      - 27*b10*b17 - 270*b10*b19 - 58.5*b10*b20 - 342*b10*b21 - 292.5*b10*b22
      - 252*b10*b23 - 229.5*b11*b12 - 225*b11*b13 - 126*b11*b14 - 166.5*b11*b15
      - 153*b11*b16 - 391.5*b11*b17 - 108*b11*b18 - 441*b11*b19 - 211.5*b11*b20
      - 225*b11*b21 - 22.5*b11*b22 - 256.5*b11*b23 - 216*b12*b13 - 423*b12*b14
      - 94.5*b12*b15 - 139.5*b12*b16 - 112.5*b12*b17 - 54*b12*b18 - 171*b12*b19
      - 67.5*b12*b20 - 9*b12*b21 - 400.5*b12*b22 - 423*b12*b23 - 94.5*b13*b14
      - 427.5*b13*b15 - 423*b13*b16 - 148.5*b13*b17 - 36*b13*b18 - 319.5*b13*
     b19 - 445.5*b13*b20 - 288*b13*b21 - 333*b13*b22 - 4.5*b13*b23 - 198*b14*
     b15 - 54*b14*b16 - 162*b14*b17 - 373.5*b14*b18 - 396*b14*b19 - 153*b14*b20
      - 135*b14*b21 - 175.5*b14*b22 - 175.5*b14*b23 - 175.5*b15*b16 - 391.5*b15
     *b17 - 387*b15*b18 - 270*b15*b19 - 315*b15*b20 - 49.5*b15*b21 - 328.5*b15*
     b22 - 40.5*b15*b23 - 351*b16*b17 - 337.5*b16*b18 - 225*b16*b19 - 328.5*b16
     *b20 - 216*b16*b21 - 202.5*b16*b22 - 85.5*b16*b23 - 369*b17*b18 - 22.5*b17
     *b19 - 405*b17*b20 - 148.5*b17*b21 - 94.5*b17*b22 - 76.5*b17*b23 - 153*b18
     *b19 - 292.5*b18*b20 - 364.5*b18*b21 - 315*b18*b22 - 310.5*b19*b20 - 256.5
     *b19*b21 - 373.5*b19*b22 - 270*b19*b23 - 432*b20*b21 - 99*b20*b22 - 445.5*
     b20*b23 - 153*b21*b22 - 373.5*b21*b23 - 99*b22*b23 - 301.5*b24*b25 - 202.5
     *b24*b26 - 418.5*b24*b27 - 418.5*b24*b28 - 283.5*b24*b29 - 36*b24*b30 - 
     234*b24*b31 - 243*b24*b32 - 288*b24*b33 - 108*b24*b34 - 63*b24*b35 - 18*
     b24*b36 - 85.5*b24*b37 - 319.5*b24*b38 - 126*b24*b39 - 58.5*b24*b40 - 
     202.5*b24*b41 - 234*b24*b42 - 355.5*b24*b43 - 49.5*b24*b44 - 180*b24*b45
      - 54*b25*b26 - 256.5*b25*b27 - 216*b25*b28 - 76.5*b25*b29 - 193.5*b25*b30
      - 279*b25*b31 - 108*b25*b32 - 202.5*b25*b33 - 94.5*b25*b34 - 270*b25*b35
      - 54*b25*b36 - 297*b25*b37 - 238.5*b25*b38 - 22.5*b25*b39 - 364.5*b25*b40
      - 274.5*b25*b41 - 45*b25*b42 - 396*b25*b43 - 346.5*b25*b44 - 153*b25*b45
      - 9*b26*b27 - 369*b26*b28 - 238.5*b26*b29 - 117*b26*b30 - 279*b26*b31 - 
     81*b26*b32 - 319.5*b26*b33 - 63*b26*b34 - 436.5*b26*b35 - 369*b26*b36 - 
     243*b26*b37 - 40.5*b26*b38 - 414*b26*b39 - 247.5*b26*b40 - 351*b26*b41 - 
     391.5*b26*b42 - 310.5*b26*b43 - 9*b26*b44 - 144*b26*b45 - 189*b27*b28 - 63
     *b27*b29 - 202.5*b27*b30 - 270*b27*b31 - 301.5*b27*b32 - 9*b27*b33 - 189*
     b27*b34 - 364.5*b27*b35 - 288*b27*b36 - 369*b27*b37 - 261*b27*b38 - 441*
     b27*b39 - 162*b27*b40 - 414*b27*b41 - 13.5*b27*b42 - 279*b27*b43 - 243*b27
     *b44 - 94.5*b27*b45 - 382.5*b28*b29 - 310.5*b28*b30 - 315*b28*b31 - 90*b28
     *b32 - 337.5*b28*b33 - 360*b28*b34 - 54*b28*b35 - 369*b28*b36 - 45*b28*b37
      - 445.5*b28*b38 - 18*b28*b39 - 58.5*b28*b40 - 378*b28*b41 - 441*b28*b42
      - 121.5*b28*b43 - 364.5*b28*b44 - 265.5*b28*b45 - 211.5*b29*b30 - 373.5*
     b29*b31 - 238.5*b29*b32 - 360*b29*b33 - 157.5*b29*b35 - 405*b29*b36 - 441*
     b29*b37 - 319.5*b29*b38 - 373.5*b29*b39 - 243*b29*b40 - 387*b29*b41 - 
     400.5*b29*b42 - 121.5*b29*b43 - 319.5*b29*b44 - 45*b29*b45 - 441*b30*b31
      - 409.5*b30*b32 - 387*b30*b33 - 135*b30*b34 - 247.5*b30*b35 - 90*b30*b36
      - 180*b30*b37 - 31.5*b30*b38 - 342*b30*b39 - 238.5*b30*b40 - 409.5*b30*
     b41 - 337.5*b30*b42 - 148.5*b30*b43 - 324*b30*b44 - 153*b30*b45 - 144*b31*
     b32 - 31.5*b31*b33 - 391.5*b31*b34 - 288*b31*b35 - 31.5*b31*b36 - 333*b31*
     b37 - 243*b31*b38 - 261*b31*b39 - 436.5*b31*b40 - 400.5*b31*b41 - 54*b31*
     b42 - 373.5*b31*b43 - 355.5*b31*b44 - 175.5*b31*b45 - 31.5*b32*b33 - 400.5
     *b32*b34 - 400.5*b32*b35 - 441*b32*b36 - 121.5*b32*b37 - 85.5*b32*b38 - 27
     *b32*b39 - 270*b32*b41 - 58.5*b32*b42 - 342*b32*b43 - 292.5*b32*b44 - 252*
     b32*b45 - 229.5*b33*b34 - 225*b33*b35 - 126*b33*b36 - 166.5*b33*b37 - 153*
     b33*b38 - 391.5*b33*b39 - 108*b33*b40 - 441*b33*b41 - 211.5*b33*b42 - 225*
     b33*b43 - 22.5*b33*b44 - 256.5*b33*b45 - 216*b34*b35 - 423*b34*b36 - 94.5*
     b34*b37 - 139.5*b34*b38 - 112.5*b34*b39 - 54*b34*b40 - 171*b34*b41 - 67.5*
     b34*b42 - 9*b34*b43 - 400.5*b34*b44 - 423*b34*b45 - 94.5*b35*b36 - 427.5*
     b35*b37 - 423*b35*b38 - 148.5*b35*b39 - 36*b35*b40 - 319.5*b35*b41 - 445.5
     *b35*b42 - 288*b35*b43 - 333*b35*b44 - 4.5*b35*b45 - 198*b36*b37 - 54*b36*
     b38 - 162*b36*b39 - 373.5*b36*b40 - 396*b36*b41 - 153*b36*b42 - 135*b36*
     b43 - 175.5*b36*b44 - 175.5*b36*b45 - 175.5*b37*b38 - 391.5*b37*b39 - 387*
     b37*b40 - 270*b37*b41 - 315*b37*b42 - 49.5*b37*b43 - 328.5*b37*b44 - 40.5*
     b37*b45 - 351*b38*b39 - 337.5*b38*b40 - 225*b38*b41 - 328.5*b38*b42 - 216*
     b38*b43 - 202.5*b38*b44 - 85.5*b38*b45 - 369*b39*b40 - 22.5*b39*b41 - 405*
     b39*b42 - 148.5*b39*b43 - 94.5*b39*b44 - 76.5*b39*b45 - 153*b40*b41 - 
     292.5*b40*b42 - 364.5*b40*b43 - 315*b40*b44 - 310.5*b41*b42 - 256.5*b41*
     b43 - 373.5*b41*b44 - 270*b41*b45 - 432*b42*b43 - 99*b42*b44 - 445.5*b42*
     b45 - 153*b43*b44 - 373.5*b43*b45 - 99*b44*b45 - 54*b46*b47 - 256.5*b46*
     b48 - 216*b46*b49 - 76.5*b46*b50 - 193.5*b46*b51 - 279*b46*b52 - 108*b46*
     b53 - 202.5*b46*b54 - 94.5*b46*b55 - 270*b46*b56 - 54*b46*b57 - 297*b46*
     b58 - 238.5*b46*b59 - 22.5*b46*b60 - 364.5*b46*b61 - 274.5*b46*b62 - 45*
     b46*b63 - 396*b46*b64 - 346.5*b46*b65 - 153*b46*b66 - 9*b47*b48 - 369*b47*
     b49 - 238.5*b47*b50 - 117*b47*b51 - 279*b47*b52 - 81*b47*b53 - 319.5*b47*
     b54 - 63*b47*b55 - 436.5*b47*b56 - 369*b47*b57 - 243*b47*b58 - 40.5*b47*
     b59 - 414*b47*b60 - 247.5*b47*b61 - 351*b47*b62 - 391.5*b47*b63 - 310.5*
     b47*b64 - 9*b47*b65 - 144*b47*b66 - 189*b48*b49 - 63*b48*b50 - 202.5*b48*
     b51 - 270*b48*b52 - 301.5*b48*b53 - 9*b48*b54 - 189*b48*b55 - 364.5*b48*
     b56 - 288*b48*b57 - 369*b48*b58 - 261*b48*b59 - 441*b48*b60 - 162*b48*b61
      - 414*b48*b62 - 13.5*b48*b63 - 279*b48*b64 - 243*b48*b65 - 94.5*b48*b66
      - 382.5*b49*b50 - 310.5*b49*b51 - 315*b49*b52 - 90*b49*b53 - 337.5*b49*
     b54 - 360*b49*b55 - 54*b49*b56 - 369*b49*b57 - 45*b49*b58 - 445.5*b49*b59
      - 18*b49*b60 - 58.5*b49*b61 - 378*b49*b62 - 441*b49*b63 - 121.5*b49*b64
      - 364.5*b49*b65 - 265.5*b49*b66 - 211.5*b50*b51 - 373.5*b50*b52 - 238.5*
     b50*b53 - 360*b50*b54 - 157.5*b50*b56 - 405*b50*b57 - 441*b50*b58 - 319.5*
     b50*b59 - 373.5*b50*b60 - 243*b50*b61 - 387*b50*b62 - 400.5*b50*b63 - 
     121.5*b50*b64 - 319.5*b50*b65 - 45*b50*b66 - 441*b51*b52 - 409.5*b51*b53
      - 387*b51*b54 - 135*b51*b55 - 247.5*b51*b56 - 90*b51*b57 - 180*b51*b58 - 
     31.5*b51*b59 - 342*b51*b60 - 238.5*b51*b61 - 409.5*b51*b62 - 337.5*b51*b63
      - 148.5*b51*b64 - 324*b51*b65 - 153*b51*b66 - 144*b52*b53 - 31.5*b52*b54
      - 391.5*b52*b55 - 288*b52*b56 - 31.5*b52*b57 - 333*b52*b58 - 243*b52*b59
      - 261*b52*b60 - 436.5*b52*b61 - 400.5*b52*b62 - 54*b52*b63 - 373.5*b52*
     b64 - 355.5*b52*b65 - 175.5*b52*b66 - 31.5*b53*b54 - 400.5*b53*b55 - 400.5
     *b53*b56 - 441*b53*b57 - 121.5*b53*b58 - 85.5*b53*b59 - 27*b53*b60 - 270*
     b53*b62 - 58.5*b53*b63 - 342*b53*b64 - 292.5*b53*b65 - 252*b53*b66 - 229.5
     *b54*b55 - 225*b54*b56 - 126*b54*b57 - 166.5*b54*b58 - 153*b54*b59 - 391.5
     *b54*b60 - 108*b54*b61 - 441*b54*b62 - 211.5*b54*b63 - 225*b54*b64 - 22.5*
     b54*b65 - 256.5*b54*b66 - 216*b55*b56 - 423*b55*b57 - 94.5*b55*b58 - 139.5
     *b55*b59 - 112.5*b55*b60 - 54*b55*b61 - 171*b55*b62 - 67.5*b55*b63 - 9*b55
     *b64 - 400.5*b55*b65 - 423*b55*b66 - 94.5*b56*b57 - 427.5*b56*b58 - 423*
     b56*b59 - 148.5*b56*b60 - 36*b56*b61 - 319.5*b56*b62 - 445.5*b56*b63 - 288
     *b56*b64 - 333*b56*b65 - 4.5*b56*b66 - 198*b57*b58 - 54*b57*b59 - 162*b57*
     b60 - 373.5*b57*b61 - 396*b57*b62 - 153*b57*b63 - 135*b57*b64 - 175.5*b57*
     b65 - 175.5*b57*b66 - 175.5*b58*b59 - 391.5*b58*b60 - 387*b58*b61 - 270*
     b58*b62 - 315*b58*b63 - 49.5*b58*b64 - 328.5*b58*b65 - 40.5*b58*b66 - 351*
     b59*b60 - 337.5*b59*b61 - 225*b59*b62 - 328.5*b59*b63 - 216*b59*b64 - 
     202.5*b59*b65 - 85.5*b59*b66 - 369*b60*b61 - 22.5*b60*b62 - 405*b60*b63 - 
     148.5*b60*b64 - 94.5*b60*b65 - 76.5*b60*b66 - 153*b61*b62 - 292.5*b61*b63
      - 364.5*b61*b64 - 315*b61*b65 - 310.5*b62*b63 - 256.5*b62*b64 - 373.5*b62
     *b65 - 270*b62*b66 - 432*b63*b64 - 99*b63*b65 - 445.5*b63*b66 - 153*b64*
     b65 - 373.5*b64*b66 - 99*b65*b66 - 9*b67*b68 - 369*b67*b69 - 238.5*b67*b70
      - 117*b67*b71 - 279*b67*b72 - 81*b67*b73 - 319.5*b67*b74 - 63*b67*b75 - 
     436.5*b67*b76 - 369*b67*b77 - 243*b67*b78 - 40.5*b67*b79 - 414*b67*b80 - 
     247.5*b67*b81 - 351*b67*b82 - 391.5*b67*b83 - 310.5*b67*b84 - 9*b67*b85 - 
     144*b67*b86 - 189*b68*b69 - 63*b68*b70 - 202.5*b68*b71 - 270*b68*b72 - 
     301.5*b68*b73 - 9*b68*b74 - 189*b68*b75 - 364.5*b68*b76 - 288*b68*b77 - 
     369*b68*b78 - 261*b68*b79 - 441*b68*b80 - 162*b68*b81 - 414*b68*b82 - 13.5
     *b68*b83 - 279*b68*b84 - 243*b68*b85 - 94.5*b68*b86 - 382.5*b69*b70 - 
     310.5*b69*b71 - 315*b69*b72 - 90*b69*b73 - 337.5*b69*b74 - 360*b69*b75 - 
     54*b69*b76 - 369*b69*b77 - 45*b69*b78 - 445.5*b69*b79 - 18*b69*b80 - 58.5*
     b69*b81 - 378*b69*b82 - 441*b69*b83 - 121.5*b69*b84 - 364.5*b69*b85 - 
     265.5*b69*b86 - 211.5*b70*b71 - 373.5*b70*b72 - 238.5*b70*b73 - 360*b70*
     b74 - 157.5*b70*b76 - 405*b70*b77 - 441*b70*b78 - 319.5*b70*b79 - 373.5*
     b70*b80 - 243*b70*b81 - 387*b70*b82 - 400.5*b70*b83 - 121.5*b70*b84 - 
     319.5*b70*b85 - 45*b70*b86 - 441*b71*b72 - 409.5*b71*b73 - 387*b71*b74 - 
     135*b71*b75 - 247.5*b71*b76 - 90*b71*b77 - 180*b71*b78 - 31.5*b71*b79 - 
     342*b71*b80 - 238.5*b71*b81 - 409.5*b71*b82 - 337.5*b71*b83 - 148.5*b71*
     b84 - 324*b71*b85 - 153*b71*b86 - 144*b72*b73 - 31.5*b72*b74 - 391.5*b72*
     b75 - 288*b72*b76 - 31.5*b72*b77 - 333*b72*b78 - 243*b72*b79 - 261*b72*b80
      - 436.5*b72*b81 - 400.5*b72*b82 - 54*b72*b83 - 373.5*b72*b84 - 355.5*b72*
     b85 - 175.5*b72*b86 - 31.5*b73*b74 - 400.5*b73*b75 - 400.5*b73*b76 - 441*
     b73*b77 - 121.5*b73*b78 - 85.5*b73*b79 - 27*b73*b80 - 270*b73*b82 - 58.5*
     b73*b83 - 342*b73*b84 - 292.5*b73*b85 - 252*b73*b86 - 229.5*b74*b75 - 225*
     b74*b76 - 126*b74*b77 - 166.5*b74*b78 - 153*b74*b79 - 391.5*b74*b80 - 108*
     b74*b81 - 441*b74*b82 - 211.5*b74*b83 - 225*b74*b84 - 22.5*b74*b85 - 256.5
     *b74*b86 - 216*b75*b76 - 423*b75*b77 - 94.5*b75*b78 - 139.5*b75*b79 - 
     112.5*b75*b80 - 54*b75*b81 - 171*b75*b82 - 67.5*b75*b83 - 9*b75*b84 - 
     400.5*b75*b85 - 423*b75*b86 - 94.5*b76*b77 - 427.5*b76*b78 - 423*b76*b79
      - 148.5*b76*b80 - 36*b76*b81 - 319.5*b76*b82 - 445.5*b76*b83 - 288*b76*
     b84 - 333*b76*b85 - 4.5*b76*b86 - 198*b77*b78 - 54*b77*b79 - 162*b77*b80
      - 373.5*b77*b81 - 396*b77*b82 - 153*b77*b83 - 135*b77*b84 - 175.5*b77*b85
      - 175.5*b77*b86 - 175.5*b78*b79 - 391.5*b78*b80 - 387*b78*b81 - 270*b78*
     b82 - 315*b78*b83 - 49.5*b78*b84 - 328.5*b78*b85 - 40.5*b78*b86 - 351*b79*
     b80 - 337.5*b79*b81 - 225*b79*b82 - 328.5*b79*b83 - 216*b79*b84 - 202.5*
     b79*b85 - 85.5*b79*b86 - 369*b80*b81 - 22.5*b80*b82 - 405*b80*b83 - 148.5*
     b80*b84 - 94.5*b80*b85 - 76.5*b80*b86 - 153*b81*b82 - 292.5*b81*b83 - 
     364.5*b81*b84 - 315*b81*b85 - 310.5*b82*b83 - 256.5*b82*b84 - 373.5*b82*
     b85 - 270*b82*b86 - 432*b83*b84 - 99*b83*b85 - 445.5*b83*b86 - 153*b84*b85
      - 373.5*b84*b86 - 99*b85*b86 - 189*b87*b88 - 63*b87*b89 - 202.5*b87*b90
      - 270*b87*b91 - 301.5*b87*b92 - 9*b87*b93 - 189*b87*b94 - 364.5*b87*b95
      - 288*b87*b96 - 369*b87*b97 - 261*b87*b98 - 441*b87*b99 - 162*b87*b100 - 
     414*b87*b101 - 13.5*b87*b102 - 279*b87*b103 - 243*b87*b104 - 94.5*b87*b105
      - 382.5*b88*b89 - 310.5*b88*b90 - 315*b88*b91 - 90*b88*b92 - 337.5*b88*
     b93 - 360*b88*b94 - 54*b88*b95 - 369*b88*b96 - 45*b88*b97 - 445.5*b88*b98
      - 18*b88*b99 - 58.5*b88*b100 - 378*b88*b101 - 441*b88*b102 - 121.5*b88*
     b103 - 364.5*b88*b104 - 265.5*b88*b105 - 211.5*b89*b90 - 373.5*b89*b91 - 
     238.5*b89*b92 - 360*b89*b93 - 157.5*b89*b95 - 405*b89*b96 - 441*b89*b97 - 
     319.5*b89*b98 - 373.5*b89*b99 - 243*b89*b100 - 387*b89*b101 - 400.5*b89*
     b102 - 121.5*b89*b103 - 319.5*b89*b104 - 45*b89*b105 - 441*b90*b91 - 409.5
     *b90*b92 - 387*b90*b93 - 135*b90*b94 - 247.5*b90*b95 - 90*b90*b96 - 180*
     b90*b97 - 31.5*b90*b98 - 342*b90*b99 - 238.5*b90*b100 - 409.5*b90*b101 - 
     337.5*b90*b102 - 148.5*b90*b103 - 324*b90*b104 - 153*b90*b105 - 144*b91*
     b92 - 31.5*b91*b93 - 391.5*b91*b94 - 288*b91*b95 - 31.5*b91*b96 - 333*b91*
     b97 - 243*b91*b98 - 261*b91*b99 - 436.5*b91*b100 - 400.5*b91*b101 - 54*b91
     *b102 - 373.5*b91*b103 - 355.5*b91*b104 - 175.5*b91*b105 - 31.5*b92*b93 - 
     400.5*b92*b94 - 400.5*b92*b95 - 441*b92*b96 - 121.5*b92*b97 - 85.5*b92*b98
      - 27*b92*b99 - 270*b92*b101 - 58.5*b92*b102 - 342*b92*b103 - 292.5*b92*
     b104 - 252*b92*b105 - 229.5*b93*b94 - 225*b93*b95 - 126*b93*b96 - 166.5*
     b93*b97 - 153*b93*b98 - 391.5*b93*b99 - 108*b93*b100 - 441*b93*b101 - 
     211.5*b93*b102 - 225*b93*b103 - 22.5*b93*b104 - 256.5*b93*b105 - 216*b94*
     b95 - 423*b94*b96 - 94.5*b94*b97 - 139.5*b94*b98 - 112.5*b94*b99 - 54*b94*
     b100 - 171*b94*b101 - 67.5*b94*b102 - 9*b94*b103 - 400.5*b94*b104 - 423*
     b94*b105 - 94.5*b95*b96 - 427.5*b95*b97 - 423*b95*b98 - 148.5*b95*b99 - 36
     *b95*b100 - 319.5*b95*b101 - 445.5*b95*b102 - 288*b95*b103 - 333*b95*b104
      - 4.5*b95*b105 - 198*b96*b97 - 54*b96*b98 - 162*b96*b99 - 373.5*b96*b100
      - 396*b96*b101 - 153*b96*b102 - 135*b96*b103 - 175.5*b96*b104 - 175.5*b96
     *b105 - 175.5*b97*b98 - 391.5*b97*b99 - 387*b97*b100 - 270*b97*b101 - 315*
     b97*b102 - 49.5*b97*b103 - 328.5*b97*b104 - 40.5*b97*b105 - 351*b98*b99 - 
     337.5*b98*b100 - 225*b98*b101 - 328.5*b98*b102 - 216*b98*b103 - 202.5*b98*
     b104 - 85.5*b98*b105 - 369*b99*b100 - 22.5*b99*b101 - 405*b99*b102 - 148.5
     *b99*b103 - 94.5*b99*b104 - 76.5*b99*b105 - 153*b100*b101 - 292.5*b100*
     b102 - 364.5*b100*b103 - 315*b100*b104 - 310.5*b101*b102 - 256.5*b101*b103
      - 373.5*b101*b104 - 270*b101*b105 - 432*b102*b103 - 99*b102*b104 - 445.5*
     b102*b105 - 153*b103*b104 - 373.5*b103*b105 - 99*b104*b105 - 382.5*b106*
     b107 - 310.5*b106*b108 - 315*b106*b109 - 90*b106*b110 - 337.5*b106*b111 - 
     360*b106*b112 - 54*b106*b113 - 369*b106*b114 - 45*b106*b115 - 445.5*b106*
     b116 - 18*b106*b117 - 58.5*b106*b118 - 378*b106*b119 - 441*b106*b120 - 
     121.5*b106*b121 - 364.5*b106*b122 - 265.5*b106*b123 - 211.5*b107*b108 - 
     373.5*b107*b109 - 238.5*b107*b110 - 360*b107*b111 - 157.5*b107*b113 - 405*
     b107*b114 - 441*b107*b115 - 319.5*b107*b116 - 373.5*b107*b117 - 243*b107*
     b118 - 387*b107*b119 - 400.5*b107*b120 - 121.5*b107*b121 - 319.5*b107*b122
      - 45*b107*b123 - 441*b108*b109 - 409.5*b108*b110 - 387*b108*b111 - 135*
     b108*b112 - 247.5*b108*b113 - 90*b108*b114 - 180*b108*b115 - 31.5*b108*
     b116 - 342*b108*b117 - 238.5*b108*b118 - 409.5*b108*b119 - 337.5*b108*b120
      - 148.5*b108*b121 - 324*b108*b122 - 153*b108*b123 - 144*b109*b110 - 31.5*
     b109*b111 - 391.5*b109*b112 - 288*b109*b113 - 31.5*b109*b114 - 333*b109*
     b115 - 243*b109*b116 - 261*b109*b117 - 436.5*b109*b118 - 400.5*b109*b119
      - 54*b109*b120 - 373.5*b109*b121 - 355.5*b109*b122 - 175.5*b109*b123 - 
     31.5*b110*b111 - 400.5*b110*b112 - 400.5*b110*b113 - 441*b110*b114 - 121.5
     *b110*b115 - 85.5*b110*b116 - 27*b110*b117 - 270*b110*b119 - 58.5*b110*
     b120 - 342*b110*b121 - 292.5*b110*b122 - 252*b110*b123 - 229.5*b111*b112
      - 225*b111*b113 - 126*b111*b114 - 166.5*b111*b115 - 153*b111*b116 - 391.5
     *b111*b117 - 108*b111*b118 - 441*b111*b119 - 211.5*b111*b120 - 225*b111*
     b121 - 22.5*b111*b122 - 256.5*b111*b123 - 216*b112*b113 - 423*b112*b114 - 
     94.5*b112*b115 - 139.5*b112*b116 - 112.5*b112*b117 - 54*b112*b118 - 171*
     b112*b119 - 67.5*b112*b120 - 9*b112*b121 - 400.5*b112*b122 - 423*b112*b123
      - 94.5*b113*b114 - 427.5*b113*b115 - 423*b113*b116 - 148.5*b113*b117 - 36
     *b113*b118 - 319.5*b113*b119 - 445.5*b113*b120 - 288*b113*b121 - 333*b113*
     b122 - 4.5*b113*b123 - 198*b114*b115 - 54*b114*b116 - 162*b114*b117 - 
     373.5*b114*b118 - 396*b114*b119 - 153*b114*b120 - 135*b114*b121 - 175.5*
     b114*b122 - 175.5*b114*b123 - 175.5*b115*b116 - 391.5*b115*b117 - 387*b115
     *b118 - 270*b115*b119 - 315*b115*b120 - 49.5*b115*b121 - 328.5*b115*b122
      - 40.5*b115*b123 - 351*b116*b117 - 337.5*b116*b118 - 225*b116*b119 - 
     328.5*b116*b120 - 216*b116*b121 - 202.5*b116*b122 - 85.5*b116*b123 - 369*
     b117*b118 - 22.5*b117*b119 - 405*b117*b120 - 148.5*b117*b121 - 94.5*b117*
     b122 - 76.5*b117*b123 - 153*b118*b119 - 292.5*b118*b120 - 364.5*b118*b121
      - 315*b118*b122 - 310.5*b119*b120 - 256.5*b119*b121 - 373.5*b119*b122 - 
     270*b119*b123 - 432*b120*b121 - 99*b120*b122 - 445.5*b120*b123 - 153*b121*
     b122 - 373.5*b121*b123 - 99*b122*b123 - 211.5*b124*b125 - 373.5*b124*b126
      - 238.5*b124*b127 - 360*b124*b128 - 157.5*b124*b129 - 405*b124*b130 - 441
     *b124*b131 - 319.5*b124*b132 - 373.5*b124*b133 - 243*b124*b134 - 387*b124*
     b135 - 400.5*b124*b136 - 121.5*b124*b137 - 319.5*b124*b138 - 45*b124*b139
      - 441*b125*b126 - 409.5*b125*b127 - 387*b125*b128 - 247.5*b125*b129 - 90*
     b125*b130 - 180*b125*b131 - 31.5*b125*b132 - 342*b125*b133 - 238.5*b125*
     b134 - 409.5*b125*b135 - 337.5*b125*b136 - 148.5*b125*b137 - 324*b125*b138
      - 153*b125*b139 - 135*b125*b140 - 144*b126*b127 - 31.5*b126*b128 - 288*
     b126*b129 - 31.5*b126*b130 - 333*b126*b131 - 243*b126*b132 - 261*b126*b133
      - 436.5*b126*b134 - 400.5*b126*b135 - 54*b126*b136 - 373.5*b126*b137 - 
     355.5*b126*b138 - 175.5*b126*b139 - 391.5*b126*b140 - 31.5*b127*b128 - 
     400.5*b127*b129 - 441*b127*b130 - 121.5*b127*b131 - 85.5*b127*b132 - 27*
     b127*b133 - 270*b127*b135 - 58.5*b127*b136 - 342*b127*b137 - 292.5*b127*
     b138 - 252*b127*b139 - 400.5*b127*b140 - 225*b128*b129 - 126*b128*b130 - 
     166.5*b128*b131 - 153*b128*b132 - 391.5*b128*b133 - 108*b128*b134 - 441*
     b128*b135 - 211.5*b128*b136 - 225*b128*b137 - 22.5*b128*b138 - 256.5*b128*
     b139 - 229.5*b128*b140 - 94.5*b129*b130 - 427.5*b129*b131 - 423*b129*b132
      - 148.5*b129*b133 - 36*b129*b134 - 319.5*b129*b135 - 445.5*b129*b136 - 
     288*b129*b137 - 333*b129*b138 - 4.5*b129*b139 - 216*b129*b140 - 198*b130*
     b131 - 54*b130*b132 - 162*b130*b133 - 373.5*b130*b134 - 396*b130*b135 - 
     153*b130*b136 - 135*b130*b137 - 175.5*b130*b138 - 175.5*b130*b139 - 423*
     b130*b140 - 175.5*b131*b132 - 391.5*b131*b133 - 387*b131*b134 - 270*b131*
     b135 - 315*b131*b136 - 49.5*b131*b137 - 328.5*b131*b138 - 40.5*b131*b139
      - 94.5*b131*b140 - 351*b132*b133 - 337.5*b132*b134 - 225*b132*b135 - 
     328.5*b132*b136 - 216*b132*b137 - 202.5*b132*b138 - 85.5*b132*b139 - 139.5
     *b132*b140 - 369*b133*b134 - 22.5*b133*b135 - 405*b133*b136 - 148.5*b133*
     b137 - 94.5*b133*b138 - 76.5*b133*b139 - 112.5*b133*b140 - 153*b134*b135
      - 292.5*b134*b136 - 364.5*b134*b137 - 315*b134*b138 - 54*b134*b140 - 
     310.5*b135*b136 - 256.5*b135*b137 - 373.5*b135*b138 - 270*b135*b139 - 171*
     b135*b140 - 432*b136*b137 - 99*b136*b138 - 445.5*b136*b139 - 67.5*b136*
     b140 - 153*b137*b138 - 373.5*b137*b139 - 9*b137*b140 - 99*b138*b139 - 
     400.5*b138*b140 - 423*b139*b140 - 441*b141*b142 - 409.5*b141*b143 - 387*
     b141*b144 - 135*b141*b145 - 247.5*b141*b146 - 90*b141*b147 - 180*b141*b148
      - 31.5*b141*b149 - 342*b141*b150 - 238.5*b141*b151 - 409.5*b141*b152 - 
     337.5*b141*b153 - 148.5*b141*b154 - 324*b141*b155 - 153*b141*b156 - 144*
     b142*b143 - 31.5*b142*b144 - 391.5*b142*b145 - 288*b142*b146 - 31.5*b142*
     b147 - 333*b142*b148 - 243*b142*b149 - 261*b142*b150 - 436.5*b142*b151 - 
     400.5*b142*b152 - 54*b142*b153 - 373.5*b142*b154 - 355.5*b142*b155 - 175.5
     *b142*b156 - 31.5*b143*b144 - 400.5*b143*b145 - 400.5*b143*b146 - 441*b143
     *b147 - 121.5*b143*b148 - 85.5*b143*b149 - 27*b143*b150 - 270*b143*b152 - 
     58.5*b143*b153 - 342*b143*b154 - 292.5*b143*b155 - 252*b143*b156 - 229.5*
     b144*b145 - 225*b144*b146 - 126*b144*b147 - 166.5*b144*b148 - 153*b144*
     b149 - 391.5*b144*b150 - 108*b144*b151 - 441*b144*b152 - 211.5*b144*b153
      - 225*b144*b154 - 22.5*b144*b155 - 256.5*b144*b156 - 216*b145*b146 - 423*
     b145*b147 - 94.5*b145*b148 - 139.5*b145*b149 - 112.5*b145*b150 - 54*b145*
     b151 - 171*b145*b152 - 67.5*b145*b153 - 9*b145*b154 - 400.5*b145*b155 - 
     423*b145*b156 - 94.5*b146*b147 - 427.5*b146*b148 - 423*b146*b149 - 148.5*
     b146*b150 - 36*b146*b151 - 319.5*b146*b152 - 445.5*b146*b153 - 288*b146*
     b154 - 333*b146*b155 - 4.5*b146*b156 - 198*b147*b148 - 54*b147*b149 - 162*
     b147*b150 - 373.5*b147*b151 - 396*b147*b152 - 153*b147*b153 - 135*b147*
     b154 - 175.5*b147*b155 - 175.5*b147*b156 - 175.5*b148*b149 - 391.5*b148*
     b150 - 387*b148*b151 - 270*b148*b152 - 315*b148*b153 - 49.5*b148*b154 - 
     328.5*b148*b155 - 40.5*b148*b156 - 351*b149*b150 - 337.5*b149*b151 - 225*
     b149*b152 - 328.5*b149*b153 - 216*b149*b154 - 202.5*b149*b155 - 85.5*b149*
     b156 - 369*b150*b151 - 22.5*b150*b152 - 405*b150*b153 - 148.5*b150*b154 - 
     94.5*b150*b155 - 76.5*b150*b156 - 153*b151*b152 - 292.5*b151*b153 - 364.5*
     b151*b154 - 315*b151*b155 - 310.5*b152*b153 - 256.5*b152*b154 - 373.5*b152
     *b155 - 270*b152*b156 - 432*b153*b154 - 99*b153*b155 - 445.5*b153*b156 - 
     153*b154*b155 - 373.5*b154*b156 - 99*b155*b156 - 144*b157*b158 - 31.5*b157
     *b159 - 391.5*b157*b160 - 288*b157*b161 - 31.5*b157*b162 - 333*b157*b163
      - 243*b157*b164 - 261*b157*b165 - 436.5*b157*b166 - 400.5*b157*b167 - 54*
     b157*b168 - 373.5*b157*b169 - 355.5*b157*b170 - 175.5*b157*b171 - 31.5*
     b158*b159 - 400.5*b158*b160 - 400.5*b158*b161 - 441*b158*b162 - 121.5*b158
     *b163 - 85.5*b158*b164 - 27*b158*b165 - 270*b158*b167 - 58.5*b158*b168 - 
     342*b158*b169 - 292.5*b158*b170 - 252*b158*b171 - 229.5*b159*b160 - 225*
     b159*b161 - 126*b159*b162 - 166.5*b159*b163 - 153*b159*b164 - 391.5*b159*
     b165 - 108*b159*b166 - 441*b159*b167 - 211.5*b159*b168 - 225*b159*b169 - 
     22.5*b159*b170 - 256.5*b159*b171 - 216*b160*b161 - 423*b160*b162 - 94.5*
     b160*b163 - 139.5*b160*b164 - 112.5*b160*b165 - 54*b160*b166 - 171*b160*
     b167 - 67.5*b160*b168 - 9*b160*b169 - 400.5*b160*b170 - 423*b160*b171 - 
     94.5*b161*b162 - 427.5*b161*b163 - 423*b161*b164 - 148.5*b161*b165 - 36*
     b161*b166 - 319.5*b161*b167 - 445.5*b161*b168 - 288*b161*b169 - 333*b161*
     b170 - 4.5*b161*b171 - 198*b162*b163 - 54*b162*b164 - 162*b162*b165 - 
     373.5*b162*b166 - 396*b162*b167 - 153*b162*b168 - 135*b162*b169 - 175.5*
     b162*b170 - 175.5*b162*b171 - 175.5*b163*b164 - 391.5*b163*b165 - 387*b163
     *b166 - 270*b163*b167 - 315*b163*b168 - 49.5*b163*b169 - 328.5*b163*b170
      - 40.5*b163*b171 - 351*b164*b165 - 337.5*b164*b166 - 225*b164*b167 - 
     328.5*b164*b168 - 216*b164*b169 - 202.5*b164*b170 - 85.5*b164*b171 - 369*
     b165*b166 - 22.5*b165*b167 - 405*b165*b168 - 148.5*b165*b169 - 94.5*b165*
     b170 - 76.5*b165*b171 - 153*b166*b167 - 292.5*b166*b168 - 364.5*b166*b169
      - 315*b166*b170 - 310.5*b167*b168 - 256.5*b167*b169 - 373.5*b167*b170 - 
     270*b167*b171 - 432*b168*b169 - 99*b168*b170 - 445.5*b168*b171 - 153*b169*
     b170 - 373.5*b169*b171 - 99*b170*b171 - 31.5*b172*b173 - 400.5*b172*b174
      - 400.5*b172*b175 - 441*b172*b176 - 121.5*b172*b177 - 85.5*b172*b178 - 27
     *b172*b179 - 270*b172*b180 - 58.5*b172*b181 - 342*b172*b182 - 292.5*b172*
     b183 - 252*b172*b184 - 229.5*b173*b174 - 225*b173*b175 - 126*b173*b176 - 
     166.5*b173*b177 - 153*b173*b178 - 391.5*b173*b179 - 441*b173*b180 - 211.5*
     b173*b181 - 225*b173*b182 - 22.5*b173*b183 - 256.5*b173*b184 - 108*b173*
     b185 - 216*b174*b175 - 423*b174*b176 - 94.5*b174*b177 - 139.5*b174*b178 - 
     112.5*b174*b179 - 171*b174*b180 - 67.5*b174*b181 - 9*b174*b182 - 400.5*
     b174*b183 - 423*b174*b184 - 54*b174*b185 - 94.5*b175*b176 - 427.5*b175*
     b177 - 423*b175*b178 - 148.5*b175*b179 - 319.5*b175*b180 - 445.5*b175*b181
      - 288*b175*b182 - 333*b175*b183 - 4.5*b175*b184 - 36*b175*b185 - 198*b176
     *b177 - 54*b176*b178 - 162*b176*b179 - 396*b176*b180 - 153*b176*b181 - 135
     *b176*b182 - 175.5*b176*b183 - 175.5*b176*b184 - 373.5*b176*b185 - 175.5*
     b177*b178 - 391.5*b177*b179 - 270*b177*b180 - 315*b177*b181 - 49.5*b177*
     b182 - 328.5*b177*b183 - 40.5*b177*b184 - 387*b177*b185 - 351*b178*b179 - 
     225*b178*b180 - 328.5*b178*b181 - 216*b178*b182 - 202.5*b178*b183 - 85.5*
     b178*b184 - 337.5*b178*b185 - 22.5*b179*b180 - 405*b179*b181 - 148.5*b179*
     b182 - 94.5*b179*b183 - 76.5*b179*b184 - 369*b179*b185 - 310.5*b180*b181
      - 256.5*b180*b182 - 373.5*b180*b183 - 270*b180*b184 - 153*b180*b185 - 432
     *b181*b182 - 99*b181*b183 - 445.5*b181*b184 - 292.5*b181*b185 - 153*b182*
     b183 - 373.5*b182*b184 - 364.5*b182*b185 - 99*b183*b184 - 315*b183*b185 - 
     229.5*b186*b187 - 225*b186*b188 - 126*b186*b189 - 166.5*b186*b190 - 153*
     b186*b191 - 391.5*b186*b192 - 108*b186*b193 - 441*b186*b194 - 211.5*b186*
     b195 - 225*b186*b196 - 22.5*b186*b197 - 256.5*b186*b198 - 216*b187*b188 - 
     423*b187*b189 - 94.5*b187*b190 - 139.5*b187*b191 - 112.5*b187*b192 - 54*
     b187*b193 - 171*b187*b194 - 67.5*b187*b195 - 9*b187*b196 - 400.5*b187*b197
      - 423*b187*b198 - 94.5*b188*b189 - 427.5*b188*b190 - 423*b188*b191 - 
     148.5*b188*b192 - 36*b188*b193 - 319.5*b188*b194 - 445.5*b188*b195 - 288*
     b188*b196 - 333*b188*b197 - 4.5*b188*b198 - 198*b189*b190 - 54*b189*b191
      - 162*b189*b192 - 373.5*b189*b193 - 396*b189*b194 - 153*b189*b195 - 135*
     b189*b196 - 175.5*b189*b197 - 175.5*b189*b198 - 175.5*b190*b191 - 391.5*
     b190*b192 - 387*b190*b193 - 270*b190*b194 - 315*b190*b195 - 49.5*b190*b196
      - 328.5*b190*b197 - 40.5*b190*b198 - 351*b191*b192 - 337.5*b191*b193 - 
     225*b191*b194 - 328.5*b191*b195 - 216*b191*b196 - 202.5*b191*b197 - 85.5*
     b191*b198 - 369*b192*b193 - 22.5*b192*b194 - 405*b192*b195 - 148.5*b192*
     b196 - 94.5*b192*b197 - 76.5*b192*b198 - 153*b193*b194 - 292.5*b193*b195
      - 364.5*b193*b196 - 315*b193*b197 - 310.5*b194*b195 - 256.5*b194*b196 - 
     373.5*b194*b197 - 270*b194*b198 - 432*b195*b196 - 99*b195*b197 - 445.5*
     b195*b198 - 153*b196*b197 - 373.5*b196*b198 - 99*b197*b198 - 216*b199*b200
      - 423*b199*b201 - 94.5*b199*b202 - 139.5*b199*b203 - 112.5*b199*b204 - 54
     *b199*b205 - 171*b199*b206 - 67.5*b199*b207 - 9*b199*b208 - 400.5*b199*
     b209 - 423*b199*b210 - 94.5*b200*b201 - 427.5*b200*b202 - 423*b200*b203 - 
     148.5*b200*b204 - 36*b200*b205 - 319.5*b200*b206 - 445.5*b200*b207 - 288*
     b200*b208 - 333*b200*b209 - 4.5*b200*b210 - 198*b201*b202 - 54*b201*b203
      - 162*b201*b204 - 373.5*b201*b205 - 396*b201*b206 - 153*b201*b207 - 135*
     b201*b208 - 175.5*b201*b209 - 175.5*b201*b210 - 175.5*b202*b203 - 391.5*
     b202*b204 - 387*b202*b205 - 270*b202*b206 - 315*b202*b207 - 49.5*b202*b208
      - 328.5*b202*b209 - 40.5*b202*b210 - 351*b203*b204 - 337.5*b203*b205 - 
     225*b203*b206 - 328.5*b203*b207 - 216*b203*b208 - 202.5*b203*b209 - 85.5*
     b203*b210 - 369*b204*b205 - 22.5*b204*b206 - 405*b204*b207 - 148.5*b204*
     b208 - 94.5*b204*b209 - 76.5*b204*b210 - 153*b205*b206 - 292.5*b205*b207
      - 364.5*b205*b208 - 315*b205*b209 - 310.5*b206*b207 - 256.5*b206*b208 - 
     373.5*b206*b209 - 270*b206*b210 - 432*b207*b208 - 99*b207*b209 - 445.5*
     b207*b210 - 153*b208*b209 - 373.5*b208*b210 - 99*b209*b210 - 94.5*b211*
     b212 - 427.5*b211*b213 - 423*b211*b214 - 148.5*b211*b215 - 36*b211*b216 - 
     319.5*b211*b217 - 445.5*b211*b218 - 288*b211*b219 - 333*b211*b220 - 4.5*
     b211*b221 - 198*b212*b213 - 54*b212*b214 - 162*b212*b215 - 373.5*b212*b216
      - 396*b212*b217 - 153*b212*b218 - 135*b212*b219 - 175.5*b212*b220 - 175.5
     *b212*b221 - 175.5*b213*b214 - 391.5*b213*b215 - 387*b213*b216 - 270*b213*
     b217 - 315*b213*b218 - 49.5*b213*b219 - 328.5*b213*b220 - 40.5*b213*b221
      - 351*b214*b215 - 337.5*b214*b216 - 225*b214*b217 - 328.5*b214*b218 - 216
     *b214*b219 - 202.5*b214*b220 - 85.5*b214*b221 - 369*b215*b216 - 22.5*b215*
     b217 - 405*b215*b218 - 148.5*b215*b219 - 94.5*b215*b220 - 76.5*b215*b221
      - 153*b216*b217 - 292.5*b216*b218 - 364.5*b216*b219 - 315*b216*b220 - 
     310.5*b217*b218 - 256.5*b217*b219 - 373.5*b217*b220 - 270*b217*b221 - 432*
     b218*b219 - 99*b218*b220 - 445.5*b218*b221 - 153*b219*b220 - 373.5*b219*
     b221 - 99*b220*b221 - 198*b222*b223 - 54*b222*b224 - 162*b222*b225 - 373.5
     *b222*b226 - 396*b222*b227 - 153*b222*b228 - 135*b222*b229 - 175.5*b222*
     b230 - 175.5*b222*b231 - 175.5*b223*b224 - 391.5*b223*b225 - 387*b223*b226
      - 270*b223*b227 - 315*b223*b228 - 49.5*b223*b229 - 328.5*b223*b230 - 40.5
     *b223*b231 - 351*b224*b225 - 337.5*b224*b226 - 225*b224*b227 - 328.5*b224*
     b228 - 216*b224*b229 - 202.5*b224*b230 - 85.5*b224*b231 - 369*b225*b226 - 
     22.5*b225*b227 - 405*b225*b228 - 148.5*b225*b229 - 94.5*b225*b230 - 76.5*
     b225*b231 - 153*b226*b227 - 292.5*b226*b228 - 364.5*b226*b229 - 315*b226*
     b230 - 310.5*b227*b228 - 256.5*b227*b229 - 373.5*b227*b230 - 270*b227*b231
      - 432*b228*b229 - 99*b228*b230 - 445.5*b228*b231 - 153*b229*b230 - 373.5*
     b229*b231 - 99*b230*b231 - 175.5*b232*b233 - 391.5*b232*b234 - 387*b232*
     b235 - 270*b232*b236 - 315*b232*b237 - 49.5*b232*b238 - 328.5*b232*b239 - 
     40.5*b232*b240 - 351*b233*b234 - 337.5*b233*b235 - 225*b233*b236 - 328.5*
     b233*b237 - 216*b233*b238 - 202.5*b233*b239 - 85.5*b233*b240 - 369*b234*
     b235 - 22.5*b234*b236 - 405*b234*b237 - 148.5*b234*b238 - 94.5*b234*b239
      - 76.5*b234*b240 - 153*b235*b236 - 292.5*b235*b237 - 364.5*b235*b238 - 
     315*b235*b239 - 310.5*b236*b237 - 256.5*b236*b238 - 373.5*b236*b239 - 270*
     b236*b240 - 432*b237*b238 - 99*b237*b239 - 445.5*b237*b240 - 153*b238*b239
      - 373.5*b238*b240 - 99*b239*b240 - 351*b241*b242 - 337.5*b241*b243 - 225*
     b241*b244 - 328.5*b241*b245 - 216*b241*b246 - 202.5*b241*b247 - 85.5*b241*
     b248 - 369*b242*b243 - 22.5*b242*b244 - 405*b242*b245 - 148.5*b242*b246 - 
     94.5*b242*b247 - 76.5*b242*b248 - 153*b243*b244 - 292.5*b243*b245 - 364.5*
     b243*b246 - 315*b243*b247 - 310.5*b244*b245 - 256.5*b244*b246 - 373.5*b244
     *b247 - 270*b244*b248 - 432*b245*b246 - 99*b245*b247 - 445.5*b245*b248 - 
     153*b246*b247 - 373.5*b246*b248 - 99*b247*b248 - 369*b249*b250 - 22.5*b249
     *b251 - 405*b249*b252 - 148.5*b249*b253 - 94.5*b249*b254 - 76.5*b249*b255
      - 153*b250*b251 - 292.5*b250*b252 - 364.5*b250*b253 - 315*b250*b254 - 
     310.5*b251*b252 - 256.5*b251*b253 - 373.5*b251*b254 - 270*b251*b255 - 432*
     b252*b253 - 99*b252*b254 - 445.5*b252*b255 - 153*b253*b254 - 373.5*b253*
     b255 - 99*b254*b255 - 153*b256*b257 - 292.5*b256*b258 - 364.5*b256*b259 - 
     315*b256*b260 - 310.5*b257*b258 - 256.5*b257*b259 - 373.5*b257*b260 - 270*
     b257*b261 - 432*b258*b259 - 99*b258*b260 - 445.5*b258*b261 - 153*b259*b260
      - 373.5*b259*b261 - 99*b260*b261 - 310.5*b262*b263 - 256.5*b262*b264 - 
     373.5*b262*b265 - 270*b262*b266 - 432*b263*b264 - 99*b263*b265 - 445.5*
     b263*b266 - 153*b264*b265 - 373.5*b264*b266 - 99*b265*b266 - 432*b267*b268
      - 99*b267*b269 - 445.5*b267*b270 - 153*b268*b269 - 373.5*b268*b270 - 99*
     b269*b270 - 153*b271*b272 - 373.5*b271*b273 - 99*b272*b273 - 99*b274*b275
      - objvar =E= 0;

e2..    b2 + b24 =E= 1;

e3..    b3 + b25 + b46 =E= 1;

e4..    b4 + b26 + b47 + b67 =E= 1;

e5..    b5 + b27 + b48 + b68 + b87 =E= 1;

e6..    b6 + b28 + b49 + b69 + b88 + b106 =E= 1;

e7..    b7 + b29 + b50 + b70 + b89 + b107 + b124 =E= 1;

e8..    b8 + b30 + b51 + b71 + b90 + b108 + b125 + b141 =E= 1;

e9..    b9 + b31 + b52 + b72 + b91 + b109 + b126 + b142 + b157 =E= 1;

e10..    b10 + b32 + b53 + b73 + b92 + b110 + b127 + b143 + b158 + b172 =E= 1;

e11..    b11 + b33 + b54 + b74 + b93 + b111 + b128 + b144 + b159 + b173 + b186
       =E= 1;

e12..    b12 + b34 + b55 + b75 + b94 + b112 + b140 + b145 + b160 + b174 + b187
       + b199 =E= 1;

e13..    b13 + b35 + b56 + b76 + b95 + b113 + b129 + b146 + b161 + b175 + b188
       + b200 + b211 =E= 1;

e14..    b14 + b36 + b57 + b77 + b96 + b114 + b130 + b147 + b162 + b176 + b189
       + b201 + b212 + b222 =E= 1;

e15..    b15 + b37 + b58 + b78 + b97 + b115 + b131 + b148 + b163 + b177 + b190
       + b202 + b213 + b223 + b232 =E= 1;

e16..    b16 + b38 + b59 + b79 + b98 + b116 + b132 + b149 + b164 + b178 + b191
       + b203 + b214 + b224 + b233 + b241 =E= 1;

e17..    b17 + b39 + b60 + b80 + b99 + b117 + b133 + b150 + b165 + b179 + b192
       + b204 + b215 + b225 + b234 + b242 + b249 =E= 1;

e18..    b18 + b40 + b61 + b81 + b100 + b118 + b134 + b151 + b166 + b185 + b193
       + b205 + b216 + b226 + b235 + b243 + b250 + b256 =E= 1;

e19..    b19 + b41 + b62 + b82 + b101 + b119 + b135 + b152 + b167 + b180 + b194
       + b206 + b217 + b227 + b236 + b244 + b251 + b257 + b262 =E= 1;

e20..    b20 + b42 + b63 + b83 + b102 + b120 + b136 + b153 + b168 + b181 + b195
       + b207 + b218 + b228 + b237 + b245 + b252 + b258 + b263 + b267 =E= 1;

e21..    b21 + b43 + b64 + b84 + b103 + b121 + b137 + b154 + b169 + b182 + b196
       + b208 + b219 + b229 + b238 + b246 + b253 + b259 + b264 + b268 + b271
       =E= 1;

e22..    b22 + b44 + b65 + b85 + b104 + b122 + b138 + b155 + b170 + b183 + b197
       + b209 + b220 + b230 + b239 + b247 + b254 + b260 + b265 + b269 + b272
       + b274 =E= 1;

e23..    b23 + b45 + b66 + b86 + b105 + b123 + b139 + b156 + b171 + b184 + b198
       + b210 + b221 + b231 + b240 + b248 + b255 + b261 + b266 + b270 + b273
       + b275 + b276 =E= 1;

e24..  - b24 + b25 =L= 0;

e25..  - b24 + b26 =L= 0;

e26..  - b24 + b27 =L= 0;

e27..  - b24 + b28 =L= 0;

e28..  - b24 + b29 =L= 0;

e29..  - b24 + b30 =L= 0;

e30..  - b24 + b31 =L= 0;

e31..  - b24 + b32 =L= 0;

e32..  - b24 + b33 =L= 0;

e33..  - b24 + b34 =L= 0;

e34..  - b24 + b35 =L= 0;

e35..  - b24 + b36 =L= 0;

e36..  - b24 + b37 =L= 0;

e37..  - b24 + b38 =L= 0;

e38..  - b24 + b39 =L= 0;

e39..  - b24 + b40 =L= 0;

e40..  - b24 + b41 =L= 0;

e41..  - b24 + b42 =L= 0;

e42..  - b24 + b43 =L= 0;

e43..  - b24 + b44 =L= 0;

e44..  - b24 + b45 =L= 0;

e45..  - b46 + b47 =L= 0;

e46..  - b46 + b48 =L= 0;

e47..  - b46 + b49 =L= 0;

e48..  - b46 + b50 =L= 0;

e49..  - b46 + b51 =L= 0;

e50..  - b46 + b52 =L= 0;

e51..  - b46 + b53 =L= 0;

e52..  - b46 + b54 =L= 0;

e53..  - b46 + b55 =L= 0;

e54..  - b46 + b56 =L= 0;

e55..  - b46 + b57 =L= 0;

e56..  - b46 + b58 =L= 0;

e57..  - b46 + b59 =L= 0;

e58..  - b46 + b60 =L= 0;

e59..  - b46 + b61 =L= 0;

e60..  - b46 + b62 =L= 0;

e61..  - b46 + b63 =L= 0;

e62..  - b46 + b64 =L= 0;

e63..  - b46 + b65 =L= 0;

e64..  - b46 + b66 =L= 0;

e65..  - b67 + b68 =L= 0;

e66..  - b67 + b69 =L= 0;

e67..  - b67 + b70 =L= 0;

e68..  - b67 + b71 =L= 0;

e69..  - b67 + b72 =L= 0;

e70..  - b67 + b73 =L= 0;

e71..  - b67 + b74 =L= 0;

e72..  - b67 + b75 =L= 0;

e73..  - b67 + b76 =L= 0;

e74..  - b67 + b77 =L= 0;

e75..  - b67 + b78 =L= 0;

e76..  - b67 + b79 =L= 0;

e77..  - b67 + b80 =L= 0;

e78..  - b67 + b81 =L= 0;

e79..  - b67 + b82 =L= 0;

e80..  - b67 + b83 =L= 0;

e81..  - b67 + b84 =L= 0;

e82..  - b67 + b85 =L= 0;

e83..  - b67 + b86 =L= 0;

e84..  - b87 + b88 =L= 0;

e85..  - b87 + b89 =L= 0;

e86..  - b87 + b90 =L= 0;

e87..  - b87 + b91 =L= 0;

e88..  - b87 + b92 =L= 0;

e89..  - b87 + b93 =L= 0;

e90..  - b87 + b94 =L= 0;

e91..  - b87 + b95 =L= 0;

e92..  - b87 + b96 =L= 0;

e93..  - b87 + b97 =L= 0;

e94..  - b87 + b98 =L= 0;

e95..  - b87 + b99 =L= 0;

e96..  - b87 + b100 =L= 0;

e97..  - b87 + b101 =L= 0;

e98..  - b87 + b102 =L= 0;

e99..  - b87 + b103 =L= 0;

e100..  - b87 + b104 =L= 0;

e101..  - b87 + b105 =L= 0;

e102..  - b106 + b107 =L= 0;

e103..  - b106 + b108 =L= 0;

e104..  - b106 + b109 =L= 0;

e105..  - b106 + b110 =L= 0;

e106..  - b106 + b111 =L= 0;

e107..  - b106 + b112 =L= 0;

e108..  - b106 + b113 =L= 0;

e109..  - b106 + b114 =L= 0;

e110..  - b106 + b115 =L= 0;

e111..  - b106 + b116 =L= 0;

e112..  - b106 + b117 =L= 0;

e113..  - b106 + b118 =L= 0;

e114..  - b106 + b119 =L= 0;

e115..  - b106 + b120 =L= 0;

e116..  - b106 + b121 =L= 0;

e117..  - b106 + b122 =L= 0;

e118..  - b106 + b123 =L= 0;

e119..  - b124 + b125 =L= 0;

e120..  - b124 + b126 =L= 0;

e121..  - b124 + b127 =L= 0;

e122..  - b124 + b128 =L= 0;

e123..  - b124 + b140 =L= 0;

e124..  - b124 + b129 =L= 0;

e125..  - b124 + b130 =L= 0;

e126..  - b124 + b131 =L= 0;

e127..  - b124 + b132 =L= 0;

e128..  - b124 + b133 =L= 0;

e129..  - b124 + b134 =L= 0;

e130..  - b124 + b135 =L= 0;

e131..  - b124 + b136 =L= 0;

e132..  - b124 + b137 =L= 0;

e133..  - b124 + b138 =L= 0;

e134..  - b124 + b139 =L= 0;

e135..  - b141 + b142 =L= 0;

e136..  - b141 + b143 =L= 0;

e137..  - b141 + b144 =L= 0;

e138..  - b141 + b145 =L= 0;

e139..  - b141 + b146 =L= 0;

e140..  - b141 + b147 =L= 0;

e141..  - b141 + b148 =L= 0;

e142..  - b141 + b149 =L= 0;

e143..  - b141 + b150 =L= 0;

e144..  - b141 + b151 =L= 0;

e145..  - b141 + b152 =L= 0;

e146..  - b141 + b153 =L= 0;

e147..  - b141 + b154 =L= 0;

e148..  - b141 + b155 =L= 0;

e149..  - b141 + b156 =L= 0;

e150..  - b157 + b158 =L= 0;

e151..  - b157 + b159 =L= 0;

e152..  - b157 + b160 =L= 0;

e153..  - b157 + b161 =L= 0;

e154..  - b157 + b162 =L= 0;

e155..  - b157 + b163 =L= 0;

e156..  - b157 + b164 =L= 0;

e157..  - b157 + b165 =L= 0;

e158..  - b157 + b166 =L= 0;

e159..  - b157 + b167 =L= 0;

e160..  - b157 + b168 =L= 0;

e161..  - b157 + b169 =L= 0;

e162..  - b157 + b170 =L= 0;

e163..  - b157 + b171 =L= 0;

e164..  - b172 + b173 =L= 0;

e165..  - b172 + b174 =L= 0;

e166..  - b172 + b175 =L= 0;

e167..  - b172 + b176 =L= 0;

e168..  - b172 + b177 =L= 0;

e169..  - b172 + b178 =L= 0;

e170..  - b172 + b179 =L= 0;

e171..  - b172 + b185 =L= 0;

e172..  - b172 + b180 =L= 0;

e173..  - b172 + b181 =L= 0;

e174..  - b172 + b182 =L= 0;

e175..  - b172 + b183 =L= 0;

e176..  - b172 + b184 =L= 0;

e177..  - b186 + b187 =L= 0;

e178..  - b186 + b188 =L= 0;

e179..  - b186 + b189 =L= 0;

e180..  - b186 + b190 =L= 0;

e181..  - b186 + b191 =L= 0;

e182..  - b186 + b192 =L= 0;

e183..  - b186 + b193 =L= 0;

e184..  - b186 + b194 =L= 0;

e185..  - b186 + b195 =L= 0;

e186..  - b186 + b196 =L= 0;

e187..  - b186 + b197 =L= 0;

e188..  - b186 + b198 =L= 0;

e189..  - b199 + b200 =L= 0;

e190..  - b199 + b201 =L= 0;

e191..  - b199 + b202 =L= 0;

e192..  - b199 + b203 =L= 0;

e193..  - b199 + b204 =L= 0;

e194..  - b199 + b205 =L= 0;

e195..  - b199 + b206 =L= 0;

e196..  - b199 + b207 =L= 0;

e197..  - b199 + b208 =L= 0;

e198..  - b199 + b209 =L= 0;

e199..  - b199 + b210 =L= 0;

e200..  - b211 + b212 =L= 0;

e201..  - b211 + b213 =L= 0;

e202..  - b211 + b214 =L= 0;

e203..  - b211 + b215 =L= 0;

e204..  - b211 + b216 =L= 0;

e205..  - b211 + b217 =L= 0;

e206..  - b211 + b218 =L= 0;

e207..  - b211 + b219 =L= 0;

e208..  - b211 + b220 =L= 0;

e209..  - b211 + b221 =L= 0;

e210..  - b222 + b223 =L= 0;

e211..  - b222 + b224 =L= 0;

e212..  - b222 + b225 =L= 0;

e213..  - b222 + b226 =L= 0;

e214..  - b222 + b227 =L= 0;

e215..  - b222 + b228 =L= 0;

e216..  - b222 + b229 =L= 0;

e217..  - b222 + b230 =L= 0;

e218..  - b222 + b231 =L= 0;

e219..  - b232 + b233 =L= 0;

e220..  - b232 + b234 =L= 0;

e221..  - b232 + b235 =L= 0;

e222..  - b232 + b236 =L= 0;

e223..  - b232 + b237 =L= 0;

e224..  - b232 + b238 =L= 0;

e225..  - b232 + b239 =L= 0;

e226..  - b232 + b240 =L= 0;

e227..  - b241 + b242 =L= 0;

e228..  - b241 + b243 =L= 0;

e229..  - b241 + b244 =L= 0;

e230..  - b241 + b245 =L= 0;

e231..  - b241 + b246 =L= 0;

e232..  - b241 + b247 =L= 0;

e233..  - b241 + b248 =L= 0;

e234..  - b249 + b250 =L= 0;

e235..  - b249 + b251 =L= 0;

e236..  - b249 + b252 =L= 0;

e237..  - b249 + b253 =L= 0;

e238..  - b249 + b254 =L= 0;

e239..  - b249 + b255 =L= 0;

e240..  - b256 + b257 =L= 0;

e241..  - b256 + b258 =L= 0;

e242..  - b256 + b259 =L= 0;

e243..  - b256 + b260 =L= 0;

e244..  - b256 + b261 =L= 0;

e245..  - b262 + b263 =L= 0;

e246..  - b262 + b264 =L= 0;

e247..  - b262 + b265 =L= 0;

e248..  - b262 + b266 =L= 0;

e249..  - b267 + b268 =L= 0;

e250..  - b267 + b269 =L= 0;

e251..  - b267 + b270 =L= 0;

e252..  - b271 + b272 =L= 0;

e253..  - b271 + b273 =L= 0;

e254..  - b274 + b275 =L= 0;

e255.. 4225.5*b2 - 301.5*b3*b2 + 4243.5*b3 - 202.5*b4*b2 + 4689*b4 - 418.5*b5*
       b2 + 4837.5*b5 - 418.5*b6*b2 + 5548.5*b6 - 283.5*b7*b2 + 5440.5*b7 - 36*
       b8*b2 + 4945.5*b8 - 234*b9*b2 + 5710.5*b9 - 243*b10*b2 + 4338*b10 - 288*
       b11*b2 + 4522.5*b11 - 108*b12*b2 + 4081.5*b12 - 63*b13*b2 + 5242.5*b13
        - 18*b14*b2 + 4531.5*b14 - 85.5*b15*b2 + 4959*b15 - 319.5*b16*b2 + 
       4675.5*b16 - 126*b17*b2 + 4698*b17 - 58.5*b18*b2 + 4599*b18 - 202.5*b19*
       b2 + 6295.5*b19 - 234*b20*b2 + 5481*b20 - 355.5*b21*b2 + 5098.5*b21 - 
       49.5*b22*b2 + 4900.5*b22 - 180*b23*b2 + 3712.5*b23 - 54*b4*b3 - 256.5*b5
       *b3 - 216*b6*b3 - 76.5*b7*b3 - 193.5*b8*b3 - 279*b9*b3 - 108*b10*b3 - 
       202.5*b11*b3 - 94.5*b12*b3 - 270*b13*b3 - 54*b14*b3 - 297*b15*b3 - 238.5
       *b16*b3 - 22.5*b17*b3 - 364.5*b18*b3 - 274.5*b19*b3 - 45*b20*b3 - 396*
       b21*b3 - 346.5*b22*b3 - 153*b23*b3 - 9*b5*b4 - 369*b6*b4 - 238.5*b7*b4
        - 117*b8*b4 - 279*b9*b4 - 81*b10*b4 - 319.5*b11*b4 - 63*b12*b4 - 436.5*
       b13*b4 - 369*b14*b4 - 243*b15*b4 - 40.5*b16*b4 - 414*b17*b4 - 247.5*b18*
       b4 - 351*b19*b4 - 391.5*b20*b4 - 310.5*b21*b4 - 9*b22*b4 - 144*b23*b4 - 
       189*b6*b5 - 63*b7*b5 - 202.5*b8*b5 - 270*b9*b5 - 301.5*b10*b5 - 9*b11*b5
        - 189*b12*b5 - 364.5*b13*b5 - 288*b14*b5 - 369*b15*b5 - 261*b16*b5 - 
       441*b17*b5 - 162*b18*b5 - 414*b19*b5 - 13.5*b20*b5 - 279*b21*b5 - 243*
       b22*b5 - 94.5*b23*b5 - 382.5*b7*b6 - 310.5*b8*b6 - 315*b9*b6 - 90*b10*b6
        - 337.5*b11*b6 - 360*b12*b6 - 54*b13*b6 - 369*b14*b6 - 45*b15*b6 - 
       445.5*b16*b6 - 18*b17*b6 - 58.5*b18*b6 - 378*b19*b6 - 441*b20*b6 - 121.5
       *b21*b6 - 364.5*b22*b6 - 265.5*b23*b6 - 211.5*b8*b7 - 373.5*b9*b7 - 
       238.5*b10*b7 - 360*b11*b7 - 157.5*b13*b7 - 405*b14*b7 - 441*b15*b7 - 
       319.5*b16*b7 - 373.5*b17*b7 - 243*b18*b7 - 387*b19*b7 - 400.5*b20*b7 - 
       121.5*b21*b7 - 319.5*b22*b7 - 45*b23*b7 - 441*b9*b8 - 409.5*b10*b8 - 387
       *b11*b8 - 135*b12*b8 - 247.5*b13*b8 - 90*b14*b8 - 180*b15*b8 - 31.5*b16*
       b8 - 342*b17*b8 - 238.5*b18*b8 - 409.5*b19*b8 - 337.5*b20*b8 - 148.5*b21
       *b8 - 324*b22*b8 - 153*b23*b8 - 144*b10*b9 - 31.5*b11*b9 - 391.5*b12*b9
        - 288*b13*b9 - 31.5*b14*b9 - 333*b15*b9 - 243*b16*b9 - 261*b17*b9 - 
       436.5*b18*b9 - 400.5*b19*b9 - 54*b20*b9 - 373.5*b21*b9 - 355.5*b22*b9 - 
       175.5*b23*b9 - 31.5*b11*b10 - 400.5*b12*b10 - 400.5*b13*b10 - 441*b14*
       b10 - 121.5*b15*b10 - 85.5*b16*b10 - 27*b17*b10 - 270*b19*b10 - 58.5*b20
       *b10 - 342*b21*b10 - 292.5*b22*b10 - 252*b23*b10 - 229.5*b12*b11 - 225*
       b13*b11 - 126*b14*b11 - 166.5*b15*b11 - 153*b16*b11 - 391.5*b17*b11 - 
       108*b18*b11 - 441*b19*b11 - 211.5*b20*b11 - 225*b21*b11 - 22.5*b22*b11
        - 256.5*b23*b11 - 216*b13*b12 - 423*b14*b12 - 94.5*b15*b12 - 139.5*b16*
       b12 - 112.5*b17*b12 - 54*b18*b12 - 171*b19*b12 - 67.5*b20*b12 - 9*b21*
       b12 - 400.5*b22*b12 - 423*b23*b12 - 94.5*b14*b13 - 427.5*b15*b13 - 423*
       b16*b13 - 148.5*b17*b13 - 36*b18*b13 - 319.5*b19*b13 - 445.5*b20*b13 - 
       288*b21*b13 - 333*b22*b13 - 4.5*b23*b13 - 198*b15*b14 - 54*b16*b14 - 162
       *b17*b14 - 373.5*b18*b14 - 396*b19*b14 - 153*b20*b14 - 135*b21*b14 - 
       175.5*b22*b14 - 175.5*b23*b14 - 175.5*b16*b15 - 391.5*b17*b15 - 387*b18*
       b15 - 270*b19*b15 - 315*b20*b15 - 49.5*b21*b15 - 328.5*b22*b15 - 40.5*
       b23*b15 - 351*b17*b16 - 337.5*b18*b16 - 225*b19*b16 - 328.5*b20*b16 - 
       216*b21*b16 - 202.5*b22*b16 - 85.5*b23*b16 - 369*b18*b17 - 22.5*b19*b17
        - 405*b20*b17 - 148.5*b21*b17 - 94.5*b22*b17 - 76.5*b23*b17 - 153*b19*
       b18 - 292.5*b20*b18 - 364.5*b21*b18 - 315*b22*b18 - 310.5*b20*b19 - 
       256.5*b21*b19 - 373.5*b22*b19 - 270*b23*b19 - 432*b21*b20 - 99*b22*b20
        - 445.5*b23*b20 - 153*b22*b21 - 373.5*b23*b21 - 99*b23*b22 =L= 29265.2;

e256.. (-301.5*b25*b24) - 28882.7*b24 + 4279.5*b25 - 202.5*b26*b24 + 5085*b26
        - 418.5*b27*b24 + 5031*b27 - 418.5*b28*b24 + 5805*b28 - 283.5*b29*b24
        + 5544*b29 - 36*b30*b24 + 5368.5*b30 - 234*b31*b24 + 5805*b31 - 243*b32
       *b24 + 4662*b32 - 288*b33*b24 + 4585.5*b33 - 108*b34*b24 + 4144.5*b34 - 
       63*b35*b24 + 5634*b35 - 18*b36*b24 + 4680*b36 - 85.5*b37*b24 + 5166*b37
        - 319.5*b38*b24 + 4711.5*b38 - 126*b39*b24 + 4716*b39 - 58.5*b40*b24 + 
       4752*b40 - 202.5*b41*b24 + 6574.5*b41 - 234*b42*b24 + 5728.5*b42 - 355.5
       *b43*b24 + 5319*b43 - 49.5*b44*b24 + 4927.5*b44 - 180*b45*b24 + 3874.5*
       b45 - 54*b26*b25 - 256.5*b27*b25 - 216*b28*b25 - 76.5*b29*b25 - 193.5*
       b30*b25 - 279*b31*b25 - 108*b32*b25 - 202.5*b33*b25 - 94.5*b34*b25 - 270
       *b35*b25 - 54*b36*b25 - 297*b37*b25 - 238.5*b38*b25 - 22.5*b39*b25 - 
       364.5*b40*b25 - 274.5*b41*b25 - 45*b42*b25 - 396*b43*b25 - 346.5*b44*b25
        - 153*b45*b25 - 9*b27*b26 - 369*b28*b26 - 238.5*b29*b26 - 117*b30*b26
        - 279*b31*b26 - 81*b32*b26 - 319.5*b33*b26 - 63*b34*b26 - 436.5*b35*b26
        - 369*b36*b26 - 243*b37*b26 - 40.5*b38*b26 - 414*b39*b26 - 247.5*b40*
       b26 - 351*b41*b26 - 391.5*b42*b26 - 310.5*b43*b26 - 9*b44*b26 - 144*b45*
       b26 - 189*b28*b27 - 63*b29*b27 - 202.5*b30*b27 - 270*b31*b27 - 301.5*b32
       *b27 - 9*b33*b27 - 189*b34*b27 - 364.5*b35*b27 - 288*b36*b27 - 369*b37*
       b27 - 261*b38*b27 - 441*b39*b27 - 162*b40*b27 - 414*b41*b27 - 13.5*b42*
       b27 - 279*b43*b27 - 243*b44*b27 - 94.5*b45*b27 - 382.5*b29*b28 - 310.5*
       b30*b28 - 315*b31*b28 - 90*b32*b28 - 337.5*b33*b28 - 360*b34*b28 - 54*
       b35*b28 - 369*b36*b28 - 45*b37*b28 - 445.5*b38*b28 - 18*b39*b28 - 58.5*
       b40*b28 - 378*b41*b28 - 441*b42*b28 - 121.5*b43*b28 - 364.5*b44*b28 - 
       265.5*b45*b28 - 211.5*b30*b29 - 373.5*b31*b29 - 238.5*b32*b29 - 360*b33*
       b29 - 157.5*b35*b29 - 405*b36*b29 - 441*b37*b29 - 319.5*b38*b29 - 373.5*
       b39*b29 - 243*b40*b29 - 387*b41*b29 - 400.5*b42*b29 - 121.5*b43*b29 - 
       319.5*b44*b29 - 45*b45*b29 - 441*b31*b30 - 409.5*b32*b30 - 387*b33*b30
        - 135*b34*b30 - 247.5*b35*b30 - 90*b36*b30 - 180*b37*b30 - 31.5*b38*b30
        - 342*b39*b30 - 238.5*b40*b30 - 409.5*b41*b30 - 337.5*b42*b30 - 148.5*
       b43*b30 - 324*b44*b30 - 153*b45*b30 - 144*b32*b31 - 31.5*b33*b31 - 391.5
       *b34*b31 - 288*b35*b31 - 31.5*b36*b31 - 333*b37*b31 - 243*b38*b31 - 261*
       b39*b31 - 436.5*b40*b31 - 400.5*b41*b31 - 54*b42*b31 - 373.5*b43*b31 - 
       355.5*b44*b31 - 175.5*b45*b31 - 31.5*b33*b32 - 400.5*b34*b32 - 400.5*b35
       *b32 - 441*b36*b32 - 121.5*b37*b32 - 85.5*b38*b32 - 27*b39*b32 - 270*b41
       *b32 - 58.5*b42*b32 - 342*b43*b32 - 292.5*b44*b32 - 252*b45*b32 - 229.5*
       b34*b33 - 225*b35*b33 - 126*b36*b33 - 166.5*b37*b33 - 153*b38*b33 - 
       391.5*b39*b33 - 108*b40*b33 - 441*b41*b33 - 211.5*b42*b33 - 225*b43*b33
        - 22.5*b44*b33 - 256.5*b45*b33 - 216*b35*b34 - 423*b36*b34 - 94.5*b37*
       b34 - 139.5*b38*b34 - 112.5*b39*b34 - 54*b40*b34 - 171*b41*b34 - 67.5*
       b42*b34 - 9*b43*b34 - 400.5*b44*b34 - 423*b45*b34 - 94.5*b36*b35 - 427.5
       *b37*b35 - 423*b38*b35 - 148.5*b39*b35 - 36*b40*b35 - 319.5*b41*b35 - 
       445.5*b42*b35 - 288*b43*b35 - 333*b44*b35 - 4.5*b45*b35 - 198*b37*b36 - 
       54*b38*b36 - 162*b39*b36 - 373.5*b40*b36 - 396*b41*b36 - 153*b42*b36 - 
       135*b43*b36 - 175.5*b44*b36 - 175.5*b45*b36 - 175.5*b38*b37 - 391.5*b39*
       b37 - 387*b40*b37 - 270*b41*b37 - 315*b42*b37 - 49.5*b43*b37 - 328.5*b44
       *b37 - 40.5*b45*b37 - 351*b39*b38 - 337.5*b40*b38 - 225*b41*b38 - 328.5*
       b42*b38 - 216*b43*b38 - 202.5*b44*b38 - 85.5*b45*b38 - 369*b40*b39 - 
       22.5*b41*b39 - 405*b42*b39 - 148.5*b43*b39 - 94.5*b44*b39 - 76.5*b45*b39
        - 153*b41*b40 - 292.5*b42*b40 - 364.5*b43*b40 - 315*b44*b40 - 310.5*b42
       *b41 - 256.5*b43*b41 - 373.5*b44*b41 - 270*b45*b41 - 432*b43*b42 - 99*
       b44*b42 - 445.5*b45*b42 - 153*b44*b43 - 373.5*b45*b43 - 99*b45*b44 =L= 0
       ;

e257.. (-54*b47*b46) - 28914.2*b46 + 5085*b47 - 256.5*b48*b46 + 5031*b48 - 216*
       b49*b46 + 5805*b49 - 76.5*b50*b46 + 5544*b50 - 193.5*b51*b46 + 5368.5*
       b51 - 279*b52*b46 + 5805*b52 - 108*b53*b46 + 4662*b53 - 202.5*b54*b46 + 
       4585.5*b54 - 94.5*b55*b46 + 4144.5*b55 - 270*b56*b46 + 5634*b56 - 54*b57
       *b46 + 4680*b57 - 297*b58*b46 + 5166*b58 - 238.5*b59*b46 + 4711.5*b59 - 
       22.5*b60*b46 + 4716*b60 - 364.5*b61*b46 + 4752*b61 - 274.5*b62*b46 + 
       6574.5*b62 - 45*b63*b46 + 5728.5*b63 - 396*b64*b46 + 5319*b64 - 346.5*
       b65*b46 + 4927.5*b65 - 153*b66*b46 + 3874.5*b66 - 9*b48*b47 - 369*b49*
       b47 - 238.5*b50*b47 - 117*b51*b47 - 279*b52*b47 - 81*b53*b47 - 319.5*b54
       *b47 - 63*b55*b47 - 436.5*b56*b47 - 369*b57*b47 - 243*b58*b47 - 40.5*b59
       *b47 - 414*b60*b47 - 247.5*b61*b47 - 351*b62*b47 - 391.5*b63*b47 - 310.5
       *b64*b47 - 9*b65*b47 - 144*b66*b47 - 189*b49*b48 - 63*b50*b48 - 202.5*
       b51*b48 - 270*b52*b48 - 301.5*b53*b48 - 9*b54*b48 - 189*b55*b48 - 364.5*
       b56*b48 - 288*b57*b48 - 369*b58*b48 - 261*b59*b48 - 441*b60*b48 - 162*
       b61*b48 - 414*b62*b48 - 13.5*b63*b48 - 279*b64*b48 - 243*b65*b48 - 94.5*
       b66*b48 - 382.5*b50*b49 - 310.5*b51*b49 - 315*b52*b49 - 90*b53*b49 - 
       337.5*b54*b49 - 360*b55*b49 - 54*b56*b49 - 369*b57*b49 - 45*b58*b49 - 
       445.5*b59*b49 - 18*b60*b49 - 58.5*b61*b49 - 378*b62*b49 - 441*b63*b49 - 
       121.5*b64*b49 - 364.5*b65*b49 - 265.5*b66*b49 - 211.5*b51*b50 - 373.5*
       b52*b50 - 238.5*b53*b50 - 360*b54*b50 - 157.5*b56*b50 - 405*b57*b50 - 
       441*b58*b50 - 319.5*b59*b50 - 373.5*b60*b50 - 243*b61*b50 - 387*b62*b50
        - 400.5*b63*b50 - 121.5*b64*b50 - 319.5*b65*b50 - 45*b66*b50 - 441*b52*
       b51 - 409.5*b53*b51 - 387*b54*b51 - 135*b55*b51 - 247.5*b56*b51 - 90*b57
       *b51 - 180*b58*b51 - 31.5*b59*b51 - 342*b60*b51 - 238.5*b61*b51 - 409.5*
       b62*b51 - 337.5*b63*b51 - 148.5*b64*b51 - 324*b65*b51 - 153*b66*b51 - 
       144*b53*b52 - 31.5*b54*b52 - 391.5*b55*b52 - 288*b56*b52 - 31.5*b57*b52
        - 333*b58*b52 - 243*b59*b52 - 261*b60*b52 - 436.5*b61*b52 - 400.5*b62*
       b52 - 54*b63*b52 - 373.5*b64*b52 - 355.5*b65*b52 - 175.5*b66*b52 - 31.5*
       b54*b53 - 400.5*b55*b53 - 400.5*b56*b53 - 441*b57*b53 - 121.5*b58*b53 - 
       85.5*b59*b53 - 27*b60*b53 - 270*b62*b53 - 58.5*b63*b53 - 342*b64*b53 - 
       292.5*b65*b53 - 252*b66*b53 - 229.5*b55*b54 - 225*b56*b54 - 126*b57*b54
        - 166.5*b58*b54 - 153*b59*b54 - 391.5*b60*b54 - 108*b61*b54 - 441*b62*
       b54 - 211.5*b63*b54 - 225*b64*b54 - 22.5*b65*b54 - 256.5*b66*b54 - 216*
       b56*b55 - 423*b57*b55 - 94.5*b58*b55 - 139.5*b59*b55 - 112.5*b60*b55 - 
       54*b61*b55 - 171*b62*b55 - 67.5*b63*b55 - 9*b64*b55 - 400.5*b65*b55 - 
       423*b66*b55 - 94.5*b57*b56 - 427.5*b58*b56 - 423*b59*b56 - 148.5*b60*b56
        - 36*b61*b56 - 319.5*b62*b56 - 445.5*b63*b56 - 288*b64*b56 - 333*b65*
       b56 - 4.5*b66*b56 - 198*b58*b57 - 54*b59*b57 - 162*b60*b57 - 373.5*b61*
       b57 - 396*b62*b57 - 153*b63*b57 - 135*b64*b57 - 175.5*b65*b57 - 175.5*
       b66*b57 - 175.5*b59*b58 - 391.5*b60*b58 - 387*b61*b58 - 270*b62*b58 - 
       315*b63*b58 - 49.5*b64*b58 - 328.5*b65*b58 - 40.5*b66*b58 - 351*b60*b59
        - 337.5*b61*b59 - 225*b62*b59 - 328.5*b63*b59 - 216*b64*b59 - 202.5*b65
       *b59 - 85.5*b66*b59 - 369*b61*b60 - 22.5*b62*b60 - 405*b63*b60 - 148.5*
       b64*b60 - 94.5*b65*b60 - 76.5*b66*b60 - 153*b62*b61 - 292.5*b63*b61 - 
       364.5*b64*b61 - 315*b65*b61 - 310.5*b63*b62 - 256.5*b64*b62 - 373.5*b65*
       b62 - 270*b66*b62 - 432*b64*b63 - 99*b65*b63 - 445.5*b66*b63 - 153*b65*
       b64 - 373.5*b66*b64 - 99*b66*b65 =L= 0;

e258.. (-9*b68*b67) - 28108.7*b67 + 5031*b68 - 369*b69*b67 + 5805*b69 - 238.5*
       b70*b67 + 5544*b70 - 117*b71*b67 + 5368.5*b71 - 279*b72*b67 + 5805*b72
        - 81*b73*b67 + 4662*b73 - 319.5*b74*b67 + 4585.5*b74 - 63*b75*b67 + 
       4144.5*b75 - 436.5*b76*b67 + 5634*b76 - 369*b77*b67 + 4680*b77 - 243*b78
       *b67 + 5166*b78 - 40.5*b79*b67 + 4711.5*b79 - 414*b80*b67 + 4716*b80 - 
       247.5*b81*b67 + 4752*b81 - 351*b82*b67 + 6574.5*b82 - 391.5*b83*b67 + 
       5728.5*b83 - 310.5*b84*b67 + 5319*b84 - 9*b85*b67 + 4927.5*b85 - 144*b86
       *b67 + 3874.5*b86 - 189*b69*b68 - 63*b70*b68 - 202.5*b71*b68 - 270*b72*
       b68 - 301.5*b73*b68 - 9*b74*b68 - 189*b75*b68 - 364.5*b76*b68 - 288*b77*
       b68 - 369*b78*b68 - 261*b79*b68 - 441*b80*b68 - 162*b81*b68 - 414*b82*
       b68 - 13.5*b83*b68 - 279*b84*b68 - 243*b85*b68 - 94.5*b86*b68 - 382.5*
       b70*b69 - 310.5*b71*b69 - 315*b72*b69 - 90*b73*b69 - 337.5*b74*b69 - 360
       *b75*b69 - 54*b76*b69 - 369*b77*b69 - 45*b78*b69 - 445.5*b79*b69 - 18*
       b80*b69 - 58.5*b81*b69 - 378*b82*b69 - 441*b83*b69 - 121.5*b84*b69 - 
       364.5*b85*b69 - 265.5*b86*b69 - 211.5*b71*b70 - 373.5*b72*b70 - 238.5*
       b73*b70 - 360*b74*b70 - 157.5*b76*b70 - 405*b77*b70 - 441*b78*b70 - 
       319.5*b79*b70 - 373.5*b80*b70 - 243*b81*b70 - 387*b82*b70 - 400.5*b83*
       b70 - 121.5*b84*b70 - 319.5*b85*b70 - 45*b86*b70 - 441*b72*b71 - 409.5*
       b73*b71 - 387*b74*b71 - 135*b75*b71 - 247.5*b76*b71 - 90*b77*b71 - 180*
       b78*b71 - 31.5*b79*b71 - 342*b80*b71 - 238.5*b81*b71 - 409.5*b82*b71 - 
       337.5*b83*b71 - 148.5*b84*b71 - 324*b85*b71 - 153*b86*b71 - 144*b73*b72
        - 31.5*b74*b72 - 391.5*b75*b72 - 288*b76*b72 - 31.5*b77*b72 - 333*b78*
       b72 - 243*b79*b72 - 261*b80*b72 - 436.5*b81*b72 - 400.5*b82*b72 - 54*b83
       *b72 - 373.5*b84*b72 - 355.5*b85*b72 - 175.5*b86*b72 - 31.5*b74*b73 - 
       400.5*b75*b73 - 400.5*b76*b73 - 441*b77*b73 - 121.5*b78*b73 - 85.5*b79*
       b73 - 27*b80*b73 - 270*b82*b73 - 58.5*b83*b73 - 342*b84*b73 - 292.5*b85*
       b73 - 252*b86*b73 - 229.5*b75*b74 - 225*b76*b74 - 126*b77*b74 - 166.5*
       b78*b74 - 153*b79*b74 - 391.5*b80*b74 - 108*b81*b74 - 441*b82*b74 - 
       211.5*b83*b74 - 225*b84*b74 - 22.5*b85*b74 - 256.5*b86*b74 - 216*b76*b75
        - 423*b77*b75 - 94.5*b78*b75 - 139.5*b79*b75 - 112.5*b80*b75 - 54*b81*
       b75 - 171*b82*b75 - 67.5*b83*b75 - 9*b84*b75 - 400.5*b85*b75 - 423*b86*
       b75 - 94.5*b77*b76 - 427.5*b78*b76 - 423*b79*b76 - 148.5*b80*b76 - 36*
       b81*b76 - 319.5*b82*b76 - 445.5*b83*b76 - 288*b84*b76 - 333*b85*b76 - 
       4.5*b86*b76 - 198*b78*b77 - 54*b79*b77 - 162*b80*b77 - 373.5*b81*b77 - 
       396*b82*b77 - 153*b83*b77 - 135*b84*b77 - 175.5*b85*b77 - 175.5*b86*b77
        - 175.5*b79*b78 - 391.5*b80*b78 - 387*b81*b78 - 270*b82*b78 - 315*b83*
       b78 - 49.5*b84*b78 - 328.5*b85*b78 - 40.5*b86*b78 - 351*b80*b79 - 337.5*
       b81*b79 - 225*b82*b79 - 328.5*b83*b79 - 216*b84*b79 - 202.5*b85*b79 - 
       85.5*b86*b79 - 369*b81*b80 - 22.5*b82*b80 - 405*b83*b80 - 148.5*b84*b80
        - 94.5*b85*b80 - 76.5*b86*b80 - 153*b82*b81 - 292.5*b83*b81 - 364.5*b84
       *b81 - 315*b85*b81 - 310.5*b83*b82 - 256.5*b84*b82 - 373.5*b85*b82 - 270
       *b86*b82 - 432*b84*b83 - 99*b85*b83 - 445.5*b86*b83 - 153*b85*b84 - 
       373.5*b86*b84 - 99*b86*b85 =L= 0;

e259.. (-189*b88*b87) - 28162.7*b87 + 5805*b88 - 63*b89*b87 + 5544*b89 - 202.5*
       b90*b87 + 5368.5*b90 - 270*b91*b87 + 5805*b91 - 301.5*b92*b87 + 4662*b92
        - 9*b93*b87 + 4585.5*b93 - 189*b94*b87 + 4144.5*b94 - 364.5*b95*b87 + 
       5634*b95 - 288*b96*b87 + 4680*b96 - 369*b97*b87 + 5166*b97 - 261*b98*b87
        + 4711.5*b98 - 441*b99*b87 + 4716*b99 - 162*b100*b87 + 4752*b100 - 414*
       b101*b87 + 6574.5*b101 - 13.5*b102*b87 + 5728.5*b102 - 279*b103*b87 + 
       5319*b103 - 243*b104*b87 + 4927.5*b104 - 94.5*b105*b87 + 3874.5*b105 - 
       382.5*b89*b88 - 310.5*b90*b88 - 315*b91*b88 - 90*b92*b88 - 337.5*b93*b88
        - 360*b94*b88 - 54*b95*b88 - 369*b96*b88 - 45*b97*b88 - 445.5*b98*b88
        - 18*b99*b88 - 58.5*b100*b88 - 378*b101*b88 - 441*b102*b88 - 121.5*b103
       *b88 - 364.5*b104*b88 - 265.5*b105*b88 - 211.5*b90*b89 - 373.5*b91*b89
        - 238.5*b92*b89 - 360*b93*b89 - 157.5*b95*b89 - 405*b96*b89 - 441*b97*
       b89 - 319.5*b98*b89 - 373.5*b99*b89 - 243*b100*b89 - 387*b101*b89 - 
       400.5*b102*b89 - 121.5*b103*b89 - 319.5*b104*b89 - 45*b105*b89 - 441*b91
       *b90 - 409.5*b92*b90 - 387*b93*b90 - 135*b94*b90 - 247.5*b95*b90 - 90*
       b96*b90 - 180*b97*b90 - 31.5*b98*b90 - 342*b99*b90 - 238.5*b100*b90 - 
       409.5*b101*b90 - 337.5*b102*b90 - 148.5*b103*b90 - 324*b104*b90 - 153*
       b105*b90 - 144*b92*b91 - 31.5*b93*b91 - 391.5*b94*b91 - 288*b95*b91 - 
       31.5*b96*b91 - 333*b97*b91 - 243*b98*b91 - 261*b99*b91 - 436.5*b100*b91
        - 400.5*b101*b91 - 54*b102*b91 - 373.5*b103*b91 - 355.5*b104*b91 - 
       175.5*b105*b91 - 31.5*b93*b92 - 400.5*b94*b92 - 400.5*b95*b92 - 441*b96*
       b92 - 121.5*b97*b92 - 85.5*b98*b92 - 27*b99*b92 - 270*b101*b92 - 58.5*
       b102*b92 - 342*b103*b92 - 292.5*b104*b92 - 252*b105*b92 - 229.5*b94*b93
        - 225*b95*b93 - 126*b96*b93 - 166.5*b97*b93 - 153*b98*b93 - 391.5*b99*
       b93 - 108*b100*b93 - 441*b101*b93 - 211.5*b102*b93 - 225*b103*b93 - 22.5
       *b104*b93 - 256.5*b105*b93 - 216*b95*b94 - 423*b96*b94 - 94.5*b97*b94 - 
       139.5*b98*b94 - 112.5*b99*b94 - 54*b100*b94 - 171*b101*b94 - 67.5*b102*
       b94 - 9*b103*b94 - 400.5*b104*b94 - 423*b105*b94 - 94.5*b96*b95 - 427.5*
       b97*b95 - 423*b98*b95 - 148.5*b99*b95 - 36*b100*b95 - 319.5*b101*b95 - 
       445.5*b102*b95 - 288*b103*b95 - 333*b104*b95 - 4.5*b105*b95 - 198*b97*
       b96 - 54*b98*b96 - 162*b99*b96 - 373.5*b100*b96 - 396*b101*b96 - 153*
       b102*b96 - 135*b103*b96 - 175.5*b104*b96 - 175.5*b105*b96 - 175.5*b98*
       b97 - 391.5*b99*b97 - 387*b100*b97 - 270*b101*b97 - 315*b102*b97 - 49.5*
       b103*b97 - 328.5*b104*b97 - 40.5*b105*b97 - 351*b99*b98 - 337.5*b100*b98
        - 225*b101*b98 - 328.5*b102*b98 - 216*b103*b98 - 202.5*b104*b98 - 85.5*
       b105*b98 - 369*b100*b99 - 22.5*b101*b99 - 405*b102*b99 - 148.5*b103*b99
        - 94.5*b104*b99 - 76.5*b105*b99 - 153*b101*b100 - 292.5*b102*b100 - 
       364.5*b103*b100 - 315*b104*b100 - 310.5*b102*b101 - 256.5*b103*b101 - 
       373.5*b104*b101 - 270*b105*b101 - 432*b103*b102 - 99*b104*b102 - 445.5*
       b105*b102 - 153*b104*b103 - 373.5*b105*b103 - 99*b105*b104 =L= 0;

e260.. (-382.5*b107*b106) - 27388.7*b106 + 5544*b107 - 310.5*b108*b106 + 5368.5
       *b108 - 315*b109*b106 + 5805*b109 - 90*b110*b106 + 4662*b110 - 337.5*
       b111*b106 + 4585.5*b111 - 360*b112*b106 + 4144.5*b112 - 54*b113*b106 + 
       5634*b113 - 369*b114*b106 + 4680*b114 - 45*b115*b106 + 5166*b115 - 445.5
       *b116*b106 + 4711.5*b116 - 18*b117*b106 + 4716*b117 - 58.5*b118*b106 + 
       4752*b118 - 378*b119*b106 + 6574.5*b119 - 441*b120*b106 + 5728.5*b120 - 
       121.5*b121*b106 + 5319*b121 - 364.5*b122*b106 + 4927.5*b122 - 265.5*b123
       *b106 + 3874.5*b123 - 211.5*b108*b107 - 373.5*b109*b107 - 238.5*b110*
       b107 - 360*b111*b107 - 157.5*b113*b107 - 405*b114*b107 - 441*b115*b107
        - 319.5*b116*b107 - 373.5*b117*b107 - 243*b118*b107 - 387*b119*b107 - 
       400.5*b120*b107 - 121.5*b121*b107 - 319.5*b122*b107 - 45*b123*b107 - 441
       *b109*b108 - 409.5*b110*b108 - 387*b111*b108 - 135*b112*b108 - 247.5*
       b113*b108 - 90*b114*b108 - 180*b115*b108 - 31.5*b116*b108 - 342*b117*
       b108 - 238.5*b118*b108 - 409.5*b119*b108 - 337.5*b120*b108 - 148.5*b121*
       b108 - 324*b122*b108 - 153*b123*b108 - 144*b110*b109 - 31.5*b111*b109 - 
       391.5*b112*b109 - 288*b113*b109 - 31.5*b114*b109 - 333*b115*b109 - 243*
       b116*b109 - 261*b117*b109 - 436.5*b118*b109 - 400.5*b119*b109 - 54*b120*
       b109 - 373.5*b121*b109 - 355.5*b122*b109 - 175.5*b123*b109 - 31.5*b111*
       b110 - 400.5*b112*b110 - 400.5*b113*b110 - 441*b114*b110 - 121.5*b115*
       b110 - 85.5*b116*b110 - 27*b117*b110 - 270*b119*b110 - 58.5*b120*b110 - 
       342*b121*b110 - 292.5*b122*b110 - 252*b123*b110 - 229.5*b112*b111 - 225*
       b113*b111 - 126*b114*b111 - 166.5*b115*b111 - 153*b116*b111 - 391.5*b117
       *b111 - 108*b118*b111 - 441*b119*b111 - 211.5*b120*b111 - 225*b121*b111
        - 22.5*b122*b111 - 256.5*b123*b111 - 216*b113*b112 - 423*b114*b112 - 
       94.5*b115*b112 - 139.5*b116*b112 - 112.5*b117*b112 - 54*b118*b112 - 171*
       b119*b112 - 67.5*b120*b112 - 9*b121*b112 - 400.5*b122*b112 - 423*b123*
       b112 - 94.5*b114*b113 - 427.5*b115*b113 - 423*b116*b113 - 148.5*b117*
       b113 - 36*b118*b113 - 319.5*b119*b113 - 445.5*b120*b113 - 288*b121*b113
        - 333*b122*b113 - 4.5*b123*b113 - 198*b115*b114 - 54*b116*b114 - 162*
       b117*b114 - 373.5*b118*b114 - 396*b119*b114 - 153*b120*b114 - 135*b121*
       b114 - 175.5*b122*b114 - 175.5*b123*b114 - 175.5*b116*b115 - 391.5*b117*
       b115 - 387*b118*b115 - 270*b119*b115 - 315*b120*b115 - 49.5*b121*b115 - 
       328.5*b122*b115 - 40.5*b123*b115 - 351*b117*b116 - 337.5*b118*b116 - 225
       *b119*b116 - 328.5*b120*b116 - 216*b121*b116 - 202.5*b122*b116 - 85.5*
       b123*b116 - 369*b118*b117 - 22.5*b119*b117 - 405*b120*b117 - 148.5*b121*
       b117 - 94.5*b122*b117 - 76.5*b123*b117 - 153*b119*b118 - 292.5*b120*b118
        - 364.5*b121*b118 - 315*b122*b118 - 310.5*b120*b119 - 256.5*b121*b119
        - 373.5*b122*b119 - 270*b123*b119 - 432*b121*b120 - 99*b122*b120 - 
       445.5*b123*b120 - 153*b122*b121 - 373.5*b123*b121 - 99*b123*b122 =L= 0;

e261.. (-211.5*b125*b124) - 27649.7*b124 + 5368.5*b125 - 373.5*b126*b124 + 5805
       *b126 - 238.5*b127*b124 + 4662*b127 - 360*b128*b124 + 4585.5*b128 - 
       157.5*b129*b124 + 5634*b129 - 405*b130*b124 + 4680*b130 - 441*b131*b124
        + 5166*b131 - 319.5*b132*b124 + 4711.5*b132 - 373.5*b133*b124 + 4716*
       b133 - 243*b134*b124 + 4752*b134 - 387*b135*b124 + 6574.5*b135 - 400.5*
       b136*b124 + 5728.5*b136 - 121.5*b137*b124 + 5319*b137 - 319.5*b138*b124
        + 4927.5*b138 - 45*b139*b124 + 3874.5*b139 - 441*b126*b125 - 409.5*b127
       *b125 - 387*b128*b125 - 247.5*b129*b125 - 90*b130*b125 - 180*b131*b125
        - 31.5*b132*b125 - 342*b133*b125 - 238.5*b134*b125 - 409.5*b135*b125 - 
       337.5*b136*b125 - 148.5*b137*b125 - 324*b138*b125 - 153*b139*b125 - 135*
       b140*b125 + 4144.5*b140 - 144*b127*b126 - 31.5*b128*b126 - 288*b129*b126
        - 31.5*b130*b126 - 333*b131*b126 - 243*b132*b126 - 261*b133*b126 - 
       436.5*b134*b126 - 400.5*b135*b126 - 54*b136*b126 - 373.5*b137*b126 - 
       355.5*b138*b126 - 175.5*b139*b126 - 391.5*b140*b126 - 31.5*b128*b127 - 
       400.5*b129*b127 - 441*b130*b127 - 121.5*b131*b127 - 85.5*b132*b127 - 27*
       b133*b127 - 270*b135*b127 - 58.5*b136*b127 - 342*b137*b127 - 292.5*b138*
       b127 - 252*b139*b127 - 400.5*b140*b127 - 225*b129*b128 - 126*b130*b128
        - 166.5*b131*b128 - 153*b132*b128 - 391.5*b133*b128 - 108*b134*b128 - 
       441*b135*b128 - 211.5*b136*b128 - 225*b137*b128 - 22.5*b138*b128 - 256.5
       *b139*b128 - 229.5*b140*b128 - 94.5*b130*b129 - 427.5*b131*b129 - 423*
       b132*b129 - 148.5*b133*b129 - 36*b134*b129 - 319.5*b135*b129 - 445.5*
       b136*b129 - 288*b137*b129 - 333*b138*b129 - 4.5*b139*b129 - 216*b140*
       b129 - 198*b131*b130 - 54*b132*b130 - 162*b133*b130 - 373.5*b134*b130 - 
       396*b135*b130 - 153*b136*b130 - 135*b137*b130 - 175.5*b138*b130 - 175.5*
       b139*b130 - 423*b140*b130 - 175.5*b132*b131 - 391.5*b133*b131 - 387*b134
       *b131 - 270*b135*b131 - 315*b136*b131 - 49.5*b137*b131 - 328.5*b138*b131
        - 40.5*b139*b131 - 94.5*b140*b131 - 351*b133*b132 - 337.5*b134*b132 - 
       225*b135*b132 - 328.5*b136*b132 - 216*b137*b132 - 202.5*b138*b132 - 85.5
       *b139*b132 - 139.5*b140*b132 - 369*b134*b133 - 22.5*b135*b133 - 405*b136
       *b133 - 148.5*b137*b133 - 94.5*b138*b133 - 76.5*b139*b133 - 112.5*b140*
       b133 - 153*b135*b134 - 292.5*b136*b134 - 364.5*b137*b134 - 315*b138*b134
        - 54*b140*b134 - 310.5*b136*b135 - 256.5*b137*b135 - 373.5*b138*b135 - 
       270*b139*b135 - 171*b140*b135 - 432*b137*b136 - 99*b138*b136 - 445.5*
       b139*b136 - 67.5*b140*b136 - 153*b138*b137 - 373.5*b139*b137 - 9*b140*
       b137 - 99*b139*b138 - 400.5*b140*b138 - 423*b140*b139 =L= 0;

e262.. (-441*b142*b141) - 27825.2*b141 + 5805*b142 - 409.5*b143*b141 + 4662*
       b143 - 387*b144*b141 + 4585.5*b144 - 135*b145*b141 + 4144.5*b145 - 247.5
       *b146*b141 + 5634*b146 - 90*b147*b141 + 4680*b147 - 180*b148*b141 + 5166
       *b148 - 31.5*b149*b141 + 4711.5*b149 - 342*b150*b141 + 4716*b150 - 238.5
       *b151*b141 + 4752*b151 - 409.5*b152*b141 + 6574.5*b152 - 337.5*b153*b141
        + 5728.5*b153 - 148.5*b154*b141 + 5319*b154 - 324*b155*b141 + 4927.5*
       b155 - 153*b156*b141 + 3874.5*b156 - 144*b143*b142 - 31.5*b144*b142 - 
       391.5*b145*b142 - 288*b146*b142 - 31.5*b147*b142 - 333*b148*b142 - 243*
       b149*b142 - 261*b150*b142 - 436.5*b151*b142 - 400.5*b152*b142 - 54*b153*
       b142 - 373.5*b154*b142 - 355.5*b155*b142 - 175.5*b156*b142 - 31.5*b144*
       b143 - 400.5*b145*b143 - 400.5*b146*b143 - 441*b147*b143 - 121.5*b148*
       b143 - 85.5*b149*b143 - 27*b150*b143 - 270*b152*b143 - 58.5*b153*b143 - 
       342*b154*b143 - 292.5*b155*b143 - 252*b156*b143 - 229.5*b145*b144 - 225*
       b146*b144 - 126*b147*b144 - 166.5*b148*b144 - 153*b149*b144 - 391.5*b150
       *b144 - 108*b151*b144 - 441*b152*b144 - 211.5*b153*b144 - 225*b154*b144
        - 22.5*b155*b144 - 256.5*b156*b144 - 216*b146*b145 - 423*b147*b145 - 
       94.5*b148*b145 - 139.5*b149*b145 - 112.5*b150*b145 - 54*b151*b145 - 171*
       b152*b145 - 67.5*b153*b145 - 9*b154*b145 - 400.5*b155*b145 - 423*b156*
       b145 - 94.5*b147*b146 - 427.5*b148*b146 - 423*b149*b146 - 148.5*b150*
       b146 - 36*b151*b146 - 319.5*b152*b146 - 445.5*b153*b146 - 288*b154*b146
        - 333*b155*b146 - 4.5*b156*b146 - 198*b148*b147 - 54*b149*b147 - 162*
       b150*b147 - 373.5*b151*b147 - 396*b152*b147 - 153*b153*b147 - 135*b154*
       b147 - 175.5*b155*b147 - 175.5*b156*b147 - 175.5*b149*b148 - 391.5*b150*
       b148 - 387*b151*b148 - 270*b152*b148 - 315*b153*b148 - 49.5*b154*b148 - 
       328.5*b155*b148 - 40.5*b156*b148 - 351*b150*b149 - 337.5*b151*b149 - 225
       *b152*b149 - 328.5*b153*b149 - 216*b154*b149 - 202.5*b155*b149 - 85.5*
       b156*b149 - 369*b151*b150 - 22.5*b152*b150 - 405*b153*b150 - 148.5*b154*
       b150 - 94.5*b155*b150 - 76.5*b156*b150 - 153*b152*b151 - 292.5*b153*b151
        - 364.5*b154*b151 - 315*b155*b151 - 310.5*b153*b152 - 256.5*b154*b152
        - 373.5*b155*b152 - 270*b156*b152 - 432*b154*b153 - 99*b155*b153 - 
       445.5*b156*b153 - 153*b155*b154 - 373.5*b156*b154 - 99*b156*b155 =L= 0;

e263.. (-144*b158*b157) - 27388.7*b157 + 4662*b158 - 31.5*b159*b157 + 4585.5*
       b159 - 391.5*b160*b157 + 4144.5*b160 - 288*b161*b157 + 5634*b161 - 31.5*
       b162*b157 + 4680*b162 - 333*b163*b157 + 5166*b163 - 243*b164*b157 + 
       4711.5*b164 - 261*b165*b157 + 4716*b165 - 436.5*b166*b157 + 4752*b166 - 
       400.5*b167*b157 + 6574.5*b167 - 54*b168*b157 + 5728.5*b168 - 373.5*b169*
       b157 + 5319*b169 - 355.5*b170*b157 + 4927.5*b170 - 175.5*b171*b157 + 
       3874.5*b171 - 31.5*b159*b158 - 400.5*b160*b158 - 400.5*b161*b158 - 441*
       b162*b158 - 121.5*b163*b158 - 85.5*b164*b158 - 27*b165*b158 - 270*b167*
       b158 - 58.5*b168*b158 - 342*b169*b158 - 292.5*b170*b158 - 252*b171*b158
        - 229.5*b160*b159 - 225*b161*b159 - 126*b162*b159 - 166.5*b163*b159 - 
       153*b164*b159 - 391.5*b165*b159 - 108*b166*b159 - 441*b167*b159 - 211.5*
       b168*b159 - 225*b169*b159 - 22.5*b170*b159 - 256.5*b171*b159 - 216*b161*
       b160 - 423*b162*b160 - 94.5*b163*b160 - 139.5*b164*b160 - 112.5*b165*
       b160 - 54*b166*b160 - 171*b167*b160 - 67.5*b168*b160 - 9*b169*b160 - 
       400.5*b170*b160 - 423*b171*b160 - 94.5*b162*b161 - 427.5*b163*b161 - 423
       *b164*b161 - 148.5*b165*b161 - 36*b166*b161 - 319.5*b167*b161 - 445.5*
       b168*b161 - 288*b169*b161 - 333*b170*b161 - 4.5*b171*b161 - 198*b163*
       b162 - 54*b164*b162 - 162*b165*b162 - 373.5*b166*b162 - 396*b167*b162 - 
       153*b168*b162 - 135*b169*b162 - 175.5*b170*b162 - 175.5*b171*b162 - 
       175.5*b164*b163 - 391.5*b165*b163 - 387*b166*b163 - 270*b167*b163 - 315*
       b168*b163 - 49.5*b169*b163 - 328.5*b170*b163 - 40.5*b171*b163 - 351*b165
       *b164 - 337.5*b166*b164 - 225*b167*b164 - 328.5*b168*b164 - 216*b169*
       b164 - 202.5*b170*b164 - 85.5*b171*b164 - 369*b166*b165 - 22.5*b167*b165
        - 405*b168*b165 - 148.5*b169*b165 - 94.5*b170*b165 - 76.5*b171*b165 - 
       153*b167*b166 - 292.5*b168*b166 - 364.5*b169*b166 - 315*b170*b166 - 
       310.5*b168*b167 - 256.5*b169*b167 - 373.5*b170*b167 - 270*b171*b167 - 
       432*b169*b168 - 99*b170*b168 - 445.5*b171*b168 - 153*b170*b169 - 373.5*
       b171*b169 - 99*b171*b170 =L= 0;

e264.. (-31.5*b173*b172) - 28531.7*b172 + 4585.5*b173 - 400.5*b174*b172 + 
       4144.5*b174 - 400.5*b175*b172 + 5634*b175 - 441*b176*b172 + 4680*b176 - 
       121.5*b177*b172 + 5166*b177 - 85.5*b178*b172 + 4711.5*b178 - 27*b179*
       b172 + 4716*b179 - 270*b180*b172 + 6574.5*b180 - 58.5*b181*b172 + 5728.5
       *b181 - 342*b182*b172 + 5319*b182 - 292.5*b183*b172 + 4927.5*b183 - 252*
       b184*b172 + 3874.5*b184 - 229.5*b174*b173 - 225*b175*b173 - 126*b176*
       b173 - 166.5*b177*b173 - 153*b178*b173 - 391.5*b179*b173 - 441*b180*b173
        - 211.5*b181*b173 - 225*b182*b173 - 22.5*b183*b173 - 256.5*b184*b173 - 
       108*b185*b173 + 4752*b185 - 216*b175*b174 - 423*b176*b174 - 94.5*b177*
       b174 - 139.5*b178*b174 - 112.5*b179*b174 - 171*b180*b174 - 67.5*b181*
       b174 - 9*b182*b174 - 400.5*b183*b174 - 423*b184*b174 - 54*b185*b174 - 
       94.5*b176*b175 - 427.5*b177*b175 - 423*b178*b175 - 148.5*b179*b175 - 
       319.5*b180*b175 - 445.5*b181*b175 - 288*b182*b175 - 333*b183*b175 - 4.5*
       b184*b175 - 36*b185*b175 - 198*b177*b176 - 54*b178*b176 - 162*b179*b176
        - 396*b180*b176 - 153*b181*b176 - 135*b182*b176 - 175.5*b183*b176 - 
       175.5*b184*b176 - 373.5*b185*b176 - 175.5*b178*b177 - 391.5*b179*b177 - 
       270*b180*b177 - 315*b181*b177 - 49.5*b182*b177 - 328.5*b183*b177 - 40.5*
       b184*b177 - 387*b185*b177 - 351*b179*b178 - 225*b180*b178 - 328.5*b181*
       b178 - 216*b182*b178 - 202.5*b183*b178 - 85.5*b184*b178 - 337.5*b185*
       b178 - 22.5*b180*b179 - 405*b181*b179 - 148.5*b182*b179 - 94.5*b183*b179
        - 76.5*b184*b179 - 369*b185*b179 - 310.5*b181*b180 - 256.5*b182*b180 - 
       373.5*b183*b180 - 270*b184*b180 - 153*b185*b180 - 432*b182*b181 - 99*
       b183*b181 - 445.5*b184*b181 - 292.5*b185*b181 - 153*b183*b182 - 373.5*
       b184*b182 - 364.5*b185*b182 - 99*b184*b183 - 315*b185*b183 =L= 0;

e265.. (-229.5*b187*b186) - 28608.2*b186 + 4144.5*b187 - 225*b188*b186 + 5634*
       b188 - 126*b189*b186 + 4680*b189 - 166.5*b190*b186 + 5166*b190 - 153*
       b191*b186 + 4711.5*b191 - 391.5*b192*b186 + 4716*b192 - 108*b193*b186 + 
       4752*b193 - 441*b194*b186 + 6574.5*b194 - 211.5*b195*b186 + 5728.5*b195
        - 225*b196*b186 + 5319*b196 - 22.5*b197*b186 + 4927.5*b197 - 256.5*b198
       *b186 + 3874.5*b198 - 216*b188*b187 - 423*b189*b187 - 94.5*b190*b187 - 
       139.5*b191*b187 - 112.5*b192*b187 - 54*b193*b187 - 171*b194*b187 - 67.5*
       b195*b187 - 9*b196*b187 - 400.5*b197*b187 - 423*b198*b187 - 94.5*b189*
       b188 - 427.5*b190*b188 - 423*b191*b188 - 148.5*b192*b188 - 36*b193*b188
        - 319.5*b194*b188 - 445.5*b195*b188 - 288*b196*b188 - 333*b197*b188 - 
       4.5*b198*b188 - 198*b190*b189 - 54*b191*b189 - 162*b192*b189 - 373.5*
       b193*b189 - 396*b194*b189 - 153*b195*b189 - 135*b196*b189 - 175.5*b197*
       b189 - 175.5*b198*b189 - 175.5*b191*b190 - 391.5*b192*b190 - 387*b193*
       b190 - 270*b194*b190 - 315*b195*b190 - 49.5*b196*b190 - 328.5*b197*b190
        - 40.5*b198*b190 - 351*b192*b191 - 337.5*b193*b191 - 225*b194*b191 - 
       328.5*b195*b191 - 216*b196*b191 - 202.5*b197*b191 - 85.5*b198*b191 - 369
       *b193*b192 - 22.5*b194*b192 - 405*b195*b192 - 148.5*b196*b192 - 94.5*
       b197*b192 - 76.5*b198*b192 - 153*b194*b193 - 292.5*b195*b193 - 364.5*
       b196*b193 - 315*b197*b193 - 310.5*b195*b194 - 256.5*b196*b194 - 373.5*
       b197*b194 - 270*b198*b194 - 432*b196*b195 - 99*b197*b195 - 445.5*b198*
       b195 - 153*b197*b196 - 373.5*b198*b196 - 99*b198*b197 =L= 0;

e266.. (-216*b200*b199) - 29049.2*b199 + 5634*b200 - 423*b201*b199 + 4680*b201
        - 94.5*b202*b199 + 5166*b202 - 139.5*b203*b199 + 4711.5*b203 - 112.5*
       b204*b199 + 4716*b204 - 54*b205*b199 + 4752*b205 - 171*b206*b199 + 
       6574.5*b206 - 67.5*b207*b199 + 5728.5*b207 - 9*b208*b199 + 5319*b208 - 
       400.5*b209*b199 + 4927.5*b209 - 423*b210*b199 + 3874.5*b210 - 94.5*b201*
       b200 - 427.5*b202*b200 - 423*b203*b200 - 148.5*b204*b200 - 36*b205*b200
        - 319.5*b206*b200 - 445.5*b207*b200 - 288*b208*b200 - 333*b209*b200 - 
       4.5*b210*b200 - 198*b202*b201 - 54*b203*b201 - 162*b204*b201 - 373.5*
       b205*b201 - 396*b206*b201 - 153*b207*b201 - 135*b208*b201 - 175.5*b209*
       b201 - 175.5*b210*b201 - 175.5*b203*b202 - 391.5*b204*b202 - 387*b205*
       b202 - 270*b206*b202 - 315*b207*b202 - 49.5*b208*b202 - 328.5*b209*b202
        - 40.5*b210*b202 - 351*b204*b203 - 337.5*b205*b203 - 225*b206*b203 - 
       328.5*b207*b203 - 216*b208*b203 - 202.5*b209*b203 - 85.5*b210*b203 - 369
       *b205*b204 - 22.5*b206*b204 - 405*b207*b204 - 148.5*b208*b204 - 94.5*
       b209*b204 - 76.5*b210*b204 - 153*b206*b205 - 292.5*b207*b205 - 364.5*
       b208*b205 - 315*b209*b205 - 310.5*b207*b206 - 256.5*b208*b206 - 373.5*
       b209*b206 - 270*b210*b206 - 432*b208*b207 - 99*b209*b207 - 445.5*b210*
       b207 - 153*b209*b208 - 373.5*b210*b208 - 99*b210*b209 =L= 0;

e267.. (-94.5*b212*b211) - 27559.7*b211 + 4680*b212 - 427.5*b213*b211 + 5166*
       b213 - 423*b214*b211 + 4711.5*b214 - 148.5*b215*b211 + 4716*b215 - 36*
       b216*b211 + 4752*b216 - 319.5*b217*b211 + 6574.5*b217 - 445.5*b218*b211
        + 5728.5*b218 - 288*b219*b211 + 5319*b219 - 333*b220*b211 + 4927.5*b220
        - 4.5*b221*b211 + 3874.5*b221 - 198*b213*b212 - 54*b214*b212 - 162*b215
       *b212 - 373.5*b216*b212 - 396*b217*b212 - 153*b218*b212 - 135*b219*b212
        - 175.5*b220*b212 - 175.5*b221*b212 - 175.5*b214*b213 - 391.5*b215*b213
        - 387*b216*b213 - 270*b217*b213 - 315*b218*b213 - 49.5*b219*b213 - 
       328.5*b220*b213 - 40.5*b221*b213 - 351*b215*b214 - 337.5*b216*b214 - 225
       *b217*b214 - 328.5*b218*b214 - 216*b219*b214 - 202.5*b220*b214 - 85.5*
       b221*b214 - 369*b216*b215 - 22.5*b217*b215 - 405*b218*b215 - 148.5*b219*
       b215 - 94.5*b220*b215 - 76.5*b221*b215 - 153*b217*b216 - 292.5*b218*b216
        - 364.5*b219*b216 - 315*b220*b216 - 310.5*b218*b217 - 256.5*b219*b217
        - 373.5*b220*b217 - 270*b221*b217 - 432*b219*b218 - 99*b220*b218 - 
       445.5*b221*b218 - 153*b220*b219 - 373.5*b221*b219 - 99*b221*b220 =L= 0;

e268.. (-198*b223*b222) - 28513.7*b222 + 5166*b223 - 54*b224*b222 + 4711.5*b224
        - 162*b225*b222 + 4716*b225 - 373.5*b226*b222 + 4752*b226 - 396*b227*
       b222 + 6574.5*b227 - 153*b228*b222 + 5728.5*b228 - 135*b229*b222 + 5319*
       b229 - 175.5*b230*b222 + 4927.5*b230 - 175.5*b231*b222 + 3874.5*b231 - 
       175.5*b224*b223 - 391.5*b225*b223 - 387*b226*b223 - 270*b227*b223 - 315*
       b228*b223 - 49.5*b229*b223 - 328.5*b230*b223 - 40.5*b231*b223 - 351*b225
       *b224 - 337.5*b226*b224 - 225*b227*b224 - 328.5*b228*b224 - 216*b229*
       b224 - 202.5*b230*b224 - 85.5*b231*b224 - 369*b226*b225 - 22.5*b227*b225
        - 405*b228*b225 - 148.5*b229*b225 - 94.5*b230*b225 - 76.5*b231*b225 - 
       153*b227*b226 - 292.5*b228*b226 - 364.5*b229*b226 - 315*b230*b226 - 
       310.5*b228*b227 - 256.5*b229*b227 - 373.5*b230*b227 - 270*b231*b227 - 
       432*b229*b228 - 99*b230*b228 - 445.5*b231*b228 - 153*b230*b229 - 373.5*
       b231*b229 - 99*b231*b230 =L= 0;

e269.. (-175.5*b233*b232) - 28027.7*b232 + 4711.5*b233 - 391.5*b234*b232 + 4716
       *b234 - 387*b235*b232 + 4752*b235 - 270*b236*b232 + 6574.5*b236 - 315*
       b237*b232 + 5728.5*b237 - 49.5*b238*b232 + 5319*b238 - 328.5*b239*b232
        + 4927.5*b239 - 40.5*b240*b232 + 3874.5*b240 - 351*b234*b233 - 337.5*
       b235*b233 - 225*b236*b233 - 328.5*b237*b233 - 216*b238*b233 - 202.5*b239
       *b233 - 85.5*b240*b233 - 369*b235*b234 - 22.5*b236*b234 - 405*b237*b234
        - 148.5*b238*b234 - 94.5*b239*b234 - 76.5*b240*b234 - 153*b236*b235 - 
       292.5*b237*b235 - 364.5*b238*b235 - 315*b239*b235 - 310.5*b237*b236 - 
       256.5*b238*b236 - 373.5*b239*b236 - 270*b240*b236 - 432*b238*b237 - 99*
       b239*b237 - 445.5*b240*b237 - 153*b239*b238 - 373.5*b240*b238 - 99*b240*
       b239 =L= 0;

e270.. (-351*b242*b241) - 28482.2*b241 + 4716*b242 - 337.5*b243*b241 + 4752*
       b243 - 225*b244*b241 + 6574.5*b244 - 328.5*b245*b241 + 5728.5*b245 - 216
       *b246*b241 + 5319*b246 - 202.5*b247*b241 + 4927.5*b247 - 85.5*b248*b241
        + 3874.5*b248 - 369*b243*b242 - 22.5*b244*b242 - 405*b245*b242 - 148.5*
       b246*b242 - 94.5*b247*b242 - 76.5*b248*b242 - 153*b244*b243 - 292.5*b245
       *b243 - 364.5*b246*b243 - 315*b247*b243 - 310.5*b245*b244 - 256.5*b246*
       b244 - 373.5*b247*b244 - 270*b248*b244 - 432*b246*b245 - 99*b247*b245 - 
       445.5*b248*b245 - 153*b247*b246 - 373.5*b248*b246 - 99*b248*b247 =L= 0;

e271.. (-369*b250*b249) - 28477.7*b249 + 4752*b250 - 22.5*b251*b249 + 6574.5*
       b251 - 405*b252*b249 + 5728.5*b252 - 148.5*b253*b249 + 5319*b253 - 94.5*
       b254*b249 + 4927.5*b254 - 76.5*b255*b249 + 3874.5*b255 - 153*b251*b250
        - 292.5*b252*b250 - 364.5*b253*b250 - 315*b254*b250 - 310.5*b252*b251
        - 256.5*b253*b251 - 373.5*b254*b251 - 270*b255*b251 - 432*b253*b252 - 
       99*b254*b252 - 445.5*b255*b252 - 153*b254*b253 - 373.5*b255*b253 - 99*
       b255*b254 =L= 0;

e272.. (-153*b257*b256) - 28441.7*b256 + 6574.5*b257 - 292.5*b258*b256 + 5728.5
       *b258 - 364.5*b259*b256 + 5319*b259 - 315*b260*b256 + 4927.5*b260 - 
       310.5*b258*b257 - 256.5*b259*b257 - 373.5*b260*b257 - 270*b261*b257 + 
       3874.5*b261 - 432*b259*b258 - 99*b260*b258 - 445.5*b261*b258 - 153*b260*
       b259 - 373.5*b261*b259 - 99*b261*b260 =L= 0;

e273.. (-310.5*b263*b262) - 26619.2*b262 + 5728.5*b263 - 256.5*b264*b262 + 5319
       *b264 - 373.5*b265*b262 + 4927.5*b265 - 270*b266*b262 + 3874.5*b266 - 
       432*b264*b263 - 99*b265*b263 - 445.5*b266*b263 - 153*b265*b264 - 373.5*
       b266*b264 - 99*b266*b265 =L= 0;

e274.. (-432*b268*b267) - 27465.2*b267 + 5319*b268 - 99*b269*b267 + 4927.5*b269
        - 445.5*b270*b267 + 3874.5*b270 - 153*b269*b268 - 373.5*b270*b268 - 99*
       b270*b269 =L= 0;

e275.. (-153*b272*b271) - 27874.7*b271 + 4927.5*b272 - 373.5*b273*b271 + 3874.5
       *b273 - 99*b273*b272 =L= 0;

e276.. (-99*b275*b274) - 28266.2*b274 + 3874.5*b275 =L= 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