## ams_version=1.0 Model Main_kall_congruentcircles_c42 { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable x9; Variable x10 { Range: nonnegative; } Variable x11 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: - x1 + objvar = -3.14159265358979; } Constraint e2 { Definition: -x10*x11 + 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: (x2 - x8)*(x2 - x8) + (x3 - x9)*(x3 - x9) >= 1; } Constraint e6 { Definition: (x4 - x6)*(x4 - x6) + (x5 - x7)*(x5 - x7) >= 1; } Constraint e7 { Definition: (x4 - x8)*(x4 - x8) + (x5 - x9)*(x5 - x9) >= 1; } Constraint e8 { Definition: (x6 - x8)*(x6 - x8) + (x7 - x9)*(x7 - x9) >= 1; } Constraint e9 { Definition: x2 - x10 <= -0.5; } Constraint e10 { Definition: x3 - x11 <= -0.5; } Constraint e11 { Definition: x4 - x10 <= -0.5; } Constraint e12 { Definition: x5 - x11 <= -0.5; } Constraint e13 { Definition: x6 - x10 <= -0.5; } Constraint e14 { Definition: x7 - x11 <= -0.5; } Constraint e15 { Definition: x8 - x10 <= -0.5; } Constraint e16 { Definition: x9 - x11 <= -0.5; } Constraint e17 { Definition: x2 <= 2; } Constraint e18 { Definition: x3 <= 1; } Constraint e19 { Definition: x2 - x4 <= 0; } Constraint e20 { Definition: x2 - x6 <= 0; } Constraint e21 { Definition: x2 - x8 <= 0; } Constraint e22 { Definition: x4 - x6 <= 0; } Constraint e23 { Definition: x4 - x8 <= 0; } Constraint e24 { Definition: x6 - x8 <= 0; } Procedure MainInitialization { Body: { x1.lower := 0.25; x1.upper := 8; x2.lower := 0.5; x2.upper := 3.5; x3.lower := 0.5; x3.upper := 1.5; x4.lower := 0.5; x4.upper := 3.5; x5.lower := 0.5; x5.upper := 1.5; x6.lower := 0.5; x6.upper := 3.5; x7.lower := 0.5; x7.upper := 1.5; x8.lower := 0.5; x8.upper := 3.5; x9.lower := 0.5; x9.upper := 1.5; x10.upper := 4; x11.upper := 2; objvar.lower := 0; objvar.upper := 8; } } MathematicalProgram kall_congruentcircles_c42 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve kall_congruentcircles_c42; } } Procedure MainTermination { Body: { return 1; } } }