\ Equation counts \ Total E G L N X C B \ 666 42 0 624 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 456 320 136 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1848 1844 4 0 \ Minimize obj: - 1.28205128205128e-2 x2 - 1.28205128205128e-2 x3 - 1.28205128205128e-2 x4 - 1.28205128205128e-2 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 b322 + 0 b323 + 0 b324 + 0 b325 + 0 b326 + 0 b327 + 0 b328 + 0 b329 + 0 b330 + 0 b331 + 0 b332 + 0 b333 + 0 b334 + 0 b335 + 0 b336 + 0 b337 + 0 b338 + 0 b339 + 0 b340 + 0 b341 + 0 b342 + 0 b343 + 0 b344 + 0 b345 + 0 b346 + 0 b347 + 0 b348 + 0 b349 + 0 b350 + 0 b351 + 0 b352 + 0 b353 + 0 b354 + 0 b355 + 0 b356 + 0 b357 + 0 b358 + 0 b359 + 0 b360 + 0 b361 + 0 b362 + 0 b363 + 0 b364 + 0 b365 + 0 b366 + 0 b367 + 0 b368 + 0 b369 + 0 b370 + 0 b371 + 0 b372 + 0 b373 + 0 b374 + 0 b375 + 0 b376 + 0 b377 + 0 b378 + 0 b379 + 0 b380 + 0 b381 + 0 b382 + 0 b383 + 0 b384 + 0 b385 + 0 b386 + 0 b387 + 0 b388 + 0 b389 + 0 b390 + 0 b391 + 0 b392 + 0 b393 + 0 b394 + 0 b395 + 0 b396 + 0 b397 + 0 b398 + 0 b399 + 0 b400 + 0 b401 + 0 b402 + 0 b403 + 0 b404 + 0 b405 + 0 b406 + 0 b407 + 0 b408 + 0 b409 + 0 b410 + 0 b411 + 0 b412 + 0 b413 + 0 b414 + 0 b415 + 0 b416 + 0 b417 + 0 b418 + 0 b419 + 0 b420 + 0 b421 + 0 b422 + 0 b423 + 0 b424 + 0 b425 + 0 b426 + 0 b427 + 0 b428 + 0 b429 + 0 b430 + 0 b431 + 0 b432 + 0 b433 + 0 b434 + 0 b435 + 0 b436 + 0 b437 + 0 b438 + 0 b439 + 0 b440 + 0 b441 + 0 b442 + 0 b443 + 0 b444 + 0 b445 + 0 b446 + 0 b447 + 0 b448 + 0 b449 + 0 b450 + 0 b451 + 0 b452 + 0 b453 + 0 b454 + 0 b455 + 0 b456 + 0 b457 + 4.1091387245233394e-5 x6^2 + 4.1091387245233394e-5 x7^2 + 4.1091387245233394e-5 x8^2 + 4.1091387245233394e-5 x9^2 Subject To e2: b322 + b323 + b324 + b325 = 1 e3: b326 + b327 + b328 + b329 = 1 e4: b330 + b331 + b332 + b333 = 1 e5: b334 + b335 + b336 + b337 = 1 e6: b338 + b339 + b340 + b341 = 1 e7: b342 + b343 + b344 + b345 = 1 e8: b346 + b347 + b348 + b349 = 1 e9: b350 + b351 + b352 + b353 = 1 e10: b354 + b355 + b356 + b357 = 1 e11: b358 + b359 + b360 + b361 = 1 e12: b362 + b363 + b364 + b365 = 1 e13: b366 + b367 + b368 + b369 = 1 e14: b370 + b371 + b372 + b373 = 1 e15: b374 + b375 + b376 + b377 = 1 e16: b378 + b379 + b380 + b381 = 1 e17: b382 + b383 + b384 + b385 = 1 e18: b386 + b387 + b388 + b389 = 1 e19: b390 + b391 + b392 + b393 = 1 e20: b394 + b395 + b396 + b397 = 1 e21: b398 + b399 + b400 + b401 = 1 e22: b402 + b403 + b404 + b405 = 1 e23: b406 + b407 + b408 + b409 = 1 e24: b410 + b411 + b412 + b413 = 1 e25: b414 + b415 + b416 + b417 = 1 e26: b418 + b419 + b420 + b421 = 1 e27: b422 + b423 + b424 + b425 = 1 e28: b426 + b427 + b428 + b429 = 1 e29: b430 + b431 + b432 + b433 = 1 e30: b434 + b435 + b436 + b437 = 1 e31: b438 + b439 + b440 + b441 = 1 e32: b442 + b443 + b444 + b445 = 1 e33: b446 + b447 + b448 + b449 = 1 e34: b450 + b451 + b452 + b453 = 1 e35: b454 + b455 + b456 + b457 = 1 e36: x10 - b322 <= 0 e37: x11 - b323 <= 0 e38: x12 - b324 <= 0 e39: x13 - b325 <= 0 e40: x14 - b322 <= 0 e41: x15 - b323 <= 0 e42: x16 - b324 <= 0 e43: x17 - b325 <= 0 e44: x18 - b322 <= 0 e45: x19 - b323 <= 0 e46: x20 - b324 <= 0 e47: x21 - b325 <= 0 e48: x22 - b322 <= 0 e49: x23 - b323 <= 0 e50: x24 - b324 <= 0 e51: x25 - b325 <= 0 e52: x26 - b322 <= 0 e53: x27 - b323 <= 0 e54: x28 - b324 <= 0 e55: x29 - b325 <= 0 e56: x30 - b322 <= 0 e57: x31 - b323 <= 0 e58: x32 - b324 <= 0 e59: x33 - b325 <= 0 e60: x34 - b322 <= 0 e61: x35 - b323 <= 0 e62: x36 - b324 <= 0 e63: x37 - b325 <= 0 e64: x38 - b322 <= 0 e65: x39 - b323 <= 0 e66: x40 - b324 <= 0 e67: x41 - b325 <= 0 e68: x42 - b322 <= 0 e69: x43 - b323 <= 0 e70: x44 - b324 <= 0 e71: x45 - b325 <= 0 e72: x46 - b322 <= 0 e73: x47 - b323 <= 0 e74: x48 - b324 <= 0 e75: x49 - b325 <= 0 e76: x50 - b322 <= 0 e77: x51 - b323 <= 0 e78: x52 - b324 <= 0 e79: x53 - b325 <= 0 e80: x54 - b322 <= 0 e81: x55 - b323 <= 0 e82: x56 - b324 <= 0 e83: x57 - b325 <= 0 e84: x58 - b322 <= 0 e85: x59 - b323 <= 0 e86: x60 - b324 <= 0 e87: x61 - b325 <= 0 e88: x62 - b322 <= 0 e89: x63 - b323 <= 0 e90: x64 - b324 <= 0 e91: x65 - b325 <= 0 e92: x66 - b322 <= 0 e93: x67 - b323 <= 0 e94: x68 - b324 <= 0 e95: x69 - b325 <= 0 e96: x70 - b322 <= 0 e97: x71 - b323 <= 0 e98: x72 - b324 <= 0 e99: x73 - b325 <= 0 e100: x74 - b322 <= 0 e101: x75 - b323 <= 0 e102: x76 - b324 <= 0 e103: x77 - b325 <= 0 e104: x78 - b330 <= 0 e105: x79 - b331 <= 0 e106: x80 - b332 <= 0 e107: x81 - b333 <= 0 e108: x82 - b330 <= 0 e109: x83 - b331 <= 0 e110: x84 - b332 <= 0 e111: x85 - b333 <= 0 e112: x86 - b330 <= 0 e113: x87 - b331 <= 0 e114: x88 - b332 <= 0 e115: x89 - b333 <= 0 e116: x90 - b330 <= 0 e117: x91 - b331 <= 0 e118: x92 - b332 <= 0 e119: x93 - b333 <= 0 e120: x94 - b330 <= 0 e121: x95 - b331 <= 0 e122: x96 - b332 <= 0 e123: x97 - b333 <= 0 e124: x98 - b330 <= 0 e125: x99 - b331 <= 0 e126: x100 - b332 <= 0 e127: x101 - b333 <= 0 e128: x102 - b330 <= 0 e129: x103 - b331 <= 0 e130: x104 - b332 <= 0 e131: x105 - b333 <= 0 e132: x106 - b330 <= 0 e133: x107 - b331 <= 0 e134: x108 - b332 <= 0 e135: x109 - b333 <= 0 e136: x110 - b330 <= 0 e137: x111 - b331 <= 0 e138: x112 - b332 <= 0 e139: x113 - b333 <= 0 e140: x114 - b330 <= 0 e141: x115 - b331 <= 0 e142: x116 - b332 <= 0 e143: x117 - b333 <= 0 e144: x118 - b330 <= 0 e145: x119 - b331 <= 0 e146: x120 - b332 <= 0 e147: x121 - b333 <= 0 e148: x122 - b334 <= 0 e149: x123 - b335 <= 0 e150: x124 - b336 <= 0 e151: x125 - b337 <= 0 e152: x126 - b334 <= 0 e153: x127 - b335 <= 0 e154: x128 - b336 <= 0 e155: x129 - b337 <= 0 e156: x130 - b338 <= 0 e157: x131 - b339 <= 0 e158: x132 - b340 <= 0 e159: x133 - b341 <= 0 e160: x134 - b342 <= 0 e161: x135 - b343 <= 0 e162: x136 - b344 <= 0 e163: x137 - b345 <= 0 e164: x138 - b342 <= 0 e165: x139 - b343 <= 0 e166: x140 - b344 <= 0 e167: x141 - b345 <= 0 e168: x142 - b342 <= 0 e169: x143 - b343 <= 0 e170: x144 - b344 <= 0 e171: x145 - b345 <= 0 e172: x146 - b346 <= 0 e173: x147 - b347 <= 0 e174: x148 - b348 <= 0 e175: x149 - b349 <= 0 e176: x150 - b346 <= 0 e177: x151 - b347 <= 0 e178: x152 - b348 <= 0 e179: x153 - b349 <= 0 e180: x154 - b346 <= 0 e181: x155 - b347 <= 0 e182: x156 - b348 <= 0 e183: x157 - b349 <= 0 e184: x158 - b346 <= 0 e185: x159 - b347 <= 0 e186: x160 - b348 <= 0 e187: x161 - b349 <= 0 e188: x162 - b350 <= 0 e189: x163 - b351 <= 0 e190: x164 - b352 <= 0 e191: x165 - b353 <= 0 e192: x166 - b350 <= 0 e193: x167 - b351 <= 0 e194: x168 - b352 <= 0 e195: x169 - b353 <= 0 e196: x170 - b354 <= 0 e197: x171 - b355 <= 0 e198: x172 - b356 <= 0 e199: x173 - b357 <= 0 e200: x174 - b354 <= 0 e201: x175 - b355 <= 0 e202: x176 - b356 <= 0 e203: x177 - b357 <= 0 e204: x178 - b354 <= 0 e205: x179 - b355 <= 0 e206: x180 - b356 <= 0 e207: x181 - b357 <= 0 e208: x182 - b354 <= 0 e209: x183 - b355 <= 0 e210: x184 - b356 <= 0 e211: x185 - b357 <= 0 e212: x186 - b362 <= 0 e213: x187 - b363 <= 0 e214: x188 - b364 <= 0 e215: x189 - b365 <= 0 e216: x190 - b366 <= 0 e217: x191 - b367 <= 0 e218: x192 - b368 <= 0 e219: x193 - b369 <= 0 e220: x194 - b366 <= 0 e221: x195 - b367 <= 0 e222: x196 - b368 <= 0 e223: x197 - b369 <= 0 e224: x198 - b366 <= 0 e225: x199 - b367 <= 0 e226: x200 - b368 <= 0 e227: x201 - b369 <= 0 e228: x202 - b370 <= 0 e229: x203 - b371 <= 0 e230: x204 - b372 <= 0 e231: x205 - b373 <= 0 e232: x206 - b370 <= 0 e233: x207 - b371 <= 0 e234: x208 - b372 <= 0 e235: x209 - b373 <= 0 e236: x210 - b370 <= 0 e237: x211 - b371 <= 0 e238: x212 - b372 <= 0 e239: x213 - b373 <= 0 e240: x214 - b370 <= 0 e241: x215 - b371 <= 0 e242: x216 - b372 <= 0 e243: x217 - b373 <= 0 e244: x218 - b374 <= 0 e245: x219 - b375 <= 0 e246: x220 - b376 <= 0 e247: x221 - b377 <= 0 e248: x222 - b374 <= 0 e249: x223 - b375 <= 0 e250: x224 - b376 <= 0 e251: x225 - b377 <= 0 e252: x226 - b374 <= 0 e253: x227 - b375 <= 0 e254: x228 - b376 <= 0 e255: x229 - b377 <= 0 e256: x230 - b378 <= 0 e257: x231 - b379 <= 0 e258: x232 - b380 <= 0 e259: x233 - b381 <= 0 e260: x234 - b378 <= 0 e261: x235 - b379 <= 0 e262: x236 - b380 <= 0 e263: x237 - b381 <= 0 e264: x238 - b382 <= 0 e265: x239 - b383 <= 0 e266: x240 - b384 <= 0 e267: x241 - b385 <= 0 e268: x242 - b382 <= 0 e269: x243 - b383 <= 0 e270: x244 - b384 <= 0 e271: x245 - b385 <= 0 e272: x246 - b386 <= 0 e273: x247 - b387 <= 0 e274: x248 - b388 <= 0 e275: x249 - b389 <= 0 e276: x250 - b390 <= 0 e277: x251 - b391 <= 0 e278: x252 - b392 <= 0 e279: x253 - b393 <= 0 e280: x254 - b390 <= 0 e281: x255 - b391 <= 0 e282: x256 - b392 <= 0 e283: x257 - b393 <= 0 e284: x258 - b390 <= 0 e285: x259 - b391 <= 0 e286: x260 - b392 <= 0 e287: x261 - b393 <= 0 e288: x262 - b394 <= 0 e289: x263 - b395 <= 0 e290: x264 - b396 <= 0 e291: x265 - b397 <= 0 e292: x266 - b394 <= 0 e293: x267 - b395 <= 0 e294: x268 - b396 <= 0 e295: x269 - b397 <= 0 e296: x270 - b402 <= 0 e297: x271 - b403 <= 0 e298: x272 - b404 <= 0 e299: x273 - b405 <= 0 e300: x274 - b402 <= 0 e301: x275 - b403 <= 0 e302: x276 - b404 <= 0 e303: x277 - b405 <= 0 e304: x278 - b406 <= 0 e305: x279 - b407 <= 0 e306: x280 - b408 <= 0 e307: x281 - b409 <= 0 e308: x282 - b410 <= 0 e309: x283 - b411 <= 0 e310: x284 - b412 <= 0 e311: x285 - b413 <= 0 e312: x286 - b414 <= 0 e313: x287 - b415 <= 0 e314: x288 - b416 <= 0 e315: x289 - b417 <= 0 e316: x290 - b414 <= 0 e317: x291 - b415 <= 0 e318: x292 - b416 <= 0 e319: x293 - b417 <= 0 e320: x294 - b426 <= 0 e321: x295 - b427 <= 0 e322: x296 - b428 <= 0 e323: x297 - b429 <= 0 e324: x298 - b426 <= 0 e325: x299 - b427 <= 0 e326: x300 - b428 <= 0 e327: x301 - b429 <= 0 e328: x302 - b430 <= 0 e329: x303 - b431 <= 0 e330: x304 - b432 <= 0 e331: x305 - b433 <= 0 e332: x306 - b430 <= 0 e333: x307 - b431 <= 0 e334: x308 - b432 <= 0 e335: x309 - b433 <= 0 e336: x310 - b442 <= 0 e337: x311 - b443 <= 0 e338: x312 - b444 <= 0 e339: x313 - b445 <= 0 e340: x314 - b442 <= 0 e341: x315 - b443 <= 0 e342: x316 - b444 <= 0 e343: x317 - b445 <= 0 e344: x318 - b454 <= 0 e345: x319 - b455 <= 0 e346: x320 - b456 <= 0 e347: x321 - b457 <= 0 e348: x10 - b330 <= 0 e349: x11 - b331 <= 0 e350: x12 - b332 <= 0 e351: x13 - b333 <= 0 e352: x14 - b346 <= 0 e353: x15 - b347 <= 0 e354: x16 - b348 <= 0 e355: x17 - b349 <= 0 e356: x18 - b350 <= 0 e357: x19 - b351 <= 0 e358: x20 - b352 <= 0 e359: x21 - b353 <= 0 e360: x22 - b354 <= 0 e361: x23 - b355 <= 0 e362: x24 - b356 <= 0 e363: x25 - b357 <= 0 e364: x26 - b358 <= 0 e365: x27 - b359 <= 0 e366: x28 - b360 <= 0 e367: x29 - b361 <= 0 e368: x30 - b374 <= 0 e369: x31 - b375 <= 0 e370: x32 - b376 <= 0 e371: x33 - b377 <= 0 e372: x34 - b378 <= 0 e373: x35 - b379 <= 0 e374: x36 - b380 <= 0 e375: x37 - b381 <= 0 e376: x38 - b382 <= 0 e377: x39 - b383 <= 0 e378: x40 - b384 <= 0 e379: x41 - b385 <= 0 e380: x42 - b394 <= 0 e381: x43 - b395 <= 0 e382: x44 - b396 <= 0 e383: x45 - b397 <= 0 e384: x46 - b406 <= 0 e385: x47 - b407 <= 0 e386: x48 - b408 <= 0 e387: x49 - b409 <= 0 e388: x50 - b410 <= 0 e389: x51 - b411 <= 0 e390: x52 - b412 <= 0 e391: x53 - b413 <= 0 e392: x54 - b418 <= 0 e393: x55 - b419 <= 0 e394: x56 - b420 <= 0 e395: x57 - b421 <= 0 e396: x58 - b422 <= 0 e397: x59 - b423 <= 0 e398: x60 - b424 <= 0 e399: x61 - b425 <= 0 e400: x62 - b434 <= 0 e401: x63 - b435 <= 0 e402: x64 - b436 <= 0 e403: x65 - b437 <= 0 e404: x66 - b438 <= 0 e405: x67 - b439 <= 0 e406: x68 - b440 <= 0 e407: x69 - b441 <= 0 e408: x70 - b446 <= 0 e409: x71 - b447 <= 0 e410: x72 - b448 <= 0 e411: x73 - b449 <= 0 e412: x74 - b450 <= 0 e413: x75 - b451 <= 0 e414: x76 - b452 <= 0 e415: x77 - b453 <= 0 e416: x78 - b334 <= 0 e417: x79 - b335 <= 0 e418: x80 - b336 <= 0 e419: x81 - b337 <= 0 e420: x82 - b346 <= 0 e421: x83 - b347 <= 0 e422: x84 - b348 <= 0 e423: x85 - b349 <= 0 e424: x86 - b350 <= 0 e425: x87 - b351 <= 0 e426: x88 - b352 <= 0 e427: x89 - b353 <= 0 e428: x90 - b358 <= 0 e429: x91 - b359 <= 0 e430: x92 - b360 <= 0 e431: x93 - b361 <= 0 e432: x94 - b378 <= 0 e433: x95 - b379 <= 0 e434: x96 - b380 <= 0 e435: x97 - b381 <= 0 e436: x98 - b382 <= 0 e437: x99 - b383 <= 0 e438: x100 - b384 <= 0 e439: x101 - b385 <= 0 e440: x102 - b418 <= 0 e441: x103 - b419 <= 0 e442: x104 - b420 <= 0 e443: x105 - b421 <= 0 e444: x106 - b422 <= 0 e445: x107 - b423 <= 0 e446: x108 - b424 <= 0 e447: x109 - b425 <= 0 e448: x110 - b434 <= 0 e449: x111 - b435 <= 0 e450: x112 - b436 <= 0 e451: x113 - b437 <= 0 e452: x114 - b438 <= 0 e453: x115 - b439 <= 0 e454: x116 - b440 <= 0 e455: x117 - b441 <= 0 e456: x118 - b446 <= 0 e457: x119 - b447 <= 0 e458: x120 - b448 <= 0 e459: x121 - b449 <= 0 e460: x122 - b326 <= 0 e461: x123 - b327 <= 0 e462: x124 - b328 <= 0 e463: x125 - b329 <= 0 e464: x126 - b338 <= 0 e465: x127 - b339 <= 0 e466: x128 - b340 <= 0 e467: x129 - b341 <= 0 e468: x130 - b326 <= 0 e469: x131 - b327 <= 0 e470: x132 - b328 <= 0 e471: x133 - b329 <= 0 e472: x134 - b326 <= 0 e473: x135 - b327 <= 0 e474: x136 - b328 <= 0 e475: x137 - b329 <= 0 e476: x138 - b334 <= 0 e477: x139 - b335 <= 0 e478: x140 - b336 <= 0 e479: x141 - b337 <= 0 e480: x142 - b338 <= 0 e481: x143 - b339 <= 0 e482: x144 - b340 <= 0 e483: x145 - b341 <= 0 e484: x146 - b326 <= 0 e485: x147 - b327 <= 0 e486: x148 - b328 <= 0 e487: x149 - b329 <= 0 e488: x150 - b398 <= 0 e489: x151 - b399 <= 0 e490: x152 - b400 <= 0 e491: x153 - b401 <= 0 e492: x154 - b402 <= 0 e493: x155 - b403 <= 0 e494: x156 - b404 <= 0 e495: x157 - b405 <= 0 e496: x158 - b406 <= 0 e497: x159 - b407 <= 0 e498: x160 - b408 <= 0 e499: x161 - b409 <= 0 e500: x162 - b326 <= 0 e501: x163 - b327 <= 0 e502: x164 - b328 <= 0 e503: x165 - b329 <= 0 e504: x166 - b334 <= 0 e505: x167 - b335 <= 0 e506: x168 - b336 <= 0 e507: x169 - b337 <= 0 e508: x170 - b326 <= 0 e509: x171 - b327 <= 0 e510: x172 - b328 <= 0 e511: x173 - b329 <= 0 e512: x174 - b334 <= 0 e513: x175 - b335 <= 0 e514: x176 - b336 <= 0 e515: x177 - b337 <= 0 e516: x178 - b338 <= 0 e517: x179 - b339 <= 0 e518: x180 - b340 <= 0 e519: x181 - b341 <= 0 e520: x182 - b342 <= 0 e521: x183 - b343 <= 0 e522: x184 - b344 <= 0 e523: x185 - b345 <= 0 e524: x186 - b326 <= 0 e525: x187 - b327 <= 0 e526: x188 - b328 <= 0 e527: x189 - b329 <= 0 e528: x190 - b326 <= 0 e529: x191 - b327 <= 0 e530: x192 - b328 <= 0 e531: x193 - b329 <= 0 e532: x194 - b362 <= 0 e533: x195 - b363 <= 0 e534: x196 - b364 <= 0 e535: x197 - b365 <= 0 e536: x198 - b386 <= 0 e537: x199 - b387 <= 0 e538: x200 - b388 <= 0 e539: x201 - b389 <= 0 e540: x202 - b326 <= 0 e541: x203 - b327 <= 0 e542: x204 - b328 <= 0 e543: x205 - b329 <= 0 e544: x206 - b334 <= 0 e545: x207 - b335 <= 0 e546: x208 - b336 <= 0 e547: x209 - b337 <= 0 e548: x210 - b338 <= 0 e549: x211 - b339 <= 0 e550: x212 - b340 <= 0 e551: x213 - b341 <= 0 e552: x214 - b342 <= 0 e553: x215 - b343 <= 0 e554: x216 - b344 <= 0 e555: x217 - b345 <= 0 e556: x218 - b334 <= 0 e557: x219 - b335 <= 0 e558: x220 - b336 <= 0 e559: x221 - b337 <= 0 e560: x222 - b358 <= 0 e561: x223 - b359 <= 0 e562: x224 - b360 <= 0 e563: x225 - b361 <= 0 e564: x226 - b398 <= 0 e565: x227 - b399 <= 0 e566: x228 - b400 <= 0 e567: x229 - b401 <= 0 e568: x230 - b358 <= 0 e569: x231 - b359 <= 0 e570: x232 - b360 <= 0 e571: x233 - b361 <= 0 e572: x234 - b450 <= 0 e573: x235 - b451 <= 0 e574: x236 - b452 <= 0 e575: x237 - b453 <= 0 e576: x238 - b338 <= 0 e577: x239 - b339 <= 0 e578: x240 - b340 <= 0 e579: x241 - b341 <= 0 e580: x242 - b350 <= 0 e581: x243 - b351 <= 0 e582: x244 - b352 <= 0 e583: x245 - b353 <= 0 e584: x246 - b326 <= 0 e585: x247 - b327 <= 0 e586: x248 - b328 <= 0 e587: x249 - b329 <= 0 e588: x250 - b326 <= 0 e589: x251 - b327 <= 0 e590: x252 - b328 <= 0 e591: x253 - b329 <= 0 e592: x254 - b362 <= 0 e593: x255 - b363 <= 0 e594: x256 - b364 <= 0 e595: x257 - b365 <= 0 e596: x258 - b386 <= 0 e597: x259 - b387 <= 0 e598: x260 - b388 <= 0 e599: x261 - b389 <= 0 e600: x262 - b326 <= 0 e601: x263 - b327 <= 0 e602: x264 - b328 <= 0 e603: x265 - b329 <= 0 e604: x266 - b338 <= 0 e605: x267 - b339 <= 0 e606: x268 - b340 <= 0 e607: x269 - b341 <= 0 e608: x270 - b358 <= 0 e609: x271 - b359 <= 0 e610: x272 - b360 <= 0 e611: x273 - b361 <= 0 e612: x274 - b398 <= 0 e613: x275 - b399 <= 0 e614: x276 - b400 <= 0 e615: x277 - b401 <= 0 e616: x278 - b334 <= 0 e617: x279 - b335 <= 0 e618: x280 - b336 <= 0 e619: x281 - b337 <= 0 e620: x282 - b334 <= 0 e621: x283 - b335 <= 0 e622: x284 - b336 <= 0 e623: x285 - b337 <= 0 e624: x286 - b326 <= 0 e625: x287 - b327 <= 0 e626: x288 - b328 <= 0 e627: x289 - b329 <= 0 e628: x290 - b342 <= 0 e629: x291 - b343 <= 0 e630: x292 - b344 <= 0 e631: x293 - b345 <= 0 e632: x294 - b362 <= 0 e633: x295 - b363 <= 0 e634: x296 - b364 <= 0 e635: x297 - b365 <= 0 e636: x298 - b366 <= 0 e637: x299 - b367 <= 0 e638: x300 - b368 <= 0 e639: x301 - b369 <= 0 e640: x302 - b326 <= 0 e641: x303 - b327 <= 0 e642: x304 - b328 <= 0 e643: x305 - b329 <= 0 e644: x306 - b338 <= 0 e645: x307 - b339 <= 0 e646: x308 - b340 <= 0 e647: x309 - b341 <= 0 e648: x310 - b326 <= 0 e649: x311 - b327 <= 0 e650: x312 - b328 <= 0 e651: x313 - b329 <= 0 e652: x314 - b338 <= 0 e653: x315 - b339 <= 0 e654: x316 - b340 <= 0 e655: x317 - b341 <= 0 e656: x318 - b326 <= 0 e657: x319 - b327 <= 0 e658: x320 - b328 <= 0 e659: x321 - b329 <= 0 e660: x2 - x10 - x14 - x18 - x22 - x26 - x30 - x34 - x38 - x42 - x46 - x50 - x54 - x58 - x62 - x66 - x70 - x74 - x78 - x82 - x86 - x90 - x94 - x98 - x102 - x106 - x110 - x114 - x118 - x122 - x126 - x130 - x134 - x138 - x142 - x146 - x150 - x154 - x158 - x162 - x166 - x170 - x174 - x178 - x182 - x186 - x190 - x194 - x198 - x202 - x206 - x210 - x214 - x218 - x222 - x226 - x230 - x234 - x238 - x242 - x246 - x250 - x254 - x258 - x262 - x266 - x270 - x274 - x278 - x282 - x286 - x290 - x294 - x298 - x302 - x306 - x310 - x314 - x318 = 0 e661: x3 - x11 - x15 - x19 - x23 - x27 - x31 - x35 - x39 - x43 - x47 - x51 - x55 - x59 - x63 - x67 - x71 - x75 - x79 - x83 - x87 - x91 - x95 - x99 - x103 - x107 - x111 - x115 - x119 - x123 - x127 - x131 - x135 - x139 - x143 - x147 - x151 - x155 - x159 - x163 - x167 - x171 - x175 - x179 - x183 - x187 - x191 - x195 - x199 - x203 - x207 - x211 - x215 - x219 - x223 - x227 - x231 - x235 - x239 - x243 - x247 - x251 - x255 - x259 - x263 - x267 - x271 - x275 - x279 - x283 - x287 - x291 - x295 - x299 - x303 - x307 - x311 - x315 - x319 = 0 e662: x4 - x12 - x16 - x20 - x24 - x28 - x32 - x36 - x40 - x44 - x48 - x52 - x56 - x60 - x64 - x68 - x72 - x76 - x80 - x84 - x88 - x92 - x96 - x100 - x104 - x108 - x112 - x116 - x120 - x124 - x128 - x132 - x136 - x140 - x144 - x148 - x152 - x156 - x160 - x164 - x168 - x172 - x176 - x180 - x184 - x188 - x192 - x196 - x200 - x204 - x208 - x212 - x216 - x220 - x224 - x228 - x232 - x236 - x240 - x244 - x248 - x252 - x256 - x260 - x264 - x268 - x272 - x276 - x280 - x284 - x288 - x292 - x296 - x300 - x304 - x308 - x312 - x316 - x320 = 0 e663: x5 - x13 - x17 - x21 - x25 - x29 - x33 - x37 - x41 - x45 - x49 - x53 - x57 - x61 - x65 - x69 - x73 - x77 - x81 - x85 - x89 - x93 - x97 - x101 - x105 - x109 - x113 - x117 - x121 - x125 - x129 - x133 - x137 - x141 - x145 - x149 - x153 - x157 - x161 - x165 - x169 - x173 - x177 - x181 - x185 - x189 - x193 - x197 - x201 - x205 - x209 - x213 - x217 - x221 - x225 - x229 - x233 - x237 - x241 - x245 - x249 - x253 - x257 - x261 - x265 - x269 - x273 - x277 - x281 - x285 - x289 - x293 - x297 - x301 - x305 - x309 - x313 - x317 - x321 = 0 e664: x6 - 17 b322 - 16 b326 - 12 b330 - 10 b334 - 9 b338 - 6 b342 - 6 b346 - 5 b350 - 5 b354 - 5 b358 - 4 b362 - 4 b366 - 4 b370 - 4 b374 - 4 b378 - 4 b382 - 3 b386 - 3 b390 - 3 b394 - 3 b398 - 3 b402 - 3 b406 - 2 b410 - 2 b414 - 2 b418 - 2 b422 - 2 b426 - 2 b430 - 2 b434 - 2 b438 - 2 b442 - 2 b446 - 2 b450 - b454 = 0 e665: x7 - 17 b323 - 16 b327 - 12 b331 - 10 b335 - 9 b339 - 6 b343 - 6 b347 - 5 b351 - 5 b355 - 5 b359 - 4 b363 - 4 b367 - 4 b371 - 4 b375 - 4 b379 - 4 b383 - 3 b387 - 3 b391 - 3 b395 - 3 b399 - 3 b403 - 3 b407 - 2 b411 - 2 b415 - 2 b419 - 2 b423 - 2 b427 - 2 b431 - 2 b435 - 2 b439 - 2 b443 - 2 b447 - 2 b451 - b455 = 0 e666: x8 - 17 b324 - 16 b328 - 12 b332 - 10 b336 - 9 b340 - 6 b344 - 6 b348 - 5 b352 - 5 b356 - 5 b360 - 4 b364 - 4 b368 - 4 b372 - 4 b376 - 4 b380 - 4 b384 - 3 b388 - 3 b392 - 3 b396 - 3 b400 - 3 b404 - 3 b408 - 2 b412 - 2 b416 - 2 b420 - 2 b424 - 2 b428 - 2 b432 - 2 b436 - 2 b440 - 2 b444 - 2 b448 - 2 b452 - b456 = 0 e667: x9 - 17 b325 - 16 b329 - 12 b333 - 10 b337 - 9 b341 - 6 b345 - 6 b349 - 5 b353 - 5 b357 - 5 b361 - 4 b365 - 4 b369 - 4 b373 - 4 b377 - 4 b381 - 4 b385 - 3 b389 - 3 b393 - 3 b397 - 3 b401 - 3 b405 - 3 b409 - 2 b413 - 2 b417 - 2 b421 - 2 b425 - 2 b429 - 2 b433 - 2 b437 - 2 b441 - 2 b445 - 2 b449 - 2 b453 - b457 = 0 Bounds x2 Free x3 Free x4 Free x5 Free x6 Free x7 Free x8 Free x9 Free x11 Free x19 Free x35 Free x39 Free x51 Free x55 Free x59 Free x63 Free x67 Free x71 Free x75 Free x87 Free x95 Free x99 Free x103 Free x107 Free x111 Free x115 Free x119 Free x125 Free x129 Free x133 Free x137 Free x141 Free x145 Free x150 Free x154 Free x158 Free x173 Free x177 Free x181 Free x185 Free x196 Free x200 Free x205 Free x209 Free x213 Free x217 Free x222 Free x226 Free x235 Free x243 Free x256 Free x260 Free x265 Free x269 Free x270 Free x274 Free x289 Free x293 Free x296 Free x300 Free x305 Free x309 Free x313 Free x317 Free x321 Free Binary b322 b323 b324 b325 b326 b327 b328 b329 b330 b331 b332 b333 b334 b335 b336 b337 b338 b339 b340 b341 b342 b343 b344 b345 b346 b347 b348 b349 b350 b351 b352 b353 b354 b355 b356 b357 b358 b359 b360 b361 b362 b363 b364 b365 b366 b367 b368 b369 b370 b371 b372 b373 b374 b375 b376 b377 b378 b379 b380 b381 b382 b383 b384 b385 b386 b387 b388 b389 b390 b391 b392 b393 b394 b395 b396 b397 b398 b399 b400 b401 b402 b403 b404 b405 b406 b407 b408 b409 b410 b411 b412 b413 b414 b415 b416 b417 b418 b419 b420 b421 b422 b423 b424 b425 b426 b427 b428 b429 b430 b431 b432 b433 b434 b435 b436 b437 b438 b439 b440 b441 b442 b443 b444 b445 b446 b447 b448 b449 b450 b451 b452 b453 b454 b455 b456 b457 End