## ams_version=1.0 Model Main_p_ball_30b_5p_3d_m { 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 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 x181 { Range: nonnegative; } Variable x182 { Range: nonnegative; } Variable x183 { Range: nonnegative; } Variable x184 { Range: nonnegative; } Variable x185 { Range: nonnegative; } Variable x186 { Range: nonnegative; } Variable x187 { Range: nonnegative; } Variable x188 { Range: nonnegative; } Variable x189 { Range: nonnegative; } Variable x190 { Range: nonnegative; } Variable x191 { Range: nonnegative; } Variable x192 { Range: nonnegative; } Variable x193 { Range: nonnegative; } Variable x194 { Range: nonnegative; } Variable x195 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: x151 - x152 - x153 <= 0; } Constraint e2 { Definition: - x151 + x152 - x153 <= 0; } Constraint e3 { Definition: x154 - x155 - x156 <= 0; } Constraint e4 { Definition: - x154 + x155 - x156 <= 0; } Constraint e5 { Definition: x157 - x158 - x159 <= 0; } Constraint e6 { Definition: - x157 + x158 - x159 <= 0; } Constraint e7 { Definition: x151 - x160 - x161 <= 0; } Constraint e8 { Definition: - x151 + x160 - x161 <= 0; } Constraint e9 { Definition: x154 - x162 - x163 <= 0; } Constraint e10 { Definition: - x154 + x162 - x163 <= 0; } Constraint e11 { Definition: x157 - x164 - x165 <= 0; } Constraint e12 { Definition: - x157 + x164 - x165 <= 0; } Constraint e13 { Definition: x151 - x166 - x167 <= 0; } Constraint e14 { Definition: - x151 + x166 - x167 <= 0; } Constraint e15 { Definition: x154 - x168 - x169 <= 0; } Constraint e16 { Definition: - x154 + x168 - x169 <= 0; } Constraint e17 { Definition: x157 - x170 - x171 <= 0; } Constraint e18 { Definition: - x157 + x170 - x171 <= 0; } Constraint e19 { Definition: x151 - x172 - x173 <= 0; } Constraint e20 { Definition: - x151 + x172 - x173 <= 0; } Constraint e21 { Definition: x154 - x174 - x175 <= 0; } Constraint e22 { Definition: - x154 + x174 - x175 <= 0; } Constraint e23 { Definition: x157 - x176 - x177 <= 0; } Constraint e24 { Definition: - x157 + x176 - x177 <= 0; } Constraint e25 { Definition: x152 - x160 - x178 <= 0; } Constraint e26 { Definition: - x152 + x160 - x178 <= 0; } Constraint e27 { Definition: x155 - x162 - x179 <= 0; } Constraint e28 { Definition: - x155 + x162 - x179 <= 0; } Constraint e29 { Definition: x158 - x164 - x180 <= 0; } Constraint e30 { Definition: - x158 + x164 - x180 <= 0; } Constraint e31 { Definition: x152 - x166 - x181 <= 0; } Constraint e32 { Definition: - x152 + x166 - x181 <= 0; } Constraint e33 { Definition: x155 - x168 - x182 <= 0; } Constraint e34 { Definition: - x155 + x168 - x182 <= 0; } Constraint e35 { Definition: x158 - x170 - x183 <= 0; } Constraint e36 { Definition: - x158 + x170 - x183 <= 0; } Constraint e37 { Definition: x152 - x172 - x184 <= 0; } Constraint e38 { Definition: - x152 + x172 - x184 <= 0; } Constraint e39 { Definition: x155 - x174 - x185 <= 0; } Constraint e40 { Definition: - x155 + x174 - x185 <= 0; } Constraint e41 { Definition: x158 - x176 - x186 <= 0; } Constraint e42 { Definition: - x158 + x176 - x186 <= 0; } Constraint e43 { Definition: x160 - x166 - x187 <= 0; } Constraint e44 { Definition: - x160 + x166 - x187 <= 0; } Constraint e45 { Definition: x162 - x168 - x188 <= 0; } Constraint e46 { Definition: - x162 + x168 - x188 <= 0; } Constraint e47 { Definition: x164 - x170 - x189 <= 0; } Constraint e48 { Definition: - x164 + x170 - x189 <= 0; } Constraint e49 { Definition: x160 - x172 - x190 <= 0; } Constraint e50 { Definition: - x160 + x172 - x190 <= 0; } Constraint e51 { Definition: x162 - x174 - x191 <= 0; } Constraint e52 { Definition: - x162 + x174 - x191 <= 0; } Constraint e53 { Definition: x164 - x176 - x192 <= 0; } Constraint e54 { Definition: - x164 + x176 - x192 <= 0; } Constraint e55 { Definition: x166 - x172 - x193 <= 0; } Constraint e56 { Definition: - x166 + x172 - x193 <= 0; } Constraint e57 { Definition: x168 - x174 - x194 <= 0; } Constraint e58 { Definition: - x168 + x174 - x194 <= 0; } Constraint e59 { Definition: x170 - x176 - x195 <= 0; } Constraint e60 { Definition: - x170 + x176 - x195 <= 0; } Constraint e61 { Definition: { sqr(4.83202054247519 - x151) + sqr(5.08041476544912 - x154) + sqr( 6.32621379041806 - x157) + 75.9704013248235*b1 <= 76.9704013248235 } } Constraint e62 { Definition: { sqr(6.86422157586402 - x151) + sqr(7.66428209799864 - x154) + sqr( 0.09709175573132 - x157) + 140.659182931282*b2 <= 141.659182931282 } } Constraint e63 { Definition: { sqr(4.84862000711289 - x151) + sqr(3.45257195120785 - x154) + sqr( 7.39094773970617 - x157) + 109.037662329134*b3 <= 110.037662329134 } } Constraint e64 { Definition: { sqr(1.90653576175828 - x151) + sqr(9.06815267710453 - x154) + sqr( 0.329270310437709 - x157) + 179.094987294124*b4 <= 180.094987294124 } } Constraint e65 { Definition: { sqr(8.91873287322862 - x151) + sqr(3.005493222209 - x154) + sqr( 6.72603314933737 - x157) + 149.370448589907*b5 <= 150.370448589907 } } Constraint e66 { Definition: { sqr(2.79219011695411 - x151) + sqr(0.0802363505466042 - x154) + sqr( 5.8239689013093 - x157) + 161.969348685106*b6 <= 162.969348685106 } } Constraint e67 { Definition: { sqr(8.45192604487847 - x151) + sqr(0.960982267180915 - x154) + sqr( 7.08846749273086 - x157) + 179.094987294124*b7 <= 180.094987294124 } } Constraint e68 { Definition: { sqr(9.76694746975659 - x151) + sqr(1.64767982343444 - x154) + sqr( 3.89461195866276 - x157) + 152.326136990614*b8 <= 153.326136990614 } } Constraint e69 { Definition: { sqr(3.92650027388399 - x151) + sqr(8.57900429288824 - x154) + sqr( 9.23525817101371 - x157) + 147.501061227256*b9 <= 148.501061227256 } } Constraint e70 { Definition: { sqr(0.679990404106158 - x151) + sqr(7.93354548453717 - x154) + sqr( 6.24827514848977 - x157) + 150.218840203818*b10 <= 151.218840203818 } } Constraint e71 { Definition: { sqr(3.80282662917579 - x151) + sqr(5.00336142496769 - x154) + sqr( 6.01003348085459 - x157) + 79.871242402384*b11 <= 80.871242402384 } } Constraint e72 { Definition: { sqr(6.54293331034743 - x151) + sqr(1.49363772657694 - x154) + sqr( 3.58497465463316 - x157) + 108.386687957096*b12 <= 109.386687957096 } } Constraint e73 { Definition: { sqr(5.20241765093859 - x151) + sqr(5.86977990966318 - x154) + sqr( 6.440337805336 - x157) + 73.72646594677*b13 <= 74.72646594677 } } Constraint e74 { Definition: { sqr(5.87470028021075 - x151) + sqr(2.67028689434427 - x154) + sqr( 0.749156996429077 - x157) + 131.767274170968*b14 <= 132.767274170968 } } Constraint e75 { Definition: { sqr(2.89776733906328 - x151) + sqr(5.22108290497701 - x154) + sqr( 7.57016691626461 - x157) + 107.46773494331*b15 <= 108.46773494331 } } Constraint e76 { Definition: { sqr(3.25002624472116 - x151) + sqr(6.977422017743 - x154) + sqr( 0.695695115140367 - x157) + 124.533164159302*b16 <= 125.533164159302 } } Constraint e77 { Definition: { sqr(8.47049713128073 - x151) + sqr(4.20582102463618 - x154) + sqr( 4.93941262529365 - x157) + 106.740936443786*b17 <= 107.740936443786 } } Constraint e78 { Definition: { sqr(0.786615440794736 - x151) + sqr(1.54813106254315 - x154) + sqr( 2.98963379540322 - x157) + 150.565522268974*b18 <= 151.565522268974 } } Constraint e79 { Definition: { sqr(5.17568572881879 - x151) + sqr(2.02627806544288 - x154) + sqr( 9.2740633418688 - x157) + 163.973027168021*b19 <= 164.973027168021 } } Constraint e80 { Definition: { sqr(9.11874181180651 - x151) + sqr(9.07966816070985 - x154) + sqr( 1.64995049320116 - x157) + 161.969348685106*b20 <= 162.969348685106 } } Constraint e81 { Definition: { sqr(8.26392769674786 - x151) + sqr(4.29716878332203 - x154) + sqr( 3.06511979366618 - x157) + 98.8575703440414*b21 <= 99.8575703440414 } } Constraint e82 { Definition: { sqr(2.95522257480442 - x151) + sqr(1.29725120442498 - x154) + sqr( 0.799527585103169 - x157) + 147.501061227256*b22 <= 148.501061227256 } } Constraint e83 { Definition: { sqr(5.59281220526297 - x151) + sqr(5.08387949672858 - x154) + sqr( 0.547463810150197 - x157) + 109.493435167956*b23 <= 110.493435167956 } } Constraint e84 { Definition: { sqr(5.5713321706538 - x151) + sqr(3.89813512317444 - x154) + sqr( 0.378899938163517 - x157) + 123.353905785717*b24 <= 124.353905785717 } } Constraint e85 { Definition: { sqr(1.47483805835463 - x151) + sqr(0.989752492299246 - x154) + sqr( 5.36717263813865 - x157) + 161.162335824934*b25 <= 162.162335824934 } } Constraint e86 { Definition: { sqr(4.61507078501251 - x151) + sqr(0.234707301612243 - x154) + sqr( 3.97342857514894 - x157) + 124.302670822369*b26 <= 125.302670822369 } } Constraint e87 { Definition: { sqr(9.15405801517484 - x151) + sqr(4.26169733166395 - x154) + sqr( 4.89911772871142 - x157) + 116.160211358947*b27 <= 117.160211358947 } } Constraint e88 { Definition: { sqr(6.23408727244271 - x151) + sqr(0.755925845511098 - x154) + sqr( 5.40595672236618 - x157) + 134.909618001418*b28 <= 135.909618001418 } } Constraint e89 { Definition: { sqr(5.16744991507397 - x151) + sqr(5.25535097293888 - x154) + sqr( 3.81062986996748 - x157) + 54.9767406737741*b29 <= 55.9767406737741 } } Constraint e90 { Definition: { sqr(7.23609076996082 - x151) + sqr(3.30048962157922 - x154) + sqr( 8.05002431260521 - x157) + 143.305588261876*b30 <= 144.305588261876 } } Constraint e91 { Definition: { b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 = 1 } } Constraint e92 { Definition: { sqr(4.83202054247519 - x152) + sqr(5.08041476544912 - x155) + sqr( 6.32621379041806 - x158) + 75.9704013248235*b31 <= 76.9704013248235 } } Constraint e93 { Definition: { sqr(6.86422157586402 - x152) + sqr(7.66428209799864 - x155) + sqr( 0.09709175573132 - x158) + 140.659182931282*b32 <= 141.659182931282 } } Constraint e94 { Definition: { sqr(4.84862000711289 - x152) + sqr(3.45257195120785 - x155) + sqr( 7.39094773970617 - x158) + 109.037662329134*b33 <= 110.037662329134 } } Constraint e95 { Definition: { sqr(1.90653576175828 - x152) + sqr(9.06815267710453 - x155) + sqr( 0.329270310437709 - x158) + 179.094987294124*b34 <= 180.094987294124 } } Constraint e96 { Definition: { sqr(8.91873287322862 - x152) + sqr(3.005493222209 - x155) + sqr( 6.72603314933737 - x158) + 149.370448589907*b35 <= 150.370448589907 } } Constraint e97 { Definition: { sqr(2.79219011695411 - x152) + sqr(0.0802363505466042 - x155) + sqr( 5.8239689013093 - x158) + 161.969348685106*b36 <= 162.969348685106 } } Constraint e98 { Definition: { sqr(8.45192604487847 - x152) + sqr(0.960982267180915 - x155) + sqr( 7.08846749273086 - x158) + 179.094987294124*b37 <= 180.094987294124 } } Constraint e99 { Definition: { sqr(9.76694746975659 - x152) + sqr(1.64767982343444 - x155) + sqr( 3.89461195866276 - x158) + 152.326136990614*b38 <= 153.326136990614 } } Constraint e100 { Definition: { sqr(3.92650027388399 - x152) + sqr(8.57900429288824 - x155) + sqr( 9.23525817101371 - x158) + 147.501061227256*b39 <= 148.501061227256 } } Constraint e101 { Definition: { sqr(0.679990404106158 - x152) + sqr(7.93354548453717 - x155) + sqr( 6.24827514848977 - x158) + 150.218840203818*b40 <= 151.218840203818 } } Constraint e102 { Definition: { sqr(3.80282662917579 - x152) + sqr(5.00336142496769 - x155) + sqr( 6.01003348085459 - x158) + 79.871242402384*b41 <= 80.871242402384 } } Constraint e103 { Definition: { sqr(6.54293331034743 - x152) + sqr(1.49363772657694 - x155) + sqr( 3.58497465463316 - x158) + 108.386687957096*b42 <= 109.386687957096 } } Constraint e104 { Definition: { sqr(5.20241765093859 - x152) + sqr(5.86977990966318 - x155) + sqr( 6.440337805336 - x158) + 73.72646594677*b43 <= 74.72646594677 } } Constraint e105 { Definition: { sqr(5.87470028021075 - x152) + sqr(2.67028689434427 - x155) + sqr( 0.749156996429077 - x158) + 131.767274170968*b44 <= 132.767274170968 } } Constraint e106 { Definition: { sqr(2.89776733906328 - x152) + sqr(5.22108290497701 - x155) + sqr( 7.57016691626461 - x158) + 107.46773494331*b45 <= 108.46773494331 } } Constraint e107 { Definition: { sqr(3.25002624472116 - x152) + sqr(6.977422017743 - x155) + sqr( 0.695695115140367 - x158) + 124.533164159302*b46 <= 125.533164159302 } } Constraint e108 { Definition: { sqr(8.47049713128073 - x152) + sqr(4.20582102463618 - x155) + sqr( 4.93941262529365 - x158) + 106.740936443786*b47 <= 107.740936443786 } } Constraint e109 { Definition: { sqr(0.786615440794736 - x152) + sqr(1.54813106254315 - x155) + sqr( 2.98963379540322 - x158) + 150.565522268974*b48 <= 151.565522268974 } } Constraint e110 { Definition: { sqr(5.17568572881879 - x152) + sqr(2.02627806544288 - x155) + sqr( 9.2740633418688 - x158) + 163.973027168021*b49 <= 164.973027168021 } } Constraint e111 { Definition: { sqr(9.11874181180651 - x152) + sqr(9.07966816070985 - x155) + sqr( 1.64995049320116 - x158) + 161.969348685106*b50 <= 162.969348685106 } } Constraint e112 { Definition: { sqr(8.26392769674786 - x152) + sqr(4.29716878332203 - x155) + sqr( 3.06511979366618 - x158) + 98.8575703440414*b51 <= 99.8575703440414 } } Constraint e113 { Definition: { sqr(2.95522257480442 - x152) + sqr(1.29725120442498 - x155) + sqr( 0.799527585103169 - x158) + 147.501061227256*b52 <= 148.501061227256 } } Constraint e114 { Definition: { sqr(5.59281220526297 - x152) + sqr(5.08387949672858 - x155) + sqr( 0.547463810150197 - x158) + 109.493435167956*b53 <= 110.493435167956 } } Constraint e115 { Definition: { sqr(5.5713321706538 - x152) + sqr(3.89813512317444 - x155) + sqr( 0.378899938163517 - x158) + 123.353905785717*b54 <= 124.353905785717 } } Constraint e116 { Definition: { sqr(1.47483805835463 - x152) + sqr(0.989752492299246 - x155) + sqr( 5.36717263813865 - x158) + 161.162335824934*b55 <= 162.162335824934 } } Constraint e117 { Definition: { sqr(4.61507078501251 - x152) + sqr(0.234707301612243 - x155) + sqr( 3.97342857514894 - x158) + 124.302670822369*b56 <= 125.302670822369 } } Constraint e118 { Definition: { sqr(9.15405801517484 - x152) + sqr(4.26169733166395 - x155) + sqr( 4.89911772871142 - x158) + 116.160211358947*b57 <= 117.160211358947 } } Constraint e119 { Definition: { sqr(6.23408727244271 - x152) + sqr(0.755925845511098 - x155) + sqr( 5.40595672236618 - x158) + 134.909618001418*b58 <= 135.909618001418 } } Constraint e120 { Definition: { sqr(5.16744991507397 - x152) + sqr(5.25535097293888 - x155) + sqr( 3.81062986996748 - x158) + 54.9767406737741*b59 <= 55.9767406737741 } } Constraint e121 { Definition: { sqr(7.23609076996082 - x152) + sqr(3.30048962157922 - x155) + sqr( 8.05002431260521 - x158) + 143.305588261876*b60 <= 144.305588261876 } } Constraint e122 { Definition: { b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 = 1 } } Constraint e123 { Definition: { sqr(4.83202054247519 - x160) + sqr(5.08041476544912 - x162) + sqr( 6.32621379041806 - x164) + 75.9704013248235*b61 <= 76.9704013248235 } } Constraint e124 { Definition: { sqr(6.86422157586402 - x160) + sqr(7.66428209799864 - x162) + sqr( 0.09709175573132 - x164) + 140.659182931282*b62 <= 141.659182931282 } } Constraint e125 { Definition: { sqr(4.84862000711289 - x160) + sqr(3.45257195120785 - x162) + sqr( 7.39094773970617 - x164) + 109.037662329134*b63 <= 110.037662329134 } } Constraint e126 { Definition: { sqr(1.90653576175828 - x160) + sqr(9.06815267710453 - x162) + sqr( 0.329270310437709 - x164) + 179.094987294124*b64 <= 180.094987294124 } } Constraint e127 { Definition: { sqr(8.91873287322862 - x160) + sqr(3.005493222209 - x162) + sqr( 6.72603314933737 - x164) + 149.370448589907*b65 <= 150.370448589907 } } Constraint e128 { Definition: { sqr(2.79219011695411 - x160) + sqr(0.0802363505466042 - x162) + sqr( 5.8239689013093 - x164) + 161.969348685106*b66 <= 162.969348685106 } } Constraint e129 { Definition: { sqr(8.45192604487847 - x160) + sqr(0.960982267180915 - x162) + sqr( 7.08846749273086 - x164) + 179.094987294124*b67 <= 180.094987294124 } } Constraint e130 { Definition: { sqr(9.76694746975659 - x160) + sqr(1.64767982343444 - x162) + sqr( 3.89461195866276 - x164) + 152.326136990614*b68 <= 153.326136990614 } } Constraint e131 { Definition: { sqr(3.92650027388399 - x160) + sqr(8.57900429288824 - x162) + sqr( 9.23525817101371 - x164) + 147.501061227256*b69 <= 148.501061227256 } } Constraint e132 { Definition: { sqr(0.679990404106158 - x160) + sqr(7.93354548453717 - x162) + sqr( 6.24827514848977 - x164) + 150.218840203818*b70 <= 151.218840203818 } } Constraint e133 { Definition: { sqr(3.80282662917579 - x160) + sqr(5.00336142496769 - x162) + sqr( 6.01003348085459 - x164) + 79.871242402384*b71 <= 80.871242402384 } } Constraint e134 { Definition: { sqr(6.54293331034743 - x160) + sqr(1.49363772657694 - x162) + sqr( 3.58497465463316 - x164) + 108.386687957096*b72 <= 109.386687957096 } } Constraint e135 { Definition: { sqr(5.20241765093859 - x160) + sqr(5.86977990966318 - x162) + sqr( 6.440337805336 - x164) + 73.72646594677*b73 <= 74.72646594677 } } Constraint e136 { Definition: { sqr(5.87470028021075 - x160) + sqr(2.67028689434427 - x162) + sqr( 0.749156996429077 - x164) + 131.767274170968*b74 <= 132.767274170968 } } Constraint e137 { Definition: { sqr(2.89776733906328 - x160) + sqr(5.22108290497701 - x162) + sqr( 7.57016691626461 - x164) + 107.46773494331*b75 <= 108.46773494331 } } Constraint e138 { Definition: { sqr(3.25002624472116 - x160) + sqr(6.977422017743 - x162) + sqr( 0.695695115140367 - x164) + 124.533164159302*b76 <= 125.533164159302 } } Constraint e139 { Definition: { sqr(8.47049713128073 - x160) + sqr(4.20582102463618 - x162) + sqr( 4.93941262529365 - x164) + 106.740936443786*b77 <= 107.740936443786 } } Constraint e140 { Definition: { sqr(0.786615440794736 - x160) + sqr(1.54813106254315 - x162) + sqr( 2.98963379540322 - x164) + 150.565522268974*b78 <= 151.565522268974 } } Constraint e141 { Definition: { sqr(5.17568572881879 - x160) + sqr(2.02627806544288 - x162) + sqr( 9.2740633418688 - x164) + 163.973027168021*b79 <= 164.973027168021 } } Constraint e142 { Definition: { sqr(9.11874181180651 - x160) + sqr(9.07966816070985 - x162) + sqr( 1.64995049320116 - x164) + 161.969348685106*b80 <= 162.969348685106 } } Constraint e143 { Definition: { sqr(8.26392769674786 - x160) + sqr(4.29716878332203 - x162) + sqr( 3.06511979366618 - x164) + 98.8575703440414*b81 <= 99.8575703440414 } } Constraint e144 { Definition: { sqr(2.95522257480442 - x160) + sqr(1.29725120442498 - x162) + sqr( 0.799527585103169 - x164) + 147.501061227256*b82 <= 148.501061227256 } } Constraint e145 { Definition: { sqr(5.59281220526297 - x160) + sqr(5.08387949672858 - x162) + sqr( 0.547463810150197 - x164) + 109.493435167956*b83 <= 110.493435167956 } } Constraint e146 { Definition: { sqr(5.5713321706538 - x160) + sqr(3.89813512317444 - x162) + sqr( 0.378899938163517 - x164) + 123.353905785717*b84 <= 124.353905785717 } } Constraint e147 { Definition: { sqr(1.47483805835463 - x160) + sqr(0.989752492299246 - x162) + sqr( 5.36717263813865 - x164) + 161.162335824934*b85 <= 162.162335824934 } } Constraint e148 { Definition: { sqr(4.61507078501251 - x160) + sqr(0.234707301612243 - x162) + sqr( 3.97342857514894 - x164) + 124.302670822369*b86 <= 125.302670822369 } } Constraint e149 { Definition: { sqr(9.15405801517484 - x160) + sqr(4.26169733166395 - x162) + sqr( 4.89911772871142 - x164) + 116.160211358947*b87 <= 117.160211358947 } } Constraint e150 { Definition: { sqr(6.23408727244271 - x160) + sqr(0.755925845511098 - x162) + sqr( 5.40595672236618 - x164) + 134.909618001418*b88 <= 135.909618001418 } } Constraint e151 { Definition: { sqr(5.16744991507397 - x160) + sqr(5.25535097293888 - x162) + sqr( 3.81062986996748 - x164) + 54.9767406737741*b89 <= 55.9767406737741 } } Constraint e152 { Definition: { sqr(7.23609076996082 - x160) + sqr(3.30048962157922 - x162) + sqr( 8.05002431260521 - x164) + 143.305588261876*b90 <= 144.305588261876 } } Constraint e153 { Definition: { b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 = 1 } } Constraint e154 { Definition: { sqr(4.83202054247519 - x166) + sqr(5.08041476544912 - x168) + sqr( 6.32621379041806 - x170) + 75.9704013248235*b91 <= 76.9704013248235 } } Constraint e155 { Definition: { sqr(6.86422157586402 - x166) + sqr(7.66428209799864 - x168) + sqr( 0.09709175573132 - x170) + 140.659182931282*b92 <= 141.659182931282 } } Constraint e156 { Definition: { sqr(4.84862000711289 - x166) + sqr(3.45257195120785 - x168) + sqr( 7.39094773970617 - x170) + 109.037662329134*b93 <= 110.037662329134 } } Constraint e157 { Definition: { sqr(1.90653576175828 - x166) + sqr(9.06815267710453 - x168) + sqr( 0.329270310437709 - x170) + 179.094987294124*b94 <= 180.094987294124 } } Constraint e158 { Definition: { sqr(8.91873287322862 - x166) + sqr(3.005493222209 - x168) + sqr( 6.72603314933737 - x170) + 149.370448589907*b95 <= 150.370448589907 } } Constraint e159 { Definition: { sqr(2.79219011695411 - x166) + sqr(0.0802363505466042 - x168) + sqr( 5.8239689013093 - x170) + 161.969348685106*b96 <= 162.969348685106 } } Constraint e160 { Definition: { sqr(8.45192604487847 - x166) + sqr(0.960982267180915 - x168) + sqr( 7.08846749273086 - x170) + 179.094987294124*b97 <= 180.094987294124 } } Constraint e161 { Definition: { sqr(9.76694746975659 - x166) + sqr(1.64767982343444 - x168) + sqr( 3.89461195866276 - x170) + 152.326136990614*b98 <= 153.326136990614 } } Constraint e162 { Definition: { sqr(3.92650027388399 - x166) + sqr(8.57900429288824 - x168) + sqr( 9.23525817101371 - x170) + 147.501061227256*b99 <= 148.501061227256 } } Constraint e163 { Definition: { sqr(0.679990404106158 - x166) + sqr(7.93354548453717 - x168) + sqr( 6.24827514848977 - x170) + 150.218840203818*b100 <= 151.218840203818 } } Constraint e164 { Definition: { sqr(3.80282662917579 - x166) + sqr(5.00336142496769 - x168) + sqr( 6.01003348085459 - x170) + 79.871242402384*b101 <= 80.871242402384 } } Constraint e165 { Definition: { sqr(6.54293331034743 - x166) + sqr(1.49363772657694 - x168) + sqr( 3.58497465463316 - x170) + 108.386687957096*b102 <= 109.386687957096 } } Constraint e166 { Definition: { sqr(5.20241765093859 - x166) + sqr(5.86977990966318 - x168) + sqr( 6.440337805336 - x170) + 73.72646594677*b103 <= 74.72646594677 } } Constraint e167 { Definition: { sqr(5.87470028021075 - x166) + sqr(2.67028689434427 - x168) + sqr( 0.749156996429077 - x170) + 131.767274170968*b104 <= 132.767274170968 } } Constraint e168 { Definition: { sqr(2.89776733906328 - x166) + sqr(5.22108290497701 - x168) + sqr( 7.57016691626461 - x170) + 107.46773494331*b105 <= 108.46773494331 } } Constraint e169 { Definition: { sqr(3.25002624472116 - x166) + sqr(6.977422017743 - x168) + sqr( 0.695695115140367 - x170) + 124.533164159302*b106 <= 125.533164159302 } } Constraint e170 { Definition: { sqr(8.47049713128073 - x166) + sqr(4.20582102463618 - x168) + sqr( 4.93941262529365 - x170) + 106.740936443786*b107 <= 107.740936443786 } } Constraint e171 { Definition: { sqr(0.786615440794736 - x166) + sqr(1.54813106254315 - x168) + sqr( 2.98963379540322 - x170) + 150.565522268974*b108 <= 151.565522268974 } } Constraint e172 { Definition: { sqr(5.17568572881879 - x166) + sqr(2.02627806544288 - x168) + sqr( 9.2740633418688 - x170) + 163.973027168021*b109 <= 164.973027168021 } } Constraint e173 { Definition: { sqr(9.11874181180651 - x166) + sqr(9.07966816070985 - x168) + sqr( 1.64995049320116 - x170) + 161.969348685106*b110 <= 162.969348685106 } } Constraint e174 { Definition: { sqr(8.26392769674786 - x166) + sqr(4.29716878332203 - x168) + sqr( 3.06511979366618 - x170) + 98.8575703440414*b111 <= 99.8575703440414 } } Constraint e175 { Definition: { sqr(2.95522257480442 - x166) + sqr(1.29725120442498 - x168) + sqr( 0.799527585103169 - x170) + 147.501061227256*b112 <= 148.501061227256 } } Constraint e176 { Definition: { sqr(5.59281220526297 - x166) + sqr(5.08387949672858 - x168) + sqr( 0.547463810150197 - x170) + 109.493435167956*b113 <= 110.493435167956 } } Constraint e177 { Definition: { sqr(5.5713321706538 - x166) + sqr(3.89813512317444 - x168) + sqr( 0.378899938163517 - x170) + 123.353905785717*b114 <= 124.353905785717 } } Constraint e178 { Definition: { sqr(1.47483805835463 - x166) + sqr(0.989752492299246 - x168) + sqr( 5.36717263813865 - x170) + 161.162335824934*b115 <= 162.162335824934 } } Constraint e179 { Definition: { sqr(4.61507078501251 - x166) + sqr(0.234707301612243 - x168) + sqr( 3.97342857514894 - x170) + 124.302670822369*b116 <= 125.302670822369 } } Constraint e180 { Definition: { sqr(9.15405801517484 - x166) + sqr(4.26169733166395 - x168) + sqr( 4.89911772871142 - x170) + 116.160211358947*b117 <= 117.160211358947 } } Constraint e181 { Definition: { sqr(6.23408727244271 - x166) + sqr(0.755925845511098 - x168) + sqr( 5.40595672236618 - x170) + 134.909618001418*b118 <= 135.909618001418 } } Constraint e182 { Definition: { sqr(5.16744991507397 - x166) + sqr(5.25535097293888 - x168) + sqr( 3.81062986996748 - x170) + 54.9767406737741*b119 <= 55.9767406737741 } } Constraint e183 { Definition: { sqr(7.23609076996082 - x166) + sqr(3.30048962157922 - x168) + sqr( 8.05002431260521 - x170) + 143.305588261876*b120 <= 144.305588261876 } } Constraint e184 { Definition: { b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 = 1 } } Constraint e185 { Definition: { sqr(4.83202054247519 - x172) + sqr(5.08041476544912 - x174) + sqr( 6.32621379041806 - x176) + 75.9704013248235*b121 <= 76.9704013248235 } } Constraint e186 { Definition: { sqr(6.86422157586402 - x172) + sqr(7.66428209799864 - x174) + sqr( 0.09709175573132 - x176) + 140.659182931282*b122 <= 141.659182931282 } } Constraint e187 { Definition: { sqr(4.84862000711289 - x172) + sqr(3.45257195120785 - x174) + sqr( 7.39094773970617 - x176) + 109.037662329134*b123 <= 110.037662329134 } } Constraint e188 { Definition: { sqr(1.90653576175828 - x172) + sqr(9.06815267710453 - x174) + sqr( 0.329270310437709 - x176) + 179.094987294124*b124 <= 180.094987294124 } } Constraint e189 { Definition: { sqr(8.91873287322862 - x172) + sqr(3.005493222209 - x174) + sqr( 6.72603314933737 - x176) + 149.370448589907*b125 <= 150.370448589907 } } Constraint e190 { Definition: { sqr(2.79219011695411 - x172) + sqr(0.0802363505466042 - x174) + sqr( 5.8239689013093 - x176) + 161.969348685106*b126 <= 162.969348685106 } } Constraint e191 { Definition: { sqr(8.45192604487847 - x172) + sqr(0.960982267180915 - x174) + sqr( 7.08846749273086 - x176) + 179.094987294124*b127 <= 180.094987294124 } } Constraint e192 { Definition: { sqr(9.76694746975659 - x172) + sqr(1.64767982343444 - x174) + sqr( 3.89461195866276 - x176) + 152.326136990614*b128 <= 153.326136990614 } } Constraint e193 { Definition: { sqr(3.92650027388399 - x172) + sqr(8.57900429288824 - x174) + sqr( 9.23525817101371 - x176) + 147.501061227256*b129 <= 148.501061227256 } } Constraint e194 { Definition: { sqr(0.679990404106158 - x172) + sqr(7.93354548453717 - x174) + sqr( 6.24827514848977 - x176) + 150.218840203818*b130 <= 151.218840203818 } } Constraint e195 { Definition: { sqr(3.80282662917579 - x172) + sqr(5.00336142496769 - x174) + sqr( 6.01003348085459 - x176) + 79.871242402384*b131 <= 80.871242402384 } } Constraint e196 { Definition: { sqr(6.54293331034743 - x172) + sqr(1.49363772657694 - x174) + sqr( 3.58497465463316 - x176) + 108.386687957096*b132 <= 109.386687957096 } } Constraint e197 { Definition: { sqr(5.20241765093859 - x172) + sqr(5.86977990966318 - x174) + sqr( 6.440337805336 - x176) + 73.72646594677*b133 <= 74.72646594677 } } Constraint e198 { Definition: { sqr(5.87470028021075 - x172) + sqr(2.67028689434427 - x174) + sqr( 0.749156996429077 - x176) + 131.767274170968*b134 <= 132.767274170968 } } Constraint e199 { Definition: { sqr(2.89776733906328 - x172) + sqr(5.22108290497701 - x174) + sqr( 7.57016691626461 - x176) + 107.46773494331*b135 <= 108.46773494331 } } Constraint e200 { Definition: { sqr(3.25002624472116 - x172) + sqr(6.977422017743 - x174) + sqr( 0.695695115140367 - x176) + 124.533164159302*b136 <= 125.533164159302 } } Constraint e201 { Definition: { sqr(8.47049713128073 - x172) + sqr(4.20582102463618 - x174) + sqr( 4.93941262529365 - x176) + 106.740936443786*b137 <= 107.740936443786 } } Constraint e202 { Definition: { sqr(0.786615440794736 - x172) + sqr(1.54813106254315 - x174) + sqr( 2.98963379540322 - x176) + 150.565522268974*b138 <= 151.565522268974 } } Constraint e203 { Definition: { sqr(5.17568572881879 - x172) + sqr(2.02627806544288 - x174) + sqr( 9.2740633418688 - x176) + 163.973027168021*b139 <= 164.973027168021 } } Constraint e204 { Definition: { sqr(9.11874181180651 - x172) + sqr(9.07966816070985 - x174) + sqr( 1.64995049320116 - x176) + 161.969348685106*b140 <= 162.969348685106 } } Constraint e205 { Definition: { sqr(8.26392769674786 - x172) + sqr(4.29716878332203 - x174) + sqr( 3.06511979366618 - x176) + 98.8575703440414*b141 <= 99.8575703440414 } } Constraint e206 { Definition: { sqr(2.95522257480442 - x172) + sqr(1.29725120442498 - x174) + sqr( 0.799527585103169 - x176) + 147.501061227256*b142 <= 148.501061227256 } } Constraint e207 { Definition: { sqr(5.59281220526297 - x172) + sqr(5.08387949672858 - x174) + sqr( 0.547463810150197 - x176) + 109.493435167956*b143 <= 110.493435167956 } } Constraint e208 { Definition: { sqr(5.5713321706538 - x172) + sqr(3.89813512317444 - x174) + sqr( 0.378899938163517 - x176) + 123.353905785717*b144 <= 124.353905785717 } } Constraint e209 { Definition: { sqr(1.47483805835463 - x172) + sqr(0.989752492299246 - x174) + sqr( 5.36717263813865 - x176) + 161.162335824934*b145 <= 162.162335824934 } } Constraint e210 { Definition: { sqr(4.61507078501251 - x172) + sqr(0.234707301612243 - x174) + sqr( 3.97342857514894 - x176) + 124.302670822369*b146 <= 125.302670822369 } } Constraint e211 { Definition: { sqr(9.15405801517484 - x172) + sqr(4.26169733166395 - x174) + sqr( 4.89911772871142 - x176) + 116.160211358947*b147 <= 117.160211358947 } } Constraint e212 { Definition: { sqr(6.23408727244271 - x172) + sqr(0.755925845511098 - x174) + sqr( 5.40595672236618 - x176) + 134.909618001418*b148 <= 135.909618001418 } } Constraint e213 { Definition: { sqr(5.16744991507397 - x172) + sqr(5.25535097293888 - x174) + sqr( 3.81062986996748 - x176) + 54.9767406737741*b149 <= 55.9767406737741 } } Constraint e214 { Definition: { sqr(7.23609076996082 - x172) + sqr(3.30048962157922 - x174) + sqr( 8.05002431260521 - x176) + 143.305588261876*b150 <= 144.305588261876 } } Constraint e215 { Definition: { b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150 = 1 } } Constraint e216 { Definition: b1 + b31 + b61 + b91 + b121 <= 1; } Constraint e217 { Definition: b2 + b32 + b62 + b92 + b122 <= 1; } Constraint e218 { Definition: b3 + b33 + b63 + b93 + b123 <= 1; } Constraint e219 { Definition: b4 + b34 + b64 + b94 + b124 <= 1; } Constraint e220 { Definition: b5 + b35 + b65 + b95 + b125 <= 1; } Constraint e221 { Definition: b6 + b36 + b66 + b96 + b126 <= 1; } Constraint e222 { Definition: b7 + b37 + b67 + b97 + b127 <= 1; } Constraint e223 { Definition: b8 + b38 + b68 + b98 + b128 <= 1; } Constraint e224 { Definition: b9 + b39 + b69 + b99 + b129 <= 1; } Constraint e225 { Definition: b10 + b40 + b70 + b100 + b130 <= 1; } Constraint e226 { Definition: b11 + b41 + b71 + b101 + b131 <= 1; } Constraint e227 { Definition: b12 + b42 + b72 + b102 + b132 <= 1; } Constraint e228 { Definition: b13 + b43 + b73 + b103 + b133 <= 1; } Constraint e229 { Definition: b14 + b44 + b74 + b104 + b134 <= 1; } Constraint e230 { Definition: b15 + b45 + b75 + b105 + b135 <= 1; } Constraint e231 { Definition: b16 + b46 + b76 + b106 + b136 <= 1; } Constraint e232 { Definition: b17 + b47 + b77 + b107 + b137 <= 1; } Constraint e233 { Definition: b18 + b48 + b78 + b108 + b138 <= 1; } Constraint e234 { Definition: b19 + b49 + b79 + b109 + b139 <= 1; } Constraint e235 { Definition: b20 + b50 + b80 + b110 + b140 <= 1; } Constraint e236 { Definition: b21 + b51 + b81 + b111 + b141 <= 1; } Constraint e237 { Definition: b22 + b52 + b82 + b112 + b142 <= 1; } Constraint e238 { Definition: b23 + b53 + b83 + b113 + b143 <= 1; } Constraint e239 { Definition: b24 + b54 + b84 + b114 + b144 <= 1; } Constraint e240 { Definition: b25 + b55 + b85 + b115 + b145 <= 1; } Constraint e241 { Definition: b26 + b56 + b86 + b116 + b146 <= 1; } Constraint e242 { Definition: b27 + b57 + b87 + b117 + b147 <= 1; } Constraint e243 { Definition: b28 + b58 + b88 + b118 + b148 <= 1; } Constraint e244 { Definition: b29 + b59 + b89 + b119 + b149 <= 1; } Constraint e245 { Definition: b30 + b60 + b90 + b120 + b150 <= 1; } Constraint e246 { Definition: x151 - x152 <= 0; } Constraint e247 { Definition: x152 - x160 <= 0; } Constraint e248 { Definition: x160 - x166 <= 0; } Constraint e249 { Definition: x166 - x172 <= 0; } Constraint e250 { Definition: { - x153 - x156 - x159 - x161 - x163 - x165 - x167 - x169 - x171 - x173 - x175 - x177 - x178 - x179 - x180 - x181 - x182 - x183 - x184 - x185 - x186 - x187 - x188 - x189 - x190 - x191 - x192 - x193 - x194 - x195 + objvar = 0 } } Procedure MainInitialization { Body: { 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; x181.upper := 10; x182.upper := 10; x183.upper := 10; x184.upper := 10; x185.upper := 10; x186.upper := 10; x187.upper := 10; x188.upper := 10; x189.upper := 10; x190.upper := 10; x191.upper := 10; x192.upper := 10; x193.upper := 10; x194.upper := 10; x195.upper := 10; } } MathematicalProgram p_ball_30b_5p_3d_m { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve p_ball_30b_5p_3d_m; } } Procedure MainTermination { Body: { return 1; } } }