MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance kall_ellipsoids_tc05a
A set of tri-axial ellipsoids, with given semi-axes, is to be packed into a rectangular box; its widths, lengths and height are subject to lower and upper bounds. We want to minimize the volume of this box and seek an overlap-free placement of the ellipsoids which can take any orientation.
Formatsⓘ | ams gms mod nl osil pip py |
Primal Bounds (infeas ≤ 1e-08)ⓘ | |
Other points (infeas > 1e-08)ⓘ | |
Dual Boundsⓘ | 20.99212211 (ANTIGONE) 20.99212211 (BARON) 20.99212211 (COUENNE) 20.99212211 (LINDO) 20.99212211 (SCIP) |
Referencesⓘ | Kallrath, Josef, Packing ellipsoids into volume-minimizing rectangular boxes, Journal of Global Optimization, 2015. |
Applicationⓘ | Geometry |
Added to libraryⓘ | 26 Apr 2016 |
Problem typeⓘ | NLP |
#Variablesⓘ | 464 |
#Binary Variablesⓘ | 0 |
#Integer Variablesⓘ | 0 |
#Nonlinear Variablesⓘ | 273 |
#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ⓘ | 461 |
#Linear Constraintsⓘ | 140 |
#Quadratic Constraintsⓘ | 195 |
#Polynomial Constraintsⓘ | 126 |
#Signomial Constraintsⓘ | 0 |
#General Nonlinear Constraintsⓘ | 0 |
Operands in Gen. Nonlin. Functionsⓘ | |
Constraints curvatureⓘ | indefinite |
#Nonzeros in Jacobianⓘ | 2639 |
#Nonlinear Nonzeros in Jacobianⓘ | 2008 |
#Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 4581 |
#Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 225 |
#Blocks in Hessian of Lagrangianⓘ | 22 |
Minimal blocksize in Hessian of Lagrangianⓘ | 1 |
Maximal blocksize in Hessian of Lagrangianⓘ | 210 |
Average blocksize in Hessian of Lagrangianⓘ | 12.409091 |
#Semicontinuitiesⓘ | 0 |
#Nonlinear Semicontinuitiesⓘ | 0 |
#SOS type 1ⓘ | 0 |
#SOS type 2ⓘ | 0 |
Minimal coefficientⓘ | 1.4400e-01 |
Maximal coefficientⓘ | 1.1111e+01 |
Infeasibility of initial pointⓘ | 285.6 |
Sparsity Jacobianⓘ | |
Sparsity Hessian of Lagrangianⓘ |
$offlisting * * Equation counts * Total E G L N X C B * 462 427 2 33 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 465 465 0 0 0 0 0 0 * FX 0 * * Nonzero counts * Total const NL DLL * 2641 633 2008 0 * * Solve m using NLP minimizing objvar; Variables objvar,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; Negative Variables x202,x203,x204,x205,x206,x207,x208,x209,x210,x211; Positive Variables x192,x193,x194,x195,x196,x197,x198,x199,x200,x201,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; 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; e1.. objvar - x402 =E= 0; e2.. -x418*x419*x420 + x402 =E= 0; e3.. x47*x51*x55 - x47*x52*x54 - x48*x50*x55 + x48*x53*x52 + x50*x49*x54 - x49* x51*x53 =E= 1; e4.. x56*x60*x64 - x56*x61*x63 - x57*x59*x64 + x57*x62*x61 + x59*x58*x63 - x58* x60*x62 =E= 1; e5.. x65*x69*x73 - x65*x70*x72 - x66*x68*x73 + x66*x71*x70 + x68*x67*x72 - x67* x69*x71 =E= 1; e6.. x74*x78*x82 - x74*x79*x81 - x75*x77*x82 + x75*x80*x79 + x77*x76*x81 - x76* x78*x80 =E= 1; e7.. x83*x87*x91 - x83*x88*x90 - x84*x86*x91 + x84*x89*x88 + x86*x85*x90 - x85* x87*x89 =E= 1; e8.. x212 + x213 + x214 =E= 1; e9.. x215 + x216 + x217 =E= 0; e10.. x218 + x219 + x220 =E= 0; e11.. x221 + x222 + x223 =E= 1; e12.. x224 + x225 + x226 =E= 0; e13.. x227 + x228 + x229 =E= 1; e14.. x230 + x231 + x232 =E= 1; e15.. x233 + x234 + x235 =E= 0; e16.. x236 + x237 + x238 =E= 0; e17.. x239 + x240 + x241 =E= 1; e18.. x242 + x243 + x244 =E= 0; e19.. x245 + x246 + x247 =E= 1; e20.. x248 + x249 + x250 =E= 1; e21.. x251 + x252 + x253 =E= 0; e22.. x254 + x255 + x256 =E= 0; e23.. x257 + x258 + x259 =E= 1; e24.. x260 + x261 + x262 =E= 0; e25.. x263 + x264 + x265 =E= 1; e26.. x266 + x267 + x268 =E= 1; e27.. x269 + x270 + x271 =E= 0; e28.. x272 + x273 + x274 =E= 0; e29.. x275 + x276 + x277 =E= 1; e30.. x278 + x279 + x280 =E= 0; e31.. x281 + x282 + x283 =E= 1; e32.. x284 + x285 + x286 =E= 1; e33.. x287 + x288 + x289 =E= 0; e34.. x290 + x291 + x292 =E= 0; e35.. x293 + x294 + x295 =E= 1; e36.. x296 + x297 + x298 =E= 0; e37.. x299 + x300 + x301 =E= 1; e38.. x2 - 0.25*x212 - 0.444444444444444*x213 - x214 =E= 0; e39.. x3 - 0.25*x215 - 0.444444444444444*x216 - x217 =E= 0; e40.. x4 - 0.25*x218 - 0.444444444444444*x219 - x220 =E= 0; e41.. x6 - 0.25*x221 - 0.444444444444444*x222 - x223 =E= 0; e42.. x7 - 0.25*x224 - 0.444444444444444*x225 - x226 =E= 0; e43.. x10 - 0.25*x227 - 0.444444444444444*x228 - x229 =E= 0; e44.. x11 - 0.444444444444444*x230 - x231 - 2.04081632653061*x232 =E= 0; e45.. x12 - 0.444444444444444*x233 - x234 - 2.04081632653061*x235 =E= 0; e46.. x13 - 0.444444444444444*x236 - x237 - 2.04081632653061*x238 =E= 0; e47.. x15 - 0.444444444444444*x239 - x240 - 2.04081632653061*x241 =E= 0; e48.. x16 - 0.444444444444444*x242 - x243 - 2.04081632653061*x244 =E= 0; e49.. x19 - 0.444444444444444*x245 - x246 - 2.04081632653061*x247 =E= 0; e50.. x20 - x248 - 1.5625*x249 - 2.77777777777778*x250 =E= 0; e51.. x21 - x251 - 1.5625*x252 - 2.77777777777778*x253 =E= 0; e52.. x22 - x254 - 1.5625*x255 - 2.77777777777778*x256 =E= 0; e53.. x24 - x257 - 1.5625*x258 - 2.77777777777778*x259 =E= 0; e54.. x25 - x260 - 1.5625*x261 - 2.77777777777778*x262 =E= 0; e55.. x28 - x263 - 1.5625*x264 - 2.77777777777778*x265 =E= 0; e56.. x29 - 1.23456790123457*x266 - 1.77777777777778*x267 - 4*x268 =E= 0; e57.. x30 - 1.23456790123457*x269 - 1.77777777777778*x270 - 4*x271 =E= 0; e58.. x31 - 1.23456790123457*x272 - 1.77777777777778*x273 - 4*x274 =E= 0; e59.. x33 - 1.23456790123457*x275 - 1.77777777777778*x276 - 4*x277 =E= 0; e60.. x34 - 1.23456790123457*x278 - 1.77777777777778*x279 - 4*x280 =E= 0; e61.. x37 - 1.23456790123457*x281 - 1.77777777777778*x282 - 4*x283 =E= 0; e62.. x38 - 1.5625*x284 - 2.77777777777778*x285 - 11.1111111111111*x286 =E= 0; e63.. x39 - 1.5625*x287 - 2.77777777777778*x288 - 11.1111111111111*x289 =E= 0; e64.. x40 - 1.5625*x290 - 2.77777777777778*x291 - 11.1111111111111*x292 =E= 0; e65.. x42 - 1.5625*x293 - 2.77777777777778*x294 - 11.1111111111111*x295 =E= 0; e66.. x43 - 1.5625*x296 - 2.77777777777778*x297 - 11.1111111111111*x298 =E= 0; e67.. x46 - 1.5625*x299 - 2.77777777777778*x300 - 11.1111111111111*x301 =E= 0; e68.. - x3 + x5 =E= 0; e69.. - x4 + x8 =E= 0; e70.. - x7 + x9 =E= 0; e71.. - x12 + x14 =E= 0; e72.. - x13 + x17 =E= 0; e73.. - x16 + x18 =E= 0; e74.. - x21 + x23 =E= 0; e75.. - x22 + x26 =E= 0; e76.. - x25 + x27 =E= 0; e77.. - x30 + x32 =E= 0; e78.. - x31 + x35 =E= 0; e79.. - x34 + x36 =E= 0; e80.. - x39 + x41 =E= 0; e81.. - x40 + x44 =E= 0; e82.. - x43 + x45 =E= 0; e83.. - x418 + x421 =L= -1; e84.. - x419 + x422 =L= -1; e85.. - x420 + x423 =L= -1; e86.. - x418 + x424 =L= -0.7; e87.. - x419 + x425 =L= -0.7; e88.. - x420 + x426 =L= -0.7; e89.. - x418 + x427 =L= -0.6; e90.. - x419 + x428 =L= -0.6; e91.. - x420 + x429 =L= -0.6; e92.. - x418 + x430 =L= -0.5; e93.. - x419 + x431 =L= -0.5; e94.. - x420 + x432 =L= -0.5; e95.. - x418 + x433 =L= -0.3; e96.. - x419 + x434 =L= -0.3; e97.. - x420 + x435 =L= -0.3; e98.. sqr(x403) - (x6*x10 - x7*x9) =E= 0; e99.. sqr(x406) - (x15*x19 - x16*x18) =E= 0; e100.. sqr(x409) - (x24*x28 - x25*x27) =E= 0; e101.. sqr(x412) - (x33*x37 - x34*x36) =E= 0; e102.. sqr(x415) - (x42*x46 - x43*x45) =E= 0; e103.. sqr(x404) - (x2*x10 - x4*x8) =E= 0; e104.. sqr(x407) - (x11*x19 - x13*x17) =E= 0; e105.. sqr(x410) - (x20*x28 - x22*x26) =E= 0; e106.. sqr(x413) - (x29*x37 - x31*x35) =E= 0; e107.. sqr(x416) - (x38*x46 - x40*x44) =E= 0; e108.. sqr(x405) - (x2*x6 - x3*x5) =E= 0; e109.. sqr(x408) - (x11*x15 - x12*x14) =E= 0; e110.. sqr(x411) - (x20*x24 - x21*x23) =E= 0; e111.. sqr(x414) - (x29*x33 - x30*x32) =E= 0; e112.. sqr(x417) - (x38*x42 - x39*x41) =E= 0; e113.. 3*x403 - x421 + x436 =E= 0; e114.. 3*x404 - x422 + x437 =E= 0; e115.. 3*x405 - x423 + x438 =E= 0; e116.. 1.05*x406 - x424 + x439 =E= 0; e117.. 1.05*x407 - x425 + x440 =E= 0; e118.. 1.05*x408 - x426 + x441 =E= 0; e119.. 0.48*x409 - x427 + x442 =E= 0; e120.. 0.48*x410 - x428 + x443 =E= 0; e121.. 0.48*x411 - x429 + x444 =E= 0; e122.. 0.3375*x412 - x430 + x445 =E= 0; e123.. 0.3375*x413 - x431 + x446 =E= 0; e124.. 0.3375*x414 - x432 + x447 =E= 0; e125.. 0.144*x415 - x433 + x448 =E= 0; e126.. 0.144*x416 - x434 + x449 =E= 0; e127.. 0.144*x417 - x435 + x450 =E= 0; e128.. - 3*x403 - x421 + x451 =E= 0; e129.. - 3*x404 - x422 + x452 =E= 0; e130.. - 3*x405 - x423 + x453 =E= 0; e131.. - 1.05*x406 - x424 + x454 =E= 0; e132.. - 1.05*x407 - x425 + x455 =E= 0; e133.. - 1.05*x408 - x426 + x456 =E= 0; e134.. - 0.48*x409 - x427 + x457 =E= 0; e135.. - 0.48*x410 - x428 + x458 =E= 0; e136.. - 0.48*x411 - x429 + x459 =E= 0; e137.. - 0.3375*x412 - x430 + x460 =E= 0; e138.. - 0.3375*x413 - x431 + x461 =E= 0; e139.. - 0.3375*x414 - x432 + x462 =E= 0; e140.. - 0.144*x415 - x433 + x463 =E= 0; e141.. - 0.144*x416 - x434 + x464 =E= 0; e142.. - 0.144*x417 - x435 + x465 =E= 0; e143.. - x418 + x451 =L= 0; e144.. - x419 + x452 =L= 0; e145.. - x420 + x453 =L= 0; e146.. - x418 + x454 =L= 0; e147.. - x419 + x455 =L= 0; e148.. - x420 + x456 =L= 0; e149.. - x418 + x457 =L= 0; e150.. - x419 + x458 =L= 0; e151.. - x420 + x459 =L= 0; e152.. - x418 + x460 =L= 0; e153.. - x419 + x461 =L= 0; e154.. - x420 + x462 =L= 0; e155.. - x418 + x463 =L= 0; e156.. - x419 + x464 =L= 0; e157.. - x420 + x465 =L= 0; e158.. x418 - x419 =G= 0; e159.. x419 - x420 =G= 0; e160.. - 0.5*x418 + x421 =L= 0; e161.. - 0.5*x419 + x422 =L= 0; e162.. - 0.5*x420 + x423 =L= 0; e163.. sqr(x92) + sqr(x93) + sqr(x94) =E= 1; e164.. sqr(x95) + sqr(x96) + sqr(x97) =E= 1; e165.. sqr(x98) + sqr(x99) + sqr(x100) =E= 1; e166.. sqr(x101) + sqr(x102) + sqr(x103) =E= 1; e167.. sqr(x104) + sqr(x105) + sqr(x106) =E= 1; e168.. sqr(x107) + sqr(x108) + sqr(x109) =E= 1; e169.. sqr(x110) + sqr(x111) + sqr(x112) =E= 1; e170.. sqr(x113) + sqr(x114) + sqr(x115) =E= 1; e171.. sqr(x116) + sqr(x117) + sqr(x118) =E= 1; e172.. sqr(x119) + sqr(x120) + sqr(x121) =E= 1; e173.. -((x132 + x421)*x92 + (x133 + x422)*x93 + (x134 + x423)*x94) + x122 + x192 =E= 0; e174.. -((x135 + x421)*x95 + (x136 + x422)*x96 + (x137 + x423)*x97) + x123 + x193 =E= 0; e175.. -((x138 + x421)*x98 + (x139 + x422)*x99 + (x140 + x423)*x100) + x124 + x194 =E= 0; e176.. -((x141 + x421)*x101 + (x142 + x422)*x102 + (x143 + x423)*x103) + x125 + x195 =E= 0; e177.. -((x144 + x424)*x104 + (x145 + x425)*x105 + (x146 + x426)*x106) + x126 + x196 =E= 0; e178.. -((x147 + x424)*x107 + (x148 + x425)*x108 + (x149 + x426)*x109) + x127 + x197 =E= 0; e179.. -((x150 + x424)*x110 + (x151 + x425)*x111 + (x152 + x426)*x112) + x128 + x198 =E= 0; e180.. -((x153 + x427)*x113 + (x154 + x428)*x114 + (x155 + x429)*x115) + x129 + x199 =E= 0; e181.. -((x156 + x427)*x116 + (x157 + x428)*x117 + (x158 + x429)*x118) + x130 + x200 =E= 0; e182.. -((x159 + x430)*x119 + (x160 + x431)*x120 + (x161 + x432)*x121) + x131 + x201 =E= 0; e183.. -((x162 + x424)*x92 + (x163 + x425)*x93 + (x164 + x426)*x94) + x122 + x202 =E= 0; e184.. -((x165 + x427)*x95 + (x166 + x428)*x96 + (x167 + x429)*x97) + x123 + x203 =E= 0; e185.. -((x168 + x430)*x98 + (x169 + x431)*x99 + (x170 + x432)*x100) + x124 + x204 =E= 0; e186.. -((x171 + x433)*x101 + (x172 + x434)*x102 + (x173 + x435)*x103) + x125 + x205 =E= 0; e187.. -((x174 + x427)*x104 + (x175 + x428)*x105 + (x176 + x429)*x106) + x126 + x206 =E= 0; e188.. -((x177 + x430)*x107 + (x178 + x431)*x108 + (x179 + x432)*x109) + x127 + x207 =E= 0; e189.. -((x180 + x433)*x110 + (x181 + x434)*x111 + (x182 + x435)*x112) + x128 + x208 =E= 0; e190.. -((x183 + x430)*x113 + (x184 + x431)*x114 + (x185 + x432)*x115) + x129 + x209 =E= 0; e191.. -((x186 + x433)*x116 + (x187 + x434)*x117 + (x188 + x435)*x118) + x130 + x210 =E= 0; e192.. -((x189 + x433)*x119 + (x190 + x434)*x120 + (x191 + x435)*x121) + x131 + x211 =E= 0; e193.. -(x2*x132 + x3*x133 + x4*x134) + x302 =E= 0; e194.. -(x5*x132 + x6*x133 + x7*x134) + x303 =E= 0; e195.. -(x8*x132 + x9*x133 + x10*x134) + x304 =E= 0; e196.. -(x2*x135 + x3*x136 + x4*x137) + x305 =E= 0; e197.. -(x5*x135 + x6*x136 + x7*x137) + x306 =E= 0; e198.. -(x8*x135 + x9*x136 + x10*x137) + x307 =E= 0; e199.. -(x2*x138 + x3*x139 + x4*x140) + x308 =E= 0; e200.. -(x5*x138 + x6*x139 + x7*x140) + x309 =E= 0; e201.. -(x8*x138 + x9*x139 + x10*x140) + x310 =E= 0; e202.. -(x2*x141 + x3*x142 + x4*x143) + x311 =E= 0; e203.. -(x5*x141 + x6*x142 + x7*x143) + x312 =E= 0; e204.. -(x8*x141 + x9*x142 + x10*x143) + x313 =E= 0; e205.. -(x11*x144 + x12*x145 + x13*x146) + x314 =E= 0; e206.. -(x14*x144 + x15*x145 + x16*x146) + x315 =E= 0; e207.. -(x17*x144 + x18*x145 + x19*x146) + x316 =E= 0; e208.. -(x11*x147 + x12*x148 + x13*x149) + x317 =E= 0; e209.. -(x14*x147 + x15*x148 + x16*x149) + x318 =E= 0; e210.. -(x17*x147 + x18*x148 + x19*x149) + x319 =E= 0; e211.. -(x11*x150 + x12*x151 + x13*x152) + x320 =E= 0; e212.. -(x14*x150 + x15*x151 + x16*x152) + x321 =E= 0; e213.. -(x17*x150 + x18*x151 + x19*x152) + x322 =E= 0; e214.. -(x20*x153 + x21*x154 + x22*x155) + x323 =E= 0; e215.. -(x23*x153 + x24*x154 + x25*x155) + x324 =E= 0; e216.. -(x26*x153 + x27*x154 + x28*x155) + x325 =E= 0; e217.. -(x20*x156 + x21*x157 + x22*x158) + x326 =E= 0; e218.. -(x23*x156 + x24*x157 + x25*x158) + x327 =E= 0; e219.. -(x26*x156 + x27*x157 + x28*x158) + x328 =E= 0; e220.. -(x29*x159 + x30*x160 + x31*x161) + x329 =E= 0; e221.. -(x32*x159 + x33*x160 + x34*x161) + x330 =E= 0; e222.. -(x35*x159 + x36*x160 + x37*x161) + x331 =E= 0; e223.. -(x11*x162 + x12*x163 + x13*x164) + x332 =E= 0; e224.. -(x14*x162 + x15*x163 + x16*x164) + x333 =E= 0; e225.. -(x17*x162 + x18*x163 + x19*x164) + x334 =E= 0; e226.. -(x20*x165 + x21*x166 + x22*x167) + x335 =E= 0; e227.. -(x23*x165 + x24*x166 + x25*x167) + x336 =E= 0; e228.. -(x26*x165 + x27*x166 + x28*x167) + x337 =E= 0; e229.. -(x29*x168 + x30*x169 + x31*x170) + x338 =E= 0; e230.. -(x32*x168 + x33*x169 + x34*x170) + x339 =E= 0; e231.. -(x35*x168 + x36*x169 + x37*x170) + x340 =E= 0; e232.. -(x38*x171 + x39*x172 + x40*x173) + x341 =E= 0; e233.. -(x41*x171 + x42*x172 + x43*x173) + x342 =E= 0; e234.. -(x44*x171 + x45*x172 + x46*x173) + x343 =E= 0; e235.. -(x20*x174 + x21*x175 + x22*x176) + x344 =E= 0; e236.. -(x23*x174 + x24*x175 + x25*x176) + x345 =E= 0; e237.. -(x26*x174 + x27*x175 + x28*x176) + x346 =E= 0; e238.. -(x29*x177 + x30*x178 + x31*x179) + x347 =E= 0; e239.. -(x32*x177 + x33*x178 + x34*x179) + x348 =E= 0; e240.. -(x35*x177 + x36*x178 + x37*x179) + x349 =E= 0; e241.. -(x38*x180 + x39*x181 + x40*x182) + x350 =E= 0; e242.. -(x41*x180 + x42*x181 + x43*x182) + x351 =E= 0; e243.. -(x44*x180 + x45*x181 + x46*x182) + x352 =E= 0; e244.. -(x29*x183 + x30*x184 + x31*x185) + x353 =E= 0; e245.. -(x32*x183 + x33*x184 + x34*x185) + x354 =E= 0; e246.. -(x35*x183 + x36*x184 + x37*x185) + x355 =E= 0; e247.. -(x38*x186 + x39*x187 + x40*x188) + x356 =E= 0; e248.. -(x41*x186 + x42*x187 + x43*x188) + x357 =E= 0; e249.. -(x44*x186 + x45*x187 + x46*x188) + x358 =E= 0; e250.. -(x38*x189 + x39*x190 + x40*x191) + x359 =E= 0; e251.. -(x41*x189 + x42*x190 + x43*x191) + x360 =E= 0; e252.. -(x44*x189 + x45*x190 + x46*x191) + x361 =E= 0; e253.. x2*x132*x132 + x3*x132*x133 + x4*x132*x134 + x5*x133*x132 + x6*x133*x133 + x7*x133*x134 + x8*x134*x132 + x9*x134*x133 + x10*x134*x134 =E= 1; e254.. x2*x135*x135 + x3*x135*x136 + x4*x135*x137 + x5*x136*x135 + x6*x136*x136 + x7*x136*x137 + x8*x137*x135 + x9*x137*x136 + x10*x137*x137 =E= 1; e255.. x2*x138*x138 + x3*x138*x139 + x4*x138*x140 + x5*x139*x138 + x6*x139*x139 + x7*x139*x140 + x8*x140*x138 + x9*x140*x139 + x10*x140*x140 =E= 1; e256.. x2*x141*x141 + x3*x141*x142 + x4*x141*x143 + x5*x142*x141 + x6*x142*x142 + x7*x142*x143 + x8*x143*x141 + x9*x143*x142 + x10*x143*x143 =E= 1; e257.. x11*x144*x144 + x12*x144*x145 + x13*x144*x146 + x14*x145*x144 + x15*x145 *x145 + x16*x145*x146 + x17*x146*x144 + x18*x146*x145 + x19*x146*x146 =E= 1; e258.. x11*x147*x147 + x12*x147*x148 + x13*x147*x149 + x14*x148*x147 + x15*x148 *x148 + x16*x148*x149 + x17*x149*x147 + x18*x149*x148 + x19*x149*x149 =E= 1; e259.. x11*x150*x150 + x12*x150*x151 + x13*x150*x152 + x14*x151*x150 + x15*x151 *x151 + x16*x151*x152 + x17*x152*x150 + x18*x152*x151 + x19*x152*x152 =E= 1; e260.. x20*x153*x153 + x21*x153*x154 + x22*x153*x155 + x23*x154*x153 + x24*x154 *x154 + x25*x154*x155 + x26*x155*x153 + x27*x155*x154 + x28*x155*x155 =E= 1; e261.. x20*x156*x156 + x21*x156*x157 + x22*x156*x158 + x23*x157*x156 + x24*x157 *x157 + x25*x157*x158 + x26*x158*x156 + x27*x158*x157 + x28*x158*x158 =E= 1; e262.. x29*x159*x159 + x30*x159*x160 + x31*x159*x161 + x32*x160*x159 + x33*x160 *x160 + x34*x160*x161 + x35*x161*x159 + x36*x161*x160 + x37*x161*x161 =E= 1; e263.. x11*x162*x162 + x12*x162*x163 + x13*x162*x164 + x14*x163*x162 + x15*x163 *x163 + x16*x163*x164 + x17*x164*x162 + x18*x164*x163 + x19*x164*x164 =E= 1; e264.. x20*x165*x165 + x21*x165*x166 + x22*x165*x167 + x23*x166*x165 + x24*x166 *x166 + x25*x166*x167 + x26*x167*x165 + x27*x167*x166 + x28*x167*x167 =E= 1; e265.. x29*x168*x168 + x30*x168*x169 + x31*x168*x170 + x32*x169*x168 + x33*x169 *x169 + x34*x169*x170 + x35*x170*x168 + x36*x170*x169 + x37*x170*x170 =E= 1; e266.. x38*x171*x171 + x39*x171*x172 + x40*x171*x173 + x41*x172*x171 + x42*x172 *x172 + x43*x172*x173 + x44*x173*x171 + x45*x173*x172 + x46*x173*x173 =E= 1; e267.. x20*x174*x174 + x21*x174*x175 + x22*x174*x176 + x23*x175*x174 + x24*x175 *x175 + x25*x175*x176 + x26*x176*x174 + x27*x176*x175 + x28*x176*x176 =E= 1; e268.. x29*x177*x177 + x30*x177*x178 + x31*x177*x179 + x32*x178*x177 + x33*x178 *x178 + x34*x178*x179 + x35*x179*x177 + x36*x179*x178 + x37*x179*x179 =E= 1; e269.. x38*x180*x180 + x39*x180*x181 + x40*x180*x182 + x41*x181*x180 + x42*x181 *x181 + x43*x181*x182 + x44*x182*x180 + x45*x182*x181 + x46*x182*x182 =E= 1; e270.. x29*x183*x183 + x30*x183*x184 + x31*x183*x185 + x32*x184*x183 + x33*x184 *x184 + x34*x184*x185 + x35*x185*x183 + x36*x185*x184 + x37*x185*x185 =E= 1; e271.. x38*x186*x186 + x39*x186*x187 + x40*x186*x188 + x41*x187*x186 + x42*x187 *x187 + x43*x187*x188 + x44*x188*x186 + x45*x188*x187 + x46*x188*x188 =E= 1; e272.. x38*x189*x189 + x39*x189*x190 + x40*x189*x191 + x41*x190*x189 + x42*x190 *x190 + x43*x190*x191 + x44*x191*x189 + x45*x191*x190 + x46*x191*x191 =E= 1; e273.. x92 - (x132*x92 + x133*x93 + x134*x94)*(x2*x132 + x5*x133 + x8*x134) =E= 0; e274.. x93 - (x132*x92 + x133*x93 + x134*x94)*(x3*x132 + x6*x133 + x9*x134) =E= 0; e275.. x94 - (x132*x92 + x133*x93 + x134*x94)*(x4*x132 + x7*x133 + x10*x134) =E= 0; e276.. x95 - (x135*x95 + x136*x96 + x137*x97)*(x2*x135 + x5*x136 + x8*x137) =E= 0; e277.. x96 - (x135*x95 + x136*x96 + x137*x97)*(x3*x135 + x6*x136 + x9*x137) =E= 0; e278.. x97 - (x135*x95 + x136*x96 + x137*x97)*(x4*x135 + x7*x136 + x10*x137) =E= 0; e279.. x98 - (x138*x98 + x139*x99 + x140*x100)*(x2*x138 + x5*x139 + x8*x140) =E= 0; e280.. x99 - (x138*x98 + x139*x99 + x140*x100)*(x3*x138 + x6*x139 + x9*x140) =E= 0; e281.. x100 - (x138*x98 + x139*x99 + x140*x100)*(x4*x138 + x7*x139 + x10*x140) =E= 0; e282.. x101 - (x141*x101 + x142*x102 + x143*x103)*(x2*x141 + x5*x142 + x8*x143) =E= 0; e283.. x102 - (x141*x101 + x142*x102 + x143*x103)*(x3*x141 + x6*x142 + x9*x143) =E= 0; e284.. x103 - (x141*x101 + x142*x102 + x143*x103)*(x4*x141 + x7*x142 + x10*x143 ) =E= 0; e285.. x104 - (x144*x104 + x145*x105 + x146*x106)*(x11*x144 + x14*x145 + x17* x146) =E= 0; e286.. x105 - (x144*x104 + x145*x105 + x146*x106)*(x12*x144 + x15*x145 + x18* x146) =E= 0; e287.. x106 - (x144*x104 + x145*x105 + x146*x106)*(x13*x144 + x16*x145 + x19* x146) =E= 0; e288.. x107 - (x147*x107 + x148*x108 + x149*x109)*(x11*x147 + x14*x148 + x17* x149) =E= 0; e289.. x108 - (x147*x107 + x148*x108 + x149*x109)*(x12*x147 + x15*x148 + x18* x149) =E= 0; e290.. x109 - (x147*x107 + x148*x108 + x149*x109)*(x13*x147 + x16*x148 + x19* x149) =E= 0; e291.. x110 - (x150*x110 + x151*x111 + x152*x112)*(x11*x150 + x14*x151 + x17* x152) =E= 0; e292.. x111 - (x150*x110 + x151*x111 + x152*x112)*(x12*x150 + x15*x151 + x18* x152) =E= 0; e293.. x112 - (x150*x110 + x151*x111 + x152*x112)*(x13*x150 + x16*x151 + x19* x152) =E= 0; e294.. x113 - (x153*x113 + x154*x114 + x155*x115)*(x20*x153 + x23*x154 + x26* x155) =E= 0; e295.. x114 - (x153*x113 + x154*x114 + x155*x115)*(x21*x153 + x24*x154 + x27* x155) =E= 0; e296.. x115 - (x153*x113 + x154*x114 + x155*x115)*(x22*x153 + x25*x154 + x28* x155) =E= 0; e297.. x116 - (x156*x116 + x157*x117 + x158*x118)*(x20*x156 + x23*x157 + x26* x158) =E= 0; e298.. x117 - (x156*x116 + x157*x117 + x158*x118)*(x21*x156 + x24*x157 + x27* x158) =E= 0; e299.. x118 - (x156*x116 + x157*x117 + x158*x118)*(x22*x156 + x25*x157 + x28* x158) =E= 0; e300.. x119 - (x159*x119 + x160*x120 + x161*x121)*(x29*x159 + x32*x160 + x35* x161) =E= 0; e301.. x120 - (x159*x119 + x160*x120 + x161*x121)*(x30*x159 + x33*x160 + x36* x161) =E= 0; e302.. x121 - (x159*x119 + x160*x120 + x161*x121)*(x31*x159 + x34*x160 + x37* x161) =E= 0; e303.. x92 - (x162*x92 + x163*x93 + x164*x94)*(x11*x162 + x14*x163 + x17*x164) =E= 0; e304.. x93 - (x162*x92 + x163*x93 + x164*x94)*(x12*x162 + x15*x163 + x18*x164) =E= 0; e305.. x94 - (x162*x92 + x163*x93 + x164*x94)*(x13*x162 + x16*x163 + x19*x164) =E= 0; e306.. x95 - (x165*x95 + x166*x96 + x167*x97)*(x20*x165 + x23*x166 + x26*x167) =E= 0; e307.. x96 - (x165*x95 + x166*x96 + x167*x97)*(x21*x165 + x24*x166 + x27*x167) =E= 0; e308.. x97 - (x165*x95 + x166*x96 + x167*x97)*(x22*x165 + x25*x166 + x28*x167) =E= 0; e309.. x98 - (x168*x98 + x169*x99 + x170*x100)*(x29*x168 + x32*x169 + x35*x170) =E= 0; e310.. x99 - (x168*x98 + x169*x99 + x170*x100)*(x30*x168 + x33*x169 + x36*x170) =E= 0; e311.. x100 - (x168*x98 + x169*x99 + x170*x100)*(x31*x168 + x34*x169 + x37*x170 ) =E= 0; e312.. x101 - (x171*x101 + x172*x102 + x173*x103)*(x38*x171 + x41*x172 + x44* x173) =E= 0; e313.. x102 - (x171*x101 + x172*x102 + x173*x103)*(x39*x171 + x42*x172 + x45* x173) =E= 0; e314.. x103 - (x171*x101 + x172*x102 + x173*x103)*(x40*x171 + x43*x172 + x46* x173) =E= 0; e315.. x104 - (x174*x104 + x175*x105 + x176*x106)*(x20*x174 + x23*x175 + x26* x176) =E= 0; e316.. x105 - (x174*x104 + x175*x105 + x176*x106)*(x21*x174 + x24*x175 + x27* x176) =E= 0; e317.. x106 - (x174*x104 + x175*x105 + x176*x106)*(x22*x174 + x25*x175 + x28* x176) =E= 0; e318.. x107 - (x177*x107 + x178*x108 + x179*x109)*(x29*x177 + x32*x178 + x35* x179) =E= 0; e319.. x108 - (x177*x107 + x178*x108 + x179*x109)*(x30*x177 + x33*x178 + x36* x179) =E= 0; e320.. x109 - (x177*x107 + x178*x108 + x179*x109)*(x31*x177 + x34*x178 + x37* x179) =E= 0; e321.. x110 - (x180*x110 + x181*x111 + x182*x112)*(x38*x180 + x41*x181 + x44* x182) =E= 0; e322.. x111 - (x180*x110 + x181*x111 + x182*x112)*(x39*x180 + x42*x181 + x45* x182) =E= 0; e323.. x112 - (x180*x110 + x181*x111 + x182*x112)*(x40*x180 + x43*x181 + x46* x182) =E= 0; e324.. x113 - (x183*x113 + x184*x114 + x185*x115)*(x29*x183 + x32*x184 + x35* x185) =E= 0; e325.. x114 - (x183*x113 + x184*x114 + x185*x115)*(x30*x183 + x33*x184 + x36* x185) =E= 0; e326.. x115 - (x183*x113 + x184*x114 + x185*x115)*(x31*x183 + x34*x184 + x37* x185) =E= 0; e327.. x116 - (x186*x116 + x187*x117 + x188*x118)*(x38*x186 + x41*x187 + x44* x188) =E= 0; e328.. x117 - (x186*x116 + x187*x117 + x188*x118)*(x39*x186 + x42*x187 + x45* x188) =E= 0; e329.. x118 - (x186*x116 + x187*x117 + x188*x118)*(x40*x186 + x43*x187 + x46* x188) =E= 0; e330.. x119 - (x189*x119 + x190*x120 + x191*x121)*(x38*x189 + x41*x190 + x44* x191) =E= 0; e331.. x120 - (x189*x119 + x190*x120 + x191*x121)*(x39*x189 + x42*x190 + x45* x191) =E= 0; e332.. x121 - (x189*x119 + x190*x120 + x191*x121)*(x40*x189 + x43*x190 + x46* x191) =E= 0; e333.. -x47*x47 + x212 =E= 0; e334.. -x48*x48 + x213 =E= 0; e335.. -x49*x49 + x214 =E= 0; e336.. -x47*x50 + x215 =E= 0; e337.. -x48*x51 + x216 =E= 0; e338.. -x49*x52 + x217 =E= 0; e339.. -x47*x53 + x218 =E= 0; e340.. -x48*x54 + x219 =E= 0; e341.. -x49*x55 + x220 =E= 0; e342.. -x50*x50 + x221 =E= 0; e343.. -x51*x51 + x222 =E= 0; e344.. -x52*x52 + x223 =E= 0; e345.. -x50*x53 + x224 =E= 0; e346.. -x51*x54 + x225 =E= 0; e347.. -x52*x55 + x226 =E= 0; e348.. -x53*x53 + x227 =E= 0; e349.. -x54*x54 + x228 =E= 0; e350.. -x55*x55 + x229 =E= 0; e351.. -x56*x56 + x230 =E= 0; e352.. -x57*x57 + x231 =E= 0; e353.. -x58*x58 + x232 =E= 0; e354.. -x56*x59 + x233 =E= 0; e355.. -x57*x60 + x234 =E= 0; e356.. -x58*x61 + x235 =E= 0; e357.. -x56*x62 + x236 =E= 0; e358.. -x57*x63 + x237 =E= 0; e359.. -x58*x64 + x238 =E= 0; e360.. -x59*x59 + x239 =E= 0; e361.. -x60*x60 + x240 =E= 0; e362.. -x61*x61 + x241 =E= 0; e363.. -x59*x62 + x242 =E= 0; e364.. -x60*x63 + x243 =E= 0; e365.. -x61*x64 + x244 =E= 0; e366.. -x62*x62 + x245 =E= 0; e367.. -x63*x63 + x246 =E= 0; e368.. -x64*x64 + x247 =E= 0; e369.. -x65*x65 + x248 =E= 0; e370.. -x66*x66 + x249 =E= 0; e371.. -x67*x67 + x250 =E= 0; e372.. -x65*x68 + x251 =E= 0; e373.. -x66*x69 + x252 =E= 0; e374.. -x67*x70 + x253 =E= 0; e375.. -x65*x71 + x254 =E= 0; e376.. -x66*x72 + x255 =E= 0; e377.. -x67*x73 + x256 =E= 0; e378.. -x68*x68 + x257 =E= 0; e379.. -x69*x69 + x258 =E= 0; e380.. -x70*x70 + x259 =E= 0; e381.. -x68*x71 + x260 =E= 0; e382.. -x69*x72 + x261 =E= 0; e383.. -x70*x73 + x262 =E= 0; e384.. -x71*x71 + x263 =E= 0; e385.. -x72*x72 + x264 =E= 0; e386.. -x73*x73 + x265 =E= 0; e387.. -x74*x74 + x266 =E= 0; e388.. -x75*x75 + x267 =E= 0; e389.. -x76*x76 + x268 =E= 0; e390.. -x74*x77 + x269 =E= 0; e391.. -x75*x78 + x270 =E= 0; e392.. -x76*x79 + x271 =E= 0; e393.. -x74*x80 + x272 =E= 0; e394.. -x75*x81 + x273 =E= 0; e395.. -x76*x82 + x274 =E= 0; e396.. -x77*x77 + x275 =E= 0; e397.. -x78*x78 + x276 =E= 0; e398.. -x79*x79 + x277 =E= 0; e399.. -x77*x80 + x278 =E= 0; e400.. -x78*x81 + x279 =E= 0; e401.. -x79*x82 + x280 =E= 0; e402.. -x80*x80 + x281 =E= 0; e403.. -x81*x81 + x282 =E= 0; e404.. -x82*x82 + x283 =E= 0; e405.. -x83*x83 + x284 =E= 0; e406.. -x84*x84 + x285 =E= 0; e407.. -x85*x85 + x286 =E= 0; e408.. -x83*x86 + x287 =E= 0; e409.. -x84*x87 + x288 =E= 0; e410.. -x85*x88 + x289 =E= 0; e411.. -x83*x89 + x290 =E= 0; e412.. -x84*x90 + x291 =E= 0; e413.. -x85*x91 + x292 =E= 0; e414.. -x86*x86 + x293 =E= 0; e415.. -x87*x87 + x294 =E= 0; e416.. -x88*x88 + x295 =E= 0; e417.. -x86*x89 + x296 =E= 0; e418.. -x87*x90 + x297 =E= 0; e419.. -x88*x91 + x298 =E= 0; e420.. -x89*x89 + x299 =E= 0; e421.. -x90*x90 + x300 =E= 0; e422.. -x91*x91 + x301 =E= 0; e423.. -(2*x302*x303*x3*x10 - 2*x302*x303*x4*x7 - 2*x302*x304*x3*x7 + 2*x302* x304*x4*x6 + 2*x303*x304*x2*x7 - 2*x303*x304*x3*x4 - x304*x304*x2*x6 - x303*x303*x2*x10 - x302*x302*x6*x10 + x302*x302*x7*x7 + x303*x303*x4*x4 + x304*x304*x3*x3) + x362 =E= 0; e424.. -(2*x305*x306*x3*x10 - 2*x305*x306*x4*x7 - 2*x305*x307*x3*x7 + 2*x305* x307*x4*x6 + 2*x306*x307*x2*x7 - 2*x306*x307*x3*x4 - x307*x307*x2*x6 - x306*x306*x2*x10 - x305*x305*x6*x10 + x305*x305*x7*x7 + x306*x306*x4*x4 + x307*x307*x3*x3) + x363 =E= 0; e425.. -(2*x308*x309*x3*x10 - 2*x308*x309*x4*x7 - 2*x308*x310*x3*x7 + 2*x308* x310*x4*x6 + 2*x309*x310*x2*x7 - 2*x309*x310*x3*x4 - x310*x310*x2*x6 - x309*x309*x2*x10 - x308*x308*x6*x10 + x308*x308*x7*x7 + x309*x309*x4*x4 + x310*x310*x3*x3) + x364 =E= 0; e426.. -(2*x311*x312*x3*x10 - 2*x311*x312*x4*x7 - 2*x311*x313*x3*x7 + 2*x311* x313*x4*x6 + 2*x312*x313*x2*x7 - 2*x312*x313*x3*x4 - x313*x313*x2*x6 - x312*x312*x2*x10 - x311*x311*x6*x10 + x311*x311*x7*x7 + x312*x312*x4*x4 + x313*x313*x3*x3) + x365 =E= 0; e427.. -(2*x314*x315*x12*x19 - 2*x314*x315*x13*x16 - 2*x314*x316*x12*x16 + 2* x314*x316*x13*x15 + 2*x315*x316*x11*x16 - 2*x315*x316*x12*x13 - x316* x316*x11*x15 - x315*x315*x11*x19 - x314*x314*x15*x19 + x314*x314*x16*x16 + x315*x315*x13*x13 + x316*x316*x12*x12) + x366 =E= 0; e428.. -(2*x317*x318*x12*x19 - 2*x317*x318*x13*x16 - 2*x317*x319*x12*x16 + 2* x317*x319*x13*x15 + 2*x318*x319*x11*x16 - 2*x318*x319*x12*x13 - x319* x319*x11*x15 - x318*x318*x11*x19 - x317*x317*x15*x19 + x317*x317*x16*x16 + x318*x318*x13*x13 + x319*x319*x12*x12) + x367 =E= 0; e429.. -(2*x320*x321*x12*x19 - 2*x320*x321*x13*x16 - 2*x320*x322*x12*x16 + 2* x320*x322*x13*x15 + 2*x321*x322*x11*x16 - 2*x321*x322*x12*x13 - x322* x322*x11*x15 - x321*x321*x11*x19 - x320*x320*x15*x19 + x320*x320*x16*x16 + x321*x321*x13*x13 + x322*x322*x12*x12) + x368 =E= 0; e430.. -(2*x323*x324*x21*x28 - 2*x323*x324*x22*x25 - 2*x323*x325*x21*x25 + 2* x323*x325*x22*x24 + 2*x324*x325*x20*x25 - 2*x324*x325*x21*x22 - x325* x325*x20*x24 - x324*x324*x20*x28 - x323*x323*x24*x28 + x323*x323*x25*x25 + x324*x324*x22*x22 + x325*x325*x21*x21) + x369 =E= 0; e431.. -(2*x326*x327*x21*x28 - 2*x326*x327*x22*x25 - 2*x326*x328*x21*x25 + 2* x326*x328*x22*x24 + 2*x327*x328*x20*x25 - 2*x327*x328*x21*x22 - x328* x328*x20*x24 - x327*x327*x20*x28 - x326*x326*x24*x28 + x326*x326*x25*x25 + x327*x327*x22*x22 + x328*x328*x21*x21) + x370 =E= 0; e432.. -(2*x329*x330*x30*x37 - 2*x329*x330*x31*x34 - 2*x329*x331*x30*x34 + 2* x329*x331*x31*x33 + 2*x330*x331*x29*x34 - 2*x330*x331*x30*x31 - x331* x331*x29*x33 - x330*x330*x29*x37 - x329*x329*x33*x37 + x329*x329*x34*x34 + x330*x330*x31*x31 + x331*x331*x30*x30) + x371 =E= 0; e433.. -(2*x332*x333*x12*x19 - 2*x332*x333*x13*x16 - 2*x332*x334*x12*x16 + 2* x332*x334*x13*x15 + 2*x333*x334*x11*x16 - 2*x333*x334*x12*x13 - x334* x334*x11*x15 - x333*x333*x11*x19 - x332*x332*x15*x19 + x332*x332*x16*x16 + x333*x333*x13*x13 + x334*x334*x12*x12) + x372 =E= 0; e434.. -(2*x335*x336*x21*x28 - 2*x335*x336*x22*x25 - 2*x335*x337*x21*x25 + 2* x335*x337*x22*x24 + 2*x336*x337*x20*x25 - 2*x336*x337*x21*x22 - x337* x337*x20*x24 - x336*x336*x20*x28 - x335*x335*x24*x28 + x335*x335*x25*x25 + x336*x336*x22*x22 + x337*x337*x21*x21) + x373 =E= 0; e435.. -(2*x338*x339*x30*x37 - 2*x338*x339*x31*x34 - 2*x338*x340*x30*x34 + 2* x338*x340*x31*x33 + 2*x339*x340*x29*x34 - 2*x339*x340*x30*x31 - x340* x340*x29*x33 - x339*x339*x29*x37 - x338*x338*x33*x37 + x338*x338*x34*x34 + x339*x339*x31*x31 + x340*x340*x30*x30) + x374 =E= 0; e436.. -(2*x341*x342*x39*x46 - 2*x341*x342*x40*x43 - 2*x341*x343*x39*x43 + 2* x341*x343*x40*x42 + 2*x342*x343*x38*x43 - 2*x342*x343*x39*x40 - x343* x343*x38*x42 - x342*x342*x38*x46 - x341*x341*x42*x46 + x341*x341*x43*x43 + x342*x342*x40*x40 + x343*x343*x39*x39) + x375 =E= 0; e437.. -(2*x344*x345*x21*x28 - 2*x344*x345*x22*x25 - 2*x344*x346*x21*x25 + 2* x344*x346*x22*x24 + 2*x345*x346*x20*x25 - 2*x345*x346*x21*x22 - x346* x346*x20*x24 - x345*x345*x20*x28 - x344*x344*x24*x28 + x344*x344*x25*x25 + x345*x345*x22*x22 + x346*x346*x21*x21) + x376 =E= 0; e438.. -(2*x347*x348*x30*x37 - 2*x347*x348*x31*x34 - 2*x347*x349*x30*x34 + 2* x347*x349*x31*x33 + 2*x348*x349*x29*x34 - 2*x348*x349*x30*x31 - x349* x349*x29*x33 - x348*x348*x29*x37 - x347*x347*x33*x37 + x347*x347*x34*x34 + x348*x348*x31*x31 + x349*x349*x30*x30) + x377 =E= 0; e439.. -(2*x350*x351*x39*x46 - 2*x350*x351*x40*x43 - 2*x350*x352*x39*x43 + 2* x350*x352*x40*x42 + 2*x351*x352*x38*x43 - 2*x351*x352*x39*x40 - x352* x352*x38*x42 - x351*x351*x38*x46 - x350*x350*x42*x46 + x350*x350*x43*x43 + x351*x351*x40*x40 + x352*x352*x39*x39) + x378 =E= 0; e440.. -(2*x353*x354*x30*x37 - 2*x353*x354*x31*x34 - 2*x353*x355*x30*x34 + 2* x353*x355*x31*x33 + 2*x354*x355*x29*x34 - 2*x354*x355*x30*x31 - x355* x355*x29*x33 - x354*x354*x29*x37 - x353*x353*x33*x37 + x353*x353*x34*x34 + x354*x354*x31*x31 + x355*x355*x30*x30) + x379 =E= 0; e441.. -(2*x356*x357*x39*x46 - 2*x356*x357*x40*x43 - 2*x356*x358*x39*x43 + 2* x356*x358*x40*x42 + 2*x357*x358*x38*x43 - 2*x357*x358*x39*x40 - x358* x358*x38*x42 - x357*x357*x38*x46 - x356*x356*x42*x46 + x356*x356*x43*x43 + x357*x357*x40*x40 + x358*x358*x39*x39) + x380 =E= 0; e442.. -(2*x359*x360*x39*x46 - 2*x359*x360*x40*x43 - 2*x359*x361*x39*x43 + 2* x359*x361*x40*x42 + 2*x360*x361*x38*x43 - 2*x360*x361*x39*x40 - x361* x361*x38*x42 - x360*x360*x38*x46 - x359*x359*x42*x46 + x359*x359*x43*x43 + x360*x360*x40*x40 + x361*x361*x39*x39) + x381 =E= 0; e443.. -(x303*x303*(x132*x92 + x133*x93 + x134*x94)*x2 - 2*x302*x303*(x132*x92 + x133*x93 + x134*x94)*x3 + x302*x302*(x132*x92 + x133*x93 + x134*x94)* x6) + x382 =E= 0; e444.. -(x306*x306*(x135*x95 + x136*x96 + x137*x97)*x2 - 2*x305*x306*(x135*x95 + x136*x96 + x137*x97)*x3 + x305*x305*(x135*x95 + x136*x96 + x137*x97)* x6) + x383 =E= 0; e445.. -(x309*x309*(x138*x98 + x139*x99 + x140*x100)*x2 - 2*x308*x309*(x138*x98 + x139*x99 + x140*x100)*x3 + x308*x308*(x138*x98 + x139*x99 + x140*x100 )*x6) + x384 =E= 0; e446.. -(x312*x312*(x141*x101 + x142*x102 + x143*x103)*x2 - 2*x311*x312*(x141* x101 + x142*x102 + x143*x103)*x3 + x311*x311*(x141*x101 + x142*x102 + x143*x103)*x6) + x385 =E= 0; e447.. -(x315*x315*(x144*x104 + x145*x105 + x146*x106)*x11 - 2*x314*x315*(x144* x104 + x145*x105 + x146*x106)*x12 + x314*x314*(x144*x104 + x145*x105 + x146*x106)*x15) + x386 =E= 0; e448.. -(x318*x318*(x147*x107 + x148*x108 + x149*x109)*x11 - 2*x317*x318*(x147* x107 + x148*x108 + x149*x109)*x12 + x317*x317*(x147*x107 + x148*x108 + x149*x109)*x15) + x387 =E= 0; e449.. -(x321*x321*(x150*x110 + x151*x111 + x152*x112)*x11 - 2*x320*x321*(x150* x110 + x151*x111 + x152*x112)*x12 + x320*x320*(x150*x110 + x151*x111 + x152*x112)*x15) + x388 =E= 0; e450.. -(x324*x324*(x153*x113 + x154*x114 + x155*x115)*x20 - 2*x323*x324*(x153* x113 + x154*x114 + x155*x115)*x21 + x323*x323*(x153*x113 + x154*x114 + x155*x115)*x24) + x389 =E= 0; e451.. -(x327*x327*(x156*x116 + x157*x117 + x158*x118)*x20 - 2*x326*x327*(x156* x116 + x157*x117 + x158*x118)*x21 + x326*x326*(x156*x116 + x157*x117 + x158*x118)*x24) + x390 =E= 0; e452.. -(x330*x330*(x159*x119 + x160*x120 + x161*x121)*x29 - 2*x329*x330*(x159* x119 + x160*x120 + x161*x121)*x30 + x329*x329*(x159*x119 + x160*x120 + x161*x121)*x33) + x391 =E= 0; e453.. -(x333*x333*(x162*x92 + x163*x93 + x164*x94)*x11 - 2*x332*x333*(x162*x92 + x163*x93 + x164*x94)*x12 + x332*x332*(x162*x92 + x163*x93 + x164*x94) *x15) + x392 =E= 0; e454.. -(x336*x336*(x165*x95 + x166*x96 + x167*x97)*x20 - 2*x335*x336*(x165*x95 + x166*x96 + x167*x97)*x21 + x335*x335*(x165*x95 + x166*x96 + x167*x97) *x24) + x393 =E= 0; e455.. -(x339*x339*(x168*x98 + x169*x99 + x170*x100)*x29 - 2*x338*x339*(x168* x98 + x169*x99 + x170*x100)*x30 + x338*x338*(x168*x98 + x169*x99 + x170* x100)*x33) + x394 =E= 0; e456.. -(x342*x342*(x171*x101 + x172*x102 + x173*x103)*x38 - 2*x341*x342*(x171* x101 + x172*x102 + x173*x103)*x39 + x341*x341*(x171*x101 + x172*x102 + x173*x103)*x42) + x395 =E= 0; e457.. -(x345*x345*(x174*x104 + x175*x105 + x176*x106)*x20 - 2*x344*x345*(x174* x104 + x175*x105 + x176*x106)*x21 + x344*x344*(x174*x104 + x175*x105 + x176*x106)*x24) + x396 =E= 0; e458.. -(x348*x348*(x177*x107 + x178*x108 + x179*x109)*x29 - 2*x347*x348*(x177* x107 + x178*x108 + x179*x109)*x30 + x347*x347*(x177*x107 + x178*x108 + x179*x109)*x33) + x397 =E= 0; e459.. -(x351*x351*(x180*x110 + x181*x111 + x182*x112)*x38 - 2*x350*x351*(x180* x110 + x181*x111 + x182*x112)*x39 + x350*x350*(x180*x110 + x181*x111 + x182*x112)*x42) + x398 =E= 0; e460.. -(x354*x354*(x183*x113 + x184*x114 + x185*x115)*x29 - 2*x353*x354*(x183* x113 + x184*x114 + x185*x115)*x30 + x353*x353*(x183*x113 + x184*x114 + x185*x115)*x33) + x399 =E= 0; e461.. -(x357*x357*(x186*x116 + x187*x117 + x188*x118)*x38 - 2*x356*x357*(x186* x116 + x187*x117 + x188*x118)*x39 + x356*x356*(x186*x116 + x187*x117 + x188*x118)*x42) + x400 =E= 0; e462.. -(x360*x360*(x189*x119 + x190*x120 + x191*x121)*x38 - 2*x359*x360*(x189* x119 + x190*x120 + x191*x121)*x39 + x359*x359*(x189*x119 + x190*x120 + x191*x121)*x42) + x401 =E= 0; * set non-default bounds x2.lo = -1.00010000009147; x2.up = 1.00010000009147; x3.lo = -0.37510000000391; x3.up = 0.37510000000391; x4.lo = -0.375100000002826; x4.up = 0.375100000002826; x5.lo = -0.37500000000391; x5.up = 0.37500000000391; x6.lo = -1.0001; x6.up = 1.0001; x7.lo = -0.3751; x7.up = 0.3751; x8.lo = -0.375000000002826; x8.up = 0.375000000002826; x9.lo = -0.375; x9.up = 0.375; x10.lo = -1.00009999999996; x10.up = 1.00009999999996; x11.lo = -2.04091632653061; x11.up = 2.04091632653061; x12.lo = -0.798285941042815; x12.up = 0.798285941042815; x13.lo = -0.798285941070703; x13.up = 0.798285941070703; x14.lo = -0.798185941042815; x14.up = 0.798185941042815; x15.lo = -2.04091632748181; x15.up = 2.04091632748181; x16.lo = -0.798285941043221; x16.up = 0.798285941043221; x17.lo = -0.798185941070703; x17.up = 0.798185941070703; x18.lo = -0.798185941043221; x18.up = 0.798185941043221; x19.lo = -2.04091632653061; x19.up = 2.04091632653061; x20.lo = -2.77787777777863; x20.up = 2.77787777777863; x21.lo = -0.888988888888889; x21.up = 0.888988888888889; x22.lo = -0.888988889038592; x22.up = 0.888988889038592; x23.lo = -0.888888888888889; x23.up = 0.888888888888889; x24.lo = -2.77787777795214; x24.up = 2.77787777795214; x25.lo = -0.888988888894225; x25.up = 0.888988888894225; x26.lo = -0.888888889038592; x26.up = 0.888888889038592; x27.lo = -0.888888888894225; x27.up = 0.888888888894225; x28.lo = -2.77787777794733; x28.up = 2.77787777794733; x29.lo = -4.00010000000016; x29.up = 4.00010000000016; x30.lo = -1.38281604940189; x30.up = 1.38281604940189; x31.lo = -1.38281604940744; x31.up = 1.38281604940744; x32.lo = -1.38271604940189; x32.up = 1.38271604940189; x33.lo = -4.00009999999942; x33.up = 4.00009999999942; x34.lo = -1.38281604938428; x34.up = 1.38281604938428; x35.lo = -1.38271604940744; x35.up = 1.38271604940744; x36.lo = -1.38271604938428; x36.up = 1.38271604938428; x37.lo = -4.0001000000063; x37.up = 4.0001000000063; x38.lo = -11.1112111135878; x38.up = 11.1112111135878; x39.lo = -4.77440555556658; x39.up = 4.77440555556658; x40.lo = -4.77440555557961; x40.up = 4.77440555557961; x41.lo = -4.77430555556658; x41.up = 4.77430555556658; x42.lo = -11.111211111111; x42.up = 11.111211111111; x43.lo = -4.77440555555963; x43.up = 4.77440555555963; x44.lo = -4.77430555557961; x44.up = 4.77430555557961; x45.lo = -4.77430555555963; x45.up = 4.77430555555963; x46.lo = -11.1112111111109; x46.up = 11.1112111111109; x47.lo = -1; x47.up = 1; x48.lo = -1; x48.up = 1; x49.lo = -1; x49.up = 1; x50.lo = -1; x50.up = 1; x51.lo = -1; x51.up = 1; x52.lo = -1; x52.up = 1; x53.lo = -1; x53.up = 1; x54.lo = -1; x54.up = 1; x55.lo = -1; x55.up = 1; 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.lo = -1; x68.up = 1; x69.lo = -1; x69.up = 1; x70.lo = -1; x70.up = 1; x71.lo = -1; x71.up = 1; x72.lo = -1; x72.up = 1; x73.lo = -1; x73.up = 1; x74.lo = -1; x74.up = 1; x75.lo = -1; x75.up = 1; x76.lo = -1; x76.up = 1; x77.lo = -1; x77.up = 1; x78.lo = -1; x78.up = 1; x79.lo = -1; x79.up = 1; x80.lo = -1; x80.up = 1; x81.lo = -1; x81.up = 1; x82.lo = -1; x82.up = 1; x83.lo = -1; x83.up = 1; x84.lo = -1; x84.up = 1; x85.lo = -1; x85.up = 1; x86.lo = -1; x86.up = 1; x87.lo = -1; x87.up = 1; x88.lo = -1; x88.up = 1; x89.lo = -1; x89.up = 1; x90.lo = -1; x90.up = 1; x91.lo = -1; x91.up = 1; x92.lo = -1; x92.up = 1; x93.lo = -1; x93.up = 1; x94.lo = -1; x94.up = 1; x95.lo = -1; x95.up = 1; x96.lo = -1; x96.up = 1; x97.lo = -1; x97.up = 1; x98.lo = -1; x98.up = 1; x99.lo = -1; x99.up = 1; x100.lo = -1; x100.up = 1; x101.lo = -1; x101.up = 1; x102.lo = -1; x102.up = 1; x103.lo = -1; x103.up = 1; x104.lo = -1; x104.up = 1; x105.lo = -1; x105.up = 1; x106.lo = -1; x106.up = 1; x107.lo = -1; x107.up = 1; x108.lo = -1; x108.up = 1; x109.lo = -1; x109.up = 1; x110.lo = -1; x110.up = 1; x111.lo = -1; x111.up = 1; x112.lo = -1; x112.up = 1; x113.lo = -1; x113.up = 1; x114.lo = -1; x114.up = 1; x115.lo = -1; x115.up = 1; x116.lo = -1; x116.up = 1; x117.lo = -1; x117.up = 1; x118.lo = -1; x118.up = 1; x119.lo = -1; x119.up = 1; x120.lo = -1; x120.up = 1; x121.lo = -1; x121.up = 1; x122.lo = -10; x122.up = 10; x123.lo = -10; x123.up = 10; x124.lo = -10; x124.up = 10; x125.lo = -10; x125.up = 10; x126.lo = -10; x126.up = 10; x127.lo = -10; x127.up = 10; x128.lo = -10; x128.up = 10; x129.lo = -10; x129.up = 10; x130.lo = -10; x130.up = 10; x131.lo = -10; x131.up = 10; x132.lo = -2; x132.up = 2; x133.lo = -2; x133.up = 2; x134.lo = -2; x134.up = 2; x135.lo = -2; x135.up = 2; x136.lo = -2; x136.up = 2; x137.lo = -2; x137.up = 2; x138.lo = -2; x138.up = 2; x139.lo = -2; x139.up = 2; x140.lo = -2; x140.up = 2; x141.lo = -2; x141.up = 2; x142.lo = -2; x142.up = 2; x143.lo = -2; x143.up = 2; x144.lo = -1.5; x144.up = 1.5; x145.lo = -1.5; x145.up = 1.5; x146.lo = -1.5; x146.up = 1.5; x147.lo = -1.5; x147.up = 1.5; x148.lo = -1.5; x148.up = 1.5; x149.lo = -1.5; x149.up = 1.5; x150.lo = -1.5; x150.up = 1.5; x151.lo = -1.5; x151.up = 1.5; x152.lo = -1.5; x152.up = 1.5; x153.lo = -1; x153.up = 1; x154.lo = -1; x154.up = 1; x155.lo = -1; x155.up = 1; x156.lo = -1; x156.up = 1; x157.lo = -1; x157.up = 1; x158.lo = -1; x158.up = 1; x159.lo = -0.9; x159.up = 0.9; x160.lo = -0.9; x160.up = 0.9; x161.lo = -0.9; x161.up = 0.9; x162.lo = -1.5; x162.up = 1.5; x163.lo = -1.5; x163.up = 1.5; x164.lo = -1.5; x164.up = 1.5; x165.lo = -1; x165.up = 1; x166.lo = -1; x166.up = 1; x167.lo = -1; x167.up = 1; x168.lo = -0.9; x168.up = 0.9; x169.lo = -0.9; x169.up = 0.9; x170.lo = -0.9; x170.up = 0.9; x171.lo = -0.8; x171.up = 0.8; x172.lo = -0.8; x172.up = 0.8; x173.lo = -0.8; x173.up = 0.8; x174.lo = -1; x174.up = 1; x175.lo = -1; x175.up = 1; x176.lo = -1; x176.up = 1; x177.lo = -0.9; x177.up = 0.9; x178.lo = -0.9; x178.up = 0.9; x179.lo = -0.9; x179.up = 0.9; x180.lo = -0.8; x180.up = 0.8; x181.lo = -0.8; x181.up = 0.8; x182.lo = -0.8; x182.up = 0.8; x183.lo = -0.9; x183.up = 0.9; x184.lo = -0.9; x184.up = 0.9; x185.lo = -0.9; x185.up = 0.9; x186.lo = -0.8; x186.up = 0.8; x187.lo = -0.8; x187.up = 0.8; x188.lo = -0.8; x188.up = 0.8; x189.lo = -0.8; x189.up = 0.8; x190.lo = -0.8; x190.up = 0.8; x191.lo = -0.8; x191.up = 0.8; x192.up = 13.7477270848675; x193.up = 13.7477270848675; x194.up = 13.7477270848675; x195.up = 13.7477270848675; x196.up = 13.7477270848675; x197.up = 13.7477270848675; x198.up = 13.7477270848675; x199.up = 13.7477270848675; x200.up = 13.7477270848675; x201.up = 13.7477270848675; x202.lo = -13.7477270848675; x203.lo = -13.7477270848675; x204.lo = -13.7477270848675; x205.lo = -13.7477270848675; x206.lo = -13.7477270848675; x207.lo = -13.7477270848675; x208.lo = -13.7477270848675; x209.lo = -13.7477270848675; x210.lo = -13.7477270848675; x211.lo = -13.7477270848675; x212.lo = -1; x212.up = 1; x213.lo = -1; x213.up = 1; x214.lo = -1; x214.up = 1; x215.lo = -1; x215.up = 1; x216.lo = -1; x216.up = 1; x217.lo = -1; x217.up = 1; x218.lo = -1; x218.up = 1; x219.lo = -1; x219.up = 1; x220.lo = -1; x220.up = 1; x221.lo = -1; x221.up = 1; x222.lo = -1; x222.up = 1; x223.lo = -1; x223.up = 1; x224.lo = -1; x224.up = 1; x225.lo = -1; x225.up = 1; x226.lo = -1; x226.up = 1; x227.lo = -1; x227.up = 1; x228.lo = -1; x228.up = 1; x229.lo = -1; x229.up = 1; x230.lo = -1; x230.up = 1; x231.lo = -1; x231.up = 1; x232.lo = -1; x232.up = 1; x233.lo = -1; x233.up = 1; x234.lo = -1; x234.up = 1; x235.lo = -1; x235.up = 1; x236.lo = -1; x236.up = 1; x237.lo = -1; x237.up = 1; x238.lo = -1; x238.up = 1; x239.lo = -1; x239.up = 1; x240.lo = -1; x240.up = 1; x241.lo = -1; x241.up = 1; x242.lo = -1; x242.up = 1; x243.lo = -1; x243.up = 1; x244.lo = -1; x244.up = 1; x245.lo = -1; x245.up = 1; x246.lo = -1; x246.up = 1; x247.lo = -1; x247.up = 1; x248.lo = -1; x248.up = 1; x249.lo = -1; x249.up = 1; x250.lo = -1; x250.up = 1; x251.lo = -1; x251.up = 1; x252.lo = -1; x252.up = 1; x253.lo = -1; x253.up = 1; x254.lo = -1; x254.up = 1; x255.lo = -1; x255.up = 1; x256.lo = -1; x256.up = 1; x257.lo = -1; x257.up = 1; x258.lo = -1; x258.up = 1; x259.lo = -1; x259.up = 1; x260.lo = -1; x260.up = 1; x261.lo = -1; x261.up = 1; x262.lo = -1; x262.up = 1; x263.lo = -1; x263.up = 1; x264.lo = -1; x264.up = 1; x265.lo = -1; x265.up = 1; x266.lo = -1; x266.up = 1; x267.lo = -1; x267.up = 1; x268.lo = -1; x268.up = 1; x269.lo = -1; x269.up = 1; x270.lo = -1; x270.up = 1; x271.lo = -1; x271.up = 1; x272.lo = -1; x272.up = 1; x273.lo = -1; x273.up = 1; x274.lo = -1; x274.up = 1; x275.lo = -1; x275.up = 1; x276.lo = -1; x276.up = 1; x277.lo = -1; x277.up = 1; x278.lo = -1; x278.up = 1; x279.lo = -1; x279.up = 1; x280.lo = -1; x280.up = 1; x281.lo = -1; x281.up = 1; x282.lo = -1; x282.up = 1; x283.lo = -1; x283.up = 1; x284.lo = -1; x284.up = 1; x285.lo = -1; x285.up = 1; x286.lo = -1; x286.up = 1; x287.lo = -1; x287.up = 1; x288.lo = -1; x288.up = 1; x289.lo = -1; x289.up = 1; x290.lo = -1; x290.up = 1; x291.lo = -1; x291.up = 1; x292.lo = -1; x292.up = 1; x293.lo = -1; x293.up = 1; x294.lo = -1; x294.up = 1; x295.lo = -1; x295.up = 1; x296.lo = -1; x296.up = 1; x297.lo = -1; x297.up = 1; x298.lo = -1; x298.up = 1; x299.lo = -1; x299.up = 1; x300.lo = -1; x300.up = 1; x301.lo = -1; x301.up = 1; x302.lo = -2.54913810595347; x302.up = 2.54913810595347; x303.lo = -2.54913810890719; x303.up = 2.54913810890719; x304.lo = -2.54913810572623; x304.up = 2.54913810572623; x305.lo = -2.54913810568577; x305.up = 2.54913810568577; x306.lo = -2.54913810833132; x306.up = 2.54913810833132; x307.lo = -2.54913810571209; x307.up = 2.54913810571209; x308.lo = -2.54913820574073; x308.up = 2.54913820574073; x309.lo = -2.54913810577115; x309.up = 2.54913810577115; x310.lo = -2.54913810640921; x310.up = 2.54913810640921; x311.lo = -2.54913810590212; x311.up = 2.54913810590212; x312.lo = -2.54913810586448; x312.up = 2.54913810586448; x313.lo = -2.54913810770559; x313.up = 2.54913810770559; x314.lo = -3.93779348421005; x314.up = 3.93779348421005; x315.lo = -3.93779348399675; x315.up = 3.93779348399675; x316.lo = -3.93779350515789; x316.up = 3.93779350515789; x317.lo = -3.93779348521428; x317.up = 3.93779348521428; x318.lo = -3.93779349482825; x318.up = 3.93779349482825; x319.lo = -3.93779348462782; x319.up = 3.93779348462782; x320.lo = -3.93779348391107; x320.up = 3.93779348391107; x321.lo = -3.93779348391534; x321.up = 3.93779348391534; x322.lo = -3.93779350706379; x322.up = 3.93779350706379; x323.lo = -3.4285896067657; x323.up = 3.4285896067657; x324.lo = -3.42858960685358; x324.up = 3.42858960685358; x325.lo = -3.42858960705036; x325.up = 3.42858960705036; x326.lo = -3.42858960675258; x326.up = 3.42858960675258; x327.lo = -3.42858960684772; x327.up = 3.42858960684772; x328.lo = -3.42858960940873; x328.up = 3.42858960940873; x329.lo = -4.51109656117026; x329.up = 4.51109656117026; x330.lo = -4.51109656078199; x330.up = 4.51109656078199; x331.lo = -4.51109656054263; x331.up = 4.51109656054263; x332.lo = -2.54913810570109; x332.up = 2.54913810570109; x333.lo = -2.54913810593815; x333.up = 2.54913810593815; x334.lo = -2.54913811027593; x334.up = 2.54913811027593; x335.lo = -2.54913810567846; x335.up = 2.54913810567846; x336.lo = -2.54913810599157; x336.up = 2.54913810599157; x337.lo = -2.54913810579588; x337.up = 2.54913810579588; x338.lo = -2.54913810693072; x338.up = 2.54913810693072; x339.lo = -2.54913810576975; x339.up = 2.54913810576975; x340.lo = -2.54913811647235; x340.up = 2.54913811647235; x341.lo = -2.54913810713732; x341.up = 2.54913810713732; x342.lo = -2.54913810604802; x342.up = 2.54913810604802; x343.lo = -2.54913810588047; x343.up = 2.54913810588047; x344.lo = -3.93779348395432; x344.up = 3.93779348395432; x345.lo = -3.93779368457766; x345.up = 3.93779368457766; x346.lo = -3.93779348393578; x346.up = 3.93779348393578; x347.lo = -3.93779348433128; x347.up = 3.93779348433128; x348.lo = -3.93779348407164; x348.up = 3.93779348407164; x349.lo = -3.93779348393482; x349.up = 3.93779348393482; x350.lo = -3.93779348423173; x350.up = 3.93779348423173; x351.lo = -3.9377934841068; x351.up = 3.9377934841068; x352.lo = -3.93779348392791; x352.up = 3.93779348392791; x353.lo = -3.42858960676951; x353.up = 3.42858960676951; x354.lo = -3.42858960704091; x354.up = 3.42858960704091; x355.lo = -3.42858960687231; x355.up = 3.42858960687231; x356.lo = -3.42858961066426; x356.up = 3.42858961066426; x357.lo = -3.42858960677419; x357.up = 3.42858960677419; x358.lo = -3.42858960676862; x358.up = 3.42858960676862; x359.lo = -4.51109656063813; x359.up = 4.51109656063813; x360.lo = -4.51109656061341; x360.up = 4.51109656061341; x361.lo = -4.51109656684726; x361.up = 4.51109656684726; x362.up = -1.25E-5; x363.up = -1.25E-5; x364.up = -1.25E-5; x365.up = -1.25E-5; x366.up = -1.25E-5; x367.up = -1.25E-5; x368.up = -1.25E-5; x369.up = -1.25E-5; x370.up = -1.25E-5; x371.up = -1.25E-5; x372.up = -1.25E-5; x373.up = -1.25E-5; x374.up = -1.25E-5; x375.up = -1.25E-5; x376.up = -1.25E-5; x377.up = -1.25E-5; x378.up = -1.25E-5; x379.up = -1.25E-5; x380.up = -1.25E-5; x381.up = -1.25E-5; x382.up = -1.25E-5; x383.up = -1.25E-5; x384.up = -1.25E-5; x385.up = -1.25E-5; x386.up = -1.25E-5; x387.up = -1.25E-5; x388.up = -1.25E-5; x389.up = -1.25E-5; x390.up = -1.25E-5; x391.up = -1.25E-5; x392.lo = 1.25E-5; x393.lo = 1.25E-5; x394.lo = 1.25E-5; x395.lo = 1.25E-5; x396.lo = 1.25E-5; x397.lo = 1.25E-5; x398.lo = 1.25E-5; x399.lo = 1.25E-5; x400.lo = 1.25E-5; x401.lo = 1.25E-5; x402.lo = 20.992122111287; x403.lo = 0.333333333333333; x403.up = 0.666666666666667; x404.lo = 0.333333333333333; x404.up = 0.666666666666667; x405.lo = 0.333333333333333; x405.up = 0.666666666666667; x406.lo = 0.666666666666667; x406.up = 1.42857142857143; x407.lo = 0.666666666666667; x407.up = 1.42857142857143; x408.lo = 0.666666666666667; x408.up = 1.42857142857143; x409.lo = 1.25; x409.up = 2.08333333333333; x410.lo = 1.25; x410.up = 2.08333333333333; x411.lo = 1.25; x411.up = 2.08333333333333; x412.lo = 1.48148148148148; x412.up = 2.66666666666667; x413.lo = 1.48148148148148; x413.up = 2.66666666666667; x414.lo = 1.48148148148148; x414.up = 2.66666666666667; x415.lo = 2.08333333333333; x415.up = 5.55555555555556; x416.lo = 2.08333333333333; x416.up = 5.55555555555556; x417.lo = 2.08333333333333; x417.up = 5.55555555555556; x418.lo = 2; x418.up = 10; x419.lo = 2; x419.up = 8; x420.lo = 2; x420.up = 5; x421.lo = 1; x421.up = 9; x422.lo = 1; x422.up = 7; x423.lo = 1; x423.up = 4; x424.lo = 0.7; x424.up = 9.3; x425.lo = 0.7; x425.up = 7.3; x426.lo = 0.7; x426.up = 4.3; x427.lo = 0.6; x427.up = 9.4; x428.lo = 0.6; x428.up = 7.4; x429.lo = 0.6; x429.up = 4.4; x430.lo = 0.5; x430.up = 9.5; x431.lo = 0.5; x431.up = 7.5; x432.lo = 0.5; x432.up = 4.5; x433.lo = 0.3; x433.up = 9.7; x434.lo = 0.3; x434.up = 7.7; x435.lo = 0.3; x435.up = 4.7; x436.up = 10; x437.up = 8; x438.up = 5; x439.up = 10; x440.up = 8; x441.up = 5; x442.up = 10; x443.up = 8; x444.up = 5; x445.up = 10; x446.up = 8; x447.up = 5; x448.up = 10; x449.up = 8; x450.up = 5; x451.up = 10; x452.up = 8; x453.up = 5; x454.up = 10; x455.up = 8; x456.up = 5; x457.up = 10; x458.up = 8; x459.up = 5; x460.up = 10; x461.up = 8; x462.up = 5; x463.up = 10; x464.up = 8; x465.up = 5; * set non-default levels objvar.l = 4.51099656684726; x2.l = 0.373209126296217; x3.l = -0.0495779639041344; x4.l = 0.0971217597174697; x5.l = -0.0495779639041344; x6.l = 0.532404826817665; x7.l = 0.309237891552817; x8.l = 0.0971217597174696; x9.l = 0.309237891552817; x10.l = 0.788830491330713; x11.l = 0.951427627755134; x12.l = -0.0845047603487597; x13.l = 0.522067519763449; x14.l = -0.0845047603487597; x15.l = 0.887026638556109; x16.l = 0.446692618719717; x17.l = 0.522067519763449; x18.l = 0.446692618719717; x19.l = 1.64680650466381; x20.l = 1.4690944921695; x21.l = -0.0934056873716313; x22.l = 0.513199972089451; x23.l = -0.0934056873716313; x24.l = 1.46909413307677; x25.l = 0.513200482147756; x26.l = 0.513199972089451; x27.l = 0.513200482147757; x28.l = 2.40208915253231; x29.l = 1.79837779303769; x30.l = 0.0205978122154656; x31.l = 0.79831250915967; x32.l = 0.0205978122154656; x33.l = 1.7983733924792; x34.l = 0.798311404952847; x35.l = 0.79831250915967; x36.l = 0.798311404952847; x37.l = 3.41559449349555; x38.l = 3.59633890354191; x39.l = -3.12101968631916; x40.l = -1.53674750816974; x41.l = -3.12101968631916; x42.l = 6.92186415371353; x43.l = 3.48047071978867; x44.l = -1.53674750816974; x45.l = 3.48047071978867; x46.l = 4.93318583163325; x47.l = 0.622659318084511; x48.l = 0.777703238407961; x49.l = -0.0864467846252227; x50.l = 0.624945425811475; x51.l = -0.560731354260012; x52.l = -0.543160715725141; x53.l = -0.47089127020965; x54.l = 0.284179558236086; x55.l = -0.835166684154179; x56.l = -0.612402142090632; x57.l = -0.686620980267395; x58.l = -0.391810216583806; x59.l = -0.616451467626068; x60.l = 0.725046034737372; x61.l = -0.307076269961196; x62.l = 0.494925453401291; x63.l = 0.0534778175345379; x64.l = -0.867288255776169; x65.l = 0.627962626768461; x66.l = 0.707107207876176; x67.l = -0.325057434803096; x68.l = 0.627963444522977; x69.l = -0.707106354497757; x70.l = -0.325057711491057; x71.l = -0.459700828477682; x72.l = -9.2057001738048E-8; x73.l = -0.888073841693186; x74.l = 0.627960819476332; x75.l = -0.707108379867422; x76.l = 0.325058389006815; x77.l = 0.627964976121233; x78.l = 0.707105188313112; x79.l = 0.325057303200926; x80.l = -0.459701214200507; x81.l = 2.0354477231427E-6; x82.l = 0.888073642637452; x83.l = -0.71612552121857; x84.l = -0.560489388054996; x85.l = 0.41595178054336; x86.l = -0.622301541304685; x87.l = 0.242847947007218; x88.l = -0.744154329641502; x89.l = 0.316077568880277; x90.l = -0.791755341322122; x91.l = -0.522703022698932; x132.l = 1.9909763622349; x133.l = 1.98871795806372; x134.l = 1.9553418618325; x135.l = 1.98863706412371; x136.l = 1.98811509591835; x137.l = 1.95588109943117; x138.l = 1.9909802980828; x139.l = 1.98872013298554; x140.l = 1.95534208834498; x141.l = 1.99098029835357; x142.l = 1.98872013332474; x143.l = 1.95534208968557; x144.l = 1.49998507434347; x145.l = 1.5; x146.l = 1.5; x147.l = 1.4234093465879; x148.l = 1.5; x149.l = 1.49971578148757; x150.l = 1.5; x151.l = 1.5; x152.l = 1.5; x153.l = 0.997337431614932; x154.l = 0.994240180012935; x155.l = 1; x156.l = 1; x157.l = 1; x158.l = 1; x159.l = 0.9; x160.l = 0.9; x161.l = 0.9; x162.l = 1.27439157838577; x163.l = -1.49995462236504; x164.l = 1.26197248899241; x165.l = 0.650308396280605; x166.l = 0.780618250041557; x167.l = 0.587636840911182; x168.l = 0.468529515502195; x169.l = 0.480103280004492; x170.l = 0.52460361518938; x171.l = 0.799968442942614; x172.l = 0.361418784037344; x173.l = 0.503899662693893; x174.l = 1; x175.l = 1; x176.l = 1; x177.l = 0.779753361019394; x178.l = 0.806369944417361; x179.l = 0.702823884795472; x180.l = 0.798612768206113; x181.l = 0.578476894684162; x182.l = 0.515594940869527; x183.l = 0.579486832156111; x184.l = 0.752044141016593; x185.l = 0.491305512295524; x186.l = 0.8; x187.l = 0.48164203696178; x188.l = 0.602962361754431; x189.l = 0.8; x190.l = 0.648489615374461; x191.l = 0.723797293460851; x212.l = 0.387704626397467; x213.l = 0.604822327030231; x214.l = 0.00747304657230345; x215.l = 0.389128092675903; x216.l = -0.436082590085037; x217.l = 0.0469544974091284; x218.l = -0.293204837200687; x219.l = 0.221007362729486; x220.l = 0.0721974744712036; x221.l = 0.390556785242687; x222.l = 0.314419651650267; x223.l = 0.295023563106801; x224.l = -0.294281345372148; x225.l = -0.159348388542669; x226.l = 0.453629733914817; x227.l = 0.221738588359657; x228.l = 0.0807580213191759; x229.l = 0.697503390321167; x230.l = 0.375036383637194; x231.l = 0.471448370543357; x232.l = 0.153515245819449; x233.l = 0.377516199269118; x234.l = -0.497831819110362; x235.l = 0.120315619841244; x236.l = -0.303093407838127; x237.l = -0.0367189914981257; x238.l = 0.339812399336253; x239.l = 0.380012411938333; x240.l = 0.525691752488386; x241.l = 0.0942958355732812; x242.l = -0.305097522114723; x243.l = 0.038773879549825; x244.l = 0.266323642564898; x245.l = 0.244951204424473; x246.l = 0.00285987696825703; x247.l = 0.75218891860727; x248.l = 0.394337060653376; x249.l = 0.500000603430442; x250.l = 0.105662335916181; x251.l = 0.394337574179576; x252.l = -0.500000000048322; x253.l = 0.105662425868747; x254.l = -0.288674939802349; x255.l = -6.50941694644436E-8; x256.l = 0.288675004896518; x257.l = 0.394338087644539; x258.l = 0.499999396571108; x259.l = 0.105662515784353; x260.l = -0.288675315697551; x261.l = 6.50816927224411E-8; x262.l = 0.288675250615858; x263.l = 0.211324851700577; x265.l = 0.788675148299423; x266.l = 0.394334788019038; x267.l = 0.500002256931573; x268.l = 0.105662955049389; x269.l = 0.394337404731234; x270.l = -0.500000008051384; x271.l = 0.10566260332015; x272.l = -0.288674349891845; x273.l = -1.43814533371848E-6; x274.l = 0.288675788037179; x275.l = 0.394340006244202; x276.l = 0.499997743391577; x277.l = 0.105662250364221; x278.l = -0.288676263729632; x279.l = 1.44041253835913E-6; x280.l = 0.288674823317093; x281.l = 0.211325205736822; x283.l = 0.788674794586443; x284.l = 0.512835762140569; x285.l = 0.314148354122263; x286.l = 0.173015883737192; x287.l = 0.445646015621937; x288.l = -0.136113697208488; x289.l = -0.309532318413434; x290.l = -0.226351213759887; x291.l = 0.44377046674691; x292.l = -0.217419252987017; x293.l = 0.387259208310186; x294.l = 0.0589751253656206; x295.l = 0.553765666324194; x296.l = -0.196695558285875; x297.l = -0.192276159172076; x298.l = 0.388971717457951; x299.l = 0.0999050295492662; x300.l = 0.626876520512109; x301.l = 0.2732184499386; x302.l = 0.834360203956127; x303.l = 1.56476028044927; x304.l = 2.35078735768983; x305.l = 0.833569416934071; x306.l = 1.56472204406855; x307.l = 2.35079910018194; x308.l = 0.834361587021578; x309.l = 1.56476131330306; x310.l = 2.35078859119449; x311.l = 0.834361587236013; x312.l = 1.56476131388479; x313.l = 2.35078859238318; x314.l = 2.08347138007275; x315.l = 1.87382300667963; x316.l = 3.92334217251998; x317.l = 2.01046673581679; x318.l = 1.88016706189054; x319.l = 3.88289641936153; x320.l = 2.08348558075474; x321.l = 1.8738217453906; x322.l = 3.92334996472046; x323.l = 1.88551521228282; x324.l = 1.8806759091325; x325.l = 3.42416723435417; x326.l = 1.88888877688732; x327.l = 1.88888892785289; x328.l = 3.42848960676952; x329.l = 2.35555930297154; x330.l = 2.35555434868276; x331.l = 4.51099656684726; x332.l = 1.99807950948964; x333.l = -0.874478065724866; x334.l = 2.07352429588978; x335.l = 1.1840255093218; x336.l = 1.38763469863397; x337.l = 2.14590799429651; x338.l = 1.27127978153335; x339.l = 1.29185269646344; x340.l = 2.54913811647235; x341.l = 0.974595941961873; x342.l = 1.75878248856633; x343.l = 2.5143886606834; x344.l = 1.88888877688732; x345.l = 1.88888892785289; x346.l = 3.42848960676952; x347.l = 1.97997368417653; x348.l = 2.02728778874223; x349.l = 3.66678257619521; x350.l = 0.27430515016876; x351.l = 3.30616540471626; x352.l = 3.32963136964856; x353.l = 1.4498420505986; x354.l = 1.75660712790307; x355.l = 2.74107740421622; x356.l = 0.447255936770689; x357.l = 2.93563784673291; x358.l = 3.42146838054414; x359.l = -0.259171420269667; x360.l = 4.51109656061341; x361.l = 4.51109656684726; x421.l = 2; x422.l = 2; x423.l = 2; x424.l = 4; x425.l = 4; x426.l = 4; x427.l = 6; x428.l = 6; x429.l = 4.4; x430.l = 8; x431.l = 7.5; x432.l = 4.5; x433.l = 9.7; x434.l = 7.7; x435.l = 4.7; * set non-default marginals e26.m = 0.359240674547896; e27.m = 0.718480724335363; e28.m = 3.07403656796406; e29.m = 0.359240050843852; e30.m = 3.07403554604893; e31.m = 3.79251570194424; e58.m = 0.900000000000068; e60.m = 0.899999999999986; e61.m = 0.899999999999988; e78.m = 0.900000000000034; e79.m = 0.899999999999993; e222.m = 1; e387.m = -0.359240674547896; e388.m = -0.359240674547896; e389.m = -0.359240674547896; e390.m = -0.718480724335363; e391.m = -0.718480724335363; e392.m = -0.718480724335364; e393.m = -1.96292545685286; e394.m = -1.47403656796394; e395.m = 0.525963432036209; e396.m = -0.359240050843852; e397.m = -0.359240050843852; e398.m = -0.359240050843852; e399.m = -1.96292443493784; e400.m = -1.47403554604895; e401.m = 0.525964453951013; e402.m = -2.68140459083315; e403.m = -2.19251570194426; e404.m = -0.192515701944353; x159.m = 0.79831250915967; x160.m = 0.798311404952847; x161.m = 3.41559449349555; 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-08-26 Git hash: 6cc1607f