## ams_version=1.0 Model Main_kall_congruentcircles_c72 { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable x9; Variable x10; Variable x11; Variable x12; Variable x13; Variable x14; Variable x15; Variable x16 { Range: nonnegative; } Variable x17 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: - x1 + objvar = -5.49778714378214; } Constraint e2 { Definition: -x16*x17 + 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: (x2 - x10)*(x2 - x10) + (x3 - x11)*(x3 - x11) >= 1; } Constraint e7 { Definition: (x2 - x12)*(x2 - x12) + (x3 - x13)*(x3 - x13) >= 1; } Constraint e8 { Definition: (x2 - x14)*(x2 - x14) + (x3 - x15)*(x3 - x15) >= 1; } Constraint e9 { Definition: (x4 - x6)*(x4 - x6) + (x5 - x7)*(x5 - x7) >= 1; } Constraint e10 { Definition: (x4 - x8)*(x4 - x8) + (x5 - x9)*(x5 - x9) >= 1; } Constraint e11 { Definition: (x4 - x10)*(x4 - x10) + (x5 - x11)*(x5 - x11) >= 1; } Constraint e12 { Definition: (x4 - x12)*(x4 - x12) + (x5 - x13)*(x5 - x13) >= 1; } Constraint e13 { Definition: (x4 - x14)*(x4 - x14) + (x5 - x15)*(x5 - x15) >= 1; } Constraint e14 { Definition: (x6 - x8)*(x6 - x8) + (x7 - x9)*(x7 - x9) >= 1; } Constraint e15 { Definition: (x6 - x10)*(x6 - x10) + (x7 - x11)*(x7 - x11) >= 1; } Constraint e16 { Definition: (x6 - x12)*(x6 - x12) + (x7 - x13)*(x7 - x13) >= 1; } Constraint e17 { Definition: (x6 - x14)*(x6 - x14) + (x7 - x15)*(x7 - x15) >= 1; } Constraint e18 { Definition: (x8 - x10)*(x8 - x10) + (x9 - x11)*(x9 - x11) >= 1; } Constraint e19 { Definition: (x8 - x12)*(x8 - x12) + (x9 - x13)*(x9 - x13) >= 1; } Constraint e20 { Definition: (x8 - x14)*(x8 - x14) + (x9 - x15)*(x9 - x15) >= 1; } Constraint e21 { Definition: (x10 - x12)*(x10 - x12) + (x11 - x13)*(x11 - x13) >= 1; } Constraint e22 { Definition: (x10 - x14)*(x10 - x14) + (x11 - x15)*(x11 - x15) >= 1; } Constraint e23 { Definition: (x12 - x14)*(x12 - x14) + (x13 - x15)*(x13 - x15) >= 1; } Constraint e24 { Definition: x2 - x16 <= -0.5; } Constraint e25 { Definition: x3 - x17 <= -0.5; } Constraint e26 { Definition: x4 - x16 <= -0.5; } Constraint e27 { Definition: x5 - x17 <= -0.5; } Constraint e28 { Definition: x6 - x16 <= -0.5; } Constraint e29 { Definition: x7 - x17 <= -0.5; } Constraint e30 { Definition: x8 - x16 <= -0.5; } Constraint e31 { Definition: x9 - x17 <= -0.5; } Constraint e32 { Definition: x10 - x16 <= -0.5; } Constraint e33 { Definition: x11 - x17 <= -0.5; } Constraint e34 { Definition: x12 - x16 <= -0.5; } Constraint e35 { Definition: x13 - x17 <= -0.5; } Constraint e36 { Definition: x14 - x16 <= -0.5; } Constraint e37 { Definition: x15 - x17 <= -0.5; } Constraint e38 { Definition: x2 <= 3; } Constraint e39 { Definition: x3 <= 1; } Constraint e40 { Definition: x2 - x4 <= 0; } Constraint e41 { Definition: x2 - x6 <= 0; } Constraint e42 { Definition: x2 - x8 <= 0; } Constraint e43 { Definition: x2 - x10 <= 0; } Constraint e44 { Definition: x2 - x12 <= 0; } Constraint e45 { Definition: x2 - x14 <= 0; } Constraint e46 { Definition: x4 - x6 <= 0; } Constraint e47 { Definition: x4 - x8 <= 0; } Constraint e48 { Definition: x4 - x10 <= 0; } Constraint e49 { Definition: x4 - x12 <= 0; } Constraint e50 { Definition: x4 - x14 <= 0; } Constraint e51 { Definition: x6 - x8 <= 0; } Constraint e52 { Definition: x6 - x10 <= 0; } Constraint e53 { Definition: x6 - x12 <= 0; } Constraint e54 { Definition: x6 - x14 <= 0; } Constraint e55 { Definition: x8 - x10 <= 0; } Constraint e56 { Definition: x8 - x12 <= 0; } Constraint e57 { Definition: x8 - x14 <= 0; } Constraint e58 { Definition: x10 - x12 <= 0; } Constraint e59 { Definition: x10 - x14 <= 0; } Constraint e60 { Definition: x12 - x14 <= 0; } Procedure MainInitialization { Body: { x1.lower := 0.25; x1.upper := 12; x2.lower := 0.5; x2.upper := 5.5; x3.lower := 0.5; x3.upper := 1.5; x4.lower := 0.5; x4.upper := 5.5; x5.lower := 0.5; x5.upper := 1.5; x6.lower := 0.5; x6.upper := 5.5; x7.lower := 0.5; x7.upper := 1.5; x8.lower := 0.5; x8.upper := 5.5; x9.lower := 0.5; x9.upper := 1.5; x10.lower := 0.5; x10.upper := 5.5; x11.lower := 0.5; x11.upper := 1.5; x12.lower := 0.5; x12.upper := 5.5; x13.lower := 0.5; x13.upper := 1.5; x14.lower := 0.5; x14.upper := 5.5; x15.lower := 0.5; x15.upper := 1.5; x16.upper := 6; x17.upper := 2; objvar.lower := 0; objvar.upper := 12; } } MathematicalProgram kall_congruentcircles_c72 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve kall_congruentcircles_c72; } } Procedure MainTermination { Body: { return 1; } } }