\ Equation counts \ Total E G L N X C B \ 391 225 42 124 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 236 236 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1311 365 946 0 \ Minimize obj: 0 x1 + 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 + 200 x225 + 175 x226 + 300 x227 + 100 x228 + 300 x229 + 325 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + [ 400 x225^2 + 3.5e2 x226^2 + 500 x227^2 + 1.25e3 x228^2 + 500 x229^2 + 166.8 x230^2 ]/2 Subject To e2: x1 + [ - 7.14285714285714 x176 * x207 + 7.14285714285714 x177 * x206 ] = 0 e3: x2 + [ 7.14285714285714 x176 * x207 - 7.14285714285714 x177 * x206 ] = 0 e4: x3 + [ - .97864768683274 x191^2 + .97864768683274 x191 * x193 - 1.868327402135232 x191 * x223 + 1.868327402135232 x193 * x221 - .97864768683274 x221^2 + .97864768683274 x221 * x223 ] = 0 e5: x4 + [ .97864768683274 x191 * x193 + 1.868327402135232 x191 * x223 - .97864768683274 x193^2 - 1.868327402135232 x193 * x221 + .97864768683274 x221 * x223 - .97864768683274 x223^2 ] = 0 e6: x5 + [ - 4.10958904109589 x170^2 + 4.10958904109588 x170 * x171 - 10.95890410958904 x170 * x201 + 10.95890410958904 x171 * x200 - 4.10958904109589 x200^2 + 4.10958904109588 x200 * x201 ] = 0 e7: x6 + [ 4.10958904109588 x170 * x171 + 10.95890410958904 x170 * x201 - 4.10958904109589 x171^2 - 10.95890410958904 x171 * x200 + 4.10958904109588 x200 * x201 - 4.10958904109589 x201^2 ] = 0 e8: x7 + [ - 2.48868778280543 x178^2 + 2.48868778280542 x178 * x179 - 2.26244343891402 x178 * x209 + 2.26244343891402 x179 * x208 - 2.48868778280543 x208^2 + 2.48868778280542 x208 * x209 ] = 0 e9: x8 + [ 2.48868778280542 x178 * x179 + 2.26244343891402 x178 * x209 - 2.48868778280543 x179^2 - 2.26244343891402 x179 * x208 + 2.48868778280542 x208 * x209 - 2.48868778280543 x209^2 ] = 0 e10: x9 + [ - 2.55474452554745 x174^2 + 2.55474452554744 x174 * x186 - 5.47445255474452 x174 * x216 + 5.47445255474452 x186 * x204 - 2.55474452554745 x204^2 + 2.55474452554744 x204 * x216 ] = 0 e11: x10 + [ 2.55474452554744 x174 * x186 + 5.47445255474452 x174 * x216 - 2.55474452554745 x186^2 - 5.47445255474452 x186 * x204 + 2.55474452554744 x204 * x216 - 2.55474452554745 x216^2 ] = 0 e12: x11 + [ - 1.785714285714286 x170 * x204 + 1.785714285714286 x174 * x200 ] = 0 e13: x12 + [ 1.785714285714286 x170 * x204 - 1.785714285714286 x174 * x200 ] = 0 e14: x13 + [ - 5 x170^2 + 5 x170 * x192 - 15 x170 * x222 + 15 x192 * x200 - 5 x200^2 + 5 x200 * x222 ] = 0 e15: x14 + [ 5 x170 * x192 + 15 x170 * x222 - 5 x192^2 - 15 x192 * x200 + 5 x200 * x222 - 5 x222^2 ] = 0 e16: x15 + [ - 5 x165^2 + 5 x165 * x166 - 15 x165 * x196 + 15 x166 * x195 - 5 x195^2 + 5 x195 * x196 ] = 0 e17: x16 + [ 5 x165 * x166 + 15 x165 * x196 - 5 x166^2 - 15 x166 * x195 + 5 x195 * x196 - 5 x196^2 ] = 0 e18: x17 + [ - 4.76190476190476 x173 * x205 + 4.76190476190476 x175 * x203 ] = 0 e19: x18 + [ 4.76190476190476 x173 * x205 - 4.76190476190476 x175 * x203 ] = 0 e20: x19 + [ - 5.88235294117647 x167^2 + 5.88235294117648 x167 * x168 - 23.5294117647058 x167 * x198 + 23.5294117647058 x168 * x197 - 5.88235294117647 x197^2 + 5.88235294117648 x197 * x198 ] = 0 e21: x20 + [ 5.88235294117648 x167 * x168 + 23.5294117647058 x167 * x198 - 5.88235294117647 x168^2 - 23.5294117647058 x168 * x197 + 5.88235294117648 x197 * x198 - 5.88235294117647 x198^2 ] = 0 e22: x21 + [ - 1.46341463414634 x176^2 + 1.463414634146342 x176 * x178 - 3.17073170731708 x176 * x208 + 3.17073170731708 x178 * x206 - 1.46341463414634 x206^2 + 1.463414634146342 x206 * x208 ] = 0 e23: x22 + [ 1.463414634146342 x176 * x178 + 3.17073170731708 x176 * x208 - 1.46341463414634 x178^2 - 3.17073170731708 x178 * x206 + 1.463414634146342 x206 * x208 - 1.46341463414634 x208^2 ] = 0 e24: x23 + [ - 1.31034482758621 x188^2 + 1.310344827586206 x188 * x189 - 2.27586206896552 x188 * x219 + 2.27586206896552 x189 * x218 - 1.31034482758621 x218^2 + 1.310344827586206 x218 * x219 ] = 0 e25: x24 + [ 1.310344827586206 x188 * x189 + 2.27586206896552 x188 * x219 - 1.31034482758621 x189^2 - 2.27586206896552 x189 * x218 + 1.310344827586206 x218 * x219 - 1.31034482758621 x219^2 ] = 0 e26: x25 + [ - 1.44766146993318 x187^2 + 1.447661469933184 x187 * x188 - 3.00668151447662 x187 * x218 + 3.00668151447662 x188 * x217 - 1.44766146993318 x217^2 + 1.447661469933184 x217 * x218 ] = 0 e27: x26 + [ 1.447661469933184 x187 * x188 + 3.00668151447662 x187 * x218 - 1.44766146993318 x188^2 - 3.00668151447662 x188 * x217 + 1.447661469933184 x217 * x218 - 1.44766146993318 x218^2 ] = 0 e28: x27 + [ - 1.17647058823529 x166^2 + 1.176470588235294 x166 * x169 - 4.70588235294118 x166 * x199 + 4.70588235294118 x169 * x196 - 1.17647058823529 x196^2 + 1.176470588235294 x196 * x199 ] = 0 e29: x28 + [ 1.176470588235294 x166 * x169 + 4.70588235294118 x166 * x199 - 1.17647058823529 x169^2 - 4.70588235294118 x169 * x196 + 1.176470588235294 x196 * x199 - 1.17647058823529 x199^2 ] = 0 e30: x29 + [ - 5.17241379310345 x183^2 + 5.17241379310344 x183 * x184 - 12.06896551724138 x183 * x214 + 12.06896551724138 x184 * x213 - 5.17241379310345 x213^2 + 5.17241379310344 x213 * x214 ] = 0 e31: x30 + [ 5.17241379310344 x183 * x184 + 12.06896551724138 x183 * x214 - 5.17241379310345 x184^2 - 12.06896551724138 x184 * x213 + 5.17241379310344 x213 * x214 - 5.17241379310345 x214^2 ] = 0 e32: x31 + [ - 3.84615384615384 x168 * x206 + 3.84615384615384 x176 * x198 ] = 0 e33: x32 + [ 3.84615384615384 x168 * x206 - 3.84615384615384 x176 * x198 ] = 0 e34: x33 + [ - 5.17241379310345 x174^2 + 5.17241379310344 x174 * x185 - 12.06896551724138 x174 * x215 + 12.06896551724138 x185 * x204 - 5.17241379310345 x204^2 + 5.17241379310344 x204 * x215 ] = 0 e35: x34 + [ 5.17241379310344 x174 * x185 + 12.06896551724138 x174 * x215 - 5.17241379310345 x185^2 - 12.06896551724138 x185 * x204 + 5.17241379310344 x204 * x215 - 5.17241379310345 x215^2 ] = 0 e36: x35 + [ - 9.0909090909091 x173 * x204 + 9.0909090909091 x174 * x203 ] = 0 e37: x36 + [ 9.0909090909091 x173 * x204 - 9.0909090909091 x174 * x203 ] = 0 e38: x37 + [ - 3.21100917431193 x176^2 + 3.21100917431192 x176 * x179 - 5.96330275229358 x176 * x209 + 5.96330275229358 x179 * x206 - 3.21100917431193 x206^2 + 3.21100917431192 x206 * x209 ] = 0 e39: x38 + [ 3.21100917431192 x176 * x179 + 5.96330275229358 x176 * x209 - 3.21100917431193 x179^2 - 5.96330275229358 x179 * x206 + 3.21100917431192 x206 * x209 - 3.21100917431193 x209^2 ] = 0 e40: x39 + [ - 2.92682926829268 x182^2 + 2.92682926829268 x182 * x183 - 6.34146341463414 x182 * x213 + 6.34146341463414 x183 * x212 - 2.92682926829268 x212^2 + 2.92682926829268 x212 * x213 ] = 0 e41: x40 + [ 2.92682926829268 x182 * x183 + 6.34146341463414 x182 * x213 - 2.92682926829268 x183^2 - 6.34146341463414 x183 * x212 + 2.92682926829268 x212 * x213 - 2.92682926829268 x213^2 ] = 0 e42: x41 + [ 2.5 x191 * x222 - 2.5 x192 * x221 ] = 0 e43: x42 + [ - 2.5 x191 * x222 + 2.5 x192 * x221 ] = 0 e44: x43 + [ - 5.88235294117647 x170^2 + 5.88235294117648 x170 * x172 - 23.5294117647058 x170 * x202 + 23.5294117647058 x172 * x200 - 5.88235294117647 x200^2 + 5.88235294117648 x200 * x202 ] = 0 e45: x44 + [ 5.88235294117648 x170 * x172 + 23.5294117647058 x170 * x202 - 5.88235294117647 x172^2 - 23.5294117647058 x172 * x200 + 5.88235294117648 x200 * x202 - 5.88235294117647 x202^2 ] = 0 e46: x45 + [ - 1.95729537366548 x189^2 + 1.95729537366548 x189 * x191 - 3.73665480427046 x189 * x221 + 3.73665480427046 x191 * x219 - 1.95729537366548 x219^2 + 1.95729537366548 x219 * x221 ] = 0 e47: x46 + [ 1.95729537366548 x189 * x191 + 3.73665480427046 x189 * x221 - 1.95729537366548 x191^2 - 3.73665480427046 x191 * x219 + 1.95729537366548 x219 * x221 - 1.95729537366548 x221^2 ] = 0 e48: x47 + [ - 2.95857988165681 x169^2 + 2.9585798816568 x169 * x171 - 7.10059171597634 x169 * x201 + 7.10059171597634 x171 * x199 - 2.95857988165681 x199^2 + 2.9585798816568 x199 * x201 ] = 0 e49: x48 + [ 2.9585798816568 x169 * x171 + 7.10059171597634 x169 * x201 - 2.95857988165681 x171^2 - 7.10059171597634 x171 * x199 + 2.9585798816568 x199 * x201 - 2.95857988165681 x201^2 ] = 0 e50: x49 + [ - 20 x185^2 + 20 x185 * x186 - 40 x185 * x216 + 40 x186 * x215 - 20 x215^2 + 20 x215 * x216 ] = 0 e51: x50 + [ 20 x185 * x186 + 40 x185 * x216 - 20 x186^2 - 40 x186 * x215 + 20 x215 * x216 - 20 x216^2 ] = 0 e52: x51 + [ - 5.88235294117647 x168^2 + 5.88235294117648 x168 * x170 - 23.5294117647058 x168 * x200 + 23.5294117647058 x170 * x198 - 5.88235294117647 x198^2 + 5.88235294117648 x198 * x200 ] = 0 e53: x52 + [ 5.88235294117648 x168 * x170 + 23.5294117647058 x168 * x200 - 5.88235294117647 x170^2 - 23.5294117647058 x170 * x198 + 5.88235294117648 x198 * x200 - 5.88235294117647 x200^2 ] = 0 e54: x53 + [ - 1.72413793103448 x174^2 + 1.724137931034482 x174 * x184 - 4.02298850574712 x174 * x214 + 4.02298850574712 x184 * x204 - 1.72413793103448 x204^2 + 1.724137931034482 x204 * x214 ] = 0 e55: x54 + [ 1.724137931034482 x174 * x184 + 4.02298850574712 x174 * x214 - 1.72413793103448 x184^2 - 4.02298850574712 x184 * x204 + 1.724137931034482 x204 * x214 - 1.72413793103448 x214^2 ] = 0 e56: x55 + [ - 2.56410256410256 x186^2 + 2.56410256410256 x186 * x188 - 3.84615384615384 x186 * x218 + 3.84615384615384 x188 * x216 - 2.56410256410256 x216^2 + 2.56410256410256 x216 * x218 ] = 0 e57: x56 + [ 2.56410256410256 x186 * x188 + 3.84615384615384 x186 * x218 - 2.56410256410256 x188^2 - 3.84615384615384 x188 * x216 + 2.56410256410256 x216 * x218 - 2.56410256410256 x218^2 ] = 0 e58: x57 + [ - .69204152249135 x191^2 + .69204152249135 x191 * x194 - 1.29757785467128 x191 * x224 + 1.29757785467128 x194 * x221 - .69204152249135 x221^2 + .69204152249135 x221 * x224 ] = 0 e59: x58 + [ .69204152249135 x191 * x194 + 1.29757785467128 x191 * x224 - .69204152249135 x194^2 - 1.29757785467128 x194 * x221 + .69204152249135 x221 * x224 - .69204152249135 x224^2 ] = 0 e60: x59 + [ - 4.10958904109589 x174^2 + 4.10958904109588 x174 * x181 - 10.95890410958904 x174 * x211 + 10.95890410958904 x181 * x204 - 4.10958904109589 x204^2 + 4.10958904109588 x204 * x211 ] = 0 e61: x60 + [ 4.10958904109588 x174 * x181 + 10.95890410958904 x174 * x211 - 4.10958904109589 x181^2 - 10.95890410958904 x181 * x204 + 4.10958904109588 x204 * x211 - 4.10958904109589 x211^2 ] = 0 e62: x61 + [ - 1.37614678899083 x172^2 + 1.376146788990826 x172 * x192 - 4.58715596330276 x172 * x222 + 4.58715596330276 x192 * x202 - 1.37614678899083 x202^2 + 1.376146788990826 x202 * x222 ] = 0 e63: x62 + [ 1.376146788990826 x172 * x192 + 4.58715596330276 x172 * x222 - 1.37614678899083 x192^2 - 4.58715596330276 x192 * x202 + 1.376146788990826 x202 * x222 - 1.37614678899083 x222^2 ] = 0 e64: x63 + [ - 1.87110187110187 x176^2 + 1.87110187110187 x176 * x180 - 4.15800415800416 x176 * x210 + 4.15800415800416 x180 * x206 - 1.87110187110187 x206^2 + 1.87110187110187 x206 * x210 ] = 0 e65: x64 + [ 1.87110187110187 x176 * x180 + 4.15800415800416 x176 * x210 - 1.87110187110187 x180^2 - 4.15800415800416 x180 * x206 + 1.87110187110187 x206 * x210 - 1.87110187110187 x210^2 ] = 0 e66: x65 + [ - 4.76190476190476 x170 * x203 + 4.76190476190476 x173 * x200 ] = 0 e67: x66 + [ 4.76190476190476 x170 * x203 - 4.76190476190476 x173 * x200 ] = 0 e68: x67 + [ - 2 x179^2 + 2 x179 * x187 - 4 x179 * x217 + 4 x187 * x209 - 2 x209^2 + 2 x209 * x217 ] = 0 e69: x68 + [ 2 x179 * x187 + 4 x179 * x217 - 2 x187^2 - 4 x187 * x209 + 2 x209 * x217 - 2 x217^2 ] = 0 e70: x69 + [ - 1.20831319478009 x189^2 + 1.208313194780086 x189 * x190 - 1.836636056065732 x189 * x220 + 1.836636056065732 x190 * x219 - 1.20831319478009 x219^2 + 1.208313194780086 x219 * x220 ] = 0 e71: x70 + [ 1.208313194780086 x189 * x190 + 1.836636056065732 x189 * x220 - 1.20831319478009 x190^2 - 1.836636056065732 x190 * x219 + 1.208313194780086 x219 * x220 - 1.20831319478009 x220^2 ] = 0 e72: x71 + [ - 1.81818181818182 x179^2 + 1.818181818181818 x179 * x182 - 3.63636363636364 x179 * x212 + 3.63636363636364 x182 * x209 - 1.81818181818182 x209^2 + 1.818181818181818 x209 * x212 ] = 0 e73: x72 + [ 1.818181818181818 x179 * x182 + 3.63636363636364 x179 * x212 - 1.81818181818182 x182^2 - 3.63636363636364 x182 * x209 + 1.818181818181818 x209 * x212 - 1.81818181818182 x212^2 ] = 0 e74: x73 + [ - 1.88235294117647 x180^2 + 1.88235294117647 x180 * x181 - 4.47058823529412 x180 * x211 + 4.47058823529412 x181 * x210 - 1.88235294117647 x210^2 + 1.88235294117647 x210 * x211 ] = 0 e75: x74 + [ 1.88235294117647 x180 * x181 + 4.47058823529412 x180 * x211 - 1.88235294117647 x181^2 - 4.47058823529412 x181 * x210 + 1.88235294117647 x210 * x211 - 1.88235294117647 x211^2 ] = 0 e76: x75 + [ - 1.66666666666667 x166^2 + 1.666666666666666 x166 * x170 - 5 x166 * x200 + 5 x170 * x196 - 1.66666666666667 x196^2 + 1.666666666666666 x196 * x200 ] = 0 e77: x76 + [ 1.666666666666666 x166 * x170 + 5 x166 * x200 - 1.66666666666667 x170^2 - 5 x170 * x196 + 1.666666666666666 x196 * x200 - 1.66666666666667 x200^2 ] = 0 e78: x77 + [ - 1.84615384615385 x166^2 + 1.846153846153846 x166 * x168 - 5.23076923076922 x166 * x198 + 5.23076923076922 x168 * x196 - 1.84615384615385 x196^2 + 1.846153846153846 x196 * x198 ] = 0 e79: x78 + [ 1.846153846153846 x166 * x168 + 5.23076923076922 x166 * x198 - 1.84615384615385 x168^2 - 5.23076923076922 x168 * x196 + 1.846153846153846 x196 * x198 - 1.84615384615385 x198^2 ] = 0 e80: x79 + [ - 1.29533678756477 x165^2 + 1.295336787564766 x165 * x167 - 4.92227979274612 x165 * x197 + 4.92227979274612 x167 * x195 - 1.29533678756477 x195^2 + 1.295336787564766 x195 * x197 ] = 0 e81: x80 + [ 1.295336787564766 x165 * x167 + 4.92227979274612 x165 * x197 - 1.29533678756477 x167^2 - 4.92227979274612 x167 * x195 + 1.295336787564766 x195 * x197 - 1.29533678756477 x197^2 ] = 0 e82: x81 + [ - .922722029988466 x193^2 + .922722029988466 x193 * x194 - 1.730103806228374 x193 * x224 + 1.730103806228374 x194 * x223 - .922722029988466 x223^2 + .922722029988466 x223 * x224 ] = 0 e83: x82 + [ .922722029988466 x193 * x194 + 1.730103806228374 x193 * x224 - .922722029988466 x194^2 - 1.730103806228374 x194 * x223 + .922722029988466 x223 * x224 - .922722029988466 x224^2 ] = 0 e84: x83 + [ - 7.14285714285714 x176^2 + 7.14285714285714 x176 * x177 - 7.14285714285714 x206^2 + 7.14285714285714 x206 * x207 ] = 0 e85: x84 + [ 7.14285714285714 x176 * x177 - 7.14285714285714 x177^2 + 7.14285714285714 x206 * x207 - 7.14285714285714 x207^2 ] = 0 e86: x85 + [ - 1.86832740213523 x191^2 + 1.868327402135232 x191 * x193 + .97864768683274 x191 * x223 - .97864768683274 x193 * x221 - 1.86832740213523 x221^2 + 1.868327402135232 x221 * x223 ] = 0 e87: x86 + [ 1.868327402135232 x191 * x193 - .97864768683274 x191 * x223 - 1.86832740213523 x193^2 + .97864768683274 x193 * x221 + 1.868327402135232 x221 * x223 - 1.86832740213523 x223^2 ] = 0 e88: x87 + [ - 10.953904109589 x170^2 + 10.95890410958904 x170 * x171 + 4.10958904109588 x170 * x201 - 4.10958904109588 x171 * x200 - 10.953904109589 x200^2 + 10.95890410958904 x200 * x201 ] = 0 e89: x88 + [ 10.95890410958904 x170 * x171 - 4.10958904109588 x170 * x201 - 10.953904109589 x171^2 + 4.10958904109588 x171 * x200 + 10.95890410958904 x200 * x201 - 10.953904109589 x201^2 ] = 0 e90: x89 + [ - 2.26244343891403 x178^2 + 2.26244343891402 x178 * x179 + 2.48868778280542 x178 * x209 - 2.48868778280542 x179 * x208 - 2.26244343891403 x208^2 + 2.26244343891402 x208 * x209 ] = 0 e91: x90 + [ 2.26244343891402 x178 * x179 - 2.48868778280542 x178 * x209 - 2.26244343891403 x179^2 + 2.48868778280542 x179 * x208 + 2.26244343891402 x208 * x209 - 2.26244343891403 x209^2 ] = 0 e92: x91 + [ - 5.47445255474453 x174^2 + 5.47445255474452 x174 * x186 + 2.55474452554744 x174 * x216 - 2.55474452554744 x186 * x204 - 5.47445255474453 x204^2 + 5.47445255474452 x204 * x216 ] = 0 e93: x92 + [ 5.47445255474452 x174 * x186 - 2.55474452554744 x174 * x216 - 5.47445255474453 x186^2 + 2.55474452554744 x186 * x204 + 5.47445255474452 x204 * x216 - 5.47445255474453 x216^2 ] = 0 e94: x93 + [ - 1.78571428571429 x170^2 + 1.785714285714286 x170 * x174 - 1.78571428571429 x200^2 + 1.785714285714286 x200 * x204 ] = 0 e95: x94 + [ 1.785714285714286 x170 * x174 - 1.78571428571429 x174^2 + 1.785714285714286 x200 * x204 - 1.78571428571429 x204^2 ] = 0 e96: x95 + [ - 14.995 x170^2 + 15 x170 * x192 + 5 x170 * x222 - 5 x192 * x200 - 14.995 x200^2 + 15 x200 * x222 ] = 0 e97: x96 + [ 15 x170 * x192 - 5 x170 * x222 - 14.995 x192^2 + 5 x192 * x200 + 15 x200 * x222 - 14.995 x222^2 ] = 0 e98: x97 + [ - 14.985 x165^2 + 15 x165 * x166 + 5 x165 * x196 - 5 x166 * x195 - 14.985 x195^2 + 15 x195 * x196 ] = 0 e99: x98 + [ 15 x165 * x166 - 5 x165 * x196 - 14.985 x166^2 + 5 x166 * x195 + 15 x195 * x196 - 14.985 x196^2 ] = 0 e100: x99 + [ - 4.76190476190476 x173^2 + 4.76190476190476 x173 * x175 - 4.76190476190476 x203^2 + 4.76190476190476 x203 * x205 ] = 0 e101: x100 + [ 4.76190476190476 x173 * x175 - 4.76190476190476 x175^2 + 4.76190476190476 x203 * x205 - 4.76190476190476 x205^2 ] = 0 e102: x101 + [ - 23.5294117647059 x167^2 + 23.5294117647058 x167 * x168 + 5.88235294117648 x167 * x198 - 5.88235294117648 x168 * x197 - 23.5294117647059 x197^2 + 23.5294117647058 x197 * x198 ] = 0 e103: x102 + [ 23.5294117647058 x167 * x168 - 5.88235294117648 x167 * x198 - 23.5294117647059 x168^2 + 5.88235294117648 x168 * x197 + 23.5294117647058 x197 * x198 - 23.5294117647059 x198^2 ] = 0 e104: x103 + [ - 3.17073170731707 x176^2 + 3.17073170731708 x176 * x178 + 1.463414634146342 x176 * x208 - 1.463414634146342 x178 * x206 - 3.17073170731707 x206^2 + 3.17073170731708 x206 * x208 ] = 0 e105: x104 + [ 3.17073170731708 x176 * x178 - 1.463414634146342 x176 * x208 - 3.17073170731707 x178^2 + 1.463414634146342 x178 * x206 + 3.17073170731708 x206 * x208 - 3.17073170731707 x208^2 ] = 0 e106: x105 + [ - 2.27586206896552 x188^2 + 2.27586206896552 x188 * x189 + 1.310344827586206 x188 * x219 - 1.310344827586206 x189 * x218 - 2.27586206896552 x218^2 + 2.27586206896552 x218 * x219 ] = 0 e107: x106 + [ 2.27586206896552 x188 * x189 - 1.310344827586206 x188 * x219 - 2.27586206896552 x189^2 + 1.310344827586206 x189 * x218 + 2.27586206896552 x218 * x219 - 2.27586206896552 x219^2 ] = 0 e108: x107 + [ - 3.00668151447661 x187^2 + 3.00668151447662 x187 * x188 + 1.447661469933184 x187 * x218 - 1.447661469933184 x188 * x217 - 3.00668151447661 x217^2 + 3.00668151447662 x217 * x218 ] = 0 e109: x108 + [ 3.00668151447662 x187 * x188 - 1.447661469933184 x187 * x218 - 3.00668151447661 x188^2 + 1.447661469933184 x188 * x217 + 3.00668151447662 x217 * x218 - 3.00668151447661 x218^2 ] = 0 e110: x109 + [ - 4.69588235294118 x166^2 + 4.70588235294118 x166 * x169 + 1.176470588235294 x166 * x199 - 1.176470588235294 x169 * x196 - 4.69588235294118 x196^2 + 4.70588235294118 x196 * x199 ] = 0 e111: x110 + [ 4.70588235294118 x166 * x169 - 1.176470588235294 x166 * x199 - 4.69588235294118 x169^2 + 1.176470588235294 x169 * x196 + 4.70588235294118 x196 * x199 - 4.69588235294118 x199^2 ] = 0 e112: x111 + [ - 12.0689655172414 x183^2 + 12.06896551724138 x183 * x184 + 5.17241379310344 x183 * x214 - 5.17241379310344 x184 * x213 - 12.0689655172414 x213^2 + 12.06896551724138 x213 * x214 ] = 0 e113: x112 + [ 12.06896551724138 x183 * x184 - 5.17241379310344 x183 * x214 - 12.0689655172414 x184^2 + 5.17241379310344 x184 * x213 + 12.06896551724138 x213 * x214 - 12.0689655172414 x214^2 ] = 0 e114: x113 + [ - 3.84615384615385 x168^2 + 3.84615384615384 x168 * x176 - 3.84615384615385 x198^2 + 3.84615384615384 x198 * x206 ] = 0 e115: x114 + [ 3.84615384615384 x168 * x176 - 3.84615384615385 x176^2 + 3.84615384615384 x198 * x206 - 3.84615384615385 x206^2 ] = 0 e116: x115 + [ - 12.0689655172414 x174^2 + 12.06896551724138 x174 * x185 + 5.17241379310344 x174 * x215 - 5.17241379310344 x185 * x204 - 12.0689655172414 x204^2 + 12.06896551724138 x204 * x215 ] = 0 e117: x116 + [ 12.06896551724138 x174 * x185 - 5.17241379310344 x174 * x215 - 12.0689655172414 x185^2 + 5.17241379310344 x185 * x204 + 12.06896551724138 x204 * x215 - 12.0689655172414 x215^2 ] = 0 e118: x117 + [ - 9.09090909090909 x173^2 + 9.0909090909091 x173 * x174 - 9.09090909090909 x203^2 + 9.0909090909091 x203 * x204 ] = 0 e119: x118 + [ 9.0909090909091 x173 * x174 - 9.09090909090909 x174^2 + 9.0909090909091 x203 * x204 - 9.09090909090909 x204^2 ] = 0 e120: x119 + [ - 5.96330275229358 x176^2 + 5.96330275229358 x176 * x179 + 3.21100917431192 x176 * x209 - 3.21100917431192 x179 * x206 - 5.96330275229358 x206^2 + 5.96330275229358 x206 * x209 ] = 0 e121: x120 + [ 5.96330275229358 x176 * x179 - 3.21100917431192 x176 * x209 - 5.96330275229358 x179^2 + 3.21100917431192 x179 * x206 + 5.96330275229358 x206 * x209 - 5.96330275229358 x209^2 ] = 0 e122: x121 + [ - 6.34146341463415 x182^2 + 6.34146341463414 x182 * x183 + 2.92682926829268 x182 * x213 - 2.92682926829268 x183 * x212 - 6.34146341463415 x212^2 + 6.34146341463414 x212 * x213 ] = 0 e123: x122 + [ 6.34146341463414 x182 * x183 - 2.92682926829268 x182 * x213 - 6.34146341463415 x183^2 + 2.92682926829268 x183 * x212 + 6.34146341463414 x212 * x213 - 6.34146341463415 x213^2 ] = 0 e124: x123 + [ 2.5 x191 * x192 - 2.5 x192^2 + 2.5 x221 * x222 - 2.5 x222^2 ] = 0 e125: x124 + [ - 2.5 x191^2 + 2.5 x191 * x192 - 2.5 x221^2 + 2.5 x221 * x222 ] = 0 e126: x125 + [ - 23.5294117647059 x170^2 + 23.5294117647058 x170 * x172 + 5.88235294117648 x170 * x202 - 5.88235294117648 x172 * x200 - 23.5294117647059 x200^2 + 23.5294117647058 x200 * x202 ] = 0 e127: x126 + [ 23.5294117647058 x170 * x172 - 5.88235294117648 x170 * x202 - 23.5294117647059 x172^2 + 5.88235294117648 x172 * x200 + 23.5294117647058 x200 * x202 - 23.5294117647059 x202^2 ] = 0 e128: x127 + [ - 3.73665480427046 x189^2 + 3.73665480427046 x189 * x191 + 1.95729537366548 x189 * x221 - 1.95729537366548 x191 * x219 - 3.73665480427046 x219^2 + 3.73665480427046 x219 * x221 ] = 0 e129: x128 + [ 3.73665480427046 x189 * x191 - 1.95729537366548 x189 * x221 - 3.73665480427046 x191^2 + 1.95729537366548 x191 * x219 + 3.73665480427046 x219 * x221 - 3.73665480427046 x221^2 ] = 0 e130: x129 + [ - 7.09559171597633 x169^2 + 7.10059171597634 x169 * x171 + 2.9585798816568 x169 * x201 - 2.9585798816568 x171 * x199 - 7.09559171597633 x199^2 + 7.10059171597634 x199 * x201 ] = 0 e131: x130 + [ 7.10059171597634 x169 * x171 - 2.9585798816568 x169 * x201 - 7.09559171597633 x171^2 + 2.9585798816568 x171 * x199 + 7.10059171597634 x199 * x201 - 7.09559171597633 x201^2 ] = 0 e132: x131 + [ - 40 x185^2 + 40 x185 * x186 + 20 x185 * x216 - 20 x186 * x215 - 40 x215^2 + 40 x215 * x216 ] = 0 e133: x132 + [ 40 x185 * x186 - 20 x185 * x216 - 40 x186^2 + 20 x186 * x215 + 40 x215 * x216 - 40 x216^2 ] = 0 e134: x133 + [ - 23.5294117647059 x168^2 + 23.5294117647058 x168 * x170 + 5.88235294117648 x168 * x200 - 5.88235294117648 x170 * x198 - 23.5294117647059 x198^2 + 23.5294117647058 x198 * x200 ] = 0 e135: x134 + [ 23.5294117647058 x168 * x170 - 5.88235294117648 x168 * x200 - 23.5294117647059 x170^2 + 5.88235294117648 x170 * x198 + 23.5294117647058 x198 * x200 - 23.5294117647059 x200^2 ] = 0 e136: x135 + [ - 4.02298850574713 x174^2 + 4.02298850574712 x174 * x184 + 1.724137931034482 x174 * x214 - 1.724137931034482 x184 * x204 - 4.02298850574713 x204^2 + 4.02298850574712 x204 * x214 ] = 0 e137: x136 + [ 4.02298850574712 x174 * x184 - 1.724137931034482 x174 * x214 - 4.02298850574713 x184^2 + 1.724137931034482 x184 * x204 + 4.02298850574712 x204 * x214 - 4.02298850574713 x214^2 ] = 0 e138: x137 + [ - 3.84615384615385 x186^2 + 3.84615384615384 x186 * x188 + 2.56410256410256 x186 * x218 - 2.56410256410256 x188 * x216 - 3.84615384615385 x216^2 + 3.84615384615384 x216 * x218 ] = 0 e139: x138 + [ 3.84615384615384 x186 * x188 - 2.56410256410256 x186 * x218 - 3.84615384615385 x188^2 + 2.56410256410256 x188 * x216 + 3.84615384615384 x216 * x218 - 3.84615384615385 x218^2 ] = 0 e140: x139 + [ - 1.29757785467128 x191^2 + 1.29757785467128 x191 * x194 + .69204152249135 x191 * x224 - .69204152249135 x194 * x221 - 1.29757785467128 x221^2 + 1.29757785467128 x221 * x224 ] = 0 e141: x140 + [ 1.29757785467128 x191 * x194 - .69204152249135 x191 * x224 - 1.29757785467128 x194^2 + .69204152249135 x194 * x221 + 1.29757785467128 x221 * x224 - 1.29757785467128 x224^2 ] = 0 e142: x141 + [ - 10.958904109589 x174^2 + 10.95890410958904 x174 * x181 + 4.10958904109588 x174 * x211 - 4.10958904109588 x181 * x204 - 10.958904109589 x204^2 + 10.95890410958904 x204 * x211 ] = 0 e143: x142 + [ 10.95890410958904 x174 * x181 - 4.10958904109588 x174 * x211 - 10.958904109589 x181^2 + 4.10958904109588 x181 * x204 + 10.95890410958904 x204 * x211 - 10.958904109589 x211^2 ] = 0 e144: x143 + [ - 4.57715596330275 x172^2 + 4.58715596330276 x172 * x192 + 1.376146788990826 x172 * x222 - 1.376146788990826 x192 * x202 - 4.57715596330275 x202^2 + 4.58715596330276 x202 * x222 ] = 0 e145: x144 + [ 4.58715596330276 x172 * x192 - 1.376146788990826 x172 * x222 - 4.57715596330275 x192^2 + 1.376146788990826 x192 * x202 + 4.58715596330276 x202 * x222 - 4.57715596330275 x222^2 ] = 0 e146: x145 + [ - 4.15800415800416 x176^2 + 4.15800415800416 x176 * x180 + 1.87110187110187 x176 * x210 - 1.87110187110187 x180 * x206 - 4.15800415800416 x206^2 + 4.15800415800416 x206 * x210 ] = 0 e147: x146 + [ 4.15800415800416 x176 * x180 - 1.87110187110187 x176 * x210 - 4.15800415800416 x180^2 + 1.87110187110187 x180 * x206 + 4.15800415800416 x206 * x210 - 4.15800415800416 x210^2 ] = 0 e148: x147 + [ - 4.76190476190476 x170^2 + 4.76190476190476 x170 * x173 - 4.76190476190476 x200^2 + 4.76190476190476 x200 * x203 ] = 0 e149: x148 + [ 4.76190476190476 x170 * x173 - 4.76190476190476 x173^2 + 4.76190476190476 x200 * x203 - 4.76190476190476 x203^2 ] = 0 e150: x149 + [ - 4 x179^2 + 4 x179 * x187 + 2 x179 * x217 - 2 x187 * x209 - 4 x209^2 + 4 x209 * x217 ] = 0 e151: x150 + [ 4 x179 * x187 - 2 x179 * x217 - 4 x187^2 + 2 x187 * x209 + 4 x209 * x217 - 4 x217^2 ] = 0 e152: x151 + [ - 1.83663605606573 x189^2 + 1.836636056065732 x189 * x190 + 1.208313194780086 x189 * x220 - 1.208313194780086 x190 * x219 - 1.83663605606573 x219^2 + 1.836636056065732 x219 * x220 ] = 0 e153: x152 + [ 1.836636056065732 x189 * x190 - 1.208313194780086 x189 * x220 - 1.83663605606573 x190^2 + 1.208313194780086 x190 * x219 + 1.836636056065732 x219 * x220 - 1.83663605606573 x220^2 ] = 0 e154: x153 + [ - 3.63636363636364 x179^2 + 3.63636363636364 x179 * x182 + 1.818181818181818 x179 * x212 - 1.818181818181818 x182 * x209 - 3.63636363636364 x209^2 + 3.63636363636364 x209 * x212 ] = 0 e155: x154 + [ 3.63636363636364 x179 * x182 - 1.818181818181818 x179 * x212 - 3.63636363636364 x182^2 + 1.818181818181818 x182 * x209 + 3.63636363636364 x209 * x212 - 3.63636363636364 x212^2 ] = 0 e156: x155 + [ - 4.47058823529412 x180^2 + 4.47058823529412 x180 * x181 + 1.88235294117647 x180 * x211 - 1.88235294117647 x181 * x210 - 4.47058823529412 x210^2 + 4.47058823529412 x210 * x211 ] = 0 e157: x156 + [ 4.47058823529412 x180 * x181 - 1.88235294117647 x180 * x211 - 4.47058823529412 x181^2 + 1.88235294117647 x181 * x210 + 4.47058823529412 x210 * x211 - 4.47058823529412 x211^2 ] = 0 e158: x157 + [ - 4.99 x166^2 + 5 x166 * x170 + 1.666666666666666 x166 * x200 - 1.666666666666666 x170 * x196 - 4.99 x196^2 + 5 x196 * x200 ] = 0 e159: x158 + [ 5 x166 * x170 - 1.666666666666666 x166 * x200 - 4.99 x170^2 + 1.666666666666666 x170 * x196 + 5 x196 * x200 - 4.99 x200^2 ] = 0 e160: x159 + [ - 5.22076923076923 x166^2 + 5.23076923076922 x166 * x168 + 1.846153846153846 x166 * x198 - 1.846153846153846 x168 * x196 - 5.22076923076923 x196^2 + 5.23076923076922 x196 * x198 ] = 0 e161: x160 + [ 5.23076923076922 x166 * x168 - 1.846153846153846 x166 * x198 - 5.22076923076923 x168^2 + 1.846153846153846 x168 * x196 + 5.23076923076922 x196 * x198 - 5.22076923076923 x198^2 ] = 0 e162: x161 + [ - 4.91227979274611 x165^2 + 4.92227979274612 x165 * x167 + 1.295336787564766 x165 * x197 - 1.295336787564766 x167 * x195 - 4.91227979274611 x195^2 + 4.92227979274612 x195 * x197 ] = 0 e163: x162 + [ 4.92227979274612 x165 * x167 - 1.295336787564766 x165 * x197 - 4.91227979274611 x167^2 + 1.295336787564766 x167 * x195 + 4.92227979274612 x195 * x197 - 4.91227979274611 x197^2 ] = 0 e164: x163 + [ - 1.73010380622837 x193^2 + 1.730103806228374 x193 * x194 + .922722029988466 x193 * x224 - .922722029988466 x194 * x223 - 1.73010380622837 x223^2 + 1.730103806228374 x223 * x224 ] = 0 e165: x164 + [ 1.730103806228374 x193 * x194 - .922722029988466 x193 * x224 - 1.73010380622837 x194^2 + .922722029988466 x194 * x223 + 1.730103806228374 x223 * x224 - 1.73010380622837 x224^2 ] = 0 e166: [ x1^2 + x83^2 ] <= .4225 e167: [ x2^2 + x84^2 ] <= .4225 e168: [ x3^2 + x85^2 ] <= 2.56e-2 e169: [ x4^2 + x86^2 ] <= 2.56e-2 e170: [ x5^2 + x87^2 ] <= 1.69 e171: [ x6^2 + x88^2 ] <= 1.69 e172: [ x7^2 + x89^2 ] <= 2.56e-2 e173: [ x8^2 + x90^2 ] <= 2.56e-2 e174: [ x9^2 + x91^2 ] <= .1024 e175: [ x10^2 + x92^2 ] <= .1024 e176: [ x11^2 + x93^2 ] <= .1024 e177: [ x12^2 + x94^2 ] <= .1024 e178: [ x13^2 + x95^2 ] <= .1024 e179: [ x14^2 + x96^2 ] <= .1024 e180: [ x15^2 + x97^2 ] <= 1.69 e181: [ x16^2 + x98^2 ] <= 1.69 e182: [ x17^2 + x99^2 ] <= .4225 e183: [ x18^2 + x100^2 ] <= .4225 e184: [ x19^2 + x101^2 ] <= 1.69 e185: [ x20^2 + x102^2 ] <= 1.69 e186: [ x21^2 + x103^2 ] <= .1024 e187: [ x22^2 + x104^2 ] <= .1024 e188: [ x23^2 + x105^2 ] <= 2.56e-2 e189: [ x24^2 + x106^2 ] <= 2.56e-2 e190: [ x25^2 + x107^2 ] <= 2.56e-2 e191: [ x26^2 + x108^2 ] <= 2.56e-2 e192: [ x27^2 + x109^2 ] <= 1.69 e193: [ x28^2 + x110^2 ] <= 1.69 e194: [ x29^2 + x111^2 ] <= .1024 e195: [ x30^2 + x112^2 ] <= .1024 e196: [ x31^2 + x113^2 ] <= .4225 e197: [ x32^2 + x114^2 ] <= .4225 e198: [ x33^2 + x115^2 ] <= .1024 e199: [ x34^2 + x116^2 ] <= .1024 e200: [ x35^2 + x117^2 ] <= .4225 e201: [ x36^2 + x118^2 ] <= .4225 e202: [ x37^2 + x119^2 ] <= .1024 e203: [ x38^2 + x120^2 ] <= .1024 e204: [ x39^2 + x121^2 ] <= 2.56e-2 e205: [ x40^2 + x122^2 ] <= 2.56e-2 e206: [ x41^2 + x123^2 ] <= .4225 e207: [ x42^2 + x124^2 ] <= .4225 e208: [ x43^2 + x125^2 ] <= .1024 e209: [ x44^2 + x126^2 ] <= .1024 e210: [ x45^2 + x127^2 ] <= 2.56e-2 e211: [ x46^2 + x128^2 ] <= 2.56e-2 e212: [ x47^2 + x129^2 ] <= .49 e213: [ x48^2 + x130^2 ] <= .49 e214: [ x49^2 + x131^2 ] <= .1024 e215: [ x50^2 + x132^2 ] <= .1024 e216: [ x51^2 + x133^2 ] <= .81 e217: [ x52^2 + x134^2 ] <= .81 e218: [ x53^2 + x135^2 ] <= .1024 e219: [ x54^2 + x136^2 ] <= .1024 e220: [ x55^2 + x137^2 ] <= 2.56e-2 e221: [ x56^2 + x138^2 ] <= 2.56e-2 e222: [ x57^2 + x139^2 ] <= 2.56e-2 e223: [ x58^2 + x140^2 ] <= 2.56e-2 e224: [ x59^2 + x141^2 ] <= .1024 e225: [ x60^2 + x142^2 ] <= .1024 e226: [ x61^2 + x143^2 ] <= .1024 e227: [ x62^2 + x144^2 ] <= .1024 e228: [ x63^2 + x145^2 ] <= .1024 e229: [ x64^2 + x146^2 ] <= .1024 e230: [ x65^2 + x147^2 ] <= .4225 e231: [ x66^2 + x148^2 ] <= .4225 e232: [ x67^2 + x149^2 ] <= 2.56e-2 e233: [ x68^2 + x150^2 ] <= 2.56e-2 e234: [ x69^2 + x151^2 ] <= 2.56e-2 e235: [ x70^2 + x152^2 ] <= 2.56e-2 e236: [ x71^2 + x153^2 ] <= 2.56e-2 e237: [ x72^2 + x154^2 ] <= 2.56e-2 e238: [ x73^2 + x155^2 ] <= 2.56e-2 e239: [ x74^2 + x156^2 ] <= 2.56e-2 e240: [ x75^2 + x157^2 ] <= .4225 e241: [ x76^2 + x158^2 ] <= .4225 e242: [ x77^2 + x159^2 ] <= .4225 e243: [ x78^2 + x160^2 ] <= .4225 e244: [ x79^2 + x161^2 ] <= 1.69 e245: [ x80^2 + x162^2 ] <= 1.69 e246: [ x81^2 + x163^2 ] <= 2.56e-2 e247: [ x82^2 + x164^2 ] <= 2.56e-2 e248: [ x165^2 + x195^2 ] <= 1.1025 e249: [ x166^2 + x196^2 ] <= 1.21 e250: [ x167^2 + x197^2 ] <= 1.1025 e251: [ x168^2 + x198^2 ] <= 1.1025 e252: [ x169^2 + x199^2 ] <= 1.1025 e253: [ x170^2 + x200^2 ] <= 1.1025 e254: [ x171^2 + x201^2 ] <= 1.1025 e255: [ x172^2 + x202^2 ] <= 1.1025 e256: [ x173^2 + x203^2 ] <= 1.1025 e257: [ x174^2 + x204^2 ] <= 1.1025 e258: [ x175^2 + x205^2 ] <= 1.1025 e259: [ x176^2 + x206^2 ] <= 1.1025 e260: [ x177^2 + x207^2 ] <= 1.21 e261: [ x178^2 + x208^2 ] <= 1.1025 e262: [ x179^2 + x209^2 ] <= 1.1025 e263: [ x180^2 + x210^2 ] <= 1.1025 e264: [ x181^2 + x211^2 ] <= 1.1025 e265: [ x182^2 + x212^2 ] <= 1.1025 e266: [ x183^2 + x213^2 ] <= 1.1025 e267: [ x184^2 + x214^2 ] <= 1.1025 e268: [ x185^2 + x215^2 ] <= 1.1025 e269: [ x186^2 + x216^2 ] <= 1.21 e270: [ x187^2 + x217^2 ] <= 1.21 e271: [ x188^2 + x218^2 ] <= 1.1025 e272: [ x189^2 + x219^2 ] <= 1.1025 e273: [ x190^2 + x220^2 ] <= 1.1025 e274: [ x191^2 + x221^2 ] <= 1.21 e275: [ x192^2 + x222^2 ] <= 1.1025 e276: [ x193^2 + x223^2 ] <= 1.1025 e277: [ x194^2 + x224^2 ] <= 1.1025 e278: [ x165^2 + x195^2 ] >= .9025 e279: [ x166^2 + x196^2 ] >= .9025 e280: [ x167^2 + x197^2 ] >= .9025 e281: [ x168^2 + x198^2 ] >= .9025 e282: [ x169^2 + x199^2 ] >= .9025 e283: [ x170^2 + x200^2 ] >= .9025 e284: [ x171^2 + x201^2 ] >= .9025 e285: [ x172^2 + x202^2 ] >= .9025 e286: [ x173^2 + x203^2 ] >= .9025 e287: [ x174^2 + x204^2 ] >= .9025 e288: [ x175^2 + x205^2 ] >= .9025 e289: [ x176^2 + x206^2 ] >= .9025 e290: [ x177^2 + x207^2 ] >= .9025 e291: [ x178^2 + x208^2 ] >= .9025 e292: [ x179^2 + x209^2 ] >= .9025 e293: [ x180^2 + x210^2 ] >= .9025 e294: [ x181^2 + x211^2 ] >= .9025 e295: [ x182^2 + x212^2 ] >= .9025 e296: [ x183^2 + x213^2 ] >= .9025 e297: [ x184^2 + x214^2 ] >= .9025 e298: [ x185^2 + x215^2 ] >= .9025 e299: [ x186^2 + x216^2 ] >= .9025 e300: [ x187^2 + x217^2 ] >= .9025 e301: [ x188^2 + x218^2 ] >= .9025 e302: [ x189^2 + x219^2 ] >= .9025 e303: [ x190^2 + x220^2 ] >= .9025 e304: [ x191^2 + x221^2 ] >= .9025 e305: [ x192^2 + x222^2 ] >= .9025 e306: [ x193^2 + x223^2 ] >= .9025 e307: [ x194^2 + x224^2 ] >= .9025 e308: x225 <= .8 e309: x226 <= .8 e310: x227 <= .4 e311: x228 <= .5 e312: x229 <= .3 e313: x230 <= .55 e314: x225 >= 0 e315: x226 >= 0 e316: x227 >= 0 e317: x228 >= 0 e318: x229 >= 0 e319: x230 >= 0 e320: x231 <= 1.5 e321: x232 <= .6 e322: x233 <= .447 e323: x234 <= .625 e324: x235 <= .4 e325: x236 <= .487 e326: x231 >= -.2 e327: x232 >= -.2 e328: x233 >= -.15 e329: x234 >= -.15 e330: x235 >= -.1 e331: x236 >= -.15 e332: x195 = 0 e333: x15 + x79 - x225 = 0 e334: x16 + x27 + x75 + x77 - x226 = -.217 e335: x2 - x227 = 0 e336: x10 + x50 + x55 - x228 = 0 e337: x25 + x68 - x229 = -3.2e-2 e338: x3 + x42 + x46 + x57 - x230 = 0 e339: x97 + x161 - x231 = 0 e340: x98 + x109 + x157 + x159 - x232 = -.127 e341: x84 - x233 = 0 e342: x92 + x132 + x137 - x234 = 0 e343: x107 + x150 - x235 = -1.6e-2 e344: x85 + x124 + x128 + x139 - x236 = 0 e345: x19 + x80 = -2.4e-2 e346: x20 + x31 + x51 + x78 = -7.6e-2 e347: x28 + x47 = 0 e348: x5 + x11 + x13 + x43 + x52 + x65 + x76 = 0 e349: x6 + x48 = -.228 e350: x44 + x61 = -.3 e351: x17 + x35 + x66 = 0 e352: x9 + x12 + x33 + x36 + x53 + x59 = -5.8e-2 e353: x18 = 0 e354: x1 + x21 + x32 + x37 + x63 = -.112 e355: x7 + x22 = -6.2e-2 e356: x8 + x38 + x67 + x71 = -8.2e-2 e357: x64 + x73 = -3.5e-2 e358: x60 + x74 = -9e-2 e359: x39 + x72 = -3.2e-2 e360: x29 + x40 = -9.5e-2 e361: x30 + x54 = -2.2e-2 e362: x34 + x49 = -.175 e363: x23 + x26 + x56 = -8.7e-2 e364: x24 + x45 + x69 = 0 e365: x70 = -3.5e-2 e366: x14 + x41 + x62 = 0 e367: x4 + x81 = -2.4e-2 e368: x58 + x82 = -.106 e369: x101 + x162 = -1.2e-2 e370: x102 + x113 + x133 + x160 = -1.6e-2 e371: x110 + x129 = 0 e372: x87 + x93 + x95 + x125 + x134 + x147 + x158 = 0 e373: x88 + x130 = -.109 e374: x126 + x143 = -.3 e375: x99 + x117 + x148 = 0 e376: x91 + x94 + x115 + x118 + x135 + x141 = -2e-2 e377: x100 = 0 e378: x83 + x103 + x114 + x119 + x145 = -7.5e-2 e379: x89 + x104 = -1.6e-2 e380: x90 + x120 + x149 + x153 = -2.5e-2 e381: x146 + x155 = -1.8e-2 e382: x142 + x156 = -5.8e-2 e383: x121 + x154 = -9e-3 e384: x111 + x122 = -3.4e-2 e385: x112 + x136 = -7e-3 e386: x116 + x131 = -.112 e387: x105 + x108 + x138 = -6.7e-2 e388: x106 + x127 + x151 = 0 e389: x152 = -2.3e-2 e390: x96 + x123 + x144 = 0 e391: x86 + x163 = -9e-3 e392: x140 + x164 = -1.9e-2 Bounds x1 Free x2 Free x3 Free x4 Free x5 Free x6 Free x7 Free x8 Free x9 Free x10 Free x11 Free x12 Free x13 Free x14 Free x15 Free x16 Free x17 Free x18 Free x19 Free x20 Free x21 Free x22 Free x23 Free x24 Free x25 Free x26 Free x27 Free x28 Free x29 Free x30 Free x31 Free x32 Free x33 Free x34 Free x35 Free x36 Free x37 Free x38 Free x39 Free x40 Free x41 Free x42 Free x43 Free x44 Free x45 Free x46 Free x47 Free x48 Free x49 Free x50 Free x51 Free x52 Free x53 Free x54 Free x55 Free x56 Free x57 Free x58 Free x59 Free x60 Free x61 Free x62 Free x63 Free x64 Free x65 Free x66 Free x67 Free x68 Free x69 Free x70 Free x71 Free x72 Free x73 Free x74 Free x75 Free x76 Free x77 Free x78 Free x79 Free x80 Free x81 Free x82 Free x83 Free x84 Free x85 Free x86 Free x87 Free x88 Free x89 Free x90 Free x91 Free x92 Free x93 Free x94 Free x95 Free x96 Free x97 Free x98 Free x99 Free x100 Free x101 Free x102 Free x103 Free x104 Free x105 Free x106 Free x107 Free x108 Free x109 Free x110 Free x111 Free x112 Free x113 Free x114 Free x115 Free x116 Free x117 Free x118 Free x119 Free x120 Free x121 Free x122 Free x123 Free x124 Free x125 Free x126 Free x127 Free x128 Free x129 Free x130 Free x131 Free x132 Free x133 Free x134 Free x135 Free x136 Free x137 Free x138 Free x139 Free x140 Free x141 Free x142 Free x143 Free x144 Free x145 Free x146 Free x147 Free x148 Free x149 Free x150 Free x151 Free x152 Free x153 Free x154 Free x155 Free x156 Free x157 Free x158 Free x159 Free x160 Free x161 Free x162 Free x163 Free x164 Free x165 Free x166 Free x167 Free x168 Free x169 Free x170 Free x171 Free x172 Free x173 Free x174 Free x175 Free x176 Free x177 Free x178 Free x179 Free x180 Free x181 Free x182 Free x183 Free x184 Free x185 Free x186 Free x187 Free x188 Free x189 Free x190 Free x191 Free x192 Free x193 Free x194 Free x195 Free x196 Free x197 Free x198 Free x199 Free x200 Free x201 Free x202 Free x203 Free x204 Free x205 Free x206 Free x207 Free x208 Free x209 Free x210 Free x211 Free x212 Free x213 Free x214 Free x215 Free x216 Free x217 Free x218 Free x219 Free x220 Free x221 Free x222 Free x223 Free x224 Free x225 Free x226 Free x227 Free x228 Free x229 Free x230 Free x231 Free x232 Free x233 Free x234 Free x235 Free x236 Free End