## ams_version=1.0 Model Main_kall_diffcircles_5a { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable x9; Variable x10; Variable x11; Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: - x1 + objvar = -17.530087007031; } Constraint e2 { Definition: -x12*x13 + x1 = 0; } Constraint e3 { Definition: (x2 - x4)*(x2 - x4) + (x3 - x5)*(x3 - x5) >= 3.24; } Constraint e4 { Definition: (x2 - x6)*(x2 - x6) + (x3 - x7)*(x3 - x7) >= 4; } Constraint e5 { Definition: (x2 - x8)*(x2 - x8) + (x3 - x9)*(x3 - x9) >= 8.41; } Constraint e6 { Definition: (x2 - x10)*(x2 - x10) + (x3 - x11)*(x3 - x11) >= 2.89; } Constraint e7 { Definition: (x4 - x6)*(x4 - x6) + (x5 - x7)*(x5 - x7) >= 1.96; } Constraint e8 { Definition: (x4 - x8)*(x4 - x8) + (x5 - x9)*(x5 - x9) >= 5.29; } Constraint e9 { Definition: (x4 - x10)*(x4 - x10) + (x5 - x11)*(x5 - x11) >= 1.21; } Constraint e10 { Definition: (x6 - x8)*(x6 - x8) + (x7 - x9)*(x7 - x9) >= 6.25; } Constraint e11 { Definition: (x6 - x10)*(x6 - x10) + (x7 - x11)*(x7 - x11) >= 1.69; } Constraint e12 { Definition: (x8 - x10)*(x8 - x10) + (x9 - x11)*(x9 - x11) >= 4.84; } Constraint e13 { Definition: x2 - x12 <= -1.2; } Constraint e14 { Definition: x3 - x13 <= -1.2; } Constraint e15 { Definition: x4 - x12 <= -0.6; } Constraint e16 { Definition: x5 - x13 <= -0.6; } Constraint e17 { Definition: x6 - x12 <= -0.8; } Constraint e18 { Definition: x7 - x13 <= -0.8; } Constraint e19 { Definition: x8 - x12 <= -1.7; } Constraint e20 { Definition: x9 - x13 <= -1.7; } Constraint e21 { Definition: x10 - x12 <= -0.5; } Constraint e22 { Definition: x11 - x13 <= -0.5; } Constraint e23 { Definition: x2 <= 4; } Constraint e24 { Definition: x3 <= 2; } Procedure MainInitialization { Body: { x1.lower := 2.89; x1.upper := 32; x2.lower := 1.2; x2.upper := 6.8; x3.lower := 1.2; x3.upper := 2.8; x4.lower := 0.6; x4.upper := 7.4; x5.lower := 0.6; x5.upper := 3.4; x6.lower := 0.8; x6.upper := 7.2; x7.lower := 0.8; x7.upper := 3.2; x8.lower := 1.7; x8.upper := 6.3; x9.lower := 1.7; x9.upper := 2.3; x10.lower := 0.5; x10.upper := 7.5; x11.lower := 0.5; x11.upper := 3.5; x12.upper := 8; x13.upper := 4; objvar.lower := 0; objvar.upper := 32; } } MathematicalProgram kall_diffcircles_5a { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve kall_diffcircles_5a; } } Procedure MainTermination { Body: { return 1; } } }