## ams_version=1.0 Model Main_pointpack14 { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; 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 x17 { Range: nonnegative; } Variable x18 { Range: nonnegative; } Variable x19 { Range: nonnegative; } Variable x20 { Range: nonnegative; } Variable x21 { Range: nonnegative; } Variable x22 { Range: nonnegative; } Variable x23 { Range: nonnegative; } Variable x24 { Range: nonnegative; } Variable x25 { Range: nonnegative; } Variable x26 { Range: nonnegative; } Variable x27 { Range: nonnegative; } Variable x28 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: 2*x1*x2 - x1*x1 - x2*x2 - x15*x15 + 2*x15*x16 - x16*x16 + objvar <= 0; } Constraint e2 { Definition: 2*x1*x3 - x1*x1 - x3*x3 - x15*x15 + 2*x15*x17 - x17*x17 + objvar <= 0; } Constraint e3 { Definition: 2*x1*x4 - x1*x1 - x4*x4 - x15*x15 + 2*x15*x18 - x18*x18 + objvar <= 0; } Constraint e4 { Definition: 2*x1*x5 - x1*x1 - x5*x5 - x15*x15 + 2*x15*x19 - x19*x19 + objvar <= 0; } Constraint e5 { Definition: 2*x1*x6 - x1*x1 - x6*x6 - x15*x15 + 2*x15*x20 - x20*x20 + objvar <= 0; } Constraint e6 { Definition: 2*x1*x7 - x1*x1 - x7*x7 - x15*x15 + 2*x15*x21 - x21*x21 + objvar <= 0; } Constraint e7 { Definition: 2*x1*x8 - x1*x1 - x8*x8 - x15*x15 + 2*x15*x22 - x22*x22 + objvar <= 0; } Constraint e8 { Definition: 2*x1*x9 - x1*x1 - x9*x9 - x15*x15 + 2*x15*x23 - x23*x23 + objvar <= 0; } Constraint e9 { Definition: 2*x1*x10 - x1*x1 - x10*x10 - x15*x15 + 2*x15*x24 - x24*x24 + objvar <= 0; } Constraint e10 { Definition: { 2*x1*x11 - x1*x1 - x11*x11 - x15*x15 + 2*x15*x25 - x25*x25 + objvar <= 0 } } Constraint e11 { Definition: { 2*x1*x12 - x1*x1 - x12*x12 - x15*x15 + 2*x15*x26 - x26*x26 + objvar <= 0 } } Constraint e12 { Definition: { 2*x1*x13 - x1*x1 - x13*x13 - x15*x15 + 2*x15*x27 - x27*x27 + objvar <= 0 } } Constraint e13 { Definition: { 2*x1*x14 - x1*x1 - x14*x14 - x15*x15 + 2*x15*x28 - x28*x28 + objvar <= 0 } } Constraint e14 { Definition: 2*x2*x3 - x2*x2 - x3*x3 - x16*x16 + 2*x16*x17 - x17*x17 + objvar <= 0; } Constraint e15 { Definition: 2*x2*x4 - x2*x2 - x4*x4 - x16*x16 + 2*x16*x18 - x18*x18 + objvar <= 0; } Constraint e16 { Definition: 2*x2*x5 - x2*x2 - x5*x5 - x16*x16 + 2*x16*x19 - x19*x19 + objvar <= 0; } Constraint e17 { Definition: 2*x2*x6 - x2*x2 - x6*x6 - x16*x16 + 2*x16*x20 - x20*x20 + objvar <= 0; } Constraint e18 { Definition: 2*x2*x7 - x2*x2 - x7*x7 - x16*x16 + 2*x16*x21 - x21*x21 + objvar <= 0; } Constraint e19 { Definition: 2*x2*x8 - x2*x2 - x8*x8 - x16*x16 + 2*x16*x22 - x22*x22 + objvar <= 0; } Constraint e20 { Definition: 2*x2*x9 - x2*x2 - x9*x9 - x16*x16 + 2*x16*x23 - x23*x23 + objvar <= 0; } Constraint e21 { Definition: { 2*x2*x10 - x2*x2 - x10*x10 - x16*x16 + 2*x16*x24 - x24*x24 + objvar <= 0 } } Constraint e22 { Definition: { 2*x2*x11 - x2*x2 - x11*x11 - x16*x16 + 2*x16*x25 - x25*x25 + objvar <= 0 } } Constraint e23 { Definition: { 2*x2*x12 - x2*x2 - x12*x12 - x16*x16 + 2*x16*x26 - x26*x26 + objvar <= 0 } } Constraint e24 { Definition: { 2*x2*x13 - x2*x2 - x13*x13 - x16*x16 + 2*x16*x27 - x27*x27 + objvar <= 0 } } Constraint e25 { Definition: { 2*x2*x14 - x2*x2 - x14*x14 - x16*x16 + 2*x16*x28 - x28*x28 + objvar <= 0 } } Constraint e26 { Definition: 2*x3*x4 - x3*x3 - x4*x4 - x17*x17 + 2*x17*x18 - x18*x18 + objvar <= 0; } Constraint e27 { Definition: 2*x3*x5 - x3*x3 - x5*x5 - x17*x17 + 2*x17*x19 - x19*x19 + objvar <= 0; } Constraint e28 { Definition: 2*x3*x6 - x3*x3 - x6*x6 - x17*x17 + 2*x17*x20 - x20*x20 + objvar <= 0; } Constraint e29 { Definition: 2*x3*x7 - x3*x3 - x7*x7 - x17*x17 + 2*x17*x21 - x21*x21 + objvar <= 0; } Constraint e30 { Definition: 2*x3*x8 - x3*x3 - x8*x8 - x17*x17 + 2*x17*x22 - x22*x22 + objvar <= 0; } Constraint e31 { Definition: 2*x3*x9 - x3*x3 - x9*x9 - x17*x17 + 2*x17*x23 - x23*x23 + objvar <= 0; } Constraint e32 { Definition: { 2*x3*x10 - x3*x3 - x10*x10 - x17*x17 + 2*x17*x24 - x24*x24 + objvar <= 0 } } Constraint e33 { Definition: { 2*x3*x11 - x3*x3 - x11*x11 - x17*x17 + 2*x17*x25 - x25*x25 + objvar <= 0 } } Constraint e34 { Definition: { 2*x3*x12 - x3*x3 - x12*x12 - x17*x17 + 2*x17*x26 - x26*x26 + objvar <= 0 } } Constraint e35 { Definition: { 2*x3*x13 - x3*x3 - x13*x13 - x17*x17 + 2*x17*x27 - x27*x27 + objvar <= 0 } } Constraint e36 { Definition: { 2*x3*x14 - x3*x3 - x14*x14 - x17*x17 + 2*x17*x28 - x28*x28 + objvar <= 0 } } Constraint e37 { Definition: 2*x4*x5 - x4*x4 - x5*x5 - x18*x18 + 2*x18*x19 - x19*x19 + objvar <= 0; } Constraint e38 { Definition: 2*x4*x6 - x4*x4 - x6*x6 - x18*x18 + 2*x18*x20 - x20*x20 + objvar <= 0; } Constraint e39 { Definition: 2*x4*x7 - x4*x4 - x7*x7 - x18*x18 + 2*x18*x21 - x21*x21 + objvar <= 0; } Constraint e40 { Definition: 2*x4*x8 - x4*x4 - x8*x8 - x18*x18 + 2*x18*x22 - x22*x22 + objvar <= 0; } Constraint e41 { Definition: 2*x4*x9 - x4*x4 - x9*x9 - x18*x18 + 2*x18*x23 - x23*x23 + objvar <= 0; } Constraint e42 { Definition: { 2*x4*x10 - x4*x4 - x10*x10 - x18*x18 + 2*x18*x24 - x24*x24 + objvar <= 0 } } Constraint e43 { Definition: { 2*x4*x11 - x4*x4 - x11*x11 - x18*x18 + 2*x18*x25 - x25*x25 + objvar <= 0 } } Constraint e44 { Definition: { 2*x4*x12 - x4*x4 - x12*x12 - x18*x18 + 2*x18*x26 - x26*x26 + objvar <= 0 } } Constraint e45 { Definition: { 2*x4*x13 - x4*x4 - x13*x13 - x18*x18 + 2*x18*x27 - x27*x27 + objvar <= 0 } } Constraint e46 { Definition: { 2*x4*x14 - x4*x4 - x14*x14 - x18*x18 + 2*x18*x28 - x28*x28 + objvar <= 0 } } Constraint e47 { Definition: 2*x5*x6 - x5*x5 - x6*x6 - x19*x19 + 2*x19*x20 - x20*x20 + objvar <= 0; } Constraint e48 { Definition: 2*x5*x7 - x5*x5 - x7*x7 - x19*x19 + 2*x19*x21 - x21*x21 + objvar <= 0; } Constraint e49 { Definition: 2*x5*x8 - x5*x5 - x8*x8 - x19*x19 + 2*x19*x22 - x22*x22 + objvar <= 0; } Constraint e50 { Definition: 2*x5*x9 - x5*x5 - x9*x9 - x19*x19 + 2*x19*x23 - x23*x23 + objvar <= 0; } Constraint e51 { Definition: { 2*x5*x10 - x5*x5 - x10*x10 - x19*x19 + 2*x19*x24 - x24*x24 + objvar <= 0 } } Constraint e52 { Definition: { 2*x5*x11 - x5*x5 - x11*x11 - x19*x19 + 2*x19*x25 - x25*x25 + objvar <= 0 } } Constraint e53 { Definition: { 2*x5*x12 - x5*x5 - x12*x12 - x19*x19 + 2*x19*x26 - x26*x26 + objvar <= 0 } } Constraint e54 { Definition: { 2*x5*x13 - x5*x5 - x13*x13 - x19*x19 + 2*x19*x27 - x27*x27 + objvar <= 0 } } Constraint e55 { Definition: { 2*x5*x14 - x5*x5 - x14*x14 - x19*x19 + 2*x19*x28 - x28*x28 + objvar <= 0 } } Constraint e56 { Definition: 2*x6*x7 - x6*x6 - x7*x7 - x20*x20 + 2*x20*x21 - x21*x21 + objvar <= 0; } Constraint e57 { Definition: 2*x6*x8 - x6*x6 - x8*x8 - x20*x20 + 2*x20*x22 - x22*x22 + objvar <= 0; } Constraint e58 { Definition: 2*x6*x9 - x6*x6 - x9*x9 - x20*x20 + 2*x20*x23 - x23*x23 + objvar <= 0; } Constraint e59 { Definition: { 2*x6*x10 - x6*x6 - x10*x10 - x20*x20 + 2*x20*x24 - x24*x24 + objvar <= 0 } } Constraint e60 { Definition: { 2*x6*x11 - x6*x6 - x11*x11 - x20*x20 + 2*x20*x25 - x25*x25 + objvar <= 0 } } Constraint e61 { Definition: { 2*x6*x12 - x6*x6 - x12*x12 - x20*x20 + 2*x20*x26 - x26*x26 + objvar <= 0 } } Constraint e62 { Definition: { 2*x6*x13 - x6*x6 - x13*x13 - x20*x20 + 2*x20*x27 - x27*x27 + objvar <= 0 } } Constraint e63 { Definition: { 2*x6*x14 - x6*x6 - x14*x14 - x20*x20 + 2*x20*x28 - x28*x28 + objvar <= 0 } } Constraint e64 { Definition: 2*x7*x8 - x7*x7 - x8*x8 - x21*x21 + 2*x21*x22 - x22*x22 + objvar <= 0; } Constraint e65 { Definition: 2*x7*x9 - x7*x7 - x9*x9 - x21*x21 + 2*x21*x23 - x23*x23 + objvar <= 0; } Constraint e66 { Definition: { 2*x7*x10 - x7*x7 - x10*x10 - x21*x21 + 2*x21*x24 - x24*x24 + objvar <= 0 } } Constraint e67 { Definition: { 2*x7*x11 - x7*x7 - x11*x11 - x21*x21 + 2*x21*x25 - x25*x25 + objvar <= 0 } } Constraint e68 { Definition: { 2*x7*x12 - x7*x7 - x12*x12 - x21*x21 + 2*x21*x26 - x26*x26 + objvar <= 0 } } Constraint e69 { Definition: { 2*x7*x13 - x7*x7 - x13*x13 - x21*x21 + 2*x21*x27 - x27*x27 + objvar <= 0 } } Constraint e70 { Definition: { 2*x7*x14 - x7*x7 - x14*x14 - x21*x21 + 2*x21*x28 - x28*x28 + objvar <= 0 } } Constraint e71 { Definition: 2*x8*x9 - x8*x8 - x9*x9 - x22*x22 + 2*x22*x23 - x23*x23 + objvar <= 0; } Constraint e72 { Definition: { 2*x8*x10 - x8*x8 - x10*x10 - x22*x22 + 2*x22*x24 - x24*x24 + objvar <= 0 } } Constraint e73 { Definition: { 2*x8*x11 - x8*x8 - x11*x11 - x22*x22 + 2*x22*x25 - x25*x25 + objvar <= 0 } } Constraint e74 { Definition: { 2*x8*x12 - x8*x8 - x12*x12 - x22*x22 + 2*x22*x26 - x26*x26 + objvar <= 0 } } Constraint e75 { Definition: { 2*x8*x13 - x8*x8 - x13*x13 - x22*x22 + 2*x22*x27 - x27*x27 + objvar <= 0 } } Constraint e76 { Definition: { 2*x8*x14 - x8*x8 - x14*x14 - x22*x22 + 2*x22*x28 - x28*x28 + objvar <= 0 } } Constraint e77 { Definition: { 2*x9*x10 - x9*x9 - x10*x10 - x23*x23 + 2*x23*x24 - x24*x24 + objvar <= 0 } } Constraint e78 { Definition: { 2*x9*x11 - x9*x9 - x11*x11 - x23*x23 + 2*x23*x25 - x25*x25 + objvar <= 0 } } Constraint e79 { Definition: { 2*x9*x12 - x9*x9 - x12*x12 - x23*x23 + 2*x23*x26 - x26*x26 + objvar <= 0 } } Constraint e80 { Definition: { 2*x9*x13 - x9*x9 - x13*x13 - x23*x23 + 2*x23*x27 - x27*x27 + objvar <= 0 } } Constraint e81 { Definition: { 2*x9*x14 - x9*x9 - x14*x14 - x23*x23 + 2*x23*x28 - x28*x28 + objvar <= 0 } } Constraint e82 { Definition: { 2*x10*x11 - x10*x10 - x11*x11 - x24*x24 + 2*x24*x25 - x25*x25 + objvar <= 0 } } Constraint e83 { Definition: { 2*x10*x12 - x10*x10 - x12*x12 - x24*x24 + 2*x24*x26 - x26*x26 + objvar <= 0 } } Constraint e84 { Definition: { 2*x10*x13 - x10*x10 - x13*x13 - x24*x24 + 2*x24*x27 - x27*x27 + objvar <= 0 } } Constraint e85 { Definition: { 2*x10*x14 - x10*x10 - x14*x14 - x24*x24 + 2*x24*x28 - x28*x28 + objvar <= 0 } } Constraint e86 { Definition: { 2*x11*x12 - x11*x11 - x12*x12 - x25*x25 + 2*x25*x26 - x26*x26 + objvar <= 0 } } Constraint e87 { Definition: { 2*x11*x13 - x11*x11 - x13*x13 - x25*x25 + 2*x25*x27 - x27*x27 + objvar <= 0 } } Constraint e88 { Definition: { 2*x11*x14 - x11*x11 - x14*x14 - x25*x25 + 2*x25*x28 - x28*x28 + objvar <= 0 } } Constraint e89 { Definition: { 2*x12*x13 - x12*x12 - x13*x13 - x26*x26 + 2*x26*x27 - x27*x27 + objvar <= 0 } } Constraint e90 { Definition: { 2*x12*x14 - x12*x12 - x14*x14 - x26*x26 + 2*x26*x28 - x28*x28 + objvar <= 0 } } Constraint e91 { Definition: { 2*x13*x14 - x13*x13 - x14*x14 - x27*x27 + 2*x27*x28 - x28*x28 + objvar <= 0 } } Constraint e92 { Definition: - x15 + x16 <= 0; } Constraint e93 { Definition: - x1 + x2 <= 0; } Constraint e94 { Definition: - x2 + x3 <= 0; } Constraint e95 { Definition: - x3 + x4 <= 0; } Constraint e96 { Definition: - x4 + x5 <= 0; } Constraint e97 { Definition: - x5 + x6 <= 0; } Constraint e98 { Definition: - x6 + x7 <= 0; } Constraint e99 { Definition: - x7 + x8 <= 0; } Constraint e100 { Definition: - x8 + x9 <= 0; } Constraint e101 { Definition: - x9 + x10 <= 0; } Constraint e102 { Definition: - x10 + x11 <= 0; } Constraint e103 { Definition: - x11 + x12 <= 0; } Constraint e104 { Definition: - x12 + x13 <= 0; } Constraint e105 { Definition: - x13 + x14 <= 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.lower := 0.5; x5.upper := 1; x6.lower := 0.5; x6.upper := 1; x7.lower := 0.5; 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; x17.upper := 1; x18.upper := 1; x19.upper := 1; x20.upper := 1; x21.upper := 1; x22.upper := 1; x23.upper := 1; x24.upper := 1; x25.upper := 1; x26.upper := 1; x27.upper := 1; x28.upper := 1; } } MathematicalProgram pointpack14 { Objective: objvar; Direction: maximize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve pointpack14; } } Procedure MainTermination { Body: { return 1; } } }