## ams_version=1.0 Model Main_kall_circles_c8a { 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; Variable x17; Variable x18; Variable x19; Variable x20 { Range: nonnegative; } Variable x21 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: - x1 + objvar = -7.82256570743859; } Constraint e2 { Definition: -x20*x21 + 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: (x2 - x16)*(x2 - x16) + (x3 - x17)*(x3 - x17) >= 1; } Constraint e10 { Definition: (x2 - x18)*(x2 - x18) + (x3 - x19)*(x3 - x19) >= 1.44; } Constraint e11 { Definition: (x4 - x6)*(x4 - x6) + (x5 - x7)*(x5 - x7) >= 1; } Constraint e12 { Definition: (x4 - x8)*(x4 - x8) + (x5 - x9)*(x5 - x9) >= 1; } Constraint e13 { Definition: (x4 - x10)*(x4 - x10) + (x5 - x11)*(x5 - x11) >= 1; } Constraint e14 { Definition: (x4 - x12)*(x4 - x12) + (x5 - x13)*(x5 - x13) >= 1; } Constraint e15 { Definition: (x4 - x14)*(x4 - x14) + (x5 - x15)*(x5 - x15) >= 1; } Constraint e16 { Definition: (x4 - x16)*(x4 - x16) + (x5 - x17)*(x5 - x17) >= 1; } Constraint e17 { Definition: (x4 - x18)*(x4 - x18) + (x5 - x19)*(x5 - x19) >= 1.44; } Constraint e18 { Definition: (x6 - x8)*(x6 - x8) + (x7 - x9)*(x7 - x9) >= 1; } Constraint e19 { Definition: (x6 - x10)*(x6 - x10) + (x7 - x11)*(x7 - x11) >= 1; } Constraint e20 { Definition: (x6 - x12)*(x6 - x12) + (x7 - x13)*(x7 - x13) >= 1; } Constraint e21 { Definition: (x6 - x14)*(x6 - x14) + (x7 - x15)*(x7 - x15) >= 1; } Constraint e22 { Definition: (x6 - x16)*(x6 - x16) + (x7 - x17)*(x7 - x17) >= 1; } Constraint e23 { Definition: (x6 - x18)*(x6 - x18) + (x7 - x19)*(x7 - x19) >= 1.44; } Constraint e24 { Definition: (x8 - x10)*(x8 - x10) + (x9 - x11)*(x9 - x11) >= 1; } Constraint e25 { Definition: (x8 - x12)*(x8 - x12) + (x9 - x13)*(x9 - x13) >= 1; } Constraint e26 { Definition: (x8 - x14)*(x8 - x14) + (x9 - x15)*(x9 - x15) >= 1; } Constraint e27 { Definition: (x8 - x16)*(x8 - x16) + (x9 - x17)*(x9 - x17) >= 1; } Constraint e28 { Definition: (x8 - x18)*(x8 - x18) + (x9 - x19)*(x9 - x19) >= 1.44; } Constraint e29 { Definition: (x10 - x12)*(x10 - x12) + (x11 - x13)*(x11 - x13) >= 1; } Constraint e30 { Definition: (x10 - x14)*(x10 - x14) + (x11 - x15)*(x11 - x15) >= 1; } Constraint e31 { Definition: (x10 - x16)*(x10 - x16) + (x11 - x17)*(x11 - x17) >= 1; } Constraint e32 { Definition: (x10 - x18)*(x10 - x18) + (x11 - x19)*(x11 - x19) >= 1.44; } Constraint e33 { Definition: (x12 - x14)*(x12 - x14) + (x13 - x15)*(x13 - x15) >= 1; } Constraint e34 { Definition: (x12 - x16)*(x12 - x16) + (x13 - x17)*(x13 - x17) >= 1; } Constraint e35 { Definition: (x12 - x18)*(x12 - x18) + (x13 - x19)*(x13 - x19) >= 1.44; } Constraint e36 { Definition: (x14 - x16)*(x14 - x16) + (x15 - x17)*(x15 - x17) >= 1; } Constraint e37 { Definition: (x14 - x18)*(x14 - x18) + (x15 - x19)*(x15 - x19) >= 1.44; } Constraint e38 { Definition: (x16 - x18)*(x16 - x18) + (x17 - x19)*(x17 - x19) >= 1.44; } Constraint e39 { Definition: x2 - x20 <= -0.5; } Constraint e40 { Definition: x3 - x21 <= -0.5; } Constraint e41 { Definition: x4 - x20 <= -0.5; } Constraint e42 { Definition: x5 - x21 <= -0.5; } Constraint e43 { Definition: x6 - x20 <= -0.5; } Constraint e44 { Definition: x7 - x21 <= -0.5; } Constraint e45 { Definition: x8 - x20 <= -0.5; } Constraint e46 { Definition: x9 - x21 <= -0.5; } Constraint e47 { Definition: x10 - x20 <= -0.5; } Constraint e48 { Definition: x11 - x21 <= -0.5; } Constraint e49 { Definition: x12 - x20 <= -0.5; } Constraint e50 { Definition: x13 - x21 <= -0.5; } Constraint e51 { Definition: x14 - x20 <= -0.5; } Constraint e52 { Definition: x15 - x21 <= -0.5; } Constraint e53 { Definition: x16 - x20 <= -0.5; } Constraint e54 { Definition: x17 - x21 <= -0.5; } Constraint e55 { Definition: x18 - x20 <= -0.7; } Constraint e56 { Definition: x19 - x21 <= -0.7; } Constraint e57 { Definition: x2 <= 4; } Constraint e58 { Definition: x3 <= 1.05; } Constraint e59 { Definition: x2 - x4 <= 0; } Constraint e60 { Definition: x2 - x6 <= 0; } Constraint e61 { Definition: x2 - x8 <= 0; } Constraint e62 { Definition: x2 - x10 <= 0; } Constraint e63 { Definition: x2 - x12 <= 0; } Constraint e64 { Definition: x2 - x14 <= 0; } Constraint e65 { Definition: x2 - x16 <= 0; } Constraint e66 { Definition: x4 - x6 <= 0; } Constraint e67 { Definition: x4 - x8 <= 0; } Constraint e68 { Definition: x4 - x10 <= 0; } Constraint e69 { Definition: x4 - x12 <= 0; } Constraint e70 { Definition: x4 - x14 <= 0; } Constraint e71 { Definition: x4 - x16 <= 0; } Constraint e72 { Definition: x6 - x8 <= 0; } Constraint e73 { Definition: x6 - x10 <= 0; } Constraint e74 { Definition: x6 - x12 <= 0; } Constraint e75 { Definition: x6 - x14 <= 0; } Constraint e76 { Definition: x6 - x16 <= 0; } Constraint e77 { Definition: x8 - x10 <= 0; } Constraint e78 { Definition: x8 - x12 <= 0; } Constraint e79 { Definition: x8 - x14 <= 0; } Constraint e80 { Definition: x8 - x16 <= 0; } Constraint e81 { Definition: x10 - x12 <= 0; } Constraint e82 { Definition: x10 - x14 <= 0; } Constraint e83 { Definition: x10 - x16 <= 0; } Constraint e84 { Definition: x12 - x14 <= 0; } Constraint e85 { Definition: x12 - x16 <= 0; } Constraint e86 { Definition: x14 - x16 <= 0; } Procedure MainInitialization { Body: { x1.lower := 0.49; x1.upper := 16.8; x2.lower := 0.5; x2.upper := 7.5; x3.lower := 0.5; x3.upper := 1.6; x4.lower := 0.5; x4.upper := 7.5; x5.lower := 0.5; x5.upper := 1.6; x6.lower := 0.5; x6.upper := 7.5; x7.lower := 0.5; x7.upper := 1.6; x8.lower := 0.5; x8.upper := 7.5; x9.lower := 0.5; x9.upper := 1.6; x10.lower := 0.5; x10.upper := 7.5; x11.lower := 0.5; x11.upper := 1.6; x12.lower := 0.5; x12.upper := 7.5; x13.lower := 0.5; x13.upper := 1.6; x14.lower := 0.5; x14.upper := 7.5; x15.lower := 0.5; x15.upper := 1.6; x16.lower := 0.5; x16.upper := 7.5; x17.lower := 0.5; x17.upper := 1.6; x18.lower := 0.7; x18.upper := 7.3; x19.lower := 0.7; x19.upper := 1.4; x20.upper := 8; x21.upper := 2.1; objvar.lower := 0; objvar.upper := 16.8; } } MathematicalProgram kall_circles_c8a { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve kall_circles_c8a; } } Procedure MainTermination { Body: { return 1; } } }