## ams_version=1.0 Model Main_sssd18_08persp { 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 x169 { Range: nonnegative; } Variable x170 { Range: nonnegative; } Variable x171 { Range: nonnegative; } Variable x172 { Range: nonnegative; } Variable x173 { Range: nonnegative; } Variable x174 { Range: nonnegative; } Variable x175 { Range: nonnegative; } Variable x176 { Range: nonnegative; } Variable x177 { Range: nonnegative; } Variable x178 { Range: nonnegative; } Variable x179 { Range: nonnegative; } Variable x180 { Range: nonnegative; } Variable x181 { Range: nonnegative; } Variable x182 { Range: nonnegative; } Variable x183 { Range: nonnegative; } Variable x184 { Range: nonnegative; } 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 objvar; Constraint e1 { Definition: { - 552.281145549261*b1 - 426.236209278853*b2 - 411.027424117795*b3 - 466.68869062928*b4 - 288.317250921223*b5 - 590.182468227663*b6 - 381.017859269849*b7 - 572.544284039417*b8 - 433.107424736324*b9 - 429.289469802582*b10 - 722.101048978265*b11 - 30.0952649131444*b12 - 408.663734727663*b13 - 327.144961122973*b14 - 408.872583504261*b15 - 371.229606779419*b16 - 743.231830330272*b17 - 424.123388295749*b18 - 1012.59483684509*b19 - 325.068016443889*b20 - 489.829200609382*b21 - 616.392367634356*b22 - 717.376121177217*b23 - 671.497074168691*b24 - 333.243033401626*b25 - 469.212452608196*b26 - 55.3101521264496*b27 - 439.078549562248*b28 - 397.954628500691*b29 - 404.754476708584*b30 - 260.583114103962*b31 - 374.661728741154*b32 - 705.865114334154*b33 - 409.260796409624*b34 - 941.121512213036*b35 - 352.661317024937*b36 - 478.410844041197*b37 - 592.864375784787*b38 - 688.804587834202*b39 - 642.137051102147*b40 - 675.37494220409*b41 - 537.327976828555*b42 - 326.270384675669*b43 - 667.587791945904*b44 - 430.879246065957*b45 - 741.317344127774*b46 - 525.377882163679*b47 - 713.734501618144*b48 - 449.47820772841*b49 - 590.656036300788*b50 - 825.357606588055*b51 - 234.546168311308*b52 - 591.462084387522*b53 - 311.109367719916*b54 - 500.934150264854*b55 - 370.791485521561*b56 - 344.058371833736*b57 - 204.379731785556*b58 - 212.615335031657*b59 - 304.078143674645*b60 - 160.084737093308*b61 - 363.67946743236*b62 - 273.136822990176*b63 - 355.563806296337*b64 - 194.046191003143*b65 - 99.0010715125356*b66 - 250.598725578763*b67 - 67.6669605181366*b68 - 88.2421148072165*b69 - 169.700774043074*b70 - 163.618413602519*b71 - 179.622443088529*b72 - 503.06832772418*b73 - 179.201297229611*b74 - 414.285319927326*b75 - 359.134843842496*b76 - 90.9738416529607*b77 - 505.334430249411*b78 - 394.341605011239*b79 - 504.182673743417*b80 - 232.742365145843*b81 - 707.696470886055*b82 - 710.448776297179*b83 - 250.562514769084*b84 - 650.238440560302*b85 - 77.1170572675807*b86 - 312.633669961727*b87 - 142.269450675157*b88 - 153.022776132362*b89 - 551.147919857098*b90 - 287.831002149329*b91 - 336.782937608947*b92 - 463.701548212201*b93 - 241.611196591671*b94 - 24.1639213931607*b95 - 200.643830319498*b96 - 376.097990316451*b97 - 154.600594109087*b98 - 278.64599329384*b99 - 295.429713043008*b100 - 113.945955775425*b101 - 383.962346931602*b102 - 302.65105541664*b103 - 380.813914126253*b104 - 773.198288152452*b105 - 265.047476834782*b106 - 632.465317742327*b107 - 586.791111855992*b108 - 260.082638813274*b109 - 769.354688759475*b110 - 657.006566335408*b111 - 771.861427768791*b112 - 540.885172741987*b113 - 560.594490776333*b114 - 890.488880299848*b115 - 259.942482707707*b116 - 580.756336311101*b117 - 404.516739709834*b118 - 574.739678540771*b119 - 463.535898137432*b120 - 245.785748722981*b121 - 872.250506358296*b122 - 704.377804059606*b123 - 481.541576364034*b124 - 814.563195802202*b125 - 217.645632620131*b126 - 397.523527704031*b127 - 215.278878363054*b128 - 660.689322162664*b129 - 766.389526160548*b130 - 160.247965176608*b131 - 779.837433303884*b132 - 633.958305188238*b133 - 773.22857535608*b134 - 502.341772532799*b135 - 725.863386674913*b136 - 443.26403170523*b137 - 135.166265997905*b138 - 513.770662349363*b139 - 239.391320299212*b140 - 194.33615146318*b141 - 395.043386622235*b142 - 407.638910845368*b143 - 416.170540899117*b144 - 268.22715225*b145 - 101.841745437534*b146 - 66.5583916008528*b147 - 327.416664*b148 - 113.0930596242*b149 - 70.496630802465*b150 - 318.91031775*b151 - 106.016440623009*b152 - 64.8321038352068*b153 - 354.20971275*b154 - 116.787224755912*b155 - 71.1258209679967*b156 - 409.67052*b157 - 127.189145909207*b158 - 75.1660702970269*b159 - 440.1576845*b160 - 133.588180245023*b161 - 78.0570051826685*b162 - 422.36333725*b163 - 136.77241788249*b164 - 82.5503807534421*b165 - 437.47924675*b166 - 131.974510024443*b167 - 76.8812256404764*b168 - 101259.483684509*x169 - 101259.483684509*x170 - 101259.483684509*x171 - 101259.483684509*x172 - 101259.483684509*x173 - 101259.483684509*x174 - 101259.483684509*x175 - 101259.483684509*x176 + objvar = 0 } } Constraint e2 { Definition: { 1.465020132*b1 + 1.359734944*b9 + 1.421554108*b17 + 0.749119501*b25 + 1.211666119*b33 + 1.222030951*b41 + 1.224720338*b49 + 0.583392775*b57 + 0.507387528*b65 + 1.007181208*b73 + 1.448218778*b81 + 1.128698856*b89 + 0.64088422*b97 + 1.073533103*b105 + 1.242005841*b113 + 1.242671696*b121 + 1.400550697*b129 + 0.704652931*b137 - 1.8351027624375*x177 - 3.670205524875*x178 - 5.5053082873125*x179 = 0 } } Constraint e3 { Definition: { 1.465020132*b2 + 1.359734944*b10 + 1.421554108*b18 + 0.749119501*b26 + 1.211666119*b34 + 1.222030951*b42 + 1.224720338*b50 + 0.583392775*b58 + 0.507387528*b66 + 1.007181208*b74 + 1.448218778*b82 + 1.128698856*b90 + 0.64088422*b98 + 1.073533103*b106 + 1.242005841*b114 + 1.242671696*b122 + 1.400550697*b130 + 0.704652931*b138 - 1.686527528625*x180 - 3.37305505725*x181 - 5.059582585875*x182 = 0 } } Constraint e4 { Definition: { 1.465020132*b3 + 1.359734944*b11 + 1.421554108*b19 + 0.749119501*b27 + 1.211666119*b35 + 1.222030951*b43 + 1.224720338*b51 + 0.583392775*b59 + 0.507387528*b67 + 1.007181208*b75 + 1.448218778*b83 + 1.128698856*b91 + 0.64088422*b99 + 1.073533103*b107 + 1.242005841*b115 + 1.242671696*b123 + 1.400550697*b131 + 0.704652931*b139 - 1.464431797125*x183 - 2.92886359425*x184 - 4.393295391375*x185 = 0 } } Constraint e5 { Definition: { 1.465020132*b4 + 1.359734944*b12 + 1.421554108*b20 + 0.749119501*b28 + 1.211666119*b36 + 1.222030951*b44 + 1.224720338*b52 + 0.583392775*b60 + 0.507387528*b68 + 1.007181208*b76 + 1.448218778*b84 + 1.128698856*b92 + 0.64088422*b100 + 1.073533103*b108 + 1.242005841*b116 + 1.242671696*b124 + 1.400550697*b132 + 0.704652931*b140 - 1.5869074876875*x186 - 3.173814975375*x187 - 4.7607224630625*x188 = 0 } } Constraint e6 { Definition: { 1.465020132*b5 + 1.359734944*b13 + 1.421554108*b21 + 0.749119501*b29 + 1.211666119*b37 + 1.222030951*b45 + 1.224720338*b53 + 0.583392775*b61 + 0.507387528*b69 + 1.007181208*b77 + 1.448218778*b85 + 1.128698856*b93 + 0.64088422*b101 + 1.073533103*b109 + 1.242005841*b117 + 1.242671696*b125 + 1.400550697*b133 + 0.704652931*b141 - 1.5323799785625*x189 - 3.064759957125*x190 - 4.5971399356875*x191 = 0 } } Constraint e7 { Definition: { 1.465020132*b6 + 1.359734944*b14 + 1.421554108*b22 + 0.749119501*b30 + 1.211666119*b38 + 1.222030951*b46 + 1.224720338*b54 + 0.583392775*b62 + 0.507387528*b70 + 1.007181208*b78 + 1.448218778*b86 + 1.128698856*b94 + 0.64088422*b102 + 1.073533103*b110 + 1.242005841*b118 + 1.242671696*b126 + 1.400550697*b134 + 0.704652931*b142 - 1.5380589155625*x192 - 3.076117831125*x193 - 4.6141767466875*x194 = 0 } } Constraint e8 { Definition: { 1.465020132*b7 + 1.359734944*b15 + 1.421554108*b23 + 0.749119501*b31 + 1.211666119*b39 + 1.222030951*b47 + 1.224720338*b55 + 0.583392775*b63 + 0.507387528*b71 + 1.007181208*b79 + 1.448218778*b87 + 1.128698856*b95 + 0.64088422*b103 + 1.073533103*b111 + 1.242005841*b119 + 1.242671696*b127 + 1.400550697*b135 + 0.704652931*b143 - 1.792707516*x195 - 3.585415032*x196 - 5.378122548*x197 = 0 } } Constraint e9 { Definition: { 1.465020132*b8 + 1.359734944*b16 + 1.421554108*b24 + 0.749119501*b32 + 1.211666119*b40 + 1.222030951*b48 + 1.224720338*b56 + 0.583392775*b64 + 0.507387528*b72 + 1.007181208*b80 + 1.448218778*b88 + 1.128698856*b96 + 0.64088422*b104 + 1.073533103*b112 + 1.242005841*b120 + 1.242671696*b128 + 1.400550697*b136 + 0.704652931*b144 - 1.5012071746875*x198 - 3.002414349375*x199 - 4.5036215240625*x200 = 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 <= 1; } Constraint e29 { Definition: b148 + b149 + b150 <= 1; } Constraint e30 { Definition: b151 + b152 + b153 <= 1; } Constraint e31 { Definition: b154 + b155 + b156 <= 1; } Constraint e32 { Definition: b157 + b158 + b159 <= 1; } Constraint e33 { Definition: b160 + b161 + b162 <= 1; } Constraint e34 { Definition: b163 + b164 + b165 <= 1; } Constraint e35 { Definition: b166 + b167 + b168 <= 1; } Constraint e36 { Definition: - b145 + x177 <= 0; } Constraint e37 { Definition: - b146 + x178 <= 0; } Constraint e38 { Definition: - b147 + x179 <= 0; } Constraint e39 { Definition: - b148 + x180 <= 0; } Constraint e40 { Definition: - b149 + x181 <= 0; } Constraint e41 { Definition: - b150 + x182 <= 0; } Constraint e42 { Definition: - b151 + x183 <= 0; } Constraint e43 { Definition: - b152 + x184 <= 0; } Constraint e44 { Definition: - b153 + x185 <= 0; } Constraint e45 { Definition: - b154 + x186 <= 0; } Constraint e46 { Definition: - b155 + x187 <= 0; } Constraint e47 { Definition: - b156 + x188 <= 0; } Constraint e48 { Definition: - b157 + x189 <= 0; } Constraint e49 { Definition: - b158 + x190 <= 0; } Constraint e50 { Definition: - b159 + x191 <= 0; } Constraint e51 { Definition: - b160 + x192 <= 0; } Constraint e52 { Definition: - b161 + x193 <= 0; } Constraint e53 { Definition: - b162 + x194 <= 0; } Constraint e54 { Definition: - b163 + x195 <= 0; } Constraint e55 { Definition: - b164 + x196 <= 0; } Constraint e56 { Definition: - b165 + x197 <= 0; } Constraint e57 { Definition: - b166 + x198 <= 0; } Constraint e58 { Definition: - b167 + x199 <= 0; } Constraint e59 { Definition: - b168 + x200 <= 0; } Constraint e60 { Definition: x177*b145 + x177*x169 - x169*b145 <= 0; } Constraint e61 { Definition: x178*b146 + x178*x169 - x169*b146 <= 0; } Constraint e62 { Definition: x179*b147 + x179*x169 - x169*b147 <= 0; } Constraint e63 { Definition: x180*b148 + x180*x170 - x170*b148 <= 0; } Constraint e64 { Definition: x181*b149 + x181*x170 - x170*b149 <= 0; } Constraint e65 { Definition: x182*b150 + x182*x170 - x170*b150 <= 0; } Constraint e66 { Definition: x183*b151 + x183*x171 - x171*b151 <= 0; } Constraint e67 { Definition: x184*b152 + x184*x171 - x171*b152 <= 0; } Constraint e68 { Definition: x185*b153 + x185*x171 - x171*b153 <= 0; } Constraint e69 { Definition: x186*b154 + x186*x172 - x172*b154 <= 0; } Constraint e70 { Definition: x187*b155 + x187*x172 - x172*b155 <= 0; } Constraint e71 { Definition: x188*b156 + x188*x172 - x172*b156 <= 0; } Constraint e72 { Definition: x189*b157 + x189*x173 - x173*b157 <= 0; } Constraint e73 { Definition: x190*b158 + x190*x173 - x173*b158 <= 0; } Constraint e74 { Definition: x191*b159 + x191*x173 - x173*b159 <= 0; } Constraint e75 { Definition: x192*b160 + x192*x174 - x174*b160 <= 0; } Constraint e76 { Definition: x193*b161 + x193*x174 - x174*b161 <= 0; } Constraint e77 { Definition: x194*b162 + x194*x174 - x174*b162 <= 0; } Constraint e78 { Definition: x195*b163 + x195*x175 - x175*b163 <= 0; } Constraint e79 { Definition: x196*b164 + x196*x175 - x175*b164 <= 0; } Constraint e80 { Definition: x197*b165 + x197*x175 - x175*b165 <= 0; } Constraint e81 { Definition: x198*b166 + x198*x176 - x176*b166 <= 0; } Constraint e82 { Definition: x199*b167 + x199*x176 - x176*b167 <= 0; } Constraint e83 { Definition: x200*b168 + x200*x176 - x176*b168 <= 0; } Procedure MainInitialization { Body: { b1.l := 0.125; b2.l := 0.125; b3.l := 0.125; b4.l := 0.125; b5.l := 0.125; b6.l := 0.125; b7.l := 0.125; b8.l := 0.125; b9.l := 0.125; b10.l := 0.125; b11.l := 0.125; b12.l := 0.125; b13.l := 0.125; b14.l := 0.125; b15.l := 0.125; b16.l := 0.125; b17.l := 0.125; b18.l := 0.125; b19.l := 0.125; b20.l := 0.125; b21.l := 0.125; b22.l := 0.125; b23.l := 0.125; b24.l := 0.125; b25.l := 0.125; b26.l := 0.125; b27.l := 0.125; b28.l := 0.125; b29.l := 0.125; b30.l := 0.125; b31.l := 0.125; b32.l := 0.125; b33.l := 0.125; b34.l := 0.125; b35.l := 0.125; b36.l := 0.125; b37.l := 0.125; b38.l := 0.125; b39.l := 0.125; b40.l := 0.125; b41.l := 0.125; b42.l := 0.125; b43.l := 0.125; b44.l := 0.125; b45.l := 0.125; b46.l := 0.125; b47.l := 0.125; b48.l := 0.125; b49.l := 0.125; b50.l := 0.125; b51.l := 0.125; b52.l := 0.125; b53.l := 0.125; b54.l := 0.125; b55.l := 0.125; b56.l := 0.125; b57.l := 0.125; b58.l := 0.125; b59.l := 0.125; b60.l := 0.125; b61.l := 0.125; b62.l := 0.125; b63.l := 0.125; b64.l := 0.125; b65.l := 0.125; b66.l := 0.125; b67.l := 0.125; b68.l := 0.125; b69.l := 0.125; b70.l := 0.125; b71.l := 0.125; b72.l := 0.125; b73.l := 0.125; b74.l := 0.125; b75.l := 0.125; b76.l := 0.125; b77.l := 0.125; b78.l := 0.125; b79.l := 0.125; b80.l := 0.125; b81.l := 0.125; b82.l := 0.125; b83.l := 0.125; b84.l := 0.125; b85.l := 0.125; b86.l := 0.125; b87.l := 0.125; b88.l := 0.125; b89.l := 0.125; b90.l := 0.125; b91.l := 0.125; b92.l := 0.125; b93.l := 0.125; b94.l := 0.125; b95.l := 0.125; b96.l := 0.125; b97.l := 0.125; b98.l := 0.125; b99.l := 0.125; b100.l := 0.125; b101.l := 0.125; b102.l := 0.125; b103.l := 0.125; b104.l := 0.125; b105.l := 0.125; b106.l := 0.125; b107.l := 0.125; b108.l := 0.125; b109.l := 0.125; b110.l := 0.125; b111.l := 0.125; b112.l := 0.125; b113.l := 0.125; b114.l := 0.125; b115.l := 0.125; b116.l := 0.125; b117.l := 0.125; b118.l := 0.125; b119.l := 0.125; b120.l := 0.125; b121.l := 0.125; b122.l := 0.125; b123.l := 0.125; b124.l := 0.125; b125.l := 0.125; b126.l := 0.125; b127.l := 0.125; b128.l := 0.125; b129.l := 0.125; b130.l := 0.125; b131.l := 0.125; b132.l := 0.125; b133.l := 0.125; b134.l := 0.125; b135.l := 0.125; b136.l := 0.125; b137.l := 0.125; b138.l := 0.125; b139.l := 0.125; b140.l := 0.125; b141.l := 0.125; b142.l := 0.125; b143.l := 0.125; b144.l := 0.125; b145.l := 0.333333333333333; b146.l := 0.333333333333333; b147.l := 0.333333333333333; b148.l := 0.333333333333333; b149.l := 0.333333333333333; b150.l := 0.333333333333333; b151.l := 0.333333333333333; b152.l := 0.333333333333333; b153.l := 0.333333333333333; b154.l := 0.333333333333333; b155.l := 0.333333333333333; b156.l := 0.333333333333333; b157.l := 0.333333333333333; b158.l := 0.333333333333333; b159.l := 0.333333333333333; b160.l := 0.333333333333333; b161.l := 0.333333333333333; b162.l := 0.333333333333333; b163.l := 0.333333333333333; b164.l := 0.333333333333333; b165.l := 0.333333333333333; b166.l := 0.333333333333333; b167.l := 0.333333333333333; b168.l := 0.333333333333333; x169.l := 2.0180686234485; x170.l := 2.67064491671916; x171.l := 5.16946236688447; x172.l := 3.40999341787307; x173.l := 4.01899671228145; x174.l := 3.94560764148528; x175.l := 2.16932380733828; x176.l := 4.47599655771955; x177.l := 0.222887424070852; x178.l := 0.222887424070852; x179.l := 0.222887424070852; x180.l := 0.242522769823075; x181.l := 0.242522769823075; x182.l := 0.242522769823075; x183.l := 0.279303773947; x184.l := 0.279303773947; x185.l := 0.279303773947; x186.l := 0.257747430646408; x187.l := 0.257747430646408; x188.l := 0.257747430646408; x189.l := 0.266918997472609; x190.l := 0.266918997472609; x191.l := 0.266918997472609; x192.l := 0.2659334590414; x193.l := 0.2659334590414; x194.l := 0.2659334590414; x195.l := 0.228158427392347; x196.l := 0.228158427392347; x197.l := 0.228158427392347; x198.l := 0.272461612575322; x199.l := 0.272461612575322; x200.l := 0.272461612575322; } } MathematicalProgram sssd18_08persp { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve sssd18_08persp; } } Procedure MainTermination { Body: { return 1; } } }