## ams_version=1.0 Model Main_edgecross10_060 { 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 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 x77 { Range: nonnegative; } Variable x78 { Range: nonnegative; } Variable x79 { Range: nonnegative; } Variable x80 { Range: nonnegative; } Variable x81 { Range: nonnegative; } Variable x82 { Range: nonnegative; } Variable x83 { Range: nonnegative; } Variable x84 { Range: nonnegative; } Variable x85 { Range: nonnegative; } Variable x86 { Range: nonnegative; } Variable x87 { Range: nonnegative; } Variable x88 { Range: nonnegative; } Variable x89 { Range: nonnegative; } Variable x90 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: - b1 + b2 + b3 <= 1; } Constraint e2 { Definition: b3 - b4 + b5 <= 1; } Constraint e3 { Definition: b3 - b6 + b7 <= 1; } Constraint e4 { Definition: b3 - b8 + b9 <= 1; } Constraint e5 { Definition: b3 - b10 + b11 <= 1; } Constraint e6 { Definition: b3 - b12 + b13 <= 1; } Constraint e7 { Definition: b3 - b14 + b15 <= 1; } Constraint e8 { Definition: b3 - b16 + b17 <= 1; } Constraint e9 { Definition: b1 - b4 + b18 <= 1; } Constraint e10 { Definition: b1 - b6 + b19 <= 1; } Constraint e11 { Definition: b1 - b8 + b20 <= 1; } Constraint e12 { Definition: b1 - b10 + b21 <= 1; } Constraint e13 { Definition: b1 - b12 + b22 <= 1; } Constraint e14 { Definition: b1 - b14 + b23 <= 1; } Constraint e15 { Definition: b1 - b16 + b24 <= 1; } Constraint e16 { Definition: b4 - b6 + b25 <= 1; } Constraint e17 { Definition: b4 - b8 + b26 <= 1; } Constraint e18 { Definition: b4 - b10 + b27 <= 1; } Constraint e19 { Definition: b4 - b12 + b28 <= 1; } Constraint e20 { Definition: b4 - b14 + b29 <= 1; } Constraint e21 { Definition: b4 - b16 + b30 <= 1; } Constraint e22 { Definition: b6 - b8 + b31 <= 1; } Constraint e23 { Definition: b6 - b10 + b32 <= 1; } Constraint e24 { Definition: b6 - b12 + b33 <= 1; } Constraint e25 { Definition: b6 - b14 + b34 <= 1; } Constraint e26 { Definition: b6 - b16 + b35 <= 1; } Constraint e27 { Definition: b8 - b10 + b36 <= 1; } Constraint e28 { Definition: b8 - b12 + b37 <= 1; } Constraint e29 { Definition: b8 - b14 + b38 <= 1; } Constraint e30 { Definition: b8 - b16 + b39 <= 1; } Constraint e31 { Definition: b10 - b12 + b40 <= 1; } Constraint e32 { Definition: b10 - b14 + b41 <= 1; } Constraint e33 { Definition: b10 - b16 + b42 <= 1; } Constraint e34 { Definition: b12 - b14 + b43 <= 1; } Constraint e35 { Definition: b12 - b16 + b44 <= 1; } Constraint e36 { Definition: b14 - b16 + x45 <= 1; } Constraint e37 { Definition: b2 - b5 + b18 <= 1; } Constraint e38 { Definition: b2 - b7 + b19 <= 1; } Constraint e39 { Definition: b2 - b9 + b20 <= 1; } Constraint e40 { Definition: b2 - b11 + b21 <= 1; } Constraint e41 { Definition: b2 - b13 + b22 <= 1; } Constraint e42 { Definition: b2 - b15 + b23 <= 1; } Constraint e43 { Definition: b2 - b17 + b24 <= 1; } Constraint e44 { Definition: b5 - b7 + b25 <= 1; } Constraint e45 { Definition: b5 - b9 + b26 <= 1; } Constraint e46 { Definition: b5 - b11 + b27 <= 1; } Constraint e47 { Definition: b5 - b13 + b28 <= 1; } Constraint e48 { Definition: b5 - b15 + b29 <= 1; } Constraint e49 { Definition: b5 - b17 + b30 <= 1; } Constraint e50 { Definition: b7 - b9 + b31 <= 1; } Constraint e51 { Definition: b7 - b11 + b32 <= 1; } Constraint e52 { Definition: b7 - b13 + b33 <= 1; } Constraint e53 { Definition: b7 - b15 + b34 <= 1; } Constraint e54 { Definition: b7 - b17 + b35 <= 1; } Constraint e55 { Definition: b9 - b11 + b36 <= 1; } Constraint e56 { Definition: b9 - b13 + b37 <= 1; } Constraint e57 { Definition: b9 - b15 + b38 <= 1; } Constraint e58 { Definition: b9 - b17 + b39 <= 1; } Constraint e59 { Definition: b11 - b13 + b40 <= 1; } Constraint e60 { Definition: b11 - b15 + b41 <= 1; } Constraint e61 { Definition: b11 - b17 + b42 <= 1; } Constraint e62 { Definition: b13 - b15 + b43 <= 1; } Constraint e63 { Definition: b13 - b17 + b44 <= 1; } Constraint e64 { Definition: b15 - b17 + x45 <= 1; } Constraint e65 { Definition: b18 - b19 + b25 <= 1; } Constraint e66 { Definition: b18 - b20 + b26 <= 1; } Constraint e67 { Definition: b18 - b21 + b27 <= 1; } Constraint e68 { Definition: b18 - b22 + b28 <= 1; } Constraint e69 { Definition: b18 - b23 + b29 <= 1; } Constraint e70 { Definition: b18 - b24 + b30 <= 1; } Constraint e71 { Definition: b19 - b20 + b31 <= 1; } Constraint e72 { Definition: b19 - b21 + b32 <= 1; } Constraint e73 { Definition: b19 - b22 + b33 <= 1; } Constraint e74 { Definition: b19 - b23 + b34 <= 1; } Constraint e75 { Definition: b19 - b24 + b35 <= 1; } Constraint e76 { Definition: b20 - b21 + b36 <= 1; } Constraint e77 { Definition: b20 - b22 + b37 <= 1; } Constraint e78 { Definition: b20 - b23 + b38 <= 1; } Constraint e79 { Definition: b20 - b24 + b39 <= 1; } Constraint e80 { Definition: b21 - b22 + b40 <= 1; } Constraint e81 { Definition: b21 - b23 + b41 <= 1; } Constraint e82 { Definition: b21 - b24 + b42 <= 1; } Constraint e83 { Definition: b22 - b23 + b43 <= 1; } Constraint e84 { Definition: b22 - b24 + b44 <= 1; } Constraint e85 { Definition: b23 - b24 + x45 <= 1; } Constraint e86 { Definition: b25 - b26 + b31 <= 1; } Constraint e87 { Definition: b25 - b27 + b32 <= 1; } Constraint e88 { Definition: b25 - b28 + b33 <= 1; } Constraint e89 { Definition: b25 - b29 + b34 <= 1; } Constraint e90 { Definition: b25 - b30 + b35 <= 1; } Constraint e91 { Definition: b26 - b27 + b36 <= 1; } Constraint e92 { Definition: b26 - b28 + b37 <= 1; } Constraint e93 { Definition: b26 - b29 + b38 <= 1; } Constraint e94 { Definition: b26 - b30 + b39 <= 1; } Constraint e95 { Definition: b27 - b28 + b40 <= 1; } Constraint e96 { Definition: b27 - b29 + b41 <= 1; } Constraint e97 { Definition: b27 - b30 + b42 <= 1; } Constraint e98 { Definition: b28 - b29 + b43 <= 1; } Constraint e99 { Definition: b28 - b30 + b44 <= 1; } Constraint e100 { Definition: b29 - b30 + x45 <= 1; } Constraint e101 { Definition: b31 - b32 + b36 <= 1; } Constraint e102 { Definition: b31 - b33 + b37 <= 1; } Constraint e103 { Definition: b31 - b34 + b38 <= 1; } Constraint e104 { Definition: b31 - b35 + b39 <= 1; } Constraint e105 { Definition: b32 - b33 + b40 <= 1; } Constraint e106 { Definition: b32 - b34 + b41 <= 1; } Constraint e107 { Definition: b32 - b35 + b42 <= 1; } Constraint e108 { Definition: b33 - b34 + b43 <= 1; } Constraint e109 { Definition: b33 - b35 + b44 <= 1; } Constraint e110 { Definition: b34 - b35 + x45 <= 1; } Constraint e111 { Definition: b36 - b37 + b40 <= 1; } Constraint e112 { Definition: b36 - b38 + b41 <= 1; } Constraint e113 { Definition: b36 - b39 + b42 <= 1; } Constraint e114 { Definition: b37 - b38 + b43 <= 1; } Constraint e115 { Definition: b37 - b39 + b44 <= 1; } Constraint e116 { Definition: b38 - b39 + x45 <= 1; } Constraint e117 { Definition: b40 - b41 + b43 <= 1; } Constraint e118 { Definition: b40 - b42 + b44 <= 1; } Constraint e119 { Definition: b41 - b42 + x45 <= 1; } Constraint e120 { Definition: b43 - b44 + x45 <= 1; } Constraint e121 { Definition: b1 - b2 - b3 <= 0; } Constraint e122 { Definition: - b3 + b4 - b5 <= 0; } Constraint e123 { Definition: - b3 + b6 - b7 <= 0; } Constraint e124 { Definition: - b3 + b8 - b9 <= 0; } Constraint e125 { Definition: - b3 + b10 - b11 <= 0; } Constraint e126 { Definition: - b3 + b12 - b13 <= 0; } Constraint e127 { Definition: - b3 + b14 - b15 <= 0; } Constraint e128 { Definition: - b3 + b16 - b17 <= 0; } Constraint e129 { Definition: - b1 + b4 - b18 <= 0; } Constraint e130 { Definition: - b1 + b6 - b19 <= 0; } Constraint e131 { Definition: - b1 + b8 - b20 <= 0; } Constraint e132 { Definition: - b1 + b10 - b21 <= 0; } Constraint e133 { Definition: - b1 + b12 - b22 <= 0; } Constraint e134 { Definition: - b1 + b14 - b23 <= 0; } Constraint e135 { Definition: - b1 + b16 - b24 <= 0; } Constraint e136 { Definition: - b4 + b6 - b25 <= 0; } Constraint e137 { Definition: - b4 + b8 - b26 <= 0; } Constraint e138 { Definition: - b4 + b10 - b27 <= 0; } Constraint e139 { Definition: - b4 + b12 - b28 <= 0; } Constraint e140 { Definition: - b4 + b14 - b29 <= 0; } Constraint e141 { Definition: - b4 + b16 - b30 <= 0; } Constraint e142 { Definition: - b6 + b8 - b31 <= 0; } Constraint e143 { Definition: - b6 + b10 - b32 <= 0; } Constraint e144 { Definition: - b6 + b12 - b33 <= 0; } Constraint e145 { Definition: - b6 + b14 - b34 <= 0; } Constraint e146 { Definition: - b6 + b16 - b35 <= 0; } Constraint e147 { Definition: - b8 + b10 - b36 <= 0; } Constraint e148 { Definition: - b8 + b12 - b37 <= 0; } Constraint e149 { Definition: - b8 + b14 - b38 <= 0; } Constraint e150 { Definition: - b8 + b16 - b39 <= 0; } Constraint e151 { Definition: - b10 + b12 - b40 <= 0; } Constraint e152 { Definition: - b10 + b14 - b41 <= 0; } Constraint e153 { Definition: - b10 + b16 - b42 <= 0; } Constraint e154 { Definition: - b12 + b14 - b43 <= 0; } Constraint e155 { Definition: - b12 + b16 - b44 <= 0; } Constraint e156 { Definition: - b14 + b16 - x45 <= 0; } Constraint e157 { Definition: - b2 + b5 - b18 <= 0; } Constraint e158 { Definition: - b2 + b7 - b19 <= 0; } Constraint e159 { Definition: - b2 + b9 - b20 <= 0; } Constraint e160 { Definition: - b2 + b11 - b21 <= 0; } Constraint e161 { Definition: - b2 + b13 - b22 <= 0; } Constraint e162 { Definition: - b2 + b15 - b23 <= 0; } Constraint e163 { Definition: - b2 + b17 - b24 <= 0; } Constraint e164 { Definition: - b5 + b7 - b25 <= 0; } Constraint e165 { Definition: - b5 + b9 - b26 <= 0; } Constraint e166 { Definition: - b5 + b11 - b27 <= 0; } Constraint e167 { Definition: - b5 + b13 - b28 <= 0; } Constraint e168 { Definition: - b5 + b15 - b29 <= 0; } Constraint e169 { Definition: - b5 + b17 - b30 <= 0; } Constraint e170 { Definition: - b7 + b9 - b31 <= 0; } Constraint e171 { Definition: - b7 + b11 - b32 <= 0; } Constraint e172 { Definition: - b7 + b13 - b33 <= 0; } Constraint e173 { Definition: - b7 + b15 - b34 <= 0; } Constraint e174 { Definition: - b7 + b17 - b35 <= 0; } Constraint e175 { Definition: - b9 + b11 - b36 <= 0; } Constraint e176 { Definition: - b9 + b13 - b37 <= 0; } Constraint e177 { Definition: - b9 + b15 - b38 <= 0; } Constraint e178 { Definition: - b9 + b17 - b39 <= 0; } Constraint e179 { Definition: - b11 + b13 - b40 <= 0; } Constraint e180 { Definition: - b11 + b15 - b41 <= 0; } Constraint e181 { Definition: - b11 + b17 - b42 <= 0; } Constraint e182 { Definition: - b13 + b15 - b43 <= 0; } Constraint e183 { Definition: - b13 + b17 - b44 <= 0; } Constraint e184 { Definition: - b15 + b17 - x45 <= 0; } Constraint e185 { Definition: - b18 + b19 - b25 <= 0; } Constraint e186 { Definition: - b18 + b20 - b26 <= 0; } Constraint e187 { Definition: - b18 + b21 - b27 <= 0; } Constraint e188 { Definition: - b18 + b22 - b28 <= 0; } Constraint e189 { Definition: - b18 + b23 - b29 <= 0; } Constraint e190 { Definition: - b18 + b24 - b30 <= 0; } Constraint e191 { Definition: - b19 + b20 - b31 <= 0; } Constraint e192 { Definition: - b19 + b21 - b32 <= 0; } Constraint e193 { Definition: - b19 + b22 - b33 <= 0; } Constraint e194 { Definition: - b19 + b23 - b34 <= 0; } Constraint e195 { Definition: - b19 + b24 - b35 <= 0; } Constraint e196 { Definition: - b20 + b21 - b36 <= 0; } Constraint e197 { Definition: - b20 + b22 - b37 <= 0; } Constraint e198 { Definition: - b20 + b23 - b38 <= 0; } Constraint e199 { Definition: - b20 + b24 - b39 <= 0; } Constraint e200 { Definition: - b21 + b22 - b40 <= 0; } Constraint e201 { Definition: - b21 + b23 - b41 <= 0; } Constraint e202 { Definition: - b21 + b24 - b42 <= 0; } Constraint e203 { Definition: - b22 + b23 - b43 <= 0; } Constraint e204 { Definition: - b22 + b24 - b44 <= 0; } Constraint e205 { Definition: - b23 + b24 - x45 <= 0; } Constraint e206 { Definition: - b25 + b26 - b31 <= 0; } Constraint e207 { Definition: - b25 + b27 - b32 <= 0; } Constraint e208 { Definition: - b25 + b28 - b33 <= 0; } Constraint e209 { Definition: - b25 + b29 - b34 <= 0; } Constraint e210 { Definition: - b25 + b30 - b35 <= 0; } Constraint e211 { Definition: - b26 + b27 - b36 <= 0; } Constraint e212 { Definition: - b26 + b28 - b37 <= 0; } Constraint e213 { Definition: - b26 + b29 - b38 <= 0; } Constraint e214 { Definition: - b26 + b30 - b39 <= 0; } Constraint e215 { Definition: - b27 + b28 - b40 <= 0; } Constraint e216 { Definition: - b27 + b29 - b41 <= 0; } Constraint e217 { Definition: - b27 + b30 - b42 <= 0; } Constraint e218 { Definition: - b28 + b29 - b43 <= 0; } Constraint e219 { Definition: - b28 + b30 - b44 <= 0; } Constraint e220 { Definition: - b29 + b30 - x45 <= 0; } Constraint e221 { Definition: - b31 + b32 - b36 <= 0; } Constraint e222 { Definition: - b31 + b33 - b37 <= 0; } Constraint e223 { Definition: - b31 + b34 - b38 <= 0; } Constraint e224 { Definition: - b31 + b35 - b39 <= 0; } Constraint e225 { Definition: - b32 + b33 - b40 <= 0; } Constraint e226 { Definition: - b32 + b34 - b41 <= 0; } Constraint e227 { Definition: - b32 + b35 - b42 <= 0; } Constraint e228 { Definition: - b33 + b34 - b43 <= 0; } Constraint e229 { Definition: - b33 + b35 - b44 <= 0; } Constraint e230 { Definition: - b34 + b35 - x45 <= 0; } Constraint e231 { Definition: - b36 + b37 - b40 <= 0; } Constraint e232 { Definition: - b36 + b38 - b41 <= 0; } Constraint e233 { Definition: - b36 + b39 - b42 <= 0; } Constraint e234 { Definition: - b37 + b38 - b43 <= 0; } Constraint e235 { Definition: - b37 + b39 - b44 <= 0; } Constraint e236 { Definition: - b38 + b39 - x45 <= 0; } Constraint e237 { Definition: - b40 + b41 - b43 <= 0; } Constraint e238 { Definition: - b40 + b42 - b44 <= 0; } Constraint e239 { Definition: - b41 + b42 - x45 <= 0; } Constraint e240 { Definition: - b43 + b44 - x45 <= 0; } Constraint e241 { Definition: - x46 + x47 + x48 <= 1; } Constraint e242 { Definition: x48 - x49 + x50 <= 1; } Constraint e243 { Definition: x48 - x51 + x52 <= 1; } Constraint e244 { Definition: x48 - x53 + x54 <= 1; } Constraint e245 { Definition: x48 - x55 + x56 <= 1; } Constraint e246 { Definition: x48 - x57 + x58 <= 1; } Constraint e247 { Definition: x48 - x59 + x60 <= 1; } Constraint e248 { Definition: x48 - x61 + x62 <= 1; } Constraint e249 { Definition: x46 - x49 + x63 <= 1; } Constraint e250 { Definition: x46 - x51 + x64 <= 1; } Constraint e251 { Definition: x46 - x53 + x65 <= 1; } Constraint e252 { Definition: x46 - x55 + x66 <= 1; } Constraint e253 { Definition: x46 - x57 + x67 <= 1; } Constraint e254 { Definition: x46 - x59 + x68 <= 1; } Constraint e255 { Definition: x46 - x61 + x69 <= 1; } Constraint e256 { Definition: x49 - x51 + x70 <= 1; } Constraint e257 { Definition: x49 - x53 + x71 <= 1; } Constraint e258 { Definition: x49 - x55 + x72 <= 1; } Constraint e259 { Definition: x49 - x57 + x73 <= 1; } Constraint e260 { Definition: x49 - x59 + x74 <= 1; } Constraint e261 { Definition: x49 - x61 + x75 <= 1; } Constraint e262 { Definition: x51 - x53 + x76 <= 1; } Constraint e263 { Definition: x51 - x55 + x77 <= 1; } Constraint e264 { Definition: x51 - x57 + x78 <= 1; } Constraint e265 { Definition: x51 - x59 + x79 <= 1; } Constraint e266 { Definition: x51 - x61 + x80 <= 1; } Constraint e267 { Definition: x53 - x55 + x81 <= 1; } Constraint e268 { Definition: x53 - x57 + x82 <= 1; } Constraint e269 { Definition: x53 - x59 + x83 <= 1; } Constraint e270 { Definition: x53 - x61 + x84 <= 1; } Constraint e271 { Definition: x55 - x57 + x85 <= 1; } Constraint e272 { Definition: x55 - x59 + x86 <= 1; } Constraint e273 { Definition: x55 - x61 + x87 <= 1; } Constraint e274 { Definition: x57 - x59 + x88 <= 1; } Constraint e275 { Definition: x57 - x61 + x89 <= 1; } Constraint e276 { Definition: x59 - x61 + x90 <= 1; } Constraint e277 { Definition: x47 - x50 + x63 <= 1; } Constraint e278 { Definition: x47 - x52 + x64 <= 1; } Constraint e279 { Definition: x47 - x54 + x65 <= 1; } Constraint e280 { Definition: x47 - x56 + x66 <= 1; } Constraint e281 { Definition: x47 - x58 + x67 <= 1; } Constraint e282 { Definition: x47 - x60 + x68 <= 1; } Constraint e283 { Definition: x47 - x62 + x69 <= 1; } Constraint e284 { Definition: x50 - x52 + x70 <= 1; } Constraint e285 { Definition: x50 - x54 + x71 <= 1; } Constraint e286 { Definition: x50 - x56 + x72 <= 1; } Constraint e287 { Definition: x50 - x58 + x73 <= 1; } Constraint e288 { Definition: x50 - x60 + x74 <= 1; } Constraint e289 { Definition: x50 - x62 + x75 <= 1; } Constraint e290 { Definition: x52 - x54 + x76 <= 1; } Constraint e291 { Definition: x52 - x56 + x77 <= 1; } Constraint e292 { Definition: x52 - x58 + x78 <= 1; } Constraint e293 { Definition: x52 - x60 + x79 <= 1; } Constraint e294 { Definition: x52 - x62 + x80 <= 1; } Constraint e295 { Definition: x54 - x56 + x81 <= 1; } Constraint e296 { Definition: x54 - x58 + x82 <= 1; } Constraint e297 { Definition: x54 - x60 + x83 <= 1; } Constraint e298 { Definition: x54 - x62 + x84 <= 1; } Constraint e299 { Definition: x56 - x58 + x85 <= 1; } Constraint e300 { Definition: x56 - x60 + x86 <= 1; } Constraint e301 { Definition: x56 - x62 + x87 <= 1; } Constraint e302 { Definition: x58 - x60 + x88 <= 1; } Constraint e303 { Definition: x58 - x62 + x89 <= 1; } Constraint e304 { Definition: x60 - x62 + x90 <= 1; } Constraint e305 { Definition: x63 - x64 + x70 <= 1; } Constraint e306 { Definition: x63 - x65 + x71 <= 1; } Constraint e307 { Definition: x63 - x66 + x72 <= 1; } Constraint e308 { Definition: x63 - x67 + x73 <= 1; } Constraint e309 { Definition: x63 - x68 + x74 <= 1; } Constraint e310 { Definition: x63 - x69 + x75 <= 1; } Constraint e311 { Definition: x64 - x65 + x76 <= 1; } Constraint e312 { Definition: x64 - x66 + x77 <= 1; } Constraint e313 { Definition: x64 - x67 + x78 <= 1; } Constraint e314 { Definition: x64 - x68 + x79 <= 1; } Constraint e315 { Definition: x64 - x69 + x80 <= 1; } Constraint e316 { Definition: x65 - x66 + x81 <= 1; } Constraint e317 { Definition: x65 - x67 + x82 <= 1; } Constraint e318 { Definition: x65 - x68 + x83 <= 1; } Constraint e319 { Definition: x65 - x69 + x84 <= 1; } Constraint e320 { Definition: x66 - x67 + x85 <= 1; } Constraint e321 { Definition: x66 - x68 + x86 <= 1; } Constraint e322 { Definition: x66 - x69 + x87 <= 1; } Constraint e323 { Definition: x67 - x68 + x88 <= 1; } Constraint e324 { Definition: x67 - x69 + x89 <= 1; } Constraint e325 { Definition: x68 - x69 + x90 <= 1; } Constraint e326 { Definition: x70 - x71 + x76 <= 1; } Constraint e327 { Definition: x70 - x72 + x77 <= 1; } Constraint e328 { Definition: x70 - x73 + x78 <= 1; } Constraint e329 { Definition: x70 - x74 + x79 <= 1; } Constraint e330 { Definition: x70 - x75 + x80 <= 1; } Constraint e331 { Definition: x71 - x72 + x81 <= 1; } Constraint e332 { Definition: x71 - x73 + x82 <= 1; } Constraint e333 { Definition: x71 - x74 + x83 <= 1; } Constraint e334 { Definition: x71 - x75 + x84 <= 1; } Constraint e335 { Definition: x72 - x73 + x85 <= 1; } Constraint e336 { Definition: x72 - x74 + x86 <= 1; } Constraint e337 { Definition: x72 - x75 + x87 <= 1; } Constraint e338 { Definition: x73 - x74 + x88 <= 1; } Constraint e339 { Definition: x73 - x75 + x89 <= 1; } Constraint e340 { Definition: x74 - x75 + x90 <= 1; } Constraint e341 { Definition: x76 - x77 + x81 <= 1; } Constraint e342 { Definition: x76 - x78 + x82 <= 1; } Constraint e343 { Definition: x76 - x79 + x83 <= 1; } Constraint e344 { Definition: x76 - x80 + x84 <= 1; } Constraint e345 { Definition: x77 - x78 + x85 <= 1; } Constraint e346 { Definition: x77 - x79 + x86 <= 1; } Constraint e347 { Definition: x77 - x80 + x87 <= 1; } Constraint e348 { Definition: x78 - x79 + x88 <= 1; } Constraint e349 { Definition: x78 - x80 + x89 <= 1; } Constraint e350 { Definition: x79 - x80 + x90 <= 1; } Constraint e351 { Definition: x81 - x82 + x85 <= 1; } Constraint e352 { Definition: x81 - x83 + x86 <= 1; } Constraint e353 { Definition: x81 - x84 + x87 <= 1; } Constraint e354 { Definition: x82 - x83 + x88 <= 1; } Constraint e355 { Definition: x82 - x84 + x89 <= 1; } Constraint e356 { Definition: x83 - x84 + x90 <= 1; } Constraint e357 { Definition: x85 - x86 + x88 <= 1; } Constraint e358 { Definition: x85 - x87 + x89 <= 1; } Constraint e359 { Definition: x86 - x87 + x90 <= 1; } Constraint e360 { Definition: x88 - x89 + x90 <= 1; } Constraint e361 { Definition: x46 - x47 - x48 <= 0; } Constraint e362 { Definition: - x48 + x49 - x50 <= 0; } Constraint e363 { Definition: - x48 + x51 - x52 <= 0; } Constraint e364 { Definition: - x48 + x53 - x54 <= 0; } Constraint e365 { Definition: - x48 + x55 - x56 <= 0; } Constraint e366 { Definition: - x48 + x57 - x58 <= 0; } Constraint e367 { Definition: - x48 + x59 - x60 <= 0; } Constraint e368 { Definition: - x48 + x61 - x62 <= 0; } Constraint e369 { Definition: - x46 + x49 - x63 <= 0; } Constraint e370 { Definition: - x46 + x51 - x64 <= 0; } Constraint e371 { Definition: - x46 + x53 - x65 <= 0; } Constraint e372 { Definition: - x46 + x55 - x66 <= 0; } Constraint e373 { Definition: - x46 + x57 - x67 <= 0; } Constraint e374 { Definition: - x46 + x59 - x68 <= 0; } Constraint e375 { Definition: - x46 + x61 - x69 <= 0; } Constraint e376 { Definition: - x49 + x51 - x70 <= 0; } Constraint e377 { Definition: - x49 + x53 - x71 <= 0; } Constraint e378 { Definition: - x49 + x55 - x72 <= 0; } Constraint e379 { Definition: - x49 + x57 - x73 <= 0; } Constraint e380 { Definition: - x49 + x59 - x74 <= 0; } Constraint e381 { Definition: - x49 + x61 - x75 <= 0; } Constraint e382 { Definition: - x51 + x53 - x76 <= 0; } Constraint e383 { Definition: - x51 + x55 - x77 <= 0; } Constraint e384 { Definition: - x51 + x57 - x78 <= 0; } Constraint e385 { Definition: - x51 + x59 - x79 <= 0; } Constraint e386 { Definition: - x51 + x61 - x80 <= 0; } Constraint e387 { Definition: - x53 + x55 - x81 <= 0; } Constraint e388 { Definition: - x53 + x57 - x82 <= 0; } Constraint e389 { Definition: - x53 + x59 - x83 <= 0; } Constraint e390 { Definition: - x53 + x61 - x84 <= 0; } Constraint e391 { Definition: - x55 + x57 - x85 <= 0; } Constraint e392 { Definition: - x55 + x59 - x86 <= 0; } Constraint e393 { Definition: - x55 + x61 - x87 <= 0; } Constraint e394 { Definition: - x57 + x59 - x88 <= 0; } Constraint e395 { Definition: - x57 + x61 - x89 <= 0; } Constraint e396 { Definition: - x59 + x61 - x90 <= 0; } Constraint e397 { Definition: - x47 + x50 - x63 <= 0; } Constraint e398 { Definition: - x47 + x52 - x64 <= 0; } Constraint e399 { Definition: - x47 + x54 - x65 <= 0; } Constraint e400 { Definition: - x47 + x56 - x66 <= 0; } Constraint e401 { Definition: - x47 + x58 - x67 <= 0; } Constraint e402 { Definition: - x47 + x60 - x68 <= 0; } Constraint e403 { Definition: - x47 + x62 - x69 <= 0; } Constraint e404 { Definition: - x50 + x52 - x70 <= 0; } Constraint e405 { Definition: - x50 + x54 - x71 <= 0; } Constraint e406 { Definition: - x50 + x56 - x72 <= 0; } Constraint e407 { Definition: - x50 + x58 - x73 <= 0; } Constraint e408 { Definition: - x50 + x60 - x74 <= 0; } Constraint e409 { Definition: - x50 + x62 - x75 <= 0; } Constraint e410 { Definition: - x52 + x54 - x76 <= 0; } Constraint e411 { Definition: - x52 + x56 - x77 <= 0; } Constraint e412 { Definition: - x52 + x58 - x78 <= 0; } Constraint e413 { Definition: - x52 + x60 - x79 <= 0; } Constraint e414 { Definition: - x52 + x62 - x80 <= 0; } Constraint e415 { Definition: - x54 + x56 - x81 <= 0; } Constraint e416 { Definition: - x54 + x58 - x82 <= 0; } Constraint e417 { Definition: - x54 + x60 - x83 <= 0; } Constraint e418 { Definition: - x54 + x62 - x84 <= 0; } Constraint e419 { Definition: - x56 + x58 - x85 <= 0; } Constraint e420 { Definition: - x56 + x60 - x86 <= 0; } Constraint e421 { Definition: - x56 + x62 - x87 <= 0; } Constraint e422 { Definition: - x58 + x60 - x88 <= 0; } Constraint e423 { Definition: - x58 + x62 - x89 <= 0; } Constraint e424 { Definition: - x60 + x62 - x90 <= 0; } Constraint e425 { Definition: - x63 + x64 - x70 <= 0; } Constraint e426 { Definition: - x63 + x65 - x71 <= 0; } Constraint e427 { Definition: - x63 + x66 - x72 <= 0; } Constraint e428 { Definition: - x63 + x67 - x73 <= 0; } Constraint e429 { Definition: - x63 + x68 - x74 <= 0; } Constraint e430 { Definition: - x63 + x69 - x75 <= 0; } Constraint e431 { Definition: - x64 + x65 - x76 <= 0; } Constraint e432 { Definition: - x64 + x66 - x77 <= 0; } Constraint e433 { Definition: - x64 + x67 - x78 <= 0; } Constraint e434 { Definition: - x64 + x68 - x79 <= 0; } Constraint e435 { Definition: - x64 + x69 - x80 <= 0; } Constraint e436 { Definition: - x65 + x66 - x81 <= 0; } Constraint e437 { Definition: - x65 + x67 - x82 <= 0; } Constraint e438 { Definition: - x65 + x68 - x83 <= 0; } Constraint e439 { Definition: - x65 + x69 - x84 <= 0; } Constraint e440 { Definition: - x66 + x67 - x85 <= 0; } Constraint e441 { Definition: - x66 + x68 - x86 <= 0; } Constraint e442 { Definition: - x66 + x69 - x87 <= 0; } Constraint e443 { Definition: - x67 + x68 - x88 <= 0; } Constraint e444 { Definition: - x67 + x69 - x89 <= 0; } Constraint e445 { Definition: - x68 + x69 - x90 <= 0; } Constraint e446 { Definition: - x70 + x71 - x76 <= 0; } Constraint e447 { Definition: - x70 + x72 - x77 <= 0; } Constraint e448 { Definition: - x70 + x73 - x78 <= 0; } Constraint e449 { Definition: - x70 + x74 - x79 <= 0; } Constraint e450 { Definition: - x70 + x75 - x80 <= 0; } Constraint e451 { Definition: - x71 + x72 - x81 <= 0; } Constraint e452 { Definition: - x71 + x73 - x82 <= 0; } Constraint e453 { Definition: - x71 + x74 - x83 <= 0; } Constraint e454 { Definition: - x71 + x75 - x84 <= 0; } Constraint e455 { Definition: - x72 + x73 - x85 <= 0; } Constraint e456 { Definition: - x72 + x74 - x86 <= 0; } Constraint e457 { Definition: - x72 + x75 - x87 <= 0; } Constraint e458 { Definition: - x73 + x74 - x88 <= 0; } Constraint e459 { Definition: - x73 + x75 - x89 <= 0; } Constraint e460 { Definition: - x74 + x75 - x90 <= 0; } Constraint e461 { Definition: - x76 + x77 - x81 <= 0; } Constraint e462 { Definition: - x76 + x78 - x82 <= 0; } Constraint e463 { Definition: - x76 + x79 - x83 <= 0; } Constraint e464 { Definition: - x76 + x80 - x84 <= 0; } Constraint e465 { Definition: - x77 + x78 - x85 <= 0; } Constraint e466 { Definition: - x77 + x79 - x86 <= 0; } Constraint e467 { Definition: - x77 + x80 - x87 <= 0; } Constraint e468 { Definition: - x78 + x79 - x88 <= 0; } Constraint e469 { Definition: - x78 + x80 - x89 <= 0; } Constraint e470 { Definition: - x79 + x80 - x90 <= 0; } Constraint e471 { Definition: - x81 + x82 - x85 <= 0; } Constraint e472 { Definition: - x81 + x83 - x86 <= 0; } Constraint e473 { Definition: - x81 + x84 - x87 <= 0; } Constraint e474 { Definition: - x82 + x83 - x88 <= 0; } Constraint e475 { Definition: - x82 + x84 - x89 <= 0; } Constraint e476 { Definition: - x83 + x84 - x90 <= 0; } Constraint e477 { Definition: - x85 + x86 - x88 <= 0; } Constraint e478 { Definition: - x85 + x87 - x89 <= 0; } Constraint e479 { Definition: - x86 + x87 - x90 <= 0; } Constraint e480 { Definition: - x88 + x89 - x90 <= 0; } Constraint e481 { Definition: { 2*b1*x47 + 2*b1 + 3*x47 - 2*b1*x50 + 17*x50 + 2*b1*x58 + 8*x58 - 2*b1* x62 + 16*x62 - 2*b1*x63 + 13*x63 - 2*b1*x64 - 2*x64 - 2*b1*x65 + 6*x65 - 2*b1*x66 + 4*x66 - 2*b1*x69 + 12*x69 + 2*b1*x70 - 14*x70 + 2*b1*x71 - 2*x71 + 2*b1*x72 - 6*x72 + 2*b1*x73 - 6*x73 + 2*b1*x78 + 5*x78 - 2*b1 *x80 + 12*x80 + 2*b1*x82 - 2*x82 - 2*b1*x84 + 3*x84 + 2*b1*x85 + x85 - 2 *b1*x87 + 6*x87 - 2*b1*x89 + 6*x89 + 2*b2*x47 + 2*b2 - 2*b2*x50 - 2*b2* x54 + 7*x54 - 2*b2*x56 + 6*x56 + 2*b2*x58 + 2*b2*x60 + 8*x60 - 2*b2*x62 - 2*b2*x63 - 2*b2*x64 - 2*b2*x65 - 2*b2*x66 - 2*b2*x69 + 2*b2*x70 + 2* b2*x73 + 2*b2*x74 - 3*x74 - 2*b2*x76 + 4*x76 - 2*b2*x77 + 5*x77 + 2*b2* x78 + 2*b2*x79 + 6*x79 - 2*b2*x80 + 2*b2*x82 + 2*b2*x83 - 2*x83 + 2*b2* x85 + 2*b2*x86 + 2*x86 - 2*b2*x89 - 2*b2*x90 + 3*x90 + 2*b3*x54 + 2*b3 + 2*b3*x56 - 2*b3*x60 + 2*b3*x65 + 2*b3*x66 - 2*b3*x68 + 7*x68 + 2*b3* x76 + 2*b3*x77 - 2*b3*x79 - 2*b3*x82 - 2*b3*x83 - 2*b3*x85 - 2*b3*x86 - 2*b3*x88 + x88 + 2*b4*x46 - 6*b4 - 12*x46 + 2*b4*x48 - 14*x48 - 2*b4*x50 + 2*b4*x51 - 11*x51 + 2*b4*x53 - 4*x53 + 2*b4*x54 + 2*b4*x55 - 7*x55 + 2*b4*x56 + 2*b4*x57 - 8*x57 - 2*b4*x62 - 2*b4*x63 + 2*b4*x65 + 2*b4*x66 - 2*b4*x69 + 2*b4*x70 + 2*b4*x71 + 2*b4*x72 + 2*b4*x73 + 2*b4*x76 + 2* b4*x77 - 2*b4*x80 - 2*b4*x82 - 2*b4*x84 - 2*b4*x85 - 2*b4*x87 - 2*b4*x89 + 2*b5*x46 - 5*b5 + 2*b5*x48 - 2*b5*x50 + 2*b5*x51 + 2*b5*x57 + 2*b5* x59 - 6*x59 + 2*b5*x60 - 2*b5*x62 - 2*b5*x63 + 2*b5*x68 - 2*b5*x69 + 2* b5*x70 + 2*b5*x73 + 2*b5*x74 + 2*b5*x79 - 2*b5*x80 + 2*b5*x88 - 2*b5*x89 - 2*b5*x90 - 2*b6*x47 + 10*b6 - 2*b6*x50 - 2*b6*x56 - 2*b6*x60 - 2*b6* x62 - 2*b6*x63 + 2*b6*x64 + 2*b6*x65 + 2*b6*x67 + 6*x67 - 2*b6*x68 - 2* b6*x69 + 2*b6*x70 + 2*b6*x71 + 2*b6*x72 + 2*b6*x73 - 2*b6*x77 - 2*b6*x79 - 2*b6*x80 - 2*b6*x81 - 2*x81 - 2*b6*x83 - 2*b6*x84 + 2*b6*x85 - 2*b6* x86 - 2*b6*x87 - 2*b6*x88 - 2*b6*x89 - 2*b7*x47 + 7*b7 - 2*b7*x50 - 2*b7 *x56 - 2*b7*x60 - 2*b7*x62 - 2*b7*x63 + 2*b7*x64 - 2*b7*x66 + 2*b7*x67 - 2*b7*x69 + 2*b7*x70 + 2*b7*x73 + 2*b7*x74 - 2*b7*x77 - 2*b7*x79 - 2* b7*x80 + 2*b7*x85 + 2*b7*x86 - 2*b7*x88 - 2*b7*x89 - 2*b7*x90 + 2*b8*x46 + 3*b8 + 2*b8*x48 - 2*b8*x50 + 2*b8*x51 + 2*b8*x53 + 2*b8*x55 + 2*b8* x57 - 2*b8*x58 - 2*b8*x60 - 2*b8*x63 - 2*b8*x67 - 2*b8*x68 + 2*b8*x70 + 2*b8*x71 + 2*b8*x72 + 2*b8*x73 - 2*b8*x78 - 2*b8*x79 - 2*b8*x82 - 2*b8* x83 - 2*b8*x85 - 2*b8*x86 - 2*b8*x88 + 2*b9*x46 + 2*b9*x48 - 2*b9*x50 + 2*b9*x51 + 2*b9*x57 - 2*b9*x58 + 2*b9*x59 - 2*b9*x60 - 2*b9*x63 - 2*b9* x67 - 2*b9*x68 + 2*b9*x70 + 2*b9*x73 + 2*b9*x74 - 2*b9*x78 - 2*b9*x79 + 2*b10*x52 - 4*b10 + x52 + 2*b10*x58 + 2*b10*x64 + 2*b10*x67 - 2*b10*x76 - 2*b10*x77 + 2*b10*x82 + 2*b10*x85 + 2*b11*x52 - 4*b11 - 2*b11*x54 - 2 *b11*x56 + 2*b11*x58 + 2*b11*x60 + 2*b11*x64 - 2*b11*x65 - 2*b11*x66 + 2 *b11*x67 + 2*b11*x68 - 2*b11*x76 - 2*b11*x77 + 2*b11*x82 + 2*b11*x83 + 2 *b11*x85 + 2*b11*x86 - 2*b12*x50 + 10*b12 + 2*b12*x52 + 2*b12*x54 - 2* b12*x60 - 2*b12*x62 - 2*b12*x63 + 2*b12*x64 + 2*b12*x65 - 2*b12*x68 - 2* b12*x69 + 2*b12*x70 + 2*b12*x71 + 2*b12*x72 + 2*b12*x73 - 2*b12*x77 - 2* b12*x78 - 2*b12*x79 - 2*b12*x80 - 2*b12*x81 - 2*b12*x82 - 2*b12*x83 - 2* b12*x84 - 2*b12*x86 - 2*b12*x87 - 2*b12*x88 - 2*b12*x89 - 2*b13*x50 + 5* b13 + 2*b13*x52 - 2*b13*x56 - 2*b13*x62 - 2*b13*x63 + 2*b13*x64 - 2*b13* x66 - 2*b13*x69 + 2*b13*x70 + 2*b13*x73 + 2*b13*x74 - 2*b13*x77 - 2*b13* x78 - 2*b13*x79 - 2*b13*x80 + 2*b13*x85 + 2*b13*x86 - 2*b13*x89 - 2*b13* x90 + 2*b14*x46 + b14 + 2*b14*x48 - 2*b14*x50 + 2*b14*x51 + 2*b14*x53 + 2*b14*x55 + 2*b14*x56 + 2*b14*x57 - 2*b14*x60 - 2*b14*x62 - 2*b14*x63 + 2*b14*x66 - 2*b14*x68 - 2*b14*x69 + 2*b14*x70 + 2*b14*x71 + 2*b14*x72 + 2*b14*x73 + 2*b14*x77 - 2*b14*x79 - 2*b14*x80 + 2*b14*x81 - 2*b14*x83 - 2*b14*x84 - 2*b14*x85 - 2*b14*x86 - 2*b14*x87 - 2*b14*x88 - 2*b14*x89 + 2*b15*x46 + 2*b15*x48 - 2*b15*x50 + 2*b15*x51 - 2*b15*x54 + 2*b15*x57 + 2*b15*x59 - 2*b15*x62 - 2*b15*x63 - 2*b15*x65 - 2*b15*x69 + 2*b15*x70 + 2*b15*x73 + 2*b15*x74 - 2*b15*x76 - 2*b15*x80 + 2*b15*x82 + 2*b15*x83 - 2*b15*x89 - 2*b15*x90 + 2*b16*x46 + 6*b16 + 2*b16*x48 - 2*b16*x50 + 2* b16*x51 - 2*b16*x52 + 2*b16*x53 - 2*b16*x54 + 2*b16*x55 - 2*b16*x56 + 2* b16*x57 - 2*b16*x58 - 2*b16*x62 - 2*b16*x63 - 2*b16*x64 - 2*b16*x65 - 2* b16*x66 - 2*b16*x67 - 2*b16*x69 + 2*b16*x70 + 2*b16*x71 + 2*b16*x72 + 2* b16*x73 - 2*b16*x80 - 2*b16*x84 - 2*b16*x87 - 2*b16*x89 + 2*b17*x46 + 3* b17 + 2*b17*x48 - 2*b17*x50 + 2*b17*x51 - 2*b17*x52 - 2*b17*x54 - 2*b17* x56 + 2*b17*x57 - 2*b17*x58 + 2*b17*x59 - 2*b17*x62 - 2*b17*x63 - 2*b17* x64 - 2*b17*x65 - 2*b17*x66 - 2*b17*x67 - 2*b17*x69 + 2*b17*x70 + 2*b17* x73 + 2*b17*x74 - 2*b17*x76 - 2*b17*x77 + 2*b17*x79 - 2*b17*x80 + 2*b17* x82 + 2*b17*x83 + 2*b17*x85 + 2*b17*x86 + 2*b17*x88 - 2*b17*x89 - 2*b17* x90 - 2*b18*x47 - 10*b18 + 2*b18*x48 + 2*b18*x49 - 6*x49 + 2*b18*x51 + 2 *b18*x53 + 2*b18*x54 + 2*b18*x55 + 2*b18*x56 - 2*b18*x58 + 2*b18*x61 - 5 *x61 + 2*b18*x63 + 2*b18*x64 + 2*b18*x65 + 2*b18*x66 + 2*b18*x69 + 2*b18 *x71 + 2*b18*x72 - 2*b18*x73 + 2*b18*x76 + 2*b18*x77 - 2*b18*x78 - 2*b18 *x82 - 2*b18*x84 - 2*b18*x85 - 2*b18*x87 + 2*b18*x89 - 2*b19*x47 + 5*b19 - 2*b19*x50 - 2*b19*x56 - 2*b19*x60 - 2*b19*x62 + 2*b19*x63 + 2*b19*x64 + 2*b19*x65 + 2*b19*x66 + 2*b19*x69 + 2*b19*x70 + 2*b19*x71 - 2*b19*x74 - 2*b19*x77 - 2*b19*x79 - 2*b19*x80 - 2*b19*x81 - 2*b19*x83 - 2*b19*x84 - 2*b19*x86 + 2*b19*x90 + 2*b20*x48 - b20 + 2*b20*x49 - 2*b20*x50 + 2* b20*x51 + 2*b20*x53 + 2*b20*x55 - 2*b20*x58 - 2*b20*x60 + 2*b20*x61 + 2* b20*x70 + 2*b20*x71 + 2*b20*x72 - 2*b20*x73 - 2*b20*x74 + 2*b20*x75 - 2* b20*x78 - 2*b20*x79 - 2*b20*x82 - 2*b20*x83 - 2*b20*x85 - 2*b20*x86 + 2* b20*x89 + 2*b20*x90 - 2*b21*x47 - 5*b21 + 2*b21*x50 + 2*b21*x52 + 2*b21* x62 + 2*b21*x63 + 2*b21*x64 + 2*b21*x65 + 2*b21*x66 + 2*b21*x69 - 2*b21* x71 - 2*b21*x72 - 2*b21*x76 - 2*b21*x77 + 2*b21*x84 + 2*b21*x87 - 2*b22* x47 + 4*b22 + 2*b22*x52 + 2*b22*x54 - 2*b22*x58 - 2*b22*x60 + 2*b22*x63 + 2*b22*x64 + 2*b22*x65 + 2*b22*x66 + 2*b22*x69 + 2*b22*x70 + 2*b22*x71 - 2*b22*x73 - 2*b22*x74 - 2*b22*x77 - 2*b22*x78 - 2*b22*x79 - 2*b22*x80 - 2*b22*x81 - 2*b22*x82 - 2*b22*x83 - 2*b22*x84 - 2*b22*x85 - 2*b22*x86 + 2*b22*x89 + 2*b22*x90 - 2*b23*x47 - 5*b23 + 2*b23*x48 + 2*b23*x49 + 2 *b23*x51 + 2*b23*x53 + 2*b23*x55 + 2*b23*x56 - 2*b23*x58 - 2*b23*x60 + 2 *b23*x61 + 2*b23*x63 + 2*b23*x64 + 2*b23*x65 + 2*b23*x66 + 2*b23*x69 + 2 *b23*x72 - 2*b23*x73 - 2*b23*x74 + 2*b23*x77 - 2*b23*x78 - 2*b23*x79 + 2 *b23*x81 - 2*b23*x82 - 2*b23*x83 - 2*b23*x85 - 2*b23*x86 - 2*b23*x87 + 2 *b23*x89 + 2*b23*x90 + 2*b24*x48 + 3*b24 + 2*b24*x49 - 2*b24*x50 + 2*b24 *x51 - 2*b24*x52 + 2*b24*x53 - 2*b24*x54 + 2*b24*x55 - 2*b24*x56 - 2*b24 *x58 + 2*b24*x61 - 2*b24*x62 - 2*b24*x73 - 2*b24*x78 - 2*b24*x82 - 2*b24 *x85 + 2*b24*x89 - 2*b25*x46 + 12*b25 - 2*b25*x47 - 2*b25*x49 - 2*b25* x50 - 2*b25*x55 - 2*b25*x56 - 2*b25*x59 - 2*b25*x60 - 2*b25*x61 - 2*b25* x62 + 2*b25*x64 - 2*b25*x66 + 2*b25*x67 - 2*b25*x68 + 2*b25*x70 - 2*b25* x72 + 2*b25*x73 - 2*b25*x74 - 2*b25*x77 - 2*b25*x79 - 2*b25*x80 + 2*b25* x85 + 2*b25*x87 - 2*b25*x88 - 2*b25*x89 + 2*b25*x90 + 2*b26*x46 + 3*b26 + 2*b26*x48 - 2*b26*x50 + 2*b26*x51 - 2*b26*x58 - 2*b26*x59 - 2*b26*x60 + 2*b26*x61 - 2*b26*x63 - 2*b26*x67 - 2*b26*x68 + 2*b26*x70 - 2*b26*x74 + 2*b26*x75 - 2*b26*x78 - 2*b26*x79 - 2*b26*x88 + 2*b26*x89 + 2*b26*x90 - 2*b27*x46 - 2*b27*x48 + 2*b27*x50 + 2*b27*x52 - 2*b27*x53 - 2*b27*x54 - 2*b27*x55 - 2*b27*x56 + 2*b27*x58 + 2*b27*x62 + 2*b27*x63 + 2*b27*x64 - 2*b27*x65 - 2*b27*x66 + 2*b27*x67 + 2*b27*x69 - 2*b27*x71 - 2*b27*x72 - 2*b27*x76 - 2*b27*x77 + 2*b27*x82 + 2*b27*x84 + 2*b27*x85 + 2*b27*x87 - 2*b28*x46 + 12*b28 - 2*b28*x48 - 2*b28*x49 + 2*b28*x52 - 2*b28*x55 - 2*b28*x56 - 2*b28*x57 - 2*b28*x59 - 2*b28*x60 - 2*b28*x61 + 2*b28*x64 - 2*b28*x66 - 2*b28*x68 + 2*b28*x70 - 2*b28*x72 - 2*b28*x74 - 2*b28*x77 - 2*b28*x78 - 2*b28*x79 - 2*b28*x80 + 2*b28*x85 + 2*b28*x87 - 2*b28*x88 + 2*b28*x90 - 2*b29*x53 + 8*b29 - 2*b29*x54 - 2*b29*x59 - 2*b29*x60 - 2* b29*x65 - 2*b29*x68 - 2*b29*x71 - 2*b29*x74 - 2*b29*x76 - 2*b29*x79 + 2* b29*x82 + 2*b29*x84 - 2*b29*x88 + 2*b29*x90 + 2*b30*x46 + 12*b30 + 2*b30 *x48 - 2*b30*x50 - 2*b30*x52 - 2*b30*x53 - 2*b30*x54 - 2*b30*x55 - 2*b30 *x56 - 2*b30*x58 - 2*b30*x62 - 2*b30*x63 - 2*b30*x64 - 2*b30*x65 - 2*b30 *x66 - 2*b30*x67 - 2*b30*x69 - 2*b30*x71 - 2*b30*x72 - 2*b30*x76 - 2*b30 *x77 + 2*b30*x82 + 2*b30*x84 + 2*b30*x85 + 2*b30*x87 + 2*b31*x46 - 4*b31 + 2*b31*x49 + 2*b31*x55 + 2*b31*x59 + 2*b31*x61 - 2*b31*x63 - 2*b31*x67 - 2*b31*x68 + 2*b31*x72 - 2*b31*x73 + 2*b31*x75 - 2*b31*x85 - 2*b31*x86 + 2*b31*x88 + 2*b31*x89 + 2*b31*x90 + 2*b32*x47 - 10*b32 + 2*b32*x50 + 2*b32*x56 + 2*b32*x60 + 2*b32*x62 + 2*b32*x63 - 2*b32*x65 + 2*b32*x68 + 2*b32*x69 - 2*b32*x71 - 2*b32*x72 + 2*b32*x81 + 2*b32*x83 + 2*b32*x84 + 2*b32*x86 + 2*b32*x87 + 2*b33*x47 - 4*b33 + 2*b33*x50 + 2*b33*x56 + 2* b33*x60 + 2*b33*x62 - 2*b33*x67 - 2*b33*x73 - 2*b33*x85 + 2*b33*x88 + 2* b33*x89 + 2*b34*x46 - 11*b34 + 2*b34*x47 + 2*b34*x49 + 2*b34*x50 + 2*b34 *x55 + 2*b34*x56 + 2*b34*x59 + 2*b34*x60 + 2*b34*x61 + 2*b34*x62 - 2*b34 *x64 - 2*b34*x65 + 2*b34*x66 - 2*b34*x67 - 2*b34*x70 - 2*b34*x71 + 2*b34 *x72 - 2*b34*x73 + 2*b34*x77 + 2*b34*x79 + 2*b34*x80 + 2*b34*x81 + 2*b34 *x83 + 2*b34*x84 - 2*b34*x85 - 2*b34*x86 - 2*b34*x87 + 2*b34*x88 + 2*b34 *x89 + 2*b35*x46 - 4*b35 + 2*b35*x49 + 2*b35*x55 + 2*b35*x59 + 2*b35*x61 - 2*b35*x63 - 2*b35*x64 - 2*b35*x65 - 2*b35*x66 - 2*b35*x67 - 2*b35*x69 - 2*b35*x70 - 2*b35*x71 - 2*b35*x73 + 2*b35*x74 + 2*b35*x77 + 2*b35*x79 + 2*b35*x80 + 2*b35*x81 + 2*b35*x83 + 2*b35*x84 - 2*b35*x85 + 2*b35*x86 + 2*b35*x88 + 2*b35*x89 - 2*b35*x90 - 2*b36*x46 - 4*b36 - 2*b36*x48 + 2 *b36*x50 - 2*b36*x53 - 2*b36*x55 + 2*b36*x58 + 2*b36*x60 + 2*b36*x63 + 2 *b36*x67 + 2*b36*x68 - 2*b36*x71 - 2*b36*x72 + 2*b36*x82 + 2*b36*x83 + 2 *b36*x85 + 2*b36*x86 - 2*b37*x46 + 3*b37 - 2*b37*x48 - 2*b37*x49 + 2*b37 *x50 - 2*b37*x55 - 2*b37*x57 + 2*b37*x58 - 2*b37*x59 + 2*b37*x60 - 2*b37 *x61 + 2*b37*x63 + 2*b37*x67 + 2*b37*x68 - 2*b37*x72 - 2*b37*x75 + 2*b37 *x85 + 2*b37*x86 - 2*b37*x89 - 2*b37*x90 - 2*b38*x46 - 2*b38*x48 + 2*b38 *x50 - 2*b38*x51 - 2*b38*x53 + 2*b38*x58 + 2*b38*x60 - 2*b38*x61 + 2*b38 *x63 + 2*b38*x67 + 2*b38*x68 - 2*b38*x70 - 2*b38*x71 - 2*b38*x75 + 2*b38 *x78 + 2*b38*x79 + 2*b38*x82 + 2*b38*x83 - 2*b38*x89 - 2*b38*x90 - 2*b39 *x51 + b39 - 2*b39*x53 - 2*b39*x55 + 2*b39*x59 - 2*b39*x61 - 2*b39*x70 - 2*b39*x71 - 2*b39*x72 + 2*b39*x74 - 2*b39*x75 + 2*b39*x78 + 2*b39*x79 + 2*b39*x82 + 2*b39*x83 + 2*b39*x85 + 2*b39*x86 + 2*b39*x88 - 2*b39*x89 - 2*b39*x90 - 2*b40*x50 + 11*b40 + 2*b40*x54 - 2*b40*x58 - 2*b40*x60 - 2*b40*x62 - 2*b40*x63 + 2*b40*x65 - 2*b40*x67 - 2*b40*x68 - 2*b40*x69 + 2*b40*x71 + 2*b40*x72 - 2*b40*x81 - 2*b40*x82 - 2*b40*x83 - 2*b40*x84 - 2*b40*x85 - 2*b40*x86 - 2*b40*x87 + 2*b41*x46 + 5*b41 + 2*b41*x48 - 2* b41*x50 - 2*b41*x52 + 2*b41*x53 + 2*b41*x55 + 2*b41*x56 - 2*b41*x58 - 2* b41*x60 - 2*b41*x62 - 2*b41*x63 - 2*b41*x64 + 2*b41*x66 - 2*b41*x67 - 2* b41*x68 - 2*b41*x69 + 2*b41*x71 + 2*b41*x72 + 2*b41*x76 + 2*b41*x77 + 2* b41*x81 - 2*b41*x82 - 2*b41*x83 - 2*b41*x84 - 2*b41*x85 - 2*b41*x86 - 2* b41*x87 + 2*b42*x46 + 8*b42 + 2*b42*x48 - 2*b42*x50 - 2*b42*x52 + 2*b42* x53 - 2*b42*x54 + 2*b42*x55 - 2*b42*x56 - 2*b42*x58 - 2*b42*x62 - 2*b42* x63 - 2*b42*x64 - 2*b42*x65 - 2*b42*x66 - 2*b42*x67 - 2*b42*x69 + 2*b42* x71 + 2*b42*x72 + 2*b42*x76 + 2*b42*x77 - 2*b42*x82 - 2*b42*x84 - 2*b42* x85 - 2*b42*x87 + 2*b43*x46 - 9*b43 + 2*b43*x48 + 2*b43*x49 - 2*b43*x52 - 2*b43*x54 + 2*b43*x55 + 2*b43*x56 + 2*b43*x57 + 2*b43*x59 + 2*b43*x61 - 2*b43*x64 - 2*b43*x65 + 2*b43*x66 - 2*b43*x70 - 2*b43*x71 + 2*b43*x72 + 2*b43*x77 + 2*b43*x78 + 2*b43*x79 + 2*b43*x80 + 2*b43*x81 + 2*b43*x82 + 2*b43*x83 + 2*b43*x84 - 2*b43*x85 - 2*b43*x86 - 2*b43*x87 + 2*b44*x46 - 3*b44 + 2*b44*x48 + 2*b44*x49 - 2*b44*x50 - 2*b44*x52 - 2*b44*x54 + 2 *b44*x55 - 2*b44*x56 + 2*b44*x57 - 2*b44*x58 + 2*b44*x59 + 2*b44*x61 - 2 *b44*x62 - 2*b44*x63 - 2*b44*x64 - 2*b44*x65 - 2*b44*x66 - 2*b44*x67 - 2 *b44*x69 - 2*b44*x70 - 2*b44*x71 + 2*b44*x74 + 2*b44*x77 + 2*b44*x78 + 2 *b44*x79 + 2*b44*x80 + 2*b44*x81 + 2*b44*x82 + 2*b44*x83 + 2*b44*x84 + 2 *b44*x86 + 2*b44*x88 - 2*b44*x90 + 2*x45*x46 + 7*x45 + 2*x45*x48 - 2*x45 *x50 - 2*x45*x52 - 2*x45*x54 - 2*x45*x55 - 2*x45*x56 - 2*x45*x58 + 2*x45 *x59 - 2*x45*x62 - 2*x45*x63 - 2*x45*x64 - 2*x45*x65 - 2*x45*x66 - 2*x45 *x67 - 2*x45*x69 - 2*x45*x72 + 2*x45*x74 - 2*x45*x77 + 2*x45*x79 - 2*x45 *x81 + 2*x45*x83 + 2*x45*x85 + 2*x45*x86 + 2*x45*x87 + 2*x45*x88 - 2*x45 *x90 + objvar >= 755 } } Procedure MainInitialization { Body: { x45.upper := 1; x46.upper := 1; x47.upper := 1; x48.upper := 1; x49.upper := 1; x50.upper := 1; x51.upper := 1; x52.upper := 1; x53.upper := 1; x54.upper := 1; x55.upper := 1; x56.upper := 1; x57.upper := 1; x58.upper := 1; x59.upper := 1; x60.upper := 1; x61.upper := 1; x62.upper := 1; x63.upper := 1; x64.upper := 1; x65.upper := 1; x66.upper := 1; x67.upper := 1; x68.upper := 1; x69.upper := 1; x70.upper := 1; x71.upper := 1; x72.upper := 1; x73.upper := 1; x74.upper := 1; x75.upper := 1; x76.upper := 1; x77.upper := 1; x78.upper := 1; x79.upper := 1; x80.upper := 1; x81.upper := 1; x82.upper := 1; x83.upper := 1; x84.upper := 1; x85.upper := 1; x86.upper := 1; x87.upper := 1; x88.upper := 1; x89.upper := 1; x90.upper := 1; } } MathematicalProgram edgecross10_060 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve edgecross10_060; } } Procedure MainTermination { Body: { return 1; } } }