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)ⓘ | |
| 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 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-12-17 Git hash: 8eaceb91