## ams_version=1.0 Model Main_polygon25 { Variable x1 { Range: nonnegative; } Variable x2 { Range: nonnegative; } Variable x3 { Range: nonnegative; } Variable x4 { Range: nonnegative; } 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 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; Variable x26 { Range: nonnegative; } Variable x27 { Range: nonnegative; } Variable x28 { Range: nonnegative; } Variable x29 { Range: nonnegative; } Variable x30 { Range: nonnegative; } Variable x31 { Range: nonnegative; } Variable x32 { Range: nonnegative; } Variable x33 { Range: nonnegative; } Variable x34 { Range: nonnegative; } Variable x35 { Range: nonnegative; } Variable x36 { Range: nonnegative; } Variable x37 { Range: nonnegative; } Variable x38 { Range: nonnegative; } Variable x39 { Range: nonnegative; } Variable x40 { Range: nonnegative; } Variable x41 { Range: nonnegative; } Variable x42 { Range: nonnegative; } Variable x43 { Range: nonnegative; } Variable x44 { Range: nonnegative; } Variable x45 { Range: nonnegative; } Variable x46 { Range: nonnegative; } Variable x47 { Range: nonnegative; } Variable x48 { Range: nonnegative; } Variable x49 { Range: nonnegative; } Variable x50; Variable objvar; Constraint e1 { Definition: { -0.5*(x2*x1*sin(x27 - x26) + x3*x2*sin(x28 - x27) + x4*x3*sin(x29 - x28) + x5*x4*sin(x30 - x29) + x6*x5*sin(x31 - x30) + x7*x6*sin(x32 - x31) + x8 *x7*sin(x33 - x32) + x9*x8*sin(x34 - x33) + x10*x9*sin(x35 - x34) + x11* x10*sin(x36 - x35) + x12*x11*sin(x37 - x36) + x13*x12*sin(x38 - x37) + x14 *x13*sin(x39 - x38) + x15*x14*sin(x40 - x39) + x16*x15*sin(x41 - x40) + x17*x16*sin(x42 - x41) + x18*x17*sin(x43 - x42) + x19*x18*sin(x44 - x43) + x20*x19*sin(x45 - x44) + x21*x20*sin(x46 - x45) + x22*x21*sin(x47 - x46 ) + x23*x22*sin(x48 - x47) + x24*x23*sin(x49 - x48) + x25*x24*sin(x50 - x49)) - objvar = 0 } } Constraint e2 { Definition: sqr(x1) + sqr(x2) - 2*x1*x2*cos(x27 - x26) <= 1; } Constraint e3 { Definition: sqr(x1) + sqr(x3) - 2*x1*x3*cos(x28 - x26) <= 1; } Constraint e4 { Definition: sqr(x1) + sqr(x4) - 2*x1*x4*cos(x29 - x26) <= 1; } Constraint e5 { Definition: sqr(x1) + sqr(x5) - 2*x1*x5*cos(x30 - x26) <= 1; } Constraint e6 { Definition: sqr(x1) + sqr(x6) - 2*x1*x6*cos(x31 - x26) <= 1; } Constraint e7 { Definition: sqr(x1) + sqr(x7) - 2*x1*x7*cos(x32 - x26) <= 1; } Constraint e8 { Definition: sqr(x1) + sqr(x8) - 2*x1*x8*cos(x33 - x26) <= 1; } Constraint e9 { Definition: sqr(x1) + sqr(x9) - 2*x1*x9*cos(x34 - x26) <= 1; } Constraint e10 { Definition: sqr(x1) + sqr(x10) - 2*x1*x10*cos(x35 - x26) <= 1; } Constraint e11 { Definition: sqr(x1) + sqr(x11) - 2*x1*x11*cos(x36 - x26) <= 1; } Constraint e12 { Definition: sqr(x1) + sqr(x12) - 2*x1*x12*cos(x37 - x26) <= 1; } Constraint e13 { Definition: sqr(x1) + sqr(x13) - 2*x1*x13*cos(x38 - x26) <= 1; } Constraint e14 { Definition: sqr(x1) + sqr(x14) - 2*x1*x14*cos(x39 - x26) <= 1; } Constraint e15 { Definition: sqr(x1) + sqr(x15) - 2*x1*x15*cos(x40 - x26) <= 1; } Constraint e16 { Definition: sqr(x1) + sqr(x16) - 2*x1*x16*cos(x41 - x26) <= 1; } Constraint e17 { Definition: sqr(x1) + sqr(x17) - 2*x1*x17*cos(x42 - x26) <= 1; } Constraint e18 { Definition: sqr(x1) + sqr(x18) - 2*x1*x18*cos(x43 - x26) <= 1; } Constraint e19 { Definition: sqr(x1) + sqr(x19) - 2*x1*x19*cos(x44 - x26) <= 1; } Constraint e20 { Definition: sqr(x1) + sqr(x20) - 2*x1*x20*cos(x45 - x26) <= 1; } Constraint e21 { Definition: sqr(x1) + sqr(x21) - 2*x1*x21*cos(x46 - x26) <= 1; } Constraint e22 { Definition: sqr(x1) + sqr(x22) - 2*x1*x22*cos(x47 - x26) <= 1; } Constraint e23 { Definition: sqr(x1) + sqr(x23) - 2*x1*x23*cos(x48 - x26) <= 1; } Constraint e24 { Definition: sqr(x1) + sqr(x24) - 2*x1*x24*cos(x49 - x26) <= 1; } Constraint e25 { Definition: sqr(x1) + sqr(x25) - 2*x1*x25*cos(x50 - x26) <= 1; } Constraint e26 { Definition: sqr(x2) + sqr(x3) - 2*x2*x3*cos(x28 - x27) <= 1; } Constraint e27 { Definition: sqr(x2) + sqr(x4) - 2*x2*x4*cos(x29 - x27) <= 1; } Constraint e28 { Definition: sqr(x2) + sqr(x5) - 2*x2*x5*cos(x30 - x27) <= 1; } Constraint e29 { Definition: sqr(x2) + sqr(x6) - 2*x2*x6*cos(x31 - x27) <= 1; } Constraint e30 { Definition: sqr(x2) + sqr(x7) - 2*x2*x7*cos(x32 - x27) <= 1; } Constraint e31 { Definition: sqr(x2) + sqr(x8) - 2*x2*x8*cos(x33 - x27) <= 1; } Constraint e32 { Definition: sqr(x2) + sqr(x9) - 2*x2*x9*cos(x34 - x27) <= 1; } Constraint e33 { Definition: sqr(x2) + sqr(x10) - 2*x2*x10*cos(x35 - x27) <= 1; } Constraint e34 { Definition: sqr(x2) + sqr(x11) - 2*x2*x11*cos(x36 - x27) <= 1; } Constraint e35 { Definition: sqr(x2) + sqr(x12) - 2*x2*x12*cos(x37 - x27) <= 1; } Constraint e36 { Definition: sqr(x2) + sqr(x13) - 2*x2*x13*cos(x38 - x27) <= 1; } Constraint e37 { Definition: sqr(x2) + sqr(x14) - 2*x2*x14*cos(x39 - x27) <= 1; } Constraint e38 { Definition: sqr(x2) + sqr(x15) - 2*x2*x15*cos(x40 - x27) <= 1; } Constraint e39 { Definition: sqr(x2) + sqr(x16) - 2*x2*x16*cos(x41 - x27) <= 1; } Constraint e40 { Definition: sqr(x2) + sqr(x17) - 2*x2*x17*cos(x42 - x27) <= 1; } Constraint e41 { Definition: sqr(x2) + sqr(x18) - 2*x2*x18*cos(x43 - x27) <= 1; } Constraint e42 { Definition: sqr(x2) + sqr(x19) - 2*x2*x19*cos(x44 - x27) <= 1; } Constraint e43 { Definition: sqr(x2) + sqr(x20) - 2*x2*x20*cos(x45 - x27) <= 1; } Constraint e44 { Definition: sqr(x2) + sqr(x21) - 2*x2*x21*cos(x46 - x27) <= 1; } Constraint e45 { Definition: sqr(x2) + sqr(x22) - 2*x2*x22*cos(x47 - x27) <= 1; } Constraint e46 { Definition: sqr(x2) + sqr(x23) - 2*x2*x23*cos(x48 - x27) <= 1; } Constraint e47 { Definition: sqr(x2) + sqr(x24) - 2*x2*x24*cos(x49 - x27) <= 1; } Constraint e48 { Definition: sqr(x2) + sqr(x25) - 2*x2*x25*cos(x50 - x27) <= 1; } Constraint e49 { Definition: sqr(x3) + sqr(x4) - 2*x3*x4*cos(x29 - x28) <= 1; } Constraint e50 { Definition: sqr(x3) + sqr(x5) - 2*x3*x5*cos(x30 - x28) <= 1; } Constraint e51 { Definition: sqr(x3) + sqr(x6) - 2*x3*x6*cos(x31 - x28) <= 1; } Constraint e52 { Definition: sqr(x3) + sqr(x7) - 2*x3*x7*cos(x32 - x28) <= 1; } Constraint e53 { Definition: sqr(x3) + sqr(x8) - 2*x3*x8*cos(x33 - x28) <= 1; } Constraint e54 { Definition: sqr(x3) + sqr(x9) - 2*x3*x9*cos(x34 - x28) <= 1; } Constraint e55 { Definition: sqr(x3) + sqr(x10) - 2*x3*x10*cos(x35 - x28) <= 1; } Constraint e56 { Definition: sqr(x3) + sqr(x11) - 2*x3*x11*cos(x36 - x28) <= 1; } Constraint e57 { Definition: sqr(x3) + sqr(x12) - 2*x3*x12*cos(x37 - x28) <= 1; } Constraint e58 { Definition: sqr(x3) + sqr(x13) - 2*x3*x13*cos(x38 - x28) <= 1; } Constraint e59 { Definition: sqr(x3) + sqr(x14) - 2*x3*x14*cos(x39 - x28) <= 1; } Constraint e60 { Definition: sqr(x3) + sqr(x15) - 2*x3*x15*cos(x40 - x28) <= 1; } Constraint e61 { Definition: sqr(x3) + sqr(x16) - 2*x3*x16*cos(x41 - x28) <= 1; } Constraint e62 { Definition: sqr(x3) + sqr(x17) - 2*x3*x17*cos(x42 - x28) <= 1; } Constraint e63 { Definition: sqr(x3) + sqr(x18) - 2*x3*x18*cos(x43 - x28) <= 1; } Constraint e64 { Definition: sqr(x3) + sqr(x19) - 2*x3*x19*cos(x44 - x28) <= 1; } Constraint e65 { Definition: sqr(x3) + sqr(x20) - 2*x3*x20*cos(x45 - x28) <= 1; } Constraint e66 { Definition: sqr(x3) + sqr(x21) - 2*x3*x21*cos(x46 - x28) <= 1; } Constraint e67 { Definition: sqr(x3) + sqr(x22) - 2*x3*x22*cos(x47 - x28) <= 1; } Constraint e68 { Definition: sqr(x3) + sqr(x23) - 2*x3*x23*cos(x48 - x28) <= 1; } Constraint e69 { Definition: sqr(x3) + sqr(x24) - 2*x3*x24*cos(x49 - x28) <= 1; } Constraint e70 { Definition: sqr(x3) + sqr(x25) - 2*x3*x25*cos(x50 - x28) <= 1; } Constraint e71 { Definition: sqr(x4) + sqr(x5) - 2*x4*x5*cos(x30 - x29) <= 1; } Constraint e72 { Definition: sqr(x4) + sqr(x6) - 2*x4*x6*cos(x31 - x29) <= 1; } Constraint e73 { Definition: sqr(x4) + sqr(x7) - 2*x4*x7*cos(x32 - x29) <= 1; } Constraint e74 { Definition: sqr(x4) + sqr(x8) - 2*x4*x8*cos(x33 - x29) <= 1; } Constraint e75 { Definition: sqr(x4) + sqr(x9) - 2*x4*x9*cos(x34 - x29) <= 1; } Constraint e76 { Definition: sqr(x4) + sqr(x10) - 2*x4*x10*cos(x35 - x29) <= 1; } Constraint e77 { Definition: sqr(x4) + sqr(x11) - 2*x4*x11*cos(x36 - x29) <= 1; } Constraint e78 { Definition: sqr(x4) + sqr(x12) - 2*x4*x12*cos(x37 - x29) <= 1; } Constraint e79 { Definition: sqr(x4) + sqr(x13) - 2*x4*x13*cos(x38 - x29) <= 1; } Constraint e80 { Definition: sqr(x4) + sqr(x14) - 2*x4*x14*cos(x39 - x29) <= 1; } Constraint e81 { Definition: sqr(x4) + sqr(x15) - 2*x4*x15*cos(x40 - x29) <= 1; } Constraint e82 { Definition: sqr(x4) + sqr(x16) - 2*x4*x16*cos(x41 - x29) <= 1; } Constraint e83 { Definition: sqr(x4) + sqr(x17) - 2*x4*x17*cos(x42 - x29) <= 1; } Constraint e84 { Definition: sqr(x4) + sqr(x18) - 2*x4*x18*cos(x43 - x29) <= 1; } Constraint e85 { Definition: sqr(x4) + sqr(x19) - 2*x4*x19*cos(x44 - x29) <= 1; } Constraint e86 { Definition: sqr(x4) + sqr(x20) - 2*x4*x20*cos(x45 - x29) <= 1; } Constraint e87 { Definition: sqr(x4) + sqr(x21) - 2*x4*x21*cos(x46 - x29) <= 1; } Constraint e88 { Definition: sqr(x4) + sqr(x22) - 2*x4*x22*cos(x47 - x29) <= 1; } Constraint e89 { Definition: sqr(x4) + sqr(x23) - 2*x4*x23*cos(x48 - x29) <= 1; } Constraint e90 { Definition: sqr(x4) + sqr(x24) - 2*x4*x24*cos(x49 - x29) <= 1; } Constraint e91 { Definition: sqr(x4) + sqr(x25) - 2*x4*x25*cos(x50 - x29) <= 1; } Constraint e92 { Definition: sqr(x5) + sqr(x6) - 2*x5*x6*cos(x31 - x30) <= 1; } Constraint e93 { Definition: sqr(x5) + sqr(x7) - 2*x5*x7*cos(x32 - x30) <= 1; } Constraint e94 { Definition: sqr(x5) + sqr(x8) - 2*x5*x8*cos(x33 - x30) <= 1; } Constraint e95 { Definition: sqr(x5) + sqr(x9) - 2*x5*x9*cos(x34 - x30) <= 1; } Constraint e96 { Definition: sqr(x5) + sqr(x10) - 2*x5*x10*cos(x35 - x30) <= 1; } Constraint e97 { Definition: sqr(x5) + sqr(x11) - 2*x5*x11*cos(x36 - x30) <= 1; } Constraint e98 { Definition: sqr(x5) + sqr(x12) - 2*x5*x12*cos(x37 - x30) <= 1; } Constraint e99 { Definition: sqr(x5) + sqr(x13) - 2*x5*x13*cos(x38 - x30) <= 1; } Constraint e100 { Definition: sqr(x5) + sqr(x14) - 2*x5*x14*cos(x39 - x30) <= 1; } Constraint e101 { Definition: sqr(x5) + sqr(x15) - 2*x5*x15*cos(x40 - x30) <= 1; } Constraint e102 { Definition: sqr(x5) + sqr(x16) - 2*x5*x16*cos(x41 - x30) <= 1; } Constraint e103 { Definition: sqr(x5) + sqr(x17) - 2*x5*x17*cos(x42 - x30) <= 1; } Constraint e104 { Definition: sqr(x5) + sqr(x18) - 2*x5*x18*cos(x43 - x30) <= 1; } Constraint e105 { Definition: sqr(x5) + sqr(x19) - 2*x5*x19*cos(x44 - x30) <= 1; } Constraint e106 { Definition: sqr(x5) + sqr(x20) - 2*x5*x20*cos(x45 - x30) <= 1; } Constraint e107 { Definition: sqr(x5) + sqr(x21) - 2*x5*x21*cos(x46 - x30) <= 1; } Constraint e108 { Definition: sqr(x5) + sqr(x22) - 2*x5*x22*cos(x47 - x30) <= 1; } Constraint e109 { Definition: sqr(x5) + sqr(x23) - 2*x5*x23*cos(x48 - x30) <= 1; } Constraint e110 { Definition: sqr(x5) + sqr(x24) - 2*x5*x24*cos(x49 - x30) <= 1; } Constraint e111 { Definition: sqr(x5) + sqr(x25) - 2*x5*x25*cos(x50 - x30) <= 1; } Constraint e112 { Definition: sqr(x6) + sqr(x7) - 2*x6*x7*cos(x32 - x31) <= 1; } Constraint e113 { Definition: sqr(x6) + sqr(x8) - 2*x6*x8*cos(x33 - x31) <= 1; } Constraint e114 { Definition: sqr(x6) + sqr(x9) - 2*x6*x9*cos(x34 - x31) <= 1; } Constraint e115 { Definition: sqr(x6) + sqr(x10) - 2*x6*x10*cos(x35 - x31) <= 1; } Constraint e116 { Definition: sqr(x6) + sqr(x11) - 2*x6*x11*cos(x36 - x31) <= 1; } Constraint e117 { Definition: sqr(x6) + sqr(x12) - 2*x6*x12*cos(x37 - x31) <= 1; } Constraint e118 { Definition: sqr(x6) + sqr(x13) - 2*x6*x13*cos(x38 - x31) <= 1; } Constraint e119 { Definition: sqr(x6) + sqr(x14) - 2*x6*x14*cos(x39 - x31) <= 1; } Constraint e120 { Definition: sqr(x6) + sqr(x15) - 2*x6*x15*cos(x40 - x31) <= 1; } Constraint e121 { Definition: sqr(x6) + sqr(x16) - 2*x6*x16*cos(x41 - x31) <= 1; } Constraint e122 { Definition: sqr(x6) + sqr(x17) - 2*x6*x17*cos(x42 - x31) <= 1; } Constraint e123 { Definition: sqr(x6) + sqr(x18) - 2*x6*x18*cos(x43 - x31) <= 1; } Constraint e124 { Definition: sqr(x6) + sqr(x19) - 2*x6*x19*cos(x44 - x31) <= 1; } Constraint e125 { Definition: sqr(x6) + sqr(x20) - 2*x6*x20*cos(x45 - x31) <= 1; } Constraint e126 { Definition: sqr(x6) + sqr(x21) - 2*x6*x21*cos(x46 - x31) <= 1; } Constraint e127 { Definition: sqr(x6) + sqr(x22) - 2*x6*x22*cos(x47 - x31) <= 1; } Constraint e128 { Definition: sqr(x6) + sqr(x23) - 2*x6*x23*cos(x48 - x31) <= 1; } Constraint e129 { Definition: sqr(x6) + sqr(x24) - 2*x6*x24*cos(x49 - x31) <= 1; } Constraint e130 { Definition: sqr(x6) + sqr(x25) - 2*x6*x25*cos(x50 - x31) <= 1; } Constraint e131 { Definition: sqr(x7) + sqr(x8) - 2*x7*x8*cos(x33 - x32) <= 1; } Constraint e132 { Definition: sqr(x7) + sqr(x9) - 2*x7*x9*cos(x34 - x32) <= 1; } Constraint e133 { Definition: sqr(x7) + sqr(x10) - 2*x7*x10*cos(x35 - x32) <= 1; } Constraint e134 { Definition: sqr(x7) + sqr(x11) - 2*x7*x11*cos(x36 - x32) <= 1; } Constraint e135 { Definition: sqr(x7) + sqr(x12) - 2*x7*x12*cos(x37 - x32) <= 1; } Constraint e136 { Definition: sqr(x7) + sqr(x13) - 2*x7*x13*cos(x38 - x32) <= 1; } Constraint e137 { Definition: sqr(x7) + sqr(x14) - 2*x7*x14*cos(x39 - x32) <= 1; } Constraint e138 { Definition: sqr(x7) + sqr(x15) - 2*x7*x15*cos(x40 - x32) <= 1; } Constraint e139 { Definition: sqr(x7) + sqr(x16) - 2*x7*x16*cos(x41 - x32) <= 1; } Constraint e140 { Definition: sqr(x7) + sqr(x17) - 2*x7*x17*cos(x42 - x32) <= 1; } Constraint e141 { Definition: sqr(x7) + sqr(x18) - 2*x7*x18*cos(x43 - x32) <= 1; } Constraint e142 { Definition: sqr(x7) + sqr(x19) - 2*x7*x19*cos(x44 - x32) <= 1; } Constraint e143 { Definition: sqr(x7) + sqr(x20) - 2*x7*x20*cos(x45 - x32) <= 1; } Constraint e144 { Definition: sqr(x7) + sqr(x21) - 2*x7*x21*cos(x46 - x32) <= 1; } Constraint e145 { Definition: sqr(x7) + sqr(x22) - 2*x7*x22*cos(x47 - x32) <= 1; } Constraint e146 { Definition: sqr(x7) + sqr(x23) - 2*x7*x23*cos(x48 - x32) <= 1; } Constraint e147 { Definition: sqr(x7) + sqr(x24) - 2*x7*x24*cos(x49 - x32) <= 1; } Constraint e148 { Definition: sqr(x7) + sqr(x25) - 2*x7*x25*cos(x50 - x32) <= 1; } Constraint e149 { Definition: sqr(x8) + sqr(x9) - 2*x8*x9*cos(x34 - x33) <= 1; } Constraint e150 { Definition: sqr(x8) + sqr(x10) - 2*x8*x10*cos(x35 - x33) <= 1; } Constraint e151 { Definition: sqr(x8) + sqr(x11) - 2*x8*x11*cos(x36 - x33) <= 1; } Constraint e152 { Definition: sqr(x8) + sqr(x12) - 2*x8*x12*cos(x37 - x33) <= 1; } Constraint e153 { Definition: sqr(x8) + sqr(x13) - 2*x8*x13*cos(x38 - x33) <= 1; } Constraint e154 { Definition: sqr(x8) + sqr(x14) - 2*x8*x14*cos(x39 - x33) <= 1; } Constraint e155 { Definition: sqr(x8) + sqr(x15) - 2*x8*x15*cos(x40 - x33) <= 1; } Constraint e156 { Definition: sqr(x8) + sqr(x16) - 2*x8*x16*cos(x41 - x33) <= 1; } Constraint e157 { Definition: sqr(x8) + sqr(x17) - 2*x8*x17*cos(x42 - x33) <= 1; } Constraint e158 { Definition: sqr(x8) + sqr(x18) - 2*x8*x18*cos(x43 - x33) <= 1; } Constraint e159 { Definition: sqr(x8) + sqr(x19) - 2*x8*x19*cos(x44 - x33) <= 1; } Constraint e160 { Definition: sqr(x8) + sqr(x20) - 2*x8*x20*cos(x45 - x33) <= 1; } Constraint e161 { Definition: sqr(x8) + sqr(x21) - 2*x8*x21*cos(x46 - x33) <= 1; } Constraint e162 { Definition: sqr(x8) + sqr(x22) - 2*x8*x22*cos(x47 - x33) <= 1; } Constraint e163 { Definition: sqr(x8) + sqr(x23) - 2*x8*x23*cos(x48 - x33) <= 1; } Constraint e164 { Definition: sqr(x8) + sqr(x24) - 2*x8*x24*cos(x49 - x33) <= 1; } Constraint e165 { Definition: sqr(x8) + sqr(x25) - 2*x8*x25*cos(x50 - x33) <= 1; } Constraint e166 { Definition: sqr(x9) + sqr(x10) - 2*x9*x10*cos(x35 - x34) <= 1; } Constraint e167 { Definition: sqr(x9) + sqr(x11) - 2*x9*x11*cos(x36 - x34) <= 1; } Constraint e168 { Definition: sqr(x9) + sqr(x12) - 2*x9*x12*cos(x37 - x34) <= 1; } Constraint e169 { Definition: sqr(x9) + sqr(x13) - 2*x9*x13*cos(x38 - x34) <= 1; } Constraint e170 { Definition: sqr(x9) + sqr(x14) - 2*x9*x14*cos(x39 - x34) <= 1; } Constraint e171 { Definition: sqr(x9) + sqr(x15) - 2*x9*x15*cos(x40 - x34) <= 1; } Constraint e172 { Definition: sqr(x9) + sqr(x16) - 2*x9*x16*cos(x41 - x34) <= 1; } Constraint e173 { Definition: sqr(x9) + sqr(x17) - 2*x9*x17*cos(x42 - x34) <= 1; } Constraint e174 { Definition: sqr(x9) + sqr(x18) - 2*x9*x18*cos(x43 - x34) <= 1; } Constraint e175 { Definition: sqr(x9) + sqr(x19) - 2*x9*x19*cos(x44 - x34) <= 1; } Constraint e176 { Definition: sqr(x9) + sqr(x20) - 2*x9*x20*cos(x45 - x34) <= 1; } Constraint e177 { Definition: sqr(x9) + sqr(x21) - 2*x9*x21*cos(x46 - x34) <= 1; } Constraint e178 { Definition: sqr(x9) + sqr(x22) - 2*x9*x22*cos(x47 - x34) <= 1; } Constraint e179 { Definition: sqr(x9) + sqr(x23) - 2*x9*x23*cos(x48 - x34) <= 1; } Constraint e180 { Definition: sqr(x9) + sqr(x24) - 2*x9*x24*cos(x49 - x34) <= 1; } Constraint e181 { Definition: sqr(x9) + sqr(x25) - 2*x9*x25*cos(x50 - x34) <= 1; } Constraint e182 { Definition: sqr(x10) + sqr(x11) - 2*x10*x11*cos(x36 - x35) <= 1; } Constraint e183 { Definition: sqr(x10) + sqr(x12) - 2*x10*x12*cos(x37 - x35) <= 1; } Constraint e184 { Definition: sqr(x10) + sqr(x13) - 2*x10*x13*cos(x38 - x35) <= 1; } Constraint e185 { Definition: sqr(x10) + sqr(x14) - 2*x10*x14*cos(x39 - x35) <= 1; } Constraint e186 { Definition: sqr(x10) + sqr(x15) - 2*x10*x15*cos(x40 - x35) <= 1; } Constraint e187 { Definition: sqr(x10) + sqr(x16) - 2*x10*x16*cos(x41 - x35) <= 1; } Constraint e188 { Definition: sqr(x10) + sqr(x17) - 2*x10*x17*cos(x42 - x35) <= 1; } Constraint e189 { Definition: sqr(x10) + sqr(x18) - 2*x10*x18*cos(x43 - x35) <= 1; } Constraint e190 { Definition: sqr(x10) + sqr(x19) - 2*x10*x19*cos(x44 - x35) <= 1; } Constraint e191 { Definition: sqr(x10) + sqr(x20) - 2*x10*x20*cos(x45 - x35) <= 1; } Constraint e192 { Definition: sqr(x10) + sqr(x21) - 2*x10*x21*cos(x46 - x35) <= 1; } Constraint e193 { Definition: sqr(x10) + sqr(x22) - 2*x10*x22*cos(x47 - x35) <= 1; } Constraint e194 { Definition: sqr(x10) + sqr(x23) - 2*x10*x23*cos(x48 - x35) <= 1; } Constraint e195 { Definition: sqr(x10) + sqr(x24) - 2*x10*x24*cos(x49 - x35) <= 1; } Constraint e196 { Definition: sqr(x10) + sqr(x25) - 2*x10*x25*cos(x50 - x35) <= 1; } Constraint e197 { Definition: sqr(x11) + sqr(x12) - 2*x11*x12*cos(x37 - x36) <= 1; } Constraint e198 { Definition: sqr(x11) + sqr(x13) - 2*x11*x13*cos(x38 - x36) <= 1; } Constraint e199 { Definition: sqr(x11) + sqr(x14) - 2*x11*x14*cos(x39 - x36) <= 1; } Constraint e200 { Definition: sqr(x11) + sqr(x15) - 2*x11*x15*cos(x40 - x36) <= 1; } Constraint e201 { Definition: sqr(x11) + sqr(x16) - 2*x11*x16*cos(x41 - x36) <= 1; } Constraint e202 { Definition: sqr(x11) + sqr(x17) - 2*x11*x17*cos(x42 - x36) <= 1; } Constraint e203 { Definition: sqr(x11) + sqr(x18) - 2*x11*x18*cos(x43 - x36) <= 1; } Constraint e204 { Definition: sqr(x11) + sqr(x19) - 2*x11*x19*cos(x44 - x36) <= 1; } Constraint e205 { Definition: sqr(x11) + sqr(x20) - 2*x11*x20*cos(x45 - x36) <= 1; } Constraint e206 { Definition: sqr(x11) + sqr(x21) - 2*x11*x21*cos(x46 - x36) <= 1; } Constraint e207 { Definition: sqr(x11) + sqr(x22) - 2*x11*x22*cos(x47 - x36) <= 1; } Constraint e208 { Definition: sqr(x11) + sqr(x23) - 2*x11*x23*cos(x48 - x36) <= 1; } Constraint e209 { Definition: sqr(x11) + sqr(x24) - 2*x11*x24*cos(x49 - x36) <= 1; } Constraint e210 { Definition: sqr(x11) + sqr(x25) - 2*x11*x25*cos(x50 - x36) <= 1; } Constraint e211 { Definition: sqr(x12) + sqr(x13) - 2*x12*x13*cos(x38 - x37) <= 1; } Constraint e212 { Definition: sqr(x12) + sqr(x14) - 2*x12*x14*cos(x39 - x37) <= 1; } Constraint e213 { Definition: sqr(x12) + sqr(x15) - 2*x12*x15*cos(x40 - x37) <= 1; } Constraint e214 { Definition: sqr(x12) + sqr(x16) - 2*x12*x16*cos(x41 - x37) <= 1; } Constraint e215 { Definition: sqr(x12) + sqr(x17) - 2*x12*x17*cos(x42 - x37) <= 1; } Constraint e216 { Definition: sqr(x12) + sqr(x18) - 2*x12*x18*cos(x43 - x37) <= 1; } Constraint e217 { Definition: sqr(x12) + sqr(x19) - 2*x12*x19*cos(x44 - x37) <= 1; } Constraint e218 { Definition: sqr(x12) + sqr(x20) - 2*x12*x20*cos(x45 - x37) <= 1; } Constraint e219 { Definition: sqr(x12) + sqr(x21) - 2*x12*x21*cos(x46 - x37) <= 1; } Constraint e220 { Definition: sqr(x12) + sqr(x22) - 2*x12*x22*cos(x47 - x37) <= 1; } Constraint e221 { Definition: sqr(x12) + sqr(x23) - 2*x12*x23*cos(x48 - x37) <= 1; } Constraint e222 { Definition: sqr(x12) + sqr(x24) - 2*x12*x24*cos(x49 - x37) <= 1; } Constraint e223 { Definition: sqr(x12) + sqr(x25) - 2*x12*x25*cos(x50 - x37) <= 1; } Constraint e224 { Definition: sqr(x13) + sqr(x14) - 2*x13*x14*cos(x39 - x38) <= 1; } Constraint e225 { Definition: sqr(x13) + sqr(x15) - 2*x13*x15*cos(x40 - x38) <= 1; } Constraint e226 { Definition: sqr(x13) + sqr(x16) - 2*x13*x16*cos(x41 - x38) <= 1; } Constraint e227 { Definition: sqr(x13) + sqr(x17) - 2*x13*x17*cos(x42 - x38) <= 1; } Constraint e228 { Definition: sqr(x13) + sqr(x18) - 2*x13*x18*cos(x43 - x38) <= 1; } Constraint e229 { Definition: sqr(x13) + sqr(x19) - 2*x13*x19*cos(x44 - x38) <= 1; } Constraint e230 { Definition: sqr(x13) + sqr(x20) - 2*x13*x20*cos(x45 - x38) <= 1; } Constraint e231 { Definition: sqr(x13) + sqr(x21) - 2*x13*x21*cos(x46 - x38) <= 1; } Constraint e232 { Definition: sqr(x13) + sqr(x22) - 2*x13*x22*cos(x47 - x38) <= 1; } Constraint e233 { Definition: sqr(x13) + sqr(x23) - 2*x13*x23*cos(x48 - x38) <= 1; } Constraint e234 { Definition: sqr(x13) + sqr(x24) - 2*x13*x24*cos(x49 - x38) <= 1; } Constraint e235 { Definition: sqr(x13) + sqr(x25) - 2*x13*x25*cos(x50 - x38) <= 1; } Constraint e236 { Definition: sqr(x14) + sqr(x15) - 2*x14*x15*cos(x40 - x39) <= 1; } Constraint e237 { Definition: sqr(x14) + sqr(x16) - 2*x14*x16*cos(x41 - x39) <= 1; } Constraint e238 { Definition: sqr(x14) + sqr(x17) - 2*x14*x17*cos(x42 - x39) <= 1; } Constraint e239 { Definition: sqr(x14) + sqr(x18) - 2*x14*x18*cos(x43 - x39) <= 1; } Constraint e240 { Definition: sqr(x14) + sqr(x19) - 2*x14*x19*cos(x44 - x39) <= 1; } Constraint e241 { Definition: sqr(x14) + sqr(x20) - 2*x14*x20*cos(x45 - x39) <= 1; } Constraint e242 { Definition: sqr(x14) + sqr(x21) - 2*x14*x21*cos(x46 - x39) <= 1; } Constraint e243 { Definition: sqr(x14) + sqr(x22) - 2*x14*x22*cos(x47 - x39) <= 1; } Constraint e244 { Definition: sqr(x14) + sqr(x23) - 2*x14*x23*cos(x48 - x39) <= 1; } Constraint e245 { Definition: sqr(x14) + sqr(x24) - 2*x14*x24*cos(x49 - x39) <= 1; } Constraint e246 { Definition: sqr(x14) + sqr(x25) - 2*x14*x25*cos(x50 - x39) <= 1; } Constraint e247 { Definition: sqr(x15) + sqr(x16) - 2*x15*x16*cos(x41 - x40) <= 1; } Constraint e248 { Definition: sqr(x15) + sqr(x17) - 2*x15*x17*cos(x42 - x40) <= 1; } Constraint e249 { Definition: sqr(x15) + sqr(x18) - 2*x15*x18*cos(x43 - x40) <= 1; } Constraint e250 { Definition: sqr(x15) + sqr(x19) - 2*x15*x19*cos(x44 - x40) <= 1; } Constraint e251 { Definition: sqr(x15) + sqr(x20) - 2*x15*x20*cos(x45 - x40) <= 1; } Constraint e252 { Definition: sqr(x15) + sqr(x21) - 2*x15*x21*cos(x46 - x40) <= 1; } Constraint e253 { Definition: sqr(x15) + sqr(x22) - 2*x15*x22*cos(x47 - x40) <= 1; } Constraint e254 { Definition: sqr(x15) + sqr(x23) - 2*x15*x23*cos(x48 - x40) <= 1; } Constraint e255 { Definition: sqr(x15) + sqr(x24) - 2*x15*x24*cos(x49 - x40) <= 1; } Constraint e256 { Definition: sqr(x15) + sqr(x25) - 2*x15*x25*cos(x50 - x40) <= 1; } Constraint e257 { Definition: sqr(x16) + sqr(x17) - 2*x16*x17*cos(x42 - x41) <= 1; } Constraint e258 { Definition: sqr(x16) + sqr(x18) - 2*x16*x18*cos(x43 - x41) <= 1; } Constraint e259 { Definition: sqr(x16) + sqr(x19) - 2*x16*x19*cos(x44 - x41) <= 1; } Constraint e260 { Definition: sqr(x16) + sqr(x20) - 2*x16*x20*cos(x45 - x41) <= 1; } Constraint e261 { Definition: sqr(x16) + sqr(x21) - 2*x16*x21*cos(x46 - x41) <= 1; } Constraint e262 { Definition: sqr(x16) + sqr(x22) - 2*x16*x22*cos(x47 - x41) <= 1; } Constraint e263 { Definition: sqr(x16) + sqr(x23) - 2*x16*x23*cos(x48 - x41) <= 1; } Constraint e264 { Definition: sqr(x16) + sqr(x24) - 2*x16*x24*cos(x49 - x41) <= 1; } Constraint e265 { Definition: sqr(x16) + sqr(x25) - 2*x16*x25*cos(x50 - x41) <= 1; } Constraint e266 { Definition: sqr(x17) + sqr(x18) - 2*x17*x18*cos(x43 - x42) <= 1; } Constraint e267 { Definition: sqr(x17) + sqr(x19) - 2*x17*x19*cos(x44 - x42) <= 1; } Constraint e268 { Definition: sqr(x17) + sqr(x20) - 2*x17*x20*cos(x45 - x42) <= 1; } Constraint e269 { Definition: sqr(x17) + sqr(x21) - 2*x17*x21*cos(x46 - x42) <= 1; } Constraint e270 { Definition: sqr(x17) + sqr(x22) - 2*x17*x22*cos(x47 - x42) <= 1; } Constraint e271 { Definition: sqr(x17) + sqr(x23) - 2*x17*x23*cos(x48 - x42) <= 1; } Constraint e272 { Definition: sqr(x17) + sqr(x24) - 2*x17*x24*cos(x49 - x42) <= 1; } Constraint e273 { Definition: sqr(x17) + sqr(x25) - 2*x17*x25*cos(x50 - x42) <= 1; } Constraint e274 { Definition: sqr(x18) + sqr(x19) - 2*x18*x19*cos(x44 - x43) <= 1; } Constraint e275 { Definition: sqr(x18) + sqr(x20) - 2*x18*x20*cos(x45 - x43) <= 1; } Constraint e276 { Definition: sqr(x18) + sqr(x21) - 2*x18*x21*cos(x46 - x43) <= 1; } Constraint e277 { Definition: sqr(x18) + sqr(x22) - 2*x18*x22*cos(x47 - x43) <= 1; } Constraint e278 { Definition: sqr(x18) + sqr(x23) - 2*x18*x23*cos(x48 - x43) <= 1; } Constraint e279 { Definition: sqr(x18) + sqr(x24) - 2*x18*x24*cos(x49 - x43) <= 1; } Constraint e280 { Definition: sqr(x18) + sqr(x25) - 2*x18*x25*cos(x50 - x43) <= 1; } Constraint e281 { Definition: sqr(x19) + sqr(x20) - 2*x19*x20*cos(x45 - x44) <= 1; } Constraint e282 { Definition: sqr(x19) + sqr(x21) - 2*x19*x21*cos(x46 - x44) <= 1; } Constraint e283 { Definition: sqr(x19) + sqr(x22) - 2*x19*x22*cos(x47 - x44) <= 1; } Constraint e284 { Definition: sqr(x19) + sqr(x23) - 2*x19*x23*cos(x48 - x44) <= 1; } Constraint e285 { Definition: sqr(x19) + sqr(x24) - 2*x19*x24*cos(x49 - x44) <= 1; } Constraint e286 { Definition: sqr(x19) + sqr(x25) - 2*x19*x25*cos(x50 - x44) <= 1; } Constraint e287 { Definition: sqr(x20) + sqr(x21) - 2*x20*x21*cos(x46 - x45) <= 1; } Constraint e288 { Definition: sqr(x20) + sqr(x22) - 2*x20*x22*cos(x47 - x45) <= 1; } Constraint e289 { Definition: sqr(x20) + sqr(x23) - 2*x20*x23*cos(x48 - x45) <= 1; } Constraint e290 { Definition: sqr(x20) + sqr(x24) - 2*x20*x24*cos(x49 - x45) <= 1; } Constraint e291 { Definition: sqr(x20) + sqr(x25) - 2*x20*x25*cos(x50 - x45) <= 1; } Constraint e292 { Definition: sqr(x21) + sqr(x22) - 2*x21*x22*cos(x47 - x46) <= 1; } Constraint e293 { Definition: sqr(x21) + sqr(x23) - 2*x21*x23*cos(x48 - x46) <= 1; } Constraint e294 { Definition: sqr(x21) + sqr(x24) - 2*x21*x24*cos(x49 - x46) <= 1; } Constraint e295 { Definition: sqr(x21) + sqr(x25) - 2*x21*x25*cos(x50 - x46) <= 1; } Constraint e296 { Definition: sqr(x22) + sqr(x23) - 2*x22*x23*cos(x48 - x47) <= 1; } Constraint e297 { Definition: sqr(x22) + sqr(x24) - 2*x22*x24*cos(x49 - x47) <= 1; } Constraint e298 { Definition: sqr(x22) + sqr(x25) - 2*x22*x25*cos(x50 - x47) <= 1; } Constraint e299 { Definition: sqr(x23) + sqr(x24) - 2*x23*x24*cos(x49 - x48) <= 1; } Constraint e300 { Definition: sqr(x23) + sqr(x25) - 2*x23*x25*cos(x50 - x48) <= 1; } Constraint e301 { Definition: sqr(x24) + sqr(x25) - 2*x24*x25*cos(x50 - x49) <= 1; } Constraint e302 { Definition: x26 - x27 <= 0; } Constraint e303 { Definition: x27 - x28 <= 0; } Constraint e304 { Definition: x28 - x29 <= 0; } Constraint e305 { Definition: x29 - x30 <= 0; } Constraint e306 { Definition: x30 - x31 <= 0; } Constraint e307 { Definition: x31 - x32 <= 0; } Constraint e308 { Definition: x32 - x33 <= 0; } Constraint e309 { Definition: x33 - x34 <= 0; } Constraint e310 { Definition: x34 - x35 <= 0; } Constraint e311 { Definition: x35 - x36 <= 0; } Constraint e312 { Definition: x36 - x37 <= 0; } Constraint e313 { Definition: x37 - x38 <= 0; } Constraint e314 { Definition: x38 - x39 <= 0; } Constraint e315 { Definition: x39 - x40 <= 0; } Constraint e316 { Definition: x40 - x41 <= 0; } Constraint e317 { Definition: x41 - x42 <= 0; } Constraint e318 { Definition: x42 - x43 <= 0; } Constraint e319 { Definition: x43 - x44 <= 0; } Constraint e320 { Definition: x44 - x45 <= 0; } Constraint e321 { Definition: x45 - x46 <= 0; } Constraint e322 { Definition: x46 - x47 <= 0; } Constraint e323 { Definition: x47 - x48 <= 0; } Constraint e324 { Definition: x48 - x49 <= 0; } Constraint e325 { Definition: x49 - x50 <= 0; } Procedure MainInitialization { Body: { x1.upper := 1; x2.upper := 1; x3.upper := 1; 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; 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.lower := 0; x25.upper := 0; x26.upper := 3.14159265358979; x27.upper := 3.14159265358979; x28.upper := 3.14159265358979; x29.upper := 3.14159265358979; x30.upper := 3.14159265358979; x31.upper := 3.14159265358979; x32.upper := 3.14159265358979; x33.upper := 3.14159265358979; x34.upper := 3.14159265358979; x35.upper := 3.14159265358979; x36.upper := 3.14159265358979; x37.upper := 3.14159265358979; x38.upper := 3.14159265358979; x39.upper := 3.14159265358979; x40.upper := 3.14159265358979; x41.upper := 3.14159265358979; x42.upper := 3.14159265358979; x43.upper := 3.14159265358979; x44.upper := 3.14159265358979; x45.upper := 3.14159265358979; x46.upper := 3.14159265358979; x47.upper := 3.14159265358979; x48.upper := 3.14159265358979; x49.upper := 3.14159265358979; x50.lower := 3.14159265358979; x50.upper := 3.14159265358979; x1.l := 0.14792899408284; x2.l := 0.284023668639053; x3.l := 0.408284023668639; x4.l := 0.520710059171598; x5.l := 0.621301775147929; x6.l := 0.710059171597633; x7.l := 0.78698224852071; x8.l := 0.85207100591716; x9.l := 0.905325443786982; x10.l := 0.946745562130177; x11.l := 0.976331360946746; x12.l := 0.994082840236686; x13.l := 1; x14.l := 0.994082840236686; x15.l := 0.976331360946746; x16.l := 0.946745562130177; x17.l := 0.905325443786982; x18.l := 0.85207100591716; x19.l := 0.78698224852071; x20.l := 0.710059171597633; x21.l := 0.621301775147929; x22.l := 0.520710059171598; x23.l := 0.408284023668639; x24.l := 0.284023668639053; x26.l := 0.125663706143592; x27.l := 0.251327412287183; x28.l := 0.376991118430775; x29.l := 0.502654824574367; x30.l := 0.628318530717959; x31.l := 0.75398223686155; x32.l := 0.879645943005142; x33.l := 1.00530964914873; x34.l := 1.13097335529233; x35.l := 1.25663706143592; x36.l := 1.38230076757951; x37.l := 1.5079644737231; x38.l := 1.63362817986669; x39.l := 1.75929188601028; x40.l := 1.88495559215388; x41.l := 2.01061929829747; x42.l := 2.13628300444106; x43.l := 2.26194671058465; x44.l := 2.38761041672824; x45.l := 2.51327412287183; x46.l := 2.63893782901543; x47.l := 2.76460153515902; x48.l := 2.89026524130261; x49.l := 3.0159289474462; } } MathematicalProgram polygon25 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve polygon25; } } Procedure MainTermination { Body: { return 1; } } }