## ams_version=1.0 Model Main_kall_circlesrectangles_c6r1 { Variable x1; Variable x2 { Range: nonnegative; } Variable x3 { Range: nonnegative; } Variable x4 { Range: nonnegative; } Variable x5 { Range: nonnegative; } Variable x6 { Range: nonnegative; } Variable x7 { Range: nonnegative; } Variable x8 { Range: nonnegative; } Variable x9 { Range: nonnegative; } Variable x10 { Range: nonnegative; } Variable x11 { Range: nonnegative; } Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable x14 { Range: nonnegative; } Variable x15 { Range: nonnegative; } Variable x16 { Range: nonnegative; } Variable x17 { Range: nonnegative; } Variable x18 { Range: nonnegative; } Variable x19 { Range: nonnegative; } Variable x20 { Range: nonnegative; } Variable x21 { Range: nonnegative; } Variable x22 { Range: nonnegative; } Variable x23 { Range: nonnegative; } Variable x24 { Range: nonnegative; } Variable x25 { Range: nonnegative; } Variable x26 { Range: nonnegative; } Variable x27 { Range: nonnegative; } Variable x28 { Range: nonnegative; } Variable x29 { Range: nonnegative; } Variable x30 { Range: nonnegative; } Variable x31 { Range: nonnegative; } Variable x32 { Range: nonnegative; } Variable x33 { Range: nonnegative; } Variable x34 { Range: nonnegative; } Variable x35 { Range: nonnegative; } Variable x36 { Range: nonnegative; } Variable x37 { Range: nonnegative; } Variable x38; Variable x39; Variable x40; Variable x41; Variable x42; Variable x43; Variable x44; Variable x45; Variable x46; Variable x47; Variable x48; Variable x49; Variable x50; Variable x51; Variable x52; Variable x53; Variable x54; Variable x55; Variable x56; Variable x57; Variable x58; Variable x59; Variable x60; Variable x61; Variable x62; Variable x63; Variable x64; Variable x65; Variable x66; Variable x67; Variable x68; Variable x69; Variable x70; Variable x71; Variable x72; Variable x73; Variable x74; Variable x75; Variable x76; Variable x77; Variable x78; Variable x79; Variable x80; Variable x81; Variable x82; Variable x83; Variable x84; Variable x85; Variable x86; Variable x87; Variable x88; Variable x89; Variable x90; Variable x91; Variable x92; Variable x93; Variable x94; Variable x95; Variable x96; Variable x97; Variable x98; Variable x99; Variable x100; Variable x101; Variable x102; Variable x103; Variable x104; Variable x105; Variable x106; Variable x107; Variable x108; Variable x109; Variable x110; Variable x111; Variable x112; Variable x113; Variable x114; Variable x115; Variable x116; Variable x117; Variable x118; Variable x119; Variable x120; Variable x121; Variable x122; Variable x123; Variable x124; Variable x125; Variable x126; Variable x127; Variable x128; Variable x129; Variable x130; Variable x131; Variable x132; Variable x133; Variable x134; Variable x135; Variable x136; Variable x137; Variable x138; Variable x139; Variable x140; Variable x141; Variable x142; Variable x143; Variable x144; Variable x145; Variable x146; Variable x147; Variable x148; Variable x149; Variable x150; Variable x151; Variable x152; Variable x153; Variable x154; Variable x155; Variable x156; Variable x157; Variable x158; Variable x159; Variable x160; Variable x161; Variable x162; Variable x163; Variable x164; Variable x165; Variable x166; Variable x167; Variable x168; Variable x169; Variable x170; Variable x171; 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 objvar; Constraint e1 { Definition: - x1 + objvar = -23.2393785915978; } Constraint e2 { Definition: -x172*x173 + x1 = 0; } Constraint e3 { Definition: (x160 - x162)*(x160 - x162) + (x161 - x163)*(x161 - x163) >= 3.24; } Constraint e4 { Definition: (x160 - x164)*(x160 - x164) + (x161 - x165)*(x161 - x165) >= 4; } Constraint e5 { Definition: (x160 - x166)*(x160 - x166) + (x161 - x167)*(x161 - x167) >= 8.41; } Constraint e6 { Definition: (x160 - x168)*(x160 - x168) + (x161 - x169)*(x161 - x169) >= 6.25; } Constraint e7 { Definition: (x160 - x170)*(x160 - x170) + (x161 - x171)*(x161 - x171) >= 2.89; } Constraint e8 { Definition: (x162 - x164)*(x162 - x164) + (x163 - x165)*(x163 - x165) >= 1.96; } Constraint e9 { Definition: (x162 - x166)*(x162 - x166) + (x163 - x167)*(x163 - x167) >= 5.29; } Constraint e10 { Definition: (x162 - x168)*(x162 - x168) + (x163 - x169)*(x163 - x169) >= 3.61; } Constraint e11 { Definition: (x162 - x170)*(x162 - x170) + (x163 - x171)*(x163 - x171) >= 1.21; } Constraint e12 { Definition: (x164 - x166)*(x164 - x166) + (x165 - x167)*(x165 - x167) >= 6.25; } Constraint e13 { Definition: (x164 - x168)*(x164 - x168) + (x165 - x169)*(x165 - x169) >= 4.41; } Constraint e14 { Definition: (x164 - x170)*(x164 - x170) + (x165 - x171)*(x165 - x171) >= 1.69; } Constraint e15 { Definition: (x166 - x168)*(x166 - x168) + (x167 - x169)*(x167 - x169) >= 9; } Constraint e16 { Definition: (x166 - x170)*(x166 - x170) + (x167 - x171)*(x167 - x171) >= 4.84; } Constraint e17 { Definition: (x168 - x170)*(x168 - x170) + (x169 - x171)*(x169 - x171) >= 3.24; } Constraint e18 { Definition: x160 - x172 <= -1.2; } Constraint e19 { Definition: x161 - x173 <= -1.2; } Constraint e20 { Definition: x162 - x172 <= -0.6; } Constraint e21 { Definition: x163 - x173 <= -0.6; } Constraint e22 { Definition: x164 - x172 <= -0.8; } Constraint e23 { Definition: x165 - x173 <= -0.8; } Constraint e24 { Definition: x166 - x172 <= -1.7; } Constraint e25 { Definition: x167 - x173 <= -1.7; } Constraint e26 { Definition: x168 - x172 <= -1.3; } Constraint e27 { Definition: x169 - x173 <= -1.3; } Constraint e28 { Definition: x170 - x172 <= -0.5; } Constraint e29 { Definition: x171 - x173 <= -0.5; } Constraint e30 { Definition: - x172 + x174 <= 0; } Constraint e31 { Definition: - x173 + x175 <= 0; } Constraint e32 { Definition: - x172 + x176 <= 0; } Constraint e33 { Definition: - x173 + x177 <= 0; } Constraint e34 { Definition: - x172 + x178 <= 0; } Constraint e35 { Definition: - x173 + x179 <= 0; } Constraint e36 { Definition: - x172 + x180 <= 0; } Constraint e37 { Definition: - x173 + x181 <= 0; } Constraint e38 { Definition: x152 + x174 - x176 = 0; } Constraint e39 { Definition: x153 + x175 - x177 = 0; } Constraint e40 { Definition: x154 + x176 - x178 = 0; } Constraint e41 { Definition: x155 + x177 - x179 = 0; } Constraint e42 { Definition: x156 + x178 - x180 = 0; } Constraint e43 { Definition: x157 + x179 - x181 = 0; } Constraint e44 { Definition: x158 - x174 + 2*x180 - x182 = 0; } Constraint e45 { Definition: x159 - x175 + 2*x181 - x183 = 0; } Constraint e46 { Definition: x152*x154 + x153*x155 = 0; } Constraint e47 { Definition: x152 + x156 = 0; } Constraint e48 { Definition: x153 + x157 = 0; } Constraint e49 { Definition: x154 + x158 = 0; } Constraint e50 { Definition: x155 + x159 = 0; } Constraint e51 { Definition: x152*x152 + x153*x153 = 0.25; } Constraint e52 { Definition: x154*x154 + x155*x155 = 0.64; } Constraint e53 { Definition: x68*x68 + x69*x69 = 1; } Constraint e54 { Definition: x70*x70 + x71*x71 = 1; } Constraint e55 { Definition: x72*x72 + x73*x73 = 1; } Constraint e56 { Definition: x74*x74 + x75*x75 = 1; } Constraint e57 { Definition: x76*x76 + x77*x77 = 1; } Constraint e58 { Definition: x78*x78 + x79*x79 = 1; } Constraint e59 { Definition: - x69 + x80 = 0; } Constraint e60 { Definition: - x71 + x82 = 0; } Constraint e61 { Definition: - x73 + x84 = 0; } Constraint e62 { Definition: - x75 + x86 = 0; } Constraint e63 { Definition: - x77 + x88 = 0; } Constraint e64 { Definition: - x79 + x90 = 0; } Constraint e65 { Definition: x68 + x81 = 0; } Constraint e66 { Definition: x70 + x83 = 0; } Constraint e67 { Definition: x72 + x85 = 0; } Constraint e68 { Definition: x74 + x87 = 0; } Constraint e69 { Definition: x76 + x89 = 0; } Constraint e70 { Definition: x78 + x91 = 0; } Constraint e71 { Definition: x68*x38 + x2 + x92 - x174 = 0; } Constraint e72 { Definition: x69*x38 + x3 + x93 - x175 = 0; } Constraint e73 { Definition: x68*x39 + x2 + x94 - x176 = 0; } Constraint e74 { Definition: x69*x39 + x3 + x95 - x177 = 0; } Constraint e75 { Definition: x68*x40 + x2 + x96 - x178 = 0; } Constraint e76 { Definition: x69*x40 + x3 + x97 - x179 = 0; } Constraint e77 { Definition: x68*x41 + x2 + x98 - x180 = 0; } Constraint e78 { Definition: x69*x41 + x3 + x99 - x181 = 0; } Constraint e79 { Definition: x70*x42 + x4 + x100 - x174 = 0; } Constraint e80 { Definition: x71*x42 + x5 + x101 - x175 = 0; } Constraint e81 { Definition: x70*x43 + x4 + x102 - x176 = 0; } Constraint e82 { Definition: x71*x43 + x5 + x103 - x177 = 0; } Constraint e83 { Definition: x70*x44 + x4 + x104 - x178 = 0; } Constraint e84 { Definition: x71*x44 + x5 + x105 - x179 = 0; } Constraint e85 { Definition: x70*x45 + x4 + x106 - x180 = 0; } Constraint e86 { Definition: x71*x45 + x5 + x107 - x181 = 0; } Constraint e87 { Definition: x72*x46 + x6 + x108 - x174 = 0; } Constraint e88 { Definition: x73*x46 + x7 + x109 - x175 = 0; } Constraint e89 { Definition: x72*x47 + x6 + x110 - x176 = 0; } Constraint e90 { Definition: x73*x47 + x7 + x111 - x177 = 0; } Constraint e91 { Definition: x72*x48 + x6 + x112 - x178 = 0; } Constraint e92 { Definition: x73*x48 + x7 + x113 - x179 = 0; } Constraint e93 { Definition: x72*x49 + x6 + x114 - x180 = 0; } Constraint e94 { Definition: x73*x49 + x7 + x115 - x181 = 0; } Constraint e95 { Definition: x74*x50 + x8 + x116 - x174 = 0; } Constraint e96 { Definition: x75*x50 + x9 + x117 - x175 = 0; } Constraint e97 { Definition: x74*x51 + x8 + x118 - x176 = 0; } Constraint e98 { Definition: x75*x51 + x9 + x119 - x177 = 0; } Constraint e99 { Definition: x74*x52 + x8 + x120 - x178 = 0; } Constraint e100 { Definition: x75*x52 + x9 + x121 - x179 = 0; } Constraint e101 { Definition: x74*x53 + x8 + x122 - x180 = 0; } Constraint e102 { Definition: x75*x53 + x9 + x123 - x181 = 0; } Constraint e103 { Definition: x76*x54 + x10 + x124 - x174 = 0; } Constraint e104 { Definition: x77*x54 + x11 + x125 - x175 = 0; } Constraint e105 { Definition: x76*x55 + x10 + x126 - x176 = 0; } Constraint e106 { Definition: x77*x55 + x11 + x127 - x177 = 0; } Constraint e107 { Definition: x76*x56 + x10 + x128 - x178 = 0; } Constraint e108 { Definition: x77*x56 + x11 + x129 - x179 = 0; } Constraint e109 { Definition: x76*x57 + x10 + x130 - x180 = 0; } Constraint e110 { Definition: x77*x57 + x11 + x131 - x181 = 0; } Constraint e111 { Definition: x78*x58 + x12 + x132 - x174 = 0; } Constraint e112 { Definition: x79*x58 + x13 + x133 - x175 = 0; } Constraint e113 { Definition: x78*x59 + x12 + x134 - x176 = 0; } Constraint e114 { Definition: x79*x59 + x13 + x135 - x177 = 0; } Constraint e115 { Definition: x78*x60 + x12 + x136 - x178 = 0; } Constraint e116 { Definition: x79*x60 + x13 + x137 - x179 = 0; } Constraint e117 { Definition: x78*x61 + x12 + x138 - x180 = 0; } Constraint e118 { Definition: x79*x61 + x13 + x139 - x181 = 0; } Constraint e119 { Definition: x68*x62 + x2 + x140 - x160 = 0; } Constraint e120 { Definition: x69*x62 + x3 + x141 - x161 = 0; } Constraint e121 { Definition: x70*x63 + x4 + x142 - x162 = 0; } Constraint e122 { Definition: x71*x63 + x5 + x143 - x163 = 0; } Constraint e123 { Definition: x72*x64 + x6 + x144 - x164 = 0; } Constraint e124 { Definition: x73*x64 + x7 + x145 - x165 = 0; } Constraint e125 { Definition: x74*x65 + x8 + x146 - x166 = 0; } Constraint e126 { Definition: x75*x65 + x9 + x147 - x167 = 0; } Constraint e127 { Definition: x76*x66 + x10 + x148 - x168 = 0; } Constraint e128 { Definition: x77*x66 + x11 + x149 - x169 = 0; } Constraint e129 { Definition: x78*x67 + x12 + x150 - x170 = 0; } Constraint e130 { Definition: x79*x67 + x13 + x151 - x171 = 0; } Constraint e131 { Definition: -x14*x80 + x92 = 0; } Constraint e132 { Definition: -x14*x81 + x93 = 0; } Constraint e133 { Definition: -x15*x80 + x94 = 0; } Constraint e134 { Definition: -x15*x81 + x95 = 0; } Constraint e135 { Definition: -x16*x80 + x96 = 0; } Constraint e136 { Definition: -x16*x81 + x97 = 0; } Constraint e137 { Definition: -x17*x80 + x98 = 0; } Constraint e138 { Definition: -x17*x81 + x99 = 0; } Constraint e139 { Definition: -x18*x82 + x100 = 0; } Constraint e140 { Definition: -x18*x83 + x101 = 0; } Constraint e141 { Definition: -x19*x82 + x102 = 0; } Constraint e142 { Definition: -x19*x83 + x103 = 0; } Constraint e143 { Definition: -x20*x82 + x104 = 0; } Constraint e144 { Definition: -x20*x83 + x105 = 0; } Constraint e145 { Definition: -x21*x82 + x106 = 0; } Constraint e146 { Definition: -x21*x83 + x107 = 0; } Constraint e147 { Definition: -x22*x84 + x108 = 0; } Constraint e148 { Definition: -x22*x85 + x109 = 0; } Constraint e149 { Definition: -x23*x84 + x110 = 0; } Constraint e150 { Definition: -x23*x85 + x111 = 0; } Constraint e151 { Definition: -x24*x84 + x112 = 0; } Constraint e152 { Definition: -x24*x85 + x113 = 0; } Constraint e153 { Definition: -x25*x84 + x114 = 0; } Constraint e154 { Definition: -x25*x85 + x115 = 0; } Constraint e155 { Definition: -x26*x86 + x116 = 0; } Constraint e156 { Definition: -x26*x87 + x117 = 0; } Constraint e157 { Definition: -x27*x86 + x118 = 0; } Constraint e158 { Definition: -x27*x87 + x119 = 0; } Constraint e159 { Definition: -x28*x86 + x120 = 0; } Constraint e160 { Definition: -x28*x87 + x121 = 0; } Constraint e161 { Definition: -x29*x86 + x122 = 0; } Constraint e162 { Definition: -x29*x87 + x123 = 0; } Constraint e163 { Definition: -x30*x88 + x124 = 0; } Constraint e164 { Definition: -x30*x89 + x125 = 0; } Constraint e165 { Definition: -x31*x88 + x126 = 0; } Constraint e166 { Definition: -x31*x89 + x127 = 0; } Constraint e167 { Definition: -x32*x88 + x128 = 0; } Constraint e168 { Definition: -x32*x89 + x129 = 0; } Constraint e169 { Definition: -x33*x88 + x130 = 0; } Constraint e170 { Definition: -x33*x89 + x131 = 0; } Constraint e171 { Definition: -x34*x90 + x132 = 0; } Constraint e172 { Definition: -x34*x91 + x133 = 0; } Constraint e173 { Definition: -x35*x90 + x134 = 0; } Constraint e174 { Definition: -x35*x91 + x135 = 0; } Constraint e175 { Definition: -x36*x90 + x136 = 0; } Constraint e176 { Definition: -x36*x91 + x137 = 0; } Constraint e177 { Definition: -x37*x90 + x138 = 0; } Constraint e178 { Definition: -x37*x91 + x139 = 0; } Constraint e179 { Definition: 1.2*x80 + x140 = 0; } Constraint e180 { Definition: 1.2*x81 + x141 = 0; } Constraint e181 { Definition: 0.6*x82 + x142 = 0; } Constraint e182 { Definition: 0.6*x83 + x143 = 0; } Constraint e183 { Definition: 0.8*x84 + x144 = 0; } Constraint e184 { Definition: 0.8*x85 + x145 = 0; } Constraint e185 { Definition: 1.7*x86 + x146 = 0; } Constraint e186 { Definition: 1.7*x87 + x147 = 0; } Constraint e187 { Definition: 1.3*x88 + x148 = 0; } Constraint e188 { Definition: 1.3*x89 + x149 = 0; } Constraint e189 { Definition: 0.5*x90 + x150 = 0; } Constraint e190 { Definition: 0.5*x91 + x151 = 0; } Constraint e191 { Definition: x160 <= 4.5; } Constraint e192 { Definition: x161 <= 2; } Procedure MainInitialization { Body: { x1.lower := 2.89; x1.upper := 36; x2.upper := 9; x3.upper := 4; x4.upper := 9; x5.upper := 4; x6.upper := 9; x7.upper := 4; x8.upper := 9; x9.upper := 4; x10.upper := 9; x11.upper := 4; x12.upper := 9; x13.upper := 4; x14.upper := 9.84885780179611; x15.upper := 9.84885780179611; x16.upper := 9.84885780179611; x17.upper := 9.84885780179611; x18.upper := 9.84885780179611; x19.upper := 9.84885780179611; x20.upper := 9.84885780179611; x21.upper := 9.84885780179611; x22.upper := 9.84885780179611; x23.upper := 9.84885780179611; x24.upper := 9.84885780179611; x25.upper := 9.84885780179611; x26.upper := 9.84885780179611; x27.upper := 9.84885780179611; x28.upper := 9.84885780179611; x29.upper := 9.84885780179611; x30.upper := 9.84885780179611; x31.upper := 9.84885780179611; x32.upper := 9.84885780179611; x33.upper := 9.84885780179611; x34.upper := 9.84885780179611; x35.upper := 9.84885780179611; x36.upper := 9.84885780179611; x37.upper := 9.84885780179611; x38.lower := -9.84885780179611; x38.upper := 9.84885780179611; x39.lower := -9.84885780179611; x39.upper := 9.84885780179611; x40.lower := -9.84885780179611; x40.upper := 9.84885780179611; x41.lower := -9.84885780179611; x41.upper := 9.84885780179611; x42.lower := -9.84885780179611; x42.upper := 9.84885780179611; x43.lower := -9.84885780179611; x43.upper := 9.84885780179611; x44.lower := -9.84885780179611; x44.upper := 9.84885780179611; x45.lower := -9.84885780179611; x45.upper := 9.84885780179611; x46.lower := -9.84885780179611; x46.upper := 9.84885780179611; x47.lower := -9.84885780179611; x47.upper := 9.84885780179611; x48.lower := -9.84885780179611; x48.upper := 9.84885780179611; x49.lower := -9.84885780179611; x49.upper := 9.84885780179611; x50.lower := -9.84885780179611; x50.upper := 9.84885780179611; x51.lower := -9.84885780179611; x51.upper := 9.84885780179611; x52.lower := -9.84885780179611; x52.upper := 9.84885780179611; x53.lower := -9.84885780179611; x53.upper := 9.84885780179611; x54.lower := -9.84885780179611; x54.upper := 9.84885780179611; x55.lower := -9.84885780179611; x55.upper := 9.84885780179611; x56.lower := -9.84885780179611; x56.upper := 9.84885780179611; x57.lower := -9.84885780179611; x57.upper := 9.84885780179611; x58.lower := -9.84885780179611; x58.upper := 9.84885780179611; x59.lower := -9.84885780179611; x59.upper := 9.84885780179611; x60.lower := -9.84885780179611; x60.upper := 9.84885780179611; x61.lower := -9.84885780179611; x61.upper := 9.84885780179611; x62.lower := -9.84885780179611; x62.upper := 9.84885780179611; x63.lower := -9.84885780179611; x63.upper := 9.84885780179611; x64.lower := -9.84885780179611; x64.upper := 9.84885780179611; x65.lower := -9.84885780179611; x65.upper := 9.84885780179611; x66.lower := -9.84885780179611; x66.upper := 9.84885780179611; x67.lower := -9.84885780179611; x67.upper := 9.84885780179611; x68.lower := -1; x68.upper := 1; x69.lower := -1; x69.upper := 1; x70.lower := -1; x70.upper := 1; x71.lower := -1; x71.upper := 1; x72.lower := -1; x72.upper := 1; x73.lower := -1; x73.upper := 1; x74.lower := -1; x74.upper := 1; x75.lower := -1; x75.upper := 1; x76.lower := -1; x76.upper := 1; x77.lower := -1; x77.upper := 1; x78.lower := -1; x78.upper := 1; x79.lower := -1; x79.upper := 1; x80.lower := -1; x80.upper := 1; x81.lower := -1; x81.upper := 1; x82.lower := -1; x82.upper := 1; x83.lower := -1; x83.upper := 1; x84.lower := -1; x84.upper := 1; x85.lower := -1; x85.upper := 1; x86.lower := -1; x86.upper := 1; x87.lower := -1; x87.upper := 1; x88.lower := -1; x88.upper := 1; x89.lower := -1; x89.upper := 1; x90.lower := -1; x90.upper := 1; x91.lower := -1; x91.upper := 1; x92.lower := -9.84885780179611; x92.upper := 9.84885780179611; x93.lower := -9.84885780179611; x93.upper := 9.84885780179611; x94.lower := -9.84885780179611; x94.upper := 9.84885780179611; x95.lower := -9.84885780179611; x95.upper := 9.84885780179611; x96.lower := -9.84885780179611; x96.upper := 9.84885780179611; x97.lower := -9.84885780179611; x97.upper := 9.84885780179611; x98.lower := -9.84885780179611; x98.upper := 9.84885780179611; x99.lower := -9.84885780179611; x99.upper := 9.84885780179611; x100.lower := -9.84885780179611; x100.upper := 9.84885780179611; x101.lower := -9.84885780179611; x101.upper := 9.84885780179611; x102.lower := -9.84885780179611; x102.upper := 9.84885780179611; x103.lower := -9.84885780179611; x103.upper := 9.84885780179611; x104.lower := -9.84885780179611; x104.upper := 9.84885780179611; x105.lower := -9.84885780179611; x105.upper := 9.84885780179611; x106.lower := -9.84885780179611; x106.upper := 9.84885780179611; x107.lower := -9.84885780179611; x107.upper := 9.84885780179611; x108.lower := -9.84885780179611; x108.upper := 9.84885780179611; x109.lower := -9.84885780179611; x109.upper := 9.84885780179611; x110.lower := -9.84885780179611; x110.upper := 9.84885780179611; x111.lower := -9.84885780179611; x111.upper := 9.84885780179611; x112.lower := -9.84885780179611; x112.upper := 9.84885780179611; x113.lower := -9.84885780179611; x113.upper := 9.84885780179611; x114.lower := -9.84885780179611; x114.upper := 9.84885780179611; x115.lower := -9.84885780179611; x115.upper := 9.84885780179611; x116.lower := -9.84885780179611; x116.upper := 9.84885780179611; x117.lower := -9.84885780179611; x117.upper := 9.84885780179611; x118.lower := -9.84885780179611; x118.upper := 9.84885780179611; x119.lower := -9.84885780179611; x119.upper := 9.84885780179611; x120.lower := -9.84885780179611; x120.upper := 9.84885780179611; x121.lower := -9.84885780179611; x121.upper := 9.84885780179611; x122.lower := -9.84885780179611; x122.upper := 9.84885780179611; x123.lower := -9.84885780179611; x123.upper := 9.84885780179611; x124.lower := -9.84885780179611; x124.upper := 9.84885780179611; x125.lower := -9.84885780179611; x125.upper := 9.84885780179611; x126.lower := -9.84885780179611; x126.upper := 9.84885780179611; x127.lower := -9.84885780179611; x127.upper := 9.84885780179611; x128.lower := -9.84885780179611; x128.upper := 9.84885780179611; x129.lower := -9.84885780179611; x129.upper := 9.84885780179611; x130.lower := -9.84885780179611; x130.upper := 9.84885780179611; x131.lower := -9.84885780179611; x131.upper := 9.84885780179611; x132.lower := -9.84885780179611; x132.upper := 9.84885780179611; x133.lower := -9.84885780179611; x133.upper := 9.84885780179611; x134.lower := -9.84885780179611; x134.upper := 9.84885780179611; x135.lower := -9.84885780179611; x135.upper := 9.84885780179611; x136.lower := -9.84885780179611; x136.upper := 9.84885780179611; x137.lower := -9.84885780179611; x137.upper := 9.84885780179611; x138.lower := -9.84885780179611; x138.upper := 9.84885780179611; x139.lower := -9.84885780179611; x139.upper := 9.84885780179611; x140.lower := -9.84885780179611; x140.upper := 9.84885780179611; x141.lower := -9.84885780179611; x141.upper := 9.84885780179611; x142.lower := -9.84885780179611; x142.upper := 9.84885780179611; x143.lower := -9.84885780179611; x143.upper := 9.84885780179611; x144.lower := -9.84885780179611; x144.upper := 9.84885780179611; x145.lower := -9.84885780179611; x145.upper := 9.84885780179611; x146.lower := -9.84885780179611; x146.upper := 9.84885780179611; x147.lower := -9.84885780179611; x147.upper := 9.84885780179611; x148.lower := -9.84885780179611; x148.upper := 9.84885780179611; x149.lower := -9.84885780179611; x149.upper := 9.84885780179611; x150.lower := -9.84885780179611; x150.upper := 9.84885780179611; x151.lower := -9.84885780179611; x151.upper := 9.84885780179611; x152.lower := -0.8; x152.upper := 0.8; x153.lower := -0.5; x153.upper := 0.5; x154.lower := -0.8; x154.upper := 0.8; x155.lower := -0.5; x155.upper := 0.5; x156.lower := -0.8; x156.upper := 0.8; x157.lower := -0.5; x157.upper := 0.5; x158.lower := -0.8; x158.upper := 0.8; x159.lower := -0.5; x159.upper := 0.5; x160.lower := 1.2; x160.upper := 7.8; x161.lower := 1.2; x161.upper := 2.8; x162.lower := 0.6; x162.upper := 8.4; x163.lower := 0.6; x163.upper := 3.4; x164.lower := 0.8; x164.upper := 8.2; x165.lower := 0.8; x165.upper := 3.2; x166.lower := 1.7; x166.upper := 7.3; x167.lower := 1.7; x167.upper := 2.3; x168.lower := 1.3; x168.upper := 7.7; x169.lower := 1.3; x169.upper := 2.7; x170.lower := 0.5; x170.upper := 8.5; x171.lower := 0.5; x171.upper := 3.5; x172.upper := 9; x173.upper := 4; x174.upper := 9; x175.upper := 4; x176.upper := 9; x177.upper := 4; x178.upper := 9; x179.upper := 4; x180.upper := 9; x181.upper := 4; x182.upper := 9; x183.upper := 4; objvar.lower := 0; objvar.upper := 36; } } MathematicalProgram kall_circlesrectangles_c6r1 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve kall_circlesrectangles_c6r1; } } Procedure MainTermination { Body: { return 1; } } }