## ams_version=1.0 Model Main_syn10m03m { Variable objvar; Variable x2 { Range: nonnegative; } Variable x3 { Range: nonnegative; } Variable x4 { Range: nonnegative; } Variable x5 { Range: nonnegative; } Variable x6 { Range: nonnegative; } Variable x7 { Range: nonnegative; } Variable x8 { Range: nonnegative; } Variable x9 { Range: nonnegative; } Variable x10 { Range: nonnegative; } Variable x11 { Range: nonnegative; } Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable x14 { Range: nonnegative; } Variable x15 { Range: nonnegative; } Variable x16 { Range: nonnegative; } Variable x17 { Range: nonnegative; } Variable x18 { Range: nonnegative; } Variable x19 { Range: nonnegative; } Variable x20 { Range: nonnegative; } Variable x21 { Range: nonnegative; } Variable x22 { Range: nonnegative; } Variable x23 { Range: nonnegative; } Variable x24 { Range: nonnegative; } Variable x25 { Range: nonnegative; } Variable x26 { Range: nonnegative; } Variable x27 { Range: nonnegative; } Variable x28 { Range: nonnegative; } Variable x29 { Range: nonnegative; } Variable x30 { Range: nonnegative; } Variable x31 { Range: nonnegative; } Variable x32 { Range: nonnegative; } Variable x33 { Range: nonnegative; } Variable x34 { Range: nonnegative; } Variable x35 { Range: nonnegative; } Variable x36 { Range: nonnegative; } Variable x37 { Range: nonnegative; } Variable x38 { Range: nonnegative; } Variable x39 { Range: nonnegative; } Variable x40 { Range: nonnegative; } Variable x41 { Range: nonnegative; } Variable x42 { Range: nonnegative; } Variable x43 { Range: nonnegative; } Variable x44 { Range: nonnegative; } Variable x45 { Range: nonnegative; } Variable x46 { Range: nonnegative; } Variable x47 { Range: nonnegative; } Variable x48 { Range: nonnegative; } Variable x49 { Range: nonnegative; } Variable x50 { Range: nonnegative; } Variable x51 { Range: nonnegative; } Variable x52 { Range: nonnegative; } Variable x53 { Range: nonnegative; } Variable x54 { Range: nonnegative; } Variable x55 { Range: nonnegative; } Variable x56 { Range: nonnegative; } Variable x57 { Range: nonnegative; } Variable x58 { Range: nonnegative; } Variable x59 { Range: nonnegative; } Variable x60 { Range: nonnegative; } Variable x61 { Range: nonnegative; } Variable x62 { Range: nonnegative; } Variable x63 { Range: nonnegative; } Variable x64 { Range: nonnegative; } Variable x65 { Range: nonnegative; } Variable x66 { Range: nonnegative; } Variable x67 { Range: nonnegative; } Variable x68 { Range: nonnegative; } Variable x69 { Range: nonnegative; } Variable x70 { Range: nonnegative; } Variable x71 { Range: nonnegative; } Variable x72 { Range: nonnegative; } Variable x73 { Range: nonnegative; } Variable x74 { Range: nonnegative; } Variable x75 { Range: nonnegative; } Variable x76 { Range: nonnegative; } 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 x137; Variable x138; Variable x139; Variable x140; Variable x141; Variable x142; Variable x143; Variable x144; Variable x145; Variable x146; Variable x147; Variable x148; Variable x149; Variable x150; Variable x151; Variable x152; Variable x153; Variable x154; Variable x155; Variable x156; Variable x157; Variable x158; Variable x159; Variable x160; Variable x161; Variable x162; Variable x163; Variable x164; Variable x165; Variable x166; Constraint e1 { Definition: { objvar + x2 + x3 + x4 - 5*x20 - 10*x21 - 5*x22 + 2*x35 + x36 + 2*x37 - 80*x59 - 90*x60 - 120*x61 - 285*x62 - 390*x63 - 350*x64 - 290*x65 - 405*x66 - 190*x67 - 280*x68 - 400*x69 - 430*x70 - 290*x71 - 300*x72 - 240*x73 - 350*x74 - 250*x75 - 300*x76 + 5*b107 + 4*b108 + 6*b109 + 8*b110 + 7*b111 + 6*b112 + 6*b113 + 9*b114 + 4*b115 + 10*b116 + 9*b117 + 5*b118 + 6*b119 + 10*b120 + 6*b121 + 7*b122 + 7*b123 + 4*b124 + 4*b125 + 3*b126 + 2*b127 + 5*b128 + 6*b129 + 7*b130 + 2*b131 + 5*b132 + 2*b133 + 4*b134 + 7*b135 + 4*b136 = 0 } } Constraint e2 { Definition: x2 - x5 - x8 = 0; } Constraint e3 { Definition: x3 - x6 - x9 = 0; } Constraint e4 { Definition: x4 - x7 - x10 = 0; } Constraint e5 { Definition: - x11 - x14 + x17 = 0; } Constraint e6 { Definition: - x12 - x15 + x18 = 0; } Constraint e7 { Definition: - x13 - x16 + x19 = 0; } Constraint e8 { Definition: x17 - x20 - x23 = 0; } Constraint e9 { Definition: x18 - x21 - x24 = 0; } Constraint e10 { Definition: x19 - x22 - x25 = 0; } Constraint e11 { Definition: x23 - x26 - x29 - x32 = 0; } Constraint e12 { Definition: x24 - x27 - x30 - x33 = 0; } Constraint e13 { Definition: x25 - x28 - x31 - x34 = 0; } Constraint e14 { Definition: x38 - x47 - x50 = 0; } Constraint e15 { Definition: x39 - x48 - x51 = 0; } Constraint e16 { Definition: x40 - x49 - x52 = 0; } Constraint e17 { Definition: x44 - x53 - x56 - x59 = 0; } Constraint e18 { Definition: x45 - x54 - x57 - x60 = 0; } Constraint e19 { Definition: x46 - x55 - x58 - x61 = 0; } Constraint e20 { Definition: -log(1 + x5) + x11 + b77 <= 1; } Constraint e21 { Definition: -log(1 + x6) + x12 + b78 <= 1; } Constraint e22 { Definition: -log(1 + x7) + x13 + b79 <= 1; } Constraint e23 { Definition: x5 - 40*b77 <= 0; } Constraint e24 { Definition: x6 - 40*b78 <= 0; } Constraint e25 { Definition: x7 - 40*b79 <= 0; } Constraint e26 { Definition: x11 - 3.71357206670431*b77 <= 0; } Constraint e27 { Definition: x12 - 3.71357206670431*b78 <= 0; } Constraint e28 { Definition: x13 - 3.71357206670431*b79 <= 0; } Constraint e29 { Definition: -1.2*log(1 + x8) + x14 + b80 <= 1; } Constraint e30 { Definition: -1.2*log(1 + x9) + x15 + b81 <= 1; } Constraint e31 { Definition: -1.2*log(1 + x10) + x16 + b82 <= 1; } Constraint e32 { Definition: x8 - 40*b80 <= 0; } Constraint e33 { Definition: x9 - 40*b81 <= 0; } Constraint e34 { Definition: x10 - 40*b82 <= 0; } Constraint e35 { Definition: x14 - 4.45628648004517*b80 <= 0; } Constraint e36 { Definition: x15 - 4.45628648004517*b81 <= 0; } Constraint e37 { Definition: x16 - 4.45628648004517*b82 <= 0; } Constraint e38 { Definition: - 0.75*x26 + x38 + b83 <= 1; } Constraint e39 { Definition: - 0.75*x27 + x39 + b84 <= 1; } Constraint e40 { Definition: - 0.75*x28 + x40 + b85 <= 1; } Constraint e41 { Definition: - 0.75*x26 + x38 - b83 >= -1; } Constraint e42 { Definition: - 0.75*x27 + x39 - b84 >= -1; } Constraint e43 { Definition: - 0.75*x28 + x40 - b85 >= -1; } Constraint e44 { Definition: x26 - 4.45628648004517*b83 <= 0; } Constraint e45 { Definition: x27 - 4.45628648004517*b84 <= 0; } Constraint e46 { Definition: x28 - 4.45628648004517*b85 <= 0; } Constraint e47 { Definition: x38 - 3.34221486003388*b83 <= 0; } Constraint e48 { Definition: x39 - 3.34221486003388*b84 <= 0; } Constraint e49 { Definition: x40 - 3.34221486003388*b85 <= 0; } Constraint e50 { Definition: -1.5*log(1 + x29) + x41 + b86 <= 1; } Constraint e51 { Definition: -1.5*log(1 + x30) + x42 + b87 <= 1; } Constraint e52 { Definition: -1.5*log(1 + x31) + x43 + b88 <= 1; } Constraint e53 { Definition: x29 - 4.45628648004517*b86 <= 0; } Constraint e54 { Definition: x30 - 4.45628648004517*b87 <= 0; } Constraint e55 { Definition: x31 - 4.45628648004517*b88 <= 0; } Constraint e56 { Definition: x41 - 2.54515263975353*b86 <= 0; } Constraint e57 { Definition: x42 - 2.54515263975353*b87 <= 0; } Constraint e58 { Definition: x43 - 2.54515263975353*b88 <= 0; } Constraint e59 { Definition: - x32 + x44 + b89 <= 1; } Constraint e60 { Definition: - x33 + x45 + b90 <= 1; } Constraint e61 { Definition: - x34 + x46 + b91 <= 1; } Constraint e62 { Definition: - x32 + x44 - b89 >= -1; } Constraint e63 { Definition: - x33 + x45 - b90 >= -1; } Constraint e64 { Definition: - x34 + x46 - b91 >= -1; } Constraint e65 { Definition: - 0.5*x35 + x44 + b89 <= 1; } Constraint e66 { Definition: - 0.5*x36 + x45 + b90 <= 1; } Constraint e67 { Definition: - 0.5*x37 + x46 + b91 <= 1; } Constraint e68 { Definition: - 0.5*x35 + x44 - b89 >= -1; } Constraint e69 { Definition: - 0.5*x36 + x45 - b90 >= -1; } Constraint e70 { Definition: - 0.5*x37 + x46 - b91 >= -1; } Constraint e71 { Definition: x32 - 4.45628648004517*b89 <= 0; } Constraint e72 { Definition: x33 - 4.45628648004517*b90 <= 0; } Constraint e73 { Definition: x34 - 4.45628648004517*b91 <= 0; } Constraint e74 { Definition: x35 - 30*b89 <= 0; } Constraint e75 { Definition: x36 - 30*b90 <= 0; } Constraint e76 { Definition: x37 - 30*b91 <= 0; } Constraint e77 { Definition: x44 - 15*b89 <= 0; } Constraint e78 { Definition: x45 - 15*b90 <= 0; } Constraint e79 { Definition: x46 - 15*b91 <= 0; } Constraint e80 { Definition: -1.25*log(1 + x47) + x62 + b92 <= 1; } Constraint e81 { Definition: -1.25*log(1 + x48) + x63 + b93 <= 1; } Constraint e82 { Definition: -1.25*log(1 + x49) + x64 + b94 <= 1; } Constraint e83 { Definition: x47 - 3.34221486003388*b92 <= 0; } Constraint e84 { Definition: x48 - 3.34221486003388*b93 <= 0; } Constraint e85 { Definition: x49 - 3.34221486003388*b94 <= 0; } Constraint e86 { Definition: x62 - 1.83548069293539*b92 <= 0; } Constraint e87 { Definition: x63 - 1.83548069293539*b93 <= 0; } Constraint e88 { Definition: x64 - 1.83548069293539*b94 <= 0; } Constraint e89 { Definition: -0.9*log(1 + x50) + x65 + b95 <= 1; } Constraint e90 { Definition: -0.9*log(1 + x51) + x66 + b96 <= 1; } Constraint e91 { Definition: -0.9*log(1 + x52) + x67 + b97 <= 1; } Constraint e92 { Definition: x50 - 3.34221486003388*b95 <= 0; } Constraint e93 { Definition: x51 - 3.34221486003388*b96 <= 0; } Constraint e94 { Definition: x52 - 3.34221486003388*b97 <= 0; } Constraint e95 { Definition: x65 - 1.32154609891348*b95 <= 0; } Constraint e96 { Definition: x66 - 1.32154609891348*b96 <= 0; } Constraint e97 { Definition: x67 - 1.32154609891348*b97 <= 0; } Constraint e98 { Definition: -log(1 + x41) + x68 + b98 <= 1; } Constraint e99 { Definition: -log(1 + x42) + x69 + b99 <= 1; } Constraint e100 { Definition: -log(1 + x43) + x70 + b100 <= 1; } Constraint e101 { Definition: x41 - 2.54515263975353*b98 <= 0; } Constraint e102 { Definition: x42 - 2.54515263975353*b99 <= 0; } Constraint e103 { Definition: x43 - 2.54515263975353*b100 <= 0; } Constraint e104 { Definition: x68 - 1.26558121681553*b98 <= 0; } Constraint e105 { Definition: x69 - 1.26558121681553*b99 <= 0; } Constraint e106 { Definition: x70 - 1.26558121681553*b100 <= 0; } Constraint e107 { Definition: - 0.9*x53 + x71 + b101 <= 1; } Constraint e108 { Definition: - 0.9*x54 + x72 + b102 <= 1; } Constraint e109 { Definition: - 0.9*x55 + x73 + b103 <= 1; } Constraint e110 { Definition: - 0.9*x53 + x71 - b101 >= -1; } Constraint e111 { Definition: - 0.9*x54 + x72 - b102 >= -1; } Constraint e112 { Definition: - 0.9*x55 + x73 - b103 >= -1; } Constraint e113 { Definition: x53 - 15*b101 <= 0; } Constraint e114 { Definition: x54 - 15*b102 <= 0; } Constraint e115 { Definition: x55 - 15*b103 <= 0; } Constraint e116 { Definition: x71 - 13.5*b101 <= 0; } Constraint e117 { Definition: x72 - 13.5*b102 <= 0; } Constraint e118 { Definition: x73 - 13.5*b103 <= 0; } Constraint e119 { Definition: - 0.6*x56 + x74 + b104 <= 1; } Constraint e120 { Definition: - 0.6*x57 + x75 + b105 <= 1; } Constraint e121 { Definition: - 0.6*x58 + x76 + b106 <= 1; } Constraint e122 { Definition: - 0.6*x56 + x74 - b104 >= -1; } Constraint e123 { Definition: - 0.6*x57 + x75 - b105 >= -1; } Constraint e124 { Definition: - 0.6*x58 + x76 - b106 >= -1; } Constraint e125 { Definition: x56 - 15*b104 <= 0; } Constraint e126 { Definition: x57 - 15*b105 <= 0; } Constraint e127 { Definition: x58 - 15*b106 <= 0; } Constraint e128 { Definition: x74 - 9*b104 <= 0; } Constraint e129 { Definition: x75 - 9*b105 <= 0; } Constraint e130 { Definition: x76 - 9*b106 <= 0; } Constraint e131 { Definition: 5*b107 + x137 <= 0; } Constraint e132 { Definition: 4*b108 + x138 <= 0; } Constraint e133 { Definition: 6*b109 + x139 <= 0; } Constraint e134 { Definition: 8*b110 + x140 <= 0; } Constraint e135 { Definition: 7*b111 + x141 <= 0; } Constraint e136 { Definition: 6*b112 + x142 <= 0; } Constraint e137 { Definition: 6*b113 + x143 <= 0; } Constraint e138 { Definition: 9*b114 + x144 <= 0; } Constraint e139 { Definition: 4*b115 + x145 <= 0; } Constraint e140 { Definition: 10*b116 + x146 <= 0; } Constraint e141 { Definition: 9*b117 + x147 <= 0; } Constraint e142 { Definition: 5*b118 + x148 <= 0; } Constraint e143 { Definition: 6*b119 + x149 <= 0; } Constraint e144 { Definition: 10*b120 + x150 <= 0; } Constraint e145 { Definition: 6*b121 + x151 <= 0; } Constraint e146 { Definition: 7*b122 + x152 <= 0; } Constraint e147 { Definition: 7*b123 + x153 <= 0; } Constraint e148 { Definition: 4*b124 + x154 <= 0; } Constraint e149 { Definition: 4*b125 + x155 <= 0; } Constraint e150 { Definition: 3*b126 + x156 <= 0; } Constraint e151 { Definition: 2*b127 + x157 <= 0; } Constraint e152 { Definition: 5*b128 + x158 <= 0; } Constraint e153 { Definition: 6*b129 + x159 <= 0; } Constraint e154 { Definition: 7*b130 + x160 <= 0; } Constraint e155 { Definition: 2*b131 + x161 <= 0; } Constraint e156 { Definition: 5*b132 + x162 <= 0; } Constraint e157 { Definition: 2*b133 + x163 <= 0; } Constraint e158 { Definition: 4*b134 + x164 <= 0; } Constraint e159 { Definition: 7*b135 + x165 <= 0; } Constraint e160 { Definition: 4*b136 + x166 <= 0; } Constraint e161 { Definition: 5*b107 + x137 >= 0; } Constraint e162 { Definition: 4*b108 + x138 >= 0; } Constraint e163 { Definition: 6*b109 + x139 >= 0; } Constraint e164 { Definition: 8*b110 + x140 >= 0; } Constraint e165 { Definition: 7*b111 + x141 >= 0; } Constraint e166 { Definition: 6*b112 + x142 >= 0; } Constraint e167 { Definition: 6*b113 + x143 >= 0; } Constraint e168 { Definition: 9*b114 + x144 >= 0; } Constraint e169 { Definition: 4*b115 + x145 >= 0; } Constraint e170 { Definition: 10*b116 + x146 >= 0; } Constraint e171 { Definition: 9*b117 + x147 >= 0; } Constraint e172 { Definition: 5*b118 + x148 >= 0; } Constraint e173 { Definition: 6*b119 + x149 >= 0; } Constraint e174 { Definition: 10*b120 + x150 >= 0; } Constraint e175 { Definition: 6*b121 + x151 >= 0; } Constraint e176 { Definition: 7*b122 + x152 >= 0; } Constraint e177 { Definition: 7*b123 + x153 >= 0; } Constraint e178 { Definition: 4*b124 + x154 >= 0; } Constraint e179 { Definition: 4*b125 + x155 >= 0; } Constraint e180 { Definition: 3*b126 + x156 >= 0; } Constraint e181 { Definition: 2*b127 + x157 >= 0; } Constraint e182 { Definition: 5*b128 + x158 >= 0; } Constraint e183 { Definition: 6*b129 + x159 >= 0; } Constraint e184 { Definition: 7*b130 + x160 >= 0; } Constraint e185 { Definition: 2*b131 + x161 >= 0; } Constraint e186 { Definition: 5*b132 + x162 >= 0; } Constraint e187 { Definition: 2*b133 + x163 >= 0; } Constraint e188 { Definition: 4*b134 + x164 >= 0; } Constraint e189 { Definition: 7*b135 + x165 >= 0; } Constraint e190 { Definition: 4*b136 + x166 >= 0; } Constraint e191 { Definition: b77 - b78 <= 0; } Constraint e192 { Definition: b77 - b79 <= 0; } Constraint e193 { Definition: b78 - b79 <= 0; } Constraint e194 { Definition: b80 - b81 <= 0; } Constraint e195 { Definition: b80 - b82 <= 0; } Constraint e196 { Definition: b81 - b82 <= 0; } Constraint e197 { Definition: b83 - b84 <= 0; } Constraint e198 { Definition: b83 - b85 <= 0; } Constraint e199 { Definition: b84 - b85 <= 0; } Constraint e200 { Definition: b86 - b87 <= 0; } Constraint e201 { Definition: b86 - b88 <= 0; } Constraint e202 { Definition: b87 - b88 <= 0; } Constraint e203 { Definition: b89 - b90 <= 0; } Constraint e204 { Definition: b89 - b91 <= 0; } Constraint e205 { Definition: b90 - b91 <= 0; } Constraint e206 { Definition: b92 - b93 <= 0; } Constraint e207 { Definition: b92 - b94 <= 0; } Constraint e208 { Definition: b93 - b94 <= 0; } Constraint e209 { Definition: b95 - b96 <= 0; } Constraint e210 { Definition: b95 - b97 <= 0; } Constraint e211 { Definition: b96 - b97 <= 0; } Constraint e212 { Definition: b98 - b99 <= 0; } Constraint e213 { Definition: b98 - b100 <= 0; } Constraint e214 { Definition: b99 - b100 <= 0; } Constraint e215 { Definition: b101 - b102 <= 0; } Constraint e216 { Definition: b101 - b103 <= 0; } Constraint e217 { Definition: b102 - b103 <= 0; } Constraint e218 { Definition: b104 - b105 <= 0; } Constraint e219 { Definition: b104 - b106 <= 0; } Constraint e220 { Definition: b105 - b106 <= 0; } Constraint e221 { Definition: b107 + b108 <= 1; } Constraint e222 { Definition: b107 + b109 <= 1; } Constraint e223 { Definition: b107 + b108 <= 1; } Constraint e224 { Definition: b108 + b109 <= 1; } Constraint e225 { Definition: b107 + b109 <= 1; } Constraint e226 { Definition: b108 + b109 <= 1; } Constraint e227 { Definition: b110 + b111 <= 1; } Constraint e228 { Definition: b110 + b112 <= 1; } Constraint e229 { Definition: b110 + b111 <= 1; } Constraint e230 { Definition: b111 + b112 <= 1; } Constraint e231 { Definition: b110 + b112 <= 1; } Constraint e232 { Definition: b111 + b112 <= 1; } Constraint e233 { Definition: b113 + b114 <= 1; } Constraint e234 { Definition: b113 + b115 <= 1; } Constraint e235 { Definition: b113 + b114 <= 1; } Constraint e236 { Definition: b114 + b115 <= 1; } Constraint e237 { Definition: b113 + b115 <= 1; } Constraint e238 { Definition: b114 + b115 <= 1; } Constraint e239 { Definition: b116 + b117 <= 1; } Constraint e240 { Definition: b116 + b118 <= 1; } Constraint e241 { Definition: b116 + b117 <= 1; } Constraint e242 { Definition: b117 + b118 <= 1; } Constraint e243 { Definition: b116 + b118 <= 1; } Constraint e244 { Definition: b117 + b118 <= 1; } Constraint e245 { Definition: b119 + b120 <= 1; } Constraint e246 { Definition: b119 + b121 <= 1; } Constraint e247 { Definition: b119 + b120 <= 1; } Constraint e248 { Definition: b120 + b121 <= 1; } Constraint e249 { Definition: b119 + b121 <= 1; } Constraint e250 { Definition: b120 + b121 <= 1; } Constraint e251 { Definition: b122 + b123 <= 1; } Constraint e252 { Definition: b122 + b124 <= 1; } Constraint e253 { Definition: b122 + b123 <= 1; } Constraint e254 { Definition: b123 + b124 <= 1; } Constraint e255 { Definition: b122 + b124 <= 1; } Constraint e256 { Definition: b123 + b124 <= 1; } Constraint e257 { Definition: b125 + b126 <= 1; } Constraint e258 { Definition: b125 + b127 <= 1; } Constraint e259 { Definition: b125 + b126 <= 1; } Constraint e260 { Definition: b126 + b127 <= 1; } Constraint e261 { Definition: b125 + b127 <= 1; } Constraint e262 { Definition: b126 + b127 <= 1; } Constraint e263 { Definition: b128 + b129 <= 1; } Constraint e264 { Definition: b128 + b130 <= 1; } Constraint e265 { Definition: b128 + b129 <= 1; } Constraint e266 { Definition: b129 + b130 <= 1; } Constraint e267 { Definition: b128 + b130 <= 1; } Constraint e268 { Definition: b129 + b130 <= 1; } Constraint e269 { Definition: b131 + b132 <= 1; } Constraint e270 { Definition: b131 + b133 <= 1; } Constraint e271 { Definition: b131 + b132 <= 1; } Constraint e272 { Definition: b132 + b133 <= 1; } Constraint e273 { Definition: b131 + b133 <= 1; } Constraint e274 { Definition: b132 + b133 <= 1; } Constraint e275 { Definition: b134 + b135 <= 1; } Constraint e276 { Definition: b134 + b136 <= 1; } Constraint e277 { Definition: b134 + b135 <= 1; } Constraint e278 { Definition: b135 + b136 <= 1; } Constraint e279 { Definition: b134 + b136 <= 1; } Constraint e280 { Definition: b135 + b136 <= 1; } Constraint e281 { Definition: b77 - b107 <= 0; } Constraint e282 { Definition: - b77 + b78 - b108 <= 0; } Constraint e283 { Definition: - b77 - b78 + b79 - b109 <= 0; } Constraint e284 { Definition: b80 - b110 <= 0; } Constraint e285 { Definition: - b80 + b81 - b111 <= 0; } Constraint e286 { Definition: - b80 - b81 + b82 - b112 <= 0; } Constraint e287 { Definition: b83 - b113 <= 0; } Constraint e288 { Definition: - b83 + b84 - b114 <= 0; } Constraint e289 { Definition: - b83 - b84 + b85 - b115 <= 0; } Constraint e290 { Definition: b86 - b116 <= 0; } Constraint e291 { Definition: - b86 + b87 - b117 <= 0; } Constraint e292 { Definition: - b86 - b87 + b88 - b118 <= 0; } Constraint e293 { Definition: b89 - b119 <= 0; } Constraint e294 { Definition: - b89 + b90 - b120 <= 0; } Constraint e295 { Definition: - b89 - b90 + b91 - b121 <= 0; } Constraint e296 { Definition: b92 - b122 <= 0; } Constraint e297 { Definition: - b92 + b93 - b123 <= 0; } Constraint e298 { Definition: - b92 - b93 + b94 - b124 <= 0; } Constraint e299 { Definition: b95 - b125 <= 0; } Constraint e300 { Definition: - b95 + b96 - b126 <= 0; } Constraint e301 { Definition: - b95 - b96 + b97 - b127 <= 0; } Constraint e302 { Definition: b98 - b128 <= 0; } Constraint e303 { Definition: - b98 + b99 - b129 <= 0; } Constraint e304 { Definition: - b98 - b99 + b100 - b130 <= 0; } Constraint e305 { Definition: b101 - b131 <= 0; } Constraint e306 { Definition: - b101 + b102 - b132 <= 0; } Constraint e307 { Definition: - b101 - b102 + b103 - b133 <= 0; } Constraint e308 { Definition: b104 - b134 <= 0; } Constraint e309 { Definition: - b104 + b105 - b135 <= 0; } Constraint e310 { Definition: - b104 - b105 + b106 - b136 <= 0; } Constraint e311 { Definition: b77 + b80 = 1; } Constraint e312 { Definition: b78 + b81 = 1; } Constraint e313 { Definition: b79 + b82 = 1; } Constraint e314 { Definition: - b83 + b92 + b95 >= 0; } Constraint e315 { Definition: - b84 + b93 + b96 >= 0; } Constraint e316 { Definition: - b85 + b94 + b97 >= 0; } Constraint e317 { Definition: - b86 + b98 >= 0; } Constraint e318 { Definition: - b87 + b99 >= 0; } Constraint e319 { Definition: - b88 + b100 >= 0; } Constraint e320 { Definition: b77 + b80 - b83 >= 0; } Constraint e321 { Definition: b78 + b81 - b84 >= 0; } Constraint e322 { Definition: b79 + b82 - b85 >= 0; } Constraint e323 { Definition: b77 + b80 - b86 >= 0; } Constraint e324 { Definition: b78 + b81 - b87 >= 0; } Constraint e325 { Definition: b79 + b82 - b88 >= 0; } Constraint e326 { Definition: b77 + b80 - b89 >= 0; } Constraint e327 { Definition: b78 + b81 - b90 >= 0; } Constraint e328 { Definition: b79 + b82 - b91 >= 0; } Constraint e329 { Definition: b83 - b92 >= 0; } Constraint e330 { Definition: b84 - b93 >= 0; } Constraint e331 { Definition: b85 - b94 >= 0; } Constraint e332 { Definition: b83 - b95 >= 0; } Constraint e333 { Definition: b84 - b96 >= 0; } Constraint e334 { Definition: b85 - b97 >= 0; } Constraint e335 { Definition: b86 - b98 >= 0; } Constraint e336 { Definition: b87 - b99 >= 0; } Constraint e337 { Definition: b88 - b100 >= 0; } Constraint e338 { Definition: b89 - b101 >= 0; } Constraint e339 { Definition: b90 - b102 >= 0; } Constraint e340 { Definition: b91 - b103 >= 0; } Constraint e341 { Definition: b89 - b104 >= 0; } Constraint e342 { Definition: b90 - b105 >= 0; } Constraint e343 { Definition: b91 - b106 >= 0; } Procedure MainInitialization { Body: { x2.upper := 40; x3.upper := 40; x4.upper := 40; x35.upper := 30; x36.upper := 30; x37.upper := 30; } } MathematicalProgram syn10m03m { Objective: objvar; Direction: maximize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve syn10m03m; } } Procedure MainTermination { Body: { return 1; } } }