## ams_version=1.0 Model Main_sporttournament32 { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable b151 { Range: binary; } Variable b152 { Range: binary; } Variable b153 { Range: binary; } Variable b154 { Range: binary; } Variable b155 { Range: binary; } Variable b156 { Range: binary; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } Variable b176 { Range: binary; } Variable b177 { Range: binary; } Variable b178 { Range: binary; } Variable b179 { Range: binary; } Variable b180 { Range: binary; } Variable b181 { Range: binary; } Variable b182 { Range: binary; } Variable b183 { Range: binary; } Variable b184 { Range: binary; } Variable b185 { Range: binary; } Variable b186 { Range: binary; } Variable b187 { Range: binary; } Variable b188 { Range: binary; } Variable b189 { Range: binary; } Variable b190 { Range: binary; } Variable b191 { Range: binary; } Variable b192 { Range: binary; } Variable b193 { Range: binary; } Variable b194 { Range: binary; } Variable b195 { Range: binary; } Variable b196 { Range: binary; } Variable b197 { Range: binary; } Variable b198 { Range: binary; } Variable b199 { Range: binary; } Variable b200 { Range: binary; } Variable b201 { Range: binary; } Variable b202 { Range: binary; } Variable b203 { Range: binary; } Variable b204 { Range: binary; } Variable b205 { Range: binary; } Variable b206 { Range: binary; } Variable b207 { Range: binary; } Variable b208 { Range: binary; } Variable b209 { Range: binary; } Variable b210 { Range: binary; } Variable b211 { Range: binary; } Variable b212 { Range: binary; } Variable b213 { Range: binary; } Variable b214 { Range: binary; } Variable b215 { Range: binary; } Variable b216 { Range: binary; } Variable b217 { Range: binary; } Variable b218 { Range: binary; } Variable b219 { Range: binary; } Variable b220 { Range: binary; } Variable b221 { Range: binary; } Variable b222 { Range: binary; } Variable b223 { Range: binary; } Variable b224 { Range: binary; } Variable b225 { Range: binary; } Variable b226 { Range: binary; } Variable b227 { Range: binary; } Variable b228 { Range: binary; } Variable b229 { Range: binary; } Variable b230 { Range: binary; } Variable b231 { Range: binary; } Variable b232 { Range: binary; } Variable b233 { Range: binary; } Variable b234 { Range: binary; } Variable b235 { Range: binary; } Variable b236 { Range: binary; } Variable b237 { Range: binary; } Variable b238 { Range: binary; } Variable b239 { Range: binary; } Variable b240 { Range: binary; } Variable b241 { Range: binary; } Variable b242 { Range: binary; } Variable b243 { Range: binary; } Variable b244 { Range: binary; } Variable b245 { Range: binary; } Variable b246 { Range: binary; } Variable b247 { Range: binary; } Variable b248 { Range: binary; } Variable b249 { Range: binary; } Variable b250 { Range: binary; } Variable b251 { Range: binary; } Variable b252 { Range: binary; } Variable b253 { Range: binary; } Variable b254 { Range: binary; } Variable b255 { Range: binary; } Variable b256 { Range: binary; } Variable b257 { Range: binary; } Variable b258 { Range: binary; } Variable b259 { Range: binary; } Variable b260 { Range: binary; } Variable b261 { Range: binary; } Variable b262 { Range: binary; } Variable b263 { Range: binary; } Variable b264 { Range: binary; } Variable b265 { Range: binary; } Variable b266 { Range: binary; } Variable b267 { Range: binary; } Variable b268 { Range: binary; } Variable b269 { Range: binary; } Variable b270 { Range: binary; } Variable b271 { Range: binary; } Variable b272 { Range: binary; } Variable b273 { Range: binary; } Variable b274 { Range: binary; } Variable b275 { Range: binary; } Variable b276 { Range: binary; } Variable b277 { Range: binary; } Variable b278 { Range: binary; } Variable b279 { Range: binary; } Variable b280 { Range: binary; } Variable b281 { Range: binary; } Variable b282 { Range: binary; } Variable b283 { Range: binary; } Variable b284 { Range: binary; } Variable b285 { Range: binary; } Variable b286 { Range: binary; } Variable b287 { Range: binary; } Variable b288 { Range: binary; } Variable b289 { Range: binary; } Variable b290 { Range: binary; } Variable b291 { Range: binary; } Variable b292 { Range: binary; } Variable b293 { Range: binary; } Variable b294 { Range: binary; } Variable b295 { Range: binary; } Variable b296 { Range: binary; } Variable b297 { Range: binary; } Variable b298 { Range: binary; } Variable b299 { Range: binary; } Variable b300 { Range: binary; } Variable b301 { Range: binary; } Variable b302 { Range: binary; } Variable b303 { Range: binary; } Variable b304 { Range: binary; } Variable b305 { Range: binary; } Variable b306 { Range: binary; } Variable b307 { Range: binary; } Variable b308 { Range: binary; } Variable b309 { Range: binary; } Variable b310 { Range: binary; } Variable b311 { Range: binary; } Variable b312 { Range: binary; } Variable b313 { Range: binary; } Variable b314 { Range: binary; } Variable b315 { Range: binary; } Variable b316 { Range: binary; } Variable b317 { Range: binary; } Variable b318 { Range: binary; } Variable b319 { Range: binary; } Variable b320 { Range: binary; } Variable b321 { Range: binary; } Variable b322 { Range: binary; } Variable b323 { Range: binary; } Variable b324 { Range: binary; } Variable b325 { Range: binary; } Variable b326 { Range: binary; } Variable b327 { Range: binary; } Variable b328 { Range: binary; } Variable b329 { Range: binary; } Variable b330 { Range: binary; } Variable b331 { Range: binary; } Variable b332 { Range: binary; } Variable b333 { Range: binary; } Variable b334 { Range: binary; } Variable b335 { Range: binary; } Variable b336 { Range: binary; } Variable b337 { Range: binary; } Variable b338 { Range: binary; } Variable b339 { Range: binary; } Variable b340 { Range: binary; } Variable b341 { Range: binary; } Variable b342 { Range: binary; } Variable b343 { Range: binary; } Variable b344 { Range: binary; } Variable b345 { Range: binary; } Variable b346 { Range: binary; } Variable b347 { Range: binary; } Variable b348 { Range: binary; } Variable b349 { Range: binary; } Variable b350 { Range: binary; } Variable b351 { Range: binary; } Variable b352 { Range: binary; } Variable b353 { Range: binary; } Variable b354 { Range: binary; } Variable b355 { Range: binary; } Variable b356 { Range: binary; } Variable b357 { Range: binary; } Variable b358 { Range: binary; } Variable b359 { Range: binary; } Variable b360 { Range: binary; } Variable b361 { Range: binary; } Variable b362 { Range: binary; } Variable b363 { Range: binary; } Variable b364 { Range: binary; } Variable b365 { Range: binary; } Variable b366 { Range: binary; } Variable b367 { Range: binary; } Variable b368 { Range: binary; } Variable b369 { Range: binary; } Variable b370 { Range: binary; } Variable b371 { Range: binary; } Variable b372 { Range: binary; } Variable b373 { Range: binary; } Variable b374 { Range: binary; } Variable b375 { Range: binary; } Variable b376 { Range: binary; } Variable b377 { Range: binary; } Variable b378 { Range: binary; } Variable b379 { Range: binary; } Variable b380 { Range: binary; } Variable b381 { Range: binary; } Variable b382 { Range: binary; } Variable b383 { Range: binary; } Variable b384 { Range: binary; } Variable b385 { Range: binary; } Variable b386 { Range: binary; } Variable b387 { Range: binary; } Variable b388 { Range: binary; } Variable b389 { Range: binary; } Variable b390 { Range: binary; } Variable b391 { Range: binary; } Variable b392 { Range: binary; } Variable b393 { Range: binary; } Variable b394 { Range: binary; } Variable b395 { Range: binary; } Variable b396 { Range: binary; } Variable b397 { Range: binary; } Variable b398 { Range: binary; } Variable b399 { Range: binary; } Variable b400 { Range: binary; } Variable b401 { Range: binary; } Variable b402 { Range: binary; } Variable b403 { Range: binary; } Variable b404 { Range: binary; } Variable b405 { Range: binary; } Variable b406 { Range: binary; } Variable b407 { Range: binary; } Variable b408 { Range: binary; } Variable b409 { Range: binary; } Variable b410 { Range: binary; } Variable b411 { Range: binary; } Variable b412 { Range: binary; } Variable b413 { Range: binary; } Variable b414 { Range: binary; } Variable b415 { Range: binary; } Variable b416 { Range: binary; } Variable b417 { Range: binary; } Variable b418 { Range: binary; } Variable b419 { Range: binary; } Variable b420 { Range: binary; } Variable b421 { Range: binary; } Variable b422 { Range: binary; } Variable b423 { Range: binary; } Variable b424 { Range: binary; } Variable b425 { Range: binary; } Variable b426 { Range: binary; } Variable b427 { Range: binary; } Variable b428 { Range: binary; } Variable b429 { Range: binary; } Variable b430 { Range: binary; } Variable b431 { Range: binary; } Variable b432 { Range: binary; } Variable b433 { Range: binary; } Variable b434 { Range: binary; } Variable b435 { Range: binary; } Variable b436 { Range: binary; } Variable b437 { Range: binary; } Variable b438 { Range: binary; } Variable b439 { Range: binary; } Variable b440 { Range: binary; } Variable b441 { Range: binary; } Variable b442 { Range: binary; } Variable b443 { Range: binary; } Variable b444 { Range: binary; } Variable b445 { Range: binary; } Variable b446 { Range: binary; } Variable b447 { Range: binary; } Variable b448 { Range: binary; } Variable b449 { Range: binary; } Variable b450 { Range: binary; } Variable b451 { Range: binary; } Variable b452 { Range: binary; } Variable b453 { Range: binary; } Variable b454 { Range: binary; } Variable b455 { Range: binary; } Variable b456 { Range: binary; } Variable b457 { Range: binary; } Variable b458 { Range: binary; } Variable b459 { Range: binary; } Variable b460 { Range: binary; } Variable b461 { Range: binary; } Variable b462 { Range: binary; } Variable b463 { Range: binary; } Variable b464 { Range: binary; } Variable b465 { Range: binary; } Variable b466 { Range: binary; } Variable b467 { Range: binary; } Variable b468 { Range: binary; } Variable b469 { Range: binary; } Variable b470 { Range: binary; } Variable b471 { Range: binary; } Variable b472 { Range: binary; } Variable b473 { Range: binary; } Variable b474 { Range: binary; } Variable b475 { Range: binary; } Variable b476 { Range: binary; } Variable b477 { Range: binary; } Variable b478 { Range: binary; } Variable b479 { Range: binary; } Variable b480 { Range: binary; } Variable b481 { Range: binary; } Variable b482 { Range: binary; } Variable b483 { Range: binary; } Variable b484 { Range: binary; } Variable b485 { Range: binary; } Variable b486 { Range: binary; } Variable b487 { Range: binary; } Variable b488 { Range: binary; } Variable b489 { Range: binary; } Variable b490 { Range: binary; } Variable b491 { Range: binary; } Variable b492 { Range: binary; } Variable b493 { Range: binary; } Variable b494 { Range: binary; } Variable b495 { Range: binary; } Variable b496 { Range: binary; } Variable objvar; Constraint e1 { Definition: { (-2*b1*b209) - 2*b1 + 2*b209 + 2*b1*b243 - 2*b243 + 2*b1*b332 + 2*b1*b342 + 2*b2*b107 - 2*b2 - 2*b107 + 2*b2*b350 - 2*b2*b373 + 2*b2*b374 + 2*b3* b86 - 2*b3 - 2*b86 + 2*b3*b341 + 2*b3*b350 - 2*b3*b382 + 2*b4*b335 - 2*b4 + 2*b4*b341 - 2*b4*b388 + 2*b4*b389 + 2*b5*b63 - 2*b5 - 2*b63 + 2*b5*b135 - 2*b135 - 2*b5*b259 + 2*b259 + 2*b5*b335 - 2*b6*b31 + 2*b6 + 2*b31 + 2* b6*b37 - 2*b37 - 2*b6*b336 - 2*b6*b337 + 2*b7*b11 - 4*b7 - 4*b11 + 2*b7* b17 - 2*b17 + 2*b7*b362 + 2*b7*b396 + 2*b8*b87 - 2*b8 - 2*b87 + 2*b8*b110 - 2*b110 + 2*b8*b135 - 2*b8*b297 + 2*b297 - 2*b9*b164 - 2*b9 + 2*b164 + 2 *b9*b229 - 2*b229 + 2*b9*b263 - 2*b263 + 2*b9*b376 - 2*b10*b26 + 2*b10 + 2 *b26 + 2*b10*b47 - 2*b47 - 2*b10*b344 - 2*b10*b345 + 2*b11*b108 - 2*b108 + 2*b11*b110 + 2*b11*b351 - 2*b12*b193 - 2*b12 + 2*b193 + 2*b12*b196 - 2* b196 + 2*b12*b302 - 4*b302 + 2*b12*b365 + 2*b13*b91 - 2*b13 - 2*b91 - 2* b13*b270 + 4*b270 + 2*b13*b408 + 2*b13*b409 + 2*b14*b24 - 2*b14 - 2*b24 + 2*b14*b246 - 4*b246 + 2*b15*b114 - 2*b15 - 4*b114 + 2*b15*b143 - 2*b143 - 2*b15*b309 + 2*b309 + 2*b15*b416 + 2*b16*b128 + 2*b16 + 2*b128 - 2*b16* b155 + 2*b155 - 2*b16*b288 - 2*b288 - 2*b16*b368 + 2*b17*b258 - 4*b258 + 2 *b17*b382 - 2*b17*b413 + 2*b18*b68 - 2*b18 - 2*b68 + 2*b18*b144 - 4*b144 + 2*b18*b169 - 4*b169 - 2*b18*b421 + 2*b19*b35 - 2*b19 - 2*b35 + 2*b19* b423 + 2*b20*b100 + 2*b20 + 2*b100 - 2*b20*b185 + 2*b185 - 2*b20*b249 - 2* b249 - 2*b20*b356 - 2*b21*b191 - 2*b21 + 2*b191 + 2*b21*b296 - 4*b296 + 2* b21*b297 + 2*b21*b373 + 2*b22*b91 - 2*b22 + 2*b22*b170 - 4*b170 + 2*b22* b202 - 4*b202 - 2*b22*b428 - 2*b23*b68 - 2*b23 + 2*b23*b70 - 4*b70 + 2*b23 *b170 + 2*b23*b429 + 2*b24*b25 - 2*b25 - 2*b24*b57 - 2*b57 + 2*b24*b123 - 4*b123 + 2*b25*b45 - 2*b45 + 2*b26*b80 + 2*b80 - 2*b26*b214 - 2*b214 - 2* b26*b217 + 2*b217 + 2*b27*b114 - 2*b27 + 2*b27*b203 - 4*b203 + 2*b27*b235 - 4*b235 - 2*b27*b433 + 2*b28*b42 - 2*b28 - 2*b42 + 2*b28*b93 - 4*b93 + 2 *b28*b203 - 2*b28*b416 + 2*b29*b30 - 2*b29 - 2*b30 - 2*b29*b44 - 2*b44 + 2 *b29*b150 - 4*b150 + 2*b29*b435 + 2*b30*b58 - 4*b58 - 2*b31*b183 - 2*b183 + 2*b31*b359 - 2*b31*b411 + 2*b32*b144 - 4*b32 + 2*b32*b236 - 2*b236 + 2* b32*b271 - 4*b271 + 2*b32*b433 + 2*b33*b55 - 2*b33 - 4*b55 + 2*b33*b116 - 4*b116 + 2*b33*b236 - 2*b33*b409 - 2*b34*b35 - 2*b34 + 2*b34*b56 - 2*b56 + 2*b34*b75 - 4*b75 + 2*b34*b441 + 2*b35*b36 - 2*b36 + 2*b35*b324 - 2* b324 + 2*b36*b75 - 2*b37*b154 - 2*b154 + 2*b37*b371 + 2*b37*b411 + 2*b38* b39 - 2*b38 - 2*b39 + 2*b38*b49 - 2*b49 + 2*b38*b138 - 4*b138 - 2*b38*b383 + 2*b39*b50 - 2*b50 + 2*b39*b66 - 2*b66 - 2*b39*b197 - 2*b197 + 2*b40* b170 - 4*b40 + 2*b40*b273 - 2*b273 + 2*b40*b310 - 4*b310 + 2*b40*b428 + 2* b41*b70 - 4*b41 + 2*b41*b146 - 4*b146 + 2*b41*b273 + 2*b41*b409 + 2*b42* b275 - 4*b275 + 2*b42*b417 - 2*b42*b434 + 2*b43*b44 - 2*b43 + 2*b43*b120 - 2*b120 + 2*b43*b443 - 2*b43*b447 + 2*b44*b73 - 4*b73 + 2*b44*b96 - 4* b96 + 2*b45*b46 - 2*b46 + 2*b45*b284 - 2*b284 - 2*b45*b443 + 2*b46*b96 + 2 *b47*b48 - 2*b48 - 2*b47*b127 - 2*b127 + 2*b47*b217 - 2*b48*b250 + 2*b250 + 2*b48*b380 + 2*b48*b458 + 2*b49*b51 - 4*b51 + 2*b49*b139 - 2*b139 - 2* b49*b232 + 4*b232 + 2*b50*b52 - 4*b52 + 2*b50*b328 - 2*b50*b407 + 2*b51* b52 + 2*b51*b399 + 2*b51*b453 + 2*b52*b234 + 2*b234 + 2*b52*b327 + 2*b53* b203 - 2*b53 + 2*b53*b312 - 2*b312 - 2*b53*b327 + 2*b53*b421 + 2*b54*b93 - 4*b54 + 2*b54*b173 - 4*b173 + 2*b54*b312 + 2*b54*b416 + 2*b55*b117 - 4* b117 + 2*b55*b410 + 2*b55*b430 + 2*b56*b57 + 2*b56*b148 - 2*b148 - 2*b56* b455 + 2*b57*b94 - 4*b94 + 2*b57*b124 - 2*b124 + 2*b58*b59 - 2*b59 + 2*b58 *b244 - 4*b244 + 2*b58*b443 + 2*b59*b124 + 2*b60*b61 - 2*b60 - 2*b61 - 2* b60*b99 - 2*b99 + 2*b60*b185 + 2*b60*b356 - 2*b61*b289 + 2*b289 + 2*b61* b386 + 2*b61*b450 + 2*b62*b63 - 2*b62 + 2*b62*b338 + 2*b62*b363 - 2*b62* b445 + 2*b63*b88 - 2*b88 - 2*b63*b469 + 2*b64*b88 - 4*b64 + 2*b64*b137 - 2 *b137 + 2*b64*b362 + 2*b64*b426 + 2*b65*b67 - 2*b65 - 4*b67 + 2*b65*b112 - 2*b112 - 2*b65*b268 + 4*b268 + 2*b65*b376 + 2*b66*b375 + 2*b66*b391 - 2 *b66*b460 + 2*b67*b328 + 2*b67*b446 + 2*b67*b460 + 2*b68*b69 - 2*b69 + 2* b68*b400 + 2*b69*b116 + 2*b69*b205 - 4*b205 - 2*b69*b313 - 2*b313 + 2*b70* b402 + 2*b70*b434 - 2*b71*b72 - 2*b71 + 2*b72 + 2*b71*b329 + 2*b71*b332 + 2*b71*b434 + 2*b72*b121 - 4*b121 - 2*b72*b441 - 2*b72*b470 + 2*b73*b74 - 2 *b74 + 2*b73*b178 - 2*b178 + 2*b73*b455 + 2*b74*b121 + 2*b74*b151 - 2*b151 - 2*b74*b423 + 2*b75*b76 - 2*b76 + 2*b75*b285 - 4*b285 + 2*b76*b151 + 2* b77*b78 - 2*b77 - 2*b78 + 2*b77*b182 - 2*b182 - 2*b78*b79 - 2*b79 + 2*b78* b181 - 2*b181 + 2*b78*b184 - 4*b184 + 2*b79*b81 - 4*b81 + 2*b79*b155 + 2* b79*b368 - 2*b80*b216 - 2*b216 - 2*b80*b346 - 2*b80*b444 + 2*b81*b184 + 2* b81*b394 + 2*b81*b444 - 2*b82*b370 + 2*b82 - 2*b82*b372 + 2*b82*b450 - 2* b82*b468 - 2*b83*b358 - 2*b83 + 2*b83*b381 + 2*b83*b444 + 2*b83*b468 + 2* b84*b222 - 2*b84 + 2*b222 - 2*b84*b333 + 2*b84*b403 + 2*b84*b468 + 2*b85* b87 - 4*b85 + 2*b85*b107 + 2*b85*b347 + 2*b85*b445 + 2*b86*b106 - 4*b106 - 2*b86*b109 - 2*b109 + 2*b86*b437 + 2*b87*b109 - 2*b87*b471 + 2*b88*b89 - 2*b89 - 2*b88*b389 + 2*b89*b109 + 2*b89*b193 - 2*b89*b262 + 2*b262 - 2* b90*b309 + 2*b90 - 2*b90*b385 + 2*b90*b401 - 2*b90*b473 + 2*b91*b92 - 2* b92 - 2*b91*b430 + 2*b92*b146 + 2*b92*b238 - 4*b238 - 2*b92*b274 - 2*b274 + 2*b93*b317 + 2*b317 + 2*b93*b393 + 2*b94*b95 - 4*b95 + 2*b94*b210 - 2* b210 + 2*b94*b447 + 2*b95*b149 - 4*b149 + 2*b95*b180 - 2*b180 + 2*b95*b423 + 2*b96*b97 - 2*b97 + 2*b96*b325 - 4*b325 + 2*b97*b180 + 2*b98*b99 - 2* b98 + 2*b98*b456 + 2*b99*b213 - 2*b213 + 2*b99*b289 - 2*b100*b101 + 2*b101 - 2*b100*b251 - 2*b251 - 2*b100*b358 + 2*b101*b103 - 2*b103 - 2*b101*b219 + 2*b219 - 2*b101*b475 - 2*b102*b380 + 2*b102 - 2*b102*b381 + 2*b102*b458 - 2*b102*b464 - 2*b103*b346 + 2*b103*b387 + 2*b103*b464 + 2*b104*b132 - 2 *b104 - 2*b132 - 2*b104*b191 + 2*b104*b333 + 2*b104*b372 + 2*b105*b191 - 4 *b105 + 2*b105*b338 + 2*b105*b412 + 2*b105*b464 + 2*b106*b108 + 2*b106* b360 + 2*b106*b439 - 2*b107*b134 - 2*b134 + 2*b107*b432 + 2*b108*b134 - 2* b108*b224 + 2*b224 + 2*b109*b111 - 2*b111 - 2*b110*b164 + 2*b110*b340 + 2* b111*b134 + 2*b111*b164 - 2*b111*b301 + 2*b301 + 2*b112*b227 - 2*b227 - 2* b112*b267 + 2*b267 + 2*b112*b419 - 2*b113*b378 + 2*b113 + 2*b113*b408 - 2* b113*b421 - 2*b113*b477 + 2*b114*b115 - 2*b115 + 2*b114*b275 + 2*b115*b173 - 2*b115*b237 - 2*b237 + 2*b115*b277 - 4*b277 + 2*b116*b118 - 4*b118 + 2* b116*b422 + 2*b117*b119 - 4*b119 + 2*b117*b278 - 4*b278 + 2*b117*b379 + 2* b118*b119 + 2*b118*b277 + 2*b118*b319 + 2*b319 + 2*b119*b120 + 2*b119*b331 + 2*b120*b179 - 4*b179 - 2*b120*b367 + 2*b121*b123 + 2*b121*b241 - 2*b241 - 2*b122*b151 + 2*b122 + 2*b122*b212 - 4*b212 - 2*b122*b323 - 2*b323 - 2* b122*b330 + 2*b123*b179 + 2*b123*b212 + 2*b124*b125 - 2*b125 - 2*b124*b342 + 2*b125*b212 + 2*b126*b127 - 2*b126 + 2*b126*b463 + 2*b127*b248 - 2*b248 + 2*b127*b250 - 2*b128*b129 + 2*b129 - 2*b128*b290 - 2*b290 - 2*b128*b370 + 2*b129*b131 - 4*b131 - 2*b129*b253 + 2*b253 - 2*b129*b478 - 2*b130*b386 + 4*b130 - 2*b130*b387 - 2*b130*b458 - 2*b130*b459 + 2*b131*b358 + 2*b131 *b395 + 2*b131*b459 + 2*b132*b133 - 4*b133 + 2*b132*b220 - 4*b220 - 2*b132 *b253 + 2*b133*b347 + 2*b133*b413 + 2*b133*b459 + 2*b134*b136 - 2*b136 + 2 *b135*b334 - 2*b135*b405 + 2*b136*b405 - 2*b136*b440 + 2*b136*b479 + 2* b137*b138 - 2*b137*b163 - 2*b163 + 2*b137*b264 - 2*b264 + 2*b138*b140 - 2* b140 + 2*b138*b405 - 2*b139*b231 + 2*b231 + 2*b139*b264 + 2*b139*b414 + 2* b140*b228 - 2*b228 + 2*b140*b231 - 2*b140*b446 - 2*b141*b142 + 2*b141 + 2* b142 - 2*b141*b305 + 2*b305 - 2*b141*b352 + 2*b141*b366 + 2*b142*b143 - 2* b142*b428 - 2*b142*b480 - 2*b143*b366 + 2*b143*b481 + 2*b144*b145 - 2*b145 + 2*b144*b430 + 2*b145*b205 + 2*b145*b316 - 4*b316 - 2*b145*b482 + 2*b146 *b147 - 4*b147 + 2*b146*b417 + 2*b147*b280 + 2*b280 + 2*b147*b316 + 2*b147 *b474 + 2*b148*b211 - 2*b211 - 2*b148*b355 + 2*b148*b474 + 2*b149*b150 + 2 *b149*b282 - 2*b282 + 2*b149*b442 + 2*b150*b211 + 2*b150*b245 - 4*b245 + 2 *b151*b152 - 2*b152 + 2*b152*b245 + 2*b153*b154 - 2*b153 + 2*b153*b287 - 2 *b287 + 2*b154*b215 + 2*b215 + 2*b154*b286 - 2*b286 - 2*b155*b156 + 2*b156 - 2*b155*b380 + 2*b156*b158 - 4*b158 - 2*b156*b292 + 2*b292 - 2*b156*b483 - 2*b157*b394 + 4*b157 - 2*b157*b395 - 2*b157*b450 - 2*b157*b452 + 2*b158 *b370 + 2*b158*b403 + 2*b158*b452 + 2*b159*b161 - 2*b159 - 4*b161 + 2*b159 *b254 - 4*b254 - 2*b159*b292 + 2*b159*b424 + 2*b160*b162 + 2*b160 - 2*b162 - 2*b160*b257 + 2*b257 - 2*b160*b403 - 2*b160*b431 + 2*b161*b162 + 2*b161 *b360 + 2*b161*b452 - 2*b162*b404 + 2*b162*b484 + 2*b163*b398 + 2*b163* b479 + 2*b163*b485 - 2*b164*b476 - 2*b165*b198 - 2*b165 + 2*b198 + 2*b165* b375 + 2*b165*b406 + 2*b165*b427 + 2*b166*b198 - 2*b166 + 2*b166*b265 - 2* b265 - 2*b166*b453 + 2*b166*b476 - 2*b167*b168 + 4*b167 + 2*b168 - 2*b167* b267 - 2*b167*b364 - 2*b167*b366 + 2*b168*b169 - 2*b168*b433 - 2*b168*b487 + 2*b169*b272 - 2*b272 + 2*b169*b366 + 2*b170*b172 - 4*b172 + 2*b171*b172 - 4*b171 + 2*b171*b272 + 2*b171*b275 + 2*b171*b392 + 2*b172*b174 - 2*b174 + 2*b172*b238 + 2*b173*b175 - 4*b175 + 2*b173*b410 + 2*b174*b175 + 2*b174 *b276 - 4*b276 - 2*b174*b329 + 2*b175*b240 + 2*b240 + 2*b175*b470 - 2*b176 *b178 + 2*b176 + 2*b176*b239 - 2*b239 - 2*b176*b331 - 2*b176*b422 - 2*b177 *b242 + 2*b177 - 2*b242 - 2*b177*b280 - 2*b177*b330 + 2*b177*b379 + 2*b178 *b242 + 2*b178*b470 + 2*b179*b321 - 2*b321 + 2*b179*b324 - 2*b180*b243 + 2 *b180*b488 + 2*b181*b183 + 2*b182*b184 + 2*b182*b448 - 2*b182*b449 + 2* b183*b369 + 2*b183*b449 + 2*b184*b186 - 4*b186 - 2*b185*b187 - 2*b187 - 2* b185*b386 + 2*b186*b187 + 2*b186*b346 + 2*b186*b449 + 2*b187*b189 - 4*b189 + 2*b187*b292 + 2*b188*b291 + 2*b188 - 4*b291 - 2*b188*b294 + 2*b294 - 2* b188*b403 - 2*b188*b444 + 2*b189*b294 + 2*b189*b380 + 2*b189*b412 - 2*b190 *b295 + 2*b190 + 2*b295 - 2*b190*b395 + 2*b190*b397 - 2*b190*b436 - 2*b191 *b224 + 2*b192*b194 - 4*b192 - 2*b194 + 2*b192*b440 + 2*b192*b485 + 2*b192 *b491 - 2*b193*b195 - 2*b195 - 2*b193*b351 + 2*b194*b195 - 2*b194*b341 + 2 *b194*b390 + 2*b195*b197 + 2*b195*b472 + 2*b196*b364 + 2*b196*b419 - 2* b196*b420 + 2*b197*b303 - 2*b303 + 2*b197*b420 - 2*b198*b232 - 2*b198*b487 - 2*b199*b200 + 4*b199 - 2*b200 - 2*b199*b231 - 2*b199*b375 - 2*b199*b377 + 2*b200*b202 + 2*b200*b433 + 2*b200*b487 - 2*b201*b311 + 2*b201 - 2*b311 - 2*b201*b391 - 2*b201*b392 + 2*b201*b460 + 2*b202*b311 + 2*b202*b377 + 2 *b203*b204 - 4*b204 + 2*b204*b206 - 4*b206 + 2*b204*b277 + 2*b204*b482 + 2 *b205*b207 - 4*b207 + 2*b205*b402 + 2*b206*b207 + 2*b206*b315 - 4*b315 + 2 *b206*b329 + 2*b207*b208 + 2*b208 + 2*b207*b467 - 2*b208*b210 - 2*b208* b354 - 2*b208*b417 - 2*b209*b240 - 2*b209*b283 - 2*b283 + 2*b209*b367 + 2* b210*b283 + 2*b210*b467 + 2*b211*b284 - 2*b211*b332 + 2*b212*b493 + 2*b213 *b214 + 2*b214*b216 + 2*b214*b357 - 2*b215*b371 - 2*b215*b456 - 2*b215* b483 + 2*b216*b456 + 2*b216*b483 - 2*b217*b218 - 2*b218 - 2*b217*b394 + 2* b218*b220 + 2*b218*b253 + 2*b218*b483 + 2*b219*b252 - 2*b252 - 2*b219*b255 + 2*b255 - 2*b219*b412 + 2*b220*b255 + 2*b220*b386 + 2*b221*b223 + 2*b221 - 2*b223 - 2*b221*b255 - 2*b221*b387 - 2*b221*b439 - 2*b222*b424 - 2*b222 *b425 - 2*b222*b471 + 2*b223*b404 + 2*b223*b471 - 2*b223*b494 + 2*b224* b397 - 2*b224*b492 + 2*b225*b226 - 4*b225 - 2*b226 + 2*b225*b260 - 2*b260 + 2*b225*b301 + 2*b225*b491 + 2*b226*b228 - 2*b226*b350 + 2*b226*b383 - 2 *b227*b230 - 2*b230 + 2*b227*b349 + 2*b227*b440 + 2*b228*b230 - 2*b228* b426 + 2*b229*b352 + 2*b229*b414 - 2*b229*b415 + 2*b230*b415 + 2*b230*b453 - 2*b231*b480 - 2*b232*b233 - 2*b233 - 2*b232*b384 + 2*b233*b235 + 2*b233 *b428 + 2*b233*b480 - 2*b234*b399 - 2*b234*b400 - 2*b234*b466 + 2*b235* b384 + 2*b235*b466 + 2*b236*b314 - 2*b314 - 2*b236*b454 + 2*b237*b314 + 2* b237*b466 + 2*b237*b481 + 2*b238*b239 + 2*b238*b393 + 2*b239*b462 - 2*b239 *b495 - 2*b240*b241 - 2*b240*b410 + 2*b241*b322 - 2*b322 + 2*b241*b462 + 2 *b242*b244 + 2*b242*b324 + 2*b243*b246 + 2*b243*b330 + 2*b244*b246 + 2* b244*b322 + 2*b245*b247 - 2*b247 + 2*b245*b342 + 2*b246*b247 + 2*b248*b249 + 2*b249*b251 + 2*b249*b345 - 2*b250*b463 - 2*b250*b478 + 2*b251*b463 + 2 *b251*b478 + 2*b252*b254 - 2*b252*b411 + 2*b252*b478 - 2*b253*b436 + 2* b254*b394 + 2*b254*b436 - 2*b255*b494 + 2*b256*b258 + 2*b256 - 2*b256*b294 - 2*b256*b381 - 2*b256*b445 + 2*b257*b339 - 2*b257*b432 - 2*b257*b469 + 2 *b258*b469 + 2*b258*b494 - 2*b259*b299 - 2*b299 - 2*b259*b396 + 2*b259* b425 + 2*b260*b261 - 4*b261 - 2*b260*b388 + 2*b260*b492 + 2*b261*b262 + 2* b261*b263 + 2*b261*b299 - 2*b262*b265 - 2*b262*b414 + 2*b263*b265 - 2*b263 *b374 - 2*b264*b266 - 2*b266 + 2*b264*b340 + 2*b265*b266 + 2*b266*b407 + 2 *b266*b446 + 2*b267*b472 - 2*b267*b477 - 2*b268*b269 - 2*b269 - 2*b268* b391 - 2*b268*b420 + 2*b269*b271 + 2*b269*b421 + 2*b269*b477 - 2*b270*b328 - 2*b270*b460 - 2*b270*b461 + 2*b271*b391 + 2*b271*b461 + 2*b272*b274 - 2 *b272*b401 + 2*b273*b276 - 2*b273*b461 + 2*b274*b276 + 2*b274*b461 + 2* b275*b278 + 2*b276*b278 + 2*b277*b279 - 4*b279 + 2*b278*b279 + 2*b279*b281 - 2*b281 + 2*b279*b355 - 2*b280*b282 - 2*b280*b402 + 2*b281*b282 - 2*b281 *b422 + 2*b281*b455 + 2*b282*b343 + 2*b283*b284 + 2*b283*b285 - 2*b284* b326 + 2*b326 + 2*b285*b326 + 2*b285*b343 + 2*b286*b288 - 2*b287*b289 + 2* b287*b290 + 2*b287*b457 + 2*b288*b290 + 2*b288*b337 - 2*b289*b475 + 2*b290 *b475 + 2*b291*b293 - 4*b293 + 2*b291*b411 + 2*b291*b475 - 2*b292*b431 + 2 *b293*b346 + 2*b293*b372 + 2*b293*b431 - 2*b294*b490 + 2*b295*b348 - 2* b295*b437 - 2*b295*b465 + 2*b296*b451 + 2*b296*b465 + 2*b296*b490 - 2*b297 *b404 - 2*b297*b418 + 2*b298*b418 - 2*b298 + 2*b298*b465 - 2*b298*b479 + 2 *b298*b484 + 2*b299*b300 - 4*b300 + 2*b299*b486 + 2*b300*b302 + 2*b300* b418 + 2*b300*b426 - 2*b301*b303 - 2*b301*b419 + 2*b302*b303 + 2*b302*b374 + 2*b303*b304 - 2*b304 + 2*b304*b305 + 2*b304*b306 - 2*b306 - 2*b304*b427 - 2*b305*b472 - 2*b305*b473 + 2*b306*b307 + 2*b307 - 2*b306*b365 + 2*b306 *b473 - 2*b307*b308 - 2*b308 - 2*b307*b399 - 2*b307*b415 + 2*b308*b309 + 2 *b308*b310 + 2*b308*b473 - 2*b309*b454 + 2*b310*b399 + 2*b310*b454 + 2* b311*b313 + 2*b311*b482 + 2*b312*b315 - 2*b312*b466 + 2*b313*b315 + 2*b313 *b454 + 2*b314*b316 - 2*b314*b495 + 2*b315*b495 + 2*b316*b318 - 4*b318 - 2 *b317*b320 - 2*b320 - 2*b317*b355 - 2*b317*b429 + 2*b318*b320 + 2*b318* b367 + 2*b318*b495 - 2*b319*b321 - 2*b319*b332 - 2*b319*b393 + 2*b320*b321 + 2*b320*b447 + 2*b321*b323 + 2*b322*b325 - 2*b322*b354 + 2*b323*b325 + 2 *b323*b354 - 2*b324*b489 + 2*b325*b489 - 2*b326*b493 - 2*b326*b496 - 2* b327*b328 + 2*b327*b392 - 2*b329*b379 + 2*b330*b331 - 2*b331*b343 + 2*b333 *b396 - 2*b333*b438 - 2*b334*b335 - 2*b334*b419 + 2*b334*b427 - 2*b335* b398 + 2*b336*b368 - 2*b338*b339 - 2*b338*b437 + 2*b339*b395 - 2*b339*b468 - 2*b340*b341 - 2*b340*b414 - 2*b342*b343 + 2*b344*b356 - 2*b347*b348 - 2 *b347*b432 + 2*b348*b387 - 2*b348*b464 - 2*b349*b350 + 2*b349*b351 - 2* b349*b406 - 2*b351*b418 - 2*b352*b353 + 2*b352*b378 + 2*b353*b383 + 2*b353 *b406 - 2*b353*b407 + 2*b354*b355 - 2*b356*b357 + 2*b358*b359 - 2*b359* b449 - 2*b359*b450 - 2*b360*b361 - 2*b360*b425 + 2*b361*b381 + 2*b361*b439 - 2*b361*b459 - 2*b362*b363 - 2*b362*b374 + 2*b363*b425 - 2*b363*b479 - 2 *b364*b365 + 2*b364*b385 + 2*b365*b390 - 2*b367*b434 - 2*b368*b369 + 2* b370*b371 - 2*b371*b458 - 2*b372*b451 + 2*b373*b438 - 2*b373*b485 - 2*b375 *b376 - 2*b376*b390 + 2*b377*b378 - 2*b377*b408 - 2*b378*b446 - 2*b379* b442 + 2*b382*b437 - 2*b382*b491 - 2*b383*b405 + 2*b384*b385 - 2*b384*b401 - 2*b385*b453 + 2*b388*b404 + 2*b388*b432 + 2*b389*b438 - 2*b389*b465 - 2 *b390*b398 - 2*b392*b416 - 2*b393*b474 - 2*b396*b397 - 2*b397*b490 + 2* b398*b476 + 2*b400*b401 - 2*b400*b409 - 2*b402*b470 - 2*b406*b426 + 2*b407 *b477 - 2*b408*b481 - 2*b410*b467 - 2*b412*b424 + 2*b413*b424 - 2*b413* b484 + 2*b415*b480 - 2*b417*b462 + 2*b420*b487 + 2*b422*b429 - 2*b423*b435 - 2*b427*b440 - 2*b429*b430 + 2*b431*b490 + 2*b436*b494 - 2*b438*b439 + 2 *b441*b442 - 2*b441*b443 - 2*b442*b474 + 2*b445*b451 - 2*b447*b467 - 2* b448*b463 - 2*b451*b452 - 2*b455*b462 - 2*b456*b457 + 2*b469*b486 + 2*b471 *b492 - 2*b472*b476 - 2*b481*b482 - 2*b484*b486 - 2*b485*b486 - 2*b488* b489 + 2*b489*b496 - 2*b491*b492 + objvar <= 0 } } Procedure MainInitialization; MathematicalProgram sporttournament32 { Objective: objvar; Direction: maximize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve sporttournament32; } } Procedure MainTermination { Body: { return 1; } } }