\ Equation counts \ Total E G L N X C B \ 473 263 59 151 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 282 282 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1515 429 1086 0 \ Minimize obj: 2 + 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 + 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 + 30 x263 + 30 x264 + 30 x265 + 30 x266 + 30 x267 + 30 x268 + 30 x269 + 30 x270 + 30 x271 + 30 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 100 x263^2 + 100 x264^2 + 100 x265^2 + 100 x266^2 + 100 x267^2 + 100 x268^2 + 100 x269^2 + 100 x270^2 + 100 x271^2 + 100 x272^2 Subject To e2: x1 - .844411840765037 x196^2 + .844411840765038 x196 x197 - 22.9574469207994 x196 x236 + 22.9574469207994 x197 x235 - .844411840765037 x235^2 + .844411840765038 x235 x236 = 0 e3: x2 + .844411840765038 x196 x197 + 22.9574469207994 x196 x236 - .844411840765037 x197^2 - 22.9574469207994 x197 x235 + .844411840765038 x235 x236 - .844411840765037 x236^2 = 0 e4: x3 - 6.34517766497462 x189^2 + 6.34517766497462 x189 x192 - 88.8324873096446 x189 x231 + 88.8324873096446 x192 x228 - 6.34517766497462 x228^2 + 6.34517766497462 x228 x231 = 0 e5: x4 + 6.34517766497462 x189 x192 + 88.8324873096446 x189 x231 - 6.34517766497462 x192^2 - 88.8324873096446 x192 x228 + 6.34517766497462 x228 x231 - 6.34517766497462 x231^2 = 0 e6: x5 - 8.78293601003764 x200^2 + 8.78293601003764 x200 x201 - 111.6687578419072 x200 x240 + 111.6687578419072 x201 x239 - 8.78293601003764 x239^2 + 8.78293601003764 x239 x240 = 0 e7: x6 + 8.78293601003764 x200 x201 + 111.6687578419072 x200 x240 - 8.78293601003764 x201^2 - 111.6687578419072 x201 x239 + 8.78293601003764 x239 x240 - 8.78293601003764 x240^2 = 0 e8: x7 - 40 x190 x254 + 40 x215 x229 = 0 e9: x8 + 40 x190 x254 - 40 x215 x229 = 0 e10: x9 - 7.05882352941176 x190^2 + 7.05882352941176 x190 x191 - 108.235294117647 x190 x230 + 108.235294117647 x191 x229 - 7.05882352941176 x229^2 + 7.05882352941176 x229 x230 = 0 e11: x10 + 7.05882352941176 x190 x191 + 108.235294117647 x190 x230 - 7.05882352941176 x191^2 - 108.235294117647 x191 x229 + 7.05882352941176 x229 x230 - 7.05882352941176 x230^2 = 0 e12: x11 - 1.59744408945687 x185^2 + 1.597444089456868 x185 x223 - 39.9361022364218 x185 x262 + 39.9361022364218 x223 x224 - 1.59744408945687 x224^2 + 1.597444089456868 x224 x262 = 0 e13: x12 + 1.597444089456868 x185 x223 + 39.9361022364218 x185 x262 - 1.59744408945687 x223^2 - 39.9361022364218 x223 x224 + 1.597444089456868 x224 x262 - 1.59744408945687 x262^2 = 0 e14: x13 - 6.42054574638844 x210^2 + 6.42054574638844 x210 x211 - 67.4157303370786 x210 x250 + 67.4157303370786 x211 x249 - 6.42054574638844 x249^2 + 6.42054574638844 x249 x250 = 0 e15: x14 + 6.42054574638844 x210 x211 + 67.4157303370786 x210 x250 - 6.42054574638844 x211^2 - 67.4157303370786 x211 x249 + 6.42054574638844 x249 x250 - 6.42054574638844 x250^2 = 0 e16: x15 - 50 x194 x255 + 50 x216 x233 = 0 e17: x16 + 50 x194 x255 - 50 x216 x233 = 0 e18: x17 - 2.0570568805614 x185^2 + 2.0570568805614 x185 x186 - 24.1557250831638 x185 x225 + 24.1557250831638 x186 x224 - 2.0570568805614 x224^2 + 2.0570568805614 x224 x225 = 0 e19: x18 + 2.0570568805614 x185 x186 + 24.1557250831638 x185 x225 - 2.0570568805614 x186^2 - 24.1557250831638 x186 x224 + 2.0570568805614 x224 x225 - 2.0570568805614 x225^2 = 0 e20: x19 - 2.85475866309456 x187^2 + 2.85475866309456 x187 x188 - 46.7741227107032 x187 x227 + 46.7741227107032 x188 x226 - 2.85475866309456 x226^2 + 2.85475866309456 x226 x227 = 0 e21: x20 + 2.85475866309456 x187 x188 + 46.7741227107032 x187 x227 - 2.85475866309456 x188^2 - 46.7741227107032 x188 x226 + 2.85475866309456 x226 x227 - 2.85475866309456 x227^2 = 0 e22: x21 - 69.93006993007 x206 x258 + 69.93006993007 x219 x245 = 0 e23: x22 + 69.93006993007 x206 x258 - 69.93006993007 x219 x245 = 0 e24: x23 - 5.65955594253374 x186^2 + 5.65955594253374 x186 x187 - 65.737919024815 x186 x226 + 65.737919024815 x187 x225 - 5.65955594253374 x225^2 + 5.65955594253374 x225 x226 = 0 e25: x24 + 5.65955594253374 x186 x187 + 65.737919024815 x186 x226 - 5.65955594253374 x187^2 - 65.737919024815 x187 x225 + 5.65955594253374 x225 x226 - 5.65955594253374 x226^2 = 0 e26: x25 - 1.78885058218955 x207^2 + 1.788850582189552 x207 x208 - 28.4589865348338 x207 x247 + 28.4589865348338 x208 x246 - 1.78885058218955 x246^2 + 1.788850582189552 x246 x247 = 0 e27: x26 + 1.788850582189552 x207 x208 + 28.4589865348338 x207 x247 - 1.78885058218955 x208^2 - 28.4589865348338 x208 x246 + 1.788850582189552 x246 x247 - 1.78885058218955 x247^2 = 0 e28: x27 - 6.08775057616211 x212^2 + 6.0877505761621 x212 x213 - 65.660738357177 x212 x252 + 65.660738357177 x213 x251 - 6.08775057616211 x251^2 + 6.0877505761621 x251 x252 = 0 e29: x28 + 6.0877505761621 x212 x213 + 65.660738357177 x212 x252 - 6.08775057616211 x213^2 - 65.660738357177 x213 x251 + 6.0877505761621 x251 x252 - 6.08775057616211 x252^2 = 0 e30: x29 - 2.7708506511499 x204^2 + 2.7708506511499 x204 x218 - 55.417013022998 x204 x257 + 55.417013022998 x218 x243 - 2.7708506511499 x243^2 + 2.7708506511499 x243 x257 = 0 e31: x30 + 2.7708506511499 x204 x218 + 55.417013022998 x204 x257 - 2.7708506511499 x218^2 - 55.417013022998 x218 x243 + 2.7708506511499 x243 x257 - 2.7708506511499 x257^2 = 0 e32: x31 - 1.73849944821539 x192^2 + 1.738499448215392 x192 x193 - 27.4380565087908 x192 x232 + 27.4380565087908 x193 x231 - 1.73849944821539 x231^2 + 1.738499448215392 x231 x232 = 0 e33: x32 + 1.738499448215392 x192 x193 + 27.4380565087908 x192 x232 - 1.73849944821539 x193^2 - 27.4380565087908 x193 x231 + 1.738499448215392 x231 x232 - 1.73849944821539 x232^2 = 0 e34: x33 - 4.31922386869559 x201^2 + 4.3192238686956 x201 x211 - 57.4789022526414 x201 x250 + 57.4789022526414 x211 x240 - 4.31922386869559 x240^2 + 4.3192238686956 x240 x250 = 0 e35: x34 + 4.3192238686956 x201 x211 + 57.4789022526414 x201 x250 - 4.31922386869559 x211^2 - 57.4789022526414 x211 x240 + 4.3192238686956 x240 x250 - 4.31922386869559 x250^2 = 0 e36: x35 - 4.06834825061025 x205^2 + 4.06834825061026 x205 x206 - 71.1960943856794 x205 x245 + 71.1960943856794 x206 x244 - 4.06834825061025 x244^2 + 4.06834825061026 x244 x245 = 0 e37: x36 + 4.06834825061026 x205 x206 + 71.1960943856794 x205 x245 - 4.06834825061025 x206^2 - 71.1960943856794 x206 x244 + 4.06834825061026 x244 x245 - 4.06834825061025 x245^2 = 0 e38: x37 - 10.335154289089 x190^2 + 10.33515428908902 x190 x195 - 121.0689502436144 x190 x234 + 121.0689502436144 x195 x229 - 10.335154289089 x229^2 + 10.33515428908902 x229 x234 = 0 e39: x38 + 10.33515428908902 x190 x195 + 121.0689502436144 x190 x234 - 10.335154289089 x195^2 - 121.0689502436144 x195 x229 + 10.33515428908902 x229 x234 - 10.335154289089 x234^2 = 0 e40: x39 - 6.17630544637844 x187^2 + 6.17630544637844 x187 x202 - 74.6771476698484 x187 x241 + 74.6771476698484 x202 x226 - 6.17630544637844 x226^2 + 6.17630544637844 x226 x241 = 0 e41: x40 + 6.17630544637844 x187 x202 + 74.6771476698484 x187 x241 - 6.17630544637844 x202^2 - 74.6771476698484 x202 x226 + 6.17630544637844 x226 x241 - 6.17630544637844 x241^2 = 0 e42: x41 - 4.17961913220658 x200^2 + 4.17961913220658 x200 x203 - 50.9391081737676 x200 x242 + 50.9391081737676 x203 x239 - 4.17961913220658 x239^2 + 4.17961913220658 x239 x242 = 0 e43: x42 + 4.17961913220658 x200 x203 + 50.9391081737676 x200 x242 - 4.17961913220658 x203^2 - 50.9391081737676 x203 x239 + 4.17961913220658 x239 x242 - 4.17961913220658 x242^2 = 0 e44: x43 - 3.66626512334363 x203^2 + 3.66626512334364 x203 x204 - 72.2777981459174 x203 x243 + 72.2777981459174 x204 x242 - 3.66626512334363 x242^2 + 3.66626512334364 x242 x243 = 0 e45: x44 + 3.66626512334364 x203 x204 + 72.2777981459174 x203 x243 - 3.66626512334363 x204^2 - 72.2777981459174 x204 x242 + 3.66626512334364 x242 x243 - 3.66626512334363 x243^2 = 0 e46: x45 - 3.03740757263675 x209^2 + 3.03740757263676 x209 x210 - 30.6588326863022 x209 x249 + 30.6588326863022 x210 x248 - 3.03740757263675 x248^2 + 3.03740757263676 x248 x249 = 0 e47: x46 + 3.03740757263676 x209 x210 + 30.6588326863022 x209 x249 - 3.03740757263675 x210^2 - 30.6588326863022 x210 x248 + 3.03740757263676 x248 x249 - 3.03740757263675 x249^2 = 0 e48: x47 - 10.0930806324997 x199^2 + 10.09308063249972 x199 x200 - 105.4166199394416 x199 x239 + 105.4166199394416 x200 x238 - 10.0930806324997 x238^2 + 10.09308063249972 x238 x239 = 0 e49: x48 + 10.09308063249972 x199 x200 + 105.4166199394416 x199 x239 - 10.0930806324997 x200^2 - 105.4166199394416 x200 x238 + 10.09308063249972 x238 x239 - 10.0930806324997 x239^2 = 0 e50: x49 + .844411840765038 x195 x196 + 22.9574469207994 x195 x235 - .844411840765037 x196^2 - 22.9574469207994 x196 x234 + .844411840765038 x234 x235 - .844411840765037 x235^2 = 0 e51: x50 - .844411840765037 x195^2 + .844411840765038 x195 x196 - 22.9574469207994 x195 x235 + 22.9574469207994 x196 x234 - .844411840765037 x234^2 + .844411840765038 x234 x235 = 0 e52: x51 - 10.335154289089 x201^2 + 10.33515428908902 x201 x202 - 121.0689502436144 x201 x241 + 121.0689502436144 x202 x240 - 10.335154289089 x240^2 + 10.33515428908902 x240 x241 = 0 e53: x52 + 10.33515428908902 x201 x202 + 121.0689502436144 x201 x241 - 10.335154289089 x202^2 - 121.0689502436144 x202 x240 + 10.33515428908902 x240 x241 - 10.335154289089 x241^2 = 0 e54: x53 - 4.86381322957198 x188^2 + 4.86381322957198 x188 x189 - 77.8210116731518 x188 x228 + 77.8210116731518 x189 x227 - 4.86381322957198 x227^2 + 4.86381322957198 x227 x228 = 0 e55: x54 + 4.86381322957198 x188 x189 + 77.8210116731518 x188 x228 - 4.86381322957198 x189^2 - 77.8210116731518 x189 x227 + 4.86381322957198 x227 x228 - 4.86381322957198 x228^2 = 0 e56: x55 - 4.37421400842036 x200^2 + 4.37421400842036 x200 x205 - 73.8148613920936 x200 x244 + 73.8148613920936 x205 x239 - 4.37421400842036 x239^2 + 4.37421400842036 x239 x244 = 0 e57: x56 + 4.37421400842036 x200 x205 + 73.8148613920936 x200 x244 - 4.37421400842036 x205^2 - 73.8148613920936 x205 x239 + 4.37421400842036 x239 x244 - 4.37421400842036 x244^2 = 0 e58: x57 - 1.59744408945687 x193^2 + 1.597444089456868 x193 x223 - 39.9361022364218 x193 x262 + 39.9361022364218 x223 x232 - 1.59744408945687 x232^2 + 1.597444089456868 x232 x262 = 0 e59: x58 + 1.597444089456868 x193 x223 + 39.9361022364218 x193 x262 - 1.59744408945687 x223^2 - 39.9361022364218 x223 x232 + 1.597444089456868 x232 x262 - 1.59744408945687 x262^2 = 0 e60: x59 - 6.48508430609598 x206^2 + 6.48508430609598 x206 x207 - 103.7613488975356 x206 x246 + 103.7613488975356 x207 x245 - 6.48508430609598 x245^2 + 6.48508430609598 x245 x246 = 0 e61: x60 + 6.48508430609598 x206 x207 + 103.7613488975356 x206 x246 - 6.48508430609598 x207^2 - 103.7613488975356 x207 x245 + 6.48508430609598 x245 x246 - 6.48508430609598 x246^2 = 0 e62: x61 - 8.75316086364521 x197^2 + 8.7531608636452 x197 x198 - 98.229916358685 x197 x237 + 98.229916358685 x198 x236 - 8.75316086364521 x236^2 + 8.7531608636452 x236 x237 = 0 e63: x62 + 8.7531608636452 x197 x198 + 98.229916358685 x197 x237 - 8.75316086364521 x198^2 - 98.229916358685 x198 x236 + 8.7531608636452 x236 x237 - 8.75316086364521 x237^2 = 0 e64: x63 - 55.2486187845304 x186 x253 + 55.2486187845304 x214 x225 = 0 e65: x64 + 55.2486187845304 x186 x253 - 55.2486187845304 x214 x225 = 0 e66: x65 - 21.4477211796247 x194^2 + 21.4477211796246 x194 x197 - 230.563002680966 x194 x236 + 230.563002680966 x197 x233 - 21.4477211796247 x233^2 + 21.4477211796246 x233 x236 = 0 e67: x66 + 21.4477211796246 x194 x197 + 230.563002680966 x194 x236 - 21.4477211796247 x197^2 - 230.563002680966 x197 x233 + 21.4477211796246 x233 x236 - 21.4477211796247 x236^2 = 0 e68: x67 - 29.4117647058824 x189^2 + 29.4117647058824 x189 x190 - 382.35294117647 x189 x229 + 382.35294117647 x190 x228 - 29.4117647058824 x228^2 + 29.4117647058824 x228 x229 = 0 e69: x68 + 29.4117647058824 x189 x190 + 382.35294117647 x189 x229 - 29.4117647058824 x190^2 - 382.35294117647 x190 x228 + 29.4117647058824 x228 x229 - 29.4117647058824 x229^2 = 0 e70: x69 - 8.59598853868195 x200^2 + 8.59598853868194 x200 x208 - 169.054441260745 x200 x247 + 169.054441260745 x208 x239 - 8.59598853868195 x239^2 + 8.59598853868194 x239 x247 = 0 e71: x70 + 8.59598853868194 x200 x208 + 169.054441260745 x200 x247 - 8.59598853868195 x208^2 - 169.054441260745 x208 x239 + 8.59598853868194 x239 x247 - 8.59598853868195 x247^2 = 0 e72: x71 - 1.11399925733383 x209^2 + 1.113999257333828 x209 x221 - 43.0746379502414 x209 x260 + 43.0746379502414 x221 x248 - 1.11399925733383 x248^2 + 1.113999257333828 x248 x260 = 0 e73: x72 + 1.113999257333828 x209 x221 + 43.0746379502414 x209 x260 - 1.11399925733383 x221^2 - 43.0746379502414 x221 x248 + 1.113999257333828 x248 x260 - 1.11399925733383 x260^2 = 0 e74: x73 - 3.27868852459016 x213^2 + 3.27868852459016 x213 x222 - 63.9344262295082 x213 x261 + 63.9344262295082 x222 x252 - 3.27868852459016 x252^2 + 3.27868852459016 x252 x261 = 0 e75: x74 + 3.27868852459016 x213 x222 + 63.9344262295082 x213 x261 - 3.27868852459016 x222^2 - 63.9344262295082 x222 x252 + 3.27868852459016 x252 x261 - 3.27868852459016 x261^2 = 0 e76: x75 - 3.7964271402358 x198^2 + 3.7964271402358 x198 x199 - 45.7680383017316 x198 x238 + 45.7680383017316 x199 x237 - 3.7964271402358 x237^2 + 3.7964271402358 x237 x238 = 0 e77: x76 + 3.7964271402358 x198 x199 + 45.7680383017316 x198 x238 - 3.7964271402358 x199^2 - 45.7680383017316 x199 x237 + 3.7964271402358 x237 x238 - 3.7964271402358 x238^2 = 0 e78: x77 - .675593508897567 x207^2 + .675593508897566 x207 x220 - 36.7522868840276 x207 x259 + 36.7522868840276 x220 x246 - .675593508897567 x246^2 + .675593508897566 x246 x259 = 0 e79: x78 + .675593508897566 x207 x220 + 36.7522868840276 x207 x259 - .675593508897567 x220^2 - 36.7522868840276 x220 x246 + .675593508897566 x246 x259 - .675593508897567 x259^2 = 0 e80: x79 - 1.44716330603188 x210^2 + 1.447163306031878 x210 x213 - 15.8680187064899 x210 x252 + 15.8680187064899 x213 x249 - 1.44716330603188 x249^2 + 1.447163306031878 x249 x252 = 0 e81: x80 + 1.447163306031878 x210 x213 + 15.8680187064899 x210 x252 - 1.44716330603188 x213^2 - 15.8680187064899 x213 x249 + 1.447163306031878 x249 x252 - 1.44716330603188 x252^2 = 0 e82: x81 - 3.46311779547816 x203^2 + 3.46311779547816 x203 x217 - 70.2518181368426 x203 x256 + 70.2518181368426 x217 x242 - 3.46311779547816 x242^2 + 3.46311779547816 x242 x256 = 0 e83: x82 + 3.46311779547816 x203 x217 + 70.2518181368426 x203 x256 - 3.46311779547816 x217^2 - 70.2518181368426 x217 x242 + 3.46311779547816 x242 x256 - 3.46311779547816 x256^2 = 0 e84: x83 - 4.78898533373242 x188^2 + 4.78898533373242 x188 x198 - 77.2223885064352 x188 x237 + 77.2223885064352 x198 x227 - 4.78898533373242 x227^2 + 4.78898533373242 x227 x237 = 0 e85: x84 + 4.78898533373242 x188 x198 + 77.2223885064352 x188 x237 - 4.78898533373242 x198^2 - 77.2223885064352 x198 x227 + 4.78898533373242 x227 x237 - 4.78898533373242 x237^2 = 0 e86: x85 - 21.4477211796247 x194^2 + 21.4477211796246 x194 x195 - 230.563002680966 x194 x234 + 230.563002680966 x195 x233 - 21.4477211796247 x233^2 + 21.4477211796246 x233 x234 = 0 e87: x86 + 21.4477211796246 x194 x195 + 230.563002680966 x194 x234 - 21.4477211796247 x195^2 - 230.563002680966 x195 x233 + 21.4477211796246 x233 x234 - 21.4477211796247 x234^2 = 0 e88: x87 - 56.9290826284971 x186^2 + 56.929082628497 x186 x209 - 69.9414443721536 x186 x248 + 69.9414443721536 x209 x225 - 56.9290826284971 x225^2 + 56.929082628497 x225 x248 = 0 e89: x88 + 56.929082628497 x186 x209 + 69.9414443721536 x186 x248 - 56.9290826284971 x209^2 - 69.9414443721536 x209 x225 + 56.929082628497 x225 x248 - 56.9290826284971 x248^2 = 0 e90: x89 - 18.7617260787993 x191^2 + 18.76172607879926 x191 x192 - 215.759849906192 x191 x231 + 215.759849906192 x192 x230 - 18.7617260787993 x230^2 + 18.76172607879926 x230 x231 = 0 e91: x90 + 18.76172607879926 x191 x192 + 215.759849906192 x191 x231 - 18.7617260787993 x192^2 - 215.759849906192 x192 x230 + 18.76172607879926 x230 x231 - 18.7617260787993 x231^2 = 0 e92: x91 - 1.89824522679616 x210^2 + 1.89824522679616 x210 x212 - 20.9248427325902 x210 x251 + 20.9248427325902 x212 x249 - 1.89824522679616 x249^2 + 1.89824522679616 x249 x251 = 0 e93: x92 + 1.89824522679616 x210 x212 + 20.9248427325902 x210 x251 - 1.89824522679616 x212^2 - 20.9248427325902 x212 x249 + 1.89824522679616 x249 x251 - 1.89824522679616 x251^2 = 0 e94: x93 - 22.9574469207994 x196^2 + 22.9574469207994 x196 x197 + .844411840765038 x196 x236 - .844411840765038 x197 x235 - 22.9574469207994 x235^2 + 22.9574469207994 x235 x236 = 0 e95: x94 + 22.9574469207994 x196 x197 - .844411840765038 x196 x236 - 22.9574469207994 x197^2 + .844411840765038 x197 x235 + 22.9574469207994 x235 x236 - 22.9574469207994 x236^2 = 0 e96: x95 - 88.7586873096447 x189^2 + 88.8324873096446 x189 x192 + 6.34517766497462 x189 x231 - 6.34517766497462 x192 x228 - 88.7586873096447 x228^2 + 88.8324873096446 x228 x231 = 0 e97: x96 + 88.8324873096446 x189 x192 - 6.34517766497462 x189 x231 - 88.7586873096447 x192^2 + 6.34517766497462 x192 x228 + 88.8324873096446 x228 x231 - 88.7586873096447 x231^2 = 0 e98: x97 - 111.601657841907 x200^2 + 111.6687578419072 x200 x201 + 8.78293601003764 x200 x240 - 8.78293601003764 x201 x239 - 111.601657841907 x239^2 + 111.6687578419072 x239 x240 = 0 e99: x98 + 111.6687578419072 x200 x201 - 8.78293601003764 x200 x240 - 111.601657841907 x201^2 + 8.78293601003764 x201 x239 + 111.6687578419072 x239 x240 - 111.601657841907 x240^2 = 0 e100: x99 - 40 x190^2 + 40 x190 x215 - 40 x229^2 + 40 x229 x254 = 0 e101: x100 + 40 x190 x215 - 40 x215^2 + 40 x229 x254 - 40 x254^2 = 0 e102: x101 - 108.178794117647 x190^2 + 108.235294117647 x190 x191 + 7.05882352941176 x190 x230 - 7.05882352941176 x191 x229 - 108.178794117647 x229^2 + 108.235294117647 x229 x230 = 0 e103: x102 + 108.235294117647 x190 x191 - 7.05882352941176 x190 x230 - 108.178794117647 x191^2 + 7.05882352941176 x191 x229 + 108.235294117647 x229 x230 - 108.178794117647 x230^2 = 0 e104: x103 - 39.5611022364217 x185^2 + 39.9361022364218 x185 x223 + 1.597444089456868 x185 x262 - 1.597444089456868 x223 x224 - 39.5611022364217 x224^2 + 39.9361022364218 x224 x262 = 0 e105: x104 + 39.9361022364218 x185 x223 - 1.597444089456868 x185 x262 - 39.5611022364217 x223^2 + 1.597444089456868 x223 x224 + 39.9361022364218 x224 x262 - 39.5611022364217 x262^2 = 0 e106: x105 - 67.2959303370787 x210^2 + 67.4157303370786 x210 x211 + 6.42054574638844 x210 x250 - 6.42054574638844 x211 x249 - 67.2959303370787 x249^2 + 67.4157303370786 x249 x250 = 0 e107: x106 + 67.4157303370786 x210 x211 - 6.42054574638844 x210 x250 - 67.2959303370787 x211^2 + 6.42054574638844 x211 x249 + 67.4157303370786 x249 x250 - 67.2959303370787 x250^2 = 0 e108: x107 - 50 x194^2 + 50 x194 x216 - 50 x233^2 + 50 x233 x255 = 0 e109: x108 + 50 x194 x216 - 50 x216^2 + 50 x233 x255 - 50 x255^2 = 0 e110: x109 - 23.8063750831639 x185^2 + 24.1557250831638 x185 x186 + 2.0570568805614 x185 x225 - 2.0570568805614 x186 x224 - 23.8063750831639 x224^2 + 24.1557250831638 x224 x225 = 0 e111: x110 + 24.1557250831638 x185 x186 - 2.0570568805614 x185 x225 - 23.8063750831639 x186^2 + 2.0570568805614 x186 x224 + 24.1557250831638 x224 x225 - 23.8063750831639 x225^2 = 0 e112: x111 - 46.6634227107032 x187^2 + 46.7741227107032 x187 x188 + 2.85475866309456 x187 x227 - 2.85475866309456 x188 x226 - 46.6634227107032 x226^2 + 46.7741227107032 x226 x227 = 0 e113: x112 + 46.7741227107032 x187 x188 - 2.85475866309456 x187 x227 - 46.6634227107032 x188^2 + 2.85475866309456 x188 x226 + 46.7741227107032 x226 x227 - 46.6634227107032 x227^2 = 0 e114: x113 - 69.9300699300699 x206^2 + 69.93006993007 x206 x219 - 69.9300699300699 x245^2 + 69.93006993007 x245 x258 = 0 e115: x114 + 69.93006993007 x206 x219 - 69.9300699300699 x219^2 + 69.93006993007 x245 x258 - 69.9300699300699 x258^2 = 0 e116: x115 - 65.609319024815 x186^2 + 65.737919024815 x186 x187 + 5.65955594253374 x186 x226 - 5.65955594253374 x187 x225 - 65.609319024815 x225^2 + 65.737919024815 x225 x226 = 0 e117: x116 + 65.737919024815 x186 x187 - 5.65955594253374 x186 x226 - 65.609319024815 x187^2 + 5.65955594253374 x187 x225 + 65.737919024815 x225 x226 - 65.609319024815 x226^2 = 0 e118: x117 - 28.2784865348338 x207^2 + 28.4589865348338 x207 x208 + 1.788850582189552 x207 x247 - 1.788850582189552 x208 x246 - 28.2784865348338 x246^2 + 28.4589865348338 x246 x247 = 0 e119: x118 + 28.4589865348338 x207 x208 - 1.788850582189552 x207 x247 - 28.2784865348338 x208^2 + 1.788850582189552 x208 x246 + 28.4589865348338 x246 x247 - 28.2784865348338 x247^2 = 0 e120: x119 - 65.536238357177 x212^2 + 65.660738357177 x212 x213 + 6.0877505761621 x212 x252 - 6.0877505761621 x213 x251 - 65.536238357177 x251^2 + 65.660738357177 x251 x252 = 0 e121: x120 + 65.660738357177 x212 x213 - 6.0877505761621 x212 x252 - 65.536238357177 x213^2 + 6.0877505761621 x213 x251 + 65.660738357177 x251 x252 - 65.536238357177 x252^2 = 0 e122: x121 - 55.4170130229981 x204^2 + 55.417013022998 x204 x218 + 2.7708506511499 x204 x257 - 2.7708506511499 x218 x243 - 55.4170130229981 x243^2 + 55.417013022998 x243 x257 = 0 e123: x122 + 55.417013022998 x204 x218 - 2.7708506511499 x204 x257 - 55.4170130229981 x218^2 + 2.7708506511499 x218 x243 + 55.417013022998 x243 x257 - 55.4170130229981 x257^2 = 0 e124: x123 - 27.2478565087908 x192^2 + 27.4380565087908 x192 x193 + 1.738499448215392 x192 x232 - 1.738499448215392 x193 x231 - 27.2478565087908 x231^2 + 27.4380565087908 x231 x232 = 0 e125: x124 + 27.4380565087908 x192 x193 - 1.738499448215392 x192 x232 - 27.2478565087908 x193^2 + 1.738499448215392 x193 x231 + 27.4380565087908 x231 x232 - 27.2478565087908 x232^2 = 0 e126: x125 - 57.3181022526414 x201^2 + 57.4789022526414 x201 x211 + 4.3192238686956 x201 x250 - 4.3192238686956 x211 x240 - 57.3181022526414 x240^2 + 57.4789022526414 x240 x250 = 0 e127: x126 + 57.4789022526414 x201 x211 - 4.3192238686956 x201 x250 - 57.3181022526414 x211^2 + 4.3192238686956 x211 x240 + 57.4789022526414 x240 x250 - 57.3181022526414 x250^2 = 0 e128: x127 - 71.0678443856794 x205^2 + 71.1960943856794 x205 x206 + 4.06834825061026 x205 x245 - 4.06834825061026 x206 x244 - 71.0678443856794 x244^2 + 71.1960943856794 x244 x245 = 0 e129: x128 + 71.1960943856794 x205 x206 - 4.06834825061026 x205 x245 - 71.0678443856794 x206^2 + 4.06834825061026 x206 x244 + 71.1960943856794 x244 x245 - 71.0678443856794 x245^2 = 0 e130: x129 - 120.999500243614 x190^2 + 121.0689502436144 x190 x195 + 10.33515428908902 x190 x234 - 10.33515428908902 x195 x229 - 120.999500243614 x229^2 + 121.0689502436144 x229 x234 = 0 e131: x130 + 121.0689502436144 x190 x195 - 10.33515428908902 x190 x234 - 120.999500243614 x195^2 + 10.33515428908902 x195 x229 + 121.0689502436144 x229 x234 - 120.999500243614 x234^2 = 0 e132: x131 - 74.5702476698484 x187^2 + 74.6771476698484 x187 x202 + 6.17630544637844 x187 x241 - 6.17630544637844 x202 x226 - 74.5702476698484 x226^2 + 74.6771476698484 x226 x241 = 0 e133: x132 + 74.6771476698484 x187 x202 - 6.17630544637844 x187 x241 - 74.5702476698484 x202^2 + 6.17630544637844 x202 x226 + 74.6771476698484 x226 x241 - 74.5702476698484 x241^2 = 0 e134: x133 - 50.7871081737677 x200^2 + 50.9391081737676 x200 x203 + 4.17961913220658 x200 x242 - 4.17961913220658 x203 x239 - 50.7871081737677 x239^2 + 50.9391081737676 x239 x242 = 0 e135: x134 + 50.9391081737676 x200 x203 - 4.17961913220658 x200 x242 - 50.7871081737677 x203^2 + 4.17961913220658 x203 x239 + 50.9391081737676 x239 x242 - 50.7871081737677 x242^2 = 0 e136: x135 - 72.2777981459174 x203^2 + 72.2777981459174 x203 x204 + 3.66626512334364 x203 x243 - 3.66626512334364 x204 x242 - 72.2777981459174 x242^2 + 72.2777981459174 x242 x243 = 0 e137: x136 + 72.2777981459174 x203 x204 - 3.66626512334364 x203 x243 - 72.2777981459174 x204^2 + 3.66626512334364 x204 x242 + 72.2777981459174 x242 x243 - 72.2777981459174 x243^2 = 0 e138: x137 - 30.3933326863022 x209^2 + 30.6588326863022 x209 x210 + 3.03740757263676 x209 x249 - 3.03740757263676 x210 x248 - 30.3933326863022 x248^2 + 30.6588326863022 x248 x249 = 0 e139: x138 + 30.6588326863022 x209 x210 - 3.03740757263676 x209 x249 - 30.3933326863022 x210^2 + 3.03740757263676 x210 x248 + 30.6588326863022 x248 x249 - 30.3933326863022 x249^2 = 0 e140: x139 - 105.331119939442 x199^2 + 105.4166199394416 x199 x200 + 10.09308063249972 x199 x239 - 10.09308063249972 x200 x238 - 105.331119939442 x238^2 + 105.4166199394416 x238 x239 = 0 e141: x140 + 105.4166199394416 x199 x200 - 10.09308063249972 x199 x239 - 105.331119939442 x200^2 + 10.09308063249972 x200 x238 + 105.4166199394416 x238 x239 - 105.331119939442 x239^2 = 0 e142: x141 + 22.9574469207994 x195 x196 - .844411840765038 x195 x235 - 22.9574469207994 x196^2 + .844411840765038 x196 x234 + 22.9574469207994 x234 x235 - 22.9574469207994 x235^2 = 0 e143: x142 - 22.9574469207994 x195^2 + 22.9574469207994 x195 x196 + .844411840765038 x195 x235 - .844411840765038 x196 x234 - 22.9574469207994 x234^2 + 22.9574469207994 x234 x235 = 0 e144: x143 - 121.003000243614 x201^2 + 121.0689502436144 x201 x202 + 10.33515428908902 x201 x241 - 10.33515428908902 x202 x240 - 121.003000243614 x240^2 + 121.0689502436144 x240 x241 = 0 e145: x144 + 121.0689502436144 x201 x202 - 10.33515428908902 x201 x241 - 121.003000243614 x202^2 + 10.33515428908902 x202 x240 + 121.0689502436144 x240 x241 - 121.003000243614 x241^2 = 0 e146: x145 - 77.7539116731518 x188^2 + 77.8210116731518 x188 x189 + 4.86381322957198 x188 x228 - 4.86381322957198 x189 x227 - 77.7539116731518 x227^2 + 77.8210116731518 x227 x228 = 0 e147: x146 + 77.8210116731518 x188 x189 - 4.86381322957198 x188 x228 - 77.7539116731518 x189^2 + 4.86381322957198 x189 x227 + 77.8210116731518 x227 x228 - 77.7539116731518 x228^2 = 0 e148: x147 - 73.6874613920936 x200^2 + 73.8148613920936 x200 x205 + 4.37421400842036 x200 x244 - 4.37421400842036 x205 x239 - 73.6874613920936 x239^2 + 73.8148613920936 x239 x244 = 0 e149: x148 + 73.8148613920936 x200 x205 - 4.37421400842036 x200 x244 - 73.6874613920936 x205^2 + 4.37421400842036 x205 x239 + 73.8148613920936 x239 x244 - 73.6874613920936 x244^2 = 0 e150: x149 - 39.3361022364217 x193^2 + 39.9361022364218 x193 x223 + 1.597444089456868 x193 x262 - 1.597444089456868 x223 x232 - 39.3361022364217 x232^2 + 39.9361022364218 x232 x262 = 0 e151: x150 + 39.9361022364218 x193 x223 - 1.597444089456868 x193 x262 - 39.3361022364217 x223^2 + 1.597444089456868 x223 x232 + 39.9361022364218 x232 x262 - 39.3361022364217 x262^2 = 0 e152: x151 - 103.669048897536 x206^2 + 103.7613488975356 x206 x207 + 6.48508430609598 x206 x246 - 6.48508430609598 x207 x245 - 103.669048897536 x245^2 + 103.7613488975356 x245 x246 = 0 e153: x152 + 103.7613488975356 x206 x207 - 6.48508430609598 x206 x246 - 103.669048897536 x207^2 + 6.48508430609598 x207 x245 + 103.7613488975356 x245 x246 - 103.669048897536 x246^2 = 0 e154: x153 - 98.1437663586851 x197^2 + 98.229916358685 x197 x198 + 8.7531608636452 x197 x237 - 8.7531608636452 x198 x236 - 98.1437663586851 x236^2 + 98.229916358685 x236 x237 = 0 e155: x154 + 98.229916358685 x197 x198 - 8.7531608636452 x197 x237 - 98.1437663586851 x198^2 + 8.7531608636452 x198 x236 + 98.229916358685 x236 x237 - 98.1437663586851 x237^2 = 0 e156: x155 - 55.2486187845304 x186^2 + 55.2486187845304 x186 x214 - 55.2486187845304 x225^2 + 55.2486187845304 x225 x253 = 0 e157: x156 + 55.2486187845304 x186 x214 - 55.2486187845304 x214^2 + 55.2486187845304 x225 x253 - 55.2486187845304 x253^2 = 0 e158: x157 - 230.526552680965 x194^2 + 230.563002680966 x194 x197 + 21.4477211796246 x194 x236 - 21.4477211796246 x197 x233 - 230.526552680965 x233^2 + 230.563002680966 x233 x236 = 0 e159: x158 + 230.563002680966 x194 x197 - 21.4477211796246 x194 x236 - 230.526552680965 x197^2 + 21.4477211796246 x197 x233 + 230.563002680966 x233 x236 - 230.526552680965 x236^2 = 0 e160: x159 - 382.331241176471 x189^2 + 382.35294117647 x189 x190 + 29.4117647058824 x189 x229 - 29.4117647058824 x190 x228 - 382.331241176471 x228^2 + 382.35294117647 x228 x229 = 0 e161: x160 + 382.35294117647 x189 x190 - 29.4117647058824 x189 x229 - 382.331241176471 x190^2 + 29.4117647058824 x190 x228 + 382.35294117647 x228 x229 - 382.331241176471 x229^2 = 0 e162: x161 - 169.020441260745 x200^2 + 169.054441260745 x200 x208 + 8.59598853868194 x200 x247 - 8.59598853868194 x208 x239 - 169.020441260745 x239^2 + 169.054441260745 x239 x247 = 0 e163: x162 + 169.054441260745 x200 x208 - 8.59598853868194 x200 x247 - 169.020441260745 x208^2 + 8.59598853868194 x208 x239 + 169.054441260745 x239 x247 - 169.020441260745 x247^2 = 0 e164: x163 - 43.0746379502414 x209^2 + 43.0746379502414 x209 x221 + 1.113999257333828 x209 x260 - 1.113999257333828 x221 x248 - 43.0746379502414 x248^2 + 43.0746379502414 x248 x260 = 0 e165: x164 + 43.0746379502414 x209 x221 - 1.113999257333828 x209 x260 - 43.0746379502414 x221^2 + 1.113999257333828 x221 x248 + 43.0746379502414 x248 x260 - 43.0746379502414 x260^2 = 0 e166: x165 - 63.9344262295082 x213^2 + 63.9344262295082 x213 x222 + 3.27868852459016 x213 x261 - 3.27868852459016 x222 x252 - 63.9344262295082 x252^2 + 63.9344262295082 x252 x261 = 0 e167: x166 + 63.9344262295082 x213 x222 - 3.27868852459016 x213 x261 - 63.9344262295082 x222^2 + 3.27868852459016 x222 x252 + 63.9344262295082 x252 x261 - 63.9344262295082 x261^2 = 0 e168: x167 - 45.5850383017316 x198^2 + 45.7680383017316 x198 x199 + 3.7964271402358 x198 x238 - 3.7964271402358 x199 x237 - 45.5850383017316 x237^2 + 45.7680383017316 x237 x238 = 0 e169: x168 + 45.7680383017316 x198 x199 - 3.7964271402358 x198 x238 - 45.5850383017316 x199^2 + 3.7964271402358 x199 x237 + 45.7680383017316 x237 x238 - 45.5850383017316 x238^2 = 0 e170: x169 - 36.7522868840276 x207^2 + 36.7522868840276 x207 x220 + .675593508897566 x207 x259 - .675593508897566 x220 x246 - 36.7522868840276 x246^2 + 36.7522868840276 x246 x259 = 0 e171: x170 + 36.7522868840276 x207 x220 - .675593508897566 x207 x259 - 36.7522868840276 x220^2 + .675593508897566 x220 x246 + 36.7522868840276 x246 x259 - 36.7522868840276 x259^2 = 0 e172: x171 - 15.3535187064899 x210^2 + 15.8680187064899 x210 x213 + 1.447163306031878 x210 x252 - 1.447163306031878 x213 x249 - 15.3535187064899 x249^2 + 15.8680187064899 x249 x252 = 0 e173: x172 + 15.8680187064899 x210 x213 - 1.447163306031878 x210 x252 - 15.3535187064899 x213^2 + 1.447163306031878 x213 x249 + 15.8680187064899 x249 x252 - 15.3535187064899 x252^2 = 0 e174: x173 - 70.2518181368426 x203^2 + 70.2518181368426 x203 x217 + 3.46311779547816 x203 x256 - 3.46311779547816 x217 x242 - 70.2518181368426 x242^2 + 70.2518181368426 x242 x256 = 0 e175: x174 + 70.2518181368426 x203 x217 - 3.46311779547816 x203 x256 - 70.2518181368426 x217^2 + 3.46311779547816 x217 x242 + 70.2518181368426 x242 x256 - 70.2518181368426 x256^2 = 0 e176: x175 - 77.1532885064352 x188^2 + 77.2223885064352 x188 x198 + 4.78898533373242 x188 x237 - 4.78898533373242 x198 x227 - 77.1532885064352 x227^2 + 77.2223885064352 x227 x237 = 0 e177: x176 + 77.2223885064352 x188 x198 - 4.78898533373242 x188 x237 - 77.1532885064352 x198^2 + 4.78898533373242 x198 x227 + 77.2223885064352 x227 x237 - 77.1532885064352 x237^2 = 0 e178: x177 - 230.526552680965 x194^2 + 230.563002680966 x194 x195 + 21.4477211796246 x194 x234 - 21.4477211796246 x195 x233 - 230.526552680965 x233^2 + 230.563002680966 x233 x234 = 0 e179: x178 + 230.563002680966 x194 x195 - 21.4477211796246 x194 x234 - 230.526552680965 x195^2 + 21.4477211796246 x195 x233 + 230.563002680966 x233 x234 - 230.526552680965 x234^2 = 0 e180: x179 - 69.8684443721535 x186^2 + 69.9414443721536 x186 x209 + 56.929082628497 x186 x248 - 56.929082628497 x209 x225 - 69.8684443721535 x225^2 + 69.9414443721536 x225 x248 = 0 e181: x180 + 69.9414443721536 x186 x209 - 56.929082628497 x186 x248 - 69.8684443721535 x209^2 + 56.929082628497 x209 x225 + 69.9414443721536 x225 x248 - 69.8684443721535 x248^2 = 0 e182: x181 - 215.720849906191 x191^2 + 215.759849906192 x191 x192 + 18.76172607879926 x191 x231 - 18.76172607879926 x192 x230 - 215.720849906191 x230^2 + 215.759849906192 x230 x231 = 0 e183: x182 + 215.759849906192 x191 x192 - 18.76172607879926 x191 x231 - 215.720849906191 x192^2 + 18.76172607879926 x192 x230 + 215.759849906192 x230 x231 - 215.720849906191 x231^2 = 0 e184: x183 - 20.5347427325902 x210^2 + 20.9248427325902 x210 x212 + 1.89824522679616 x210 x251 - 1.89824522679616 x212 x249 - 20.5347427325902 x249^2 + 20.9248427325902 x249 x251 = 0 e185: x184 + 20.9248427325902 x210 x212 - 1.89824522679616 x210 x251 - 20.5347427325902 x212^2 + 1.89824522679616 x212 x249 + 20.9248427325902 x249 x251 - 20.5347427325902 x251^2 = 0 e186: x1^2 + x93^2 <= 25 e187: x2^2 + x94^2 <= 25 e188: x3^2 + x95^2 <= 81 e189: x4^2 + x96^2 <= 81 e190: x5^2 + x97^2 <= 36 e191: x6^2 + x98^2 <= 36 e192: x7^2 + x99^2 <= 324 e193: x8^2 + x100^2 <= 324 e194: x9^2 + x101^2 <= 81 e195: x10^2 + x102^2 <= 81 e196: x11^2 + x103^2 <= 100 e197: x12^2 + x104^2 <= 100 e198: x13^2 + x105^2 <= 36 e199: x14^2 + x106^2 <= 36 e200: x15^2 + x107^2 <= 81 e201: x16^2 + x108^2 <= 81 e202: x17^2 + x109^2 <= 36 e203: x18^2 + x110^2 <= 36 e204: x19^2 + x111^2 <= 25 e205: x20^2 + x112^2 <= 25 e206: x21^2 + x113^2 <= 81 e207: x22^2 + x114^2 <= 81 e208: x23^2 + x115^2 <= 25 e209: x24^2 + x116^2 <= 25 e210: x25^2 + x117^2 <= 36 e211: x26^2 + x118^2 <= 36 e212: x27^2 + x119^2 <= 36 e213: x28^2 + x120^2 <= 36 e214: x29^2 + x121^2 <= 81 e215: x30^2 + x122^2 <= 81 e216: x31^2 + x123^2 <= 81 e217: x32^2 + x124^2 <= 81 e218: x33^2 + x125^2 <= 36 e219: x34^2 + x126^2 <= 36 e220: x35^2 + x127^2 <= 81 e221: x36^2 + x128^2 <= 81 e222: x37^2 + x129^2 <= 23.04 e223: x38^2 + x130^2 <= 23.04 e224: x39^2 + x131^2 <= 25 e225: x40^2 + x132^2 <= 25 e226: x41^2 + x133^2 <= 36 e227: x42^2 + x134^2 <= 36 e228: x43^2 + x135^2 <= 81 e229: x44^2 + x136^2 <= 81 e230: x45^2 + x137^2 <= 36 e231: x46^2 + x138^2 <= 36 e232: x47^2 + x139^2 <= 36 e233: x48^2 + x140^2 <= 36 e234: x49^2 + x141^2 <= 25 e235: x50^2 + x142^2 <= 25 e236: x51^2 + x143^2 <= 36 e237: x52^2 + x144^2 <= 36 e238: x53^2 + x145^2 <= 36 e239: x54^2 + x146^2 <= 36 e240: x55^2 + x147^2 <= 36 e241: x56^2 + x148^2 <= 36 e242: x57^2 + x149^2 <= 81 e243: x58^2 + x150^2 <= 81 e244: x59^2 + x151^2 <= 36 e245: x60^2 + x152^2 <= 36 e246: x61^2 + x153^2 <= 36 e247: x62^2 + x154^2 <= 36 e248: x63^2 + x155^2 <= 81 e249: x64^2 + x156^2 <= 81 e250: x65^2 + x157^2 <= 36 e251: x66^2 + x158^2 <= 36 e252: x67^2 + x159^2 <= 144 e253: x68^2 + x160^2 <= 144 e254: x69^2 + x161^2 <= 36 e255: x70^2 + x162^2 <= 36 e256: x71^2 + x163^2 <= 81 e257: x72^2 + x164^2 <= 81 e258: x73^2 + x165^2 <= 144 e259: x74^2 + x166^2 <= 144 e260: x75^2 + x167^2 <= 36 e261: x76^2 + x168^2 <= 36 e262: x77^2 + x169^2 <= 81 e263: x78^2 + x170^2 <= 81 e264: x79^2 + x171^2 <= 36 e265: x80^2 + x172^2 <= 36 e266: x81^2 + x173^2 <= 81 e267: x82^2 + x174^2 <= 81 e268: x83^2 + x175^2 <= 25 e269: x84^2 + x176^2 <= 25 e270: x85^2 + x177^2 <= 36 e271: x86^2 + x178^2 <= 36 e272: x87^2 + x179^2 <= 25 e273: x88^2 + x180^2 <= 25 e274: x89^2 + x181^2 <= 81 e275: x90^2 + x182^2 <= 81 e276: x91^2 + x183^2 <= 36 e277: x92^2 + x184^2 <= 36 e278: x185^2 + x224^2 <= 1.1236 e279: x186^2 + x225^2 <= 1.1236 e280: x187^2 + x226^2 <= 1.1236 e281: x188^2 + x227^2 <= 1.1236 e282: x189^2 + x228^2 <= 1.1236 e283: x190^2 + x229^2 <= 1.1236 e284: x191^2 + x230^2 <= 1.1236 e285: x192^2 + x231^2 <= 1.1236 e286: x193^2 + x232^2 <= 1.1236 e287: x194^2 + x233^2 <= 1.1236 e288: x195^2 + x234^2 <= 1.1236 e289: x196^2 + x235^2 <= 1.1236 e290: x197^2 + x236^2 <= 1.1236 e291: x198^2 + x237^2 <= 1.1236 e292: x199^2 + x238^2 <= 1.1236 e293: x200^2 + x239^2 <= 1.1236 e294: x201^2 + x240^2 <= 1.1236 e295: x202^2 + x241^2 <= 1.1236 e296: x203^2 + x242^2 <= 1.1236 e297: x204^2 + x243^2 <= 1.1236 e298: x205^2 + x244^2 <= 1.1236 e299: x206^2 + x245^2 <= 1.1236 e300: x207^2 + x246^2 <= 1.1236 e301: x208^2 + x247^2 <= 1.1236 e302: x209^2 + x248^2 <= 1.1236 e303: x210^2 + x249^2 <= 1.1236 e304: x211^2 + x250^2 <= 1.1236 e305: x212^2 + x251^2 <= 1.1236 e306: x213^2 + x252^2 <= 1.1236 e307: x214^2 + x253^2 <= 1.1236 e308: x215^2 + x254^2 <= 1.1236 e309: x216^2 + x255^2 <= 1.1236 e310: x217^2 + x256^2 <= 1.1236 e311: x218^2 + x257^2 <= 1.1236 e312: x219^2 + x258^2 <= 1.1236 e313: x220^2 + x259^2 <= 1.1236 e314: x221^2 + x260^2 <= 1.1236 e315: x222^2 + x261^2 <= 1.1236 e316: x223^2 + x262^2 <= 1.1236 e317: x185^2 + x224^2 >= .8836 e318: x186^2 + x225^2 >= .8836 e319: x187^2 + x226^2 >= .8836 e320: x188^2 + x227^2 >= .8836 e321: x189^2 + x228^2 >= .8836 e322: x190^2 + x229^2 >= .8836 e323: x191^2 + x230^2 >= .8836 e324: x192^2 + x231^2 >= .8836 e325: x193^2 + x232^2 >= .8836 e326: x194^2 + x233^2 >= .8836 e327: x195^2 + x234^2 >= .8836 e328: x196^2 + x235^2 >= .8836 e329: x197^2 + x236^2 >= .8836 e330: x198^2 + x237^2 >= .8836 e331: x199^2 + x238^2 >= .8836 e332: x200^2 + x239^2 >= .8836 e333: x201^2 + x240^2 >= .8836 e334: x202^2 + x241^2 >= .8836 e335: x203^2 + x242^2 >= .8836 e336: x204^2 + x243^2 >= .8836 e337: x205^2 + x244^2 >= .8836 e338: x206^2 + x245^2 >= .8836 e339: x207^2 + x246^2 >= .8836 e340: x208^2 + x247^2 >= .8836 e341: x209^2 + x248^2 >= .8836 e342: x210^2 + x249^2 >= .8836 e343: x211^2 + x250^2 >= .8836 e344: x212^2 + x251^2 >= .8836 e345: x213^2 + x252^2 >= .8836 e346: x214^2 + x253^2 >= .8836 e347: x215^2 + x254^2 >= .8836 e348: x216^2 + x255^2 >= .8836 e349: x217^2 + x256^2 >= .8836 e350: x218^2 + x257^2 >= .8836 e351: x219^2 + x258^2 >= .8836 e352: x220^2 + x259^2 >= .8836 e353: x221^2 + x260^2 >= .8836 e354: x222^2 + x261^2 >= .8836 e355: x223^2 + x262^2 >= .8836 e356: x263 <= 10.4 e357: x264 <= 6.46 e358: x265 <= 7.25 e359: x266 <= 6.52 e360: x267 <= 5.08 e361: x268 <= 6.87 e362: x269 <= 5.8 e363: x270 <= 5.64 e364: x271 <= 8.65 e365: x272 <= 11 e366: x263 >= 0 e367: x264 >= 0 e368: x265 >= 0 e369: x266 >= 0 e370: x267 >= 0 e371: x268 >= 0 e372: x269 >= 0 e373: x270 >= 0 e374: x271 >= 0 e375: x272 >= 0 e376: x273 <= 4 e377: x274 <= 3 e378: x275 <= 3 e379: x276 <= 2.5 e380: x277 <= 1.67 e381: x278 <= 3 e382: x279 <= 2.4 e383: x280 <= 2.5 e384: x281 <= 3 e385: x282 <= 3 e386: x273 >= 1.4 e387: x274 >= -1 e388: x275 >= 1.5 e389: x276 >= 0 e390: x277 >= 0 e391: x278 >= -1 e392: x279 >= 0 e393: x280 >= 0 e394: x281 >= -1.5 e395: x282 >= -1 e396: x254 = 0 e397: x64 - x263 = 0 e398: x8 - x264 = -9.2e-2 e399: x16 - x265 = 0 e400: x82 - x266 = 0 e401: x30 - x267 = 0 e402: x22 - x268 = 0 e403: x78 - x269 = 0 e404: x72 - x270 = 0 e405: x74 - x271 = 0 e406: x12 + x58 - x272 = -11.04 e407: x156 - x273 = 0 e408: x100 - x274 = -4.6e-2 e409: x108 - x275 = 0 e410: x174 - x276 = 0 e411: x122 - x277 = 0 e412: x114 - x278 = 0 e413: x170 - x279 = 0 e414: x164 - x280 = 0 e415: x166 - x281 = 0 e416: x104 + x150 - x282 = -2.5 e417: x11 + x17 = -.976 e418: x18 + x23 + x63 + x87 = 0 e419: x19 + x24 + x39 = -3.22 e420: x20 + x53 + x83 = -5 e421: x3 + x54 + x67 = 0 e422: x7 + x9 + x37 + x68 = 0 e423: x10 + x89 = -2.338 e424: x4 + x31 + x90 = -5.22 e425: x32 + x57 = -6.5e-2 e426: x15 + x65 + x85 = 0 e427: x38 + x50 + x86 = 0 e428: x1 + x49 = -8.53e-2 e429: x2 + x61 + x66 = 0 e430: x62 + x75 + x84 = 0 e431: x47 + x76 = -3.2 e432: x5 + x41 + x48 + x55 + x69 = -3.29 e433: x6 + x33 + x51 = 0 e434: x40 + x52 = -1.58 e435: x42 + x43 + x81 = 0 e436: x29 + x44 = -6.8 e437: x35 + x56 = -2.74 e438: x21 + x36 + x59 = 0 e439: x25 + x60 + x77 = -2.475 e440: x26 + x70 = -3.086 e441: x45 + x71 + x88 = -2.24 e442: x13 + x46 + x79 + x91 = -1.39 e443: x14 + x34 = -2.81 e444: x27 + x92 = -2.06 e445: x28 + x73 + x80 = -2.835 e446: x103 + x109 = -.442 e447: x110 + x115 + x155 + x179 = 0 e448: x111 + x116 + x131 = -2.4e-2 e449: x112 + x145 + x175 = -1.84 e450: x95 + x146 + x159 = 0 e451: x99 + x101 + x129 + x160 = 0 e452: x102 + x181 = -.84 e453: x96 + x123 + x182 = -1.766 e454: x124 + x149 = .666 e455: x107 + x157 + x177 = 0 e456: x130 + x142 + x178 = 0 e457: x93 + x141 = -.88 e458: x94 + x153 + x158 = 0 e459: x154 + x167 + x176 = 0 e460: x139 + x168 = -1.53 e461: x97 + x133 + x140 + x147 + x161 = -.323 e462: x98 + x125 + x143 = 0 e463: x132 + x144 = -.3 e464: x134 + x135 + x173 = 0 e465: x121 + x136 = -1.03 e466: x127 + x148 = -1.15 e467: x113 + x128 + x151 = 0 e468: x117 + x152 + x169 = -.846 e469: x118 + x162 = .922 e470: x137 + x163 + x180 = -.472 e471: x105 + x138 + x171 + x183 = -.17 e472: x106 + x126 = -.755 e473: x119 + x184 = -.276 e474: x120 + x165 + x172 = -.269 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 x237 Free x238 Free x239 Free x240 Free x241 Free x242 Free x243 Free x244 Free x245 Free x246 Free x247 Free x248 Free x249 Free x250 Free x251 Free x252 Free x253 Free x254 Free x255 Free x256 Free x257 Free x258 Free x259 Free x260 Free x261 Free x262 Free x263 Free x264 Free x265 Free x266 Free x267 Free x268 Free x269 Free x270 Free x271 Free x272 Free x273 Free x274 Free x275 Free x276 Free x277 Free x278 Free x279 Free x280 Free x281 Free x282 Free End