#  NLP written by GAMS Convert at 01/12/18 13:46:58
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        191       55      136        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        170      170        0        0        0        0        0        0
#  FX      6        6        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1494      354     1140        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 := 1000, >= 1000, <= 1000;
var x2 := 1000, >= 1000, <= 1000;
var x3 := 1100.750712, >= 0, <= 2000;
var x4 := 602.275808, >= 0, <= 2000;
var x5 := 584.424234, >= 0, <= 2000;
var x6 := 448.105734, >= 0, <= 2000;
var x7 := 699.661008, >= 0, <= 2000;
var x8 := 1712.540694, >= 0, <= 2000;
var x9 := 134.227446, >= 0, <= 2000;
var x10 := 1000.421338, >= 0, <= 2000;
var x11 := 1996.235254, >= 0, <= 2000;
var x12 := 1157.466756, >= 0, <= 2000;
var x13 := 1982.266078, >= 0, <= 2000;
var x14 := 1524.500934, >= 0, <= 2000;
var x15 := 261.384966, >= 0, <= 2000;
var x16 := 1279.437518, >= 0, <= 2000;
var x17 := 319.035728, >= 0, <= 2000;
var x18 := 500.161066, >= 0, <= 2000;
var x19 := 1500, >= 1500, <= 1500;
var x20 := 2000, >= 2000, <= 2000;
var x21 := 719.400532, >= 0, <= 2000;
var x22 := 702.882736, >= 0, <= 2000;
var x23 := 262.98318, >= 0, <= 2000;
var x24 := 300.203576, >= 0, <= 2000;
var x25 := 1178.2273, >= 0, <= 2000;
var x26 := 1661.785624, >= 0, <= 2000;
var x27 := 461.631476, >= 0, <= 2000;
var x28 := 1331.46892, >= 0, <= 2000;
var x29 := 1551.715212, >= 0, <= 2000;
var x30 := 607.316954, >= 0, <= 2000;
var x31 := 220.984582, >= 0, <= 2000;
var x32 := 1004.769732, >= 0, <= 2000;
var x33 := 320.345524, >= 0, <= 2000;
var x34 := 1744.924622, >= 0, <= 2000;
var x35 := 530.22909, >= 0, <= 2000;
var x36 := 571.628644, >= 0, <= 2000;
var x37 := 1187.911844, >= 0, <= 2000;
var x38 := 1445.438142, >= 0, <= 2000;
var x39 := 2000, >= 2000, <= 2000;
var x40 := 1000, >= 1000, <= 1000;
var x41 := 100, >= 0.1;
var x42 := 100, >= 0.1;
var x43 := 100, >= 0.1;
var x44 := 100, >= 0.1;
var x45 := 100, >= 0.1;
var x46 := 100, >= 0.1;
var x47 := 100, >= 0.1;
var x48 := 100, >= 0.1;
var x49 := 100, >= 0.1;
var x50 := 100, >= 0.1;
var x51 := 100, >= 0.1;
var x52 := 100, >= 0.1;
var x53 := 100, >= 0.1;
var x54 := 100, >= 0.1;
var x55 := 100, >= 0.1;
var x56 := 100, >= 0.1;
var x57 := 100, >= 0.1;
var x58 := 100, >= 0.1;
var x59 := 100, >= 0.1;
var x60 := 100, >= 0.1;
var x61 >= 0;
var x62 >= 0;
var x63 >= 0;
var x64 >= 0;
var x65 >= 0;
var x66 >= 0;
var x67 >= 0;
var x68 >= 0;
var x69 >= 0;
var x70 >= 0;
var x71 >= 0;
var x72 >= 0;
var x73 >= 0;
var x74 >= 0;
var x75 >= 0;
var x76 >= 0;
var x77 >= 0;
var x78 >= 0;
var x79 >= 0;
var x80 >= 0;
var x81 >= 0;
var x82 >= 0;
var x83 >= 0;
var x84 >= 0;
var x85 >= 0;
var x86 >= 0;
var x87 >= 0;
var x88 >= 0;
var x89 >= 0;
var x90 >= 0;
var x91 >= 0;
var x92 >= 0;
var x93 >= 0;
var x94 >= 0;
var x95 >= 0;
var x96 >= 0;
var x97 >= 0;
var x98 >= 0;
var x99 >= 0;
var x100 >= 0;
var x101 >= 0;
var x102 >= 0;
var x103 >= 0;
var x104 >= 0;
var x105 >= 0;
var x106 >= 0;
var x107 >= 0;
var x108 >= 0;
var x109 >= 0;
var x110 >= 0;
var x111 >= 0;
var x112 >= 0;
var x113 >= 0;
var x114 >= 0;
var x115 >= 0;
var x116 >= 0;
var x117 >= 0;
var x118 >= 0;
var x119 >= 0;
var x120 >= 0;
var x121 >= 0;
var x122 >= 0;
var x123 >= 0;
var x124 >= 0;
var x125 >= 0;
var x126 >= 0;
var x127 >= 0;
var x128 >= 0;
var x129 >= 0;
var x130 >= 0;
var x131 >= 0;
var x132 >= 0;
var x133 >= 0;
var x134 >= 0;
var x135 >= 0;
var x136 >= 0;
var x137 >= 0;
var x138 >= 0;
var x139 >= 0;
var x140 >= 0;
var x141 >= 0;
var x142 >= 0;
var x143 >= 0;
var x144 >= 0;
var x145 >= 0;
var x146 >= 0;
var x147 >= 0;
var x148 >= 0;
var x149 >= 0;
var x150 >= 0;
var x151 >= 0;
var x152 >= 0;
var x153 >= 0;
var x154 >= 0;
var x155 >= 0;
var x156 >= 0;
var x157 >= 0;
var x158 >= 0;
var x159 >= 0;
var x160 >= 0;
var x161 >= 0;
var x162 >= 0;
var x163 >= 0;
var x164 >= 0;
var x165 >= 0;
var x166 >= 0;
var x167 >= 0;
var x168 >= 0;
var x169 >= 0;

minimize obj:    x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70
     + x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82
     + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94
     + x95 + x96 + x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105
     + x106 + x107 + x108 + x109 + x110 + x111 + x112 + x113 + x114 + x115
     + x116 + x117 + x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125
     + x126 + x127 + x128 + x129 + x130 + x131 + x132 + x133 + x134 + x135
     + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 + x145
     + x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 + x155
     + x156 + x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165
     + x166 + x167 + x168 + 100*x169;

subject to

e2: (x1 - x3)^2 + (x2 - x4)^2 - (x41 + x42)^2 - x61 + x115 = 0;

e3: (x1 - x5)^2 + (x2 - x6)^2 - (x41 + x43)^2 - x62 + x116 = 0;

e4: (x1 - x7)^2 + (x2 - x8)^2 - (x41 + x44)^2 - x63 + x117 = 0;

e5: (x1 - x11)^2 + (x2 - x12)^2 - (x41 + x46)^2 - x64 + x118 = 0;

e6: (x1 - x13)^2 + (x2 - x14)^2 - (x41 + x47)^2 - x65 + x119 = 0;

e7: (x1 - x15)^2 + (x2 - x16)^2 - (x41 + x48)^2 - x66 + x120 = 0;

e8: (x1 - x19)^2 + (x2 - x20)^2 - (x41 + x50)^2 - x67 + x121 = 0;

e9: (x1 - x23)^2 + (x2 - x24)^2 - (x41 + x52)^2 - x68 + x122 = 0;

e10: (x1 - x39)^2 + (x2 - x40)^2 - (x41 + x60)^2 - x69 + x123 = 0;

e11: (x3 - x5)^2 + (x4 - x6)^2 - (x42 + x43)^2 - x70 + x124 = 0;

e12: (x3 - x7)^2 + (x4 - x8)^2 - (x42 + x44)^2 - x71 + x125 = 0;

e13: (x5 - x7)^2 + (x6 - x8)^2 - (x43 + x44)^2 - x72 + x126 = 0;

e14: (x5 - x9)^2 + (x6 - x10)^2 - (x43 + x45)^2 - x73 + x127 = 0;

e15: (x5 - x15)^2 + (x6 - x16)^2 - (x43 + x48)^2 - x74 + x128 = 0;

e16: (x7 - x9)^2 + (x8 - x10)^2 - (x44 + x45)^2 - x75 + x129 = 0;

e17: (x7 - x11)^2 + (x8 - x12)^2 - (x44 + x46)^2 - x76 + x130 = 0;

e18: (x9 - x11)^2 + (x10 - x12)^2 - (x45 + x46)^2 - x77 + x131 = 0;

e19: (x9 - x13)^2 + (x10 - x14)^2 - (x45 + x47)^2 - x78 + x132 = 0;

e20: (x9 - x15)^2 + (x10 - x16)^2 - (x45 + x48)^2 - x79 + x133 = 0;

e21: (x11 - x13)^2 + (x12 - x14)^2 - (x46 + x47)^2 - x80 + x134 = 0;

e22: (x13 - x15)^2 + (x14 - x16)^2 - (x47 + x48)^2 - x81 + x135 = 0;

e23: (x13 - x17)^2 + (x14 - x18)^2 - (x47 + x49)^2 - x82 + x136 = 0;

e24: (x13 - x21)^2 + (x14 - x22)^2 - (x47 + x51)^2 - x83 + x137 = 0;

e25: (x13 - x23)^2 + (x14 - x24)^2 - (x47 + x52)^2 - x84 + x138 = 0;

e26: (x15 - x17)^2 + (x16 - x18)^2 - (x48 + x49)^2 - x85 + x139 = 0;

e27: (x15 - x19)^2 + (x16 - x20)^2 - (x48 + x50)^2 - x86 + x140 = 0;

e28: (x17 - x19)^2 + (x18 - x20)^2 - (x49 + x50)^2 - x87 + x141 = 0;

e29: (x17 - x21)^2 + (x18 - x22)^2 - (x49 + x51)^2 - x88 + x142 = 0;

e30: (x19 - x21)^2 + (x20 - x22)^2 - (x50 + x51)^2 - x89 + x143 = 0;

e31: (x19 - x23)^2 + (x20 - x24)^2 - (x50 + x52)^2 - x90 + x144 = 0;

e32: (x19 - x25)^2 + (x20 - x26)^2 - (x50 + x53)^2 - x91 + x145 = 0;

e33: (x19 - x27)^2 + (x20 - x28)^2 - (x50 + x54)^2 - x92 + x146 = 0;

e34: (x19 - x29)^2 + (x20 - x30)^2 - (x50 + x55)^2 - x93 + x147 = 0;

e35: (x19 - x31)^2 + (x20 - x32)^2 - (x50 + x56)^2 - x94 + x148 = 0;

e36: (x19 - x37)^2 + (x20 - x38)^2 - (x50 + x59)^2 - x95 + x149 = 0;

e37: (x19 - x39)^2 + (x20 - x40)^2 - (x50 + x60)^2 - x96 + x150 = 0;

e38: (x21 - x23)^2 + (x22 - x24)^2 - (x51 + x52)^2 - x97 + x151 = 0;

e39: (x23 - x25)^2 + (x24 - x26)^2 - (x52 + x53)^2 - x98 + x152 = 0;

e40: (x23 - x27)^2 + (x24 - x28)^2 - (x52 + x54)^2 - x99 + x153 = 0;

e41: (x23 - x29)^2 + (x24 - x30)^2 - (x52 + x55)^2 - x100 + x154 = 0;

e42: (x23 - x33)^2 + (x24 - x34)^2 - (x52 + x57)^2 - x101 + x155 = 0;

e43: (x23 - x35)^2 + (x24 - x36)^2 - (x52 + x58)^2 - x102 + x156 = 0;

e44: (x23 - x39)^2 + (x24 - x40)^2 - (x52 + x60)^2 - x103 + x157 = 0;

e45: (x25 - x27)^2 + (x26 - x28)^2 - (x53 + x54)^2 - x104 + x158 = 0;

e46: (x27 - x29)^2 + (x28 - x30)^2 - (x54 + x55)^2 - x105 + x159 = 0;

e47: (x29 - x31)^2 + (x30 - x32)^2 - (x55 + x56)^2 - x106 + x160 = 0;

e48: (x29 - x33)^2 + (x30 - x34)^2 - (x55 + x57)^2 - x107 + x161 = 0;

e49: (x31 - x33)^2 + (x32 - x34)^2 - (x56 + x57)^2 - x108 + x162 = 0;

e50: (x31 - x35)^2 + (x32 - x36)^2 - (x56 + x58)^2 - x109 + x163 = 0;

e51: (x31 - x37)^2 + (x32 - x38)^2 - (x56 + x59)^2 - x110 + x164 = 0;

e52: (x33 - x35)^2 + (x34 - x36)^2 - (x57 + x58)^2 - x111 + x165 = 0;

e53: (x35 - x37)^2 + (x36 - x38)^2 - (x58 + x59)^2 - x112 + x166 = 0;

e54: (x35 - x39)^2 + (x36 - x40)^2 - (x58 + x60)^2 - x113 + x167 = 0;

e55: (x37 - x39)^2 + (x38 - x40)^2 - (x59 + x60)^2 - x114 + x168 = 0;

e56: (x1 - x9)^2 + (x2 - x10)^2 - (x41 + x45)^2 + x169 >= 0;

e57: (x1 - x17)^2 + (x2 - x18)^2 - (x41 + x49)^2 + x169 >= 0;

e58: (x1 - x21)^2 + (x2 - x22)^2 - (x41 + x51)^2 + x169 >= 0;

e59: (x1 - x25)^2 + (x2 - x26)^2 - (x41 + x53)^2 + x169 >= 0;

e60: (x1 - x27)^2 + (x2 - x28)^2 - (x41 + x54)^2 + x169 >= 0;

e61: (x1 - x29)^2 + (x2 - x30)^2 - (x41 + x55)^2 + x169 >= 0;

e62: (x1 - x31)^2 + (x2 - x32)^2 - (x41 + x56)^2 + x169 >= 0;

e63: (x1 - x33)^2 + (x2 - x34)^2 - (x41 + x57)^2 + x169 >= 0;

e64: (x1 - x35)^2 + (x2 - x36)^2 - (x41 + x58)^2 + x169 >= 0;

e65: (x1 - x37)^2 + (x2 - x38)^2 - (x41 + x59)^2 + x169 >= 0;

e66: (x3 - x9)^2 + (x4 - x10)^2 - (x42 + x45)^2 + x169 >= 0;

e67: (x3 - x11)^2 + (x4 - x12)^2 - (x42 + x46)^2 + x169 >= 0;

e68: (x3 - x13)^2 + (x4 - x14)^2 - (x42 + x47)^2 + x169 >= 0;

e69: (x3 - x15)^2 + (x4 - x16)^2 - (x42 + x48)^2 + x169 >= 0;

e70: (x3 - x17)^2 + (x4 - x18)^2 - (x42 + x49)^2 + x169 >= 0;

e71: (x3 - x19)^2 + (x4 - x20)^2 - (x42 + x50)^2 + x169 >= 0;

e72: (x3 - x21)^2 + (x4 - x22)^2 - (x42 + x51)^2 + x169 >= 0;

e73: (x3 - x23)^2 + (x4 - x24)^2 - (x42 + x52)^2 + x169 >= 0;

e74: (x3 - x25)^2 + (x4 - x26)^2 - (x42 + x53)^2 + x169 >= 0;

e75: (x3 - x27)^2 + (x4 - x28)^2 - (x42 + x54)^2 + x169 >= 0;

e76: (x3 - x29)^2 + (x4 - x30)^2 - (x42 + x55)^2 + x169 >= 0;

e77: (x3 - x31)^2 + (x4 - x32)^2 - (x42 + x56)^2 + x169 >= 0;

e78: (x3 - x33)^2 + (x4 - x34)^2 - (x42 + x57)^2 + x169 >= 0;

e79: (x3 - x35)^2 + (x4 - x36)^2 - (x42 + x58)^2 + x169 >= 0;

e80: (x3 - x37)^2 + (x4 - x38)^2 - (x42 + x59)^2 + x169 >= 0;

e81: (x3 - x39)^2 + (x4 - x40)^2 - (x42 + x60)^2 + x169 >= 0;

e82: (x5 - x11)^2 + (x6 - x12)^2 - (x43 + x46)^2 + x169 >= 0;

e83: (x5 - x13)^2 + (x6 - x14)^2 - (x43 + x47)^2 + x169 >= 0;

e84: (x5 - x17)^2 + (x6 - x18)^2 - (x43 + x49)^2 + x169 >= 0;

e85: (x5 - x19)^2 + (x6 - x20)^2 - (x43 + x50)^2 + x169 >= 0;

e86: (x5 - x21)^2 + (x6 - x22)^2 - (x43 + x51)^2 + x169 >= 0;

e87: (x5 - x23)^2 + (x6 - x24)^2 - (x43 + x52)^2 + x169 >= 0;

e88: (x5 - x25)^2 + (x6 - x26)^2 - (x43 + x53)^2 + x169 >= 0;

e89: (x5 - x27)^2 + (x6 - x28)^2 - (x43 + x54)^2 + x169 >= 0;

e90: (x5 - x29)^2 + (x6 - x30)^2 - (x43 + x55)^2 + x169 >= 0;

e91: (x5 - x31)^2 + (x6 - x32)^2 - (x43 + x56)^2 + x169 >= 0;

e92: (x5 - x33)^2 + (x6 - x34)^2 - (x43 + x57)^2 + x169 >= 0;

e93: (x5 - x35)^2 + (x6 - x36)^2 - (x43 + x58)^2 + x169 >= 0;

e94: (x5 - x37)^2 + (x6 - x38)^2 - (x43 + x59)^2 + x169 >= 0;

e95: (x5 - x39)^2 + (x6 - x40)^2 - (x43 + x60)^2 + x169 >= 0;

e96: (x7 - x13)^2 + (x8 - x14)^2 - (x44 + x47)^2 + x169 >= 0;

e97: (x7 - x15)^2 + (x8 - x16)^2 - (x44 + x48)^2 + x169 >= 0;

e98: (x7 - x17)^2 + (x8 - x18)^2 - (x44 + x49)^2 + x169 >= 0;

e99: (x7 - x19)^2 + (x8 - x20)^2 - (x44 + x50)^2 + x169 >= 0;

e100: (x7 - x21)^2 + (x8 - x22)^2 - (x44 + x51)^2 + x169 >= 0;

e101: (x7 - x23)^2 + (x8 - x24)^2 - (x44 + x52)^2 + x169 >= 0;

e102: (x7 - x25)^2 + (x8 - x26)^2 - (x44 + x53)^2 + x169 >= 0;

e103: (x7 - x27)^2 + (x8 - x28)^2 - (x44 + x54)^2 + x169 >= 0;

e104: (x7 - x29)^2 + (x8 - x30)^2 - (x44 + x55)^2 + x169 >= 0;

e105: (x7 - x31)^2 + (x8 - x32)^2 - (x44 + x56)^2 + x169 >= 0;

e106: (x7 - x33)^2 + (x8 - x34)^2 - (x44 + x57)^2 + x169 >= 0;

e107: (x7 - x35)^2 + (x8 - x36)^2 - (x44 + x58)^2 + x169 >= 0;

e108: (x7 - x37)^2 + (x8 - x38)^2 - (x44 + x59)^2 + x169 >= 0;

e109: (x7 - x39)^2 + (x8 - x40)^2 - (x44 + x60)^2 + x169 >= 0;

e110: (x9 - x17)^2 + (x10 - x18)^2 - (x45 + x49)^2 + x169 >= 0;

e111: (x9 - x19)^2 + (x10 - x20)^2 - (x45 + x50)^2 + x169 >= 0;

e112: (x9 - x21)^2 + (x10 - x22)^2 - (x45 + x51)^2 + x169 >= 0;

e113: (x9 - x23)^2 + (x10 - x24)^2 - (x45 + x52)^2 + x169 >= 0;

e114: (x9 - x25)^2 + (x10 - x26)^2 - (x45 + x53)^2 + x169 >= 0;

e115: (x9 - x27)^2 + (x10 - x28)^2 - (x45 + x54)^2 + x169 >= 0;

e116: (x9 - x29)^2 + (x10 - x30)^2 - (x45 + x55)^2 + x169 >= 0;

e117: (x9 - x31)^2 + (x10 - x32)^2 - (x45 + x56)^2 + x169 >= 0;

e118: (x9 - x33)^2 + (x10 - x34)^2 - (x45 + x57)^2 + x169 >= 0;

e119: (x9 - x35)^2 + (x10 - x36)^2 - (x45 + x58)^2 + x169 >= 0;

e120: (x9 - x37)^2 + (x10 - x38)^2 - (x45 + x59)^2 + x169 >= 0;

e121: (x9 - x39)^2 + (x10 - x40)^2 - (x45 + x60)^2 + x169 >= 0;

e122: (x11 - x15)^2 + (x12 - x16)^2 - (x46 + x48)^2 + x169 >= 0;

e123: (x11 - x17)^2 + (x12 - x18)^2 - (x46 + x49)^2 + x169 >= 0;

e124: (x11 - x19)^2 + (x12 - x20)^2 - (x46 + x50)^2 + x169 >= 0;

e125: (x11 - x21)^2 + (x12 - x22)^2 - (x46 + x51)^2 + x169 >= 0;

e126: (x11 - x23)^2 + (x12 - x24)^2 - (x46 + x52)^2 + x169 >= 0;

e127: (x11 - x25)^2 + (x12 - x26)^2 - (x46 + x53)^2 + x169 >= 0;

e128: (x11 - x27)^2 + (x12 - x28)^2 - (x46 + x54)^2 + x169 >= 0;

e129: (x11 - x29)^2 + (x12 - x30)^2 - (x46 + x55)^2 + x169 >= 0;

e130: (x11 - x31)^2 + (x12 - x32)^2 - (x46 + x56)^2 + x169 >= 0;

e131: (x11 - x33)^2 + (x12 - x34)^2 - (x46 + x57)^2 + x169 >= 0;

e132: (x11 - x35)^2 + (x12 - x36)^2 - (x46 + x58)^2 + x169 >= 0;

e133: (x11 - x37)^2 + (x12 - x38)^2 - (x46 + x59)^2 + x169 >= 0;

e134: (x11 - x39)^2 + (x12 - x40)^2 - (x46 + x60)^2 + x169 >= 0;

e135: (x13 - x19)^2 + (x14 - x20)^2 - (x47 + x50)^2 + x169 >= 0;

e136: (x13 - x25)^2 + (x14 - x26)^2 - (x47 + x53)^2 + x169 >= 0;

e137: (x13 - x27)^2 + (x14 - x28)^2 - (x47 + x54)^2 + x169 >= 0;

e138: (x13 - x29)^2 + (x14 - x30)^2 - (x47 + x55)^2 + x169 >= 0;

e139: (x13 - x31)^2 + (x14 - x32)^2 - (x47 + x56)^2 + x169 >= 0;

e140: (x13 - x33)^2 + (x14 - x34)^2 - (x47 + x57)^2 + x169 >= 0;

e141: (x13 - x35)^2 + (x14 - x36)^2 - (x47 + x58)^2 + x169 >= 0;

e142: (x13 - x37)^2 + (x14 - x38)^2 - (x47 + x59)^2 + x169 >= 0;

e143: (x13 - x39)^2 + (x14 - x40)^2 - (x47 + x60)^2 + x169 >= 0;

e144: (x15 - x21)^2 + (x16 - x22)^2 - (x48 + x51)^2 + x169 >= 0;

e145: (x15 - x23)^2 + (x16 - x24)^2 - (x48 + x52)^2 + x169 >= 0;

e146: (x15 - x25)^2 + (x16 - x26)^2 - (x48 + x53)^2 + x169 >= 0;

e147: (x15 - x27)^2 + (x16 - x28)^2 - (x48 + x54)^2 + x169 >= 0;

e148: (x15 - x29)^2 + (x16 - x30)^2 - (x48 + x55)^2 + x169 >= 0;

e149: (x15 - x31)^2 + (x16 - x32)^2 - (x48 + x56)^2 + x169 >= 0;

e150: (x15 - x33)^2 + (x16 - x34)^2 - (x48 + x57)^2 + x169 >= 0;

e151: (x15 - x35)^2 + (x16 - x36)^2 - (x48 + x58)^2 + x169 >= 0;

e152: (x15 - x37)^2 + (x16 - x38)^2 - (x48 + x59)^2 + x169 >= 0;

e153: (x15 - x39)^2 + (x16 - x40)^2 - (x48 + x60)^2 + x169 >= 0;

e154: (x17 - x23)^2 + (x18 - x24)^2 - (x49 + x52)^2 + x169 >= 0;

e155: (x17 - x25)^2 + (x18 - x26)^2 - (x49 + x53)^2 + x169 >= 0;

e156: (x17 - x27)^2 + (x18 - x28)^2 - (x49 + x54)^2 + x169 >= 0;

e157: (x17 - x29)^2 + (x18 - x30)^2 - (x49 + x55)^2 + x169 >= 0;

e158: (x17 - x31)^2 + (x18 - x32)^2 - (x49 + x56)^2 + x169 >= 0;

e159: (x17 - x33)^2 + (x18 - x34)^2 - (x49 + x57)^2 + x169 >= 0;

e160: (x17 - x35)^2 + (x18 - x36)^2 - (x49 + x58)^2 + x169 >= 0;

e161: (x17 - x37)^2 + (x18 - x38)^2 - (x49 + x59)^2 + x169 >= 0;

e162: (x17 - x39)^2 + (x18 - x40)^2 - (x49 + x60)^2 + x169 >= 0;

e163: (x19 - x33)^2 + (x20 - x34)^2 - (x50 + x57)^2 + x169 >= 0;

e164: (x19 - x35)^2 + (x20 - x36)^2 - (x50 + x58)^2 + x169 >= 0;

e165: (x21 - x25)^2 + (x22 - x26)^2 - (x51 + x53)^2 + x169 >= 0;

e166: (x21 - x27)^2 + (x22 - x28)^2 - (x51 + x54)^2 + x169 >= 0;

e167: (x21 - x29)^2 + (x22 - x30)^2 - (x51 + x55)^2 + x169 >= 0;

e168: (x21 - x31)^2 + (x22 - x32)^2 - (x51 + x56)^2 + x169 >= 0;

e169: (x21 - x33)^2 + (x22 - x34)^2 - (x51 + x57)^2 + x169 >= 0;

e170: (x21 - x35)^2 + (x22 - x36)^2 - (x51 + x58)^2 + x169 >= 0;

e171: (x21 - x37)^2 + (x22 - x38)^2 - (x51 + x59)^2 + x169 >= 0;

e172: (x21 - x39)^2 + (x22 - x40)^2 - (x51 + x60)^2 + x169 >= 0;

e173: (x23 - x31)^2 + (x24 - x32)^2 - (x52 + x56)^2 + x169 >= 0;

e174: (x23 - x37)^2 + (x24 - x38)^2 - (x52 + x59)^2 + x169 >= 0;

e175: (x25 - x29)^2 + (x26 - x30)^2 - (x53 + x55)^2 + x169 >= 0;

e176: (x25 - x31)^2 + (x26 - x32)^2 - (x53 + x56)^2 + x169 >= 0;

e177: (x25 - x33)^2 + (x26 - x34)^2 - (x53 + x57)^2 + x169 >= 0;

e178: (x25 - x35)^2 + (x26 - x36)^2 - (x53 + x58)^2 + x169 >= 0;

e179: (x25 - x37)^2 + (x26 - x38)^2 - (x53 + x59)^2 + x169 >= 0;

e180: (x25 - x39)^2 + (x26 - x40)^2 - (x53 + x60)^2 + x169 >= 0;

e181: (x27 - x31)^2 + (x28 - x32)^2 - (x54 + x56)^2 + x169 >= 0;

e182: (x27 - x33)^2 + (x28 - x34)^2 - (x54 + x57)^2 + x169 >= 0;

e183: (x27 - x35)^2 + (x28 - x36)^2 - (x54 + x58)^2 + x169 >= 0;

e184: (x27 - x37)^2 + (x28 - x38)^2 - (x54 + x59)^2 + x169 >= 0;

e185: (x27 - x39)^2 + (x28 - x40)^2 - (x54 + x60)^2 + x169 >= 0;

e186: (x29 - x35)^2 + (x30 - x36)^2 - (x55 + x58)^2 + x169 >= 0;

e187: (x29 - x37)^2 + (x30 - x38)^2 - (x55 + x59)^2 + x169 >= 0;

e188: (x29 - x39)^2 + (x30 - x40)^2 - (x55 + x60)^2 + x169 >= 0;

e189: (x31 - x39)^2 + (x32 - x40)^2 - (x56 + x60)^2 + x169 >= 0;

e190: (x33 - x37)^2 + (x34 - x38)^2 - (x57 + x59)^2 + x169 >= 0;

e191: (x33 - x39)^2 + (x34 - x40)^2 - (x57 + x60)^2 + x169 >= 0;