MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance kall_circlesrectangles_c6r39
A set of circles and rectangles are to be cut from rectangular design plates to be produced, or from a set of stocked rectangles of known geometric dimensions. The objective is to minimize the area of the design rectangles. The design plates are subject to lower and upper bounds of their widths and lengths. The objects are free of any orientation restrictions.
| Formatsⓘ | ams gms lp mod nl osil pip py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 0.00000000 (ANTIGONE) 0.00000000 (BARON) 0.00000000 (COUENNE) 0.00000000 (GUROBI) 0.00000000 (LINDO) 5.32781897 (SCIP) |
| Referencesⓘ | Kallrath, Josef, Cutting circles and polygons from area-minimizing rectangles, Journal of Global Optimization, 43:2-3, 2009, 299-328. |
| Sourceⓘ | ANTIGONE test library model Other_MIQCQP/kall_circlesrectangles_c6r39 |
| Applicationⓘ | Geometry |
| Added to libraryⓘ | 15 Aug 2014 |
| Problem typeⓘ | QCP |
| #Variablesⓘ | 634 |
| #Binary Variablesⓘ | 0 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 320 |
| #Nonlinear Binary Variablesⓘ | 0 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 1 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 619 |
| #Linear Constraintsⓘ | 153 |
| #Quadratic Constraintsⓘ | 466 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | |
| Constraints curvatureⓘ | indefinite |
| #Nonzeros in Jacobianⓘ | 2179 |
| #Nonlinear Nonzeros in Jacobianⓘ | 968 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 980 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 66 |
| #Blocks in Hessian of Lagrangianⓘ | 51 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 2 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 10 |
| Average blocksize in Hessian of Lagrangianⓘ | 6.27451 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 5.0000e-01 |
| Maximal coefficientⓘ | 2.0000e+00 |
| Infeasibility of initial pointⓘ | 21.47 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 619 566 15 38 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 634 634 0 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 2179 1211 968 0
*
* Solve m using NLP minimizing objvar;
Variables x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19
,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36
,x37,x38,x39,x40,x41,x42,x43,x44,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,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102,x103
,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115,x116
,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128,x129
,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141,x142
,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154,x155
,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167,x168
,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180,x181
,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193,x194
,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206,x207
,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219,x220
,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232,x233
,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245,x246
,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258,x259
,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271,x272
,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284,x285
,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297,x298
,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310,x311
,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323,x324
,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336,x337
,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349,x350
,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362,x363
,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375,x376
,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388,x389
,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401,x402
,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414,x415
,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427,x428
,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440,x441
,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453,x454
,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466,x467
,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479,x480
,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492,x493
,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505,x506
,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518,x519
,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531,x532
,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544,x545
,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557,x558
,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570,x571
,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583,x584
,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596,x597
,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609,x610
,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622,x623
,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,objvar;
Positive Variables x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17
,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x116,x117
,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128,x129,x130
,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141,x142,x143
,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154,x155,x156
,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167,x168,x169
,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180,x181,x182
,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193,x194,x195
,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206,x207,x208
,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219,x220,x221
,x222,x223,x602,x603,x604,x605,x606,x607,x608,x609,x610,x611,x612
,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622,x623,x624,x625
,x626,x627,x628,x629,x630,x631,x632,x633;
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,e482,e483,e484,e485,e486,e487,e488,e489,e490,e491,e492,e493
,e494,e495,e496,e497,e498,e499,e500,e501,e502,e503,e504,e505,e506
,e507,e508,e509,e510,e511,e512,e513,e514,e515,e516,e517,e518,e519
,e520,e521,e522,e523,e524,e525,e526,e527,e528,e529,e530,e531,e532
,e533,e534,e535,e536,e537,e538,e539,e540,e541,e542,e543,e544,e545
,e546,e547,e548,e549,e550,e551,e552,e553,e554,e555,e556,e557,e558
,e559,e560,e561,e562,e563,e564,e565,e566,e567,e568,e569,e570,e571
,e572,e573,e574,e575,e576,e577,e578,e579,e580,e581,e582,e583,e584
,e585,e586,e587,e588,e589,e590,e591,e592,e593,e594,e595,e596,e597
,e598,e599,e600,e601,e602,e603,e604,e605,e606,e607,e608,e609,e610
,e611,e612,e613,e614,e615,e616,e617,e618,e619;
e1.. - x1 + objvar =E= -24.3593785915978;
e2.. -x602*x603 + x1 =E= 0;
e3.. (x590 - x592)*(x590 - x592) + (x591 - x593)*(x591 - x593) =G= 3.24;
e4.. (x590 - x594)*(x590 - x594) + (x591 - x595)*(x591 - x595) =G= 4;
e5.. (x590 - x596)*(x590 - x596) + (x591 - x597)*(x591 - x597) =G= 8.41;
e6.. (x590 - x598)*(x590 - x598) + (x591 - x599)*(x591 - x599) =G= 6.25;
e7.. (x590 - x600)*(x590 - x600) + (x591 - x601)*(x591 - x601) =G= 2.89;
e8.. (x592 - x594)*(x592 - x594) + (x593 - x595)*(x593 - x595) =G= 1.96;
e9.. (x592 - x596)*(x592 - x596) + (x593 - x597)*(x593 - x597) =G= 5.29;
e10.. (x592 - x598)*(x592 - x598) + (x593 - x599)*(x593 - x599) =G= 3.61;
e11.. (x592 - x600)*(x592 - x600) + (x593 - x601)*(x593 - x601) =G= 1.21;
e12.. (x594 - x596)*(x594 - x596) + (x595 - x597)*(x595 - x597) =G= 6.25;
e13.. (x594 - x598)*(x594 - x598) + (x595 - x599)*(x595 - x599) =G= 4.41;
e14.. (x594 - x600)*(x594 - x600) + (x595 - x601)*(x595 - x601) =G= 1.69;
e15.. (x596 - x598)*(x596 - x598) + (x597 - x599)*(x597 - x599) =G= 9;
e16.. (x596 - x600)*(x596 - x600) + (x597 - x601)*(x597 - x601) =G= 4.84;
e17.. (x598 - x600)*(x598 - x600) + (x599 - x601)*(x599 - x601) =G= 3.24;
e18.. x590 - x602 =L= -1.2;
e19.. x591 - x603 =L= -1.2;
e20.. x592 - x602 =L= -0.6;
e21.. x593 - x603 =L= -0.6;
e22.. x594 - x602 =L= -0.8;
e23.. x595 - x603 =L= -0.8;
e24.. x596 - x602 =L= -1.7;
e25.. x597 - x603 =L= -1.7;
e26.. x598 - x602 =L= -1.3;
e27.. x599 - x603 =L= -1.3;
e28.. x600 - x602 =L= -0.5;
e29.. x601 - x603 =L= -0.5;
e30.. - x602 + x604 =L= 0;
e31.. - x603 + x605 =L= 0;
e32.. - x602 + x606 =L= 0;
e33.. - x603 + x607 =L= 0;
e34.. - x602 + x608 =L= 0;
e35.. - x603 + x609 =L= 0;
e36.. - x602 + x610 =L= 0;
e37.. - x603 + x611 =L= 0;
e38.. - x602 + x614 =L= 0;
e39.. - x603 + x615 =L= 0;
e40.. - x602 + x616 =L= 0;
e41.. - x603 + x617 =L= 0;
e42.. - x602 + x618 =L= 0;
e43.. - x603 + x619 =L= 0;
e44.. - x602 + x620 =L= 0;
e45.. - x603 + x621 =L= 0;
e46.. - x602 + x624 =L= 0;
e47.. - x603 + x625 =L= 0;
e48.. - x602 + x626 =L= 0;
e49.. - x603 + x627 =L= 0;
e50.. - x602 + x628 =L= 0;
e51.. - x603 + x629 =L= 0;
e52.. - x602 + x630 =L= 0;
e53.. - x603 + x631 =L= 0;
e54.. x566 + x604 - x606 =E= 0;
e55.. x567 + x605 - x607 =E= 0;
e56.. x568 + x606 - x608 =E= 0;
e57.. x569 + x607 - x609 =E= 0;
e58.. x570 + x608 - x610 =E= 0;
e59.. x571 + x609 - x611 =E= 0;
e60.. x572 - x604 + 2*x610 - x612 =E= 0;
e61.. x573 - x605 + 2*x611 - x613 =E= 0;
e62.. x574 + x614 - x616 =E= 0;
e63.. x575 + x615 - x617 =E= 0;
e64.. x576 + x616 - x618 =E= 0;
e65.. x577 + x617 - x619 =E= 0;
e66.. x578 + x618 - x620 =E= 0;
e67.. x579 + x619 - x621 =E= 0;
e68.. x580 - x614 + 2*x620 - x622 =E= 0;
e69.. x581 - x615 + 2*x621 - x623 =E= 0;
e70.. x582 + x624 - x626 =E= 0;
e71.. x583 + x625 - x627 =E= 0;
e72.. x584 + x626 - x628 =E= 0;
e73.. x585 + x627 - x629 =E= 0;
e74.. x586 + x628 - x630 =E= 0;
e75.. x587 + x629 - x631 =E= 0;
e76.. x588 - x624 + 2*x630 - x632 =E= 0;
e77.. x589 - x625 + 2*x631 - x633 =E= 0;
e78.. x566*x568 + x567*x569 =E= 0;
e79.. x574*x576 + x575*x577 =E= 0;
e80.. x582*x584 + x583*x585 =E= 0;
e81.. x566 + x570 =E= 0;
e82.. x567 + x571 =E= 0;
e83.. x568 + x572 =E= 0;
e84.. x569 + x573 =E= 0;
e85.. x574 + x578 =E= 0;
e86.. x575 + x579 =E= 0;
e87.. x576 + x580 =E= 0;
e88.. x577 + x581 =E= 0;
e89.. x582 + x586 =E= 0;
e90.. x583 + x587 =E= 0;
e91.. x584 + x588 =E= 0;
e92.. x585 + x589 =E= 0;
e93.. x566*x566 + x567*x567 =E= 0.25;
e94.. x574*x574 + x575*x575 =E= 1;
e95.. x582*x582 + x583*x583 =E= 0.16;
e96.. x568*x568 + x569*x569 =E= 0.64;
e97.. x576*x576 + x577*x577 =E= 1;
e98.. x584*x584 + x585*x585 =E= 0.09;
e99.. x56*x56 + x57*x57 =E= 1;
e100.. x58*x58 + x59*x59 =E= 1;
e101.. x60*x60 + x61*x61 =E= 1;
e102.. - x57 + x62 =E= 0;
e103.. - x59 + x64 =E= 0;
e104.. - x61 + x66 =E= 0;
e105.. x56 + x63 =E= 0;
e106.. x58 + x65 =E= 0;
e107.. x60 + x67 =E= 0;
e108.. x56*x32 + x2 + x68 - x604 =E= 0;
e109.. x57*x32 + x3 + x69 - x605 =E= 0;
e110.. x56*x33 + x2 + x70 - x606 =E= 0;
e111.. x57*x33 + x3 + x71 - x607 =E= 0;
e112.. x56*x34 + x2 + x72 - x608 =E= 0;
e113.. x57*x34 + x3 + x73 - x609 =E= 0;
e114.. x56*x35 + x2 + x74 - x610 =E= 0;
e115.. x57*x35 + x3 + x75 - x611 =E= 0;
e116.. x58*x36 + x4 + x76 - x604 =E= 0;
e117.. x59*x36 + x5 + x77 - x605 =E= 0;
e118.. x58*x37 + x4 + x78 - x606 =E= 0;
e119.. x59*x37 + x5 + x79 - x607 =E= 0;
e120.. x58*x38 + x4 + x80 - x608 =E= 0;
e121.. x59*x38 + x5 + x81 - x609 =E= 0;
e122.. x58*x39 + x4 + x82 - x610 =E= 0;
e123.. x59*x39 + x5 + x83 - x611 =E= 0;
e124.. x60*x44 + x6 + x92 - x614 =E= 0;
e125.. x61*x44 + x7 + x93 - x615 =E= 0;
e126.. x60*x45 + x6 + x94 - x616 =E= 0;
e127.. x61*x45 + x7 + x95 - x617 =E= 0;
e128.. x60*x46 + x6 + x96 - x618 =E= 0;
e129.. x61*x46 + x7 + x97 - x619 =E= 0;
e130.. x60*x47 + x6 + x98 - x620 =E= 0;
e131.. x61*x47 + x7 + x99 - x621 =E= 0;
e132.. x56*x40 + x2 + x84 - x614 =E= 0;
e133.. x57*x40 + x3 + x85 - x615 =E= 0;
e134.. x56*x41 + x2 + x86 - x616 =E= 0;
e135.. x57*x41 + x3 + x87 - x617 =E= 0;
e136.. x56*x42 + x2 + x88 - x618 =E= 0;
e137.. x57*x42 + x3 + x89 - x619 =E= 0;
e138.. x56*x43 + x2 + x90 - x620 =E= 0;
e139.. x57*x43 + x3 + x91 - x621 =E= 0;
e140.. x58*x48 + x4 + x100 - x624 =E= 0;
e141.. x59*x48 + x5 + x101 - x625 =E= 0;
e142.. x58*x49 + x4 + x102 - x626 =E= 0;
e143.. x59*x49 + x5 + x103 - x627 =E= 0;
e144.. x58*x50 + x4 + x104 - x628 =E= 0;
e145.. x59*x50 + x5 + x105 - x629 =E= 0;
e146.. x58*x51 + x4 + x106 - x630 =E= 0;
e147.. x59*x51 + x5 + x107 - x631 =E= 0;
e148.. x60*x52 + x6 + x108 - x624 =E= 0;
e149.. x61*x52 + x7 + x109 - x625 =E= 0;
e150.. x60*x53 + x6 + x110 - x626 =E= 0;
e151.. x61*x53 + x7 + x111 - x627 =E= 0;
e152.. x60*x54 + x6 + x112 - x628 =E= 0;
e153.. x61*x54 + x7 + x113 - x629 =E= 0;
e154.. x60*x55 + x6 + x114 - x630 =E= 0;
e155.. x61*x55 + x7 + x115 - x631 =E= 0;
e156.. -x8*x62 + x68 =E= 0;
e157.. -x8*x63 + x69 =E= 0;
e158.. -x9*x62 + x70 =E= 0;
e159.. -x9*x63 + x71 =E= 0;
e160.. -x10*x62 + x72 =E= 0;
e161.. -x10*x63 + x73 =E= 0;
e162.. -x11*x62 + x74 =E= 0;
e163.. -x11*x63 + x75 =E= 0;
e164.. -x12*x64 + x76 =E= 0;
e165.. -x12*x65 + x77 =E= 0;
e166.. -x13*x64 + x78 =E= 0;
e167.. -x13*x65 + x79 =E= 0;
e168.. -x14*x64 + x80 =E= 0;
e169.. -x14*x65 + x81 =E= 0;
e170.. -x15*x64 + x82 =E= 0;
e171.. -x15*x65 + x83 =E= 0;
e172.. -x20*x66 + x92 =E= 0;
e173.. -x20*x67 + x93 =E= 0;
e174.. -x21*x66 + x94 =E= 0;
e175.. -x21*x67 + x95 =E= 0;
e176.. -x22*x66 + x96 =E= 0;
e177.. -x22*x67 + x97 =E= 0;
e178.. -x23*x66 + x98 =E= 0;
e179.. -x23*x67 + x99 =E= 0;
e180.. x16*x62 + x84 =E= 0;
e181.. x16*x63 + x85 =E= 0;
e182.. x17*x62 + x86 =E= 0;
e183.. x17*x63 + x87 =E= 0;
e184.. x18*x62 + x88 =E= 0;
e185.. x18*x63 + x89 =E= 0;
e186.. x19*x62 + x90 =E= 0;
e187.. x19*x63 + x91 =E= 0;
e188.. x24*x64 + x100 =E= 0;
e189.. x24*x65 + x101 =E= 0;
e190.. x25*x64 + x102 =E= 0;
e191.. x25*x65 + x103 =E= 0;
e192.. x26*x64 + x104 =E= 0;
e193.. x26*x65 + x105 =E= 0;
e194.. x27*x64 + x106 =E= 0;
e195.. x27*x65 + x107 =E= 0;
e196.. x28*x66 + x108 =E= 0;
e197.. x28*x67 + x109 =E= 0;
e198.. x29*x66 + x110 =E= 0;
e199.. x29*x67 + x111 =E= 0;
e200.. x30*x66 + x112 =E= 0;
e201.. x30*x67 + x113 =E= 0;
e202.. x31*x66 + x114 =E= 0;
e203.. x31*x67 + x115 =E= 0;
e204.. x314*x314 + x315*x315 =E= 1;
e205.. x316*x316 + x317*x317 =E= 1;
e206.. x318*x318 + x319*x319 =E= 1;
e207.. x320*x320 + x321*x321 =E= 1;
e208.. x322*x322 + x323*x323 =E= 1;
e209.. x324*x324 + x325*x325 =E= 1;
e210.. x326*x326 + x327*x327 =E= 1;
e211.. x328*x328 + x329*x329 =E= 1;
e212.. x330*x330 + x331*x331 =E= 1;
e213.. x332*x332 + x333*x333 =E= 1;
e214.. x334*x334 + x335*x335 =E= 1;
e215.. x336*x336 + x337*x337 =E= 1;
e216.. x338*x338 + x339*x339 =E= 1;
e217.. x340*x340 + x341*x341 =E= 1;
e218.. x342*x342 + x343*x343 =E= 1;
e219.. x344*x344 + x345*x345 =E= 1;
e220.. x346*x346 + x347*x347 =E= 1;
e221.. x348*x348 + x349*x349 =E= 1;
e222.. - x315 + x350 =E= 0;
e223.. - x317 + x352 =E= 0;
e224.. - x319 + x354 =E= 0;
e225.. - x321 + x356 =E= 0;
e226.. - x323 + x358 =E= 0;
e227.. - x325 + x360 =E= 0;
e228.. - x327 + x362 =E= 0;
e229.. - x329 + x364 =E= 0;
e230.. - x331 + x366 =E= 0;
e231.. - x333 + x368 =E= 0;
e232.. - x335 + x370 =E= 0;
e233.. - x337 + x372 =E= 0;
e234.. - x339 + x374 =E= 0;
e235.. - x341 + x376 =E= 0;
e236.. - x343 + x378 =E= 0;
e237.. - x345 + x380 =E= 0;
e238.. - x347 + x382 =E= 0;
e239.. - x349 + x384 =E= 0;
e240.. x314 + x351 =E= 0;
e241.. x316 + x353 =E= 0;
e242.. x318 + x355 =E= 0;
e243.. x320 + x357 =E= 0;
e244.. x322 + x359 =E= 0;
e245.. x324 + x361 =E= 0;
e246.. x326 + x363 =E= 0;
e247.. x328 + x365 =E= 0;
e248.. x330 + x367 =E= 0;
e249.. x332 + x369 =E= 0;
e250.. x334 + x371 =E= 0;
e251.. x336 + x373 =E= 0;
e252.. x338 + x375 =E= 0;
e253.. x340 + x377 =E= 0;
e254.. x342 + x379 =E= 0;
e255.. x344 + x381 =E= 0;
e256.. x346 + x383 =E= 0;
e257.. x348 + x385 =E= 0;
e258.. x314*x224 + x116 + x386 - x604 =E= 0;
e259.. x315*x224 + x117 + x387 - x605 =E= 0;
e260.. x314*x225 + x116 + x388 - x606 =E= 0;
e261.. x315*x225 + x117 + x389 - x607 =E= 0;
e262.. x314*x226 + x116 + x390 - x608 =E= 0;
e263.. x315*x226 + x117 + x391 - x609 =E= 0;
e264.. x314*x227 + x116 + x392 - x610 =E= 0;
e265.. x315*x227 + x117 + x393 - x611 =E= 0;
e266.. x316*x228 + x118 + x394 - x604 =E= 0;
e267.. x317*x228 + x119 + x395 - x605 =E= 0;
e268.. x316*x229 + x118 + x396 - x606 =E= 0;
e269.. x317*x229 + x119 + x397 - x607 =E= 0;
e270.. x316*x230 + x118 + x398 - x608 =E= 0;
e271.. x317*x230 + x119 + x399 - x609 =E= 0;
e272.. x316*x231 + x118 + x400 - x610 =E= 0;
e273.. x317*x231 + x119 + x401 - x611 =E= 0;
e274.. x318*x232 + x120 + x402 - x604 =E= 0;
e275.. x319*x232 + x121 + x403 - x605 =E= 0;
e276.. x318*x233 + x120 + x404 - x606 =E= 0;
e277.. x319*x233 + x121 + x405 - x607 =E= 0;
e278.. x318*x234 + x120 + x406 - x608 =E= 0;
e279.. x319*x234 + x121 + x407 - x609 =E= 0;
e280.. x318*x235 + x120 + x408 - x610 =E= 0;
e281.. x319*x235 + x121 + x409 - x611 =E= 0;
e282.. x320*x236 + x122 + x410 - x604 =E= 0;
e283.. x321*x236 + x123 + x411 - x605 =E= 0;
e284.. x320*x237 + x122 + x412 - x606 =E= 0;
e285.. x321*x237 + x123 + x413 - x607 =E= 0;
e286.. x320*x238 + x122 + x414 - x608 =E= 0;
e287.. x321*x238 + x123 + x415 - x609 =E= 0;
e288.. x320*x239 + x122 + x416 - x610 =E= 0;
e289.. x321*x239 + x123 + x417 - x611 =E= 0;
e290.. x322*x240 + x124 + x418 - x604 =E= 0;
e291.. x323*x240 + x125 + x419 - x605 =E= 0;
e292.. x322*x241 + x124 + x420 - x606 =E= 0;
e293.. x323*x241 + x125 + x421 - x607 =E= 0;
e294.. x322*x242 + x124 + x422 - x608 =E= 0;
e295.. x323*x242 + x125 + x423 - x609 =E= 0;
e296.. x322*x243 + x124 + x424 - x610 =E= 0;
e297.. x323*x243 + x125 + x425 - x611 =E= 0;
e298.. x324*x244 + x126 + x426 - x604 =E= 0;
e299.. x325*x244 + x127 + x427 - x605 =E= 0;
e300.. x324*x245 + x126 + x428 - x606 =E= 0;
e301.. x325*x245 + x127 + x429 - x607 =E= 0;
e302.. x324*x246 + x126 + x430 - x608 =E= 0;
e303.. x325*x246 + x127 + x431 - x609 =E= 0;
e304.. x324*x247 + x126 + x432 - x610 =E= 0;
e305.. x325*x247 + x127 + x433 - x611 =E= 0;
e306.. x326*x248 + x128 + x434 - x614 =E= 0;
e307.. x327*x248 + x129 + x435 - x615 =E= 0;
e308.. x326*x249 + x128 + x436 - x616 =E= 0;
e309.. x327*x249 + x129 + x437 - x617 =E= 0;
e310.. x326*x250 + x128 + x438 - x618 =E= 0;
e311.. x327*x250 + x129 + x439 - x619 =E= 0;
e312.. x326*x251 + x128 + x440 - x620 =E= 0;
e313.. x327*x251 + x129 + x441 - x621 =E= 0;
e314.. x328*x252 + x130 + x442 - x614 =E= 0;
e315.. x329*x252 + x131 + x443 - x615 =E= 0;
e316.. x328*x253 + x130 + x444 - x616 =E= 0;
e317.. x329*x253 + x131 + x445 - x617 =E= 0;
e318.. x328*x254 + x130 + x446 - x618 =E= 0;
e319.. x329*x254 + x131 + x447 - x619 =E= 0;
e320.. x328*x255 + x130 + x448 - x620 =E= 0;
e321.. x329*x255 + x131 + x449 - x621 =E= 0;
e322.. x330*x256 + x132 + x450 - x614 =E= 0;
e323.. x331*x256 + x133 + x451 - x615 =E= 0;
e324.. x330*x257 + x132 + x452 - x616 =E= 0;
e325.. x331*x257 + x133 + x453 - x617 =E= 0;
e326.. x330*x258 + x132 + x454 - x618 =E= 0;
e327.. x331*x258 + x133 + x455 - x619 =E= 0;
e328.. x330*x259 + x132 + x456 - x620 =E= 0;
e329.. x331*x259 + x133 + x457 - x621 =E= 0;
e330.. x332*x260 + x134 + x458 - x614 =E= 0;
e331.. x333*x260 + x135 + x459 - x615 =E= 0;
e332.. x332*x261 + x134 + x460 - x616 =E= 0;
e333.. x333*x261 + x135 + x461 - x617 =E= 0;
e334.. x332*x262 + x134 + x462 - x618 =E= 0;
e335.. x333*x262 + x135 + x463 - x619 =E= 0;
e336.. x332*x263 + x134 + x464 - x620 =E= 0;
e337.. x333*x263 + x135 + x465 - x621 =E= 0;
e338.. x334*x264 + x136 + x466 - x614 =E= 0;
e339.. x335*x264 + x137 + x467 - x615 =E= 0;
e340.. x334*x265 + x136 + x468 - x616 =E= 0;
e341.. x335*x265 + x137 + x469 - x617 =E= 0;
e342.. x334*x266 + x136 + x470 - x618 =E= 0;
e343.. x335*x266 + x137 + x471 - x619 =E= 0;
e344.. x334*x267 + x136 + x472 - x620 =E= 0;
e345.. x335*x267 + x137 + x473 - x621 =E= 0;
e346.. x336*x268 + x138 + x474 - x614 =E= 0;
e347.. x337*x268 + x139 + x475 - x615 =E= 0;
e348.. x336*x269 + x138 + x476 - x616 =E= 0;
e349.. x337*x269 + x139 + x477 - x617 =E= 0;
e350.. x336*x270 + x138 + x478 - x618 =E= 0;
e351.. x337*x270 + x139 + x479 - x619 =E= 0;
e352.. x336*x271 + x138 + x480 - x620 =E= 0;
e353.. x337*x271 + x139 + x481 - x621 =E= 0;
e354.. x338*x272 + x140 + x482 - x624 =E= 0;
e355.. x339*x272 + x141 + x483 - x625 =E= 0;
e356.. x338*x273 + x140 + x484 - x626 =E= 0;
e357.. x339*x273 + x141 + x485 - x627 =E= 0;
e358.. x338*x274 + x140 + x486 - x628 =E= 0;
e359.. x339*x274 + x141 + x487 - x629 =E= 0;
e360.. x338*x275 + x140 + x488 - x630 =E= 0;
e361.. x339*x275 + x141 + x489 - x631 =E= 0;
e362.. x340*x276 + x142 + x490 - x624 =E= 0;
e363.. x341*x276 + x143 + x491 - x625 =E= 0;
e364.. x340*x277 + x142 + x492 - x626 =E= 0;
e365.. x341*x277 + x143 + x493 - x627 =E= 0;
e366.. x340*x278 + x142 + x494 - x628 =E= 0;
e367.. x341*x278 + x143 + x495 - x629 =E= 0;
e368.. x340*x279 + x142 + x496 - x630 =E= 0;
e369.. x341*x279 + x143 + x497 - x631 =E= 0;
e370.. x342*x280 + x144 + x498 - x624 =E= 0;
e371.. x343*x280 + x145 + x499 - x625 =E= 0;
e372.. x342*x281 + x144 + x500 - x626 =E= 0;
e373.. x343*x281 + x145 + x501 - x627 =E= 0;
e374.. x342*x282 + x144 + x502 - x628 =E= 0;
e375.. x343*x282 + x145 + x503 - x629 =E= 0;
e376.. x342*x283 + x144 + x504 - x630 =E= 0;
e377.. x343*x283 + x145 + x505 - x631 =E= 0;
e378.. x344*x284 + x146 + x506 - x624 =E= 0;
e379.. x345*x284 + x147 + x507 - x625 =E= 0;
e380.. x344*x285 + x146 + x508 - x626 =E= 0;
e381.. x345*x285 + x147 + x509 - x627 =E= 0;
e382.. x344*x286 + x146 + x510 - x628 =E= 0;
e383.. x345*x286 + x147 + x511 - x629 =E= 0;
e384.. x344*x287 + x146 + x512 - x630 =E= 0;
e385.. x345*x287 + x147 + x513 - x631 =E= 0;
e386.. x346*x288 + x148 + x514 - x624 =E= 0;
e387.. x347*x288 + x149 + x515 - x625 =E= 0;
e388.. x346*x289 + x148 + x516 - x626 =E= 0;
e389.. x347*x289 + x149 + x517 - x627 =E= 0;
e390.. x346*x290 + x148 + x518 - x628 =E= 0;
e391.. x347*x290 + x149 + x519 - x629 =E= 0;
e392.. x346*x291 + x148 + x520 - x630 =E= 0;
e393.. x347*x291 + x149 + x521 - x631 =E= 0;
e394.. x348*x292 + x150 + x522 - x624 =E= 0;
e395.. x349*x292 + x151 + x523 - x625 =E= 0;
e396.. x348*x293 + x150 + x524 - x626 =E= 0;
e397.. x349*x293 + x151 + x525 - x627 =E= 0;
e398.. x348*x294 + x150 + x526 - x628 =E= 0;
e399.. x349*x294 + x151 + x527 - x629 =E= 0;
e400.. x348*x295 + x150 + x528 - x630 =E= 0;
e401.. x349*x295 + x151 + x529 - x631 =E= 0;
e402.. x314*x296 + x116 + x530 - x590 =E= 0;
e403.. x315*x296 + x117 + x531 - x591 =E= 0;
e404.. x316*x299 + x118 + x536 - x592 =E= 0;
e405.. x317*x299 + x119 + x537 - x593 =E= 0;
e406.. x318*x302 + x120 + x542 - x594 =E= 0;
e407.. x319*x302 + x121 + x543 - x595 =E= 0;
e408.. x320*x305 + x122 + x548 - x596 =E= 0;
e409.. x321*x305 + x123 + x549 - x597 =E= 0;
e410.. x322*x308 + x124 + x554 - x598 =E= 0;
e411.. x323*x308 + x125 + x555 - x599 =E= 0;
e412.. x324*x311 + x126 + x560 - x600 =E= 0;
e413.. x325*x311 + x127 + x561 - x601 =E= 0;
e414.. x326*x297 + x128 + x532 - x590 =E= 0;
e415.. x327*x297 + x129 + x533 - x591 =E= 0;
e416.. x328*x300 + x130 + x538 - x592 =E= 0;
e417.. x329*x300 + x131 + x539 - x593 =E= 0;
e418.. x330*x303 + x132 + x544 - x594 =E= 0;
e419.. x331*x303 + x133 + x545 - x595 =E= 0;
e420.. x332*x306 + x134 + x550 - x596 =E= 0;
e421.. x333*x306 + x135 + x551 - x597 =E= 0;
e422.. x334*x309 + x136 + x556 - x598 =E= 0;
e423.. x335*x309 + x137 + x557 - x599 =E= 0;
e424.. x336*x312 + x138 + x562 - x600 =E= 0;
e425.. x337*x312 + x139 + x563 - x601 =E= 0;
e426.. x338*x298 + x140 + x534 - x590 =E= 0;
e427.. x339*x298 + x141 + x535 - x591 =E= 0;
e428.. x340*x301 + x142 + x540 - x592 =E= 0;
e429.. x341*x301 + x143 + x541 - x593 =E= 0;
e430.. x342*x304 + x144 + x546 - x594 =E= 0;
e431.. x343*x304 + x145 + x547 - x595 =E= 0;
e432.. x344*x307 + x146 + x552 - x596 =E= 0;
e433.. x345*x307 + x147 + x553 - x597 =E= 0;
e434.. x346*x310 + x148 + x558 - x598 =E= 0;
e435.. x347*x310 + x149 + x559 - x599 =E= 0;
e436.. x348*x313 + x150 + x564 - x600 =E= 0;
e437.. x349*x313 + x151 + x565 - x601 =E= 0;
e438.. -x152*x350 + x386 =E= 0;
e439.. -x152*x351 + x387 =E= 0;
e440.. -x153*x350 + x388 =E= 0;
e441.. -x153*x351 + x389 =E= 0;
e442.. -x154*x350 + x390 =E= 0;
e443.. -x154*x351 + x391 =E= 0;
e444.. -x155*x350 + x392 =E= 0;
e445.. -x155*x351 + x393 =E= 0;
e446.. -x156*x352 + x394 =E= 0;
e447.. -x156*x353 + x395 =E= 0;
e448.. -x157*x352 + x396 =E= 0;
e449.. -x157*x353 + x397 =E= 0;
e450.. -x158*x352 + x398 =E= 0;
e451.. -x158*x353 + x399 =E= 0;
e452.. -x159*x352 + x400 =E= 0;
e453.. -x159*x353 + x401 =E= 0;
e454.. -x160*x354 + x402 =E= 0;
e455.. -x160*x355 + x403 =E= 0;
e456.. -x161*x354 + x404 =E= 0;
e457.. -x161*x355 + x405 =E= 0;
e458.. -x162*x354 + x406 =E= 0;
e459.. -x162*x355 + x407 =E= 0;
e460.. -x163*x354 + x408 =E= 0;
e461.. -x163*x355 + x409 =E= 0;
e462.. -x164*x356 + x410 =E= 0;
e463.. -x164*x357 + x411 =E= 0;
e464.. -x165*x356 + x412 =E= 0;
e465.. -x165*x357 + x413 =E= 0;
e466.. -x166*x356 + x414 =E= 0;
e467.. -x166*x357 + x415 =E= 0;
e468.. -x167*x356 + x416 =E= 0;
e469.. -x167*x357 + x417 =E= 0;
e470.. -x168*x358 + x418 =E= 0;
e471.. -x168*x359 + x419 =E= 0;
e472.. -x169*x358 + x420 =E= 0;
e473.. -x169*x359 + x421 =E= 0;
e474.. -x170*x358 + x422 =E= 0;
e475.. -x170*x359 + x423 =E= 0;
e476.. -x171*x358 + x424 =E= 0;
e477.. -x171*x359 + x425 =E= 0;
e478.. -x172*x360 + x426 =E= 0;
e479.. -x172*x361 + x427 =E= 0;
e480.. -x173*x360 + x428 =E= 0;
e481.. -x173*x361 + x429 =E= 0;
e482.. -x174*x360 + x430 =E= 0;
e483.. -x174*x361 + x431 =E= 0;
e484.. -x175*x360 + x432 =E= 0;
e485.. -x175*x361 + x433 =E= 0;
e486.. -x176*x362 + x434 =E= 0;
e487.. -x176*x363 + x435 =E= 0;
e488.. -x177*x362 + x436 =E= 0;
e489.. -x177*x363 + x437 =E= 0;
e490.. -x178*x362 + x438 =E= 0;
e491.. -x178*x363 + x439 =E= 0;
e492.. -x179*x362 + x440 =E= 0;
e493.. -x179*x363 + x441 =E= 0;
e494.. -x180*x364 + x442 =E= 0;
e495.. -x180*x365 + x443 =E= 0;
e496.. -x181*x364 + x444 =E= 0;
e497.. -x181*x365 + x445 =E= 0;
e498.. -x182*x364 + x446 =E= 0;
e499.. -x182*x365 + x447 =E= 0;
e500.. -x183*x364 + x448 =E= 0;
e501.. -x183*x365 + x449 =E= 0;
e502.. -x184*x366 + x450 =E= 0;
e503.. -x184*x367 + x451 =E= 0;
e504.. -x185*x366 + x452 =E= 0;
e505.. -x185*x367 + x453 =E= 0;
e506.. -x186*x366 + x454 =E= 0;
e507.. -x186*x367 + x455 =E= 0;
e508.. -x187*x366 + x456 =E= 0;
e509.. -x187*x367 + x457 =E= 0;
e510.. -x188*x368 + x458 =E= 0;
e511.. -x188*x369 + x459 =E= 0;
e512.. -x189*x368 + x460 =E= 0;
e513.. -x189*x369 + x461 =E= 0;
e514.. -x190*x368 + x462 =E= 0;
e515.. -x190*x369 + x463 =E= 0;
e516.. -x191*x368 + x464 =E= 0;
e517.. -x191*x369 + x465 =E= 0;
e518.. -x192*x370 + x466 =E= 0;
e519.. -x192*x371 + x467 =E= 0;
e520.. -x193*x370 + x468 =E= 0;
e521.. -x193*x371 + x469 =E= 0;
e522.. -x194*x370 + x470 =E= 0;
e523.. -x194*x371 + x471 =E= 0;
e524.. -x195*x370 + x472 =E= 0;
e525.. -x195*x371 + x473 =E= 0;
e526.. -x196*x372 + x474 =E= 0;
e527.. -x196*x373 + x475 =E= 0;
e528.. -x197*x372 + x476 =E= 0;
e529.. -x197*x373 + x477 =E= 0;
e530.. -x198*x372 + x478 =E= 0;
e531.. -x198*x373 + x479 =E= 0;
e532.. -x199*x372 + x480 =E= 0;
e533.. -x199*x373 + x481 =E= 0;
e534.. -x200*x374 + x482 =E= 0;
e535.. -x200*x375 + x483 =E= 0;
e536.. -x201*x374 + x484 =E= 0;
e537.. -x201*x375 + x485 =E= 0;
e538.. -x202*x374 + x486 =E= 0;
e539.. -x202*x375 + x487 =E= 0;
e540.. -x203*x374 + x488 =E= 0;
e541.. -x203*x375 + x489 =E= 0;
e542.. -x204*x376 + x490 =E= 0;
e543.. -x204*x377 + x491 =E= 0;
e544.. -x205*x376 + x492 =E= 0;
e545.. -x205*x377 + x493 =E= 0;
e546.. -x206*x376 + x494 =E= 0;
e547.. -x206*x377 + x495 =E= 0;
e548.. -x207*x376 + x496 =E= 0;
e549.. -x207*x377 + x497 =E= 0;
e550.. -x208*x378 + x498 =E= 0;
e551.. -x208*x379 + x499 =E= 0;
e552.. -x209*x378 + x500 =E= 0;
e553.. -x209*x379 + x501 =E= 0;
e554.. -x210*x378 + x502 =E= 0;
e555.. -x210*x379 + x503 =E= 0;
e556.. -x211*x378 + x504 =E= 0;
e557.. -x211*x379 + x505 =E= 0;
e558.. -x212*x380 + x506 =E= 0;
e559.. -x212*x381 + x507 =E= 0;
e560.. -x213*x380 + x508 =E= 0;
e561.. -x213*x381 + x509 =E= 0;
e562.. -x214*x380 + x510 =E= 0;
e563.. -x214*x381 + x511 =E= 0;
e564.. -x215*x380 + x512 =E= 0;
e565.. -x215*x381 + x513 =E= 0;
e566.. -x216*x382 + x514 =E= 0;
e567.. -x216*x383 + x515 =E= 0;
e568.. -x217*x382 + x516 =E= 0;
e569.. -x217*x383 + x517 =E= 0;
e570.. -x218*x382 + x518 =E= 0;
e571.. -x218*x383 + x519 =E= 0;
e572.. -x219*x382 + x520 =E= 0;
e573.. -x219*x383 + x521 =E= 0;
e574.. -x220*x384 + x522 =E= 0;
e575.. -x220*x385 + x523 =E= 0;
e576.. -x221*x384 + x524 =E= 0;
e577.. -x221*x385 + x525 =E= 0;
e578.. -x222*x384 + x526 =E= 0;
e579.. -x222*x385 + x527 =E= 0;
e580.. -x223*x384 + x528 =E= 0;
e581.. -x223*x385 + x529 =E= 0;
e582.. 1.2*x350 + x530 =E= 0;
e583.. 1.2*x351 + x531 =E= 0;
e584.. 0.6*x352 + x536 =E= 0;
e585.. 0.6*x353 + x537 =E= 0;
e586.. 0.8*x354 + x542 =E= 0;
e587.. 0.8*x355 + x543 =E= 0;
e588.. 1.7*x356 + x548 =E= 0;
e589.. 1.7*x357 + x549 =E= 0;
e590.. 1.3*x358 + x554 =E= 0;
e591.. 1.3*x359 + x555 =E= 0;
e592.. 0.5*x360 + x560 =E= 0;
e593.. 0.5*x361 + x561 =E= 0;
e594.. 1.2*x362 + x532 =E= 0;
e595.. 1.2*x363 + x533 =E= 0;
e596.. 0.6*x364 + x538 =E= 0;
e597.. 0.6*x365 + x539 =E= 0;
e598.. 0.8*x366 + x544 =E= 0;
e599.. 0.8*x367 + x545 =E= 0;
e600.. 1.7*x368 + x550 =E= 0;
e601.. 1.7*x369 + x551 =E= 0;
e602.. 1.3*x370 + x556 =E= 0;
e603.. 1.3*x371 + x557 =E= 0;
e604.. 0.5*x372 + x562 =E= 0;
e605.. 0.5*x373 + x563 =E= 0;
e606.. 1.2*x374 + x534 =E= 0;
e607.. 1.2*x375 + x535 =E= 0;
e608.. 0.6*x376 + x540 =E= 0;
e609.. 0.6*x377 + x541 =E= 0;
e610.. 0.8*x378 + x546 =E= 0;
e611.. 0.8*x379 + x547 =E= 0;
e612.. 1.7*x380 + x552 =E= 0;
e613.. 1.7*x381 + x553 =E= 0;
e614.. 1.3*x382 + x558 =E= 0;
e615.. 1.3*x383 + x559 =E= 0;
e616.. 0.5*x384 + x564 =E= 0;
e617.. 0.5*x385 + x565 =E= 0;
e618.. x590 =L= 4.5;
e619.. x591 =L= 2;
* set non-default bounds
x1.lo = 2.89; x1.up = 36;
x2.up = 9;
x3.up = 4;
x4.up = 9;
x5.up = 4;
x6.up = 9;
x7.up = 4;
x8.up = 9.84885780179611;
x9.up = 9.84885780179611;
x10.up = 9.84885780179611;
x11.up = 9.84885780179611;
x12.up = 9.84885780179611;
x13.up = 9.84885780179611;
x14.up = 9.84885780179611;
x15.up = 9.84885780179611;
x16.up = 9.84885780179611;
x17.up = 9.84885780179611;
x18.up = 9.84885780179611;
x19.up = 9.84885780179611;
x20.up = 9.84885780179611;
x21.up = 9.84885780179611;
x22.up = 9.84885780179611;
x23.up = 9.84885780179611;
x24.up = 9.84885780179611;
x25.up = 9.84885780179611;
x26.up = 9.84885780179611;
x27.up = 9.84885780179611;
x28.up = 9.84885780179611;
x29.up = 9.84885780179611;
x30.up = 9.84885780179611;
x31.up = 9.84885780179611;
x32.lo = -9.84885780179611; x32.up = 9.84885780179611;
x33.lo = -9.84885780179611; x33.up = 9.84885780179611;
x34.lo = -9.84885780179611; x34.up = 9.84885780179611;
x35.lo = -9.84885780179611; x35.up = 9.84885780179611;
x36.lo = -9.84885780179611; x36.up = 9.84885780179611;
x37.lo = -9.84885780179611; x37.up = 9.84885780179611;
x38.lo = -9.84885780179611; x38.up = 9.84885780179611;
x39.lo = -9.84885780179611; x39.up = 9.84885780179611;
x40.lo = -9.84885780179611; x40.up = 9.84885780179611;
x41.lo = -9.84885780179611; x41.up = 9.84885780179611;
x42.lo = -9.84885780179611; x42.up = 9.84885780179611;
x43.lo = -9.84885780179611; x43.up = 9.84885780179611;
x44.lo = -9.84885780179611; x44.up = 9.84885780179611;
x45.lo = -9.84885780179611; x45.up = 9.84885780179611;
x46.lo = -9.84885780179611; x46.up = 9.84885780179611;
x47.lo = -9.84885780179611; x47.up = 9.84885780179611;
x48.lo = -9.84885780179611; x48.up = 9.84885780179611;
x49.lo = -9.84885780179611; x49.up = 9.84885780179611;
x50.lo = -9.84885780179611; x50.up = 9.84885780179611;
x51.lo = -9.84885780179611; x51.up = 9.84885780179611;
x52.lo = -9.84885780179611; x52.up = 9.84885780179611;
x53.lo = -9.84885780179611; x53.up = 9.84885780179611;
x54.lo = -9.84885780179611; x54.up = 9.84885780179611;
x55.lo = -9.84885780179611; x55.up = 9.84885780179611;
x56.lo = -1; x56.up = 1;
x57.lo = -1; x57.up = 1;
x58.lo = -1; x58.up = 1;
x59.lo = -1; x59.up = 1;
x60.lo = -1; x60.up = 1;
x61.lo = -1; x61.up = 1;
x62.lo = -1; x62.up = 1;
x63.lo = -1; x63.up = 1;
x64.lo = -1; x64.up = 1;
x65.lo = -1; x65.up = 1;
x66.lo = -1; x66.up = 1;
x67.lo = -1; x67.up = 1;
x68.up = 9.84885780179611;
x69.up = 9.84885780179611;
x70.up = 9.84885780179611;
x71.up = 9.84885780179611;
x72.up = 9.84885780179611;
x73.up = 9.84885780179611;
x74.up = 9.84885780179611;
x75.up = 9.84885780179611;
x76.up = 9.84885780179611;
x77.up = 9.84885780179611;
x78.up = 9.84885780179611;
x79.up = 9.84885780179611;
x80.up = 9.84885780179611;
x81.up = 9.84885780179611;
x82.up = 9.84885780179611;
x83.up = 9.84885780179611;
x84.up = 9.84885780179611;
x85.up = 9.84885780179611;
x86.up = 9.84885780179611;
x87.up = 9.84885780179611;
x88.up = 9.84885780179611;
x89.up = 9.84885780179611;
x90.up = 9.84885780179611;
x91.up = 9.84885780179611;
x92.up = 9.84885780179611;
x93.up = 9.84885780179611;
x94.up = 9.84885780179611;
x95.up = 9.84885780179611;
x96.up = 9.84885780179611;
x97.up = 9.84885780179611;
x98.up = 9.84885780179611;
x99.up = 9.84885780179611;
x100.up = 9.84885780179611;
x101.up = 9.84885780179611;
x102.up = 9.84885780179611;
x103.up = 9.84885780179611;
x104.up = 9.84885780179611;
x105.up = 9.84885780179611;
x106.up = 9.84885780179611;
x107.up = 9.84885780179611;
x108.up = 9.84885780179611;
x109.up = 9.84885780179611;
x110.up = 9.84885780179611;
x111.up = 9.84885780179611;
x112.up = 9.84885780179611;
x113.up = 9.84885780179611;
x114.up = 9.84885780179611;
x115.up = 9.84885780179611;
x116.up = 9;
x117.up = 4;
x118.up = 9;
x119.up = 4;
x120.up = 9;
x121.up = 4;
x122.up = 9;
x123.up = 4;
x124.up = 9;
x125.up = 4;
x126.up = 9;
x127.up = 4;
x128.up = 9;
x129.up = 4;
x130.up = 9;
x131.up = 4;
x132.up = 9;
x133.up = 4;
x134.up = 9;
x135.up = 4;
x136.up = 9;
x137.up = 4;
x138.up = 9;
x139.up = 4;
x140.up = 9;
x141.up = 4;
x142.up = 9;
x143.up = 4;
x144.up = 9;
x145.up = 4;
x146.up = 9;
x147.up = 4;
x148.up = 9;
x149.up = 4;
x150.up = 9;
x151.up = 4;
x152.up = 9.84885780179611;
x153.up = 9.84885780179611;
x154.up = 9.84885780179611;
x155.up = 9.84885780179611;
x156.up = 9.84885780179611;
x157.up = 9.84885780179611;
x158.up = 9.84885780179611;
x159.up = 9.84885780179611;
x160.up = 9.84885780179611;
x161.up = 9.84885780179611;
x162.up = 9.84885780179611;
x163.up = 9.84885780179611;
x164.up = 9.84885780179611;
x165.up = 9.84885780179611;
x166.up = 9.84885780179611;
x167.up = 9.84885780179611;
x168.up = 9.84885780179611;
x169.up = 9.84885780179611;
x170.up = 9.84885780179611;
x171.up = 9.84885780179611;
x172.up = 9.84885780179611;
x173.up = 9.84885780179611;
x174.up = 9.84885780179611;
x175.up = 9.84885780179611;
x176.up = 9.84885780179611;
x177.up = 9.84885780179611;
x178.up = 9.84885780179611;
x179.up = 9.84885780179611;
x180.up = 9.84885780179611;
x181.up = 9.84885780179611;
x182.up = 9.84885780179611;
x183.up = 9.84885780179611;
x184.up = 9.84885780179611;
x185.up = 9.84885780179611;
x186.up = 9.84885780179611;
x187.up = 9.84885780179611;
x188.up = 9.84885780179611;
x189.up = 9.84885780179611;
x190.up = 9.84885780179611;
x191.up = 9.84885780179611;
x192.up = 9.84885780179611;
x193.up = 9.84885780179611;
x194.up = 9.84885780179611;
x195.up = 9.84885780179611;
x196.up = 9.84885780179611;
x197.up = 9.84885780179611;
x198.up = 9.84885780179611;
x199.up = 9.84885780179611;
x200.up = 9.84885780179611;
x201.up = 9.84885780179611;
x202.up = 9.84885780179611;
x203.up = 9.84885780179611;
x204.up = 9.84885780179611;
x205.up = 9.84885780179611;
x206.up = 9.84885780179611;
x207.up = 9.84885780179611;
x208.up = 9.84885780179611;
x209.up = 9.84885780179611;
x210.up = 9.84885780179611;
x211.up = 9.84885780179611;
x212.up = 9.84885780179611;
x213.up = 9.84885780179611;
x214.up = 9.84885780179611;
x215.up = 9.84885780179611;
x216.up = 9.84885780179611;
x217.up = 9.84885780179611;
x218.up = 9.84885780179611;
x219.up = 9.84885780179611;
x220.up = 9.84885780179611;
x221.up = 9.84885780179611;
x222.up = 9.84885780179611;
x223.up = 9.84885780179611;
x224.lo = -9.84885780179611; x224.up = 9.84885780179611;
x225.lo = -9.84885780179611; x225.up = 9.84885780179611;
x226.lo = -9.84885780179611; x226.up = 9.84885780179611;
x227.lo = -9.84885780179611; x227.up = 9.84885780179611;
x228.lo = -9.84885780179611; x228.up = 9.84885780179611;
x229.lo = -9.84885780179611; x229.up = 9.84885780179611;
x230.lo = -9.84885780179611; x230.up = 9.84885780179611;
x231.lo = -9.84885780179611; x231.up = 9.84885780179611;
x232.lo = -9.84885780179611; x232.up = 9.84885780179611;
x233.lo = -9.84885780179611; x233.up = 9.84885780179611;
x234.lo = -9.84885780179611; x234.up = 9.84885780179611;
x235.lo = -9.84885780179611; x235.up = 9.84885780179611;
x236.lo = -9.84885780179611; x236.up = 9.84885780179611;
x237.lo = -9.84885780179611; x237.up = 9.84885780179611;
x238.lo = -9.84885780179611; x238.up = 9.84885780179611;
x239.lo = -9.84885780179611; x239.up = 9.84885780179611;
x240.lo = -9.84885780179611; x240.up = 9.84885780179611;
x241.lo = -9.84885780179611; x241.up = 9.84885780179611;
x242.lo = -9.84885780179611; x242.up = 9.84885780179611;
x243.lo = -9.84885780179611; x243.up = 9.84885780179611;
x244.lo = -9.84885780179611; x244.up = 9.84885780179611;
x245.lo = -9.84885780179611; x245.up = 9.84885780179611;
x246.lo = -9.84885780179611; x246.up = 9.84885780179611;
x247.lo = -9.84885780179611; x247.up = 9.84885780179611;
x248.lo = -9.84885780179611; x248.up = 9.84885780179611;
x249.lo = -9.84885780179611; x249.up = 9.84885780179611;
x250.lo = -9.84885780179611; x250.up = 9.84885780179611;
x251.lo = -9.84885780179611; x251.up = 9.84885780179611;
x252.lo = -9.84885780179611; x252.up = 9.84885780179611;
x253.lo = -9.84885780179611; x253.up = 9.84885780179611;
x254.lo = -9.84885780179611; x254.up = 9.84885780179611;
x255.lo = -9.84885780179611; x255.up = 9.84885780179611;
x256.lo = -9.84885780179611; x256.up = 9.84885780179611;
x257.lo = -9.84885780179611; x257.up = 9.84885780179611;
x258.lo = -9.84885780179611; x258.up = 9.84885780179611;
x259.lo = -9.84885780179611; x259.up = 9.84885780179611;
x260.lo = -9.84885780179611; x260.up = 9.84885780179611;
x261.lo = -9.84885780179611; x261.up = 9.84885780179611;
x262.lo = -9.84885780179611; x262.up = 9.84885780179611;
x263.lo = -9.84885780179611; x263.up = 9.84885780179611;
x264.lo = -9.84885780179611; x264.up = 9.84885780179611;
x265.lo = -9.84885780179611; x265.up = 9.84885780179611;
x266.lo = -9.84885780179611; x266.up = 9.84885780179611;
x267.lo = -9.84885780179611; x267.up = 9.84885780179611;
x268.lo = -9.84885780179611; x268.up = 9.84885780179611;
x269.lo = -9.84885780179611; x269.up = 9.84885780179611;
x270.lo = -9.84885780179611; x270.up = 9.84885780179611;
x271.lo = -9.84885780179611; x271.up = 9.84885780179611;
x272.lo = -9.84885780179611; x272.up = 9.84885780179611;
x273.lo = -9.84885780179611; x273.up = 9.84885780179611;
x274.lo = -9.84885780179611; x274.up = 9.84885780179611;
x275.lo = -9.84885780179611; x275.up = 9.84885780179611;
x276.lo = -9.84885780179611; x276.up = 9.84885780179611;
x277.lo = -9.84885780179611; x277.up = 9.84885780179611;
x278.lo = -9.84885780179611; x278.up = 9.84885780179611;
x279.lo = -9.84885780179611; x279.up = 9.84885780179611;
x280.lo = -9.84885780179611; x280.up = 9.84885780179611;
x281.lo = -9.84885780179611; x281.up = 9.84885780179611;
x282.lo = -9.84885780179611; x282.up = 9.84885780179611;
x283.lo = -9.84885780179611; x283.up = 9.84885780179611;
x284.lo = -9.84885780179611; x284.up = 9.84885780179611;
x285.lo = -9.84885780179611; x285.up = 9.84885780179611;
x286.lo = -9.84885780179611; x286.up = 9.84885780179611;
x287.lo = -9.84885780179611; x287.up = 9.84885780179611;
x288.lo = -9.84885780179611; x288.up = 9.84885780179611;
x289.lo = -9.84885780179611; x289.up = 9.84885780179611;
x290.lo = -9.84885780179611; x290.up = 9.84885780179611;
x291.lo = -9.84885780179611; x291.up = 9.84885780179611;
x292.lo = -9.84885780179611; x292.up = 9.84885780179611;
x293.lo = -9.84885780179611; x293.up = 9.84885780179611;
x294.lo = -9.84885780179611; x294.up = 9.84885780179611;
x295.lo = -9.84885780179611; x295.up = 9.84885780179611;
x296.lo = -9.84885780179611; x296.up = 9.84885780179611;
x297.lo = -9.84885780179611; x297.up = 9.84885780179611;
x298.lo = -9.84885780179611; x298.up = 9.84885780179611;
x299.lo = -9.84885780179611; x299.up = 9.84885780179611;
x300.lo = -9.84885780179611; x300.up = 9.84885780179611;
x301.lo = -9.84885780179611; x301.up = 9.84885780179611;
x302.lo = -9.84885780179611; x302.up = 9.84885780179611;
x303.lo = -9.84885780179611; x303.up = 9.84885780179611;
x304.lo = -9.84885780179611; x304.up = 9.84885780179611;
x305.lo = -9.84885780179611; x305.up = 9.84885780179611;
x306.lo = -9.84885780179611; x306.up = 9.84885780179611;
x307.lo = -9.84885780179611; x307.up = 9.84885780179611;
x308.lo = -9.84885780179611; x308.up = 9.84885780179611;
x309.lo = -9.84885780179611; x309.up = 9.84885780179611;
x310.lo = -9.84885780179611; x310.up = 9.84885780179611;
x311.lo = -9.84885780179611; x311.up = 9.84885780179611;
x312.lo = -9.84885780179611; x312.up = 9.84885780179611;
x313.lo = -9.84885780179611; x313.up = 9.84885780179611;
x314.lo = -1; x314.up = 1;
x315.lo = -1; x315.up = 1;
x316.lo = -1; x316.up = 1;
x317.lo = -1; x317.up = 1;
x318.lo = -1; x318.up = 1;
x319.lo = -1; x319.up = 1;
x320.lo = -1; x320.up = 1;
x321.lo = -1; x321.up = 1;
x322.lo = -1; x322.up = 1;
x323.lo = -1; x323.up = 1;
x324.lo = -1; x324.up = 1;
x325.lo = -1; x325.up = 1;
x326.lo = -1; x326.up = 1;
x327.lo = -1; x327.up = 1;
x328.lo = -1; x328.up = 1;
x329.lo = -1; x329.up = 1;
x330.lo = -1; x330.up = 1;
x331.lo = -1; x331.up = 1;
x332.lo = -1; x332.up = 1;
x333.lo = -1; x333.up = 1;
x334.lo = -1; x334.up = 1;
x335.lo = -1; x335.up = 1;
x336.lo = -1; x336.up = 1;
x337.lo = -1; x337.up = 1;
x338.lo = -1; x338.up = 1;
x339.lo = -1; x339.up = 1;
x340.lo = -1; x340.up = 1;
x341.lo = -1; x341.up = 1;
x342.lo = -1; x342.up = 1;
x343.lo = -1; x343.up = 1;
x344.lo = -1; x344.up = 1;
x345.lo = -1; x345.up = 1;
x346.lo = -1; x346.up = 1;
x347.lo = -1; x347.up = 1;
x348.lo = -1; x348.up = 1;
x349.lo = -1; x349.up = 1;
x350.lo = -1; x350.up = 1;
x351.lo = -1; x351.up = 1;
x352.lo = -1; x352.up = 1;
x353.lo = -1; x353.up = 1;
x354.lo = -1; x354.up = 1;
x355.lo = -1; x355.up = 1;
x356.lo = -1; x356.up = 1;
x357.lo = -1; x357.up = 1;
x358.lo = -1; x358.up = 1;
x359.lo = -1; x359.up = 1;
x360.lo = -1; x360.up = 1;
x361.lo = -1; x361.up = 1;
x362.lo = -1; x362.up = 1;
x363.lo = -1; x363.up = 1;
x364.lo = -1; x364.up = 1;
x365.lo = -1; x365.up = 1;
x366.lo = -1; x366.up = 1;
x367.lo = -1; x367.up = 1;
x368.lo = -1; x368.up = 1;
x369.lo = -1; x369.up = 1;
x370.lo = -1; x370.up = 1;
x371.lo = -1; x371.up = 1;
x372.lo = -1; x372.up = 1;
x373.lo = -1; x373.up = 1;
x374.lo = -1; x374.up = 1;
x375.lo = -1; x375.up = 1;
x376.lo = -1; x376.up = 1;
x377.lo = -1; x377.up = 1;
x378.lo = -1; x378.up = 1;
x379.lo = -1; x379.up = 1;
x380.lo = -1; x380.up = 1;
x381.lo = -1; x381.up = 1;
x382.lo = -1; x382.up = 1;
x383.lo = -1; x383.up = 1;
x384.lo = -1; x384.up = 1;
x385.lo = -1; x385.up = 1;
x386.lo = -9.84885780179611; x386.up = 9.84885780179611;
x387.lo = -9.84885780179611; x387.up = 9.84885780179611;
x388.lo = -9.84885780179611; x388.up = 9.84885780179611;
x389.lo = -9.84885780179611; x389.up = 9.84885780179611;
x390.lo = -9.84885780179611; x390.up = 9.84885780179611;
x391.lo = -9.84885780179611; x391.up = 9.84885780179611;
x392.lo = -9.84885780179611; x392.up = 9.84885780179611;
x393.lo = -9.84885780179611; x393.up = 9.84885780179611;
x394.lo = -9.84885780179611; x394.up = 9.84885780179611;
x395.lo = -9.84885780179611; x395.up = 9.84885780179611;
x396.lo = -9.84885780179611; x396.up = 9.84885780179611;
x397.lo = -9.84885780179611; x397.up = 9.84885780179611;
x398.lo = -9.84885780179611; x398.up = 9.84885780179611;
x399.lo = -9.84885780179611; x399.up = 9.84885780179611;
x400.lo = -9.84885780179611; x400.up = 9.84885780179611;
x401.lo = -9.84885780179611; x401.up = 9.84885780179611;
x402.lo = -9.84885780179611; x402.up = 9.84885780179611;
x403.lo = -9.84885780179611; x403.up = 9.84885780179611;
x404.lo = -9.84885780179611; x404.up = 9.84885780179611;
x405.lo = -9.84885780179611; x405.up = 9.84885780179611;
x406.lo = -9.84885780179611; x406.up = 9.84885780179611;
x407.lo = -9.84885780179611; x407.up = 9.84885780179611;
x408.lo = -9.84885780179611; x408.up = 9.84885780179611;
x409.lo = -9.84885780179611; x409.up = 9.84885780179611;
x410.lo = -9.84885780179611; x410.up = 9.84885780179611;
x411.lo = -9.84885780179611; x411.up = 9.84885780179611;
x412.lo = -9.84885780179611; x412.up = 9.84885780179611;
x413.lo = -9.84885780179611; x413.up = 9.84885780179611;
x414.lo = -9.84885780179611; x414.up = 9.84885780179611;
x415.lo = -9.84885780179611; x415.up = 9.84885780179611;
x416.lo = -9.84885780179611; x416.up = 9.84885780179611;
x417.lo = -9.84885780179611; x417.up = 9.84885780179611;
x418.lo = -9.84885780179611; x418.up = 9.84885780179611;
x419.lo = -9.84885780179611; x419.up = 9.84885780179611;
x420.lo = -9.84885780179611; x420.up = 9.84885780179611;
x421.lo = -9.84885780179611; x421.up = 9.84885780179611;
x422.lo = -9.84885780179611; x422.up = 9.84885780179611;
x423.lo = -9.84885780179611; x423.up = 9.84885780179611;
x424.lo = -9.84885780179611; x424.up = 9.84885780179611;
x425.lo = -9.84885780179611; x425.up = 9.84885780179611;
x426.lo = -9.84885780179611; x426.up = 9.84885780179611;
x427.lo = -9.84885780179611; x427.up = 9.84885780179611;
x428.lo = -9.84885780179611; x428.up = 9.84885780179611;
x429.lo = -9.84885780179611; x429.up = 9.84885780179611;
x430.lo = -9.84885780179611; x430.up = 9.84885780179611;
x431.lo = -9.84885780179611; x431.up = 9.84885780179611;
x432.lo = -9.84885780179611; x432.up = 9.84885780179611;
x433.lo = -9.84885780179611; x433.up = 9.84885780179611;
x434.lo = -9.84885780179611; x434.up = 9.84885780179611;
x435.lo = -9.84885780179611; x435.up = 9.84885780179611;
x436.lo = -9.84885780179611; x436.up = 9.84885780179611;
x437.lo = -9.84885780179611; x437.up = 9.84885780179611;
x438.lo = -9.84885780179611; x438.up = 9.84885780179611;
x439.lo = -9.84885780179611; x439.up = 9.84885780179611;
x440.lo = -9.84885780179611; x440.up = 9.84885780179611;
x441.lo = -9.84885780179611; x441.up = 9.84885780179611;
x442.lo = -9.84885780179611; x442.up = 9.84885780179611;
x443.lo = -9.84885780179611; x443.up = 9.84885780179611;
x444.lo = -9.84885780179611; x444.up = 9.84885780179611;
x445.lo = -9.84885780179611; x445.up = 9.84885780179611;
x446.lo = -9.84885780179611; x446.up = 9.84885780179611;
x447.lo = -9.84885780179611; x447.up = 9.84885780179611;
x448.lo = -9.84885780179611; x448.up = 9.84885780179611;
x449.lo = -9.84885780179611; x449.up = 9.84885780179611;
x450.lo = -9.84885780179611; x450.up = 9.84885780179611;
x451.lo = -9.84885780179611; x451.up = 9.84885780179611;
x452.lo = -9.84885780179611; x452.up = 9.84885780179611;
x453.lo = -9.84885780179611; x453.up = 9.84885780179611;
x454.lo = -9.84885780179611; x454.up = 9.84885780179611;
x455.lo = -9.84885780179611; x455.up = 9.84885780179611;
x456.lo = -9.84885780179611; x456.up = 9.84885780179611;
x457.lo = -9.84885780179611; x457.up = 9.84885780179611;
x458.lo = -9.84885780179611; x458.up = 9.84885780179611;
x459.lo = -9.84885780179611; x459.up = 9.84885780179611;
x460.lo = -9.84885780179611; x460.up = 9.84885780179611;
x461.lo = -9.84885780179611; x461.up = 9.84885780179611;
x462.lo = -9.84885780179611; x462.up = 9.84885780179611;
x463.lo = -9.84885780179611; x463.up = 9.84885780179611;
x464.lo = -9.84885780179611; x464.up = 9.84885780179611;
x465.lo = -9.84885780179611; x465.up = 9.84885780179611;
x466.lo = -9.84885780179611; x466.up = 9.84885780179611;
x467.lo = -9.84885780179611; x467.up = 9.84885780179611;
x468.lo = -9.84885780179611; x468.up = 9.84885780179611;
x469.lo = -9.84885780179611; x469.up = 9.84885780179611;
x470.lo = -9.84885780179611; x470.up = 9.84885780179611;
x471.lo = -9.84885780179611; x471.up = 9.84885780179611;
x472.lo = -9.84885780179611; x472.up = 9.84885780179611;
x473.lo = -9.84885780179611; x473.up = 9.84885780179611;
x474.lo = -9.84885780179611; x474.up = 9.84885780179611;
x475.lo = -9.84885780179611; x475.up = 9.84885780179611;
x476.lo = -9.84885780179611; x476.up = 9.84885780179611;
x477.lo = -9.84885780179611; x477.up = 9.84885780179611;
x478.lo = -9.84885780179611; x478.up = 9.84885780179611;
x479.lo = -9.84885780179611; x479.up = 9.84885780179611;
x480.lo = -9.84885780179611; x480.up = 9.84885780179611;
x481.lo = -9.84885780179611; x481.up = 9.84885780179611;
x482.lo = -9.84885780179611; x482.up = 9.84885780179611;
x483.lo = -9.84885780179611; x483.up = 9.84885780179611;
x484.lo = -9.84885780179611; x484.up = 9.84885780179611;
x485.lo = -9.84885780179611; x485.up = 9.84885780179611;
x486.lo = -9.84885780179611; x486.up = 9.84885780179611;
x487.lo = -9.84885780179611; x487.up = 9.84885780179611;
x488.lo = -9.84885780179611; x488.up = 9.84885780179611;
x489.lo = -9.84885780179611; x489.up = 9.84885780179611;
x490.lo = -9.84885780179611; x490.up = 9.84885780179611;
x491.lo = -9.84885780179611; x491.up = 9.84885780179611;
x492.lo = -9.84885780179611; x492.up = 9.84885780179611;
x493.lo = -9.84885780179611; x493.up = 9.84885780179611;
x494.lo = -9.84885780179611; x494.up = 9.84885780179611;
x495.lo = -9.84885780179611; x495.up = 9.84885780179611;
x496.lo = -9.84885780179611; x496.up = 9.84885780179611;
x497.lo = -9.84885780179611; x497.up = 9.84885780179611;
x498.lo = -9.84885780179611; x498.up = 9.84885780179611;
x499.lo = -9.84885780179611; x499.up = 9.84885780179611;
x500.lo = -9.84885780179611; x500.up = 9.84885780179611;
x501.lo = -9.84885780179611; x501.up = 9.84885780179611;
x502.lo = -9.84885780179611; x502.up = 9.84885780179611;
x503.lo = -9.84885780179611; x503.up = 9.84885780179611;
x504.lo = -9.84885780179611; x504.up = 9.84885780179611;
x505.lo = -9.84885780179611; x505.up = 9.84885780179611;
x506.lo = -9.84885780179611; x506.up = 9.84885780179611;
x507.lo = -9.84885780179611; x507.up = 9.84885780179611;
x508.lo = -9.84885780179611; x508.up = 9.84885780179611;
x509.lo = -9.84885780179611; x509.up = 9.84885780179611;
x510.lo = -9.84885780179611; x510.up = 9.84885780179611;
x511.lo = -9.84885780179611; x511.up = 9.84885780179611;
x512.lo = -9.84885780179611; x512.up = 9.84885780179611;
x513.lo = -9.84885780179611; x513.up = 9.84885780179611;
x514.lo = -9.84885780179611; x514.up = 9.84885780179611;
x515.lo = -9.84885780179611; x515.up = 9.84885780179611;
x516.lo = -9.84885780179611; x516.up = 9.84885780179611;
x517.lo = -9.84885780179611; x517.up = 9.84885780179611;
x518.lo = -9.84885780179611; x518.up = 9.84885780179611;
x519.lo = -9.84885780179611; x519.up = 9.84885780179611;
x520.lo = -9.84885780179611; x520.up = 9.84885780179611;
x521.lo = -9.84885780179611; x521.up = 9.84885780179611;
x522.lo = -9.84885780179611; x522.up = 9.84885780179611;
x523.lo = -9.84885780179611; x523.up = 9.84885780179611;
x524.lo = -9.84885780179611; x524.up = 9.84885780179611;
x525.lo = -9.84885780179611; x525.up = 9.84885780179611;
x526.lo = -9.84885780179611; x526.up = 9.84885780179611;
x527.lo = -9.84885780179611; x527.up = 9.84885780179611;
x528.lo = -9.84885780179611; x528.up = 9.84885780179611;
x529.lo = -9.84885780179611; x529.up = 9.84885780179611;
x530.lo = -9.84885780179611; x530.up = 9.84885780179611;
x531.lo = -9.84885780179611; x531.up = 9.84885780179611;
x532.lo = -9.84885780179611; x532.up = 9.84885780179611;
x533.lo = -9.84885780179611; x533.up = 9.84885780179611;
x534.lo = -9.84885780179611; x534.up = 9.84885780179611;
x535.lo = -9.84885780179611; x535.up = 9.84885780179611;
x536.lo = -9.84885780179611; x536.up = 9.84885780179611;
x537.lo = -9.84885780179611; x537.up = 9.84885780179611;
x538.lo = -9.84885780179611; x538.up = 9.84885780179611;
x539.lo = -9.84885780179611; x539.up = 9.84885780179611;
x540.lo = -9.84885780179611; x540.up = 9.84885780179611;
x541.lo = -9.84885780179611; x541.up = 9.84885780179611;
x542.lo = -9.84885780179611; x542.up = 9.84885780179611;
x543.lo = -9.84885780179611; x543.up = 9.84885780179611;
x544.lo = -9.84885780179611; x544.up = 9.84885780179611;
x545.lo = -9.84885780179611; x545.up = 9.84885780179611;
x546.lo = -9.84885780179611; x546.up = 9.84885780179611;
x547.lo = -9.84885780179611; x547.up = 9.84885780179611;
x548.lo = -9.84885780179611; x548.up = 9.84885780179611;
x549.lo = -9.84885780179611; x549.up = 9.84885780179611;
x550.lo = -9.84885780179611; x550.up = 9.84885780179611;
x551.lo = -9.84885780179611; x551.up = 9.84885780179611;
x552.lo = -9.84885780179611; x552.up = 9.84885780179611;
x553.lo = -9.84885780179611; x553.up = 9.84885780179611;
x554.lo = -9.84885780179611; x554.up = 9.84885780179611;
x555.lo = -9.84885780179611; x555.up = 9.84885780179611;
x556.lo = -9.84885780179611; x556.up = 9.84885780179611;
x557.lo = -9.84885780179611; x557.up = 9.84885780179611;
x558.lo = -9.84885780179611; x558.up = 9.84885780179611;
x559.lo = -9.84885780179611; x559.up = 9.84885780179611;
x560.lo = -9.84885780179611; x560.up = 9.84885780179611;
x561.lo = -9.84885780179611; x561.up = 9.84885780179611;
x562.lo = -9.84885780179611; x562.up = 9.84885780179611;
x563.lo = -9.84885780179611; x563.up = 9.84885780179611;
x564.lo = -9.84885780179611; x564.up = 9.84885780179611;
x565.lo = -9.84885780179611; x565.up = 9.84885780179611;
x566.lo = -0.8; x566.up = 0.8;
x567.lo = -0.5; x567.up = 0.5;
x568.lo = -0.8; x568.up = 0.8;
x569.lo = -0.5; x569.up = 0.5;
x570.lo = -0.8; x570.up = 0.8;
x571.lo = -0.5; x571.up = 0.5;
x572.lo = -0.8; x572.up = 0.8;
x573.lo = -0.5; x573.up = 0.5;
x574.lo = -1; x574.up = 1;
x575.lo = -1; x575.up = 1;
x576.lo = -1; x576.up = 1;
x577.lo = -1; x577.up = 1;
x578.lo = -1; x578.up = 1;
x579.lo = -1; x579.up = 1;
x580.lo = -1; x580.up = 1;
x581.lo = -1; x581.up = 1;
x582.lo = -0.3; x582.up = 0.3;
x583.lo = -0.4; x583.up = 0.4;
x584.lo = -0.3; x584.up = 0.3;
x585.lo = -0.4; x585.up = 0.4;
x586.lo = -0.3; x586.up = 0.3;
x587.lo = -0.4; x587.up = 0.4;
x588.lo = -0.3; x588.up = 0.3;
x589.lo = -0.4; x589.up = 0.4;
x590.lo = 1.2; x590.up = 7.8;
x591.lo = 1.2; x591.up = 2.8;
x592.lo = 0.6; x592.up = 8.4;
x593.lo = 0.6; x593.up = 3.4;
x594.lo = 0.8; x594.up = 8.2;
x595.lo = 0.8; x595.up = 3.2;
x596.lo = 1.7; x596.up = 7.3;
x597.lo = 1.7; x597.up = 2.3;
x598.lo = 1.3; x598.up = 7.7;
x599.lo = 1.3; x599.up = 2.7;
x600.lo = 0.5; x600.up = 8.5;
x601.lo = 0.5; x601.up = 3.5;
x602.up = 9;
x603.up = 4;
x604.up = 9;
x605.up = 4;
x606.up = 9;
x607.up = 4;
x608.up = 9;
x609.up = 4;
x610.up = 9;
x611.up = 4;
x612.up = 9;
x613.up = 4;
x614.up = 9;
x615.up = 4;
x616.up = 9;
x617.up = 4;
x618.up = 9;
x619.up = 4;
x620.up = 9;
x621.up = 4;
x622.up = 9;
x623.up = 4;
x624.up = 9;
x625.up = 4;
x626.up = 9;
x627.up = 4;
x628.up = 9;
x629.up = 4;
x630.up = 9;
x631.up = 4;
x632.up = 9;
x633.up = 4;
objvar.lo = 0; objvar.up = 36;
Model m / all /;
m.limrow=0; m.limcol=0;
m.tolproj=0.0;
$if NOT '%gams.u1%' == '' $include '%gams.u1%'
$if not set NLP $set NLP NLP
Solve m using %NLP% minimizing objvar;
Last updated: 2024-04-02 Git hash: 1dd5fb9b