## ams_version=1.0 Model Main_edgecross10_070 { 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 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 + b45 <= 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 + b45 <= 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 + b45 <= 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 + b45 <= 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 + b45 <= 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 + b45 <= 1; } Constraint e117 { Definition: b40 - b41 + b43 <= 1; } Constraint e118 { Definition: b40 - b42 + b44 <= 1; } Constraint e119 { Definition: b41 - b42 + b45 <= 1; } Constraint e120 { Definition: b43 - b44 + b45 <= 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 - b45 <= 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 - b45 <= 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 - b45 <= 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 - b45 <= 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 - b45 <= 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 - b45 <= 0; } Constraint e237 { Definition: - b40 + b41 - b43 <= 0; } Constraint e238 { Definition: - b40 + b42 - b44 <= 0; } Constraint e239 { Definition: - b41 + b42 - b45 <= 0; } Constraint e240 { Definition: - b43 + b44 - b45 <= 0; } Constraint e241 { Definition: - b46 + b47 + b48 <= 1; } Constraint e242 { Definition: b48 - b49 + b50 <= 1; } Constraint e243 { Definition: b48 - b51 + b52 <= 1; } Constraint e244 { Definition: b48 - b53 + b54 <= 1; } Constraint e245 { Definition: b48 - b55 + b56 <= 1; } Constraint e246 { Definition: b48 - b57 + b58 <= 1; } Constraint e247 { Definition: b48 - b59 + b60 <= 1; } Constraint e248 { Definition: b48 - b61 + b62 <= 1; } Constraint e249 { Definition: b46 - b49 + b63 <= 1; } Constraint e250 { Definition: b46 - b51 + b64 <= 1; } Constraint e251 { Definition: b46 - b53 + b65 <= 1; } Constraint e252 { Definition: b46 - b55 + b66 <= 1; } Constraint e253 { Definition: b46 - b57 + b67 <= 1; } Constraint e254 { Definition: b46 - b59 + b68 <= 1; } Constraint e255 { Definition: b46 - b61 + b69 <= 1; } Constraint e256 { Definition: b49 - b51 + b70 <= 1; } Constraint e257 { Definition: b49 - b53 + b71 <= 1; } Constraint e258 { Definition: b49 - b55 + b72 <= 1; } Constraint e259 { Definition: b49 - b57 + b73 <= 1; } Constraint e260 { Definition: b49 - b59 + b74 <= 1; } Constraint e261 { Definition: b49 - b61 + b75 <= 1; } Constraint e262 { Definition: b51 - b53 + b76 <= 1; } Constraint e263 { Definition: b51 - b55 + b77 <= 1; } Constraint e264 { Definition: b51 - b57 + b78 <= 1; } Constraint e265 { Definition: b51 - b59 + b79 <= 1; } Constraint e266 { Definition: b51 - b61 + b80 <= 1; } Constraint e267 { Definition: b53 - b55 + b81 <= 1; } Constraint e268 { Definition: b53 - b57 + b82 <= 1; } Constraint e269 { Definition: b53 - b59 + b83 <= 1; } Constraint e270 { Definition: b53 - b61 + b84 <= 1; } Constraint e271 { Definition: b55 - b57 + b85 <= 1; } Constraint e272 { Definition: b55 - b59 + b86 <= 1; } Constraint e273 { Definition: b55 - b61 + b87 <= 1; } Constraint e274 { Definition: b57 - b59 + b88 <= 1; } Constraint e275 { Definition: b57 - b61 + b89 <= 1; } Constraint e276 { Definition: b59 - b61 + b90 <= 1; } Constraint e277 { Definition: b47 - b50 + b63 <= 1; } Constraint e278 { Definition: b47 - b52 + b64 <= 1; } Constraint e279 { Definition: b47 - b54 + b65 <= 1; } Constraint e280 { Definition: b47 - b56 + b66 <= 1; } Constraint e281 { Definition: b47 - b58 + b67 <= 1; } Constraint e282 { Definition: b47 - b60 + b68 <= 1; } Constraint e283 { Definition: b47 - b62 + b69 <= 1; } Constraint e284 { Definition: b50 - b52 + b70 <= 1; } Constraint e285 { Definition: b50 - b54 + b71 <= 1; } Constraint e286 { Definition: b50 - b56 + b72 <= 1; } Constraint e287 { Definition: b50 - b58 + b73 <= 1; } Constraint e288 { Definition: b50 - b60 + b74 <= 1; } Constraint e289 { Definition: b50 - b62 + b75 <= 1; } Constraint e290 { Definition: b52 - b54 + b76 <= 1; } Constraint e291 { Definition: b52 - b56 + b77 <= 1; } Constraint e292 { Definition: b52 - b58 + b78 <= 1; } Constraint e293 { Definition: b52 - b60 + b79 <= 1; } Constraint e294 { Definition: b52 - b62 + b80 <= 1; } Constraint e295 { Definition: b54 - b56 + b81 <= 1; } Constraint e296 { Definition: b54 - b58 + b82 <= 1; } Constraint e297 { Definition: b54 - b60 + b83 <= 1; } Constraint e298 { Definition: b54 - b62 + b84 <= 1; } Constraint e299 { Definition: b56 - b58 + b85 <= 1; } Constraint e300 { Definition: b56 - b60 + b86 <= 1; } Constraint e301 { Definition: b56 - b62 + b87 <= 1; } Constraint e302 { Definition: b58 - b60 + b88 <= 1; } Constraint e303 { Definition: b58 - b62 + b89 <= 1; } Constraint e304 { Definition: b60 - b62 + b90 <= 1; } Constraint e305 { Definition: b63 - b64 + b70 <= 1; } Constraint e306 { Definition: b63 - b65 + b71 <= 1; } Constraint e307 { Definition: b63 - b66 + b72 <= 1; } Constraint e308 { Definition: b63 - b67 + b73 <= 1; } Constraint e309 { Definition: b63 - b68 + b74 <= 1; } Constraint e310 { Definition: b63 - b69 + b75 <= 1; } Constraint e311 { Definition: b64 - b65 + b76 <= 1; } Constraint e312 { Definition: b64 - b66 + b77 <= 1; } Constraint e313 { Definition: b64 - b67 + b78 <= 1; } Constraint e314 { Definition: b64 - b68 + b79 <= 1; } Constraint e315 { Definition: b64 - b69 + b80 <= 1; } Constraint e316 { Definition: b65 - b66 + b81 <= 1; } Constraint e317 { Definition: b65 - b67 + b82 <= 1; } Constraint e318 { Definition: b65 - b68 + b83 <= 1; } Constraint e319 { Definition: b65 - b69 + b84 <= 1; } Constraint e320 { Definition: b66 - b67 + b85 <= 1; } Constraint e321 { Definition: b66 - b68 + b86 <= 1; } Constraint e322 { Definition: b66 - b69 + b87 <= 1; } Constraint e323 { Definition: b67 - b68 + b88 <= 1; } Constraint e324 { Definition: b67 - b69 + b89 <= 1; } Constraint e325 { Definition: b68 - b69 + b90 <= 1; } Constraint e326 { Definition: b70 - b71 + b76 <= 1; } Constraint e327 { Definition: b70 - b72 + b77 <= 1; } Constraint e328 { Definition: b70 - b73 + b78 <= 1; } Constraint e329 { Definition: b70 - b74 + b79 <= 1; } Constraint e330 { Definition: b70 - b75 + b80 <= 1; } Constraint e331 { Definition: b71 - b72 + b81 <= 1; } Constraint e332 { Definition: b71 - b73 + b82 <= 1; } Constraint e333 { Definition: b71 - b74 + b83 <= 1; } Constraint e334 { Definition: b71 - b75 + b84 <= 1; } Constraint e335 { Definition: b72 - b73 + b85 <= 1; } Constraint e336 { Definition: b72 - b74 + b86 <= 1; } Constraint e337 { Definition: b72 - b75 + b87 <= 1; } Constraint e338 { Definition: b73 - b74 + b88 <= 1; } Constraint e339 { Definition: b73 - b75 + b89 <= 1; } Constraint e340 { Definition: b74 - b75 + b90 <= 1; } Constraint e341 { Definition: b76 - b77 + b81 <= 1; } Constraint e342 { Definition: b76 - b78 + b82 <= 1; } Constraint e343 { Definition: b76 - b79 + b83 <= 1; } Constraint e344 { Definition: b76 - b80 + b84 <= 1; } Constraint e345 { Definition: b77 - b78 + b85 <= 1; } Constraint e346 { Definition: b77 - b79 + b86 <= 1; } Constraint e347 { Definition: b77 - b80 + b87 <= 1; } Constraint e348 { Definition: b78 - b79 + b88 <= 1; } Constraint e349 { Definition: b78 - b80 + b89 <= 1; } Constraint e350 { Definition: b79 - b80 + b90 <= 1; } Constraint e351 { Definition: b81 - b82 + b85 <= 1; } Constraint e352 { Definition: b81 - b83 + b86 <= 1; } Constraint e353 { Definition: b81 - b84 + b87 <= 1; } Constraint e354 { Definition: b82 - b83 + b88 <= 1; } Constraint e355 { Definition: b82 - b84 + b89 <= 1; } Constraint e356 { Definition: b83 - b84 + b90 <= 1; } Constraint e357 { Definition: b85 - b86 + b88 <= 1; } Constraint e358 { Definition: b85 - b87 + b89 <= 1; } Constraint e359 { Definition: b86 - b87 + b90 <= 1; } Constraint e360 { Definition: b88 - b89 + b90 <= 1; } Constraint e361 { Definition: b46 - b47 - b48 <= 0; } Constraint e362 { Definition: - b48 + b49 - b50 <= 0; } Constraint e363 { Definition: - b48 + b51 - b52 <= 0; } Constraint e364 { Definition: - b48 + b53 - b54 <= 0; } Constraint e365 { Definition: - b48 + b55 - b56 <= 0; } Constraint e366 { Definition: - b48 + b57 - b58 <= 0; } Constraint e367 { Definition: - b48 + b59 - b60 <= 0; } Constraint e368 { Definition: - b48 + b61 - b62 <= 0; } Constraint e369 { Definition: - b46 + b49 - b63 <= 0; } Constraint e370 { Definition: - b46 + b51 - b64 <= 0; } Constraint e371 { Definition: - b46 + b53 - b65 <= 0; } Constraint e372 { Definition: - b46 + b55 - b66 <= 0; } Constraint e373 { Definition: - b46 + b57 - b67 <= 0; } Constraint e374 { Definition: - b46 + b59 - b68 <= 0; } Constraint e375 { Definition: - b46 + b61 - b69 <= 0; } Constraint e376 { Definition: - b49 + b51 - b70 <= 0; } Constraint e377 { Definition: - b49 + b53 - b71 <= 0; } Constraint e378 { Definition: - b49 + b55 - b72 <= 0; } Constraint e379 { Definition: - b49 + b57 - b73 <= 0; } Constraint e380 { Definition: - b49 + b59 - b74 <= 0; } Constraint e381 { Definition: - b49 + b61 - b75 <= 0; } Constraint e382 { Definition: - b51 + b53 - b76 <= 0; } Constraint e383 { Definition: - b51 + b55 - b77 <= 0; } Constraint e384 { Definition: - b51 + b57 - b78 <= 0; } Constraint e385 { Definition: - b51 + b59 - b79 <= 0; } Constraint e386 { Definition: - b51 + b61 - b80 <= 0; } Constraint e387 { Definition: - b53 + b55 - b81 <= 0; } Constraint e388 { Definition: - b53 + b57 - b82 <= 0; } Constraint e389 { Definition: - b53 + b59 - b83 <= 0; } Constraint e390 { Definition: - b53 + b61 - b84 <= 0; } Constraint e391 { Definition: - b55 + b57 - b85 <= 0; } Constraint e392 { Definition: - b55 + b59 - b86 <= 0; } Constraint e393 { Definition: - b55 + b61 - b87 <= 0; } Constraint e394 { Definition: - b57 + b59 - b88 <= 0; } Constraint e395 { Definition: - b57 + b61 - b89 <= 0; } Constraint e396 { Definition: - b59 + b61 - b90 <= 0; } Constraint e397 { Definition: - b47 + b50 - b63 <= 0; } Constraint e398 { Definition: - b47 + b52 - b64 <= 0; } Constraint e399 { Definition: - b47 + b54 - b65 <= 0; } Constraint e400 { Definition: - b47 + b56 - b66 <= 0; } Constraint e401 { Definition: - b47 + b58 - b67 <= 0; } Constraint e402 { Definition: - b47 + b60 - b68 <= 0; } Constraint e403 { Definition: - b47 + b62 - b69 <= 0; } Constraint e404 { Definition: - b50 + b52 - b70 <= 0; } Constraint e405 { Definition: - b50 + b54 - b71 <= 0; } Constraint e406 { Definition: - b50 + b56 - b72 <= 0; } Constraint e407 { Definition: - b50 + b58 - b73 <= 0; } Constraint e408 { Definition: - b50 + b60 - b74 <= 0; } Constraint e409 { Definition: - b50 + b62 - b75 <= 0; } Constraint e410 { Definition: - b52 + b54 - b76 <= 0; } Constraint e411 { Definition: - b52 + b56 - b77 <= 0; } Constraint e412 { Definition: - b52 + b58 - b78 <= 0; } Constraint e413 { Definition: - b52 + b60 - b79 <= 0; } Constraint e414 { Definition: - b52 + b62 - b80 <= 0; } Constraint e415 { Definition: - b54 + b56 - b81 <= 0; } Constraint e416 { Definition: - b54 + b58 - b82 <= 0; } Constraint e417 { Definition: - b54 + b60 - b83 <= 0; } Constraint e418 { Definition: - b54 + b62 - b84 <= 0; } Constraint e419 { Definition: - b56 + b58 - b85 <= 0; } Constraint e420 { Definition: - b56 + b60 - b86 <= 0; } Constraint e421 { Definition: - b56 + b62 - b87 <= 0; } Constraint e422 { Definition: - b58 + b60 - b88 <= 0; } Constraint e423 { Definition: - b58 + b62 - b89 <= 0; } Constraint e424 { Definition: - b60 + b62 - b90 <= 0; } Constraint e425 { Definition: - b63 + b64 - b70 <= 0; } Constraint e426 { Definition: - b63 + b65 - b71 <= 0; } Constraint e427 { Definition: - b63 + b66 - b72 <= 0; } Constraint e428 { Definition: - b63 + b67 - b73 <= 0; } Constraint e429 { Definition: - b63 + b68 - b74 <= 0; } Constraint e430 { Definition: - b63 + b69 - b75 <= 0; } Constraint e431 { Definition: - b64 + b65 - b76 <= 0; } Constraint e432 { Definition: - b64 + b66 - b77 <= 0; } Constraint e433 { Definition: - b64 + b67 - b78 <= 0; } Constraint e434 { Definition: - b64 + b68 - b79 <= 0; } Constraint e435 { Definition: - b64 + b69 - b80 <= 0; } Constraint e436 { Definition: - b65 + b66 - b81 <= 0; } Constraint e437 { Definition: - b65 + b67 - b82 <= 0; } Constraint e438 { Definition: - b65 + b68 - b83 <= 0; } Constraint e439 { Definition: - b65 + b69 - b84 <= 0; } Constraint e440 { Definition: - b66 + b67 - b85 <= 0; } Constraint e441 { Definition: - b66 + b68 - b86 <= 0; } Constraint e442 { Definition: - b66 + b69 - b87 <= 0; } Constraint e443 { Definition: - b67 + b68 - b88 <= 0; } Constraint e444 { Definition: - b67 + b69 - b89 <= 0; } Constraint e445 { Definition: - b68 + b69 - b90 <= 0; } Constraint e446 { Definition: - b70 + b71 - b76 <= 0; } Constraint e447 { Definition: - b70 + b72 - b77 <= 0; } Constraint e448 { Definition: - b70 + b73 - b78 <= 0; } Constraint e449 { Definition: - b70 + b74 - b79 <= 0; } Constraint e450 { Definition: - b70 + b75 - b80 <= 0; } Constraint e451 { Definition: - b71 + b72 - b81 <= 0; } Constraint e452 { Definition: - b71 + b73 - b82 <= 0; } Constraint e453 { Definition: - b71 + b74 - b83 <= 0; } Constraint e454 { Definition: - b71 + b75 - b84 <= 0; } Constraint e455 { Definition: - b72 + b73 - b85 <= 0; } Constraint e456 { Definition: - b72 + b74 - b86 <= 0; } Constraint e457 { Definition: - b72 + b75 - b87 <= 0; } Constraint e458 { Definition: - b73 + b74 - b88 <= 0; } Constraint e459 { Definition: - b73 + b75 - b89 <= 0; } Constraint e460 { Definition: - b74 + b75 - b90 <= 0; } Constraint e461 { Definition: - b76 + b77 - b81 <= 0; } Constraint e462 { Definition: - b76 + b78 - b82 <= 0; } Constraint e463 { Definition: - b76 + b79 - b83 <= 0; } Constraint e464 { Definition: - b76 + b80 - b84 <= 0; } Constraint e465 { Definition: - b77 + b78 - b85 <= 0; } Constraint e466 { Definition: - b77 + b79 - b86 <= 0; } Constraint e467 { Definition: - b77 + b80 - b87 <= 0; } Constraint e468 { Definition: - b78 + b79 - b88 <= 0; } Constraint e469 { Definition: - b78 + b80 - b89 <= 0; } Constraint e470 { Definition: - b79 + b80 - b90 <= 0; } Constraint e471 { Definition: - b81 + b82 - b85 <= 0; } Constraint e472 { Definition: - b81 + b83 - b86 <= 0; } Constraint e473 { Definition: - b81 + b84 - b87 <= 0; } Constraint e474 { Definition: - b82 + b83 - b88 <= 0; } Constraint e475 { Definition: - b82 + b84 - b89 <= 0; } Constraint e476 { Definition: - b83 + b84 - b90 <= 0; } Constraint e477 { Definition: - b85 + b86 - b88 <= 0; } Constraint e478 { Definition: - b85 + b87 - b89 <= 0; } Constraint e479 { Definition: - b86 + b87 - b90 <= 0; } Constraint e480 { Definition: - b88 + b89 - b90 <= 0; } Constraint e481 { Definition: { 2*b1*b47 - 2*b1 + 3*b47 - 2*b1*b50 + 13*b50 + 2*b1*b58 + 10*b58 + 2*b1* b60 + 2*b60 - 2*b1*b62 + 18*b62 - 2*b1*b63 + 9*b63 - 2*b1*b64 - b64 - 2* b1*b65 + 7*b65 - 2*b1*b66 + 4*b66 - 2*b1*b69 + 14*b69 + 2*b1*b70 - 11* b70 + 2*b1*b71 + b71 + 2*b1*b72 - 2*b72 + 2*b1*b73 + 2*b1*b74 - 10*b74 + 2*b1*b78 + 10*b78 + 2*b1*b79 - 2*b1*b80 + 17*b80 + 2*b1*b82 + b82 + 2 *b1*b83 - 9*b83 - 2*b1*b84 + 6*b84 + 2*b1*b85 + 2*b85 + 2*b1*b86 - 5*b86 - 2*b1*b87 + 7*b87 - 2*b1*b89 + 7*b89 - 2*b1*b90 + 15*b90 + 2*b2*b47 + 5*b2 - 2*b2*b54 + 9*b54 - 2*b2*b56 + 6*b56 + 2*b2*b58 + 2*b2*b60 - 2*b2* b62 - 2*b2*b63 - 2*b2*b64 - 2*b2*b65 - 2*b2*b66 - 2*b2*b69 - 2*b2*b71 - 2*b2*b72 + 2*b2*b73 + 2*b2*b74 - 2*b2*b75 + 8*b75 - 2*b2*b76 + 10*b76 - 2*b2*b77 + 6*b77 + 2*b2*b78 + 2*b2*b79 - 2*b2*b80 + 2*b2*b82 + 2*b2*b83 + 2*b2*b85 + 2*b2*b86 - 2*b2*b89 - 2*b2*b90 - 2*b3*b50 - 5*b3 + 2*b3* b54 + 2*b3*b56 - 2*b3*b63 + 2*b3*b65 + 2*b3*b66 + 2*b3*b70 + 2*b3*b71 + 2*b3*b72 + 2*b3*b73 + 2*b3*b74 + 2*b3*b76 + 2*b3*b77 - 2*b3*b82 - 2*b3* b83 - 2*b3*b85 - 2*b3*b86 + 2*b4*b46 - 5*b4 - 14*b46 + 2*b4*b48 - 16*b48 - 2*b4*b50 + 2*b4*b51 - 18*b51 + 2*b4*b53 - 9*b53 + 2*b4*b54 + 2*b4*b55 - 8*b55 + 2*b4*b56 + 2*b4*b57 - 9*b57 + 2*b4*b59 - 16*b59 - 2*b4*b62 - 2*b4*b63 + 2*b4*b65 + 2*b4*b66 - 2*b4*b69 + 2*b4*b70 + 2*b4*b71 + 2*b4* b72 + 2*b4*b73 + 2*b4*b74 + 2*b4*b76 + 2*b4*b77 - 2*b4*b80 - 2*b4*b82 - 2*b4*b83 - 2*b4*b84 - 2*b4*b85 - 2*b4*b86 - 2*b4*b87 - 2*b4*b89 - 2*b4* b90 + 2*b5*b46 + 2*b5*b48 + 2*b5*b49 - 12*b49 + 2*b5*b51 + 2*b5*b57 + 2* b5*b59 - 2*b5*b62 - 2*b5*b69 - 2*b5*b75 - 2*b5*b80 - 2*b5*b89 - 2*b5*b90 - 2*b6*b47 + 6*b6 - 2*b6*b50 - 2*b6*b52 + 3*b52 - 2*b6*b54 - 2*b6*b56 - 2*b6*b60 - 2*b6*b62 - 2*b6*b63 + 2*b6*b67 + 8*b67 - 2*b6*b69 + 2*b6* b70 + 2*b6*b71 + 2*b6*b72 + 2*b6*b73 + 2*b6*b74 + 2*b6*b78 - 2*b6*b80 + 2*b6*b82 - 2*b6*b84 + 2*b6*b85 - 2*b6*b87 - 2*b6*b88 - 10*b88 - 2*b6*b89 - 2*b6*b90 - 2*b7*b47 + 12*b7 - 2*b7*b50 - 2*b7*b52 - 2*b7*b54 - 2*b7* b56 - 2*b7*b60 - 2*b7*b62 - 2*b7*b65 - 2*b7*b66 + 2*b7*b67 - 2*b7*b69 - 2*b7*b71 - 2*b7*b72 + 2*b7*b73 - 2*b7*b75 - 2*b7*b76 - 2*b7*b77 + 2*b7* b78 - 2*b7*b80 + 2*b7*b82 + 2*b7*b83 + 2*b7*b85 + 2*b7*b86 - 2*b7*b88 - 2*b7*b89 - 2*b7*b90 + 2*b8*b46 - 2*b8 + 2*b8*b48 - 2*b8*b50 + 2*b8*b51 - 2*b8*b52 + 2*b8*b53 - 2*b8*b54 + 2*b8*b55 + 2*b8*b57 - 2*b8*b58 + 2* b8*b59 - 2*b8*b60 - 2*b8*b63 - 2*b8*b64 - 2*b8*b65 - 2*b8*b67 - 2*b8*b68 - b68 + 2*b8*b70 + 2*b8*b71 + 2*b8*b72 + 2*b8*b73 + 2*b8*b74 + 2*b8*b77 + 2*b8*b81 - b81 - 2*b8*b85 - 2*b8*b86 + 2*b9*b46 + 4*b9 + 2*b9*b48 + 2 *b9*b49 - 2*b9*b50 + 2*b9*b51 - 2*b9*b52 - 2*b9*b54 + 2*b9*b57 - 2*b9* b58 + 2*b9*b59 - 2*b9*b60 - 2*b9*b63 - 2*b9*b64 - 2*b9*b65 - 2*b9*b67 - 2*b9*b68 - 2*b9*b71 - 2*b9*b76 + 2*b9*b82 + 2*b9*b83 + 2*b10*b46 - 4*b10 + 2*b10*b48 + 2*b10*b51 + 2*b10*b52 + 2*b10*b53 + 2*b10*b55 + 2*b10*b57 + 2*b10*b59 + 2*b10*b60 - 2*b10*b62 + 2*b10*b64 + 2*b10*b68 - 2*b10*b69 - 2*b10*b76 - 2*b10*b77 - 2*b10*b78 - 2*b10*b80 + 2*b10*b83 - 2*b10*b84 + 2*b10*b86 - 2*b10*b87 + 2*b10*b88 - 2*b10*b89 - 2*b10*b90 + 2*b11*b46 - b11 + 2*b11*b48 + 2*b11*b49 + 2*b11*b50 + 2*b11*b51 + 2*b11*b52 - 2* b11*b54 - 2*b11*b56 + 2*b11*b57 + 2*b11*b59 + 2*b11*b60 - 2*b11*b62 + 2* b11*b63 + 2*b11*b64 - 2*b11*b65 - 2*b11*b66 + 2*b11*b68 - 2*b11*b69 - 2* b11*b71 - 2*b11*b72 - 2*b11*b73 - 2*b11*b75 - 2*b11*b76 - 2*b11*b77 - 2* b11*b78 - 2*b11*b80 + 2*b11*b82 + 2*b11*b83 + 2*b11*b85 + 2*b11*b86 + 2* b11*b88 - 2*b11*b89 - 2*b11*b90 - 2*b12*b50 + 6*b12 + 2*b12*b52 + 2*b12* b54 - 2*b12*b62 - 2*b12*b63 + 2*b12*b64 + 2*b12*b65 - 2*b12*b69 + 2*b12* b70 + 2*b12*b71 + 2*b12*b72 + 2*b12*b73 + 2*b12*b74 - 2*b12*b77 - 2*b12* b78 - 2*b12*b79 - 2*b12*b80 - 2*b12*b81 - 2*b12*b82 - 2*b12*b83 - 2*b12* b84 - 2*b12*b87 - 2*b12*b89 - 2*b12*b90 + 2*b13*b52 + 7*b13 - 2*b13*b56 - 2*b13*b62 + 2*b13*b64 - 2*b13*b66 - 2*b13*b69 + 2*b13*b70 - 2*b13*b72 - 2*b13*b75 - 2*b13*b77 - 2*b13*b78 - 2*b13*b79 - 2*b13*b80 + 2*b13*b85 + 2*b13*b86 - 2*b13*b89 - 2*b13*b90 + 2*b14*b46 - 5*b14 + 2*b14*b48 - 2 *b14*b50 + 2*b14*b51 + 2*b14*b53 + 2*b14*b55 + 2*b14*b56 + 2*b14*b57 + 2 *b14*b59 - 2*b14*b62 - 2*b14*b63 + 2*b14*b66 - 2*b14*b69 + 2*b14*b70 + 2 *b14*b71 + 2*b14*b72 + 2*b14*b73 + 2*b14*b74 + 2*b14*b77 - 2*b14*b80 + 2 *b14*b81 - 2*b14*b84 - 2*b14*b85 - 2*b14*b86 - 2*b14*b87 - 2*b14*b89 - 2 *b14*b90 + 2*b15*b46 + 2*b15 + 2*b15*b48 + 2*b15*b49 + 2*b15*b51 - 2*b15 *b54 + 2*b15*b57 + 2*b15*b59 - 2*b15*b62 - 2*b15*b65 - 2*b15*b69 - 2*b15 *b71 - 2*b15*b75 - 2*b15*b76 - 2*b15*b80 + 2*b15*b82 + 2*b15*b83 - 2*b15 *b89 - 2*b15*b90 + 2*b16*b46 + b16 + 2*b16*b48 - 2*b16*b50 + 2*b16*b51 - 2*b16*b52 + 2*b16*b53 - 2*b16*b54 + 2*b16*b55 - 2*b16*b56 + 2*b16*b57 - 2*b16*b58 + 2*b16*b59 - 2*b16*b62 - 2*b16*b63 - 2*b16*b64 - 2*b16*b65 - 2*b16*b66 - 2*b16*b67 - 2*b16*b69 + 2*b16*b70 + 2*b16*b71 + 2*b16*b72 + 2*b16*b73 + 2*b16*b74 + 2*b16*b79 - 2*b16*b80 + 2*b16*b83 - 2*b16*b84 + 2*b16*b86 - 2*b16*b87 + 2*b16*b88 - 2*b16*b89 - 2*b16*b90 + 2*b17*b46 + 7*b17 + 2*b17*b48 + 2*b17*b49 - 2*b17*b50 + 2*b17*b51 - 2*b17*b52 - 2 *b17*b54 - 2*b17*b56 + 2*b17*b57 - 2*b17*b58 + 2*b17*b59 - 2*b17*b62 - 2 *b17*b63 - 2*b17*b64 - 2*b17*b65 - 2*b17*b66 - 2*b17*b67 - 2*b17*b69 - 2 *b17*b71 - 2*b17*b72 + 2*b17*b74 - 2*b17*b75 - 2*b17*b76 - 2*b17*b77 + 2 *b17*b79 - 2*b17*b80 + 2*b17*b82 + 2*b17*b83 + 2*b17*b85 + 2*b17*b86 + 2 *b17*b88 - 2*b17*b89 - 2*b17*b90 - 2*b18*b47 - 6*b18 + 2*b18*b48 + 2*b18 *b49 + 2*b18*b51 + 2*b18*b53 + 2*b18*b54 + 2*b18*b55 + 2*b18*b56 - 2*b18 *b58 - 2*b18*b60 + 2*b18*b61 - 5*b61 + 2*b18*b63 + 2*b18*b64 + 2*b18*b65 + 2*b18*b66 + 2*b18*b69 + 2*b18*b71 + 2*b18*b72 - 2*b18*b73 - 2*b18*b74 + 2*b18*b76 + 2*b18*b77 - 2*b18*b78 - 2*b18*b79 - 2*b18*b82 - 2*b18*b83 - 2*b18*b84 - 2*b18*b85 - 2*b18*b86 - 2*b18*b87 + 2*b18*b89 + 2*b18*b90 - 2*b19*b47 + 5*b19 - 2*b19*b50 - 2*b19*b52 - 2*b19*b54 - 2*b19*b56 - 2 *b19*b60 - 2*b19*b62 + 2*b19*b63 + 2*b19*b64 + 2*b19*b65 + 2*b19*b66 + 2 *b19*b69 - 2*b19*b74 - 2*b19*b79 - 2*b19*b83 - 2*b19*b86 + 2*b19*b90 + 2 *b20*b48 - b20 + 2*b20*b49 - 2*b20*b50 + 2*b20*b51 - 2*b20*b52 + 2*b20* b53 - 2*b20*b54 + 2*b20*b55 - 2*b20*b58 - 2*b20*b60 + 2*b20*b61 + 2*b20* b72 - 2*b20*b73 - 2*b20*b74 + 2*b20*b75 + 2*b20*b77 - 2*b20*b78 - 2*b20* b79 + 2*b20*b80 + 2*b20*b81 - 2*b20*b82 - 2*b20*b83 + 2*b20*b84 - 2*b20* b85 - 2*b20*b86 + 2*b20*b89 + 2*b20*b90 - 2*b21*b47 - 2*b21 + 2*b21*b48 + 2*b21*b49 + 2*b21*b50 + 2*b21*b51 + 2*b21*b52 + 2*b21*b53 + 2*b21*b55 - 2*b21*b58 + 2*b21*b61 + 2*b21*b63 + 2*b21*b64 + 2*b21*b65 + 2*b21*b66 + 2*b21*b69 - 2*b21*b71 - 2*b21*b72 - 2*b21*b73 - 2*b21*b75 - 2*b21*b76 - 2*b21*b77 - 2*b21*b78 - 2*b21*b80 - 2*b21*b82 - 2*b21*b85 + 2*b21*b89 - 2*b22*b47 + 4*b22 + 2*b22*b52 + 2*b22*b54 - 2*b22*b58 - 2*b22*b60 + 2 *b22*b63 + 2*b22*b64 + 2*b22*b65 + 2*b22*b66 + 2*b22*b69 + 2*b22*b70 + 2 *b22*b71 - 2*b22*b73 - 2*b22*b74 - 2*b22*b77 - 2*b22*b78 - 2*b22*b79 - 2 *b22*b80 - 2*b22*b81 - 2*b22*b82 - 2*b22*b83 - 2*b22*b84 - 2*b22*b85 - 2 *b22*b86 + 2*b22*b89 + 2*b22*b90 - 2*b23*b47 - 5*b23 + 2*b23*b48 + 2*b23 *b49 + 2*b23*b51 + 2*b23*b53 + 2*b23*b55 + 2*b23*b56 - 2*b23*b58 - 2*b23 *b60 + 2*b23*b61 + 2*b23*b63 + 2*b23*b64 + 2*b23*b65 + 2*b23*b66 + 2*b23 *b69 + 2*b23*b72 - 2*b23*b73 - 2*b23*b74 + 2*b23*b77 - 2*b23*b78 - 2*b23 *b79 + 2*b23*b81 - 2*b23*b82 - 2*b23*b83 - 2*b23*b85 - 2*b23*b86 - 2*b23 *b87 + 2*b23*b89 + 2*b23*b90 + 2*b24*b48 + 3*b24 + 2*b24*b49 - 2*b24*b50 + 2*b24*b51 - 2*b24*b52 + 2*b24*b53 - 2*b24*b54 + 2*b24*b55 - 2*b24*b56 - 2*b24*b58 + 2*b24*b61 - 2*b24*b62 - 2*b24*b73 - 2*b24*b78 - 2*b24*b82 - 2*b24*b85 + 2*b24*b89 - 2*b25*b46 + 13*b25 - 2*b25*b47 - 2*b25*b49 - 2*b25*b50 - 2*b25*b51 - 2*b25*b52 - 2*b25*b53 - 2*b25*b54 - 2*b25*b55 - 2*b25*b56 - 2*b25*b59 - 2*b25*b60 - 2*b25*b61 - 2*b25*b62 - 2*b25*b65 - 2*b25*b66 + 2*b25*b67 - 2*b25*b71 - 2*b25*b72 + 2*b25*b73 - 2*b25*b76 - 2*b25*b77 + 2*b25*b78 + 2*b25*b82 + 2*b25*b83 + 2*b25*b84 + 2*b25*b85 + 2*b25*b86 + 2*b25*b87 - 2*b25*b88 - 2*b25*b89 + 2*b26*b46 + 3*b26 + 2* b26*b48 - 2*b26*b50 - 2*b26*b52 - 2*b26*b53 - 2*b26*b54 - 2*b26*b58 - 2* b26*b60 + 2*b26*b61 - 2*b26*b63 - 2*b26*b64 - 2*b26*b65 - 2*b26*b67 - 2* b26*b68 - 2*b26*b71 + 2*b26*b75 - 2*b26*b76 + 2*b26*b80 + 2*b26*b82 + 2* b26*b83 + 2*b26*b84 + 2*b26*b89 + 2*b26*b90 + 2*b27*b49 - b27 + 2*b27* b50 + 2*b27*b51 + 2*b27*b52 - 2*b27*b53 - 2*b27*b54 - 2*b27*b55 - 2*b27* b56 + 2*b27*b59 + 2*b27*b60 + 2*b27*b63 + 2*b27*b64 - 2*b27*b65 - 2*b27* b66 + 2*b27*b68 - 2*b27*b71 - 2*b27*b72 - 2*b27*b73 - 2*b27*b75 - 2*b27* b76 - 2*b27*b77 - 2*b27*b78 - 2*b27*b80 + 2*b27*b82 + 2*b27*b83 + 2*b27* b84 + 2*b27*b85 + 2*b27*b86 + 2*b27*b87 + 2*b27*b88 - 2*b27*b90 - 2*b28* b46 + 8*b28 - 2*b28*b48 - 2*b28*b49 + 2*b28*b52 - 2*b28*b55 - 2*b28*b56 - 2*b28*b57 - 2*b28*b59 - 2*b28*b61 + 2*b28*b64 - 2*b28*b66 + 2*b28*b70 - 2*b28*b72 - 2*b28*b77 - 2*b28*b78 - 2*b28*b79 - 2*b28*b80 + 2*b28*b85 + 2*b28*b86 + 2*b28*b87 - 2*b29*b53 + 2*b29 - 2*b29*b54 - 2*b29*b65 - 2 *b29*b71 - 2*b29*b76 + 2*b29*b82 + 2*b29*b83 + 2*b29*b84 + 2*b30*b46 + 7 *b30 + 2*b30*b48 - 2*b30*b50 - 2*b30*b52 - 2*b30*b53 - 2*b30*b54 - 2*b30 *b55 - 2*b30*b56 - 2*b30*b58 + 2*b30*b59 - 2*b30*b62 - 2*b30*b63 - 2*b30 *b64 - 2*b30*b65 - 2*b30*b66 - 2*b30*b67 - 2*b30*b69 - 2*b30*b71 - 2*b30 *b72 + 2*b30*b74 - 2*b30*b76 - 2*b30*b77 + 2*b30*b79 + 2*b30*b82 + 2*b30 *b83 + 2*b30*b84 + 2*b30*b85 + 2*b30*b86 + 2*b30*b87 + 2*b30*b88 - 2*b30 *b90 + 2*b31*b46 - 6*b31 + 2*b31*b49 + 2*b31*b51 + 2*b31*b53 + 2*b31*b55 + 2*b31*b59 + 2*b31*b61 - 2*b31*b63 - 2*b31*b64 - 2*b31*b65 - 2*b31*b67 - 2*b31*b68 + 2*b31*b72 - 2*b31*b73 + 2*b31*b75 + 2*b31*b77 - 2*b31*b78 + 2*b31*b80 + 2*b31*b81 - 2*b31*b82 + 2*b31*b84 - 2*b31*b85 - 2*b31*b86 + 2*b31*b88 + 2*b31*b89 + 2*b31*b90 + 2*b32*b46 - 9*b32 + 2*b32*b47 + 2 *b32*b49 + 2*b32*b50 + 2*b32*b51 + 2*b32*b52 + 2*b32*b53 + 2*b32*b54 + 2 *b32*b55 + 2*b32*b56 + 2*b32*b59 + 2*b32*b60 + 2*b32*b61 + 2*b32*b62 + 2 *b32*b63 + 2*b32*b64 - 2*b32*b67 + 2*b32*b68 - 2*b32*b71 - 2*b32*b72 - 2 *b32*b73 - 2*b32*b75 - 2*b32*b76 - 2*b32*b77 - 2*b32*b78 - 2*b32*b80 - 2 *b32*b82 + 2*b32*b83 - 2*b32*b85 + 2*b32*b86 + 2*b32*b88 + 2*b32*b89 - 2 *b32*b90 + 2*b33*b47 - 2*b33 + 2*b33*b50 + 2*b33*b52 + 2*b33*b54 + 2*b33 *b56 + 2*b33*b60 + 2*b33*b62 + 2*b33*b64 + 2*b33*b65 - 2*b33*b67 + 2*b33 *b70 + 2*b33*b71 - 2*b33*b73 - 2*b33*b77 - 2*b33*b78 - 2*b33*b79 - 2*b33 *b80 - 2*b33*b81 - 2*b33*b82 - 2*b33*b83 - 2*b33*b84 - 2*b33*b85 + 2*b33 *b88 + 2*b33*b89 + 2*b34*b46 - 13*b34 + 2*b34*b47 + 2*b34*b49 + 2*b34* b50 + 2*b34*b51 + 2*b34*b52 + 2*b34*b53 + 2*b34*b54 + 2*b34*b55 + 2*b34* b56 + 2*b34*b59 + 2*b34*b60 + 2*b34*b61 + 2*b34*b62 + 2*b34*b66 - 2*b34* b67 + 2*b34*b72 - 2*b34*b73 + 2*b34*b77 - 2*b34*b78 + 2*b34*b81 - 2*b34* b82 - 2*b34*b85 - 2*b34*b86 - 2*b34*b87 + 2*b34*b88 + 2*b34*b89 + 2*b35* b46 - 2*b35 + 2*b35*b49 + 2*b35*b51 + 2*b35*b53 + 2*b35*b55 + 2*b35*b59 + 2*b35*b61 - 2*b35*b63 - 2*b35*b64 - 2*b35*b65 - 2*b35*b66 - 2*b35*b67 - 2*b35*b69 - 2*b35*b73 + 2*b35*b74 - 2*b35*b78 + 2*b35*b79 - 2*b35*b82 + 2*b35*b83 - 2*b35*b85 + 2*b35*b86 + 2*b35*b88 + 2*b35*b89 - 2*b35*b90 - 2*b36*b46 - b36 - 2*b36*b48 + 2*b36*b49 + 2*b36*b50 + 2*b36*b51 + 2* b36*b52 + 2*b36*b54 - 2*b36*b55 + 2*b36*b58 + 2*b36*b59 + 2*b36*b60 - 2* b36*b61 + 2*b36*b63 + 2*b36*b64 + 2*b36*b65 + 2*b36*b67 + 2*b36*b68 - 2* b36*b71 - 2*b36*b72 - 2*b36*b73 - 2*b36*b75 - 2*b36*b76 - 2*b36*b77 - 2* b36*b78 - 2*b36*b80 - 2*b36*b81 + 2*b36*b83 - 2*b36*b84 + 2*b36*b85 + 2* b36*b86 + 2*b36*b88 - 2*b36*b89 - 2*b36*b90 - 2*b37*b46 + 5*b37 - 2*b37* b48 - 2*b37*b49 + 2*b37*b50 + 2*b37*b52 + 2*b37*b54 - 2*b37*b55 - 2*b37* b57 + 2*b37*b58 - 2*b37*b59 + 2*b37*b60 - 2*b37*b61 + 2*b37*b63 + 2*b37* b64 + 2*b37*b65 + 2*b37*b67 + 2*b37*b68 + 2*b37*b70 + 2*b37*b71 - 2*b37* b72 - 2*b37*b75 - 2*b37*b77 - 2*b37*b78 - 2*b37*b79 - 2*b37*b80 - 2*b37* b81 - 2*b37*b82 - 2*b37*b83 - 2*b37*b84 + 2*b37*b85 + 2*b37*b86 - 2*b37* b89 - 2*b37*b90 - 2*b38*b46 - 2*b38 - 2*b38*b48 + 2*b38*b50 + 2*b38*b52 + 2*b38*b54 + 2*b38*b58 + 2*b38*b60 - 2*b38*b61 + 2*b38*b63 + 2*b38*b64 + 2*b38*b65 + 2*b38*b67 + 2*b38*b68 - 2*b38*b75 - 2*b38*b80 - 2*b38*b84 - 2*b38*b89 - 2*b38*b90 - 2*b39*b55 + 3*b39 + 2*b39*b59 - 2*b39*b61 - 2 *b39*b72 + 2*b39*b74 - 2*b39*b75 - 2*b39*b77 + 2*b39*b79 - 2*b39*b80 - 2 *b39*b81 + 2*b39*b83 - 2*b39*b84 + 2*b39*b85 + 2*b39*b86 + 2*b39*b88 - 2 *b39*b89 - 2*b39*b90 - 2*b40*b46 + 10*b40 - 2*b40*b48 - 2*b40*b49 - 2* b40*b50 + 2*b40*b54 - 2*b40*b55 - 2*b40*b57 - 2*b40*b59 - 2*b40*b60 - 2* b40*b61 - 2*b40*b63 + 2*b40*b65 - 2*b40*b68 + 2*b40*b71 + 2*b40*b72 + 2* b40*b73 + 2*b40*b75 - 2*b40*b81 - 2*b40*b82 - 2*b40*b83 - 2*b40*b84 - 2* b40*b86 - 2*b40*b88 + 2*b40*b90 - 2*b41*b49 + b41 - 2*b41*b50 - 2*b41* b51 - 2*b41*b52 + 2*b41*b55 + 2*b41*b56 - 2*b41*b59 - 2*b41*b60 - 2*b41* b63 - 2*b41*b64 + 2*b41*b66 - 2*b41*b68 + 2*b41*b71 + 2*b41*b72 + 2*b41* b73 + 2*b41*b75 + 2*b41*b76 + 2*b41*b77 + 2*b41*b78 + 2*b41*b80 + 2*b41* b81 - 2*b41*b83 - 2*b41*b85 - 2*b41*b86 - 2*b41*b87 - 2*b41*b88 + 2*b41* b90 + 2*b42*b46 + 4*b42 + 2*b42*b48 - 2*b42*b49 - 2*b42*b50 - 2*b42*b51 - 2*b42*b52 - 2*b42*b54 - 2*b42*b56 - 2*b42*b58 - 2*b42*b62 - 2*b42*b63 - 2*b42*b64 - 2*b42*b65 - 2*b42*b66 - 2*b42*b67 - 2*b42*b69 + 2*b42*b71 + 2*b42*b72 + 2*b42*b73 + 2*b42*b75 + 2*b42*b76 + 2*b42*b77 + 2*b42*b78 + 2*b42*b80 + 2*b43*b46 - 9*b43 + 2*b43*b48 + 2*b43*b49 - 2*b43*b52 - 2 *b43*b54 + 2*b43*b55 + 2*b43*b56 + 2*b43*b57 + 2*b43*b59 + 2*b43*b61 - 2 *b43*b64 - 2*b43*b65 + 2*b43*b66 - 2*b43*b70 - 2*b43*b71 + 2*b43*b72 + 2 *b43*b77 + 2*b43*b78 + 2*b43*b79 + 2*b43*b80 + 2*b43*b81 + 2*b43*b82 + 2 *b43*b83 + 2*b43*b84 - 2*b43*b85 - 2*b43*b86 - 2*b43*b87 + 2*b44*b46 - 3 *b44 + 2*b44*b48 + 2*b44*b49 - 2*b44*b50 - 2*b44*b52 - 2*b44*b54 + 2*b44 *b55 - 2*b44*b56 + 2*b44*b57 - 2*b44*b58 + 2*b44*b59 + 2*b44*b61 - 2*b44 *b62 - 2*b44*b63 - 2*b44*b64 - 2*b44*b65 - 2*b44*b66 - 2*b44*b67 - 2*b44 *b69 - 2*b44*b70 - 2*b44*b71 + 2*b44*b74 + 2*b44*b77 + 2*b44*b78 + 2*b44 *b79 + 2*b44*b80 + 2*b44*b81 + 2*b44*b82 + 2*b44*b83 + 2*b44*b84 + 2*b44 *b86 + 2*b44*b88 - 2*b44*b90 + 2*b45*b46 + 7*b45 + 2*b45*b48 - 2*b45*b50 - 2*b45*b52 - 2*b45*b54 - 2*b45*b55 - 2*b45*b56 - 2*b45*b58 + 2*b45*b59 - 2*b45*b62 - 2*b45*b63 - 2*b45*b64 - 2*b45*b65 - 2*b45*b66 - 2*b45*b67 - 2*b45*b69 - 2*b45*b72 + 2*b45*b74 - 2*b45*b77 + 2*b45*b79 - 2*b45*b81 + 2*b45*b83 + 2*b45*b85 + 2*b45*b86 + 2*b45*b87 + 2*b45*b88 - 2*b45*b90 + objvar >= 1013 } } Procedure MainInitialization; MathematicalProgram edgecross10_070 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve edgecross10_070; } } Procedure MainTermination { Body: { return 1; } } }