QPLIB
A Library of Quadratic Programming Instances
Home // browse instances // view statistics // read documentation // download QPLIB archive [ 1.5G ]QPLIB_2693
Formats | gms lp mod qplib |
Problem type probtype | LCQ |
Solution point objective value solobjvalue | 5.78300511 (gdx, sol) |
Solution point infeasibility solinfeasibility | 7.3867e-10 |
Donor donor | Ruth Misener |
#Variables nvars | 791 |
#Binary Variables nbinvars | 0 |
#Integer Variables nintvars | 0 |
#Bounded non-binary Variables nboundedvars | 377 |
#Variables with only one bound nsingleboundedvars | 0 |
#Nonlinear Variables nnlvars | 377 |
#Nonlinear Binary Variables nnlbinvars | 0 |
#Nonlinear Integer Variables nnlintvars | 0 |
Objective Sense objsense | min |
Objective type objtype | linear |
Objective curvature objcurvature | linear |
#Negative eigenvalues in objective matrix nobjquadnegev | |
#Positive eigenvalues in objective matrix nobjquadposev | |
#Nonzeros in Objective nobjnz | 1 |
#Nonlinear Nonzeros in Objective nobjnlnz | 0 |
#Quadratic Terms in Objective nobjquadnz | 0 |
#Square Terms in Objective nobjquaddiagnz | 0 |
#Constraints ncons | 814 |
#Linear Constraints nlincons | 183 |
#Quadratic Constraints nquadcons | 631 |
#Diagonal Quadratic Constraints ndiagquadcons | 20 |
Constraints curvature conscurvature | indefinite |
#Convex Nonlinear Constraints nconvexnlcons | 0 |
#Concave Nonlinear Constraints nconcavenlcons | 0 |
#Indefinite Nonlinear Constraints nindefinitenlcons | 631 |
#Nonzeros in Jacobian njacobiannz | 3029 |
#Nonlinear Nonzeros in Jacobian njacobiannlnz | 1262 |
#Nonzeros in (Upper-Left) Hessian of Lagrangian nlaghessiannz | 1262 |
#Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz | 40 |
#Blocks in Hessian of Lagrangian nlaghessianblocks | 41 |
Minimal blocksize in Hessian of Lagrangian laghessianminblocksize | 1 |
Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize | 14 |
Average blocksize in Hessian of Lagrangian laghessianavgblocksize | 9.195122 |
Sparsity Jacobian | ![]() |
Sparsity Lag. Hessian | ![]() |
QPLIB_2693.gms
$offlisting * * Equation counts * Total E G L N X C B * 815 743 0 72 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 792 792 0 0 0 0 0 0 * FX 0 0 0 0 0 0 0 0 * * Nonzero counts * Total const NL DLL * 3031 1769 1262 0 * * Solve m using QCP 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,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,x634,x635 ,x636,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648 ,x649,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661 ,x662,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674 ,x675,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687 ,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700 ,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,x713 ,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726 ,x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739 ,x740,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752 ,x753,x754,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764,x765 ,x766,x767,x768,x769,x770,x771,x772,x773,x774,x775,x776,x777,x778 ,x779,x780,x781,x782,x783,x784,x785,x786,x787,x788,x789,x790,x791 ,x792; 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,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,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,x307,x308 ,x310,x322,x324,x336,x338,x350,x352,x364,x366,x378,x380,x392,x394 ,x406,x408,x420,x422,x434,x436,x568,x570,x582,x584,x596,x598,x610 ,x612,x624,x626,x640,x642,x643,x644,x645,x646,x647,x648,x649,x650 ,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661,x662,x663 ,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674,x675,x676 ,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687,x688,x689 ,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700,x701,x702 ,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712; 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,e620,e621,e622,e623 ,e624,e625,e626,e627,e628,e629,e630,e631,e632,e633,e634,e635,e636 ,e637,e638,e639,e640,e641,e642,e643,e644,e645,e646,e647,e648,e649 ,e650,e651,e652,e653,e654,e655,e656,e657,e658,e659,e660,e661,e662 ,e663,e664,e665,e666,e667,e668,e669,e670,e671,e672,e673,e674,e675 ,e676,e677,e678,e679,e680,e681,e682,e683,e684,e685,e686,e687,e688 ,e689,e690,e691,e692,e693,e694,e695,e696,e697,e698,e699,e700,e701 ,e702,e703,e704,e705,e706,e707,e708,e709,e710,e711,e712,e713,e714 ,e715,e716,e717,e718,e719,e720,e721,e722,e723,e724,e725,e726,e727 ,e728,e729,e730,e731,e732,e733,e734,e735,e736,e737,e738,e739,e740 ,e741,e742,e743,e744,e745,e746,e747,e748,e749,e750,e751,e752,e753 ,e754,e755,e756,e757,e758,e759,e760,e761,e762,e763,e764,e765,e766 ,e767,e768,e769,e770,e771,e772,e773,e774,e775,e776,e777,e778,e779 ,e780,e781,e782,e783,e784,e785,e786,e787,e788,e789,e790,e791,e792 ,e793,e794,e795,e796,e797,e798,e799,e800,e801,e802,e803,e804,e805 ,e806,e807,e808,e809,e810,e811,e812,e813,e814,e815; e1.. - objvar + x307 =E= 0; e2.. x307 - x638 =E= -14.52389342; e3.. x639 - x640 =L= -1.2; e4.. x641 - x642 =L= -1.2; e5.. - 0.1666666667*x643 - 0.1666666667*x644 - 0.1666666667*x645 - 0.1666666667*x646 - 0.1666666667*x647 - 0.1666666667*x648 + x649 =E= 0; e6.. - 0.1666666667*x650 - 0.1666666667*x651 - 0.1666666667*x652 - 0.1666666667*x653 - 0.1666666667*x654 - 0.1666666667*x655 + x656 =E= 0; e7.. - 0.1666666667*x657 - 0.1666666667*x658 - 0.1666666667*x659 - 0.1666666667*x660 - 0.1666666667*x661 - 0.1666666667*x662 + x663 =E= 0; e8.. - 0.1666666667*x664 - 0.1666666667*x665 - 0.1666666667*x666 - 0.1666666667*x667 - 0.1666666667*x668 - 0.1666666667*x669 + x670 =E= 0; e9.. - 0.1666666667*x671 - 0.1666666667*x672 - 0.1666666667*x673 - 0.1666666667*x674 - 0.1666666667*x675 - 0.1666666667*x676 + x677 =E= 0; e10.. - 0.1666666667*x678 - 0.1666666667*x679 - 0.1666666667*x680 - 0.1666666667*x681 - 0.1666666667*x682 - 0.1666666667*x683 + x684 =E= 0 ; e11.. - 0.1666666667*x685 - 0.1666666667*x686 - 0.1666666667*x687 - 0.1666666667*x688 - 0.1666666667*x689 - 0.1666666667*x690 + x691 =E= 0 ; e12.. - 0.1666666667*x692 - 0.1666666667*x693 - 0.1666666667*x694 - 0.1666666667*x695 - 0.1666666667*x696 - 0.1666666667*x697 + x698 =E= 0 ; e13.. - 0.1666666667*x699 - 0.1666666667*x700 - 0.1666666667*x701 - 0.1666666667*x702 - 0.1666666667*x703 - 0.1666666667*x704 + x705 =E= 0 ; e14.. - 0.1666666667*x706 - 0.1666666667*x707 - 0.1666666667*x708 - 0.1666666667*x709 - 0.1666666667*x710 - 0.1666666667*x711 + x712 =E= 0 ; e15.. - x640 + x643 =L= 0; e16.. - x642 + x650 =L= 0; e17.. - x640 + x644 =L= 0; e18.. - x642 + x651 =L= 0; e19.. - x640 + x645 =L= 0; e20.. - x642 + x652 =L= 0; e21.. - x640 + x646 =L= 0; e22.. - x642 + x653 =L= 0; e23.. - x640 + x647 =L= 0; e24.. - x642 + x654 =L= 0; e25.. - x640 + x648 =L= 0; e26.. - x642 + x655 =L= 0; e27.. - x640 + x657 =L= 0; e28.. - x642 + x664 =L= 0; e29.. - x640 + x658 =L= 0; e30.. - x642 + x665 =L= 0; e31.. - x640 + x659 =L= 0; e32.. - x642 + x666 =L= 0; e33.. - x640 + x660 =L= 0; e34.. - x642 + x667 =L= 0; e35.. - x640 + x661 =L= 0; e36.. - x642 + x668 =L= 0; e37.. - x640 + x662 =L= 0; e38.. - x642 + x669 =L= 0; e39.. - x640 + x671 =L= 0; e40.. - x642 + x678 =L= 0; e41.. - x640 + x672 =L= 0; e42.. - x642 + x679 =L= 0; e43.. - x640 + x673 =L= 0; e44.. - x642 + x680 =L= 0; e45.. - x640 + x674 =L= 0; e46.. - x642 + x681 =L= 0; e47.. - x640 + x675 =L= 0; e48.. - x642 + x682 =L= 0; e49.. - x640 + x676 =L= 0; e50.. - x642 + x683 =L= 0; e51.. - x640 + x685 =L= 0; e52.. - x642 + x692 =L= 0; e53.. - x640 + x686 =L= 0; e54.. - x642 + x693 =L= 0; e55.. - x640 + x687 =L= 0; e56.. - x642 + x694 =L= 0; e57.. - x640 + x688 =L= 0; e58.. - x642 + x695 =L= 0; e59.. - x640 + x689 =L= 0; e60.. - x642 + x696 =L= 0; e61.. - x640 + x690 =L= 0; e62.. - x642 + x697 =L= 0; e63.. - x640 + x699 =L= 0; e64.. - x642 + x706 =L= 0; e65.. - x640 + x700 =L= 0; e66.. - x642 + x707 =L= 0; e67.. - x640 + x701 =L= 0; e68.. - x642 + x708 =L= 0; e69.. - x640 + x702 =L= 0; e70.. - x642 + x709 =L= 0; e71.. - x640 + x703 =L= 0; e72.. - x642 + x710 =L= 0; e73.. - x640 + x704 =L= 0; e74.. - x642 + x711 =L= 0; e75.. x643 - x649 + 0.8333333333*x713 + 0.75*x714 =E= 0; e76.. x644 - x649 - 0.1666666667*x713 + 0.75*x714 =E= 0; e77.. x645 - x649 - 0.6666666667*x713 + 0.25*x714 =E= 0; e78.. x646 - x649 - 0.6666666667*x713 - 0.25*x714 =E= 0; e79.. x647 - x649 - 0.1666666667*x713 - 0.75*x714 =E= 0; e80.. x648 - x649 + 0.8333333333*x713 - 0.75*x714 =E= 0; e81.. x657 - x663 + 0.8333333333*x715 + 0.75*x716 =E= 0; e82.. x658 - x663 - 0.1666666667*x715 + 0.75*x716 =E= 0; e83.. x659 - x663 - 0.6666666667*x715 + 0.25*x716 =E= 0; e84.. x660 - x663 - 0.6666666667*x715 - 0.25*x716 =E= 0; e85.. x661 - x663 - 0.1666666667*x715 - 0.75*x716 =E= 0; e86.. x662 - x663 + 0.8333333333*x715 - 0.75*x716 =E= 0; e87.. x671 - x677 + 0.8333333333*x717 + 0.75*x718 =E= 0; e88.. x672 - x677 - 0.1666666667*x717 + 0.75*x718 =E= 0; e89.. x673 - x677 - 0.6666666667*x717 + 0.25*x718 =E= 0; e90.. x674 - x677 - 0.6666666667*x717 - 0.25*x718 =E= 0; e91.. x675 - x677 - 0.1666666667*x717 - 0.75*x718 =E= 0; e92.. x676 - x677 + 0.8333333333*x717 - 0.75*x718 =E= 0; e93.. x685 - x691 + 0.8333333333*x719 + 0.75*x720 =E= 0; e94.. x686 - x691 - 0.1666666667*x719 + 0.75*x720 =E= 0; e95.. x687 - x691 - 0.6666666667*x719 + 0.25*x720 =E= 0; e96.. x688 - x691 - 0.6666666667*x719 - 0.25*x720 =E= 0; e97.. x689 - x691 - 0.1666666667*x719 - 0.75*x720 =E= 0; e98.. x690 - x691 + 0.8333333333*x719 - 0.75*x720 =E= 0; e99.. x699 - x705 + 0.8333333333*x721 + 0.75*x722 =E= 0; e100.. x700 - x705 - 0.1666666667*x721 + 0.75*x722 =E= 0; e101.. x701 - x705 - 0.6666666667*x721 + 0.25*x722 =E= 0; e102.. x702 - x705 - 0.6666666667*x721 - 0.25*x722 =E= 0; e103.. x703 - x705 - 0.1666666667*x721 - 0.75*x722 =E= 0; e104.. x704 - x705 + 0.8333333333*x721 - 0.75*x722 =E= 0; e105.. x650 - x656 - 0.75*x713 + 0.8333333333*x714 =E= 0; e106.. x651 - x656 - 0.75*x713 - 0.1666666667*x714 =E= 0; e107.. x652 - x656 - 0.25*x713 - 0.6666666667*x714 =E= 0; e108.. x653 - x656 + 0.25*x713 - 0.6666666667*x714 =E= 0; e109.. x654 - x656 + 0.75*x713 - 0.1666666667*x714 =E= 0; e110.. x655 - x656 + 0.75*x713 + 0.8333333333*x714 =E= 0; e111.. x664 - x670 - 0.75*x715 + 0.8333333333*x716 =E= 0; e112.. x665 - x670 - 0.75*x715 - 0.1666666667*x716 =E= 0; e113.. x666 - x670 - 0.25*x715 - 0.6666666667*x716 =E= 0; e114.. x667 - x670 + 0.25*x715 - 0.6666666667*x716 =E= 0; e115.. x668 - x670 + 0.75*x715 - 0.1666666667*x716 =E= 0; e116.. x669 - x670 + 0.75*x715 + 0.8333333333*x716 =E= 0; e117.. x678 - x684 - 0.75*x717 + 0.8333333333*x718 =E= 0; e118.. x679 - x684 - 0.75*x717 - 0.1666666667*x718 =E= 0; e119.. x680 - x684 - 0.25*x717 - 0.6666666667*x718 =E= 0; e120.. x681 - x684 + 0.25*x717 - 0.6666666667*x718 =E= 0; e121.. x682 - x684 + 0.75*x717 - 0.1666666667*x718 =E= 0; e122.. x683 - x684 + 0.75*x717 + 0.8333333333*x718 =E= 0; e123.. x692 - x698 - 0.75*x719 + 0.8333333333*x720 =E= 0; e124.. x693 - x698 - 0.75*x719 - 0.1666666667*x720 =E= 0; e125.. x694 - x698 - 0.25*x719 - 0.6666666667*x720 =E= 0; e126.. x695 - x698 + 0.25*x719 - 0.6666666667*x720 =E= 0; e127.. x696 - x698 + 0.75*x719 - 0.1666666667*x720 =E= 0; e128.. x697 - x698 + 0.75*x719 + 0.8333333333*x720 =E= 0; e129.. x706 - x712 - 0.75*x721 + 0.8333333333*x722 =E= 0; e130.. x707 - x712 - 0.75*x721 - 0.1666666667*x722 =E= 0; e131.. x708 - x712 - 0.25*x721 - 0.6666666667*x722 =E= 0; e132.. x709 - x712 + 0.25*x721 - 0.6666666667*x722 =E= 0; e133.. x710 - x712 + 0.75*x721 - 0.1666666667*x722 =E= 0; e134.. x711 - x712 + 0.75*x721 + 0.8333333333*x722 =E= 0; e135.. - x723 + x724 =E= 0; e136.. - x725 + x726 =E= 0; e137.. - x727 + x728 =E= 0; e138.. - x729 + x730 =E= 0; e139.. - x731 + x732 =E= 0; e140.. - x733 + x734 =E= 0; e141.. - x735 + x736 =E= 0; e142.. - x737 + x738 =E= 0; e143.. - x739 + x740 =E= 0; e144.. - x741 + x742 =E= 0; e145.. x743 + x744 =E= 0; e146.. x745 + x746 =E= 0; e147.. x747 + x748 =E= 0; e148.. x749 + x750 =E= 0; e149.. x751 + x752 =E= 0; e150.. x753 + x754 =E= 0; e151.. x755 + x756 =E= 0; e152.. x757 + x758 =E= 0; e153.. x759 + x760 =E= 0; e154.. x761 + x762 =E= 0; e155.. - x763 + x764 =E= 0; e156.. - x765 + x766 =E= 0; e157.. - x767 + x768 =E= 0; e158.. - x769 + x770 =E= 0; e159.. - x771 + x772 =E= 0; e160.. x773 + x774 =E= 0; e161.. x775 + x776 =E= 0; e162.. x777 + x778 =E= 0; e163.. x779 + x780 =E= 0; e164.. x781 + x782 =E= 0; e165.. 1.2*x764 + x783 =E= 0; e166.. 1.2*x774 + x784 =E= 0; e167.. 1.2*x766 + x785 =E= 0; e168.. 1.2*x776 + x786 =E= 0; e169.. 1.2*x768 + x787 =E= 0; e170.. 1.2*x778 + x788 =E= 0; e171.. 1.2*x770 + x789 =E= 0; e172.. 1.2*x780 + x790 =E= 0; e173.. 1.2*x772 + x791 =E= 0; e174.. 1.2*x782 + x792 =E= 0; e175.. x649 - x663 =L= 0; e176.. x649 - x677 =L= 0; e177.. x649 - x691 =L= 0; e178.. x649 - x705 =L= 0; e179.. x663 - x677 =L= 0; e180.. x663 - x691 =L= 0; e181.. x663 - x705 =L= 0; e182.. x677 - x691 =L= 0; e183.. x677 - x705 =L= 0; e184.. x691 - x705 =L= 0; e185.. -x642*x640 + x638 =E= 0; e186.. x743*x122 + x308 + x309 - x643 =E= 0; e187.. x723*x122 + x310 + x311 - x650 =E= 0; e188.. x743*x123 + x308 + x312 - x644 =E= 0; e189.. x723*x123 + x310 + x313 - x651 =E= 0; e190.. x743*x124 + x308 + x314 - x645 =E= 0; e191.. x723*x124 + x310 + x315 - x652 =E= 0; e192.. x743*x125 + x308 + x316 - x646 =E= 0; e193.. x723*x125 + x310 + x317 - x653 =E= 0; e194.. x743*x126 + x308 + x318 - x647 =E= 0; e195.. x723*x126 + x310 + x319 - x654 =E= 0; e196.. x743*x127 + x308 + x320 - x648 =E= 0; e197.. x723*x127 + x310 + x321 - x655 =E= 0; e198.. x745*x128 + x322 + x323 - x643 =E= 0; e199.. x725*x128 + x324 + x325 - x650 =E= 0; e200.. x745*x129 + x322 + x326 - x644 =E= 0; e201.. x725*x129 + x324 + x327 - x651 =E= 0; e202.. x745*x130 + x322 + x328 - x645 =E= 0; e203.. x725*x130 + x324 + x329 - x652 =E= 0; e204.. x745*x131 + x322 + x330 - x646 =E= 0; e205.. x725*x131 + x324 + x331 - x653 =E= 0; e206.. x745*x132 + x322 + x332 - x647 =E= 0; e207.. x725*x132 + x324 + x333 - x654 =E= 0; e208.. x745*x133 + x322 + x334 - x648 =E= 0; e209.. x725*x133 + x324 + x335 - x655 =E= 0; e210.. x747*x134 + x336 + x337 - x643 =E= 0; e211.. x727*x134 + x338 + x339 - x650 =E= 0; e212.. x747*x135 + x336 + x340 - x644 =E= 0; e213.. x727*x135 + x338 + x341 - x651 =E= 0; e214.. x747*x136 + x336 + x342 - x645 =E= 0; e215.. x727*x136 + x338 + x343 - x652 =E= 0; e216.. x747*x137 + x336 + x344 - x646 =E= 0; e217.. x727*x137 + x338 + x345 - x653 =E= 0; e218.. x747*x138 + x336 + x346 - x647 =E= 0; e219.. x727*x138 + x338 + x347 - x654 =E= 0; e220.. x747*x139 + x336 + x348 - x648 =E= 0; e221.. x727*x139 + x338 + x349 - x655 =E= 0; e222.. x749*x140 + x350 + x351 - x643 =E= 0; e223.. x729*x140 + x352 + x353 - x650 =E= 0; e224.. x749*x141 + x350 + x354 - x644 =E= 0; e225.. x729*x141 + x352 + x355 - x651 =E= 0; e226.. x749*x142 + x350 + x356 - x645 =E= 0; e227.. x729*x142 + x352 + x357 - x652 =E= 0; e228.. x749*x143 + x350 + x358 - x646 =E= 0; e229.. x729*x143 + x352 + x359 - x653 =E= 0; e230.. x749*x144 + x350 + x360 - x647 =E= 0; e231.. x729*x144 + x352 + x361 - x654 =E= 0; e232.. x749*x145 + x350 + x362 - x648 =E= 0; e233.. x729*x145 + x352 + x363 - x655 =E= 0; e234.. x751*x152 + x364 + x365 - x657 =E= 0; e235.. x731*x152 + x366 + x367 - x664 =E= 0; e236.. x751*x153 + x364 + x368 - x658 =E= 0; e237.. x731*x153 + x366 + x369 - x665 =E= 0; e238.. x751*x154 + x364 + x370 - x659 =E= 0; e239.. x731*x154 + x366 + x371 - x666 =E= 0; e240.. x751*x155 + x364 + x372 - x660 =E= 0; e241.. x731*x155 + x366 + x373 - x667 =E= 0; e242.. x751*x156 + x364 + x374 - x661 =E= 0; e243.. x731*x156 + x366 + x375 - x668 =E= 0; e244.. x751*x157 + x364 + x376 - x662 =E= 0; e245.. x731*x157 + x366 + x377 - x669 =E= 0; e246.. x753*x158 + x378 + x379 - x657 =E= 0; e247.. x733*x158 + x380 + x381 - x664 =E= 0; e248.. x753*x159 + x378 + x382 - x658 =E= 0; e249.. x733*x159 + x380 + x383 - x665 =E= 0; e250.. x753*x160 + x378 + x384 - x659 =E= 0; e251.. x733*x160 + x380 + x385 - x666 =E= 0; e252.. x753*x161 + x378 + x386 - x660 =E= 0; e253.. x733*x161 + x380 + x387 - x667 =E= 0; e254.. x753*x162 + x378 + x388 - x661 =E= 0; e255.. x733*x162 + x380 + x389 - x668 =E= 0; e256.. x753*x163 + x378 + x390 - x662 =E= 0; e257.. x733*x163 + x380 + x391 - x669 =E= 0; e258.. x755*x164 + x392 + x393 - x657 =E= 0; e259.. x735*x164 + x394 + x395 - x664 =E= 0; e260.. x755*x165 + x392 + x396 - x658 =E= 0; e261.. x735*x165 + x394 + x397 - x665 =E= 0; e262.. x755*x166 + x392 + x398 - x659 =E= 0; e263.. x735*x166 + x394 + x399 - x666 =E= 0; e264.. x755*x167 + x392 + x400 - x660 =E= 0; e265.. x735*x167 + x394 + x401 - x667 =E= 0; e266.. x755*x168 + x392 + x402 - x661 =E= 0; e267.. x735*x168 + x394 + x403 - x668 =E= 0; e268.. x755*x169 + x392 + x404 - x662 =E= 0; e269.. x735*x169 + x394 + x405 - x669 =E= 0; e270.. x757*x182 + x406 + x407 - x671 =E= 0; e271.. x737*x182 + x408 + x409 - x678 =E= 0; e272.. x757*x183 + x406 + x410 - x672 =E= 0; e273.. x737*x183 + x408 + x411 - x679 =E= 0; e274.. x757*x184 + x406 + x412 - x673 =E= 0; e275.. x737*x184 + x408 + x413 - x680 =E= 0; e276.. x757*x185 + x406 + x414 - x674 =E= 0; e277.. x737*x185 + x408 + x415 - x681 =E= 0; e278.. x757*x186 + x406 + x416 - x675 =E= 0; e279.. x737*x186 + x408 + x417 - x682 =E= 0; e280.. x757*x187 + x406 + x418 - x676 =E= 0; e281.. x737*x187 + x408 + x419 - x683 =E= 0; e282.. x759*x188 + x420 + x421 - x671 =E= 0; e283.. x739*x188 + x422 + x423 - x678 =E= 0; e284.. x759*x189 + x420 + x424 - x672 =E= 0; e285.. x739*x189 + x422 + x425 - x679 =E= 0; e286.. x759*x190 + x420 + x426 - x673 =E= 0; e287.. x739*x190 + x422 + x427 - x680 =E= 0; e288.. x759*x191 + x420 + x428 - x674 =E= 0; e289.. x739*x191 + x422 + x429 - x681 =E= 0; e290.. x759*x192 + x420 + x430 - x675 =E= 0; e291.. x739*x192 + x422 + x431 - x682 =E= 0; e292.. x759*x193 + x420 + x432 - x676 =E= 0; e293.. x739*x193 + x422 + x433 - x683 =E= 0; e294.. x761*x212 + x434 + x435 - x685 =E= 0; e295.. x741*x212 + x436 + x437 - x692 =E= 0; e296.. x761*x213 + x434 + x438 - x686 =E= 0; e297.. x741*x213 + x436 + x439 - x693 =E= 0; e298.. x761*x214 + x434 + x440 - x687 =E= 0; e299.. x741*x214 + x436 + x441 - x694 =E= 0; e300.. x761*x215 + x434 + x442 - x688 =E= 0; e301.. x741*x215 + x436 + x443 - x695 =E= 0; e302.. x761*x216 + x434 + x444 - x689 =E= 0; e303.. x741*x216 + x436 + x445 - x696 =E= 0; e304.. x761*x217 + x434 + x446 - x690 =E= 0; e305.. x741*x217 + x436 + x447 - x697 =E= 0; e306.. x743*x146 + x308 + x448 - x657 =E= 0; e307.. x723*x146 + x310 + x449 - x664 =E= 0; e308.. x743*x147 + x308 + x450 - x658 =E= 0; e309.. x723*x147 + x310 + x451 - x665 =E= 0; e310.. x743*x148 + x308 + x452 - x659 =E= 0; e311.. x723*x148 + x310 + x453 - x666 =E= 0; e312.. x743*x149 + x308 + x454 - x660 =E= 0; e313.. x723*x149 + x310 + x455 - x667 =E= 0; e314.. x743*x150 + x308 + x456 - x661 =E= 0; e315.. x723*x150 + x310 + x457 - x668 =E= 0; e316.. x743*x151 + x308 + x458 - x662 =E= 0; e317.. x723*x151 + x310 + x459 - x669 =E= 0; e318.. x745*x170 + x322 + x460 - x671 =E= 0; e319.. x725*x170 + x324 + x461 - x678 =E= 0; e320.. x745*x171 + x322 + x462 - x672 =E= 0; e321.. x725*x171 + x324 + x463 - x679 =E= 0; e322.. x745*x172 + x322 + x464 - x673 =E= 0; e323.. x725*x172 + x324 + x465 - x680 =E= 0; e324.. x745*x173 + x322 + x466 - x674 =E= 0; e325.. x725*x173 + x324 + x467 - x681 =E= 0; e326.. x745*x174 + x322 + x468 - x675 =E= 0; e327.. x725*x174 + x324 + x469 - x682 =E= 0; e328.. x745*x175 + x322 + x470 - x676 =E= 0; e329.. x725*x175 + x324 + x471 - x683 =E= 0; e330.. x747*x194 + x336 + x472 - x685 =E= 0; e331.. x727*x194 + x338 + x473 - x692 =E= 0; e332.. x747*x195 + x336 + x474 - x686 =E= 0; e333.. x727*x195 + x338 + x475 - x693 =E= 0; e334.. x747*x196 + x336 + x476 - x687 =E= 0; e335.. x727*x196 + x338 + x477 - x694 =E= 0; e336.. x747*x197 + x336 + x478 - x688 =E= 0; e337.. x727*x197 + x338 + x479 - x695 =E= 0; e338.. x747*x198 + x336 + x480 - x689 =E= 0; e339.. x727*x198 + x338 + x481 - x696 =E= 0; e340.. x747*x199 + x336 + x482 - x690 =E= 0; e341.. x727*x199 + x338 + x483 - x697 =E= 0; e342.. x749*x218 + x350 + x484 - x699 =E= 0; e343.. x729*x218 + x352 + x485 - x706 =E= 0; e344.. x749*x219 + x350 + x486 - x700 =E= 0; e345.. x729*x219 + x352 + x487 - x707 =E= 0; e346.. x749*x220 + x350 + x488 - x701 =E= 0; e347.. x729*x220 + x352 + x489 - x708 =E= 0; e348.. x749*x221 + x350 + x490 - x702 =E= 0; e349.. x729*x221 + x352 + x491 - x709 =E= 0; e350.. x749*x222 + x350 + x492 - x703 =E= 0; e351.. x729*x222 + x352 + x493 - x710 =E= 0; e352.. x749*x223 + x350 + x494 - x704 =E= 0; e353.. x729*x223 + x352 + x495 - x711 =E= 0; e354.. x751*x176 + x364 + x496 - x671 =E= 0; e355.. x731*x176 + x366 + x497 - x678 =E= 0; e356.. x751*x177 + x364 + x498 - x672 =E= 0; e357.. x731*x177 + x366 + x499 - x679 =E= 0; e358.. x751*x178 + x364 + x500 - x673 =E= 0; e359.. x731*x178 + x366 + x501 - x680 =E= 0; e360.. x751*x179 + x364 + x502 - x674 =E= 0; e361.. x731*x179 + x366 + x503 - x681 =E= 0; e362.. x751*x180 + x364 + x504 - x675 =E= 0; e363.. x731*x180 + x366 + x505 - x682 =E= 0; e364.. x751*x181 + x364 + x506 - x676 =E= 0; e365.. x731*x181 + x366 + x507 - x683 =E= 0; e366.. x753*x200 + x378 + x508 - x685 =E= 0; e367.. x733*x200 + x380 + x509 - x692 =E= 0; e368.. x753*x201 + x378 + x510 - x686 =E= 0; e369.. x733*x201 + x380 + x511 - x693 =E= 0; e370.. x753*x202 + x378 + x512 - x687 =E= 0; e371.. x733*x202 + x380 + x513 - x694 =E= 0; e372.. x753*x203 + x378 + x514 - x688 =E= 0; e373.. x733*x203 + x380 + x515 - x695 =E= 0; e374.. x753*x204 + x378 + x516 - x689 =E= 0; e375.. x733*x204 + x380 + x517 - x696 =E= 0; e376.. x753*x205 + x378 + x518 - x690 =E= 0; e377.. x733*x205 + x380 + x519 - x697 =E= 0; e378.. x755*x224 + x392 + x520 - x699 =E= 0; e379.. x735*x224 + x394 + x521 - x706 =E= 0; e380.. x755*x225 + x392 + x522 - x700 =E= 0; e381.. x735*x225 + x394 + x523 - x707 =E= 0; e382.. x755*x226 + x392 + x524 - x701 =E= 0; e383.. x735*x226 + x394 + x525 - x708 =E= 0; e384.. x755*x227 + x392 + x526 - x702 =E= 0; e385.. x735*x227 + x394 + x527 - x709 =E= 0; e386.. x755*x228 + x392 + x528 - x703 =E= 0; e387.. x735*x228 + x394 + x529 - x710 =E= 0; e388.. x755*x229 + x392 + x530 - x704 =E= 0; e389.. x735*x229 + x394 + x531 - x711 =E= 0; e390.. x757*x206 + x406 + x532 - x685 =E= 0; e391.. x737*x206 + x408 + x533 - x692 =E= 0; e392.. x757*x207 + x406 + x534 - x686 =E= 0; e393.. x737*x207 + x408 + x535 - x693 =E= 0; e394.. x757*x208 + x406 + x536 - x687 =E= 0; e395.. x737*x208 + x408 + x537 - x694 =E= 0; e396.. x757*x209 + x406 + x538 - x688 =E= 0; e397.. x737*x209 + x408 + x539 - x695 =E= 0; e398.. x757*x210 + x406 + x540 - x689 =E= 0; e399.. x737*x210 + x408 + x541 - x696 =E= 0; e400.. x757*x211 + x406 + x542 - x690 =E= 0; e401.. x737*x211 + x408 + x543 - x697 =E= 0; e402.. x759*x230 + x420 + x544 - x699 =E= 0; e403.. x739*x230 + x422 + x545 - x706 =E= 0; e404.. x759*x231 + x420 + x546 - x700 =E= 0; e405.. x739*x231 + x422 + x547 - x707 =E= 0; e406.. x759*x232 + x420 + x548 - x701 =E= 0; e407.. x739*x232 + x422 + x549 - x708 =E= 0; e408.. x759*x233 + x420 + x550 - x702 =E= 0; e409.. x739*x233 + x422 + x551 - x709 =E= 0; e410.. x759*x234 + x420 + x552 - x703 =E= 0; e411.. x739*x234 + x422 + x553 - x710 =E= 0; e412.. x759*x235 + x420 + x554 - x704 =E= 0; e413.. x739*x235 + x422 + x555 - x711 =E= 0; e414.. x761*x236 + x434 + x556 - x699 =E= 0; e415.. x741*x236 + x436 + x557 - x706 =E= 0; e416.. x761*x237 + x434 + x558 - x700 =E= 0; e417.. x741*x237 + x436 + x559 - x707 =E= 0; e418.. x761*x238 + x434 + x560 - x701 =E= 0; e419.. x741*x238 + x436 + x561 - x708 =E= 0; e420.. x761*x239 + x434 + x562 - x702 =E= 0; e421.. x741*x239 + x436 + x563 - x709 =E= 0; e422.. x761*x240 + x434 + x564 - x703 =E= 0; e423.. x741*x240 + x436 + x565 - x710 =E= 0; e424.. x761*x241 + x434 + x566 - x704 =E= 0; e425.. x741*x241 + x436 + x567 - x711 =E= 0; e426.. -x724*x2 + x309 =E= 0; e427.. -x744*x2 + x311 =E= 0; e428.. -x724*x3 + x312 =E= 0; e429.. -x744*x3 + x313 =E= 0; e430.. -x724*x4 + x314 =E= 0; e431.. -x744*x4 + x315 =E= 0; e432.. -x724*x5 + x316 =E= 0; e433.. -x744*x5 + x317 =E= 0; e434.. -x724*x6 + x318 =E= 0; e435.. -x744*x6 + x319 =E= 0; e436.. -x724*x7 + x320 =E= 0; e437.. -x744*x7 + x321 =E= 0; e438.. -x726*x8 + x323 =E= 0; e439.. -x746*x8 + x325 =E= 0; e440.. -x726*x9 + x326 =E= 0; e441.. -x746*x9 + x327 =E= 0; e442.. -x726*x10 + x328 =E= 0; e443.. -x746*x10 + x329 =E= 0; e444.. -x726*x11 + x330 =E= 0; e445.. -x746*x11 + x331 =E= 0; e446.. -x726*x12 + x332 =E= 0; e447.. -x746*x12 + x333 =E= 0; e448.. -x726*x13 + x334 =E= 0; e449.. -x746*x13 + x335 =E= 0; e450.. -x728*x14 + x337 =E= 0; e451.. -x748*x14 + x339 =E= 0; e452.. -x728*x15 + x340 =E= 0; e453.. -x748*x15 + x341 =E= 0; e454.. -x728*x16 + x342 =E= 0; e455.. -x748*x16 + x343 =E= 0; e456.. -x728*x17 + x344 =E= 0; e457.. -x748*x17 + x345 =E= 0; e458.. -x728*x18 + x346 =E= 0; e459.. -x748*x18 + x347 =E= 0; e460.. -x728*x19 + x348 =E= 0; e461.. -x748*x19 + x349 =E= 0; e462.. -x730*x20 + x351 =E= 0; e463.. -x750*x20 + x353 =E= 0; e464.. -x730*x21 + x354 =E= 0; e465.. -x750*x21 + x355 =E= 0; e466.. -x730*x22 + x356 =E= 0; e467.. -x750*x22 + x357 =E= 0; e468.. -x730*x23 + x358 =E= 0; e469.. -x750*x23 + x359 =E= 0; e470.. -x730*x24 + x360 =E= 0; e471.. -x750*x24 + x361 =E= 0; e472.. -x730*x25 + x362 =E= 0; e473.. -x750*x25 + x363 =E= 0; e474.. -x732*x32 + x365 =E= 0; e475.. -x752*x32 + x367 =E= 0; e476.. -x732*x33 + x368 =E= 0; e477.. -x752*x33 + x369 =E= 0; e478.. -x732*x34 + x370 =E= 0; e479.. -x752*x34 + x371 =E= 0; e480.. -x732*x35 + x372 =E= 0; e481.. -x752*x35 + x373 =E= 0; e482.. -x732*x36 + x374 =E= 0; e483.. -x752*x36 + x375 =E= 0; e484.. -x732*x37 + x376 =E= 0; e485.. -x752*x37 + x377 =E= 0; e486.. -x734*x38 + x379 =E= 0; e487.. -x754*x38 + x381 =E= 0; e488.. -x734*x39 + x382 =E= 0; e489.. -x754*x39 + x383 =E= 0; e490.. -x734*x40 + x384 =E= 0; e491.. -x754*x40 + x385 =E= 0; e492.. -x734*x41 + x386 =E= 0; e493.. -x754*x41 + x387 =E= 0; e494.. -x734*x42 + x388 =E= 0; e495.. -x754*x42 + x389 =E= 0; e496.. -x734*x43 + x390 =E= 0; e497.. -x754*x43 + x391 =E= 0; e498.. -x736*x44 + x393 =E= 0; e499.. -x756*x44 + x395 =E= 0; e500.. -x736*x45 + x396 =E= 0; e501.. -x756*x45 + x397 =E= 0; e502.. -x736*x46 + x398 =E= 0; e503.. -x756*x46 + x399 =E= 0; e504.. -x736*x47 + x400 =E= 0; e505.. -x756*x47 + x401 =E= 0; e506.. -x736*x48 + x402 =E= 0; e507.. -x756*x48 + x403 =E= 0; e508.. -x736*x49 + x404 =E= 0; e509.. -x756*x49 + x405 =E= 0; e510.. -x738*x62 + x407 =E= 0; e511.. -x758*x62 + x409 =E= 0; e512.. -x738*x63 + x410 =E= 0; e513.. -x758*x63 + x411 =E= 0; e514.. -x738*x64 + x412 =E= 0; e515.. -x758*x64 + x413 =E= 0; e516.. -x738*x65 + x414 =E= 0; e517.. -x758*x65 + x415 =E= 0; e518.. -x738*x66 + x416 =E= 0; e519.. -x758*x66 + x417 =E= 0; e520.. -x738*x67 + x418 =E= 0; e521.. -x758*x67 + x419 =E= 0; e522.. -x740*x68 + x421 =E= 0; e523.. -x760*x68 + x423 =E= 0; e524.. -x740*x69 + x424 =E= 0; e525.. -x760*x69 + x425 =E= 0; e526.. -x740*x70 + x426 =E= 0; e527.. -x760*x70 + x427 =E= 0; e528.. -x740*x71 + x428 =E= 0; e529.. -x760*x71 + x429 =E= 0; e530.. -x740*x72 + x430 =E= 0; e531.. -x760*x72 + x431 =E= 0; e532.. -x740*x73 + x432 =E= 0; e533.. -x760*x73 + x433 =E= 0; e534.. -x742*x92 + x435 =E= 0; e535.. -x762*x92 + x437 =E= 0; e536.. -x742*x93 + x438 =E= 0; e537.. -x762*x93 + x439 =E= 0; e538.. -x742*x94 + x440 =E= 0; e539.. -x762*x94 + x441 =E= 0; e540.. -x742*x95 + x442 =E= 0; e541.. -x762*x95 + x443 =E= 0; e542.. -x742*x96 + x444 =E= 0; e543.. -x762*x96 + x445 =E= 0; e544.. -x742*x97 + x446 =E= 0; e545.. -x762*x97 + x447 =E= 0; e546.. x724*x26 + x448 =E= 0; e547.. x744*x26 + x449 =E= 0; e548.. x724*x27 + x450 =E= 0; e549.. x744*x27 + x451 =E= 0; e550.. x724*x28 + x452 =E= 0; e551.. x744*x28 + x453 =E= 0; e552.. x724*x29 + x454 =E= 0; e553.. x744*x29 + x455 =E= 0; e554.. x724*x30 + x456 =E= 0; e555.. x744*x30 + x457 =E= 0; e556.. x724*x31 + x458 =E= 0; e557.. x744*x31 + x459 =E= 0; e558.. x726*x50 + x460 =E= 0; e559.. x746*x50 + x461 =E= 0; e560.. x726*x51 + x462 =E= 0; e561.. x746*x51 + x463 =E= 0; e562.. x726*x52 + x464 =E= 0; e563.. x746*x52 + x465 =E= 0; e564.. x726*x53 + x466 =E= 0; e565.. x746*x53 + x467 =E= 0; e566.. x726*x54 + x468 =E= 0; e567.. x746*x54 + x469 =E= 0; e568.. x726*x55 + x470 =E= 0; e569.. x746*x55 + x471 =E= 0; e570.. x728*x74 + x472 =E= 0; e571.. x748*x74 + x473 =E= 0; e572.. x728*x75 + x474 =E= 0; e573.. x748*x75 + x475 =E= 0; e574.. x728*x76 + x476 =E= 0; e575.. x748*x76 + x477 =E= 0; e576.. x728*x77 + x478 =E= 0; e577.. x748*x77 + x479 =E= 0; e578.. x728*x78 + x480 =E= 0; e579.. x748*x78 + x481 =E= 0; e580.. x728*x79 + x482 =E= 0; e581.. x748*x79 + x483 =E= 0; e582.. x730*x98 + x484 =E= 0; e583.. x750*x98 + x485 =E= 0; e584.. x730*x99 + x486 =E= 0; e585.. x750*x99 + x487 =E= 0; e586.. x730*x100 + x488 =E= 0; e587.. x750*x100 + x489 =E= 0; e588.. x730*x101 + x490 =E= 0; e589.. x750*x101 + x491 =E= 0; e590.. x730*x102 + x492 =E= 0; e591.. x750*x102 + x493 =E= 0; e592.. x730*x103 + x494 =E= 0; e593.. x750*x103 + x495 =E= 0; e594.. x732*x56 + x496 =E= 0; e595.. x752*x56 + x497 =E= 0; e596.. x732*x57 + x498 =E= 0; e597.. x752*x57 + x499 =E= 0; e598.. x732*x58 + x500 =E= 0; e599.. x752*x58 + x501 =E= 0; e600.. x732*x59 + x502 =E= 0; e601.. x752*x59 + x503 =E= 0; e602.. x732*x60 + x504 =E= 0; e603.. x752*x60 + x505 =E= 0; e604.. x732*x61 + x506 =E= 0; e605.. x752*x61 + x507 =E= 0; e606.. x734*x80 + x508 =E= 0; e607.. x754*x80 + x509 =E= 0; e608.. x734*x81 + x510 =E= 0; e609.. x754*x81 + x511 =E= 0; e610.. x734*x82 + x512 =E= 0; e611.. x754*x82 + x513 =E= 0; e612.. x734*x83 + x514 =E= 0; e613.. x754*x83 + x515 =E= 0; e614.. x734*x84 + x516 =E= 0; e615.. x754*x84 + x517 =E= 0; e616.. x734*x85 + x518 =E= 0; e617.. x754*x85 + x519 =E= 0; e618.. x736*x104 + x520 =E= 0; e619.. x756*x104 + x521 =E= 0; e620.. x736*x105 + x522 =E= 0; e621.. x756*x105 + x523 =E= 0; e622.. x736*x106 + x524 =E= 0; e623.. x756*x106 + x525 =E= 0; e624.. x736*x107 + x526 =E= 0; e625.. x756*x107 + x527 =E= 0; e626.. x736*x108 + x528 =E= 0; e627.. x756*x108 + x529 =E= 0; e628.. x736*x109 + x530 =E= 0; e629.. x756*x109 + x531 =E= 0; e630.. x738*x86 + x532 =E= 0; e631.. x758*x86 + x533 =E= 0; e632.. x738*x87 + x534 =E= 0; e633.. x758*x87 + x535 =E= 0; e634.. x738*x88 + x536 =E= 0; e635.. x758*x88 + x537 =E= 0; e636.. x738*x89 + x538 =E= 0; e637.. x758*x89 + x539 =E= 0; e638.. x738*x90 + x540 =E= 0; e639.. x758*x90 + x541 =E= 0; e640.. x738*x91 + x542 =E= 0; e641.. x758*x91 + x543 =E= 0; e642.. x740*x110 + x544 =E= 0; e643.. x760*x110 + x545 =E= 0; e644.. x740*x111 + x546 =E= 0; e645.. x760*x111 + x547 =E= 0; e646.. x740*x112 + x548 =E= 0; e647.. x760*x112 + x549 =E= 0; e648.. x740*x113 + x550 =E= 0; e649.. x760*x113 + x551 =E= 0; e650.. x740*x114 + x552 =E= 0; e651.. x760*x114 + x553 =E= 0; e652.. x740*x115 + x554 =E= 0; e653.. x760*x115 + x555 =E= 0; e654.. x742*x116 + x556 =E= 0; e655.. x762*x116 + x557 =E= 0; e656.. x742*x117 + x558 =E= 0; e657.. x762*x117 + x559 =E= 0; e658.. x742*x118 + x560 =E= 0; e659.. x762*x118 + x561 =E= 0; e660.. x742*x119 + x562 =E= 0; e661.. x762*x119 + x563 =E= 0; e662.. x742*x120 + x564 =E= 0; e663.. x762*x120 + x565 =E= 0; e664.. x742*x121 + x566 =E= 0; e665.. x762*x121 + x567 =E= 0; e666.. x773*x272 + x568 + x569 - x643 =E= 0; e667.. x763*x272 + x570 + x571 - x650 =E= 0; e668.. x773*x273 + x568 + x572 - x644 =E= 0; e669.. x763*x273 + x570 + x573 - x651 =E= 0; e670.. x773*x274 + x568 + x574 - x645 =E= 0; e671.. x763*x274 + x570 + x575 - x652 =E= 0; e672.. x773*x275 + x568 + x576 - x646 =E= 0; e673.. x763*x275 + x570 + x577 - x653 =E= 0; e674.. x773*x276 + x568 + x578 - x647 =E= 0; e675.. x763*x276 + x570 + x579 - x654 =E= 0; e676.. x773*x277 + x568 + x580 - x648 =E= 0; e677.. x763*x277 + x570 + x581 - x655 =E= 0; e678.. x775*x278 + x582 + x583 - x657 =E= 0; e679.. x765*x278 + x584 + x585 - x664 =E= 0; e680.. x775*x279 + x582 + x586 - x658 =E= 0; e681.. x765*x279 + x584 + x587 - x665 =E= 0; e682.. x775*x280 + x582 + x588 - x659 =E= 0; e683.. x765*x280 + x584 + x589 - x666 =E= 0; e684.. x775*x281 + x582 + x590 - x660 =E= 0; e685.. x765*x281 + x584 + x591 - x667 =E= 0; e686.. x775*x282 + x582 + x592 - x661 =E= 0; e687.. x765*x282 + x584 + x593 - x668 =E= 0; e688.. x775*x283 + x582 + x594 - x662 =E= 0; e689.. x765*x283 + x584 + x595 - x669 =E= 0; e690.. x777*x284 + x596 + x597 - x671 =E= 0; e691.. x767*x284 + x598 + x599 - x678 =E= 0; e692.. x777*x285 + x596 + x600 - x672 =E= 0; e693.. x767*x285 + x598 + x601 - x679 =E= 0; e694.. x777*x286 + x596 + x602 - x673 =E= 0; e695.. x767*x286 + x598 + x603 - x680 =E= 0; e696.. x777*x287 + x596 + x604 - x674 =E= 0; e697.. x767*x287 + x598 + x605 - x681 =E= 0; e698.. x777*x288 + x596 + x606 - x675 =E= 0; e699.. x767*x288 + x598 + x607 - x682 =E= 0; e700.. x777*x289 + x596 + x608 - x676 =E= 0; e701.. x767*x289 + x598 + x609 - x683 =E= 0; e702.. x779*x290 + x610 + x611 - x685 =E= 0; e703.. x769*x290 + x612 + x613 - x692 =E= 0; e704.. x779*x291 + x610 + x614 - x686 =E= 0; e705.. x769*x291 + x612 + x615 - x693 =E= 0; e706.. x779*x292 + x610 + x616 - x687 =E= 0; e707.. x769*x292 + x612 + x617 - x694 =E= 0; e708.. x779*x293 + x610 + x618 - x688 =E= 0; e709.. x769*x293 + x612 + x619 - x695 =E= 0; e710.. x779*x294 + x610 + x620 - x689 =E= 0; e711.. x769*x294 + x612 + x621 - x696 =E= 0; e712.. x779*x295 + x610 + x622 - x690 =E= 0; e713.. x769*x295 + x612 + x623 - x697 =E= 0; e714.. x781*x296 + x624 + x625 - x699 =E= 0; e715.. x771*x296 + x626 + x627 - x706 =E= 0; e716.. x781*x297 + x624 + x628 - x700 =E= 0; e717.. x771*x297 + x626 + x629 - x707 =E= 0; e718.. x781*x298 + x624 + x630 - x701 =E= 0; e719.. x771*x298 + x626 + x631 - x708 =E= 0; e720.. x781*x299 + x624 + x632 - x702 =E= 0; e721.. x771*x299 + x626 + x633 - x709 =E= 0; e722.. x781*x300 + x624 + x634 - x703 =E= 0; e723.. x771*x300 + x626 + x635 - x710 =E= 0; e724.. x781*x301 + x624 + x636 - x704 =E= 0; e725.. x771*x301 + x626 + x637 - x711 =E= 0; e726.. x773*x302 + x568 - x639 + x783 =E= 0; e727.. x763*x302 + x570 - x641 + x784 =E= 0; e728.. x775*x303 + x582 - x639 + x785 =E= 0; e729.. x765*x303 + x584 - x641 + x786 =E= 0; e730.. x777*x304 + x596 - x639 + x787 =E= 0; e731.. x767*x304 + x598 - x641 + x788 =E= 0; e732.. x779*x305 + x610 - x639 + x789 =E= 0; e733.. x769*x305 + x612 - x641 + x790 =E= 0; e734.. x781*x306 + x624 - x639 + x791 =E= 0; e735.. x771*x306 + x626 - x641 + x792 =E= 0; e736.. -x764*x242 + x569 =E= 0; e737.. -x774*x242 + x571 =E= 0; e738.. -x764*x243 + x572 =E= 0; e739.. -x774*x243 + x573 =E= 0; e740.. -x764*x244 + x574 =E= 0; e741.. -x774*x244 + x575 =E= 0; e742.. -x764*x245 + x576 =E= 0; e743.. -x774*x245 + x577 =E= 0; e744.. -x764*x246 + x578 =E= 0; e745.. -x774*x246 + x579 =E= 0; e746.. -x764*x247 + x580 =E= 0; e747.. -x774*x247 + x581 =E= 0; e748.. -x766*x248 + x583 =E= 0; e749.. -x776*x248 + x585 =E= 0; e750.. -x766*x249 + x586 =E= 0; e751.. -x776*x249 + x587 =E= 0; e752.. -x766*x250 + x588 =E= 0; e753.. -x776*x250 + x589 =E= 0; e754.. -x766*x251 + x590 =E= 0; e755.. -x776*x251 + x591 =E= 0; e756.. -x766*x252 + x592 =E= 0; e757.. -x776*x252 + x593 =E= 0; e758.. -x766*x253 + x594 =E= 0; e759.. -x776*x253 + x595 =E= 0; e760.. -x768*x254 + x597 =E= 0; e761.. -x778*x254 + x599 =E= 0; e762.. -x768*x255 + x600 =E= 0; e763.. -x778*x255 + x601 =E= 0; e764.. -x768*x256 + x602 =E= 0; e765.. -x778*x256 + x603 =E= 0; e766.. -x768*x257 + x604 =E= 0; e767.. -x778*x257 + x605 =E= 0; e768.. -x768*x258 + x606 =E= 0; e769.. -x778*x258 + x607 =E= 0; e770.. -x768*x259 + x608 =E= 0; e771.. -x778*x259 + x609 =E= 0; e772.. -x770*x260 + x611 =E= 0; e773.. -x780*x260 + x613 =E= 0; e774.. -x770*x261 + x614 =E= 0; e775.. -x780*x261 + x615 =E= 0; e776.. -x770*x262 + x616 =E= 0; e777.. -x780*x262 + x617 =E= 0; e778.. -x770*x263 + x618 =E= 0; e779.. -x780*x263 + x619 =E= 0; e780.. -x770*x264 + x620 =E= 0; e781.. -x780*x264 + x621 =E= 0; e782.. -x770*x265 + x622 =E= 0; e783.. -x780*x265 + x623 =E= 0; e784.. -x772*x266 + x625 =E= 0; e785.. -x782*x266 + x627 =E= 0; e786.. -x772*x267 + x628 =E= 0; e787.. -x782*x267 + x629 =E= 0; e788.. -x772*x268 + x630 =E= 0; e789.. -x782*x268 + x631 =E= 0; e790.. -x772*x269 + x632 =E= 0; e791.. -x782*x269 + x633 =E= 0; e792.. -x772*x270 + x634 =E= 0; e793.. -x782*x270 + x635 =E= 0; e794.. -x772*x271 + x636 =E= 0; e795.. -x782*x271 + x637 =E= 0; e796.. sqr(x713) + sqr(x714) =E= 1; e797.. sqr(x715) + sqr(x716) =E= 1; e798.. sqr(x717) + sqr(x718) =E= 1; e799.. sqr(x719) + sqr(x720) =E= 1; e800.. sqr(x721) + sqr(x722) =E= 1; e801.. sqr(x723) + sqr(x743) =E= 1; e802.. sqr(x725) + sqr(x745) =E= 1; e803.. sqr(x727) + sqr(x747) =E= 1; e804.. sqr(x729) + sqr(x749) =E= 1; e805.. sqr(x731) + sqr(x751) =E= 1; e806.. sqr(x733) + sqr(x753) =E= 1; e807.. sqr(x735) + sqr(x755) =E= 1; e808.. sqr(x737) + sqr(x757) =E= 1; e809.. sqr(x739) + sqr(x759) =E= 1; e810.. sqr(x741) + sqr(x761) =E= 1; e811.. sqr(x763) + sqr(x773) =E= 1; e812.. sqr(x765) + sqr(x775) =E= 1; e813.. sqr(x767) + sqr(x777) =E= 1; e814.. sqr(x769) + sqr(x779) =E= 1; e815.. sqr(x771) + sqr(x781) =E= 1; * set non-default bounds x2.up = 8.94427191; x3.up = 8.94427191; x4.up = 8.94427191; x5.up = 8.94427191; x6.up = 8.94427191; x7.up = 8.94427191; x8.up = 8.94427191; x9.up = 8.94427191; x10.up = 8.94427191; x11.up = 8.94427191; x12.up = 8.94427191; x13.up = 8.94427191; x14.up = 8.94427191; x15.up = 8.94427191; x16.up = 8.94427191; x17.up = 8.94427191; x18.up = 8.94427191; x19.up = 8.94427191; x20.up = 8.94427191; x21.up = 8.94427191; x22.up = 8.94427191; x23.up = 8.94427191; x24.up = 8.94427191; x25.up = 8.94427191; x26.up = 8.94427191; x27.up = 8.94427191; x28.up = 8.94427191; x29.up = 8.94427191; x30.up = 8.94427191; x31.up = 8.94427191; x32.up = 8.94427191; x33.up = 8.94427191; x34.up = 8.94427191; x35.up = 8.94427191; x36.up = 8.94427191; x37.up = 8.94427191; x38.up = 8.94427191; x39.up = 8.94427191; x40.up = 8.94427191; x41.up = 8.94427191; x42.up = 8.94427191; x43.up = 8.94427191; x44.up = 8.94427191; x45.up = 8.94427191; x46.up = 8.94427191; x47.up = 8.94427191; x48.up = 8.94427191; x49.up = 8.94427191; x50.up = 8.94427191; x51.up = 8.94427191; x52.up = 8.94427191; x53.up = 8.94427191; x54.up = 8.94427191; x55.up = 8.94427191; x56.up = 8.94427191; x57.up = 8.94427191; x58.up = 8.94427191; x59.up = 8.94427191; x60.up = 8.94427191; x61.up = 8.94427191; x62.up = 8.94427191; x63.up = 8.94427191; x64.up = 8.94427191; x65.up = 8.94427191; x66.up = 8.94427191; x67.up = 8.94427191; x68.up = 8.94427191; x69.up = 8.94427191; x70.up = 8.94427191; x71.up = 8.94427191; x72.up = 8.94427191; x73.up = 8.94427191; x74.up = 8.94427191; x75.up = 8.94427191; x76.up = 8.94427191; x77.up = 8.94427191; x78.up = 8.94427191; x79.up = 8.94427191; x80.up = 8.94427191; x81.up = 8.94427191; x82.up = 8.94427191; x83.up = 8.94427191; x84.up = 8.94427191; x85.up = 8.94427191; x86.up = 8.94427191; x87.up = 8.94427191; x88.up = 8.94427191; x89.up = 8.94427191; x90.up = 8.94427191; x91.up = 8.94427191; x92.up = 8.94427191; x93.up = 8.94427191; x94.up = 8.94427191; x95.up = 8.94427191; x96.up = 8.94427191; x97.up = 8.94427191; x98.up = 8.94427191; x99.up = 8.94427191; x100.up = 8.94427191; x101.up = 8.94427191; x102.up = 8.94427191; x103.up = 8.94427191; x104.up = 8.94427191; x105.up = 8.94427191; x106.up = 8.94427191; x107.up = 8.94427191; x108.up = 8.94427191; x109.up = 8.94427191; x110.up = 8.94427191; x111.up = 8.94427191; x112.up = 8.94427191; x113.up = 8.94427191; x114.up = 8.94427191; x115.up = 8.94427191; x116.up = 8.94427191; x117.up = 8.94427191; x118.up = 8.94427191; x119.up = 8.94427191; x120.up = 8.94427191; x121.up = 8.94427191; x122.lo = -8.94427191; x122.up = 8.94427191; x123.lo = -8.94427191; x123.up = 8.94427191; x124.lo = -8.94427191; x124.up = 8.94427191; x125.lo = -8.94427191; x125.up = 8.94427191; x126.lo = -8.94427191; x126.up = 8.94427191; x127.lo = -8.94427191; x127.up = 8.94427191; x128.lo = -8.94427191; x128.up = 8.94427191; x129.lo = -8.94427191; x129.up = 8.94427191; x130.lo = -8.94427191; x130.up = 8.94427191; x131.lo = -8.94427191; x131.up = 8.94427191; x132.lo = -8.94427191; x132.up = 8.94427191; x133.lo = -8.94427191; x133.up = 8.94427191; x134.lo = -8.94427191; x134.up = 8.94427191; x135.lo = -8.94427191; x135.up = 8.94427191; x136.lo = -8.94427191; x136.up = 8.94427191; x137.lo = -8.94427191; x137.up = 8.94427191; x138.lo = -8.94427191; x138.up = 8.94427191; x139.lo = -8.94427191; x139.up = 8.94427191; x140.lo = -8.94427191; x140.up = 8.94427191; x141.lo = -8.94427191; x141.up = 8.94427191; x142.lo = -8.94427191; x142.up = 8.94427191; x143.lo = -8.94427191; x143.up = 8.94427191; x144.lo = -8.94427191; x144.up = 8.94427191; x145.lo = -8.94427191; x145.up = 8.94427191; x146.lo = -8.94427191; x146.up = 8.94427191; x147.lo = -8.94427191; x147.up = 8.94427191; x148.lo = -8.94427191; x148.up = 8.94427191; x149.lo = -8.94427191; x149.up = 8.94427191; x150.lo = -8.94427191; x150.up = 8.94427191; x151.lo = -8.94427191; x151.up = 8.94427191; x152.lo = -8.94427191; x152.up = 8.94427191; x153.lo = -8.94427191; x153.up = 8.94427191; x154.lo = -8.94427191; x154.up = 8.94427191; x155.lo = -8.94427191; x155.up = 8.94427191; x156.lo = -8.94427191; x156.up = 8.94427191; x157.lo = -8.94427191; x157.up = 8.94427191; x158.lo = -8.94427191; x158.up = 8.94427191; x159.lo = -8.94427191; x159.up = 8.94427191; x160.lo = -8.94427191; x160.up = 8.94427191; x161.lo = -8.94427191; x161.up = 8.94427191; x162.lo = -8.94427191; x162.up = 8.94427191; x163.lo = -8.94427191; x163.up = 8.94427191; x164.lo = -8.94427191; x164.up = 8.94427191; x165.lo = -8.94427191; x165.up = 8.94427191; x166.lo = -8.94427191; x166.up = 8.94427191; x167.lo = -8.94427191; x167.up = 8.94427191; x168.lo = -8.94427191; x168.up = 8.94427191; x169.lo = -8.94427191; x169.up = 8.94427191; x170.lo = -8.94427191; x170.up = 8.94427191; x171.lo = -8.94427191; x171.up = 8.94427191; x172.lo = -8.94427191; x172.up = 8.94427191; x173.lo = -8.94427191; x173.up = 8.94427191; x174.lo = -8.94427191; x174.up = 8.94427191; x175.lo = -8.94427191; x175.up = 8.94427191; x176.lo = -8.94427191; x176.up = 8.94427191; x177.lo = -8.94427191; x177.up = 8.94427191; x178.lo = -8.94427191; x178.up = 8.94427191; x179.lo = -8.94427191; x179.up = 8.94427191; x180.lo = -8.94427191; x180.up = 8.94427191; x181.lo = -8.94427191; x181.up = 8.94427191; x182.lo = -8.94427191; x182.up = 8.94427191; x183.lo = -8.94427191; x183.up = 8.94427191; x184.lo = -8.94427191; x184.up = 8.94427191; x185.lo = -8.94427191; x185.up = 8.94427191; x186.lo = -8.94427191; x186.up = 8.94427191; x187.lo = -8.94427191; x187.up = 8.94427191; x188.lo = -8.94427191; x188.up = 8.94427191; x189.lo = -8.94427191; x189.up = 8.94427191; x190.lo = -8.94427191; x190.up = 8.94427191; x191.lo = -8.94427191; x191.up = 8.94427191; x192.lo = -8.94427191; x192.up = 8.94427191; x193.lo = -8.94427191; x193.up = 8.94427191; x194.lo = -8.94427191; x194.up = 8.94427191; x195.lo = -8.94427191; x195.up = 8.94427191; x196.lo = -8.94427191; x196.up = 8.94427191; x197.lo = -8.94427191; x197.up = 8.94427191; x198.lo = -8.94427191; x198.up = 8.94427191; x199.lo = -8.94427191; x199.up = 8.94427191; x200.lo = -8.94427191; x200.up = 8.94427191; x201.lo = -8.94427191; x201.up = 8.94427191; x202.lo = -8.94427191; x202.up = 8.94427191; x203.lo = -8.94427191; x203.up = 8.94427191; x204.lo = -8.94427191; x204.up = 8.94427191; x205.lo = -8.94427191; x205.up = 8.94427191; x206.lo = -8.94427191; x206.up = 8.94427191; x207.lo = -8.94427191; x207.up = 8.94427191; x208.lo = -8.94427191; x208.up = 8.94427191; x209.lo = -8.94427191; x209.up = 8.94427191; x210.lo = -8.94427191; x210.up = 8.94427191; x211.lo = -8.94427191; x211.up = 8.94427191; x212.lo = -8.94427191; x212.up = 8.94427191; x213.lo = -8.94427191; x213.up = 8.94427191; x214.lo = -8.94427191; x214.up = 8.94427191; x215.lo = -8.94427191; x215.up = 8.94427191; x216.lo = -8.94427191; x216.up = 8.94427191; x217.lo = -8.94427191; x217.up = 8.94427191; x218.lo = -8.94427191; x218.up = 8.94427191; x219.lo = -8.94427191; x219.up = 8.94427191; x220.lo = -8.94427191; x220.up = 8.94427191; x221.lo = -8.94427191; x221.up = 8.94427191; x222.lo = -8.94427191; x222.up = 8.94427191; x223.lo = -8.94427191; x223.up = 8.94427191; x224.lo = -8.94427191; x224.up = 8.94427191; x225.lo = -8.94427191; x225.up = 8.94427191; x226.lo = -8.94427191; x226.up = 8.94427191; x227.lo = -8.94427191; x227.up = 8.94427191; x228.lo = -8.94427191; x228.up = 8.94427191; x229.lo = -8.94427191; x229.up = 8.94427191; x230.lo = -8.94427191; x230.up = 8.94427191; x231.lo = -8.94427191; x231.up = 8.94427191; x232.lo = -8.94427191; x232.up = 8.94427191; x233.lo = -8.94427191; x233.up = 8.94427191; x234.lo = -8.94427191; x234.up = 8.94427191; x235.lo = -8.94427191; x235.up = 8.94427191; x236.lo = -8.94427191; x236.up = 8.94427191; x237.lo = -8.94427191; x237.up = 8.94427191; x238.lo = -8.94427191; x238.up = 8.94427191; x239.lo = -8.94427191; x239.up = 8.94427191; x240.lo = -8.94427191; x240.up = 8.94427191; x241.lo = -8.94427191; x241.up = 8.94427191; x242.up = 8.94427191; x243.up = 8.94427191; x244.up = 8.94427191; x245.up = 8.94427191; x246.up = 8.94427191; x247.up = 8.94427191; x248.up = 8.94427191; x249.up = 8.94427191; x250.up = 8.94427191; x251.up = 8.94427191; x252.up = 8.94427191; x253.up = 8.94427191; x254.up = 8.94427191; x255.up = 8.94427191; x256.up = 8.94427191; x257.up = 8.94427191; x258.up = 8.94427191; x259.up = 8.94427191; x260.up = 8.94427191; x261.up = 8.94427191; x262.up = 8.94427191; x263.up = 8.94427191; x264.up = 8.94427191; x265.up = 8.94427191; x266.up = 8.94427191; x267.up = 8.94427191; x268.up = 8.94427191; x269.up = 8.94427191; x270.up = 8.94427191; x271.up = 8.94427191; x272.lo = -8.94427191; x272.up = 8.94427191; x273.lo = -8.94427191; x273.up = 8.94427191; x274.lo = -8.94427191; x274.up = 8.94427191; x275.lo = -8.94427191; x275.up = 8.94427191; x276.lo = -8.94427191; x276.up = 8.94427191; x277.lo = -8.94427191; x277.up = 8.94427191; x278.lo = -8.94427191; x278.up = 8.94427191; x279.lo = -8.94427191; x279.up = 8.94427191; x280.lo = -8.94427191; x280.up = 8.94427191; x281.lo = -8.94427191; x281.up = 8.94427191; x282.lo = -8.94427191; x282.up = 8.94427191; x283.lo = -8.94427191; x283.up = 8.94427191; x284.lo = -8.94427191; x284.up = 8.94427191; x285.lo = -8.94427191; x285.up = 8.94427191; x286.lo = -8.94427191; x286.up = 8.94427191; x287.lo = -8.94427191; x287.up = 8.94427191; x288.lo = -8.94427191; x288.up = 8.94427191; x289.lo = -8.94427191; x289.up = 8.94427191; x290.lo = -8.94427191; x290.up = 8.94427191; x291.lo = -8.94427191; x291.up = 8.94427191; x292.lo = -8.94427191; x292.up = 8.94427191; x293.lo = -8.94427191; x293.up = 8.94427191; x294.lo = -8.94427191; x294.up = 8.94427191; x295.lo = -8.94427191; x295.up = 8.94427191; x296.lo = -8.94427191; x296.up = 8.94427191; x297.lo = -8.94427191; x297.up = 8.94427191; x298.lo = -8.94427191; x298.up = 8.94427191; x299.lo = -8.94427191; x299.up = 8.94427191; x300.lo = -8.94427191; x300.up = 8.94427191; x301.lo = -8.94427191; x301.up = 8.94427191; x302.lo = -8.94427191; x302.up = 8.94427191; x303.lo = -8.94427191; x303.up = 8.94427191; x304.lo = -8.94427191; x304.up = 8.94427191; x305.lo = -8.94427191; x305.up = 8.94427191; x306.lo = -8.94427191; x306.up = 8.94427191; x307.up = 32; x308.up = 8; x309.lo = -8.94427191; x309.up = 8.94427191; x310.up = 4; x311.lo = -8.94427191; x311.up = 8.94427191; x312.lo = -8.94427191; x312.up = 8.94427191; x313.lo = -8.94427191; x313.up = 8.94427191; x314.lo = -8.94427191; x314.up = 8.94427191; x315.lo = -8.94427191; x315.up = 8.94427191; x316.lo = -8.94427191; x316.up = 8.94427191; x317.lo = -8.94427191; x317.up = 8.94427191; x318.lo = -8.94427191; x318.up = 8.94427191; x319.lo = -8.94427191; x319.up = 8.94427191; x320.lo = -8.94427191; x320.up = 8.94427191; x321.lo = -8.94427191; x321.up = 8.94427191; x322.up = 8; x323.lo = -8.94427191; x323.up = 8.94427191; x324.up = 4; x325.lo = -8.94427191; x325.up = 8.94427191; x326.lo = -8.94427191; x326.up = 8.94427191; x327.lo = -8.94427191; x327.up = 8.94427191; x328.lo = -8.94427191; x328.up = 8.94427191; x329.lo = -8.94427191; x329.up = 8.94427191; x330.lo = -8.94427191; x330.up = 8.94427191; x331.lo = -8.94427191; x331.up = 8.94427191; x332.lo = -8.94427191; x332.up = 8.94427191; x333.lo = -8.94427191; x333.up = 8.94427191; x334.lo = -8.94427191; x334.up = 8.94427191; x335.lo = -8.94427191; x335.up = 8.94427191; x336.up = 8; x337.lo = -8.94427191; x337.up = 8.94427191; x338.up = 4; x339.lo = -8.94427191; x339.up = 8.94427191; x340.lo = -8.94427191; x340.up = 8.94427191; x341.lo = -8.94427191; x341.up = 8.94427191; x342.lo = -8.94427191; x342.up = 8.94427191; x343.lo = -8.94427191; x343.up = 8.94427191; x344.lo = -8.94427191; x344.up = 8.94427191; x345.lo = -8.94427191; x345.up = 8.94427191; x346.lo = -8.94427191; x346.up = 8.94427191; x347.lo = -8.94427191; x347.up = 8.94427191; x348.lo = -8.94427191; x348.up = 8.94427191; x349.lo = -8.94427191; x349.up = 8.94427191; x350.up = 8; x351.lo = -8.94427191; x351.up = 8.94427191; x352.up = 4; x353.lo = -8.94427191; x353.up = 8.94427191; x354.lo = -8.94427191; x354.up = 8.94427191; x355.lo = -8.94427191; x355.up = 8.94427191; x356.lo = -8.94427191; x356.up = 8.94427191; x357.lo = -8.94427191; x357.up = 8.94427191; x358.lo = -8.94427191; x358.up = 8.94427191; x359.lo = -8.94427191; x359.up = 8.94427191; x360.lo = -8.94427191; x360.up = 8.94427191; x361.lo = -8.94427191; x361.up = 8.94427191; x362.lo = -8.94427191; x362.up = 8.94427191; x363.lo = -8.94427191; x363.up = 8.94427191; x364.up = 8; x365.lo = -8.94427191; x365.up = 8.94427191; x366.up = 4; x367.lo = -8.94427191; x367.up = 8.94427191; x368.lo = -8.94427191; x368.up = 8.94427191; x369.lo = -8.94427191; x369.up = 8.94427191; x370.lo = -8.94427191; x370.up = 8.94427191; x371.lo = -8.94427191; x371.up = 8.94427191; x372.lo = -8.94427191; x372.up = 8.94427191; x373.lo = -8.94427191; x373.up = 8.94427191; x374.lo = -8.94427191; x374.up = 8.94427191; x375.lo = -8.94427191; x375.up = 8.94427191; x376.lo = -8.94427191; x376.up = 8.94427191; x377.lo = -8.94427191; x377.up = 8.94427191; x378.up = 8; x379.lo = -8.94427191; x379.up = 8.94427191; x380.up = 4; x381.lo = -8.94427191; x381.up = 8.94427191; x382.lo = -8.94427191; x382.up = 8.94427191; x383.lo = -8.94427191; x383.up = 8.94427191; x384.lo = -8.94427191; x384.up = 8.94427191; x385.lo = -8.94427191; x385.up = 8.94427191; x386.lo = -8.94427191; x386.up = 8.94427191; x387.lo = -8.94427191; x387.up = 8.94427191; x388.lo = -8.94427191; x388.up = 8.94427191; x389.lo = -8.94427191; x389.up = 8.94427191; x390.lo = -8.94427191; x390.up = 8.94427191; x391.lo = -8.94427191; x391.up = 8.94427191; x392.up = 8; x393.lo = -8.94427191; x393.up = 8.94427191; x394.up = 4; x395.lo = -8.94427191; x395.up = 8.94427191; x396.lo = -8.94427191; x396.up = 8.94427191; x397.lo = -8.94427191; x397.up = 8.94427191; x398.lo = -8.94427191; x398.up = 8.94427191; x399.lo = -8.94427191; x399.up = 8.94427191; x400.lo = -8.94427191; x400.up = 8.94427191; x401.lo = -8.94427191; x401.up = 8.94427191; x402.lo = -8.94427191; x402.up = 8.94427191; x403.lo = -8.94427191; x403.up = 8.94427191; x404.lo = -8.94427191; x404.up = 8.94427191; x405.lo = -8.94427191; x405.up = 8.94427191; x406.up = 8; x407.lo = -8.94427191; x407.up = 8.94427191; x408.up = 4; x409.lo = -8.94427191; x409.up = 8.94427191; x410.lo = -8.94427191; x410.up = 8.94427191; x411.lo = -8.94427191; x411.up = 8.94427191; x412.lo = -8.94427191; x412.up = 8.94427191; x413.lo = -8.94427191; x413.up = 8.94427191; x414.lo = -8.94427191; x414.up = 8.94427191; x415.lo = -8.94427191; x415.up = 8.94427191; x416.lo = -8.94427191; x416.up = 8.94427191; x417.lo = -8.94427191; x417.up = 8.94427191; x418.lo = -8.94427191; x418.up = 8.94427191; x419.lo = -8.94427191; x419.up = 8.94427191; x420.up = 8; x421.lo = -8.94427191; x421.up = 8.94427191; x422.up = 4; x423.lo = -8.94427191; x423.up = 8.94427191; x424.lo = -8.94427191; x424.up = 8.94427191; x425.lo = -8.94427191; x425.up = 8.94427191; x426.lo = -8.94427191; x426.up = 8.94427191; x427.lo = -8.94427191; x427.up = 8.94427191; x428.lo = -8.94427191; x428.up = 8.94427191; x429.lo = -8.94427191; x429.up = 8.94427191; x430.lo = -8.94427191; x430.up = 8.94427191; x431.lo = -8.94427191; x431.up = 8.94427191; x432.lo = -8.94427191; x432.up = 8.94427191; x433.lo = -8.94427191; x433.up = 8.94427191; x434.up = 8; x435.lo = -8.94427191; x435.up = 8.94427191; x436.up = 4; x437.lo = -8.94427191; x437.up = 8.94427191; x438.lo = -8.94427191; x438.up = 8.94427191; x439.lo = -8.94427191; x439.up = 8.94427191; x440.lo = -8.94427191; x440.up = 8.94427191; x441.lo = -8.94427191; x441.up = 8.94427191; x442.lo = -8.94427191; x442.up = 8.94427191; x443.lo = -8.94427191; x443.up = 8.94427191; x444.lo = -8.94427191; x444.up = 8.94427191; x445.lo = -8.94427191; x445.up = 8.94427191; x446.lo = -8.94427191; x446.up = 8.94427191; x447.lo = -8.94427191; x447.up = 8.94427191; x448.lo = -8.94427191; x448.up = 8.94427191; x449.lo = -8.94427191; x449.up = 8.94427191; x450.lo = -8.94427191; x450.up = 8.94427191; x451.lo = -8.94427191; x451.up = 8.94427191; x452.lo = -8.94427191; x452.up = 8.94427191; x453.lo = -8.94427191; x453.up = 8.94427191; x454.lo = -8.94427191; x454.up = 8.94427191; x455.lo = -8.94427191; x455.up = 8.94427191; x456.lo = -8.94427191; x456.up = 8.94427191; x457.lo = -8.94427191; x457.up = 8.94427191; x458.lo = -8.94427191; x458.up = 8.94427191; x459.lo = -8.94427191; x459.up = 8.94427191; x460.lo = -8.94427191; x460.up = 8.94427191; x461.lo = -8.94427191; x461.up = 8.94427191; x462.lo = -8.94427191; x462.up = 8.94427191; x463.lo = -8.94427191; x463.up = 8.94427191; x464.lo = -8.94427191; x464.up = 8.94427191; x465.lo = -8.94427191; x465.up = 8.94427191; x466.lo = -8.94427191; x466.up = 8.94427191; x467.lo = -8.94427191; x467.up = 8.94427191; x468.lo = -8.94427191; x468.up = 8.94427191; x469.lo = -8.94427191; x469.up = 8.94427191; x470.lo = -8.94427191; x470.up = 8.94427191; x471.lo = -8.94427191; x471.up = 8.94427191; x472.lo = -8.94427191; x472.up = 8.94427191; x473.lo = -8.94427191; x473.up = 8.94427191; x474.lo = -8.94427191; x474.up = 8.94427191; x475.lo = -8.94427191; x475.up = 8.94427191; x476.lo = -8.94427191; x476.up = 8.94427191; x477.lo = -8.94427191; x477.up = 8.94427191; x478.lo = -8.94427191; x478.up = 8.94427191; x479.lo = -8.94427191; x479.up = 8.94427191; x480.lo = -8.94427191; x480.up = 8.94427191; x481.lo = -8.94427191; x481.up = 8.94427191; x482.lo = -8.94427191; x482.up = 8.94427191; x483.lo = -8.94427191; x483.up = 8.94427191; x484.lo = -8.94427191; x484.up = 8.94427191; x485.lo = -8.94427191; x485.up = 8.94427191; x486.lo = -8.94427191; x486.up = 8.94427191; x487.lo = -8.94427191; x487.up = 8.94427191; x488.lo = -8.94427191; x488.up = 8.94427191; x489.lo = -8.94427191; x489.up = 8.94427191; x490.lo = -8.94427191; x490.up = 8.94427191; x491.lo = -8.94427191; x491.up = 8.94427191; x492.lo = -8.94427191; x492.up = 8.94427191; x493.lo = -8.94427191; x493.up = 8.94427191; x494.lo = -8.94427191; x494.up = 8.94427191; x495.lo = -8.94427191; x495.up = 8.94427191; x496.lo = -8.94427191; x496.up = 8.94427191; x497.lo = -8.94427191; x497.up = 8.94427191; x498.lo = -8.94427191; x498.up = 8.94427191; x499.lo = -8.94427191; x499.up = 8.94427191; x500.lo = -8.94427191; x500.up = 8.94427191; x501.lo = -8.94427191; x501.up = 8.94427191; x502.lo = -8.94427191; x502.up = 8.94427191; x503.lo = -8.94427191; x503.up = 8.94427191; x504.lo = -8.94427191; x504.up = 8.94427191; x505.lo = -8.94427191; x505.up = 8.94427191; x506.lo = -8.94427191; x506.up = 8.94427191; x507.lo = -8.94427191; x507.up = 8.94427191; x508.lo = -8.94427191; x508.up = 8.94427191; x509.lo = -8.94427191; x509.up = 8.94427191; x510.lo = -8.94427191; x510.up = 8.94427191; x511.lo = -8.94427191; x511.up = 8.94427191; x512.lo = -8.94427191; x512.up = 8.94427191; x513.lo = -8.94427191; x513.up = 8.94427191; x514.lo = -8.94427191; x514.up = 8.94427191; x515.lo = -8.94427191; x515.up = 8.94427191; x516.lo = -8.94427191; x516.up = 8.94427191; x517.lo = -8.94427191; x517.up = 8.94427191; x518.lo = -8.94427191; x518.up = 8.94427191; x519.lo = -8.94427191; x519.up = 8.94427191; x520.lo = -8.94427191; x520.up = 8.94427191; x521.lo = -8.94427191; x521.up = 8.94427191; x522.lo = -8.94427191; x522.up = 8.94427191; x523.lo = -8.94427191; x523.up = 8.94427191; x524.lo = -8.94427191; x524.up = 8.94427191; x525.lo = -8.94427191; x525.up = 8.94427191; x526.lo = -8.94427191; x526.up = 8.94427191; x527.lo = -8.94427191; x527.up = 8.94427191; x528.lo = -8.94427191; x528.up = 8.94427191; x529.lo = -8.94427191; x529.up = 8.94427191; x530.lo = -8.94427191; x530.up = 8.94427191; x531.lo = -8.94427191; x531.up = 8.94427191; x532.lo = -8.94427191; x532.up = 8.94427191; x533.lo = -8.94427191; x533.up = 8.94427191; x534.lo = -8.94427191; x534.up = 8.94427191; x535.lo = -8.94427191; x535.up = 8.94427191; x536.lo = -8.94427191; x536.up = 8.94427191; x537.lo = -8.94427191; x537.up = 8.94427191; x538.lo = -8.94427191; x538.up = 8.94427191; x539.lo = -8.94427191; x539.up = 8.94427191; x540.lo = -8.94427191; x540.up = 8.94427191; x541.lo = -8.94427191; x541.up = 8.94427191; x542.lo = -8.94427191; x542.up = 8.94427191; x543.lo = -8.94427191; x543.up = 8.94427191; x544.lo = -8.94427191; x544.up = 8.94427191; x545.lo = -8.94427191; x545.up = 8.94427191; x546.lo = -8.94427191; x546.up = 8.94427191; x547.lo = -8.94427191; x547.up = 8.94427191; x548.lo = -8.94427191; x548.up = 8.94427191; x549.lo = -8.94427191; x549.up = 8.94427191; x550.lo = -8.94427191; x550.up = 8.94427191; x551.lo = -8.94427191; x551.up = 8.94427191; x552.lo = -8.94427191; x552.up = 8.94427191; x553.lo = -8.94427191; x553.up = 8.94427191; x554.lo = -8.94427191; x554.up = 8.94427191; x555.lo = -8.94427191; x555.up = 8.94427191; x556.lo = -8.94427191; x556.up = 8.94427191; x557.lo = -8.94427191; x557.up = 8.94427191; x558.lo = -8.94427191; x558.up = 8.94427191; x559.lo = -8.94427191; x559.up = 8.94427191; x560.lo = -8.94427191; x560.up = 8.94427191; x561.lo = -8.94427191; x561.up = 8.94427191; x562.lo = -8.94427191; x562.up = 8.94427191; x563.lo = -8.94427191; x563.up = 8.94427191; x564.lo = -8.94427191; x564.up = 8.94427191; x565.lo = -8.94427191; x565.up = 8.94427191; x566.lo = -8.94427191; x566.up = 8.94427191; x567.lo = -8.94427191; x567.up = 8.94427191; x568.up = 8; x569.lo = -8.94427191; x569.up = 8.94427191; x570.up = 4; x571.lo = -8.94427191; x571.up = 8.94427191; x572.lo = -8.94427191; x572.up = 8.94427191; x573.lo = -8.94427191; x573.up = 8.94427191; x574.lo = -8.94427191; x574.up = 8.94427191; x575.lo = -8.94427191; x575.up = 8.94427191; x576.lo = -8.94427191; x576.up = 8.94427191; x577.lo = -8.94427191; x577.up = 8.94427191; x578.lo = -8.94427191; x578.up = 8.94427191; x579.lo = -8.94427191; x579.up = 8.94427191; x580.lo = -8.94427191; x580.up = 8.94427191; x581.lo = -8.94427191; x581.up = 8.94427191; x582.up = 8; x583.lo = -8.94427191; x583.up = 8.94427191; x584.up = 4; x585.lo = -8.94427191; x585.up = 8.94427191; x586.lo = -8.94427191; x586.up = 8.94427191; x587.lo = -8.94427191; x587.up = 8.94427191; x588.lo = -8.94427191; x588.up = 8.94427191; x589.lo = -8.94427191; x589.up = 8.94427191; x590.lo = -8.94427191; x590.up = 8.94427191; x591.lo = -8.94427191; x591.up = 8.94427191; x592.lo = -8.94427191; x592.up = 8.94427191; x593.lo = -8.94427191; x593.up = 8.94427191; x594.lo = -8.94427191; x594.up = 8.94427191; x595.lo = -8.94427191; x595.up = 8.94427191; x596.up = 8; x597.lo = -8.94427191; x597.up = 8.94427191; x598.up = 4; x599.lo = -8.94427191; x599.up = 8.94427191; x600.lo = -8.94427191; x600.up = 8.94427191; x601.lo = -8.94427191; x601.up = 8.94427191; x602.lo = -8.94427191; x602.up = 8.94427191; x603.lo = -8.94427191; x603.up = 8.94427191; x604.lo = -8.94427191; x604.up = 8.94427191; x605.lo = -8.94427191; x605.up = 8.94427191; x606.lo = -8.94427191; x606.up = 8.94427191; x607.lo = -8.94427191; x607.up = 8.94427191; x608.lo = -8.94427191; x608.up = 8.94427191; x609.lo = -8.94427191; x609.up = 8.94427191; x610.up = 8; x611.lo = -8.94427191; x611.up = 8.94427191; x612.up = 4; x613.lo = -8.94427191; x613.up = 8.94427191; x614.lo = -8.94427191; x614.up = 8.94427191; x615.lo = -8.94427191; x615.up = 8.94427191; x616.lo = -8.94427191; x616.up = 8.94427191; x617.lo = -8.94427191; x617.up = 8.94427191; x618.lo = -8.94427191; x618.up = 8.94427191; x619.lo = -8.94427191; x619.up = 8.94427191; x620.lo = -8.94427191; x620.up = 8.94427191; x621.lo = -8.94427191; x621.up = 8.94427191; x622.lo = -8.94427191; x622.up = 8.94427191; x623.lo = -8.94427191; x623.up = 8.94427191; x624.up = 8; x625.lo = -8.94427191; x625.up = 8.94427191; x626.up = 4; x627.lo = -8.94427191; x627.up = 8.94427191; x628.lo = -8.94427191; x628.up = 8.94427191; x629.lo = -8.94427191; x629.up = 8.94427191; x630.lo = -8.94427191; x630.up = 8.94427191; x631.lo = -8.94427191; x631.up = 8.94427191; x632.lo = -8.94427191; x632.up = 8.94427191; x633.lo = -8.94427191; x633.up = 8.94427191; x634.lo = -8.94427191; x634.up = 8.94427191; x635.lo = -8.94427191; x635.up = 8.94427191; x636.lo = -8.94427191; x636.up = 8.94427191; x637.lo = -8.94427191; x637.up = 8.94427191; x638.lo = 1.44; x638.up = 32; x639.lo = 1.2; x639.up = 4; x640.up = 8; x641.lo = 1.2; x641.up = 2; x642.up = 4; x643.up = 8; x644.up = 8; x645.up = 8; x646.up = 8; x647.up = 8; x648.up = 8; x649.up = 8; x650.up = 4; x651.up = 4; x652.up = 4; x653.up = 4; x654.up = 4; x655.up = 4; x656.up = 4; x657.up = 8; x658.up = 8; x659.up = 8; x660.up = 8; x661.up = 8; x662.up = 8; x663.up = 8; x664.up = 4; x665.up = 4; x666.up = 4; x667.up = 4; x668.up = 4; x669.up = 4; x670.up = 4; x671.up = 8; x672.up = 8; x673.up = 8; x674.up = 8; x675.up = 8; x676.up = 8; x677.up = 8; x678.up = 4; x679.up = 4; x680.up = 4; x681.up = 4; x682.up = 4; x683.up = 4; x684.up = 4; x685.up = 8; x686.up = 8; x687.up = 8; x688.up = 8; x689.up = 8; x690.up = 8; x691.up = 8; x692.up = 4; x693.up = 4; x694.up = 4; x695.up = 4; x696.up = 4; x697.up = 4; x698.up = 4; x699.up = 8; x700.up = 8; x701.up = 8; x702.up = 8; x703.up = 8; x704.up = 8; x705.up = 8; x706.up = 4; x707.up = 4; x708.up = 4; x709.up = 4; x710.up = 4; x711.up = 4; x712.up = 4; x713.lo = -1; x713.up = 1; x714.lo = -1; x714.up = 1; x715.lo = -1; x715.up = 1; x716.lo = -1; x716.up = 1; x717.lo = -1; x717.up = 1; x718.lo = -1; x718.up = 1; x719.lo = -1; x719.up = 1; x720.lo = -1; x720.up = 1; x721.lo = -1; x721.up = 1; x722.lo = -1; x722.up = 1; x723.lo = -1; x723.up = 1; x724.lo = -1; x724.up = 1; x725.lo = -1; x725.up = 1; x726.lo = -1; x726.up = 1; x727.lo = -1; x727.up = 1; x728.lo = -1; x728.up = 1; x729.lo = -1; x729.up = 1; x730.lo = -1; x730.up = 1; x731.lo = -1; x731.up = 1; x732.lo = -1; x732.up = 1; x733.lo = -1; x733.up = 1; x734.lo = -1; x734.up = 1; x735.lo = -1; x735.up = 1; x736.lo = -1; x736.up = 1; x737.lo = -1; x737.up = 1; x738.lo = -1; x738.up = 1; x739.lo = -1; x739.up = 1; x740.lo = -1; x740.up = 1; x741.lo = -1; x741.up = 1; x742.lo = -1; x742.up = 1; x743.lo = -1; x743.up = 1; x744.lo = -1; x744.up = 1; x745.lo = -1; x745.up = 1; x746.lo = -1; x746.up = 1; x747.lo = -1; x747.up = 1; x748.lo = -1; x748.up = 1; x749.lo = -1; x749.up = 1; x750.lo = -1; x750.up = 1; x751.lo = -1; x751.up = 1; x752.lo = -1; x752.up = 1; x753.lo = -1; x753.up = 1; x754.lo = -1; x754.up = 1; x755.lo = -1; x755.up = 1; x756.lo = -1; x756.up = 1; x757.lo = -1; x757.up = 1; x758.lo = -1; x758.up = 1; x759.lo = -1; x759.up = 1; x760.lo = -1; x760.up = 1; x761.lo = -1; x761.up = 1; x762.lo = -1; x762.up = 1; x763.lo = -1; x763.up = 1; x764.lo = -1; x764.up = 1; x765.lo = -1; x765.up = 1; x766.lo = -1; x766.up = 1; x767.lo = -1; x767.up = 1; x768.lo = -1; x768.up = 1; x769.lo = -1; x769.up = 1; x770.lo = -1; x770.up = 1; x771.lo = -1; x771.up = 1; x772.lo = -1; x772.up = 1; x773.lo = -1; x773.up = 1; x774.lo = -1; x774.up = 1; x775.lo = -1; x775.up = 1; x776.lo = -1; x776.up = 1; x777.lo = -1; x777.up = 1; x778.lo = -1; x778.up = 1; x779.lo = -1; x779.up = 1; x780.lo = -1; x780.up = 1; x781.lo = -1; x781.up = 1; x782.lo = -1; x782.up = 1; x783.lo = -8.94427191; x783.up = 8.94427191; x784.lo = -8.94427191; x784.up = 8.94427191; x785.lo = -8.94427191; x785.up = 8.94427191; x786.lo = -8.94427191; x786.up = 8.94427191; x787.lo = -8.94427191; x787.up = 8.94427191; x788.lo = -8.94427191; x788.up = 8.94427191; x789.lo = -8.94427191; x789.up = 8.94427191; x790.lo = -8.94427191; x790.up = 8.94427191; x791.lo = -8.94427191; x791.up = 8.94427191; x792.lo = -8.94427191; x792.up = 8.94427191; * set non-default levels x638.l = 1.44; x639.l = 1.2; x641.l = 1.2; Model m / all /; m.limrow=0; m.limcol=0; $if NOT '%gams.u1%' == '' $include '%gams.u1%' m.tolproj = 0.0; $if not set QCP $set QCP QCP Solve m using %QCP% minimizing objvar;
Website © 2017-2021 by Zuse Institute Berlin and GAMS. All rights reserved.
Imprint.
QPLIB is licensed under CC-BY 4.0.