## ams_version=1.0 Model Main_p_ball_10b_5p_2d_h { 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 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 x91 { Range: nonnegative; } Variable x92 { Range: nonnegative; } Variable x93 { Range: nonnegative; } Variable x94 { Range: nonnegative; } Variable x95 { Range: nonnegative; } Variable x96 { Range: nonnegative; } Variable x97 { Range: nonnegative; } Variable x98 { Range: nonnegative; } Variable x99 { Range: nonnegative; } Variable x100 { Range: nonnegative; } Variable x101 { Range: nonnegative; } Variable x102 { Range: nonnegative; } Variable x103 { Range: nonnegative; } Variable x104 { Range: nonnegative; } Variable x105 { Range: nonnegative; } Variable x106 { Range: nonnegative; } Variable x107 { Range: nonnegative; } Variable x108 { Range: nonnegative; } Variable x109 { Range: nonnegative; } Variable x110 { Range: nonnegative; } Variable x111 { Range: nonnegative; } Variable x112 { Range: nonnegative; } Variable x113 { Range: nonnegative; } Variable x114 { Range: nonnegative; } Variable x115 { Range: nonnegative; } Variable x116 { Range: nonnegative; } Variable x117 { Range: nonnegative; } Variable x118 { Range: nonnegative; } Variable x119 { Range: nonnegative; } Variable x120 { Range: nonnegative; } Variable x121 { Range: nonnegative; } Variable x122 { Range: nonnegative; } Variable x123 { Range: nonnegative; } Variable x124 { Range: nonnegative; } Variable x125 { Range: nonnegative; } Variable x126 { Range: nonnegative; } Variable x127 { Range: nonnegative; } Variable x128 { Range: nonnegative; } Variable x129 { Range: nonnegative; } Variable x130 { Range: nonnegative; } Variable x131 { Range: nonnegative; } Variable x132 { Range: nonnegative; } Variable x133 { Range: nonnegative; } Variable x134 { Range: nonnegative; } Variable x135 { Range: nonnegative; } Variable x136 { Range: nonnegative; } Variable x137 { Range: nonnegative; } Variable x138 { Range: nonnegative; } Variable x139 { Range: nonnegative; } Variable x140 { Range: nonnegative; } Variable x141 { Range: nonnegative; } Variable x142 { Range: nonnegative; } Variable x143 { Range: nonnegative; } Variable x144 { Range: nonnegative; } Variable x145 { Range: nonnegative; } Variable x146 { Range: nonnegative; } Variable x147 { Range: nonnegative; } Variable x148 { Range: nonnegative; } Variable x149 { Range: nonnegative; } Variable x150 { Range: nonnegative; } Variable x151 { Range: nonnegative; } Variable x152 { Range: nonnegative; } Variable x153 { Range: nonnegative; } Variable x154 { Range: nonnegative; } Variable x155 { Range: nonnegative; } Variable x156 { Range: nonnegative; } Variable x157 { Range: nonnegative; } Variable x158 { Range: nonnegative; } Variable x159 { Range: nonnegative; } Variable x160 { Range: nonnegative; } Variable x161 { Range: nonnegative; } Variable x162 { Range: nonnegative; } Variable x163 { Range: nonnegative; } Variable x164 { Range: nonnegative; } Variable x165 { Range: nonnegative; } Variable x166 { Range: nonnegative; } Variable x167 { Range: nonnegative; } Variable x168 { Range: nonnegative; } Variable x169 { Range: nonnegative; } Variable x170 { Range: nonnegative; } Variable x171 { Range: nonnegative; } Variable x172 { Range: nonnegative; } Variable x173 { Range: nonnegative; } Variable x174 { Range: nonnegative; } Variable x175 { Range: nonnegative; } Variable x176 { Range: nonnegative; } Variable x177 { Range: nonnegative; } Variable x178 { Range: nonnegative; } Variable x179 { Range: nonnegative; } Variable x180 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: x51 - x52 - x53 <= 0; } Constraint e2 { Definition: - x51 + x52 - x53 <= 0; } Constraint e3 { Definition: x54 - x55 - x56 <= 0; } Constraint e4 { Definition: - x54 + x55 - x56 <= 0; } Constraint e5 { Definition: x51 - x57 - x58 <= 0; } Constraint e6 { Definition: - x51 + x57 - x58 <= 0; } Constraint e7 { Definition: x54 - x59 - x60 <= 0; } Constraint e8 { Definition: - x54 + x59 - x60 <= 0; } Constraint e9 { Definition: x51 - x61 - x62 <= 0; } Constraint e10 { Definition: - x51 + x61 - x62 <= 0; } Constraint e11 { Definition: x54 - x63 - x64 <= 0; } Constraint e12 { Definition: - x54 + x63 - x64 <= 0; } Constraint e13 { Definition: x51 - x65 - x66 <= 0; } Constraint e14 { Definition: - x51 + x65 - x66 <= 0; } Constraint e15 { Definition: x54 - x67 - x68 <= 0; } Constraint e16 { Definition: - x54 + x67 - x68 <= 0; } Constraint e17 { Definition: x52 - x57 - x69 <= 0; } Constraint e18 { Definition: - x52 + x57 - x69 <= 0; } Constraint e19 { Definition: x55 - x59 - x70 <= 0; } Constraint e20 { Definition: - x55 + x59 - x70 <= 0; } Constraint e21 { Definition: x52 - x61 - x71 <= 0; } Constraint e22 { Definition: - x52 + x61 - x71 <= 0; } Constraint e23 { Definition: x55 - x63 - x72 <= 0; } Constraint e24 { Definition: - x55 + x63 - x72 <= 0; } Constraint e25 { Definition: x52 - x65 - x73 <= 0; } Constraint e26 { Definition: - x52 + x65 - x73 <= 0; } Constraint e27 { Definition: x55 - x67 - x74 <= 0; } Constraint e28 { Definition: - x55 + x67 - x74 <= 0; } Constraint e29 { Definition: x57 - x61 - x75 <= 0; } Constraint e30 { Definition: - x57 + x61 - x75 <= 0; } Constraint e31 { Definition: x59 - x63 - x76 <= 0; } Constraint e32 { Definition: - x59 + x63 - x76 <= 0; } Constraint e33 { Definition: x57 - x65 - x77 <= 0; } Constraint e34 { Definition: - x57 + x65 - x77 <= 0; } Constraint e35 { Definition: x59 - x67 - x78 <= 0; } Constraint e36 { Definition: - x59 + x67 - x78 <= 0; } Constraint e37 { Definition: x61 - x65 - x79 <= 0; } Constraint e38 { Definition: - x61 + x65 - x79 <= 0; } Constraint e39 { Definition: x63 - x67 - x80 <= 0; } Constraint e40 { Definition: - x63 + x67 - x80 <= 0; } Constraint e41 { Definition: { (-1 + sqr(0.648386267690458 - x81/(0.0001 + 0.9999*b1)) + sqr( 5.34198386756466 - x82/(0.0001 + 0.9999*b1)))*(0.0001 + 0.9999*b1) + 0.00279571963934506*b1 <= 0.00279571963934506 } } Constraint e42 { Definition: { (-1 + sqr(0.38028139143083 - x83/(0.0001 + 0.9999*b2)) + sqr( 4.79200736168083 - x84/(0.0001 + 0.9999*b2)))*(0.0001 + 0.9999*b2) + 0.00221079484910719*b2 <= 0.00221079484910719 } } Constraint e43 { Definition: { (-1 + sqr(4.59553989190787 - x85/(0.0001 + 0.9999*b3)) + sqr( 2.92927044373959 - x86/(0.0001 + 0.9999*b3)))*(0.0001 + 0.9999*b3) + 0.00286996122306829*b3 <= 0.00286996122306829 } } Constraint e44 { Definition: { (-1 + sqr(7.79089239319392 - x87/(0.0001 + 0.9999*b4)) + sqr( 3.09688601355012 - x88/(0.0001 + 0.9999*b4)))*(0.0001 + 0.9999*b4) + 0.00692887072632492*b4 <= 0.00692887072632492 } } Constraint e45 { Definition: { (-1 + sqr(2.20597420581599 - x89/(0.0001 + 0.9999*b5)) + sqr( 0.880296019425143 - x90/(0.0001 + 0.9999*b5)))*(0.0001 + 0.9999*b5) + 0.000464124327854123*b5 <= 0.000464124327854123 } } Constraint e46 { Definition: { (-1 + sqr(4.31093077060147 - x91/(0.0001 + 0.9999*b6)) + sqr( 5.42555328385657 - x92/(0.0001 + 0.9999*b6)))*(0.0001 + 0.9999*b6) + 0.00470207525448854*b6 <= 0.00470207525448854 } } Constraint e47 { Definition: { (-1 + sqr(8.68776252232421 - x93/(0.0001 + 0.9999*b7)) + sqr( 7.42106012944621 - x94/(0.0001 + 0.9999*b7)))*(0.0001 + 0.9999*b7) + 0.0129549351089157*b7 <= 0.0129549351089157 } } Constraint e48 { Definition: { (-1 + sqr(3.86794113528858 - x95/(0.0001 + 0.9999*b8)) + sqr( 9.34863265837716 - x96/(0.0001 + 0.9999*b8)))*(0.0001 + 0.9999*b8) + 0.0101357901207334*b8 <= 0.0101357901207334 } } Constraint e49 { Definition: { (-1 + sqr(8.94294324678777 - x97/(0.0001 + 0.9999*b9)) + sqr( 0.712193380632226 - x98/(0.0001 + 0.9999*b9)))*(0.0001 + 0.9999*b9) + 0.00794834533266834*b9 <= 0.00794834533266834 } } Constraint e50 { Definition: { (-1 + sqr(1.56734614217404 - x99/(0.0001 + 0.9999*b10)) + sqr( 5.6469805099144 - x100/(0.0001 + 0.9999*b10)))*(0.0001 + 0.9999*b10) + 0.00333449628087409*b10 <= 0.00333449628087409 } } Constraint e51 { Definition: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 = 1; } Constraint e52 { Definition: { (-1 + sqr(0.648386267690458 - x101/(0.0001 + 0.9999*b11)) + sqr( 5.34198386756466 - x102/(0.0001 + 0.9999*b11)))*(0.0001 + 0.9999*b11) + 0.00279571963934506*b11 <= 0.00279571963934506 } } Constraint e53 { Definition: { (-1 + sqr(0.38028139143083 - x103/(0.0001 + 0.9999*b12)) + sqr( 4.79200736168083 - x104/(0.0001 + 0.9999*b12)))*(0.0001 + 0.9999*b12) + 0.00221079484910719*b12 <= 0.00221079484910719 } } Constraint e54 { Definition: { (-1 + sqr(4.59553989190787 - x105/(0.0001 + 0.9999*b13)) + sqr( 2.92927044373959 - x106/(0.0001 + 0.9999*b13)))*(0.0001 + 0.9999*b13) + 0.00286996122306829*b13 <= 0.00286996122306829 } } Constraint e55 { Definition: { (-1 + sqr(7.79089239319392 - x107/(0.0001 + 0.9999*b14)) + sqr( 3.09688601355012 - x108/(0.0001 + 0.9999*b14)))*(0.0001 + 0.9999*b14) + 0.00692887072632492*b14 <= 0.00692887072632492 } } Constraint e56 { Definition: { (-1 + sqr(2.20597420581599 - x109/(0.0001 + 0.9999*b15)) + sqr( 0.880296019425143 - x110/(0.0001 + 0.9999*b15)))*(0.0001 + 0.9999*b15) + 0.000464124327854123*b15 <= 0.000464124327854123 } } Constraint e57 { Definition: { (-1 + sqr(4.31093077060147 - x111/(0.0001 + 0.9999*b16)) + sqr( 5.42555328385657 - x112/(0.0001 + 0.9999*b16)))*(0.0001 + 0.9999*b16) + 0.00470207525448854*b16 <= 0.00470207525448854 } } Constraint e58 { Definition: { (-1 + sqr(8.68776252232421 - x113/(0.0001 + 0.9999*b17)) + sqr( 7.42106012944621 - x114/(0.0001 + 0.9999*b17)))*(0.0001 + 0.9999*b17) + 0.0129549351089157*b17 <= 0.0129549351089157 } } Constraint e59 { Definition: { (-1 + sqr(3.86794113528858 - x115/(0.0001 + 0.9999*b18)) + sqr( 9.34863265837716 - x116/(0.0001 + 0.9999*b18)))*(0.0001 + 0.9999*b18) + 0.0101357901207334*b18 <= 0.0101357901207334 } } Constraint e60 { Definition: { (-1 + sqr(8.94294324678777 - x117/(0.0001 + 0.9999*b19)) + sqr( 0.712193380632226 - x118/(0.0001 + 0.9999*b19)))*(0.0001 + 0.9999*b19) + 0.00794834533266834*b19 <= 0.00794834533266834 } } Constraint e61 { Definition: { (-1 + sqr(1.56734614217404 - x119/(0.0001 + 0.9999*b20)) + sqr( 5.6469805099144 - x120/(0.0001 + 0.9999*b20)))*(0.0001 + 0.9999*b20) + 0.00333449628087409*b20 <= 0.00333449628087409 } } Constraint e62 { Definition: b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 = 1; } Constraint e63 { Definition: { (-1 + sqr(0.648386267690458 - x121/(0.0001 + 0.9999*b21)) + sqr( 5.34198386756466 - x122/(0.0001 + 0.9999*b21)))*(0.0001 + 0.9999*b21) + 0.00279571963934506*b21 <= 0.00279571963934506 } } Constraint e64 { Definition: { (-1 + sqr(0.38028139143083 - x123/(0.0001 + 0.9999*b22)) + sqr( 4.79200736168083 - x124/(0.0001 + 0.9999*b22)))*(0.0001 + 0.9999*b22) + 0.00221079484910719*b22 <= 0.00221079484910719 } } Constraint e65 { Definition: { (-1 + sqr(4.59553989190787 - x125/(0.0001 + 0.9999*b23)) + sqr( 2.92927044373959 - x126/(0.0001 + 0.9999*b23)))*(0.0001 + 0.9999*b23) + 0.00286996122306829*b23 <= 0.00286996122306829 } } Constraint e66 { Definition: { (-1 + sqr(7.79089239319392 - x127/(0.0001 + 0.9999*b24)) + sqr( 3.09688601355012 - x128/(0.0001 + 0.9999*b24)))*(0.0001 + 0.9999*b24) + 0.00692887072632492*b24 <= 0.00692887072632492 } } Constraint e67 { Definition: { (-1 + sqr(2.20597420581599 - x129/(0.0001 + 0.9999*b25)) + sqr( 0.880296019425143 - x130/(0.0001 + 0.9999*b25)))*(0.0001 + 0.9999*b25) + 0.000464124327854123*b25 <= 0.000464124327854123 } } Constraint e68 { Definition: { (-1 + sqr(4.31093077060147 - x131/(0.0001 + 0.9999*b26)) + sqr( 5.42555328385657 - x132/(0.0001 + 0.9999*b26)))*(0.0001 + 0.9999*b26) + 0.00470207525448854*b26 <= 0.00470207525448854 } } Constraint e69 { Definition: { (-1 + sqr(8.68776252232421 - x133/(0.0001 + 0.9999*b27)) + sqr( 7.42106012944621 - x134/(0.0001 + 0.9999*b27)))*(0.0001 + 0.9999*b27) + 0.0129549351089157*b27 <= 0.0129549351089157 } } Constraint e70 { Definition: { (-1 + sqr(3.86794113528858 - x135/(0.0001 + 0.9999*b28)) + sqr( 9.34863265837716 - x136/(0.0001 + 0.9999*b28)))*(0.0001 + 0.9999*b28) + 0.0101357901207334*b28 <= 0.0101357901207334 } } Constraint e71 { Definition: { (-1 + sqr(8.94294324678777 - x137/(0.0001 + 0.9999*b29)) + sqr( 0.712193380632226 - x138/(0.0001 + 0.9999*b29)))*(0.0001 + 0.9999*b29) + 0.00794834533266834*b29 <= 0.00794834533266834 } } Constraint e72 { Definition: { (-1 + sqr(1.56734614217404 - x139/(0.0001 + 0.9999*b30)) + sqr( 5.6469805099144 - x140/(0.0001 + 0.9999*b30)))*(0.0001 + 0.9999*b30) + 0.00333449628087409*b30 <= 0.00333449628087409 } } Constraint e73 { Definition: b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 = 1; } Constraint e74 { Definition: { (-1 + sqr(0.648386267690458 - x141/(0.0001 + 0.9999*b31)) + sqr( 5.34198386756466 - x142/(0.0001 + 0.9999*b31)))*(0.0001 + 0.9999*b31) + 0.00279571963934506*b31 <= 0.00279571963934506 } } Constraint e75 { Definition: { (-1 + sqr(0.38028139143083 - x143/(0.0001 + 0.9999*b32)) + sqr( 4.79200736168083 - x144/(0.0001 + 0.9999*b32)))*(0.0001 + 0.9999*b32) + 0.00221079484910719*b32 <= 0.00221079484910719 } } Constraint e76 { Definition: { (-1 + sqr(4.59553989190787 - x145/(0.0001 + 0.9999*b33)) + sqr( 2.92927044373959 - x146/(0.0001 + 0.9999*b33)))*(0.0001 + 0.9999*b33) + 0.00286996122306829*b33 <= 0.00286996122306829 } } Constraint e77 { Definition: { (-1 + sqr(7.79089239319392 - x147/(0.0001 + 0.9999*b34)) + sqr( 3.09688601355012 - x148/(0.0001 + 0.9999*b34)))*(0.0001 + 0.9999*b34) + 0.00692887072632492*b34 <= 0.00692887072632492 } } Constraint e78 { Definition: { (-1 + sqr(2.20597420581599 - x149/(0.0001 + 0.9999*b35)) + sqr( 0.880296019425143 - x150/(0.0001 + 0.9999*b35)))*(0.0001 + 0.9999*b35) + 0.000464124327854123*b35 <= 0.000464124327854123 } } Constraint e79 { Definition: { (-1 + sqr(4.31093077060147 - x151/(0.0001 + 0.9999*b36)) + sqr( 5.42555328385657 - x152/(0.0001 + 0.9999*b36)))*(0.0001 + 0.9999*b36) + 0.00470207525448854*b36 <= 0.00470207525448854 } } Constraint e80 { Definition: { (-1 + sqr(8.68776252232421 - x153/(0.0001 + 0.9999*b37)) + sqr( 7.42106012944621 - x154/(0.0001 + 0.9999*b37)))*(0.0001 + 0.9999*b37) + 0.0129549351089157*b37 <= 0.0129549351089157 } } Constraint e81 { Definition: { (-1 + sqr(3.86794113528858 - x155/(0.0001 + 0.9999*b38)) + sqr( 9.34863265837716 - x156/(0.0001 + 0.9999*b38)))*(0.0001 + 0.9999*b38) + 0.0101357901207334*b38 <= 0.0101357901207334 } } Constraint e82 { Definition: { (-1 + sqr(8.94294324678777 - x157/(0.0001 + 0.9999*b39)) + sqr( 0.712193380632226 - x158/(0.0001 + 0.9999*b39)))*(0.0001 + 0.9999*b39) + 0.00794834533266834*b39 <= 0.00794834533266834 } } Constraint e83 { Definition: { (-1 + sqr(1.56734614217404 - x159/(0.0001 + 0.9999*b40)) + sqr( 5.6469805099144 - x160/(0.0001 + 0.9999*b40)))*(0.0001 + 0.9999*b40) + 0.00333449628087409*b40 <= 0.00333449628087409 } } Constraint e84 { Definition: b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 = 1; } Constraint e85 { Definition: { (-1 + sqr(0.648386267690458 - x161/(0.0001 + 0.9999*b41)) + sqr( 5.34198386756466 - x162/(0.0001 + 0.9999*b41)))*(0.0001 + 0.9999*b41) + 0.00279571963934506*b41 <= 0.00279571963934506 } } Constraint e86 { Definition: { (-1 + sqr(0.38028139143083 - x163/(0.0001 + 0.9999*b42)) + sqr( 4.79200736168083 - x164/(0.0001 + 0.9999*b42)))*(0.0001 + 0.9999*b42) + 0.00221079484910719*b42 <= 0.00221079484910719 } } Constraint e87 { Definition: { (-1 + sqr(4.59553989190787 - x165/(0.0001 + 0.9999*b43)) + sqr( 2.92927044373959 - x166/(0.0001 + 0.9999*b43)))*(0.0001 + 0.9999*b43) + 0.00286996122306829*b43 <= 0.00286996122306829 } } Constraint e88 { Definition: { (-1 + sqr(7.79089239319392 - x167/(0.0001 + 0.9999*b44)) + sqr( 3.09688601355012 - x168/(0.0001 + 0.9999*b44)))*(0.0001 + 0.9999*b44) + 0.00692887072632492*b44 <= 0.00692887072632492 } } Constraint e89 { Definition: { (-1 + sqr(2.20597420581599 - x169/(0.0001 + 0.9999*b45)) + sqr( 0.880296019425143 - x170/(0.0001 + 0.9999*b45)))*(0.0001 + 0.9999*b45) + 0.000464124327854123*b45 <= 0.000464124327854123 } } Constraint e90 { Definition: { (-1 + sqr(4.31093077060147 - x171/(0.0001 + 0.9999*b46)) + sqr( 5.42555328385657 - x172/(0.0001 + 0.9999*b46)))*(0.0001 + 0.9999*b46) + 0.00470207525448854*b46 <= 0.00470207525448854 } } Constraint e91 { Definition: { (-1 + sqr(8.68776252232421 - x173/(0.0001 + 0.9999*b47)) + sqr( 7.42106012944621 - x174/(0.0001 + 0.9999*b47)))*(0.0001 + 0.9999*b47) + 0.0129549351089157*b47 <= 0.0129549351089157 } } Constraint e92 { Definition: { (-1 + sqr(3.86794113528858 - x175/(0.0001 + 0.9999*b48)) + sqr( 9.34863265837716 - x176/(0.0001 + 0.9999*b48)))*(0.0001 + 0.9999*b48) + 0.0101357901207334*b48 <= 0.0101357901207334 } } Constraint e93 { Definition: { (-1 + sqr(8.94294324678777 - x177/(0.0001 + 0.9999*b49)) + sqr( 0.712193380632226 - x178/(0.0001 + 0.9999*b49)))*(0.0001 + 0.9999*b49) + 0.00794834533266834*b49 <= 0.00794834533266834 } } Constraint e94 { Definition: { (-1 + sqr(1.56734614217404 - x179/(0.0001 + 0.9999*b50)) + sqr( 5.6469805099144 - x180/(0.0001 + 0.9999*b50)))*(0.0001 + 0.9999*b50) + 0.00333449628087409*b50 <= 0.00333449628087409 } } Constraint e95 { Definition: b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 = 1; } Constraint e96 { Definition: b1 + b11 + b21 + b31 + b41 <= 1; } Constraint e97 { Definition: b2 + b12 + b22 + b32 + b42 <= 1; } Constraint e98 { Definition: b3 + b13 + b23 + b33 + b43 <= 1; } Constraint e99 { Definition: b4 + b14 + b24 + b34 + b44 <= 1; } Constraint e100 { Definition: b5 + b15 + b25 + b35 + b45 <= 1; } Constraint e101 { Definition: b6 + b16 + b26 + b36 + b46 <= 1; } Constraint e102 { Definition: b7 + b17 + b27 + b37 + b47 <= 1; } Constraint e103 { Definition: b8 + b18 + b28 + b38 + b48 <= 1; } Constraint e104 { Definition: b9 + b19 + b29 + b39 + b49 <= 1; } Constraint e105 { Definition: b10 + b20 + b30 + b40 + b50 <= 1; } Constraint e106 { Definition: { - x51 + x81 + x83 + x85 + x87 + x89 + x91 + x93 + x95 + x97 + x99 = 0 } } Constraint e107 { Definition: { - x54 + x82 + x84 + x86 + x88 + x90 + x92 + x94 + x96 + x98 + x100 = 0 } } Constraint e108 { Definition: { - x52 + x101 + x103 + x105 + x107 + x109 + x111 + x113 + x115 + x117 + x119 = 0 } } Constraint e109 { Definition: { - x55 + x102 + x104 + x106 + x108 + x110 + x112 + x114 + x116 + x118 + x120 = 0 } } Constraint e110 { Definition: { - x57 + x121 + x123 + x125 + x127 + x129 + x131 + x133 + x135 + x137 + x139 = 0 } } Constraint e111 { Definition: { - x59 + x122 + x124 + x126 + x128 + x130 + x132 + x134 + x136 + x138 + x140 = 0 } } Constraint e112 { Definition: { - x61 + x141 + x143 + x145 + x147 + x149 + x151 + x153 + x155 + x157 + x159 = 0 } } Constraint e113 { Definition: { - x63 + x142 + x144 + x146 + x148 + x150 + x152 + x154 + x156 + x158 + x160 = 0 } } Constraint e114 { Definition: { - x65 + x161 + x163 + x165 + x167 + x169 + x171 + x173 + x175 + x177 + x179 = 0 } } Constraint e115 { Definition: { - x67 + x162 + x164 + x166 + x168 + x170 + x172 + x174 + x176 + x178 + x180 = 0 } } Constraint e116 { Definition: - 10*b1 + x81 <= 0; } Constraint e117 { Definition: - 10*b2 + x83 <= 0; } Constraint e118 { Definition: - 10*b3 + x85 <= 0; } Constraint e119 { Definition: - 10*b4 + x87 <= 0; } Constraint e120 { Definition: - 10*b5 + x89 <= 0; } Constraint e121 { Definition: - 10*b6 + x91 <= 0; } Constraint e122 { Definition: - 10*b7 + x93 <= 0; } Constraint e123 { Definition: - 10*b8 + x95 <= 0; } Constraint e124 { Definition: - 10*b9 + x97 <= 0; } Constraint e125 { Definition: - 10*b10 + x99 <= 0; } Constraint e126 { Definition: - 10*b1 + x82 <= 0; } Constraint e127 { Definition: - 10*b2 + x84 <= 0; } Constraint e128 { Definition: - 10*b3 + x86 <= 0; } Constraint e129 { Definition: - 10*b4 + x88 <= 0; } Constraint e130 { Definition: - 10*b5 + x90 <= 0; } Constraint e131 { Definition: - 10*b6 + x92 <= 0; } Constraint e132 { Definition: - 10*b7 + x94 <= 0; } Constraint e133 { Definition: - 10*b8 + x96 <= 0; } Constraint e134 { Definition: - 10*b9 + x98 <= 0; } Constraint e135 { Definition: - 10*b10 + x100 <= 0; } Constraint e136 { Definition: - 10*b11 + x101 <= 0; } Constraint e137 { Definition: - 10*b12 + x103 <= 0; } Constraint e138 { Definition: - 10*b13 + x105 <= 0; } Constraint e139 { Definition: - 10*b14 + x107 <= 0; } Constraint e140 { Definition: - 10*b15 + x109 <= 0; } Constraint e141 { Definition: - 10*b16 + x111 <= 0; } Constraint e142 { Definition: - 10*b17 + x113 <= 0; } Constraint e143 { Definition: - 10*b18 + x115 <= 0; } Constraint e144 { Definition: - 10*b19 + x117 <= 0; } Constraint e145 { Definition: - 10*b20 + x119 <= 0; } Constraint e146 { Definition: - 10*b11 + x102 <= 0; } Constraint e147 { Definition: - 10*b12 + x104 <= 0; } Constraint e148 { Definition: - 10*b13 + x106 <= 0; } Constraint e149 { Definition: - 10*b14 + x108 <= 0; } Constraint e150 { Definition: - 10*b15 + x110 <= 0; } Constraint e151 { Definition: - 10*b16 + x112 <= 0; } Constraint e152 { Definition: - 10*b17 + x114 <= 0; } Constraint e153 { Definition: - 10*b18 + x116 <= 0; } Constraint e154 { Definition: - 10*b19 + x118 <= 0; } Constraint e155 { Definition: - 10*b20 + x120 <= 0; } Constraint e156 { Definition: - 10*b21 + x121 <= 0; } Constraint e157 { Definition: - 10*b22 + x123 <= 0; } Constraint e158 { Definition: - 10*b23 + x125 <= 0; } Constraint e159 { Definition: - 10*b24 + x127 <= 0; } Constraint e160 { Definition: - 10*b25 + x129 <= 0; } Constraint e161 { Definition: - 10*b26 + x131 <= 0; } Constraint e162 { Definition: - 10*b27 + x133 <= 0; } Constraint e163 { Definition: - 10*b28 + x135 <= 0; } Constraint e164 { Definition: - 10*b29 + x137 <= 0; } Constraint e165 { Definition: - 10*b30 + x139 <= 0; } Constraint e166 { Definition: - 10*b21 + x122 <= 0; } Constraint e167 { Definition: - 10*b22 + x124 <= 0; } Constraint e168 { Definition: - 10*b23 + x126 <= 0; } Constraint e169 { Definition: - 10*b24 + x128 <= 0; } Constraint e170 { Definition: - 10*b25 + x130 <= 0; } Constraint e171 { Definition: - 10*b26 + x132 <= 0; } Constraint e172 { Definition: - 10*b27 + x134 <= 0; } Constraint e173 { Definition: - 10*b28 + x136 <= 0; } Constraint e174 { Definition: - 10*b29 + x138 <= 0; } Constraint e175 { Definition: - 10*b30 + x140 <= 0; } Constraint e176 { Definition: - 10*b31 + x141 <= 0; } Constraint e177 { Definition: - 10*b32 + x143 <= 0; } Constraint e178 { Definition: - 10*b33 + x145 <= 0; } Constraint e179 { Definition: - 10*b34 + x147 <= 0; } Constraint e180 { Definition: - 10*b35 + x149 <= 0; } Constraint e181 { Definition: - 10*b36 + x151 <= 0; } Constraint e182 { Definition: - 10*b37 + x153 <= 0; } Constraint e183 { Definition: - 10*b38 + x155 <= 0; } Constraint e184 { Definition: - 10*b39 + x157 <= 0; } Constraint e185 { Definition: - 10*b40 + x159 <= 0; } Constraint e186 { Definition: - 10*b31 + x142 <= 0; } Constraint e187 { Definition: - 10*b32 + x144 <= 0; } Constraint e188 { Definition: - 10*b33 + x146 <= 0; } Constraint e189 { Definition: - 10*b34 + x148 <= 0; } Constraint e190 { Definition: - 10*b35 + x150 <= 0; } Constraint e191 { Definition: - 10*b36 + x152 <= 0; } Constraint e192 { Definition: - 10*b37 + x154 <= 0; } Constraint e193 { Definition: - 10*b38 + x156 <= 0; } Constraint e194 { Definition: - 10*b39 + x158 <= 0; } Constraint e195 { Definition: - 10*b40 + x160 <= 0; } Constraint e196 { Definition: - 10*b41 + x161 <= 0; } Constraint e197 { Definition: - 10*b42 + x163 <= 0; } Constraint e198 { Definition: - 10*b43 + x165 <= 0; } Constraint e199 { Definition: - 10*b44 + x167 <= 0; } Constraint e200 { Definition: - 10*b45 + x169 <= 0; } Constraint e201 { Definition: - 10*b46 + x171 <= 0; } Constraint e202 { Definition: - 10*b47 + x173 <= 0; } Constraint e203 { Definition: - 10*b48 + x175 <= 0; } Constraint e204 { Definition: - 10*b49 + x177 <= 0; } Constraint e205 { Definition: - 10*b50 + x179 <= 0; } Constraint e206 { Definition: - 10*b41 + x162 <= 0; } Constraint e207 { Definition: - 10*b42 + x164 <= 0; } Constraint e208 { Definition: - 10*b43 + x166 <= 0; } Constraint e209 { Definition: - 10*b44 + x168 <= 0; } Constraint e210 { Definition: - 10*b45 + x170 <= 0; } Constraint e211 { Definition: - 10*b46 + x172 <= 0; } Constraint e212 { Definition: - 10*b47 + x174 <= 0; } Constraint e213 { Definition: - 10*b48 + x176 <= 0; } Constraint e214 { Definition: - 10*b49 + x178 <= 0; } Constraint e215 { Definition: - 10*b50 + x180 <= 0; } Constraint e216 { Definition: x51 - x52 <= 0; } Constraint e217 { Definition: x52 - x57 <= 0; } Constraint e218 { Definition: x57 - x61 <= 0; } Constraint e219 { Definition: x61 - x65 <= 0; } Constraint e220 { Definition: { - x53 - x56 - x58 - x60 - x62 - x64 - x66 - x68 - x69 - x70 - x71 - x72 - x73 - x74 - x75 - x76 - x77 - x78 - x79 - x80 + objvar = 0 } } Procedure MainInitialization { Body: { x51.upper := 10; x52.upper := 10; x53.upper := 10; x54.upper := 10; x55.upper := 10; x56.upper := 10; x57.upper := 10; x58.upper := 10; x59.upper := 10; x60.upper := 10; x61.upper := 10; x62.upper := 10; x63.upper := 10; x64.upper := 10; x65.upper := 10; x66.upper := 10; x67.upper := 10; x68.upper := 10; x69.upper := 10; x70.upper := 10; x71.upper := 10; x72.upper := 10; x73.upper := 10; x74.upper := 10; x75.upper := 10; x76.upper := 10; x77.upper := 10; x78.upper := 10; x79.upper := 10; x80.upper := 10; x81.upper := 10; x82.upper := 10; x83.upper := 10; x84.upper := 10; x85.upper := 10; x86.upper := 10; x87.upper := 10; x88.upper := 10; x89.upper := 10; x90.upper := 10; x91.upper := 10; x92.upper := 10; x93.upper := 10; x94.upper := 10; x95.upper := 10; x96.upper := 10; x97.upper := 10; x98.upper := 10; x99.upper := 10; x100.upper := 10; x101.upper := 10; x102.upper := 10; x103.upper := 10; x104.upper := 10; x105.upper := 10; x106.upper := 10; x107.upper := 10; x108.upper := 10; x109.upper := 10; x110.upper := 10; x111.upper := 10; x112.upper := 10; x113.upper := 10; x114.upper := 10; x115.upper := 10; x116.upper := 10; x117.upper := 10; x118.upper := 10; x119.upper := 10; x120.upper := 10; x121.upper := 10; x122.upper := 10; x123.upper := 10; x124.upper := 10; x125.upper := 10; x126.upper := 10; x127.upper := 10; x128.upper := 10; x129.upper := 10; x130.upper := 10; x131.upper := 10; x132.upper := 10; x133.upper := 10; x134.upper := 10; x135.upper := 10; x136.upper := 10; x137.upper := 10; x138.upper := 10; x139.upper := 10; x140.upper := 10; x141.upper := 10; x142.upper := 10; x143.upper := 10; x144.upper := 10; x145.upper := 10; x146.upper := 10; x147.upper := 10; x148.upper := 10; x149.upper := 10; x150.upper := 10; x151.upper := 10; x152.upper := 10; x153.upper := 10; x154.upper := 10; x155.upper := 10; x156.upper := 10; x157.upper := 10; x158.upper := 10; x159.upper := 10; x160.upper := 10; x161.upper := 10; x162.upper := 10; x163.upper := 10; x164.upper := 10; x165.upper := 10; x166.upper := 10; x167.upper := 10; x168.upper := 10; x169.upper := 10; x170.upper := 10; x171.upper := 10; x172.upper := 10; x173.upper := 10; x174.upper := 10; x175.upper := 10; x176.upper := 10; x177.upper := 10; x178.upper := 10; x179.upper := 10; x180.upper := 10; } } MathematicalProgram p_ball_10b_5p_2d_h { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve p_ball_10b_5p_2d_h; } } Procedure MainTermination { Body: { return 1; } } }