# Domains
var x1 >= -1.0e8, <= 1.0e8;
var x2 >= -1.0e8, <= 1.0e8;
var x3 >= -1.0e8, <= 1.0e8;
var x4 >= -1.0e8, <= 1.0e8;
var x5 >= -1.0e8, <= 1.0e8;
var x6 >= -1.0e8, <= 1.0e8;
var x7 >= -1.0e8, <= 1.0e8;
var x8 >= -1.0e8, <= 1.0e8;
var x9 >= -1.0e8, <= 1.0e8;
var x10 >= -1.0e8, <= 1.0e8;
var x11 >= -1.0e8, <= 1.0e8;
var x12 >= -1.0e8, <= 1.0e8;
var x13 >= -1.0e8, <= 1.0e8;
var x14 >= -1.0e8, <= 1.0e8;
var x15 >= -1.0e8, <= 1.0e8;
var x16 >= -1.0e8, <= 1.0e8;
var x17 >= -1.0e8, <= 1.0e8;
var x18 >= -1.0e8, <= 1.0e8;
var x19 >= -1.0e8, <= 1.0e8;
var x20 >= -1.0e8, <= 1.0e8;
var x21 >= -1.0e8, <= 1.0e8;
var x22 >= -1.0e8, <= 1.0e8;
var x23 >= -1.0e8, <= 1.0e8;
var x24 >= -1.0e8, <= 1.0e8;
var x25 >= -1.0e8, <= 1.0e8;
var x26 >= -1.0e8, <= 1.0e8;
var x27 >= -1.0e8, <= 1.0e8;
var x28 >= -1.0e8, <= 1.0e8;
var x29 >= -1.0e8, <= 1.0e8;
var x30 >= -1.0e8, <= 1.0e8;
var x31 >= -1.0e8, <= 1.0e8;
var x32 >= -1.0e8, <= 1.0e8;
var x33 >= -1.0e8, <= 1.0e8;
var x34 >= -1.0e8, <= 1.0e8;
var x35 >= -1.0e8, <= 1.0e8;
var x36 >= -1.0e8, <= 1.0e8;
var x37 >= -1.0e8, <= 1.0e8;
var x38 >= -1.0e8, <= 1.0e8;
var x39 >= -1.0e8, <= 1.0e8;
var x40 >= -1.0e8, <= 1.0e8;
var x41 >= -1.0e8, <= 1.0e8;
var x42 >= -1.0e8, <= 1.0e8;
var x43 >= -1.0e8, <= 1.0e8;
var x44 >= -1.0e8, <= 1.0e8;
var x45 >= -1.0e8, <= 1.0e8;
var x46 >= -1.0e8, <= 1.0e8;
var x47 >= -1.0e8, <= 1.0e8;
var x48 >= -1.0e8, <= 1.0e8;
var x49 >= -1.0e8, <= 1.0e8;
var x50 >= -1.0e8, <= 1.0e8;
var x51 >= -1.0e8, <= 1.0e8;
var x52 >= -1.0e8, <= 1.0e8;
var x53 >= -1.0e8, <= 1.0e8;
var x54 >= -1.0e8, <= 1.0e8;
var x55 >= -1.0e8, <= 1.0e8;
var x56 >= -1.0e8, <= 1.0e8;
var x57 >= -1.0e8, <= 1.0e8;
var x58 >= -1.0e8, <= 1.0e8;
var x59 >= -1.0e8, <= 1.0e8;
var x60 >= -1.0e8, <= 1.0e8;
var x61 >= -1.0e8, <= 1.0e8;
var x62 >= -1.0e8, <= 1.0e8;
var x63 >= -1.0e8, <= 1.0e8;
var x64 >= -1.0e8, <= 1.0e8;
var x65 >= -1.0e8, <= 1.0e8;
var x66 >= -1.0e8, <= 1.0e8;
var x67 >= -1.0e8, <= 1.0e8;
var x68 >= -1.0e8, <= 1.0e8;
var x69 >= -1.0e8, <= 1.0e8;
var x70 >= -1.0e8, <= 1.0e8;
var x71 >= -1.0e8, <= 1.0e8;
var x72 >= -1.0e8, <= 1.0e8;
var x73 >= -1.0e8, <= 1.0e8;
var x74 >= -1.0e8, <= 1.0e8;
var x75 >= -1.0e8, <= 1.0e8;
var x76 >= -1.0e8, <= 1.0e8;
var x77 >= -1.0e8, <= 1.0e8;
var x78 >= -1.0e8, <= 1.0e8;
var x79 >= -1.0e8, <= 1.0e8;
var x80 >= -1.0e8, <= 1.0e8;
var x81 >= -1.0e8, <= 1.0e8;
var x82 >= -1.0e8, <= 1.0e8;
var x83 >= -1.0e8, <= 1.0e8;
var x84 >= -1.0e8, <= 1.0e8;
var x85 >= -1.0e8, <= 1.0e8;
var x86 >= -1.0e8, <= 1.0e8;
var x87 >= -1.0e8, <= 1.0e8;
var x88 >= -1.0e8, <= 1.0e8;
var x89 >= -1.0e8, <= 1.0e8;
var x90 >= -1.0e8, <= 1.0e8;
var x91 >= -1.0e8, <= 1.0e8;
var x92 >= -1.0e8, <= 1.0e8;
var x93 >= -1.0e8, <= 1.0e8;
var x94 >= -1.0e8, <= 1.0e8;
var x95 >= -1.0e8, <= 1.0e8;
var x96 >= -1.0e8, <= 1.0e8;
var x97 >= -1.0e8, <= 1.0e8;
var x98 >= -1.0e8, <= 1.0e8;
var x99 >= -1.0e8, <= 1.0e8;
var x100 >= -1.0e8, <= 1.0e8;
var x101 >= -1.0e8, <= 1.0e8;
var x102 >= -1.0e8, <= 1.0e8;
var x103 >= -1.0e8, <= 1.0e8;
var x104 >= -1.0e8, <= 1.0e8;
var x105 >= -1.0e8, <= 1.0e8;
var x106 >= -1.0e8, <= 1.0e8;
var x107 >= -1.0e8, <= 1.0e8;
var x108 >= -1.0e8, <= 1.0e8;
var x109 >= -1.0e8, <= 1.0e8;
var x110 >= -1.0e8, <= 1.0e8;
var x111 >= -1.0e8, <= 1.0e8;
var x112 >= -1.0e8, <= 1.0e8;
var x113 >= -1.0e8, <= 1.0e8;
var x114 >= -1.0e8, <= 1.0e8;
var x115 >= -1.0e8, <= 1.0e8;
var x116 >= -1.0e8, <= 1.0e8;
var x117 >= -1.0e8, <= 1.0e8;
var x118 >= -1.0e8, <= 1.0e8;
var x119 >= -1.0e8, <= 1.0e8;
var x120 >= -1.0e8, <= 1.0e8;
var x121 >= -1.0e8, <= 1.0e8;
var x122 >= -1.0e8, <= 1.0e8;
var x123 >= -1.0e8, <= 1.0e8;
var x124 >= -1.0e8, <= 1.0e8;
var x125 >= -1.0e8, <= 1.0e8;
var x126 >= -1.0e8, <= 1.0e8;
var x127 >= -1.0e8, <= 1.0e8;
var x128 >= -1.0e8, <= 1.0e8;
var x129 >= -1.0e8, <= 1.0e8;
var x130 >= -1.0e8, <= 1.0e8;
var x131 >= -1.0e8, <= 1.0e8;
var x132 >= -1.0e8, <= 1.0e8;
var x133 >= -1.0e8, <= 1.0e8;
var x134 >= -1.0e8, <= 1.0e8;
var x135 >= -1.0e8, <= 1.0e8;
var x136 >= -1.0e8, <= 1.0e8;
var x137 >= -1.0e8, <= 1.0e8;
var x138 >= -1.0e8, <= 1.0e8;
var x139 >= -1.0e8, <= 1.0e8;
var x140 >= -1.0e8, <= 1.0e8;
var x141 >= -1.0e8, <= 1.0e8;
var x142 >= -1.0e8, <= 1.0e8;
var x143 >= -1.0e8, <= 1.0e8;
var x144 >= -1.0e8, <= 1.0e8;
var x145 >= -1.0e8, <= 1.0e8;
var x146 >= -1.0e8, <= 1.0e8;
var x147 >= -1.0e8, <= 1.0e8;
var x148 >= -1.0e8, <= 1.0e8;
var x149 >= -1.0e8, <= 1.0e8;
var x150 >= -1.0e8, <= 1.0e8;
var x151 >= -1.0e8, <= 1.0e8;
var x152 >= -1.0e8, <= 1.0e8;
var x153 >= -1.0e8, <= 1.0e8;
var x154 >= -1.0e8, <= 1.0e8;
var x155 >= -1.0e8, <= 1.0e8;
var x156 >= -1.0e8, <= 1.0e8;
var x157 >= -1.0e8, <= 1.0e8;
var x158 >= -1.0e8, <= 1.0e8;
var x159 >= -1.0e8, <= 1.0e8;
var x160 >= -1.0e8, <= 1.0e8;
var x161 >= -1.0e8, <= 1.0e8;
var x162 >= -1.0e8, <= 1.0e8;
var x163 >= -1.0e8, <= 1.0e8;
var x164 >= -1.0e8, <= 1.0e8;
var x165 >= -1.0e8, <= 1.0e8;
var x166 >= -1.0e8, <= 1.0e8;
var x167 >= -1.0e8, <= 1.0e8;
var x168 >= -1.0e8, <= 1.0e8;
var x169 >= -1.0e8, <= 1.0e8;
var x170 >= -1.0e8, <= 1.0e8;
var x171 >= -1.0e8, <= 1.0e8;
var x172 >= -1.0e8, <= 1.0e8;
var x173 >= -1.0e8, <= 1.0e8;
var x174 >= -1.0e8, <= 1.0e8;
var x175 >= -1.0e8, <= 1.0e8;
var x176 >= -1.0e8, <= 1.0e8;
var x177 >= -1.0e8, <= 1.0e8;
var x178 >= -1.0e8, <= 1.0e8;
var x179 >= -1.0e8, <= 1.0e8;
var x180 >= -1.0e8, <= 1.0e8;
var x181 >= -1.0e8, <= 1.0e8;
var x182 >= -1.0e8, <= 1.0e8;
var x183 >= -1.0e8, <= 1.0e8;
var x184 >= -1.0e8, <= 1.0e8;
var x185 >= -1.0e8, <= 1.0e8;
var x186 >= -1.0e8, <= 1.0e8;
var x187 >= -1.0e8, <= 1.0e8;
var x188 >= -1.0e8, <= 1.0e8;
var x189 >= -1.0e8, <= 1.0e8;
var x190 >= -1.0e8, <= 1.0e8;
var x191 >= -1.0e8, <= 1.0e8;
var x192 >= -1.0e8, <= 1.0e8;
var x193 >= -1.0e8, <= 1.0e8;
var x194 >= -1.0e8, <= 1.0e8;
var x195 >= -1.0e8, <= 1.0e8;
var x196 >= -1.0e8, <= 1.0e8;
var x197 >= -1.0e8, <= 1.0e8;
var x198 >= -1.0e8, <= 1.0e8;
var x199 >= -1.0e8, <= 1.0e8;
var x200 >= -1.0e8, <= 1.0e8;
var x201 >= -1.0e8, <= 1.0e8;
var x202 >= -1.0e8, <= 1.0e8;
var x203 >= -1.0e8, <= 1.0e8;
var x204 >= -1.0e8, <= 1.0e8;
var x205 >= -1.0e8, <= 1.0e8;
var x206 >= -1.0e8, <= 1.0e8;
var x207 >= -1.0e8, <= 1.0e8;
var x208 >= -1.0e8, <= 1.0e8;
var x209 >= -1.0e8, <= 1.0e8;
var x210 >= -1.0e8, <= 1.0e8;
var x211 >= -1.0e8, <= 1.0e8;
var x212 >= -1.0e8, <= 1.0e8;
var x213 >= -1.0e8, <= 1.0e8;
var x214 >= -1.0e8, <= 1.0e8;
var x215 >= -1.0e8, <= 1.0e8;
var x216 >= -1.0e8, <= 1.0e8;
var x217 >= -1.0e8, <= 1.0e8;
var x218 >= -1.0e8, <= 1.0e8;
var x219 >= -1.0e8, <= 1.0e8;
var x220 >= -1.0e8, <= 1.0e8;
var x221 >= -1.0e8, <= 1.0e8;
var x222 >= -1.0e8, <= 1.0e8;
var x223 >= -1.0e8, <= 1.0e8;
var x224 >= -1.0e8, <= 1.0e8;
var x225 >= -1.0e8, <= 1.0e8;
var x226 >= -1.0e8, <= 1.0e8;
var x227 >= -1.0e8, <= 1.0e8;
var x228 >= -1.0e8, <= 1.0e8;
var x229 >= -1.0e8, <= 1.0e8;
var x230 >= -1.0e8, <= 1.0e8;
var x231 >= -1.0e8, <= 1.0e8;
var x232 >= -1.0e8, <= 1.0e8;
var x233 >= -1.0e8, <= 1.0e8;
var x234 >= -1.0e8, <= 1.0e8;
var x235 >= -1.0e8, <= 1.0e8;
var x236 >= -1.0e8, <= 1.0e8;
var x237 >= -1.0e8, <= 1.0e8;
var x238 >= -1.0e8, <= 1.0e8;
var x239 >= -1.0e8, <= 1.0e8;
var x240 >= -1.0e8, <= 1.0e8;
var x241 >= -1.0e8, <= 1.0e8;
var x242 >= -1.0e8, <= 1.0e8;
var x243 >= -1.0e8, <= 1.0e8;
var x244 >= -1.0e8, <= 1.0e8;
var x245 >= -1.0e8, <= 1.0e8;
var x246 >= -1.0e8, <= 1.0e8;
var x247 >= -1.0e8, <= 1.0e8;
var x248 >= -1.0e8, <= 1.0e8;
var x249 >= -1.0e8, <= 1.0e8;
var x250 >= -1.0e8, <= 1.0e8;
var x251 >= -1.0e8, <= 1.0e8;
var x252 >= -1.0e8, <= 1.0e8;
var x253 >= -1.0e8, <= 1.0e8;
var x254 >= -1.0e8, <= 1.0e8;
var x255 >= -1.0e8, <= 1.0e8;
var x256 >= -1.0e8, <= 1.0e8;
var x257 >= -1.0e8, <= 1.0e8;
var x258 >= -1.0e8, <= 1.0e8;
var x259 >= -1.0e8, <= 1.0e8;
var x260 >= -1.0e8, <= 1.0e8;
var x261 >= -1.0e8, <= 1.0e8;
var x262 >= -1.0e8, <= 1.0e8;
var x263 >= -1.0e8, <= 1.0e8;
var x264 >= -1.0e8, <= 1.0e8;
var x265 >= -1.0e8, <= 1.0e8;
var x266 >= -1.0e8, <= 1.0e8;
var x267 >= -1.0e8, <= 1.0e8;
var x268 >= -1.0e8, <= 1.0e8;
var x269 >= -1.0e8, <= 1.0e8;
var x270 >= -1.0e8, <= 1.0e8;
var x271 >= -1.0e8, <= 1.0e8;
var x272 >= -1.0e8, <= 1.0e8;
var x273 >= -1.0e8, <= 1.0e8;
var x274 >= -1.0e8, <= 1.0e8;
var x275 >= -1.0e8, <= 1.0e8;
var x276 >= -1.0e8, <= 1.0e8;
var x277 >= -1.0e8, <= 1.0e8;
var x278 >= -1.0e8, <= 1.0e8;
var x279 >= -1.0e8, <= 1.0e8;
var x280 >= -1.0e8, <= 1.0e8;
var x281 >= -1.0e8, <= 1.0e8;
var x282 >= -1.0e8, <= 1.0e8;
var x283 >= -1.0e8, <= 1.0e8;
var x284 >= -1.0e8, <= 1.0e8;
var x285 >= -1.0e8, <= 1.0e8;
var x286 >= -1.0e8, <= 1.0e8;
var x287 >= -1.0e8, <= 1.0e8;
var x288 >= -1.0e8, <= 1.0e8;
var x289 >= -1.0e8, <= 1.0e8;
var x290 >= -1.0e8, <= 1.0e8;
var x291 >= -1.0e8, <= 1.0e8;
var x292 >= -1.0e8, <= 1.0e8;
var x293 >= -1.0e8, <= 1.0e8;
var x294 >= -1.0e8, <= 1.0e8;
var x295 >= -1.0e8, <= 1.0e8;
var x296 >= -1.0e8, <= 1.0e8;
var x297 >= -1.0e8, <= 1.0e8;
var x298 >= -1.0e8, <= 1.0e8;
var x299 >= -1.0e8, <= 1.0e8;
var x300 >= -1.0e8, <= 1.0e8;
var x301 >= -1.0e8, <= 1.0e8;
var x302 >= -1.0e8, <= 1.0e8;
var x303 >= -1.0e8, <= 1.0e8;
var x304 >= -1.0e8, <= 1.0e8;
var x305 >= -1.0e8, <= 1.0e8;
var x306 >= -1.0e8, <= 1.0e8;
var x307 >= -1.0e8, <= 1.0e8;
var x308 >= -1.0e8, <= 1.0e8;
var x309 >= -1.0e8, <= 1.0e8;
var x310 >= -1.0e8, <= 1.0e8;
var x311 >= -1.0e8, <= 1.0e8;
var x312 >= -1.0e8, <= 1.0e8;
var x313 >= -1.0e8, <= 1.0e8;
var x314 >= -1.0e8, <= 1.0e8;
var x315 >= -1.0e8, <= 1.0e8;
var x316 >= -1.0e8, <= 1.0e8;
var x317 >= -1.0e8, <= 1.0e8;
var x318 >= -1.0e8, <= 1.0e8;
var x319 >= -1.0e8, <= 1.0e8;
var x320 >= -1.0e8, <= 1.0e8;

subject to


cons1 : x1*(2+5*x1^2) + 1 - (x1*(1+x1) + x2*(1+x2)) = 0;
cons2 : x2*(2+5*x2^2) + 1 - (x1*(1+x1) + x3*(1+x3)) = 0;
cons3 : x3*(2+5*x3^2) + 1 - (x1*(1+x1) + x2*(1+x2) + x4*(1+x4)) = 0;
cons4 : x4*(2+5*x4^2) + 1 - (x1*(1+x1) + x2*(1+x2) + x3*(1+x3) + x5*(1+x5)) = 0;
cons5 : x5*(2+5*x5^2) + 1 - (x1*(1+x1) + x2*(1+x2) + x3*(1+x3) + x4*(1+x4) + x6*(1+x6)) = 0;
cons6 : x6*(2+5*x6^2) + 1 - (x1*(1+x1) + x2*(1+x2) + x3*(1+x3) + x4*(1+x4) + x5*(1+x5) + x7*(1+x7)) = 0;
cons7 : x7*(2+5*x7^2) + 1 - (x2*(1+x2) + x3*(1+x3) + x4*(1+x4) + x5*(1+x5) + x6*(1+x6) + x8*(1+x8)) = 0;
cons8 : x8*(2+5*x8^2) + 1 - (x3*(1+x3) + x4*(1+x4) + x5*(1+x5) + x6*(1+x6) + x7*(1+x7) + x9*(1+x9)) = 0;
cons9 : x9*(2+5*x9^2) + 1 - (x4*(1+x4) + x5*(1+x5) + x6*(1+x6) + x7*(1+x7) + x8*(1+x8) + x10*(1+x10)) = 0;
cons10 : x10*(2+5*x10^2) + 1 - (x5*(1+x5) + x6*(1+x6) + x7*(1+x7) + x8*(1+x8) + x9*(1+x9) + x11*(1+x11)) = 0;
cons11 : x11*(2+5*x11^2) + 1 - (x6*(1+x6) + x7*(1+x7) + x8*(1+x8) + x9*(1+x9) + x10*(1+x10) + x12*(1+x12)) = 0;
cons12 : x12*(2+5*x12^2) + 1 - (x7*(1+x7) + x8*(1+x8) + x9*(1+x9) + x10*(1+x10) + x11*(1+x11) + x13*(1+x13)) = 0;
cons13 : x13*(2+5*x13^2) + 1 - (x8*(1+x8) + x9*(1+x9) + x10*(1+x10) + x11*(1+x11) + x12*(1+x12) + x14*(1+x14)) = 0;
cons14 : x14*(2+5*x14^2) + 1 - (x9*(1+x9) + x10*(1+x10) + x11*(1+x11) + x12*(1+x12) + x13*(1+x13) + x15*(1+x15)) = 0;
cons15 : x15*(2+5*x15^2) + 1 - (x10*(1+x10) + x11*(1+x11) + x12*(1+x12) + x13*(1+x13) + x14*(1+x14) + x16*(1+x16)) = 0;
cons16 : x16*(2+5*x16^2) + 1 - (x11*(1+x11) + x12*(1+x12) + x13*(1+x13) + x14*(1+x14) + x15*(1+x15) + x17*(1+x17)) = 0;
cons17 : x17*(2+5*x17^2) + 1 - (x12*(1+x12) + x13*(1+x13) + x14*(1+x14) + x15*(1+x15) + x16*(1+x16) + x18*(1+x18)) = 0;
cons18 : x18*(2+5*x18^2) + 1 - (x13*(1+x13) + x14*(1+x14) + x15*(1+x15) + x16*(1+x16) + x17*(1+x17) + x19*(1+x19)) = 0;
cons19 : x19*(2+5*x19^2) + 1 - (x14*(1+x14) + x15*(1+x15) + x16*(1+x16) + x17*(1+x17) + x18*(1+x18) + x20*(1+x20)) = 0;
cons20 : x20*(2+5*x20^2) + 1 - (x15*(1+x15) + x16*(1+x16) + x17*(1+x17) + x18*(1+x18) + x19*(1+x19) + x21*(1+x21)) = 0;
cons21 : x21*(2+5*x21^2) + 1 - (x16*(1+x16) + x17*(1+x17) + x18*(1+x18) + x19*(1+x19) + x20*(1+x20) + x22*(1+x22)) = 0;
cons22 : x22*(2+5*x22^2) + 1 - (x17*(1+x17) + x18*(1+x18) + x19*(1+x19) + x20*(1+x20) + x21*(1+x21) + x23*(1+x23)) = 0;
cons23 : x23*(2+5*x23^2) + 1 - (x18*(1+x18) + x19*(1+x19) + x20*(1+x20) + x21*(1+x21) + x22*(1+x22) + x24*(1+x24)) = 0;
cons24 : x24*(2+5*x24^2) + 1 - (x19*(1+x19) + x20*(1+x20) + x21*(1+x21) + x22*(1+x22) + x23*(1+x23) + x25*(1+x25)) = 0;
cons25 : x25*(2+5*x25^2) + 1 - (x20*(1+x20) + x21*(1+x21) + x22*(1+x22) + x23*(1+x23) + x24*(1+x24) + x26*(1+x26)) = 0;
cons26 : x26*(2+5*x26^2) + 1 - (x21*(1+x21) + x22*(1+x22) + x23*(1+x23) + x24*(1+x24) + x25*(1+x25) + x27*(1+x27)) = 0;
cons27 : x27*(2+5*x27^2) + 1 - (x22*(1+x22) + x23*(1+x23) + x24*(1+x24) + x25*(1+x25) + x26*(1+x26) + x28*(1+x28)) = 0;
cons28 : x28*(2+5*x28^2) + 1 - (x23*(1+x23) + x24*(1+x24) + x25*(1+x25) + x26*(1+x26) + x27*(1+x27) + x29*(1+x29)) = 0;
cons29 : x29*(2+5*x29^2) + 1 - (x24*(1+x24) + x25*(1+x25) + x26*(1+x26) + x27*(1+x27) + x28*(1+x28) + x30*(1+x30)) = 0;
cons30 : x30*(2+5*x30^2) + 1 - (x25*(1+x25) + x26*(1+x26) + x27*(1+x27) + x28*(1+x28) + x29*(1+x29) + x31*(1+x31)) = 0;
cons31 : x31*(2+5*x31^2) + 1 - (x26*(1+x26) + x27*(1+x27) + x28*(1+x28) + x29*(1+x29) + x30*(1+x30) + x32*(1+x32)) = 0;
cons32 : x32*(2+5*x32^2) + 1 - (x27*(1+x27) + x28*(1+x28) + x29*(1+x29) + x30*(1+x30) + x31*(1+x31) + x33*(1+x33)) = 0;
cons33 : x33*(2+5*x33^2) + 1 - (x28*(1+x28) + x29*(1+x29) + x30*(1+x30) + x31*(1+x31) + x32*(1+x32) + x34*(1+x34)) = 0;
cons34 : x34*(2+5*x34^2) + 1 - (x29*(1+x29) + x30*(1+x30) + x31*(1+x31) + x32*(1+x32) + x33*(1+x33) + x35*(1+x35)) = 0;
cons35 : x35*(2+5*x35^2) + 1 - (x30*(1+x30) + x31*(1+x31) + x32*(1+x32) + x33*(1+x33) + x34*(1+x34) + x36*(1+x36)) = 0;
cons36 : x36*(2+5*x36^2) + 1 - (x31*(1+x31) + x32*(1+x32) + x33*(1+x33) + x34*(1+x34) + x35*(1+x35) + x37*(1+x37)) = 0;
cons37 : x37*(2+5*x37^2) + 1 - (x32*(1+x32) + x33*(1+x33) + x34*(1+x34) + x35*(1+x35) + x36*(1+x36) + x38*(1+x38)) = 0;
cons38 : x38*(2+5*x38^2) + 1 - (x33*(1+x33) + x34*(1+x34) + x35*(1+x35) + x36*(1+x36) + x37*(1+x37) + x39*(1+x39)) = 0;
cons39 : x39*(2+5*x39^2) + 1 - (x34*(1+x34) + x35*(1+x35) + x36*(1+x36) + x37*(1+x37) + x38*(1+x38) + x40*(1+x40)) = 0;
cons40 : x40*(2+5*x40^2) + 1 - (x35*(1+x35) + x36*(1+x36) + x37*(1+x37) + x38*(1+x38) + x39*(1+x39) + x41*(1+x41)) = 0;
cons41 : x41*(2+5*x41^2) + 1 - (x36*(1+x36) + x37*(1+x37) + x38*(1+x38) + x39*(1+x39) + x40*(1+x40) + x42*(1+x42)) = 0;
cons42 : x42*(2+5*x42^2) + 1 - (x37*(1+x37) + x38*(1+x38) + x39*(1+x39) + x40*(1+x40) + x41*(1+x41) + x43*(1+x43)) = 0;
cons43 : x43*(2+5*x43^2) + 1 - (x38*(1+x38) + x39*(1+x39) + x40*(1+x40) + x41*(1+x41) + x42*(1+x42) + x44*(1+x44)) = 0;
cons44 : x44*(2+5*x44^2) + 1 - (x39*(1+x39) + x40*(1+x40) + x41*(1+x41) + x42*(1+x42) + x43*(1+x43) + x45*(1+x45)) = 0;
cons45 : x45*(2+5*x45^2) + 1 - (x40*(1+x40) + x41*(1+x41) + x42*(1+x42) + x43*(1+x43) + x44*(1+x44) + x46*(1+x46)) = 0;
cons46 : x46*(2+5*x46^2) + 1 - (x41*(1+x41) + x42*(1+x42) + x43*(1+x43) + x44*(1+x44) + x45*(1+x45) + x47*(1+x47)) = 0;
cons47 : x47*(2+5*x47^2) + 1 - (x42*(1+x42) + x43*(1+x43) + x44*(1+x44) + x45*(1+x45) + x46*(1+x46) + x48*(1+x48)) = 0;
cons48 : x48*(2+5*x48^2) + 1 - (x43*(1+x43) + x44*(1+x44) + x45*(1+x45) + x46*(1+x46) + x47*(1+x47) + x49*(1+x49)) = 0;
cons49 : x49*(2+5*x49^2) + 1 - (x44*(1+x44) + x45*(1+x45) + x46*(1+x46) + x47*(1+x47) + x48*(1+x48) + x50*(1+x50)) = 0;
cons50 : x50*(2+5*x50^2) + 1 - (x45*(1+x45) + x46*(1+x46) + x47*(1+x47) + x48*(1+x48) + x49*(1+x49) + x51*(1+x51)) = 0;
cons51 : x51*(2+5*x51^2) + 1 - (x46*(1+x46) + x47*(1+x47) + x48*(1+x48) + x49*(1+x49) + x50*(1+x50) + x52*(1+x52)) = 0;
cons52 : x52*(2+5*x52^2) + 1 - (x47*(1+x47) + x48*(1+x48) + x49*(1+x49) + x50*(1+x50) + x51*(1+x51) + x53*(1+x53)) = 0;
cons53 : x53*(2+5*x53^2) + 1 - (x48*(1+x48) + x49*(1+x49) + x50*(1+x50) + x51*(1+x51) + x52*(1+x52) + x54*(1+x54)) = 0;
cons54 : x54*(2+5*x54^2) + 1 - (x49*(1+x49) + x50*(1+x50) + x51*(1+x51) + x52*(1+x52) + x53*(1+x53) + x55*(1+x55)) = 0;
cons55 : x55*(2+5*x55^2) + 1 - (x50*(1+x50) + x51*(1+x51) + x52*(1+x52) + x53*(1+x53) + x54*(1+x54) + x56*(1+x56)) = 0;
cons56 : x56*(2+5*x56^2) + 1 - (x51*(1+x51) + x52*(1+x52) + x53*(1+x53) + x54*(1+x54) + x55*(1+x55) + x57*(1+x57)) = 0;
cons57 : x57*(2+5*x57^2) + 1 - (x52*(1+x52) + x53*(1+x53) + x54*(1+x54) + x55*(1+x55) + x56*(1+x56) + x58*(1+x58)) = 0;
cons58 : x58*(2+5*x58^2) + 1 - (x53*(1+x53) + x54*(1+x54) + x55*(1+x55) + x56*(1+x56) + x57*(1+x57) + x59*(1+x59)) = 0;
cons59 : x59*(2+5*x59^2) + 1 - (x54*(1+x54) + x55*(1+x55) + x56*(1+x56) + x57*(1+x57) + x58*(1+x58) + x60*(1+x60)) = 0;
cons60 : x60*(2+5*x60^2) + 1 - (x55*(1+x55) + x56*(1+x56) + x57*(1+x57) + x58*(1+x58) + x59*(1+x59) + x61*(1+x61)) = 0;
cons61 : x61*(2+5*x61^2) + 1 - (x56*(1+x56) + x57*(1+x57) + x58*(1+x58) + x59*(1+x59) + x60*(1+x60) + x62*(1+x62)) = 0;
cons62 : x62*(2+5*x62^2) + 1 - (x57*(1+x57) + x58*(1+x58) + x59*(1+x59) + x60*(1+x60) + x61*(1+x61) + x63*(1+x63)) = 0;
cons63 : x63*(2+5*x63^2) + 1 - (x58*(1+x58) + x59*(1+x59) + x60*(1+x60) + x61*(1+x61) + x62*(1+x62) + x64*(1+x64)) = 0;
cons64 : x64*(2+5*x64^2) + 1 - (x59*(1+x59) + x60*(1+x60) + x61*(1+x61) + x62*(1+x62) + x63*(1+x63) + x65*(1+x65)) = 0;
cons65 : x65*(2+5*x65^2) + 1 - (x60*(1+x60) + x61*(1+x61) + x62*(1+x62) + x63*(1+x63) + x64*(1+x64) + x66*(1+x66)) = 0;
cons66 : x66*(2+5*x66^2) + 1 - (x61*(1+x61) + x62*(1+x62) + x63*(1+x63) + x64*(1+x64) + x65*(1+x65) + x67*(1+x67)) = 0;
cons67 : x67*(2+5*x67^2) + 1 - (x62*(1+x62) + x63*(1+x63) + x64*(1+x64) + x65*(1+x65) + x66*(1+x66) + x68*(1+x68)) = 0;
cons68 : x68*(2+5*x68^2) + 1 - (x63*(1+x63) + x64*(1+x64) + x65*(1+x65) + x66*(1+x66) + x67*(1+x67) + x69*(1+x69)) = 0;
cons69 : x69*(2+5*x69^2) + 1 - (x64*(1+x64) + x65*(1+x65) + x66*(1+x66) + x67*(1+x67) + x68*(1+x68) + x70*(1+x70)) = 0;
cons70 : x70*(2+5*x70^2) + 1 - (x65*(1+x65) + x66*(1+x66) + x67*(1+x67) + x68*(1+x68) + x69*(1+x69) + x71*(1+x71)) = 0;
cons71 : x71*(2+5*x71^2) + 1 - (x66*(1+x66) + x67*(1+x67) + x68*(1+x68) + x69*(1+x69) + x70*(1+x70) + x72*(1+x72)) = 0;
cons72 : x72*(2+5*x72^2) + 1 - (x67*(1+x67) + x68*(1+x68) + x69*(1+x69) + x70*(1+x70) + x71*(1+x71) + x73*(1+x73)) = 0;
cons73 : x73*(2+5*x73^2) + 1 - (x68*(1+x68) + x69*(1+x69) + x70*(1+x70) + x71*(1+x71) + x72*(1+x72) + x74*(1+x74)) = 0;
cons74 : x74*(2+5*x74^2) + 1 - (x69*(1+x69) + x70*(1+x70) + x71*(1+x71) + x72*(1+x72) + x73*(1+x73) + x75*(1+x75)) = 0;
cons75 : x75*(2+5*x75^2) + 1 - (x70*(1+x70) + x71*(1+x71) + x72*(1+x72) + x73*(1+x73) + x74*(1+x74) + x76*(1+x76)) = 0;
cons76 : x76*(2+5*x76^2) + 1 - (x71*(1+x71) + x72*(1+x72) + x73*(1+x73) + x74*(1+x74) + x75*(1+x75) + x77*(1+x77)) = 0;
cons77 : x77*(2+5*x77^2) + 1 - (x72*(1+x72) + x73*(1+x73) + x74*(1+x74) + x75*(1+x75) + x76*(1+x76) + x78*(1+x78)) = 0;
cons78 : x78*(2+5*x78^2) + 1 - (x73*(1+x73) + x74*(1+x74) + x75*(1+x75) + x76*(1+x76) + x77*(1+x77) + x79*(1+x79)) = 0;
cons79 : x79*(2+5*x79^2) + 1 - (x74*(1+x74) + x75*(1+x75) + x76*(1+x76) + x77*(1+x77) + x78*(1+x78) + x80*(1+x80)) = 0;
cons80 : x80*(2+5*x80^2) + 1 - (x75*(1+x75) + x76*(1+x76) + x77*(1+x77) + x78*(1+x78) + x79*(1+x79) + x81*(1+x81)) = 0;
cons81 : x81*(2+5*x81^2) + 1 - (x76*(1+x76) + x77*(1+x77) + x78*(1+x78) + x79*(1+x79) + x80*(1+x80) + x82*(1+x82)) = 0;
cons82 : x82*(2+5*x82^2) + 1 - (x77*(1+x77) + x78*(1+x78) + x79*(1+x79) + x80*(1+x80) + x81*(1+x81) + x83*(1+x83)) = 0;
cons83 : x83*(2+5*x83^2) + 1 - (x78*(1+x78) + x79*(1+x79) + x80*(1+x80) + x81*(1+x81) + x82*(1+x82) + x84*(1+x84)) = 0;
cons84 : x84*(2+5*x84^2) + 1 - (x79*(1+x79) + x80*(1+x80) + x81*(1+x81) + x82*(1+x82) + x83*(1+x83) + x85*(1+x85)) = 0;
cons85 : x85*(2+5*x85^2) + 1 - (x80*(1+x80) + x81*(1+x81) + x82*(1+x82) + x83*(1+x83) + x84*(1+x84) + x86*(1+x86)) = 0;
cons86 : x86*(2+5*x86^2) + 1 - (x81*(1+x81) + x82*(1+x82) + x83*(1+x83) + x84*(1+x84) + x85*(1+x85) + x87*(1+x87)) = 0;
cons87 : x87*(2+5*x87^2) + 1 - (x82*(1+x82) + x83*(1+x83) + x84*(1+x84) + x85*(1+x85) + x86*(1+x86) + x88*(1+x88)) = 0;
cons88 : x88*(2+5*x88^2) + 1 - (x83*(1+x83) + x84*(1+x84) + x85*(1+x85) + x86*(1+x86) + x87*(1+x87) + x89*(1+x89)) = 0;
cons89 : x89*(2+5*x89^2) + 1 - (x84*(1+x84) + x85*(1+x85) + x86*(1+x86) + x87*(1+x87) + x88*(1+x88) + x90*(1+x90)) = 0;
cons90 : x90*(2+5*x90^2) + 1 - (x85*(1+x85) + x86*(1+x86) + x87*(1+x87) + x88*(1+x88) + x89*(1+x89) + x91*(1+x91)) = 0;
cons91 : x91*(2+5*x91^2) + 1 - (x86*(1+x86) + x87*(1+x87) + x88*(1+x88) + x89*(1+x89) + x90*(1+x90) + x92*(1+x92)) = 0;
cons92 : x92*(2+5*x92^2) + 1 - (x87*(1+x87) + x88*(1+x88) + x89*(1+x89) + x90*(1+x90) + x91*(1+x91) + x93*(1+x93)) = 0;
cons93 : x93*(2+5*x93^2) + 1 - (x88*(1+x88) + x89*(1+x89) + x90*(1+x90) + x91*(1+x91) + x92*(1+x92) + x94*(1+x94)) = 0;
cons94 : x94*(2+5*x94^2) + 1 - (x89*(1+x89) + x90*(1+x90) + x91*(1+x91) + x92*(1+x92) + x93*(1+x93) + x95*(1+x95)) = 0;
cons95 : x95*(2+5*x95^2) + 1 - (x90*(1+x90) + x91*(1+x91) + x92*(1+x92) + x93*(1+x93) + x94*(1+x94) + x96*(1+x96)) = 0;
cons96 : x96*(2+5*x96^2) + 1 - (x91*(1+x91) + x92*(1+x92) + x93*(1+x93) + x94*(1+x94) + x95*(1+x95) + x97*(1+x97)) = 0;
cons97 : x97*(2+5*x97^2) + 1 - (x92*(1+x92) + x93*(1+x93) + x94*(1+x94) + x95*(1+x95) + x96*(1+x96) + x98*(1+x98)) = 0;
cons98 : x98*(2+5*x98^2) + 1 - (x93*(1+x93) + x94*(1+x94) + x95*(1+x95) + x96*(1+x96) + x97*(1+x97) + x99*(1+x99)) = 0;
cons99 : x99*(2+5*x99^2) + 1 - (x94*(1+x94) + x95*(1+x95) + x96*(1+x96) + x97*(1+x97) + x98*(1+x98) + x100*(1+x100)) = 0;
cons100 : x100*(2+5*x100^2) + 1 - (x95*(1+x95) + x96*(1+x96) + x97*(1+x97) + x98*(1+x98) + x99*(1+x99) + x101*(1+x101)) = 0;
cons101 : x101*(2+5*x101^2) + 1 - (x96*(1+x96) + x97*(1+x97) + x98*(1+x98) + x99*(1+x99) + x100*(1+x100) + x102*(1+x102)) = 0;
cons102 : x102*(2+5*x102^2) + 1 - (x97*(1+x97) + x98*(1+x98) + x99*(1+x99) + x100*(1+x100) + x101*(1+x101) + x103*(1+x103)) = 0;
cons103 : x103*(2+5*x103^2) + 1 - (x98*(1+x98) + x99*(1+x99) + x100*(1+x100) + x101*(1+x101) + x102*(1+x102) + x104*(1+x104)) = 0;
cons104 : x104*(2+5*x104^2) + 1 - (x99*(1+x99) + x100*(1+x100) + x101*(1+x101) + x102*(1+x102) + x103*(1+x103) + x105*(1+x105)) = 0;
cons105 : x105*(2+5*x105^2) + 1 - (x100*(1+x100) + x101*(1+x101) + x102*(1+x102) + x103*(1+x103) + x104*(1+x104) + x106*(1+x106)) = 0;
cons106 : x106*(2+5*x106^2) + 1 - (x101*(1+x101) + x102*(1+x102) + x103*(1+x103) + x104*(1+x104) + x105*(1+x105) + x107*(1+x107)) = 0;
cons107 : x107*(2+5*x107^2) + 1 - (x102*(1+x102) + x103*(1+x103) + x104*(1+x104) + x105*(1+x105) + x106*(1+x106) + x108*(1+x108)) = 0;
cons108 : x108*(2+5*x108^2) + 1 - (x103*(1+x103) + x104*(1+x104) + x105*(1+x105) + x106*(1+x106) + x107*(1+x107) + x109*(1+x109)) = 0;
cons109 : x109*(2+5*x109^2) + 1 - (x104*(1+x104) + x105*(1+x105) + x106*(1+x106) + x107*(1+x107) + x108*(1+x108) + x110*(1+x110)) = 0;
cons110 : x110*(2+5*x110^2) + 1 - (x105*(1+x105) + x106*(1+x106) + x107*(1+x107) + x108*(1+x108) + x109*(1+x109) + x111*(1+x111)) = 0;
cons111 : x111*(2+5*x111^2) + 1 - (x106*(1+x106) + x107*(1+x107) + x108*(1+x108) + x109*(1+x109) + x110*(1+x110) + x112*(1+x112)) = 0;
cons112 : x112*(2+5*x112^2) + 1 - (x107*(1+x107) + x108*(1+x108) + x109*(1+x109) + x110*(1+x110) + x111*(1+x111) + x113*(1+x113)) = 0;
cons113 : x113*(2+5*x113^2) + 1 - (x108*(1+x108) + x109*(1+x109) + x110*(1+x110) + x111*(1+x111) + x112*(1+x112) + x114*(1+x114)) = 0;
cons114 : x114*(2+5*x114^2) + 1 - (x109*(1+x109) + x110*(1+x110) + x111*(1+x111) + x112*(1+x112) + x113*(1+x113) + x115*(1+x115)) = 0;
cons115 : x115*(2+5*x115^2) + 1 - (x110*(1+x110) + x111*(1+x111) + x112*(1+x112) + x113*(1+x113) + x114*(1+x114) + x116*(1+x116)) = 0;
cons116 : x116*(2+5*x116^2) + 1 - (x111*(1+x111) + x112*(1+x112) + x113*(1+x113) + x114*(1+x114) + x115*(1+x115) + x117*(1+x117)) = 0;
cons117 : x117*(2+5*x117^2) + 1 - (x112*(1+x112) + x113*(1+x113) + x114*(1+x114) + x115*(1+x115) + x116*(1+x116) + x118*(1+x118)) = 0;
cons118 : x118*(2+5*x118^2) + 1 - (x113*(1+x113) + x114*(1+x114) + x115*(1+x115) + x116*(1+x116) + x117*(1+x117) + x119*(1+x119)) = 0;
cons119 : x119*(2+5*x119^2) + 1 - (x114*(1+x114) + x115*(1+x115) + x116*(1+x116) + x117*(1+x117) + x118*(1+x118) + x120*(1+x120)) = 0;
cons120 : x120*(2+5*x120^2) + 1 - (x115*(1+x115) + x116*(1+x116) + x117*(1+x117) + x118*(1+x118) + x119*(1+x119) + x121*(1+x121)) = 0;
cons121 : x121*(2+5*x121^2) + 1 - (x116*(1+x116) + x117*(1+x117) + x118*(1+x118) + x119*(1+x119) + x120*(1+x120) + x122*(1+x122)) = 0;
cons122 : x122*(2+5*x122^2) + 1 - (x117*(1+x117) + x118*(1+x118) + x119*(1+x119) + x120*(1+x120) + x121*(1+x121) + x123*(1+x123)) = 0;
cons123 : x123*(2+5*x123^2) + 1 - (x118*(1+x118) + x119*(1+x119) + x120*(1+x120) + x121*(1+x121) + x122*(1+x122) + x124*(1+x124)) = 0;
cons124 : x124*(2+5*x124^2) + 1 - (x119*(1+x119) + x120*(1+x120) + x121*(1+x121) + x122*(1+x122) + x123*(1+x123) + x125*(1+x125)) = 0;
cons125 : x125*(2+5*x125^2) + 1 - (x120*(1+x120) + x121*(1+x121) + x122*(1+x122) + x123*(1+x123) + x124*(1+x124) + x126*(1+x126)) = 0;
cons126 : x126*(2+5*x126^2) + 1 - (x121*(1+x121) + x122*(1+x122) + x123*(1+x123) + x124*(1+x124) + x125*(1+x125) + x127*(1+x127)) = 0;
cons127 : x127*(2+5*x127^2) + 1 - (x122*(1+x122) + x123*(1+x123) + x124*(1+x124) + x125*(1+x125) + x126*(1+x126) + x128*(1+x128)) = 0;
cons128 : x128*(2+5*x128^2) + 1 - (x123*(1+x123) + x124*(1+x124) + x125*(1+x125) + x126*(1+x126) + x127*(1+x127) + x129*(1+x129)) = 0;
cons129 : x129*(2+5*x129^2) + 1 - (x124*(1+x124) + x125*(1+x125) + x126*(1+x126) + x127*(1+x127) + x128*(1+x128) + x130*(1+x130)) = 0;
cons130 : x130*(2+5*x130^2) + 1 - (x125*(1+x125) + x126*(1+x126) + x127*(1+x127) + x128*(1+x128) + x129*(1+x129) + x131*(1+x131)) = 0;
cons131 : x131*(2+5*x131^2) + 1 - (x126*(1+x126) + x127*(1+x127) + x128*(1+x128) + x129*(1+x129) + x130*(1+x130) + x132*(1+x132)) = 0;
cons132 : x132*(2+5*x132^2) + 1 - (x127*(1+x127) + x128*(1+x128) + x129*(1+x129) + x130*(1+x130) + x131*(1+x131) + x133*(1+x133)) = 0;
cons133 : x133*(2+5*x133^2) + 1 - (x128*(1+x128) + x129*(1+x129) + x130*(1+x130) + x131*(1+x131) + x132*(1+x132) + x134*(1+x134)) = 0;
cons134 : x134*(2+5*x134^2) + 1 - (x129*(1+x129) + x130*(1+x130) + x131*(1+x131) + x132*(1+x132) + x133*(1+x133) + x135*(1+x135)) = 0;
cons135 : x135*(2+5*x135^2) + 1 - (x130*(1+x130) + x131*(1+x131) + x132*(1+x132) + x133*(1+x133) + x134*(1+x134) + x136*(1+x136)) = 0;
cons136 : x136*(2+5*x136^2) + 1 - (x131*(1+x131) + x132*(1+x132) + x133*(1+x133) + x134*(1+x134) + x135*(1+x135) + x137*(1+x137)) = 0;
cons137 : x137*(2+5*x137^2) + 1 - (x132*(1+x132) + x133*(1+x133) + x134*(1+x134) + x135*(1+x135) + x136*(1+x136) + x138*(1+x138)) = 0;
cons138 : x138*(2+5*x138^2) + 1 - (x133*(1+x133) + x134*(1+x134) + x135*(1+x135) + x136*(1+x136) + x137*(1+x137) + x139*(1+x139)) = 0;
cons139 : x139*(2+5*x139^2) + 1 - (x134*(1+x134) + x135*(1+x135) + x136*(1+x136) + x137*(1+x137) + x138*(1+x138) + x140*(1+x140)) = 0;
cons140 : x140*(2+5*x140^2) + 1 - (x135*(1+x135) + x136*(1+x136) + x137*(1+x137) + x138*(1+x138) + x139*(1+x139) + x141*(1+x141)) = 0;
cons141 : x141*(2+5*x141^2) + 1 - (x136*(1+x136) + x137*(1+x137) + x138*(1+x138) + x139*(1+x139) + x140*(1+x140) + x142*(1+x142)) = 0;
cons142 : x142*(2+5*x142^2) + 1 - (x137*(1+x137) + x138*(1+x138) + x139*(1+x139) + x140*(1+x140) + x141*(1+x141) + x143*(1+x143)) = 0;
cons143 : x143*(2+5*x143^2) + 1 - (x138*(1+x138) + x139*(1+x139) + x140*(1+x140) + x141*(1+x141) + x142*(1+x142) + x144*(1+x144)) = 0;
cons144 : x144*(2+5*x144^2) + 1 - (x139*(1+x139) + x140*(1+x140) + x141*(1+x141) + x142*(1+x142) + x143*(1+x143) + x145*(1+x145)) = 0;
cons145 : x145*(2+5*x145^2) + 1 - (x140*(1+x140) + x141*(1+x141) + x142*(1+x142) + x143*(1+x143) + x144*(1+x144) + x146*(1+x146)) = 0;
cons146 : x146*(2+5*x146^2) + 1 - (x141*(1+x141) + x142*(1+x142) + x143*(1+x143) + x144*(1+x144) + x145*(1+x145) + x147*(1+x147)) = 0;
cons147 : x147*(2+5*x147^2) + 1 - (x142*(1+x142) + x143*(1+x143) + x144*(1+x144) + x145*(1+x145) + x146*(1+x146) + x148*(1+x148)) = 0;
cons148 : x148*(2+5*x148^2) + 1 - (x143*(1+x143) + x144*(1+x144) + x145*(1+x145) + x146*(1+x146) + x147*(1+x147) + x149*(1+x149)) = 0;
cons149 : x149*(2+5*x149^2) + 1 - (x144*(1+x144) + x145*(1+x145) + x146*(1+x146) + x147*(1+x147) + x148*(1+x148) + x150*(1+x150)) = 0;
cons150 : x150*(2+5*x150^2) + 1 - (x145*(1+x145) + x146*(1+x146) + x147*(1+x147) + x148*(1+x148) + x149*(1+x149) + x151*(1+x151)) = 0;
cons151 : x151*(2+5*x151^2) + 1 - (x146*(1+x146) + x147*(1+x147) + x148*(1+x148) + x149*(1+x149) + x150*(1+x150) + x152*(1+x152)) = 0;
cons152 : x152*(2+5*x152^2) + 1 - (x147*(1+x147) + x148*(1+x148) + x149*(1+x149) + x150*(1+x150) + x151*(1+x151) + x153*(1+x153)) = 0;
cons153 : x153*(2+5*x153^2) + 1 - (x148*(1+x148) + x149*(1+x149) + x150*(1+x150) + x151*(1+x151) + x152*(1+x152) + x154*(1+x154)) = 0;
cons154 : x154*(2+5*x154^2) + 1 - (x149*(1+x149) + x150*(1+x150) + x151*(1+x151) + x152*(1+x152) + x153*(1+x153) + x155*(1+x155)) = 0;
cons155 : x155*(2+5*x155^2) + 1 - (x150*(1+x150) + x151*(1+x151) + x152*(1+x152) + x153*(1+x153) + x154*(1+x154) + x156*(1+x156)) = 0;
cons156 : x156*(2+5*x156^2) + 1 - (x151*(1+x151) + x152*(1+x152) + x153*(1+x153) + x154*(1+x154) + x155*(1+x155) + x157*(1+x157)) = 0;
cons157 : x157*(2+5*x157^2) + 1 - (x152*(1+x152) + x153*(1+x153) + x154*(1+x154) + x155*(1+x155) + x156*(1+x156) + x158*(1+x158)) = 0;
cons158 : x158*(2+5*x158^2) + 1 - (x153*(1+x153) + x154*(1+x154) + x155*(1+x155) + x156*(1+x156) + x157*(1+x157) + x159*(1+x159)) = 0;
cons159 : x159*(2+5*x159^2) + 1 - (x154*(1+x154) + x155*(1+x155) + x156*(1+x156) + x157*(1+x157) + x158*(1+x158) + x160*(1+x160)) = 0;
cons160 : x160*(2+5*x160^2) + 1 - (x155*(1+x155) + x156*(1+x156) + x157*(1+x157) + x158*(1+x158) + x159*(1+x159) + x161*(1+x161)) = 0;
cons161 : x161*(2+5*x161^2) + 1 - (x156*(1+x156) + x157*(1+x157) + x158*(1+x158) + x159*(1+x159) + x160*(1+x160) + x162*(1+x162)) = 0;
cons162 : x162*(2+5*x162^2) + 1 - (x157*(1+x157) + x158*(1+x158) + x159*(1+x159) + x160*(1+x160) + x161*(1+x161) + x163*(1+x163)) = 0;
cons163 : x163*(2+5*x163^2) + 1 - (x158*(1+x158) + x159*(1+x159) + x160*(1+x160) + x161*(1+x161) + x162*(1+x162) + x164*(1+x164)) = 0;
cons164 : x164*(2+5*x164^2) + 1 - (x159*(1+x159) + x160*(1+x160) + x161*(1+x161) + x162*(1+x162) + x163*(1+x163) + x165*(1+x165)) = 0;
cons165 : x165*(2+5*x165^2) + 1 - (x160*(1+x160) + x161*(1+x161) + x162*(1+x162) + x163*(1+x163) + x164*(1+x164) + x166*(1+x166)) = 0;
cons166 : x166*(2+5*x166^2) + 1 - (x161*(1+x161) + x162*(1+x162) + x163*(1+x163) + x164*(1+x164) + x165*(1+x165) + x167*(1+x167)) = 0;
cons167 : x167*(2+5*x167^2) + 1 - (x162*(1+x162) + x163*(1+x163) + x164*(1+x164) + x165*(1+x165) + x166*(1+x166) + x168*(1+x168)) = 0;
cons168 : x168*(2+5*x168^2) + 1 - (x163*(1+x163) + x164*(1+x164) + x165*(1+x165) + x166*(1+x166) + x167*(1+x167) + x169*(1+x169)) = 0;
cons169 : x169*(2+5*x169^2) + 1 - (x164*(1+x164) + x165*(1+x165) + x166*(1+x166) + x167*(1+x167) + x168*(1+x168) + x170*(1+x170)) = 0;
cons170 : x170*(2+5*x170^2) + 1 - (x165*(1+x165) + x166*(1+x166) + x167*(1+x167) + x168*(1+x168) + x169*(1+x169) + x171*(1+x171)) = 0;
cons171 : x171*(2+5*x171^2) + 1 - (x166*(1+x166) + x167*(1+x167) + x168*(1+x168) + x169*(1+x169) + x170*(1+x170) + x172*(1+x172)) = 0;
cons172 : x172*(2+5*x172^2) + 1 - (x167*(1+x167) + x168*(1+x168) + x169*(1+x169) + x170*(1+x170) + x171*(1+x171) + x173*(1+x173)) = 0;
cons173 : x173*(2+5*x173^2) + 1 - (x168*(1+x168) + x169*(1+x169) + x170*(1+x170) + x171*(1+x171) + x172*(1+x172) + x174*(1+x174)) = 0;
cons174 : x174*(2+5*x174^2) + 1 - (x169*(1+x169) + x170*(1+x170) + x171*(1+x171) + x172*(1+x172) + x173*(1+x173) + x175*(1+x175)) = 0;
cons175 : x175*(2+5*x175^2) + 1 - (x170*(1+x170) + x171*(1+x171) + x172*(1+x172) + x173*(1+x173) + x174*(1+x174) + x176*(1+x176)) = 0;
cons176 : x176*(2+5*x176^2) + 1 - (x171*(1+x171) + x172*(1+x172) + x173*(1+x173) + x174*(1+x174) + x175*(1+x175) + x177*(1+x177)) = 0;
cons177 : x177*(2+5*x177^2) + 1 - (x172*(1+x172) + x173*(1+x173) + x174*(1+x174) + x175*(1+x175) + x176*(1+x176) + x178*(1+x178)) = 0;
cons178 : x178*(2+5*x178^2) + 1 - (x173*(1+x173) + x174*(1+x174) + x175*(1+x175) + x176*(1+x176) + x177*(1+x177) + x179*(1+x179)) = 0;
cons179 : x179*(2+5*x179^2) + 1 - (x174*(1+x174) + x175*(1+x175) + x176*(1+x176) + x177*(1+x177) + x178*(1+x178) + x180*(1+x180)) = 0;
cons180 : x180*(2+5*x180^2) + 1 - (x175*(1+x175) + x176*(1+x176) + x177*(1+x177) + x178*(1+x178) + x179*(1+x179) + x181*(1+x181)) = 0;
cons181 : x181*(2+5*x181^2) + 1 - (x176*(1+x176) + x177*(1+x177) + x178*(1+x178) + x179*(1+x179) + x180*(1+x180) + x182*(1+x182)) = 0;
cons182 : x182*(2+5*x182^2) + 1 - (x177*(1+x177) + x178*(1+x178) + x179*(1+x179) + x180*(1+x180) + x181*(1+x181) + x183*(1+x183)) = 0;
cons183 : x183*(2+5*x183^2) + 1 - (x178*(1+x178) + x179*(1+x179) + x180*(1+x180) + x181*(1+x181) + x182*(1+x182) + x184*(1+x184)) = 0;
cons184 : x184*(2+5*x184^2) + 1 - (x179*(1+x179) + x180*(1+x180) + x181*(1+x181) + x182*(1+x182) + x183*(1+x183) + x185*(1+x185)) = 0;
cons185 : x185*(2+5*x185^2) + 1 - (x180*(1+x180) + x181*(1+x181) + x182*(1+x182) + x183*(1+x183) + x184*(1+x184) + x186*(1+x186)) = 0;
cons186 : x186*(2+5*x186^2) + 1 - (x181*(1+x181) + x182*(1+x182) + x183*(1+x183) + x184*(1+x184) + x185*(1+x185) + x187*(1+x187)) = 0;
cons187 : x187*(2+5*x187^2) + 1 - (x182*(1+x182) + x183*(1+x183) + x184*(1+x184) + x185*(1+x185) + x186*(1+x186) + x188*(1+x188)) = 0;
cons188 : x188*(2+5*x188^2) + 1 - (x183*(1+x183) + x184*(1+x184) + x185*(1+x185) + x186*(1+x186) + x187*(1+x187) + x189*(1+x189)) = 0;
cons189 : x189*(2+5*x189^2) + 1 - (x184*(1+x184) + x185*(1+x185) + x186*(1+x186) + x187*(1+x187) + x188*(1+x188) + x190*(1+x190)) = 0;
cons190 : x190*(2+5*x190^2) + 1 - (x185*(1+x185) + x186*(1+x186) + x187*(1+x187) + x188*(1+x188) + x189*(1+x189) + x191*(1+x191)) = 0;
cons191 : x191*(2+5*x191^2) + 1 - (x186*(1+x186) + x187*(1+x187) + x188*(1+x188) + x189*(1+x189) + x190*(1+x190) + x192*(1+x192)) = 0;
cons192 : x192*(2+5*x192^2) + 1 - (x187*(1+x187) + x188*(1+x188) + x189*(1+x189) + x190*(1+x190) + x191*(1+x191) + x193*(1+x193)) = 0;
cons193 : x193*(2+5*x193^2) + 1 - (x188*(1+x188) + x189*(1+x189) + x190*(1+x190) + x191*(1+x191) + x192*(1+x192) + x194*(1+x194)) = 0;
cons194 : x194*(2+5*x194^2) + 1 - (x189*(1+x189) + x190*(1+x190) + x191*(1+x191) + x192*(1+x192) + x193*(1+x193) + x195*(1+x195)) = 0;
cons195 : x195*(2+5*x195^2) + 1 - (x190*(1+x190) + x191*(1+x191) + x192*(1+x192) + x193*(1+x193) + x194*(1+x194) + x196*(1+x196)) = 0;
cons196 : x196*(2+5*x196^2) + 1 - (x191*(1+x191) + x192*(1+x192) + x193*(1+x193) + x194*(1+x194) + x195*(1+x195) + x197*(1+x197)) = 0;
cons197 : x197*(2+5*x197^2) + 1 - (x192*(1+x192) + x193*(1+x193) + x194*(1+x194) + x195*(1+x195) + x196*(1+x196) + x198*(1+x198)) = 0;
cons198 : x198*(2+5*x198^2) + 1 - (x193*(1+x193) + x194*(1+x194) + x195*(1+x195) + x196*(1+x196) + x197*(1+x197) + x199*(1+x199)) = 0;
cons199 : x199*(2+5*x199^2) + 1 - (x194*(1+x194) + x195*(1+x195) + x196*(1+x196) + x197*(1+x197) + x198*(1+x198) + x200*(1+x200)) = 0;
cons200 : x200*(2+5*x200^2) + 1 - (x195*(1+x195) + x196*(1+x196) + x197*(1+x197) + x198*(1+x198) + x199*(1+x199) + x201*(1+x201)) = 0;
cons201 : x201*(2+5*x201^2) + 1 - (x196*(1+x196) + x197*(1+x197) + x198*(1+x198) + x199*(1+x199) + x200*(1+x200) + x202*(1+x202)) = 0;
cons202 : x202*(2+5*x202^2) + 1 - (x197*(1+x197) + x198*(1+x198) + x199*(1+x199) + x200*(1+x200) + x201*(1+x201) + x203*(1+x203)) = 0;
cons203 : x203*(2+5*x203^2) + 1 - (x198*(1+x198) + x199*(1+x199) + x200*(1+x200) + x201*(1+x201) + x202*(1+x202) + x204*(1+x204)) = 0;
cons204 : x204*(2+5*x204^2) + 1 - (x199*(1+x199) + x200*(1+x200) + x201*(1+x201) + x202*(1+x202) + x203*(1+x203) + x205*(1+x205)) = 0;
cons205 : x205*(2+5*x205^2) + 1 - (x200*(1+x200) + x201*(1+x201) + x202*(1+x202) + x203*(1+x203) + x204*(1+x204) + x206*(1+x206)) = 0;
cons206 : x206*(2+5*x206^2) + 1 - (x201*(1+x201) + x202*(1+x202) + x203*(1+x203) + x204*(1+x204) + x205*(1+x205) + x207*(1+x207)) = 0;
cons207 : x207*(2+5*x207^2) + 1 - (x202*(1+x202) + x203*(1+x203) + x204*(1+x204) + x205*(1+x205) + x206*(1+x206) + x208*(1+x208)) = 0;
cons208 : x208*(2+5*x208^2) + 1 - (x203*(1+x203) + x204*(1+x204) + x205*(1+x205) + x206*(1+x206) + x207*(1+x207) + x209*(1+x209)) = 0;
cons209 : x209*(2+5*x209^2) + 1 - (x204*(1+x204) + x205*(1+x205) + x206*(1+x206) + x207*(1+x207) + x208*(1+x208) + x210*(1+x210)) = 0;
cons210 : x210*(2+5*x210^2) + 1 - (x205*(1+x205) + x206*(1+x206) + x207*(1+x207) + x208*(1+x208) + x209*(1+x209) + x211*(1+x211)) = 0;
cons211 : x211*(2+5*x211^2) + 1 - (x206*(1+x206) + x207*(1+x207) + x208*(1+x208) + x209*(1+x209) + x210*(1+x210) + x212*(1+x212)) = 0;
cons212 : x212*(2+5*x212^2) + 1 - (x207*(1+x207) + x208*(1+x208) + x209*(1+x209) + x210*(1+x210) + x211*(1+x211) + x213*(1+x213)) = 0;
cons213 : x213*(2+5*x213^2) + 1 - (x208*(1+x208) + x209*(1+x209) + x210*(1+x210) + x211*(1+x211) + x212*(1+x212) + x214*(1+x214)) = 0;
cons214 : x214*(2+5*x214^2) + 1 - (x209*(1+x209) + x210*(1+x210) + x211*(1+x211) + x212*(1+x212) + x213*(1+x213) + x215*(1+x215)) = 0;
cons215 : x215*(2+5*x215^2) + 1 - (x210*(1+x210) + x211*(1+x211) + x212*(1+x212) + x213*(1+x213) + x214*(1+x214) + x216*(1+x216)) = 0;
cons216 : x216*(2+5*x216^2) + 1 - (x211*(1+x211) + x212*(1+x212) + x213*(1+x213) + x214*(1+x214) + x215*(1+x215) + x217*(1+x217)) = 0;
cons217 : x217*(2+5*x217^2) + 1 - (x212*(1+x212) + x213*(1+x213) + x214*(1+x214) + x215*(1+x215) + x216*(1+x216) + x218*(1+x218)) = 0;
cons218 : x218*(2+5*x218^2) + 1 - (x213*(1+x213) + x214*(1+x214) + x215*(1+x215) + x216*(1+x216) + x217*(1+x217) + x219*(1+x219)) = 0;
cons219 : x219*(2+5*x219^2) + 1 - (x214*(1+x214) + x215*(1+x215) + x216*(1+x216) + x217*(1+x217) + x218*(1+x218) + x220*(1+x220)) = 0;
cons220 : x220*(2+5*x220^2) + 1 - (x215*(1+x215) + x216*(1+x216) + x217*(1+x217) + x218*(1+x218) + x219*(1+x219) + x221*(1+x221)) = 0;
cons221 : x221*(2+5*x221^2) + 1 - (x216*(1+x216) + x217*(1+x217) + x218*(1+x218) + x219*(1+x219) + x220*(1+x220) + x222*(1+x222)) = 0;
cons222 : x222*(2+5*x222^2) + 1 - (x217*(1+x217) + x218*(1+x218) + x219*(1+x219) + x220*(1+x220) + x221*(1+x221) + x223*(1+x223)) = 0;
cons223 : x223*(2+5*x223^2) + 1 - (x218*(1+x218) + x219*(1+x219) + x220*(1+x220) + x221*(1+x221) + x222*(1+x222) + x224*(1+x224)) = 0;
cons224 : x224*(2+5*x224^2) + 1 - (x219*(1+x219) + x220*(1+x220) + x221*(1+x221) + x222*(1+x222) + x223*(1+x223) + x225*(1+x225)) = 0;
cons225 : x225*(2+5*x225^2) + 1 - (x220*(1+x220) + x221*(1+x221) + x222*(1+x222) + x223*(1+x223) + x224*(1+x224) + x226*(1+x226)) = 0;
cons226 : x226*(2+5*x226^2) + 1 - (x221*(1+x221) + x222*(1+x222) + x223*(1+x223) + x224*(1+x224) + x225*(1+x225) + x227*(1+x227)) = 0;
cons227 : x227*(2+5*x227^2) + 1 - (x222*(1+x222) + x223*(1+x223) + x224*(1+x224) + x225*(1+x225) + x226*(1+x226) + x228*(1+x228)) = 0;
cons228 : x228*(2+5*x228^2) + 1 - (x223*(1+x223) + x224*(1+x224) + x225*(1+x225) + x226*(1+x226) + x227*(1+x227) + x229*(1+x229)) = 0;
cons229 : x229*(2+5*x229^2) + 1 - (x224*(1+x224) + x225*(1+x225) + x226*(1+x226) + x227*(1+x227) + x228*(1+x228) + x230*(1+x230)) = 0;
cons230 : x230*(2+5*x230^2) + 1 - (x225*(1+x225) + x226*(1+x226) + x227*(1+x227) + x228*(1+x228) + x229*(1+x229) + x231*(1+x231)) = 0;
cons231 : x231*(2+5*x231^2) + 1 - (x226*(1+x226) + x227*(1+x227) + x228*(1+x228) + x229*(1+x229) + x230*(1+x230) + x232*(1+x232)) = 0;
cons232 : x232*(2+5*x232^2) + 1 - (x227*(1+x227) + x228*(1+x228) + x229*(1+x229) + x230*(1+x230) + x231*(1+x231) + x233*(1+x233)) = 0;
cons233 : x233*(2+5*x233^2) + 1 - (x228*(1+x228) + x229*(1+x229) + x230*(1+x230) + x231*(1+x231) + x232*(1+x232) + x234*(1+x234)) = 0;
cons234 : x234*(2+5*x234^2) + 1 - (x229*(1+x229) + x230*(1+x230) + x231*(1+x231) + x232*(1+x232) + x233*(1+x233) + x235*(1+x235)) = 0;
cons235 : x235*(2+5*x235^2) + 1 - (x230*(1+x230) + x231*(1+x231) + x232*(1+x232) + x233*(1+x233) + x234*(1+x234) + x236*(1+x236)) = 0;
cons236 : x236*(2+5*x236^2) + 1 - (x231*(1+x231) + x232*(1+x232) + x233*(1+x233) + x234*(1+x234) + x235*(1+x235) + x237*(1+x237)) = 0;
cons237 : x237*(2+5*x237^2) + 1 - (x232*(1+x232) + x233*(1+x233) + x234*(1+x234) + x235*(1+x235) + x236*(1+x236) + x238*(1+x238)) = 0;
cons238 : x238*(2+5*x238^2) + 1 - (x233*(1+x233) + x234*(1+x234) + x235*(1+x235) + x236*(1+x236) + x237*(1+x237) + x239*(1+x239)) = 0;
cons239 : x239*(2+5*x239^2) + 1 - (x234*(1+x234) + x235*(1+x235) + x236*(1+x236) + x237*(1+x237) + x238*(1+x238) + x240*(1+x240)) = 0;
cons240 : x240*(2+5*x240^2) + 1 - (x235*(1+x235) + x236*(1+x236) + x237*(1+x237) + x238*(1+x238) + x239*(1+x239) + x241*(1+x241)) = 0;
cons241 : x241*(2+5*x241^2) + 1 - (x236*(1+x236) + x237*(1+x237) + x238*(1+x238) + x239*(1+x239) + x240*(1+x240) + x242*(1+x242)) = 0;
cons242 : x242*(2+5*x242^2) + 1 - (x237*(1+x237) + x238*(1+x238) + x239*(1+x239) + x240*(1+x240) + x241*(1+x241) + x243*(1+x243)) = 0;
cons243 : x243*(2+5*x243^2) + 1 - (x238*(1+x238) + x239*(1+x239) + x240*(1+x240) + x241*(1+x241) + x242*(1+x242) + x244*(1+x244)) = 0;
cons244 : x244*(2+5*x244^2) + 1 - (x239*(1+x239) + x240*(1+x240) + x241*(1+x241) + x242*(1+x242) + x243*(1+x243) + x245*(1+x245)) = 0;
cons245 : x245*(2+5*x245^2) + 1 - (x240*(1+x240) + x241*(1+x241) + x242*(1+x242) + x243*(1+x243) + x244*(1+x244) + x246*(1+x246)) = 0;
cons246 : x246*(2+5*x246^2) + 1 - (x241*(1+x241) + x242*(1+x242) + x243*(1+x243) + x244*(1+x244) + x245*(1+x245) + x247*(1+x247)) = 0;
cons247 : x247*(2+5*x247^2) + 1 - (x242*(1+x242) + x243*(1+x243) + x244*(1+x244) + x245*(1+x245) + x246*(1+x246) + x248*(1+x248)) = 0;
cons248 : x248*(2+5*x248^2) + 1 - (x243*(1+x243) + x244*(1+x244) + x245*(1+x245) + x246*(1+x246) + x247*(1+x247) + x249*(1+x249)) = 0;
cons249 : x249*(2+5*x249^2) + 1 - (x244*(1+x244) + x245*(1+x245) + x246*(1+x246) + x247*(1+x247) + x248*(1+x248) + x250*(1+x250)) = 0;
cons250 : x250*(2+5*x250^2) + 1 - (x245*(1+x245) + x246*(1+x246) + x247*(1+x247) + x248*(1+x248) + x249*(1+x249) + x251*(1+x251)) = 0;
cons251 : x251*(2+5*x251^2) + 1 - (x246*(1+x246) + x247*(1+x247) + x248*(1+x248) + x249*(1+x249) + x250*(1+x250) + x252*(1+x252)) = 0;
cons252 : x252*(2+5*x252^2) + 1 - (x247*(1+x247) + x248*(1+x248) + x249*(1+x249) + x250*(1+x250) + x251*(1+x251) + x253*(1+x253)) = 0;
cons253 : x253*(2+5*x253^2) + 1 - (x248*(1+x248) + x249*(1+x249) + x250*(1+x250) + x251*(1+x251) + x252*(1+x252) + x254*(1+x254)) = 0;
cons254 : x254*(2+5*x254^2) + 1 - (x249*(1+x249) + x250*(1+x250) + x251*(1+x251) + x252*(1+x252) + x253*(1+x253) + x255*(1+x255)) = 0;
cons255 : x255*(2+5*x255^2) + 1 - (x250*(1+x250) + x251*(1+x251) + x252*(1+x252) + x253*(1+x253) + x254*(1+x254) + x256*(1+x256)) = 0;
cons256 : x256*(2+5*x256^2) + 1 - (x251*(1+x251) + x252*(1+x252) + x253*(1+x253) + x254*(1+x254) + x255*(1+x255) + x257*(1+x257)) = 0;
cons257 : x257*(2+5*x257^2) + 1 - (x252*(1+x252) + x253*(1+x253) + x254*(1+x254) + x255*(1+x255) + x256*(1+x256) + x258*(1+x258)) = 0;
cons258 : x258*(2+5*x258^2) + 1 - (x253*(1+x253) + x254*(1+x254) + x255*(1+x255) + x256*(1+x256) + x257*(1+x257) + x259*(1+x259)) = 0;
cons259 : x259*(2+5*x259^2) + 1 - (x254*(1+x254) + x255*(1+x255) + x256*(1+x256) + x257*(1+x257) + x258*(1+x258) + x260*(1+x260)) = 0;
cons260 : x260*(2+5*x260^2) + 1 - (x255*(1+x255) + x256*(1+x256) + x257*(1+x257) + x258*(1+x258) + x259*(1+x259) + x261*(1+x261)) = 0;
cons261 : x261*(2+5*x261^2) + 1 - (x256*(1+x256) + x257*(1+x257) + x258*(1+x258) + x259*(1+x259) + x260*(1+x260) + x262*(1+x262)) = 0;
cons262 : x262*(2+5*x262^2) + 1 - (x257*(1+x257) + x258*(1+x258) + x259*(1+x259) + x260*(1+x260) + x261*(1+x261) + x263*(1+x263)) = 0;
cons263 : x263*(2+5*x263^2) + 1 - (x258*(1+x258) + x259*(1+x259) + x260*(1+x260) + x261*(1+x261) + x262*(1+x262) + x264*(1+x264)) = 0;
cons264 : x264*(2+5*x264^2) + 1 - (x259*(1+x259) + x260*(1+x260) + x261*(1+x261) + x262*(1+x262) + x263*(1+x263) + x265*(1+x265)) = 0;
cons265 : x265*(2+5*x265^2) + 1 - (x260*(1+x260) + x261*(1+x261) + x262*(1+x262) + x263*(1+x263) + x264*(1+x264) + x266*(1+x266)) = 0;
cons266 : x266*(2+5*x266^2) + 1 - (x261*(1+x261) + x262*(1+x262) + x263*(1+x263) + x264*(1+x264) + x265*(1+x265) + x267*(1+x267)) = 0;
cons267 : x267*(2+5*x267^2) + 1 - (x262*(1+x262) + x263*(1+x263) + x264*(1+x264) + x265*(1+x265) + x266*(1+x266) + x268*(1+x268)) = 0;
cons268 : x268*(2+5*x268^2) + 1 - (x263*(1+x263) + x264*(1+x264) + x265*(1+x265) + x266*(1+x266) + x267*(1+x267) + x269*(1+x269)) = 0;
cons269 : x269*(2+5*x269^2) + 1 - (x264*(1+x264) + x265*(1+x265) + x266*(1+x266) + x267*(1+x267) + x268*(1+x268) + x270*(1+x270)) = 0;
cons270 : x270*(2+5*x270^2) + 1 - (x265*(1+x265) + x266*(1+x266) + x267*(1+x267) + x268*(1+x268) + x269*(1+x269) + x271*(1+x271)) = 0;
cons271 : x271*(2+5*x271^2) + 1 - (x266*(1+x266) + x267*(1+x267) + x268*(1+x268) + x269*(1+x269) + x270*(1+x270) + x272*(1+x272)) = 0;
cons272 : x272*(2+5*x272^2) + 1 - (x267*(1+x267) + x268*(1+x268) + x269*(1+x269) + x270*(1+x270) + x271*(1+x271) + x273*(1+x273)) = 0;
cons273 : x273*(2+5*x273^2) + 1 - (x268*(1+x268) + x269*(1+x269) + x270*(1+x270) + x271*(1+x271) + x272*(1+x272) + x274*(1+x274)) = 0;
cons274 : x274*(2+5*x274^2) + 1 - (x269*(1+x269) + x270*(1+x270) + x271*(1+x271) + x272*(1+x272) + x273*(1+x273) + x275*(1+x275)) = 0;
cons275 : x275*(2+5*x275^2) + 1 - (x270*(1+x270) + x271*(1+x271) + x272*(1+x272) + x273*(1+x273) + x274*(1+x274) + x276*(1+x276)) = 0;
cons276 : x276*(2+5*x276^2) + 1 - (x271*(1+x271) + x272*(1+x272) + x273*(1+x273) + x274*(1+x274) + x275*(1+x275) + x277*(1+x277)) = 0;
cons277 : x277*(2+5*x277^2) + 1 - (x272*(1+x272) + x273*(1+x273) + x274*(1+x274) + x275*(1+x275) + x276*(1+x276) + x278*(1+x278)) = 0;
cons278 : x278*(2+5*x278^2) + 1 - (x273*(1+x273) + x274*(1+x274) + x275*(1+x275) + x276*(1+x276) + x277*(1+x277) + x279*(1+x279)) = 0;
cons279 : x279*(2+5*x279^2) + 1 - (x274*(1+x274) + x275*(1+x275) + x276*(1+x276) + x277*(1+x277) + x278*(1+x278) + x280*(1+x280)) = 0;
cons280 : x280*(2+5*x280^2) + 1 - (x275*(1+x275) + x276*(1+x276) + x277*(1+x277) + x278*(1+x278) + x279*(1+x279) + x281*(1+x281)) = 0;
cons281 : x281*(2+5*x281^2) + 1 - (x276*(1+x276) + x277*(1+x277) + x278*(1+x278) + x279*(1+x279) + x280*(1+x280) + x282*(1+x282)) = 0;
cons282 : x282*(2+5*x282^2) + 1 - (x277*(1+x277) + x278*(1+x278) + x279*(1+x279) + x280*(1+x280) + x281*(1+x281) + x283*(1+x283)) = 0;
cons283 : x283*(2+5*x283^2) + 1 - (x278*(1+x278) + x279*(1+x279) + x280*(1+x280) + x281*(1+x281) + x282*(1+x282) + x284*(1+x284)) = 0;
cons284 : x284*(2+5*x284^2) + 1 - (x279*(1+x279) + x280*(1+x280) + x281*(1+x281) + x282*(1+x282) + x283*(1+x283) + x285*(1+x285)) = 0;
cons285 : x285*(2+5*x285^2) + 1 - (x280*(1+x280) + x281*(1+x281) + x282*(1+x282) + x283*(1+x283) + x284*(1+x284) + x286*(1+x286)) = 0;
cons286 : x286*(2+5*x286^2) + 1 - (x281*(1+x281) + x282*(1+x282) + x283*(1+x283) + x284*(1+x284) + x285*(1+x285) + x287*(1+x287)) = 0;
cons287 : x287*(2+5*x287^2) + 1 - (x282*(1+x282) + x283*(1+x283) + x284*(1+x284) + x285*(1+x285) + x286*(1+x286) + x288*(1+x288)) = 0;
cons288 : x288*(2+5*x288^2) + 1 - (x283*(1+x283) + x284*(1+x284) + x285*(1+x285) + x286*(1+x286) + x287*(1+x287) + x289*(1+x289)) = 0;
cons289 : x289*(2+5*x289^2) + 1 - (x284*(1+x284) + x285*(1+x285) + x286*(1+x286) + x287*(1+x287) + x288*(1+x288) + x290*(1+x290)) = 0;
cons290 : x290*(2+5*x290^2) + 1 - (x285*(1+x285) + x286*(1+x286) + x287*(1+x287) + x288*(1+x288) + x289*(1+x289) + x291*(1+x291)) = 0;
cons291 : x291*(2+5*x291^2) + 1 - (x286*(1+x286) + x287*(1+x287) + x288*(1+x288) + x289*(1+x289) + x290*(1+x290) + x292*(1+x292)) = 0;
cons292 : x292*(2+5*x292^2) + 1 - (x287*(1+x287) + x288*(1+x288) + x289*(1+x289) + x290*(1+x290) + x291*(1+x291) + x293*(1+x293)) = 0;
cons293 : x293*(2+5*x293^2) + 1 - (x288*(1+x288) + x289*(1+x289) + x290*(1+x290) + x291*(1+x291) + x292*(1+x292) + x294*(1+x294)) = 0;
cons294 : x294*(2+5*x294^2) + 1 - (x289*(1+x289) + x290*(1+x290) + x291*(1+x291) + x292*(1+x292) + x293*(1+x293) + x295*(1+x295)) = 0;
cons295 : x295*(2+5*x295^2) + 1 - (x290*(1+x290) + x291*(1+x291) + x292*(1+x292) + x293*(1+x293) + x294*(1+x294) + x296*(1+x296)) = 0;
cons296 : x296*(2+5*x296^2) + 1 - (x291*(1+x291) + x292*(1+x292) + x293*(1+x293) + x294*(1+x294) + x295*(1+x295) + x297*(1+x297)) = 0;
cons297 : x297*(2+5*x297^2) + 1 - (x292*(1+x292) + x293*(1+x293) + x294*(1+x294) + x295*(1+x295) + x296*(1+x296) + x298*(1+x298)) = 0;
cons298 : x298*(2+5*x298^2) + 1 - (x293*(1+x293) + x294*(1+x294) + x295*(1+x295) + x296*(1+x296) + x297*(1+x297) + x299*(1+x299)) = 0;
cons299 : x299*(2+5*x299^2) + 1 - (x294*(1+x294) + x295*(1+x295) + x296*(1+x296) + x297*(1+x297) + x298*(1+x298) + x300*(1+x300)) = 0;
cons300 : x300*(2+5*x300^2) + 1 - (x295*(1+x295) + x296*(1+x296) + x297*(1+x297) + x298*(1+x298) + x299*(1+x299) + x301*(1+x301)) = 0;
cons301 : x301*(2+5*x301^2) + 1 - (x296*(1+x296) + x297*(1+x297) + x298*(1+x298) + x299*(1+x299) + x300*(1+x300) + x302*(1+x302)) = 0;
cons302 : x302*(2+5*x302^2) + 1 - (x297*(1+x297) + x298*(1+x298) + x299*(1+x299) + x300*(1+x300) + x301*(1+x301) + x303*(1+x303)) = 0;
cons303 : x303*(2+5*x303^2) + 1 - (x298*(1+x298) + x299*(1+x299) + x300*(1+x300) + x301*(1+x301) + x302*(1+x302) + x304*(1+x304)) = 0;
cons304 : x304*(2+5*x304^2) + 1 - (x299*(1+x299) + x300*(1+x300) + x301*(1+x301) + x302*(1+x302) + x303*(1+x303) + x305*(1+x305)) = 0;
cons305 : x305*(2+5*x305^2) + 1 - (x300*(1+x300) + x301*(1+x301) + x302*(1+x302) + x303*(1+x303) + x304*(1+x304) + x306*(1+x306)) = 0;
cons306 : x306*(2+5*x306^2) + 1 - (x301*(1+x301) + x302*(1+x302) + x303*(1+x303) + x304*(1+x304) + x305*(1+x305) + x307*(1+x307)) = 0;
cons307 : x307*(2+5*x307^2) + 1 - (x302*(1+x302) + x303*(1+x303) + x304*(1+x304) + x305*(1+x305) + x306*(1+x306) + x308*(1+x308)) = 0;
cons308 : x308*(2+5*x308^2) + 1 - (x303*(1+x303) + x304*(1+x304) + x305*(1+x305) + x306*(1+x306) + x307*(1+x307) + x309*(1+x309)) = 0;
cons309 : x309*(2+5*x309^2) + 1 - (x304*(1+x304) + x305*(1+x305) + x306*(1+x306) + x307*(1+x307) + x308*(1+x308) + x310*(1+x310)) = 0;
cons310 : x310*(2+5*x310^2) + 1 - (x305*(1+x305) + x306*(1+x306) + x307*(1+x307) + x308*(1+x308) + x309*(1+x309) + x311*(1+x311)) = 0;
cons311 : x311*(2+5*x311^2) + 1 - (x306*(1+x306) + x307*(1+x307) + x308*(1+x308) + x309*(1+x309) + x310*(1+x310) + x312*(1+x312)) = 0;
cons312 : x312*(2+5*x312^2) + 1 - (x307*(1+x307) + x308*(1+x308) + x309*(1+x309) + x310*(1+x310) + x311*(1+x311) + x313*(1+x313)) = 0;
cons313 : x313*(2+5*x313^2) + 1 - (x308*(1+x308) + x309*(1+x309) + x310*(1+x310) + x311*(1+x311) + x312*(1+x312) + x314*(1+x314)) = 0;
cons314 : x314*(2+5*x314^2) + 1 - (x309*(1+x309) + x310*(1+x310) + x311*(1+x311) + x312*(1+x312) + x313*(1+x313) + x315*(1+x315)) = 0;
cons315 : x315*(2+5*x315^2) + 1 - (x310*(1+x310) + x311*(1+x311) + x312*(1+x312) + x313*(1+x313) + x314*(1+x314) + x316*(1+x316)) = 0;
cons316 : x316*(2+5*x316^2) + 1 - (x311*(1+x311) + x312*(1+x312) + x313*(1+x313) + x314*(1+x314) + x315*(1+x315) + x317*(1+x317)) = 0;
cons317 : x317*(2+5*x317^2) + 1 - (x312*(1+x312) + x313*(1+x313) + x314*(1+x314) + x315*(1+x315) + x316*(1+x316) + x318*(1+x318)) = 0;
cons318 : x318*(2+5*x318^2) + 1 - (x313*(1+x313) + x314*(1+x314) + x315*(1+x315) + x316*(1+x316) + x317*(1+x317) + x319*(1+x319)) = 0;
cons319 : x319*(2+5*x319^2) + 1 - (x314*(1+x314) + x315*(1+x315) + x316*(1+x316) + x317*(1+x317) + x318*(1+x318) + x320*(1+x320)) = 0;
cons320 : x320*(2+5*x320^2) + 1 - (x315*(1+x315) + x316*(1+x316) + x317*(1+x317) + x318*(1+x318) + x319*(1+x319)) = 0;


solve;
display x1, x10, x100, x101, x102, x103, x104, x105, x106, x107, x108, x109, x11, x110, x111, x112, x113, x114, x115, x116, x117, x118, x119, x12, x120, x121, x122, x123, x124, x125, x126, x127, x128, x129, x13, x130, x131, x132, x133, x134, x135, x136, x137, x138, x139, x14, x140, x141, x142, x143, x144, x145, x146, x147, x148, x149, x15, x150, x151, x152, x153, x154, x155, x156, x157, x158, x159, x16, x160, x161, x162, x163, x164, x165, x166, x167, x168, x169, x17, x170, x171, x172, x173, x174, x175, x176, x177, x178, x179, x18, x180, x181, x182, x183, x184, x185, x186, x187, x188, x189, x19, x190, x191, x192, x193, x194, x195, x196, x197, x198, x199, x2, x20, x200, x201, x202, x203, x204, x205, x206, x207, x208, x209, x21, x210, x211, x212, x213, x214, x215, x216, x217, x218, x219, x22, x220, x221, x222, x223, x224, x225, x226, x227, x228, x229, x23, x230, x231, x232, x233, x234, x235, x236, x237, x238, x239, x24, x240, x241, x242, x243, x244, x245, x246, x247, x248, x249, x25, x250, x251, x252, x253, x254, x255, x256, x257, x258, x259, x26, x260, x261, x262, x263, x264, x265, x266, x267, x268, x269, x27, x270, x271, x272, x273, x274, x275, x276, x277, x278, x279, x28, x280, x281, x282, x283, x284, x285, x286, x287, x288, x289, x29, x290, x291, x292, x293, x294, x295, x296, x297, x298, x299, x3, x30, x300, x301, x302, x303, x304, x305, x306, x307, x308, x309, x31, x310, x311, x312, x313, x314, x315, x316, x317, x318, x319, x32, x320, x33, x34, x35, x36, x37, x38, x39, x4, x40, x41, x42, x43, x44, x45, x46, x47, x48, x49, x5, x50, x51, x52, x53, x54, x55, x56, x57, x58, x59, x6, x60, x61, x62, x63, x64, x65, x66, x67, x68, x69, x7, x70, x71, x72, x73, x74, x75, x76, x77, x78, x79, x8, x80, x81, x82, x83, x84, x85, x86, x87, x88, x89, x9, x90, x91, x92, x93, x94, x95, x96, x97, x98, x99;