## ams_version=1.0 Model Main_sssd20_08 { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable b151 { Range: binary; } Variable b152 { Range: binary; } Variable b153 { Range: binary; } Variable b154 { Range: binary; } Variable b155 { Range: binary; } Variable b156 { Range: binary; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } Variable b176 { Range: binary; } Variable b177 { Range: binary; } Variable b178 { Range: binary; } Variable b179 { Range: binary; } Variable b180 { Range: binary; } Variable b181 { Range: binary; } Variable b182 { Range: binary; } Variable b183 { Range: binary; } Variable b184 { Range: binary; } Variable x185 { Range: nonnegative; } Variable x186 { Range: nonnegative; } Variable x187 { Range: nonnegative; } Variable x188 { Range: nonnegative; } Variable x189 { Range: nonnegative; } Variable x190 { Range: nonnegative; } Variable x191 { Range: nonnegative; } Variable x192 { Range: nonnegative; } Variable x193 { Range: nonnegative; } Variable x194 { Range: nonnegative; } Variable x195 { Range: nonnegative; } Variable x196 { Range: nonnegative; } Variable x197 { Range: nonnegative; } Variable x198 { Range: nonnegative; } Variable x199 { Range: nonnegative; } Variable x200 { Range: nonnegative; } Variable x201 { Range: nonnegative; } Variable x202 { Range: nonnegative; } Variable x203 { Range: nonnegative; } Variable x204 { Range: nonnegative; } Variable x205 { Range: nonnegative; } Variable x206 { Range: nonnegative; } Variable x207 { Range: nonnegative; } Variable x208 { Range: nonnegative; } Variable x209 { Range: nonnegative; } Variable x210 { Range: nonnegative; } Variable x211 { Range: nonnegative; } Variable x212 { Range: nonnegative; } Variable x213 { Range: nonnegative; } Variable x214 { Range: nonnegative; } Variable x215 { Range: nonnegative; } Variable x216 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { - 111.366069033018*b1 - 173.736682895127*b2 - 206.584137827711*b3 - 311.192639215759*b4 - 391.096663187392*b5 - 412.724041015689*b6 - 362.90703724183*b7 - 412.238377551605*b8 - 202.33239914492*b9 - 206.873035263351*b10 - 459.424203486646*b11 - 436.382257935297*b12 - 595.212791352102*b13 - 554.589535228908*b14 - 561.749361850176*b15 - 581.529277658138*b16 - 530.881632918085*b17 - 536.948983658504*b18 - 325.467953593857*b19 - 315.525067375426*b20 - 76.225942040435*b21 - 254.905793105451*b22 - 113.004738070171*b23 - 177.189040572114*b24 - 173.894920684095*b25 - 152.600290074966*b26 - 204.409857240935*b27 - 16.5055441265287*b28 - 138.719762707452*b29 - 72.1288414712326*b30 - 120.847015325226*b31 - 99.571165171974*b32 - 151.849080781614*b33 - 145.681002740026*b34 - 319.104683215451*b35 - 286.753801045421*b36 - 393.925160475677*b37 - 359.934057246776*b38 - 372.757367428863*b39 - 380.320704273821*b40 - 209.897358368756*b41 - 176.903014825797*b42 - 484.441224042163*b43 - 386.398700662687*b44 - 569.816540558016*b45 - 500.146929279378*b46 - 536.081866783575*b47 - 538.164119624621*b48 - 472.75417976903*b49 - 394.671861667082*b50 - 661.778650400896*b51 - 311.233594837076*b52 - 537.233382862136*b53 - 352.610164566948*b54 - 508.430479292237*b55 - 433.246268236365*b56 - 240.434688571414*b57 - 247.573379889676*b58 - 140.125745864737*b59 - 129.619586841229*b60 - 95.259779915922*b61 - 157.318586867059*b62 - 70.3512639139942*b63 - 129.990055093272*b64 - 243.357134921591*b65 - 304.003791259259*b66 - 387.22826595551*b67 - 513.078195638243*b68 - 616.876803085642*b69 - 635.234357536375*b70 - 584.514585206566*b71 - 639.355553242285*b72 - 471.729855743646*b73 - 557.923885983252*b74 - 106.468143550206*b75 - 576.327451798806*b76 - 526.167479727853*b77 - 684.640492332848*b78 - 496.847481320222*b79 - 632.720138765642*b80 - 349.132941483343*b81 - 328.586110112758*b82 - 615.607044330971*b83 - 537.140113127724*b84 - 717.322415523131*b85 - 647.481188136546*b86 - 684.12778533852*b87 - 686.401242893627*b88 - 506.816284666641*b89 - 398.035848133399*b90 - 855.431776792172*b91 - 471.606942587939*b92 - 801.214873020304*b93 - 596.722224078614*b94 - 753.768882151975*b95 - 691.333659314473*b96 - 85.3675502274446*b97 - 158.379394593169*b98 - 257.300026361108*b99 - 320.704543355031*b100 - 448.126320657674*b101 - 457.763772256702*b102 - 408.83386135894*b103 - 463.255868286668*b104 - 237.144352702819*b105 - 177.481389098916*b106 - 528.418902427793*b107 - 367.481249017807*b108 - 581.69455257316*b109 - 486.218458446561*b110 - 545.202814571382*b111 - 534.842653535173*b112 - 273.315651326331*b113 - 294.736877404174*b114 - 91.5634612712189*b115 - 207.431742416254*b116 - 131.445214576321*b117 - 232.45283126314*b118 - 119.004267377741*b119 - 195.036716336294*b120 - 382.803613122328*b121 - 467.001607601617*b122 - 186.213458590968*b123 - 547.081668156355*b124 - 541.160249117729*b125 - 656.49566392312*b126 - 512.884098066802*b127 - 621.549425681682*b128 - 181.371452020713*b129 - 175.492124453316*b130 - 162.248252595624*b131 - 55.0280789945633*b132 - 114.798088119326*b133 - 107.382697687723*b134 - 90.3342797608636*b135 - 106.314336443356*b136 - 221.180367269329*b137 - 200.830918650843*b138 - 420.854797821172*b139 - 351.4013073243*b140 - 486.967847106279*b141 - 432.551908850222*b142 - 462.429481904519*b143 - 462.157040602356*b144 - 181.09388190356*b145 - 223.750754907429*b146 - 118.11570891131*b147 - 279.735432351987*b148 - 287.185185564983*b149 - 336.883342353846*b150 - 272.594688961982*b151 - 322.770119748047*b152 - 326.795248361408*b153 - 271.173036007453*b154 - 758.353052369709*b155 - 597.043789091874*b156 - 887.286114762329*b157 - 775.415492640821*b158 - 834.258761011951*b159 - 836.015790081594*b160 - 333.50853775*b161 - 114.488510347914*b162 - 71.1466014342705*b163 - 327.61554475*b164 - 115.456652447649*b165 - 72.6961052063678*b166 - 418.975572*b167 - 144.050104531568*b168 - 89.5861361571157*b169 - 441.6481805*b170 - 147.751509681552*b171 - 90.6409148587658*b172 - 284.85345325*b173 - 109.929987849219*b174 - 72.4317650925971*b175 - 364.98681475*b176 - 131.410153066893*b177 - 83.6314997177532*b178 - 261.83219775*b179 - 103.183186592188*b180 - 68.7017117455899*b181 - 481.55377575*b182 - 144.356933487536*b183 - 83.8297118343163*b184 - 88728.6114762329*x185 - 88728.6114762329*x186 - 88728.6114762329*x187 - 88728.6114762329*x188 - 88728.6114762329*x189 - 88728.6114762329*x190 - 88728.6114762329*x191 - 88728.6114762329*x192 + objvar = 0 } } Constraint e2 { Definition: { 0.818476132*b1 + 0.870157536*b9 + 1.031851452*b17 + 0.557538685*b25 + 0.547431463*b33 + 0.875695399*b41 + 1.084580786*b49 + 0.730328391*b57 + 0.942474488*b65 + 1.428565416*b73 + 0.86023025*b81 + 1.427064072*b89 + 1.077855852*b97 + 0.966432495*b105 + 0.749586417*b113 + 1.20475136*b121 + 0.637168473*b129 + 0.637828387*b137 + 0.578555855*b145 + 1.377981994*b153 - 1.68639324125*x193 - 3.3727864825*x194 - 5.05917972375*x195 = 0 } } Constraint e3 { Definition: { 0.818476132*b2 + 0.870157536*b10 + 1.031851452*b18 + 0.557538685*b26 + 0.547431463*b34 + 0.875695399*b42 + 1.084580786*b50 + 0.730328391*b58 + 0.942474488*b66 + 1.428565416*b74 + 0.86023025*b82 + 1.427064072*b90 + 1.077855852*b98 + 0.966432495*b106 + 0.749586417*b114 + 1.20475136*b122 + 0.637168473*b130 + 0.637828387*b138 + 0.578555855*b146 + 1.377981994*b154 - 1.792318871875*x196 - 3.58463774375*x197 - 5.376956615625*x198 = 0 } } Constraint e4 { Definition: { 0.818476132*b3 + 0.870157536*b11 + 1.031851452*b19 + 0.557538685*b27 + 0.547431463*b35 + 0.875695399*b43 + 1.084580786*b51 + 0.730328391*b59 + 0.942474488*b67 + 1.428565416*b75 + 0.86023025*b83 + 1.427064072*b91 + 1.077855852*b99 + 0.966432495*b107 + 0.749586417*b115 + 1.20475136*b123 + 0.637168473*b131 + 0.637828387*b139 + 0.578555855*b147 + 1.377981994*b155 - 2.128386030625*x199 - 4.25677206125*x200 - 6.385158091875*x201 = 0 } } Constraint e5 { Definition: { 0.818476132*b4 + 0.870157536*b12 + 1.031851452*b20 + 0.557538685*b28 + 0.547431463*b36 + 0.875695399*b44 + 1.084580786*b52 + 0.730328391*b60 + 0.942474488*b68 + 1.428565416*b76 + 0.86023025*b84 + 1.427064072*b92 + 1.077855852*b100 + 0.966432495*b108 + 0.749586417*b116 + 1.20475136*b124 + 0.637168473*b132 + 0.637828387*b140 + 0.578555855*b148 + 1.377981994*b156 - 2.066948260625*x202 - 4.13389652125*x203 - 6.200844781875*x204 = 0 } } Constraint e6 { Definition: { 0.818476132*b5 + 0.870157536*b13 + 1.031851452*b21 + 0.557538685*b29 + 0.547431463*b37 + 0.875695399*b45 + 1.084580786*b53 + 0.730328391*b61 + 0.942474488*b69 + 1.428565416*b77 + 0.86023025*b85 + 1.427064072*b93 + 1.077855852*b101 + 0.966432495*b109 + 0.749586417*b117 + 1.20475136*b125 + 0.637168473*b133 + 0.637828387*b141 + 0.578555855*b149 + 1.377981994*b157 - 2.04641702*x205 - 4.09283404*x206 - 6.13925106*x207 = 0 } } Constraint e7 { Definition: { 0.818476132*b6 + 0.870157536*b14 + 1.031851452*b22 + 0.557538685*b30 + 0.547431463*b38 + 0.875695399*b46 + 1.084580786*b54 + 0.730328391*b62 + 0.942474488*b70 + 1.428565416*b78 + 0.86023025*b86 + 1.427064072*b94 + 1.077855852*b102 + 0.966432495*b110 + 0.749586417*b118 + 1.20475136*b126 + 0.637168473*b134 + 0.637828387*b142 + 0.578555855*b150 + 1.377981994*b158 - 2.129217781875*x208 - 4.25843556375*x209 - 6.387653345625*x210 = 0 } } Constraint e8 { Definition: { 0.818476132*b7 + 0.870157536*b15 + 1.031851452*b23 + 0.557538685*b31 + 0.547431463*b39 + 0.875695399*b47 + 1.084580786*b55 + 0.730328391*b63 + 0.942474488*b71 + 1.428565416*b79 + 0.86023025*b87 + 1.427064072*b95 + 1.077855852*b103 + 0.966432495*b111 + 0.749586417*b119 + 1.20475136*b127 + 0.637168473*b135 + 0.637828387*b143 + 0.578555855*b151 + 1.377981994*b159 - 2.002947450625*x211 - 4.00589490125*x212 - 6.008842351875*x213 = 0 } } Constraint e9 { Definition: { 0.818476132*b8 + 0.870157536*b16 + 1.031851452*b24 + 0.557538685*b32 + 0.547431463*b40 + 0.875695399*b48 + 1.084580786*b56 + 0.730328391*b64 + 0.942474488*b72 + 1.428565416*b80 + 0.86023025*b88 + 1.427064072*b96 + 1.077855852*b104 + 0.966432495*b112 + 0.749586417*b120 + 1.20475136*b128 + 0.637168473*b136 + 0.637828387*b144 + 0.578555855*b152 + 1.377981994*b160 - 1.62146898*x214 - 3.24293796*x215 - 4.86440694*x216 = 0 } } Constraint e10 { Definition: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 = 1; } Constraint e11 { Definition: b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 = 1; } Constraint e12 { Definition: b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 = 1; } Constraint e13 { Definition: b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 = 1; } Constraint e14 { Definition: b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 = 1; } Constraint e15 { Definition: b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 = 1; } Constraint e16 { Definition: b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 = 1; } Constraint e17 { Definition: b57 + b58 + b59 + b60 + b61 + b62 + b63 + b64 = 1; } Constraint e18 { Definition: b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 = 1; } Constraint e19 { Definition: b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 = 1; } Constraint e20 { Definition: b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 = 1; } Constraint e21 { Definition: b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 = 1; } Constraint e22 { Definition: b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 = 1; } Constraint e23 { Definition: b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 = 1; } Constraint e24 { Definition: b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 = 1; } Constraint e25 { Definition: b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 = 1; } Constraint e26 { Definition: b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 = 1; } Constraint e27 { Definition: b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 = 1; } Constraint e28 { Definition: b145 + b146 + b147 + b148 + b149 + b150 + b151 + b152 = 1; } Constraint e29 { Definition: b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 = 1; } Constraint e30 { Definition: b161 + b162 + b163 <= 1; } Constraint e31 { Definition: b164 + b165 + b166 <= 1; } Constraint e32 { Definition: b167 + b168 + b169 <= 1; } Constraint e33 { Definition: b170 + b171 + b172 <= 1; } Constraint e34 { Definition: b173 + b174 + b175 <= 1; } Constraint e35 { Definition: b176 + b177 + b178 <= 1; } Constraint e36 { Definition: b179 + b180 + b181 <= 1; } Constraint e37 { Definition: b182 + b183 + b184 <= 1; } Constraint e38 { Definition: - b161 + x193 <= 0; } Constraint e39 { Definition: - b162 + x194 <= 0; } Constraint e40 { Definition: - b163 + x195 <= 0; } Constraint e41 { Definition: - b164 + x196 <= 0; } Constraint e42 { Definition: - b165 + x197 <= 0; } Constraint e43 { Definition: - b166 + x198 <= 0; } Constraint e44 { Definition: - b167 + x199 <= 0; } Constraint e45 { Definition: - b168 + x200 <= 0; } Constraint e46 { Definition: - b169 + x201 <= 0; } Constraint e47 { Definition: - b170 + x202 <= 0; } Constraint e48 { Definition: - b171 + x203 <= 0; } Constraint e49 { Definition: - b172 + x204 <= 0; } Constraint e50 { Definition: - b173 + x205 <= 0; } Constraint e51 { Definition: - b174 + x206 <= 0; } Constraint e52 { Definition: - b175 + x207 <= 0; } Constraint e53 { Definition: - b176 + x208 <= 0; } Constraint e54 { Definition: - b177 + x209 <= 0; } Constraint e55 { Definition: - b178 + x210 <= 0; } Constraint e56 { Definition: - b179 + x211 <= 0; } Constraint e57 { Definition: - b180 + x212 <= 0; } Constraint e58 { Definition: - b181 + x213 <= 0; } Constraint e59 { Definition: - b182 + x214 <= 0; } Constraint e60 { Definition: - b183 + x215 <= 0; } Constraint e61 { Definition: - b184 + x216 <= 0; } Constraint e62 { Definition: -x185/(1 + x185) + x193 <= 0; } Constraint e63 { Definition: -x185/(1 + x185) + x194 <= 0; } Constraint e64 { Definition: -x185/(1 + x185) + x195 <= 0; } Constraint e65 { Definition: -x186/(1 + x186) + x196 <= 0; } Constraint e66 { Definition: -x186/(1 + x186) + x197 <= 0; } Constraint e67 { Definition: -x186/(1 + x186) + x198 <= 0; } Constraint e68 { Definition: -x187/(1 + x187) + x199 <= 0; } Constraint e69 { Definition: -x187/(1 + x187) + x200 <= 0; } Constraint e70 { Definition: -x187/(1 + x187) + x201 <= 0; } Constraint e71 { Definition: -x188/(1 + x188) + x202 <= 0; } Constraint e72 { Definition: -x188/(1 + x188) + x203 <= 0; } Constraint e73 { Definition: -x188/(1 + x188) + x204 <= 0; } Constraint e74 { Definition: -x189/(1 + x189) + x205 <= 0; } Constraint e75 { Definition: -x189/(1 + x189) + x206 <= 0; } Constraint e76 { Definition: -x189/(1 + x189) + x207 <= 0; } Constraint e77 { Definition: -x190/(1 + x190) + x208 <= 0; } Constraint e78 { Definition: -x190/(1 + x190) + x209 <= 0; } Constraint e79 { Definition: -x190/(1 + x190) + x210 <= 0; } Constraint e80 { Definition: -x191/(1 + x191) + x211 <= 0; } Constraint e81 { Definition: -x191/(1 + x191) + x212 <= 0; } Constraint e82 { Definition: -x191/(1 + x191) + x213 <= 0; } Constraint e83 { Definition: -x192/(1 + x192) + x214 <= 0; } Constraint e84 { Definition: -x192/(1 + x192) + x215 <= 0; } Constraint e85 { Definition: -x192/(1 + x192) + x216 <= 0; } Procedure MainInitialization; MathematicalProgram sssd20_08 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve sssd20_08; } } Procedure MainTermination { Body: { return 1; } } }