MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance sonet24v5
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ⓘ | -59441.03664000 (ANTIGONE) -69662.00000000 (BARON) -77395.00000000 (COUENNE) -82888.96811000 (CPLEX) -50744.00000000 (GUROBI) -64944.00000000 (LINDO) -61523.35262000 (SCIP) -69569.50983000 (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 2029, contributed by Pierre Bonami |
| Applicationⓘ | Graph Partitioning |
| Added to libraryⓘ | 18 Aug 2018 |
| Problem typeⓘ | BQCQP |
| #Variablesⓘ | 299 |
| #Binary Variablesⓘ | 299 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 298 |
| #Nonlinear Binary Variablesⓘ | 298 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | quadratic |
| Objective curvatureⓘ | indefinite |
| #Nonzeros in Objectiveⓘ | 298 |
| #Nonlinear Nonzeros in Objectiveⓘ | 298 |
| #Constraintsⓘ | 299 |
| #Linear Constraintsⓘ | 276 |
| #Quadratic Constraintsⓘ | 23 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | |
| Constraints curvatureⓘ | indefinite |
| #Nonzeros in Jacobianⓘ | 1103 |
| #Nonlinear Nonzeros in Jacobianⓘ | 298 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 4502 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 0 |
| #Blocks in Hessian of Lagrangianⓘ | 23 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 2 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 23 |
| Average blocksize in Hessian of Lagrangianⓘ | 12.956522 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.0000e+00 |
| Maximal coefficientⓘ | 4.1696e+04 |
| Infeasibility of initial pointⓘ | 1 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 300 24 0 276 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 300 1 299 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 1402 806 596 0
*
* Solve m using MIQCP minimizing objvar;
Variables objvar,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69
,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86
,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102
,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115
,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128
,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141
,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154
,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167
,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180
,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193
,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206
,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219
,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232
,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245
,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284
,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297
,b298,b299,b300;
Binary Variables b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69
,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86
,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102
,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115
,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128
,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141
,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154
,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167
,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180
,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193
,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206
,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219
,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232
,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245
,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284
,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297
,b298,b299,b300;
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,e277,e278,e279,e280,e281,e282,e283,e284,e285
,e286,e287,e288,e289,e290,e291,e292,e293,e294,e295,e296,e297,e298
,e299,e300;
e1.. (-136*b2*b3) - 360*b2 - 744*b3 - 344*b2*b4 - 744*b4 - 496*b2*b5 - 504*b5
- 192*b2*b6 - 64*b6 - 360*b2*b7 - 416*b7 - 168*b2*b8 - 432*b8 - 480*b2*b9
- 512*b9 - 96*b2*b10 - 192*b10 - 528*b2*b11 - 112*b11 - 424*b2*b12 - 32*
b12 - 40*b2*b13 - 152*b13 - 648*b2*b14 - 568*b14 - 488*b2*b15 - 224*b15 -
80*b2*b16 - 104*b16 - 704*b2*b17 - 360*b17 - 616*b2*b18 - 416*b18 - 272*b2
*b19 - 632*b19 - 16*b2*b20 - 88*b20 - 656*b2*b21 - 320*b21 - 424*b2*b22 -
96*b22 - 208*b2*b23 - 456*b23 - 496*b2*b24 - 384*b24 - 144*b3*b4 - 568*b3*
b5 - 112*b3*b6 - 776*b3*b7 - 656*b3*b8 - 432*b3*b9 - 72*b3*b10 - 736*b3*
b11 - 440*b3*b12 - 624*b3*b13 - 696*b3*b14 - 552*b3*b15 - 16*b3*b16 - 256*
b3*b17 - 336*b3*b18 - 112*b3*b19 - 360*b3*b20 - 480*b3*b21 - 536*b3*b22 -
16*b3*b23 - 336*b3*b24 - 648*b4*b5 - 512*b4*b6 - 656*b4*b7 - 464*b4*b8 -
784*b4*b9 - 288*b4*b10 - 736*b4*b11 - 24*b4*b12 - 496*b4*b13 - 432*b4*b14
- 168*b4*b15 - 680*b4*b16 - 552*b4*b17 - 560*b4*b18 - 160*b4*b19 - 600*b4
*b20 - 640*b4*b21 - 96*b4*b22 - 656*b4*b23 - 80*b4*b24 - 792*b5*b6 - 32*b5
*b7 - 104*b5*b8 - 672*b5*b9 - 784*b5*b10 - 216*b5*b11 - 648*b5*b12 - 472*
b5*b13 - 376*b5*b14 - 664*b5*b15 - 424*b5*b16 - 640*b5*b17 - 280*b5*b19 -
720*b5*b20 - 784*b5*b21 - 568*b5*b22 - 664*b5*b23 - 432*b5*b24 - 688*b6*b7
- 712*b6*b8 - 216*b6*b9 - 568*b6*b10 - 80*b6*b11 - 784*b6*b12 - 728*b6*
b13 - 688*b6*b14 - 240*b6*b15 - 440*b6*b16 - 160*b6*b17 - 320*b6*b18 - 56*
b6*b19 - 608*b6*b20 - 424*b6*b21 - 728*b6*b22 - 600*b6*b23 - 264*b6*b24 -
576*b7*b8 - 272*b7*b9 - 256*b7*b10 - 56*b7*b11 - 696*b7*b12 - 512*b7*b13
- 56*b7*b14 - 592*b7*b15 - 432*b7*b16 - 464*b7*b17 - 776*b7*b18 - 712*b7*
b19 - 96*b7*b20 - 664*b7*b21 - 632*b7*b22 - 312*b7*b23 - 56*b7*b24 - 712*
b8*b9 - 712*b8*b10 - 784*b8*b11 - 216*b8*b12 - 152*b8*b13 - 48*b8*b14 -
480*b8*b16 - 104*b8*b17 - 608*b8*b18 - 520*b8*b19 - 448*b8*b20 - 408*b8*
b21 - 400*b8*b22 - 224*b8*b23 - 296*b8*b24 - 272*b9*b10 - 696*b9*b11 - 192
*b9*b12 - 784*b9*b13 - 376*b9*b14 - 400*b9*b15 - 40*b9*b16 - 456*b9*b17 -
384*b9*b18 - 752*b9*b19 - 168*b9*b20 - 248*b9*b21 - 200*b9*b22 - 96*b9*b23
- 304*b9*b24 - 120*b10*b11 - 16*b10*b12 - 712*b10*b13 - 752*b10*b14 - 168
*b10*b15 - 760*b10*b16 - 752*b10*b17 - 264*b10*b18 - 64*b10*b19 - 568*b10*
b20 - 792*b10*b21 - 512*b10*b22 - 592*b10*b23 - 8*b10*b24 - 352*b11*b12 -
96*b11*b13 - 288*b11*b14 - 664*b11*b15 - 704*b11*b16 - 272*b11*b17 - 240*
b11*b18 - 312*b11*b19 - 312*b11*b20 - 312*b11*b21 - 696*b11*b22 - 688*b11*
b23 - 480*b11*b24 - 560*b12*b13 - 88*b12*b14 - 584*b12*b15 - 72*b12*b16 -
624*b12*b17 - 600*b12*b18 - 400*b12*b19 - 584*b12*b20 - 384*b12*b21 - 360*
b12*b22 - 152*b12*b23 - 656*b12*b24 - 40*b13*b14 - 720*b13*b15 - 264*b13*
b16 - 168*b13*b17 - 136*b13*b18 - 272*b13*b19 - 520*b13*b20 - 648*b13*b21
- 560*b13*b22 - 552*b13*b24 - 456*b14*b15 - 664*b14*b16 - 480*b14*b17 -
768*b14*b18 - 176*b14*b19 - 792*b14*b20 - 272*b14*b21 - 664*b14*b22 - 176*
b14*b23 - 368*b14*b24 - 448*b15*b16 - 664*b15*b17 - 192*b15*b18 - 664*b15*
b19 - 264*b15*b20 - 392*b15*b21 - 248*b15*b22 - 240*b15*b23 - 552*b15*b24
- 520*b16*b17 - 280*b16*b18 - 88*b16*b19 - 784*b16*b20 - 448*b16*b21 -
640*b16*b22 - 680*b16*b23 - 584*b16*b24 - 488*b17*b18 - 440*b17*b19 - 200*
b17*b20 - 664*b17*b21 - 96*b17*b22 - 64*b17*b23 - 760*b17*b24 - 488*b18*
b19 - 248*b18*b20 - 376*b18*b21 - 760*b18*b22 - 528*b18*b23 - 552*b18*b24
- 744*b19*b20 - 592*b19*b21 - 416*b19*b22 - 560*b19*b23 - 456*b19*b24 -
680*b20*b21 - 568*b20*b22 - 320*b20*b23 - 120*b20*b24 - 320*b21*b22 - 464*
b21*b23 - 16*b21*b24 - 32*b22*b23 - 448*b22*b24 - 80*b23*b24 - 136*b25*b26
- 344*b25*b27 - 496*b25*b28 - 192*b25*b29 - 360*b25*b30 - 168*b25*b31 -
480*b25*b32 - 96*b25*b33 - 528*b25*b34 - 424*b25*b35 - 40*b25*b36 - 648*
b25*b37 - 488*b25*b38 - 80*b25*b39 - 704*b25*b40 - 616*b25*b41 - 272*b25*
b42 - 16*b25*b43 - 656*b25*b44 - 424*b25*b45 - 208*b25*b46 - 496*b25*b47
- 144*b26*b27 - 568*b26*b28 - 112*b26*b29 - 776*b26*b30 - 656*b26*b31 -
432*b26*b32 - 72*b26*b33 - 736*b26*b34 - 440*b26*b35 - 624*b26*b36 - 696*
b26*b37 - 552*b26*b38 - 16*b26*b39 - 256*b26*b40 - 336*b26*b41 - 112*b26*
b42 - 360*b26*b43 - 480*b26*b44 - 536*b26*b45 - 16*b26*b46 - 336*b26*b47
- 648*b27*b28 - 512*b27*b29 - 656*b27*b30 - 464*b27*b31 - 784*b27*b32 -
288*b27*b33 - 736*b27*b34 - 24*b27*b35 - 496*b27*b36 - 432*b27*b37 - 168*
b27*b38 - 680*b27*b39 - 552*b27*b40 - 560*b27*b41 - 160*b27*b42 - 600*b27*
b43 - 640*b27*b44 - 96*b27*b45 - 656*b27*b46 - 80*b27*b47 - 792*b28*b29 -
32*b28*b30 - 104*b28*b31 - 672*b28*b32 - 784*b28*b33 - 216*b28*b34 - 648*
b28*b35 - 472*b28*b36 - 376*b28*b37 - 664*b28*b38 - 424*b28*b39 - 640*b28*
b40 - 280*b28*b42 - 720*b28*b43 - 784*b28*b44 - 568*b28*b45 - 664*b28*b46
- 432*b28*b47 - 688*b29*b30 - 712*b29*b31 - 216*b29*b32 - 568*b29*b33 -
80*b29*b34 - 784*b29*b35 - 728*b29*b36 - 688*b29*b37 - 240*b29*b38 - 440*
b29*b39 - 160*b29*b40 - 320*b29*b41 - 56*b29*b42 - 608*b29*b43 - 424*b29*
b44 - 728*b29*b45 - 600*b29*b46 - 264*b29*b47 - 576*b30*b31 - 272*b30*b32
- 256*b30*b33 - 56*b30*b34 - 696*b30*b35 - 512*b30*b36 - 56*b30*b37 - 592
*b30*b38 - 432*b30*b39 - 464*b30*b40 - 776*b30*b41 - 712*b30*b42 - 96*b30*
b43 - 664*b30*b44 - 632*b30*b45 - 312*b30*b46 - 56*b30*b47 - 712*b31*b32
- 712*b31*b33 - 784*b31*b34 - 216*b31*b35 - 152*b31*b36 - 48*b31*b37 -
480*b31*b39 - 104*b31*b40 - 608*b31*b41 - 520*b31*b42 - 448*b31*b43 - 408*
b31*b44 - 400*b31*b45 - 224*b31*b46 - 296*b31*b47 - 272*b32*b33 - 696*b32*
b34 - 192*b32*b35 - 784*b32*b36 - 376*b32*b37 - 400*b32*b38 - 40*b32*b39
- 456*b32*b40 - 384*b32*b41 - 752*b32*b42 - 168*b32*b43 - 248*b32*b44 -
200*b32*b45 - 96*b32*b46 - 304*b32*b47 - 120*b33*b34 - 16*b33*b35 - 712*
b33*b36 - 752*b33*b37 - 168*b33*b38 - 760*b33*b39 - 752*b33*b40 - 264*b33*
b41 - 64*b33*b42 - 568*b33*b43 - 792*b33*b44 - 512*b33*b45 - 592*b33*b46
- 8*b33*b47 - 352*b34*b35 - 96*b34*b36 - 288*b34*b37 - 664*b34*b38 - 704*
b34*b39 - 272*b34*b40 - 240*b34*b41 - 312*b34*b42 - 312*b34*b43 - 312*b34*
b44 - 696*b34*b45 - 688*b34*b46 - 480*b34*b47 - 560*b35*b36 - 88*b35*b37
- 584*b35*b38 - 72*b35*b39 - 624*b35*b40 - 600*b35*b41 - 400*b35*b42 -
584*b35*b43 - 384*b35*b44 - 360*b35*b45 - 152*b35*b46 - 656*b35*b47 - 40*
b36*b37 - 720*b36*b38 - 264*b36*b39 - 168*b36*b40 - 136*b36*b41 - 272*b36*
b42 - 520*b36*b43 - 648*b36*b44 - 560*b36*b45 - 552*b36*b47 - 456*b37*b38
- 664*b37*b39 - 480*b37*b40 - 768*b37*b41 - 176*b37*b42 - 792*b37*b43 -
272*b37*b44 - 664*b37*b45 - 176*b37*b46 - 368*b37*b47 - 448*b38*b39 - 664*
b38*b40 - 192*b38*b41 - 664*b38*b42 - 264*b38*b43 - 392*b38*b44 - 248*b38*
b45 - 240*b38*b46 - 552*b38*b47 - 520*b39*b40 - 280*b39*b41 - 88*b39*b42
- 784*b39*b43 - 448*b39*b44 - 640*b39*b45 - 680*b39*b46 - 584*b39*b47 -
488*b40*b41 - 440*b40*b42 - 200*b40*b43 - 664*b40*b44 - 96*b40*b45 - 64*
b40*b46 - 760*b40*b47 - 488*b41*b42 - 248*b41*b43 - 376*b41*b44 - 760*b41*
b45 - 528*b41*b46 - 552*b41*b47 - 744*b42*b43 - 592*b42*b44 - 416*b42*b45
- 560*b42*b46 - 456*b42*b47 - 680*b43*b44 - 568*b43*b45 - 320*b43*b46 -
120*b43*b47 - 320*b44*b45 - 464*b44*b46 - 16*b44*b47 - 32*b45*b46 - 448*
b45*b47 - 80*b46*b47 - 144*b48*b49 - 568*b48*b50 - 112*b48*b51 - 776*b48*
b52 - 656*b48*b53 - 432*b48*b54 - 72*b48*b55 - 736*b48*b56 - 440*b48*b57
- 624*b48*b58 - 696*b48*b59 - 552*b48*b60 - 16*b48*b61 - 256*b48*b62 -
336*b48*b63 - 112*b48*b64 - 360*b48*b65 - 480*b48*b66 - 536*b48*b67 - 16*
b48*b68 - 336*b48*b69 - 648*b49*b50 - 512*b49*b51 - 656*b49*b52 - 464*b49*
b53 - 784*b49*b54 - 288*b49*b55 - 736*b49*b56 - 24*b49*b57 - 496*b49*b58
- 432*b49*b59 - 168*b49*b60 - 680*b49*b61 - 552*b49*b62 - 560*b49*b63 -
160*b49*b64 - 600*b49*b65 - 640*b49*b66 - 96*b49*b67 - 656*b49*b68 - 80*
b49*b69 - 792*b50*b51 - 32*b50*b52 - 104*b50*b53 - 672*b50*b54 - 784*b50*
b55 - 216*b50*b56 - 648*b50*b57 - 472*b50*b58 - 376*b50*b59 - 664*b50*b60
- 424*b50*b61 - 640*b50*b62 - 280*b50*b64 - 720*b50*b65 - 784*b50*b66 -
568*b50*b67 - 664*b50*b68 - 432*b50*b69 - 688*b51*b52 - 712*b51*b53 - 216*
b51*b54 - 568*b51*b55 - 80*b51*b56 - 784*b51*b57 - 728*b51*b58 - 688*b51*
b59 - 240*b51*b60 - 440*b51*b61 - 160*b51*b62 - 320*b51*b63 - 56*b51*b64
- 608*b51*b65 - 424*b51*b66 - 728*b51*b67 - 600*b51*b68 - 264*b51*b69 -
576*b52*b53 - 272*b52*b54 - 256*b52*b55 - 56*b52*b56 - 696*b52*b57 - 512*
b52*b58 - 56*b52*b59 - 592*b52*b60 - 432*b52*b61 - 464*b52*b62 - 776*b52*
b63 - 712*b52*b64 - 96*b52*b65 - 664*b52*b66 - 632*b52*b67 - 312*b52*b68
- 56*b52*b69 - 712*b53*b54 - 712*b53*b55 - 784*b53*b56 - 216*b53*b57 -
152*b53*b58 - 48*b53*b59 - 480*b53*b61 - 104*b53*b62 - 608*b53*b63 - 520*
b53*b64 - 448*b53*b65 - 408*b53*b66 - 400*b53*b67 - 224*b53*b68 - 296*b53*
b69 - 272*b54*b55 - 696*b54*b56 - 192*b54*b57 - 784*b54*b58 - 376*b54*b59
- 400*b54*b60 - 40*b54*b61 - 456*b54*b62 - 384*b54*b63 - 752*b54*b64 -
168*b54*b65 - 248*b54*b66 - 200*b54*b67 - 96*b54*b68 - 304*b54*b69 - 120*
b55*b56 - 16*b55*b57 - 712*b55*b58 - 752*b55*b59 - 168*b55*b60 - 760*b55*
b61 - 752*b55*b62 - 264*b55*b63 - 64*b55*b64 - 568*b55*b65 - 792*b55*b66
- 512*b55*b67 - 592*b55*b68 - 8*b55*b69 - 352*b56*b57 - 96*b56*b58 - 288*
b56*b59 - 664*b56*b60 - 704*b56*b61 - 272*b56*b62 - 240*b56*b63 - 312*b56*
b64 - 312*b56*b65 - 312*b56*b66 - 696*b56*b67 - 688*b56*b68 - 480*b56*b69
- 560*b57*b58 - 88*b57*b59 - 584*b57*b60 - 72*b57*b61 - 624*b57*b62 - 600
*b57*b63 - 400*b57*b64 - 584*b57*b65 - 384*b57*b66 - 360*b57*b67 - 152*b57
*b68 - 656*b57*b69 - 40*b58*b59 - 720*b58*b60 - 264*b58*b61 - 168*b58*b62
- 136*b58*b63 - 272*b58*b64 - 520*b58*b65 - 648*b58*b66 - 560*b58*b67 -
552*b58*b69 - 456*b59*b60 - 664*b59*b61 - 480*b59*b62 - 768*b59*b63 - 176*
b59*b64 - 792*b59*b65 - 272*b59*b66 - 664*b59*b67 - 176*b59*b68 - 368*b59*
b69 - 448*b60*b61 - 664*b60*b62 - 192*b60*b63 - 664*b60*b64 - 264*b60*b65
- 392*b60*b66 - 248*b60*b67 - 240*b60*b68 - 552*b60*b69 - 520*b61*b62 -
280*b61*b63 - 88*b61*b64 - 784*b61*b65 - 448*b61*b66 - 640*b61*b67 - 680*
b61*b68 - 584*b61*b69 - 488*b62*b63 - 440*b62*b64 - 200*b62*b65 - 664*b62*
b66 - 96*b62*b67 - 64*b62*b68 - 760*b62*b69 - 488*b63*b64 - 248*b63*b65 -
376*b63*b66 - 760*b63*b67 - 528*b63*b68 - 552*b63*b69 - 744*b64*b65 - 592*
b64*b66 - 416*b64*b67 - 560*b64*b68 - 456*b64*b69 - 680*b65*b66 - 568*b65*
b67 - 320*b65*b68 - 120*b65*b69 - 320*b66*b67 - 464*b66*b68 - 16*b66*b69
- 32*b67*b68 - 448*b67*b69 - 80*b68*b69 - 648*b70*b71 - 512*b70*b72 - 656
*b70*b73 - 464*b70*b74 - 784*b70*b75 - 288*b70*b76 - 736*b70*b77 - 24*b70*
b78 - 496*b70*b79 - 432*b70*b80 - 168*b70*b81 - 680*b70*b82 - 552*b70*b83
- 560*b70*b84 - 160*b70*b85 - 600*b70*b86 - 640*b70*b87 - 96*b70*b88 -
656*b70*b89 - 80*b70*b90 - 792*b71*b72 - 32*b71*b73 - 104*b71*b74 - 672*
b71*b75 - 784*b71*b76 - 216*b71*b77 - 648*b71*b78 - 472*b71*b79 - 376*b71*
b80 - 664*b71*b81 - 424*b71*b82 - 640*b71*b83 - 280*b71*b85 - 720*b71*b86
- 784*b71*b87 - 568*b71*b88 - 664*b71*b89 - 432*b71*b90 - 688*b72*b73 -
712*b72*b74 - 216*b72*b75 - 568*b72*b76 - 80*b72*b77 - 784*b72*b78 - 728*
b72*b79 - 688*b72*b80 - 240*b72*b81 - 440*b72*b82 - 160*b72*b83 - 320*b72*
b84 - 56*b72*b85 - 608*b72*b86 - 424*b72*b87 - 728*b72*b88 - 600*b72*b89
- 264*b72*b90 - 576*b73*b74 - 272*b73*b75 - 256*b73*b76 - 56*b73*b77 -
696*b73*b78 - 512*b73*b79 - 56*b73*b80 - 592*b73*b81 - 432*b73*b82 - 464*
b73*b83 - 776*b73*b84 - 712*b73*b85 - 96*b73*b86 - 664*b73*b87 - 632*b73*
b88 - 312*b73*b89 - 56*b73*b90 - 712*b74*b75 - 712*b74*b76 - 784*b74*b77
- 216*b74*b78 - 152*b74*b79 - 48*b74*b80 - 480*b74*b82 - 104*b74*b83 -
608*b74*b84 - 520*b74*b85 - 448*b74*b86 - 408*b74*b87 - 400*b74*b88 - 224*
b74*b89 - 296*b74*b90 - 272*b75*b76 - 696*b75*b77 - 192*b75*b78 - 784*b75*
b79 - 376*b75*b80 - 400*b75*b81 - 40*b75*b82 - 456*b75*b83 - 384*b75*b84
- 752*b75*b85 - 168*b75*b86 - 248*b75*b87 - 200*b75*b88 - 96*b75*b89 -
304*b75*b90 - 120*b76*b77 - 16*b76*b78 - 712*b76*b79 - 752*b76*b80 - 168*
b76*b81 - 760*b76*b82 - 752*b76*b83 - 264*b76*b84 - 64*b76*b85 - 568*b76*
b86 - 792*b76*b87 - 512*b76*b88 - 592*b76*b89 - 8*b76*b90 - 352*b77*b78 -
96*b77*b79 - 288*b77*b80 - 664*b77*b81 - 704*b77*b82 - 272*b77*b83 - 240*
b77*b84 - 312*b77*b85 - 312*b77*b86 - 312*b77*b87 - 696*b77*b88 - 688*b77*
b89 - 480*b77*b90 - 560*b78*b79 - 88*b78*b80 - 584*b78*b81 - 72*b78*b82 -
624*b78*b83 - 600*b78*b84 - 400*b78*b85 - 584*b78*b86 - 384*b78*b87 - 360*
b78*b88 - 152*b78*b89 - 656*b78*b90 - 40*b79*b80 - 720*b79*b81 - 264*b79*
b82 - 168*b79*b83 - 136*b79*b84 - 272*b79*b85 - 520*b79*b86 - 648*b79*b87
- 560*b79*b88 - 552*b79*b90 - 456*b80*b81 - 664*b80*b82 - 480*b80*b83 -
768*b80*b84 - 176*b80*b85 - 792*b80*b86 - 272*b80*b87 - 664*b80*b88 - 176*
b80*b89 - 368*b80*b90 - 448*b81*b82 - 664*b81*b83 - 192*b81*b84 - 664*b81*
b85 - 264*b81*b86 - 392*b81*b87 - 248*b81*b88 - 240*b81*b89 - 552*b81*b90
- 520*b82*b83 - 280*b82*b84 - 88*b82*b85 - 784*b82*b86 - 448*b82*b87 -
640*b82*b88 - 680*b82*b89 - 584*b82*b90 - 488*b83*b84 - 440*b83*b85 - 200*
b83*b86 - 664*b83*b87 - 96*b83*b88 - 64*b83*b89 - 760*b83*b90 - 488*b84*
b85 - 248*b84*b86 - 376*b84*b87 - 760*b84*b88 - 528*b84*b89 - 552*b84*b90
- 744*b85*b86 - 592*b85*b87 - 416*b85*b88 - 560*b85*b89 - 456*b85*b90 -
680*b86*b87 - 568*b86*b88 - 320*b86*b89 - 120*b86*b90 - 320*b87*b88 - 464*
b87*b89 - 16*b87*b90 - 32*b88*b89 - 448*b88*b90 - 80*b89*b90 - 792*b91*b92
- 32*b91*b93 - 104*b91*b94 - 672*b91*b95 - 784*b91*b96 - 216*b91*b97 -
648*b91*b98 - 472*b91*b99 - 376*b91*b100 - 664*b91*b101 - 424*b91*b102 -
640*b91*b103 - 280*b91*b104 - 720*b91*b105 - 784*b91*b106 - 568*b91*b107
- 664*b91*b108 - 432*b91*b109 - 688*b92*b93 - 712*b92*b94 - 216*b92*b95
- 568*b92*b96 - 80*b92*b97 - 784*b92*b98 - 728*b92*b99 - 688*b92*b100 -
240*b92*b101 - 440*b92*b102 - 160*b92*b103 - 56*b92*b104 - 608*b92*b105 -
424*b92*b106 - 728*b92*b107 - 600*b92*b108 - 264*b92*b109 - 320*b92*b110
- 576*b93*b94 - 272*b93*b95 - 256*b93*b96 - 56*b93*b97 - 696*b93*b98 -
512*b93*b99 - 56*b93*b100 - 592*b93*b101 - 432*b93*b102 - 464*b93*b103 -
712*b93*b104 - 96*b93*b105 - 664*b93*b106 - 632*b93*b107 - 312*b93*b108 -
56*b93*b109 - 776*b93*b110 - 712*b94*b95 - 712*b94*b96 - 784*b94*b97 - 216
*b94*b98 - 152*b94*b99 - 48*b94*b100 - 480*b94*b102 - 104*b94*b103 - 520*
b94*b104 - 448*b94*b105 - 408*b94*b106 - 400*b94*b107 - 224*b94*b108 - 296
*b94*b109 - 608*b94*b110 - 272*b95*b96 - 696*b95*b97 - 192*b95*b98 - 784*
b95*b99 - 376*b95*b100 - 400*b95*b101 - 40*b95*b102 - 456*b95*b103 - 752*
b95*b104 - 168*b95*b105 - 248*b95*b106 - 200*b95*b107 - 96*b95*b108 - 304*
b95*b109 - 384*b95*b110 - 120*b96*b97 - 16*b96*b98 - 712*b96*b99 - 752*b96
*b100 - 168*b96*b101 - 760*b96*b102 - 752*b96*b103 - 64*b96*b104 - 568*b96
*b105 - 792*b96*b106 - 512*b96*b107 - 592*b96*b108 - 8*b96*b109 - 264*b96*
b110 - 352*b97*b98 - 96*b97*b99 - 288*b97*b100 - 664*b97*b101 - 704*b97*
b102 - 272*b97*b103 - 312*b97*b104 - 312*b97*b105 - 312*b97*b106 - 696*b97
*b107 - 688*b97*b108 - 480*b97*b109 - 240*b97*b110 - 560*b98*b99 - 88*b98*
b100 - 584*b98*b101 - 72*b98*b102 - 624*b98*b103 - 400*b98*b104 - 584*b98*
b105 - 384*b98*b106 - 360*b98*b107 - 152*b98*b108 - 656*b98*b109 - 600*b98
*b110 - 40*b99*b100 - 720*b99*b101 - 264*b99*b102 - 168*b99*b103 - 272*b99
*b104 - 520*b99*b105 - 648*b99*b106 - 560*b99*b107 - 552*b99*b109 - 136*
b99*b110 - 456*b100*b101 - 664*b100*b102 - 480*b100*b103 - 176*b100*b104
- 792*b100*b105 - 272*b100*b106 - 664*b100*b107 - 176*b100*b108 - 368*
b100*b109 - 768*b100*b110 - 448*b101*b102 - 664*b101*b103 - 664*b101*b104
- 264*b101*b105 - 392*b101*b106 - 248*b101*b107 - 240*b101*b108 - 552*
b101*b109 - 192*b101*b110 - 520*b102*b103 - 88*b102*b104 - 784*b102*b105
- 448*b102*b106 - 640*b102*b107 - 680*b102*b108 - 584*b102*b109 - 280*
b102*b110 - 440*b103*b104 - 200*b103*b105 - 664*b103*b106 - 96*b103*b107
- 64*b103*b108 - 760*b103*b109 - 488*b103*b110 - 744*b104*b105 - 592*b104
*b106 - 416*b104*b107 - 560*b104*b108 - 456*b104*b109 - 488*b104*b110 -
680*b105*b106 - 568*b105*b107 - 320*b105*b108 - 120*b105*b109 - 248*b105*
b110 - 320*b106*b107 - 464*b106*b108 - 16*b106*b109 - 376*b106*b110 - 32*
b107*b108 - 448*b107*b109 - 760*b107*b110 - 80*b108*b109 - 528*b108*b110
- 552*b109*b110 - 688*b111*b112 - 712*b111*b113 - 216*b111*b114 - 568*
b111*b115 - 80*b111*b116 - 784*b111*b117 - 728*b111*b118 - 688*b111*b119
- 240*b111*b120 - 440*b111*b121 - 160*b111*b122 - 320*b111*b123 - 56*b111
*b124 - 608*b111*b125 - 424*b111*b126 - 728*b111*b127 - 600*b111*b128 -
264*b111*b129 - 576*b112*b113 - 272*b112*b114 - 256*b112*b115 - 56*b112*
b116 - 696*b112*b117 - 512*b112*b118 - 56*b112*b119 - 592*b112*b120 - 432*
b112*b121 - 464*b112*b122 - 776*b112*b123 - 712*b112*b124 - 96*b112*b125
- 664*b112*b126 - 632*b112*b127 - 312*b112*b128 - 56*b112*b129 - 712*b113
*b114 - 712*b113*b115 - 784*b113*b116 - 216*b113*b117 - 152*b113*b118 - 48
*b113*b119 - 480*b113*b121 - 104*b113*b122 - 608*b113*b123 - 520*b113*b124
- 448*b113*b125 - 408*b113*b126 - 400*b113*b127 - 224*b113*b128 - 296*
b113*b129 - 272*b114*b115 - 696*b114*b116 - 192*b114*b117 - 784*b114*b118
- 376*b114*b119 - 400*b114*b120 - 40*b114*b121 - 456*b114*b122 - 384*b114
*b123 - 752*b114*b124 - 168*b114*b125 - 248*b114*b126 - 200*b114*b127 - 96
*b114*b128 - 304*b114*b129 - 120*b115*b116 - 16*b115*b117 - 712*b115*b118
- 752*b115*b119 - 168*b115*b120 - 760*b115*b121 - 752*b115*b122 - 264*
b115*b123 - 64*b115*b124 - 568*b115*b125 - 792*b115*b126 - 512*b115*b127
- 592*b115*b128 - 8*b115*b129 - 352*b116*b117 - 96*b116*b118 - 288*b116*
b119 - 664*b116*b120 - 704*b116*b121 - 272*b116*b122 - 240*b116*b123 - 312
*b116*b124 - 312*b116*b125 - 312*b116*b126 - 696*b116*b127 - 688*b116*b128
- 480*b116*b129 - 560*b117*b118 - 88*b117*b119 - 584*b117*b120 - 72*b117*
b121 - 624*b117*b122 - 600*b117*b123 - 400*b117*b124 - 584*b117*b125 - 384
*b117*b126 - 360*b117*b127 - 152*b117*b128 - 656*b117*b129 - 40*b118*b119
- 720*b118*b120 - 264*b118*b121 - 168*b118*b122 - 136*b118*b123 - 272*
b118*b124 - 520*b118*b125 - 648*b118*b126 - 560*b118*b127 - 552*b118*b129
- 456*b119*b120 - 664*b119*b121 - 480*b119*b122 - 768*b119*b123 - 176*
b119*b124 - 792*b119*b125 - 272*b119*b126 - 664*b119*b127 - 176*b119*b128
- 368*b119*b129 - 448*b120*b121 - 664*b120*b122 - 192*b120*b123 - 664*
b120*b124 - 264*b120*b125 - 392*b120*b126 - 248*b120*b127 - 240*b120*b128
- 552*b120*b129 - 520*b121*b122 - 280*b121*b123 - 88*b121*b124 - 784*b121
*b125 - 448*b121*b126 - 640*b121*b127 - 680*b121*b128 - 584*b121*b129 -
488*b122*b123 - 440*b122*b124 - 200*b122*b125 - 664*b122*b126 - 96*b122*
b127 - 64*b122*b128 - 760*b122*b129 - 488*b123*b124 - 248*b123*b125 - 376*
b123*b126 - 760*b123*b127 - 528*b123*b128 - 552*b123*b129 - 744*b124*b125
- 592*b124*b126 - 416*b124*b127 - 560*b124*b128 - 456*b124*b129 - 680*
b125*b126 - 568*b125*b127 - 320*b125*b128 - 120*b125*b129 - 320*b126*b127
- 464*b126*b128 - 16*b126*b129 - 32*b127*b128 - 448*b127*b129 - 80*b128*
b129 - 576*b130*b131 - 272*b130*b132 - 256*b130*b133 - 56*b130*b134 - 696*
b130*b135 - 512*b130*b136 - 56*b130*b137 - 592*b130*b138 - 432*b130*b139
- 464*b130*b140 - 776*b130*b141 - 712*b130*b142 - 96*b130*b143 - 664*b130
*b144 - 632*b130*b145 - 312*b130*b146 - 56*b130*b147 - 712*b131*b132 - 712
*b131*b133 - 784*b131*b134 - 216*b131*b135 - 152*b131*b136 - 48*b131*b137
- 480*b131*b139 - 104*b131*b140 - 608*b131*b141 - 520*b131*b142 - 448*
b131*b143 - 408*b131*b144 - 400*b131*b145 - 224*b131*b146 - 296*b131*b147
- 272*b132*b133 - 696*b132*b134 - 192*b132*b135 - 784*b132*b136 - 376*
b132*b137 - 400*b132*b138 - 40*b132*b139 - 456*b132*b140 - 384*b132*b141
- 752*b132*b142 - 168*b132*b143 - 248*b132*b144 - 200*b132*b145 - 96*b132
*b146 - 304*b132*b147 - 120*b133*b134 - 16*b133*b135 - 712*b133*b136 - 752
*b133*b137 - 168*b133*b138 - 760*b133*b139 - 752*b133*b140 - 264*b133*b141
- 64*b133*b142 - 568*b133*b143 - 792*b133*b144 - 512*b133*b145 - 592*b133
*b146 - 8*b133*b147 - 352*b134*b135 - 96*b134*b136 - 288*b134*b137 - 664*
b134*b138 - 704*b134*b139 - 272*b134*b140 - 240*b134*b141 - 312*b134*b142
- 312*b134*b143 - 312*b134*b144 - 696*b134*b145 - 688*b134*b146 - 480*
b134*b147 - 560*b135*b136 - 88*b135*b137 - 584*b135*b138 - 72*b135*b139 -
624*b135*b140 - 600*b135*b141 - 400*b135*b142 - 584*b135*b143 - 384*b135*
b144 - 360*b135*b145 - 152*b135*b146 - 656*b135*b147 - 40*b136*b137 - 720*
b136*b138 - 264*b136*b139 - 168*b136*b140 - 136*b136*b141 - 272*b136*b142
- 520*b136*b143 - 648*b136*b144 - 560*b136*b145 - 552*b136*b147 - 456*
b137*b138 - 664*b137*b139 - 480*b137*b140 - 768*b137*b141 - 176*b137*b142
- 792*b137*b143 - 272*b137*b144 - 664*b137*b145 - 176*b137*b146 - 368*
b137*b147 - 448*b138*b139 - 664*b138*b140 - 192*b138*b141 - 664*b138*b142
- 264*b138*b143 - 392*b138*b144 - 248*b138*b145 - 240*b138*b146 - 552*
b138*b147 - 520*b139*b140 - 280*b139*b141 - 88*b139*b142 - 784*b139*b143
- 448*b139*b144 - 640*b139*b145 - 680*b139*b146 - 584*b139*b147 - 488*
b140*b141 - 440*b140*b142 - 200*b140*b143 - 664*b140*b144 - 96*b140*b145
- 64*b140*b146 - 760*b140*b147 - 488*b141*b142 - 248*b141*b143 - 376*b141
*b144 - 760*b141*b145 - 528*b141*b146 - 552*b141*b147 - 744*b142*b143 -
592*b142*b144 - 416*b142*b145 - 560*b142*b146 - 456*b142*b147 - 680*b143*
b144 - 568*b143*b145 - 320*b143*b146 - 120*b143*b147 - 320*b144*b145 - 464
*b144*b146 - 16*b144*b147 - 32*b145*b146 - 448*b145*b147 - 80*b146*b147 -
712*b148*b149 - 712*b148*b150 - 784*b148*b151 - 216*b148*b152 - 152*b148*
b153 - 48*b148*b154 - 480*b148*b155 - 104*b148*b156 - 608*b148*b157 - 520*
b148*b158 - 448*b148*b159 - 408*b148*b160 - 400*b148*b161 - 224*b148*b162
- 296*b148*b163 - 272*b149*b150 - 696*b149*b151 - 192*b149*b152 - 784*
b149*b153 - 376*b149*b154 - 40*b149*b155 - 456*b149*b156 - 384*b149*b157
- 752*b149*b158 - 168*b149*b159 - 248*b149*b160 - 200*b149*b161 - 96*b149
*b162 - 304*b149*b163 - 400*b149*b164 - 120*b150*b151 - 16*b150*b152 - 712
*b150*b153 - 752*b150*b154 - 760*b150*b155 - 752*b150*b156 - 264*b150*b157
- 64*b150*b158 - 568*b150*b159 - 792*b150*b160 - 512*b150*b161 - 592*b150
*b162 - 8*b150*b163 - 168*b150*b164 - 352*b151*b152 - 96*b151*b153 - 288*
b151*b154 - 704*b151*b155 - 272*b151*b156 - 240*b151*b157 - 312*b151*b158
- 312*b151*b159 - 312*b151*b160 - 696*b151*b161 - 688*b151*b162 - 480*
b151*b163 - 664*b151*b164 - 560*b152*b153 - 88*b152*b154 - 72*b152*b155 -
624*b152*b156 - 600*b152*b157 - 400*b152*b158 - 584*b152*b159 - 384*b152*
b160 - 360*b152*b161 - 152*b152*b162 - 656*b152*b163 - 584*b152*b164 - 40*
b153*b154 - 264*b153*b155 - 168*b153*b156 - 136*b153*b157 - 272*b153*b158
- 520*b153*b159 - 648*b153*b160 - 560*b153*b161 - 552*b153*b163 - 720*
b153*b164 - 664*b154*b155 - 480*b154*b156 - 768*b154*b157 - 176*b154*b158
- 792*b154*b159 - 272*b154*b160 - 664*b154*b161 - 176*b154*b162 - 368*
b154*b163 - 456*b154*b164 - 520*b155*b156 - 280*b155*b157 - 88*b155*b158
- 784*b155*b159 - 448*b155*b160 - 640*b155*b161 - 680*b155*b162 - 584*
b155*b163 - 448*b155*b164 - 488*b156*b157 - 440*b156*b158 - 200*b156*b159
- 664*b156*b160 - 96*b156*b161 - 64*b156*b162 - 760*b156*b163 - 664*b156*
b164 - 488*b157*b158 - 248*b157*b159 - 376*b157*b160 - 760*b157*b161 - 528
*b157*b162 - 552*b157*b163 - 192*b157*b164 - 744*b158*b159 - 592*b158*b160
- 416*b158*b161 - 560*b158*b162 - 456*b158*b163 - 664*b158*b164 - 680*
b159*b160 - 568*b159*b161 - 320*b159*b162 - 120*b159*b163 - 264*b159*b164
- 320*b160*b161 - 464*b160*b162 - 16*b160*b163 - 392*b160*b164 - 32*b161*
b162 - 448*b161*b163 - 248*b161*b164 - 80*b162*b163 - 240*b162*b164 - 552*
b163*b164 - 272*b165*b166 - 696*b165*b167 - 192*b165*b168 - 784*b165*b169
- 376*b165*b170 - 400*b165*b171 - 40*b165*b172 - 456*b165*b173 - 384*b165
*b174 - 752*b165*b175 - 168*b165*b176 - 248*b165*b177 - 200*b165*b178 - 96
*b165*b179 - 304*b165*b180 - 120*b166*b167 - 16*b166*b168 - 712*b166*b169
- 752*b166*b170 - 168*b166*b171 - 760*b166*b172 - 752*b166*b173 - 264*
b166*b174 - 64*b166*b175 - 568*b166*b176 - 792*b166*b177 - 512*b166*b178
- 592*b166*b179 - 8*b166*b180 - 352*b167*b168 - 96*b167*b169 - 288*b167*
b170 - 664*b167*b171 - 704*b167*b172 - 272*b167*b173 - 240*b167*b174 - 312
*b167*b175 - 312*b167*b176 - 312*b167*b177 - 696*b167*b178 - 688*b167*b179
- 480*b167*b180 - 560*b168*b169 - 88*b168*b170 - 584*b168*b171 - 72*b168*
b172 - 624*b168*b173 - 600*b168*b174 - 400*b168*b175 - 584*b168*b176 - 384
*b168*b177 - 360*b168*b178 - 152*b168*b179 - 656*b168*b180 - 40*b169*b170
- 720*b169*b171 - 264*b169*b172 - 168*b169*b173 - 136*b169*b174 - 272*
b169*b175 - 520*b169*b176 - 648*b169*b177 - 560*b169*b178 - 552*b169*b180
- 456*b170*b171 - 664*b170*b172 - 480*b170*b173 - 768*b170*b174 - 176*
b170*b175 - 792*b170*b176 - 272*b170*b177 - 664*b170*b178 - 176*b170*b179
- 368*b170*b180 - 448*b171*b172 - 664*b171*b173 - 192*b171*b174 - 664*
b171*b175 - 264*b171*b176 - 392*b171*b177 - 248*b171*b178 - 240*b171*b179
- 552*b171*b180 - 520*b172*b173 - 280*b172*b174 - 88*b172*b175 - 784*b172
*b176 - 448*b172*b177 - 640*b172*b178 - 680*b172*b179 - 584*b172*b180 -
488*b173*b174 - 440*b173*b175 - 200*b173*b176 - 664*b173*b177 - 96*b173*
b178 - 64*b173*b179 - 760*b173*b180 - 488*b174*b175 - 248*b174*b176 - 376*
b174*b177 - 760*b174*b178 - 528*b174*b179 - 552*b174*b180 - 744*b175*b176
- 592*b175*b177 - 416*b175*b178 - 560*b175*b179 - 456*b175*b180 - 680*
b176*b177 - 568*b176*b178 - 320*b176*b179 - 120*b176*b180 - 320*b177*b178
- 464*b177*b179 - 16*b177*b180 - 32*b178*b179 - 448*b178*b180 - 80*b179*
b180 - 120*b181*b182 - 16*b181*b183 - 712*b181*b184 - 752*b181*b185 - 168*
b181*b186 - 760*b181*b187 - 752*b181*b188 - 264*b181*b189 - 64*b181*b190
- 568*b181*b191 - 792*b181*b192 - 512*b181*b193 - 592*b181*b194 - 8*b181*
b195 - 352*b182*b183 - 96*b182*b184 - 288*b182*b185 - 664*b182*b186 - 704*
b182*b187 - 272*b182*b188 - 240*b182*b189 - 312*b182*b190 - 312*b182*b191
- 312*b182*b192 - 696*b182*b193 - 688*b182*b194 - 480*b182*b195 - 560*
b183*b184 - 88*b183*b185 - 584*b183*b186 - 72*b183*b187 - 624*b183*b188 -
600*b183*b189 - 400*b183*b190 - 584*b183*b191 - 384*b183*b192 - 360*b183*
b193 - 152*b183*b194 - 656*b183*b195 - 40*b184*b185 - 720*b184*b186 - 264*
b184*b187 - 168*b184*b188 - 136*b184*b189 - 272*b184*b190 - 520*b184*b191
- 648*b184*b192 - 560*b184*b193 - 552*b184*b195 - 456*b185*b186 - 664*
b185*b187 - 480*b185*b188 - 768*b185*b189 - 176*b185*b190 - 792*b185*b191
- 272*b185*b192 - 664*b185*b193 - 176*b185*b194 - 368*b185*b195 - 448*
b186*b187 - 664*b186*b188 - 192*b186*b189 - 664*b186*b190 - 264*b186*b191
- 392*b186*b192 - 248*b186*b193 - 240*b186*b194 - 552*b186*b195 - 520*
b187*b188 - 280*b187*b189 - 88*b187*b190 - 784*b187*b191 - 448*b187*b192
- 640*b187*b193 - 680*b187*b194 - 584*b187*b195 - 488*b188*b189 - 440*
b188*b190 - 200*b188*b191 - 664*b188*b192 - 96*b188*b193 - 64*b188*b194 -
760*b188*b195 - 488*b189*b190 - 248*b189*b191 - 376*b189*b192 - 760*b189*
b193 - 528*b189*b194 - 552*b189*b195 - 744*b190*b191 - 592*b190*b192 - 416
*b190*b193 - 560*b190*b194 - 456*b190*b195 - 680*b191*b192 - 568*b191*b193
- 320*b191*b194 - 120*b191*b195 - 320*b192*b193 - 464*b192*b194 - 16*b192
*b195 - 32*b193*b194 - 448*b193*b195 - 80*b194*b195 - 352*b196*b197 - 96*
b196*b198 - 288*b196*b199 - 664*b196*b200 - 704*b196*b201 - 272*b196*b202
- 240*b196*b203 - 312*b196*b204 - 312*b196*b205 - 312*b196*b206 - 696*
b196*b207 - 688*b196*b208 - 480*b196*b209 - 560*b197*b198 - 88*b197*b199
- 584*b197*b200 - 72*b197*b201 - 624*b197*b202 - 600*b197*b203 - 400*b197
*b204 - 584*b197*b205 - 384*b197*b206 - 360*b197*b207 - 152*b197*b208 -
656*b197*b209 - 40*b198*b199 - 720*b198*b200 - 264*b198*b201 - 168*b198*
b202 - 136*b198*b203 - 272*b198*b204 - 520*b198*b205 - 648*b198*b206 - 560
*b198*b207 - 552*b198*b209 - 456*b199*b200 - 664*b199*b201 - 480*b199*b202
- 768*b199*b203 - 176*b199*b204 - 792*b199*b205 - 272*b199*b206 - 664*
b199*b207 - 176*b199*b208 - 368*b199*b209 - 448*b200*b201 - 664*b200*b202
- 192*b200*b203 - 664*b200*b204 - 264*b200*b205 - 392*b200*b206 - 248*
b200*b207 - 240*b200*b208 - 552*b200*b209 - 520*b201*b202 - 280*b201*b203
- 88*b201*b204 - 784*b201*b205 - 448*b201*b206 - 640*b201*b207 - 680*b201
*b208 - 584*b201*b209 - 488*b202*b203 - 440*b202*b204 - 200*b202*b205 -
664*b202*b206 - 96*b202*b207 - 64*b202*b208 - 760*b202*b209 - 488*b203*
b204 - 248*b203*b205 - 376*b203*b206 - 760*b203*b207 - 528*b203*b208 - 552
*b203*b209 - 744*b204*b205 - 592*b204*b206 - 416*b204*b207 - 560*b204*b208
- 456*b204*b209 - 680*b205*b206 - 568*b205*b207 - 320*b205*b208 - 120*
b205*b209 - 320*b206*b207 - 464*b206*b208 - 16*b206*b209 - 32*b207*b208 -
448*b207*b209 - 80*b208*b209 - 560*b210*b211 - 88*b210*b212 - 584*b210*
b213 - 72*b210*b214 - 624*b210*b215 - 600*b210*b216 - 400*b210*b217 - 584*
b210*b218 - 384*b210*b219 - 360*b210*b220 - 152*b210*b221 - 656*b210*b222
- 40*b211*b212 - 720*b211*b213 - 264*b211*b214 - 168*b211*b215 - 136*b211
*b216 - 272*b211*b217 - 520*b211*b218 - 648*b211*b219 - 560*b211*b220 -
552*b211*b222 - 456*b212*b213 - 664*b212*b214 - 480*b212*b215 - 768*b212*
b216 - 176*b212*b217 - 792*b212*b218 - 272*b212*b219 - 664*b212*b220 - 176
*b212*b221 - 368*b212*b222 - 448*b213*b214 - 664*b213*b215 - 192*b213*b216
- 664*b213*b217 - 264*b213*b218 - 392*b213*b219 - 248*b213*b220 - 240*
b213*b221 - 552*b213*b222 - 520*b214*b215 - 280*b214*b216 - 88*b214*b217
- 784*b214*b218 - 448*b214*b219 - 640*b214*b220 - 680*b214*b221 - 584*
b214*b222 - 488*b215*b216 - 440*b215*b217 - 200*b215*b218 - 664*b215*b219
- 96*b215*b220 - 64*b215*b221 - 760*b215*b222 - 488*b216*b217 - 248*b216*
b218 - 376*b216*b219 - 760*b216*b220 - 528*b216*b221 - 552*b216*b222 - 744
*b217*b218 - 592*b217*b219 - 416*b217*b220 - 560*b217*b221 - 456*b217*b222
- 680*b218*b219 - 568*b218*b220 - 320*b218*b221 - 120*b218*b222 - 320*
b219*b220 - 464*b219*b221 - 16*b219*b222 - 32*b220*b221 - 448*b220*b222 -
80*b221*b222 - 40*b223*b224 - 720*b223*b225 - 264*b223*b226 - 168*b223*
b227 - 136*b223*b228 - 272*b223*b229 - 520*b223*b230 - 648*b223*b231 - 560
*b223*b232 - 552*b223*b233 - 456*b224*b225 - 664*b224*b226 - 480*b224*b227
- 768*b224*b228 - 176*b224*b229 - 792*b224*b230 - 272*b224*b231 - 664*
b224*b232 - 368*b224*b233 - 176*b224*b234 - 448*b225*b226 - 664*b225*b227
- 192*b225*b228 - 664*b225*b229 - 264*b225*b230 - 392*b225*b231 - 248*
b225*b232 - 552*b225*b233 - 240*b225*b234 - 520*b226*b227 - 280*b226*b228
- 88*b226*b229 - 784*b226*b230 - 448*b226*b231 - 640*b226*b232 - 584*b226
*b233 - 680*b226*b234 - 488*b227*b228 - 440*b227*b229 - 200*b227*b230 -
664*b227*b231 - 96*b227*b232 - 760*b227*b233 - 64*b227*b234 - 488*b228*
b229 - 248*b228*b230 - 376*b228*b231 - 760*b228*b232 - 552*b228*b233 - 528
*b228*b234 - 744*b229*b230 - 592*b229*b231 - 416*b229*b232 - 456*b229*b233
- 560*b229*b234 - 680*b230*b231 - 568*b230*b232 - 120*b230*b233 - 320*
b230*b234 - 320*b231*b232 - 16*b231*b233 - 464*b231*b234 - 448*b232*b233
- 32*b232*b234 - 80*b233*b234 - 456*b235*b236 - 664*b235*b237 - 480*b235*
b238 - 768*b235*b239 - 176*b235*b240 - 792*b235*b241 - 272*b235*b242 - 664
*b235*b243 - 176*b235*b244 - 368*b235*b245 - 448*b236*b237 - 664*b236*b238
- 192*b236*b239 - 664*b236*b240 - 264*b236*b241 - 392*b236*b242 - 248*
b236*b243 - 240*b236*b244 - 552*b236*b245 - 520*b237*b238 - 280*b237*b239
- 88*b237*b240 - 784*b237*b241 - 448*b237*b242 - 640*b237*b243 - 680*b237
*b244 - 584*b237*b245 - 488*b238*b239 - 440*b238*b240 - 200*b238*b241 -
664*b238*b242 - 96*b238*b243 - 64*b238*b244 - 760*b238*b245 - 488*b239*
b240 - 248*b239*b241 - 376*b239*b242 - 760*b239*b243 - 528*b239*b244 - 552
*b239*b245 - 744*b240*b241 - 592*b240*b242 - 416*b240*b243 - 560*b240*b244
- 456*b240*b245 - 680*b241*b242 - 568*b241*b243 - 320*b241*b244 - 120*
b241*b245 - 320*b242*b243 - 464*b242*b244 - 16*b242*b245 - 32*b243*b244 -
448*b243*b245 - 80*b244*b245 - 448*b246*b247 - 664*b246*b248 - 192*b246*
b249 - 664*b246*b250 - 264*b246*b251 - 392*b246*b252 - 248*b246*b253 - 240
*b246*b254 - 552*b246*b255 - 520*b247*b248 - 280*b247*b249 - 88*b247*b250
- 784*b247*b251 - 448*b247*b252 - 640*b247*b253 - 680*b247*b254 - 584*
b247*b255 - 488*b248*b249 - 440*b248*b250 - 200*b248*b251 - 664*b248*b252
- 96*b248*b253 - 64*b248*b254 - 760*b248*b255 - 488*b249*b250 - 248*b249*
b251 - 376*b249*b252 - 760*b249*b253 - 528*b249*b254 - 552*b249*b255 - 744
*b250*b251 - 592*b250*b252 - 416*b250*b253 - 560*b250*b254 - 456*b250*b255
- 680*b251*b252 - 568*b251*b253 - 320*b251*b254 - 120*b251*b255 - 320*
b252*b253 - 464*b252*b254 - 16*b252*b255 - 32*b253*b254 - 448*b253*b255 -
80*b254*b255 - 520*b256*b257 - 280*b256*b258 - 88*b256*b259 - 784*b256*
b260 - 448*b256*b261 - 640*b256*b262 - 680*b256*b263 - 584*b256*b264 - 488
*b257*b258 - 440*b257*b259 - 200*b257*b260 - 664*b257*b261 - 96*b257*b262
- 64*b257*b263 - 760*b257*b264 - 488*b258*b259 - 248*b258*b260 - 376*b258
*b261 - 760*b258*b262 - 528*b258*b263 - 552*b258*b264 - 744*b259*b260 -
592*b259*b261 - 416*b259*b262 - 560*b259*b263 - 456*b259*b264 - 680*b260*
b261 - 568*b260*b262 - 320*b260*b263 - 120*b260*b264 - 320*b261*b262 - 464
*b261*b263 - 16*b261*b264 - 32*b262*b263 - 448*b262*b264 - 80*b263*b264 -
488*b265*b266 - 440*b265*b267 - 200*b265*b268 - 664*b265*b269 - 96*b265*
b270 - 64*b265*b271 - 760*b265*b272 - 488*b266*b267 - 248*b266*b268 - 376*
b266*b269 - 760*b266*b270 - 528*b266*b271 - 552*b266*b272 - 744*b267*b268
- 592*b267*b269 - 416*b267*b270 - 560*b267*b271 - 456*b267*b272 - 680*
b268*b269 - 568*b268*b270 - 320*b268*b271 - 120*b268*b272 - 320*b269*b270
- 464*b269*b271 - 16*b269*b272 - 32*b270*b271 - 448*b270*b272 - 80*b271*
b272 - 488*b273*b274 - 248*b273*b275 - 376*b273*b276 - 760*b273*b277 - 528
*b273*b278 - 552*b273*b279 - 744*b274*b275 - 592*b274*b276 - 416*b274*b277
- 560*b274*b278 - 456*b274*b279 - 680*b275*b276 - 568*b275*b277 - 320*
b275*b278 - 120*b275*b279 - 320*b276*b277 - 464*b276*b278 - 16*b276*b279
- 32*b277*b278 - 448*b277*b279 - 80*b278*b279 - 744*b280*b281 - 592*b280*
b282 - 416*b280*b283 - 560*b280*b284 - 456*b280*b285 - 680*b281*b282 - 568
*b281*b283 - 320*b281*b284 - 120*b281*b285 - 320*b282*b283 - 464*b282*b284
- 16*b282*b285 - 32*b283*b284 - 448*b283*b285 - 80*b284*b285 - 680*b286*
b287 - 568*b286*b288 - 320*b286*b289 - 120*b286*b290 - 320*b287*b288 - 464
*b287*b289 - 16*b287*b290 - 32*b288*b289 - 448*b288*b290 - 80*b289*b290 -
320*b291*b292 - 464*b291*b293 - 16*b291*b294 - 32*b292*b293 - 448*b292*
b294 - 80*b293*b294 - 32*b295*b296 - 448*b295*b297 - 80*b296*b297 - 80*
b298*b299 - objvar =E= 0;
e2.. b2 + b25 =E= 1;
e3.. b3 + b26 + b48 =E= 1;
e4.. b4 + b27 + b49 + b70 =E= 1;
e5.. b5 + b28 + b50 + b71 + b91 =E= 1;
e6.. b6 + b29 + b51 + b72 + b92 + b111 =E= 1;
e7.. b7 + b30 + b52 + b73 + b93 + b112 + b130 =E= 1;
e8.. b8 + b31 + b53 + b74 + b94 + b113 + b131 + b148 =E= 1;
e9.. b9 + b32 + b54 + b75 + b95 + b114 + b132 + b149 + b165 =E= 1;
e10.. b10 + b33 + b55 + b76 + b96 + b115 + b133 + b150 + b166 + b181 =E= 1;
e11.. b11 + b34 + b56 + b77 + b97 + b116 + b134 + b151 + b167 + b182 + b196
=E= 1;
e12.. b12 + b35 + b57 + b78 + b98 + b117 + b135 + b152 + b168 + b183 + b197
+ b210 =E= 1;
e13.. b13 + b36 + b58 + b79 + b99 + b118 + b136 + b153 + b169 + b184 + b198
+ b211 + b223 =E= 1;
e14.. b14 + b37 + b59 + b80 + b100 + b119 + b137 + b154 + b170 + b185 + b199
+ b212 + b224 + b235 =E= 1;
e15.. b15 + b38 + b60 + b81 + b101 + b120 + b138 + b164 + b171 + b186 + b200
+ b213 + b225 + b236 + b246 =E= 1;
e16.. b16 + b39 + b61 + b82 + b102 + b121 + b139 + b155 + b172 + b187 + b201
+ b214 + b226 + b237 + b247 + b256 =E= 1;
e17.. b17 + b40 + b62 + b83 + b103 + b122 + b140 + b156 + b173 + b188 + b202
+ b215 + b227 + b238 + b248 + b257 + b265 =E= 1;
e18.. b18 + b41 + b63 + b84 + b110 + b123 + b141 + b157 + b174 + b189 + b203
+ b216 + b228 + b239 + b249 + b258 + b266 + b273 =E= 1;
e19.. b19 + b42 + b64 + b85 + b104 + b124 + b142 + b158 + b175 + b190 + b204
+ b217 + b229 + b240 + b250 + b259 + b267 + b274 + b280 =E= 1;
e20.. b20 + b43 + b65 + b86 + b105 + b125 + b143 + b159 + b176 + b191 + b205
+ b218 + b230 + b241 + b251 + b260 + b268 + b275 + b281 + b286 =E= 1;
e21.. b21 + b44 + b66 + b87 + b106 + b126 + b144 + b160 + b177 + b192 + b206
+ b219 + b231 + b242 + b252 + b261 + b269 + b276 + b282 + b287 + b291
=E= 1;
e22.. b22 + b45 + b67 + b88 + b107 + b127 + b145 + b161 + b178 + b193 + b207
+ b220 + b232 + b243 + b253 + b262 + b270 + b277 + b283 + b288 + b292
+ b295 =E= 1;
e23.. b23 + b46 + b68 + b89 + b108 + b128 + b146 + b162 + b179 + b194 + b208
+ b221 + b234 + b244 + b254 + b263 + b271 + b278 + b284 + b289 + b293
+ b296 + b298 =E= 1;
e24.. b24 + b47 + b69 + b90 + b109 + b129 + b147 + b163 + b180 + b195 + b209
+ b222 + b233 + b245 + b255 + b264 + b272 + b279 + b285 + b290 + b294
+ b297 + b299 + b300 =E= 1;
e25.. - b25 + b26 =L= 0;
e26.. - b25 + b27 =L= 0;
e27.. - b25 + b28 =L= 0;
e28.. - b25 + b29 =L= 0;
e29.. - b25 + b30 =L= 0;
e30.. - b25 + b31 =L= 0;
e31.. - b25 + b32 =L= 0;
e32.. - b25 + b33 =L= 0;
e33.. - b25 + b34 =L= 0;
e34.. - b25 + b35 =L= 0;
e35.. - b25 + b36 =L= 0;
e36.. - b25 + b37 =L= 0;
e37.. - b25 + b38 =L= 0;
e38.. - b25 + b39 =L= 0;
e39.. - b25 + b40 =L= 0;
e40.. - b25 + b41 =L= 0;
e41.. - b25 + b42 =L= 0;
e42.. - b25 + b43 =L= 0;
e43.. - b25 + b44 =L= 0;
e44.. - b25 + b45 =L= 0;
e45.. - b25 + b46 =L= 0;
e46.. - b25 + b47 =L= 0;
e47.. - b48 + b49 =L= 0;
e48.. - b48 + b50 =L= 0;
e49.. - b48 + b51 =L= 0;
e50.. - b48 + b52 =L= 0;
e51.. - b48 + b53 =L= 0;
e52.. - b48 + b54 =L= 0;
e53.. - b48 + b55 =L= 0;
e54.. - b48 + b56 =L= 0;
e55.. - b48 + b57 =L= 0;
e56.. - b48 + b58 =L= 0;
e57.. - b48 + b59 =L= 0;
e58.. - b48 + b60 =L= 0;
e59.. - b48 + b61 =L= 0;
e60.. - b48 + b62 =L= 0;
e61.. - b48 + b63 =L= 0;
e62.. - b48 + b64 =L= 0;
e63.. - b48 + b65 =L= 0;
e64.. - b48 + b66 =L= 0;
e65.. - b48 + b67 =L= 0;
e66.. - b48 + b68 =L= 0;
e67.. - b48 + b69 =L= 0;
e68.. - b70 + b71 =L= 0;
e69.. - b70 + b72 =L= 0;
e70.. - b70 + b73 =L= 0;
e71.. - b70 + b74 =L= 0;
e72.. - b70 + b75 =L= 0;
e73.. - b70 + b76 =L= 0;
e74.. - b70 + b77 =L= 0;
e75.. - b70 + b78 =L= 0;
e76.. - b70 + b79 =L= 0;
e77.. - b70 + b80 =L= 0;
e78.. - b70 + b81 =L= 0;
e79.. - b70 + b82 =L= 0;
e80.. - b70 + b83 =L= 0;
e81.. - b70 + b84 =L= 0;
e82.. - b70 + b85 =L= 0;
e83.. - b70 + b86 =L= 0;
e84.. - b70 + b87 =L= 0;
e85.. - b70 + b88 =L= 0;
e86.. - b70 + b89 =L= 0;
e87.. - b70 + b90 =L= 0;
e88.. - b91 + b92 =L= 0;
e89.. - b91 + b93 =L= 0;
e90.. - b91 + b94 =L= 0;
e91.. - b91 + b95 =L= 0;
e92.. - b91 + b96 =L= 0;
e93.. - b91 + b97 =L= 0;
e94.. - b91 + b98 =L= 0;
e95.. - b91 + b99 =L= 0;
e96.. - b91 + b100 =L= 0;
e97.. - b91 + b101 =L= 0;
e98.. - b91 + b102 =L= 0;
e99.. - b91 + b103 =L= 0;
e100.. - b91 + b110 =L= 0;
e101.. - b91 + b104 =L= 0;
e102.. - b91 + b105 =L= 0;
e103.. - b91 + b106 =L= 0;
e104.. - b91 + b107 =L= 0;
e105.. - b91 + b108 =L= 0;
e106.. - b91 + b109 =L= 0;
e107.. - b111 + b112 =L= 0;
e108.. - b111 + b113 =L= 0;
e109.. - b111 + b114 =L= 0;
e110.. - b111 + b115 =L= 0;
e111.. - b111 + b116 =L= 0;
e112.. - b111 + b117 =L= 0;
e113.. - b111 + b118 =L= 0;
e114.. - b111 + b119 =L= 0;
e115.. - b111 + b120 =L= 0;
e116.. - b111 + b121 =L= 0;
e117.. - b111 + b122 =L= 0;
e118.. - b111 + b123 =L= 0;
e119.. - b111 + b124 =L= 0;
e120.. - b111 + b125 =L= 0;
e121.. - b111 + b126 =L= 0;
e122.. - b111 + b127 =L= 0;
e123.. - b111 + b128 =L= 0;
e124.. - b111 + b129 =L= 0;
e125.. - b130 + b131 =L= 0;
e126.. - b130 + b132 =L= 0;
e127.. - b130 + b133 =L= 0;
e128.. - b130 + b134 =L= 0;
e129.. - b130 + b135 =L= 0;
e130.. - b130 + b136 =L= 0;
e131.. - b130 + b137 =L= 0;
e132.. - b130 + b138 =L= 0;
e133.. - b130 + b139 =L= 0;
e134.. - b130 + b140 =L= 0;
e135.. - b130 + b141 =L= 0;
e136.. - b130 + b142 =L= 0;
e137.. - b130 + b143 =L= 0;
e138.. - b130 + b144 =L= 0;
e139.. - b130 + b145 =L= 0;
e140.. - b130 + b146 =L= 0;
e141.. - b130 + b147 =L= 0;
e142.. - b148 + b149 =L= 0;
e143.. - b148 + b150 =L= 0;
e144.. - b148 + b151 =L= 0;
e145.. - b148 + b152 =L= 0;
e146.. - b148 + b153 =L= 0;
e147.. - b148 + b154 =L= 0;
e148.. - b148 + b164 =L= 0;
e149.. - b148 + b155 =L= 0;
e150.. - b148 + b156 =L= 0;
e151.. - b148 + b157 =L= 0;
e152.. - b148 + b158 =L= 0;
e153.. - b148 + b159 =L= 0;
e154.. - b148 + b160 =L= 0;
e155.. - b148 + b161 =L= 0;
e156.. - b148 + b162 =L= 0;
e157.. - b148 + b163 =L= 0;
e158.. - b165 + b166 =L= 0;
e159.. - b165 + b167 =L= 0;
e160.. - b165 + b168 =L= 0;
e161.. - b165 + b169 =L= 0;
e162.. - b165 + b170 =L= 0;
e163.. - b165 + b171 =L= 0;
e164.. - b165 + b172 =L= 0;
e165.. - b165 + b173 =L= 0;
e166.. - b165 + b174 =L= 0;
e167.. - b165 + b175 =L= 0;
e168.. - b165 + b176 =L= 0;
e169.. - b165 + b177 =L= 0;
e170.. - b165 + b178 =L= 0;
e171.. - b165 + b179 =L= 0;
e172.. - b165 + b180 =L= 0;
e173.. - b181 + b182 =L= 0;
e174.. - b181 + b183 =L= 0;
e175.. - b181 + b184 =L= 0;
e176.. - b181 + b185 =L= 0;
e177.. - b181 + b186 =L= 0;
e178.. - b181 + b187 =L= 0;
e179.. - b181 + b188 =L= 0;
e180.. - b181 + b189 =L= 0;
e181.. - b181 + b190 =L= 0;
e182.. - b181 + b191 =L= 0;
e183.. - b181 + b192 =L= 0;
e184.. - b181 + b193 =L= 0;
e185.. - b181 + b194 =L= 0;
e186.. - b181 + b195 =L= 0;
e187.. - b196 + b197 =L= 0;
e188.. - b196 + b198 =L= 0;
e189.. - b196 + b199 =L= 0;
e190.. - b196 + b200 =L= 0;
e191.. - b196 + b201 =L= 0;
e192.. - b196 + b202 =L= 0;
e193.. - b196 + b203 =L= 0;
e194.. - b196 + b204 =L= 0;
e195.. - b196 + b205 =L= 0;
e196.. - b196 + b206 =L= 0;
e197.. - b196 + b207 =L= 0;
e198.. - b196 + b208 =L= 0;
e199.. - b196 + b209 =L= 0;
e200.. - b210 + b211 =L= 0;
e201.. - b210 + b212 =L= 0;
e202.. - b210 + b213 =L= 0;
e203.. - b210 + b214 =L= 0;
e204.. - b210 + b215 =L= 0;
e205.. - b210 + b216 =L= 0;
e206.. - b210 + b217 =L= 0;
e207.. - b210 + b218 =L= 0;
e208.. - b210 + b219 =L= 0;
e209.. - b210 + b220 =L= 0;
e210.. - b210 + b221 =L= 0;
e211.. - b210 + b222 =L= 0;
e212.. - b223 + b224 =L= 0;
e213.. - b223 + b225 =L= 0;
e214.. - b223 + b226 =L= 0;
e215.. - b223 + b227 =L= 0;
e216.. - b223 + b228 =L= 0;
e217.. - b223 + b229 =L= 0;
e218.. - b223 + b230 =L= 0;
e219.. - b223 + b231 =L= 0;
e220.. - b223 + b232 =L= 0;
e221.. - b223 + b234 =L= 0;
e222.. - b223 + b233 =L= 0;
e223.. - b235 + b236 =L= 0;
e224.. - b235 + b237 =L= 0;
e225.. - b235 + b238 =L= 0;
e226.. - b235 + b239 =L= 0;
e227.. - b235 + b240 =L= 0;
e228.. - b235 + b241 =L= 0;
e229.. - b235 + b242 =L= 0;
e230.. - b235 + b243 =L= 0;
e231.. - b235 + b244 =L= 0;
e232.. - b235 + b245 =L= 0;
e233.. - b246 + b247 =L= 0;
e234.. - b246 + b248 =L= 0;
e235.. - b246 + b249 =L= 0;
e236.. - b246 + b250 =L= 0;
e237.. - b246 + b251 =L= 0;
e238.. - b246 + b252 =L= 0;
e239.. - b246 + b253 =L= 0;
e240.. - b246 + b254 =L= 0;
e241.. - b246 + b255 =L= 0;
e242.. - b256 + b257 =L= 0;
e243.. - b256 + b258 =L= 0;
e244.. - b256 + b259 =L= 0;
e245.. - b256 + b260 =L= 0;
e246.. - b256 + b261 =L= 0;
e247.. - b256 + b262 =L= 0;
e248.. - b256 + b263 =L= 0;
e249.. - b256 + b264 =L= 0;
e250.. - b265 + b266 =L= 0;
e251.. - b265 + b267 =L= 0;
e252.. - b265 + b268 =L= 0;
e253.. - b265 + b269 =L= 0;
e254.. - b265 + b270 =L= 0;
e255.. - b265 + b271 =L= 0;
e256.. - b265 + b272 =L= 0;
e257.. - b273 + b274 =L= 0;
e258.. - b273 + b275 =L= 0;
e259.. - b273 + b276 =L= 0;
e260.. - b273 + b277 =L= 0;
e261.. - b273 + b278 =L= 0;
e262.. - b273 + b279 =L= 0;
e263.. - b280 + b281 =L= 0;
e264.. - b280 + b282 =L= 0;
e265.. - b280 + b283 =L= 0;
e266.. - b280 + b284 =L= 0;
e267.. - b280 + b285 =L= 0;
e268.. - b286 + b287 =L= 0;
e269.. - b286 + b288 =L= 0;
e270.. - b286 + b289 =L= 0;
e271.. - b286 + b290 =L= 0;
e272.. - b291 + b292 =L= 0;
e273.. - b291 + b293 =L= 0;
e274.. - b291 + b294 =L= 0;
e275.. - b295 + b296 =L= 0;
e276.. - b295 + b297 =L= 0;
e277.. - b298 + b299 =L= 0;
e278.. 7872*b2 - 136*b3*b2 + 8392*b3 - 344*b4*b2 + 9720*b4 - 496*b5*b2 + 10984*
b5 - 192*b6*b2 + 9912*b6 - 360*b7*b2 + 9672*b7 - 168*b8*b2 + 8792*b8 -
480*b9*b2 + 8936*b9 - 96*b10*b2 + 9128*b10 - 528*b11*b2 + 9368*b11 - 424
*b12*b2 + 8856*b12 - 40*b13*b2 + 9056*b13 - 648*b14*b2 + 9304*b14 - 488*
b15*b2 + 9360*b15 - 80*b16*b2 + 9528*b16 - 704*b17*b2 + 9528*b17 - 616*
b18*b2 + 9520*b18 - 272*b19*b2 + 8536*b19 - 16*b20*b2 + 9720*b20 - 656*
b21*b2 + 10664*b21 - 424*b22*b2 + 9904*b22 - 208*b23*b2 + 7352*b23 - 496
*b24*b2 + 7896*b24 - 144*b4*b3 - 568*b5*b3 - 112*b6*b3 - 776*b7*b3 - 656
*b8*b3 - 432*b9*b3 - 72*b10*b3 - 736*b11*b3 - 440*b12*b3 - 624*b13*b3 -
696*b14*b3 - 552*b15*b3 - 16*b16*b3 - 256*b17*b3 - 336*b18*b3 - 112*b19*
b3 - 360*b20*b3 - 480*b21*b3 - 536*b22*b3 - 16*b23*b3 - 336*b24*b3 - 648
*b5*b4 - 512*b6*b4 - 656*b7*b4 - 464*b8*b4 - 784*b9*b4 - 288*b10*b4 -
736*b11*b4 - 24*b12*b4 - 496*b13*b4 - 432*b14*b4 - 168*b15*b4 - 680*b16*
b4 - 552*b17*b4 - 560*b18*b4 - 160*b19*b4 - 600*b20*b4 - 640*b21*b4 - 96
*b22*b4 - 656*b23*b4 - 80*b24*b4 - 792*b6*b5 - 32*b7*b5 - 104*b8*b5 -
672*b9*b5 - 784*b10*b5 - 216*b11*b5 - 648*b12*b5 - 472*b13*b5 - 376*b14*
b5 - 664*b15*b5 - 424*b16*b5 - 640*b17*b5 - 280*b19*b5 - 720*b20*b5 -
784*b21*b5 - 568*b22*b5 - 664*b23*b5 - 432*b24*b5 - 688*b7*b6 - 712*b8*
b6 - 216*b9*b6 - 568*b10*b6 - 80*b11*b6 - 784*b12*b6 - 728*b13*b6 - 688*
b14*b6 - 240*b15*b6 - 440*b16*b6 - 160*b17*b6 - 320*b18*b6 - 56*b19*b6
- 608*b20*b6 - 424*b21*b6 - 728*b22*b6 - 600*b23*b6 - 264*b24*b6 - 576*
b8*b7 - 272*b9*b7 - 256*b10*b7 - 56*b11*b7 - 696*b12*b7 - 512*b13*b7 -
56*b14*b7 - 592*b15*b7 - 432*b16*b7 - 464*b17*b7 - 776*b18*b7 - 712*b19*
b7 - 96*b20*b7 - 664*b21*b7 - 632*b22*b7 - 312*b23*b7 - 56*b24*b7 - 712*
b9*b8 - 712*b10*b8 - 784*b11*b8 - 216*b12*b8 - 152*b13*b8 - 48*b14*b8 -
480*b16*b8 - 104*b17*b8 - 608*b18*b8 - 520*b19*b8 - 448*b20*b8 - 408*b21
*b8 - 400*b22*b8 - 224*b23*b8 - 296*b24*b8 - 272*b10*b9 - 696*b11*b9 -
192*b12*b9 - 784*b13*b9 - 376*b14*b9 - 400*b15*b9 - 40*b16*b9 - 456*b17*
b9 - 384*b18*b9 - 752*b19*b9 - 168*b20*b9 - 248*b21*b9 - 200*b22*b9 - 96
*b23*b9 - 304*b24*b9 - 120*b11*b10 - 16*b12*b10 - 712*b13*b10 - 752*b14*
b10 - 168*b15*b10 - 760*b16*b10 - 752*b17*b10 - 264*b18*b10 - 64*b19*b10
- 568*b20*b10 - 792*b21*b10 - 512*b22*b10 - 592*b23*b10 - 8*b24*b10 -
352*b12*b11 - 96*b13*b11 - 288*b14*b11 - 664*b15*b11 - 704*b16*b11 - 272
*b17*b11 - 240*b18*b11 - 312*b19*b11 - 312*b20*b11 - 312*b21*b11 - 696*
b22*b11 - 688*b23*b11 - 480*b24*b11 - 560*b13*b12 - 88*b14*b12 - 584*b15
*b12 - 72*b16*b12 - 624*b17*b12 - 600*b18*b12 - 400*b19*b12 - 584*b20*
b12 - 384*b21*b12 - 360*b22*b12 - 152*b23*b12 - 656*b24*b12 - 40*b14*b13
- 720*b15*b13 - 264*b16*b13 - 168*b17*b13 - 136*b18*b13 - 272*b19*b13
- 520*b20*b13 - 648*b21*b13 - 560*b22*b13 - 552*b24*b13 - 456*b15*b14
- 664*b16*b14 - 480*b17*b14 - 768*b18*b14 - 176*b19*b14 - 792*b20*b14
- 272*b21*b14 - 664*b22*b14 - 176*b23*b14 - 368*b24*b14 - 448*b16*b15
- 664*b17*b15 - 192*b18*b15 - 664*b19*b15 - 264*b20*b15 - 392*b21*b15
- 248*b22*b15 - 240*b23*b15 - 552*b24*b15 - 520*b17*b16 - 280*b18*b16
- 88*b19*b16 - 784*b20*b16 - 448*b21*b16 - 640*b22*b16 - 680*b23*b16 -
584*b24*b16 - 488*b18*b17 - 440*b19*b17 - 200*b20*b17 - 664*b21*b17 - 96
*b22*b17 - 64*b23*b17 - 760*b24*b17 - 488*b19*b18 - 248*b20*b18 - 376*
b21*b18 - 760*b22*b18 - 528*b23*b18 - 552*b24*b18 - 744*b20*b19 - 592*
b21*b19 - 416*b22*b19 - 560*b23*b19 - 456*b24*b19 - 680*b21*b20 - 568*
b22*b20 - 320*b23*b20 - 120*b24*b20 - 320*b22*b21 - 464*b23*b21 - 16*b24
*b21 - 32*b23*b22 - 448*b24*b22 - 80*b24*b23 =L= 41592;
e279.. (-136*b26*b25) - 41272*b25 + 9136*b26 - 344*b27*b25 + 10464*b27 - 496*
b28*b25 + 11488*b28 - 192*b29*b25 + 9976*b29 - 360*b30*b25 + 10088*b30
- 168*b31*b25 + 9224*b31 - 480*b32*b25 + 9448*b32 - 96*b33*b25 + 9320*
b33 - 528*b34*b25 + 9480*b34 - 424*b35*b25 + 8888*b35 - 40*b36*b25 +
9208*b36 - 648*b37*b25 + 9872*b37 - 488*b38*b25 + 9584*b38 - 80*b39*b25
+ 9632*b39 - 704*b40*b25 + 9888*b40 - 616*b41*b25 + 9936*b41 - 272*b42*
b25 + 9168*b42 - 16*b43*b25 + 9808*b43 - 656*b44*b25 + 10984*b44 - 424*
b45*b25 + 10000*b45 - 208*b46*b25 + 7808*b46 - 496*b47*b25 + 8280*b47 -
144*b27*b26 - 568*b28*b26 - 112*b29*b26 - 776*b30*b26 - 656*b31*b26 -
432*b32*b26 - 72*b33*b26 - 736*b34*b26 - 440*b35*b26 - 624*b36*b26 - 696
*b37*b26 - 552*b38*b26 - 16*b39*b26 - 256*b40*b26 - 336*b41*b26 - 112*
b42*b26 - 360*b43*b26 - 480*b44*b26 - 536*b45*b26 - 16*b46*b26 - 336*b47
*b26 - 648*b28*b27 - 512*b29*b27 - 656*b30*b27 - 464*b31*b27 - 784*b32*
b27 - 288*b33*b27 - 736*b34*b27 - 24*b35*b27 - 496*b36*b27 - 432*b37*b27
- 168*b38*b27 - 680*b39*b27 - 552*b40*b27 - 560*b41*b27 - 160*b42*b27
- 600*b43*b27 - 640*b44*b27 - 96*b45*b27 - 656*b46*b27 - 80*b47*b27 -
792*b29*b28 - 32*b30*b28 - 104*b31*b28 - 672*b32*b28 - 784*b33*b28 - 216
*b34*b28 - 648*b35*b28 - 472*b36*b28 - 376*b37*b28 - 664*b38*b28 - 424*
b39*b28 - 640*b40*b28 - 280*b42*b28 - 720*b43*b28 - 784*b44*b28 - 568*
b45*b28 - 664*b46*b28 - 432*b47*b28 - 688*b30*b29 - 712*b31*b29 - 216*
b32*b29 - 568*b33*b29 - 80*b34*b29 - 784*b35*b29 - 728*b36*b29 - 688*b37
*b29 - 240*b38*b29 - 440*b39*b29 - 160*b40*b29 - 320*b41*b29 - 56*b42*
b29 - 608*b43*b29 - 424*b44*b29 - 728*b45*b29 - 600*b46*b29 - 264*b47*
b29 - 576*b31*b30 - 272*b32*b30 - 256*b33*b30 - 56*b34*b30 - 696*b35*b30
- 512*b36*b30 - 56*b37*b30 - 592*b38*b30 - 432*b39*b30 - 464*b40*b30 -
776*b41*b30 - 712*b42*b30 - 96*b43*b30 - 664*b44*b30 - 632*b45*b30 - 312
*b46*b30 - 56*b47*b30 - 712*b32*b31 - 712*b33*b31 - 784*b34*b31 - 216*
b35*b31 - 152*b36*b31 - 48*b37*b31 - 480*b39*b31 - 104*b40*b31 - 608*b41
*b31 - 520*b42*b31 - 448*b43*b31 - 408*b44*b31 - 400*b45*b31 - 224*b46*
b31 - 296*b47*b31 - 272*b33*b32 - 696*b34*b32 - 192*b35*b32 - 784*b36*
b32 - 376*b37*b32 - 400*b38*b32 - 40*b39*b32 - 456*b40*b32 - 384*b41*b32
- 752*b42*b32 - 168*b43*b32 - 248*b44*b32 - 200*b45*b32 - 96*b46*b32 -
304*b47*b32 - 120*b34*b33 - 16*b35*b33 - 712*b36*b33 - 752*b37*b33 - 168
*b38*b33 - 760*b39*b33 - 752*b40*b33 - 264*b41*b33 - 64*b42*b33 - 568*
b43*b33 - 792*b44*b33 - 512*b45*b33 - 592*b46*b33 - 8*b47*b33 - 352*b35*
b34 - 96*b36*b34 - 288*b37*b34 - 664*b38*b34 - 704*b39*b34 - 272*b40*b34
- 240*b41*b34 - 312*b42*b34 - 312*b43*b34 - 312*b44*b34 - 696*b45*b34
- 688*b46*b34 - 480*b47*b34 - 560*b36*b35 - 88*b37*b35 - 584*b38*b35 -
72*b39*b35 - 624*b40*b35 - 600*b41*b35 - 400*b42*b35 - 584*b43*b35 - 384
*b44*b35 - 360*b45*b35 - 152*b46*b35 - 656*b47*b35 - 40*b37*b36 - 720*
b38*b36 - 264*b39*b36 - 168*b40*b36 - 136*b41*b36 - 272*b42*b36 - 520*
b43*b36 - 648*b44*b36 - 560*b45*b36 - 552*b47*b36 - 456*b38*b37 - 664*
b39*b37 - 480*b40*b37 - 768*b41*b37 - 176*b42*b37 - 792*b43*b37 - 272*
b44*b37 - 664*b45*b37 - 176*b46*b37 - 368*b47*b37 - 448*b39*b38 - 664*
b40*b38 - 192*b41*b38 - 664*b42*b38 - 264*b43*b38 - 392*b44*b38 - 248*
b45*b38 - 240*b46*b38 - 552*b47*b38 - 520*b40*b39 - 280*b41*b39 - 88*b42
*b39 - 784*b43*b39 - 448*b44*b39 - 640*b45*b39 - 680*b46*b39 - 584*b47*
b39 - 488*b41*b40 - 440*b42*b40 - 200*b43*b40 - 664*b44*b40 - 96*b45*b40
- 64*b46*b40 - 760*b47*b40 - 488*b42*b41 - 248*b43*b41 - 376*b44*b41 -
760*b45*b41 - 528*b46*b41 - 552*b47*b41 - 744*b43*b42 - 592*b44*b42 -
416*b45*b42 - 560*b46*b42 - 456*b47*b42 - 680*b44*b43 - 568*b45*b43 -
320*b46*b43 - 120*b47*b43 - 320*b45*b44 - 464*b46*b44 - 16*b47*b44 - 32*
b46*b45 - 448*b47*b45 - 80*b47*b46 =L= 0;
e280.. (-144*b49*b48) - 40368*b48 + 10464*b49 - 568*b50*b48 + 11488*b50 - 112*
b51*b48 + 9976*b51 - 776*b52*b48 + 10088*b52 - 656*b53*b48 + 9224*b53 -
432*b54*b48 + 9448*b54 - 72*b55*b48 + 9320*b55 - 736*b56*b48 + 9480*b56
- 440*b57*b48 + 8888*b57 - 624*b58*b48 + 9208*b58 - 696*b59*b48 + 9872*
b59 - 552*b60*b48 + 9584*b60 - 16*b61*b48 + 9632*b61 - 256*b62*b48 +
9888*b62 - 336*b63*b48 + 9936*b63 - 112*b64*b48 + 9168*b64 - 360*b65*b48
+ 9808*b65 - 480*b66*b48 + 10984*b66 - 536*b67*b48 + 10000*b67 - 16*b68
*b48 + 7808*b68 - 336*b69*b48 + 8280*b69 - 648*b50*b49 - 512*b51*b49 -
656*b52*b49 - 464*b53*b49 - 784*b54*b49 - 288*b55*b49 - 736*b56*b49 - 24
*b57*b49 - 496*b58*b49 - 432*b59*b49 - 168*b60*b49 - 680*b61*b49 - 552*
b62*b49 - 560*b63*b49 - 160*b64*b49 - 600*b65*b49 - 640*b66*b49 - 96*b67
*b49 - 656*b68*b49 - 80*b69*b49 - 792*b51*b50 - 32*b52*b50 - 104*b53*b50
- 672*b54*b50 - 784*b55*b50 - 216*b56*b50 - 648*b57*b50 - 472*b58*b50
- 376*b59*b50 - 664*b60*b50 - 424*b61*b50 - 640*b62*b50 - 280*b64*b50
- 720*b65*b50 - 784*b66*b50 - 568*b67*b50 - 664*b68*b50 - 432*b69*b50
- 688*b52*b51 - 712*b53*b51 - 216*b54*b51 - 568*b55*b51 - 80*b56*b51 -
784*b57*b51 - 728*b58*b51 - 688*b59*b51 - 240*b60*b51 - 440*b61*b51 -
160*b62*b51 - 320*b63*b51 - 56*b64*b51 - 608*b65*b51 - 424*b66*b51 - 728
*b67*b51 - 600*b68*b51 - 264*b69*b51 - 576*b53*b52 - 272*b54*b52 - 256*
b55*b52 - 56*b56*b52 - 696*b57*b52 - 512*b58*b52 - 56*b59*b52 - 592*b60*
b52 - 432*b61*b52 - 464*b62*b52 - 776*b63*b52 - 712*b64*b52 - 96*b65*b52
- 664*b66*b52 - 632*b67*b52 - 312*b68*b52 - 56*b69*b52 - 712*b54*b53 -
712*b55*b53 - 784*b56*b53 - 216*b57*b53 - 152*b58*b53 - 48*b59*b53 - 480
*b61*b53 - 104*b62*b53 - 608*b63*b53 - 520*b64*b53 - 448*b65*b53 - 408*
b66*b53 - 400*b67*b53 - 224*b68*b53 - 296*b69*b53 - 272*b55*b54 - 696*
b56*b54 - 192*b57*b54 - 784*b58*b54 - 376*b59*b54 - 400*b60*b54 - 40*b61
*b54 - 456*b62*b54 - 384*b63*b54 - 752*b64*b54 - 168*b65*b54 - 248*b66*
b54 - 200*b67*b54 - 96*b68*b54 - 304*b69*b54 - 120*b56*b55 - 16*b57*b55
- 712*b58*b55 - 752*b59*b55 - 168*b60*b55 - 760*b61*b55 - 752*b62*b55
- 264*b63*b55 - 64*b64*b55 - 568*b65*b55 - 792*b66*b55 - 512*b67*b55 -
592*b68*b55 - 8*b69*b55 - 352*b57*b56 - 96*b58*b56 - 288*b59*b56 - 664*
b60*b56 - 704*b61*b56 - 272*b62*b56 - 240*b63*b56 - 312*b64*b56 - 312*
b65*b56 - 312*b66*b56 - 696*b67*b56 - 688*b68*b56 - 480*b69*b56 - 560*
b58*b57 - 88*b59*b57 - 584*b60*b57 - 72*b61*b57 - 624*b62*b57 - 600*b63*
b57 - 400*b64*b57 - 584*b65*b57 - 384*b66*b57 - 360*b67*b57 - 152*b68*
b57 - 656*b69*b57 - 40*b59*b58 - 720*b60*b58 - 264*b61*b58 - 168*b62*b58
- 136*b63*b58 - 272*b64*b58 - 520*b65*b58 - 648*b66*b58 - 560*b67*b58
- 552*b69*b58 - 456*b60*b59 - 664*b61*b59 - 480*b62*b59 - 768*b63*b59
- 176*b64*b59 - 792*b65*b59 - 272*b66*b59 - 664*b67*b59 - 176*b68*b59
- 368*b69*b59 - 448*b61*b60 - 664*b62*b60 - 192*b63*b60 - 664*b64*b60
- 264*b65*b60 - 392*b66*b60 - 248*b67*b60 - 240*b68*b60 - 552*b69*b60
- 520*b62*b61 - 280*b63*b61 - 88*b64*b61 - 784*b65*b61 - 448*b66*b61 -
640*b67*b61 - 680*b68*b61 - 584*b69*b61 - 488*b63*b62 - 440*b64*b62 -
200*b65*b62 - 664*b66*b62 - 96*b67*b62 - 64*b68*b62 - 760*b69*b62 - 488*
b64*b63 - 248*b65*b63 - 376*b66*b63 - 760*b67*b63 - 528*b68*b63 - 552*
b69*b63 - 744*b65*b64 - 592*b66*b64 - 416*b67*b64 - 560*b68*b64 - 456*
b69*b64 - 680*b66*b65 - 568*b67*b65 - 320*b68*b65 - 120*b69*b65 - 320*
b67*b66 - 464*b68*b66 - 16*b69*b66 - 32*b68*b67 - 448*b69*b67 - 80*b69*
b68 =L= 0;
e281.. (-648*b71*b70) - 39040*b70 + 11488*b71 - 512*b72*b70 + 9976*b72 - 656*
b73*b70 + 10088*b73 - 464*b74*b70 + 9224*b74 - 784*b75*b70 + 9448*b75 -
288*b76*b70 + 9320*b76 - 736*b77*b70 + 9480*b77 - 24*b78*b70 + 8888*b78
- 496*b79*b70 + 9208*b79 - 432*b80*b70 + 9872*b80 - 168*b81*b70 + 9584*
b81 - 680*b82*b70 + 9632*b82 - 552*b83*b70 + 9888*b83 - 560*b84*b70 +
9936*b84 - 160*b85*b70 + 9168*b85 - 600*b86*b70 + 9808*b86 - 640*b87*b70
+ 10984*b87 - 96*b88*b70 + 10000*b88 - 656*b89*b70 + 7808*b89 - 80*b90*
b70 + 8280*b90 - 792*b72*b71 - 32*b73*b71 - 104*b74*b71 - 672*b75*b71 -
784*b76*b71 - 216*b77*b71 - 648*b78*b71 - 472*b79*b71 - 376*b80*b71 -
664*b81*b71 - 424*b82*b71 - 640*b83*b71 - 280*b85*b71 - 720*b86*b71 -
784*b87*b71 - 568*b88*b71 - 664*b89*b71 - 432*b90*b71 - 688*b73*b72 -
712*b74*b72 - 216*b75*b72 - 568*b76*b72 - 80*b77*b72 - 784*b78*b72 - 728
*b79*b72 - 688*b80*b72 - 240*b81*b72 - 440*b82*b72 - 160*b83*b72 - 320*
b84*b72 - 56*b85*b72 - 608*b86*b72 - 424*b87*b72 - 728*b88*b72 - 600*b89
*b72 - 264*b90*b72 - 576*b74*b73 - 272*b75*b73 - 256*b76*b73 - 56*b77*
b73 - 696*b78*b73 - 512*b79*b73 - 56*b80*b73 - 592*b81*b73 - 432*b82*b73
- 464*b83*b73 - 776*b84*b73 - 712*b85*b73 - 96*b86*b73 - 664*b87*b73 -
632*b88*b73 - 312*b89*b73 - 56*b90*b73 - 712*b75*b74 - 712*b76*b74 - 784
*b77*b74 - 216*b78*b74 - 152*b79*b74 - 48*b80*b74 - 480*b82*b74 - 104*
b83*b74 - 608*b84*b74 - 520*b85*b74 - 448*b86*b74 - 408*b87*b74 - 400*
b88*b74 - 224*b89*b74 - 296*b90*b74 - 272*b76*b75 - 696*b77*b75 - 192*
b78*b75 - 784*b79*b75 - 376*b80*b75 - 400*b81*b75 - 40*b82*b75 - 456*b83
*b75 - 384*b84*b75 - 752*b85*b75 - 168*b86*b75 - 248*b87*b75 - 200*b88*
b75 - 96*b89*b75 - 304*b90*b75 - 120*b77*b76 - 16*b78*b76 - 712*b79*b76
- 752*b80*b76 - 168*b81*b76 - 760*b82*b76 - 752*b83*b76 - 264*b84*b76
- 64*b85*b76 - 568*b86*b76 - 792*b87*b76 - 512*b88*b76 - 592*b89*b76 -
8*b90*b76 - 352*b78*b77 - 96*b79*b77 - 288*b80*b77 - 664*b81*b77 - 704*
b82*b77 - 272*b83*b77 - 240*b84*b77 - 312*b85*b77 - 312*b86*b77 - 312*
b87*b77 - 696*b88*b77 - 688*b89*b77 - 480*b90*b77 - 560*b79*b78 - 88*b80
*b78 - 584*b81*b78 - 72*b82*b78 - 624*b83*b78 - 600*b84*b78 - 400*b85*
b78 - 584*b86*b78 - 384*b87*b78 - 360*b88*b78 - 152*b89*b78 - 656*b90*
b78 - 40*b80*b79 - 720*b81*b79 - 264*b82*b79 - 168*b83*b79 - 136*b84*b79
- 272*b85*b79 - 520*b86*b79 - 648*b87*b79 - 560*b88*b79 - 552*b90*b79
- 456*b81*b80 - 664*b82*b80 - 480*b83*b80 - 768*b84*b80 - 176*b85*b80
- 792*b86*b80 - 272*b87*b80 - 664*b88*b80 - 176*b89*b80 - 368*b90*b80
- 448*b82*b81 - 664*b83*b81 - 192*b84*b81 - 664*b85*b81 - 264*b86*b81
- 392*b87*b81 - 248*b88*b81 - 240*b89*b81 - 552*b90*b81 - 520*b83*b82
- 280*b84*b82 - 88*b85*b82 - 784*b86*b82 - 448*b87*b82 - 640*b88*b82 -
680*b89*b82 - 584*b90*b82 - 488*b84*b83 - 440*b85*b83 - 200*b86*b83 -
664*b87*b83 - 96*b88*b83 - 64*b89*b83 - 760*b90*b83 - 488*b85*b84 - 248*
b86*b84 - 376*b87*b84 - 760*b88*b84 - 528*b89*b84 - 552*b90*b84 - 744*
b86*b85 - 592*b87*b85 - 416*b88*b85 - 560*b89*b85 - 456*b90*b85 - 680*
b87*b86 - 568*b88*b86 - 320*b89*b86 - 120*b90*b86 - 320*b88*b87 - 464*
b89*b87 - 16*b90*b87 - 32*b89*b88 - 448*b90*b88 - 80*b90*b89 =L= 0;
e282.. (-792*b92*b91) - 38016*b91 + 9976*b92 - 32*b93*b91 + 10088*b93 - 104*b94
*b91 + 9224*b94 - 672*b95*b91 + 9448*b95 - 784*b96*b91 + 9320*b96 - 216*
b97*b91 + 9480*b97 - 648*b98*b91 + 8888*b98 - 472*b99*b91 + 9208*b99 -
376*b100*b91 + 9872*b100 - 664*b101*b91 + 9584*b101 - 424*b102*b91 +
9632*b102 - 640*b103*b91 + 9888*b103 - 280*b104*b91 + 9168*b104 - 720*
b105*b91 + 9808*b105 - 784*b106*b91 + 10984*b106 - 568*b107*b91 + 10000*
b107 - 664*b108*b91 + 7808*b108 - 432*b109*b91 + 8280*b109 - 688*b93*b92
- 712*b94*b92 - 216*b95*b92 - 568*b96*b92 - 80*b97*b92 - 784*b98*b92 -
728*b99*b92 - 688*b100*b92 - 240*b101*b92 - 440*b102*b92 - 160*b103*b92
- 56*b104*b92 - 608*b105*b92 - 424*b106*b92 - 728*b107*b92 - 600*b108*
b92 - 264*b109*b92 - 320*b110*b92 + 9936*b110 - 576*b94*b93 - 272*b95*
b93 - 256*b96*b93 - 56*b97*b93 - 696*b98*b93 - 512*b99*b93 - 56*b100*b93
- 592*b101*b93 - 432*b102*b93 - 464*b103*b93 - 712*b104*b93 - 96*b105*
b93 - 664*b106*b93 - 632*b107*b93 - 312*b108*b93 - 56*b109*b93 - 776*
b110*b93 - 712*b95*b94 - 712*b96*b94 - 784*b97*b94 - 216*b98*b94 - 152*
b99*b94 - 48*b100*b94 - 480*b102*b94 - 104*b103*b94 - 520*b104*b94 - 448
*b105*b94 - 408*b106*b94 - 400*b107*b94 - 224*b108*b94 - 296*b109*b94 -
608*b110*b94 - 272*b96*b95 - 696*b97*b95 - 192*b98*b95 - 784*b99*b95 -
376*b100*b95 - 400*b101*b95 - 40*b102*b95 - 456*b103*b95 - 752*b104*b95
- 168*b105*b95 - 248*b106*b95 - 200*b107*b95 - 96*b108*b95 - 304*b109*
b95 - 384*b110*b95 - 120*b97*b96 - 16*b98*b96 - 712*b99*b96 - 752*b100*
b96 - 168*b101*b96 - 760*b102*b96 - 752*b103*b96 - 64*b104*b96 - 568*
b105*b96 - 792*b106*b96 - 512*b107*b96 - 592*b108*b96 - 8*b109*b96 - 264
*b110*b96 - 352*b98*b97 - 96*b99*b97 - 288*b100*b97 - 664*b101*b97 - 704
*b102*b97 - 272*b103*b97 - 312*b104*b97 - 312*b105*b97 - 312*b106*b97 -
696*b107*b97 - 688*b108*b97 - 480*b109*b97 - 240*b110*b97 - 560*b99*b98
- 88*b100*b98 - 584*b101*b98 - 72*b102*b98 - 624*b103*b98 - 400*b104*
b98 - 584*b105*b98 - 384*b106*b98 - 360*b107*b98 - 152*b108*b98 - 656*
b109*b98 - 600*b110*b98 - 40*b100*b99 - 720*b101*b99 - 264*b102*b99 -
168*b103*b99 - 272*b104*b99 - 520*b105*b99 - 648*b106*b99 - 560*b107*b99
- 552*b109*b99 - 136*b110*b99 - 456*b101*b100 - 664*b102*b100 - 480*
b103*b100 - 176*b104*b100 - 792*b105*b100 - 272*b106*b100 - 664*b107*
b100 - 176*b108*b100 - 368*b109*b100 - 768*b110*b100 - 448*b102*b101 -
664*b103*b101 - 664*b104*b101 - 264*b105*b101 - 392*b106*b101 - 248*b107
*b101 - 240*b108*b101 - 552*b109*b101 - 192*b110*b101 - 520*b103*b102 -
88*b104*b102 - 784*b105*b102 - 448*b106*b102 - 640*b107*b102 - 680*b108*
b102 - 584*b109*b102 - 280*b110*b102 - 440*b104*b103 - 200*b105*b103 -
664*b106*b103 - 96*b107*b103 - 64*b108*b103 - 760*b109*b103 - 488*b110*
b103 - 744*b105*b104 - 592*b106*b104 - 416*b107*b104 - 560*b108*b104 -
456*b109*b104 - 488*b110*b104 - 680*b106*b105 - 568*b107*b105 - 320*b108
*b105 - 120*b109*b105 - 248*b110*b105 - 320*b107*b106 - 464*b108*b106 -
16*b109*b106 - 376*b110*b106 - 32*b108*b107 - 448*b109*b107 - 760*b110*
b107 - 80*b109*b108 - 528*b110*b108 - 552*b110*b109 =L= 0;
e283.. (-688*b112*b111) - 39528*b111 + 10088*b112 - 712*b113*b111 + 9224*b113
- 216*b114*b111 + 9448*b114 - 568*b115*b111 + 9320*b115 - 80*b116*b111
+ 9480*b116 - 784*b117*b111 + 8888*b117 - 728*b118*b111 + 9208*b118 -
688*b119*b111 + 9872*b119 - 240*b120*b111 + 9584*b120 - 440*b121*b111 +
9632*b121 - 160*b122*b111 + 9888*b122 - 320*b123*b111 + 9936*b123 - 56*
b124*b111 + 9168*b124 - 608*b125*b111 + 9808*b125 - 424*b126*b111 +
10984*b126 - 728*b127*b111 + 10000*b127 - 600*b128*b111 + 7808*b128 -
264*b129*b111 + 8280*b129 - 576*b113*b112 - 272*b114*b112 - 256*b115*
b112 - 56*b116*b112 - 696*b117*b112 - 512*b118*b112 - 56*b119*b112 - 592
*b120*b112 - 432*b121*b112 - 464*b122*b112 - 776*b123*b112 - 712*b124*
b112 - 96*b125*b112 - 664*b126*b112 - 632*b127*b112 - 312*b128*b112 - 56
*b129*b112 - 712*b114*b113 - 712*b115*b113 - 784*b116*b113 - 216*b117*
b113 - 152*b118*b113 - 48*b119*b113 - 480*b121*b113 - 104*b122*b113 -
608*b123*b113 - 520*b124*b113 - 448*b125*b113 - 408*b126*b113 - 400*b127
*b113 - 224*b128*b113 - 296*b129*b113 - 272*b115*b114 - 696*b116*b114 -
192*b117*b114 - 784*b118*b114 - 376*b119*b114 - 400*b120*b114 - 40*b121*
b114 - 456*b122*b114 - 384*b123*b114 - 752*b124*b114 - 168*b125*b114 -
248*b126*b114 - 200*b127*b114 - 96*b128*b114 - 304*b129*b114 - 120*b116*
b115 - 16*b117*b115 - 712*b118*b115 - 752*b119*b115 - 168*b120*b115 -
760*b121*b115 - 752*b122*b115 - 264*b123*b115 - 64*b124*b115 - 568*b125*
b115 - 792*b126*b115 - 512*b127*b115 - 592*b128*b115 - 8*b129*b115 - 352
*b117*b116 - 96*b118*b116 - 288*b119*b116 - 664*b120*b116 - 704*b121*
b116 - 272*b122*b116 - 240*b123*b116 - 312*b124*b116 - 312*b125*b116 -
312*b126*b116 - 696*b127*b116 - 688*b128*b116 - 480*b129*b116 - 560*b118
*b117 - 88*b119*b117 - 584*b120*b117 - 72*b121*b117 - 624*b122*b117 -
600*b123*b117 - 400*b124*b117 - 584*b125*b117 - 384*b126*b117 - 360*b127
*b117 - 152*b128*b117 - 656*b129*b117 - 40*b119*b118 - 720*b120*b118 -
264*b121*b118 - 168*b122*b118 - 136*b123*b118 - 272*b124*b118 - 520*b125
*b118 - 648*b126*b118 - 560*b127*b118 - 552*b129*b118 - 456*b120*b119 -
664*b121*b119 - 480*b122*b119 - 768*b123*b119 - 176*b124*b119 - 792*b125
*b119 - 272*b126*b119 - 664*b127*b119 - 176*b128*b119 - 368*b129*b119 -
448*b121*b120 - 664*b122*b120 - 192*b123*b120 - 664*b124*b120 - 264*b125
*b120 - 392*b126*b120 - 248*b127*b120 - 240*b128*b120 - 552*b129*b120 -
520*b122*b121 - 280*b123*b121 - 88*b124*b121 - 784*b125*b121 - 448*b126*
b121 - 640*b127*b121 - 680*b128*b121 - 584*b129*b121 - 488*b123*b122 -
440*b124*b122 - 200*b125*b122 - 664*b126*b122 - 96*b127*b122 - 64*b128*
b122 - 760*b129*b122 - 488*b124*b123 - 248*b125*b123 - 376*b126*b123 -
760*b127*b123 - 528*b128*b123 - 552*b129*b123 - 744*b125*b124 - 592*b126
*b124 - 416*b127*b124 - 560*b128*b124 - 456*b129*b124 - 680*b126*b125 -
568*b127*b125 - 320*b128*b125 - 120*b129*b125 - 320*b127*b126 - 464*b128
*b126 - 16*b129*b126 - 32*b128*b127 - 448*b129*b127 - 80*b129*b128 =L= 0
;
e284.. (-576*b131*b130) - 39416*b130 + 9224*b131 - 272*b132*b130 + 9448*b132 -
256*b133*b130 + 9320*b133 - 56*b134*b130 + 9480*b134 - 696*b135*b130 +
8888*b135 - 512*b136*b130 + 9208*b136 - 56*b137*b130 + 9872*b137 - 592*
b138*b130 + 9584*b138 - 432*b139*b130 + 9632*b139 - 464*b140*b130 + 9888
*b140 - 776*b141*b130 + 9936*b141 - 712*b142*b130 + 9168*b142 - 96*b143*
b130 + 9808*b143 - 664*b144*b130 + 10984*b144 - 632*b145*b130 + 10000*
b145 - 312*b146*b130 + 7808*b146 - 56*b147*b130 + 8280*b147 - 712*b132*
b131 - 712*b133*b131 - 784*b134*b131 - 216*b135*b131 - 152*b136*b131 -
48*b137*b131 - 480*b139*b131 - 104*b140*b131 - 608*b141*b131 - 520*b142*
b131 - 448*b143*b131 - 408*b144*b131 - 400*b145*b131 - 224*b146*b131 -
296*b147*b131 - 272*b133*b132 - 696*b134*b132 - 192*b135*b132 - 784*b136
*b132 - 376*b137*b132 - 400*b138*b132 - 40*b139*b132 - 456*b140*b132 -
384*b141*b132 - 752*b142*b132 - 168*b143*b132 - 248*b144*b132 - 200*b145
*b132 - 96*b146*b132 - 304*b147*b132 - 120*b134*b133 - 16*b135*b133 -
712*b136*b133 - 752*b137*b133 - 168*b138*b133 - 760*b139*b133 - 752*b140
*b133 - 264*b141*b133 - 64*b142*b133 - 568*b143*b133 - 792*b144*b133 -
512*b145*b133 - 592*b146*b133 - 8*b147*b133 - 352*b135*b134 - 96*b136*
b134 - 288*b137*b134 - 664*b138*b134 - 704*b139*b134 - 272*b140*b134 -
240*b141*b134 - 312*b142*b134 - 312*b143*b134 - 312*b144*b134 - 696*b145
*b134 - 688*b146*b134 - 480*b147*b134 - 560*b136*b135 - 88*b137*b135 -
584*b138*b135 - 72*b139*b135 - 624*b140*b135 - 600*b141*b135 - 400*b142*
b135 - 584*b143*b135 - 384*b144*b135 - 360*b145*b135 - 152*b146*b135 -
656*b147*b135 - 40*b137*b136 - 720*b138*b136 - 264*b139*b136 - 168*b140*
b136 - 136*b141*b136 - 272*b142*b136 - 520*b143*b136 - 648*b144*b136 -
560*b145*b136 - 552*b147*b136 - 456*b138*b137 - 664*b139*b137 - 480*b140
*b137 - 768*b141*b137 - 176*b142*b137 - 792*b143*b137 - 272*b144*b137 -
664*b145*b137 - 176*b146*b137 - 368*b147*b137 - 448*b139*b138 - 664*b140
*b138 - 192*b141*b138 - 664*b142*b138 - 264*b143*b138 - 392*b144*b138 -
248*b145*b138 - 240*b146*b138 - 552*b147*b138 - 520*b140*b139 - 280*b141
*b139 - 88*b142*b139 - 784*b143*b139 - 448*b144*b139 - 640*b145*b139 -
680*b146*b139 - 584*b147*b139 - 488*b141*b140 - 440*b142*b140 - 200*b143
*b140 - 664*b144*b140 - 96*b145*b140 - 64*b146*b140 - 760*b147*b140 -
488*b142*b141 - 248*b143*b141 - 376*b144*b141 - 760*b145*b141 - 528*b146
*b141 - 552*b147*b141 - 744*b143*b142 - 592*b144*b142 - 416*b145*b142 -
560*b146*b142 - 456*b147*b142 - 680*b144*b143 - 568*b145*b143 - 320*b146
*b143 - 120*b147*b143 - 320*b145*b144 - 464*b146*b144 - 16*b147*b144 -
32*b146*b145 - 448*b147*b145 - 80*b147*b146 =L= 0;
e285.. (-712*b149*b148) - 40280*b148 + 9448*b149 - 712*b150*b148 + 9320*b150 -
784*b151*b148 + 9480*b151 - 216*b152*b148 + 8888*b152 - 152*b153*b148 +
9208*b153 - 48*b154*b148 + 9872*b154 - 480*b155*b148 + 9632*b155 - 104*
b156*b148 + 9888*b156 - 608*b157*b148 + 9936*b157 - 520*b158*b148 + 9168
*b158 - 448*b159*b148 + 9808*b159 - 408*b160*b148 + 10984*b160 - 400*
b161*b148 + 10000*b161 - 224*b162*b148 + 7808*b162 - 296*b163*b148 +
8280*b163 - 272*b150*b149 - 696*b151*b149 - 192*b152*b149 - 784*b153*
b149 - 376*b154*b149 - 40*b155*b149 - 456*b156*b149 - 384*b157*b149 -
752*b158*b149 - 168*b159*b149 - 248*b160*b149 - 200*b161*b149 - 96*b162*
b149 - 304*b163*b149 - 400*b164*b149 + 9584*b164 - 120*b151*b150 - 16*
b152*b150 - 712*b153*b150 - 752*b154*b150 - 760*b155*b150 - 752*b156*
b150 - 264*b157*b150 - 64*b158*b150 - 568*b159*b150 - 792*b160*b150 -
512*b161*b150 - 592*b162*b150 - 8*b163*b150 - 168*b164*b150 - 352*b152*
b151 - 96*b153*b151 - 288*b154*b151 - 704*b155*b151 - 272*b156*b151 -
240*b157*b151 - 312*b158*b151 - 312*b159*b151 - 312*b160*b151 - 696*b161
*b151 - 688*b162*b151 - 480*b163*b151 - 664*b164*b151 - 560*b153*b152 -
88*b154*b152 - 72*b155*b152 - 624*b156*b152 - 600*b157*b152 - 400*b158*
b152 - 584*b159*b152 - 384*b160*b152 - 360*b161*b152 - 152*b162*b152 -
656*b163*b152 - 584*b164*b152 - 40*b154*b153 - 264*b155*b153 - 168*b156*
b153 - 136*b157*b153 - 272*b158*b153 - 520*b159*b153 - 648*b160*b153 -
560*b161*b153 - 552*b163*b153 - 720*b164*b153 - 664*b155*b154 - 480*b156
*b154 - 768*b157*b154 - 176*b158*b154 - 792*b159*b154 - 272*b160*b154 -
664*b161*b154 - 176*b162*b154 - 368*b163*b154 - 456*b164*b154 - 520*b156
*b155 - 280*b157*b155 - 88*b158*b155 - 784*b159*b155 - 448*b160*b155 -
640*b161*b155 - 680*b162*b155 - 584*b163*b155 - 448*b164*b155 - 488*b157
*b156 - 440*b158*b156 - 200*b159*b156 - 664*b160*b156 - 96*b161*b156 -
64*b162*b156 - 760*b163*b156 - 664*b164*b156 - 488*b158*b157 - 248*b159*
b157 - 376*b160*b157 - 760*b161*b157 - 528*b162*b157 - 552*b163*b157 -
192*b164*b157 - 744*b159*b158 - 592*b160*b158 - 416*b161*b158 - 560*b162
*b158 - 456*b163*b158 - 664*b164*b158 - 680*b160*b159 - 568*b161*b159 -
320*b162*b159 - 120*b163*b159 - 264*b164*b159 - 320*b161*b160 - 464*b162
*b160 - 16*b163*b160 - 392*b164*b160 - 32*b162*b161 - 448*b163*b161 -
248*b164*b161 - 80*b163*b162 - 240*b164*b162 - 552*b164*b163 =L= 0;
e286.. (-272*b166*b165) - 40056*b165 + 9320*b166 - 696*b167*b165 + 9480*b167 -
192*b168*b165 + 8888*b168 - 784*b169*b165 + 9208*b169 - 376*b170*b165 +
9872*b170 - 400*b171*b165 + 9584*b171 - 40*b172*b165 + 9632*b172 - 456*
b173*b165 + 9888*b173 - 384*b174*b165 + 9936*b174 - 752*b175*b165 + 9168
*b175 - 168*b176*b165 + 9808*b176 - 248*b177*b165 + 10984*b177 - 200*
b178*b165 + 10000*b178 - 96*b179*b165 + 7808*b179 - 304*b180*b165 + 8280
*b180 - 120*b167*b166 - 16*b168*b166 - 712*b169*b166 - 752*b170*b166 -
168*b171*b166 - 760*b172*b166 - 752*b173*b166 - 264*b174*b166 - 64*b175*
b166 - 568*b176*b166 - 792*b177*b166 - 512*b178*b166 - 592*b179*b166 - 8
*b180*b166 - 352*b168*b167 - 96*b169*b167 - 288*b170*b167 - 664*b171*
b167 - 704*b172*b167 - 272*b173*b167 - 240*b174*b167 - 312*b175*b167 -
312*b176*b167 - 312*b177*b167 - 696*b178*b167 - 688*b179*b167 - 480*b180
*b167 - 560*b169*b168 - 88*b170*b168 - 584*b171*b168 - 72*b172*b168 -
624*b173*b168 - 600*b174*b168 - 400*b175*b168 - 584*b176*b168 - 384*b177
*b168 - 360*b178*b168 - 152*b179*b168 - 656*b180*b168 - 40*b170*b169 -
720*b171*b169 - 264*b172*b169 - 168*b173*b169 - 136*b174*b169 - 272*b175
*b169 - 520*b176*b169 - 648*b177*b169 - 560*b178*b169 - 552*b180*b169 -
456*b171*b170 - 664*b172*b170 - 480*b173*b170 - 768*b174*b170 - 176*b175
*b170 - 792*b176*b170 - 272*b177*b170 - 664*b178*b170 - 176*b179*b170 -
368*b180*b170 - 448*b172*b171 - 664*b173*b171 - 192*b174*b171 - 664*b175
*b171 - 264*b176*b171 - 392*b177*b171 - 248*b178*b171 - 240*b179*b171 -
552*b180*b171 - 520*b173*b172 - 280*b174*b172 - 88*b175*b172 - 784*b176*
b172 - 448*b177*b172 - 640*b178*b172 - 680*b179*b172 - 584*b180*b172 -
488*b174*b173 - 440*b175*b173 - 200*b176*b173 - 664*b177*b173 - 96*b178*
b173 - 64*b179*b173 - 760*b180*b173 - 488*b175*b174 - 248*b176*b174 -
376*b177*b174 - 760*b178*b174 - 528*b179*b174 - 552*b180*b174 - 744*b176
*b175 - 592*b177*b175 - 416*b178*b175 - 560*b179*b175 - 456*b180*b175 -
680*b177*b176 - 568*b178*b176 - 320*b179*b176 - 120*b180*b176 - 320*b178
*b177 - 464*b179*b177 - 16*b180*b177 - 32*b179*b178 - 448*b180*b178 - 80
*b180*b179 =L= 0;
e287.. (-120*b182*b181) - 40184*b181 + 9480*b182 - 16*b183*b181 + 8888*b183 -
712*b184*b181 + 9208*b184 - 752*b185*b181 + 9872*b185 - 168*b186*b181 +
9584*b186 - 760*b187*b181 + 9632*b187 - 752*b188*b181 + 9888*b188 - 264*
b189*b181 + 9936*b189 - 64*b190*b181 + 9168*b190 - 568*b191*b181 + 9808*
b191 - 792*b192*b181 + 10984*b192 - 512*b193*b181 + 10000*b193 - 592*
b194*b181 + 7808*b194 - 8*b195*b181 + 8280*b195 - 352*b183*b182 - 96*
b184*b182 - 288*b185*b182 - 664*b186*b182 - 704*b187*b182 - 272*b188*
b182 - 240*b189*b182 - 312*b190*b182 - 312*b191*b182 - 312*b192*b182 -
696*b193*b182 - 688*b194*b182 - 480*b195*b182 - 560*b184*b183 - 88*b185*
b183 - 584*b186*b183 - 72*b187*b183 - 624*b188*b183 - 600*b189*b183 -
400*b190*b183 - 584*b191*b183 - 384*b192*b183 - 360*b193*b183 - 152*b194
*b183 - 656*b195*b183 - 40*b185*b184 - 720*b186*b184 - 264*b187*b184 -
168*b188*b184 - 136*b189*b184 - 272*b190*b184 - 520*b191*b184 - 648*b192
*b184 - 560*b193*b184 - 552*b195*b184 - 456*b186*b185 - 664*b187*b185 -
480*b188*b185 - 768*b189*b185 - 176*b190*b185 - 792*b191*b185 - 272*b192
*b185 - 664*b193*b185 - 176*b194*b185 - 368*b195*b185 - 448*b187*b186 -
664*b188*b186 - 192*b189*b186 - 664*b190*b186 - 264*b191*b186 - 392*b192
*b186 - 248*b193*b186 - 240*b194*b186 - 552*b195*b186 - 520*b188*b187 -
280*b189*b187 - 88*b190*b187 - 784*b191*b187 - 448*b192*b187 - 640*b193*
b187 - 680*b194*b187 - 584*b195*b187 - 488*b189*b188 - 440*b190*b188 -
200*b191*b188 - 664*b192*b188 - 96*b193*b188 - 64*b194*b188 - 760*b195*
b188 - 488*b190*b189 - 248*b191*b189 - 376*b192*b189 - 760*b193*b189 -
528*b194*b189 - 552*b195*b189 - 744*b191*b190 - 592*b192*b190 - 416*b193
*b190 - 560*b194*b190 - 456*b195*b190 - 680*b192*b191 - 568*b193*b191 -
320*b194*b191 - 120*b195*b191 - 320*b193*b192 - 464*b194*b192 - 16*b195*
b192 - 32*b194*b193 - 448*b195*b193 - 80*b195*b194 =L= 0;
e288.. (-352*b197*b196) - 40024*b196 + 8888*b197 - 96*b198*b196 + 9208*b198 -
288*b199*b196 + 9872*b199 - 664*b200*b196 + 9584*b200 - 704*b201*b196 +
9632*b201 - 272*b202*b196 + 9888*b202 - 240*b203*b196 + 9936*b203 - 312*
b204*b196 + 9168*b204 - 312*b205*b196 + 9808*b205 - 312*b206*b196 +
10984*b206 - 696*b207*b196 + 10000*b207 - 688*b208*b196 + 7808*b208 -
480*b209*b196 + 8280*b209 - 560*b198*b197 - 88*b199*b197 - 584*b200*b197
- 72*b201*b197 - 624*b202*b197 - 600*b203*b197 - 400*b204*b197 - 584*
b205*b197 - 384*b206*b197 - 360*b207*b197 - 152*b208*b197 - 656*b209*
b197 - 40*b199*b198 - 720*b200*b198 - 264*b201*b198 - 168*b202*b198 -
136*b203*b198 - 272*b204*b198 - 520*b205*b198 - 648*b206*b198 - 560*b207
*b198 - 552*b209*b198 - 456*b200*b199 - 664*b201*b199 - 480*b202*b199 -
768*b203*b199 - 176*b204*b199 - 792*b205*b199 - 272*b206*b199 - 664*b207
*b199 - 176*b208*b199 - 368*b209*b199 - 448*b201*b200 - 664*b202*b200 -
192*b203*b200 - 664*b204*b200 - 264*b205*b200 - 392*b206*b200 - 248*b207
*b200 - 240*b208*b200 - 552*b209*b200 - 520*b202*b201 - 280*b203*b201 -
88*b204*b201 - 784*b205*b201 - 448*b206*b201 - 640*b207*b201 - 680*b208*
b201 - 584*b209*b201 - 488*b203*b202 - 440*b204*b202 - 200*b205*b202 -
664*b206*b202 - 96*b207*b202 - 64*b208*b202 - 760*b209*b202 - 488*b204*
b203 - 248*b205*b203 - 376*b206*b203 - 760*b207*b203 - 528*b208*b203 -
552*b209*b203 - 744*b205*b204 - 592*b206*b204 - 416*b207*b204 - 560*b208
*b204 - 456*b209*b204 - 680*b206*b205 - 568*b207*b205 - 320*b208*b205 -
120*b209*b205 - 320*b207*b206 - 464*b208*b206 - 16*b209*b206 - 32*b208*
b207 - 448*b209*b207 - 80*b209*b208 =L= 0;
e289.. (-560*b211*b210) - 40616*b210 + 9208*b211 - 88*b212*b210 + 9872*b212 -
584*b213*b210 + 9584*b213 - 72*b214*b210 + 9632*b214 - 624*b215*b210 +
9888*b215 - 600*b216*b210 + 9936*b216 - 400*b217*b210 + 9168*b217 - 584*
b218*b210 + 9808*b218 - 384*b219*b210 + 10984*b219 - 360*b220*b210 +
10000*b220 - 152*b221*b210 + 7808*b221 - 656*b222*b210 + 8280*b222 - 40*
b212*b211 - 720*b213*b211 - 264*b214*b211 - 168*b215*b211 - 136*b216*
b211 - 272*b217*b211 - 520*b218*b211 - 648*b219*b211 - 560*b220*b211 -
552*b222*b211 - 456*b213*b212 - 664*b214*b212 - 480*b215*b212 - 768*b216
*b212 - 176*b217*b212 - 792*b218*b212 - 272*b219*b212 - 664*b220*b212 -
176*b221*b212 - 368*b222*b212 - 448*b214*b213 - 664*b215*b213 - 192*b216
*b213 - 664*b217*b213 - 264*b218*b213 - 392*b219*b213 - 248*b220*b213 -
240*b221*b213 - 552*b222*b213 - 520*b215*b214 - 280*b216*b214 - 88*b217*
b214 - 784*b218*b214 - 448*b219*b214 - 640*b220*b214 - 680*b221*b214 -
584*b222*b214 - 488*b216*b215 - 440*b217*b215 - 200*b218*b215 - 664*b219
*b215 - 96*b220*b215 - 64*b221*b215 - 760*b222*b215 - 488*b217*b216 -
248*b218*b216 - 376*b219*b216 - 760*b220*b216 - 528*b221*b216 - 552*b222
*b216 - 744*b218*b217 - 592*b219*b217 - 416*b220*b217 - 560*b221*b217 -
456*b222*b217 - 680*b219*b218 - 568*b220*b218 - 320*b221*b218 - 120*b222
*b218 - 320*b220*b219 - 464*b221*b219 - 16*b222*b219 - 32*b221*b220 -
448*b222*b220 - 80*b222*b221 =L= 0;
e290.. (-40*b224*b223) - 40296*b223 + 9872*b224 - 720*b225*b223 + 9584*b225 -
264*b226*b223 + 9632*b226 - 168*b227*b223 + 9888*b227 - 136*b228*b223 +
9936*b228 - 272*b229*b223 + 9168*b229 - 520*b230*b223 + 9808*b230 - 648*
b231*b223 + 10984*b231 - 560*b232*b223 + 10000*b232 - 552*b233*b223 +
8280*b233 - 456*b225*b224 - 664*b226*b224 - 480*b227*b224 - 768*b228*
b224 - 176*b229*b224 - 792*b230*b224 - 272*b231*b224 - 664*b232*b224 -
368*b233*b224 - 176*b234*b224 + 7808*b234 - 448*b226*b225 - 664*b227*
b225 - 192*b228*b225 - 664*b229*b225 - 264*b230*b225 - 392*b231*b225 -
248*b232*b225 - 552*b233*b225 - 240*b234*b225 - 520*b227*b226 - 280*b228
*b226 - 88*b229*b226 - 784*b230*b226 - 448*b231*b226 - 640*b232*b226 -
584*b233*b226 - 680*b234*b226 - 488*b228*b227 - 440*b229*b227 - 200*b230
*b227 - 664*b231*b227 - 96*b232*b227 - 760*b233*b227 - 64*b234*b227 -
488*b229*b228 - 248*b230*b228 - 376*b231*b228 - 760*b232*b228 - 552*b233
*b228 - 528*b234*b228 - 744*b230*b229 - 592*b231*b229 - 416*b232*b229 -
456*b233*b229 - 560*b234*b229 - 680*b231*b230 - 568*b232*b230 - 120*b233
*b230 - 320*b234*b230 - 320*b232*b231 - 16*b233*b231 - 464*b234*b231 -
448*b233*b232 - 32*b234*b232 - 80*b234*b233 =L= 0;
e291.. (-456*b236*b235) - 39632*b235 + 9584*b236 - 664*b237*b235 + 9632*b237 -
480*b238*b235 + 9888*b238 - 768*b239*b235 + 9936*b239 - 176*b240*b235 +
9168*b240 - 792*b241*b235 + 9808*b241 - 272*b242*b235 + 10984*b242 - 664
*b243*b235 + 10000*b243 - 176*b244*b235 + 7808*b244 - 368*b245*b235 +
8280*b245 - 448*b237*b236 - 664*b238*b236 - 192*b239*b236 - 664*b240*
b236 - 264*b241*b236 - 392*b242*b236 - 248*b243*b236 - 240*b244*b236 -
552*b245*b236 - 520*b238*b237 - 280*b239*b237 - 88*b240*b237 - 784*b241*
b237 - 448*b242*b237 - 640*b243*b237 - 680*b244*b237 - 584*b245*b237 -
488*b239*b238 - 440*b240*b238 - 200*b241*b238 - 664*b242*b238 - 96*b243*
b238 - 64*b244*b238 - 760*b245*b238 - 488*b240*b239 - 248*b241*b239 -
376*b242*b239 - 760*b243*b239 - 528*b244*b239 - 552*b245*b239 - 744*b241
*b240 - 592*b242*b240 - 416*b243*b240 - 560*b244*b240 - 456*b245*b240 -
680*b242*b241 - 568*b243*b241 - 320*b244*b241 - 120*b245*b241 - 320*b243
*b242 - 464*b244*b242 - 16*b245*b242 - 32*b244*b243 - 448*b245*b243 - 80
*b245*b244 =L= 0;
e292.. (-448*b247*b246) - 39920*b246 + 9632*b247 - 664*b248*b246 + 9888*b248 -
192*b249*b246 + 9936*b249 - 664*b250*b246 + 9168*b250 - 264*b251*b246 +
9808*b251 - 392*b252*b246 + 10984*b252 - 248*b253*b246 + 10000*b253 -
240*b254*b246 + 7808*b254 - 552*b255*b246 + 8280*b255 - 520*b248*b247 -
280*b249*b247 - 88*b250*b247 - 784*b251*b247 - 448*b252*b247 - 640*b253*
b247 - 680*b254*b247 - 584*b255*b247 - 488*b249*b248 - 440*b250*b248 -
200*b251*b248 - 664*b252*b248 - 96*b253*b248 - 64*b254*b248 - 760*b255*
b248 - 488*b250*b249 - 248*b251*b249 - 376*b252*b249 - 760*b253*b249 -
528*b254*b249 - 552*b255*b249 - 744*b251*b250 - 592*b252*b250 - 416*b253
*b250 - 560*b254*b250 - 456*b255*b250 - 680*b252*b251 - 568*b253*b251 -
320*b254*b251 - 120*b255*b251 - 320*b253*b252 - 464*b254*b252 - 16*b255*
b252 - 32*b254*b253 - 448*b255*b253 - 80*b255*b254 =L= 0;
e293.. (-520*b257*b256) - 39872*b256 + 9888*b257 - 280*b258*b256 + 9936*b258 -
88*b259*b256 + 9168*b259 - 784*b260*b256 + 9808*b260 - 448*b261*b256 +
10984*b261 - 640*b262*b256 + 10000*b262 - 680*b263*b256 + 7808*b263 -
584*b264*b256 + 8280*b264 - 488*b258*b257 - 440*b259*b257 - 200*b260*
b257 - 664*b261*b257 - 96*b262*b257 - 64*b263*b257 - 760*b264*b257 - 488
*b259*b258 - 248*b260*b258 - 376*b261*b258 - 760*b262*b258 - 528*b263*
b258 - 552*b264*b258 - 744*b260*b259 - 592*b261*b259 - 416*b262*b259 -
560*b263*b259 - 456*b264*b259 - 680*b261*b260 - 568*b262*b260 - 320*b263
*b260 - 120*b264*b260 - 320*b262*b261 - 464*b263*b261 - 16*b264*b261 -
32*b263*b262 - 448*b264*b262 - 80*b264*b263 =L= 0;
e294.. (-488*b266*b265) - 39616*b265 + 9936*b266 - 440*b267*b265 + 9168*b267 -
200*b268*b265 + 9808*b268 - 664*b269*b265 + 10984*b269 - 96*b270*b265 +
10000*b270 - 64*b271*b265 + 7808*b271 - 760*b272*b265 + 8280*b272 - 488*
b267*b266 - 248*b268*b266 - 376*b269*b266 - 760*b270*b266 - 528*b271*
b266 - 552*b272*b266 - 744*b268*b267 - 592*b269*b267 - 416*b270*b267 -
560*b271*b267 - 456*b272*b267 - 680*b269*b268 - 568*b270*b268 - 320*b271
*b268 - 120*b272*b268 - 320*b270*b269 - 464*b271*b269 - 16*b272*b269 -
32*b271*b270 - 448*b272*b270 - 80*b272*b271 =L= 0;
e295.. (-488*b274*b273) - 39568*b273 + 9168*b274 - 248*b275*b273 + 9808*b275 -
376*b276*b273 + 10984*b276 - 760*b277*b273 + 10000*b277 - 528*b278*b273
+ 7808*b278 - 552*b279*b273 + 8280*b279 - 744*b275*b274 - 592*b276*b274
- 416*b277*b274 - 560*b278*b274 - 456*b279*b274 - 680*b276*b275 - 568*
b277*b275 - 320*b278*b275 - 120*b279*b275 - 320*b277*b276 - 464*b278*
b276 - 16*b279*b276 - 32*b278*b277 - 448*b279*b277 - 80*b279*b278 =L= 0;
e296.. (-744*b281*b280) - 40336*b280 + 9808*b281 - 592*b282*b280 + 10984*b282
- 416*b283*b280 + 10000*b283 - 560*b284*b280 + 7808*b284 - 456*b285*
b280 + 8280*b285 - 680*b282*b281 - 568*b283*b281 - 320*b284*b281 - 120*
b285*b281 - 320*b283*b282 - 464*b284*b282 - 16*b285*b282 - 32*b284*b283
- 448*b285*b283 - 80*b285*b284 =L= 0;
e297.. (-680*b287*b286) - 39696*b286 + 10984*b287 - 568*b288*b286 + 10000*b288
- 320*b289*b286 + 7808*b289 - 120*b290*b286 + 8280*b290 - 320*b288*b287
- 464*b289*b287 - 16*b290*b287 - 32*b289*b288 - 448*b290*b288 - 80*b290
*b289 =L= 0;
e298.. (-320*b292*b291) - 38520*b291 + 10000*b292 - 464*b293*b291 + 7808*b293
- 16*b294*b291 + 8280*b294 - 32*b293*b292 - 448*b294*b292 - 80*b294*
b293 =L= 0;
e299.. (-32*b296*b295) - 39504*b295 + 7808*b296 - 448*b297*b295 + 8280*b297 -
80*b297*b296 =L= 0;
e300.. (-80*b299*b298) - 41696*b298 + 8280*b299 =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-04-02 Git hash: 1dd5fb9b