## ams_version=1.0 Model Main_kall_congruentcircles_c32 { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8 { Range: nonnegative; } Variable x9 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: - x1 + objvar = -2.35619449019234; } Constraint e2 { Definition: -x8*x9 + x1 = 0; } Constraint e3 { Definition: (x2 - x4)*(x2 - x4) + (x3 - x5)*(x3 - x5) >= 1; } Constraint e4 { Definition: (x2 - x6)*(x2 - x6) + (x3 - x7)*(x3 - x7) >= 1; } Constraint e5 { Definition: (x4 - x6)*(x4 - x6) + (x5 - x7)*(x5 - x7) >= 1; } Constraint e6 { Definition: x2 - x8 <= -0.5; } Constraint e7 { Definition: x3 - x9 <= -0.5; } Constraint e8 { Definition: x4 - x8 <= -0.5; } Constraint e9 { Definition: x5 - x9 <= -0.5; } Constraint e10 { Definition: x6 - x8 <= -0.5; } Constraint e11 { Definition: x7 - x9 <= -0.5; } Constraint e12 { Definition: x2 <= 1.25; } Constraint e13 { Definition: x3 <= 1; } Constraint e14 { Definition: x2 - x4 <= 0; } Constraint e15 { Definition: x2 - x6 <= 0; } Constraint e16 { Definition: x4 - x6 <= 0; } Procedure MainInitialization { Body: { x1.lower := 0.25; x1.upper := 5; x2.lower := 0.5; x2.upper := 2; x3.lower := 0.5; x3.upper := 1.5; x4.lower := 0.5; x4.upper := 2; x5.lower := 0.5; x5.upper := 1.5; x6.lower := 0.5; x6.upper := 2; x7.lower := 0.5; x7.upper := 1.5; x8.upper := 2.5; x9.upper := 2; objvar.lower := 0; objvar.upper := 5; } } MathematicalProgram kall_congruentcircles_c32 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve kall_congruentcircles_c32; } } Procedure MainTermination { Body: { return 1; } } }