## ams_version=1.0 Model Main_sporttournament18 { 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 objvar; Constraint e1 { Definition: { 2*b1*b7 - 2*b1 - 2*b7 + 2*b1*b10 - 2*b10 + 2*b1*b15 - 4*b15 - 2*b1*b48 + 2 *b48 + 2*b2*b81 - 2*b2 - 2*b81 + 2*b2*b112 + 2*b3*b108 - 2*b3 + 2*b3*b112 + 2*b4*b33 - 2*b4 - 2*b33 + 2*b4*b108 + 2*b5*b33 - 2*b5 + 2*b5*b113 + 2* b6*b21 - 2*b6 - 2*b21 + 2*b6*b78 - 4*b78 + 2*b7*b11 - 2*b11 + 2*b7*b110 - 2*b7*b127 + 2*b8*b18 - 2*b8 - 4*b18 + 2*b8*b28 - 4*b28 - 2*b8*b125 + 2*b8* b133 - 2*b9*b60 - 2*b9 - 2*b60 + 2*b9*b81 + 2*b9*b114 + 2*b9*b123 + 2*b10* b17 - 2*b17 + 2*b10*b117 - 2*b10*b124 + 2*b11*b26 - 4*b26 + 2*b11*b35 - 4* b35 - 2*b11*b135 + 2*b12*b19 - 4*b12 - 4*b19 + 2*b12*b88 - 2*b88 + 2*b12* b124 + 2*b12*b127 + 2*b13*b26 - 4*b13 + 2*b13*b28 + 2*b13*b37 - 4*b37 + 2* b13*b125 + 2*b14*b44 - 2*b14 - 4*b44 + 2*b14*b129 + 2*b15*b16 - 4*b16 + 2* b15*b107 + 2*b15*b134 + 2*b16*b109 + 2*b16*b123 + 2*b16*b140 + 2*b17*b35 + 2*b17*b50 - 2*b50 - 2*b17*b140 + 2*b18*b27 - 4*b27 + 2*b18*b127 + 2*b18 *b131 + 2*b19*b35 + 2*b19*b37 + 2*b19*b53 - 4*b53 - 2*b20*b21 - 2*b20 + 2* b20*b58 - 2*b58 + 2*b20*b136 + 2*b20*b142 + 2*b21*b22 - 2*b22 + 2*b21*b98 - 2*b98 + 2*b22*b58 + 2*b23*b24 + 2*b23 - 4*b24 - 2*b23*b48 - 2*b23*b113 - 2*b23*b144 + 2*b24*b25 - 2*b25 + 2*b24*b111 + 2*b24*b117 - 2*b25*b114 + 2*b25*b135 + 2*b25*b140 + 2*b26*b36 - 2*b36 + 2*b26*b131 + 2*b27*b50 + 2*b27*b53 + 2*b27*b68 - 4*b68 + 2*b28*b38 - 4*b38 + 2*b28*b126 + 2*b29*b30 - 2*b29 - 2*b30 - 2*b29*b41 - 2*b41 + 2*b29*b95 - 2*b95 + 2*b29*b138 + 2* b30*b57 - 2*b57 + 2*b30*b77 - 2*b77 - 2*b30*b129 + 2*b31*b32 - 2*b31 - 2* b32 + 2*b31*b76 - 4*b76 - 2*b31*b138 + 2*b31*b139 + 2*b32*b77 - 2*b33*b83 + 2*b83 + 2*b33*b107 - 2*b34*b110 + 4*b34 - 2*b34*b111 - 2*b34*b134 - 2* b34*b145 + 2*b35*b52 - 2*b52 + 2*b36*b68 - 2*b36*b87 - 2*b87 + 2*b36*b89 - 4*b89 + 2*b37*b39 - 2*b39 + 2*b37*b91 + 2*b91 + 2*b38*b40 - 4*b40 + 2* b38*b56 - 2*b56 + 2*b38*b90 - 4*b90 + 2*b39*b40 + 2*b39*b89 - 2*b39*b119 + 2*b40*b41 + 2*b40*b103 + 2*b41*b74 - 2*b74 + 2*b41*b93 - 2*b93 - 2*b42* b58 + 2*b42 - 2*b42*b75 - 2*b75 + 2*b42*b100 - 4*b100 - 2*b42*b102 + 2*b43 *b74 - 4*b43 + 2*b43*b100 + 2*b43*b129 + 2*b43*b142 + 2*b44*b45 - 2*b45 + 2*b44*b99 - 4*b99 + 2*b44*b138 + 2*b45*b100 + 2*b46*b47 - 2*b46 - 2*b47 + 2*b46*b144 + 2*b47*b59 - 2*b59 + 2*b47*b61 + 2*b61 - 2*b47*b134 + 2*b48* b84 - 2*b84 - 2*b48*b148 + 2*b49*b64 - 2*b49 - 2*b64 + 2*b49*b66 - 2*b66 - 2*b49*b127 + 2*b49*b148 + 2*b50*b67 - 4*b67 - 2*b50*b141 + 2*b51*b66 - 4*b51 + 2*b51*b67 + 2*b51*b88 + 2*b51*b121 + 2*b52*b54 - 2*b54 + 2*b52*b89 - 2*b52*b149 + 2*b53*b55 - 4*b55 + 2*b53*b128 + 2*b54*b55 + 2*b54*b67 - 2 *b54*b105 + 2*b55*b119 + 2*b55*b146 + 2*b56*b104 + 2*b56*b105 - 2*b56*b137 - 2*b57*b94 - 2*b94 + 2*b57*b98 + 2*b57*b143 + 2*b58*b151 + 2*b59*b60 + 2 *b60*b62 - 2*b62 + 2*b60*b80 - 2*b80 - 2*b61*b108 - 2*b61*b123 - 2*b61* b150 + 2*b62*b63 + 2*b63 - 2*b62*b112 + 2*b62*b150 - 2*b63*b64 - 2*b63*b83 - 2*b63*b117 + 2*b64*b65 - 2*b65 + 2*b64*b150 + 2*b65*b85 - 2*b85 + 2*b65 *b86 - 2*b86 - 2*b65*b124 - 2*b66*b132 + 2*b66*b149 + 2*b67*b69 - 2*b69 + 2*b68*b70 - 4*b70 + 2*b68*b126 + 2*b69*b70 + 2*b69*b105 - 2*b69*b153 + 2* b70*b72 - 2*b72 + 2*b70*b115 - 2*b71*b73 + 2*b71 - 2*b73 - 2*b71*b91 + 2* b71*b94 - 2*b71*b105 + 2*b72*b73 - 2*b72*b128 + 2*b72*b143 + 2*b73*b75 + 2 *b73*b136 + 2*b74*b76 - 2*b74*b118 + 2*b75*b76 + 2*b75*b118 + 2*b76*b78 + 2*b77*b79 - 2*b79 - 2*b77*b106 + 2*b78*b79 + 2*b78*b106 + 2*b80*b82 - 4* b82 - 2*b81*b84 + 2*b81*b116 + 2*b82*b84 + 2*b82*b130 + 2*b82*b134 + 2*b83 *b144 - 2*b83*b147 + 2*b84*b147 + 2*b85*b122 - 2*b85*b123 + 2*b85*b147 + 2 *b86*b87 - 2*b86*b135 + 2*b86*b149 + 2*b87*b141 + 2*b87*b153 + 2*b88*b90 - 2*b88*b133 + 2*b89*b92 - 4*b92 + 2*b90*b92 + 2*b90*b153 - 2*b91*b93 - 2 *b91*b133 + 2*b92*b93 + 2*b92*b120 + 2*b93*b95 + 2*b94*b97 - 2*b97 + 2*b94 *b119 + 2*b95*b97 - 2*b95*b120 + 2*b96*b98 - 2*b96 + 2*b96*b99 - 2*b96* b103 + 2*b96*b137 + 2*b97*b99 - 2*b97*b106 - 2*b98*b152 + 2*b99*b152 + 2* b100*b101 - 2*b101 + 2*b101*b152 + 2*b102*b103 - 2*b102*b104 + 2*b102*b106 - 2*b103*b115 + 2*b104*b115 - 2*b104*b142 - 2*b107*b108 - 2*b107*b114 - 2 *b109*b110 + 2*b109*b121 - 2*b109*b131 + 2*b110*b114 - 2*b111*b112 + 2* b111*b113 - 2*b113*b130 - 2*b115*b126 - 2*b116*b144 - 2*b117*b122 - 2*b118 *b119 + 2*b118*b120 - 2*b120*b128 - 2*b121*b122 - 2*b121*b125 + 2*b122* b141 + 2*b124*b125 - 2*b126*b146 + 2*b128*b133 - 2*b129*b139 - 2*b131*b132 + 2*b132*b145 + 2*b132*b148 + 2*b135*b145 - 2*b136*b137 - 2*b136*b138 + 2 *b137*b146 - 2*b140*b141 - 2*b142*b143 - 2*b143*b146 - 2*b145*b147 - 2* b148*b150 - 2*b149*b153 - 2*b151*b152 + objvar <= 0 } } Procedure MainInitialization; MathematicalProgram sporttournament18 { Objective: objvar; Direction: maximize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve sporttournament18; } } Procedure MainTermination { Body: { return 1; } } }