#  NLP written by GAMS Convert at 01/12/18 13:34:53
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        300       24      276        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#         97       97        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2580      276     2304        0


var x1 := -1.313011472, >= -2, <= 2;
var x2 := 1.373066832, >= -2, <= 2;
var x3 := 0.201501424, >= -2, <= 2;
var x4 := -0.795448384, >= -2, <= 2;
var x5 := -0.831151532, >= -2, <= 2;
var x6 := -1.103788532, >= -2, <= 2;
var x7 := -0.600677984, >= -2, <= 2;
var x8 := 1.425081388, >= -2, <= 2;
var x9 := -1.731545108, >= -2, <= 2;
var x10 := 0.000842675999999987, >= -2, <= 2;
var x11 := 1.992470508, >= -2, <= 2;
var x12 := 0.314933512, >= -2, <= 2;
var x13 := 1.964532156, >= -2, <= 2;
var x14 := 1.049001868, >= -2, <= 2;
var x15 := -1.477230068, >= -2, <= 2;
var x16 := 0.558875036, >= -2, <= 2;
var x17 := -1.361928544, >= -2, <= 2;
var x18 := -0.999677868, >= -2, <= 2;
var x19 := 0.675714436, >= -2, <= 2;
var x20 := -0.258574476, >= -2, <= 2;
var x21 := -0.561198936, >= -2, <= 2;
var x22 := -0.594234528, >= -2, <= 2;
var x23 := -1.47403364, >= -2, <= 2;
var x24 := -1.399592848, >= -2, <= 2;
var x25 := 0.3564546, >= -2, <= 2;
var x26 := 1.323571248, >= -2, <= 2;
var x27 := -1.076737048, >= -2, <= 2;
var x28 := 0.66293784, >= -2, <= 2;
var x29 := 1.103430424, >= -2, <= 2;
var x30 := -0.785366092, >= -2, <= 2;
var x31 := -1.558030836, >= -2, <= 2;
var x32 := 0.00953946399999994, >= -2, <= 2;
var x33 := -1.359308952, >= -2, <= 2;
var x34 := 1.489849244, >= -2, <= 2;
var x35 := -0.93954182, >= -2, <= 2;
var x36 := -0.856742712, >= -2, <= 2;
var x37 := 0.375823688, >= -2, <= 2;
var x38 := 0.890876284, >= -2, <= 2;
var x39 := 0.512994708, >= -2, <= 2;
var x40 := -0.14480854, >= -2, <= 2;
var x41 := -0.346772024, >= -2, <= 2;
var x42 := -1.529218572, >= -2, <= 2;
var x43 := -0.743150932, >= -2, <= 2;
var x44 := -1.813793944, >= -2, <= 2;
var x45 := -0.645798912, >= -2, <= 2;
var x46 := -1.271601628, >= -2, <= 2;
var x47 := 0.582908508, >= -2, <= 2;
var x48 := 0.242982188, >= -2, <= 2;
var x49 := 1.07984688, >= -2, <= 2;
var x50 := -0.808776544, >= -2, <= 2;
var x51 := 0.644425044, >= -2, <= 2;
var x52 := 1.023286696, >= -2, <= 2;
var x53 := 0.509789996, >= -2, <= 2;
var x54 := -0.864543208, >= -2, <= 2;
var x55 := -1.654301504, >= -2, <= 2;
var x56 := -1.589941324, >= -2, <= 2;
var x57 := 0.565004604, >= -2, <= 2;
var x58 := 0.181237992, >= -2, <= 2;
var x59 := -1.873900592, >= -2, <= 2;
var x60 := 1.169442568, >= -2, <= 2;
var x61 := -1.708932008, >= -2, <= 2;
var x62 := -1.297355804, >= -2, <= 2;
var x63 := 0.102530452, >= -2, <= 2;
var x64 := 1.000830676, >= -2, <= 2;
var x65 := -1.287505144, >= -2, <= 2;
var x66 := -1.863436056, >= -2, <= 2;
var x67 := 0.340524692, >= -2, <= 2;
var x68 := 0.484919936, >= -2, <= 2;
var x69 := -0.4425524, >= -2, <= 2;
var x70 := -0.565143388, >= -2, <= 2;
var x71 := -1.027861532, >= -2, <= 2;
var x72 := -1.014313844, >= -2, <= 2;
var x73 := -1.477988788, >= -2, <= 2;
var x74 := 1.73379888, >= -2, <= 2;
var x75 := -0.480248376, >= -2, <= 2;
var x76 := 1.133601844, >= -2, <= 2;
var x77 := -0.799862968, >= -2, <= 2;
var x78 := -1.498067112, >= -2, <= 2;
var x79 := 0.99549642, >= -2, <= 2;
var x80 := -1.723070148, >= -2, <= 2;
var x81 := -1.191937772, >= -2, <= 2;
var x82 := -1.979736568, >= -2, <= 2;
var x83 := -0.921547792, >= -2, <= 2;
var x84 := -0.00059409999999982, >= -2, <= 2;
var x85 := -1.394856524, >= -2, <= 2;
var x86 := -1.30332218, >= -2, <= 2;
var x87 := -0.677449064, >= -2, <= 2;
var x88 := -0.732375784, >= -2, <= 2;
var x89 := -0.71165218, >= -2, <= 2;
var x90 := 1.855906564, >= -2, <= 2;
var x91 := 1.97440882, >= -2, <= 2;
var x92 := -0.52038778, >= -2, <= 2;
var x93 := -0.508445732, >= -2, <= 2;
var x94 := 1.08791332, >= -2, <= 2;
var x95 := -0.413263432, >= -2, <= 2;
var x96 := 1.6523853, >= -2, <= 2;
var x97;

maximize obj: x97;

subject to

e1: x1^2 + x2^2 + x3^2 + x4^2 = 4;

e2: x5^2 + x6^2 + x7^2 + x8^2 = 4;

e3: x9^2 + x10^2 + x11^2 + x12^2 = 4;

e4: x13^2 + x14^2 + x15^2 + x16^2 = 4;

e5: x17^2 + x18^2 + x19^2 + x20^2 = 4;

e6: x21^2 + x22^2 + x23^2 + x24^2 = 4;

e7: x25^2 + x26^2 + x27^2 + x28^2 = 4;

e8: x29^2 + x30^2 + x31^2 + x32^2 = 4;

e9: x33^2 + x34^2 + x35^2 + x36^2 = 4;

e10: x37^2 + x38^2 + x39^2 + x40^2 = 4;

e11: x41^2 + x42^2 + x43^2 + x44^2 = 4;

e12: x45^2 + x46^2 + x47^2 + x48^2 = 4;

e13: x49^2 + x50^2 + x51^2 + x52^2 = 4;

e14: x53^2 + x54^2 + x55^2 + x56^2 = 4;

e15: x57^2 + x58^2 + x59^2 + x60^2 = 4;

e16: x61^2 + x62^2 + x63^2 + x64^2 = 4;

e17: x65^2 + x66^2 + x67^2 + x68^2 = 4;

e18: x69^2 + x70^2 + x71^2 + x72^2 = 4;

e19: x73^2 + x74^2 + x75^2 + x76^2 = 4;

e20: x77^2 + x78^2 + x79^2 + x80^2 = 4;

e21: x81^2 + x82^2 + x83^2 + x84^2 = 4;

e22: x85^2 + x86^2 + x87^2 + x88^2 = 4;

e23: x89^2 + x90^2 + x91^2 + x92^2 = 4;

e24: x93^2 + x94^2 + x95^2 + x96^2 = 4;

e25: (x1 - x5)^2 + (x2 - x6)^2 + (x3 - x7)^2 + (x4 - x8)^2 - 4*x97 >= 0;

e26: (x1 - x9)^2 + (x2 - x10)^2 + (x3 - x11)^2 + (x4 - x12)^2 - 4*x97 >= 0;

e27: (x1 - x13)^2 + (x2 - x14)^2 + (x3 - x15)^2 + (x4 - x16)^2 - 4*x97 >= 0;

e28: (x1 - x17)^2 + (x2 - x18)^2 + (x3 - x19)^2 + (x4 - x20)^2 - 4*x97 >= 0;

e29: (x1 - x21)^2 + (x2 - x22)^2 + (x3 - x23)^2 + (x4 - x24)^2 - 4*x97 >= 0;

e30: (x1 - x25)^2 + (x2 - x26)^2 + (x3 - x27)^2 + (x4 - x28)^2 - 4*x97 >= 0;

e31: (x1 - x29)^2 + (x2 - x30)^2 + (x3 - x31)^2 + (x4 - x32)^2 - 4*x97 >= 0;

e32: (x1 - x33)^2 + (x2 - x34)^2 + (x3 - x35)^2 + (x4 - x36)^2 - 4*x97 >= 0;

e33: (x1 - x37)^2 + (x2 - x38)^2 + (x3 - x39)^2 + (x4 - x40)^2 - 4*x97 >= 0;

e34: (x1 - x41)^2 + (x2 - x42)^2 + (x3 - x43)^2 + (x4 - x44)^2 - 4*x97 >= 0;

e35: (x1 - x45)^2 + (x2 - x46)^2 + (x3 - x47)^2 + (x4 - x48)^2 - 4*x97 >= 0;

e36: (x1 - x49)^2 + (x2 - x50)^2 + (x3 - x51)^2 + (x4 - x52)^2 - 4*x97 >= 0;

e37: (x1 - x53)^2 + (x2 - x54)^2 + (x3 - x55)^2 + (x4 - x56)^2 - 4*x97 >= 0;

e38: (x1 - x57)^2 + (x2 - x58)^2 + (x3 - x59)^2 + (x4 - x60)^2 - 4*x97 >= 0;

e39: (x1 - x61)^2 + (x2 - x62)^2 + (x3 - x63)^2 + (x4 - x64)^2 - 4*x97 >= 0;

e40: (x1 - x65)^2 + (x2 - x66)^2 + (x3 - x67)^2 + (x4 - x68)^2 - 4*x97 >= 0;

e41: (x1 - x69)^2 + (x2 - x70)^2 + (x3 - x71)^2 + (x4 - x72)^2 - 4*x97 >= 0;

e42: (x1 - x73)^2 + (x2 - x74)^2 + (x3 - x75)^2 + (x4 - x76)^2 - 4*x97 >= 0;

e43: (x1 - x77)^2 + (x2 - x78)^2 + (x3 - x79)^2 + (x4 - x80)^2 - 4*x97 >= 0;

e44: (x1 - x81)^2 + (x2 - x82)^2 + (x3 - x83)^2 + (x4 - x84)^2 - 4*x97 >= 0;

e45: (x1 - x85)^2 + (x2 - x86)^2 + (x3 - x87)^2 + (x4 - x88)^2 - 4*x97 >= 0;

e46: (x1 - x89)^2 + (x2 - x90)^2 + (x3 - x91)^2 + (x4 - x92)^2 - 4*x97 >= 0;

e47: (x1 - x93)^2 + (x2 - x94)^2 + (x3 - x95)^2 + (x4 - x96)^2 - 4*x97 >= 0;

e48: (x5 - x9)^2 + (x6 - x10)^2 + (x7 - x11)^2 + (x8 - x12)^2 - 4*x97 >= 0;

e49: (x5 - x13)^2 + (x6 - x14)^2 + (x7 - x15)^2 + (x8 - x16)^2 - 4*x97 >= 0;

e50: (x5 - x17)^2 + (x6 - x18)^2 + (x7 - x19)^2 + (x8 - x20)^2 - 4*x97 >= 0;

e51: (x5 - x21)^2 + (x6 - x22)^2 + (x7 - x23)^2 + (x8 - x24)^2 - 4*x97 >= 0;

e52: (x5 - x25)^2 + (x6 - x26)^2 + (x7 - x27)^2 + (x8 - x28)^2 - 4*x97 >= 0;

e53: (x5 - x29)^2 + (x6 - x30)^2 + (x7 - x31)^2 + (x8 - x32)^2 - 4*x97 >= 0;

e54: (x5 - x33)^2 + (x6 - x34)^2 + (x7 - x35)^2 + (x8 - x36)^2 - 4*x97 >= 0;

e55: (x5 - x37)^2 + (x6 - x38)^2 + (x7 - x39)^2 + (x8 - x40)^2 - 4*x97 >= 0;

e56: (x5 - x41)^2 + (x6 - x42)^2 + (x7 - x43)^2 + (x8 - x44)^2 - 4*x97 >= 0;

e57: (x5 - x45)^2 + (x6 - x46)^2 + (x7 - x47)^2 + (x8 - x48)^2 - 4*x97 >= 0;

e58: (x5 - x49)^2 + (x6 - x50)^2 + (x7 - x51)^2 + (x8 - x52)^2 - 4*x97 >= 0;

e59: (x5 - x53)^2 + (x6 - x54)^2 + (x7 - x55)^2 + (x8 - x56)^2 - 4*x97 >= 0;

e60: (x5 - x57)^2 + (x6 - x58)^2 + (x7 - x59)^2 + (x8 - x60)^2 - 4*x97 >= 0;

e61: (x5 - x61)^2 + (x6 - x62)^2 + (x7 - x63)^2 + (x8 - x64)^2 - 4*x97 >= 0;

e62: (x5 - x65)^2 + (x6 - x66)^2 + (x7 - x67)^2 + (x8 - x68)^2 - 4*x97 >= 0;

e63: (x5 - x69)^2 + (x6 - x70)^2 + (x7 - x71)^2 + (x8 - x72)^2 - 4*x97 >= 0;

e64: (x5 - x73)^2 + (x6 - x74)^2 + (x7 - x75)^2 + (x8 - x76)^2 - 4*x97 >= 0;

e65: (x5 - x77)^2 + (x6 - x78)^2 + (x7 - x79)^2 + (x8 - x80)^2 - 4*x97 >= 0;

e66: (x5 - x81)^2 + (x6 - x82)^2 + (x7 - x83)^2 + (x8 - x84)^2 - 4*x97 >= 0;

e67: (x5 - x85)^2 + (x6 - x86)^2 + (x7 - x87)^2 + (x8 - x88)^2 - 4*x97 >= 0;

e68: (x5 - x89)^2 + (x6 - x90)^2 + (x7 - x91)^2 + (x8 - x92)^2 - 4*x97 >= 0;

e69: (x5 - x93)^2 + (x6 - x94)^2 + (x7 - x95)^2 + (x8 - x96)^2 - 4*x97 >= 0;

e70: (x9 - x13)^2 + (x10 - x14)^2 + (x11 - x15)^2 + (x12 - x16)^2 - 4*x97 >= 0;

e71: (x9 - x17)^2 + (x10 - x18)^2 + (x11 - x19)^2 + (x12 - x20)^2 - 4*x97 >= 0;

e72: (x9 - x21)^2 + (x10 - x22)^2 + (x11 - x23)^2 + (x12 - x24)^2 - 4*x97 >= 0;

e73: (x9 - x25)^2 + (x10 - x26)^2 + (x11 - x27)^2 + (x12 - x28)^2 - 4*x97 >= 0;

e74: (x9 - x29)^2 + (x10 - x30)^2 + (x11 - x31)^2 + (x12 - x32)^2 - 4*x97 >= 0;

e75: (x9 - x33)^2 + (x10 - x34)^2 + (x11 - x35)^2 + (x12 - x36)^2 - 4*x97 >= 0;

e76: (x9 - x37)^2 + (x10 - x38)^2 + (x11 - x39)^2 + (x12 - x40)^2 - 4*x97 >= 0;

e77: (x9 - x41)^2 + (x10 - x42)^2 + (x11 - x43)^2 + (x12 - x44)^2 - 4*x97 >= 0;

e78: (x9 - x45)^2 + (x10 - x46)^2 + (x11 - x47)^2 + (x12 - x48)^2 - 4*x97 >= 0;

e79: (x9 - x49)^2 + (x10 - x50)^2 + (x11 - x51)^2 + (x12 - x52)^2 - 4*x97 >= 0;

e80: (x9 - x53)^2 + (x10 - x54)^2 + (x11 - x55)^2 + (x12 - x56)^2 - 4*x97 >= 0;

e81: (x9 - x57)^2 + (x10 - x58)^2 + (x11 - x59)^2 + (x12 - x60)^2 - 4*x97 >= 0;

e82: (x9 - x61)^2 + (x10 - x62)^2 + (x11 - x63)^2 + (x12 - x64)^2 - 4*x97 >= 0;

e83: (x9 - x65)^2 + (x10 - x66)^2 + (x11 - x67)^2 + (x12 - x68)^2 - 4*x97 >= 0;

e84: (x9 - x69)^2 + (x10 - x70)^2 + (x11 - x71)^2 + (x12 - x72)^2 - 4*x97 >= 0;

e85: (x9 - x73)^2 + (x10 - x74)^2 + (x11 - x75)^2 + (x12 - x76)^2 - 4*x97 >= 0;

e86: (x9 - x77)^2 + (x10 - x78)^2 + (x11 - x79)^2 + (x12 - x80)^2 - 4*x97 >= 0;

e87: (x9 - x81)^2 + (x10 - x82)^2 + (x11 - x83)^2 + (x12 - x84)^2 - 4*x97 >= 0;

e88: (x9 - x85)^2 + (x10 - x86)^2 + (x11 - x87)^2 + (x12 - x88)^2 - 4*x97 >= 0;

e89: (x9 - x89)^2 + (x10 - x90)^2 + (x11 - x91)^2 + (x12 - x92)^2 - 4*x97 >= 0;

e90: (x9 - x93)^2 + (x10 - x94)^2 + (x11 - x95)^2 + (x12 - x96)^2 - 4*x97 >= 0;

e91: (x13 - x17)^2 + (x14 - x18)^2 + (x15 - x19)^2 + (x16 - x20)^2 - 4*x97
      >= 0;

e92: (x13 - x21)^2 + (x14 - x22)^2 + (x15 - x23)^2 + (x16 - x24)^2 - 4*x97
      >= 0;

e93: (x13 - x25)^2 + (x14 - x26)^2 + (x15 - x27)^2 + (x16 - x28)^2 - 4*x97
      >= 0;

e94: (x13 - x29)^2 + (x14 - x30)^2 + (x15 - x31)^2 + (x16 - x32)^2 - 4*x97
      >= 0;

e95: (x13 - x33)^2 + (x14 - x34)^2 + (x15 - x35)^2 + (x16 - x36)^2 - 4*x97
      >= 0;

e96: (x13 - x37)^2 + (x14 - x38)^2 + (x15 - x39)^2 + (x16 - x40)^2 - 4*x97
      >= 0;

e97: (x13 - x41)^2 + (x14 - x42)^2 + (x15 - x43)^2 + (x16 - x44)^2 - 4*x97
      >= 0;

e98: (x13 - x45)^2 + (x14 - x46)^2 + (x15 - x47)^2 + (x16 - x48)^2 - 4*x97
      >= 0;

e99: (x13 - x49)^2 + (x14 - x50)^2 + (x15 - x51)^2 + (x16 - x52)^2 - 4*x97
      >= 0;

e100: (x13 - x53)^2 + (x14 - x54)^2 + (x15 - x55)^2 + (x16 - x56)^2 - 4*x97
       >= 0;

e101: (x13 - x57)^2 + (x14 - x58)^2 + (x15 - x59)^2 + (x16 - x60)^2 - 4*x97
       >= 0;

e102: (x13 - x61)^2 + (x14 - x62)^2 + (x15 - x63)^2 + (x16 - x64)^2 - 4*x97
       >= 0;

e103: (x13 - x65)^2 + (x14 - x66)^2 + (x15 - x67)^2 + (x16 - x68)^2 - 4*x97
       >= 0;

e104: (x13 - x69)^2 + (x14 - x70)^2 + (x15 - x71)^2 + (x16 - x72)^2 - 4*x97
       >= 0;

e105: (x13 - x73)^2 + (x14 - x74)^2 + (x15 - x75)^2 + (x16 - x76)^2 - 4*x97
       >= 0;

e106: (x13 - x77)^2 + (x14 - x78)^2 + (x15 - x79)^2 + (x16 - x80)^2 - 4*x97
       >= 0;

e107: (x13 - x81)^2 + (x14 - x82)^2 + (x15 - x83)^2 + (x16 - x84)^2 - 4*x97
       >= 0;

e108: (x13 - x85)^2 + (x14 - x86)^2 + (x15 - x87)^2 + (x16 - x88)^2 - 4*x97
       >= 0;

e109: (x13 - x89)^2 + (x14 - x90)^2 + (x15 - x91)^2 + (x16 - x92)^2 - 4*x97
       >= 0;

e110: (x13 - x93)^2 + (x14 - x94)^2 + (x15 - x95)^2 + (x16 - x96)^2 - 4*x97
       >= 0;

e111: (x17 - x21)^2 + (x18 - x22)^2 + (x19 - x23)^2 + (x20 - x24)^2 - 4*x97
       >= 0;

e112: (x17 - x25)^2 + (x18 - x26)^2 + (x19 - x27)^2 + (x20 - x28)^2 - 4*x97
       >= 0;

e113: (x17 - x29)^2 + (x18 - x30)^2 + (x19 - x31)^2 + (x20 - x32)^2 - 4*x97
       >= 0;

e114: (x17 - x33)^2 + (x18 - x34)^2 + (x19 - x35)^2 + (x20 - x36)^2 - 4*x97
       >= 0;

e115: (x17 - x37)^2 + (x18 - x38)^2 + (x19 - x39)^2 + (x20 - x40)^2 - 4*x97
       >= 0;

e116: (x17 - x41)^2 + (x18 - x42)^2 + (x19 - x43)^2 + (x20 - x44)^2 - 4*x97
       >= 0;

e117: (x17 - x45)^2 + (x18 - x46)^2 + (x19 - x47)^2 + (x20 - x48)^2 - 4*x97
       >= 0;

e118: (x17 - x49)^2 + (x18 - x50)^2 + (x19 - x51)^2 + (x20 - x52)^2 - 4*x97
       >= 0;

e119: (x17 - x53)^2 + (x18 - x54)^2 + (x19 - x55)^2 + (x20 - x56)^2 - 4*x97
       >= 0;

e120: (x17 - x57)^2 + (x18 - x58)^2 + (x19 - x59)^2 + (x20 - x60)^2 - 4*x97
       >= 0;

e121: (x17 - x61)^2 + (x18 - x62)^2 + (x19 - x63)^2 + (x20 - x64)^2 - 4*x97
       >= 0;

e122: (x17 - x65)^2 + (x18 - x66)^2 + (x19 - x67)^2 + (x20 - x68)^2 - 4*x97
       >= 0;

e123: (x17 - x69)^2 + (x18 - x70)^2 + (x19 - x71)^2 + (x20 - x72)^2 - 4*x97
       >= 0;

e124: (x17 - x73)^2 + (x18 - x74)^2 + (x19 - x75)^2 + (x20 - x76)^2 - 4*x97
       >= 0;

e125: (x17 - x77)^2 + (x18 - x78)^2 + (x19 - x79)^2 + (x20 - x80)^2 - 4*x97
       >= 0;

e126: (x17 - x81)^2 + (x18 - x82)^2 + (x19 - x83)^2 + (x20 - x84)^2 - 4*x97
       >= 0;

e127: (x17 - x85)^2 + (x18 - x86)^2 + (x19 - x87)^2 + (x20 - x88)^2 - 4*x97
       >= 0;

e128: (x17 - x89)^2 + (x18 - x90)^2 + (x19 - x91)^2 + (x20 - x92)^2 - 4*x97
       >= 0;

e129: (x17 - x93)^2 + (x18 - x94)^2 + (x19 - x95)^2 + (x20 - x96)^2 - 4*x97
       >= 0;

e130: (x21 - x25)^2 + (x22 - x26)^2 + (x23 - x27)^2 + (x24 - x28)^2 - 4*x97
       >= 0;

e131: (x21 - x29)^2 + (x22 - x30)^2 + (x23 - x31)^2 + (x24 - x32)^2 - 4*x97
       >= 0;

e132: (x21 - x33)^2 + (x22 - x34)^2 + (x23 - x35)^2 + (x24 - x36)^2 - 4*x97
       >= 0;

e133: (x21 - x37)^2 + (x22 - x38)^2 + (x23 - x39)^2 + (x24 - x40)^2 - 4*x97
       >= 0;

e134: (x21 - x41)^2 + (x22 - x42)^2 + (x23 - x43)^2 + (x24 - x44)^2 - 4*x97
       >= 0;

e135: (x21 - x45)^2 + (x22 - x46)^2 + (x23 - x47)^2 + (x24 - x48)^2 - 4*x97
       >= 0;

e136: (x21 - x49)^2 + (x22 - x50)^2 + (x23 - x51)^2 + (x24 - x52)^2 - 4*x97
       >= 0;

e137: (x21 - x53)^2 + (x22 - x54)^2 + (x23 - x55)^2 + (x24 - x56)^2 - 4*x97
       >= 0;

e138: (x21 - x57)^2 + (x22 - x58)^2 + (x23 - x59)^2 + (x24 - x60)^2 - 4*x97
       >= 0;

e139: (x21 - x61)^2 + (x22 - x62)^2 + (x23 - x63)^2 + (x24 - x64)^2 - 4*x97
       >= 0;

e140: (x21 - x65)^2 + (x22 - x66)^2 + (x23 - x67)^2 + (x24 - x68)^2 - 4*x97
       >= 0;

e141: (x21 - x69)^2 + (x22 - x70)^2 + (x23 - x71)^2 + (x24 - x72)^2 - 4*x97
       >= 0;

e142: (x21 - x73)^2 + (x22 - x74)^2 + (x23 - x75)^2 + (x24 - x76)^2 - 4*x97
       >= 0;

e143: (x21 - x77)^2 + (x22 - x78)^2 + (x23 - x79)^2 + (x24 - x80)^2 - 4*x97
       >= 0;

e144: (x21 - x81)^2 + (x22 - x82)^2 + (x23 - x83)^2 + (x24 - x84)^2 - 4*x97
       >= 0;

e145: (x21 - x85)^2 + (x22 - x86)^2 + (x23 - x87)^2 + (x24 - x88)^2 - 4*x97
       >= 0;

e146: (x21 - x89)^2 + (x22 - x90)^2 + (x23 - x91)^2 + (x24 - x92)^2 - 4*x97
       >= 0;

e147: (x21 - x93)^2 + (x22 - x94)^2 + (x23 - x95)^2 + (x24 - x96)^2 - 4*x97
       >= 0;

e148: (x25 - x29)^2 + (x26 - x30)^2 + (x27 - x31)^2 + (x28 - x32)^2 - 4*x97
       >= 0;

e149: (x25 - x33)^2 + (x26 - x34)^2 + (x27 - x35)^2 + (x28 - x36)^2 - 4*x97
       >= 0;

e150: (x25 - x37)^2 + (x26 - x38)^2 + (x27 - x39)^2 + (x28 - x40)^2 - 4*x97
       >= 0;

e151: (x25 - x41)^2 + (x26 - x42)^2 + (x27 - x43)^2 + (x28 - x44)^2 - 4*x97
       >= 0;

e152: (x25 - x45)^2 + (x26 - x46)^2 + (x27 - x47)^2 + (x28 - x48)^2 - 4*x97
       >= 0;

e153: (x25 - x49)^2 + (x26 - x50)^2 + (x27 - x51)^2 + (x28 - x52)^2 - 4*x97
       >= 0;

e154: (x25 - x53)^2 + (x26 - x54)^2 + (x27 - x55)^2 + (x28 - x56)^2 - 4*x97
       >= 0;

e155: (x25 - x57)^2 + (x26 - x58)^2 + (x27 - x59)^2 + (x28 - x60)^2 - 4*x97
       >= 0;

e156: (x25 - x61)^2 + (x26 - x62)^2 + (x27 - x63)^2 + (x28 - x64)^2 - 4*x97
       >= 0;

e157: (x25 - x65)^2 + (x26 - x66)^2 + (x27 - x67)^2 + (x28 - x68)^2 - 4*x97
       >= 0;

e158: (x25 - x69)^2 + (x26 - x70)^2 + (x27 - x71)^2 + (x28 - x72)^2 - 4*x97
       >= 0;

e159: (x25 - x73)^2 + (x26 - x74)^2 + (x27 - x75)^2 + (x28 - x76)^2 - 4*x97
       >= 0;

e160: (x25 - x77)^2 + (x26 - x78)^2 + (x27 - x79)^2 + (x28 - x80)^2 - 4*x97
       >= 0;

e161: (x25 - x81)^2 + (x26 - x82)^2 + (x27 - x83)^2 + (x28 - x84)^2 - 4*x97
       >= 0;

e162: (x25 - x85)^2 + (x26 - x86)^2 + (x27 - x87)^2 + (x28 - x88)^2 - 4*x97
       >= 0;

e163: (x25 - x89)^2 + (x26 - x90)^2 + (x27 - x91)^2 + (x28 - x92)^2 - 4*x97
       >= 0;

e164: (x25 - x93)^2 + (x26 - x94)^2 + (x27 - x95)^2 + (x28 - x96)^2 - 4*x97
       >= 0;

e165: (x29 - x33)^2 + (x30 - x34)^2 + (x31 - x35)^2 + (x32 - x36)^2 - 4*x97
       >= 0;

e166: (x29 - x37)^2 + (x30 - x38)^2 + (x31 - x39)^2 + (x32 - x40)^2 - 4*x97
       >= 0;

e167: (x29 - x41)^2 + (x30 - x42)^2 + (x31 - x43)^2 + (x32 - x44)^2 - 4*x97
       >= 0;

e168: (x29 - x45)^2 + (x30 - x46)^2 + (x31 - x47)^2 + (x32 - x48)^2 - 4*x97
       >= 0;

e169: (x29 - x49)^2 + (x30 - x50)^2 + (x31 - x51)^2 + (x32 - x52)^2 - 4*x97
       >= 0;

e170: (x29 - x53)^2 + (x30 - x54)^2 + (x31 - x55)^2 + (x32 - x56)^2 - 4*x97
       >= 0;

e171: (x29 - x57)^2 + (x30 - x58)^2 + (x31 - x59)^2 + (x32 - x60)^2 - 4*x97
       >= 0;

e172: (x29 - x61)^2 + (x30 - x62)^2 + (x31 - x63)^2 + (x32 - x64)^2 - 4*x97
       >= 0;

e173: (x29 - x65)^2 + (x30 - x66)^2 + (x31 - x67)^2 + (x32 - x68)^2 - 4*x97
       >= 0;

e174: (x29 - x69)^2 + (x30 - x70)^2 + (x31 - x71)^2 + (x32 - x72)^2 - 4*x97
       >= 0;

e175: (x29 - x73)^2 + (x30 - x74)^2 + (x31 - x75)^2 + (x32 - x76)^2 - 4*x97
       >= 0;

e176: (x29 - x77)^2 + (x30 - x78)^2 + (x31 - x79)^2 + (x32 - x80)^2 - 4*x97
       >= 0;

e177: (x29 - x81)^2 + (x30 - x82)^2 + (x31 - x83)^2 + (x32 - x84)^2 - 4*x97
       >= 0;

e178: (x29 - x85)^2 + (x30 - x86)^2 + (x31 - x87)^2 + (x32 - x88)^2 - 4*x97
       >= 0;

e179: (x29 - x89)^2 + (x30 - x90)^2 + (x31 - x91)^2 + (x32 - x92)^2 - 4*x97
       >= 0;

e180: (x29 - x93)^2 + (x30 - x94)^2 + (x31 - x95)^2 + (x32 - x96)^2 - 4*x97
       >= 0;

e181: (x33 - x37)^2 + (x34 - x38)^2 + (x35 - x39)^2 + (x36 - x40)^2 - 4*x97
       >= 0;

e182: (x33 - x41)^2 + (x34 - x42)^2 + (x35 - x43)^2 + (x36 - x44)^2 - 4*x97
       >= 0;

e183: (x33 - x45)^2 + (x34 - x46)^2 + (x35 - x47)^2 + (x36 - x48)^2 - 4*x97
       >= 0;

e184: (x33 - x49)^2 + (x34 - x50)^2 + (x35 - x51)^2 + (x36 - x52)^2 - 4*x97
       >= 0;

e185: (x33 - x53)^2 + (x34 - x54)^2 + (x35 - x55)^2 + (x36 - x56)^2 - 4*x97
       >= 0;

e186: (x33 - x57)^2 + (x34 - x58)^2 + (x35 - x59)^2 + (x36 - x60)^2 - 4*x97
       >= 0;

e187: (x33 - x61)^2 + (x34 - x62)^2 + (x35 - x63)^2 + (x36 - x64)^2 - 4*x97
       >= 0;

e188: (x33 - x65)^2 + (x34 - x66)^2 + (x35 - x67)^2 + (x36 - x68)^2 - 4*x97
       >= 0;

e189: (x33 - x69)^2 + (x34 - x70)^2 + (x35 - x71)^2 + (x36 - x72)^2 - 4*x97
       >= 0;

e190: (x33 - x73)^2 + (x34 - x74)^2 + (x35 - x75)^2 + (x36 - x76)^2 - 4*x97
       >= 0;

e191: (x33 - x77)^2 + (x34 - x78)^2 + (x35 - x79)^2 + (x36 - x80)^2 - 4*x97
       >= 0;

e192: (x33 - x81)^2 + (x34 - x82)^2 + (x35 - x83)^2 + (x36 - x84)^2 - 4*x97
       >= 0;

e193: (x33 - x85)^2 + (x34 - x86)^2 + (x35 - x87)^2 + (x36 - x88)^2 - 4*x97
       >= 0;

e194: (x33 - x89)^2 + (x34 - x90)^2 + (x35 - x91)^2 + (x36 - x92)^2 - 4*x97
       >= 0;

e195: (x33 - x93)^2 + (x34 - x94)^2 + (x35 - x95)^2 + (x36 - x96)^2 - 4*x97
       >= 0;

e196: (x37 - x41)^2 + (x38 - x42)^2 + (x39 - x43)^2 + (x40 - x44)^2 - 4*x97
       >= 0;

e197: (x37 - x45)^2 + (x38 - x46)^2 + (x39 - x47)^2 + (x40 - x48)^2 - 4*x97
       >= 0;

e198: (x37 - x49)^2 + (x38 - x50)^2 + (x39 - x51)^2 + (x40 - x52)^2 - 4*x97
       >= 0;

e199: (x37 - x53)^2 + (x38 - x54)^2 + (x39 - x55)^2 + (x40 - x56)^2 - 4*x97
       >= 0;

e200: (x37 - x57)^2 + (x38 - x58)^2 + (x39 - x59)^2 + (x40 - x60)^2 - 4*x97
       >= 0;

e201: (x37 - x61)^2 + (x38 - x62)^2 + (x39 - x63)^2 + (x40 - x64)^2 - 4*x97
       >= 0;

e202: (x37 - x65)^2 + (x38 - x66)^2 + (x39 - x67)^2 + (x40 - x68)^2 - 4*x97
       >= 0;

e203: (x37 - x69)^2 + (x38 - x70)^2 + (x39 - x71)^2 + (x40 - x72)^2 - 4*x97
       >= 0;

e204: (x37 - x73)^2 + (x38 - x74)^2 + (x39 - x75)^2 + (x40 - x76)^2 - 4*x97
       >= 0;

e205: (x37 - x77)^2 + (x38 - x78)^2 + (x39 - x79)^2 + (x40 - x80)^2 - 4*x97
       >= 0;

e206: (x37 - x81)^2 + (x38 - x82)^2 + (x39 - x83)^2 + (x40 - x84)^2 - 4*x97
       >= 0;

e207: (x37 - x85)^2 + (x38 - x86)^2 + (x39 - x87)^2 + (x40 - x88)^2 - 4*x97
       >= 0;

e208: (x37 - x89)^2 + (x38 - x90)^2 + (x39 - x91)^2 + (x40 - x92)^2 - 4*x97
       >= 0;

e209: (x37 - x93)^2 + (x38 - x94)^2 + (x39 - x95)^2 + (x40 - x96)^2 - 4*x97
       >= 0;

e210: (x41 - x45)^2 + (x42 - x46)^2 + (x43 - x47)^2 + (x44 - x48)^2 - 4*x97
       >= 0;

e211: (x41 - x49)^2 + (x42 - x50)^2 + (x43 - x51)^2 + (x44 - x52)^2 - 4*x97
       >= 0;

e212: (x41 - x53)^2 + (x42 - x54)^2 + (x43 - x55)^2 + (x44 - x56)^2 - 4*x97
       >= 0;

e213: (x41 - x57)^2 + (x42 - x58)^2 + (x43 - x59)^2 + (x44 - x60)^2 - 4*x97
       >= 0;

e214: (x41 - x61)^2 + (x42 - x62)^2 + (x43 - x63)^2 + (x44 - x64)^2 - 4*x97
       >= 0;

e215: (x41 - x65)^2 + (x42 - x66)^2 + (x43 - x67)^2 + (x44 - x68)^2 - 4*x97
       >= 0;

e216: (x41 - x69)^2 + (x42 - x70)^2 + (x43 - x71)^2 + (x44 - x72)^2 - 4*x97
       >= 0;

e217: (x41 - x73)^2 + (x42 - x74)^2 + (x43 - x75)^2 + (x44 - x76)^2 - 4*x97
       >= 0;

e218: (x41 - x77)^2 + (x42 - x78)^2 + (x43 - x79)^2 + (x44 - x80)^2 - 4*x97
       >= 0;

e219: (x41 - x81)^2 + (x42 - x82)^2 + (x43 - x83)^2 + (x44 - x84)^2 - 4*x97
       >= 0;

e220: (x41 - x85)^2 + (x42 - x86)^2 + (x43 - x87)^2 + (x44 - x88)^2 - 4*x97
       >= 0;

e221: (x41 - x89)^2 + (x42 - x90)^2 + (x43 - x91)^2 + (x44 - x92)^2 - 4*x97
       >= 0;

e222: (x41 - x93)^2 + (x42 - x94)^2 + (x43 - x95)^2 + (x44 - x96)^2 - 4*x97
       >= 0;

e223: (x45 - x49)^2 + (x46 - x50)^2 + (x47 - x51)^2 + (x48 - x52)^2 - 4*x97
       >= 0;

e224: (x45 - x53)^2 + (x46 - x54)^2 + (x47 - x55)^2 + (x48 - x56)^2 - 4*x97
       >= 0;

e225: (x45 - x57)^2 + (x46 - x58)^2 + (x47 - x59)^2 + (x48 - x60)^2 - 4*x97
       >= 0;

e226: (x45 - x61)^2 + (x46 - x62)^2 + (x47 - x63)^2 + (x48 - x64)^2 - 4*x97
       >= 0;

e227: (x45 - x65)^2 + (x46 - x66)^2 + (x47 - x67)^2 + (x48 - x68)^2 - 4*x97
       >= 0;

e228: (x45 - x69)^2 + (x46 - x70)^2 + (x47 - x71)^2 + (x48 - x72)^2 - 4*x97
       >= 0;

e229: (x45 - x73)^2 + (x46 - x74)^2 + (x47 - x75)^2 + (x48 - x76)^2 - 4*x97
       >= 0;

e230: (x45 - x77)^2 + (x46 - x78)^2 + (x47 - x79)^2 + (x48 - x80)^2 - 4*x97
       >= 0;

e231: (x45 - x81)^2 + (x46 - x82)^2 + (x47 - x83)^2 + (x48 - x84)^2 - 4*x97
       >= 0;

e232: (x45 - x85)^2 + (x46 - x86)^2 + (x47 - x87)^2 + (x48 - x88)^2 - 4*x97
       >= 0;

e233: (x45 - x89)^2 + (x46 - x90)^2 + (x47 - x91)^2 + (x48 - x92)^2 - 4*x97
       >= 0;

e234: (x45 - x93)^2 + (x46 - x94)^2 + (x47 - x95)^2 + (x48 - x96)^2 - 4*x97
       >= 0;

e235: (x49 - x53)^2 + (x50 - x54)^2 + (x51 - x55)^2 + (x52 - x56)^2 - 4*x97
       >= 0;

e236: (x49 - x57)^2 + (x50 - x58)^2 + (x51 - x59)^2 + (x52 - x60)^2 - 4*x97
       >= 0;

e237: (x49 - x61)^2 + (x50 - x62)^2 + (x51 - x63)^2 + (x52 - x64)^2 - 4*x97
       >= 0;

e238: (x49 - x65)^2 + (x50 - x66)^2 + (x51 - x67)^2 + (x52 - x68)^2 - 4*x97
       >= 0;

e239: (x49 - x69)^2 + (x50 - x70)^2 + (x51 - x71)^2 + (x52 - x72)^2 - 4*x97
       >= 0;

e240: (x49 - x73)^2 + (x50 - x74)^2 + (x51 - x75)^2 + (x52 - x76)^2 - 4*x97
       >= 0;

e241: (x49 - x77)^2 + (x50 - x78)^2 + (x51 - x79)^2 + (x52 - x80)^2 - 4*x97
       >= 0;

e242: (x49 - x81)^2 + (x50 - x82)^2 + (x51 - x83)^2 + (x52 - x84)^2 - 4*x97
       >= 0;

e243: (x49 - x85)^2 + (x50 - x86)^2 + (x51 - x87)^2 + (x52 - x88)^2 - 4*x97
       >= 0;

e244: (x49 - x89)^2 + (x50 - x90)^2 + (x51 - x91)^2 + (x52 - x92)^2 - 4*x97
       >= 0;

e245: (x49 - x93)^2 + (x50 - x94)^2 + (x51 - x95)^2 + (x52 - x96)^2 - 4*x97
       >= 0;

e246: (x53 - x57)^2 + (x54 - x58)^2 + (x55 - x59)^2 + (x56 - x60)^2 - 4*x97
       >= 0;

e247: (x53 - x61)^2 + (x54 - x62)^2 + (x55 - x63)^2 + (x56 - x64)^2 - 4*x97
       >= 0;

e248: (x53 - x65)^2 + (x54 - x66)^2 + (x55 - x67)^2 + (x56 - x68)^2 - 4*x97
       >= 0;

e249: (x53 - x69)^2 + (x54 - x70)^2 + (x55 - x71)^2 + (x56 - x72)^2 - 4*x97
       >= 0;

e250: (x53 - x73)^2 + (x54 - x74)^2 + (x55 - x75)^2 + (x56 - x76)^2 - 4*x97
       >= 0;

e251: (x53 - x77)^2 + (x54 - x78)^2 + (x55 - x79)^2 + (x56 - x80)^2 - 4*x97
       >= 0;

e252: (x53 - x81)^2 + (x54 - x82)^2 + (x55 - x83)^2 + (x56 - x84)^2 - 4*x97
       >= 0;

e253: (x53 - x85)^2 + (x54 - x86)^2 + (x55 - x87)^2 + (x56 - x88)^2 - 4*x97
       >= 0;

e254: (x53 - x89)^2 + (x54 - x90)^2 + (x55 - x91)^2 + (x56 - x92)^2 - 4*x97
       >= 0;

e255: (x53 - x93)^2 + (x54 - x94)^2 + (x55 - x95)^2 + (x56 - x96)^2 - 4*x97
       >= 0;

e256: (x57 - x61)^2 + (x58 - x62)^2 + (x59 - x63)^2 + (x60 - x64)^2 - 4*x97
       >= 0;

e257: (x57 - x65)^2 + (x58 - x66)^2 + (x59 - x67)^2 + (x60 - x68)^2 - 4*x97
       >= 0;

e258: (x57 - x69)^2 + (x58 - x70)^2 + (x59 - x71)^2 + (x60 - x72)^2 - 4*x97
       >= 0;

e259: (x57 - x73)^2 + (x58 - x74)^2 + (x59 - x75)^2 + (x60 - x76)^2 - 4*x97
       >= 0;

e260: (x57 - x77)^2 + (x58 - x78)^2 + (x59 - x79)^2 + (x60 - x80)^2 - 4*x97
       >= 0;

e261: (x57 - x81)^2 + (x58 - x82)^2 + (x59 - x83)^2 + (x60 - x84)^2 - 4*x97
       >= 0;

e262: (x57 - x85)^2 + (x58 - x86)^2 + (x59 - x87)^2 + (x60 - x88)^2 - 4*x97
       >= 0;

e263: (x57 - x89)^2 + (x58 - x90)^2 + (x59 - x91)^2 + (x60 - x92)^2 - 4*x97
       >= 0;

e264: (x57 - x93)^2 + (x58 - x94)^2 + (x59 - x95)^2 + (x60 - x96)^2 - 4*x97
       >= 0;

e265: (x61 - x65)^2 + (x62 - x66)^2 + (x63 - x67)^2 + (x64 - x68)^2 - 4*x97
       >= 0;

e266: (x61 - x69)^2 + (x62 - x70)^2 + (x63 - x71)^2 + (x64 - x72)^2 - 4*x97
       >= 0;

e267: (x61 - x73)^2 + (x62 - x74)^2 + (x63 - x75)^2 + (x64 - x76)^2 - 4*x97
       >= 0;

e268: (x61 - x77)^2 + (x62 - x78)^2 + (x63 - x79)^2 + (x64 - x80)^2 - 4*x97
       >= 0;

e269: (x61 - x81)^2 + (x62 - x82)^2 + (x63 - x83)^2 + (x64 - x84)^2 - 4*x97
       >= 0;

e270: (x61 - x85)^2 + (x62 - x86)^2 + (x63 - x87)^2 + (x64 - x88)^2 - 4*x97
       >= 0;

e271: (x61 - x89)^2 + (x62 - x90)^2 + (x63 - x91)^2 + (x64 - x92)^2 - 4*x97
       >= 0;

e272: (x61 - x93)^2 + (x62 - x94)^2 + (x63 - x95)^2 + (x64 - x96)^2 - 4*x97
       >= 0;

e273: (x65 - x69)^2 + (x66 - x70)^2 + (x67 - x71)^2 + (x68 - x72)^2 - 4*x97
       >= 0;

e274: (x65 - x73)^2 + (x66 - x74)^2 + (x67 - x75)^2 + (x68 - x76)^2 - 4*x97
       >= 0;

e275: (x65 - x77)^2 + (x66 - x78)^2 + (x67 - x79)^2 + (x68 - x80)^2 - 4*x97
       >= 0;

e276: (x65 - x81)^2 + (x66 - x82)^2 + (x67 - x83)^2 + (x68 - x84)^2 - 4*x97
       >= 0;

e277: (x65 - x85)^2 + (x66 - x86)^2 + (x67 - x87)^2 + (x68 - x88)^2 - 4*x97
       >= 0;

e278: (x65 - x89)^2 + (x66 - x90)^2 + (x67 - x91)^2 + (x68 - x92)^2 - 4*x97
       >= 0;

e279: (x65 - x93)^2 + (x66 - x94)^2 + (x67 - x95)^2 + (x68 - x96)^2 - 4*x97
       >= 0;

e280: (x69 - x73)^2 + (x70 - x74)^2 + (x71 - x75)^2 + (x72 - x76)^2 - 4*x97
       >= 0;

e281: (x69 - x77)^2 + (x70 - x78)^2 + (x71 - x79)^2 + (x72 - x80)^2 - 4*x97
       >= 0;

e282: (x69 - x81)^2 + (x70 - x82)^2 + (x71 - x83)^2 + (x72 - x84)^2 - 4*x97
       >= 0;

e283: (x69 - x85)^2 + (x70 - x86)^2 + (x71 - x87)^2 + (x72 - x88)^2 - 4*x97
       >= 0;

e284: (x69 - x89)^2 + (x70 - x90)^2 + (x71 - x91)^2 + (x72 - x92)^2 - 4*x97
       >= 0;

e285: (x69 - x93)^2 + (x70 - x94)^2 + (x71 - x95)^2 + (x72 - x96)^2 - 4*x97
       >= 0;

e286: (x73 - x77)^2 + (x74 - x78)^2 + (x75 - x79)^2 + (x76 - x80)^2 - 4*x97
       >= 0;

e287: (x73 - x81)^2 + (x74 - x82)^2 + (x75 - x83)^2 + (x76 - x84)^2 - 4*x97
       >= 0;

e288: (x73 - x85)^2 + (x74 - x86)^2 + (x75 - x87)^2 + (x76 - x88)^2 - 4*x97
       >= 0;

e289: (x73 - x89)^2 + (x74 - x90)^2 + (x75 - x91)^2 + (x76 - x92)^2 - 4*x97
       >= 0;

e290: (x73 - x93)^2 + (x74 - x94)^2 + (x75 - x95)^2 + (x76 - x96)^2 - 4*x97
       >= 0;

e291: (x77 - x81)^2 + (x78 - x82)^2 + (x79 - x83)^2 + (x80 - x84)^2 - 4*x97
       >= 0;

e292: (x77 - x85)^2 + (x78 - x86)^2 + (x79 - x87)^2 + (x80 - x88)^2 - 4*x97
       >= 0;

e293: (x77 - x89)^2 + (x78 - x90)^2 + (x79 - x91)^2 + (x80 - x92)^2 - 4*x97
       >= 0;

e294: (x77 - x93)^2 + (x78 - x94)^2 + (x79 - x95)^2 + (x80 - x96)^2 - 4*x97
       >= 0;

e295: (x81 - x85)^2 + (x82 - x86)^2 + (x83 - x87)^2 + (x84 - x88)^2 - 4*x97
       >= 0;

e296: (x81 - x89)^2 + (x82 - x90)^2 + (x83 - x91)^2 + (x84 - x92)^2 - 4*x97
       >= 0;

e297: (x81 - x93)^2 + (x82 - x94)^2 + (x83 - x95)^2 + (x84 - x96)^2 - 4*x97
       >= 0;

e298: (x85 - x89)^2 + (x86 - x90)^2 + (x87 - x91)^2 + (x88 - x92)^2 - 4*x97
       >= 0;

e299: (x85 - x93)^2 + (x86 - x94)^2 + (x87 - x95)^2 + (x88 - x96)^2 - 4*x97
       >= 0;

e300: (x89 - x93)^2 + (x90 - x94)^2 + (x91 - x95)^2 + (x92 - x96)^2 - 4*x97
       >= 0;