\ Equation counts \ Total E G L N X C B \ 1 0 0 1 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 21 1 20 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 22 2 20 0 \ Minimize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + objvar Subject To e1: - objvar - 144 b1 - 312 b2 + 112 b1 b2 - 496 b3 + 104 b1 b3 + 224 b2 b3 - 32 b1 b2 b3 - 688 b4 + 96 b1 b4 + 224 b2 b4 - 64 b1 b2 b4 + 352 b3 b4 - 64 b1 b3 b4 - 96 b2 b3 b4 + 64 b1 b2 b3 b4 - 8.8e2 b5 + 88 b1 b5 + 208 b2 b5 - 64 b1 b2 b5 + 344 b3 b5 - 32 b1 b3 b5 - 128 b2 b3 b5 + 496 b4 b5 - 64 b1 b4 b5 - 1.6e2 b2 b4 b5 + 64 b1 b2 b4 b5 - 1.6e2 b3 b4 b5 + 128 b2 b3 b4 b5 - 1072 b6 + 96 b1 b6 + 192 b2 b6 - 64 b1 b2 b6 + 336 b3 b6 - 64 b1 b3 b6 - 128 b2 b3 b6 + 4.8e2 b4 b6 - 64 b1 b4 b6 - 64 b2 b4 b6 - 224 b3 b4 b6 + 64 b1 b3 b4 b6 + 656 b5 b6 - 64 b1 b5 b6 - 1.6e2 b2 b5 b6 + 64 b1 b2 b5 b6 - 256 b3 b5 b6 + 128 b2 b3 b5 b6 - 224 b4 b5 b6 + 192 b3 b4 b5 b6 - 1264 b7 + 88 b1 b7 + 208 b2 b7 - 64 b1 b2 b7 + 328 b3 b7 - 64 b1 b3 b7 - 128 b2 b3 b7 + 464 b4 b7 - 32 b1 b4 b7 - 128 b2 b4 b7 - 192 b3 b4 b7 + 616 b5 b7 - 32 b1 b5 b7 - 128 b2 b5 b7 - 128 b3 b5 b7 + 64 b1 b3 b5 b7 - 3.2e2 b4 b5 b7 + 128 b2 b4 b5 b7 + 800 b6 b7 - 32 b1 b6 b7 - 128 b2 b6 b7 + 64 b1 b2 b6 b7 - 256 b3 b6 b7 + 128 b2 b3 b6 b7 - 352 b4 b6 b7 + 192 b3 b4 b6 b7 - 288 b5 b6 b7 + 256 b4 b5 b6 b7 - 1448 b8 + 80 b1 b8 + 192 b2 b8 - 64 b1 b2 b8 + 336 b3 b8 - 64 b1 b3 b8 - 128 b2 b3 b8 + 464 b4 b8 - 32 b1 b4 b8 - 128 b2 b4 b8 - 192 b3 b4 b8 + 592 b5 b8 - 32 b1 b5 b8 - 32 b2 b5 b8 - 192 b3 b5 b8 - 288 b4 b5 b8 + 64 b1 b4 b5 b8 + 736 b6 b8 - 32 b1 b6 b8 - 64 b2 b6 b8 - 192 b3 b6 b8 + 64 b1 b3 b6 b8 - 192 b4 b6 b8 + 128 b2 b4 b6 b8 - 416 b5 b6 b8 + 192 b3 b5 b6 b8 + 928 b7 b8 - 32 b1 b7 b8 - 96 b2 b7 b8 + 64 b1 b2 b7 b8 - 192 b3 b7 b8 + 128 b2 b3 b7 b8 - 3.2e2 b4 b7 b8 + 192 b3 b4 b7 b8 - 448 b5 b7 b8 + 256 b4 b5 b7 b8 - 352 b6 b7 b8 + 3.2e2 b5 b6 b7 b8 - 1616 b9 + 72 b1 b9 + 176 b2 b9 - 64 b1 b2 b9 + 296 b3 b9 - 32 b1 b3 b9 - 128 b2 b3 b9 + 448 b4 b9 - 32 b1 b4 b9 - 96 b2 b4 b9 - 192 b3 b4 b9 + 568 b5 b9 - 64 b2 b5 b9 - 1.6e2 b3 b5 b9 - 256 b4 b5 b9 + 704 b6 b9 - 32 b1 b6 b9 - 64 b2 b6 b9 - 32 b3 b6 b9 - 256 b4 b6 b9 + 64 b1 b4 b6 b9 - 384 b5 b6 b9 + 128 b2 b5 b6 b9 + 856 b7 b9 - 32 b1 b7 b9 - 64 b2 b7 b9 - 128 b3 b7 b9 + 64 b1 b3 b7 b9 - 256 b4 b7 b9 + 128 b2 b4 b7 b9 - 224 b5 b7 b9 + 192 b3 b5 b7 b9 - 512 b6 b7 b9 + 256 b4 b6 b7 b9 + 1.04e3 b8 b9 - 32 b1 b8 b9 - 96 b2 b8 b9 + 64 b1 b2 b8 b9 - 1.6e2 b3 b8 b9 + 128 b2 b3 b8 b9 - 256 b4 b8 b9 + 192 b3 b4 b8 b9 - 384 b5 b8 b9 + 256 b4 b5 b8 b9 - 512 b6 b8 b9 + 3.2e2 b5 b6 b8 b9 - 416 b7 b8 b9 + 384 b6 b7 b8 b9 - 1.76e3 b10 + 64 b1 b10 + 144 b2 b10 - 32 b1 b2 b10 + 256 b3 b10 - 32 b1 b3 b10 - 96 b2 b3 b10 + 384 b4 b10 - 32 b1 b4 b10 - 64 b2 b4 b10 - 1.6e2 b3 b4 b10 + 544 b5 b10 - 32 b1 b5 b10 - 64 b2 b5 b10 - 128 b3 b5 b10 - 224 b4 b5 b10 + 656 b6 b10 - 32 b1 b6 b10 - 96 b3 b6 b10 - 192 b4 b6 b10 - 3.2e2 b5 b6 b10 + 64 b1 b5 b6 b10 + 800 b7 b10 - 32 b1 b7 b10 - 64 b2 b7 b10 - 96 b3 b7 b10 - 64 b4 b7 b10 + 64 b1 b4 b7 b10 - 3.2e2 b5 b7 b10 + 128 b2 b5 b7 b10 - 448 b6 b7 b10 + 192 b3 b6 b7 b10 + 9.6e2 b8 b10 - 32 b1 b8 b10 - 64 b2 b8 b10 - 128 b3 b8 b10 + 64 b1 b3 b8 b10 - 192 b4 b8 b10 + 128 b2 b4 b8 b10 - 3.2e2 b5 b8 b10 + 192 b3 b5 b8 b10 - 256 b6 b8 b10 + 256 b4 b6 b8 b10 - 576 b7 b8 b10 + 3.2e2 b5 b7 b8 b10 + 1152 b9 b10 - 32 b1 b9 b10 - 96 b2 b9 b10 + 64 b1 b2 b9 b10 - 1.6e2 b3 b9 b10 + 128 b2 b3 b9 b10 - 224 b4 b9 b10 + 192 b3 b4 b9 b10 - 3.2e2 b5 b9 b10 + 256 b4 b5 b9 b10 - 448 b6 b9 b10 + 3.2e2 b5 b6 b9 b10 - 576 b7 b9 b10 + 384 b6 b7 b9 b10 - 448 b8 b9 b10 + 448 b7 b8 b9 b10 - 1.76e3 b11 + 64 b2 b11 + 144 b3 b11 - 32 b2 b3 b11 + 256 b4 b11 - 32 b2 b4 b11 - 96 b3 b4 b11 + 384 b5 b11 - 32 b2 b5 b11 - 64 b3 b5 b11 - 1.6e2 b4 b5 b11 + 544 b6 b11 - 32 b2 b6 b11 - 64 b3 b6 b11 - 128 b4 b6 b11 - 224 b5 b6 b11 + 656 b7 b11 - 32 b2 b7 b11 - 96 b4 b7 b11 - 192 b5 b7 b11 - 3.2e2 b6 b7 b11 + 64 b2 b6 b7 b11 + 800 b8 b11 - 32 b2 b8 b11 - 64 b3 b8 b11 - 96 b4 b8 b11 - 64 b5 b8 b11 + 64 b2 b5 b8 b11 - 3.2e2 b6 b8 b11 + 128 b3 b6 b8 b11 - 448 b7 b8 b11 + 192 b4 b7 b8 b11 + 9.6e2 b9 b11 - 32 b2 b9 b11 - 64 b3 b9 b11 - 128 b4 b9 b11 + 64 b2 b4 b9 b11 - 192 b5 b9 b11 + 128 b3 b5 b9 b11 - 3.2e2 b6 b9 b11 + 192 b4 b6 b9 b11 - 256 b7 b9 b11 + 256 b5 b7 b9 b11 - 576 b8 b9 b11 + 3.2e2 b6 b8 b9 b11 + 1152 b10 b11 - 32 b2 b10 b11 - 96 b3 b10 b11 + 64 b2 b3 b10 b11 - 1.6e2 b4 b10 b11 + 128 b3 b4 b10 b11 - 224 b5 b10 b11 + 192 b4 b5 b10 b11 - 3.2e2 b6 b10 b11 + 256 b5 b6 b10 b11 - 448 b7 b10 b11 + 3.2e2 b6 b7 b10 b11 - 576 b8 b10 b11 + 384 b7 b8 b10 b11 - 448 b9 b10 b11 + 448 b8 b9 b10 b11 - 1616 b12 + 64 b3 b12 + 144 b4 b12 - 32 b3 b4 b12 + 256 b5 b12 - 32 b3 b5 b12 - 96 b4 b5 b12 + 384 b6 b12 - 32 b3 b6 b12 - 64 b4 b6 b12 - 1.6e2 b5 b6 b12 + 544 b7 b12 - 32 b3 b7 b12 - 64 b4 b7 b12 - 128 b5 b7 b12 - 224 b6 b7 b12 + 656 b8 b12 - 32 b3 b8 b12 - 96 b5 b8 b12 - 192 b6 b8 b12 - 3.2e2 b7 b8 b12 + 64 b3 b7 b8 b12 + 800 b9 b12 - 32 b3 b9 b12 - 64 b4 b9 b12 - 96 b5 b9 b12 - 64 b6 b9 b12 + 64 b3 b6 b9 b12 - 3.2e2 b7 b9 b12 + 128 b4 b7 b9 b12 - 448 b8 b9 b12 + 192 b5 b8 b9 b12 + 9.6e2 b10 b12 - 32 b3 b10 b12 - 64 b4 b10 b12 - 128 b5 b10 b12 + 64 b3 b5 b10 b12 - 192 b6 b10 b12 + 128 b4 b6 b10 b12 - 3.2e2 b7 b10 b12 + 192 b5 b7 b10 b12 - 256 b8 b10 b12 + 256 b6 b8 b10 b12 - 576 b9 b10 b12 + 3.2e2 b7 b9 b10 b12 + 1152 b11 b12 - 32 b3 b11 b12 - 96 b4 b11 b12 + 64 b3 b4 b11 b12 - 1.6e2 b5 b11 b12 + 128 b4 b5 b11 b12 - 224 b6 b11 b12 + 192 b5 b6 b11 b12 - 3.2e2 b7 b11 b12 + 256 b6 b7 b11 b12 - 448 b8 b11 b12 + 3.2e2 b7 b8 b11 b12 - 576 b9 b11 b12 + 384 b8 b9 b11 b12 - 448 b10 b11 b12 + 448 b9 b10 b11 b12 - 1448 b13 + 64 b4 b13 + 144 b5 b13 - 32 b4 b5 b13 + 256 b6 b13 - 32 b4 b6 b13 - 96 b5 b6 b13 + 384 b7 b13 - 32 b4 b7 b13 - 64 b5 b7 b13 - 1.6e2 b6 b7 b13 + 544 b8 b13 - 32 b4 b8 b13 - 64 b5 b8 b13 - 128 b6 b8 b13 - 224 b7 b8 b13 + 656 b9 b13 - 32 b4 b9 b13 - 96 b6 b9 b13 - 192 b7 b9 b13 - 3.2e2 b8 b9 b13 + 64 b4 b8 b9 b13 + 800 b10 b13 - 32 b4 b10 b13 - 64 b5 b10 b13 - 96 b6 b10 b13 - 64 b7 b10 b13 + 64 b4 b7 b10 b13 - 3.2e2 b8 b10 b13 + 128 b5 b8 b10 b13 - 448 b9 b10 b13 + 192 b6 b9 b10 b13 + 9.6e2 b11 b13 - 32 b4 b11 b13 - 64 b5 b11 b13 - 128 b6 b11 b13 + 64 b4 b6 b11 b13 - 192 b7 b11 b13 + 128 b5 b7 b11 b13 - 3.2e2 b8 b11 b13 + 192 b6 b8 b11 b13 - 256 b9 b11 b13 + 256 b7 b9 b11 b13 - 576 b10 b11 b13 + 3.2e2 b8 b10 b11 b13 + 1.04e3 b12 b13 - 32 b4 b12 b13 - 96 b5 b12 b13 + 64 b4 b5 b12 b13 - 1.6e2 b6 b12 b13 + 128 b5 b6 b12 b13 - 224 b7 b12 b13 + 192 b6 b7 b12 b13 - 3.2e2 b8 b12 b13 + 256 b7 b8 b12 b13 - 448 b9 b12 b13 + 3.2e2 b8 b9 b12 b13 - 576 b10 b12 b13 + 384 b9 b10 b12 b13 - 448 b11 b12 b13 + 448 b10 b11 b12 b13 - 1264 b14 + 64 b5 b14 + 144 b6 b14 - 32 b5 b6 b14 + 256 b7 b14 - 32 b5 b7 b14 - 96 b6 b7 b14 + 384 b8 b14 - 32 b5 b8 b14 - 64 b6 b8 b14 - 1.6e2 b7 b8 b14 + 544 b9 b14 - 32 b5 b9 b14 - 64 b6 b9 b14 - 128 b7 b9 b14 - 224 b8 b9 b14 + 656 b10 b14 - 32 b5 b10 b14 - 96 b7 b10 b14 - 192 b8 b10 b14 - 3.2e2 b9 b10 b14 + 64 b5 b9 b10 b14 + 800 b11 b14 - 32 b5 b11 b14 - 64 b6 b11 b14 - 96 b7 b11 b14 - 64 b8 b11 b14 + 64 b5 b8 b11 b14 - 3.2e2 b9 b11 b14 + 128 b6 b9 b11 b14 - 448 b10 b11 b14 + 192 b7 b10 b11 b14 + 856 b12 b14 - 32 b5 b12 b14 - 64 b6 b12 b14 - 128 b7 b12 b14 + 64 b5 b7 b12 b14 - 192 b8 b12 b14 + 128 b6 b8 b12 b14 - 3.2e2 b9 b12 b14 + 192 b7 b9 b12 b14 - 256 b10 b12 b14 + 256 b8 b10 b12 b14 - 576 b11 b12 b14 + 3.2e2 b9 b11 b12 b14 + 928 b13 b14 - 32 b5 b13 b14 - 96 b6 b13 b14 + 64 b5 b6 b13 b14 - 1.6e2 b7 b13 b14 + 128 b6 b7 b13 b14 - 224 b8 b13 b14 + 192 b7 b8 b13 b14 - 3.2e2 b9 b13 b14 + 256 b8 b9 b13 b14 - 448 b10 b13 b14 + 3.2e2 b9 b10 b13 b14 - 576 b11 b13 b14 + 384 b10 b11 b13 b14 - 416 b12 b13 b14 + 448 b11 b12 b13 b14 - 1072 b15 + 64 b6 b15 + 144 b7 b15 - 32 b6 b7 b15 + 256 b8 b15 - 32 b6 b8 b15 - 96 b7 b8 b15 + 384 b9 b15 - 32 b6 b9 b15 - 64 b7 b9 b15 - 1.6e2 b8 b9 b15 + 544 b10 b15 - 32 b6 b10 b15 - 64 b7 b10 b15 - 128 b8 b10 b15 - 224 b9 b10 b15 + 656 b11 b15 - 32 b6 b11 b15 - 96 b8 b11 b15 - 192 b9 b11 b15 - 3.2e2 b10 b11 b15 + 64 b6 b10 b11 b15 + 704 b12 b15 - 32 b6 b12 b15 - 64 b7 b12 b15 - 96 b8 b12 b15 - 64 b9 b12 b15 + 64 b6 b9 b12 b15 - 3.2e2 b10 b12 b15 + 128 b7 b10 b12 b15 - 448 b11 b12 b15 + 192 b8 b11 b12 b15 + 736 b13 b15 - 32 b6 b13 b15 - 64 b7 b13 b15 - 128 b8 b13 b15 + 64 b6 b8 b13 b15 - 192 b9 b13 b15 + 128 b7 b9 b13 b15 - 3.2e2 b10 b13 b15 + 192 b8 b10 b13 b15 - 256 b11 b13 b15 + 256 b9 b11 b13 b15 - 512 b12 b13 b15 + 3.2e2 b10 b12 b13 b15 + 800 b14 b15 - 32 b6 b14 b15 - 96 b7 b14 b15 + 64 b6 b7 b14 b15 - 1.6e2 b8 b14 b15 + 128 b7 b8 b14 b15 - 224 b9 b14 b15 + 192 b8 b9 b14 b15 - 3.2e2 b10 b14 b15 + 256 b9 b10 b14 b15 - 448 b11 b14 b15 + 3.2e2 b10 b11 b14 b15 - 512 b12 b14 b15 + 384 b11 b12 b14 b15 - 352 b13 b14 b15 + 384 b12 b13 b14 b15 - 8.8e2 b16 + 64 b7 b16 + 144 b8 b16 - 32 b7 b8 b16 + 256 b9 b16 - 32 b7 b9 b16 - 96 b8 b9 b16 + 384 b10 b16 - 32 b7 b10 b16 - 64 b8 b10 b16 - 1.6e2 b9 b10 b16 + 544 b11 b16 - 32 b7 b11 b16 - 64 b8 b11 b16 - 128 b9 b11 b16 - 224 b10 b11 b16 + 568 b12 b16 - 32 b7 b12 b16 - 96 b9 b12 b16 - 192 b10 b12 b16 - 3.2e2 b11 b12 b16 + 64 b7 b11 b12 b16 + 592 b13 b16 - 32 b7 b13 b16 - 64 b8 b13 b16 - 96 b9 b13 b16 - 64 b10 b13 b16 + 64 b7 b10 b13 b16 - 3.2e2 b11 b13 b16 + 128 b8 b11 b13 b16 - 384 b12 b13 b16 + 192 b9 b12 b13 b16 + 616 b14 b16 - 32 b7 b14 b16 - 64 b8 b14 b16 - 128 b9 b14 b16 + 64 b7 b9 b14 b16 - 192 b10 b14 b16 + 128 b8 b10 b14 b16 - 3.2e2 b11 b14 b16 + 192 b9 b11 b14 b16 - 224 b12 b14 b16 + 256 b10 b12 b14 b16 - 448 b13 b14 b16 + 3.2e2 b11 b13 b14 b16 + 656 b15 b16 - 32 b7 b15 b16 - 96 b8 b15 b16 + 64 b7 b8 b15 b16 - 1.6e2 b9 b15 b16 + 128 b8 b9 b15 b16 - 224 b10 b15 b16 + 192 b9 b10 b15 b16 - 3.2e2 b11 b15 b16 + 256 b10 b11 b15 b16 - 384 b12 b15 b16 + 3.2e2 b11 b12 b15 b16 - 416 b13 b15 b16 + 3.2e2 b12 b13 b15 b16 - 288 b14 b15 b16 + 3.2e2 b13 b14 b15 b16 - 688 b17 + 64 b8 b17 + 144 b9 b17 - 32 b8 b9 b17 + 256 b10 b17 - 32 b8 b10 b17 - 96 b9 b10 b17 + 384 b11 b17 - 32 b8 b11 b17 - 64 b9 b11 b17 - 1.6e2 b10 b11 b17 + 448 b12 b17 - 32 b8 b12 b17 - 64 b9 b12 b17 - 128 b10 b12 b17 - 224 b11 b12 b17 + 464 b13 b17 - 32 b8 b13 b17 - 96 b10 b13 b17 - 192 b11 b13 b17 - 256 b12 b13 b17 + 64 b8 b12 b13 b17 + 464 b14 b17 - 32 b8 b14 b17 - 64 b9 b14 b17 - 96 b10 b14 b17 - 64 b11 b14 b17 + 64 b8 b11 b14 b17 - 256 b12 b14 b17 + 128 b9 b12 b14 b17 - 3.2e2 b13 b14 b17 + 192 b10 b13 b14 b17 + 4.8e2 b15 b17 - 32 b8 b15 b17 - 64 b9 b15 b17 - 128 b10 b15 b17 + 64 b8 b10 b15 b17 - 192 b11 b15 b17 + 128 b9 b11 b15 b17 - 256 b12 b15 b17 + 192 b10 b12 b15 b17 - 192 b13 b15 b17 + 256 b11 b13 b15 b17 - 352 b14 b15 b17 + 256 b12 b14 b15 b17 + 496 b16 b17 - 32 b8 b16 b17 - 96 b9 b16 b17 + 64 b8 b9 b16 b17 - 1.6e2 b10 b16 b17 + 128 b9 b10 b16 b17 - 224 b11 b16 b17 + 192 b10 b11 b16 b17 - 256 b12 b16 b17 + 256 b11 b12 b16 b17 - 288 b13 b16 b17 + 256 b12 b13 b16 b17 - 3.2e2 b14 b16 b17 + 256 b13 b14 b16 b17 - 224 b15 b16 b17 + 256 b14 b15 b16 b17 - 496 b18 + 64 b9 b18 + 144 b10 b18 - 32 b9 b10 b18 + 256 b11 b18 - 32 b9 b11 b18 - 96 b10 b11 b18 + 296 b12 b18 - 32 b9 b12 b18 - 64 b10 b12 b18 - 1.6e2 b11 b12 b18 + 336 b13 b18 - 32 b9 b13 b18 - 64 b10 b13 b18 - 128 b11 b13 b18 - 1.6e2 b12 b13 b18 + 328 b14 b18 - 32 b9 b14 b18 - 96 b11 b14 b18 - 128 b12 b14 b18 - 192 b13 b14 b18 + 64 b9 b13 b14 b18 + 336 b15 b18 - 32 b9 b15 b18 - 64 b10 b15 b18 - 96 b11 b15 b18 - 32 b12 b15 b18 + 64 b9 b12 b15 b18 - 192 b13 b15 b18 + 128 b10 b13 b15 b18 - 256 b14 b15 b18 + 192 b11 b14 b15 b18 + 344 b16 b18 - 32 b9 b16 b18 - 64 b10 b16 b18 - 128 b11 b16 b18 + 64 b9 b11 b16 b18 - 1.6e2 b12 b16 b18 + 128 b10 b12 b16 b18 - 192 b13 b16 b18 + 192 b11 b13 b16 b18 - 128 b14 b16 b18 + 192 b12 b14 b16 b18 - 256 b15 b16 b18 + 192 b13 b15 b16 b18 + 352 b17 b18 - 32 b9 b17 b18 - 96 b10 b17 b18 + 64 b9 b10 b17 b18 - 1.6e2 b11 b17 b18 + 128 b10 b11 b17 b18 - 192 b12 b17 b18 + 192 b11 b12 b17 b18 - 192 b13 b17 b18 + 192 b12 b13 b17 b18 - 192 b14 b17 b18 + 192 b13 b14 b17 b18 - 224 b15 b17 b18 + 192 b14 b15 b17 b18 - 1.6e2 b16 b17 b18 + 192 b15 b16 b17 b18 - 312 b19 + 64 b10 b19 + 144 b11 b19 - 32 b10 b11 b19 + 176 b12 b19 - 32 b10 b12 b19 - 96 b11 b12 b19 + 192 b13 b19 - 32 b10 b13 b19 - 64 b11 b13 b19 - 96 b12 b13 b19 + 208 b14 b19 - 32 b10 b14 b19 - 64 b11 b14 b19 - 64 b12 b14 b19 - 96 b13 b14 b19 + 192 b15 b19 - 32 b10 b15 b19 - 64 b12 b15 b19 - 64 b13 b15 b19 - 128 b14 b15 b19 + 64 b10 b14 b15 b19 + 208 b16 b19 - 32 b10 b16 b19 - 64 b11 b16 b19 - 64 b12 b16 b19 - 32 b13 b16 b19 + 64 b10 b13 b16 b19 - 128 b14 b16 b19 + 128 b11 b14 b16 b19 - 1.6e2 b15 b16 b19 + 128 b12 b15 b16 b19 + 224 b17 b19 - 32 b10 b17 b19 - 64 b11 b17 b19 - 96 b12 b17 b19 + 64 b10 b12 b17 b19 - 128 b13 b17 b19 + 128 b11 b13 b17 b19 - 128 b14 b17 b19 + 128 b12 b14 b17 b19 - 64 b15 b17 b19 + 128 b13 b15 b17 b19 - 1.6e2 b16 b17 b19 + 128 b14 b16 b17 b19 + 224 b18 b19 - 32 b10 b18 b19 - 96 b11 b18 b19 + 64 b10 b11 b18 b19 - 128 b12 b18 b19 + 128 b11 b12 b18 b19 - 128 b13 b18 b19 + 128 b12 b13 b18 b19 - 128 b14 b18 b19 + 128 b13 b14 b18 b19 - 128 b15 b18 b19 + 128 b14 b15 b18 b19 - 128 b16 b18 b19 + 128 b15 b16 b18 b19 - 96 b17 b18 b19 + 128 b16 b17 b18 b19 - 144 b20 + 64 b11 b20 + 72 b12 b20 - 32 b11 b12 b20 + 80 b13 b20 - 32 b11 b13 b20 - 32 b12 b13 b20 + 88 b14 b20 - 32 b11 b14 b20 - 32 b12 b14 b20 - 32 b13 b14 b20 + 96 b15 b20 - 32 b11 b15 b20 - 32 b12 b15 b20 - 32 b13 b15 b20 - 32 b14 b15 b20 + 88 b16 b20 - 32 b11 b16 b20 - 32 b13 b16 b20 - 32 b14 b16 b20 - 64 b15 b16 b20 + 64 b11 b15 b16 b20 + 96 b17 b20 - 32 b11 b17 b20 - 32 b12 b17 b20 - 32 b13 b17 b20 - 32 b14 b17 b20 + 64 b11 b14 b17 b20 - 64 b15 b17 b20 + 64 b12 b15 b17 b20 - 64 b16 b17 b20 + 64 b13 b16 b17 b20 + 104 b18 b20 - 32 b11 b18 b20 - 32 b12 b18 b20 - 64 b13 b18 b20 + 64 b11 b13 b18 b20 - 64 b14 b18 b20 + 64 b12 b14 b18 b20 - 64 b15 b18 b20 + 64 b13 b15 b18 b20 - 32 b16 b18 b20 + 64 b14 b16 b18 b20 - 64 b17 b18 b20 + 64 b15 b17 b18 b20 + 112 b19 b20 - 32 b11 b19 b20 - 64 b12 b19 b20 + 64 b11 b12 b19 b20 - 64 b13 b19 b20 + 64 b12 b13 b19 b20 - 64 b14 b19 b20 + 64 b13 b14 b19 b20 - 64 b15 b19 b20 + 64 b14 b15 b19 b20 - 64 b16 b19 b20 + 64 b15 b16 b19 b20 - 64 b17 b19 b20 + 64 b16 b17 b19 b20 - 32 b18 b19 b20 + 64 b17 b18 b19 b20 <= 0 Bounds objvar Free Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 End