MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance edgecross10-060
edge-crossing minimization in bipartite graphs modeled as a quadratic linear ordering problem This instance is for the edge crossing minimization problem in a bipartite graph G. G has to be drawn in the plane so that the nodes of its two shores are placed on two parallel horizontal lines. The task is to minimize the number of edge crossings by permuting the order of nodes on each layer, assuming that all edges are drawn as straight lines. The problem can be modeled as a quadratic objective over linear ordering variables.
| Formatsⓘ | ams gms lp mod nl osil pip py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 458.99999950 (ANTIGONE) 458.99999920 (BARON) 459.00000000 (COUENNE) 459.00000000 (GUROBI) 459.00000000 (LINDO) 459.00000000 (SCIP) -1239.00000000 (SHOT) |
| Referencesⓘ | Buchheim, Christoph, Wiegele, Angelika, and Zheng, Lanbo, Exact Algorithms for the Quadratic Linear Ordering Problem, INFORMS Journal on Computing, 22:1, 2010, 168-177. |
| Sourceⓘ | POLIP instance quadratic_linear_ordering/bip_cross_min.10.10.60.1 |
| Applicationⓘ | Edge-crossing minimization in bipartite graphs |
| Added to libraryⓘ | 26 Feb 2014 |
| Problem typeⓘ | MBQCP |
| #Variablesⓘ | 91 |
| #Binary Variablesⓘ | 44 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 90 |
| #Nonlinear Binary Variablesⓘ | 44 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 1 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 481 |
| #Linear Constraintsⓘ | 480 |
| #Quadratic Constraintsⓘ | 1 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | |
| Constraints curvatureⓘ | indefinite |
| #Nonzeros in Jacobianⓘ | 1531 |
| #Nonlinear Nonzeros in Jacobianⓘ | 90 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 1964 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 0 |
| #Blocks in Hessian of Lagrangianⓘ | 1 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 90 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 90 |
| Average blocksize in Hessian of Lagrangianⓘ | 90.0 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.0000e+00 |
| Maximal coefficientⓘ | 1.7000e+01 |
| Infeasibility of initial pointⓘ | 755 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 481 0 1 480 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 91 47 44 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 1531 1441 90 0
*
* Solve m using MINLP minimizing objvar;
Variables b1,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,x45,x46,x47,x48,x49,x50,x51,x52,x53
,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69,x70
,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86,x87
,x88,x89,x90,objvar;
Positive Variables x45,x46,x47,x48,x49,x50,x51,x52,x53,x54,x55,x56,x57,x58
,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69,x70,x71,x72,x73,x74,x75
,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86,x87,x88,x89,x90;
Binary Variables b1,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;
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,e301,e302,e303,e304,e305,e306,e307,e308,e309,e310,e311
,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,e323,e324
,e325,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337
,e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350
,e351,e352,e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363
,e364,e365,e366,e367,e368,e369,e370,e371,e372,e373,e374,e375,e376
,e377,e378,e379,e380,e381,e382,e383,e384,e385,e386,e387,e388,e389
,e390,e391,e392,e393,e394,e395,e396,e397,e398,e399,e400,e401,e402
,e403,e404,e405,e406,e407,e408,e409,e410,e411,e412,e413,e414,e415
,e416,e417,e418,e419,e420,e421,e422,e423,e424,e425,e426,e427,e428
,e429,e430,e431,e432,e433,e434,e435,e436,e437,e438,e439,e440,e441
,e442,e443,e444,e445,e446,e447,e448,e449,e450,e451,e452,e453,e454
,e455,e456,e457,e458,e459,e460,e461,e462,e463,e464,e465,e466,e467
,e468,e469,e470,e471,e472,e473,e474,e475,e476,e477,e478,e479,e480
,e481;
e1.. - b1 + b2 + b3 =L= 1;
e2.. b3 - b4 + b5 =L= 1;
e3.. b3 - b6 + b7 =L= 1;
e4.. b3 - b8 + b9 =L= 1;
e5.. b3 - b10 + b11 =L= 1;
e6.. b3 - b12 + b13 =L= 1;
e7.. b3 - b14 + b15 =L= 1;
e8.. b3 - b16 + b17 =L= 1;
e9.. b1 - b4 + b18 =L= 1;
e10.. b1 - b6 + b19 =L= 1;
e11.. b1 - b8 + b20 =L= 1;
e12.. b1 - b10 + b21 =L= 1;
e13.. b1 - b12 + b22 =L= 1;
e14.. b1 - b14 + b23 =L= 1;
e15.. b1 - b16 + b24 =L= 1;
e16.. b4 - b6 + b25 =L= 1;
e17.. b4 - b8 + b26 =L= 1;
e18.. b4 - b10 + b27 =L= 1;
e19.. b4 - b12 + b28 =L= 1;
e20.. b4 - b14 + b29 =L= 1;
e21.. b4 - b16 + b30 =L= 1;
e22.. b6 - b8 + b31 =L= 1;
e23.. b6 - b10 + b32 =L= 1;
e24.. b6 - b12 + b33 =L= 1;
e25.. b6 - b14 + b34 =L= 1;
e26.. b6 - b16 + b35 =L= 1;
e27.. b8 - b10 + b36 =L= 1;
e28.. b8 - b12 + b37 =L= 1;
e29.. b8 - b14 + b38 =L= 1;
e30.. b8 - b16 + b39 =L= 1;
e31.. b10 - b12 + b40 =L= 1;
e32.. b10 - b14 + b41 =L= 1;
e33.. b10 - b16 + b42 =L= 1;
e34.. b12 - b14 + b43 =L= 1;
e35.. b12 - b16 + b44 =L= 1;
e36.. b14 - b16 + x45 =L= 1;
e37.. b2 - b5 + b18 =L= 1;
e38.. b2 - b7 + b19 =L= 1;
e39.. b2 - b9 + b20 =L= 1;
e40.. b2 - b11 + b21 =L= 1;
e41.. b2 - b13 + b22 =L= 1;
e42.. b2 - b15 + b23 =L= 1;
e43.. b2 - b17 + b24 =L= 1;
e44.. b5 - b7 + b25 =L= 1;
e45.. b5 - b9 + b26 =L= 1;
e46.. b5 - b11 + b27 =L= 1;
e47.. b5 - b13 + b28 =L= 1;
e48.. b5 - b15 + b29 =L= 1;
e49.. b5 - b17 + b30 =L= 1;
e50.. b7 - b9 + b31 =L= 1;
e51.. b7 - b11 + b32 =L= 1;
e52.. b7 - b13 + b33 =L= 1;
e53.. b7 - b15 + b34 =L= 1;
e54.. b7 - b17 + b35 =L= 1;
e55.. b9 - b11 + b36 =L= 1;
e56.. b9 - b13 + b37 =L= 1;
e57.. b9 - b15 + b38 =L= 1;
e58.. b9 - b17 + b39 =L= 1;
e59.. b11 - b13 + b40 =L= 1;
e60.. b11 - b15 + b41 =L= 1;
e61.. b11 - b17 + b42 =L= 1;
e62.. b13 - b15 + b43 =L= 1;
e63.. b13 - b17 + b44 =L= 1;
e64.. b15 - b17 + x45 =L= 1;
e65.. b18 - b19 + b25 =L= 1;
e66.. b18 - b20 + b26 =L= 1;
e67.. b18 - b21 + b27 =L= 1;
e68.. b18 - b22 + b28 =L= 1;
e69.. b18 - b23 + b29 =L= 1;
e70.. b18 - b24 + b30 =L= 1;
e71.. b19 - b20 + b31 =L= 1;
e72.. b19 - b21 + b32 =L= 1;
e73.. b19 - b22 + b33 =L= 1;
e74.. b19 - b23 + b34 =L= 1;
e75.. b19 - b24 + b35 =L= 1;
e76.. b20 - b21 + b36 =L= 1;
e77.. b20 - b22 + b37 =L= 1;
e78.. b20 - b23 + b38 =L= 1;
e79.. b20 - b24 + b39 =L= 1;
e80.. b21 - b22 + b40 =L= 1;
e81.. b21 - b23 + b41 =L= 1;
e82.. b21 - b24 + b42 =L= 1;
e83.. b22 - b23 + b43 =L= 1;
e84.. b22 - b24 + b44 =L= 1;
e85.. b23 - b24 + x45 =L= 1;
e86.. b25 - b26 + b31 =L= 1;
e87.. b25 - b27 + b32 =L= 1;
e88.. b25 - b28 + b33 =L= 1;
e89.. b25 - b29 + b34 =L= 1;
e90.. b25 - b30 + b35 =L= 1;
e91.. b26 - b27 + b36 =L= 1;
e92.. b26 - b28 + b37 =L= 1;
e93.. b26 - b29 + b38 =L= 1;
e94.. b26 - b30 + b39 =L= 1;
e95.. b27 - b28 + b40 =L= 1;
e96.. b27 - b29 + b41 =L= 1;
e97.. b27 - b30 + b42 =L= 1;
e98.. b28 - b29 + b43 =L= 1;
e99.. b28 - b30 + b44 =L= 1;
e100.. b29 - b30 + x45 =L= 1;
e101.. b31 - b32 + b36 =L= 1;
e102.. b31 - b33 + b37 =L= 1;
e103.. b31 - b34 + b38 =L= 1;
e104.. b31 - b35 + b39 =L= 1;
e105.. b32 - b33 + b40 =L= 1;
e106.. b32 - b34 + b41 =L= 1;
e107.. b32 - b35 + b42 =L= 1;
e108.. b33 - b34 + b43 =L= 1;
e109.. b33 - b35 + b44 =L= 1;
e110.. b34 - b35 + x45 =L= 1;
e111.. b36 - b37 + b40 =L= 1;
e112.. b36 - b38 + b41 =L= 1;
e113.. b36 - b39 + b42 =L= 1;
e114.. b37 - b38 + b43 =L= 1;
e115.. b37 - b39 + b44 =L= 1;
e116.. b38 - b39 + x45 =L= 1;
e117.. b40 - b41 + b43 =L= 1;
e118.. b40 - b42 + b44 =L= 1;
e119.. b41 - b42 + x45 =L= 1;
e120.. b43 - b44 + x45 =L= 1;
e121.. b1 - b2 - b3 =L= 0;
e122.. - b3 + b4 - b5 =L= 0;
e123.. - b3 + b6 - b7 =L= 0;
e124.. - b3 + b8 - b9 =L= 0;
e125.. - b3 + b10 - b11 =L= 0;
e126.. - b3 + b12 - b13 =L= 0;
e127.. - b3 + b14 - b15 =L= 0;
e128.. - b3 + b16 - b17 =L= 0;
e129.. - b1 + b4 - b18 =L= 0;
e130.. - b1 + b6 - b19 =L= 0;
e131.. - b1 + b8 - b20 =L= 0;
e132.. - b1 + b10 - b21 =L= 0;
e133.. - b1 + b12 - b22 =L= 0;
e134.. - b1 + b14 - b23 =L= 0;
e135.. - b1 + b16 - b24 =L= 0;
e136.. - b4 + b6 - b25 =L= 0;
e137.. - b4 + b8 - b26 =L= 0;
e138.. - b4 + b10 - b27 =L= 0;
e139.. - b4 + b12 - b28 =L= 0;
e140.. - b4 + b14 - b29 =L= 0;
e141.. - b4 + b16 - b30 =L= 0;
e142.. - b6 + b8 - b31 =L= 0;
e143.. - b6 + b10 - b32 =L= 0;
e144.. - b6 + b12 - b33 =L= 0;
e145.. - b6 + b14 - b34 =L= 0;
e146.. - b6 + b16 - b35 =L= 0;
e147.. - b8 + b10 - b36 =L= 0;
e148.. - b8 + b12 - b37 =L= 0;
e149.. - b8 + b14 - b38 =L= 0;
e150.. - b8 + b16 - b39 =L= 0;
e151.. - b10 + b12 - b40 =L= 0;
e152.. - b10 + b14 - b41 =L= 0;
e153.. - b10 + b16 - b42 =L= 0;
e154.. - b12 + b14 - b43 =L= 0;
e155.. - b12 + b16 - b44 =L= 0;
e156.. - b14 + b16 - x45 =L= 0;
e157.. - b2 + b5 - b18 =L= 0;
e158.. - b2 + b7 - b19 =L= 0;
e159.. - b2 + b9 - b20 =L= 0;
e160.. - b2 + b11 - b21 =L= 0;
e161.. - b2 + b13 - b22 =L= 0;
e162.. - b2 + b15 - b23 =L= 0;
e163.. - b2 + b17 - b24 =L= 0;
e164.. - b5 + b7 - b25 =L= 0;
e165.. - b5 + b9 - b26 =L= 0;
e166.. - b5 + b11 - b27 =L= 0;
e167.. - b5 + b13 - b28 =L= 0;
e168.. - b5 + b15 - b29 =L= 0;
e169.. - b5 + b17 - b30 =L= 0;
e170.. - b7 + b9 - b31 =L= 0;
e171.. - b7 + b11 - b32 =L= 0;
e172.. - b7 + b13 - b33 =L= 0;
e173.. - b7 + b15 - b34 =L= 0;
e174.. - b7 + b17 - b35 =L= 0;
e175.. - b9 + b11 - b36 =L= 0;
e176.. - b9 + b13 - b37 =L= 0;
e177.. - b9 + b15 - b38 =L= 0;
e178.. - b9 + b17 - b39 =L= 0;
e179.. - b11 + b13 - b40 =L= 0;
e180.. - b11 + b15 - b41 =L= 0;
e181.. - b11 + b17 - b42 =L= 0;
e182.. - b13 + b15 - b43 =L= 0;
e183.. - b13 + b17 - b44 =L= 0;
e184.. - b15 + b17 - x45 =L= 0;
e185.. - b18 + b19 - b25 =L= 0;
e186.. - b18 + b20 - b26 =L= 0;
e187.. - b18 + b21 - b27 =L= 0;
e188.. - b18 + b22 - b28 =L= 0;
e189.. - b18 + b23 - b29 =L= 0;
e190.. - b18 + b24 - b30 =L= 0;
e191.. - b19 + b20 - b31 =L= 0;
e192.. - b19 + b21 - b32 =L= 0;
e193.. - b19 + b22 - b33 =L= 0;
e194.. - b19 + b23 - b34 =L= 0;
e195.. - b19 + b24 - b35 =L= 0;
e196.. - b20 + b21 - b36 =L= 0;
e197.. - b20 + b22 - b37 =L= 0;
e198.. - b20 + b23 - b38 =L= 0;
e199.. - b20 + b24 - b39 =L= 0;
e200.. - b21 + b22 - b40 =L= 0;
e201.. - b21 + b23 - b41 =L= 0;
e202.. - b21 + b24 - b42 =L= 0;
e203.. - b22 + b23 - b43 =L= 0;
e204.. - b22 + b24 - b44 =L= 0;
e205.. - b23 + b24 - x45 =L= 0;
e206.. - b25 + b26 - b31 =L= 0;
e207.. - b25 + b27 - b32 =L= 0;
e208.. - b25 + b28 - b33 =L= 0;
e209.. - b25 + b29 - b34 =L= 0;
e210.. - b25 + b30 - b35 =L= 0;
e211.. - b26 + b27 - b36 =L= 0;
e212.. - b26 + b28 - b37 =L= 0;
e213.. - b26 + b29 - b38 =L= 0;
e214.. - b26 + b30 - b39 =L= 0;
e215.. - b27 + b28 - b40 =L= 0;
e216.. - b27 + b29 - b41 =L= 0;
e217.. - b27 + b30 - b42 =L= 0;
e218.. - b28 + b29 - b43 =L= 0;
e219.. - b28 + b30 - b44 =L= 0;
e220.. - b29 + b30 - x45 =L= 0;
e221.. - b31 + b32 - b36 =L= 0;
e222.. - b31 + b33 - b37 =L= 0;
e223.. - b31 + b34 - b38 =L= 0;
e224.. - b31 + b35 - b39 =L= 0;
e225.. - b32 + b33 - b40 =L= 0;
e226.. - b32 + b34 - b41 =L= 0;
e227.. - b32 + b35 - b42 =L= 0;
e228.. - b33 + b34 - b43 =L= 0;
e229.. - b33 + b35 - b44 =L= 0;
e230.. - b34 + b35 - x45 =L= 0;
e231.. - b36 + b37 - b40 =L= 0;
e232.. - b36 + b38 - b41 =L= 0;
e233.. - b36 + b39 - b42 =L= 0;
e234.. - b37 + b38 - b43 =L= 0;
e235.. - b37 + b39 - b44 =L= 0;
e236.. - b38 + b39 - x45 =L= 0;
e237.. - b40 + b41 - b43 =L= 0;
e238.. - b40 + b42 - b44 =L= 0;
e239.. - b41 + b42 - x45 =L= 0;
e240.. - b43 + b44 - x45 =L= 0;
e241.. - x46 + x47 + x48 =L= 1;
e242.. x48 - x49 + x50 =L= 1;
e243.. x48 - x51 + x52 =L= 1;
e244.. x48 - x53 + x54 =L= 1;
e245.. x48 - x55 + x56 =L= 1;
e246.. x48 - x57 + x58 =L= 1;
e247.. x48 - x59 + x60 =L= 1;
e248.. x48 - x61 + x62 =L= 1;
e249.. x46 - x49 + x63 =L= 1;
e250.. x46 - x51 + x64 =L= 1;
e251.. x46 - x53 + x65 =L= 1;
e252.. x46 - x55 + x66 =L= 1;
e253.. x46 - x57 + x67 =L= 1;
e254.. x46 - x59 + x68 =L= 1;
e255.. x46 - x61 + x69 =L= 1;
e256.. x49 - x51 + x70 =L= 1;
e257.. x49 - x53 + x71 =L= 1;
e258.. x49 - x55 + x72 =L= 1;
e259.. x49 - x57 + x73 =L= 1;
e260.. x49 - x59 + x74 =L= 1;
e261.. x49 - x61 + x75 =L= 1;
e262.. x51 - x53 + x76 =L= 1;
e263.. x51 - x55 + x77 =L= 1;
e264.. x51 - x57 + x78 =L= 1;
e265.. x51 - x59 + x79 =L= 1;
e266.. x51 - x61 + x80 =L= 1;
e267.. x53 - x55 + x81 =L= 1;
e268.. x53 - x57 + x82 =L= 1;
e269.. x53 - x59 + x83 =L= 1;
e270.. x53 - x61 + x84 =L= 1;
e271.. x55 - x57 + x85 =L= 1;
e272.. x55 - x59 + x86 =L= 1;
e273.. x55 - x61 + x87 =L= 1;
e274.. x57 - x59 + x88 =L= 1;
e275.. x57 - x61 + x89 =L= 1;
e276.. x59 - x61 + x90 =L= 1;
e277.. x47 - x50 + x63 =L= 1;
e278.. x47 - x52 + x64 =L= 1;
e279.. x47 - x54 + x65 =L= 1;
e280.. x47 - x56 + x66 =L= 1;
e281.. x47 - x58 + x67 =L= 1;
e282.. x47 - x60 + x68 =L= 1;
e283.. x47 - x62 + x69 =L= 1;
e284.. x50 - x52 + x70 =L= 1;
e285.. x50 - x54 + x71 =L= 1;
e286.. x50 - x56 + x72 =L= 1;
e287.. x50 - x58 + x73 =L= 1;
e288.. x50 - x60 + x74 =L= 1;
e289.. x50 - x62 + x75 =L= 1;
e290.. x52 - x54 + x76 =L= 1;
e291.. x52 - x56 + x77 =L= 1;
e292.. x52 - x58 + x78 =L= 1;
e293.. x52 - x60 + x79 =L= 1;
e294.. x52 - x62 + x80 =L= 1;
e295.. x54 - x56 + x81 =L= 1;
e296.. x54 - x58 + x82 =L= 1;
e297.. x54 - x60 + x83 =L= 1;
e298.. x54 - x62 + x84 =L= 1;
e299.. x56 - x58 + x85 =L= 1;
e300.. x56 - x60 + x86 =L= 1;
e301.. x56 - x62 + x87 =L= 1;
e302.. x58 - x60 + x88 =L= 1;
e303.. x58 - x62 + x89 =L= 1;
e304.. x60 - x62 + x90 =L= 1;
e305.. x63 - x64 + x70 =L= 1;
e306.. x63 - x65 + x71 =L= 1;
e307.. x63 - x66 + x72 =L= 1;
e308.. x63 - x67 + x73 =L= 1;
e309.. x63 - x68 + x74 =L= 1;
e310.. x63 - x69 + x75 =L= 1;
e311.. x64 - x65 + x76 =L= 1;
e312.. x64 - x66 + x77 =L= 1;
e313.. x64 - x67 + x78 =L= 1;
e314.. x64 - x68 + x79 =L= 1;
e315.. x64 - x69 + x80 =L= 1;
e316.. x65 - x66 + x81 =L= 1;
e317.. x65 - x67 + x82 =L= 1;
e318.. x65 - x68 + x83 =L= 1;
e319.. x65 - x69 + x84 =L= 1;
e320.. x66 - x67 + x85 =L= 1;
e321.. x66 - x68 + x86 =L= 1;
e322.. x66 - x69 + x87 =L= 1;
e323.. x67 - x68 + x88 =L= 1;
e324.. x67 - x69 + x89 =L= 1;
e325.. x68 - x69 + x90 =L= 1;
e326.. x70 - x71 + x76 =L= 1;
e327.. x70 - x72 + x77 =L= 1;
e328.. x70 - x73 + x78 =L= 1;
e329.. x70 - x74 + x79 =L= 1;
e330.. x70 - x75 + x80 =L= 1;
e331.. x71 - x72 + x81 =L= 1;
e332.. x71 - x73 + x82 =L= 1;
e333.. x71 - x74 + x83 =L= 1;
e334.. x71 - x75 + x84 =L= 1;
e335.. x72 - x73 + x85 =L= 1;
e336.. x72 - x74 + x86 =L= 1;
e337.. x72 - x75 + x87 =L= 1;
e338.. x73 - x74 + x88 =L= 1;
e339.. x73 - x75 + x89 =L= 1;
e340.. x74 - x75 + x90 =L= 1;
e341.. x76 - x77 + x81 =L= 1;
e342.. x76 - x78 + x82 =L= 1;
e343.. x76 - x79 + x83 =L= 1;
e344.. x76 - x80 + x84 =L= 1;
e345.. x77 - x78 + x85 =L= 1;
e346.. x77 - x79 + x86 =L= 1;
e347.. x77 - x80 + x87 =L= 1;
e348.. x78 - x79 + x88 =L= 1;
e349.. x78 - x80 + x89 =L= 1;
e350.. x79 - x80 + x90 =L= 1;
e351.. x81 - x82 + x85 =L= 1;
e352.. x81 - x83 + x86 =L= 1;
e353.. x81 - x84 + x87 =L= 1;
e354.. x82 - x83 + x88 =L= 1;
e355.. x82 - x84 + x89 =L= 1;
e356.. x83 - x84 + x90 =L= 1;
e357.. x85 - x86 + x88 =L= 1;
e358.. x85 - x87 + x89 =L= 1;
e359.. x86 - x87 + x90 =L= 1;
e360.. x88 - x89 + x90 =L= 1;
e361.. x46 - x47 - x48 =L= 0;
e362.. - x48 + x49 - x50 =L= 0;
e363.. - x48 + x51 - x52 =L= 0;
e364.. - x48 + x53 - x54 =L= 0;
e365.. - x48 + x55 - x56 =L= 0;
e366.. - x48 + x57 - x58 =L= 0;
e367.. - x48 + x59 - x60 =L= 0;
e368.. - x48 + x61 - x62 =L= 0;
e369.. - x46 + x49 - x63 =L= 0;
e370.. - x46 + x51 - x64 =L= 0;
e371.. - x46 + x53 - x65 =L= 0;
e372.. - x46 + x55 - x66 =L= 0;
e373.. - x46 + x57 - x67 =L= 0;
e374.. - x46 + x59 - x68 =L= 0;
e375.. - x46 + x61 - x69 =L= 0;
e376.. - x49 + x51 - x70 =L= 0;
e377.. - x49 + x53 - x71 =L= 0;
e378.. - x49 + x55 - x72 =L= 0;
e379.. - x49 + x57 - x73 =L= 0;
e380.. - x49 + x59 - x74 =L= 0;
e381.. - x49 + x61 - x75 =L= 0;
e382.. - x51 + x53 - x76 =L= 0;
e383.. - x51 + x55 - x77 =L= 0;
e384.. - x51 + x57 - x78 =L= 0;
e385.. - x51 + x59 - x79 =L= 0;
e386.. - x51 + x61 - x80 =L= 0;
e387.. - x53 + x55 - x81 =L= 0;
e388.. - x53 + x57 - x82 =L= 0;
e389.. - x53 + x59 - x83 =L= 0;
e390.. - x53 + x61 - x84 =L= 0;
e391.. - x55 + x57 - x85 =L= 0;
e392.. - x55 + x59 - x86 =L= 0;
e393.. - x55 + x61 - x87 =L= 0;
e394.. - x57 + x59 - x88 =L= 0;
e395.. - x57 + x61 - x89 =L= 0;
e396.. - x59 + x61 - x90 =L= 0;
e397.. - x47 + x50 - x63 =L= 0;
e398.. - x47 + x52 - x64 =L= 0;
e399.. - x47 + x54 - x65 =L= 0;
e400.. - x47 + x56 - x66 =L= 0;
e401.. - x47 + x58 - x67 =L= 0;
e402.. - x47 + x60 - x68 =L= 0;
e403.. - x47 + x62 - x69 =L= 0;
e404.. - x50 + x52 - x70 =L= 0;
e405.. - x50 + x54 - x71 =L= 0;
e406.. - x50 + x56 - x72 =L= 0;
e407.. - x50 + x58 - x73 =L= 0;
e408.. - x50 + x60 - x74 =L= 0;
e409.. - x50 + x62 - x75 =L= 0;
e410.. - x52 + x54 - x76 =L= 0;
e411.. - x52 + x56 - x77 =L= 0;
e412.. - x52 + x58 - x78 =L= 0;
e413.. - x52 + x60 - x79 =L= 0;
e414.. - x52 + x62 - x80 =L= 0;
e415.. - x54 + x56 - x81 =L= 0;
e416.. - x54 + x58 - x82 =L= 0;
e417.. - x54 + x60 - x83 =L= 0;
e418.. - x54 + x62 - x84 =L= 0;
e419.. - x56 + x58 - x85 =L= 0;
e420.. - x56 + x60 - x86 =L= 0;
e421.. - x56 + x62 - x87 =L= 0;
e422.. - x58 + x60 - x88 =L= 0;
e423.. - x58 + x62 - x89 =L= 0;
e424.. - x60 + x62 - x90 =L= 0;
e425.. - x63 + x64 - x70 =L= 0;
e426.. - x63 + x65 - x71 =L= 0;
e427.. - x63 + x66 - x72 =L= 0;
e428.. - x63 + x67 - x73 =L= 0;
e429.. - x63 + x68 - x74 =L= 0;
e430.. - x63 + x69 - x75 =L= 0;
e431.. - x64 + x65 - x76 =L= 0;
e432.. - x64 + x66 - x77 =L= 0;
e433.. - x64 + x67 - x78 =L= 0;
e434.. - x64 + x68 - x79 =L= 0;
e435.. - x64 + x69 - x80 =L= 0;
e436.. - x65 + x66 - x81 =L= 0;
e437.. - x65 + x67 - x82 =L= 0;
e438.. - x65 + x68 - x83 =L= 0;
e439.. - x65 + x69 - x84 =L= 0;
e440.. - x66 + x67 - x85 =L= 0;
e441.. - x66 + x68 - x86 =L= 0;
e442.. - x66 + x69 - x87 =L= 0;
e443.. - x67 + x68 - x88 =L= 0;
e444.. - x67 + x69 - x89 =L= 0;
e445.. - x68 + x69 - x90 =L= 0;
e446.. - x70 + x71 - x76 =L= 0;
e447.. - x70 + x72 - x77 =L= 0;
e448.. - x70 + x73 - x78 =L= 0;
e449.. - x70 + x74 - x79 =L= 0;
e450.. - x70 + x75 - x80 =L= 0;
e451.. - x71 + x72 - x81 =L= 0;
e452.. - x71 + x73 - x82 =L= 0;
e453.. - x71 + x74 - x83 =L= 0;
e454.. - x71 + x75 - x84 =L= 0;
e455.. - x72 + x73 - x85 =L= 0;
e456.. - x72 + x74 - x86 =L= 0;
e457.. - x72 + x75 - x87 =L= 0;
e458.. - x73 + x74 - x88 =L= 0;
e459.. - x73 + x75 - x89 =L= 0;
e460.. - x74 + x75 - x90 =L= 0;
e461.. - x76 + x77 - x81 =L= 0;
e462.. - x76 + x78 - x82 =L= 0;
e463.. - x76 + x79 - x83 =L= 0;
e464.. - x76 + x80 - x84 =L= 0;
e465.. - x77 + x78 - x85 =L= 0;
e466.. - x77 + x79 - x86 =L= 0;
e467.. - x77 + x80 - x87 =L= 0;
e468.. - x78 + x79 - x88 =L= 0;
e469.. - x78 + x80 - x89 =L= 0;
e470.. - x79 + x80 - x90 =L= 0;
e471.. - x81 + x82 - x85 =L= 0;
e472.. - x81 + x83 - x86 =L= 0;
e473.. - x81 + x84 - x87 =L= 0;
e474.. - x82 + x83 - x88 =L= 0;
e475.. - x82 + x84 - x89 =L= 0;
e476.. - x83 + x84 - x90 =L= 0;
e477.. - x85 + x86 - x88 =L= 0;
e478.. - x85 + x87 - x89 =L= 0;
e479.. - x86 + x87 - x90 =L= 0;
e480.. - x88 + x89 - x90 =L= 0;
e481.. 2*b1*x47 + 2*b1 + 3*x47 - 2*b1*x50 + 17*x50 + 2*b1*x58 + 8*x58 - 2*b1*
x62 + 16*x62 - 2*b1*x63 + 13*x63 - 2*b1*x64 - 2*x64 - 2*b1*x65 + 6*x65
- 2*b1*x66 + 4*x66 - 2*b1*x69 + 12*x69 + 2*b1*x70 - 14*x70 + 2*b1*x71
- 2*x71 + 2*b1*x72 - 6*x72 + 2*b1*x73 - 6*x73 + 2*b1*x78 + 5*x78 - 2*b1
*x80 + 12*x80 + 2*b1*x82 - 2*x82 - 2*b1*x84 + 3*x84 + 2*b1*x85 + x85 - 2
*b1*x87 + 6*x87 - 2*b1*x89 + 6*x89 + 2*b2*x47 + 2*b2 - 2*b2*x50 - 2*b2*
x54 + 7*x54 - 2*b2*x56 + 6*x56 + 2*b2*x58 + 2*b2*x60 + 8*x60 - 2*b2*x62
- 2*b2*x63 - 2*b2*x64 - 2*b2*x65 - 2*b2*x66 - 2*b2*x69 + 2*b2*x70 + 2*
b2*x73 + 2*b2*x74 - 3*x74 - 2*b2*x76 + 4*x76 - 2*b2*x77 + 5*x77 + 2*b2*
x78 + 2*b2*x79 + 6*x79 - 2*b2*x80 + 2*b2*x82 + 2*b2*x83 - 2*x83 + 2*b2*
x85 + 2*b2*x86 + 2*x86 - 2*b2*x89 - 2*b2*x90 + 3*x90 + 2*b3*x54 + 2*b3
+ 2*b3*x56 - 2*b3*x60 + 2*b3*x65 + 2*b3*x66 - 2*b3*x68 + 7*x68 + 2*b3*
x76 + 2*b3*x77 - 2*b3*x79 - 2*b3*x82 - 2*b3*x83 - 2*b3*x85 - 2*b3*x86 -
2*b3*x88 + x88 + 2*b4*x46 - 6*b4 - 12*x46 + 2*b4*x48 - 14*x48 - 2*b4*x50
+ 2*b4*x51 - 11*x51 + 2*b4*x53 - 4*x53 + 2*b4*x54 + 2*b4*x55 - 7*x55 +
2*b4*x56 + 2*b4*x57 - 8*x57 - 2*b4*x62 - 2*b4*x63 + 2*b4*x65 + 2*b4*x66
- 2*b4*x69 + 2*b4*x70 + 2*b4*x71 + 2*b4*x72 + 2*b4*x73 + 2*b4*x76 + 2*
b4*x77 - 2*b4*x80 - 2*b4*x82 - 2*b4*x84 - 2*b4*x85 - 2*b4*x87 - 2*b4*x89
+ 2*b5*x46 - 5*b5 + 2*b5*x48 - 2*b5*x50 + 2*b5*x51 + 2*b5*x57 + 2*b5*
x59 - 6*x59 + 2*b5*x60 - 2*b5*x62 - 2*b5*x63 + 2*b5*x68 - 2*b5*x69 + 2*
b5*x70 + 2*b5*x73 + 2*b5*x74 + 2*b5*x79 - 2*b5*x80 + 2*b5*x88 - 2*b5*x89
- 2*b5*x90 - 2*b6*x47 + 10*b6 - 2*b6*x50 - 2*b6*x56 - 2*b6*x60 - 2*b6*
x62 - 2*b6*x63 + 2*b6*x64 + 2*b6*x65 + 2*b6*x67 + 6*x67 - 2*b6*x68 - 2*
b6*x69 + 2*b6*x70 + 2*b6*x71 + 2*b6*x72 + 2*b6*x73 - 2*b6*x77 - 2*b6*x79
- 2*b6*x80 - 2*b6*x81 - 2*x81 - 2*b6*x83 - 2*b6*x84 + 2*b6*x85 - 2*b6*
x86 - 2*b6*x87 - 2*b6*x88 - 2*b6*x89 - 2*b7*x47 + 7*b7 - 2*b7*x50 - 2*b7
*x56 - 2*b7*x60 - 2*b7*x62 - 2*b7*x63 + 2*b7*x64 - 2*b7*x66 + 2*b7*x67
- 2*b7*x69 + 2*b7*x70 + 2*b7*x73 + 2*b7*x74 - 2*b7*x77 - 2*b7*x79 - 2*
b7*x80 + 2*b7*x85 + 2*b7*x86 - 2*b7*x88 - 2*b7*x89 - 2*b7*x90 + 2*b8*x46
+ 3*b8 + 2*b8*x48 - 2*b8*x50 + 2*b8*x51 + 2*b8*x53 + 2*b8*x55 + 2*b8*
x57 - 2*b8*x58 - 2*b8*x60 - 2*b8*x63 - 2*b8*x67 - 2*b8*x68 + 2*b8*x70 +
2*b8*x71 + 2*b8*x72 + 2*b8*x73 - 2*b8*x78 - 2*b8*x79 - 2*b8*x82 - 2*b8*
x83 - 2*b8*x85 - 2*b8*x86 - 2*b8*x88 + 2*b9*x46 + 2*b9*x48 - 2*b9*x50 +
2*b9*x51 + 2*b9*x57 - 2*b9*x58 + 2*b9*x59 - 2*b9*x60 - 2*b9*x63 - 2*b9*
x67 - 2*b9*x68 + 2*b9*x70 + 2*b9*x73 + 2*b9*x74 - 2*b9*x78 - 2*b9*x79 +
2*b10*x52 - 4*b10 + x52 + 2*b10*x58 + 2*b10*x64 + 2*b10*x67 - 2*b10*x76
- 2*b10*x77 + 2*b10*x82 + 2*b10*x85 + 2*b11*x52 - 4*b11 - 2*b11*x54 - 2
*b11*x56 + 2*b11*x58 + 2*b11*x60 + 2*b11*x64 - 2*b11*x65 - 2*b11*x66 + 2
*b11*x67 + 2*b11*x68 - 2*b11*x76 - 2*b11*x77 + 2*b11*x82 + 2*b11*x83 + 2
*b11*x85 + 2*b11*x86 - 2*b12*x50 + 10*b12 + 2*b12*x52 + 2*b12*x54 - 2*
b12*x60 - 2*b12*x62 - 2*b12*x63 + 2*b12*x64 + 2*b12*x65 - 2*b12*x68 - 2*
b12*x69 + 2*b12*x70 + 2*b12*x71 + 2*b12*x72 + 2*b12*x73 - 2*b12*x77 - 2*
b12*x78 - 2*b12*x79 - 2*b12*x80 - 2*b12*x81 - 2*b12*x82 - 2*b12*x83 - 2*
b12*x84 - 2*b12*x86 - 2*b12*x87 - 2*b12*x88 - 2*b12*x89 - 2*b13*x50 + 5*
b13 + 2*b13*x52 - 2*b13*x56 - 2*b13*x62 - 2*b13*x63 + 2*b13*x64 - 2*b13*
x66 - 2*b13*x69 + 2*b13*x70 + 2*b13*x73 + 2*b13*x74 - 2*b13*x77 - 2*b13*
x78 - 2*b13*x79 - 2*b13*x80 + 2*b13*x85 + 2*b13*x86 - 2*b13*x89 - 2*b13*
x90 + 2*b14*x46 + b14 + 2*b14*x48 - 2*b14*x50 + 2*b14*x51 + 2*b14*x53 +
2*b14*x55 + 2*b14*x56 + 2*b14*x57 - 2*b14*x60 - 2*b14*x62 - 2*b14*x63 +
2*b14*x66 - 2*b14*x68 - 2*b14*x69 + 2*b14*x70 + 2*b14*x71 + 2*b14*x72 +
2*b14*x73 + 2*b14*x77 - 2*b14*x79 - 2*b14*x80 + 2*b14*x81 - 2*b14*x83 -
2*b14*x84 - 2*b14*x85 - 2*b14*x86 - 2*b14*x87 - 2*b14*x88 - 2*b14*x89 +
2*b15*x46 + 2*b15*x48 - 2*b15*x50 + 2*b15*x51 - 2*b15*x54 + 2*b15*x57 +
2*b15*x59 - 2*b15*x62 - 2*b15*x63 - 2*b15*x65 - 2*b15*x69 + 2*b15*x70 +
2*b15*x73 + 2*b15*x74 - 2*b15*x76 - 2*b15*x80 + 2*b15*x82 + 2*b15*x83 -
2*b15*x89 - 2*b15*x90 + 2*b16*x46 + 6*b16 + 2*b16*x48 - 2*b16*x50 + 2*
b16*x51 - 2*b16*x52 + 2*b16*x53 - 2*b16*x54 + 2*b16*x55 - 2*b16*x56 + 2*
b16*x57 - 2*b16*x58 - 2*b16*x62 - 2*b16*x63 - 2*b16*x64 - 2*b16*x65 - 2*
b16*x66 - 2*b16*x67 - 2*b16*x69 + 2*b16*x70 + 2*b16*x71 + 2*b16*x72 + 2*
b16*x73 - 2*b16*x80 - 2*b16*x84 - 2*b16*x87 - 2*b16*x89 + 2*b17*x46 + 3*
b17 + 2*b17*x48 - 2*b17*x50 + 2*b17*x51 - 2*b17*x52 - 2*b17*x54 - 2*b17*
x56 + 2*b17*x57 - 2*b17*x58 + 2*b17*x59 - 2*b17*x62 - 2*b17*x63 - 2*b17*
x64 - 2*b17*x65 - 2*b17*x66 - 2*b17*x67 - 2*b17*x69 + 2*b17*x70 + 2*b17*
x73 + 2*b17*x74 - 2*b17*x76 - 2*b17*x77 + 2*b17*x79 - 2*b17*x80 + 2*b17*
x82 + 2*b17*x83 + 2*b17*x85 + 2*b17*x86 + 2*b17*x88 - 2*b17*x89 - 2*b17*
x90 - 2*b18*x47 - 10*b18 + 2*b18*x48 + 2*b18*x49 - 6*x49 + 2*b18*x51 + 2
*b18*x53 + 2*b18*x54 + 2*b18*x55 + 2*b18*x56 - 2*b18*x58 + 2*b18*x61 - 5
*x61 + 2*b18*x63 + 2*b18*x64 + 2*b18*x65 + 2*b18*x66 + 2*b18*x69 + 2*b18
*x71 + 2*b18*x72 - 2*b18*x73 + 2*b18*x76 + 2*b18*x77 - 2*b18*x78 - 2*b18
*x82 - 2*b18*x84 - 2*b18*x85 - 2*b18*x87 + 2*b18*x89 - 2*b19*x47 + 5*b19
- 2*b19*x50 - 2*b19*x56 - 2*b19*x60 - 2*b19*x62 + 2*b19*x63 + 2*b19*x64
+ 2*b19*x65 + 2*b19*x66 + 2*b19*x69 + 2*b19*x70 + 2*b19*x71 - 2*b19*x74
- 2*b19*x77 - 2*b19*x79 - 2*b19*x80 - 2*b19*x81 - 2*b19*x83 - 2*b19*x84
- 2*b19*x86 + 2*b19*x90 + 2*b20*x48 - b20 + 2*b20*x49 - 2*b20*x50 + 2*
b20*x51 + 2*b20*x53 + 2*b20*x55 - 2*b20*x58 - 2*b20*x60 + 2*b20*x61 + 2*
b20*x70 + 2*b20*x71 + 2*b20*x72 - 2*b20*x73 - 2*b20*x74 + 2*b20*x75 - 2*
b20*x78 - 2*b20*x79 - 2*b20*x82 - 2*b20*x83 - 2*b20*x85 - 2*b20*x86 + 2*
b20*x89 + 2*b20*x90 - 2*b21*x47 - 5*b21 + 2*b21*x50 + 2*b21*x52 + 2*b21*
x62 + 2*b21*x63 + 2*b21*x64 + 2*b21*x65 + 2*b21*x66 + 2*b21*x69 - 2*b21*
x71 - 2*b21*x72 - 2*b21*x76 - 2*b21*x77 + 2*b21*x84 + 2*b21*x87 - 2*b22*
x47 + 4*b22 + 2*b22*x52 + 2*b22*x54 - 2*b22*x58 - 2*b22*x60 + 2*b22*x63
+ 2*b22*x64 + 2*b22*x65 + 2*b22*x66 + 2*b22*x69 + 2*b22*x70 + 2*b22*x71
- 2*b22*x73 - 2*b22*x74 - 2*b22*x77 - 2*b22*x78 - 2*b22*x79 - 2*b22*x80
- 2*b22*x81 - 2*b22*x82 - 2*b22*x83 - 2*b22*x84 - 2*b22*x85 - 2*b22*x86
+ 2*b22*x89 + 2*b22*x90 - 2*b23*x47 - 5*b23 + 2*b23*x48 + 2*b23*x49 + 2
*b23*x51 + 2*b23*x53 + 2*b23*x55 + 2*b23*x56 - 2*b23*x58 - 2*b23*x60 + 2
*b23*x61 + 2*b23*x63 + 2*b23*x64 + 2*b23*x65 + 2*b23*x66 + 2*b23*x69 + 2
*b23*x72 - 2*b23*x73 - 2*b23*x74 + 2*b23*x77 - 2*b23*x78 - 2*b23*x79 + 2
*b23*x81 - 2*b23*x82 - 2*b23*x83 - 2*b23*x85 - 2*b23*x86 - 2*b23*x87 + 2
*b23*x89 + 2*b23*x90 + 2*b24*x48 + 3*b24 + 2*b24*x49 - 2*b24*x50 + 2*b24
*x51 - 2*b24*x52 + 2*b24*x53 - 2*b24*x54 + 2*b24*x55 - 2*b24*x56 - 2*b24
*x58 + 2*b24*x61 - 2*b24*x62 - 2*b24*x73 - 2*b24*x78 - 2*b24*x82 - 2*b24
*x85 + 2*b24*x89 - 2*b25*x46 + 12*b25 - 2*b25*x47 - 2*b25*x49 - 2*b25*
x50 - 2*b25*x55 - 2*b25*x56 - 2*b25*x59 - 2*b25*x60 - 2*b25*x61 - 2*b25*
x62 + 2*b25*x64 - 2*b25*x66 + 2*b25*x67 - 2*b25*x68 + 2*b25*x70 - 2*b25*
x72 + 2*b25*x73 - 2*b25*x74 - 2*b25*x77 - 2*b25*x79 - 2*b25*x80 + 2*b25*
x85 + 2*b25*x87 - 2*b25*x88 - 2*b25*x89 + 2*b25*x90 + 2*b26*x46 + 3*b26
+ 2*b26*x48 - 2*b26*x50 + 2*b26*x51 - 2*b26*x58 - 2*b26*x59 - 2*b26*x60
+ 2*b26*x61 - 2*b26*x63 - 2*b26*x67 - 2*b26*x68 + 2*b26*x70 - 2*b26*x74
+ 2*b26*x75 - 2*b26*x78 - 2*b26*x79 - 2*b26*x88 + 2*b26*x89 + 2*b26*x90
- 2*b27*x46 - 2*b27*x48 + 2*b27*x50 + 2*b27*x52 - 2*b27*x53 - 2*b27*x54
- 2*b27*x55 - 2*b27*x56 + 2*b27*x58 + 2*b27*x62 + 2*b27*x63 + 2*b27*x64
- 2*b27*x65 - 2*b27*x66 + 2*b27*x67 + 2*b27*x69 - 2*b27*x71 - 2*b27*x72
- 2*b27*x76 - 2*b27*x77 + 2*b27*x82 + 2*b27*x84 + 2*b27*x85 + 2*b27*x87
- 2*b28*x46 + 12*b28 - 2*b28*x48 - 2*b28*x49 + 2*b28*x52 - 2*b28*x55 -
2*b28*x56 - 2*b28*x57 - 2*b28*x59 - 2*b28*x60 - 2*b28*x61 + 2*b28*x64 -
2*b28*x66 - 2*b28*x68 + 2*b28*x70 - 2*b28*x72 - 2*b28*x74 - 2*b28*x77 -
2*b28*x78 - 2*b28*x79 - 2*b28*x80 + 2*b28*x85 + 2*b28*x87 - 2*b28*x88 +
2*b28*x90 - 2*b29*x53 + 8*b29 - 2*b29*x54 - 2*b29*x59 - 2*b29*x60 - 2*
b29*x65 - 2*b29*x68 - 2*b29*x71 - 2*b29*x74 - 2*b29*x76 - 2*b29*x79 + 2*
b29*x82 + 2*b29*x84 - 2*b29*x88 + 2*b29*x90 + 2*b30*x46 + 12*b30 + 2*b30
*x48 - 2*b30*x50 - 2*b30*x52 - 2*b30*x53 - 2*b30*x54 - 2*b30*x55 - 2*b30
*x56 - 2*b30*x58 - 2*b30*x62 - 2*b30*x63 - 2*b30*x64 - 2*b30*x65 - 2*b30
*x66 - 2*b30*x67 - 2*b30*x69 - 2*b30*x71 - 2*b30*x72 - 2*b30*x76 - 2*b30
*x77 + 2*b30*x82 + 2*b30*x84 + 2*b30*x85 + 2*b30*x87 + 2*b31*x46 - 4*b31
+ 2*b31*x49 + 2*b31*x55 + 2*b31*x59 + 2*b31*x61 - 2*b31*x63 - 2*b31*x67
- 2*b31*x68 + 2*b31*x72 - 2*b31*x73 + 2*b31*x75 - 2*b31*x85 - 2*b31*x86
+ 2*b31*x88 + 2*b31*x89 + 2*b31*x90 + 2*b32*x47 - 10*b32 + 2*b32*x50 +
2*b32*x56 + 2*b32*x60 + 2*b32*x62 + 2*b32*x63 - 2*b32*x65 + 2*b32*x68 +
2*b32*x69 - 2*b32*x71 - 2*b32*x72 + 2*b32*x81 + 2*b32*x83 + 2*b32*x84 +
2*b32*x86 + 2*b32*x87 + 2*b33*x47 - 4*b33 + 2*b33*x50 + 2*b33*x56 + 2*
b33*x60 + 2*b33*x62 - 2*b33*x67 - 2*b33*x73 - 2*b33*x85 + 2*b33*x88 + 2*
b33*x89 + 2*b34*x46 - 11*b34 + 2*b34*x47 + 2*b34*x49 + 2*b34*x50 + 2*b34
*x55 + 2*b34*x56 + 2*b34*x59 + 2*b34*x60 + 2*b34*x61 + 2*b34*x62 - 2*b34
*x64 - 2*b34*x65 + 2*b34*x66 - 2*b34*x67 - 2*b34*x70 - 2*b34*x71 + 2*b34
*x72 - 2*b34*x73 + 2*b34*x77 + 2*b34*x79 + 2*b34*x80 + 2*b34*x81 + 2*b34
*x83 + 2*b34*x84 - 2*b34*x85 - 2*b34*x86 - 2*b34*x87 + 2*b34*x88 + 2*b34
*x89 + 2*b35*x46 - 4*b35 + 2*b35*x49 + 2*b35*x55 + 2*b35*x59 + 2*b35*x61
- 2*b35*x63 - 2*b35*x64 - 2*b35*x65 - 2*b35*x66 - 2*b35*x67 - 2*b35*x69
- 2*b35*x70 - 2*b35*x71 - 2*b35*x73 + 2*b35*x74 + 2*b35*x77 + 2*b35*x79
+ 2*b35*x80 + 2*b35*x81 + 2*b35*x83 + 2*b35*x84 - 2*b35*x85 + 2*b35*x86
+ 2*b35*x88 + 2*b35*x89 - 2*b35*x90 - 2*b36*x46 - 4*b36 - 2*b36*x48 + 2
*b36*x50 - 2*b36*x53 - 2*b36*x55 + 2*b36*x58 + 2*b36*x60 + 2*b36*x63 + 2
*b36*x67 + 2*b36*x68 - 2*b36*x71 - 2*b36*x72 + 2*b36*x82 + 2*b36*x83 + 2
*b36*x85 + 2*b36*x86 - 2*b37*x46 + 3*b37 - 2*b37*x48 - 2*b37*x49 + 2*b37
*x50 - 2*b37*x55 - 2*b37*x57 + 2*b37*x58 - 2*b37*x59 + 2*b37*x60 - 2*b37
*x61 + 2*b37*x63 + 2*b37*x67 + 2*b37*x68 - 2*b37*x72 - 2*b37*x75 + 2*b37
*x85 + 2*b37*x86 - 2*b37*x89 - 2*b37*x90 - 2*b38*x46 - 2*b38*x48 + 2*b38
*x50 - 2*b38*x51 - 2*b38*x53 + 2*b38*x58 + 2*b38*x60 - 2*b38*x61 + 2*b38
*x63 + 2*b38*x67 + 2*b38*x68 - 2*b38*x70 - 2*b38*x71 - 2*b38*x75 + 2*b38
*x78 + 2*b38*x79 + 2*b38*x82 + 2*b38*x83 - 2*b38*x89 - 2*b38*x90 - 2*b39
*x51 + b39 - 2*b39*x53 - 2*b39*x55 + 2*b39*x59 - 2*b39*x61 - 2*b39*x70
- 2*b39*x71 - 2*b39*x72 + 2*b39*x74 - 2*b39*x75 + 2*b39*x78 + 2*b39*x79
+ 2*b39*x82 + 2*b39*x83 + 2*b39*x85 + 2*b39*x86 + 2*b39*x88 - 2*b39*x89
- 2*b39*x90 - 2*b40*x50 + 11*b40 + 2*b40*x54 - 2*b40*x58 - 2*b40*x60 -
2*b40*x62 - 2*b40*x63 + 2*b40*x65 - 2*b40*x67 - 2*b40*x68 - 2*b40*x69 +
2*b40*x71 + 2*b40*x72 - 2*b40*x81 - 2*b40*x82 - 2*b40*x83 - 2*b40*x84 -
2*b40*x85 - 2*b40*x86 - 2*b40*x87 + 2*b41*x46 + 5*b41 + 2*b41*x48 - 2*
b41*x50 - 2*b41*x52 + 2*b41*x53 + 2*b41*x55 + 2*b41*x56 - 2*b41*x58 - 2*
b41*x60 - 2*b41*x62 - 2*b41*x63 - 2*b41*x64 + 2*b41*x66 - 2*b41*x67 - 2*
b41*x68 - 2*b41*x69 + 2*b41*x71 + 2*b41*x72 + 2*b41*x76 + 2*b41*x77 + 2*
b41*x81 - 2*b41*x82 - 2*b41*x83 - 2*b41*x84 - 2*b41*x85 - 2*b41*x86 - 2*
b41*x87 + 2*b42*x46 + 8*b42 + 2*b42*x48 - 2*b42*x50 - 2*b42*x52 + 2*b42*
x53 - 2*b42*x54 + 2*b42*x55 - 2*b42*x56 - 2*b42*x58 - 2*b42*x62 - 2*b42*
x63 - 2*b42*x64 - 2*b42*x65 - 2*b42*x66 - 2*b42*x67 - 2*b42*x69 + 2*b42*
x71 + 2*b42*x72 + 2*b42*x76 + 2*b42*x77 - 2*b42*x82 - 2*b42*x84 - 2*b42*
x85 - 2*b42*x87 + 2*b43*x46 - 9*b43 + 2*b43*x48 + 2*b43*x49 - 2*b43*x52
- 2*b43*x54 + 2*b43*x55 + 2*b43*x56 + 2*b43*x57 + 2*b43*x59 + 2*b43*x61
- 2*b43*x64 - 2*b43*x65 + 2*b43*x66 - 2*b43*x70 - 2*b43*x71 + 2*b43*x72
+ 2*b43*x77 + 2*b43*x78 + 2*b43*x79 + 2*b43*x80 + 2*b43*x81 + 2*b43*x82
+ 2*b43*x83 + 2*b43*x84 - 2*b43*x85 - 2*b43*x86 - 2*b43*x87 + 2*b44*x46
- 3*b44 + 2*b44*x48 + 2*b44*x49 - 2*b44*x50 - 2*b44*x52 - 2*b44*x54 + 2
*b44*x55 - 2*b44*x56 + 2*b44*x57 - 2*b44*x58 + 2*b44*x59 + 2*b44*x61 - 2
*b44*x62 - 2*b44*x63 - 2*b44*x64 - 2*b44*x65 - 2*b44*x66 - 2*b44*x67 - 2
*b44*x69 - 2*b44*x70 - 2*b44*x71 + 2*b44*x74 + 2*b44*x77 + 2*b44*x78 + 2
*b44*x79 + 2*b44*x80 + 2*b44*x81 + 2*b44*x82 + 2*b44*x83 + 2*b44*x84 + 2
*b44*x86 + 2*b44*x88 - 2*b44*x90 + 2*x45*x46 + 7*x45 + 2*x45*x48 - 2*x45
*x50 - 2*x45*x52 - 2*x45*x54 - 2*x45*x55 - 2*x45*x56 - 2*x45*x58 + 2*x45
*x59 - 2*x45*x62 - 2*x45*x63 - 2*x45*x64 - 2*x45*x65 - 2*x45*x66 - 2*x45
*x67 - 2*x45*x69 - 2*x45*x72 + 2*x45*x74 - 2*x45*x77 + 2*x45*x79 - 2*x45
*x81 + 2*x45*x83 + 2*x45*x85 + 2*x45*x86 + 2*x45*x87 + 2*x45*x88 - 2*x45
*x90 + objvar =G= 755;
* set non-default bounds
x45.up = 1;
x46.up = 1;
x47.up = 1;
x48.up = 1;
x49.up = 1;
x50.up = 1;
x51.up = 1;
x52.up = 1;
x53.up = 1;
x54.up = 1;
x55.up = 1;
x56.up = 1;
x57.up = 1;
x58.up = 1;
x59.up = 1;
x60.up = 1;
x61.up = 1;
x62.up = 1;
x63.up = 1;
x64.up = 1;
x65.up = 1;
x66.up = 1;
x67.up = 1;
x68.up = 1;
x69.up = 1;
x70.up = 1;
x71.up = 1;
x72.up = 1;
x73.up = 1;
x74.up = 1;
x75.up = 1;
x76.up = 1;
x77.up = 1;
x78.up = 1;
x79.up = 1;
x80.up = 1;
x81.up = 1;
x82.up = 1;
x83.up = 1;
x84.up = 1;
x85.up = 1;
x86.up = 1;
x87.up = 1;
x88.up = 1;
x89.up = 1;
x90.up = 1;
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: 2025-08-07 Git hash: e62cedfc