MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance waterful2
Formatsⓘ | ams gms mod nl osil py |
Primal Bounds (infeas ≤ 1e-08)ⓘ | |
Other points (infeas > 1e-08)ⓘ | |
Dual Boundsⓘ | 466.85342170 (LINDO) 959.96836360 (SCIP) 0.00000000 (SHOT) |
Referencesⓘ | Brooke, Anthony, Drud, Arne S, and Meeraus, Alexander, Modeling Systems and Nonlinear Programming in a Research Environment. In Ragavan, R and Rohde, S M, Eds, Computers in Engineering, Vol. III, ACME, 1985. Drud, Arne S and Rosenborg, A, Dimensioning Water Distribution Networks, Masters thesis, Institute of Mathematical Statistics and Operations Research, Technical University of Denmark, 1973. In Danish. |
Sourceⓘ | modified GAMS Model Library model waterx |
Applicationⓘ | Water Network Design |
Added to libraryⓘ | 01 May 2001 |
Problem typeⓘ | MBNLP |
#Variablesⓘ | 629 |
#Binary Variablesⓘ | 56 |
#Integer Variablesⓘ | 0 |
#Nonlinear Variablesⓘ | 116 |
#Nonlinear Binary Variablesⓘ | 0 |
#Nonlinear Integer Variablesⓘ | 0 |
Objective Senseⓘ | min |
Objective typeⓘ | linear |
Objective curvatureⓘ | linear |
#Nonzeros in Objectiveⓘ | 3 |
#Nonlinear Nonzeros in Objectiveⓘ | 0 |
#Constraintsⓘ | 383 |
#Linear Constraintsⓘ | 326 |
#Quadratic Constraintsⓘ | 1 |
#Polynomial Constraintsⓘ | 56 |
#Signomial Constraintsⓘ | 0 |
#General Nonlinear Constraintsⓘ | 0 |
Operands in Gen. Nonlin. Functionsⓘ | |
Constraints curvatureⓘ | indefinite |
#Nonzeros in Jacobianⓘ | 2475 |
#Nonlinear Nonzeros in Jacobianⓘ | 116 |
#Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 172 |
#Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 56 |
#Blocks in Hessian of Lagrangianⓘ | 58 |
Minimal blocksize in Hessian of Lagrangianⓘ | 2 |
Maximal blocksize in Hessian of Lagrangianⓘ | 2 |
Average blocksize in Hessian of Lagrangianⓘ | 2.0 |
#Semicontinuitiesⓘ | 0 |
#Nonlinear Semicontinuitiesⓘ | 0 |
#SOS type 1ⓘ | 56 |
#SOS type 2ⓘ | 0 |
Minimal coefficientⓘ | 1.1028e-02 |
Maximal coefficientⓘ | 9.8671e+04 |
Infeasibility of initial pointⓘ | 7553 |
Sparsity Jacobianⓘ | |
Sparsity Hessian of Lagrangianⓘ |
$offlisting * * Equation counts * Total E G L N X C B * 384 180 64 140 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 630 182 56 0 392 0 0 0 * FX 0 * * Nonzero counts * Total const NL DLL * 2479 2363 116 0 * * Solve m using MINLP minimizing objvar; Sets s1 /239*245/,s2 /246*252/,s3 /253*259/,s4 /260*266/,s5 /267*273/ ,s6 /274*280/,s7 /281*287/,s8 /288*294/,s9 /295*301/,s10 /302*308/ ,s11 /309*315/,s12 /316*322/,s13 /323*329/,s14 /330*336/ ,s15 /337*343/,s16 /344*350/,s17 /351*357/,s18 /358*364/ ,s19 /365*371/,s20 /372*378/,s21 /379*385/,s22 /386*392/ ,s23 /393*399/,s24 /400*406/,s25 /407*413/,s26 /414*420/ ,s27 /421*427/,s28 /428*434/,s29 /435*441/,s30 /442*448/ ,s31 /449*455/,s32 /456*462/,s33 /463*469/,s34 /470*476/ ,s35 /477*483/,s36 /484*490/,s37 /491*497/,s38 /498*504/ ,s39 /505*511/,s40 /512*518/,s41 /519*525/,s42 /526*532/ ,s43 /533*539/,s44 /540*546/,s45 /547*553/,s46 /554*560/ ,s47 /561*567/,s48 /568*574/,s49 /575*581/,s50 /582*588/ ,s51 /589*595/,s52 /596*602/,s53 /603*609/,s54 /610*616/ ,s55 /617*623/,s56 /624*630/; Variables x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19 ,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36 ,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53 ,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69,x70 ,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86,x87 ,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102,x103 ,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115,x116 ,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128,x129 ,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141,x142 ,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154,x155 ,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167,x168 ,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180,x181 ,objvar,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193,b194 ,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206,b207 ,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219,b220 ,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232,b233 ,b234,b235,b236,b237,b238,s1s1(s1),s1s2(s2),s1s3(s3),s1s4(s4) ,s1s5(s5),s1s6(s6),s1s7(s7),s1s8(s8),s1s9(s9),s1s10(s10),s1s11(s11) ,s1s12(s12),s1s13(s13),s1s14(s14),s1s15(s15),s1s16(s16),s1s17(s17) ,s1s18(s18),s1s19(s19),s1s20(s20),s1s21(s21),s1s22(s22),s1s23(s23) ,s1s24(s24),s1s25(s25),s1s26(s26),s1s27(s27),s1s28(s28),s1s29(s29) ,s1s30(s30),s1s31(s31),s1s32(s32),s1s33(s33),s1s34(s34),s1s35(s35) ,s1s36(s36),s1s37(s37),s1s38(s38),s1s39(s39),s1s40(s40),s1s41(s41) ,s1s42(s42),s1s43(s43),s1s44(s44),s1s45(s45),s1s46(s46),s1s47(s47) ,s1s48(s48),s1s49(s49),s1s50(s50),s1s51(s51),s1s52(s52),s1s53(s53) ,s1s54(s54),s1s55(s55),s1s56(s56); Positive Variables x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17 ,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34 ,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51 ,x52,x53,x54,x55,x56,x177,x178; Binary Variables b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193,b194 ,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206,b207 ,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219,b220 ,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232,b233 ,b234,b235,b236,b237,b238; SOS1 Variables s1s1(s1),s1s2(s2),s1s3(s3),s1s4(s4),s1s5(s5),s1s6(s6),s1s7(s7) ,s1s8(s8),s1s9(s9),s1s10(s10),s1s11(s11),s1s12(s12),s1s13(s13) ,s1s14(s14),s1s15(s15),s1s16(s16),s1s17(s17),s1s18(s18),s1s19(s19) ,s1s20(s20),s1s21(s21),s1s22(s22),s1s23(s23),s1s24(s24),s1s25(s25) ,s1s26(s26),s1s27(s27),s1s28(s28),s1s29(s29),s1s30(s30),s1s31(s31) ,s1s32(s32),s1s33(s33),s1s34(s34),s1s35(s35),s1s36(s36),s1s37(s37) ,s1s38(s38),s1s39(s39),s1s40(s40),s1s41(s41),s1s42(s42),s1s43(s43) ,s1s44(s44),s1s45(s45),s1s46(s46),s1s47(s47),s1s48(s48),s1s49(s49) ,s1s50(s50),s1s51(s51),s1s52(s52),s1s53(s53),s1s54(s54),s1s55(s55) ,s1s56(s56); 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; e1.. - x1 - x2 - x3 - x4 - x5 - x6 - x7 + x8 + x15 + x22 + x29 + x36 + x43 + x50 + x177 =E= 0; e2.. x1 - x8 - x9 - x10 - x11 - x12 - x13 - x14 + x16 + x23 + x30 + x37 + x44 + x51 + x178 =E= 0; e3.. x2 + x9 - x15 - x16 - x17 - x18 - x19 - x20 - x21 + x24 + x31 + x38 + x45 + x52 =E= 1.212; e4.. x3 + x10 + x17 - x22 - x23 - x24 - x25 - x26 - x27 - x28 + x32 + x39 + x46 + x53 =E= 0.452; e5.. x4 + x11 + x18 + x25 - x29 - x30 - x31 - x32 - x33 - x34 - x35 + x40 + x47 + x54 =E= 0.245; e6.. x5 + x12 + x19 + x26 + x33 - x36 - x37 - x38 - x39 - x40 - x41 - x42 + x48 + x55 =E= 0.652; e7.. x6 + x13 + x20 + x27 + x34 + x41 - x43 - x44 - x45 - x46 - x47 - x48 - x49 + x56 =E= 0.252; e8.. x7 + x14 + x21 + x28 + x35 + x42 + x49 - x50 - x51 - x52 - x53 - x54 - x55 - x56 =E= 0.456; e9.. x57 - 79411.582707283*s1s1('239') - 5217.11027198889*s1s1('240') - 426.059750561967*s1s1('241') - 49.0799484616014*s1s1('242') - 3.2244100235547*s1s1('243') - 0.37143587857431*s1s1('244') - 0.0801604941350881*s1s1('245') =E= 0; e10.. x58 - 38721.1970117411*s1s2('246') - 2543.8701482414*s1s2('247') - 207.747320703761*s1s2('248') - 23.9314504121258*s1s2('249') - 1.5722267648148*s1s2('250') - 0.181112645550961*s1s2('251') - 0.0390863672545667*s1s2('252') =E= 0; e11.. x59 - 32510.4890865135*s1s3('253') - 2135.84468132099*s1s3('254') - 174.425573683688*s1s3('255') - 20.0929521164322*s1s3('256') - 1.32004857865156*s1s3('257') - 0.152062982061963*s1s3('258') - 0.0328170876451919*s1s3('259') =E= 0; e12.. x60 - 61354.8285678982*s1s4('260') - 4030.83398472982*s1s4('261') - 329.181487941979*s1s4('262') - 37.9200580233072*s1s4('263') - 2.49123764422425*s1s4('264') - 0.286978094088577*s1s4('265') - 0.0619334511151265*s1s4('266') =E= 0; e13.. x61 - 69005.9713947913*s1s5('267') - 4533.49183984114*s1s5('268') - 370.231469483791*s1s5('269') - 42.6488102130281*s1s5('270') - 2.8019029247995*s1s5('271') - 0.32276517780003*s1s5('272') - 0.0696567500193006*s1s5('273') =E= 0; e14.. x62 - 98671.1700093743*s1s6('274') - 6482.40920348584*s1s6('275') - 529.391464678563*s1s6('276') - 60.9832441768203*s1s6('277') - 4.00642196978801*s1s6('278') - 0.461519736453078*s1s6('279') - 0.0996017139463627*s1s6('280') =E= 0; e15.. x63 - 63468.4628982673*s1s7('281') - 4169.69361956223*s1s7('282') - 340.521578201805*s1s7('283') - 39.2263796008983*s1s7('284') - 2.57705917665854*s1s7('285') - 0.296864304610023*s1s7('286') - 0.0640670186196026*s1s7('287') =E= 0; e16.. x64 - 79411.582707283*s1s8('288') - 5217.11027198889*s1s8('289') - 426.059750561967*s1s8('290') - 49.0799484616014*s1s8('291') - 3.2244100235547*s1s8('292') - 0.37143587857431*s1s8('293') - 0.0801604941350881*s1s8('294') =E= 0; e17.. x65 - 50797.5773435889*s1s9('295') - 3337.25325093014*s1s9('296') - 272.539627020641*s1s9('297') - 31.3951994533022*s1s9('298') - 2.06257339263358*s1s9('299') - 0.237598120158509*s1s9('300') - 0.0512766370081929*s1s9('301') =E= 0; e18.. x66 - 82599.0313850111*s1s10('302') - 5426.51638972501*s1s10('303') - 443.161079389119*s1s10('304') - 51.0499358550468*s1s10('305') - 3.35383247196398*s1s10('306') - 0.386344696150538*s1s10('307') - 0.0833780028702903*s1s10('308') =E= 0; e19.. x67 - 82628.2406856418*s1s11('309') - 5428.43535591562*s1s11('310') - 443.317793396277*s1s11('311') - 51.0679885234445*s1s11('312') - 3.35501847982988*s1s11('313') - 0.386481318314113*s1s11('314') - 0.0834074876367699*s1s11('315') =E= 0; e20.. x68 - 59165.7349698592*s1s12('316') - 3887.01689524085*s1s12('317') - 317.436542928413*s1s12('318') - 36.5670992066393*s1s12('319') - 2.40235218067626*s1s12('320') - 0.27673893405488*s1s12('321') - 0.0597237127048799*s1s12('322') =E= 0; e21.. x69 - 32977.2294678044*s1s13('323') - 2166.50816836621*s1s13('324') - 176.929733450444*s1s13('325') - 20.3814187742893*s1s13('326') - 1.339*s1s13('327') - 0.154246090843839*s1s13('328') - 0.0332882297421199*s1s13('329') =E= 0; e22.. x70 - 33843.9321019273*s1s14('330') - 2223.4480134252*s1s14('331') - 181.579774357788*s1s14('332') - 20.9170801874496*s1s14('333') - 1.37419139860501*s1s14('334') - 0.158299963634093*s1s14('335') - 0.0341631060391402*s1s14('336') =E= 0; e23.. x71 - 38721.1970117411*s1s15('337') - 2543.8701482414*s1s15('338') - 207.747320703761*s1s15('339') - 23.9314504121258*s1s15('340') - 1.5722267648148*s1s15('341') - 0.181112645550961*s1s15('342') - 0.0390863672545667*s1s15('343') =E= 0; e24.. x72 - 50797.5773435889*s1s16('344') - 3337.25325093014*s1s16('345') - 272.539627020641*s1s16('346') - 31.3951994533022*s1s16('347') - 2.06257339263358*s1s16('348') - 0.237598120158509*s1s16('349') - 0.0512766370081929*s1s16('350') =E= 0; e25.. x73 - 31810.181054648*s1s17('351') - 2089.8364782095*s1s17('352') - 170.668274619734*s1s17('353') - 19.660130090483*s1s17('354') - 1.2916134290104*s1s17('355') - 0.148787395299671*s1s17('356') - 0.0321101751776739*s1s17('357') =E= 0; e26.. x74 - 39461.9459070343*s1s18('358') - 2592.53519858857*s1s18('359') - 211.721593458417*s1s18('360') - 24.3892667200816*s1s18('361') - 1.60230396616872*s1s18('362') - 0.184577388442944*s1s18('363') - 0.0398341019735132*s1s18('364') =E= 0; e27.. x75 - 32977.2294678044*s1s19('365') - 2166.50816836621*s1s19('366') - 176.929733450444*s1s19('367') - 20.3814187742893*s1s19('368') - 1.339*s1s19('369') - 0.154246090843839*s1s19('370') - 0.0332882297421199*s1s19('371') =E= 0; e28.. x76 - 61928.9823925488*s1s20('372') - 4068.554222939*s1s20('373') - 332.261943298429*s1s20('374') - 38.2749110455263*s1s20('375') - 2.51455045684114*s1s20('376') - 0.289663613291512*s1s20('377') - 0.0625130196456165*s1s20('378') =E= 0; e29.. x77 - 52785.5148814787*s1s21('379') - 3467.85497167945*s1s21('380') - 283.205327698691*s1s21('381') - 32.6238347301504*s1s21('382') - 2.14329116080854*s1s21('383') - 0.246896402610059*s1s21('384') - 0.0532833223041444*s1s21('385') =E= 0; e30.. x78 - 32510.4890865135*s1s22('386') - 2135.84468132099*s1s22('387') - 174.425573683688*s1s22('388') - 20.0929521164322*s1s22('389') - 1.32004857865156*s1s22('390') - 0.152062982061963*s1s22('391') - 0.0328170876451919*s1s22('392') =E= 0; e31.. x79 - 82599.0313850111*s1s23('393') - 5426.51638972501*s1s23('394') - 443.161079389119*s1s23('395') - 51.0499358550468*s1s23('396') - 3.35383247196398*s1s23('397') - 0.386344696150538*s1s23('398') - 0.0833780028702903*s1s23('399') =E= 0; e32.. x80 - 31810.181054648*s1s24('400') - 2089.8364782095*s1s24('401') - 170.668274619734*s1s24('402') - 19.660130090483*s1s24('403') - 1.2916134290104*s1s24('404') - 0.148787395299671*s1s24('405') - 0.0321101751776739*s1s24('406') =E= 0; e33.. x81 - 30677.4142839491*s1s25('407') - 2015.41699236491*s1s25('408') - 164.590743970989*s1s25('409') - 18.9600290116536*s1s25('410') - 1.24561882211213*s1s25('411') - 0.143489047044288*s1s25('412') - 0.0309667255575633*s1s25('413') =E= 0; e34.. x82 - 47609.7953674264*s1s26('414') - 3127.8252364552*s1s26('415') - 255.436509977676*s1s26('416') - 29.4250060663552*s1s26('417') - 1.93313741104972*s1s26('418') - 0.222687743628377*s1s26('419') - 0.0480587918312993*s1s26('420') =E= 0; e35.. x83 - 90800.3982081977*s1s27('421') - 5965.32236284499*s1s27('422') - 487.1631277532*s1s27('423') - 56.1187513511491*s1s27('424') - 3.68683892379366*s1s27('425') - 0.424705370848452*s1s27('426') - 0.0916567148001743*s1s27('427') =E= 0; e36.. x84 - 79866.0883229559*s1s28('428') - 5246.96997047827*s1s28('429') - 428.498268252218*s1s28('430') - 49.3608534811495*s1s28('431') - 3.24286466723482*s1s28('432') - 0.373561761057936*s1s28('433') - 0.0806192860832829*s1s28('434') =E= 0; e37.. x85 - 61354.8285678982*s1s29('435') - 4030.83398472982*s1s29('436') - 329.181487941979*s1s29('437') - 37.9200580233072*s1s29('438') - 2.49123764422425*s1s29('439') - 0.286978094088577*s1s29('440') - 0.0619334511151265*s1s29('441') =E= 0; e38.. x86 - 82628.2406856418*s1s30('442') - 5428.43535591562*s1s30('443') - 443.317793396277*s1s30('444') - 51.0679885234445*s1s30('445') - 3.35501847982988*s1s30('446') - 0.386481318314113*s1s30('447') - 0.0834074876367699*s1s30('448') =E= 0; e39.. x87 - 39461.9459070343*s1s31('449') - 2592.53519858857*s1s31('450') - 211.721593458417*s1s31('451') - 24.3892667200816*s1s31('452') - 1.60230396616872*s1s31('453') - 0.184577388442944*s1s31('454') - 0.0398341019735132*s1s31('455') =E= 0; e40.. x88 - 30677.4142839491*s1s32('456') - 2015.41699236491*s1s32('457') - 164.590743970989*s1s32('458') - 18.9600290116536*s1s32('459') - 1.24561882211213*s1s32('460') - 0.143489047044288*s1s32('461') - 0.0309667255575633*s1s32('462') =E= 0; e41.. x89 - 28361.2795383154*s1s33('463') - 1863.25366856746*s1s33('464') - 152.164196629274*s1s33('465') - 17.5285530220005*s1s33('466') - 1.15157500841239*s1s33('467') - 0.132655670919396*s1s33('468') - 0.0286287479053886*s1s33('469') =E= 0; e42.. x90 - 79005.3826894827*s1s34('470') - 5190.42411093907*s1s34('471') - 423.880402507663*s1s34('472') - 48.8288984855264*s1s34('473') - 3.20791676949387*s1s34('474') - 0.369535938347143*s1s34('475') - 0.0797504633431748*s1s34('476') =E= 0; e43.. x91 - 91918.5525763874*s1s35('477') - 6038.78185629766*s1s35('478') - 493.162259806225*s1s35('479') - 56.8098213045733*s1s35('480') - 3.73224021199065*s1s35('481') - 0.429935371762313*s1s35('482') - 0.0927854142117423*s1s35('483') =E= 0; e44.. x92 - 69005.9713947913*s1s36('484') - 4533.49183984114*s1s36('485') - 370.231469483791*s1s36('486') - 42.6488102130281*s1s36('487') - 2.8019029247995*s1s36('488') - 0.32276517780003*s1s36('489') - 0.0696567500193006*s1s36('490') =E= 0; e45.. x93 - 59165.7349698592*s1s37('491') - 3887.01689524085*s1s37('492') - 317.436542928413*s1s37('493') - 36.5670992066393*s1s37('494') - 2.40235218067626*s1s37('495') - 0.27673893405488*s1s37('496') - 0.0597237127048799*s1s37('497') =E= 0; e46.. x94 - 32977.2294678044*s1s38('498') - 2166.50816836621*s1s38('499') - 176.929733450444*s1s38('500') - 20.3814187742893*s1s38('501') - 1.339*s1s38('502') - 0.154246090843839*s1s38('503') - 0.0332882297421199*s1s38('504') =E= 0; e47.. x95 - 47609.7953674264*s1s39('505') - 3127.8252364552*s1s39('506') - 255.436509977676*s1s39('507') - 29.4250060663552*s1s39('508') - 1.93313741104972*s1s39('509') - 0.222687743628377*s1s39('510') - 0.0480587918312993*s1s39('511') =E= 0; e48.. x96 - 28361.2795383154*s1s40('512') - 1863.25366856746*s1s40('513') - 152.164196629274*s1s40('514') - 17.5285530220005*s1s40('515') - 1.15157500841239*s1s40('516') - 0.132655670919396*s1s40('517') - 0.0286287479053886*s1s40('518') =E= 0; e49.. x97 - 50797.5773435889*s1s41('519') - 3337.25325093014*s1s41('520') - 272.539627020641*s1s41('521') - 31.3951994533022*s1s41('522') - 2.06257339263358*s1s41('523') - 0.237598120158509*s1s41('524') - 0.0512766370081929*s1s41('525') =E= 0; e50.. x98 - 76690.9136638299*s1s42('526') - 5038.370220105*s1s42('527') - 411.462792102039*s1s42('528') - 47.3984519861318*s1s42('529') - 3.11394059031318*s1s42('530') - 0.358710353379957*s1s42('531') - 0.0774141671199832*s1s42('532') =E= 0; e51.. x99 - 98671.1700093743*s1s43('533') - 6482.40920348584*s1s43('534') - 529.391464678563*s1s43('535') - 60.9832441768203*s1s43('536') - 4.00642196978801*s1s43('537') - 0.461519736453078*s1s43('538') - 0.0996017139463627*s1s43('539') =E= 0; e52.. x100 - 32977.2294678044*s1s44('540') - 2166.50816836621*s1s44('541') - 176.929733450444*s1s44('542') - 20.3814187742893*s1s44('543') - 1.339*s1s44('544') - 0.154246090843839*s1s44('545') - 0.0332882297421199*s1s44('546') =E= 0; e53.. x101 - 61928.9823925488*s1s45('547') - 4068.554222939*s1s45('548') - 332.261943298429*s1s45('549') - 38.2749110455263*s1s45('550') - 2.51455045684114*s1s45('551') - 0.289663613291512*s1s45('552') - 0.0625130196456165*s1s45('553') =E= 0; e54.. x102 - 90800.3982081977*s1s46('554') - 5965.32236284499*s1s46('555') - 487.1631277532*s1s46('556') - 56.1187513511491*s1s46('557') - 3.68683892379366*s1s46('558') - 0.424705370848452*s1s46('559') - 0.0916567148001743*s1s46('560') =E= 0; e55.. x103 - 79005.3826894827*s1s47('561') - 5190.42411093907*s1s47('562') - 423.880402507663*s1s47('563') - 48.8288984855264*s1s47('564') - 3.20791676949387*s1s47('565') - 0.369535938347143*s1s47('566') - 0.0797504633431748*s1s47('567') =E= 0; e56.. x104 - 50797.5773435889*s1s48('568') - 3337.25325093014*s1s48('569') - 272.539627020641*s1s48('570') - 31.3951994533022*s1s48('571') - 2.06257339263358*s1s48('572') - 0.237598120158509*s1s48('573') - 0.0512766370081929*s1s48('574') =E= 0; e57.. x105 - 66392.0532160028*s1s49('575') - 4361.76500962592*s1s49('576') - 356.207251740277*s1s49('577') - 41.0332905983307*s1s49('578') - 2.69576797963029*s1s49('579') - 0.310538963913342*s1s49('580') - 0.0670181806104433*s1s49('581') =E= 0; e58.. x106 - 63468.4628982673*s1s50('582') - 4169.69361956223*s1s50('583') - 340.521578201805*s1s50('584') - 39.2263796008983*s1s50('585') - 2.57705917665854*s1s50('586') - 0.296864304610023*s1s50('587') - 0.0640670186196026*s1s50('588') =E= 0; e59.. x107 - 33843.9321019273*s1s51('589') - 2223.4480134252*s1s51('590') - 181.579774357788*s1s51('591') - 20.9170801874496*s1s51('592') - 1.37419139860501*s1s51('593') - 0.158299963634093*s1s51('594') - 0.0341631060391402*s1s51('595') =E= 0; e60.. x108 - 52785.5148814787*s1s52('596') - 3467.85497167945*s1s52('597') - 283.205327698691*s1s52('598') - 32.6238347301504*s1s52('599') - 2.14329116080854*s1s52('600') - 0.246896402610059*s1s52('601') - 0.0532833223041444*s1s52('602') =E= 0; e61.. x109 - 79866.0883229559*s1s53('603') - 5246.96997047827*s1s53('604') - 428.498268252218*s1s53('605') - 49.3608534811495*s1s53('606') - 3.24286466723482*s1s53('607') - 0.373561761057936*s1s53('608') - 0.0806192860832829*s1s53('609') =E= 0; e62.. x110 - 91918.5525763874*s1s54('610') - 6038.78185629766*s1s54('611') - 493.162259806225*s1s54('612') - 56.8098213045733*s1s54('613') - 3.73224021199065*s1s54('614') - 0.429935371762313*s1s54('615') - 0.0927854142117423*s1s54('616') =E= 0; e63.. x111 - 76690.9136638299*s1s55('617') - 5038.370220105*s1s55('618') - 411.462792102039*s1s55('619') - 47.3984519861318*s1s55('620') - 3.11394059031318*s1s55('621') - 0.358710353379957*s1s55('622') - 0.0774141671199832*s1s55('623') =E= 0; e64.. x112 - 66392.0532160028*s1s56('624') - 4361.76500962592*s1s56('625') - 356.207251740277*s1s56('626') - 41.0332905983307*s1s56('627') - 2.69576797963029*s1s56('628') - 0.310538963913342*s1s56('629') - 0.0670181806104433*s1s56('630') =E= 0; e65.. -sqr(x1)*x57 + x113 - x114 - x121 =E= 0; e66.. -sqr(x2)*x58 + x113 - x115 - x122 =E= 0; e67.. -sqr(x3)*x59 + x113 - x116 - x123 =E= 0; e68.. -sqr(x4)*x60 + x113 - x117 - x124 =E= 0; e69.. -sqr(x5)*x61 + x113 - x118 - x125 =E= 0; e70.. -sqr(x6)*x62 + x113 - x119 - x126 =E= 0; e71.. -sqr(x7)*x63 + x113 - x120 - x127 =E= 0; e72.. -sqr(x8)*x64 - x113 + x114 - x128 =E= 0; e73.. -sqr(x9)*x65 + x114 - x115 - x129 =E= 0; e74.. -sqr(x10)*x66 + x114 - x116 - x130 =E= 0; e75.. -sqr(x11)*x67 + x114 - x117 - x131 =E= 0; e76.. -sqr(x12)*x68 + x114 - x118 - x132 =E= 0; e77.. -sqr(x13)*x69 + x114 - x119 - x133 =E= 0; e78.. -sqr(x14)*x70 + x114 - x120 - x134 =E= 0; e79.. -sqr(x15)*x71 - x113 + x115 - x135 =E= 0; e80.. -sqr(x16)*x72 - x114 + x115 - x136 =E= 0; e81.. -sqr(x17)*x73 + x115 - x116 - x137 =E= 0; e82.. -sqr(x18)*x74 + x115 - x117 - x138 =E= 0; e83.. -sqr(x19)*x75 + x115 - x118 - x139 =E= 0; e84.. -sqr(x20)*x76 + x115 - x119 - x140 =E= 0; e85.. -sqr(x21)*x77 + x115 - x120 - x141 =E= 0; e86.. -sqr(x22)*x78 - x113 + x116 - x142 =E= 0; e87.. -sqr(x23)*x79 - x114 + x116 - x143 =E= 0; e88.. -sqr(x24)*x80 - x115 + x116 - x144 =E= 0; e89.. -sqr(x25)*x81 + x116 - x117 - x145 =E= 0; e90.. -sqr(x26)*x82 + x116 - x118 - x146 =E= 0; e91.. -sqr(x27)*x83 + x116 - x119 - x147 =E= 0; e92.. -sqr(x28)*x84 + x116 - x120 - x148 =E= 0; e93.. -sqr(x29)*x85 - x113 + x117 - x149 =E= 0; e94.. -sqr(x30)*x86 - x114 + x117 - x150 =E= 0; e95.. -sqr(x31)*x87 - x115 + x117 - x151 =E= 0; e96.. -sqr(x32)*x88 - x116 + x117 - x152 =E= 0; e97.. -sqr(x33)*x89 + x117 - x118 - x153 =E= 0; e98.. -sqr(x34)*x90 + x117 - x119 - x154 =E= 0; e99.. -sqr(x35)*x91 + x117 - x120 - x155 =E= 0; e100.. -sqr(x36)*x92 - x113 + x118 - x156 =E= 0; e101.. -sqr(x37)*x93 - x114 + x118 - x157 =E= 0; e102.. -sqr(x38)*x94 - x115 + x118 - x158 =E= 0; e103.. -sqr(x39)*x95 - x116 + x118 - x159 =E= 0; e104.. -sqr(x40)*x96 - x117 + x118 - x160 =E= 0; e105.. -sqr(x41)*x97 + x118 - x119 - x161 =E= 0; e106.. -sqr(x42)*x98 + x118 - x120 - x162 =E= 0; e107.. -sqr(x43)*x99 - x113 + x119 - x163 =E= 0; e108.. -sqr(x44)*x100 - x114 + x119 - x164 =E= 0; e109.. -sqr(x45)*x101 - x115 + x119 - x165 =E= 0; e110.. -sqr(x46)*x102 - x116 + x119 - x166 =E= 0; e111.. -sqr(x47)*x103 - x117 + x119 - x167 =E= 0; e112.. -sqr(x48)*x104 - x118 + x119 - x168 =E= 0; e113.. -sqr(x49)*x105 + x119 - x120 - x169 =E= 0; e114.. -sqr(x50)*x106 - x113 + x120 - x170 =E= 0; e115.. -sqr(x51)*x107 - x114 + x120 - x171 =E= 0; e116.. -sqr(x52)*x108 - x115 + x120 - x172 =E= 0; e117.. -sqr(x53)*x109 - x116 + x120 - x173 =E= 0; e118.. -sqr(x54)*x110 - x117 + x120 - x174 =E= 0; e119.. -sqr(x55)*x111 - x118 + x120 - x175 =E= 0; e120.. -sqr(x56)*x112 - x119 + x120 - x176 =E= 0; e121.. x121 + 12*b183 =L= 12; e122.. x122 + 12*b184 =L= 12; e123.. x123 + 12*b185 =L= 12; e124.. x124 + 12*b186 =L= 12; e125.. x125 + 12*b187 =L= 12; e126.. x126 + 12*b188 =L= 12; e127.. x127 + 12*b189 =L= 12; e128.. x128 + 12*b190 =L= 12; e129.. x129 + 12*b191 =L= 12; e130.. x130 + 12*b192 =L= 12; e131.. x131 + 12*b193 =L= 12; e132.. x132 + 12*b194 =L= 12; e133.. x133 + 12*b195 =L= 12; e134.. x134 + 12*b196 =L= 12; e135.. x135 + 12*b197 =L= 12; e136.. x136 + 12*b198 =L= 12; e137.. x137 + 12*b199 =L= 12; e138.. x138 + 12*b200 =L= 12; e139.. x139 + 12*b201 =L= 12; e140.. x140 + 12*b202 =L= 12; e141.. x141 + 12*b203 =L= 12; e142.. x142 + 12*b204 =L= 12; e143.. x143 + 12*b205 =L= 12; e144.. x144 + 12*b206 =L= 12; e145.. x145 + 12*b207 =L= 12; e146.. x146 + 12*b208 =L= 12; e147.. x147 + 12*b209 =L= 12; e148.. x148 + 12*b210 =L= 12; e149.. x149 + 12*b211 =L= 12; e150.. x150 + 12*b212 =L= 12; e151.. x151 + 12*b213 =L= 12; e152.. x152 + 12*b214 =L= 12; e153.. x153 + 12*b215 =L= 12; e154.. x154 + 12*b216 =L= 12; e155.. x155 + 12*b217 =L= 12; e156.. x156 + 12*b218 =L= 12; e157.. x157 + 12*b219 =L= 12; e158.. x158 + 12*b220 =L= 12; e159.. x159 + 12*b221 =L= 12; e160.. x160 + 12*b222 =L= 12; e161.. x161 + 12*b223 =L= 12; e162.. x162 + 12*b224 =L= 12; e163.. x163 + 12*b225 =L= 12; e164.. x164 + 12*b226 =L= 12; e165.. x165 + 12*b227 =L= 12; e166.. x166 + 12*b228 =L= 12; e167.. x167 + 12*b229 =L= 12; e168.. x168 + 12*b230 =L= 12; e169.. x169 + 12*b231 =L= 12; e170.. x170 + 12*b232 =L= 12; e171.. x171 + 12*b233 =L= 12; e172.. x172 + 12*b234 =L= 12; e173.. x173 + 12*b235 =L= 12; e174.. x174 + 12*b236 =L= 12; e175.. x175 + 12*b237 =L= 12; e176.. x176 + 12*b238 =L= 12; e177.. x121 - 12*b183 =G= -12; e178.. x122 - 12*b184 =G= -12; e179.. x123 - 12*b185 =G= -12; e180.. x124 - 12*b186 =G= -12; e181.. x125 - 12*b187 =G= -12; e182.. x126 - 12*b188 =G= -12; e183.. x127 - 12*b189 =G= -12; e184.. x128 - 12*b190 =G= -12; e185.. x129 - 12*b191 =G= -12; e186.. x130 - 12*b192 =G= -12; e187.. x131 - 12*b193 =G= -12; e188.. x132 - 12*b194 =G= -12; e189.. x133 - 12*b195 =G= -12; e190.. x134 - 12*b196 =G= -12; e191.. x135 - 12*b197 =G= -12; e192.. x136 - 12*b198 =G= -12; e193.. x137 - 12*b199 =G= -12; e194.. x138 - 12*b200 =G= -12; e195.. x139 - 12*b201 =G= -12; e196.. x140 - 12*b202 =G= -12; e197.. x141 - 12*b203 =G= -12; e198.. x142 - 12*b204 =G= -12; e199.. x143 - 12*b205 =G= -12; e200.. x144 - 12*b206 =G= -12; e201.. x145 - 12*b207 =G= -12; e202.. x146 - 12*b208 =G= -12; e203.. x147 - 12*b209 =G= -12; e204.. x148 - 12*b210 =G= -12; e205.. x149 - 12*b211 =G= -12; e206.. x150 - 12*b212 =G= -12; e207.. x151 - 12*b213 =G= -12; e208.. x152 - 12*b214 =G= -12; e209.. x153 - 12*b215 =G= -12; e210.. x154 - 12*b216 =G= -12; e211.. x155 - 12*b217 =G= -12; e212.. x156 - 12*b218 =G= -12; e213.. x157 - 12*b219 =G= -12; e214.. x158 - 12*b220 =G= -12; e215.. x159 - 12*b221 =G= -12; e216.. x160 - 12*b222 =G= -12; e217.. x161 - 12*b223 =G= -12; e218.. x162 - 12*b224 =G= -12; e219.. x163 - 12*b225 =G= -12; e220.. x164 - 12*b226 =G= -12; e221.. x165 - 12*b227 =G= -12; e222.. x166 - 12*b228 =G= -12; e223.. x167 - 12*b229 =G= -12; e224.. x168 - 12*b230 =G= -12; e225.. x169 - 12*b231 =G= -12; e226.. x170 - 12*b232 =G= -12; e227.. x171 - 12*b233 =G= -12; e228.. x172 - 12*b234 =G= -12; e229.. x173 - 12*b235 =G= -12; e230.. x174 - 12*b236 =G= -12; e231.. x175 - 12*b237 =G= -12; e232.. x176 - 12*b238 =G= -12; e233.. -(1.02*x177*(-6.5 + x113) + 1.02*x178*(-3.25 + x114)) + x179 =E= 0; e234.. x180 - 18.6904540877619*s1s1('239') - 36.1247408097722*s1s1('240') - 66.2398770083886*s1s1('241') - 111.757644998947*s1s1('242') - 216.00416662648*s1s1('243') - 364.434809700482*s1s1('244') - 528.190788533686*s1s1('245') - 9.11349113439539*s1s2('246') - 17.6144733325531*s1s2('247') - 32.2986551864818*s1s2('248') - 54.4931814987685*s1s2('249') - 105.323928905069*s1s2('250') - 177.698914733437*s1s2('251') - 257.546555368226*s1s2('252') - 7.65172765642961*s1s3('253') - 14.7891900880288*s1s3('254') - 27.118094428506*s1s3('255') - 45.7527173518919*s1s3('256') - 88.4304387640365*s1s3('257') - 149.196798497086*s1s3('258') - 216.237232413786*s1s3('259') - 14.4405836946709*s1s4('260') - 27.9106297076743*s1s4('261') - 51.1781299358943*s1s4('262') - 86.3459827433152*s1s4('263') - 166.88873538978*s1s4('264') - 281.568941344082*s1s4('265') - 408.089779561278*s1s4('266') - 16.2413705427568*s1s5('267') - 31.3911742592025*s1s5('268') - 57.5602059825984*s1s5('269') - 97.1136022105662*s1s5('270') - 187.700293020549*s1s5('271') - 316.681486454637*s1s5('272') - 458.979876763054*s1s5('273') - 23.2234254748939*s1s6('274') - 44.8860269555956*s1s6('275') - 82.3049477528588*s1s6('276') - 138.862080487498*s1s6('277') - 268.391374675119*s1s6('278') - 452.820707501052*s1s6('279') - 656.292209725887*s1s6('280') - 14.9380525029139*s1s7('281') - 28.8721329260735*s1s7('282') - 52.941183552398*s1s7('283') - 89.3205462402005*s1s7('284') - 172.637944844116*s1s7('285') - 291.268810037089*s1s7('286') - 422.148209648796*s1s7('287') - 18.6904540877619*s1s8('288') - 36.1247408097722*s1s8('289') - 66.2398770083886*s1s8('290') - 111.757644998947*s1s8('291') - 216.00416662648*s1s8('292') - 364.434809700482*s1s8('293') - 528.190788533686*s1s8('294') - 11.9558099050809*s1s9('295') - 23.1080813747994*s1s9('296') - 42.3719709499612*s1s9('297') - 71.4885338137291*s1s9('298') - 138.172392322055*s1s9('299') - 233.119713791557*s1s9('300') - 337.870264236031*s1s9('301') - 19.4406577877407*s1s10('302') - 37.5747277436911*s1s10('303') - 68.8986353555371*s1s10('304') - 116.243410747892*s1s10('305') - 224.674214141276*s1s10('306') - 379.062616031703*s1s10('307') - 549.391487135874*s1s10('308') - 19.4475325416967*s1s11('309') - 37.5880152060303*s1s11('310') - 68.922999817437*s1s11('311') - 116.284517631036*s1s11('312') - 224.753665153652*s1s11('313') - 379.196663050462*s1s11('314') - 549.585767151543*s1s11('315') - 13.9253546563734*s1s12('316') - 26.9147996770731*s1s12('317') - 49.3521332015331*s1s12('318') - 83.2652237802191*s1s12('319') - 160.93427229773*s1s12('320') - 271.522775764452*s1s12('321') - 393.529446744536*s1s12('322') - 7.76158051882097*s1s13('323') - 15.0015127080393*s1s13('324') - 27.5074183079396*s1s13('325') - 46.4095712271164*s1s13('326') - 89.7*s1s13('327') - 151.338758602103*s1s13('328') - 219.341665817957*s1s13('329') - 7.96556922221359*s1s14('330') - 15.3957802311063*s1s14('331') - 28.2303641796868*s1s14('332') - 47.6293006671023*s1s14('333') - 92.0574820424717*s1s14('334') - 155.316221319321*s1s14('335') - 225.10637081608*s1s14('336') - 9.11349113439539*s1s15('337') - 17.6144733325531*s1s15('338') - 32.2986551864818*s1s15('339') - 54.4931814987685*s1s15('340') - 105.323928905069*s1s15('341') - 177.698914733437*s1s15('342') - 257.546555368226*s1s15('343') - 11.9558099050809*s1s16('344') - 23.1080813747994*s1s16('345') - 42.3719709499612*s1s16('346') - 71.4885338137291*s1s16('347') - 138.172392322055*s1s16('348') - 233.119713791557*s1s16('349') - 337.870264236031*s1s16('350') - 7.48690188831565*s1s17('351') - 14.4706163324673*s1s17('352') - 26.5339439013751*s1s17('353') - 44.7671586494086*s1s17('354') - 86.5255598074927*s1s17('355') - 145.982952158506*s1s17('356') - 211.579268940989*s1s17('357') - 9.28783513744935*s1s18('358') - 17.9514438466182*s1s18('359') - 32.916538800503*s1s18('360') - 55.5356535066454*s1s18('361') - 107.338809384118*s1s18('362') - 181.098351861986*s1s18('363') - 262.473503425068*s1s18('364') - 7.76158051882097*s1s19('365') - 15.0015127080393*s1s19('366') - 27.5074183079396*s1s19('367') - 46.4095712271164*s1s19('368') - 89.7*s1s19('369') - 151.338758602103*s1s19('370') - 219.341665817957*s1s19('371') - 14.5757175798436*s1s20('372') - 28.1718152601258*s1s20('373') - 51.657050987864*s1s20('374') - 87.154001890177*s1s20('375') - 168.450467497125*s1s20('376') - 284.203842106564*s1s20('377') - 411.908652716088*s1s20('378') - 12.4236944883441*s1s21('379') - 24.0124044704238*s1s21('380') - 44.0301766363479*s1s21('381') - 74.2862014846846*s1s21('382') - 143.579699122125*s1s21('383') - 242.242736071415*s1s21('384') - 351.092646411238*s1s21('385') - 7.65172765642961*s1s22('386') - 14.7891900880288*s1s22('387') - 27.118094428506*s1s22('388') - 45.7527173518919*s1s22('389') - 88.4304387640365*s1s22('390') - 149.196798497086*s1s22('391') - 216.237232413786*s1s22('392') - 19.4406577877407*s1s23('393') - 37.5747277436911*s1s23('394') - 68.8986353555371*s1s23('395') - 116.243410747892*s1s23('396') - 224.674214141276*s1s23('397') - 379.062616031703*s1s23('398') - 549.391487135874*s1s23('399') - 7.48690188831565*s1s24('400') - 14.4706163324673*s1s24('401') - 26.5339439013751*s1s24('402') - 44.7671586494086*s1s24('403') - 86.5255598074927*s1s24('404') - 145.982952158506*s1s24('405') - 211.579268940989*s1s24('406') - 7.22029184733547*s1s25('407') - 13.9553148538372*s1s25('408') - 25.5890649679471*s1s25('409') - 43.1729913716576*s1s25('410') - 83.44436769489*s1s25('411') - 140.784470672041*s1s25('412') - 204.044889780639*s1s25('413') - 11.2055277593782*s1s26('414') - 21.6579428216942*s1s26('415') - 39.7129345873577*s1s26('416') - 67.0022990066581*s1s26('417') - 129.501438215952*s1s26('418') - 218.490377890626*s1s26('419') - 316.667348763747*s1s26('420') - 21.3709463532097*s1s27('421') - 41.3055720446486*s1s27('422') - 75.7396717780329*s1s27('423') - 127.785372394852*s1s27('424') - 246.982413341517*s1s27('425') - 416.700243385248*s1s27('426') - 603.94129286586*s1s27('427') - 18.7974273535344*s1s28('428') - 36.3314977714524*s1s28('429') - 66.6189954575545*s1s28('430') - 112.397280622803*s1s28('431') - 217.24044858175*s1s28('432') - 366.520622146333*s1s28('433') - 531.213844759881*s1s28('434') - 14.4405836946709*s1s29('435') - 27.9106297076743*s1s29('436') - 51.1781299358943*s1s29('437') - 86.3459827433152*s1s29('438') - 166.88873538978*s1s29('439') - 281.568941344082*s1s29('440') - 408.089779561278*s1s29('441') - 19.4475325416967*s1s30('442') - 37.5880152060303*s1s30('443') - 68.922999817437*s1s30('444') - 116.284517631036*s1s30('445') - 224.753665153652*s1s30('446') - 379.196663050462*s1s30('447') - 549.585767151543*s1s30('448') - 9.28783513744935*s1s31('449') - 17.9514438466182*s1s31('450') - 32.916538800503*s1s31('451') - 55.5356535066454*s1s31('452') - 107.338809384118*s1s31('453') - 181.098351861986*s1s31('454') - 262.473503425068*s1s31('455') - 7.22029184733547*s1s32('456') - 13.9553148538372*s1s32('457') - 25.5890649679471*s1s32('458') - 43.1729913716576*s1s32('459') - 83.44436769489*s1s32('460') - 140.784470672041*s1s32('461') - 204.044889780639*s1s32('462') - 6.67516217420068*s1s33('463') - 12.9016931463472*s1s33('464') - 23.6570989315674*s1s33('465') - 39.913444642481*s1s33('466') - 77.1443452237428*s1s33('467') - 130.155289178744*s1s33('468') - 188.639567333459*s1s33('469') - 18.5948501150879*s1s34('470') - 35.9399583150819*s1s34('471') - 65.9010518861256*s1s34('472') - 111.185990892074*s1s34('473') - 214.899278733085*s1s34('474') - 362.570680802145*s1s34('475') - 525.489027652088*s1s34('476') - 21.6341171926414*s1s35('477') - 41.8142262655959*s1s35('478') - 76.6723620141448*s1s35('479') - 129.358975321201*s1s35('480') - 250.023858861509*s1s35('481') - 421.831665786045*s1s35('482') - 611.378480456157*s1s35('483') - 16.2413705427568*s1s36('484') - 31.3911742592025*s1s36('485') - 57.5602059825984*s1s36('486') - 97.1136022105662*s1s36('487') - 187.700293020549*s1s36('488') - 316.681486454637*s1s36('489') - 458.979876763054*s1s36('490') - 13.9253546563734*s1s37('491') - 26.9147996770731*s1s37('492') - 49.3521332015331*s1s37('493') - 83.2652237802191*s1s37('494') - 160.93427229773*s1s37('495') - 271.522775764452*s1s37('496') - 393.529446744536*s1s37('497') - 7.76158051882097*s1s38('498') - 15.0015127080393*s1s38('499') - 27.5074183079396*s1s38('500') - 46.4095712271164*s1s38('501') - 89.7*s1s38('502') - 151.338758602103*s1s38('503') - 219.341665817957*s1s38('504') - 11.2055277593782*s1s39('505') - 21.6579428216942*s1s39('506') - 39.7129345873577*s1s39('507') - 67.0022990066581*s1s39('508') - 129.501438215952*s1s39('509') - 218.490377890626*s1s39('510') - 316.667348763747*s1s39('511') - 6.67516217420068*s1s40('512') - 12.9016931463472*s1s40('513') - 23.6570989315674*s1s40('514') - 39.913444642481*s1s40('515') - 77.1443452237428*s1s40('516') - 130.155289178744*s1s40('517') - 188.639567333459*s1s40('518') - 11.9558099050809*s1s41('519') - 23.1080813747994*s1s41('520') - 42.3719709499612*s1s41('521') - 71.4885338137291*s1s41('522') - 138.172392322055*s1s41('523') - 233.119713791557*s1s41('524') - 337.870264236031*s1s41('525') - 18.050112488828*s1s42('526') - 34.8870943522498*s1s42('527') - 63.9704752829104*s1s42('528') - 107.928788366802*s1s42('529') - 208.603787118067*s1s42('530') - 351.949143613665*s1s42('531') - 510.094784419302*s1s42('532') - 23.2234254748939*s1s43('533') - 44.8860269555956*s1s43('534') - 82.3049477528588*s1s43('535') - 138.862080487498*s1s43('536') - 268.391374675119*s1s43('537') - 452.820707501052*s1s43('538') - 656.292209725887*s1s43('539') - 7.76158051882097*s1s44('540') - 15.0015127080393*s1s44('541') - 27.5074183079396*s1s44('542') - 46.4095712271164*s1s44('543') - 89.7*s1s44('544') - 151.338758602103*s1s44('545') - 219.341665817957*s1s44('546') - 14.5757175798436*s1s45('547') - 28.1718152601258*s1s45('548') - 51.657050987864*s1s45('549') - 87.154001890177*s1s45('550') - 168.450467497125*s1s45('551') - 284.203842106564*s1s45('552') - 411.908652716088*s1s45('553') - 21.3709463532097*s1s46('554') - 41.3055720446486*s1s46('555') - 75.7396717780329*s1s46('556') - 127.785372394852*s1s46('557') - 246.982413341517*s1s46('558') - 416.700243385248*s1s46('559') - 603.94129286586*s1s46('560') - 18.5948501150879*s1s47('561') - 35.9399583150819*s1s47('562') - 65.9010518861256*s1s47('563') - 111.185990892074*s1s47('564') - 214.899278733085*s1s47('565') - 362.570680802145*s1s47('566') - 525.489027652088*s1s47('567') - 11.9558099050809*s1s48('568') - 23.1080813747994*s1s48('569') - 42.3719709499612*s1s48('570') - 71.4885338137291*s1s48('571') - 138.172392322055*s1s48('572') - 233.119713791557*s1s48('573') - 337.870264236031*s1s48('574') - 15.6261540208811*s1s49('575') - 30.2020893236365*s1s49('576') - 55.3798487504404*s1s49('577') - 93.434978388672*s1s49('578') - 180.590282130573*s1s49('579') - 304.685720326026*s1s49('580') - 441.593905385226*s1s49('581') - 14.9380525029139*s1s50('582') - 28.8721329260735*s1s50('583') - 52.941183552398*s1s50('584') - 89.3205462402005*s1s50('585') - 172.637944844116*s1s50('586') - 291.268810037089*s1s50('587') - 422.148209648796*s1s50('588') - 7.96556922221359*s1s51('589') - 15.3957802311063*s1s51('590') - 28.2303641796868*s1s51('591') - 47.6293006671023*s1s51('592') - 92.0574820424717*s1s51('593') - 155.316221319321*s1s51('594') - 225.10637081608*s1s51('595') - 12.4236944883441*s1s52('596') - 24.0124044704238*s1s52('597') - 44.0301766363479*s1s52('598') - 74.2862014846846*s1s52('599') - 143.579699122125*s1s52('600') - 242.242736071415*s1s52('601') - 351.092646411238*s1s52('602') - 18.7974273535344*s1s53('603') - 36.3314977714524*s1s53('604') - 66.6189954575545*s1s53('605') - 112.397280622803*s1s53('606') - 217.24044858175*s1s53('607') - 366.520622146333*s1s53('608') - 531.213844759881*s1s53('609') - 21.6341171926414*s1s54('610') - 41.8142262655959*s1s54('611') - 76.6723620141448*s1s54('612') - 129.358975321201*s1s54('613') - 250.023858861509*s1s54('614') - 421.831665786045*s1s54('615') - 611.378480456157*s1s54('616') - 18.050112488828*s1s55('617') - 34.8870943522498*s1s55('618') - 63.9704752829104*s1s55('619') - 107.928788366802*s1s55('620') - 208.603787118067*s1s55('621') - 351.949143613665*s1s55('622') - 510.094784419302*s1s55('623') - 15.6261540208811*s1s56('624') - 30.2020893236365*s1s56('625') - 55.3798487504404*s1s56('626') - 93.434978388672*s1s56('627') - 180.590282130573*s1s56('628') - 304.685720326026*s1s56('629') - 441.593905385226*s1s56('630') =E= 0; e235.. - 0.2*x177 - 0.17*x178 + x181 =E= 0; e236.. - 10*x179 - x180 - 10*x181 + objvar =E= 0; e237.. - b183 + s1s1('239') + s1s1('240') + s1s1('241') + s1s1('242') + s1s1('243') + s1s1('244') + s1s1('245') =E= 0; e238.. - b184 + s1s2('246') + s1s2('247') + s1s2('248') + s1s2('249') + s1s2('250') + s1s2('251') + s1s2('252') =E= 0; e239.. - b185 + s1s3('253') + s1s3('254') + s1s3('255') + s1s3('256') + s1s3('257') + s1s3('258') + s1s3('259') =E= 0; e240.. - b186 + s1s4('260') + s1s4('261') + s1s4('262') + s1s4('263') + s1s4('264') + s1s4('265') + s1s4('266') =E= 0; e241.. - b187 + s1s5('267') + s1s5('268') + s1s5('269') + s1s5('270') + s1s5('271') + s1s5('272') + s1s5('273') =E= 0; e242.. - b188 + s1s6('274') + s1s6('275') + s1s6('276') + s1s6('277') + s1s6('278') + s1s6('279') + s1s6('280') =E= 0; e243.. - b189 + s1s7('281') + s1s7('282') + s1s7('283') + s1s7('284') + s1s7('285') + s1s7('286') + s1s7('287') =E= 0; e244.. - b190 + s1s8('288') + s1s8('289') + s1s8('290') + s1s8('291') + s1s8('292') + s1s8('293') + s1s8('294') =E= 0; e245.. - b191 + s1s9('295') + s1s9('296') + s1s9('297') + s1s9('298') + s1s9('299') + s1s9('300') + s1s9('301') =E= 0; e246.. - b192 + s1s10('302') + s1s10('303') + s1s10('304') + s1s10('305') + s1s10('306') + s1s10('307') + s1s10('308') =E= 0; e247.. - b193 + s1s11('309') + s1s11('310') + s1s11('311') + s1s11('312') + s1s11('313') + s1s11('314') + s1s11('315') =E= 0; e248.. - b194 + s1s12('316') + s1s12('317') + s1s12('318') + s1s12('319') + s1s12('320') + s1s12('321') + s1s12('322') =E= 0; e249.. - b195 + s1s13('323') + s1s13('324') + s1s13('325') + s1s13('326') + s1s13('327') + s1s13('328') + s1s13('329') =E= 0; e250.. - b196 + s1s14('330') + s1s14('331') + s1s14('332') + s1s14('333') + s1s14('334') + s1s14('335') + s1s14('336') =E= 0; e251.. - b197 + s1s15('337') + s1s15('338') + s1s15('339') + s1s15('340') + s1s15('341') + s1s15('342') + s1s15('343') =E= 0; e252.. - b198 + s1s16('344') + s1s16('345') + s1s16('346') + s1s16('347') + s1s16('348') + s1s16('349') + s1s16('350') =E= 0; e253.. - b199 + s1s17('351') + s1s17('352') + s1s17('353') + s1s17('354') + s1s17('355') + s1s17('356') + s1s17('357') =E= 0; e254.. - b200 + s1s18('358') + s1s18('359') + s1s18('360') + s1s18('361') + s1s18('362') + s1s18('363') + s1s18('364') =E= 0; e255.. - b201 + s1s19('365') + s1s19('366') + s1s19('367') + s1s19('368') + s1s19('369') + s1s19('370') + s1s19('371') =E= 0; e256.. - b202 + s1s20('372') + s1s20('373') + s1s20('374') + s1s20('375') + s1s20('376') + s1s20('377') + s1s20('378') =E= 0; e257.. - b203 + s1s21('379') + s1s21('380') + s1s21('381') + s1s21('382') + s1s21('383') + s1s21('384') + s1s21('385') =E= 0; e258.. - b204 + s1s22('386') + s1s22('387') + s1s22('388') + s1s22('389') + s1s22('390') + s1s22('391') + s1s22('392') =E= 0; e259.. - b205 + s1s23('393') + s1s23('394') + s1s23('395') + s1s23('396') + s1s23('397') + s1s23('398') + s1s23('399') =E= 0; e260.. - b206 + s1s24('400') + s1s24('401') + s1s24('402') + s1s24('403') + s1s24('404') + s1s24('405') + s1s24('406') =E= 0; e261.. - b207 + s1s25('407') + s1s25('408') + s1s25('409') + s1s25('410') + s1s25('411') + s1s25('412') + s1s25('413') =E= 0; e262.. - b208 + s1s26('414') + s1s26('415') + s1s26('416') + s1s26('417') + s1s26('418') + s1s26('419') + s1s26('420') =E= 0; e263.. - b209 + s1s27('421') + s1s27('422') + s1s27('423') + s1s27('424') + s1s27('425') + s1s27('426') + s1s27('427') =E= 0; e264.. - b210 + s1s28('428') + s1s28('429') + s1s28('430') + s1s28('431') + s1s28('432') + s1s28('433') + s1s28('434') =E= 0; e265.. - b211 + s1s29('435') + s1s29('436') + s1s29('437') + s1s29('438') + s1s29('439') + s1s29('440') + s1s29('441') =E= 0; e266.. - b212 + s1s30('442') + s1s30('443') + s1s30('444') + s1s30('445') + s1s30('446') + s1s30('447') + s1s30('448') =E= 0; e267.. - b213 + s1s31('449') + s1s31('450') + s1s31('451') + s1s31('452') + s1s31('453') + s1s31('454') + s1s31('455') =E= 0; e268.. - b214 + s1s32('456') + s1s32('457') + s1s32('458') + s1s32('459') + s1s32('460') + s1s32('461') + s1s32('462') =E= 0; e269.. - b215 + s1s33('463') + s1s33('464') + s1s33('465') + s1s33('466') + s1s33('467') + s1s33('468') + s1s33('469') =E= 0; e270.. - b216 + s1s34('470') + s1s34('471') + s1s34('472') + s1s34('473') + s1s34('474') + s1s34('475') + s1s34('476') =E= 0; e271.. - b217 + s1s35('477') + s1s35('478') + s1s35('479') + s1s35('480') + s1s35('481') + s1s35('482') + s1s35('483') =E= 0; e272.. - b218 + s1s36('484') + s1s36('485') + s1s36('486') + s1s36('487') + s1s36('488') + s1s36('489') + s1s36('490') =E= 0; e273.. - b219 + s1s37('491') + s1s37('492') + s1s37('493') + s1s37('494') + s1s37('495') + s1s37('496') + s1s37('497') =E= 0; e274.. - b220 + s1s38('498') + s1s38('499') + s1s38('500') + s1s38('501') + s1s38('502') + s1s38('503') + s1s38('504') =E= 0; e275.. - b221 + s1s39('505') + s1s39('506') + s1s39('507') + s1s39('508') + s1s39('509') + s1s39('510') + s1s39('511') =E= 0; e276.. - b222 + s1s40('512') + s1s40('513') + s1s40('514') + s1s40('515') + s1s40('516') + s1s40('517') + s1s40('518') =E= 0; e277.. - b223 + s1s41('519') + s1s41('520') + s1s41('521') + s1s41('522') + s1s41('523') + s1s41('524') + s1s41('525') =E= 0; e278.. - b224 + s1s42('526') + s1s42('527') + s1s42('528') + s1s42('529') + s1s42('530') + s1s42('531') + s1s42('532') =E= 0; e279.. - b225 + s1s43('533') + s1s43('534') + s1s43('535') + s1s43('536') + s1s43('537') + s1s43('538') + s1s43('539') =E= 0; e280.. - b226 + s1s44('540') + s1s44('541') + s1s44('542') + s1s44('543') + s1s44('544') + s1s44('545') + s1s44('546') =E= 0; e281.. - b227 + s1s45('547') + s1s45('548') + s1s45('549') + s1s45('550') + s1s45('551') + s1s45('552') + s1s45('553') =E= 0; e282.. - b228 + s1s46('554') + s1s46('555') + s1s46('556') + s1s46('557') + s1s46('558') + s1s46('559') + s1s46('560') =E= 0; e283.. - b229 + s1s47('561') + s1s47('562') + s1s47('563') + s1s47('564') + s1s47('565') + s1s47('566') + s1s47('567') =E= 0; e284.. - b230 + s1s48('568') + s1s48('569') + s1s48('570') + s1s48('571') + s1s48('572') + s1s48('573') + s1s48('574') =E= 0; e285.. - b231 + s1s49('575') + s1s49('576') + s1s49('577') + s1s49('578') + s1s49('579') + s1s49('580') + s1s49('581') =E= 0; e286.. - b232 + s1s50('582') + s1s50('583') + s1s50('584') + s1s50('585') + s1s50('586') + s1s50('587') + s1s50('588') =E= 0; e287.. - b233 + s1s51('589') + s1s51('590') + s1s51('591') + s1s51('592') + s1s51('593') + s1s51('594') + s1s51('595') =E= 0; e288.. - b234 + s1s52('596') + s1s52('597') + s1s52('598') + s1s52('599') + s1s52('600') + s1s52('601') + s1s52('602') =E= 0; e289.. - b235 + s1s53('603') + s1s53('604') + s1s53('605') + s1s53('606') + s1s53('607') + s1s53('608') + s1s53('609') =E= 0; e290.. - b236 + s1s54('610') + s1s54('611') + s1s54('612') + s1s54('613') + s1s54('614') + s1s54('615') + s1s54('616') =E= 0; e291.. - b237 + s1s55('617') + s1s55('618') + s1s55('619') + s1s55('620') + s1s55('621') + s1s55('622') + s1s55('623') =E= 0; e292.. - b238 + s1s56('624') + s1s56('625') + s1s56('626') + s1s56('627') + s1s56('628') + s1s56('629') + s1s56('630') =E= 0; e293.. x1 - 0.0122927400295263*s1s1('239') - 0.047959606911495*s1s1('240') - 0.167824502578647*s1s1('241') - 0.494468436052303*s1s1('242') - 1.92914775438588*s1s1('243') - 2*s1s1('244') - 2*s1s1('245') =L= 0; e294.. x2 - 0.0176041976445841*s1s2('246') - 0.0686820348432157*s1s2('247') - 0.240338257044582*s1s2('248') - 0.708118780382974*s1s2('249') - 2*s1s2('250') - 2*s1s2('251') - 2*s1s2('252') =L= 0; e295.. x3 - 0.0192122784105588*s1s3('253') - 0.0749558941482069*s1s3('254') - 0.262292300976835*s1s3('255') - 0.772802909347502*s1s3('256') - 2*s1s3('257') - 2*s1s3('258') - 2*s1s3('259') =L= 0; e296.. x4 - 0.0139851216849881*s1s4('260') - 0.0545623625823394*s1s4('261') - 0.190929449792929*s1s4('262') - 0.56254352007505*s1s4('263') - 2*s1s4('264') - 2*s1s4('265') - 2*s1s4('266') =L= 0; e297.. x5 - 0.0131870388642087*s1s5('267') - 0.0514486761076021*s1s5('268') - 0.180033762412234*s1s5('269') - 0.530441095124783*s1s5('270') - 2*s1s5('271') - 2*s1s5('272') - 2*s1s5('273') =L= 0; e298.. x6 - 0.0110279676651009*s1s6('274') - 0.0430251508598196*s1s6('275') - 0.15055741709363*s1s6('276') - 0.443593691162434*s1s6('277') - 1.7306620822916*s1s6('278') - 2*s1s6('279') - 2*s1s6('280') =L= 0; e299.. x7 - 0.0137502828767635*s1s7('281') - 0.0536461488738445*s1s7('282') - 0.187723353667753*s1s7('283') - 0.553097263345606*s1s7('284') - 2*s1s7('285') - 2*s1s7('286') - 2*s1s7('287') =L= 0; e300.. x8 - 0.0122927400295263*s1s8('288') - 0.047959606911495*s1s8('289') - 0.167824502578647*s1s8('290') - 0.494468436052303*s1s8('291') - 1.92914775438588*s1s8('292') - 2*s1s8('293') - 2*s1s8('294') =L= 0; e301.. x9 - 0.0153698320860398*s1s9('295') - 0.0599647518268192*s1s9('296') - 0.209833968534382*s1s9('297') - 0.618242703881818*s1s9('298') - 2*s1s9('299') - 2*s1s9('300') - 2*s1s9('301') =L= 0; e302.. x10 - 0.0120532217270583*s1s10('302') - 0.0470251363535167*s1s10('303') - 0.1645545204694*s1s10('304') - 0.484833949343662*s1s10('305') - 1.89155921072266*s1s10('306') - 2*s1s10('307') - 2*s1s10('308') =L= 0; e303.. x11 - 0.0120510911159401*s1s11('309') - 0.0470168238640743*s1s11('310') - 0.164525432670402*s1s11('311') - 0.484748246730172*s1s11('312') - 1.89122484558971*s1s11('313') - 2*s1s11('314') - 2*s1s11('315') =L= 0; e304.. x12 - 0.0142414920290718*s1s12('316') - 0.0555625806701283*s1s12('317') - 0.194429501479406*s1s12('318') - 0.572855870518057*s1s12('319') - 2*s1s12('320') - 2*s1s12('321') - 2*s1s12('322') =L= 0; e305.. x13 - 0.0190758342372385*s1s13('323') - 0.0744235629590588*s1s13('324') - 0.260429520550158*s1s13('325') - 0.767314520523847*s1s13('326') - 2*s1s13('327') - 2*s1s13('328') - 2*s1s13('329') =L= 0; e306.. x14 - 0.0188299954674205*s1s14('330') - 0.0734644333642121*s1s14('331') - 0.257073249355929*s1s14('332') - 0.757425796631457*s1s14('333') - 2*s1s14('334') - 2*s1s14('335') - 2*s1s14('336') =L= 0; e307.. x15 - 0.0176041976445841*s1s15('337') - 0.0686820348432157*s1s15('338') - 0.240338257044582*s1s15('339') - 0.708118780382974*s1s15('340') - 2*s1s15('341') - 2*s1s15('342') - 2*s1s15('343') =L= 0; e308.. x16 - 0.0153698320860398*s1s16('344') - 0.0599647518268192*s1s16('345') - 0.209833968534382*s1s16('346') - 0.618242703881818*s1s16('347') - 2*s1s16('348') - 2*s1s16('349') - 2*s1s16('350') =L= 0; e309.. x17 - 0.0194226083350049*s1s17('351') - 0.0757764874800376*s1s17('352') - 0.265163793814297*s1s17('353') - 0.781263310246409*s1s17('354') - 2*s1s17('355') - 2*s1s17('356') - 2*s1s17('357') =L= 0; e310.. x18 - 0.0174381887671401*s1s18('358') - 0.0680343582075014*s1s18('359') - 0.238071849619242*s1s18('360') - 0.701441168247406*s1s18('361') - 2*s1s18('362') - 2*s1s18('363') - 2*s1s18('364') =L= 0; e311.. x19 - 0.0190758342372385*s1s19('365') - 0.0744235629590588*s1s19('366') - 0.260429520550158*s1s19('367') - 0.767314520523847*s1s19('368') - 2*s1s19('369') - 2*s1s19('370') - 2*s1s19('371') =L= 0; e312.. x20 - 0.0139201415373155*s1s20('372') - 0.0543088452760314*s1s20('373') - 0.190042319589699*s1s20('374') - 0.559929730804558*s1s20('375') - 2*s1s20('376') - 2*s1s20('377') - 2*s1s20('378') =L= 0; e313.. x21 - 0.0150776355652448*s1s21('379') - 0.0588247594211735*s1s21('380') - 0.205844806180028*s1s21('381') - 0.606489265973719*s1s21('382') - 2*s1s21('383') - 2*s1s21('384') - 2*s1s21('385') =L= 0; e314.. x22 - 0.0192122784105588*s1s22('386') - 0.0749558941482069*s1s22('387') - 0.262292300976835*s1s22('388') - 0.772802909347502*s1s22('389') - 2*s1s22('390') - 2*s1s22('391') - 2*s1s22('392') =L= 0; e315.. x23 - 0.0120532217270583*s1s23('393') - 0.0470251363535167*s1s23('394') - 0.1645545204694*s1s23('395') - 0.484833949343662*s1s23('396') - 1.89155921072266*s1s23('397') - 2*s1s23('398') - 2*s1s23('399') =L= 0; e316.. x24 - 0.0194226083350049*s1s24('400') - 0.0757764874800376*s1s24('401') - 0.265163793814297*s1s24('402') - 0.781263310246409*s1s24('403') - 2*s1s24('404') - 2*s1s24('405') - 2*s1s24('406') =L= 0; e317.. x25 - 0.0197779487583483*s1s25('407') - 0.0771628331590627*s1s25('408') - 0.270015017353593*s1s25('409') - 0.795556675515238*s1s25('410') - 2*s1s25('411') - 2*s1s25('412') - 2*s1s25('413') =L= 0; e318.. x26 - 0.015876050278038*s1s26('414') - 0.0619397407586086*s1s26('415') - 0.216745024658915*s1s26('416') - 0.638605041090392*s1s26('417') - 2*s1s26('418') - 2*s1s26('419') - 2*s1s26('420') =L= 0; e319.. x27 - 0.0114959997704606*s1s27('421') - 0.0448511583846756*s1s27('422') - 0.156947144289045*s1s27('423') - 0.462420014879005*s1s27('424') - 1.80411219047469*s1s27('425') - 2*s1s27('426') - 2*s1s27('427') =L= 0; e320.. x28 - 0.0122577120780475*s1s28('428') - 0.0478229468357263*s1s28('429') - 0.167346289542402*s1s28('430') - 0.493059456740591*s1s28('431') - 1.92365068100974*s1s28('432') - 2*s1s28('433') - 2*s1s28('434') =L= 0; e321.. x29 - 0.0139851216849881*s1s29('435') - 0.0545623625823394*s1s29('436') - 0.190929449792929*s1s29('437') - 0.56254352007505*s1s29('438') - 2*s1s29('439') - 2*s1s29('440') - 2*s1s29('441') =L= 0; e322.. x30 - 0.0120510911159401*s1s30('442') - 0.0470168238640743*s1s30('443') - 0.164525432670402*s1s30('444') - 0.484748246730172*s1s30('445') - 1.89122484558971*s1s30('446') - 2*s1s30('447') - 2*s1s30('448') =L= 0; e323.. x31 - 0.0174381887671401*s1s31('449') - 0.0680343582075014*s1s31('450') - 0.238071849619242*s1s31('451') - 0.701441168247406*s1s31('452') - 2*s1s31('453') - 2*s1s31('454') - 2*s1s31('455') =L= 0; e324.. x32 - 0.0197779487583483*s1s32('456') - 0.0771628331590627*s1s32('457') - 0.270015017353593*s1s32('458') - 0.795556675515238*s1s32('459') - 2*s1s32('460') - 2*s1s32('461') - 2*s1s32('462') =L= 0; e325.. x33 - 0.02056968839856*s1s33('463') - 0.0802517719822704*s1s33('464') - 0.280824105561038*s1s33('465') - 0.827403949655566*s1s33('466') - 2*s1s33('467') - 2*s1s33('468') - 2*s1s33('469') =L= 0; e326.. x34 - 0.0123243005973977*s1s34('470') - 0.0480827391363186*s1s34('471') - 0.168255377761185*s1s34('472') - 0.495737941841801*s1s34('473') - 1.93410067769589*s1s34('474') - 2*s1s34('475') - 2*s1s34('476') =L= 0; e327.. x35 - 0.0114258635818418*s1s35('477') - 0.0445775250020163*s1s35('478') - 0.155989622130483*s1s35('479') - 0.459598826810784*s1s35('480') - 1.7931054441797*s1s35('481') - 2*s1s35('482') - 2*s1s35('483') =L= 0; e328.. x36 - 0.0131870388642087*s1s36('484') - 0.0514486761076021*s1s36('485') - 0.180033762412234*s1s36('486') - 0.530441095124783*s1s36('487') - 2*s1s36('488') - 2*s1s36('489') - 2*s1s36('490') =L= 0; e329.. x37 - 0.0142414920290718*s1s37('491') - 0.0555625806701283*s1s37('492') - 0.194429501479406*s1s37('493') - 0.572855870518057*s1s37('494') - 2*s1s37('495') - 2*s1s37('496') - 2*s1s37('497') =L= 0; e330.. x38 - 0.0190758342372385*s1s38('498') - 0.0744235629590588*s1s38('499') - 0.260429520550158*s1s38('500') - 0.767314520523847*s1s38('501') - 2*s1s38('502') - 2*s1s38('503') - 2*s1s38('504') =L= 0; e331.. x39 - 0.015876050278038*s1s39('505') - 0.0619397407586086*s1s39('506') - 0.216745024658915*s1s39('507') - 0.638605041090392*s1s39('508') - 2*s1s39('509') - 2*s1s39('510') - 2*s1s39('511') =L= 0; e332.. x40 - 0.02056968839856*s1s40('512') - 0.0802517719822704*s1s40('513') - 0.280824105561038*s1s40('514') - 0.827403949655566*s1s40('515') - 2*s1s40('516') - 2*s1s40('517') - 2*s1s40('518') =L= 0; e333.. x41 - 0.0153698320860398*s1s41('519') - 0.0599647518268192*s1s41('520') - 0.209833968534382*s1s41('521') - 0.618242703881818*s1s41('522') - 2*s1s41('523') - 2*s1s41('524') - 2*s1s41('525') =L= 0; e334.. x42 - 0.012508886937106*s1s42('526') - 0.048802894957753*s1s42('527') - 0.170775410770095*s1s42('528') - 0.503162821770358*s1s42('529') - 1.96306853367294*s1s42('530') - 2*s1s42('531') - 2*s1s42('532') =L= 0 ; e335.. x43 - 0.0110279676651009*s1s43('533') - 0.0430251508598196*s1s43('534') - 0.15055741709363*s1s43('535') - 0.443593691162434*s1s43('536') - 1.7306620822916*s1s43('537') - 2*s1s43('538') - 2*s1s43('539') =L= 0; e336.. x44 - 0.0190758342372385*s1s44('540') - 0.0744235629590588*s1s44('541') - 0.260429520550158*s1s44('542') - 0.767314520523847*s1s44('543') - 2*s1s44('544') - 2*s1s44('545') - 2*s1s44('546') =L= 0; e337.. x45 - 0.0139201415373155*s1s45('547') - 0.0543088452760314*s1s45('548') - 0.190042319589699*s1s45('549') - 0.559929730804558*s1s45('550') - 2*s1s45('551') - 2*s1s45('552') - 2*s1s45('553') =L= 0; e338.. x46 - 0.0114959997704606*s1s46('554') - 0.0448511583846756*s1s46('555') - 0.156947144289045*s1s46('556') - 0.462420014879005*s1s46('557') - 1.80411219047469*s1s46('558') - 2*s1s46('559') - 2*s1s46('560') =L= 0; e339.. x47 - 0.0123243005973977*s1s47('561') - 0.0480827391363186*s1s47('562') - 0.168255377761185*s1s47('563') - 0.495737941841801*s1s47('564') - 1.93410067769589*s1s47('565') - 2*s1s47('566') - 2*s1s47('567') =L= 0; e340.. x48 - 0.0153698320860398*s1s48('568') - 0.0599647518268192*s1s48('569') - 0.209833968534382*s1s48('570') - 0.618242703881818*s1s48('571') - 2*s1s48('572') - 2*s1s48('573') - 2*s1s48('574') =L= 0; e341.. x49 - 0.0134441259722562*s1s49('575') - 0.0524516906197741*s1s49('576') - 0.183543599594492*s1s49('577') - 0.540782276988236*s1s49('578') - 2*s1s49('579') - 2*s1s49('580') - 2*s1s49('581') =L= 0; e342.. x50 - 0.0137502828767635*s1s50('582') - 0.0536461488738445*s1s50('583') - 0.187723353667753*s1s50('584') - 0.553097263345606*s1s50('585') - 2*s1s50('586') - 2*s1s50('587') - 2*s1s50('588') =L= 0; e343.. x51 - 0.0188299954674205*s1s51('589') - 0.0734644333642121*s1s51('590') - 0.257073249355929*s1s51('591') - 0.757425796631457*s1s51('592') - 2*s1s51('593') - 2*s1s51('594') - 2*s1s51('595') =L= 0; e344.. x52 - 0.0150776355652448*s1s52('596') - 0.0588247594211735*s1s52('597') - 0.205844806180028*s1s52('598') - 0.606489265973719*s1s52('599') - 2*s1s52('600') - 2*s1s52('601') - 2*s1s52('602') =L= 0; e345.. x53 - 0.0122577120780475*s1s53('603') - 0.0478229468357263*s1s53('604') - 0.167346289542402*s1s53('605') - 0.493059456740591*s1s53('606') - 1.92365068100974*s1s53('607') - 2*s1s53('608') - 2*s1s53('609') =L= 0; e346.. x54 - 0.0114258635818418*s1s54('610') - 0.0445775250020163*s1s54('611') - 0.155989622130483*s1s54('612') - 0.459598826810784*s1s54('613') - 1.7931054441797*s1s54('614') - 2*s1s54('615') - 2*s1s54('616') =L= 0; e347.. x55 - 0.012508886937106*s1s55('617') - 0.048802894957753*s1s55('618') - 0.170775410770095*s1s55('619') - 0.503162821770358*s1s55('620') - 1.96306853367294*s1s55('621') - 2*s1s55('622') - 2*s1s55('623') =L= 0 ; e348.. x56 - 0.0134441259722562*s1s56('624') - 0.0524516906197741*s1s56('625') - 0.183543599594492*s1s56('626') - 0.540782276988236*s1s56('627') - 2*s1s56('628') - 2*s1s56('629') - 2*s1s56('630') =L= 0; e349.. b183 + b190 =L= 1; e350.. b184 + b197 =L= 1; e351.. b185 + b204 =L= 1; e352.. b186 + b211 =L= 1; e353.. b187 + b218 =L= 1; e354.. b188 + b225 =L= 1; e355.. b189 + b232 =L= 1; e356.. b191 + b198 =L= 1; e357.. b192 + b205 =L= 1; e358.. b193 + b212 =L= 1; e359.. b194 + b219 =L= 1; e360.. b195 + b226 =L= 1; e361.. b196 + b233 =L= 1; e362.. b199 + b206 =L= 1; e363.. b200 + b213 =L= 1; e364.. b201 + b220 =L= 1; e365.. b202 + b227 =L= 1; e366.. b203 + b234 =L= 1; e367.. b207 + b214 =L= 1; e368.. b208 + b221 =L= 1; e369.. b209 + b228 =L= 1; e370.. b210 + b235 =L= 1; e371.. b215 + b222 =L= 1; e372.. b216 + b229 =L= 1; e373.. b217 + b236 =L= 1; e374.. b223 + b230 =L= 1; e375.. b224 + b237 =L= 1; e376.. b231 + b238 =L= 1; e377.. b183 + b184 + b185 + b186 + b187 + b188 + b189 =G= 2; e378.. b183 + b191 + b192 + b193 + b194 + b195 + b196 =G= 2; e379.. b184 + b191 + b199 + b200 + b201 + b202 + b203 =G= 2; e380.. b185 + b192 + b199 + b207 + b208 + b209 + b210 =G= 2; e381.. b186 + b193 + b200 + b207 + b215 + b216 + b217 =G= 2; e382.. b187 + b194 + b201 + b208 + b215 + b223 + b224 =G= 2; e383.. b188 + b195 + b202 + b209 + b216 + b223 + b231 =G= 2; e384.. b189 + b196 + b203 + b210 + b217 + b224 + b231 =G= 2; * set non-default bounds x113.lo = 6.5; x114.lo = 3.25; x115.lo = 16.58; x116.lo = 14.92; x117.lo = 12.925; x118.lo = 12.26; x119.lo = 8.76; x120.lo = 16.08; x177.up = 2.5; x178.up = 6; * set non-default levels x113.l = 11.5; x114.l = 8.25; x115.l = 21.58; x116.l = 19.92; x117.l = 17.925; x118.l = 17.26; x119.l = 13.76; x120.l = 21.08; x177.l = 0.961470588235294; x178.l = 2.30752941176471; b183.l = 0.5; b184.l = 0.5; b185.l = 0.5; b186.l = 0.5; b187.l = 0.5; b188.l = 0.5; b189.l = 0.5; b190.l = 0.5; b191.l = 0.5; b192.l = 0.5; b193.l = 0.5; b194.l = 0.5; b195.l = 0.5; b196.l = 0.5; b197.l = 0.5; b198.l = 0.5; b199.l = 0.5; b200.l = 0.5; b201.l = 0.5; b202.l = 0.5; b203.l = 0.5; b204.l = 0.5; b205.l = 0.5; b206.l = 0.5; b207.l = 0.5; b208.l = 0.5; b209.l = 0.5; b210.l = 0.5; b211.l = 0.5; b212.l = 0.5; b213.l = 0.5; b214.l = 0.5; b215.l = 0.5; b216.l = 0.5; b217.l = 0.5; b218.l = 0.5; b219.l = 0.5; b220.l = 0.5; b221.l = 0.5; b222.l = 0.5; b223.l = 0.5; b224.l = 0.5; b225.l = 0.5; b226.l = 0.5; b227.l = 0.5; b228.l = 0.5; b229.l = 0.5; b230.l = 0.5; b231.l = 0.5; b232.l = 0.5; b233.l = 0.5; b234.l = 0.5; b235.l = 0.5; b236.l = 0.5; b237.l = 0.5; b238.l = 0.5; s1s1.l('239') = 0.0714285714285714; s1s1.l('240') = 0.0714285714285714; s1s1.l('241') = 0.0714285714285714; s1s1.l('242') = 0.0714285714285714; s1s1.l('243') = 0.0714285714285714; s1s1.l('244') = 0.0714285714285714; s1s1.l('245') = 0.0714285714285714; s1s2.l('246') = 0.0714285714285714; s1s2.l('247') = 0.0714285714285714; s1s2.l('248') = 0.0714285714285714; s1s2.l('249') = 0.0714285714285714; s1s2.l('250') = 0.0714285714285714; s1s2.l('251') = 0.0714285714285714; s1s2.l('252') = 0.0714285714285714; s1s3.l('253') = 0.0714285714285714; s1s3.l('254') = 0.0714285714285714; s1s3.l('255') = 0.0714285714285714; s1s3.l('256') = 0.0714285714285714; s1s3.l('257') = 0.0714285714285714; s1s3.l('258') = 0.0714285714285714; s1s3.l('259') = 0.0714285714285714; s1s4.l('260') = 0.0714285714285714; s1s4.l('261') = 0.0714285714285714; s1s4.l('262') = 0.0714285714285714; s1s4.l('263') = 0.0714285714285714; s1s4.l('264') = 0.0714285714285714; s1s4.l('265') = 0.0714285714285714; s1s4.l('266') = 0.0714285714285714; s1s5.l('267') = 0.0714285714285714; s1s5.l('268') = 0.0714285714285714; s1s5.l('269') = 0.0714285714285714; s1s5.l('270') = 0.0714285714285714; s1s5.l('271') = 0.0714285714285714; s1s5.l('272') = 0.0714285714285714; s1s5.l('273') = 0.0714285714285714; s1s6.l('274') = 0.0714285714285714; s1s6.l('275') = 0.0714285714285714; s1s6.l('276') = 0.0714285714285714; s1s6.l('277') = 0.0714285714285714; s1s6.l('278') = 0.0714285714285714; s1s6.l('279') = 0.0714285714285714; s1s6.l('280') = 0.0714285714285714; s1s7.l('281') = 0.0714285714285714; s1s7.l('282') = 0.0714285714285714; s1s7.l('283') = 0.0714285714285714; s1s7.l('284') = 0.0714285714285714; s1s7.l('285') = 0.0714285714285714; s1s7.l('286') = 0.0714285714285714; s1s7.l('287') = 0.0714285714285714; s1s9.l('295') = 0.0714285714285714; s1s9.l('296') = 0.0714285714285714; s1s9.l('297') = 0.0714285714285714; s1s9.l('298') = 0.0714285714285714; s1s9.l('299') = 0.0714285714285714; s1s9.l('300') = 0.0714285714285714; s1s9.l('301') = 0.0714285714285714; s1s10.l('302') = 0.0714285714285714; s1s10.l('303') = 0.0714285714285714; s1s10.l('304') = 0.0714285714285714; s1s10.l('305') = 0.0714285714285714; s1s10.l('306') = 0.0714285714285714; s1s10.l('307') = 0.0714285714285714; s1s10.l('308') = 0.0714285714285714; s1s11.l('309') = 0.0714285714285714; s1s11.l('310') = 0.0714285714285714; s1s11.l('311') = 0.0714285714285714; s1s11.l('312') = 0.0714285714285714; s1s11.l('313') = 0.0714285714285714; s1s11.l('314') = 0.0714285714285714; s1s11.l('315') = 0.0714285714285714; s1s12.l('316') = 0.0714285714285714; s1s12.l('317') = 0.0714285714285714; s1s12.l('318') = 0.0714285714285714; s1s12.l('319') = 0.0714285714285714; s1s12.l('320') = 0.0714285714285714; s1s12.l('321') = 0.0714285714285714; s1s12.l('322') = 0.0714285714285714; s1s13.l('323') = 0.0714285714285714; s1s13.l('324') = 0.0714285714285714; s1s13.l('325') = 0.0714285714285714; s1s13.l('326') = 0.0714285714285714; s1s13.l('327') = 0.0714285714285714; s1s13.l('328') = 0.0714285714285714; s1s13.l('329') = 0.0714285714285714; s1s14.l('330') = 0.0714285714285714; s1s14.l('331') = 0.0714285714285714; s1s14.l('332') = 0.0714285714285714; s1s14.l('333') = 0.0714285714285714; s1s14.l('334') = 0.0714285714285714; s1s14.l('335') = 0.0714285714285714; s1s14.l('336') = 0.0714285714285714; s1s17.l('351') = 0.0714285714285714; s1s17.l('352') = 0.0714285714285714; s1s17.l('353') = 0.0714285714285714; s1s17.l('354') = 0.0714285714285714; s1s17.l('355') = 0.0714285714285714; s1s17.l('356') = 0.0714285714285714; s1s17.l('357') = 0.0714285714285714; s1s18.l('358') = 0.0714285714285714; s1s18.l('359') = 0.0714285714285714; s1s18.l('360') = 0.0714285714285714; s1s18.l('361') = 0.0714285714285714; s1s18.l('362') = 0.0714285714285714; s1s18.l('363') = 0.0714285714285714; s1s18.l('364') = 0.0714285714285714; s1s19.l('365') = 0.0714285714285714; s1s19.l('366') = 0.0714285714285714; s1s19.l('367') = 0.0714285714285714; s1s19.l('368') = 0.0714285714285714; s1s19.l('369') = 0.0714285714285714; s1s19.l('370') = 0.0714285714285714; s1s19.l('371') = 0.0714285714285714; s1s20.l('372') = 0.0714285714285714; s1s20.l('373') = 0.0714285714285714; s1s20.l('374') = 0.0714285714285714; s1s20.l('375') = 0.0714285714285714; s1s20.l('376') = 0.0714285714285714; s1s20.l('377') = 0.0714285714285714; s1s20.l('378') = 0.0714285714285714; s1s21.l('379') = 0.0714285714285714; s1s21.l('380') = 0.0714285714285714; s1s21.l('381') = 0.0714285714285714; s1s21.l('382') = 0.0714285714285714; s1s21.l('383') = 0.0714285714285714; s1s21.l('384') = 0.0714285714285714; s1s21.l('385') = 0.0714285714285714; s1s25.l('407') = 0.0714285714285714; s1s25.l('408') = 0.0714285714285714; s1s25.l('409') = 0.0714285714285714; s1s25.l('410') = 0.0714285714285714; s1s25.l('411') = 0.0714285714285714; s1s25.l('412') = 0.0714285714285714; s1s25.l('413') = 0.0714285714285714; s1s26.l('414') = 0.0714285714285714; s1s26.l('415') = 0.0714285714285714; s1s26.l('416') = 0.0714285714285714; s1s26.l('417') = 0.0714285714285714; s1s26.l('418') = 0.0714285714285714; s1s26.l('419') = 0.0714285714285714; s1s26.l('420') = 0.0714285714285714; s1s27.l('421') = 0.0714285714285714; s1s27.l('422') = 0.0714285714285714; s1s27.l('423') = 0.0714285714285714; s1s27.l('424') = 0.0714285714285714; s1s27.l('425') = 0.0714285714285714; s1s27.l('426') = 0.0714285714285714; s1s27.l('427') = 0.0714285714285714; s1s28.l('428') = 0.0714285714285714; s1s28.l('429') = 0.0714285714285714; s1s28.l('430') = 0.0714285714285714; s1s28.l('431') = 0.0714285714285714; s1s28.l('432') = 0.0714285714285714; s1s28.l('433') = 0.0714285714285714; s1s28.l('434') = 0.0714285714285714; s1s33.l('463') = 0.0714285714285714; s1s33.l('464') = 0.0714285714285714; s1s33.l('465') = 0.0714285714285714; s1s33.l('466') = 0.0714285714285714; s1s33.l('467') = 0.0714285714285714; s1s33.l('468') = 0.0714285714285714; s1s33.l('469') = 0.0714285714285714; s1s34.l('470') = 0.0714285714285714; s1s34.l('471') = 0.0714285714285714; s1s34.l('472') = 0.0714285714285714; s1s34.l('473') = 0.0714285714285714; s1s34.l('474') = 0.0714285714285714; s1s34.l('475') = 0.0714285714285714; s1s34.l('476') = 0.0714285714285714; s1s35.l('477') = 0.0714285714285714; s1s35.l('478') = 0.0714285714285714; s1s35.l('479') = 0.0714285714285714; s1s35.l('480') = 0.0714285714285714; s1s35.l('481') = 0.0714285714285714; s1s35.l('482') = 0.0714285714285714; s1s35.l('483') = 0.0714285714285714; s1s41.l('519') = 0.0714285714285714; s1s41.l('520') = 0.0714285714285714; s1s41.l('521') = 0.0714285714285714; s1s41.l('522') = 0.0714285714285714; s1s41.l('523') = 0.0714285714285714; s1s41.l('524') = 0.0714285714285714; s1s41.l('525') = 0.0714285714285714; s1s42.l('526') = 0.0714285714285714; s1s42.l('527') = 0.0714285714285714; s1s42.l('528') = 0.0714285714285714; s1s42.l('529') = 0.0714285714285714; s1s42.l('530') = 0.0714285714285714; s1s42.l('531') = 0.0714285714285714; s1s42.l('532') = 0.0714285714285714; s1s49.l('575') = 0.0714285714285714; s1s49.l('576') = 0.0714285714285714; s1s49.l('577') = 0.0714285714285714; s1s49.l('578') = 0.0714285714285714; s1s49.l('579') = 0.0714285714285714; s1s49.l('580') = 0.0714285714285714; s1s49.l('581') = 0.0714285714285714; Model m / all /; m.limrow=0; m.limcol=0; m.tolproj=0.0; $if NOT '%gams.u1%' == '' $include '%gams.u1%' $if not set MINLP $set MINLP MINLP Solve m using %MINLP% minimizing objvar;
Last updated: 2024-08-26 Git hash: 6cc1607f