## ams_version=1.0 Model Main_pointpack08 { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5 { Range: nonnegative; } Variable x6 { Range: nonnegative; } Variable x7 { Range: nonnegative; } Variable x8 { Range: nonnegative; } Variable x9 { Range: nonnegative; } Variable x10 { Range: nonnegative; } Variable x11 { Range: nonnegative; } Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable x14 { Range: nonnegative; } Variable x15 { Range: nonnegative; } Variable x16 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: 2*x1*x2 - x1*x1 - x2*x2 - x9*x9 + 2*x9*x10 - x10*x10 + objvar <= 0; } Constraint e2 { Definition: 2*x1*x3 - x1*x1 - x3*x3 - x9*x9 + 2*x9*x11 - x11*x11 + objvar <= 0; } Constraint e3 { Definition: 2*x1*x4 - x1*x1 - x4*x4 - x9*x9 + 2*x9*x12 - x12*x12 + objvar <= 0; } Constraint e4 { Definition: 2*x1*x5 - x1*x1 - x5*x5 - x9*x9 + 2*x9*x13 - x13*x13 + objvar <= 0; } Constraint e5 { Definition: 2*x1*x6 - x1*x1 - x6*x6 - x9*x9 + 2*x9*x14 - x14*x14 + objvar <= 0; } Constraint e6 { Definition: 2*x1*x7 - x1*x1 - x7*x7 - x9*x9 + 2*x9*x15 - x15*x15 + objvar <= 0; } Constraint e7 { Definition: 2*x1*x8 - x1*x1 - x8*x8 - x9*x9 + 2*x9*x16 - x16*x16 + objvar <= 0; } Constraint e8 { Definition: 2*x2*x3 - x2*x2 - x3*x3 - x10*x10 + 2*x10*x11 - x11*x11 + objvar <= 0; } Constraint e9 { Definition: 2*x2*x4 - x2*x2 - x4*x4 - x10*x10 + 2*x10*x12 - x12*x12 + objvar <= 0; } Constraint e10 { Definition: 2*x2*x5 - x2*x2 - x5*x5 - x10*x10 + 2*x10*x13 - x13*x13 + objvar <= 0; } Constraint e11 { Definition: 2*x2*x6 - x2*x2 - x6*x6 - x10*x10 + 2*x10*x14 - x14*x14 + objvar <= 0; } Constraint e12 { Definition: 2*x2*x7 - x2*x2 - x7*x7 - x10*x10 + 2*x10*x15 - x15*x15 + objvar <= 0; } Constraint e13 { Definition: 2*x2*x8 - x2*x2 - x8*x8 - x10*x10 + 2*x10*x16 - x16*x16 + objvar <= 0; } Constraint e14 { Definition: 2*x3*x4 - x3*x3 - x4*x4 - x11*x11 + 2*x11*x12 - x12*x12 + objvar <= 0; } Constraint e15 { Definition: 2*x3*x5 - x3*x3 - x5*x5 - x11*x11 + 2*x11*x13 - x13*x13 + objvar <= 0; } Constraint e16 { Definition: 2*x3*x6 - x3*x3 - x6*x6 - x11*x11 + 2*x11*x14 - x14*x14 + objvar <= 0; } Constraint e17 { Definition: 2*x3*x7 - x3*x3 - x7*x7 - x11*x11 + 2*x11*x15 - x15*x15 + objvar <= 0; } Constraint e18 { Definition: 2*x3*x8 - x3*x3 - x8*x8 - x11*x11 + 2*x11*x16 - x16*x16 + objvar <= 0; } Constraint e19 { Definition: 2*x4*x5 - x4*x4 - x5*x5 - x12*x12 + 2*x12*x13 - x13*x13 + objvar <= 0; } Constraint e20 { Definition: 2*x4*x6 - x4*x4 - x6*x6 - x12*x12 + 2*x12*x14 - x14*x14 + objvar <= 0; } Constraint e21 { Definition: 2*x4*x7 - x4*x4 - x7*x7 - x12*x12 + 2*x12*x15 - x15*x15 + objvar <= 0; } Constraint e22 { Definition: 2*x4*x8 - x4*x4 - x8*x8 - x12*x12 + 2*x12*x16 - x16*x16 + objvar <= 0; } Constraint e23 { Definition: 2*x5*x6 - x5*x5 - x6*x6 - x13*x13 + 2*x13*x14 - x14*x14 + objvar <= 0; } Constraint e24 { Definition: 2*x5*x7 - x5*x5 - x7*x7 - x13*x13 + 2*x13*x15 - x15*x15 + objvar <= 0; } Constraint e25 { Definition: 2*x5*x8 - x5*x5 - x8*x8 - x13*x13 + 2*x13*x16 - x16*x16 + objvar <= 0; } Constraint e26 { Definition: 2*x6*x7 - x6*x6 - x7*x7 - x14*x14 + 2*x14*x15 - x15*x15 + objvar <= 0; } Constraint e27 { Definition: 2*x6*x8 - x6*x6 - x8*x8 - x14*x14 + 2*x14*x16 - x16*x16 + objvar <= 0; } Constraint e28 { Definition: 2*x7*x8 - x7*x7 - x8*x8 - x15*x15 + 2*x15*x16 - x16*x16 + objvar <= 0; } Constraint e29 { Definition: - x9 + x10 <= 0; } Constraint e30 { Definition: - x1 + x2 <= 0; } Constraint e31 { Definition: - x2 + x3 <= 0; } Constraint e32 { Definition: - x3 + x4 <= 0; } Constraint e33 { Definition: - x4 + x5 <= 0; } Constraint e34 { Definition: - x5 + x6 <= 0; } Constraint e35 { Definition: - x6 + x7 <= 0; } Constraint e36 { Definition: - x7 + x8 <= 0; } Procedure MainInitialization { Body: { x1.lower := 0.5; x1.upper := 1; x2.lower := 0.5; x2.upper := 1; x3.lower := 0.5; x3.upper := 1; x4.lower := 0.5; x4.upper := 1; x5.upper := 1; x6.upper := 1; x7.upper := 1; x8.upper := 1; x9.upper := 1; x10.upper := 1; x11.upper := 1; x12.upper := 1; x13.upper := 1; x14.upper := 1; x15.upper := 1; x16.upper := 1; } } MathematicalProgram pointpack08 { Objective: objvar; Direction: maximize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve pointpack08; } } Procedure MainTermination { Body: { return 1; } } }