#  NLP written by GAMS Convert at 01/12/18 13:34:54
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        946       43      903        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        216      216        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#      10148      903     9245        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 := -1.52168908, >= -2, <= 2;
var x98 := 0.941915556, >= -2, <= 2;
var x99 := -1.7783261, >= -2, <= 2;
var x100 := 0.30519922, >= -2, <= 2;
var x101 := -1.79437156, >= -2, <= 2;
var x102 := -1.975966528, >= -2, <= 2;
var x103 := -0.395089268, >= -2, <= 2;
var x104 := 0.0795247480000003, >= -2, <= 2;
var x105 := 0.51550902, >= -2, <= 2;
var x106 := -1.09700048, >= -2, <= 2;
var x107 := -0.415514368, >= -2, <= 2;
var x108 := -0.895975476, >= -2, <= 2;
var x109 := -1.390509568, >= -2, <= 2;
var x110 := 1.745291344, >= -2, <= 2;
var x111 := -0.30935764, >= -2, <= 2;
var x112 := -1.461347484, >= -2, <= 2;
var x113 := -0.455777544, >= -2, <= 2;
var x114 := -0.501469012, >= -2, <= 2;
var x115 := -0.92607584, >= -2, <= 2;
var x116 := 1.79348206, >= -2, <= 2;
var x117 := -1.2442387, >= -2, <= 2;
var x118 := -0.809961808, >= -2, <= 2;
var x119 := -1.701788936, >= -2, <= 2;
var x120 := -0.394614972, >= -2, <= 2;
var x121 := -1.593243212, >= -2, <= 2;
var x122 := -0.46444156, >= -2, <= 2;
var x123 := -0.703624292, >= -2, <= 2;
var x124 := -1.231462472, >= -2, <= 2;
var x125 := -1.550526256, >= -2, <= 2;
var x126 := 0.386232576, >= -2, <= 2;
var x127 := 0.0457957120000003, >= -2, <= 2;
var x128 := -1.819735764, >= -2, <= 2;
var x129 := 1.132408016, >= -2, <= 2;
var x130 := 1.78299766, >= -2, <= 2;
var x131 := 0.385850224, >= -2, <= 2;
var x132 := 0.429365204, >= -2, <= 2;
var x133 := -0.549962116, >= -2, <= 2;
var x134 := 0.376271844, >= -2, <= 2;
var x135 := 0.719416316, >= -2, <= 2;
var x136 := 0.0263520880000003, >= -2, <= 2;
var x137 := -1.362984464, >= -2, <= 2;
var x138 := 0.62756842, >= -2, <= 2;
var x139 := 0.0955184080000002, >= -2, <= 2;
var x140 := -1.502414068, >= -2, <= 2;
var x141 := 1.946882896, >= -2, <= 2;
var x142 := -1.08750774, >= -2, <= 2;
var x143 := 0.702619612, >= -2, <= 2;
var x144 := 1.107109828, >= -2, <= 2;
var x145 := 1.729807156, >= -2, <= 2;
var x146 := -1.195033748, >= -2, <= 2;
var x147 := -0.811455772, >= -2, <= 2;
var x148 := -1.211089928, >= -2, <= 2;
var x149 := -1.014617132, >= -2, <= 2;
var x150 := 0.585905892, >= -2, <= 2;
var x151 := 0.939890444, >= -2, <= 2;
var x152 := -1.658253024, >= -2, <= 2;
var x153 := -1.398609136, >= -2, <= 2;
var x154 := -0.263246036, >= -2, <= 2;
var x155 := -1.25224838, >= -2, <= 2;
var x156 := 0.770771828, >= -2, <= 2;
var x157 := 1.051895004, >= -2, <= 2;
var x158 := -1.380775424, >= -2, <= 2;
var x159 := -0.442486464, >= -2, <= 2;
var x160 := 0.78171014, >= -2, <= 2;
var x161 := 1.383247896, >= -2, <= 2;
var x162 := 0.450883788, >= -2, <= 2;
var x163 := 1.903887492, >= -2, <= 2;
var x164 := -1.892442456, >= -2, <= 2;
var x165 := -1.250205076, >= -2, <= 2;
var x166 := -1.651524656, >= -2, <= 2;
var x167 := 0.161602552, >= -2, <= 2;
var x168 := -1.492542844, >= -2, <= 2;
var x169 := 0.935996132, >= -2, <= 2;
var x170 := -1.54707196, >= -2, <= 2;
var x171 := -0.046584212, >= -2, <= 2;
var x172 := 1.182401484, >= -2, <= 2;
var x173 := -0.0318117079999998, >= -2, <= 2;
var x174 := 0.134243968, >= -2, <= 2;
var x175 := -1.957502344, >= -2, <= 2;
var x176 := 0.17548062, >= -2, <= 2;
var x177 := -0.195483652, >= -2, <= 2;
var x178 := 1.90131354, >= -2, <= 2;
var x179 := -1.264611244, >= -2, <= 2;
var x180 := -1.345870932, >= -2, <= 2;
var x181 := -1.901462252, >= -2, <= 2;
var x182 := -1.288709704, >= -2, <= 2;
var x183 := -1.754725952, >= -2, <= 2;
var x184 := -1.933424408, >= -2, <= 2;
var x185 := 1.342619404, >= -2, <= 2;
var x186 := 0.406636132, >= -2, <= 2;
var x187 := -1.89193288, >= -2, <= 2;
var x188 := -1.215624544, >= -2, <= 2;
var x189 := 1.80284298, >= -2, <= 2;
var x190 := -0.657832984, >= -2, <= 2;
var x191 := 0.377049964, >= -2, <= 2;
var x192 := -0.9632347, >= -2, <= 2;
var x193 := 0.562534856, >= -2, <= 2;
var x194 := -1.37900388, >= -2, <= 2;
var x195 := -0.159933728, >= -2, <= 2;
var x196 := -0.426640184, >= -2, <= 2;
var x197 := 1.2218499, >= -2, <= 2;
var x198 := 0.163967096, >= -2, <= 2;
var x199 := -0.437112628, >= -2, <= 2;
var x200 := 0.231276168, >= -2, <= 2;
var x201 := 1.731042092, >= -2, <= 2;
var x202 := -0.604937832, >= -2, <= 2;
var x203 := -1.966851228, >= -2, <= 2;
var x204 := 1.795344676, >= -2, <= 2;
var x205 := 0.287694828, >= -2, <= 2;
var x206 := -0.665494584, >= -2, <= 2;
var x207 := 1.934990188, >= -2, <= 2;
var x208 := 1.065832424, >= -2, <= 2;
var x209 := -1.559621744, >= -2, <= 2;
var x210 := 1.979214092, >= -2, <= 2;
var x211 := 0.321298084, >= -2, <= 2;
var x212 := -1.334337572, >= -2, <= 2;
var x213 := 0.573428864, >= -2, <= 2;
var x214 := -0.6227507, >= -2, <= 2;
var x215 := 1.649302124, >= -2, <= 2;
var x216;

maximize obj: x216;

subject to

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

e2: x6^2 + x7^2 + x8^2 + x9^2 + x10^2 = 4;

e3: x11^2 + x12^2 + x13^2 + x14^2 + x15^2 = 4;

e4: x16^2 + x17^2 + x18^2 + x19^2 + x20^2 = 4;

e5: x21^2 + x22^2 + x23^2 + x24^2 + x25^2 = 4;

e6: x26^2 + x27^2 + x28^2 + x29^2 + x30^2 = 4;

e7: x31^2 + x32^2 + x33^2 + x34^2 + x35^2 = 4;

e8: x36^2 + x37^2 + x38^2 + x39^2 + x40^2 = 4;

e9: x41^2 + x42^2 + x43^2 + x44^2 + x45^2 = 4;

e10: x46^2 + x47^2 + x48^2 + x49^2 + x50^2 = 4;

e11: x51^2 + x52^2 + x53^2 + x54^2 + x55^2 = 4;

e12: x56^2 + x57^2 + x58^2 + x59^2 + x60^2 = 4;

e13: x61^2 + x62^2 + x63^2 + x64^2 + x65^2 = 4;

e14: x66^2 + x67^2 + x68^2 + x69^2 + x70^2 = 4;

e15: x71^2 + x72^2 + x73^2 + x74^2 + x75^2 = 4;

e16: x76^2 + x77^2 + x78^2 + x79^2 + x80^2 = 4;

e17: x81^2 + x82^2 + x83^2 + x84^2 + x85^2 = 4;

e18: x86^2 + x87^2 + x88^2 + x89^2 + x90^2 = 4;

e19: x91^2 + x92^2 + x93^2 + x94^2 + x95^2 = 4;

e20: x96^2 + x97^2 + x98^2 + x99^2 + x100^2 = 4;

e21: x101^2 + x102^2 + x103^2 + x104^2 + x105^2 = 4;

e22: x106^2 + x107^2 + x108^2 + x109^2 + x110^2 = 4;

e23: x111^2 + x112^2 + x113^2 + x114^2 + x115^2 = 4;

e24: x116^2 + x117^2 + x118^2 + x119^2 + x120^2 = 4;

e25: x121^2 + x122^2 + x123^2 + x124^2 + x125^2 = 4;

e26: x126^2 + x127^2 + x128^2 + x129^2 + x130^2 = 4;

e27: x131^2 + x132^2 + x133^2 + x134^2 + x135^2 = 4;

e28: x136^2 + x137^2 + x138^2 + x139^2 + x140^2 = 4;

e29: x141^2 + x142^2 + x143^2 + x144^2 + x145^2 = 4;

e30: x146^2 + x147^2 + x148^2 + x149^2 + x150^2 = 4;

e31: x151^2 + x152^2 + x153^2 + x154^2 + x155^2 = 4;

e32: x156^2 + x157^2 + x158^2 + x159^2 + x160^2 = 4;

e33: x161^2 + x162^2 + x163^2 + x164^2 + x165^2 = 4;

e34: x166^2 + x167^2 + x168^2 + x169^2 + x170^2 = 4;

e35: x171^2 + x172^2 + x173^2 + x174^2 + x175^2 = 4;

e36: x176^2 + x177^2 + x178^2 + x179^2 + x180^2 = 4;

e37: x181^2 + x182^2 + x183^2 + x184^2 + x185^2 = 4;

e38: x186^2 + x187^2 + x188^2 + x189^2 + x190^2 = 4;

e39: x191^2 + x192^2 + x193^2 + x194^2 + x195^2 = 4;

e40: x196^2 + x197^2 + x198^2 + x199^2 + x200^2 = 4;

e41: x201^2 + x202^2 + x203^2 + x204^2 + x205^2 = 4;

e42: x206^2 + x207^2 + x208^2 + x209^2 + x210^2 = 4;

e43: x211^2 + x212^2 + x213^2 + x214^2 + x215^2 = 4;

e44: (x1 - x6)^2 + (x2 - x7)^2 + (x3 - x8)^2 + (x4 - x9)^2 + (x5 - x10)^2
      - 4*x216 >= 0;

e45: (x1 - x11)^2 + (x2 - x12)^2 + (x3 - x13)^2 + (x4 - x14)^2 + (x5 - x15)^2
      - 4*x216 >= 0;

e46: (x1 - x16)^2 + (x2 - x17)^2 + (x3 - x18)^2 + (x4 - x19)^2 + (x5 - x20)^2
      - 4*x216 >= 0;

e47: (x1 - x21)^2 + (x2 - x22)^2 + (x3 - x23)^2 + (x4 - x24)^2 + (x5 - x25)^2
      - 4*x216 >= 0;

e48: (x1 - x26)^2 + (x2 - x27)^2 + (x3 - x28)^2 + (x4 - x29)^2 + (x5 - x30)^2
      - 4*x216 >= 0;

e49: (x1 - x31)^2 + (x2 - x32)^2 + (x3 - x33)^2 + (x4 - x34)^2 + (x5 - x35)^2
      - 4*x216 >= 0;

e50: (x1 - x36)^2 + (x2 - x37)^2 + (x3 - x38)^2 + (x4 - x39)^2 + (x5 - x40)^2
      - 4*x216 >= 0;

e51: (x1 - x41)^2 + (x2 - x42)^2 + (x3 - x43)^2 + (x4 - x44)^2 + (x5 - x45)^2
      - 4*x216 >= 0;

e52: (x1 - x46)^2 + (x2 - x47)^2 + (x3 - x48)^2 + (x4 - x49)^2 + (x5 - x50)^2
      - 4*x216 >= 0;

e53: (x1 - x51)^2 + (x2 - x52)^2 + (x3 - x53)^2 + (x4 - x54)^2 + (x5 - x55)^2
      - 4*x216 >= 0;

e54: (x1 - x56)^2 + (x2 - x57)^2 + (x3 - x58)^2 + (x4 - x59)^2 + (x5 - x60)^2
      - 4*x216 >= 0;

e55: (x1 - x61)^2 + (x2 - x62)^2 + (x3 - x63)^2 + (x4 - x64)^2 + (x5 - x65)^2
      - 4*x216 >= 0;

e56: (x1 - x66)^2 + (x2 - x67)^2 + (x3 - x68)^2 + (x4 - x69)^2 + (x5 - x70)^2
      - 4*x216 >= 0;

e57: (x1 - x71)^2 + (x2 - x72)^2 + (x3 - x73)^2 + (x4 - x74)^2 + (x5 - x75)^2
      - 4*x216 >= 0;

e58: (x1 - x76)^2 + (x2 - x77)^2 + (x3 - x78)^2 + (x4 - x79)^2 + (x5 - x80)^2
      - 4*x216 >= 0;

e59: (x1 - x81)^2 + (x2 - x82)^2 + (x3 - x83)^2 + (x4 - x84)^2 + (x5 - x85)^2
      - 4*x216 >= 0;

e60: (x1 - x86)^2 + (x2 - x87)^2 + (x3 - x88)^2 + (x4 - x89)^2 + (x5 - x90)^2
      - 4*x216 >= 0;

e61: (x1 - x91)^2 + (x2 - x92)^2 + (x3 - x93)^2 + (x4 - x94)^2 + (x5 - x95)^2
      - 4*x216 >= 0;

e62: (x1 - x96)^2 + (x2 - x97)^2 + (x3 - x98)^2 + (x4 - x99)^2 + (x5 - x100)^2
      - 4*x216 >= 0;

e63: (x1 - x101)^2 + (x2 - x102)^2 + (x3 - x103)^2 + (x4 - x104)^2 + (x5 - x105
     )^2 - 4*x216 >= 0;

e64: (x1 - x106)^2 + (x2 - x107)^2 + (x3 - x108)^2 + (x4 - x109)^2 + (x5 - x110
     )^2 - 4*x216 >= 0;

e65: (x1 - x111)^2 + (x2 - x112)^2 + (x3 - x113)^2 + (x4 - x114)^2 + (x5 - x115
     )^2 - 4*x216 >= 0;

e66: (x1 - x116)^2 + (x2 - x117)^2 + (x3 - x118)^2 + (x4 - x119)^2 + (x5 - x120
     )^2 - 4*x216 >= 0;

e67: (x1 - x121)^2 + (x2 - x122)^2 + (x3 - x123)^2 + (x4 - x124)^2 + (x5 - x125
     )^2 - 4*x216 >= 0;

e68: (x1 - x126)^2 + (x2 - x127)^2 + (x3 - x128)^2 + (x4 - x129)^2 + (x5 - x130
     )^2 - 4*x216 >= 0;

e69: (x1 - x131)^2 + (x2 - x132)^2 + (x3 - x133)^2 + (x4 - x134)^2 + (x5 - x135
     )^2 - 4*x216 >= 0;

e70: (x1 - x136)^2 + (x2 - x137)^2 + (x3 - x138)^2 + (x4 - x139)^2 + (x5 - x140
     )^2 - 4*x216 >= 0;

e71: (x1 - x141)^2 + (x2 - x142)^2 + (x3 - x143)^2 + (x4 - x144)^2 + (x5 - x145
     )^2 - 4*x216 >= 0;

e72: (x1 - x146)^2 + (x2 - x147)^2 + (x3 - x148)^2 + (x4 - x149)^2 + (x5 - x150
     )^2 - 4*x216 >= 0;

e73: (x1 - x151)^2 + (x2 - x152)^2 + (x3 - x153)^2 + (x4 - x154)^2 + (x5 - x155
     )^2 - 4*x216 >= 0;

e74: (x1 - x156)^2 + (x2 - x157)^2 + (x3 - x158)^2 + (x4 - x159)^2 + (x5 - x160
     )^2 - 4*x216 >= 0;

e75: (x1 - x161)^2 + (x2 - x162)^2 + (x3 - x163)^2 + (x4 - x164)^2 + (x5 - x165
     )^2 - 4*x216 >= 0;

e76: (x1 - x166)^2 + (x2 - x167)^2 + (x3 - x168)^2 + (x4 - x169)^2 + (x5 - x170
     )^2 - 4*x216 >= 0;

e77: (x1 - x171)^2 + (x2 - x172)^2 + (x3 - x173)^2 + (x4 - x174)^2 + (x5 - x175
     )^2 - 4*x216 >= 0;

e78: (x1 - x176)^2 + (x2 - x177)^2 + (x3 - x178)^2 + (x4 - x179)^2 + (x5 - x180
     )^2 - 4*x216 >= 0;

e79: (x1 - x181)^2 + (x2 - x182)^2 + (x3 - x183)^2 + (x4 - x184)^2 + (x5 - x185
     )^2 - 4*x216 >= 0;

e80: (x1 - x186)^2 + (x2 - x187)^2 + (x3 - x188)^2 + (x4 - x189)^2 + (x5 - x190
     )^2 - 4*x216 >= 0;

e81: (x1 - x191)^2 + (x2 - x192)^2 + (x3 - x193)^2 + (x4 - x194)^2 + (x5 - x195
     )^2 - 4*x216 >= 0;

e82: (x1 - x196)^2 + (x2 - x197)^2 + (x3 - x198)^2 + (x4 - x199)^2 + (x5 - x200
     )^2 - 4*x216 >= 0;

e83: (x1 - x201)^2 + (x2 - x202)^2 + (x3 - x203)^2 + (x4 - x204)^2 + (x5 - x205
     )^2 - 4*x216 >= 0;

e84: (x1 - x206)^2 + (x2 - x207)^2 + (x3 - x208)^2 + (x4 - x209)^2 + (x5 - x210
     )^2 - 4*x216 >= 0;

e85: (x1 - x211)^2 + (x2 - x212)^2 + (x3 - x213)^2 + (x4 - x214)^2 + (x5 - x215
     )^2 - 4*x216 >= 0;

e86: (x6 - x11)^2 + (x7 - x12)^2 + (x8 - x13)^2 + (x9 - x14)^2 + (x10 - x15)^2
      - 4*x216 >= 0;

e87: (x6 - x16)^2 + (x7 - x17)^2 + (x8 - x18)^2 + (x9 - x19)^2 + (x10 - x20)^2
      - 4*x216 >= 0;

e88: (x6 - x21)^2 + (x7 - x22)^2 + (x8 - x23)^2 + (x9 - x24)^2 + (x10 - x25)^2
      - 4*x216 >= 0;

e89: (x6 - x26)^2 + (x7 - x27)^2 + (x8 - x28)^2 + (x9 - x29)^2 + (x10 - x30)^2
      - 4*x216 >= 0;

e90: (x6 - x31)^2 + (x7 - x32)^2 + (x8 - x33)^2 + (x9 - x34)^2 + (x10 - x35)^2
      - 4*x216 >= 0;

e91: (x6 - x36)^2 + (x7 - x37)^2 + (x8 - x38)^2 + (x9 - x39)^2 + (x10 - x40)^2
      - 4*x216 >= 0;

e92: (x6 - x41)^2 + (x7 - x42)^2 + (x8 - x43)^2 + (x9 - x44)^2 + (x10 - x45)^2
      - 4*x216 >= 0;

e93: (x6 - x46)^2 + (x7 - x47)^2 + (x8 - x48)^2 + (x9 - x49)^2 + (x10 - x50)^2
      - 4*x216 >= 0;

e94: (x6 - x51)^2 + (x7 - x52)^2 + (x8 - x53)^2 + (x9 - x54)^2 + (x10 - x55)^2
      - 4*x216 >= 0;

e95: (x6 - x56)^2 + (x7 - x57)^2 + (x8 - x58)^2 + (x9 - x59)^2 + (x10 - x60)^2
      - 4*x216 >= 0;

e96: (x6 - x61)^2 + (x7 - x62)^2 + (x8 - x63)^2 + (x9 - x64)^2 + (x10 - x65)^2
      - 4*x216 >= 0;

e97: (x6 - x66)^2 + (x7 - x67)^2 + (x8 - x68)^2 + (x9 - x69)^2 + (x10 - x70)^2
      - 4*x216 >= 0;

e98: (x6 - x71)^2 + (x7 - x72)^2 + (x8 - x73)^2 + (x9 - x74)^2 + (x10 - x75)^2
      - 4*x216 >= 0;

e99: (x6 - x76)^2 + (x7 - x77)^2 + (x8 - x78)^2 + (x9 - x79)^2 + (x10 - x80)^2
      - 4*x216 >= 0;

e100: (x6 - x81)^2 + (x7 - x82)^2 + (x8 - x83)^2 + (x9 - x84)^2 + (x10 - x85)^2
       - 4*x216 >= 0;

e101: (x6 - x86)^2 + (x7 - x87)^2 + (x8 - x88)^2 + (x9 - x89)^2 + (x10 - x90)^2
       - 4*x216 >= 0;

e102: (x6 - x91)^2 + (x7 - x92)^2 + (x8 - x93)^2 + (x9 - x94)^2 + (x10 - x95)^2
       - 4*x216 >= 0;

e103: (x6 - x96)^2 + (x7 - x97)^2 + (x8 - x98)^2 + (x9 - x99)^2 + (x10 - x100)^
      2 - 4*x216 >= 0;

e104: (x6 - x101)^2 + (x7 - x102)^2 + (x8 - x103)^2 + (x9 - x104)^2 + (x10 - 
      x105)^2 - 4*x216 >= 0;

e105: (x6 - x106)^2 + (x7 - x107)^2 + (x8 - x108)^2 + (x9 - x109)^2 + (x10 - 
      x110)^2 - 4*x216 >= 0;

e106: (x6 - x111)^2 + (x7 - x112)^2 + (x8 - x113)^2 + (x9 - x114)^2 + (x10 - 
      x115)^2 - 4*x216 >= 0;

e107: (x6 - x116)^2 + (x7 - x117)^2 + (x8 - x118)^2 + (x9 - x119)^2 + (x10 - 
      x120)^2 - 4*x216 >= 0;

e108: (x6 - x121)^2 + (x7 - x122)^2 + (x8 - x123)^2 + (x9 - x124)^2 + (x10 - 
      x125)^2 - 4*x216 >= 0;

e109: (x6 - x126)^2 + (x7 - x127)^2 + (x8 - x128)^2 + (x9 - x129)^2 + (x10 - 
      x130)^2 - 4*x216 >= 0;

e110: (x6 - x131)^2 + (x7 - x132)^2 + (x8 - x133)^2 + (x9 - x134)^2 + (x10 - 
      x135)^2 - 4*x216 >= 0;

e111: (x6 - x136)^2 + (x7 - x137)^2 + (x8 - x138)^2 + (x9 - x139)^2 + (x10 - 
      x140)^2 - 4*x216 >= 0;

e112: (x6 - x141)^2 + (x7 - x142)^2 + (x8 - x143)^2 + (x9 - x144)^2 + (x10 - 
      x145)^2 - 4*x216 >= 0;

e113: (x6 - x146)^2 + (x7 - x147)^2 + (x8 - x148)^2 + (x9 - x149)^2 + (x10 - 
      x150)^2 - 4*x216 >= 0;

e114: (x6 - x151)^2 + (x7 - x152)^2 + (x8 - x153)^2 + (x9 - x154)^2 + (x10 - 
      x155)^2 - 4*x216 >= 0;

e115: (x6 - x156)^2 + (x7 - x157)^2 + (x8 - x158)^2 + (x9 - x159)^2 + (x10 - 
      x160)^2 - 4*x216 >= 0;

e116: (x6 - x161)^2 + (x7 - x162)^2 + (x8 - x163)^2 + (x9 - x164)^2 + (x10 - 
      x165)^2 - 4*x216 >= 0;

e117: (x6 - x166)^2 + (x7 - x167)^2 + (x8 - x168)^2 + (x9 - x169)^2 + (x10 - 
      x170)^2 - 4*x216 >= 0;

e118: (x6 - x171)^2 + (x7 - x172)^2 + (x8 - x173)^2 + (x9 - x174)^2 + (x10 - 
      x175)^2 - 4*x216 >= 0;

e119: (x6 - x176)^2 + (x7 - x177)^2 + (x8 - x178)^2 + (x9 - x179)^2 + (x10 - 
      x180)^2 - 4*x216 >= 0;

e120: (x6 - x181)^2 + (x7 - x182)^2 + (x8 - x183)^2 + (x9 - x184)^2 + (x10 - 
      x185)^2 - 4*x216 >= 0;

e121: (x6 - x186)^2 + (x7 - x187)^2 + (x8 - x188)^2 + (x9 - x189)^2 + (x10 - 
      x190)^2 - 4*x216 >= 0;

e122: (x6 - x191)^2 + (x7 - x192)^2 + (x8 - x193)^2 + (x9 - x194)^2 + (x10 - 
      x195)^2 - 4*x216 >= 0;

e123: (x6 - x196)^2 + (x7 - x197)^2 + (x8 - x198)^2 + (x9 - x199)^2 + (x10 - 
      x200)^2 - 4*x216 >= 0;

e124: (x6 - x201)^2 + (x7 - x202)^2 + (x8 - x203)^2 + (x9 - x204)^2 + (x10 - 
      x205)^2 - 4*x216 >= 0;

e125: (x6 - x206)^2 + (x7 - x207)^2 + (x8 - x208)^2 + (x9 - x209)^2 + (x10 - 
      x210)^2 - 4*x216 >= 0;

e126: (x6 - x211)^2 + (x7 - x212)^2 + (x8 - x213)^2 + (x9 - x214)^2 + (x10 - 
      x215)^2 - 4*x216 >= 0;

e127: (x11 - x16)^2 + (x12 - x17)^2 + (x13 - x18)^2 + (x14 - x19)^2 + (x15 - 
      x20)^2 - 4*x216 >= 0;

e128: (x11 - x21)^2 + (x12 - x22)^2 + (x13 - x23)^2 + (x14 - x24)^2 + (x15 - 
      x25)^2 - 4*x216 >= 0;

e129: (x11 - x26)^2 + (x12 - x27)^2 + (x13 - x28)^2 + (x14 - x29)^2 + (x15 - 
      x30)^2 - 4*x216 >= 0;

e130: (x11 - x31)^2 + (x12 - x32)^2 + (x13 - x33)^2 + (x14 - x34)^2 + (x15 - 
      x35)^2 - 4*x216 >= 0;

e131: (x11 - x36)^2 + (x12 - x37)^2 + (x13 - x38)^2 + (x14 - x39)^2 + (x15 - 
      x40)^2 - 4*x216 >= 0;

e132: (x11 - x41)^2 + (x12 - x42)^2 + (x13 - x43)^2 + (x14 - x44)^2 + (x15 - 
      x45)^2 - 4*x216 >= 0;

e133: (x11 - x46)^2 + (x12 - x47)^2 + (x13 - x48)^2 + (x14 - x49)^2 + (x15 - 
      x50)^2 - 4*x216 >= 0;

e134: (x11 - x51)^2 + (x12 - x52)^2 + (x13 - x53)^2 + (x14 - x54)^2 + (x15 - 
      x55)^2 - 4*x216 >= 0;

e135: (x11 - x56)^2 + (x12 - x57)^2 + (x13 - x58)^2 + (x14 - x59)^2 + (x15 - 
      x60)^2 - 4*x216 >= 0;

e136: (x11 - x61)^2 + (x12 - x62)^2 + (x13 - x63)^2 + (x14 - x64)^2 + (x15 - 
      x65)^2 - 4*x216 >= 0;

e137: (x11 - x66)^2 + (x12 - x67)^2 + (x13 - x68)^2 + (x14 - x69)^2 + (x15 - 
      x70)^2 - 4*x216 >= 0;

e138: (x11 - x71)^2 + (x12 - x72)^2 + (x13 - x73)^2 + (x14 - x74)^2 + (x15 - 
      x75)^2 - 4*x216 >= 0;

e139: (x11 - x76)^2 + (x12 - x77)^2 + (x13 - x78)^2 + (x14 - x79)^2 + (x15 - 
      x80)^2 - 4*x216 >= 0;

e140: (x11 - x81)^2 + (x12 - x82)^2 + (x13 - x83)^2 + (x14 - x84)^2 + (x15 - 
      x85)^2 - 4*x216 >= 0;

e141: (x11 - x86)^2 + (x12 - x87)^2 + (x13 - x88)^2 + (x14 - x89)^2 + (x15 - 
      x90)^2 - 4*x216 >= 0;

e142: (x11 - x91)^2 + (x12 - x92)^2 + (x13 - x93)^2 + (x14 - x94)^2 + (x15 - 
      x95)^2 - 4*x216 >= 0;

e143: (x11 - x96)^2 + (x12 - x97)^2 + (x13 - x98)^2 + (x14 - x99)^2 + (x15 - 
      x100)^2 - 4*x216 >= 0;

e144: (x11 - x101)^2 + (x12 - x102)^2 + (x13 - x103)^2 + (x14 - x104)^2 + (x15
       - x105)^2 - 4*x216 >= 0;

e145: (x11 - x106)^2 + (x12 - x107)^2 + (x13 - x108)^2 + (x14 - x109)^2 + (x15
       - x110)^2 - 4*x216 >= 0;

e146: (x11 - x111)^2 + (x12 - x112)^2 + (x13 - x113)^2 + (x14 - x114)^2 + (x15
       - x115)^2 - 4*x216 >= 0;

e147: (x11 - x116)^2 + (x12 - x117)^2 + (x13 - x118)^2 + (x14 - x119)^2 + (x15
       - x120)^2 - 4*x216 >= 0;

e148: (x11 - x121)^2 + (x12 - x122)^2 + (x13 - x123)^2 + (x14 - x124)^2 + (x15
       - x125)^2 - 4*x216 >= 0;

e149: (x11 - x126)^2 + (x12 - x127)^2 + (x13 - x128)^2 + (x14 - x129)^2 + (x15
       - x130)^2 - 4*x216 >= 0;

e150: (x11 - x131)^2 + (x12 - x132)^2 + (x13 - x133)^2 + (x14 - x134)^2 + (x15
       - x135)^2 - 4*x216 >= 0;

e151: (x11 - x136)^2 + (x12 - x137)^2 + (x13 - x138)^2 + (x14 - x139)^2 + (x15
       - x140)^2 - 4*x216 >= 0;

e152: (x11 - x141)^2 + (x12 - x142)^2 + (x13 - x143)^2 + (x14 - x144)^2 + (x15
       - x145)^2 - 4*x216 >= 0;

e153: (x11 - x146)^2 + (x12 - x147)^2 + (x13 - x148)^2 + (x14 - x149)^2 + (x15
       - x150)^2 - 4*x216 >= 0;

e154: (x11 - x151)^2 + (x12 - x152)^2 + (x13 - x153)^2 + (x14 - x154)^2 + (x15
       - x155)^2 - 4*x216 >= 0;

e155: (x11 - x156)^2 + (x12 - x157)^2 + (x13 - x158)^2 + (x14 - x159)^2 + (x15
       - x160)^2 - 4*x216 >= 0;

e156: (x11 - x161)^2 + (x12 - x162)^2 + (x13 - x163)^2 + (x14 - x164)^2 + (x15
       - x165)^2 - 4*x216 >= 0;

e157: (x11 - x166)^2 + (x12 - x167)^2 + (x13 - x168)^2 + (x14 - x169)^2 + (x15
       - x170)^2 - 4*x216 >= 0;

e158: (x11 - x171)^2 + (x12 - x172)^2 + (x13 - x173)^2 + (x14 - x174)^2 + (x15
       - x175)^2 - 4*x216 >= 0;

e159: (x11 - x176)^2 + (x12 - x177)^2 + (x13 - x178)^2 + (x14 - x179)^2 + (x15
       - x180)^2 - 4*x216 >= 0;

e160: (x11 - x181)^2 + (x12 - x182)^2 + (x13 - x183)^2 + (x14 - x184)^2 + (x15
       - x185)^2 - 4*x216 >= 0;

e161: (x11 - x186)^2 + (x12 - x187)^2 + (x13 - x188)^2 + (x14 - x189)^2 + (x15
       - x190)^2 - 4*x216 >= 0;

e162: (x11 - x191)^2 + (x12 - x192)^2 + (x13 - x193)^2 + (x14 - x194)^2 + (x15
       - x195)^2 - 4*x216 >= 0;

e163: (x11 - x196)^2 + (x12 - x197)^2 + (x13 - x198)^2 + (x14 - x199)^2 + (x15
       - x200)^2 - 4*x216 >= 0;

e164: (x11 - x201)^2 + (x12 - x202)^2 + (x13 - x203)^2 + (x14 - x204)^2 + (x15
       - x205)^2 - 4*x216 >= 0;

e165: (x11 - x206)^2 + (x12 - x207)^2 + (x13 - x208)^2 + (x14 - x209)^2 + (x15
       - x210)^2 - 4*x216 >= 0;

e166: (x11 - x211)^2 + (x12 - x212)^2 + (x13 - x213)^2 + (x14 - x214)^2 + (x15
       - x215)^2 - 4*x216 >= 0;

e167: (x16 - x21)^2 + (x17 - x22)^2 + (x18 - x23)^2 + (x19 - x24)^2 + (x20 - 
      x25)^2 - 4*x216 >= 0;

e168: (x16 - x26)^2 + (x17 - x27)^2 + (x18 - x28)^2 + (x19 - x29)^2 + (x20 - 
      x30)^2 - 4*x216 >= 0;

e169: (x16 - x31)^2 + (x17 - x32)^2 + (x18 - x33)^2 + (x19 - x34)^2 + (x20 - 
      x35)^2 - 4*x216 >= 0;

e170: (x16 - x36)^2 + (x17 - x37)^2 + (x18 - x38)^2 + (x19 - x39)^2 + (x20 - 
      x40)^2 - 4*x216 >= 0;

e171: (x16 - x41)^2 + (x17 - x42)^2 + (x18 - x43)^2 + (x19 - x44)^2 + (x20 - 
      x45)^2 - 4*x216 >= 0;

e172: (x16 - x46)^2 + (x17 - x47)^2 + (x18 - x48)^2 + (x19 - x49)^2 + (x20 - 
      x50)^2 - 4*x216 >= 0;

e173: (x16 - x51)^2 + (x17 - x52)^2 + (x18 - x53)^2 + (x19 - x54)^2 + (x20 - 
      x55)^2 - 4*x216 >= 0;

e174: (x16 - x56)^2 + (x17 - x57)^2 + (x18 - x58)^2 + (x19 - x59)^2 + (x20 - 
      x60)^2 - 4*x216 >= 0;

e175: (x16 - x61)^2 + (x17 - x62)^2 + (x18 - x63)^2 + (x19 - x64)^2 + (x20 - 
      x65)^2 - 4*x216 >= 0;

e176: (x16 - x66)^2 + (x17 - x67)^2 + (x18 - x68)^2 + (x19 - x69)^2 + (x20 - 
      x70)^2 - 4*x216 >= 0;

e177: (x16 - x71)^2 + (x17 - x72)^2 + (x18 - x73)^2 + (x19 - x74)^2 + (x20 - 
      x75)^2 - 4*x216 >= 0;

e178: (x16 - x76)^2 + (x17 - x77)^2 + (x18 - x78)^2 + (x19 - x79)^2 + (x20 - 
      x80)^2 - 4*x216 >= 0;

e179: (x16 - x81)^2 + (x17 - x82)^2 + (x18 - x83)^2 + (x19 - x84)^2 + (x20 - 
      x85)^2 - 4*x216 >= 0;

e180: (x16 - x86)^2 + (x17 - x87)^2 + (x18 - x88)^2 + (x19 - x89)^2 + (x20 - 
      x90)^2 - 4*x216 >= 0;

e181: (x16 - x91)^2 + (x17 - x92)^2 + (x18 - x93)^2 + (x19 - x94)^2 + (x20 - 
      x95)^2 - 4*x216 >= 0;

e182: (x16 - x96)^2 + (x17 - x97)^2 + (x18 - x98)^2 + (x19 - x99)^2 + (x20 - 
      x100)^2 - 4*x216 >= 0;

e183: (x16 - x101)^2 + (x17 - x102)^2 + (x18 - x103)^2 + (x19 - x104)^2 + (x20
       - x105)^2 - 4*x216 >= 0;

e184: (x16 - x106)^2 + (x17 - x107)^2 + (x18 - x108)^2 + (x19 - x109)^2 + (x20
       - x110)^2 - 4*x216 >= 0;

e185: (x16 - x111)^2 + (x17 - x112)^2 + (x18 - x113)^2 + (x19 - x114)^2 + (x20
       - x115)^2 - 4*x216 >= 0;

e186: (x16 - x116)^2 + (x17 - x117)^2 + (x18 - x118)^2 + (x19 - x119)^2 + (x20
       - x120)^2 - 4*x216 >= 0;

e187: (x16 - x121)^2 + (x17 - x122)^2 + (x18 - x123)^2 + (x19 - x124)^2 + (x20
       - x125)^2 - 4*x216 >= 0;

e188: (x16 - x126)^2 + (x17 - x127)^2 + (x18 - x128)^2 + (x19 - x129)^2 + (x20
       - x130)^2 - 4*x216 >= 0;

e189: (x16 - x131)^2 + (x17 - x132)^2 + (x18 - x133)^2 + (x19 - x134)^2 + (x20
       - x135)^2 - 4*x216 >= 0;

e190: (x16 - x136)^2 + (x17 - x137)^2 + (x18 - x138)^2 + (x19 - x139)^2 + (x20
       - x140)^2 - 4*x216 >= 0;

e191: (x16 - x141)^2 + (x17 - x142)^2 + (x18 - x143)^2 + (x19 - x144)^2 + (x20
       - x145)^2 - 4*x216 >= 0;

e192: (x16 - x146)^2 + (x17 - x147)^2 + (x18 - x148)^2 + (x19 - x149)^2 + (x20
       - x150)^2 - 4*x216 >= 0;

e193: (x16 - x151)^2 + (x17 - x152)^2 + (x18 - x153)^2 + (x19 - x154)^2 + (x20
       - x155)^2 - 4*x216 >= 0;

e194: (x16 - x156)^2 + (x17 - x157)^2 + (x18 - x158)^2 + (x19 - x159)^2 + (x20
       - x160)^2 - 4*x216 >= 0;

e195: (x16 - x161)^2 + (x17 - x162)^2 + (x18 - x163)^2 + (x19 - x164)^2 + (x20
       - x165)^2 - 4*x216 >= 0;

e196: (x16 - x166)^2 + (x17 - x167)^2 + (x18 - x168)^2 + (x19 - x169)^2 + (x20
       - x170)^2 - 4*x216 >= 0;

e197: (x16 - x171)^2 + (x17 - x172)^2 + (x18 - x173)^2 + (x19 - x174)^2 + (x20
       - x175)^2 - 4*x216 >= 0;

e198: (x16 - x176)^2 + (x17 - x177)^2 + (x18 - x178)^2 + (x19 - x179)^2 + (x20
       - x180)^2 - 4*x216 >= 0;

e199: (x16 - x181)^2 + (x17 - x182)^2 + (x18 - x183)^2 + (x19 - x184)^2 + (x20
       - x185)^2 - 4*x216 >= 0;

e200: (x16 - x186)^2 + (x17 - x187)^2 + (x18 - x188)^2 + (x19 - x189)^2 + (x20
       - x190)^2 - 4*x216 >= 0;

e201: (x16 - x191)^2 + (x17 - x192)^2 + (x18 - x193)^2 + (x19 - x194)^2 + (x20
       - x195)^2 - 4*x216 >= 0;

e202: (x16 - x196)^2 + (x17 - x197)^2 + (x18 - x198)^2 + (x19 - x199)^2 + (x20
       - x200)^2 - 4*x216 >= 0;

e203: (x16 - x201)^2 + (x17 - x202)^2 + (x18 - x203)^2 + (x19 - x204)^2 + (x20
       - x205)^2 - 4*x216 >= 0;

e204: (x16 - x206)^2 + (x17 - x207)^2 + (x18 - x208)^2 + (x19 - x209)^2 + (x20
       - x210)^2 - 4*x216 >= 0;

e205: (x16 - x211)^2 + (x17 - x212)^2 + (x18 - x213)^2 + (x19 - x214)^2 + (x20
       - x215)^2 - 4*x216 >= 0;

e206: (x21 - x26)^2 + (x22 - x27)^2 + (x23 - x28)^2 + (x24 - x29)^2 + (x25 - 
      x30)^2 - 4*x216 >= 0;

e207: (x21 - x31)^2 + (x22 - x32)^2 + (x23 - x33)^2 + (x24 - x34)^2 + (x25 - 
      x35)^2 - 4*x216 >= 0;

e208: (x21 - x36)^2 + (x22 - x37)^2 + (x23 - x38)^2 + (x24 - x39)^2 + (x25 - 
      x40)^2 - 4*x216 >= 0;

e209: (x21 - x41)^2 + (x22 - x42)^2 + (x23 - x43)^2 + (x24 - x44)^2 + (x25 - 
      x45)^2 - 4*x216 >= 0;

e210: (x21 - x46)^2 + (x22 - x47)^2 + (x23 - x48)^2 + (x24 - x49)^2 + (x25 - 
      x50)^2 - 4*x216 >= 0;

e211: (x21 - x51)^2 + (x22 - x52)^2 + (x23 - x53)^2 + (x24 - x54)^2 + (x25 - 
      x55)^2 - 4*x216 >= 0;

e212: (x21 - x56)^2 + (x22 - x57)^2 + (x23 - x58)^2 + (x24 - x59)^2 + (x25 - 
      x60)^2 - 4*x216 >= 0;

e213: (x21 - x61)^2 + (x22 - x62)^2 + (x23 - x63)^2 + (x24 - x64)^2 + (x25 - 
      x65)^2 - 4*x216 >= 0;

e214: (x21 - x66)^2 + (x22 - x67)^2 + (x23 - x68)^2 + (x24 - x69)^2 + (x25 - 
      x70)^2 - 4*x216 >= 0;

e215: (x21 - x71)^2 + (x22 - x72)^2 + (x23 - x73)^2 + (x24 - x74)^2 + (x25 - 
      x75)^2 - 4*x216 >= 0;

e216: (x21 - x76)^2 + (x22 - x77)^2 + (x23 - x78)^2 + (x24 - x79)^2 + (x25 - 
      x80)^2 - 4*x216 >= 0;

e217: (x21 - x81)^2 + (x22 - x82)^2 + (x23 - x83)^2 + (x24 - x84)^2 + (x25 - 
      x85)^2 - 4*x216 >= 0;

e218: (x21 - x86)^2 + (x22 - x87)^2 + (x23 - x88)^2 + (x24 - x89)^2 + (x25 - 
      x90)^2 - 4*x216 >= 0;

e219: (x21 - x91)^2 + (x22 - x92)^2 + (x23 - x93)^2 + (x24 - x94)^2 + (x25 - 
      x95)^2 - 4*x216 >= 0;

e220: (x21 - x96)^2 + (x22 - x97)^2 + (x23 - x98)^2 + (x24 - x99)^2 + (x25 - 
      x100)^2 - 4*x216 >= 0;

e221: (x21 - x101)^2 + (x22 - x102)^2 + (x23 - x103)^2 + (x24 - x104)^2 + (x25
       - x105)^2 - 4*x216 >= 0;

e222: (x21 - x106)^2 + (x22 - x107)^2 + (x23 - x108)^2 + (x24 - x109)^2 + (x25
       - x110)^2 - 4*x216 >= 0;

e223: (x21 - x111)^2 + (x22 - x112)^2 + (x23 - x113)^2 + (x24 - x114)^2 + (x25
       - x115)^2 - 4*x216 >= 0;

e224: (x21 - x116)^2 + (x22 - x117)^2 + (x23 - x118)^2 + (x24 - x119)^2 + (x25
       - x120)^2 - 4*x216 >= 0;

e225: (x21 - x121)^2 + (x22 - x122)^2 + (x23 - x123)^2 + (x24 - x124)^2 + (x25
       - x125)^2 - 4*x216 >= 0;

e226: (x21 - x126)^2 + (x22 - x127)^2 + (x23 - x128)^2 + (x24 - x129)^2 + (x25
       - x130)^2 - 4*x216 >= 0;

e227: (x21 - x131)^2 + (x22 - x132)^2 + (x23 - x133)^2 + (x24 - x134)^2 + (x25
       - x135)^2 - 4*x216 >= 0;

e228: (x21 - x136)^2 + (x22 - x137)^2 + (x23 - x138)^2 + (x24 - x139)^2 + (x25
       - x140)^2 - 4*x216 >= 0;

e229: (x21 - x141)^2 + (x22 - x142)^2 + (x23 - x143)^2 + (x24 - x144)^2 + (x25
       - x145)^2 - 4*x216 >= 0;

e230: (x21 - x146)^2 + (x22 - x147)^2 + (x23 - x148)^2 + (x24 - x149)^2 + (x25
       - x150)^2 - 4*x216 >= 0;

e231: (x21 - x151)^2 + (x22 - x152)^2 + (x23 - x153)^2 + (x24 - x154)^2 + (x25
       - x155)^2 - 4*x216 >= 0;

e232: (x21 - x156)^2 + (x22 - x157)^2 + (x23 - x158)^2 + (x24 - x159)^2 + (x25
       - x160)^2 - 4*x216 >= 0;

e233: (x21 - x161)^2 + (x22 - x162)^2 + (x23 - x163)^2 + (x24 - x164)^2 + (x25
       - x165)^2 - 4*x216 >= 0;

e234: (x21 - x166)^2 + (x22 - x167)^2 + (x23 - x168)^2 + (x24 - x169)^2 + (x25
       - x170)^2 - 4*x216 >= 0;

e235: (x21 - x171)^2 + (x22 - x172)^2 + (x23 - x173)^2 + (x24 - x174)^2 + (x25
       - x175)^2 - 4*x216 >= 0;

e236: (x21 - x176)^2 + (x22 - x177)^2 + (x23 - x178)^2 + (x24 - x179)^2 + (x25
       - x180)^2 - 4*x216 >= 0;

e237: (x21 - x181)^2 + (x22 - x182)^2 + (x23 - x183)^2 + (x24 - x184)^2 + (x25
       - x185)^2 - 4*x216 >= 0;

e238: (x21 - x186)^2 + (x22 - x187)^2 + (x23 - x188)^2 + (x24 - x189)^2 + (x25
       - x190)^2 - 4*x216 >= 0;

e239: (x21 - x191)^2 + (x22 - x192)^2 + (x23 - x193)^2 + (x24 - x194)^2 + (x25
       - x195)^2 - 4*x216 >= 0;

e240: (x21 - x196)^2 + (x22 - x197)^2 + (x23 - x198)^2 + (x24 - x199)^2 + (x25
       - x200)^2 - 4*x216 >= 0;

e241: (x21 - x201)^2 + (x22 - x202)^2 + (x23 - x203)^2 + (x24 - x204)^2 + (x25
       - x205)^2 - 4*x216 >= 0;

e242: (x21 - x206)^2 + (x22 - x207)^2 + (x23 - x208)^2 + (x24 - x209)^2 + (x25
       - x210)^2 - 4*x216 >= 0;

e243: (x21 - x211)^2 + (x22 - x212)^2 + (x23 - x213)^2 + (x24 - x214)^2 + (x25
       - x215)^2 - 4*x216 >= 0;

e244: (x26 - x31)^2 + (x27 - x32)^2 + (x28 - x33)^2 + (x29 - x34)^2 + (x30 - 
      x35)^2 - 4*x216 >= 0;

e245: (x26 - x36)^2 + (x27 - x37)^2 + (x28 - x38)^2 + (x29 - x39)^2 + (x30 - 
      x40)^2 - 4*x216 >= 0;

e246: (x26 - x41)^2 + (x27 - x42)^2 + (x28 - x43)^2 + (x29 - x44)^2 + (x30 - 
      x45)^2 - 4*x216 >= 0;

e247: (x26 - x46)^2 + (x27 - x47)^2 + (x28 - x48)^2 + (x29 - x49)^2 + (x30 - 
      x50)^2 - 4*x216 >= 0;

e248: (x26 - x51)^2 + (x27 - x52)^2 + (x28 - x53)^2 + (x29 - x54)^2 + (x30 - 
      x55)^2 - 4*x216 >= 0;

e249: (x26 - x56)^2 + (x27 - x57)^2 + (x28 - x58)^2 + (x29 - x59)^2 + (x30 - 
      x60)^2 - 4*x216 >= 0;

e250: (x26 - x61)^2 + (x27 - x62)^2 + (x28 - x63)^2 + (x29 - x64)^2 + (x30 - 
      x65)^2 - 4*x216 >= 0;

e251: (x26 - x66)^2 + (x27 - x67)^2 + (x28 - x68)^2 + (x29 - x69)^2 + (x30 - 
      x70)^2 - 4*x216 >= 0;

e252: (x26 - x71)^2 + (x27 - x72)^2 + (x28 - x73)^2 + (x29 - x74)^2 + (x30 - 
      x75)^2 - 4*x216 >= 0;

e253: (x26 - x76)^2 + (x27 - x77)^2 + (x28 - x78)^2 + (x29 - x79)^2 + (x30 - 
      x80)^2 - 4*x216 >= 0;

e254: (x26 - x81)^2 + (x27 - x82)^2 + (x28 - x83)^2 + (x29 - x84)^2 + (x30 - 
      x85)^2 - 4*x216 >= 0;

e255: (x26 - x86)^2 + (x27 - x87)^2 + (x28 - x88)^2 + (x29 - x89)^2 + (x30 - 
      x90)^2 - 4*x216 >= 0;

e256: (x26 - x91)^2 + (x27 - x92)^2 + (x28 - x93)^2 + (x29 - x94)^2 + (x30 - 
      x95)^2 - 4*x216 >= 0;

e257: (x26 - x96)^2 + (x27 - x97)^2 + (x28 - x98)^2 + (x29 - x99)^2 + (x30 - 
      x100)^2 - 4*x216 >= 0;

e258: (x26 - x101)^2 + (x27 - x102)^2 + (x28 - x103)^2 + (x29 - x104)^2 + (x30
       - x105)^2 - 4*x216 >= 0;

e259: (x26 - x106)^2 + (x27 - x107)^2 + (x28 - x108)^2 + (x29 - x109)^2 + (x30
       - x110)^2 - 4*x216 >= 0;

e260: (x26 - x111)^2 + (x27 - x112)^2 + (x28 - x113)^2 + (x29 - x114)^2 + (x30
       - x115)^2 - 4*x216 >= 0;

e261: (x26 - x116)^2 + (x27 - x117)^2 + (x28 - x118)^2 + (x29 - x119)^2 + (x30
       - x120)^2 - 4*x216 >= 0;

e262: (x26 - x121)^2 + (x27 - x122)^2 + (x28 - x123)^2 + (x29 - x124)^2 + (x30
       - x125)^2 - 4*x216 >= 0;

e263: (x26 - x126)^2 + (x27 - x127)^2 + (x28 - x128)^2 + (x29 - x129)^2 + (x30
       - x130)^2 - 4*x216 >= 0;

e264: (x26 - x131)^2 + (x27 - x132)^2 + (x28 - x133)^2 + (x29 - x134)^2 + (x30
       - x135)^2 - 4*x216 >= 0;

e265: (x26 - x136)^2 + (x27 - x137)^2 + (x28 - x138)^2 + (x29 - x139)^2 + (x30
       - x140)^2 - 4*x216 >= 0;

e266: (x26 - x141)^2 + (x27 - x142)^2 + (x28 - x143)^2 + (x29 - x144)^2 + (x30
       - x145)^2 - 4*x216 >= 0;

e267: (x26 - x146)^2 + (x27 - x147)^2 + (x28 - x148)^2 + (x29 - x149)^2 + (x30
       - x150)^2 - 4*x216 >= 0;

e268: (x26 - x151)^2 + (x27 - x152)^2 + (x28 - x153)^2 + (x29 - x154)^2 + (x30
       - x155)^2 - 4*x216 >= 0;

e269: (x26 - x156)^2 + (x27 - x157)^2 + (x28 - x158)^2 + (x29 - x159)^2 + (x30
       - x160)^2 - 4*x216 >= 0;

e270: (x26 - x161)^2 + (x27 - x162)^2 + (x28 - x163)^2 + (x29 - x164)^2 + (x30
       - x165)^2 - 4*x216 >= 0;

e271: (x26 - x166)^2 + (x27 - x167)^2 + (x28 - x168)^2 + (x29 - x169)^2 + (x30
       - x170)^2 - 4*x216 >= 0;

e272: (x26 - x171)^2 + (x27 - x172)^2 + (x28 - x173)^2 + (x29 - x174)^2 + (x30
       - x175)^2 - 4*x216 >= 0;

e273: (x26 - x176)^2 + (x27 - x177)^2 + (x28 - x178)^2 + (x29 - x179)^2 + (x30
       - x180)^2 - 4*x216 >= 0;

e274: (x26 - x181)^2 + (x27 - x182)^2 + (x28 - x183)^2 + (x29 - x184)^2 + (x30
       - x185)^2 - 4*x216 >= 0;

e275: (x26 - x186)^2 + (x27 - x187)^2 + (x28 - x188)^2 + (x29 - x189)^2 + (x30
       - x190)^2 - 4*x216 >= 0;

e276: (x26 - x191)^2 + (x27 - x192)^2 + (x28 - x193)^2 + (x29 - x194)^2 + (x30
       - x195)^2 - 4*x216 >= 0;

e277: (x26 - x196)^2 + (x27 - x197)^2 + (x28 - x198)^2 + (x29 - x199)^2 + (x30
       - x200)^2 - 4*x216 >= 0;

e278: (x26 - x201)^2 + (x27 - x202)^2 + (x28 - x203)^2 + (x29 - x204)^2 + (x30
       - x205)^2 - 4*x216 >= 0;

e279: (x26 - x206)^2 + (x27 - x207)^2 + (x28 - x208)^2 + (x29 - x209)^2 + (x30
       - x210)^2 - 4*x216 >= 0;

e280: (x26 - x211)^2 + (x27 - x212)^2 + (x28 - x213)^2 + (x29 - x214)^2 + (x30
       - x215)^2 - 4*x216 >= 0;

e281: (x31 - x36)^2 + (x32 - x37)^2 + (x33 - x38)^2 + (x34 - x39)^2 + (x35 - 
      x40)^2 - 4*x216 >= 0;

e282: (x31 - x41)^2 + (x32 - x42)^2 + (x33 - x43)^2 + (x34 - x44)^2 + (x35 - 
      x45)^2 - 4*x216 >= 0;

e283: (x31 - x46)^2 + (x32 - x47)^2 + (x33 - x48)^2 + (x34 - x49)^2 + (x35 - 
      x50)^2 - 4*x216 >= 0;

e284: (x31 - x51)^2 + (x32 - x52)^2 + (x33 - x53)^2 + (x34 - x54)^2 + (x35 - 
      x55)^2 - 4*x216 >= 0;

e285: (x31 - x56)^2 + (x32 - x57)^2 + (x33 - x58)^2 + (x34 - x59)^2 + (x35 - 
      x60)^2 - 4*x216 >= 0;

e286: (x31 - x61)^2 + (x32 - x62)^2 + (x33 - x63)^2 + (x34 - x64)^2 + (x35 - 
      x65)^2 - 4*x216 >= 0;

e287: (x31 - x66)^2 + (x32 - x67)^2 + (x33 - x68)^2 + (x34 - x69)^2 + (x35 - 
      x70)^2 - 4*x216 >= 0;

e288: (x31 - x71)^2 + (x32 - x72)^2 + (x33 - x73)^2 + (x34 - x74)^2 + (x35 - 
      x75)^2 - 4*x216 >= 0;

e289: (x31 - x76)^2 + (x32 - x77)^2 + (x33 - x78)^2 + (x34 - x79)^2 + (x35 - 
      x80)^2 - 4*x216 >= 0;

e290: (x31 - x81)^2 + (x32 - x82)^2 + (x33 - x83)^2 + (x34 - x84)^2 + (x35 - 
      x85)^2 - 4*x216 >= 0;

e291: (x31 - x86)^2 + (x32 - x87)^2 + (x33 - x88)^2 + (x34 - x89)^2 + (x35 - 
      x90)^2 - 4*x216 >= 0;

e292: (x31 - x91)^2 + (x32 - x92)^2 + (x33 - x93)^2 + (x34 - x94)^2 + (x35 - 
      x95)^2 - 4*x216 >= 0;

e293: (x31 - x96)^2 + (x32 - x97)^2 + (x33 - x98)^2 + (x34 - x99)^2 + (x35 - 
      x100)^2 - 4*x216 >= 0;

e294: (x31 - x101)^2 + (x32 - x102)^2 + (x33 - x103)^2 + (x34 - x104)^2 + (x35
       - x105)^2 - 4*x216 >= 0;

e295: (x31 - x106)^2 + (x32 - x107)^2 + (x33 - x108)^2 + (x34 - x109)^2 + (x35
       - x110)^2 - 4*x216 >= 0;

e296: (x31 - x111)^2 + (x32 - x112)^2 + (x33 - x113)^2 + (x34 - x114)^2 + (x35
       - x115)^2 - 4*x216 >= 0;

e297: (x31 - x116)^2 + (x32 - x117)^2 + (x33 - x118)^2 + (x34 - x119)^2 + (x35
       - x120)^2 - 4*x216 >= 0;

e298: (x31 - x121)^2 + (x32 - x122)^2 + (x33 - x123)^2 + (x34 - x124)^2 + (x35
       - x125)^2 - 4*x216 >= 0;

e299: (x31 - x126)^2 + (x32 - x127)^2 + (x33 - x128)^2 + (x34 - x129)^2 + (x35
       - x130)^2 - 4*x216 >= 0;

e300: (x31 - x131)^2 + (x32 - x132)^2 + (x33 - x133)^2 + (x34 - x134)^2 + (x35
       - x135)^2 - 4*x216 >= 0;

e301: (x31 - x136)^2 + (x32 - x137)^2 + (x33 - x138)^2 + (x34 - x139)^2 + (x35
       - x140)^2 - 4*x216 >= 0;

e302: (x31 - x141)^2 + (x32 - x142)^2 + (x33 - x143)^2 + (x34 - x144)^2 + (x35
       - x145)^2 - 4*x216 >= 0;

e303: (x31 - x146)^2 + (x32 - x147)^2 + (x33 - x148)^2 + (x34 - x149)^2 + (x35
       - x150)^2 - 4*x216 >= 0;

e304: (x31 - x151)^2 + (x32 - x152)^2 + (x33 - x153)^2 + (x34 - x154)^2 + (x35
       - x155)^2 - 4*x216 >= 0;

e305: (x31 - x156)^2 + (x32 - x157)^2 + (x33 - x158)^2 + (x34 - x159)^2 + (x35
       - x160)^2 - 4*x216 >= 0;

e306: (x31 - x161)^2 + (x32 - x162)^2 + (x33 - x163)^2 + (x34 - x164)^2 + (x35
       - x165)^2 - 4*x216 >= 0;

e307: (x31 - x166)^2 + (x32 - x167)^2 + (x33 - x168)^2 + (x34 - x169)^2 + (x35
       - x170)^2 - 4*x216 >= 0;

e308: (x31 - x171)^2 + (x32 - x172)^2 + (x33 - x173)^2 + (x34 - x174)^2 + (x35
       - x175)^2 - 4*x216 >= 0;

e309: (x31 - x176)^2 + (x32 - x177)^2 + (x33 - x178)^2 + (x34 - x179)^2 + (x35
       - x180)^2 - 4*x216 >= 0;

e310: (x31 - x181)^2 + (x32 - x182)^2 + (x33 - x183)^2 + (x34 - x184)^2 + (x35
       - x185)^2 - 4*x216 >= 0;

e311: (x31 - x186)^2 + (x32 - x187)^2 + (x33 - x188)^2 + (x34 - x189)^2 + (x35
       - x190)^2 - 4*x216 >= 0;

e312: (x31 - x191)^2 + (x32 - x192)^2 + (x33 - x193)^2 + (x34 - x194)^2 + (x35
       - x195)^2 - 4*x216 >= 0;

e313: (x31 - x196)^2 + (x32 - x197)^2 + (x33 - x198)^2 + (x34 - x199)^2 + (x35
       - x200)^2 - 4*x216 >= 0;

e314: (x31 - x201)^2 + (x32 - x202)^2 + (x33 - x203)^2 + (x34 - x204)^2 + (x35
       - x205)^2 - 4*x216 >= 0;

e315: (x31 - x206)^2 + (x32 - x207)^2 + (x33 - x208)^2 + (x34 - x209)^2 + (x35
       - x210)^2 - 4*x216 >= 0;

e316: (x31 - x211)^2 + (x32 - x212)^2 + (x33 - x213)^2 + (x34 - x214)^2 + (x35
       - x215)^2 - 4*x216 >= 0;

e317: (x36 - x41)^2 + (x37 - x42)^2 + (x38 - x43)^2 + (x39 - x44)^2 + (x40 - 
      x45)^2 - 4*x216 >= 0;

e318: (x36 - x46)^2 + (x37 - x47)^2 + (x38 - x48)^2 + (x39 - x49)^2 + (x40 - 
      x50)^2 - 4*x216 >= 0;

e319: (x36 - x51)^2 + (x37 - x52)^2 + (x38 - x53)^2 + (x39 - x54)^2 + (x40 - 
      x55)^2 - 4*x216 >= 0;

e320: (x36 - x56)^2 + (x37 - x57)^2 + (x38 - x58)^2 + (x39 - x59)^2 + (x40 - 
      x60)^2 - 4*x216 >= 0;

e321: (x36 - x61)^2 + (x37 - x62)^2 + (x38 - x63)^2 + (x39 - x64)^2 + (x40 - 
      x65)^2 - 4*x216 >= 0;

e322: (x36 - x66)^2 + (x37 - x67)^2 + (x38 - x68)^2 + (x39 - x69)^2 + (x40 - 
      x70)^2 - 4*x216 >= 0;

e323: (x36 - x71)^2 + (x37 - x72)^2 + (x38 - x73)^2 + (x39 - x74)^2 + (x40 - 
      x75)^2 - 4*x216 >= 0;

e324: (x36 - x76)^2 + (x37 - x77)^2 + (x38 - x78)^2 + (x39 - x79)^2 + (x40 - 
      x80)^2 - 4*x216 >= 0;

e325: (x36 - x81)^2 + (x37 - x82)^2 + (x38 - x83)^2 + (x39 - x84)^2 + (x40 - 
      x85)^2 - 4*x216 >= 0;

e326: (x36 - x86)^2 + (x37 - x87)^2 + (x38 - x88)^2 + (x39 - x89)^2 + (x40 - 
      x90)^2 - 4*x216 >= 0;

e327: (x36 - x91)^2 + (x37 - x92)^2 + (x38 - x93)^2 + (x39 - x94)^2 + (x40 - 
      x95)^2 - 4*x216 >= 0;

e328: (x36 - x96)^2 + (x37 - x97)^2 + (x38 - x98)^2 + (x39 - x99)^2 + (x40 - 
      x100)^2 - 4*x216 >= 0;

e329: (x36 - x101)^2 + (x37 - x102)^2 + (x38 - x103)^2 + (x39 - x104)^2 + (x40
       - x105)^2 - 4*x216 >= 0;

e330: (x36 - x106)^2 + (x37 - x107)^2 + (x38 - x108)^2 + (x39 - x109)^2 + (x40
       - x110)^2 - 4*x216 >= 0;

e331: (x36 - x111)^2 + (x37 - x112)^2 + (x38 - x113)^2 + (x39 - x114)^2 + (x40
       - x115)^2 - 4*x216 >= 0;

e332: (x36 - x116)^2 + (x37 - x117)^2 + (x38 - x118)^2 + (x39 - x119)^2 + (x40
       - x120)^2 - 4*x216 >= 0;

e333: (x36 - x121)^2 + (x37 - x122)^2 + (x38 - x123)^2 + (x39 - x124)^2 + (x40
       - x125)^2 - 4*x216 >= 0;

e334: (x36 - x126)^2 + (x37 - x127)^2 + (x38 - x128)^2 + (x39 - x129)^2 + (x40
       - x130)^2 - 4*x216 >= 0;

e335: (x36 - x131)^2 + (x37 - x132)^2 + (x38 - x133)^2 + (x39 - x134)^2 + (x40
       - x135)^2 - 4*x216 >= 0;

e336: (x36 - x136)^2 + (x37 - x137)^2 + (x38 - x138)^2 + (x39 - x139)^2 + (x40
       - x140)^2 - 4*x216 >= 0;

e337: (x36 - x141)^2 + (x37 - x142)^2 + (x38 - x143)^2 + (x39 - x144)^2 + (x40
       - x145)^2 - 4*x216 >= 0;

e338: (x36 - x146)^2 + (x37 - x147)^2 + (x38 - x148)^2 + (x39 - x149)^2 + (x40
       - x150)^2 - 4*x216 >= 0;

e339: (x36 - x151)^2 + (x37 - x152)^2 + (x38 - x153)^2 + (x39 - x154)^2 + (x40
       - x155)^2 - 4*x216 >= 0;

e340: (x36 - x156)^2 + (x37 - x157)^2 + (x38 - x158)^2 + (x39 - x159)^2 + (x40
       - x160)^2 - 4*x216 >= 0;

e341: (x36 - x161)^2 + (x37 - x162)^2 + (x38 - x163)^2 + (x39 - x164)^2 + (x40
       - x165)^2 - 4*x216 >= 0;

e342: (x36 - x166)^2 + (x37 - x167)^2 + (x38 - x168)^2 + (x39 - x169)^2 + (x40
       - x170)^2 - 4*x216 >= 0;

e343: (x36 - x171)^2 + (x37 - x172)^2 + (x38 - x173)^2 + (x39 - x174)^2 + (x40
       - x175)^2 - 4*x216 >= 0;

e344: (x36 - x176)^2 + (x37 - x177)^2 + (x38 - x178)^2 + (x39 - x179)^2 + (x40
       - x180)^2 - 4*x216 >= 0;

e345: (x36 - x181)^2 + (x37 - x182)^2 + (x38 - x183)^2 + (x39 - x184)^2 + (x40
       - x185)^2 - 4*x216 >= 0;

e346: (x36 - x186)^2 + (x37 - x187)^2 + (x38 - x188)^2 + (x39 - x189)^2 + (x40
       - x190)^2 - 4*x216 >= 0;

e347: (x36 - x191)^2 + (x37 - x192)^2 + (x38 - x193)^2 + (x39 - x194)^2 + (x40
       - x195)^2 - 4*x216 >= 0;

e348: (x36 - x196)^2 + (x37 - x197)^2 + (x38 - x198)^2 + (x39 - x199)^2 + (x40
       - x200)^2 - 4*x216 >= 0;

e349: (x36 - x201)^2 + (x37 - x202)^2 + (x38 - x203)^2 + (x39 - x204)^2 + (x40
       - x205)^2 - 4*x216 >= 0;

e350: (x36 - x206)^2 + (x37 - x207)^2 + (x38 - x208)^2 + (x39 - x209)^2 + (x40
       - x210)^2 - 4*x216 >= 0;

e351: (x36 - x211)^2 + (x37 - x212)^2 + (x38 - x213)^2 + (x39 - x214)^2 + (x40
       - x215)^2 - 4*x216 >= 0;

e352: (x41 - x46)^2 + (x42 - x47)^2 + (x43 - x48)^2 + (x44 - x49)^2 + (x45 - 
      x50)^2 - 4*x216 >= 0;

e353: (x41 - x51)^2 + (x42 - x52)^2 + (x43 - x53)^2 + (x44 - x54)^2 + (x45 - 
      x55)^2 - 4*x216 >= 0;

e354: (x41 - x56)^2 + (x42 - x57)^2 + (x43 - x58)^2 + (x44 - x59)^2 + (x45 - 
      x60)^2 - 4*x216 >= 0;

e355: (x41 - x61)^2 + (x42 - x62)^2 + (x43 - x63)^2 + (x44 - x64)^2 + (x45 - 
      x65)^2 - 4*x216 >= 0;

e356: (x41 - x66)^2 + (x42 - x67)^2 + (x43 - x68)^2 + (x44 - x69)^2 + (x45 - 
      x70)^2 - 4*x216 >= 0;

e357: (x41 - x71)^2 + (x42 - x72)^2 + (x43 - x73)^2 + (x44 - x74)^2 + (x45 - 
      x75)^2 - 4*x216 >= 0;

e358: (x41 - x76)^2 + (x42 - x77)^2 + (x43 - x78)^2 + (x44 - x79)^2 + (x45 - 
      x80)^2 - 4*x216 >= 0;

e359: (x41 - x81)^2 + (x42 - x82)^2 + (x43 - x83)^2 + (x44 - x84)^2 + (x45 - 
      x85)^2 - 4*x216 >= 0;

e360: (x41 - x86)^2 + (x42 - x87)^2 + (x43 - x88)^2 + (x44 - x89)^2 + (x45 - 
      x90)^2 - 4*x216 >= 0;

e361: (x41 - x91)^2 + (x42 - x92)^2 + (x43 - x93)^2 + (x44 - x94)^2 + (x45 - 
      x95)^2 - 4*x216 >= 0;

e362: (x41 - x96)^2 + (x42 - x97)^2 + (x43 - x98)^2 + (x44 - x99)^2 + (x45 - 
      x100)^2 - 4*x216 >= 0;

e363: (x41 - x101)^2 + (x42 - x102)^2 + (x43 - x103)^2 + (x44 - x104)^2 + (x45
       - x105)^2 - 4*x216 >= 0;

e364: (x41 - x106)^2 + (x42 - x107)^2 + (x43 - x108)^2 + (x44 - x109)^2 + (x45
       - x110)^2 - 4*x216 >= 0;

e365: (x41 - x111)^2 + (x42 - x112)^2 + (x43 - x113)^2 + (x44 - x114)^2 + (x45
       - x115)^2 - 4*x216 >= 0;

e366: (x41 - x116)^2 + (x42 - x117)^2 + (x43 - x118)^2 + (x44 - x119)^2 + (x45
       - x120)^2 - 4*x216 >= 0;

e367: (x41 - x121)^2 + (x42 - x122)^2 + (x43 - x123)^2 + (x44 - x124)^2 + (x45
       - x125)^2 - 4*x216 >= 0;

e368: (x41 - x126)^2 + (x42 - x127)^2 + (x43 - x128)^2 + (x44 - x129)^2 + (x45
       - x130)^2 - 4*x216 >= 0;

e369: (x41 - x131)^2 + (x42 - x132)^2 + (x43 - x133)^2 + (x44 - x134)^2 + (x45
       - x135)^2 - 4*x216 >= 0;

e370: (x41 - x136)^2 + (x42 - x137)^2 + (x43 - x138)^2 + (x44 - x139)^2 + (x45
       - x140)^2 - 4*x216 >= 0;

e371: (x41 - x141)^2 + (x42 - x142)^2 + (x43 - x143)^2 + (x44 - x144)^2 + (x45
       - x145)^2 - 4*x216 >= 0;

e372: (x41 - x146)^2 + (x42 - x147)^2 + (x43 - x148)^2 + (x44 - x149)^2 + (x45
       - x150)^2 - 4*x216 >= 0;

e373: (x41 - x151)^2 + (x42 - x152)^2 + (x43 - x153)^2 + (x44 - x154)^2 + (x45
       - x155)^2 - 4*x216 >= 0;

e374: (x41 - x156)^2 + (x42 - x157)^2 + (x43 - x158)^2 + (x44 - x159)^2 + (x45
       - x160)^2 - 4*x216 >= 0;

e375: (x41 - x161)^2 + (x42 - x162)^2 + (x43 - x163)^2 + (x44 - x164)^2 + (x45
       - x165)^2 - 4*x216 >= 0;

e376: (x41 - x166)^2 + (x42 - x167)^2 + (x43 - x168)^2 + (x44 - x169)^2 + (x45
       - x170)^2 - 4*x216 >= 0;

e377: (x41 - x171)^2 + (x42 - x172)^2 + (x43 - x173)^2 + (x44 - x174)^2 + (x45
       - x175)^2 - 4*x216 >= 0;

e378: (x41 - x176)^2 + (x42 - x177)^2 + (x43 - x178)^2 + (x44 - x179)^2 + (x45
       - x180)^2 - 4*x216 >= 0;

e379: (x41 - x181)^2 + (x42 - x182)^2 + (x43 - x183)^2 + (x44 - x184)^2 + (x45
       - x185)^2 - 4*x216 >= 0;

e380: (x41 - x186)^2 + (x42 - x187)^2 + (x43 - x188)^2 + (x44 - x189)^2 + (x45
       - x190)^2 - 4*x216 >= 0;

e381: (x41 - x191)^2 + (x42 - x192)^2 + (x43 - x193)^2 + (x44 - x194)^2 + (x45
       - x195)^2 - 4*x216 >= 0;

e382: (x41 - x196)^2 + (x42 - x197)^2 + (x43 - x198)^2 + (x44 - x199)^2 + (x45
       - x200)^2 - 4*x216 >= 0;

e383: (x41 - x201)^2 + (x42 - x202)^2 + (x43 - x203)^2 + (x44 - x204)^2 + (x45
       - x205)^2 - 4*x216 >= 0;

e384: (x41 - x206)^2 + (x42 - x207)^2 + (x43 - x208)^2 + (x44 - x209)^2 + (x45
       - x210)^2 - 4*x216 >= 0;

e385: (x41 - x211)^2 + (x42 - x212)^2 + (x43 - x213)^2 + (x44 - x214)^2 + (x45
       - x215)^2 - 4*x216 >= 0;

e386: (x46 - x51)^2 + (x47 - x52)^2 + (x48 - x53)^2 + (x49 - x54)^2 + (x50 - 
      x55)^2 - 4*x216 >= 0;

e387: (x46 - x56)^2 + (x47 - x57)^2 + (x48 - x58)^2 + (x49 - x59)^2 + (x50 - 
      x60)^2 - 4*x216 >= 0;

e388: (x46 - x61)^2 + (x47 - x62)^2 + (x48 - x63)^2 + (x49 - x64)^2 + (x50 - 
      x65)^2 - 4*x216 >= 0;

e389: (x46 - x66)^2 + (x47 - x67)^2 + (x48 - x68)^2 + (x49 - x69)^2 + (x50 - 
      x70)^2 - 4*x216 >= 0;

e390: (x46 - x71)^2 + (x47 - x72)^2 + (x48 - x73)^2 + (x49 - x74)^2 + (x50 - 
      x75)^2 - 4*x216 >= 0;

e391: (x46 - x76)^2 + (x47 - x77)^2 + (x48 - x78)^2 + (x49 - x79)^2 + (x50 - 
      x80)^2 - 4*x216 >= 0;

e392: (x46 - x81)^2 + (x47 - x82)^2 + (x48 - x83)^2 + (x49 - x84)^2 + (x50 - 
      x85)^2 - 4*x216 >= 0;

e393: (x46 - x86)^2 + (x47 - x87)^2 + (x48 - x88)^2 + (x49 - x89)^2 + (x50 - 
      x90)^2 - 4*x216 >= 0;

e394: (x46 - x91)^2 + (x47 - x92)^2 + (x48 - x93)^2 + (x49 - x94)^2 + (x50 - 
      x95)^2 - 4*x216 >= 0;

e395: (x46 - x96)^2 + (x47 - x97)^2 + (x48 - x98)^2 + (x49 - x99)^2 + (x50 - 
      x100)^2 - 4*x216 >= 0;

e396: (x46 - x101)^2 + (x47 - x102)^2 + (x48 - x103)^2 + (x49 - x104)^2 + (x50
       - x105)^2 - 4*x216 >= 0;

e397: (x46 - x106)^2 + (x47 - x107)^2 + (x48 - x108)^2 + (x49 - x109)^2 + (x50
       - x110)^2 - 4*x216 >= 0;

e398: (x46 - x111)^2 + (x47 - x112)^2 + (x48 - x113)^2 + (x49 - x114)^2 + (x50
       - x115)^2 - 4*x216 >= 0;

e399: (x46 - x116)^2 + (x47 - x117)^2 + (x48 - x118)^2 + (x49 - x119)^2 + (x50
       - x120)^2 - 4*x216 >= 0;

e400: (x46 - x121)^2 + (x47 - x122)^2 + (x48 - x123)^2 + (x49 - x124)^2 + (x50
       - x125)^2 - 4*x216 >= 0;

e401: (x46 - x126)^2 + (x47 - x127)^2 + (x48 - x128)^2 + (x49 - x129)^2 + (x50
       - x130)^2 - 4*x216 >= 0;

e402: (x46 - x131)^2 + (x47 - x132)^2 + (x48 - x133)^2 + (x49 - x134)^2 + (x50
       - x135)^2 - 4*x216 >= 0;

e403: (x46 - x136)^2 + (x47 - x137)^2 + (x48 - x138)^2 + (x49 - x139)^2 + (x50
       - x140)^2 - 4*x216 >= 0;

e404: (x46 - x141)^2 + (x47 - x142)^2 + (x48 - x143)^2 + (x49 - x144)^2 + (x50
       - x145)^2 - 4*x216 >= 0;

e405: (x46 - x146)^2 + (x47 - x147)^2 + (x48 - x148)^2 + (x49 - x149)^2 + (x50
       - x150)^2 - 4*x216 >= 0;

e406: (x46 - x151)^2 + (x47 - x152)^2 + (x48 - x153)^2 + (x49 - x154)^2 + (x50
       - x155)^2 - 4*x216 >= 0;

e407: (x46 - x156)^2 + (x47 - x157)^2 + (x48 - x158)^2 + (x49 - x159)^2 + (x50
       - x160)^2 - 4*x216 >= 0;

e408: (x46 - x161)^2 + (x47 - x162)^2 + (x48 - x163)^2 + (x49 - x164)^2 + (x50
       - x165)^2 - 4*x216 >= 0;

e409: (x46 - x166)^2 + (x47 - x167)^2 + (x48 - x168)^2 + (x49 - x169)^2 + (x50
       - x170)^2 - 4*x216 >= 0;

e410: (x46 - x171)^2 + (x47 - x172)^2 + (x48 - x173)^2 + (x49 - x174)^2 + (x50
       - x175)^2 - 4*x216 >= 0;

e411: (x46 - x176)^2 + (x47 - x177)^2 + (x48 - x178)^2 + (x49 - x179)^2 + (x50
       - x180)^2 - 4*x216 >= 0;

e412: (x46 - x181)^2 + (x47 - x182)^2 + (x48 - x183)^2 + (x49 - x184)^2 + (x50
       - x185)^2 - 4*x216 >= 0;

e413: (x46 - x186)^2 + (x47 - x187)^2 + (x48 - x188)^2 + (x49 - x189)^2 + (x50
       - x190)^2 - 4*x216 >= 0;

e414: (x46 - x191)^2 + (x47 - x192)^2 + (x48 - x193)^2 + (x49 - x194)^2 + (x50
       - x195)^2 - 4*x216 >= 0;

e415: (x46 - x196)^2 + (x47 - x197)^2 + (x48 - x198)^2 + (x49 - x199)^2 + (x50
       - x200)^2 - 4*x216 >= 0;

e416: (x46 - x201)^2 + (x47 - x202)^2 + (x48 - x203)^2 + (x49 - x204)^2 + (x50
       - x205)^2 - 4*x216 >= 0;

e417: (x46 - x206)^2 + (x47 - x207)^2 + (x48 - x208)^2 + (x49 - x209)^2 + (x50
       - x210)^2 - 4*x216 >= 0;

e418: (x46 - x211)^2 + (x47 - x212)^2 + (x48 - x213)^2 + (x49 - x214)^2 + (x50
       - x215)^2 - 4*x216 >= 0;

e419: (x51 - x56)^2 + (x52 - x57)^2 + (x53 - x58)^2 + (x54 - x59)^2 + (x55 - 
      x60)^2 - 4*x216 >= 0;

e420: (x51 - x61)^2 + (x52 - x62)^2 + (x53 - x63)^2 + (x54 - x64)^2 + (x55 - 
      x65)^2 - 4*x216 >= 0;

e421: (x51 - x66)^2 + (x52 - x67)^2 + (x53 - x68)^2 + (x54 - x69)^2 + (x55 - 
      x70)^2 - 4*x216 >= 0;

e422: (x51 - x71)^2 + (x52 - x72)^2 + (x53 - x73)^2 + (x54 - x74)^2 + (x55 - 
      x75)^2 - 4*x216 >= 0;

e423: (x51 - x76)^2 + (x52 - x77)^2 + (x53 - x78)^2 + (x54 - x79)^2 + (x55 - 
      x80)^2 - 4*x216 >= 0;

e424: (x51 - x81)^2 + (x52 - x82)^2 + (x53 - x83)^2 + (x54 - x84)^2 + (x55 - 
      x85)^2 - 4*x216 >= 0;

e425: (x51 - x86)^2 + (x52 - x87)^2 + (x53 - x88)^2 + (x54 - x89)^2 + (x55 - 
      x90)^2 - 4*x216 >= 0;

e426: (x51 - x91)^2 + (x52 - x92)^2 + (x53 - x93)^2 + (x54 - x94)^2 + (x55 - 
      x95)^2 - 4*x216 >= 0;

e427: (x51 - x96)^2 + (x52 - x97)^2 + (x53 - x98)^2 + (x54 - x99)^2 + (x55 - 
      x100)^2 - 4*x216 >= 0;

e428: (x51 - x101)^2 + (x52 - x102)^2 + (x53 - x103)^2 + (x54 - x104)^2 + (x55
       - x105)^2 - 4*x216 >= 0;

e429: (x51 - x106)^2 + (x52 - x107)^2 + (x53 - x108)^2 + (x54 - x109)^2 + (x55
       - x110)^2 - 4*x216 >= 0;

e430: (x51 - x111)^2 + (x52 - x112)^2 + (x53 - x113)^2 + (x54 - x114)^2 + (x55
       - x115)^2 - 4*x216 >= 0;

e431: (x51 - x116)^2 + (x52 - x117)^2 + (x53 - x118)^2 + (x54 - x119)^2 + (x55
       - x120)^2 - 4*x216 >= 0;

e432: (x51 - x121)^2 + (x52 - x122)^2 + (x53 - x123)^2 + (x54 - x124)^2 + (x55
       - x125)^2 - 4*x216 >= 0;

e433: (x51 - x126)^2 + (x52 - x127)^2 + (x53 - x128)^2 + (x54 - x129)^2 + (x55
       - x130)^2 - 4*x216 >= 0;

e434: (x51 - x131)^2 + (x52 - x132)^2 + (x53 - x133)^2 + (x54 - x134)^2 + (x55
       - x135)^2 - 4*x216 >= 0;

e435: (x51 - x136)^2 + (x52 - x137)^2 + (x53 - x138)^2 + (x54 - x139)^2 + (x55
       - x140)^2 - 4*x216 >= 0;

e436: (x51 - x141)^2 + (x52 - x142)^2 + (x53 - x143)^2 + (x54 - x144)^2 + (x55
       - x145)^2 - 4*x216 >= 0;

e437: (x51 - x146)^2 + (x52 - x147)^2 + (x53 - x148)^2 + (x54 - x149)^2 + (x55
       - x150)^2 - 4*x216 >= 0;

e438: (x51 - x151)^2 + (x52 - x152)^2 + (x53 - x153)^2 + (x54 - x154)^2 + (x55
       - x155)^2 - 4*x216 >= 0;

e439: (x51 - x156)^2 + (x52 - x157)^2 + (x53 - x158)^2 + (x54 - x159)^2 + (x55
       - x160)^2 - 4*x216 >= 0;

e440: (x51 - x161)^2 + (x52 - x162)^2 + (x53 - x163)^2 + (x54 - x164)^2 + (x55
       - x165)^2 - 4*x216 >= 0;

e441: (x51 - x166)^2 + (x52 - x167)^2 + (x53 - x168)^2 + (x54 - x169)^2 + (x55
       - x170)^2 - 4*x216 >= 0;

e442: (x51 - x171)^2 + (x52 - x172)^2 + (x53 - x173)^2 + (x54 - x174)^2 + (x55
       - x175)^2 - 4*x216 >= 0;

e443: (x51 - x176)^2 + (x52 - x177)^2 + (x53 - x178)^2 + (x54 - x179)^2 + (x55
       - x180)^2 - 4*x216 >= 0;

e444: (x51 - x181)^2 + (x52 - x182)^2 + (x53 - x183)^2 + (x54 - x184)^2 + (x55
       - x185)^2 - 4*x216 >= 0;

e445: (x51 - x186)^2 + (x52 - x187)^2 + (x53 - x188)^2 + (x54 - x189)^2 + (x55
       - x190)^2 - 4*x216 >= 0;

e446: (x51 - x191)^2 + (x52 - x192)^2 + (x53 - x193)^2 + (x54 - x194)^2 + (x55
       - x195)^2 - 4*x216 >= 0;

e447: (x51 - x196)^2 + (x52 - x197)^2 + (x53 - x198)^2 + (x54 - x199)^2 + (x55
       - x200)^2 - 4*x216 >= 0;

e448: (x51 - x201)^2 + (x52 - x202)^2 + (x53 - x203)^2 + (x54 - x204)^2 + (x55
       - x205)^2 - 4*x216 >= 0;

e449: (x51 - x206)^2 + (x52 - x207)^2 + (x53 - x208)^2 + (x54 - x209)^2 + (x55
       - x210)^2 - 4*x216 >= 0;

e450: (x51 - x211)^2 + (x52 - x212)^2 + (x53 - x213)^2 + (x54 - x214)^2 + (x55
       - x215)^2 - 4*x216 >= 0;

e451: (x56 - x61)^2 + (x57 - x62)^2 + (x58 - x63)^2 + (x59 - x64)^2 + (x60 - 
      x65)^2 - 4*x216 >= 0;

e452: (x56 - x66)^2 + (x57 - x67)^2 + (x58 - x68)^2 + (x59 - x69)^2 + (x60 - 
      x70)^2 - 4*x216 >= 0;

e453: (x56 - x71)^2 + (x57 - x72)^2 + (x58 - x73)^2 + (x59 - x74)^2 + (x60 - 
      x75)^2 - 4*x216 >= 0;

e454: (x56 - x76)^2 + (x57 - x77)^2 + (x58 - x78)^2 + (x59 - x79)^2 + (x60 - 
      x80)^2 - 4*x216 >= 0;

e455: (x56 - x81)^2 + (x57 - x82)^2 + (x58 - x83)^2 + (x59 - x84)^2 + (x60 - 
      x85)^2 - 4*x216 >= 0;

e456: (x56 - x86)^2 + (x57 - x87)^2 + (x58 - x88)^2 + (x59 - x89)^2 + (x60 - 
      x90)^2 - 4*x216 >= 0;

e457: (x56 - x91)^2 + (x57 - x92)^2 + (x58 - x93)^2 + (x59 - x94)^2 + (x60 - 
      x95)^2 - 4*x216 >= 0;

e458: (x56 - x96)^2 + (x57 - x97)^2 + (x58 - x98)^2 + (x59 - x99)^2 + (x60 - 
      x100)^2 - 4*x216 >= 0;

e459: (x56 - x101)^2 + (x57 - x102)^2 + (x58 - x103)^2 + (x59 - x104)^2 + (x60
       - x105)^2 - 4*x216 >= 0;

e460: (x56 - x106)^2 + (x57 - x107)^2 + (x58 - x108)^2 + (x59 - x109)^2 + (x60
       - x110)^2 - 4*x216 >= 0;

e461: (x56 - x111)^2 + (x57 - x112)^2 + (x58 - x113)^2 + (x59 - x114)^2 + (x60
       - x115)^2 - 4*x216 >= 0;

e462: (x56 - x116)^2 + (x57 - x117)^2 + (x58 - x118)^2 + (x59 - x119)^2 + (x60
       - x120)^2 - 4*x216 >= 0;

e463: (x56 - x121)^2 + (x57 - x122)^2 + (x58 - x123)^2 + (x59 - x124)^2 + (x60
       - x125)^2 - 4*x216 >= 0;

e464: (x56 - x126)^2 + (x57 - x127)^2 + (x58 - x128)^2 + (x59 - x129)^2 + (x60
       - x130)^2 - 4*x216 >= 0;

e465: (x56 - x131)^2 + (x57 - x132)^2 + (x58 - x133)^2 + (x59 - x134)^2 + (x60
       - x135)^2 - 4*x216 >= 0;

e466: (x56 - x136)^2 + (x57 - x137)^2 + (x58 - x138)^2 + (x59 - x139)^2 + (x60
       - x140)^2 - 4*x216 >= 0;

e467: (x56 - x141)^2 + (x57 - x142)^2 + (x58 - x143)^2 + (x59 - x144)^2 + (x60
       - x145)^2 - 4*x216 >= 0;

e468: (x56 - x146)^2 + (x57 - x147)^2 + (x58 - x148)^2 + (x59 - x149)^2 + (x60
       - x150)^2 - 4*x216 >= 0;

e469: (x56 - x151)^2 + (x57 - x152)^2 + (x58 - x153)^2 + (x59 - x154)^2 + (x60
       - x155)^2 - 4*x216 >= 0;

e470: (x56 - x156)^2 + (x57 - x157)^2 + (x58 - x158)^2 + (x59 - x159)^2 + (x60
       - x160)^2 - 4*x216 >= 0;

e471: (x56 - x161)^2 + (x57 - x162)^2 + (x58 - x163)^2 + (x59 - x164)^2 + (x60
       - x165)^2 - 4*x216 >= 0;

e472: (x56 - x166)^2 + (x57 - x167)^2 + (x58 - x168)^2 + (x59 - x169)^2 + (x60
       - x170)^2 - 4*x216 >= 0;

e473: (x56 - x171)^2 + (x57 - x172)^2 + (x58 - x173)^2 + (x59 - x174)^2 + (x60
       - x175)^2 - 4*x216 >= 0;

e474: (x56 - x176)^2 + (x57 - x177)^2 + (x58 - x178)^2 + (x59 - x179)^2 + (x60
       - x180)^2 - 4*x216 >= 0;

e475: (x56 - x181)^2 + (x57 - x182)^2 + (x58 - x183)^2 + (x59 - x184)^2 + (x60
       - x185)^2 - 4*x216 >= 0;

e476: (x56 - x186)^2 + (x57 - x187)^2 + (x58 - x188)^2 + (x59 - x189)^2 + (x60
       - x190)^2 - 4*x216 >= 0;

e477: (x56 - x191)^2 + (x57 - x192)^2 + (x58 - x193)^2 + (x59 - x194)^2 + (x60
       - x195)^2 - 4*x216 >= 0;

e478: (x56 - x196)^2 + (x57 - x197)^2 + (x58 - x198)^2 + (x59 - x199)^2 + (x60
       - x200)^2 - 4*x216 >= 0;

e479: (x56 - x201)^2 + (x57 - x202)^2 + (x58 - x203)^2 + (x59 - x204)^2 + (x60
       - x205)^2 - 4*x216 >= 0;

e480: (x56 - x206)^2 + (x57 - x207)^2 + (x58 - x208)^2 + (x59 - x209)^2 + (x60
       - x210)^2 - 4*x216 >= 0;

e481: (x56 - x211)^2 + (x57 - x212)^2 + (x58 - x213)^2 + (x59 - x214)^2 + (x60
       - x215)^2 - 4*x216 >= 0;

e482: (x61 - x66)^2 + (x62 - x67)^2 + (x63 - x68)^2 + (x64 - x69)^2 + (x65 - 
      x70)^2 - 4*x216 >= 0;

e483: (x61 - x71)^2 + (x62 - x72)^2 + (x63 - x73)^2 + (x64 - x74)^2 + (x65 - 
      x75)^2 - 4*x216 >= 0;

e484: (x61 - x76)^2 + (x62 - x77)^2 + (x63 - x78)^2 + (x64 - x79)^2 + (x65 - 
      x80)^2 - 4*x216 >= 0;

e485: (x61 - x81)^2 + (x62 - x82)^2 + (x63 - x83)^2 + (x64 - x84)^2 + (x65 - 
      x85)^2 - 4*x216 >= 0;

e486: (x61 - x86)^2 + (x62 - x87)^2 + (x63 - x88)^2 + (x64 - x89)^2 + (x65 - 
      x90)^2 - 4*x216 >= 0;

e487: (x61 - x91)^2 + (x62 - x92)^2 + (x63 - x93)^2 + (x64 - x94)^2 + (x65 - 
      x95)^2 - 4*x216 >= 0;

e488: (x61 - x96)^2 + (x62 - x97)^2 + (x63 - x98)^2 + (x64 - x99)^2 + (x65 - 
      x100)^2 - 4*x216 >= 0;

e489: (x61 - x101)^2 + (x62 - x102)^2 + (x63 - x103)^2 + (x64 - x104)^2 + (x65
       - x105)^2 - 4*x216 >= 0;

e490: (x61 - x106)^2 + (x62 - x107)^2 + (x63 - x108)^2 + (x64 - x109)^2 + (x65
       - x110)^2 - 4*x216 >= 0;

e491: (x61 - x111)^2 + (x62 - x112)^2 + (x63 - x113)^2 + (x64 - x114)^2 + (x65
       - x115)^2 - 4*x216 >= 0;

e492: (x61 - x116)^2 + (x62 - x117)^2 + (x63 - x118)^2 + (x64 - x119)^2 + (x65
       - x120)^2 - 4*x216 >= 0;

e493: (x61 - x121)^2 + (x62 - x122)^2 + (x63 - x123)^2 + (x64 - x124)^2 + (x65
       - x125)^2 - 4*x216 >= 0;

e494: (x61 - x126)^2 + (x62 - x127)^2 + (x63 - x128)^2 + (x64 - x129)^2 + (x65
       - x130)^2 - 4*x216 >= 0;

e495: (x61 - x131)^2 + (x62 - x132)^2 + (x63 - x133)^2 + (x64 - x134)^2 + (x65
       - x135)^2 - 4*x216 >= 0;

e496: (x61 - x136)^2 + (x62 - x137)^2 + (x63 - x138)^2 + (x64 - x139)^2 + (x65
       - x140)^2 - 4*x216 >= 0;

e497: (x61 - x141)^2 + (x62 - x142)^2 + (x63 - x143)^2 + (x64 - x144)^2 + (x65
       - x145)^2 - 4*x216 >= 0;

e498: (x61 - x146)^2 + (x62 - x147)^2 + (x63 - x148)^2 + (x64 - x149)^2 + (x65
       - x150)^2 - 4*x216 >= 0;

e499: (x61 - x151)^2 + (x62 - x152)^2 + (x63 - x153)^2 + (x64 - x154)^2 + (x65
       - x155)^2 - 4*x216 >= 0;

e500: (x61 - x156)^2 + (x62 - x157)^2 + (x63 - x158)^2 + (x64 - x159)^2 + (x65
       - x160)^2 - 4*x216 >= 0;

e501: (x61 - x161)^2 + (x62 - x162)^2 + (x63 - x163)^2 + (x64 - x164)^2 + (x65
       - x165)^2 - 4*x216 >= 0;

e502: (x61 - x166)^2 + (x62 - x167)^2 + (x63 - x168)^2 + (x64 - x169)^2 + (x65
       - x170)^2 - 4*x216 >= 0;

e503: (x61 - x171)^2 + (x62 - x172)^2 + (x63 - x173)^2 + (x64 - x174)^2 + (x65
       - x175)^2 - 4*x216 >= 0;

e504: (x61 - x176)^2 + (x62 - x177)^2 + (x63 - x178)^2 + (x64 - x179)^2 + (x65
       - x180)^2 - 4*x216 >= 0;

e505: (x61 - x181)^2 + (x62 - x182)^2 + (x63 - x183)^2 + (x64 - x184)^2 + (x65
       - x185)^2 - 4*x216 >= 0;

e506: (x61 - x186)^2 + (x62 - x187)^2 + (x63 - x188)^2 + (x64 - x189)^2 + (x65
       - x190)^2 - 4*x216 >= 0;

e507: (x61 - x191)^2 + (x62 - x192)^2 + (x63 - x193)^2 + (x64 - x194)^2 + (x65
       - x195)^2 - 4*x216 >= 0;

e508: (x61 - x196)^2 + (x62 - x197)^2 + (x63 - x198)^2 + (x64 - x199)^2 + (x65
       - x200)^2 - 4*x216 >= 0;

e509: (x61 - x201)^2 + (x62 - x202)^2 + (x63 - x203)^2 + (x64 - x204)^2 + (x65
       - x205)^2 - 4*x216 >= 0;

e510: (x61 - x206)^2 + (x62 - x207)^2 + (x63 - x208)^2 + (x64 - x209)^2 + (x65
       - x210)^2 - 4*x216 >= 0;

e511: (x61 - x211)^2 + (x62 - x212)^2 + (x63 - x213)^2 + (x64 - x214)^2 + (x65
       - x215)^2 - 4*x216 >= 0;

e512: (x66 - x71)^2 + (x67 - x72)^2 + (x68 - x73)^2 + (x69 - x74)^2 + (x70 - 
      x75)^2 - 4*x216 >= 0;

e513: (x66 - x76)^2 + (x67 - x77)^2 + (x68 - x78)^2 + (x69 - x79)^2 + (x70 - 
      x80)^2 - 4*x216 >= 0;

e514: (x66 - x81)^2 + (x67 - x82)^2 + (x68 - x83)^2 + (x69 - x84)^2 + (x70 - 
      x85)^2 - 4*x216 >= 0;

e515: (x66 - x86)^2 + (x67 - x87)^2 + (x68 - x88)^2 + (x69 - x89)^2 + (x70 - 
      x90)^2 - 4*x216 >= 0;

e516: (x66 - x91)^2 + (x67 - x92)^2 + (x68 - x93)^2 + (x69 - x94)^2 + (x70 - 
      x95)^2 - 4*x216 >= 0;

e517: (x66 - x96)^2 + (x67 - x97)^2 + (x68 - x98)^2 + (x69 - x99)^2 + (x70 - 
      x100)^2 - 4*x216 >= 0;

e518: (x66 - x101)^2 + (x67 - x102)^2 + (x68 - x103)^2 + (x69 - x104)^2 + (x70
       - x105)^2 - 4*x216 >= 0;

e519: (x66 - x106)^2 + (x67 - x107)^2 + (x68 - x108)^2 + (x69 - x109)^2 + (x70
       - x110)^2 - 4*x216 >= 0;

e520: (x66 - x111)^2 + (x67 - x112)^2 + (x68 - x113)^2 + (x69 - x114)^2 + (x70
       - x115)^2 - 4*x216 >= 0;

e521: (x66 - x116)^2 + (x67 - x117)^2 + (x68 - x118)^2 + (x69 - x119)^2 + (x70
       - x120)^2 - 4*x216 >= 0;

e522: (x66 - x121)^2 + (x67 - x122)^2 + (x68 - x123)^2 + (x69 - x124)^2 + (x70
       - x125)^2 - 4*x216 >= 0;

e523: (x66 - x126)^2 + (x67 - x127)^2 + (x68 - x128)^2 + (x69 - x129)^2 + (x70
       - x130)^2 - 4*x216 >= 0;

e524: (x66 - x131)^2 + (x67 - x132)^2 + (x68 - x133)^2 + (x69 - x134)^2 + (x70
       - x135)^2 - 4*x216 >= 0;

e525: (x66 - x136)^2 + (x67 - x137)^2 + (x68 - x138)^2 + (x69 - x139)^2 + (x70
       - x140)^2 - 4*x216 >= 0;

e526: (x66 - x141)^2 + (x67 - x142)^2 + (x68 - x143)^2 + (x69 - x144)^2 + (x70
       - x145)^2 - 4*x216 >= 0;

e527: (x66 - x146)^2 + (x67 - x147)^2 + (x68 - x148)^2 + (x69 - x149)^2 + (x70
       - x150)^2 - 4*x216 >= 0;

e528: (x66 - x151)^2 + (x67 - x152)^2 + (x68 - x153)^2 + (x69 - x154)^2 + (x70
       - x155)^2 - 4*x216 >= 0;

e529: (x66 - x156)^2 + (x67 - x157)^2 + (x68 - x158)^2 + (x69 - x159)^2 + (x70
       - x160)^2 - 4*x216 >= 0;

e530: (x66 - x161)^2 + (x67 - x162)^2 + (x68 - x163)^2 + (x69 - x164)^2 + (x70
       - x165)^2 - 4*x216 >= 0;

e531: (x66 - x166)^2 + (x67 - x167)^2 + (x68 - x168)^2 + (x69 - x169)^2 + (x70
       - x170)^2 - 4*x216 >= 0;

e532: (x66 - x171)^2 + (x67 - x172)^2 + (x68 - x173)^2 + (x69 - x174)^2 + (x70
       - x175)^2 - 4*x216 >= 0;

e533: (x66 - x176)^2 + (x67 - x177)^2 + (x68 - x178)^2 + (x69 - x179)^2 + (x70
       - x180)^2 - 4*x216 >= 0;

e534: (x66 - x181)^2 + (x67 - x182)^2 + (x68 - x183)^2 + (x69 - x184)^2 + (x70
       - x185)^2 - 4*x216 >= 0;

e535: (x66 - x186)^2 + (x67 - x187)^2 + (x68 - x188)^2 + (x69 - x189)^2 + (x70
       - x190)^2 - 4*x216 >= 0;

e536: (x66 - x191)^2 + (x67 - x192)^2 + (x68 - x193)^2 + (x69 - x194)^2 + (x70
       - x195)^2 - 4*x216 >= 0;

e537: (x66 - x196)^2 + (x67 - x197)^2 + (x68 - x198)^2 + (x69 - x199)^2 + (x70
       - x200)^2 - 4*x216 >= 0;

e538: (x66 - x201)^2 + (x67 - x202)^2 + (x68 - x203)^2 + (x69 - x204)^2 + (x70
       - x205)^2 - 4*x216 >= 0;

e539: (x66 - x206)^2 + (x67 - x207)^2 + (x68 - x208)^2 + (x69 - x209)^2 + (x70
       - x210)^2 - 4*x216 >= 0;

e540: (x66 - x211)^2 + (x67 - x212)^2 + (x68 - x213)^2 + (x69 - x214)^2 + (x70
       - x215)^2 - 4*x216 >= 0;

e541: (x71 - x76)^2 + (x72 - x77)^2 + (x73 - x78)^2 + (x74 - x79)^2 + (x75 - 
      x80)^2 - 4*x216 >= 0;

e542: (x71 - x81)^2 + (x72 - x82)^2 + (x73 - x83)^2 + (x74 - x84)^2 + (x75 - 
      x85)^2 - 4*x216 >= 0;

e543: (x71 - x86)^2 + (x72 - x87)^2 + (x73 - x88)^2 + (x74 - x89)^2 + (x75 - 
      x90)^2 - 4*x216 >= 0;

e544: (x71 - x91)^2 + (x72 - x92)^2 + (x73 - x93)^2 + (x74 - x94)^2 + (x75 - 
      x95)^2 - 4*x216 >= 0;

e545: (x71 - x96)^2 + (x72 - x97)^2 + (x73 - x98)^2 + (x74 - x99)^2 + (x75 - 
      x100)^2 - 4*x216 >= 0;

e546: (x71 - x101)^2 + (x72 - x102)^2 + (x73 - x103)^2 + (x74 - x104)^2 + (x75
       - x105)^2 - 4*x216 >= 0;

e547: (x71 - x106)^2 + (x72 - x107)^2 + (x73 - x108)^2 + (x74 - x109)^2 + (x75
       - x110)^2 - 4*x216 >= 0;

e548: (x71 - x111)^2 + (x72 - x112)^2 + (x73 - x113)^2 + (x74 - x114)^2 + (x75
       - x115)^2 - 4*x216 >= 0;

e549: (x71 - x116)^2 + (x72 - x117)^2 + (x73 - x118)^2 + (x74 - x119)^2 + (x75
       - x120)^2 - 4*x216 >= 0;

e550: (x71 - x121)^2 + (x72 - x122)^2 + (x73 - x123)^2 + (x74 - x124)^2 + (x75
       - x125)^2 - 4*x216 >= 0;

e551: (x71 - x126)^2 + (x72 - x127)^2 + (x73 - x128)^2 + (x74 - x129)^2 + (x75
       - x130)^2 - 4*x216 >= 0;

e552: (x71 - x131)^2 + (x72 - x132)^2 + (x73 - x133)^2 + (x74 - x134)^2 + (x75
       - x135)^2 - 4*x216 >= 0;

e553: (x71 - x136)^2 + (x72 - x137)^2 + (x73 - x138)^2 + (x74 - x139)^2 + (x75
       - x140)^2 - 4*x216 >= 0;

e554: (x71 - x141)^2 + (x72 - x142)^2 + (x73 - x143)^2 + (x74 - x144)^2 + (x75
       - x145)^2 - 4*x216 >= 0;

e555: (x71 - x146)^2 + (x72 - x147)^2 + (x73 - x148)^2 + (x74 - x149)^2 + (x75
       - x150)^2 - 4*x216 >= 0;

e556: (x71 - x151)^2 + (x72 - x152)^2 + (x73 - x153)^2 + (x74 - x154)^2 + (x75
       - x155)^2 - 4*x216 >= 0;

e557: (x71 - x156)^2 + (x72 - x157)^2 + (x73 - x158)^2 + (x74 - x159)^2 + (x75
       - x160)^2 - 4*x216 >= 0;

e558: (x71 - x161)^2 + (x72 - x162)^2 + (x73 - x163)^2 + (x74 - x164)^2 + (x75
       - x165)^2 - 4*x216 >= 0;

e559: (x71 - x166)^2 + (x72 - x167)^2 + (x73 - x168)^2 + (x74 - x169)^2 + (x75
       - x170)^2 - 4*x216 >= 0;

e560: (x71 - x171)^2 + (x72 - x172)^2 + (x73 - x173)^2 + (x74 - x174)^2 + (x75
       - x175)^2 - 4*x216 >= 0;

e561: (x71 - x176)^2 + (x72 - x177)^2 + (x73 - x178)^2 + (x74 - x179)^2 + (x75
       - x180)^2 - 4*x216 >= 0;

e562: (x71 - x181)^2 + (x72 - x182)^2 + (x73 - x183)^2 + (x74 - x184)^2 + (x75
       - x185)^2 - 4*x216 >= 0;

e563: (x71 - x186)^2 + (x72 - x187)^2 + (x73 - x188)^2 + (x74 - x189)^2 + (x75
       - x190)^2 - 4*x216 >= 0;

e564: (x71 - x191)^2 + (x72 - x192)^2 + (x73 - x193)^2 + (x74 - x194)^2 + (x75
       - x195)^2 - 4*x216 >= 0;

e565: (x71 - x196)^2 + (x72 - x197)^2 + (x73 - x198)^2 + (x74 - x199)^2 + (x75
       - x200)^2 - 4*x216 >= 0;

e566: (x71 - x201)^2 + (x72 - x202)^2 + (x73 - x203)^2 + (x74 - x204)^2 + (x75
       - x205)^2 - 4*x216 >= 0;

e567: (x71 - x206)^2 + (x72 - x207)^2 + (x73 - x208)^2 + (x74 - x209)^2 + (x75
       - x210)^2 - 4*x216 >= 0;

e568: (x71 - x211)^2 + (x72 - x212)^2 + (x73 - x213)^2 + (x74 - x214)^2 + (x75
       - x215)^2 - 4*x216 >= 0;

e569: (x76 - x81)^2 + (x77 - x82)^2 + (x78 - x83)^2 + (x79 - x84)^2 + (x80 - 
      x85)^2 - 4*x216 >= 0;

e570: (x76 - x86)^2 + (x77 - x87)^2 + (x78 - x88)^2 + (x79 - x89)^2 + (x80 - 
      x90)^2 - 4*x216 >= 0;

e571: (x76 - x91)^2 + (x77 - x92)^2 + (x78 - x93)^2 + (x79 - x94)^2 + (x80 - 
      x95)^2 - 4*x216 >= 0;

e572: (x76 - x96)^2 + (x77 - x97)^2 + (x78 - x98)^2 + (x79 - x99)^2 + (x80 - 
      x100)^2 - 4*x216 >= 0;

e573: (x76 - x101)^2 + (x77 - x102)^2 + (x78 - x103)^2 + (x79 - x104)^2 + (x80
       - x105)^2 - 4*x216 >= 0;

e574: (x76 - x106)^2 + (x77 - x107)^2 + (x78 - x108)^2 + (x79 - x109)^2 + (x80
       - x110)^2 - 4*x216 >= 0;

e575: (x76 - x111)^2 + (x77 - x112)^2 + (x78 - x113)^2 + (x79 - x114)^2 + (x80
       - x115)^2 - 4*x216 >= 0;

e576: (x76 - x116)^2 + (x77 - x117)^2 + (x78 - x118)^2 + (x79 - x119)^2 + (x80
       - x120)^2 - 4*x216 >= 0;

e577: (x76 - x121)^2 + (x77 - x122)^2 + (x78 - x123)^2 + (x79 - x124)^2 + (x80
       - x125)^2 - 4*x216 >= 0;

e578: (x76 - x126)^2 + (x77 - x127)^2 + (x78 - x128)^2 + (x79 - x129)^2 + (x80
       - x130)^2 - 4*x216 >= 0;

e579: (x76 - x131)^2 + (x77 - x132)^2 + (x78 - x133)^2 + (x79 - x134)^2 + (x80
       - x135)^2 - 4*x216 >= 0;

e580: (x76 - x136)^2 + (x77 - x137)^2 + (x78 - x138)^2 + (x79 - x139)^2 + (x80
       - x140)^2 - 4*x216 >= 0;

e581: (x76 - x141)^2 + (x77 - x142)^2 + (x78 - x143)^2 + (x79 - x144)^2 + (x80
       - x145)^2 - 4*x216 >= 0;

e582: (x76 - x146)^2 + (x77 - x147)^2 + (x78 - x148)^2 + (x79 - x149)^2 + (x80
       - x150)^2 - 4*x216 >= 0;

e583: (x76 - x151)^2 + (x77 - x152)^2 + (x78 - x153)^2 + (x79 - x154)^2 + (x80
       - x155)^2 - 4*x216 >= 0;

e584: (x76 - x156)^2 + (x77 - x157)^2 + (x78 - x158)^2 + (x79 - x159)^2 + (x80
       - x160)^2 - 4*x216 >= 0;

e585: (x76 - x161)^2 + (x77 - x162)^2 + (x78 - x163)^2 + (x79 - x164)^2 + (x80
       - x165)^2 - 4*x216 >= 0;

e586: (x76 - x166)^2 + (x77 - x167)^2 + (x78 - x168)^2 + (x79 - x169)^2 + (x80
       - x170)^2 - 4*x216 >= 0;

e587: (x76 - x171)^2 + (x77 - x172)^2 + (x78 - x173)^2 + (x79 - x174)^2 + (x80
       - x175)^2 - 4*x216 >= 0;

e588: (x76 - x176)^2 + (x77 - x177)^2 + (x78 - x178)^2 + (x79 - x179)^2 + (x80
       - x180)^2 - 4*x216 >= 0;

e589: (x76 - x181)^2 + (x77 - x182)^2 + (x78 - x183)^2 + (x79 - x184)^2 + (x80
       - x185)^2 - 4*x216 >= 0;

e590: (x76 - x186)^2 + (x77 - x187)^2 + (x78 - x188)^2 + (x79 - x189)^2 + (x80
       - x190)^2 - 4*x216 >= 0;

e591: (x76 - x191)^2 + (x77 - x192)^2 + (x78 - x193)^2 + (x79 - x194)^2 + (x80
       - x195)^2 - 4*x216 >= 0;

e592: (x76 - x196)^2 + (x77 - x197)^2 + (x78 - x198)^2 + (x79 - x199)^2 + (x80
       - x200)^2 - 4*x216 >= 0;

e593: (x76 - x201)^2 + (x77 - x202)^2 + (x78 - x203)^2 + (x79 - x204)^2 + (x80
       - x205)^2 - 4*x216 >= 0;

e594: (x76 - x206)^2 + (x77 - x207)^2 + (x78 - x208)^2 + (x79 - x209)^2 + (x80
       - x210)^2 - 4*x216 >= 0;

e595: (x76 - x211)^2 + (x77 - x212)^2 + (x78 - x213)^2 + (x79 - x214)^2 + (x80
       - x215)^2 - 4*x216 >= 0;

e596: (x81 - x86)^2 + (x82 - x87)^2 + (x83 - x88)^2 + (x84 - x89)^2 + (x85 - 
      x90)^2 - 4*x216 >= 0;

e597: (x81 - x91)^2 + (x82 - x92)^2 + (x83 - x93)^2 + (x84 - x94)^2 + (x85 - 
      x95)^2 - 4*x216 >= 0;

e598: (x81 - x96)^2 + (x82 - x97)^2 + (x83 - x98)^2 + (x84 - x99)^2 + (x85 - 
      x100)^2 - 4*x216 >= 0;

e599: (x81 - x101)^2 + (x82 - x102)^2 + (x83 - x103)^2 + (x84 - x104)^2 + (x85
       - x105)^2 - 4*x216 >= 0;

e600: (x81 - x106)^2 + (x82 - x107)^2 + (x83 - x108)^2 + (x84 - x109)^2 + (x85
       - x110)^2 - 4*x216 >= 0;

e601: (x81 - x111)^2 + (x82 - x112)^2 + (x83 - x113)^2 + (x84 - x114)^2 + (x85
       - x115)^2 - 4*x216 >= 0;

e602: (x81 - x116)^2 + (x82 - x117)^2 + (x83 - x118)^2 + (x84 - x119)^2 + (x85
       - x120)^2 - 4*x216 >= 0;

e603: (x81 - x121)^2 + (x82 - x122)^2 + (x83 - x123)^2 + (x84 - x124)^2 + (x85
       - x125)^2 - 4*x216 >= 0;

e604: (x81 - x126)^2 + (x82 - x127)^2 + (x83 - x128)^2 + (x84 - x129)^2 + (x85
       - x130)^2 - 4*x216 >= 0;

e605: (x81 - x131)^2 + (x82 - x132)^2 + (x83 - x133)^2 + (x84 - x134)^2 + (x85
       - x135)^2 - 4*x216 >= 0;

e606: (x81 - x136)^2 + (x82 - x137)^2 + (x83 - x138)^2 + (x84 - x139)^2 + (x85
       - x140)^2 - 4*x216 >= 0;

e607: (x81 - x141)^2 + (x82 - x142)^2 + (x83 - x143)^2 + (x84 - x144)^2 + (x85
       - x145)^2 - 4*x216 >= 0;

e608: (x81 - x146)^2 + (x82 - x147)^2 + (x83 - x148)^2 + (x84 - x149)^2 + (x85
       - x150)^2 - 4*x216 >= 0;

e609: (x81 - x151)^2 + (x82 - x152)^2 + (x83 - x153)^2 + (x84 - x154)^2 + (x85
       - x155)^2 - 4*x216 >= 0;

e610: (x81 - x156)^2 + (x82 - x157)^2 + (x83 - x158)^2 + (x84 - x159)^2 + (x85
       - x160)^2 - 4*x216 >= 0;

e611: (x81 - x161)^2 + (x82 - x162)^2 + (x83 - x163)^2 + (x84 - x164)^2 + (x85
       - x165)^2 - 4*x216 >= 0;

e612: (x81 - x166)^2 + (x82 - x167)^2 + (x83 - x168)^2 + (x84 - x169)^2 + (x85
       - x170)^2 - 4*x216 >= 0;

e613: (x81 - x171)^2 + (x82 - x172)^2 + (x83 - x173)^2 + (x84 - x174)^2 + (x85
       - x175)^2 - 4*x216 >= 0;

e614: (x81 - x176)^2 + (x82 - x177)^2 + (x83 - x178)^2 + (x84 - x179)^2 + (x85
       - x180)^2 - 4*x216 >= 0;

e615: (x81 - x181)^2 + (x82 - x182)^2 + (x83 - x183)^2 + (x84 - x184)^2 + (x85
       - x185)^2 - 4*x216 >= 0;

e616: (x81 - x186)^2 + (x82 - x187)^2 + (x83 - x188)^2 + (x84 - x189)^2 + (x85
       - x190)^2 - 4*x216 >= 0;

e617: (x81 - x191)^2 + (x82 - x192)^2 + (x83 - x193)^2 + (x84 - x194)^2 + (x85
       - x195)^2 - 4*x216 >= 0;

e618: (x81 - x196)^2 + (x82 - x197)^2 + (x83 - x198)^2 + (x84 - x199)^2 + (x85
       - x200)^2 - 4*x216 >= 0;

e619: (x81 - x201)^2 + (x82 - x202)^2 + (x83 - x203)^2 + (x84 - x204)^2 + (x85
       - x205)^2 - 4*x216 >= 0;

e620: (x81 - x206)^2 + (x82 - x207)^2 + (x83 - x208)^2 + (x84 - x209)^2 + (x85
       - x210)^2 - 4*x216 >= 0;

e621: (x81 - x211)^2 + (x82 - x212)^2 + (x83 - x213)^2 + (x84 - x214)^2 + (x85
       - x215)^2 - 4*x216 >= 0;

e622: (x86 - x91)^2 + (x87 - x92)^2 + (x88 - x93)^2 + (x89 - x94)^2 + (x90 - 
      x95)^2 - 4*x216 >= 0;

e623: (x86 - x96)^2 + (x87 - x97)^2 + (x88 - x98)^2 + (x89 - x99)^2 + (x90 - 
      x100)^2 - 4*x216 >= 0;

e624: (x86 - x101)^2 + (x87 - x102)^2 + (x88 - x103)^2 + (x89 - x104)^2 + (x90
       - x105)^2 - 4*x216 >= 0;

e625: (x86 - x106)^2 + (x87 - x107)^2 + (x88 - x108)^2 + (x89 - x109)^2 + (x90
       - x110)^2 - 4*x216 >= 0;

e626: (x86 - x111)^2 + (x87 - x112)^2 + (x88 - x113)^2 + (x89 - x114)^2 + (x90
       - x115)^2 - 4*x216 >= 0;

e627: (x86 - x116)^2 + (x87 - x117)^2 + (x88 - x118)^2 + (x89 - x119)^2 + (x90
       - x120)^2 - 4*x216 >= 0;

e628: (x86 - x121)^2 + (x87 - x122)^2 + (x88 - x123)^2 + (x89 - x124)^2 + (x90
       - x125)^2 - 4*x216 >= 0;

e629: (x86 - x126)^2 + (x87 - x127)^2 + (x88 - x128)^2 + (x89 - x129)^2 + (x90
       - x130)^2 - 4*x216 >= 0;

e630: (x86 - x131)^2 + (x87 - x132)^2 + (x88 - x133)^2 + (x89 - x134)^2 + (x90
       - x135)^2 - 4*x216 >= 0;

e631: (x86 - x136)^2 + (x87 - x137)^2 + (x88 - x138)^2 + (x89 - x139)^2 + (x90
       - x140)^2 - 4*x216 >= 0;

e632: (x86 - x141)^2 + (x87 - x142)^2 + (x88 - x143)^2 + (x89 - x144)^2 + (x90
       - x145)^2 - 4*x216 >= 0;

e633: (x86 - x146)^2 + (x87 - x147)^2 + (x88 - x148)^2 + (x89 - x149)^2 + (x90
       - x150)^2 - 4*x216 >= 0;

e634: (x86 - x151)^2 + (x87 - x152)^2 + (x88 - x153)^2 + (x89 - x154)^2 + (x90
       - x155)^2 - 4*x216 >= 0;

e635: (x86 - x156)^2 + (x87 - x157)^2 + (x88 - x158)^2 + (x89 - x159)^2 + (x90
       - x160)^2 - 4*x216 >= 0;

e636: (x86 - x161)^2 + (x87 - x162)^2 + (x88 - x163)^2 + (x89 - x164)^2 + (x90
       - x165)^2 - 4*x216 >= 0;

e637: (x86 - x166)^2 + (x87 - x167)^2 + (x88 - x168)^2 + (x89 - x169)^2 + (x90
       - x170)^2 - 4*x216 >= 0;

e638: (x86 - x171)^2 + (x87 - x172)^2 + (x88 - x173)^2 + (x89 - x174)^2 + (x90
       - x175)^2 - 4*x216 >= 0;

e639: (x86 - x176)^2 + (x87 - x177)^2 + (x88 - x178)^2 + (x89 - x179)^2 + (x90
       - x180)^2 - 4*x216 >= 0;

e640: (x86 - x181)^2 + (x87 - x182)^2 + (x88 - x183)^2 + (x89 - x184)^2 + (x90
       - x185)^2 - 4*x216 >= 0;

e641: (x86 - x186)^2 + (x87 - x187)^2 + (x88 - x188)^2 + (x89 - x189)^2 + (x90
       - x190)^2 - 4*x216 >= 0;

e642: (x86 - x191)^2 + (x87 - x192)^2 + (x88 - x193)^2 + (x89 - x194)^2 + (x90
       - x195)^2 - 4*x216 >= 0;

e643: (x86 - x196)^2 + (x87 - x197)^2 + (x88 - x198)^2 + (x89 - x199)^2 + (x90
       - x200)^2 - 4*x216 >= 0;

e644: (x86 - x201)^2 + (x87 - x202)^2 + (x88 - x203)^2 + (x89 - x204)^2 + (x90
       - x205)^2 - 4*x216 >= 0;

e645: (x86 - x206)^2 + (x87 - x207)^2 + (x88 - x208)^2 + (x89 - x209)^2 + (x90
       - x210)^2 - 4*x216 >= 0;

e646: (x86 - x211)^2 + (x87 - x212)^2 + (x88 - x213)^2 + (x89 - x214)^2 + (x90
       - x215)^2 - 4*x216 >= 0;

e647: (x91 - x96)^2 + (x92 - x97)^2 + (x93 - x98)^2 + (x94 - x99)^2 + (x95 - 
      x100)^2 - 4*x216 >= 0;

e648: (x91 - x101)^2 + (x92 - x102)^2 + (x93 - x103)^2 + (x94 - x104)^2 + (x95
       - x105)^2 - 4*x216 >= 0;

e649: (x91 - x106)^2 + (x92 - x107)^2 + (x93 - x108)^2 + (x94 - x109)^2 + (x95
       - x110)^2 - 4*x216 >= 0;

e650: (x91 - x111)^2 + (x92 - x112)^2 + (x93 - x113)^2 + (x94 - x114)^2 + (x95
       - x115)^2 - 4*x216 >= 0;

e651: (x91 - x116)^2 + (x92 - x117)^2 + (x93 - x118)^2 + (x94 - x119)^2 + (x95
       - x120)^2 - 4*x216 >= 0;

e652: (x91 - x121)^2 + (x92 - x122)^2 + (x93 - x123)^2 + (x94 - x124)^2 + (x95
       - x125)^2 - 4*x216 >= 0;

e653: (x91 - x126)^2 + (x92 - x127)^2 + (x93 - x128)^2 + (x94 - x129)^2 + (x95
       - x130)^2 - 4*x216 >= 0;

e654: (x91 - x131)^2 + (x92 - x132)^2 + (x93 - x133)^2 + (x94 - x134)^2 + (x95
       - x135)^2 - 4*x216 >= 0;

e655: (x91 - x136)^2 + (x92 - x137)^2 + (x93 - x138)^2 + (x94 - x139)^2 + (x95
       - x140)^2 - 4*x216 >= 0;

e656: (x91 - x141)^2 + (x92 - x142)^2 + (x93 - x143)^2 + (x94 - x144)^2 + (x95
       - x145)^2 - 4*x216 >= 0;

e657: (x91 - x146)^2 + (x92 - x147)^2 + (x93 - x148)^2 + (x94 - x149)^2 + (x95
       - x150)^2 - 4*x216 >= 0;

e658: (x91 - x151)^2 + (x92 - x152)^2 + (x93 - x153)^2 + (x94 - x154)^2 + (x95
       - x155)^2 - 4*x216 >= 0;

e659: (x91 - x156)^2 + (x92 - x157)^2 + (x93 - x158)^2 + (x94 - x159)^2 + (x95
       - x160)^2 - 4*x216 >= 0;

e660: (x91 - x161)^2 + (x92 - x162)^2 + (x93 - x163)^2 + (x94 - x164)^2 + (x95
       - x165)^2 - 4*x216 >= 0;

e661: (x91 - x166)^2 + (x92 - x167)^2 + (x93 - x168)^2 + (x94 - x169)^2 + (x95
       - x170)^2 - 4*x216 >= 0;

e662: (x91 - x171)^2 + (x92 - x172)^2 + (x93 - x173)^2 + (x94 - x174)^2 + (x95
       - x175)^2 - 4*x216 >= 0;

e663: (x91 - x176)^2 + (x92 - x177)^2 + (x93 - x178)^2 + (x94 - x179)^2 + (x95
       - x180)^2 - 4*x216 >= 0;

e664: (x91 - x181)^2 + (x92 - x182)^2 + (x93 - x183)^2 + (x94 - x184)^2 + (x95
       - x185)^2 - 4*x216 >= 0;

e665: (x91 - x186)^2 + (x92 - x187)^2 + (x93 - x188)^2 + (x94 - x189)^2 + (x95
       - x190)^2 - 4*x216 >= 0;

e666: (x91 - x191)^2 + (x92 - x192)^2 + (x93 - x193)^2 + (x94 - x194)^2 + (x95
       - x195)^2 - 4*x216 >= 0;

e667: (x91 - x196)^2 + (x92 - x197)^2 + (x93 - x198)^2 + (x94 - x199)^2 + (x95
       - x200)^2 - 4*x216 >= 0;

e668: (x91 - x201)^2 + (x92 - x202)^2 + (x93 - x203)^2 + (x94 - x204)^2 + (x95
       - x205)^2 - 4*x216 >= 0;

e669: (x91 - x206)^2 + (x92 - x207)^2 + (x93 - x208)^2 + (x94 - x209)^2 + (x95
       - x210)^2 - 4*x216 >= 0;

e670: (x91 - x211)^2 + (x92 - x212)^2 + (x93 - x213)^2 + (x94 - x214)^2 + (x95
       - x215)^2 - 4*x216 >= 0;

e671: (x96 - x101)^2 + (x97 - x102)^2 + (x98 - x103)^2 + (x99 - x104)^2 + (x100
       - x105)^2 - 4*x216 >= 0;

e672: (x96 - x106)^2 + (x97 - x107)^2 + (x98 - x108)^2 + (x99 - x109)^2 + (x100
       - x110)^2 - 4*x216 >= 0;

e673: (x96 - x111)^2 + (x97 - x112)^2 + (x98 - x113)^2 + (x99 - x114)^2 + (x100
       - x115)^2 - 4*x216 >= 0;

e674: (x96 - x116)^2 + (x97 - x117)^2 + (x98 - x118)^2 + (x99 - x119)^2 + (x100
       - x120)^2 - 4*x216 >= 0;

e675: (x96 - x121)^2 + (x97 - x122)^2 + (x98 - x123)^2 + (x99 - x124)^2 + (x100
       - x125)^2 - 4*x216 >= 0;

e676: (x96 - x126)^2 + (x97 - x127)^2 + (x98 - x128)^2 + (x99 - x129)^2 + (x100
       - x130)^2 - 4*x216 >= 0;

e677: (x96 - x131)^2 + (x97 - x132)^2 + (x98 - x133)^2 + (x99 - x134)^2 + (x100
       - x135)^2 - 4*x216 >= 0;

e678: (x96 - x136)^2 + (x97 - x137)^2 + (x98 - x138)^2 + (x99 - x139)^2 + (x100
       - x140)^2 - 4*x216 >= 0;

e679: (x96 - x141)^2 + (x97 - x142)^2 + (x98 - x143)^2 + (x99 - x144)^2 + (x100
       - x145)^2 - 4*x216 >= 0;

e680: (x96 - x146)^2 + (x97 - x147)^2 + (x98 - x148)^2 + (x99 - x149)^2 + (x100
       - x150)^2 - 4*x216 >= 0;

e681: (x96 - x151)^2 + (x97 - x152)^2 + (x98 - x153)^2 + (x99 - x154)^2 + (x100
       - x155)^2 - 4*x216 >= 0;

e682: (x96 - x156)^2 + (x97 - x157)^2 + (x98 - x158)^2 + (x99 - x159)^2 + (x100
       - x160)^2 - 4*x216 >= 0;

e683: (x96 - x161)^2 + (x97 - x162)^2 + (x98 - x163)^2 + (x99 - x164)^2 + (x100
       - x165)^2 - 4*x216 >= 0;

e684: (x96 - x166)^2 + (x97 - x167)^2 + (x98 - x168)^2 + (x99 - x169)^2 + (x100
       - x170)^2 - 4*x216 >= 0;

e685: (x96 - x171)^2 + (x97 - x172)^2 + (x98 - x173)^2 + (x99 - x174)^2 + (x100
       - x175)^2 - 4*x216 >= 0;

e686: (x96 - x176)^2 + (x97 - x177)^2 + (x98 - x178)^2 + (x99 - x179)^2 + (x100
       - x180)^2 - 4*x216 >= 0;

e687: (x96 - x181)^2 + (x97 - x182)^2 + (x98 - x183)^2 + (x99 - x184)^2 + (x100
       - x185)^2 - 4*x216 >= 0;

e688: (x96 - x186)^2 + (x97 - x187)^2 + (x98 - x188)^2 + (x99 - x189)^2 + (x100
       - x190)^2 - 4*x216 >= 0;

e689: (x96 - x191)^2 + (x97 - x192)^2 + (x98 - x193)^2 + (x99 - x194)^2 + (x100
       - x195)^2 - 4*x216 >= 0;

e690: (x96 - x196)^2 + (x97 - x197)^2 + (x98 - x198)^2 + (x99 - x199)^2 + (x100
       - x200)^2 - 4*x216 >= 0;

e691: (x96 - x201)^2 + (x97 - x202)^2 + (x98 - x203)^2 + (x99 - x204)^2 + (x100
       - x205)^2 - 4*x216 >= 0;

e692: (x96 - x206)^2 + (x97 - x207)^2 + (x98 - x208)^2 + (x99 - x209)^2 + (x100
       - x210)^2 - 4*x216 >= 0;

e693: (x96 - x211)^2 + (x97 - x212)^2 + (x98 - x213)^2 + (x99 - x214)^2 + (x100
       - x215)^2 - 4*x216 >= 0;

e694: (x101 - x106)^2 + (x102 - x107)^2 + (x103 - x108)^2 + (x104 - x109)^2 + (
      x105 - x110)^2 - 4*x216 >= 0;

e695: (x101 - x111)^2 + (x102 - x112)^2 + (x103 - x113)^2 + (x104 - x114)^2 + (
      x105 - x115)^2 - 4*x216 >= 0;

e696: (x101 - x116)^2 + (x102 - x117)^2 + (x103 - x118)^2 + (x104 - x119)^2 + (
      x105 - x120)^2 - 4*x216 >= 0;

e697: (x101 - x121)^2 + (x102 - x122)^2 + (x103 - x123)^2 + (x104 - x124)^2 + (
      x105 - x125)^2 - 4*x216 >= 0;

e698: (x101 - x126)^2 + (x102 - x127)^2 + (x103 - x128)^2 + (x104 - x129)^2 + (
      x105 - x130)^2 - 4*x216 >= 0;

e699: (x101 - x131)^2 + (x102 - x132)^2 + (x103 - x133)^2 + (x104 - x134)^2 + (
      x105 - x135)^2 - 4*x216 >= 0;

e700: (x101 - x136)^2 + (x102 - x137)^2 + (x103 - x138)^2 + (x104 - x139)^2 + (
      x105 - x140)^2 - 4*x216 >= 0;

e701: (x101 - x141)^2 + (x102 - x142)^2 + (x103 - x143)^2 + (x104 - x144)^2 + (
      x105 - x145)^2 - 4*x216 >= 0;

e702: (x101 - x146)^2 + (x102 - x147)^2 + (x103 - x148)^2 + (x104 - x149)^2 + (
      x105 - x150)^2 - 4*x216 >= 0;

e703: (x101 - x151)^2 + (x102 - x152)^2 + (x103 - x153)^2 + (x104 - x154)^2 + (
      x105 - x155)^2 - 4*x216 >= 0;

e704: (x101 - x156)^2 + (x102 - x157)^2 + (x103 - x158)^2 + (x104 - x159)^2 + (
      x105 - x160)^2 - 4*x216 >= 0;

e705: (x101 - x161)^2 + (x102 - x162)^2 + (x103 - x163)^2 + (x104 - x164)^2 + (
      x105 - x165)^2 - 4*x216 >= 0;

e706: (x101 - x166)^2 + (x102 - x167)^2 + (x103 - x168)^2 + (x104 - x169)^2 + (
      x105 - x170)^2 - 4*x216 >= 0;

e707: (x101 - x171)^2 + (x102 - x172)^2 + (x103 - x173)^2 + (x104 - x174)^2 + (
      x105 - x175)^2 - 4*x216 >= 0;

e708: (x101 - x176)^2 + (x102 - x177)^2 + (x103 - x178)^2 + (x104 - x179)^2 + (
      x105 - x180)^2 - 4*x216 >= 0;

e709: (x101 - x181)^2 + (x102 - x182)^2 + (x103 - x183)^2 + (x104 - x184)^2 + (
      x105 - x185)^2 - 4*x216 >= 0;

e710: (x101 - x186)^2 + (x102 - x187)^2 + (x103 - x188)^2 + (x104 - x189)^2 + (
      x105 - x190)^2 - 4*x216 >= 0;

e711: (x101 - x191)^2 + (x102 - x192)^2 + (x103 - x193)^2 + (x104 - x194)^2 + (
      x105 - x195)^2 - 4*x216 >= 0;

e712: (x101 - x196)^2 + (x102 - x197)^2 + (x103 - x198)^2 + (x104 - x199)^2 + (
      x105 - x200)^2 - 4*x216 >= 0;

e713: (x101 - x201)^2 + (x102 - x202)^2 + (x103 - x203)^2 + (x104 - x204)^2 + (
      x105 - x205)^2 - 4*x216 >= 0;

e714: (x101 - x206)^2 + (x102 - x207)^2 + (x103 - x208)^2 + (x104 - x209)^2 + (
      x105 - x210)^2 - 4*x216 >= 0;

e715: (x101 - x211)^2 + (x102 - x212)^2 + (x103 - x213)^2 + (x104 - x214)^2 + (
      x105 - x215)^2 - 4*x216 >= 0;

e716: (x106 - x111)^2 + (x107 - x112)^2 + (x108 - x113)^2 + (x109 - x114)^2 + (
      x110 - x115)^2 - 4*x216 >= 0;

e717: (x106 - x116)^2 + (x107 - x117)^2 + (x108 - x118)^2 + (x109 - x119)^2 + (
      x110 - x120)^2 - 4*x216 >= 0;

e718: (x106 - x121)^2 + (x107 - x122)^2 + (x108 - x123)^2 + (x109 - x124)^2 + (
      x110 - x125)^2 - 4*x216 >= 0;

e719: (x106 - x126)^2 + (x107 - x127)^2 + (x108 - x128)^2 + (x109 - x129)^2 + (
      x110 - x130)^2 - 4*x216 >= 0;

e720: (x106 - x131)^2 + (x107 - x132)^2 + (x108 - x133)^2 + (x109 - x134)^2 + (
      x110 - x135)^2 - 4*x216 >= 0;

e721: (x106 - x136)^2 + (x107 - x137)^2 + (x108 - x138)^2 + (x109 - x139)^2 + (
      x110 - x140)^2 - 4*x216 >= 0;

e722: (x106 - x141)^2 + (x107 - x142)^2 + (x108 - x143)^2 + (x109 - x144)^2 + (
      x110 - x145)^2 - 4*x216 >= 0;

e723: (x106 - x146)^2 + (x107 - x147)^2 + (x108 - x148)^2 + (x109 - x149)^2 + (
      x110 - x150)^2 - 4*x216 >= 0;

e724: (x106 - x151)^2 + (x107 - x152)^2 + (x108 - x153)^2 + (x109 - x154)^2 + (
      x110 - x155)^2 - 4*x216 >= 0;

e725: (x106 - x156)^2 + (x107 - x157)^2 + (x108 - x158)^2 + (x109 - x159)^2 + (
      x110 - x160)^2 - 4*x216 >= 0;

e726: (x106 - x161)^2 + (x107 - x162)^2 + (x108 - x163)^2 + (x109 - x164)^2 + (
      x110 - x165)^2 - 4*x216 >= 0;

e727: (x106 - x166)^2 + (x107 - x167)^2 + (x108 - x168)^2 + (x109 - x169)^2 + (
      x110 - x170)^2 - 4*x216 >= 0;

e728: (x106 - x171)^2 + (x107 - x172)^2 + (x108 - x173)^2 + (x109 - x174)^2 + (
      x110 - x175)^2 - 4*x216 >= 0;

e729: (x106 - x176)^2 + (x107 - x177)^2 + (x108 - x178)^2 + (x109 - x179)^2 + (
      x110 - x180)^2 - 4*x216 >= 0;

e730: (x106 - x181)^2 + (x107 - x182)^2 + (x108 - x183)^2 + (x109 - x184)^2 + (
      x110 - x185)^2 - 4*x216 >= 0;

e731: (x106 - x186)^2 + (x107 - x187)^2 + (x108 - x188)^2 + (x109 - x189)^2 + (
      x110 - x190)^2 - 4*x216 >= 0;

e732: (x106 - x191)^2 + (x107 - x192)^2 + (x108 - x193)^2 + (x109 - x194)^2 + (
      x110 - x195)^2 - 4*x216 >= 0;

e733: (x106 - x196)^2 + (x107 - x197)^2 + (x108 - x198)^2 + (x109 - x199)^2 + (
      x110 - x200)^2 - 4*x216 >= 0;

e734: (x106 - x201)^2 + (x107 - x202)^2 + (x108 - x203)^2 + (x109 - x204)^2 + (
      x110 - x205)^2 - 4*x216 >= 0;

e735: (x106 - x206)^2 + (x107 - x207)^2 + (x108 - x208)^2 + (x109 - x209)^2 + (
      x110 - x210)^2 - 4*x216 >= 0;

e736: (x106 - x211)^2 + (x107 - x212)^2 + (x108 - x213)^2 + (x109 - x214)^2 + (
      x110 - x215)^2 - 4*x216 >= 0;

e737: (x111 - x116)^2 + (x112 - x117)^2 + (x113 - x118)^2 + (x114 - x119)^2 + (
      x115 - x120)^2 - 4*x216 >= 0;

e738: (x111 - x121)^2 + (x112 - x122)^2 + (x113 - x123)^2 + (x114 - x124)^2 + (
      x115 - x125)^2 - 4*x216 >= 0;

e739: (x111 - x126)^2 + (x112 - x127)^2 + (x113 - x128)^2 + (x114 - x129)^2 + (
      x115 - x130)^2 - 4*x216 >= 0;

e740: (x111 - x131)^2 + (x112 - x132)^2 + (x113 - x133)^2 + (x114 - x134)^2 + (
      x115 - x135)^2 - 4*x216 >= 0;

e741: (x111 - x136)^2 + (x112 - x137)^2 + (x113 - x138)^2 + (x114 - x139)^2 + (
      x115 - x140)^2 - 4*x216 >= 0;

e742: (x111 - x141)^2 + (x112 - x142)^2 + (x113 - x143)^2 + (x114 - x144)^2 + (
      x115 - x145)^2 - 4*x216 >= 0;

e743: (x111 - x146)^2 + (x112 - x147)^2 + (x113 - x148)^2 + (x114 - x149)^2 + (
      x115 - x150)^2 - 4*x216 >= 0;

e744: (x111 - x151)^2 + (x112 - x152)^2 + (x113 - x153)^2 + (x114 - x154)^2 + (
      x115 - x155)^2 - 4*x216 >= 0;

e745: (x111 - x156)^2 + (x112 - x157)^2 + (x113 - x158)^2 + (x114 - x159)^2 + (
      x115 - x160)^2 - 4*x216 >= 0;

e746: (x111 - x161)^2 + (x112 - x162)^2 + (x113 - x163)^2 + (x114 - x164)^2 + (
      x115 - x165)^2 - 4*x216 >= 0;

e747: (x111 - x166)^2 + (x112 - x167)^2 + (x113 - x168)^2 + (x114 - x169)^2 + (
      x115 - x170)^2 - 4*x216 >= 0;

e748: (x111 - x171)^2 + (x112 - x172)^2 + (x113 - x173)^2 + (x114 - x174)^2 + (
      x115 - x175)^2 - 4*x216 >= 0;

e749: (x111 - x176)^2 + (x112 - x177)^2 + (x113 - x178)^2 + (x114 - x179)^2 + (
      x115 - x180)^2 - 4*x216 >= 0;

e750: (x111 - x181)^2 + (x112 - x182)^2 + (x113 - x183)^2 + (x114 - x184)^2 + (
      x115 - x185)^2 - 4*x216 >= 0;

e751: (x111 - x186)^2 + (x112 - x187)^2 + (x113 - x188)^2 + (x114 - x189)^2 + (
      x115 - x190)^2 - 4*x216 >= 0;

e752: (x111 - x191)^2 + (x112 - x192)^2 + (x113 - x193)^2 + (x114 - x194)^2 + (
      x115 - x195)^2 - 4*x216 >= 0;

e753: (x111 - x196)^2 + (x112 - x197)^2 + (x113 - x198)^2 + (x114 - x199)^2 + (
      x115 - x200)^2 - 4*x216 >= 0;

e754: (x111 - x201)^2 + (x112 - x202)^2 + (x113 - x203)^2 + (x114 - x204)^2 + (
      x115 - x205)^2 - 4*x216 >= 0;

e755: (x111 - x206)^2 + (x112 - x207)^2 + (x113 - x208)^2 + (x114 - x209)^2 + (
      x115 - x210)^2 - 4*x216 >= 0;

e756: (x111 - x211)^2 + (x112 - x212)^2 + (x113 - x213)^2 + (x114 - x214)^2 + (
      x115 - x215)^2 - 4*x216 >= 0;

e757: (x116 - x121)^2 + (x117 - x122)^2 + (x118 - x123)^2 + (x119 - x124)^2 + (
      x120 - x125)^2 - 4*x216 >= 0;

e758: (x116 - x126)^2 + (x117 - x127)^2 + (x118 - x128)^2 + (x119 - x129)^2 + (
      x120 - x130)^2 - 4*x216 >= 0;

e759: (x116 - x131)^2 + (x117 - x132)^2 + (x118 - x133)^2 + (x119 - x134)^2 + (
      x120 - x135)^2 - 4*x216 >= 0;

e760: (x116 - x136)^2 + (x117 - x137)^2 + (x118 - x138)^2 + (x119 - x139)^2 + (
      x120 - x140)^2 - 4*x216 >= 0;

e761: (x116 - x141)^2 + (x117 - x142)^2 + (x118 - x143)^2 + (x119 - x144)^2 + (
      x120 - x145)^2 - 4*x216 >= 0;

e762: (x116 - x146)^2 + (x117 - x147)^2 + (x118 - x148)^2 + (x119 - x149)^2 + (
      x120 - x150)^2 - 4*x216 >= 0;

e763: (x116 - x151)^2 + (x117 - x152)^2 + (x118 - x153)^2 + (x119 - x154)^2 + (
      x120 - x155)^2 - 4*x216 >= 0;

e764: (x116 - x156)^2 + (x117 - x157)^2 + (x118 - x158)^2 + (x119 - x159)^2 + (
      x120 - x160)^2 - 4*x216 >= 0;

e765: (x116 - x161)^2 + (x117 - x162)^2 + (x118 - x163)^2 + (x119 - x164)^2 + (
      x120 - x165)^2 - 4*x216 >= 0;

e766: (x116 - x166)^2 + (x117 - x167)^2 + (x118 - x168)^2 + (x119 - x169)^2 + (
      x120 - x170)^2 - 4*x216 >= 0;

e767: (x116 - x171)^2 + (x117 - x172)^2 + (x118 - x173)^2 + (x119 - x174)^2 + (
      x120 - x175)^2 - 4*x216 >= 0;

e768: (x116 - x176)^2 + (x117 - x177)^2 + (x118 - x178)^2 + (x119 - x179)^2 + (
      x120 - x180)^2 - 4*x216 >= 0;

e769: (x116 - x181)^2 + (x117 - x182)^2 + (x118 - x183)^2 + (x119 - x184)^2 + (
      x120 - x185)^2 - 4*x216 >= 0;

e770: (x116 - x186)^2 + (x117 - x187)^2 + (x118 - x188)^2 + (x119 - x189)^2 + (
      x120 - x190)^2 - 4*x216 >= 0;

e771: (x116 - x191)^2 + (x117 - x192)^2 + (x118 - x193)^2 + (x119 - x194)^2 + (
      x120 - x195)^2 - 4*x216 >= 0;

e772: (x116 - x196)^2 + (x117 - x197)^2 + (x118 - x198)^2 + (x119 - x199)^2 + (
      x120 - x200)^2 - 4*x216 >= 0;

e773: (x116 - x201)^2 + (x117 - x202)^2 + (x118 - x203)^2 + (x119 - x204)^2 + (
      x120 - x205)^2 - 4*x216 >= 0;

e774: (x116 - x206)^2 + (x117 - x207)^2 + (x118 - x208)^2 + (x119 - x209)^2 + (
      x120 - x210)^2 - 4*x216 >= 0;

e775: (x116 - x211)^2 + (x117 - x212)^2 + (x118 - x213)^2 + (x119 - x214)^2 + (
      x120 - x215)^2 - 4*x216 >= 0;

e776: (x121 - x126)^2 + (x122 - x127)^2 + (x123 - x128)^2 + (x124 - x129)^2 + (
      x125 - x130)^2 - 4*x216 >= 0;

e777: (x121 - x131)^2 + (x122 - x132)^2 + (x123 - x133)^2 + (x124 - x134)^2 + (
      x125 - x135)^2 - 4*x216 >= 0;

e778: (x121 - x136)^2 + (x122 - x137)^2 + (x123 - x138)^2 + (x124 - x139)^2 + (
      x125 - x140)^2 - 4*x216 >= 0;

e779: (x121 - x141)^2 + (x122 - x142)^2 + (x123 - x143)^2 + (x124 - x144)^2 + (
      x125 - x145)^2 - 4*x216 >= 0;

e780: (x121 - x146)^2 + (x122 - x147)^2 + (x123 - x148)^2 + (x124 - x149)^2 + (
      x125 - x150)^2 - 4*x216 >= 0;

e781: (x121 - x151)^2 + (x122 - x152)^2 + (x123 - x153)^2 + (x124 - x154)^2 + (
      x125 - x155)^2 - 4*x216 >= 0;

e782: (x121 - x156)^2 + (x122 - x157)^2 + (x123 - x158)^2 + (x124 - x159)^2 + (
      x125 - x160)^2 - 4*x216 >= 0;

e783: (x121 - x161)^2 + (x122 - x162)^2 + (x123 - x163)^2 + (x124 - x164)^2 + (
      x125 - x165)^2 - 4*x216 >= 0;

e784: (x121 - x166)^2 + (x122 - x167)^2 + (x123 - x168)^2 + (x124 - x169)^2 + (
      x125 - x170)^2 - 4*x216 >= 0;

e785: (x121 - x171)^2 + (x122 - x172)^2 + (x123 - x173)^2 + (x124 - x174)^2 + (
      x125 - x175)^2 - 4*x216 >= 0;

e786: (x121 - x176)^2 + (x122 - x177)^2 + (x123 - x178)^2 + (x124 - x179)^2 + (
      x125 - x180)^2 - 4*x216 >= 0;

e787: (x121 - x181)^2 + (x122 - x182)^2 + (x123 - x183)^2 + (x124 - x184)^2 + (
      x125 - x185)^2 - 4*x216 >= 0;

e788: (x121 - x186)^2 + (x122 - x187)^2 + (x123 - x188)^2 + (x124 - x189)^2 + (
      x125 - x190)^2 - 4*x216 >= 0;

e789: (x121 - x191)^2 + (x122 - x192)^2 + (x123 - x193)^2 + (x124 - x194)^2 + (
      x125 - x195)^2 - 4*x216 >= 0;

e790: (x121 - x196)^2 + (x122 - x197)^2 + (x123 - x198)^2 + (x124 - x199)^2 + (
      x125 - x200)^2 - 4*x216 >= 0;

e791: (x121 - x201)^2 + (x122 - x202)^2 + (x123 - x203)^2 + (x124 - x204)^2 + (
      x125 - x205)^2 - 4*x216 >= 0;

e792: (x121 - x206)^2 + (x122 - x207)^2 + (x123 - x208)^2 + (x124 - x209)^2 + (
      x125 - x210)^2 - 4*x216 >= 0;

e793: (x121 - x211)^2 + (x122 - x212)^2 + (x123 - x213)^2 + (x124 - x214)^2 + (
      x125 - x215)^2 - 4*x216 >= 0;

e794: (x126 - x131)^2 + (x127 - x132)^2 + (x128 - x133)^2 + (x129 - x134)^2 + (
      x130 - x135)^2 - 4*x216 >= 0;

e795: (x126 - x136)^2 + (x127 - x137)^2 + (x128 - x138)^2 + (x129 - x139)^2 + (
      x130 - x140)^2 - 4*x216 >= 0;

e796: (x126 - x141)^2 + (x127 - x142)^2 + (x128 - x143)^2 + (x129 - x144)^2 + (
      x130 - x145)^2 - 4*x216 >= 0;

e797: (x126 - x146)^2 + (x127 - x147)^2 + (x128 - x148)^2 + (x129 - x149)^2 + (
      x130 - x150)^2 - 4*x216 >= 0;

e798: (x126 - x151)^2 + (x127 - x152)^2 + (x128 - x153)^2 + (x129 - x154)^2 + (
      x130 - x155)^2 - 4*x216 >= 0;

e799: (x126 - x156)^2 + (x127 - x157)^2 + (x128 - x158)^2 + (x129 - x159)^2 + (
      x130 - x160)^2 - 4*x216 >= 0;

e800: (x126 - x161)^2 + (x127 - x162)^2 + (x128 - x163)^2 + (x129 - x164)^2 + (
      x130 - x165)^2 - 4*x216 >= 0;

e801: (x126 - x166)^2 + (x127 - x167)^2 + (x128 - x168)^2 + (x129 - x169)^2 + (
      x130 - x170)^2 - 4*x216 >= 0;

e802: (x126 - x171)^2 + (x127 - x172)^2 + (x128 - x173)^2 + (x129 - x174)^2 + (
      x130 - x175)^2 - 4*x216 >= 0;

e803: (x126 - x176)^2 + (x127 - x177)^2 + (x128 - x178)^2 + (x129 - x179)^2 + (
      x130 - x180)^2 - 4*x216 >= 0;

e804: (x126 - x181)^2 + (x127 - x182)^2 + (x128 - x183)^2 + (x129 - x184)^2 + (
      x130 - x185)^2 - 4*x216 >= 0;

e805: (x126 - x186)^2 + (x127 - x187)^2 + (x128 - x188)^2 + (x129 - x189)^2 + (
      x130 - x190)^2 - 4*x216 >= 0;

e806: (x126 - x191)^2 + (x127 - x192)^2 + (x128 - x193)^2 + (x129 - x194)^2 + (
      x130 - x195)^2 - 4*x216 >= 0;

e807: (x126 - x196)^2 + (x127 - x197)^2 + (x128 - x198)^2 + (x129 - x199)^2 + (
      x130 - x200)^2 - 4*x216 >= 0;

e808: (x126 - x201)^2 + (x127 - x202)^2 + (x128 - x203)^2 + (x129 - x204)^2 + (
      x130 - x205)^2 - 4*x216 >= 0;

e809: (x126 - x206)^2 + (x127 - x207)^2 + (x128 - x208)^2 + (x129 - x209)^2 + (
      x130 - x210)^2 - 4*x216 >= 0;

e810: (x126 - x211)^2 + (x127 - x212)^2 + (x128 - x213)^2 + (x129 - x214)^2 + (
      x130 - x215)^2 - 4*x216 >= 0;

e811: (x131 - x136)^2 + (x132 - x137)^2 + (x133 - x138)^2 + (x134 - x139)^2 + (
      x135 - x140)^2 - 4*x216 >= 0;

e812: (x131 - x141)^2 + (x132 - x142)^2 + (x133 - x143)^2 + (x134 - x144)^2 + (
      x135 - x145)^2 - 4*x216 >= 0;

e813: (x131 - x146)^2 + (x132 - x147)^2 + (x133 - x148)^2 + (x134 - x149)^2 + (
      x135 - x150)^2 - 4*x216 >= 0;

e814: (x131 - x151)^2 + (x132 - x152)^2 + (x133 - x153)^2 + (x134 - x154)^2 + (
      x135 - x155)^2 - 4*x216 >= 0;

e815: (x131 - x156)^2 + (x132 - x157)^2 + (x133 - x158)^2 + (x134 - x159)^2 + (
      x135 - x160)^2 - 4*x216 >= 0;

e816: (x131 - x161)^2 + (x132 - x162)^2 + (x133 - x163)^2 + (x134 - x164)^2 + (
      x135 - x165)^2 - 4*x216 >= 0;

e817: (x131 - x166)^2 + (x132 - x167)^2 + (x133 - x168)^2 + (x134 - x169)^2 + (
      x135 - x170)^2 - 4*x216 >= 0;

e818: (x131 - x171)^2 + (x132 - x172)^2 + (x133 - x173)^2 + (x134 - x174)^2 + (
      x135 - x175)^2 - 4*x216 >= 0;

e819: (x131 - x176)^2 + (x132 - x177)^2 + (x133 - x178)^2 + (x134 - x179)^2 + (
      x135 - x180)^2 - 4*x216 >= 0;

e820: (x131 - x181)^2 + (x132 - x182)^2 + (x133 - x183)^2 + (x134 - x184)^2 + (
      x135 - x185)^2 - 4*x216 >= 0;

e821: (x131 - x186)^2 + (x132 - x187)^2 + (x133 - x188)^2 + (x134 - x189)^2 + (
      x135 - x190)^2 - 4*x216 >= 0;

e822: (x131 - x191)^2 + (x132 - x192)^2 + (x133 - x193)^2 + (x134 - x194)^2 + (
      x135 - x195)^2 - 4*x216 >= 0;

e823: (x131 - x196)^2 + (x132 - x197)^2 + (x133 - x198)^2 + (x134 - x199)^2 + (
      x135 - x200)^2 - 4*x216 >= 0;

e824: (x131 - x201)^2 + (x132 - x202)^2 + (x133 - x203)^2 + (x134 - x204)^2 + (
      x135 - x205)^2 - 4*x216 >= 0;

e825: (x131 - x206)^2 + (x132 - x207)^2 + (x133 - x208)^2 + (x134 - x209)^2 + (
      x135 - x210)^2 - 4*x216 >= 0;

e826: (x131 - x211)^2 + (x132 - x212)^2 + (x133 - x213)^2 + (x134 - x214)^2 + (
      x135 - x215)^2 - 4*x216 >= 0;

e827: (x136 - x141)^2 + (x137 - x142)^2 + (x138 - x143)^2 + (x139 - x144)^2 + (
      x140 - x145)^2 - 4*x216 >= 0;

e828: (x136 - x146)^2 + (x137 - x147)^2 + (x138 - x148)^2 + (x139 - x149)^2 + (
      x140 - x150)^2 - 4*x216 >= 0;

e829: (x136 - x151)^2 + (x137 - x152)^2 + (x138 - x153)^2 + (x139 - x154)^2 + (
      x140 - x155)^2 - 4*x216 >= 0;

e830: (x136 - x156)^2 + (x137 - x157)^2 + (x138 - x158)^2 + (x139 - x159)^2 + (
      x140 - x160)^2 - 4*x216 >= 0;

e831: (x136 - x161)^2 + (x137 - x162)^2 + (x138 - x163)^2 + (x139 - x164)^2 + (
      x140 - x165)^2 - 4*x216 >= 0;

e832: (x136 - x166)^2 + (x137 - x167)^2 + (x138 - x168)^2 + (x139 - x169)^2 + (
      x140 - x170)^2 - 4*x216 >= 0;

e833: (x136 - x171)^2 + (x137 - x172)^2 + (x138 - x173)^2 + (x139 - x174)^2 + (
      x140 - x175)^2 - 4*x216 >= 0;

e834: (x136 - x176)^2 + (x137 - x177)^2 + (x138 - x178)^2 + (x139 - x179)^2 + (
      x140 - x180)^2 - 4*x216 >= 0;

e835: (x136 - x181)^2 + (x137 - x182)^2 + (x138 - x183)^2 + (x139 - x184)^2 + (
      x140 - x185)^2 - 4*x216 >= 0;

e836: (x136 - x186)^2 + (x137 - x187)^2 + (x138 - x188)^2 + (x139 - x189)^2 + (
      x140 - x190)^2 - 4*x216 >= 0;

e837: (x136 - x191)^2 + (x137 - x192)^2 + (x138 - x193)^2 + (x139 - x194)^2 + (
      x140 - x195)^2 - 4*x216 >= 0;

e838: (x136 - x196)^2 + (x137 - x197)^2 + (x138 - x198)^2 + (x139 - x199)^2 + (
      x140 - x200)^2 - 4*x216 >= 0;

e839: (x136 - x201)^2 + (x137 - x202)^2 + (x138 - x203)^2 + (x139 - x204)^2 + (
      x140 - x205)^2 - 4*x216 >= 0;

e840: (x136 - x206)^2 + (x137 - x207)^2 + (x138 - x208)^2 + (x139 - x209)^2 + (
      x140 - x210)^2 - 4*x216 >= 0;

e841: (x136 - x211)^2 + (x137 - x212)^2 + (x138 - x213)^2 + (x139 - x214)^2 + (
      x140 - x215)^2 - 4*x216 >= 0;

e842: (x141 - x146)^2 + (x142 - x147)^2 + (x143 - x148)^2 + (x144 - x149)^2 + (
      x145 - x150)^2 - 4*x216 >= 0;

e843: (x141 - x151)^2 + (x142 - x152)^2 + (x143 - x153)^2 + (x144 - x154)^2 + (
      x145 - x155)^2 - 4*x216 >= 0;

e844: (x141 - x156)^2 + (x142 - x157)^2 + (x143 - x158)^2 + (x144 - x159)^2 + (
      x145 - x160)^2 - 4*x216 >= 0;

e845: (x141 - x161)^2 + (x142 - x162)^2 + (x143 - x163)^2 + (x144 - x164)^2 + (
      x145 - x165)^2 - 4*x216 >= 0;

e846: (x141 - x166)^2 + (x142 - x167)^2 + (x143 - x168)^2 + (x144 - x169)^2 + (
      x145 - x170)^2 - 4*x216 >= 0;

e847: (x141 - x171)^2 + (x142 - x172)^2 + (x143 - x173)^2 + (x144 - x174)^2 + (
      x145 - x175)^2 - 4*x216 >= 0;

e848: (x141 - x176)^2 + (x142 - x177)^2 + (x143 - x178)^2 + (x144 - x179)^2 + (
      x145 - x180)^2 - 4*x216 >= 0;

e849: (x141 - x181)^2 + (x142 - x182)^2 + (x143 - x183)^2 + (x144 - x184)^2 + (
      x145 - x185)^2 - 4*x216 >= 0;

e850: (x141 - x186)^2 + (x142 - x187)^2 + (x143 - x188)^2 + (x144 - x189)^2 + (
      x145 - x190)^2 - 4*x216 >= 0;

e851: (x141 - x191)^2 + (x142 - x192)^2 + (x143 - x193)^2 + (x144 - x194)^2 + (
      x145 - x195)^2 - 4*x216 >= 0;

e852: (x141 - x196)^2 + (x142 - x197)^2 + (x143 - x198)^2 + (x144 - x199)^2 + (
      x145 - x200)^2 - 4*x216 >= 0;

e853: (x141 - x201)^2 + (x142 - x202)^2 + (x143 - x203)^2 + (x144 - x204)^2 + (
      x145 - x205)^2 - 4*x216 >= 0;

e854: (x141 - x206)^2 + (x142 - x207)^2 + (x143 - x208)^2 + (x144 - x209)^2 + (
      x145 - x210)^2 - 4*x216 >= 0;

e855: (x141 - x211)^2 + (x142 - x212)^2 + (x143 - x213)^2 + (x144 - x214)^2 + (
      x145 - x215)^2 - 4*x216 >= 0;

e856: (x146 - x151)^2 + (x147 - x152)^2 + (x148 - x153)^2 + (x149 - x154)^2 + (
      x150 - x155)^2 - 4*x216 >= 0;

e857: (x146 - x156)^2 + (x147 - x157)^2 + (x148 - x158)^2 + (x149 - x159)^2 + (
      x150 - x160)^2 - 4*x216 >= 0;

e858: (x146 - x161)^2 + (x147 - x162)^2 + (x148 - x163)^2 + (x149 - x164)^2 + (
      x150 - x165)^2 - 4*x216 >= 0;

e859: (x146 - x166)^2 + (x147 - x167)^2 + (x148 - x168)^2 + (x149 - x169)^2 + (
      x150 - x170)^2 - 4*x216 >= 0;

e860: (x146 - x171)^2 + (x147 - x172)^2 + (x148 - x173)^2 + (x149 - x174)^2 + (
      x150 - x175)^2 - 4*x216 >= 0;

e861: (x146 - x176)^2 + (x147 - x177)^2 + (x148 - x178)^2 + (x149 - x179)^2 + (
      x150 - x180)^2 - 4*x216 >= 0;

e862: (x146 - x181)^2 + (x147 - x182)^2 + (x148 - x183)^2 + (x149 - x184)^2 + (
      x150 - x185)^2 - 4*x216 >= 0;

e863: (x146 - x186)^2 + (x147 - x187)^2 + (x148 - x188)^2 + (x149 - x189)^2 + (
      x150 - x190)^2 - 4*x216 >= 0;

e864: (x146 - x191)^2 + (x147 - x192)^2 + (x148 - x193)^2 + (x149 - x194)^2 + (
      x150 - x195)^2 - 4*x216 >= 0;

e865: (x146 - x196)^2 + (x147 - x197)^2 + (x148 - x198)^2 + (x149 - x199)^2 + (
      x150 - x200)^2 - 4*x216 >= 0;

e866: (x146 - x201)^2 + (x147 - x202)^2 + (x148 - x203)^2 + (x149 - x204)^2 + (
      x150 - x205)^2 - 4*x216 >= 0;

e867: (x146 - x206)^2 + (x147 - x207)^2 + (x148 - x208)^2 + (x149 - x209)^2 + (
      x150 - x210)^2 - 4*x216 >= 0;

e868: (x146 - x211)^2 + (x147 - x212)^2 + (x148 - x213)^2 + (x149 - x214)^2 + (
      x150 - x215)^2 - 4*x216 >= 0;

e869: (x151 - x156)^2 + (x152 - x157)^2 + (x153 - x158)^2 + (x154 - x159)^2 + (
      x155 - x160)^2 - 4*x216 >= 0;

e870: (x151 - x161)^2 + (x152 - x162)^2 + (x153 - x163)^2 + (x154 - x164)^2 + (
      x155 - x165)^2 - 4*x216 >= 0;

e871: (x151 - x166)^2 + (x152 - x167)^2 + (x153 - x168)^2 + (x154 - x169)^2 + (
      x155 - x170)^2 - 4*x216 >= 0;

e872: (x151 - x171)^2 + (x152 - x172)^2 + (x153 - x173)^2 + (x154 - x174)^2 + (
      x155 - x175)^2 - 4*x216 >= 0;

e873: (x151 - x176)^2 + (x152 - x177)^2 + (x153 - x178)^2 + (x154 - x179)^2 + (
      x155 - x180)^2 - 4*x216 >= 0;

e874: (x151 - x181)^2 + (x152 - x182)^2 + (x153 - x183)^2 + (x154 - x184)^2 + (
      x155 - x185)^2 - 4*x216 >= 0;

e875: (x151 - x186)^2 + (x152 - x187)^2 + (x153 - x188)^2 + (x154 - x189)^2 + (
      x155 - x190)^2 - 4*x216 >= 0;

e876: (x151 - x191)^2 + (x152 - x192)^2 + (x153 - x193)^2 + (x154 - x194)^2 + (
      x155 - x195)^2 - 4*x216 >= 0;

e877: (x151 - x196)^2 + (x152 - x197)^2 + (x153 - x198)^2 + (x154 - x199)^2 + (
      x155 - x200)^2 - 4*x216 >= 0;

e878: (x151 - x201)^2 + (x152 - x202)^2 + (x153 - x203)^2 + (x154 - x204)^2 + (
      x155 - x205)^2 - 4*x216 >= 0;

e879: (x151 - x206)^2 + (x152 - x207)^2 + (x153 - x208)^2 + (x154 - x209)^2 + (
      x155 - x210)^2 - 4*x216 >= 0;

e880: (x151 - x211)^2 + (x152 - x212)^2 + (x153 - x213)^2 + (x154 - x214)^2 + (
      x155 - x215)^2 - 4*x216 >= 0;

e881: (x156 - x161)^2 + (x157 - x162)^2 + (x158 - x163)^2 + (x159 - x164)^2 + (
      x160 - x165)^2 - 4*x216 >= 0;

e882: (x156 - x166)^2 + (x157 - x167)^2 + (x158 - x168)^2 + (x159 - x169)^2 + (
      x160 - x170)^2 - 4*x216 >= 0;

e883: (x156 - x171)^2 + (x157 - x172)^2 + (x158 - x173)^2 + (x159 - x174)^2 + (
      x160 - x175)^2 - 4*x216 >= 0;

e884: (x156 - x176)^2 + (x157 - x177)^2 + (x158 - x178)^2 + (x159 - x179)^2 + (
      x160 - x180)^2 - 4*x216 >= 0;

e885: (x156 - x181)^2 + (x157 - x182)^2 + (x158 - x183)^2 + (x159 - x184)^2 + (
      x160 - x185)^2 - 4*x216 >= 0;

e886: (x156 - x186)^2 + (x157 - x187)^2 + (x158 - x188)^2 + (x159 - x189)^2 + (
      x160 - x190)^2 - 4*x216 >= 0;

e887: (x156 - x191)^2 + (x157 - x192)^2 + (x158 - x193)^2 + (x159 - x194)^2 + (
      x160 - x195)^2 - 4*x216 >= 0;

e888: (x156 - x196)^2 + (x157 - x197)^2 + (x158 - x198)^2 + (x159 - x199)^2 + (
      x160 - x200)^2 - 4*x216 >= 0;

e889: (x156 - x201)^2 + (x157 - x202)^2 + (x158 - x203)^2 + (x159 - x204)^2 + (
      x160 - x205)^2 - 4*x216 >= 0;

e890: (x156 - x206)^2 + (x157 - x207)^2 + (x158 - x208)^2 + (x159 - x209)^2 + (
      x160 - x210)^2 - 4*x216 >= 0;

e891: (x156 - x211)^2 + (x157 - x212)^2 + (x158 - x213)^2 + (x159 - x214)^2 + (
      x160 - x215)^2 - 4*x216 >= 0;

e892: (x161 - x166)^2 + (x162 - x167)^2 + (x163 - x168)^2 + (x164 - x169)^2 + (
      x165 - x170)^2 - 4*x216 >= 0;

e893: (x161 - x171)^2 + (x162 - x172)^2 + (x163 - x173)^2 + (x164 - x174)^2 + (
      x165 - x175)^2 - 4*x216 >= 0;

e894: (x161 - x176)^2 + (x162 - x177)^2 + (x163 - x178)^2 + (x164 - x179)^2 + (
      x165 - x180)^2 - 4*x216 >= 0;

e895: (x161 - x181)^2 + (x162 - x182)^2 + (x163 - x183)^2 + (x164 - x184)^2 + (
      x165 - x185)^2 - 4*x216 >= 0;

e896: (x161 - x186)^2 + (x162 - x187)^2 + (x163 - x188)^2 + (x164 - x189)^2 + (
      x165 - x190)^2 - 4*x216 >= 0;

e897: (x161 - x191)^2 + (x162 - x192)^2 + (x163 - x193)^2 + (x164 - x194)^2 + (
      x165 - x195)^2 - 4*x216 >= 0;

e898: (x161 - x196)^2 + (x162 - x197)^2 + (x163 - x198)^2 + (x164 - x199)^2 + (
      x165 - x200)^2 - 4*x216 >= 0;

e899: (x161 - x201)^2 + (x162 - x202)^2 + (x163 - x203)^2 + (x164 - x204)^2 + (
      x165 - x205)^2 - 4*x216 >= 0;

e900: (x161 - x206)^2 + (x162 - x207)^2 + (x163 - x208)^2 + (x164 - x209)^2 + (
      x165 - x210)^2 - 4*x216 >= 0;

e901: (x161 - x211)^2 + (x162 - x212)^2 + (x163 - x213)^2 + (x164 - x214)^2 + (
      x165 - x215)^2 - 4*x216 >= 0;

e902: (x166 - x171)^2 + (x167 - x172)^2 + (x168 - x173)^2 + (x169 - x174)^2 + (
      x170 - x175)^2 - 4*x216 >= 0;

e903: (x166 - x176)^2 + (x167 - x177)^2 + (x168 - x178)^2 + (x169 - x179)^2 + (
      x170 - x180)^2 - 4*x216 >= 0;

e904: (x166 - x181)^2 + (x167 - x182)^2 + (x168 - x183)^2 + (x169 - x184)^2 + (
      x170 - x185)^2 - 4*x216 >= 0;

e905: (x166 - x186)^2 + (x167 - x187)^2 + (x168 - x188)^2 + (x169 - x189)^2 + (
      x170 - x190)^2 - 4*x216 >= 0;

e906: (x166 - x191)^2 + (x167 - x192)^2 + (x168 - x193)^2 + (x169 - x194)^2 + (
      x170 - x195)^2 - 4*x216 >= 0;

e907: (x166 - x196)^2 + (x167 - x197)^2 + (x168 - x198)^2 + (x169 - x199)^2 + (
      x170 - x200)^2 - 4*x216 >= 0;

e908: (x166 - x201)^2 + (x167 - x202)^2 + (x168 - x203)^2 + (x169 - x204)^2 + (
      x170 - x205)^2 - 4*x216 >= 0;

e909: (x166 - x206)^2 + (x167 - x207)^2 + (x168 - x208)^2 + (x169 - x209)^2 + (
      x170 - x210)^2 - 4*x216 >= 0;

e910: (x166 - x211)^2 + (x167 - x212)^2 + (x168 - x213)^2 + (x169 - x214)^2 + (
      x170 - x215)^2 - 4*x216 >= 0;

e911: (x171 - x176)^2 + (x172 - x177)^2 + (x173 - x178)^2 + (x174 - x179)^2 + (
      x175 - x180)^2 - 4*x216 >= 0;

e912: (x171 - x181)^2 + (x172 - x182)^2 + (x173 - x183)^2 + (x174 - x184)^2 + (
      x175 - x185)^2 - 4*x216 >= 0;

e913: (x171 - x186)^2 + (x172 - x187)^2 + (x173 - x188)^2 + (x174 - x189)^2 + (
      x175 - x190)^2 - 4*x216 >= 0;

e914: (x171 - x191)^2 + (x172 - x192)^2 + (x173 - x193)^2 + (x174 - x194)^2 + (
      x175 - x195)^2 - 4*x216 >= 0;

e915: (x171 - x196)^2 + (x172 - x197)^2 + (x173 - x198)^2 + (x174 - x199)^2 + (
      x175 - x200)^2 - 4*x216 >= 0;

e916: (x171 - x201)^2 + (x172 - x202)^2 + (x173 - x203)^2 + (x174 - x204)^2 + (
      x175 - x205)^2 - 4*x216 >= 0;

e917: (x171 - x206)^2 + (x172 - x207)^2 + (x173 - x208)^2 + (x174 - x209)^2 + (
      x175 - x210)^2 - 4*x216 >= 0;

e918: (x171 - x211)^2 + (x172 - x212)^2 + (x173 - x213)^2 + (x174 - x214)^2 + (
      x175 - x215)^2 - 4*x216 >= 0;

e919: (x176 - x181)^2 + (x177 - x182)^2 + (x178 - x183)^2 + (x179 - x184)^2 + (
      x180 - x185)^2 - 4*x216 >= 0;

e920: (x176 - x186)^2 + (x177 - x187)^2 + (x178 - x188)^2 + (x179 - x189)^2 + (
      x180 - x190)^2 - 4*x216 >= 0;

e921: (x176 - x191)^2 + (x177 - x192)^2 + (x178 - x193)^2 + (x179 - x194)^2 + (
      x180 - x195)^2 - 4*x216 >= 0;

e922: (x176 - x196)^2 + (x177 - x197)^2 + (x178 - x198)^2 + (x179 - x199)^2 + (
      x180 - x200)^2 - 4*x216 >= 0;

e923: (x176 - x201)^2 + (x177 - x202)^2 + (x178 - x203)^2 + (x179 - x204)^2 + (
      x180 - x205)^2 - 4*x216 >= 0;

e924: (x176 - x206)^2 + (x177 - x207)^2 + (x178 - x208)^2 + (x179 - x209)^2 + (
      x180 - x210)^2 - 4*x216 >= 0;

e925: (x176 - x211)^2 + (x177 - x212)^2 + (x178 - x213)^2 + (x179 - x214)^2 + (
      x180 - x215)^2 - 4*x216 >= 0;

e926: (x181 - x186)^2 + (x182 - x187)^2 + (x183 - x188)^2 + (x184 - x189)^2 + (
      x185 - x190)^2 - 4*x216 >= 0;

e927: (x181 - x191)^2 + (x182 - x192)^2 + (x183 - x193)^2 + (x184 - x194)^2 + (
      x185 - x195)^2 - 4*x216 >= 0;

e928: (x181 - x196)^2 + (x182 - x197)^2 + (x183 - x198)^2 + (x184 - x199)^2 + (
      x185 - x200)^2 - 4*x216 >= 0;

e929: (x181 - x201)^2 + (x182 - x202)^2 + (x183 - x203)^2 + (x184 - x204)^2 + (
      x185 - x205)^2 - 4*x216 >= 0;

e930: (x181 - x206)^2 + (x182 - x207)^2 + (x183 - x208)^2 + (x184 - x209)^2 + (
      x185 - x210)^2 - 4*x216 >= 0;

e931: (x181 - x211)^2 + (x182 - x212)^2 + (x183 - x213)^2 + (x184 - x214)^2 + (
      x185 - x215)^2 - 4*x216 >= 0;

e932: (x186 - x191)^2 + (x187 - x192)^2 + (x188 - x193)^2 + (x189 - x194)^2 + (
      x190 - x195)^2 - 4*x216 >= 0;

e933: (x186 - x196)^2 + (x187 - x197)^2 + (x188 - x198)^2 + (x189 - x199)^2 + (
      x190 - x200)^2 - 4*x216 >= 0;

e934: (x186 - x201)^2 + (x187 - x202)^2 + (x188 - x203)^2 + (x189 - x204)^2 + (
      x190 - x205)^2 - 4*x216 >= 0;

e935: (x186 - x206)^2 + (x187 - x207)^2 + (x188 - x208)^2 + (x189 - x209)^2 + (
      x190 - x210)^2 - 4*x216 >= 0;

e936: (x186 - x211)^2 + (x187 - x212)^2 + (x188 - x213)^2 + (x189 - x214)^2 + (
      x190 - x215)^2 - 4*x216 >= 0;

e937: (x191 - x196)^2 + (x192 - x197)^2 + (x193 - x198)^2 + (x194 - x199)^2 + (
      x195 - x200)^2 - 4*x216 >= 0;

e938: (x191 - x201)^2 + (x192 - x202)^2 + (x193 - x203)^2 + (x194 - x204)^2 + (
      x195 - x205)^2 - 4*x216 >= 0;

e939: (x191 - x206)^2 + (x192 - x207)^2 + (x193 - x208)^2 + (x194 - x209)^2 + (
      x195 - x210)^2 - 4*x216 >= 0;

e940: (x191 - x211)^2 + (x192 - x212)^2 + (x193 - x213)^2 + (x194 - x214)^2 + (
      x195 - x215)^2 - 4*x216 >= 0;

e941: (x196 - x201)^2 + (x197 - x202)^2 + (x198 - x203)^2 + (x199 - x204)^2 + (
      x200 - x205)^2 - 4*x216 >= 0;

e942: (x196 - x206)^2 + (x197 - x207)^2 + (x198 - x208)^2 + (x199 - x209)^2 + (
      x200 - x210)^2 - 4*x216 >= 0;

e943: (x196 - x211)^2 + (x197 - x212)^2 + (x198 - x213)^2 + (x199 - x214)^2 + (
      x200 - x215)^2 - 4*x216 >= 0;

e944: (x201 - x206)^2 + (x202 - x207)^2 + (x203 - x208)^2 + (x204 - x209)^2 + (
      x205 - x210)^2 - 4*x216 >= 0;

e945: (x201 - x211)^2 + (x202 - x212)^2 + (x203 - x213)^2 + (x204 - x214)^2 + (
      x205 - x215)^2 - 4*x216 >= 0;

e946: (x206 - x211)^2 + (x207 - x212)^2 + (x208 - x213)^2 + (x209 - x214)^2 + (
      x210 - x215)^2 - 4*x216 >= 0;