#  QCP written by GAMS Convert at 02/15/18 15:46:32
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        192        2        0      190        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#         39       39        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        763        3      760        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 := 0.5, >= 0.5, <= 2.5;
var x3 := 0.5, >= 0.5, <= 2.5;
var x4 := 0.5, >= 0.5, <= 2.5;
var x5 := 0.5, >= 0.5, <= 2.5;
var x6 := 0.5, >= 0.5, <= 2.5;
var x7 := 0.5, >= 0.5, <= 2.5;
var x8 := 0.5, >= 0.5, <= 2.5;
var x9 := 0.5, >= 0.5, <= 2.5;
var x10 := 0.5, >= 0.5, <= 2.5;
var x11 := 0.5, >= 0.5, <= 2.5;
var x12 := 0.5, >= 0.5, <= 2.5;
var x13 := 0.5, >= 0.5, <= 2.5;
var x14 := 0.5, >= 0.5, <= 2.5;
var x15 := 0.5, >= 0.5, <= 2.5;
var x16 := 0.5, >= 0.5, <= 2.5;
var x17 := 0.5, >= 0.5, <= 2.5;
var x18 := 0.5, >= 0.5, <= 2.5;
var x19;
var x20;
var x21;
var x22;
var x23;
var x24;
var x25;
var x26;
var x27;
var x28;
var x29;
var x30;
var x31;
var x32;
var x33;
var x34;
var x35;
var x36;
var x37;
var x38 := 0.5, >= 0.5, <= 2.5;
var x39 := 0.5, >= 0.5, <= 2.5;

maximize obj: 0.25*x19 - 0.5*x2*x19 + 0.5*x2*x21 - 0.5*x3*x20 + 0.5*x3*x22 - 
    0.5*x4*x21 + 0.5*x4*x23 - 0.5*x5*x22 + 0.5*x5*x24 - 0.5*x6*x23 + 0.5*x6*x25
     - 0.5*x7*x24 + 0.5*x7*x26 - 0.5*x8*x25 + 0.5*x8*x27 - 0.5*x9*x26 + 0.5*x9*
    x28 - 0.5*x10*x27 + 0.5*x10*x29 - 0.5*x11*x28 + 0.5*x11*x30 - 0.5*x12*x29
     + 0.5*x12*x31 - 0.5*x13*x30 + 0.5*x13*x32 - 0.5*x14*x31 + 0.5*x14*x33 - 
    0.5*x15*x32 + 0.5*x15*x34 - 0.5*x16*x33 + 0.5*x16*x35 - 0.5*x17*x34 + 0.5*
    x17*x36 - 0.5*x18*x35 + 0.5*x18*x37 - 0.25*x37 + 0.5*x20*x38 - 0.5*x36*x39;

subject to

e2:    x38 - x39 = 0;

e3: x19^2 + x38^2 - x38 <= 3.75;

e4: x2^2 - x2 + x20^2 <= 3.75;

e5: x3^2 - x3 + x21^2 <= 3.75;

e6: x4^2 - x4 + x22^2 <= 3.75;

e7: x5^2 - x5 + x23^2 <= 3.75;

e8: x6^2 - x6 + x24^2 <= 3.75;

e9: x7^2 - x7 + x25^2 <= 3.75;

e10: x8^2 - x8 + x26^2 <= 3.75;

e11: x9^2 - x9 + x27^2 <= 3.75;

e12: x10^2 - x10 + x28^2 <= 3.75;

e13: x11^2 - x11 + x29^2 <= 3.75;

e14: x12^2 - x12 + x30^2 <= 3.75;

e15: x13^2 - x13 + x31^2 <= 3.75;

e16: x14^2 - x14 + x32^2 <= 3.75;

e17: x15^2 - x15 + x33^2 <= 3.75;

e18: x16^2 - x16 + x34^2 <= 3.75;

e19: x17^2 - x17 + x35^2 <= 3.75;

e20: x18^2 - x18 + x36^2 <= 3.75;

e21: x37^2 + x39^2 - x39 <= 3.75;

e22: x2^2 - 2*x38*x2 + x19^2 - 2*x20*x19 + x20^2 + x38^2 <= 4;

e23: x3^2 - 2*x38*x3 + x19^2 - 2*x21*x19 + x21^2 + x38^2 <= 4;

e24: x4^2 - 2*x38*x4 + x19^2 - 2*x22*x19 + x22^2 + x38^2 <= 4;

e25: x5^2 - 2*x38*x5 + x19^2 - 2*x23*x19 + x23^2 + x38^2 <= 4;

e26: x6^2 - 2*x38*x6 + x19^2 - 2*x24*x19 + x24^2 + x38^2 <= 4;

e27: x7^2 - 2*x38*x7 + x19^2 - 2*x25*x19 + x25^2 + x38^2 <= 4;

e28: x8^2 - 2*x38*x8 + x19^2 - 2*x26*x19 + x26^2 + x38^2 <= 4;

e29: x9^2 - 2*x38*x9 + x19^2 - 2*x27*x19 + x27^2 + x38^2 <= 4;

e30: x10^2 - 2*x38*x10 + x19^2 - 2*x28*x19 + x28^2 + x38^2 <= 4;

e31: x11^2 - 2*x38*x11 + x19^2 - 2*x29*x19 + x29^2 + x38^2 <= 4;

e32: x12^2 - 2*x38*x12 + x19^2 - 2*x30*x19 + x30^2 + x38^2 <= 4;

e33: x13^2 - 2*x38*x13 + x19^2 - 2*x31*x19 + x31^2 + x38^2 <= 4;

e34: x14^2 - 2*x38*x14 + x19^2 - 2*x32*x19 + x32^2 + x38^2 <= 4;

e35: x15^2 - 2*x38*x15 + x19^2 - 2*x33*x19 + x33^2 + x38^2 <= 4;

e36: x16^2 - 2*x38*x16 + x19^2 - 2*x34*x19 + x34^2 + x38^2 <= 4;

e37: x17^2 - 2*x38*x17 + x19^2 - 2*x35*x19 + x35^2 + x38^2 <= 4;

e38: x18^2 - 2*x38*x18 + x19^2 - 2*x36*x19 + x36^2 + x38^2 <= 4;

e39: x19^2 - 2*x37*x19 + x37^2 + x38^2 - 2*x39*x38 + x39^2 <= 4;

e40: x2^2 - 2*x3*x2 + x3^2 + x20^2 - 2*x21*x20 + x21^2 <= 4;

e41: x2^2 - 2*x4*x2 + x4^2 + x20^2 - 2*x22*x20 + x22^2 <= 4;

e42: x2^2 - 2*x5*x2 + x5^2 + x20^2 - 2*x23*x20 + x23^2 <= 4;

e43: x2^2 - 2*x6*x2 + x6^2 + x20^2 - 2*x24*x20 + x24^2 <= 4;

e44: x2^2 - 2*x7*x2 + x7^2 + x20^2 - 2*x25*x20 + x25^2 <= 4;

e45: x2^2 - 2*x8*x2 + x8^2 + x20^2 - 2*x26*x20 + x26^2 <= 4;

e46: x2^2 - 2*x9*x2 + x9^2 + x20^2 - 2*x27*x20 + x27^2 <= 4;

e47: x2^2 - 2*x10*x2 + x10^2 + x20^2 - 2*x28*x20 + x28^2 <= 4;

e48: x2^2 - 2*x11*x2 + x11^2 + x20^2 - 2*x29*x20 + x29^2 <= 4;

e49: x2^2 - 2*x12*x2 + x12^2 + x20^2 - 2*x30*x20 + x30^2 <= 4;

e50: x2^2 - 2*x13*x2 + x13^2 + x20^2 - 2*x31*x20 + x31^2 <= 4;

e51: x2^2 - 2*x14*x2 + x14^2 + x20^2 - 2*x32*x20 + x32^2 <= 4;

e52: x2^2 - 2*x15*x2 + x15^2 + x20^2 - 2*x33*x20 + x33^2 <= 4;

e53: x2^2 - 2*x16*x2 + x16^2 + x20^2 - 2*x34*x20 + x34^2 <= 4;

e54: x2^2 - 2*x17*x2 + x17^2 + x20^2 - 2*x35*x20 + x35^2 <= 4;

e55: x2^2 - 2*x18*x2 + x18^2 + x20^2 - 2*x36*x20 + x36^2 <= 4;

e56: x2^2 - 2*x39*x2 + x20^2 - 2*x37*x20 + x37^2 + x39^2 <= 4;

e57: x3^2 - 2*x4*x3 + x4^2 + x21^2 - 2*x22*x21 + x22^2 <= 4;

e58: x3^2 - 2*x5*x3 + x5^2 + x21^2 - 2*x23*x21 + x23^2 <= 4;

e59: x3^2 - 2*x6*x3 + x6^2 + x21^2 - 2*x24*x21 + x24^2 <= 4;

e60: x3^2 - 2*x7*x3 + x7^2 + x21^2 - 2*x25*x21 + x25^2 <= 4;

e61: x3^2 - 2*x8*x3 + x8^2 + x21^2 - 2*x26*x21 + x26^2 <= 4;

e62: x3^2 - 2*x9*x3 + x9^2 + x21^2 - 2*x27*x21 + x27^2 <= 4;

e63: x3^2 - 2*x10*x3 + x10^2 + x21^2 - 2*x28*x21 + x28^2 <= 4;

e64: x3^2 - 2*x11*x3 + x11^2 + x21^2 - 2*x29*x21 + x29^2 <= 4;

e65: x3^2 - 2*x12*x3 + x12^2 + x21^2 - 2*x30*x21 + x30^2 <= 4;

e66: x3^2 - 2*x13*x3 + x13^2 + x21^2 - 2*x31*x21 + x31^2 <= 4;

e67: x3^2 - 2*x14*x3 + x14^2 + x21^2 - 2*x32*x21 + x32^2 <= 4;

e68: x3^2 - 2*x15*x3 + x15^2 + x21^2 - 2*x33*x21 + x33^2 <= 4;

e69: x3^2 - 2*x16*x3 + x16^2 + x21^2 - 2*x34*x21 + x34^2 <= 4;

e70: x3^2 - 2*x17*x3 + x17^2 + x21^2 - 2*x35*x21 + x35^2 <= 4;

e71: x3^2 - 2*x18*x3 + x18^2 + x21^2 - 2*x36*x21 + x36^2 <= 4;

e72: x3^2 - 2*x39*x3 + x21^2 - 2*x37*x21 + x37^2 + x39^2 <= 4;

e73: x4^2 - 2*x5*x4 + x5^2 + x22^2 - 2*x23*x22 + x23^2 <= 4;

e74: x4^2 - 2*x6*x4 + x6^2 + x22^2 - 2*x24*x22 + x24^2 <= 4;

e75: x4^2 - 2*x7*x4 + x7^2 + x22^2 - 2*x25*x22 + x25^2 <= 4;

e76: x4^2 - 2*x8*x4 + x8^2 + x22^2 - 2*x26*x22 + x26^2 <= 4;

e77: x4^2 - 2*x9*x4 + x9^2 + x22^2 - 2*x27*x22 + x27^2 <= 4;

e78: x4^2 - 2*x10*x4 + x10^2 + x22^2 - 2*x28*x22 + x28^2 <= 4;

e79: x4^2 - 2*x11*x4 + x11^2 + x22^2 - 2*x29*x22 + x29^2 <= 4;

e80: x4^2 - 2*x12*x4 + x12^2 + x22^2 - 2*x30*x22 + x30^2 <= 4;

e81: x4^2 - 2*x13*x4 + x13^2 + x22^2 - 2*x31*x22 + x31^2 <= 4;

e82: x4^2 - 2*x14*x4 + x14^2 + x22^2 - 2*x32*x22 + x32^2 <= 4;

e83: x4^2 - 2*x15*x4 + x15^2 + x22^2 - 2*x33*x22 + x33^2 <= 4;

e84: x4^2 - 2*x16*x4 + x16^2 + x22^2 - 2*x34*x22 + x34^2 <= 4;

e85: x4^2 - 2*x17*x4 + x17^2 + x22^2 - 2*x35*x22 + x35^2 <= 4;

e86: x4^2 - 2*x18*x4 + x18^2 + x22^2 - 2*x36*x22 + x36^2 <= 4;

e87: x4^2 - 2*x39*x4 + x22^2 - 2*x37*x22 + x37^2 + x39^2 <= 4;

e88: x5^2 - 2*x6*x5 + x6^2 + x23^2 - 2*x24*x23 + x24^2 <= 4;

e89: x5^2 - 2*x7*x5 + x7^2 + x23^2 - 2*x25*x23 + x25^2 <= 4;

e90: x5^2 - 2*x8*x5 + x8^2 + x23^2 - 2*x26*x23 + x26^2 <= 4;

e91: x5^2 - 2*x9*x5 + x9^2 + x23^2 - 2*x27*x23 + x27^2 <= 4;

e92: x5^2 - 2*x10*x5 + x10^2 + x23^2 - 2*x28*x23 + x28^2 <= 4;

e93: x5^2 - 2*x11*x5 + x11^2 + x23^2 - 2*x29*x23 + x29^2 <= 4;

e94: x5^2 - 2*x12*x5 + x12^2 + x23^2 - 2*x30*x23 + x30^2 <= 4;

e95: x5^2 - 2*x13*x5 + x13^2 + x23^2 - 2*x31*x23 + x31^2 <= 4;

e96: x5^2 - 2*x14*x5 + x14^2 + x23^2 - 2*x32*x23 + x32^2 <= 4;

e97: x5^2 - 2*x15*x5 + x15^2 + x23^2 - 2*x33*x23 + x33^2 <= 4;

e98: x5^2 - 2*x16*x5 + x16^2 + x23^2 - 2*x34*x23 + x34^2 <= 4;

e99: x5^2 - 2*x17*x5 + x17^2 + x23^2 - 2*x35*x23 + x35^2 <= 4;

e100: x5^2 - 2*x18*x5 + x18^2 + x23^2 - 2*x36*x23 + x36^2 <= 4;

e101: x5^2 - 2*x39*x5 + x23^2 - 2*x37*x23 + x37^2 + x39^2 <= 4;

e102: x6^2 - 2*x7*x6 + x7^2 + x24^2 - 2*x25*x24 + x25^2 <= 4;

e103: x6^2 - 2*x8*x6 + x8^2 + x24^2 - 2*x26*x24 + x26^2 <= 4;

e104: x6^2 - 2*x9*x6 + x9^2 + x24^2 - 2*x27*x24 + x27^2 <= 4;

e105: x6^2 - 2*x10*x6 + x10^2 + x24^2 - 2*x28*x24 + x28^2 <= 4;

e106: x6^2 - 2*x11*x6 + x11^2 + x24^2 - 2*x29*x24 + x29^2 <= 4;

e107: x6^2 - 2*x12*x6 + x12^2 + x24^2 - 2*x30*x24 + x30^2 <= 4;

e108: x6^2 - 2*x13*x6 + x13^2 + x24^2 - 2*x31*x24 + x31^2 <= 4;

e109: x6^2 - 2*x14*x6 + x14^2 + x24^2 - 2*x32*x24 + x32^2 <= 4;

e110: x6^2 - 2*x15*x6 + x15^2 + x24^2 - 2*x33*x24 + x33^2 <= 4;

e111: x6^2 - 2*x16*x6 + x16^2 + x24^2 - 2*x34*x24 + x34^2 <= 4;

e112: x6^2 - 2*x17*x6 + x17^2 + x24^2 - 2*x35*x24 + x35^2 <= 4;

e113: x6^2 - 2*x18*x6 + x18^2 + x24^2 - 2*x36*x24 + x36^2 <= 4;

e114: x6^2 - 2*x39*x6 + x24^2 - 2*x37*x24 + x37^2 + x39^2 <= 4;

e115: x7^2 - 2*x8*x7 + x8^2 + x25^2 - 2*x26*x25 + x26^2 <= 4;

e116: x7^2 - 2*x9*x7 + x9^2 + x25^2 - 2*x27*x25 + x27^2 <= 4;

e117: x7^2 - 2*x10*x7 + x10^2 + x25^2 - 2*x28*x25 + x28^2 <= 4;

e118: x7^2 - 2*x11*x7 + x11^2 + x25^2 - 2*x29*x25 + x29^2 <= 4;

e119: x7^2 - 2*x12*x7 + x12^2 + x25^2 - 2*x30*x25 + x30^2 <= 4;

e120: x7^2 - 2*x13*x7 + x13^2 + x25^2 - 2*x31*x25 + x31^2 <= 4;

e121: x7^2 - 2*x14*x7 + x14^2 + x25^2 - 2*x32*x25 + x32^2 <= 4;

e122: x7^2 - 2*x15*x7 + x15^2 + x25^2 - 2*x33*x25 + x33^2 <= 4;

e123: x7^2 - 2*x16*x7 + x16^2 + x25^2 - 2*x34*x25 + x34^2 <= 4;

e124: x7^2 - 2*x17*x7 + x17^2 + x25^2 - 2*x35*x25 + x35^2 <= 4;

e125: x7^2 - 2*x18*x7 + x18^2 + x25^2 - 2*x36*x25 + x36^2 <= 4;

e126: x7^2 - 2*x39*x7 + x25^2 - 2*x37*x25 + x37^2 + x39^2 <= 4;

e127: x8^2 - 2*x9*x8 + x9^2 + x26^2 - 2*x27*x26 + x27^2 <= 4;

e128: x8^2 - 2*x10*x8 + x10^2 + x26^2 - 2*x28*x26 + x28^2 <= 4;

e129: x8^2 - 2*x11*x8 + x11^2 + x26^2 - 2*x29*x26 + x29^2 <= 4;

e130: x8^2 - 2*x12*x8 + x12^2 + x26^2 - 2*x30*x26 + x30^2 <= 4;

e131: x8^2 - 2*x13*x8 + x13^2 + x26^2 - 2*x31*x26 + x31^2 <= 4;

e132: x8^2 - 2*x14*x8 + x14^2 + x26^2 - 2*x32*x26 + x32^2 <= 4;

e133: x8^2 - 2*x15*x8 + x15^2 + x26^2 - 2*x33*x26 + x33^2 <= 4;

e134: x8^2 - 2*x16*x8 + x16^2 + x26^2 - 2*x34*x26 + x34^2 <= 4;

e135: x8^2 - 2*x17*x8 + x17^2 + x26^2 - 2*x35*x26 + x35^2 <= 4;

e136: x8^2 - 2*x18*x8 + x18^2 + x26^2 - 2*x36*x26 + x36^2 <= 4;

e137: x8^2 - 2*x39*x8 + x26^2 - 2*x37*x26 + x37^2 + x39^2 <= 4;

e138: x9^2 - 2*x10*x9 + x10^2 + x27^2 - 2*x28*x27 + x28^2 <= 4;

e139: x9^2 - 2*x11*x9 + x11^2 + x27^2 - 2*x29*x27 + x29^2 <= 4;

e140: x9^2 - 2*x12*x9 + x12^2 + x27^2 - 2*x30*x27 + x30^2 <= 4;

e141: x9^2 - 2*x13*x9 + x13^2 + x27^2 - 2*x31*x27 + x31^2 <= 4;

e142: x9^2 - 2*x14*x9 + x14^2 + x27^2 - 2*x32*x27 + x32^2 <= 4;

e143: x9^2 - 2*x15*x9 + x15^2 + x27^2 - 2*x33*x27 + x33^2 <= 4;

e144: x9^2 - 2*x16*x9 + x16^2 + x27^2 - 2*x34*x27 + x34^2 <= 4;

e145: x9^2 - 2*x17*x9 + x17^2 + x27^2 - 2*x35*x27 + x35^2 <= 4;

e146: x9^2 - 2*x18*x9 + x18^2 + x27^2 - 2*x36*x27 + x36^2 <= 4;

e147: x9^2 - 2*x39*x9 + x27^2 - 2*x37*x27 + x37^2 + x39^2 <= 4;

e148: x10^2 - 2*x11*x10 + x11^2 + x28^2 - 2*x29*x28 + x29^2 <= 4;

e149: x10^2 - 2*x12*x10 + x12^2 + x28^2 - 2*x30*x28 + x30^2 <= 4;

e150: x10^2 - 2*x13*x10 + x13^2 + x28^2 - 2*x31*x28 + x31^2 <= 4;

e151: x10^2 - 2*x14*x10 + x14^2 + x28^2 - 2*x32*x28 + x32^2 <= 4;

e152: x10^2 - 2*x15*x10 + x15^2 + x28^2 - 2*x33*x28 + x33^2 <= 4;

e153: x10^2 - 2*x16*x10 + x16^2 + x28^2 - 2*x34*x28 + x34^2 <= 4;

e154: x10^2 - 2*x17*x10 + x17^2 + x28^2 - 2*x35*x28 + x35^2 <= 4;

e155: x10^2 - 2*x18*x10 + x18^2 + x28^2 - 2*x36*x28 + x36^2 <= 4;

e156: x10^2 - 2*x39*x10 + x28^2 - 2*x37*x28 + x37^2 + x39^2 <= 4;

e157: x11^2 - 2*x12*x11 + x12^2 + x29^2 - 2*x30*x29 + x30^2 <= 4;

e158: x11^2 - 2*x13*x11 + x13^2 + x29^2 - 2*x31*x29 + x31^2 <= 4;

e159: x11^2 - 2*x14*x11 + x14^2 + x29^2 - 2*x32*x29 + x32^2 <= 4;

e160: x11^2 - 2*x15*x11 + x15^2 + x29^2 - 2*x33*x29 + x33^2 <= 4;

e161: x11^2 - 2*x16*x11 + x16^2 + x29^2 - 2*x34*x29 + x34^2 <= 4;

e162: x11^2 - 2*x17*x11 + x17^2 + x29^2 - 2*x35*x29 + x35^2 <= 4;

e163: x11^2 - 2*x18*x11 + x18^2 + x29^2 - 2*x36*x29 + x36^2 <= 4;

e164: x11^2 - 2*x39*x11 + x29^2 - 2*x37*x29 + x37^2 + x39^2 <= 4;

e165: x12^2 - 2*x13*x12 + x13^2 + x30^2 - 2*x31*x30 + x31^2 <= 4;

e166: x12^2 - 2*x14*x12 + x14^2 + x30^2 - 2*x32*x30 + x32^2 <= 4;

e167: x12^2 - 2*x15*x12 + x15^2 + x30^2 - 2*x33*x30 + x33^2 <= 4;

e168: x12^2 - 2*x16*x12 + x16^2 + x30^2 - 2*x34*x30 + x34^2 <= 4;

e169: x12^2 - 2*x17*x12 + x17^2 + x30^2 - 2*x35*x30 + x35^2 <= 4;

e170: x12^2 - 2*x18*x12 + x18^2 + x30^2 - 2*x36*x30 + x36^2 <= 4;

e171: x12^2 - 2*x39*x12 + x30^2 - 2*x37*x30 + x37^2 + x39^2 <= 4;

e172: x13^2 - 2*x14*x13 + x14^2 + x31^2 - 2*x32*x31 + x32^2 <= 4;

e173: x13^2 - 2*x15*x13 + x15^2 + x31^2 - 2*x33*x31 + x33^2 <= 4;

e174: x13^2 - 2*x16*x13 + x16^2 + x31^2 - 2*x34*x31 + x34^2 <= 4;

e175: x13^2 - 2*x17*x13 + x17^2 + x31^2 - 2*x35*x31 + x35^2 <= 4;

e176: x13^2 - 2*x18*x13 + x18^2 + x31^2 - 2*x36*x31 + x36^2 <= 4;

e177: x13^2 - 2*x39*x13 + x31^2 - 2*x37*x31 + x37^2 + x39^2 <= 4;

e178: x14^2 - 2*x15*x14 + x15^2 + x32^2 - 2*x33*x32 + x33^2 <= 4;

e179: x14^2 - 2*x16*x14 + x16^2 + x32^2 - 2*x34*x32 + x34^2 <= 4;

e180: x14^2 - 2*x17*x14 + x17^2 + x32^2 - 2*x35*x32 + x35^2 <= 4;

e181: x14^2 - 2*x18*x14 + x18^2 + x32^2 - 2*x36*x32 + x36^2 <= 4;

e182: x14^2 - 2*x39*x14 + x32^2 - 2*x37*x32 + x37^2 + x39^2 <= 4;

e183: x15^2 - 2*x16*x15 + x16^2 + x33^2 - 2*x34*x33 + x34^2 <= 4;

e184: x15^2 - 2*x17*x15 + x17^2 + x33^2 - 2*x35*x33 + x35^2 <= 4;

e185: x15^2 - 2*x18*x15 + x18^2 + x33^2 - 2*x36*x33 + x36^2 <= 4;

e186: x15^2 - 2*x39*x15 + x33^2 - 2*x37*x33 + x37^2 + x39^2 <= 4;

e187: x16^2 - 2*x17*x16 + x17^2 + x34^2 - 2*x35*x34 + x35^2 <= 4;

e188: x16^2 - 2*x18*x16 + x18^2 + x34^2 - 2*x36*x34 + x36^2 <= 4;

e189: x16^2 - 2*x39*x16 + x34^2 - 2*x37*x34 + x37^2 + x39^2 <= 4;

e190: x17^2 - 2*x18*x17 + x18^2 + x35^2 - 2*x36*x35 + x36^2 <= 4;

e191: x17^2 - 2*x39*x17 + x35^2 - 2*x37*x35 + x37^2 + x39^2 <= 4;

e192: x18^2 - 2*x39*x18 + x36^2 - 2*x37*x36 + x37^2 + x39^2 <= 4;