\ Equation counts \ Total E G L N X C B \ 461 426 2 33 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 464 464 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2640 632 2008 0 \ Minimize obj: 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 Subject To e2: x402 - x418 x419 x420 = 0 e3: - x49 x51 x53 + x48 x52 x53 + x49 x50 x54 - x47 x52 x54 - x48 x50 x55 + x47 x51 x55 = 1 e4: - x58 x60 x62 + x57 x61 x62 + x58 x59 x63 - x56 x61 x63 - x57 x59 x64 + x56 x60 x64 = 1 e5: - x67 x69 x71 + x66 x70 x71 + x67 x68 x72 - x65 x70 x72 - x66 x68 x73 + x65 x69 x73 = 1 e6: - x76 x78 x80 + x75 x79 x80 + x76 x77 x81 - x74 x79 x81 - x75 x77 x82 + x74 x78 x82 = 1 e7: - x85 x87 x89 + x84 x88 x89 + x85 x86 x90 - x83 x88 x90 - x84 x86 x91 + x83 x87 x91 = 1 e8: x212 + x213 + x214 = 1 e9: x215 + x216 + x217 = 0 e10: x218 + x219 + x220 = 0 e11: x221 + x222 + x223 = 1 e12: x224 + x225 + x226 = 0 e13: x227 + x228 + x229 = 1 e14: x230 + x231 + x232 = 1 e15: x233 + x234 + x235 = 0 e16: x236 + x237 + x238 = 0 e17: x239 + x240 + x241 = 1 e18: x242 + x243 + x244 = 0 e19: x245 + x246 + x247 = 1 e20: x248 + x249 + x250 = 1 e21: x251 + x252 + x253 = 0 e22: x254 + x255 + x256 = 0 e23: x257 + x258 + x259 = 1 e24: x260 + x261 + x262 = 0 e25: x263 + x264 + x265 = 1 e26: x266 + x267 + x268 = 1 e27: x269 + x270 + x271 = 0 e28: x272 + x273 + x274 = 0 e29: x275 + x276 + x277 = 1 e30: x278 + x279 + x280 = 0 e31: x281 + x282 + x283 = 1 e32: x284 + x285 + x286 = 1 e33: x287 + x288 + x289 = 0 e34: x290 + x291 + x292 = 0 e35: x293 + x294 + x295 = 1 e36: x296 + x297 + x298 = 0 e37: x299 + x300 + x301 = 1 e38: x2 - .25 x212 - .444444444444444 x213 - x214 = 0 e39: x3 - .25 x215 - .444444444444444 x216 - x217 = 0 e40: x4 - .25 x218 - .444444444444444 x219 - x220 = 0 e41: x6 - .25 x221 - .444444444444444 x222 - x223 = 0 e42: x7 - .25 x224 - .444444444444444 x225 - x226 = 0 e43: x10 - .25 x227 - .444444444444444 x228 - x229 = 0 e44: x11 - .444444444444444 x230 - x231 - 2.04081632653061 x232 = 0 e45: x12 - .444444444444444 x233 - x234 - 2.04081632653061 x235 = 0 e46: x13 - .444444444444444 x236 - x237 - 2.04081632653061 x238 = 0 e47: x15 - .444444444444444 x239 - x240 - 2.04081632653061 x241 = 0 e48: x16 - .444444444444444 x242 - x243 - 2.04081632653061 x244 = 0 e49: x19 - .444444444444444 x245 - x246 - 2.04081632653061 x247 = 0 e50: x20 - x248 - 1.5625 x249 - 2.77777777777778 x250 = 0 e51: x21 - x251 - 1.5625 x252 - 2.77777777777778 x253 = 0 e52: x22 - x254 - 1.5625 x255 - 2.77777777777778 x256 = 0 e53: x24 - x257 - 1.5625 x258 - 2.77777777777778 x259 = 0 e54: x25 - x260 - 1.5625 x261 - 2.77777777777778 x262 = 0 e55: x28 - x263 - 1.5625 x264 - 2.77777777777778 x265 = 0 e56: x29 - 1.23456790123457 x266 - 1.77777777777778 x267 - 4 x268 = 0 e57: x30 - 1.23456790123457 x269 - 1.77777777777778 x270 - 4 x271 = 0 e58: x31 - 1.23456790123457 x272 - 1.77777777777778 x273 - 4 x274 = 0 e59: x33 - 1.23456790123457 x275 - 1.77777777777778 x276 - 4 x277 = 0 e60: x34 - 1.23456790123457 x278 - 1.77777777777778 x279 - 4 x280 = 0 e61: x37 - 1.23456790123457 x281 - 1.77777777777778 x282 - 4 x283 = 0 e62: x38 - 1.5625 x284 - 2.77777777777778 x285 - 11.1111111111111 x286 = 0 e63: x39 - 1.5625 x287 - 2.77777777777778 x288 - 11.1111111111111 x289 = 0 e64: x40 - 1.5625 x290 - 2.77777777777778 x291 - 11.1111111111111 x292 = 0 e65: x42 - 1.5625 x293 - 2.77777777777778 x294 - 11.1111111111111 x295 = 0 e66: x43 - 1.5625 x296 - 2.77777777777778 x297 - 11.1111111111111 x298 = 0 e67: x46 - 1.5625 x299 - 2.77777777777778 x300 - 11.1111111111111 x301 = 0 e68: - x3 + x5 = 0 e69: - x4 + x8 = 0 e70: - x7 + x9 = 0 e71: - x12 + x14 = 0 e72: - x13 + x17 = 0 e73: - x16 + x18 = 0 e74: - x21 + x23 = 0 e75: - x22 + x26 = 0 e76: - x25 + x27 = 0 e77: - x30 + x32 = 0 e78: - x31 + x35 = 0 e79: - x34 + x36 = 0 e80: - x39 + x41 = 0 e81: - x40 + x44 = 0 e82: - x43 + x45 = 0 e83: - x418 + x421 <= -1 e84: - x419 + x422 <= -1 e85: - x420 + x423 <= -1 e86: - x418 + x424 <= -.7 e87: - x419 + x425 <= -.7 e88: - x420 + x426 <= -.7 e89: - x418 + x427 <= -.6 e90: - x419 + x428 <= -.6 e91: - x420 + x429 <= -.6 e92: - x418 + x430 <= -.5 e93: - x419 + x431 <= -.5 e94: - x420 + x432 <= -.5 e95: - x418 + x433 <= -.3 e96: - x419 + x434 <= -.3 e97: - x420 + x435 <= -.3 e98: - x6 x10 + x7 x9 + x403^2 = 0 e99: - x15 x19 + x16 x18 + x406^2 = 0 e100: - x24 x28 + x25 x27 + x409^2 = 0 e101: - x33 x37 + x34 x36 + x412^2 = 0 e102: - x42 x46 + x43 x45 + x415^2 = 0 e103: - x2 x10 + x4 x8 + x404^2 = 0 e104: - x11 x19 + x13 x17 + x407^2 = 0 e105: - x20 x28 + x22 x26 + x410^2 = 0 e106: - x29 x37 + x31 x35 + x413^2 = 0 e107: - x38 x46 + x40 x44 + x416^2 = 0 e108: - x2 x6 + x3 x5 + x405^2 = 0 e109: - x11 x15 + x12 x14 + x408^2 = 0 e110: - x20 x24 + x21 x23 + x411^2 = 0 e111: - x29 x33 + x30 x32 + x414^2 = 0 e112: - x38 x42 + x39 x41 + x417^2 = 0 e113: 3 x403 - x421 + x436 = 0 e114: 3 x404 - x422 + x437 = 0 e115: 3 x405 - x423 + x438 = 0 e116: 1.05 x406 - x424 + x439 = 0 e117: 1.05 x407 - x425 + x440 = 0 e118: 1.05 x408 - x426 + x441 = 0 e119: .48 x409 - x427 + x442 = 0 e120: .48 x410 - x428 + x443 = 0 e121: .48 x411 - x429 + x444 = 0 e122: .3375 x412 - x430 + x445 = 0 e123: .3375 x413 - x431 + x446 = 0 e124: .3375 x414 - x432 + x447 = 0 e125: .144 x415 - x433 + x448 = 0 e126: .144 x416 - x434 + x449 = 0 e127: .144 x417 - x435 + x450 = 0 e128: - 3 x403 - x421 + x451 = 0 e129: - 3 x404 - x422 + x452 = 0 e130: - 3 x405 - x423 + x453 = 0 e131: - 1.05 x406 - x424 + x454 = 0 e132: - 1.05 x407 - x425 + x455 = 0 e133: - 1.05 x408 - x426 + x456 = 0 e134: - .48 x409 - x427 + x457 = 0 e135: - .48 x410 - x428 + x458 = 0 e136: - .48 x411 - x429 + x459 = 0 e137: - .3375 x412 - x430 + x460 = 0 e138: - .3375 x413 - x431 + x461 = 0 e139: - .3375 x414 - x432 + x462 = 0 e140: - .144 x415 - x433 + x463 = 0 e141: - .144 x416 - x434 + x464 = 0 e142: - .144 x417 - x435 + x465 = 0 e143: - x418 + x451 <= 0 e144: - x419 + x452 <= 0 e145: - x420 + x453 <= 0 e146: - x418 + x454 <= 0 e147: - x419 + x455 <= 0 e148: - x420 + x456 <= 0 e149: - x418 + x457 <= 0 e150: - x419 + x458 <= 0 e151: - x420 + x459 <= 0 e152: - x418 + x460 <= 0 e153: - x419 + x461 <= 0 e154: - x420 + x462 <= 0 e155: - x418 + x463 <= 0 e156: - x419 + x464 <= 0 e157: - x420 + x465 <= 0 e158: x418 - x419 >= 0 e159: x419 - x420 >= 0 e160: - .5 x418 + x421 <= 0 e161: - .5 x419 + x422 <= 0 e162: - .5 x420 + x423 <= 0 e163: x92^2 + x93^2 + x94^2 = 1 e164: x95^2 + x96^2 + x97^2 = 1 e165: x98^2 + x99^2 + x100^2 = 1 e166: x101^2 + x102^2 + x103^2 = 1 e167: x104^2 + x105^2 + x106^2 = 1 e168: x107^2 + x108^2 + x109^2 = 1 e169: x110^2 + x111^2 + x112^2 = 1 e170: x113^2 + x114^2 + x115^2 = 1 e171: x116^2 + x117^2 + x118^2 = 1 e172: x119^2 + x120^2 + x121^2 = 1 e173: x122 + x192 - x92 x132 - x92 x421 - x93 x133 - x93 x422 - x94 x134 - x94 x423 = 0 e174: x123 + x193 - x95 x135 - x95 x421 - x96 x136 - x96 x422 - x97 x137 - x97 x423 = 0 e175: x124 + x194 - x98 x138 - x98 x421 - x99 x139 - x99 x422 - x100 x140 - x100 x423 = 0 e176: x125 + x195 - x101 x141 - x101 x421 - x102 x142 - x102 x422 - x103 x143 - x103 x423 = 0 e177: x126 + x196 - x104 x144 - x104 x424 - x105 x145 - x105 x425 - x106 x146 - x106 x426 = 0 e178: x127 + x197 - x107 x147 - x107 x424 - x108 x148 - x108 x425 - x109 x149 - x109 x426 = 0 e179: x128 + x198 - x110 x150 - x110 x424 - x111 x151 - x111 x425 - x112 x152 - x112 x426 = 0 e180: x129 + x199 - x113 x153 - x113 x427 - x114 x154 - x114 x428 - x115 x155 - x115 x429 = 0 e181: x130 + x200 - x116 x156 - x116 x427 - x117 x157 - x117 x428 - x118 x158 - x118 x429 = 0 e182: x131 + x201 - x119 x159 - x119 x430 - x120 x160 - x120 x431 - x121 x161 - x121 x432 = 0 e183: x122 + x202 - x92 x162 - x92 x424 - x93 x163 - x93 x425 - x94 x164 - x94 x426 = 0 e184: x123 + x203 - x95 x165 - x95 x427 - x96 x166 - x96 x428 - x97 x167 - x97 x429 = 0 e185: x124 + x204 - x98 x168 - x98 x430 - x99 x169 - x99 x431 - x100 x170 - x100 x432 = 0 e186: x125 + x205 - x101 x171 - x101 x433 - x102 x172 - x102 x434 - x103 x173 - x103 x435 = 0 e187: x126 + x206 - x104 x174 - x104 x427 - x105 x175 - x105 x428 - x106 x176 - x106 x429 = 0 e188: x127 + x207 - x107 x177 - x107 x430 - x108 x178 - x108 x431 - x109 x179 - x109 x432 = 0 e189: x128 + x208 - x110 x180 - x110 x433 - x111 x181 - x111 x434 - x112 x182 - x112 x435 = 0 e190: x129 + x209 - x113 x183 - x113 x430 - x114 x184 - x114 x431 - x115 x185 - x115 x432 = 0 e191: x130 + x210 - x116 x186 - x116 x433 - x117 x187 - x117 x434 - x118 x188 - x118 x435 = 0 e192: x131 + x211 - x119 x189 - x119 x433 - x120 x190 - x120 x434 - x121 x191 - x121 x435 = 0 e193: x302 - x2 x132 - x3 x133 - x4 x134 = 0 e194: x303 - x5 x132 - x6 x133 - x7 x134 = 0 e195: x304 - x8 x132 - x9 x133 - x10 x134 = 0 e196: x305 - x2 x135 - x3 x136 - x4 x137 = 0 e197: x306 - x5 x135 - x6 x136 - x7 x137 = 0 e198: x307 - x8 x135 - x9 x136 - x10 x137 = 0 e199: x308 - x2 x138 - x3 x139 - x4 x140 = 0 e200: x309 - x5 x138 - x6 x139 - x7 x140 = 0 e201: x310 - x8 x138 - x9 x139 - x10 x140 = 0 e202: x311 - x2 x141 - x3 x142 - x4 x143 = 0 e203: x312 - x5 x141 - x6 x142 - x7 x143 = 0 e204: x313 - x8 x141 - x9 x142 - x10 x143 = 0 e205: x314 - x11 x144 - x12 x145 - x13 x146 = 0 e206: x315 - x14 x144 - x15 x145 - x16 x146 = 0 e207: x316 - x17 x144 - x18 x145 - x19 x146 = 0 e208: x317 - x11 x147 - x12 x148 - x13 x149 = 0 e209: x318 - x14 x147 - x15 x148 - x16 x149 = 0 e210: x319 - x17 x147 - x18 x148 - x19 x149 = 0 e211: x320 - x11 x150 - x12 x151 - x13 x152 = 0 e212: x321 - x14 x150 - x15 x151 - x16 x152 = 0 e213: x322 - x17 x150 - x18 x151 - x19 x152 = 0 e214: x323 - x20 x153 - x21 x154 - x22 x155 = 0 e215: x324 - x23 x153 - x24 x154 - x25 x155 = 0 e216: x325 - x26 x153 - x27 x154 - x28 x155 = 0 e217: x326 - x20 x156 - x21 x157 - x22 x158 = 0 e218: x327 - x23 x156 - x24 x157 - x25 x158 = 0 e219: x328 - x26 x156 - x27 x157 - x28 x158 = 0 e220: x329 - x29 x159 - x30 x160 - x31 x161 = 0 e221: x330 - x32 x159 - x33 x160 - x34 x161 = 0 e222: x331 - x35 x159 - x36 x160 - x37 x161 = 0 e223: x332 - x11 x162 - x12 x163 - x13 x164 = 0 e224: x333 - x14 x162 - x15 x163 - x16 x164 = 0 e225: x334 - x17 x162 - x18 x163 - x19 x164 = 0 e226: x335 - x20 x165 - x21 x166 - x22 x167 = 0 e227: x336 - x23 x165 - x24 x166 - x25 x167 = 0 e228: x337 - x26 x165 - x27 x166 - x28 x167 = 0 e229: x338 - x29 x168 - x30 x169 - x31 x170 = 0 e230: x339 - x32 x168 - x33 x169 - x34 x170 = 0 e231: x340 - x35 x168 - x36 x169 - x37 x170 = 0 e232: x341 - x38 x171 - x39 x172 - x40 x173 = 0 e233: x342 - x41 x171 - x42 x172 - x43 x173 = 0 e234: x343 - x44 x171 - x45 x172 - x46 x173 = 0 e235: x344 - x20 x174 - x21 x175 - x22 x176 = 0 e236: x345 - x23 x174 - x24 x175 - x25 x176 = 0 e237: x346 - x26 x174 - x27 x175 - x28 x176 = 0 e238: x347 - x29 x177 - x30 x178 - x31 x179 = 0 e239: x348 - x32 x177 - x33 x178 - x34 x179 = 0 e240: x349 - x35 x177 - x36 x178 - x37 x179 = 0 e241: x350 - x38 x180 - x39 x181 - x40 x182 = 0 e242: x351 - x41 x180 - x42 x181 - x43 x182 = 0 e243: x352 - x44 x180 - x45 x181 - x46 x182 = 0 e244: x353 - x29 x183 - x30 x184 - x31 x185 = 0 e245: x354 - x32 x183 - x33 x184 - x34 x185 = 0 e246: x355 - x35 x183 - x36 x184 - x37 x185 = 0 e247: x356 - x38 x186 - x39 x187 - x40 x188 = 0 e248: x357 - x41 x186 - x42 x187 - x43 x188 = 0 e249: x358 - x44 x186 - x45 x187 - x46 x188 = 0 e250: x359 - x38 x189 - x39 x190 - x40 x191 = 0 e251: x360 - x41 x189 - x42 x190 - x43 x191 = 0 e252: x361 - x44 x189 - x45 x190 - x46 x191 = 0 e253: x2 x132^2 + x3 x132 x133 + x5 x132 x133 + x6 x133^2 + x4 x132 x134 + x8 x132 x134 + x7 x133 x134 + x9 x133 x134 + x10 x134^2 = 1 e254: x2 x135^2 + x3 x135 x136 + x5 x135 x136 + x6 x136^2 + x4 x135 x137 + x8 x135 x137 + x7 x136 x137 + x9 x136 x137 + x10 x137^2 = 1 e255: x2 x138^2 + x3 x138 x139 + x5 x138 x139 + x6 x139^2 + x4 x138 x140 + x8 x138 x140 + x7 x139 x140 + x9 x139 x140 + x10 x140^2 = 1 e256: x2 x141^2 + x3 x141 x142 + x5 x141 x142 + x6 x142^2 + x4 x141 x143 + x8 x141 x143 + x7 x142 x143 + x9 x142 x143 + x10 x143^2 = 1 e257: x11 x144^2 + x12 x144 x145 + x14 x144 x145 + x15 x145^2 + x13 x144 x146 + x17 x144 x146 + x16 x145 x146 + x18 x145 x146 + x19 x146^2 = 1 e258: x11 x147^2 + x12 x147 x148 + x14 x147 x148 + x15 x148^2 + x13 x147 x149 + x17 x147 x149 + x16 x148 x149 + x18 x148 x149 + x19 x149^2 = 1 e259: x11 x150^2 + x12 x150 x151 + x14 x150 x151 + x15 x151^2 + x13 x150 x152 + x17 x150 x152 + x16 x151 x152 + x18 x151 x152 + x19 x152^2 = 1 e260: x20 x153^2 + x21 x153 x154 + x23 x153 x154 + x24 x154^2 + x22 x153 x155 + x26 x153 x155 + x25 x154 x155 + x27 x154 x155 + x28 x155^2 = 1 e261: x20 x156^2 + x21 x156 x157 + x23 x156 x157 + x24 x157^2 + x22 x156 x158 + x26 x156 x158 + x25 x157 x158 + x27 x157 x158 + x28 x158^2 = 1 e262: x29 x159^2 + x30 x159 x160 + x32 x159 x160 + x33 x160^2 + x31 x159 x161 + x35 x159 x161 + x34 x160 x161 + x36 x160 x161 + x37 x161^2 = 1 e263: x11 x162^2 + x12 x162 x163 + x14 x162 x163 + x15 x163^2 + x13 x162 x164 + x17 x162 x164 + x16 x163 x164 + x18 x163 x164 + x19 x164^2 = 1 e264: x20 x165^2 + x21 x165 x166 + x23 x165 x166 + x24 x166^2 + x22 x165 x167 + x26 x165 x167 + x25 x166 x167 + x27 x166 x167 + x28 x167^2 = 1 e265: x29 x168^2 + x30 x168 x169 + x32 x168 x169 + x33 x169^2 + x31 x168 x170 + x35 x168 x170 + x34 x169 x170 + x36 x169 x170 + x37 x170^2 = 1 e266: x38 x171^2 + x39 x171 x172 + x41 x171 x172 + x42 x172^2 + x40 x171 x173 + x44 x171 x173 + x43 x172 x173 + x45 x172 x173 + x46 x173^2 = 1 e267: x20 x174^2 + x21 x174 x175 + x23 x174 x175 + x24 x175^2 + x22 x174 x176 + x26 x174 x176 + x25 x175 x176 + x27 x175 x176 + x28 x176^2 = 1 e268: x29 x177^2 + x30 x177 x178 + x32 x177 x178 + x33 x178^2 + x31 x177 x179 + x35 x177 x179 + x34 x178 x179 + x36 x178 x179 + x37 x179^2 = 1 e269: x38 x180^2 + x39 x180 x181 + x41 x180 x181 + x42 x181^2 + x40 x180 x182 + x44 x180 x182 + x43 x181 x182 + x45 x181 x182 + x46 x182^2 = 1 e270: x29 x183^2 + x30 x183 x184 + x32 x183 x184 + x33 x184^2 + x31 x183 x185 + x35 x183 x185 + x34 x184 x185 + x36 x184 x185 + x37 x185^2 = 1 e271: x38 x186^2 + x39 x186 x187 + x41 x186 x187 + x42 x187^2 + x40 x186 x188 + x44 x186 x188 + x43 x187 x188 + x45 x187 x188 + x46 x188^2 = 1 e272: x38 x189^2 + x39 x189 x190 + x41 x189 x190 + x42 x190^2 + x40 x189 x191 + x44 x189 x191 + x43 x190 x191 + x45 x190 x191 + x46 x191^2 = 1 e273: x92 - x2 x92 x132^2 - x5 x92 x132 x133 - x2 x93 x132 x133 - x5 x93 x133^2 - x8 x92 x132 x134 - x2 x94 x132 x134 - x8 x93 x133 x134 - x5 x94 x133 x134 - x8 x94 x134^2 = 0 e274: x93 - x3 x92 x132^2 - x6 x92 x132 x133 - x3 x93 x132 x133 - x6 x93 x133^2 - x9 x92 x132 x134 - x3 x94 x132 x134 - x9 x93 x133 x134 - x6 x94 x133 x134 - x9 x94 x134^2 = 0 e275: x94 - x4 x92 x132^2 - x7 x92 x132 x133 - x4 x93 x132 x133 - x7 x93 x133^2 - x10 x92 x132 x134 - x4 x94 x132 x134 - x10 x93 x133 x134 - x7 x94 x133 x134 - x10 x94 x134^2 = 0 e276: x95 - x2 x95 x135^2 - x5 x95 x135 x136 - x2 x96 x135 x136 - x5 x96 x136^2 - x8 x95 x135 x137 - x2 x97 x135 x137 - x8 x96 x136 x137 - x5 x97 x136 x137 - x8 x97 x137^2 = 0 e277: x96 - x3 x95 x135^2 - x6 x95 x135 x136 - x3 x96 x135 x136 - x6 x96 x136^2 - x9 x95 x135 x137 - x3 x97 x135 x137 - x9 x96 x136 x137 - x6 x97 x136 x137 - x9 x97 x137^2 = 0 e278: x97 - x4 x95 x135^2 - x7 x95 x135 x136 - x4 x96 x135 x136 - x7 x96 x136^2 - x10 x95 x135 x137 - x4 x97 x135 x137 - x10 x96 x136 x137 - x7 x97 x136 x137 - x10 x97 x137^2 = 0 e279: x98 - x2 x98 x138^2 - x5 x98 x138 x139 - x2 x99 x138 x139 - x5 x99 x139^2 - x8 x98 x138 x140 - x2 x100 x138 x140 - x8 x99 x139 x140 - x5 x100 x139 x140 - x8 x100 x140^2 = 0 e280: x99 - x3 x98 x138^2 - x6 x98 x138 x139 - x3 x99 x138 x139 - x6 x99 x139^2 - x9 x98 x138 x140 - x3 x100 x138 x140 - x9 x99 x139 x140 - x6 x100 x139 x140 - x9 x100 x140^2 = 0 e281: x100 - x4 x98 x138^2 - x7 x98 x138 x139 - x4 x99 x138 x139 - x7 x99 x139^2 - x10 x98 x138 x140 - x4 x100 x138 x140 - x10 x99 x139 x140 - x7 x100 x139 x140 - x10 x100 x140^2 = 0 e282: x101 - x2 x101 x141^2 - x5 x101 x141 x142 - x2 x102 x141 x142 - x5 x102 x142^2 - x8 x101 x141 x143 - x2 x103 x141 x143 - x8 x102 x142 x143 - x5 x103 x142 x143 - x8 x103 x143^2 = 0 e283: x102 - x3 x101 x141^2 - x6 x101 x141 x142 - x3 x102 x141 x142 - x6 x102 x142^2 - x9 x101 x141 x143 - x3 x103 x141 x143 - x9 x102 x142 x143 - x6 x103 x142 x143 - x9 x103 x143^2 = 0 e284: x103 - x4 x101 x141^2 - x7 x101 x141 x142 - x4 x102 x141 x142 - x7 x102 x142^2 - x10 x101 x141 x143 - x4 x103 x141 x143 - x10 x102 x142 x143 - x7 x103 x142 x143 - x10 x103 x143^2 = 0 e285: x104 - x11 x104 x144^2 - x14 x104 x144 x145 - x11 x105 x144 x145 - x14 x105 x145^2 - x17 x104 x144 x146 - x11 x106 x144 x146 - x17 x105 x145 x146 - x14 x106 x145 x146 - x17 x106 x146^2 = 0 e286: x105 - x12 x104 x144^2 - x15 x104 x144 x145 - x12 x105 x144 x145 - x15 x105 x145^2 - x18 x104 x144 x146 - x12 x106 x144 x146 - x18 x105 x145 x146 - x15 x106 x145 x146 - x18 x106 x146^2 = 0 e287: x106 - x13 x104 x144^2 - x16 x104 x144 x145 - x13 x105 x144 x145 - x16 x105 x145^2 - x19 x104 x144 x146 - x13 x106 x144 x146 - x19 x105 x145 x146 - x16 x106 x145 x146 - x19 x106 x146^2 = 0 e288: x107 - x11 x107 x147^2 - x14 x107 x147 x148 - x11 x108 x147 x148 - x14 x108 x148^2 - x17 x107 x147 x149 - x11 x109 x147 x149 - x17 x108 x148 x149 - x14 x109 x148 x149 - x17 x109 x149^2 = 0 e289: x108 - x12 x107 x147^2 - x15 x107 x147 x148 - x12 x108 x147 x148 - x15 x108 x148^2 - x18 x107 x147 x149 - x12 x109 x147 x149 - x18 x108 x148 x149 - x15 x109 x148 x149 - x18 x109 x149^2 = 0 e290: x109 - x13 x107 x147^2 - x16 x107 x147 x148 - x13 x108 x147 x148 - x16 x108 x148^2 - x19 x107 x147 x149 - x13 x109 x147 x149 - x19 x108 x148 x149 - x16 x109 x148 x149 - x19 x109 x149^2 = 0 e291: x110 - x11 x110 x150^2 - x14 x110 x150 x151 - x11 x111 x150 x151 - x14 x111 x151^2 - x17 x110 x150 x152 - x11 x112 x150 x152 - x17 x111 x151 x152 - x14 x112 x151 x152 - x17 x112 x152^2 = 0 e292: x111 - x12 x110 x150^2 - x15 x110 x150 x151 - x12 x111 x150 x151 - x15 x111 x151^2 - x18 x110 x150 x152 - x12 x112 x150 x152 - x18 x111 x151 x152 - x15 x112 x151 x152 - x18 x112 x152^2 = 0 e293: x112 - x13 x110 x150^2 - x16 x110 x150 x151 - x13 x111 x150 x151 - x16 x111 x151^2 - x19 x110 x150 x152 - x13 x112 x150 x152 - x19 x111 x151 x152 - x16 x112 x151 x152 - x19 x112 x152^2 = 0 e294: x113 - x20 x113 x153^2 - x23 x113 x153 x154 - x20 x114 x153 x154 - x23 x114 x154^2 - x26 x113 x153 x155 - x20 x115 x153 x155 - x26 x114 x154 x155 - x23 x115 x154 x155 - x26 x115 x155^2 = 0 e295: x114 - x21 x113 x153^2 - x24 x113 x153 x154 - x21 x114 x153 x154 - x24 x114 x154^2 - x27 x113 x153 x155 - x21 x115 x153 x155 - x27 x114 x154 x155 - x24 x115 x154 x155 - x27 x115 x155^2 = 0 e296: x115 - x22 x113 x153^2 - x25 x113 x153 x154 - x22 x114 x153 x154 - x25 x114 x154^2 - x28 x113 x153 x155 - x22 x115 x153 x155 - x28 x114 x154 x155 - x25 x115 x154 x155 - x28 x115 x155^2 = 0 e297: x116 - x20 x116 x156^2 - x23 x116 x156 x157 - x20 x117 x156 x157 - x23 x117 x157^2 - x26 x116 x156 x158 - x20 x118 x156 x158 - x26 x117 x157 x158 - x23 x118 x157 x158 - x26 x118 x158^2 = 0 e298: x117 - x21 x116 x156^2 - x24 x116 x156 x157 - x21 x117 x156 x157 - x24 x117 x157^2 - x27 x116 x156 x158 - x21 x118 x156 x158 - x27 x117 x157 x158 - x24 x118 x157 x158 - x27 x118 x158^2 = 0 e299: x118 - x22 x116 x156^2 - x25 x116 x156 x157 - x22 x117 x156 x157 - x25 x117 x157^2 - x28 x116 x156 x158 - x22 x118 x156 x158 - x28 x117 x157 x158 - x25 x118 x157 x158 - x28 x118 x158^2 = 0 e300: x119 - x29 x119 x159^2 - x32 x119 x159 x160 - x29 x120 x159 x160 - x32 x120 x160^2 - x35 x119 x159 x161 - x29 x121 x159 x161 - x35 x120 x160 x161 - x32 x121 x160 x161 - x35 x121 x161^2 = 0 e301: x120 - x30 x119 x159^2 - x33 x119 x159 x160 - x30 x120 x159 x160 - x33 x120 x160^2 - x36 x119 x159 x161 - x30 x121 x159 x161 - x36 x120 x160 x161 - x33 x121 x160 x161 - x36 x121 x161^2 = 0 e302: x121 - x31 x119 x159^2 - x34 x119 x159 x160 - x31 x120 x159 x160 - x34 x120 x160^2 - x37 x119 x159 x161 - x31 x121 x159 x161 - x37 x120 x160 x161 - x34 x121 x160 x161 - x37 x121 x161^2 = 0 e303: x92 - x11 x92 x162^2 - x14 x92 x162 x163 - x11 x93 x162 x163 - x14 x93 x163^2 - x17 x92 x162 x164 - x11 x94 x162 x164 - x17 x93 x163 x164 - x14 x94 x163 x164 - x17 x94 x164^2 = 0 e304: x93 - x12 x92 x162^2 - x15 x92 x162 x163 - x12 x93 x162 x163 - x15 x93 x163^2 - x18 x92 x162 x164 - x12 x94 x162 x164 - x18 x93 x163 x164 - x15 x94 x163 x164 - x18 x94 x164^2 = 0 e305: x94 - x13 x92 x162^2 - x16 x92 x162 x163 - x13 x93 x162 x163 - x16 x93 x163^2 - x19 x92 x162 x164 - x13 x94 x162 x164 - x19 x93 x163 x164 - x16 x94 x163 x164 - x19 x94 x164^2 = 0 e306: x95 - x20 x95 x165^2 - x23 x95 x165 x166 - x20 x96 x165 x166 - x23 x96 x166^2 - x26 x95 x165 x167 - x20 x97 x165 x167 - x26 x96 x166 x167 - x23 x97 x166 x167 - x26 x97 x167^2 = 0 e307: x96 - x21 x95 x165^2 - x24 x95 x165 x166 - x21 x96 x165 x166 - x24 x96 x166^2 - x27 x95 x165 x167 - x21 x97 x165 x167 - x27 x96 x166 x167 - x24 x97 x166 x167 - x27 x97 x167^2 = 0 e308: x97 - x22 x95 x165^2 - x25 x95 x165 x166 - x22 x96 x165 x166 - x25 x96 x166^2 - x28 x95 x165 x167 - x22 x97 x165 x167 - x28 x96 x166 x167 - x25 x97 x166 x167 - x28 x97 x167^2 = 0 e309: x98 - x29 x98 x168^2 - x32 x98 x168 x169 - x29 x99 x168 x169 - x32 x99 x169^2 - x35 x98 x168 x170 - x29 x100 x168 x170 - x35 x99 x169 x170 - x32 x100 x169 x170 - x35 x100 x170^2 = 0 e310: x99 - x30 x98 x168^2 - x33 x98 x168 x169 - x30 x99 x168 x169 - x33 x99 x169^2 - x36 x98 x168 x170 - x30 x100 x168 x170 - x36 x99 x169 x170 - x33 x100 x169 x170 - x36 x100 x170^2 = 0 e311: x100 - x31 x98 x168^2 - x34 x98 x168 x169 - x31 x99 x168 x169 - x34 x99 x169^2 - x37 x98 x168 x170 - x31 x100 x168 x170 - x37 x99 x169 x170 - x34 x100 x169 x170 - x37 x100 x170^2 = 0 e312: x101 - x38 x101 x171^2 - x41 x101 x171 x172 - x38 x102 x171 x172 - x41 x102 x172^2 - x44 x101 x171 x173 - x38 x103 x171 x173 - x44 x102 x172 x173 - x41 x103 x172 x173 - x44 x103 x173^2 = 0 e313: x102 - x39 x101 x171^2 - x42 x101 x171 x172 - x39 x102 x171 x172 - x42 x102 x172^2 - x45 x101 x171 x173 - x39 x103 x171 x173 - x45 x102 x172 x173 - x42 x103 x172 x173 - x45 x103 x173^2 = 0 e314: x103 - x40 x101 x171^2 - x43 x101 x171 x172 - x40 x102 x171 x172 - x43 x102 x172^2 - x46 x101 x171 x173 - x40 x103 x171 x173 - x46 x102 x172 x173 - x43 x103 x172 x173 - x46 x103 x173^2 = 0 e315: x104 - x20 x104 x174^2 - x23 x104 x174 x175 - x20 x105 x174 x175 - x23 x105 x175^2 - x26 x104 x174 x176 - x20 x106 x174 x176 - x26 x105 x175 x176 - x23 x106 x175 x176 - x26 x106 x176^2 = 0 e316: x105 - x21 x104 x174^2 - x24 x104 x174 x175 - x21 x105 x174 x175 - x24 x105 x175^2 - x27 x104 x174 x176 - x21 x106 x174 x176 - x27 x105 x175 x176 - x24 x106 x175 x176 - x27 x106 x176^2 = 0 e317: x106 - x22 x104 x174^2 - x25 x104 x174 x175 - x22 x105 x174 x175 - x25 x105 x175^2 - x28 x104 x174 x176 - x22 x106 x174 x176 - x28 x105 x175 x176 - x25 x106 x175 x176 - x28 x106 x176^2 = 0 e318: x107 - x29 x107 x177^2 - x32 x107 x177 x178 - x29 x108 x177 x178 - x32 x108 x178^2 - x35 x107 x177 x179 - x29 x109 x177 x179 - x35 x108 x178 x179 - x32 x109 x178 x179 - x35 x109 x179^2 = 0 e319: x108 - x30 x107 x177^2 - x33 x107 x177 x178 - x30 x108 x177 x178 - x33 x108 x178^2 - x36 x107 x177 x179 - x30 x109 x177 x179 - x36 x108 x178 x179 - x33 x109 x178 x179 - x36 x109 x179^2 = 0 e320: x109 - x31 x107 x177^2 - x34 x107 x177 x178 - x31 x108 x177 x178 - x34 x108 x178^2 - x37 x107 x177 x179 - x31 x109 x177 x179 - x37 x108 x178 x179 - x34 x109 x178 x179 - x37 x109 x179^2 = 0 e321: x110 - x38 x110 x180^2 - x41 x110 x180 x181 - x38 x111 x180 x181 - x41 x111 x181^2 - x44 x110 x180 x182 - x38 x112 x180 x182 - x44 x111 x181 x182 - x41 x112 x181 x182 - x44 x112 x182^2 = 0 e322: x111 - x39 x110 x180^2 - x42 x110 x180 x181 - x39 x111 x180 x181 - x42 x111 x181^2 - x45 x110 x180 x182 - x39 x112 x180 x182 - x45 x111 x181 x182 - x42 x112 x181 x182 - x45 x112 x182^2 = 0 e323: x112 - x40 x110 x180^2 - x43 x110 x180 x181 - x40 x111 x180 x181 - x43 x111 x181^2 - x46 x110 x180 x182 - x40 x112 x180 x182 - x46 x111 x181 x182 - x43 x112 x181 x182 - x46 x112 x182^2 = 0 e324: x113 - x29 x113 x183^2 - x32 x113 x183 x184 - x29 x114 x183 x184 - x32 x114 x184^2 - x35 x113 x183 x185 - x29 x115 x183 x185 - x35 x114 x184 x185 - x32 x115 x184 x185 - x35 x115 x185^2 = 0 e325: x114 - x30 x113 x183^2 - x33 x113 x183 x184 - x30 x114 x183 x184 - x33 x114 x184^2 - x36 x113 x183 x185 - x30 x115 x183 x185 - x36 x114 x184 x185 - x33 x115 x184 x185 - x36 x115 x185^2 = 0 e326: x115 - x31 x113 x183^2 - x34 x113 x183 x184 - x31 x114 x183 x184 - x34 x114 x184^2 - x37 x113 x183 x185 - x31 x115 x183 x185 - x37 x114 x184 x185 - x34 x115 x184 x185 - x37 x115 x185^2 = 0 e327: x116 - x38 x116 x186^2 - x41 x116 x186 x187 - x38 x117 x186 x187 - x41 x117 x187^2 - x44 x116 x186 x188 - x38 x118 x186 x188 - x44 x117 x187 x188 - x41 x118 x187 x188 - x44 x118 x188^2 = 0 e328: x117 - x39 x116 x186^2 - x42 x116 x186 x187 - x39 x117 x186 x187 - x42 x117 x187^2 - x45 x116 x186 x188 - x39 x118 x186 x188 - x45 x117 x187 x188 - x42 x118 x187 x188 - x45 x118 x188^2 = 0 e329: x118 - x40 x116 x186^2 - x43 x116 x186 x187 - x40 x117 x186 x187 - x43 x117 x187^2 - x46 x116 x186 x188 - x40 x118 x186 x188 - x46 x117 x187 x188 - x43 x118 x187 x188 - x46 x118 x188^2 = 0 e330: x119 - x38 x119 x189^2 - x41 x119 x189 x190 - x38 x120 x189 x190 - x41 x120 x190^2 - x44 x119 x189 x191 - x38 x121 x189 x191 - x44 x120 x190 x191 - x41 x121 x190 x191 - x44 x121 x191^2 = 0 e331: x120 - x39 x119 x189^2 - x42 x119 x189 x190 - x39 x120 x189 x190 - x42 x120 x190^2 - x45 x119 x189 x191 - x39 x121 x189 x191 - x45 x120 x190 x191 - x42 x121 x190 x191 - x45 x121 x191^2 = 0 e332: x121 - x40 x119 x189^2 - x43 x119 x189 x190 - x40 x120 x189 x190 - x43 x120 x190^2 - x46 x119 x189 x191 - x40 x121 x189 x191 - x46 x120 x190 x191 - x43 x121 x190 x191 - x46 x121 x191^2 = 0 e333: x212 - x47^2 = 0 e334: x213 - x48^2 = 0 e335: x214 - x49^2 = 0 e336: x215 - x47 x50 = 0 e337: x216 - x48 x51 = 0 e338: x217 - x49 x52 = 0 e339: x218 - x47 x53 = 0 e340: x219 - x48 x54 = 0 e341: x220 - x49 x55 = 0 e342: x221 - x50^2 = 0 e343: x222 - x51^2 = 0 e344: x223 - x52^2 = 0 e345: x224 - x50 x53 = 0 e346: x225 - x51 x54 = 0 e347: x226 - x52 x55 = 0 e348: x227 - x53^2 = 0 e349: x228 - x54^2 = 0 e350: x229 - x55^2 = 0 e351: x230 - x56^2 = 0 e352: x231 - x57^2 = 0 e353: x232 - x58^2 = 0 e354: x233 - x56 x59 = 0 e355: x234 - x57 x60 = 0 e356: x235 - x58 x61 = 0 e357: x236 - x56 x62 = 0 e358: x237 - x57 x63 = 0 e359: x238 - x58 x64 = 0 e360: x239 - x59^2 = 0 e361: x240 - x60^2 = 0 e362: x241 - x61^2 = 0 e363: x242 - x59 x62 = 0 e364: x243 - x60 x63 = 0 e365: x244 - x61 x64 = 0 e366: x245 - x62^2 = 0 e367: x246 - x63^2 = 0 e368: x247 - x64^2 = 0 e369: x248 - x65^2 = 0 e370: x249 - x66^2 = 0 e371: x250 - x67^2 = 0 e372: x251 - x65 x68 = 0 e373: x252 - x66 x69 = 0 e374: x253 - x67 x70 = 0 e375: x254 - x65 x71 = 0 e376: x255 - x66 x72 = 0 e377: x256 - x67 x73 = 0 e378: x257 - x68^2 = 0 e379: x258 - x69^2 = 0 e380: x259 - x70^2 = 0 e381: x260 - x68 x71 = 0 e382: x261 - x69 x72 = 0 e383: x262 - x70 x73 = 0 e384: x263 - x71^2 = 0 e385: x264 - x72^2 = 0 e386: x265 - x73^2 = 0 e387: x266 - x74^2 = 0 e388: x267 - x75^2 = 0 e389: x268 - x76^2 = 0 e390: x269 - x74 x77 = 0 e391: x270 - x75 x78 = 0 e392: x271 - x76 x79 = 0 e393: x272 - x74 x80 = 0 e394: x273 - x75 x81 = 0 e395: x274 - x76 x82 = 0 e396: x275 - x77^2 = 0 e397: x276 - x78^2 = 0 e398: x277 - x79^2 = 0 e399: x278 - x77 x80 = 0 e400: x279 - x78 x81 = 0 e401: x280 - x79 x82 = 0 e402: x281 - x80^2 = 0 e403: x282 - x81^2 = 0 e404: x283 - x82^2 = 0 e405: x284 - x83^2 = 0 e406: x285 - x84^2 = 0 e407: x286 - x85^2 = 0 e408: x287 - x83 x86 = 0 e409: x288 - x84 x87 = 0 e410: x289 - x85 x88 = 0 e411: x290 - x83 x89 = 0 e412: x291 - x84 x90 = 0 e413: x292 - x85 x91 = 0 e414: x293 - x86^2 = 0 e415: x294 - x87^2 = 0 e416: x295 - x88^2 = 0 e417: x296 - x86 x89 = 0 e418: x297 - x87 x90 = 0 e419: x298 - x88 x91 = 0 e420: x299 - x89^2 = 0 e421: x300 - x90^2 = 0 e422: x301 - x91^2 = 0 e423: x362 - x7^2 x302^2 + x6 x10 x302^2 + 2 x4 x7 x302 x303 - 2 x3 x10 x302 x303 - x4^2 x303^2 + x2 x10 x303^2 - 2 x4 x6 x302 x304 + 2 x3 x7 x302 x304 + 2 x3 x4 x303 x304 - 2 x2 x7 x303 x304 - x3^2 x304^2 + x2 x6 x304^2 = 0 e424: x363 - x7^2 x305^2 + x6 x10 x305^2 + 2 x4 x7 x305 x306 - 2 x3 x10 x305 x306 - x4^2 x306^2 + x2 x10 x306^2 - 2 x4 x6 x305 x307 + 2 x3 x7 x305 x307 + 2 x3 x4 x306 x307 - 2 x2 x7 x306 x307 - x3^2 x307^2 + x2 x6 x307^2 = 0 e425: x364 - x7^2 x308^2 + x6 x10 x308^2 + 2 x4 x7 x308 x309 - 2 x3 x10 x308 x309 - x4^2 x309^2 + x2 x10 x309^2 - 2 x4 x6 x308 x310 + 2 x3 x7 x308 x310 + 2 x3 x4 x309 x310 - 2 x2 x7 x309 x310 - x3^2 x310^2 + x2 x6 x310^2 = 0 e426: x365 - x7^2 x311^2 + x6 x10 x311^2 + 2 x4 x7 x311 x312 - 2 x3 x10 x311 x312 - x4^2 x312^2 + x2 x10 x312^2 - 2 x4 x6 x311 x313 + 2 x3 x7 x311 x313 + 2 x3 x4 x312 x313 - 2 x2 x7 x312 x313 - x3^2 x313^2 + x2 x6 x313^2 = 0 e427: x366 - x16^2 x314^2 + x15 x19 x314^2 + 2 x13 x16 x314 x315 - 2 x12 x19 x314 x315 - x13^2 x315^2 + x11 x19 x315^2 - 2 x13 x15 x314 x316 + 2 x12 x16 x314 x316 + 2 x12 x13 x315 x316 - 2 x11 x16 x315 x316 - x12^2 x316^2 + x11 x15 x316^2 = 0 e428: x367 - x16^2 x317^2 + x15 x19 x317^2 + 2 x13 x16 x317 x318 - 2 x12 x19 x317 x318 - x13^2 x318^2 + x11 x19 x318^2 - 2 x13 x15 x317 x319 + 2 x12 x16 x317 x319 + 2 x12 x13 x318 x319 - 2 x11 x16 x318 x319 - x12^2 x319^2 + x11 x15 x319^2 = 0 e429: x368 - x16^2 x320^2 + x15 x19 x320^2 + 2 x13 x16 x320 x321 - 2 x12 x19 x320 x321 - x13^2 x321^2 + x11 x19 x321^2 - 2 x13 x15 x320 x322 + 2 x12 x16 x320 x322 + 2 x12 x13 x321 x322 - 2 x11 x16 x321 x322 - x12^2 x322^2 + x11 x15 x322^2 = 0 e430: x369 - x25^2 x323^2 + x24 x28 x323^2 + 2 x22 x25 x323 x324 - 2 x21 x28 x323 x324 - x22^2 x324^2 + x20 x28 x324^2 - 2 x22 x24 x323 x325 + 2 x21 x25 x323 x325 + 2 x21 x22 x324 x325 - 2 x20 x25 x324 x325 - x21^2 x325^2 + x20 x24 x325^2 = 0 e431: x370 - x25^2 x326^2 + x24 x28 x326^2 + 2 x22 x25 x326 x327 - 2 x21 x28 x326 x327 - x22^2 x327^2 + x20 x28 x327^2 - 2 x22 x24 x326 x328 + 2 x21 x25 x326 x328 + 2 x21 x22 x327 x328 - 2 x20 x25 x327 x328 - x21^2 x328^2 + x20 x24 x328^2 = 0 e432: x371 - x34^2 x329^2 + x33 x37 x329^2 + 2 x31 x34 x329 x330 - 2 x30 x37 x329 x330 - x31^2 x330^2 + x29 x37 x330^2 - 2 x31 x33 x329 x331 + 2 x30 x34 x329 x331 + 2 x30 x31 x330 x331 - 2 x29 x34 x330 x331 - x30^2 x331^2 + x29 x33 x331^2 = 0 e433: x372 - x16^2 x332^2 + x15 x19 x332^2 + 2 x13 x16 x332 x333 - 2 x12 x19 x332 x333 - x13^2 x333^2 + x11 x19 x333^2 - 2 x13 x15 x332 x334 + 2 x12 x16 x332 x334 + 2 x12 x13 x333 x334 - 2 x11 x16 x333 x334 - x12^2 x334^2 + x11 x15 x334^2 = 0 e434: x373 - x25^2 x335^2 + x24 x28 x335^2 + 2 x22 x25 x335 x336 - 2 x21 x28 x335 x336 - x22^2 x336^2 + x20 x28 x336^2 - 2 x22 x24 x335 x337 + 2 x21 x25 x335 x337 + 2 x21 x22 x336 x337 - 2 x20 x25 x336 x337 - x21^2 x337^2 + x20 x24 x337^2 = 0 e435: x374 - x34^2 x338^2 + x33 x37 x338^2 + 2 x31 x34 x338 x339 - 2 x30 x37 x338 x339 - x31^2 x339^2 + x29 x37 x339^2 - 2 x31 x33 x338 x340 + 2 x30 x34 x338 x340 + 2 x30 x31 x339 x340 - 2 x29 x34 x339 x340 - x30^2 x340^2 + x29 x33 x340^2 = 0 e436: x375 - x43^2 x341^2 + x42 x46 x341^2 + 2 x40 x43 x341 x342 - 2 x39 x46 x341 x342 - x40^2 x342^2 + x38 x46 x342^2 - 2 x40 x42 x341 x343 + 2 x39 x43 x341 x343 + 2 x39 x40 x342 x343 - 2 x38 x43 x342 x343 - x39^2 x343^2 + x38 x42 x343^2 = 0 e437: x376 - x25^2 x344^2 + x24 x28 x344^2 + 2 x22 x25 x344 x345 - 2 x21 x28 x344 x345 - x22^2 x345^2 + x20 x28 x345^2 - 2 x22 x24 x344 x346 + 2 x21 x25 x344 x346 + 2 x21 x22 x345 x346 - 2 x20 x25 x345 x346 - x21^2 x346^2 + x20 x24 x346^2 = 0 e438: x377 - x34^2 x347^2 + x33 x37 x347^2 + 2 x31 x34 x347 x348 - 2 x30 x37 x347 x348 - x31^2 x348^2 + x29 x37 x348^2 - 2 x31 x33 x347 x349 + 2 x30 x34 x347 x349 + 2 x30 x31 x348 x349 - 2 x29 x34 x348 x349 - x30^2 x349^2 + x29 x33 x349^2 = 0 e439: x378 - x43^2 x350^2 + x42 x46 x350^2 + 2 x40 x43 x350 x351 - 2 x39 x46 x350 x351 - x40^2 x351^2 + x38 x46 x351^2 - 2 x40 x42 x350 x352 + 2 x39 x43 x350 x352 + 2 x39 x40 x351 x352 - 2 x38 x43 x351 x352 - x39^2 x352^2 + x38 x42 x352^2 = 0 e440: x379 - x34^2 x353^2 + x33 x37 x353^2 + 2 x31 x34 x353 x354 - 2 x30 x37 x353 x354 - x31^2 x354^2 + x29 x37 x354^2 - 2 x31 x33 x353 x355 + 2 x30 x34 x353 x355 + 2 x30 x31 x354 x355 - 2 x29 x34 x354 x355 - x30^2 x355^2 + x29 x33 x355^2 = 0 e441: x380 - x43^2 x356^2 + x42 x46 x356^2 + 2 x40 x43 x356 x357 - 2 x39 x46 x356 x357 - x40^2 x357^2 + x38 x46 x357^2 - 2 x40 x42 x356 x358 + 2 x39 x43 x356 x358 + 2 x39 x40 x357 x358 - 2 x38 x43 x357 x358 - x39^2 x358^2 + x38 x42 x358^2 = 0 e442: x381 - x43^2 x359^2 + x42 x46 x359^2 + 2 x40 x43 x359 x360 - 2 x39 x46 x359 x360 - x40^2 x360^2 + x38 x46 x360^2 - 2 x40 x42 x359 x361 + 2 x39 x43 x359 x361 + 2 x39 x40 x360 x361 - 2 x38 x43 x360 x361 - x39^2 x361^2 + x38 x42 x361^2 = 0 e443: x382 - x6 x92 x132 x302^2 - x6 x93 x133 x302^2 - x6 x94 x134 x302^2 + 2 x3 x92 x132 x302 x303 + 2 x3 x93 x133 x302 x303 + 2 x3 x94 x134 x302 x303 - x2 x92 x132 x303^2 - x2 x93 x133 x303^2 - x2 x94 x134 x303^2 = 0 e444: x383 - x6 x95 x135 x305^2 - x6 x96 x136 x305^2 - x6 x97 x137 x305^2 + 2 x3 x95 x135 x305 x306 + 2 x3 x96 x136 x305 x306 + 2 x3 x97 x137 x305 x306 - x2 x95 x135 x306^2 - x2 x96 x136 x306^2 - x2 x97 x137 x306^2 = 0 e445: x384 - x6 x98 x138 x308^2 - x6 x99 x139 x308^2 - x6 x100 x140 x308^2 + 2 x3 x98 x138 x308 x309 + 2 x3 x99 x139 x308 x309 + 2 x3 x100 x140 x308 x309 - x2 x98 x138 x309^2 - x2 x99 x139 x309^2 - x2 x100 x140 x309^2 = 0 e446: x385 - x6 x101 x141 x311^2 - x6 x102 x142 x311^2 - x6 x103 x143 x311^2 + 2 x3 x101 x141 x311 x312 + 2 x3 x102 x142 x311 x312 + 2 x3 x103 x143 x311 x312 - x2 x101 x141 x312^2 - x2 x102 x142 x312^2 - x2 x103 x143 x312^2 = 0 e447: x386 - x15 x104 x144 x314^2 - x15 x105 x145 x314^2 - x15 x106 x146 x314^2 + 2 x12 x104 x144 x314 x315 + 2 x12 x105 x145 x314 x315 + 2 x12 x106 x146 x314 x315 - x11 x104 x144 x315^2 - x11 x105 x145 x315^2 - x11 x106 x146 x315^2 = 0 e448: x387 - x15 x107 x147 x317^2 - x15 x108 x148 x317^2 - x15 x109 x149 x317^2 + 2 x12 x107 x147 x317 x318 + 2 x12 x108 x148 x317 x318 + 2 x12 x109 x149 x317 x318 - x11 x107 x147 x318^2 - x11 x108 x148 x318^2 - x11 x109 x149 x318^2 = 0 e449: x388 - x15 x110 x150 x320^2 - x15 x111 x151 x320^2 - x15 x112 x152 x320^2 + 2 x12 x110 x150 x320 x321 + 2 x12 x111 x151 x320 x321 + 2 x12 x112 x152 x320 x321 - x11 x110 x150 x321^2 - x11 x111 x151 x321^2 - x11 x112 x152 x321^2 = 0 e450: x389 - x24 x113 x153 x323^2 - x24 x114 x154 x323^2 - x24 x115 x155 x323^2 + 2 x21 x113 x153 x323 x324 + 2 x21 x114 x154 x323 x324 + 2 x21 x115 x155 x323 x324 - x20 x113 x153 x324^2 - x20 x114 x154 x324^2 - x20 x115 x155 x324^2 = 0 e451: x390 - x24 x116 x156 x326^2 - x24 x117 x157 x326^2 - x24 x118 x158 x326^2 + 2 x21 x116 x156 x326 x327 + 2 x21 x117 x157 x326 x327 + 2 x21 x118 x158 x326 x327 - x20 x116 x156 x327^2 - x20 x117 x157 x327^2 - x20 x118 x158 x327^2 = 0 e452: x391 - x33 x119 x159 x329^2 - x33 x120 x160 x329^2 - x33 x121 x161 x329^2 + 2 x30 x119 x159 x329 x330 + 2 x30 x120 x160 x329 x330 + 2 x30 x121 x161 x329 x330 - x29 x119 x159 x330^2 - x29 x120 x160 x330^2 - x29 x121 x161 x330^2 = 0 e453: x392 - x15 x92 x162 x332^2 - x15 x93 x163 x332^2 - x15 x94 x164 x332^2 + 2 x12 x92 x162 x332 x333 + 2 x12 x93 x163 x332 x333 + 2 x12 x94 x164 x332 x333 - x11 x92 x162 x333^2 - x11 x93 x163 x333^2 - x11 x94 x164 x333^2 = 0 e454: x393 - x24 x95 x165 x335^2 - x24 x96 x166 x335^2 - x24 x97 x167 x335^2 + 2 x21 x95 x165 x335 x336 + 2 x21 x96 x166 x335 x336 + 2 x21 x97 x167 x335 x336 - x20 x95 x165 x336^2 - x20 x96 x166 x336^2 - x20 x97 x167 x336^2 = 0 e455: x394 - x33 x98 x168 x338^2 - x33 x99 x169 x338^2 - x33 x100 x170 x338^2 + 2 x30 x98 x168 x338 x339 + 2 x30 x99 x169 x338 x339 + 2 x30 x100 x170 x338 x339 - x29 x98 x168 x339^2 - x29 x99 x169 x339^2 - x29 x100 x170 x339^2 = 0 e456: x395 - x42 x101 x171 x341^2 - x42 x102 x172 x341^2 - x42 x103 x173 x341^2 + 2 x39 x101 x171 x341 x342 + 2 x39 x102 x172 x341 x342 + 2 x39 x103 x173 x341 x342 - x38 x101 x171 x342^2 - x38 x102 x172 x342^2 - x38 x103 x173 x342^2 = 0 e457: x396 - x24 x104 x174 x344^2 - x24 x105 x175 x344^2 - x24 x106 x176 x344^2 + 2 x21 x104 x174 x344 x345 + 2 x21 x105 x175 x344 x345 + 2 x21 x106 x176 x344 x345 - x20 x104 x174 x345^2 - x20 x105 x175 x345^2 - x20 x106 x176 x345^2 = 0 e458: x397 - x33 x107 x177 x347^2 - x33 x108 x178 x347^2 - x33 x109 x179 x347^2 + 2 x30 x107 x177 x347 x348 + 2 x30 x108 x178 x347 x348 + 2 x30 x109 x179 x347 x348 - x29 x107 x177 x348^2 - x29 x108 x178 x348^2 - x29 x109 x179 x348^2 = 0 e459: x398 - x42 x110 x180 x350^2 - x42 x111 x181 x350^2 - x42 x112 x182 x350^2 + 2 x39 x110 x180 x350 x351 + 2 x39 x111 x181 x350 x351 + 2 x39 x112 x182 x350 x351 - x38 x110 x180 x351^2 - x38 x111 x181 x351^2 - x38 x112 x182 x351^2 = 0 e460: x399 - x33 x113 x183 x353^2 - x33 x114 x184 x353^2 - x33 x115 x185 x353^2 + 2 x30 x113 x183 x353 x354 + 2 x30 x114 x184 x353 x354 + 2 x30 x115 x185 x353 x354 - x29 x113 x183 x354^2 - x29 x114 x184 x354^2 - x29 x115 x185 x354^2 = 0 e461: x400 - x42 x116 x186 x356^2 - x42 x117 x187 x356^2 - x42 x118 x188 x356^2 + 2 x39 x116 x186 x356 x357 + 2 x39 x117 x187 x356 x357 + 2 x39 x118 x188 x356 x357 - x38 x116 x186 x357^2 - x38 x117 x187 x357^2 - x38 x118 x188 x357^2 = 0 e462: x401 - x42 x119 x189 x359^2 - x42 x120 x190 x359^2 - x42 x121 x191 x359^2 + 2 x39 x119 x189 x359 x360 + 2 x39 x120 x190 x359 x360 + 2 x39 x121 x191 x359 x360 - x38 x119 x189 x360^2 - x38 x120 x190 x360^2 - x38 x121 x191 x360^2 = 0 Bounds -1.00010000009147 <= x2 <= 1.00010000009147 -.37510000000391 <= x3 <= .37510000000391 -.375100000002826 <= x4 <= .375100000002826 -.37500000000391 <= x5 <= .37500000000391 -1.0001 <= x6 <= 1.0001 -.3751 <= x7 <= .3751 -.375000000002826 <= x8 <= .375000000002826 -.375 <= x9 <= .375 -1.00009999999996 <= x10 <= 1.00009999999996 -2.04091632653061 <= x11 <= 2.04091632653061 -.798285941042815 <= x12 <= .798285941042815 -.798285941070703 <= x13 <= .798285941070703 -.798185941042815 <= x14 <= .798185941042815 -2.04091632748181 <= x15 <= 2.04091632748181 -.798285941043221 <= x16 <= .798285941043221 -.798185941070703 <= x17 <= .798185941070703 -.798185941043221 <= x18 <= .798185941043221 -2.04091632653061 <= x19 <= 2.04091632653061 -2.77787777777863 <= x20 <= 2.77787777777863 -.888988888888889 <= x21 <= .888988888888889 -.888988889038592 <= x22 <= .888988889038592 -.888888888888889 <= x23 <= .888888888888889 -2.77787777795214 <= x24 <= 2.77787777795214 -.888988888894225 <= x25 <= .888988888894225 -.888888889038592 <= x26 <= .888888889038592 -.888888888894225 <= x27 <= .888888888894225 -2.77787777794733 <= x28 <= 2.77787777794733 -4.00010000000016 <= x29 <= 4.00010000000016 -1.38281604940189 <= x30 <= 1.38281604940189 -1.38281604940744 <= x31 <= 1.38281604940744 -1.38271604940189 <= x32 <= 1.38271604940189 -4.00009999999942 <= x33 <= 4.00009999999942 -1.38281604938428 <= x34 <= 1.38281604938428 -1.38271604940744 <= x35 <= 1.38271604940744 -1.38271604938428 <= x36 <= 1.38271604938428 -4.0001000000063 <= x37 <= 4.0001000000063 -11.1112111135878 <= x38 <= 11.1112111135878 -4.77440555556658 <= x39 <= 4.77440555556658 -4.77440555557961 <= x40 <= 4.77440555557961 -4.77430555556658 <= x41 <= 4.77430555556658 -11.111211111111 <= x42 <= 11.111211111111 -4.77440555555963 <= x43 <= 4.77440555555963 -4.77430555557961 <= x44 <= 4.77430555557961 -4.77430555555963 <= x45 <= 4.77430555555963 -11.1112111111109 <= x46 <= 11.1112111111109 -1 <= x47 <= 1 -1 <= x48 <= 1 -1 <= x49 <= 1 -1 <= x50 <= 1 -1 <= x51 <= 1 -1 <= x52 <= 1 -1 <= x53 <= 1 -1 <= x54 <= 1 -1 <= x55 <= 1 -1 <= x56 <= 1 -1 <= x57 <= 1 -1 <= x58 <= 1 -1 <= x59 <= 1 -1 <= x60 <= 1 -1 <= x61 <= 1 -1 <= x62 <= 1 -1 <= x63 <= 1 -1 <= x64 <= 1 -1 <= x65 <= 1 -1 <= x66 <= 1 -1 <= x67 <= 1 -1 <= x68 <= 1 -1 <= x69 <= 1 -1 <= x70 <= 1 -1 <= x71 <= 1 -1 <= x72 <= 1 -1 <= x73 <= 1 -1 <= x74 <= 1 -1 <= x75 <= 1 -1 <= x76 <= 1 -1 <= x77 <= 1 -1 <= x78 <= 1 -1 <= x79 <= 1 -1 <= x80 <= 1 -1 <= x81 <= 1 -1 <= x82 <= 1 -1 <= x83 <= 1 -1 <= x84 <= 1 -1 <= x85 <= 1 -1 <= x86 <= 1 -1 <= x87 <= 1 -1 <= x88 <= 1 -1 <= x89 <= 1 -1 <= x90 <= 1 -1 <= x91 <= 1 -1 <= x92 <= 1 -1 <= x93 <= 1 -1 <= x94 <= 1 -1 <= x95 <= 1 -1 <= x96 <= 1 -1 <= x97 <= 1 -1 <= x98 <= 1 -1 <= x99 <= 1 -1 <= x100 <= 1 -1 <= x101 <= 1 -1 <= x102 <= 1 -1 <= x103 <= 1 -1 <= x104 <= 1 -1 <= x105 <= 1 -1 <= x106 <= 1 -1 <= x107 <= 1 -1 <= x108 <= 1 -1 <= x109 <= 1 -1 <= x110 <= 1 -1 <= x111 <= 1 -1 <= x112 <= 1 -1 <= x113 <= 1 -1 <= x114 <= 1 -1 <= x115 <= 1 -1 <= x116 <= 1 -1 <= x117 <= 1 -1 <= x118 <= 1 -1 <= x119 <= 1 -1 <= x120 <= 1 -1 <= x121 <= 1 -10 <= x122 <= 10 -10 <= x123 <= 10 -10 <= x124 <= 10 -10 <= x125 <= 10 -10 <= x126 <= 10 -10 <= x127 <= 10 -10 <= x128 <= 10 -10 <= x129 <= 10 -10 <= x130 <= 10 -10 <= x131 <= 10 -2 <= x132 <= 2 -2 <= x133 <= 2 -2 <= x134 <= 2 -2 <= x135 <= 2 -2 <= x136 <= 2 -2 <= x137 <= 2 -2 <= x138 <= 2 -2 <= x139 <= 2 -2 <= x140 <= 2 -2 <= x141 <= 2 -2 <= x142 <= 2 -2 <= x143 <= 2 -1.5 <= x144 <= 1.5 -1.5 <= x145 <= 1.5 -1.5 <= x146 <= 1.5 -1.5 <= x147 <= 1.5 -1.5 <= x148 <= 1.5 -1.5 <= x149 <= 1.5 -1.5 <= x150 <= 1.5 -1.5 <= x151 <= 1.5 -1.5 <= x152 <= 1.5 -1 <= x153 <= 1 -1 <= x154 <= 1 -1 <= x155 <= 1 -1 <= x156 <= 1 -1 <= x157 <= 1 -1 <= x158 <= 1 -.9 <= x159 <= .9 -.9 <= x160 <= .9 -.9 <= x161 <= .9 -1.5 <= x162 <= 1.5 -1.5 <= x163 <= 1.5 -1.5 <= x164 <= 1.5 -1 <= x165 <= 1 -1 <= x166 <= 1 -1 <= x167 <= 1 -.9 <= x168 <= .9 -.9 <= x169 <= .9 -.9 <= x170 <= .9 -.8 <= x171 <= .8 -.8 <= x172 <= .8 -.8 <= x173 <= .8 -1 <= x174 <= 1 -1 <= x175 <= 1 -1 <= x176 <= 1 -.9 <= x177 <= .9 -.9 <= x178 <= .9 -.9 <= x179 <= .9 -.8 <= x180 <= .8 -.8 <= x181 <= .8 -.8 <= x182 <= .8 -.9 <= x183 <= .9 -.9 <= x184 <= .9 -.9 <= x185 <= .9 -.8 <= x186 <= .8 -.8 <= x187 <= .8 -.8 <= x188 <= .8 -.8 <= x189 <= .8 -.8 <= x190 <= .8 -.8 <= x191 <= .8 x192 <= 13.7477270848675 x193 <= 13.7477270848675 x194 <= 13.7477270848675 x195 <= 13.7477270848675 x196 <= 13.7477270848675 x197 <= 13.7477270848675 x198 <= 13.7477270848675 x199 <= 13.7477270848675 x200 <= 13.7477270848675 x201 <= 13.7477270848675 -13.7477270848675 <= x202 <= 0 -13.7477270848675 <= x203 <= 0 -13.7477270848675 <= x204 <= 0 -13.7477270848675 <= x205 <= 0 -13.7477270848675 <= x206 <= 0 -13.7477270848675 <= x207 <= 0 -13.7477270848675 <= x208 <= 0 -13.7477270848675 <= x209 <= 0 -13.7477270848675 <= x210 <= 0 -13.7477270848675 <= x211 <= 0 -1 <= x212 <= 1 -1 <= x213 <= 1 -1 <= x214 <= 1 -1 <= x215 <= 1 -1 <= x216 <= 1 -1 <= x217 <= 1 -1 <= x218 <= 1 -1 <= x219 <= 1 -1 <= x220 <= 1 -1 <= x221 <= 1 -1 <= x222 <= 1 -1 <= x223 <= 1 -1 <= x224 <= 1 -1 <= x225 <= 1 -1 <= x226 <= 1 -1 <= x227 <= 1 -1 <= x228 <= 1 -1 <= x229 <= 1 -1 <= x230 <= 1 -1 <= x231 <= 1 -1 <= x232 <= 1 -1 <= x233 <= 1 -1 <= x234 <= 1 -1 <= x235 <= 1 -1 <= x236 <= 1 -1 <= x237 <= 1 -1 <= x238 <= 1 -1 <= x239 <= 1 -1 <= x240 <= 1 -1 <= x241 <= 1 -1 <= x242 <= 1 -1 <= x243 <= 1 -1 <= x244 <= 1 -1 <= x245 <= 1 -1 <= x246 <= 1 -1 <= x247 <= 1 -1 <= x248 <= 1 -1 <= x249 <= 1 -1 <= x250 <= 1 -1 <= x251 <= 1 -1 <= x252 <= 1 -1 <= x253 <= 1 -1 <= x254 <= 1 -1 <= x255 <= 1 -1 <= x256 <= 1 -1 <= x257 <= 1 -1 <= x258 <= 1 -1 <= x259 <= 1 -1 <= x260 <= 1 -1 <= x261 <= 1 -1 <= x262 <= 1 -1 <= x263 <= 1 -1 <= x264 <= 1 -1 <= x265 <= 1 -1 <= x266 <= 1 -1 <= x267 <= 1 -1 <= x268 <= 1 -1 <= x269 <= 1 -1 <= x270 <= 1 -1 <= x271 <= 1 -1 <= x272 <= 1 -1 <= x273 <= 1 -1 <= x274 <= 1 -1 <= x275 <= 1 -1 <= x276 <= 1 -1 <= x277 <= 1 -1 <= x278 <= 1 -1 <= x279 <= 1 -1 <= x280 <= 1 -1 <= x281 <= 1 -1 <= x282 <= 1 -1 <= x283 <= 1 -1 <= x284 <= 1 -1 <= x285 <= 1 -1 <= x286 <= 1 -1 <= x287 <= 1 -1 <= x288 <= 1 -1 <= x289 <= 1 -1 <= x290 <= 1 -1 <= x291 <= 1 -1 <= x292 <= 1 -1 <= x293 <= 1 -1 <= x294 <= 1 -1 <= x295 <= 1 -1 <= x296 <= 1 -1 <= x297 <= 1 -1 <= x298 <= 1 -1 <= x299 <= 1 -1 <= x300 <= 1 -1 <= x301 <= 1 -2.54913810595347 <= x302 <= 2.54913810595347 -2.54913810890719 <= x303 <= 2.54913810890719 -2.54913810572623 <= x304 <= 2.54913810572623 -2.54913810568577 <= x305 <= 2.54913810568577 -2.54913810833132 <= x306 <= 2.54913810833132 -2.54913810571209 <= x307 <= 2.54913810571209 -2.54913820574073 <= x308 <= 2.54913820574073 -2.54913810577115 <= x309 <= 2.54913810577115 -2.54913810640921 <= x310 <= 2.54913810640921 -2.54913810590212 <= x311 <= 2.54913810590212 -2.54913810586448 <= x312 <= 2.54913810586448 -2.54913810770559 <= x313 <= 2.54913810770559 -3.93779348421005 <= x314 <= 3.93779348421005 -3.93779348399675 <= x315 <= 3.93779348399675 -3.93779350515789 <= x316 <= 3.93779350515789 -3.93779348521428 <= x317 <= 3.93779348521428 -3.93779349482825 <= x318 <= 3.93779349482825 -3.93779348462782 <= x319 <= 3.93779348462782 -3.93779348391107 <= x320 <= 3.93779348391107 -3.93779348391534 <= x321 <= 3.93779348391534 -3.93779350706379 <= x322 <= 3.93779350706379 -3.4285896067657 <= x323 <= 3.4285896067657 -3.42858960685358 <= x324 <= 3.42858960685358 -3.42858960705036 <= x325 <= 3.42858960705036 -3.42858960675258 <= x326 <= 3.42858960675258 -3.42858960684772 <= x327 <= 3.42858960684772 -3.42858960940873 <= x328 <= 3.42858960940873 -4.51109656117026 <= x329 <= 4.51109656117026 -4.51109656078199 <= x330 <= 4.51109656078199 -4.51109656054263 <= x331 <= 4.51109656054263 -2.54913810570109 <= x332 <= 2.54913810570109 -2.54913810593815 <= x333 <= 2.54913810593815 -2.54913811027593 <= x334 <= 2.54913811027593 -2.54913810567846 <= x335 <= 2.54913810567846 -2.54913810599157 <= x336 <= 2.54913810599157 -2.54913810579588 <= x337 <= 2.54913810579588 -2.54913810693072 <= x338 <= 2.54913810693072 -2.54913810576975 <= x339 <= 2.54913810576975 -2.54913811647235 <= x340 <= 2.54913811647235 -2.54913810713732 <= x341 <= 2.54913810713732 -2.54913810604802 <= x342 <= 2.54913810604802 -2.54913810588047 <= x343 <= 2.54913810588047 -3.93779348395432 <= x344 <= 3.93779348395432 -3.93779368457766 <= x345 <= 3.93779368457766 -3.93779348393578 <= x346 <= 3.93779348393578 -3.93779348433128 <= x347 <= 3.93779348433128 -3.93779348407164 <= x348 <= 3.93779348407164 -3.93779348393482 <= x349 <= 3.93779348393482 -3.93779348423173 <= x350 <= 3.93779348423173 -3.9377934841068 <= x351 <= 3.9377934841068 -3.93779348392791 <= x352 <= 3.93779348392791 -3.42858960676951 <= x353 <= 3.42858960676951 -3.42858960704091 <= x354 <= 3.42858960704091 -3.42858960687231 <= x355 <= 3.42858960687231 -3.42858961066426 <= x356 <= 3.42858961066426 -3.42858960677419 <= x357 <= 3.42858960677419 -3.42858960676862 <= x358 <= 3.42858960676862 -4.51109656063813 <= x359 <= 4.51109656063813 -4.51109656061341 <= x360 <= 4.51109656061341 -4.51109656684726 <= x361 <= 4.51109656684726 -inf <= x362 <= -1.25e-5 -inf <= x363 <= -1.25e-5 -inf <= x364 <= -1.25e-5 -inf <= x365 <= -1.25e-5 -inf <= x366 <= -1.25e-5 -inf <= x367 <= -1.25e-5 -inf <= x368 <= -1.25e-5 -inf <= x369 <= -1.25e-5 -inf <= x370 <= -1.25e-5 -inf <= x371 <= -1.25e-5 -inf <= x372 <= -1.25e-5 -inf <= x373 <= -1.25e-5 -inf <= x374 <= -1.25e-5 -inf <= x375 <= -1.25e-5 -inf <= x376 <= -1.25e-5 -inf <= x377 <= -1.25e-5 -inf <= x378 <= -1.25e-5 -inf <= x379 <= -1.25e-5 -inf <= x380 <= -1.25e-5 -inf <= x381 <= -1.25e-5 -inf <= x382 <= -1.25e-5 -inf <= x383 <= -1.25e-5 -inf <= x384 <= -1.25e-5 -inf <= x385 <= -1.25e-5 -inf <= x386 <= -1.25e-5 -inf <= x387 <= -1.25e-5 -inf <= x388 <= -1.25e-5 -inf <= x389 <= -1.25e-5 -inf <= x390 <= -1.25e-5 -inf <= x391 <= -1.25e-5 1.25e-5 <= x392 1.25e-5 <= x393 1.25e-5 <= x394 1.25e-5 <= x395 1.25e-5 <= x396 1.25e-5 <= x397 1.25e-5 <= x398 1.25e-5 <= x399 1.25e-5 <= x400 1.25e-5 <= x401 20.992122111287 <= x402 .333333333333333 <= x403 <= .666666666666667 .333333333333333 <= x404 <= .666666666666667 .333333333333333 <= x405 <= .666666666666667 .666666666666667 <= x406 <= 1.42857142857143 .666666666666667 <= x407 <= 1.42857142857143 .666666666666667 <= x408 <= 1.42857142857143 1.25 <= x409 <= 2.08333333333333 1.25 <= x410 <= 2.08333333333333 1.25 <= x411 <= 2.08333333333333 1.48148148148148 <= x412 <= 2.66666666666667 1.48148148148148 <= x413 <= 2.66666666666667 1.48148148148148 <= x414 <= 2.66666666666667 2.08333333333333 <= x415 <= 5.55555555555556 2.08333333333333 <= x416 <= 5.55555555555556 2.08333333333333 <= x417 <= 5.55555555555556 2 <= x418 <= 10 2 <= x419 <= 8 2 <= x420 <= 5 1 <= x421 <= 9 1 <= x422 <= 7 1 <= x423 <= 4 .7 <= x424 <= 9.3 .7 <= x425 <= 7.3 .7 <= x426 <= 4.3 .6 <= x427 <= 9.4 .6 <= x428 <= 7.4 .6 <= x429 <= 4.4 .5 <= x430 <= 9.5 .5 <= x431 <= 7.5 .5 <= x432 <= 4.5 .3 <= x433 <= 9.7 .3 <= x434 <= 7.7 .3 <= x435 <= 4.7 x436 <= 10 x437 <= 8 x438 <= 5 x439 <= 10 x440 <= 8 x441 <= 5 x442 <= 10 x443 <= 8 x444 <= 5 x445 <= 10 x446 <= 8 x447 <= 5 x448 <= 10 x449 <= 8 x450 <= 5 x451 <= 10 x452 <= 8 x453 <= 5 x454 <= 10 x455 <= 8 x456 <= 5 x457 <= 10 x458 <= 8 x459 <= 5 x460 <= 10 x461 <= 8 x462 <= 5 x463 <= 10 x464 <= 8 x465 <= 5 End