\ 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 \ 26 1 25 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 27 2 25 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 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + objvar Subject To e1: - objvar - 264 b1 - 564 b2 + 1.6e2 b1 b2 - 892 b3 + 152 b1 b3 + 3.2e2 b2 b3 - 32 b1 b2 b3 - 1.24e3 b4 + 144 b1 b4 + 3.2e2 b2 b4 - 64 b1 b2 b4 + 496 b3 b4 - 64 b1 b3 b4 - 96 b2 b3 b4 + 64 b1 b2 b3 b4 - 1.6e3 b5 + 136 b1 b5 + 304 b2 b5 - 64 b1 b2 b5 + 488 b3 b5 - 32 b1 b3 b5 - 128 b2 b3 b5 + 688 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 - 1964 b6 + 128 b1 b6 + 288 b2 b6 - 64 b1 b2 b6 + 4.8e2 b3 b6 - 64 b1 b3 b6 - 128 b2 b3 b6 + 672 b4 b6 - 64 b1 b4 b6 - 64 b2 b4 b6 - 224 b3 b4 b6 + 64 b1 b3 b4 b6 + 896 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 - 2324 b7 + 1.2e2 b1 b7 + 272 b2 b7 - 64 b1 b2 b7 + 456 b3 b7 - 64 b1 b3 b7 - 128 b2 b3 b7 + 656 b4 b7 - 32 b1 b4 b7 - 128 b2 b4 b7 - 192 b3 b4 b7 + 872 b5 b7 - 64 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 + 1.12e3 b6 b7 - 64 b1 b6 b7 - 1.6e2 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 - 2688 b8 + 128 b1 b8 + 272 b2 b8 - 64 b1 b2 b8 + 432 b3 b8 - 64 b1 b3 b8 - 128 b2 b3 b8 + 6.4e2 b4 b8 - 64 b1 b4 b8 - 128 b2 b4 b8 - 192 b3 b4 b8 + 848 b5 b8 - 64 b1 b5 b8 - 64 b2 b5 b8 - 192 b3 b5 b8 - 288 b4 b5 b8 + 64 b1 b4 b5 b8 + 1088 b6 b8 - 64 b1 b6 b8 - 128 b2 b6 b8 - 224 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 + 1344 b7 b8 - 32 b1 b7 b8 - 1.6e2 b2 b7 b8 + 64 b1 b2 b7 b8 - 256 b3 b7 b8 + 128 b2 b3 b7 b8 - 352 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 - 3048 b9 + 1.2e2 b1 b9 + 272 b2 b9 - 64 b1 b2 b9 + 4.4e2 b3 b9 - 64 b1 b3 b9 - 128 b2 b3 b9 + 624 b4 b9 - 64 b1 b4 b9 - 128 b2 b4 b9 - 192 b3 b4 b9 + 824 b5 b9 - 32 b1 b5 b9 - 128 b2 b5 b9 - 192 b3 b5 b9 - 256 b4 b5 b9 + 1.04e3 b6 b9 - 32 b1 b6 b9 - 128 b2 b6 b9 - 96 b3 b6 b9 - 288 b4 b6 b9 + 64 b1 b4 b6 b9 - 384 b5 b6 b9 + 128 b2 b5 b6 b9 + 1288 b7 b9 - 32 b1 b7 b9 - 96 b2 b7 b9 - 224 b3 b7 b9 + 64 b1 b3 b7 b9 - 3.2e2 b4 b7 b9 + 128 b2 b4 b7 b9 - 256 b5 b7 b9 + 192 b3 b5 b7 b9 - 512 b6 b7 b9 + 256 b4 b6 b7 b9 + 1552 b8 b9 - 32 b1 b8 b9 - 96 b2 b8 b9 + 64 b1 b2 b8 b9 - 224 b3 b8 b9 + 128 b2 b3 b8 b9 - 352 b4 b8 b9 + 192 b3 b4 b8 b9 - 448 b5 b8 b9 + 256 b4 b5 b8 b9 - 544 b6 b8 b9 + 3.2e2 b5 b6 b8 b9 - 416 b7 b8 b9 + 384 b6 b7 b8 b9 - 3396 b10 + 112 b1 b10 + 256 b2 b10 - 64 b1 b2 b10 + 432 b3 b10 - 64 b1 b3 b10 - 128 b2 b3 b10 + 624 b4 b10 - 64 b1 b4 b10 - 128 b2 b4 b10 - 192 b3 b4 b10 + 816 b5 b10 - 32 b1 b5 b10 - 128 b2 b5 b10 - 192 b3 b5 b10 - 256 b4 b5 b10 + 1008 b6 b10 - 32 b1 b6 b10 - 32 b2 b6 b10 - 192 b3 b6 b10 - 256 b4 b6 b10 - 352 b5 b6 b10 + 64 b1 b5 b6 b10 + 1216 b7 b10 - 32 b1 b7 b10 - 64 b2 b7 b10 - 1.6e2 b3 b7 b10 - 1.6e2 b4 b7 b10 + 64 b1 b4 b7 b10 - 384 b5 b7 b10 + 128 b2 b5 b7 b10 - 4.8e2 b6 b7 b10 + 192 b3 b6 b7 b10 + 1472 b8 b10 - 32 b1 b8 b10 - 64 b2 b8 b10 - 1.6e2 b3 b8 b10 + 64 b1 b3 b8 b10 - 288 b4 b8 b10 + 128 b2 b4 b8 b10 - 416 b5 b8 b10 + 192 b3 b5 b8 b10 - 3.2e2 b6 b8 b10 + 256 b4 b6 b8 b10 - 608 b7 b8 b10 + 3.2e2 b5 b7 b8 b10 + 1744 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 - 288 b4 b9 b10 + 192 b3 b4 b9 b10 - 416 b5 b9 b10 + 256 b4 b5 b9 b10 - 544 b6 b9 b10 + 3.2e2 b5 b6 b9 b10 - 6.4e2 b7 b9 b10 + 384 b6 b7 b9 b10 - 4.8e2 b8 b9 b10 + 448 b7 b8 b9 b10 - 3724 b11 + 104 b1 b11 + 2.4e2 b2 b11 - 64 b1 b2 b11 + 408 b3 b11 - 64 b1 b3 b11 - 128 b2 b3 b11 + 592 b4 b11 - 32 b1 b4 b11 - 128 b2 b4 b11 - 192 b3 b4 b11 + 792 b5 b11 - 32 b1 b5 b11 - 96 b2 b5 b11 - 192 b3 b5 b11 - 256 b4 b5 b11 + 976 b6 b11 - 64 b2 b6 b11 - 1.6e2 b3 b6 b11 - 256 b4 b6 b11 - 3.2e2 b5 b6 b11 + 1176 b7 b11 - 32 b1 b7 b11 - 64 b2 b7 b11 - 32 b3 b7 b11 - 224 b4 b7 b11 - 352 b5 b7 b11 + 64 b1 b5 b7 b11 - 448 b6 b7 b11 + 128 b2 b6 b7 b11 + 1392 b8 b11 - 32 b1 b8 b11 - 64 b2 b8 b11 - 96 b3 b8 b11 - 224 b4 b8 b11 + 64 b1 b4 b8 b11 - 192 b5 b8 b11 + 128 b2 b5 b8 b11 - 4.8e2 b6 b8 b11 + 192 b3 b6 b8 b11 - 576 b7 b8 b11 + 256 b4 b7 b8 b11 + 1.64e3 b9 b11 - 32 b1 b9 b11 - 64 b2 b9 b11 - 128 b3 b9 b11 + 64 b1 b3 b9 b11 - 224 b4 b9 b11 + 128 b2 b4 b9 b11 - 352 b5 b9 b11 + 192 b3 b5 b9 b11 - 4.8e2 b6 b9 b11 + 256 b4 b6 b9 b11 - 384 b7 b9 b11 + 3.2e2 b5 b7 b9 b11 - 704 b8 b9 b11 + 384 b6 b8 b9 b11 + 1.92e3 b10 b11 - 32 b1 b10 b11 - 96 b2 b10 b11 + 64 b1 b2 b10 b11 - 1.6e2 b3 b10 b11 + 128 b2 b3 b10 b11 - 224 b4 b10 b11 + 192 b3 b4 b10 b11 - 352 b5 b10 b11 + 256 b4 b5 b10 b11 - 4.8e2 b6 b10 b11 + 3.2e2 b5 b6 b10 b11 - 608 b7 b10 b11 + 384 b6 b7 b10 b11 - 736 b8 b10 b11 + 448 b7 b8 b10 b11 - 544 b9 b10 b11 + 512 b8 b9 b10 b11 - 4024 b12 + 96 b1 b12 + 224 b2 b12 - 64 b1 b2 b12 + 368 b3 b12 - 32 b1 b3 b12 - 128 b2 b3 b12 + 544 b4 b12 - 32 b1 b4 b12 - 96 b2 b4 b12 - 192 b3 b4 b12 + 736 b5 b12 - 32 b1 b5 b12 - 64 b2 b5 b12 - 1.6e2 b3 b5 b12 - 256 b4 b5 b12 + 944 b6 b12 - 32 b1 b6 b12 - 64 b2 b6 b12 - 128 b3 b6 b12 - 224 b4 b6 b12 - 3.2e2 b5 b6 b12 + 1.12e3 b7 b12 - 32 b1 b7 b12 - 96 b3 b7 b12 - 192 b4 b7 b12 - 288 b5 b7 b12 - 416 b6 b7 b12 + 64 b1 b6 b7 b12 + 1328 b8 b12 - 32 b1 b8 b12 - 64 b2 b8 b12 - 96 b3 b8 b12 - 32 b4 b8 b12 - 288 b5 b8 b12 + 64 b1 b5 b8 b12 - 416 b6 b8 b12 + 128 b2 b6 b8 b12 - 544 b7 b8 b12 + 192 b3 b7 b8 b12 + 1552 b9 b12 - 32 b1 b9 b12 - 64 b2 b9 b12 - 96 b3 b9 b12 - 1.6e2 b4 b9 b12 + 64 b1 b4 b9 b12 - 288 b5 b9 b12 + 128 b2 b5 b9 b12 - 224 b6 b9 b12 + 192 b3 b6 b9 b12 - 544 b7 b9 b12 + 256 b4 b7 b9 b12 - 672 b8 b9 b12 + 3.2e2 b5 b8 b9 b12 + 1808 b10 b12 - 32 b1 b10 b12 - 64 b2 b10 b12 - 128 b3 b10 b12 + 64 b1 b3 b10 b12 - 192 b4 b10 b12 + 128 b2 b4 b10 b12 - 288 b5 b10 b12 + 192 b3 b5 b10 b12 - 416 b6 b10 b12 + 256 b4 b6 b10 b12 - 544 b7 b10 b12 + 3.2e2 b5 b7 b10 b12 - 416 b8 b10 b12 + 384 b6 b8 b10 b12 - 800 b9 b10 b12 + 448 b7 b9 b10 b12 + 2.08e3 b11 b12 - 32 b1 b11 b12 - 96 b2 b11 b12 + 64 b1 b2 b11 b12 - 1.6e2 b3 b11 b12 + 128 b2 b3 b11 b12 - 224 b4 b11 b12 + 192 b3 b4 b11 b12 - 288 b5 b11 b12 + 256 b4 b5 b11 b12 - 416 b6 b11 b12 + 3.2e2 b5 b6 b11 b12 - 544 b7 b11 b12 + 384 b6 b7 b11 b12 - 672 b8 b11 b12 + 448 b7 b8 b11 b12 - 800 b9 b11 b12 + 512 b8 b9 b11 b12 - 608 b10 b11 b12 + 576 b9 b10 b11 b12 - 4288 b13 + 88 b1 b13 + 192 b2 b13 - 32 b1 b2 b13 + 328 b3 b13 - 32 b1 b3 b13 - 96 b2 b3 b13 + 4.8e2 b4 b13 - 32 b1 b4 b13 - 64 b2 b4 b13 - 1.6e2 b3 b4 b13 + 664 b5 b13 - 32 b1 b5 b13 - 64 b2 b5 b13 - 128 b3 b5 b13 - 224 b4 b5 b13 + 864 b6 b13 - 32 b1 b6 b13 - 64 b2 b6 b13 - 96 b3 b6 b13 - 192 b4 b6 b13 - 288 b5 b6 b13 + 1064 b7 b13 - 64 b2 b7 b13 - 96 b3 b7 b13 - 1.6e2 b4 b7 b13 - 256 b5 b7 b13 - 352 b6 b7 b13 + 1248 b8 b13 - 32 b1 b8 b13 - 64 b2 b8 b13 - 128 b4 b8 b13 - 224 b5 b8 b13 - 352 b6 b8 b13 + 64 b1 b6 b8 b13 - 4.8e2 b7 b8 b13 + 128 b2 b7 b8 b13 + 1464 b9 b13 - 32 b1 b9 b13 - 64 b2 b9 b13 - 96 b3 b9 b13 - 128 b4 b9 b13 - 64 b5 b9 b13 + 64 b1 b5 b9 b13 - 352 b6 b9 b13 + 128 b2 b6 b9 b13 - 4.8e2 b7 b9 b13 + 192 b3 b7 b9 b13 - 608 b8 b9 b13 + 256 b4 b8 b9 b13 + 1696 b10 b13 - 32 b1 b10 b13 - 64 b2 b10 b13 - 96 b3 b10 b13 - 1.6e2 b4 b10 b13 + 64 b1 b4 b10 b13 - 224 b5 b10 b13 + 128 b2 b5 b10 b13 - 352 b6 b10 b13 + 192 b3 b6 b10 b13 - 256 b7 b10 b13 + 256 b4 b7 b10 b13 - 608 b8 b10 b13 + 3.2e2 b5 b8 b10 b13 - 736 b9 b10 b13 + 384 b6 b9 b10 b13 + 1.96e3 b11 b13 - 32 b1 b11 b13 - 64 b2 b11 b13 - 128 b3 b11 b13 + 64 b1 b3 b11 b13 - 192 b4 b11 b13 + 128 b2 b4 b11 b13 - 256 b5 b11 b13 + 192 b3 b5 b11 b13 - 352 b6 b11 b13 + 256 b4 b6 b11 b13 - 4.8e2 b7 b11 b13 + 3.2e2 b5 b7 b11 b13 - 608 b8 b11 b13 + 384 b6 b8 b11 b13 - 448 b9 b11 b13 + 448 b7 b9 b11 b13 - 864 b10 b11 b13 + 512 b8 b10 b11 b13 + 2.24e3 b12 b13 - 32 b1 b12 b13 - 96 b2 b12 b13 + 64 b1 b2 b12 b13 - 1.6e2 b3 b12 b13 + 128 b2 b3 b12 b13 - 224 b4 b12 b13 + 192 b3 b4 b12 b13 - 288 b5 b12 b13 + 256 b4 b5 b12 b13 - 352 b6 b12 b13 + 3.2e2 b5 b6 b12 b13 - 4.8e2 b7 b12 b13 + 384 b6 b7 b12 b13 - 608 b8 b12 b13 + 448 b7 b8 b12 b13 - 736 b9 b12 b13 + 512 b8 b9 b12 b13 - 864 b10 b12 b13 + 576 b9 b10 b12 b13 - 6.4e2 b11 b12 b13 + 6.4e2 b10 b11 b12 b13 - 4024 b14 + 88 b2 b14 + 192 b3 b14 - 32 b2 b3 b14 + 328 b4 b14 - 32 b2 b4 b14 - 96 b3 b4 b14 + 4.8e2 b5 b14 - 32 b2 b5 b14 - 64 b3 b5 b14 - 1.6e2 b4 b5 b14 + 664 b6 b14 - 32 b2 b6 b14 - 64 b3 b6 b14 - 128 b4 b6 b14 - 224 b5 b6 b14 + 864 b7 b14 - 32 b2 b7 b14 - 64 b3 b7 b14 - 96 b4 b7 b14 - 192 b5 b7 b14 - 288 b6 b7 b14 + 1064 b8 b14 - 64 b3 b8 b14 - 96 b4 b8 b14 - 1.6e2 b5 b8 b14 - 256 b6 b8 b14 - 352 b7 b8 b14 + 1248 b9 b14 - 32 b2 b9 b14 - 64 b3 b9 b14 - 128 b5 b9 b14 - 224 b6 b9 b14 - 352 b7 b9 b14 + 64 b2 b7 b9 b14 - 4.8e2 b8 b9 b14 + 128 b3 b8 b9 b14 + 1464 b10 b14 - 32 b2 b10 b14 - 64 b3 b10 b14 - 96 b4 b10 b14 - 128 b5 b10 b14 - 64 b6 b10 b14 + 64 b2 b6 b10 b14 - 352 b7 b10 b14 + 128 b3 b7 b10 b14 - 4.8e2 b8 b10 b14 + 192 b4 b8 b10 b14 - 608 b9 b10 b14 + 256 b5 b9 b10 b14 + 1696 b11 b14 - 32 b2 b11 b14 - 64 b3 b11 b14 - 96 b4 b11 b14 - 1.6e2 b5 b11 b14 + 64 b2 b5 b11 b14 - 224 b6 b11 b14 + 128 b3 b6 b11 b14 - 352 b7 b11 b14 + 192 b4 b7 b11 b14 - 256 b8 b11 b14 + 256 b5 b8 b11 b14 - 608 b9 b11 b14 + 3.2e2 b6 b9 b11 b14 - 736 b10 b11 b14 + 384 b7 b10 b11 b14 + 1.96e3 b12 b14 - 32 b2 b12 b14 - 64 b3 b12 b14 - 128 b4 b12 b14 + 64 b2 b4 b12 b14 - 192 b5 b12 b14 + 128 b3 b5 b12 b14 - 256 b6 b12 b14 + 192 b4 b6 b12 b14 - 352 b7 b12 b14 + 256 b5 b7 b12 b14 - 4.8e2 b8 b12 b14 + 3.2e2 b6 b8 b12 b14 - 608 b9 b12 b14 + 384 b7 b9 b12 b14 - 448 b10 b12 b14 + 448 b8 b10 b12 b14 - 864 b11 b12 b14 + 512 b9 b11 b12 b14 + 2.24e3 b13 b14 - 32 b2 b13 b14 - 96 b3 b13 b14 + 64 b2 b3 b13 b14 - 1.6e2 b4 b13 b14 + 128 b3 b4 b13 b14 - 224 b5 b13 b14 + 192 b4 b5 b13 b14 - 288 b6 b13 b14 + 256 b5 b6 b13 b14 - 352 b7 b13 b14 + 3.2e2 b6 b7 b13 b14 - 4.8e2 b8 b13 b14 + 384 b7 b8 b13 b14 - 608 b9 b13 b14 + 448 b8 b9 b13 b14 - 736 b10 b13 b14 + 512 b9 b10 b13 b14 - 864 b11 b13 b14 + 576 b10 b11 b13 b14 - 6.4e2 b12 b13 b14 + 6.4e2 b11 b12 b13 b14 - 3724 b15 + 88 b3 b15 + 192 b4 b15 - 32 b3 b4 b15 + 328 b5 b15 - 32 b3 b5 b15 - 96 b4 b5 b15 + 4.8e2 b6 b15 - 32 b3 b6 b15 - 64 b4 b6 b15 - 1.6e2 b5 b6 b15 + 664 b7 b15 - 32 b3 b7 b15 - 64 b4 b7 b15 - 128 b5 b7 b15 - 224 b6 b7 b15 + 864 b8 b15 - 32 b3 b8 b15 - 64 b4 b8 b15 - 96 b5 b8 b15 - 192 b6 b8 b15 - 288 b7 b8 b15 + 1064 b9 b15 - 64 b4 b9 b15 - 96 b5 b9 b15 - 1.6e2 b6 b9 b15 - 256 b7 b9 b15 - 352 b8 b9 b15 + 1248 b10 b15 - 32 b3 b10 b15 - 64 b4 b10 b15 - 128 b6 b10 b15 - 224 b7 b10 b15 - 352 b8 b10 b15 + 64 b3 b8 b10 b15 - 4.8e2 b9 b10 b15 + 128 b4 b9 b10 b15 + 1464 b11 b15 - 32 b3 b11 b15 - 64 b4 b11 b15 - 96 b5 b11 b15 - 128 b6 b11 b15 - 64 b7 b11 b15 + 64 b3 b7 b11 b15 - 352 b8 b11 b15 + 128 b4 b8 b11 b15 - 4.8e2 b9 b11 b15 + 192 b5 b9 b11 b15 - 608 b10 b11 b15 + 256 b6 b10 b11 b15 + 1696 b12 b15 - 32 b3 b12 b15 - 64 b4 b12 b15 - 96 b5 b12 b15 - 1.6e2 b6 b12 b15 + 64 b3 b6 b12 b15 - 224 b7 b12 b15 + 128 b4 b7 b12 b15 - 352 b8 b12 b15 + 192 b5 b8 b12 b15 - 256 b9 b12 b15 + 256 b6 b9 b12 b15 - 608 b10 b12 b15 + 3.2e2 b7 b10 b12 b15 - 736 b11 b12 b15 + 384 b8 b11 b12 b15 + 1.96e3 b13 b15 - 32 b3 b13 b15 - 64 b4 b13 b15 - 128 b5 b13 b15 + 64 b3 b5 b13 b15 - 192 b6 b13 b15 + 128 b4 b6 b13 b15 - 256 b7 b13 b15 + 192 b5 b7 b13 b15 - 352 b8 b13 b15 + 256 b6 b8 b13 b15 - 4.8e2 b9 b13 b15 + 3.2e2 b7 b9 b13 b15 - 608 b10 b13 b15 + 384 b8 b10 b13 b15 - 448 b11 b13 b15 + 448 b9 b11 b13 b15 - 864 b12 b13 b15 + 512 b10 b12 b13 b15 + 2.08e3 b14 b15 - 32 b3 b14 b15 - 96 b4 b14 b15 + 64 b3 b4 b14 b15 - 1.6e2 b5 b14 b15 + 128 b4 b5 b14 b15 - 224 b6 b14 b15 + 192 b5 b6 b14 b15 - 288 b7 b14 b15 + 256 b6 b7 b14 b15 - 352 b8 b14 b15 + 3.2e2 b7 b8 b14 b15 - 4.8e2 b9 b14 b15 + 384 b8 b9 b14 b15 - 608 b10 b14 b15 + 448 b9 b10 b14 b15 - 736 b11 b14 b15 + 512 b10 b11 b14 b15 - 864 b12 b14 b15 + 576 b11 b12 b14 b15 - 6.4e2 b13 b14 b15 + 6.4e2 b12 b13 b14 b15 - 3396 b16 + 88 b4 b16 + 192 b5 b16 - 32 b4 b5 b16 + 328 b6 b16 - 32 b4 b6 b16 - 96 b5 b6 b16 + 4.8e2 b7 b16 - 32 b4 b7 b16 - 64 b5 b7 b16 - 1.6e2 b6 b7 b16 + 664 b8 b16 - 32 b4 b8 b16 - 64 b5 b8 b16 - 128 b6 b8 b16 - 224 b7 b8 b16 + 864 b9 b16 - 32 b4 b9 b16 - 64 b5 b9 b16 - 96 b6 b9 b16 - 192 b7 b9 b16 - 288 b8 b9 b16 + 1064 b10 b16 - 64 b5 b10 b16 - 96 b6 b10 b16 - 1.6e2 b7 b10 b16 - 256 b8 b10 b16 - 352 b9 b10 b16 + 1248 b11 b16 - 32 b4 b11 b16 - 64 b5 b11 b16 - 128 b7 b11 b16 - 224 b8 b11 b16 - 352 b9 b11 b16 + 64 b4 b9 b11 b16 - 4.8e2 b10 b11 b16 + 128 b5 b10 b11 b16 + 1464 b12 b16 - 32 b4 b12 b16 - 64 b5 b12 b16 - 96 b6 b12 b16 - 128 b7 b12 b16 - 64 b8 b12 b16 + 64 b4 b8 b12 b16 - 352 b9 b12 b16 + 128 b5 b9 b12 b16 - 4.8e2 b10 b12 b16 + 192 b6 b10 b12 b16 - 608 b11 b12 b16 + 256 b7 b11 b12 b16 + 1696 b13 b16 - 32 b4 b13 b16 - 64 b5 b13 b16 - 96 b6 b13 b16 - 1.6e2 b7 b13 b16 + 64 b4 b7 b13 b16 - 224 b8 b13 b16 + 128 b5 b8 b13 b16 - 352 b9 b13 b16 + 192 b6 b9 b13 b16 - 256 b10 b13 b16 + 256 b7 b10 b13 b16 - 608 b11 b13 b16 + 3.2e2 b8 b11 b13 b16 - 736 b12 b13 b16 + 384 b9 b12 b13 b16 + 1808 b14 b16 - 32 b4 b14 b16 - 64 b5 b14 b16 - 128 b6 b14 b16 + 64 b4 b6 b14 b16 - 192 b7 b14 b16 + 128 b5 b7 b14 b16 - 256 b8 b14 b16 + 192 b6 b8 b14 b16 - 352 b9 b14 b16 + 256 b7 b9 b14 b16 - 4.8e2 b10 b14 b16 + 3.2e2 b8 b10 b14 b16 - 608 b11 b14 b16 + 384 b9 b11 b14 b16 - 448 b12 b14 b16 + 448 b10 b12 b14 b16 - 864 b13 b14 b16 + 512 b11 b13 b14 b16 + 1.92e3 b15 b16 - 32 b4 b15 b16 - 96 b5 b15 b16 + 64 b4 b5 b15 b16 - 1.6e2 b6 b15 b16 + 128 b5 b6 b15 b16 - 224 b7 b15 b16 + 192 b6 b7 b15 b16 - 288 b8 b15 b16 + 256 b7 b8 b15 b16 - 352 b9 b15 b16 + 3.2e2 b8 b9 b15 b16 - 4.8e2 b10 b15 b16 + 384 b9 b10 b15 b16 - 608 b11 b15 b16 + 448 b10 b11 b15 b16 - 736 b12 b15 b16 + 512 b11 b12 b15 b16 - 864 b13 b15 b16 + 576 b12 b13 b15 b16 - 608 b14 b15 b16 + 6.4e2 b13 b14 b15 b16 - 3048 b17 + 88 b5 b17 + 192 b6 b17 - 32 b5 b6 b17 + 328 b7 b17 - 32 b5 b7 b17 - 96 b6 b7 b17 + 4.8e2 b8 b17 - 32 b5 b8 b17 - 64 b6 b8 b17 - 1.6e2 b7 b8 b17 + 664 b9 b17 - 32 b5 b9 b17 - 64 b6 b9 b17 - 128 b7 b9 b17 - 224 b8 b9 b17 + 864 b10 b17 - 32 b5 b10 b17 - 64 b6 b10 b17 - 96 b7 b10 b17 - 192 b8 b10 b17 - 288 b9 b10 b17 + 1064 b11 b17 - 64 b6 b11 b17 - 96 b7 b11 b17 - 1.6e2 b8 b11 b17 - 256 b9 b11 b17 - 352 b10 b11 b17 + 1248 b12 b17 - 32 b5 b12 b17 - 64 b6 b12 b17 - 128 b8 b12 b17 - 224 b9 b12 b17 - 352 b10 b12 b17 + 64 b5 b10 b12 b17 - 4.8e2 b11 b12 b17 + 128 b6 b11 b12 b17 + 1464 b13 b17 - 32 b5 b13 b17 - 64 b6 b13 b17 - 96 b7 b13 b17 - 128 b8 b13 b17 - 64 b9 b13 b17 + 64 b5 b9 b13 b17 - 352 b10 b13 b17 + 128 b6 b10 b13 b17 - 4.8e2 b11 b13 b17 + 192 b7 b11 b13 b17 - 608 b12 b13 b17 + 256 b8 b12 b13 b17 + 1552 b14 b17 - 32 b5 b14 b17 - 64 b6 b14 b17 - 96 b7 b14 b17 - 1.6e2 b8 b14 b17 + 64 b5 b8 b14 b17 - 224 b9 b14 b17 + 128 b6 b9 b14 b17 - 352 b10 b14 b17 + 192 b7 b10 b14 b17 - 256 b11 b14 b17 + 256 b8 b11 b14 b17 - 608 b12 b14 b17 + 3.2e2 b9 b12 b14 b17 - 736 b13 b14 b17 + 384 b10 b13 b14 b17 + 1.64e3 b15 b17 - 32 b5 b15 b17 - 64 b6 b15 b17 - 128 b7 b15 b17 + 64 b5 b7 b15 b17 - 192 b8 b15 b17 + 128 b6 b8 b15 b17 - 256 b9 b15 b17 + 192 b7 b9 b15 b17 - 352 b10 b15 b17 + 256 b8 b10 b15 b17 - 4.8e2 b11 b15 b17 + 3.2e2 b9 b11 b15 b17 - 608 b12 b15 b17 + 384 b10 b12 b15 b17 - 448 b13 b15 b17 + 448 b11 b13 b15 b17 - 800 b14 b15 b17 + 512 b12 b14 b15 b17 + 1744 b16 b17 - 32 b5 b16 b17 - 96 b6 b16 b17 + 64 b5 b6 b16 b17 - 1.6e2 b7 b16 b17 + 128 b6 b7 b16 b17 - 224 b8 b16 b17 + 192 b7 b8 b16 b17 - 288 b9 b16 b17 + 256 b8 b9 b16 b17 - 352 b10 b16 b17 + 3.2e2 b9 b10 b16 b17 - 4.8e2 b11 b16 b17 + 384 b10 b11 b16 b17 - 608 b12 b16 b17 + 448 b11 b12 b16 b17 - 736 b13 b16 b17 + 512 b12 b13 b16 b17 - 800 b14 b16 b17 + 576 b13 b14 b16 b17 - 544 b15 b16 b17 + 576 b14 b15 b16 b17 - 2688 b18 + 88 b6 b18 + 192 b7 b18 - 32 b6 b7 b18 + 328 b8 b18 - 32 b6 b8 b18 - 96 b7 b8 b18 + 4.8e2 b9 b18 - 32 b6 b9 b18 - 64 b7 b9 b18 - 1.6e2 b8 b9 b18 + 664 b10 b18 - 32 b6 b10 b18 - 64 b7 b10 b18 - 128 b8 b10 b18 - 224 b9 b10 b18 + 864 b11 b18 - 32 b6 b11 b18 - 64 b7 b11 b18 - 96 b8 b11 b18 - 192 b9 b11 b18 - 288 b10 b11 b18 + 1064 b12 b18 - 64 b7 b12 b18 - 96 b8 b12 b18 - 1.6e2 b9 b12 b18 - 256 b10 b12 b18 - 352 b11 b12 b18 + 1248 b13 b18 - 32 b6 b13 b18 - 64 b7 b13 b18 - 128 b9 b13 b18 - 224 b10 b13 b18 - 352 b11 b13 b18 + 64 b6 b11 b13 b18 - 4.8e2 b12 b13 b18 + 128 b7 b12 b13 b18 + 1328 b14 b18 - 32 b6 b14 b18 - 64 b7 b14 b18 - 96 b8 b14 b18 - 128 b9 b14 b18 - 64 b10 b14 b18 + 64 b6 b10 b14 b18 - 352 b11 b14 b18 + 128 b7 b11 b14 b18 - 4.8e2 b12 b14 b18 + 192 b8 b12 b14 b18 - 608 b13 b14 b18 + 256 b9 b13 b14 b18 + 1392 b15 b18 - 32 b6 b15 b18 - 64 b7 b15 b18 - 96 b8 b15 b18 - 1.6e2 b9 b15 b18 + 64 b6 b9 b15 b18 - 224 b10 b15 b18 + 128 b7 b10 b15 b18 - 352 b11 b15 b18 + 192 b8 b11 b15 b18 - 256 b12 b15 b18 + 256 b9 b12 b15 b18 - 608 b13 b15 b18 + 3.2e2 b10 b13 b15 b18 - 672 b14 b15 b18 + 384 b11 b14 b15 b18 + 1472 b16 b18 - 32 b6 b16 b18 - 64 b7 b16 b18 - 128 b8 b16 b18 + 64 b6 b8 b16 b18 - 192 b9 b16 b18 + 128 b7 b9 b16 b18 - 256 b10 b16 b18 + 192 b8 b10 b16 b18 - 352 b11 b16 b18 + 256 b9 b11 b16 b18 - 4.8e2 b12 b16 b18 + 3.2e2 b10 b12 b16 b18 - 608 b13 b16 b18 + 384 b11 b13 b16 b18 - 416 b14 b16 b18 + 448 b12 b14 b16 b18 - 736 b15 b16 b18 + 512 b13 b15 b16 b18 + 1552 b17 b18 - 32 b6 b17 b18 - 96 b7 b17 b18 + 64 b6 b7 b17 b18 - 1.6e2 b8 b17 b18 + 128 b7 b8 b17 b18 - 224 b9 b17 b18 + 192 b8 b9 b17 b18 - 288 b10 b17 b18 + 256 b9 b10 b17 b18 - 352 b11 b17 b18 + 3.2e2 b10 b11 b17 b18 - 4.8e2 b12 b17 b18 + 384 b11 b12 b17 b18 - 608 b13 b17 b18 + 448 b12 b13 b17 b18 - 672 b14 b17 b18 + 512 b13 b14 b17 b18 - 704 b15 b17 b18 + 512 b14 b15 b17 b18 - 4.8e2 b16 b17 b18 + 512 b15 b16 b17 b18 - 2324 b19 + 88 b7 b19 + 192 b8 b19 - 32 b7 b8 b19 + 328 b9 b19 - 32 b7 b9 b19 - 96 b8 b9 b19 + 4.8e2 b10 b19 - 32 b7 b10 b19 - 64 b8 b10 b19 - 1.6e2 b9 b10 b19 + 664 b11 b19 - 32 b7 b11 b19 - 64 b8 b11 b19 - 128 b9 b11 b19 - 224 b10 b11 b19 + 864 b12 b19 - 32 b7 b12 b19 - 64 b8 b12 b19 - 96 b9 b12 b19 - 192 b10 b12 b19 - 288 b11 b12 b19 + 1064 b13 b19 - 64 b8 b13 b19 - 96 b9 b13 b19 - 1.6e2 b10 b13 b19 - 256 b11 b13 b19 - 352 b12 b13 b19 + 1.12e3 b14 b19 - 32 b7 b14 b19 - 64 b8 b14 b19 - 128 b10 b14 b19 - 224 b11 b14 b19 - 352 b12 b14 b19 + 64 b7 b12 b14 b19 - 4.8e2 b13 b14 b19 + 128 b8 b13 b14 b19 + 1176 b15 b19 - 32 b7 b15 b19 - 64 b8 b15 b19 - 96 b9 b15 b19 - 128 b10 b15 b19 - 64 b11 b15 b19 + 64 b7 b11 b15 b19 - 352 b12 b15 b19 + 128 b8 b12 b15 b19 - 4.8e2 b13 b15 b19 + 192 b9 b13 b15 b19 - 544 b14 b15 b19 + 256 b10 b14 b15 b19 + 1216 b16 b19 - 32 b7 b16 b19 - 64 b8 b16 b19 - 96 b9 b16 b19 - 1.6e2 b10 b16 b19 + 64 b7 b10 b16 b19 - 224 b11 b16 b19 + 128 b8 b11 b16 b19 - 352 b12 b16 b19 + 192 b9 b12 b16 b19 - 256 b13 b16 b19 + 256 b10 b13 b16 b19 - 544 b14 b16 b19 + 3.2e2 b11 b14 b16 b19 - 608 b15 b16 b19 + 384 b12 b15 b16 b19 + 1288 b17 b19 - 32 b7 b17 b19 - 64 b8 b17 b19 - 128 b9 b17 b19 + 64 b7 b9 b17 b19 - 192 b10 b17 b19 + 128 b8 b10 b17 b19 - 256 b11 b17 b19 + 192 b9 b11 b17 b19 - 352 b12 b17 b19 + 256 b10 b12 b17 b19 - 4.8e2 b13 b17 b19 + 3.2e2 b11 b13 b17 b19 - 544 b14 b17 b19 + 384 b12 b14 b17 b19 - 384 b15 b17 b19 + 448 b13 b15 b17 b19 - 6.4e2 b16 b17 b19 + 448 b14 b16 b17 b19 + 1344 b18 b19 - 32 b7 b18 b19 - 96 b8 b18 b19 + 64 b7 b8 b18 b19 - 1.6e2 b9 b18 b19 + 128 b8 b9 b18 b19 - 224 b10 b18 b19 + 192 b9 b10 b18 b19 - 288 b11 b18 b19 + 256 b10 b11 b18 b19 - 352 b12 b18 b19 + 3.2e2 b11 b12 b18 b19 - 4.8e2 b13 b18 b19 + 384 b12 b13 b18 b19 - 544 b14 b18 b19 + 448 b13 b14 b18 b19 - 576 b15 b18 b19 + 448 b14 b15 b18 b19 - 608 b16 b18 b19 + 448 b15 b16 b18 b19 - 416 b17 b18 b19 + 448 b16 b17 b18 b19 - 1964 b20 + 88 b8 b20 + 192 b9 b20 - 32 b8 b9 b20 + 328 b10 b20 - 32 b8 b10 b20 - 96 b9 b10 b20 + 4.8e2 b11 b20 - 32 b8 b11 b20 - 64 b9 b11 b20 - 1.6e2 b10 b11 b20 + 664 b12 b20 - 32 b8 b12 b20 - 64 b9 b12 b20 - 128 b10 b12 b20 - 224 b11 b12 b20 + 864 b13 b20 - 32 b8 b13 b20 - 64 b9 b13 b20 - 96 b10 b13 b20 - 192 b11 b13 b20 - 288 b12 b13 b20 + 944 b14 b20 - 64 b9 b14 b20 - 96 b10 b14 b20 - 1.6e2 b11 b14 b20 - 256 b12 b14 b20 - 352 b13 b14 b20 + 976 b15 b20 - 32 b8 b15 b20 - 64 b9 b15 b20 - 128 b11 b15 b20 - 224 b12 b15 b20 - 352 b13 b15 b20 + 64 b8 b13 b15 b20 - 416 b14 b15 b20 + 128 b9 b14 b15 b20 + 1008 b16 b20 - 32 b8 b16 b20 - 64 b9 b16 b20 - 96 b10 b16 b20 - 128 b11 b16 b20 - 64 b12 b16 b20 + 64 b8 b12 b16 b20 - 352 b13 b16 b20 + 128 b9 b13 b16 b20 - 416 b14 b16 b20 + 192 b10 b14 b16 b20 - 4.8e2 b15 b16 b20 + 256 b11 b15 b16 b20 + 1.04e3 b17 b20 - 32 b8 b17 b20 - 64 b9 b17 b20 - 96 b10 b17 b20 - 1.6e2 b11 b17 b20 + 64 b8 b11 b17 b20 - 224 b12 b17 b20 + 128 b9 b12 b17 b20 - 352 b13 b17 b20 + 192 b10 b13 b17 b20 - 224 b14 b17 b20 + 256 b11 b14 b17 b20 - 4.8e2 b15 b17 b20 + 3.2e2 b12 b15 b17 b20 - 544 b16 b17 b20 + 384 b13 b16 b17 b20 + 1088 b18 b20 - 32 b8 b18 b20 - 64 b9 b18 b20 - 128 b10 b18 b20 + 64 b8 b10 b18 b20 - 192 b11 b18 b20 + 128 b9 b11 b18 b20 - 256 b12 b18 b20 + 192 b10 b12 b18 b20 - 352 b13 b18 b20 + 256 b11 b13 b18 b20 - 416 b14 b18 b20 + 3.2e2 b12 b14 b18 b20 - 4.8e2 b15 b18 b20 + 384 b13 b15 b18 b20 - 3.2e2 b16 b18 b20 + 384 b14 b16 b18 b20 - 544 b17 b18 b20 + 384 b15 b17 b18 b20 + 1.12e3 b19 b20 - 32 b8 b19 b20 - 96 b9 b19 b20 + 64 b8 b9 b19 b20 - 1.6e2 b10 b19 b20 + 128 b9 b10 b19 b20 - 224 b11 b19 b20 + 192 b10 b11 b19 b20 - 288 b12 b19 b20 + 256 b11 b12 b19 b20 - 352 b13 b19 b20 + 3.2e2 b12 b13 b19 b20 - 416 b14 b19 b20 + 384 b13 b14 b19 b20 - 448 b15 b19 b20 + 384 b14 b15 b19 b20 - 4.8e2 b16 b19 b20 + 384 b15 b16 b19 b20 - 512 b17 b19 b20 + 384 b16 b17 b19 b20 - 352 b18 b19 b20 + 384 b17 b18 b19 b20 - 1.6e3 b21 + 88 b9 b21 + 192 b10 b21 - 32 b9 b10 b21 + 328 b11 b21 - 32 b9 b11 b21 - 96 b10 b11 b21 + 4.8e2 b12 b21 - 32 b9 b12 b21 - 64 b10 b12 b21 - 1.6e2 b11 b12 b21 + 664 b13 b21 - 32 b9 b13 b21 - 64 b10 b13 b21 - 128 b11 b13 b21 - 224 b12 b13 b21 + 736 b14 b21 - 32 b9 b14 b21 - 64 b10 b14 b21 - 96 b11 b14 b21 - 192 b12 b14 b21 - 288 b13 b14 b21 + 792 b15 b21 - 64 b10 b15 b21 - 96 b11 b15 b21 - 1.6e2 b12 b15 b21 - 256 b13 b15 b21 - 288 b14 b15 b21 + 816 b16 b21 - 32 b9 b16 b21 - 64 b10 b16 b21 - 128 b12 b16 b21 - 224 b13 b16 b21 - 288 b14 b16 b21 + 64 b9 b14 b16 b21 - 352 b15 b16 b21 + 128 b10 b15 b16 b21 + 824 b17 b21 - 32 b9 b17 b21 - 64 b10 b17 b21 - 96 b11 b17 b21 - 128 b12 b17 b21 - 64 b13 b17 b21 + 64 b9 b13 b17 b21 - 288 b14 b17 b21 + 128 b10 b14 b17 b21 - 352 b15 b17 b21 + 192 b11 b15 b17 b21 - 416 b16 b17 b21 + 256 b12 b16 b17 b21 + 848 b18 b21 - 32 b9 b18 b21 - 64 b10 b18 b21 - 96 b11 b18 b21 - 1.6e2 b12 b18 b21 + 64 b9 b12 b18 b21 - 224 b13 b18 b21 + 128 b10 b13 b18 b21 - 288 b14 b18 b21 + 192 b11 b14 b18 b21 - 192 b15 b18 b21 + 256 b12 b15 b18 b21 - 416 b16 b18 b21 + 3.2e2 b13 b16 b18 b21 - 448 b17 b18 b21 + 3.2e2 b14 b17 b18 b21 + 872 b19 b21 - 32 b9 b19 b21 - 64 b10 b19 b21 - 128 b11 b19 b21 + 64 b9 b11 b19 b21 - 192 b12 b19 b21 + 128 b10 b12 b19 b21 - 256 b13 b19 b21 + 192 b11 b13 b19 b21 - 288 b14 b19 b21 + 256 b12 b14 b19 b21 - 352 b15 b19 b21 + 3.2e2 b13 b15 b19 b21 - 384 b16 b19 b21 + 3.2e2 b14 b16 b19 b21 - 256 b17 b19 b21 + 3.2e2 b15 b17 b19 b21 - 448 b18 b19 b21 + 3.2e2 b16 b18 b19 b21 + 896 b20 b21 - 32 b9 b20 b21 - 96 b10 b20 b21 + 64 b9 b10 b20 b21 - 1.6e2 b11 b20 b21 + 128 b10 b11 b20 b21 - 224 b12 b20 b21 + 192 b11 b12 b20 b21 - 288 b13 b20 b21 + 256 b12 b13 b20 b21 - 3.2e2 b14 b20 b21 + 3.2e2 b13 b14 b20 b21 - 3.2e2 b15 b20 b21 + 3.2e2 b14 b15 b20 b21 - 352 b16 b20 b21 + 3.2e2 b15 b16 b20 b21 - 384 b17 b20 b21 + 3.2e2 b16 b17 b20 b21 - 416 b18 b20 b21 + 3.2e2 b17 b18 b20 b21 - 288 b19 b20 b21 + 3.2e2 b18 b19 b20 b21 - 1.24e3 b22 + 88 b10 b22 + 192 b11 b22 - 32 b10 b11 b22 + 328 b12 b22 - 32 b10 b12 b22 - 96 b11 b12 b22 + 4.8e2 b13 b22 - 32 b10 b13 b22 - 64 b11 b13 b22 - 1.6e2 b12 b13 b22 + 544 b14 b22 - 32 b10 b14 b22 - 64 b11 b14 b22 - 128 b12 b14 b22 - 224 b13 b14 b22 + 592 b15 b22 - 32 b10 b15 b22 - 64 b11 b15 b22 - 96 b12 b15 b22 - 192 b13 b15 b22 - 224 b14 b15 b22 + 624 b16 b22 - 64 b11 b16 b22 - 96 b12 b16 b22 - 1.6e2 b13 b16 b22 - 192 b14 b16 b22 - 224 b15 b16 b22 + 624 b17 b22 - 32 b10 b17 b22 - 64 b11 b17 b22 - 128 b13 b17 b22 - 1.6e2 b14 b17 b22 - 224 b15 b17 b22 + 64 b10 b15 b17 b22 - 288 b16 b17 b22 + 128 b11 b16 b17 b22 + 6.4e2 b18 b22 - 32 b10 b18 b22 - 64 b11 b18 b22 - 96 b12 b18 b22 - 128 b13 b18 b22 - 32 b14 b18 b22 + 64 b10 b14 b18 b22 - 224 b15 b18 b22 + 128 b11 b15 b18 b22 - 288 b16 b18 b22 + 192 b12 b16 b18 b22 - 352 b17 b18 b22 + 256 b13 b17 b18 b22 + 656 b19 b22 - 32 b10 b19 b22 - 64 b11 b19 b22 - 96 b12 b19 b22 - 1.6e2 b13 b19 b22 + 64 b10 b13 b19 b22 - 192 b14 b19 b22 + 128 b11 b14 b19 b22 - 224 b15 b19 b22 + 192 b12 b15 b19 b22 - 1.6e2 b16 b19 b22 + 256 b13 b16 b19 b22 - 3.2e2 b17 b19 b22 + 256 b14 b17 b19 b22 - 352 b18 b19 b22 + 256 b15 b18 b19 b22 + 672 b20 b22 - 32 b10 b20 b22 - 64 b11 b20 b22 - 128 b12 b20 b22 + 64 b10 b12 b20 b22 - 192 b13 b20 b22 + 128 b11 b13 b20 b22 - 224 b14 b20 b22 + 192 b12 b14 b20 b22 - 256 b15 b20 b22 + 256 b13 b15 b20 b22 - 256 b16 b20 b22 + 256 b14 b16 b20 b22 - 288 b17 b20 b22 + 256 b15 b17 b20 b22 - 192 b18 b20 b22 + 256 b16 b18 b20 b22 - 352 b19 b20 b22 + 256 b17 b19 b20 b22 + 688 b21 b22 - 32 b10 b21 b22 - 96 b11 b21 b22 + 64 b10 b11 b21 b22 - 1.6e2 b12 b21 b22 + 128 b11 b12 b21 b22 - 224 b13 b21 b22 + 192 b12 b13 b21 b22 - 256 b14 b21 b22 + 256 b13 b14 b21 b22 - 256 b15 b21 b22 + 256 b14 b15 b21 b22 - 256 b16 b21 b22 + 256 b15 b16 b21 b22 - 256 b17 b21 b22 + 256 b16 b17 b21 b22 - 288 b18 b21 b22 + 256 b17 b18 b21 b22 - 3.2e2 b19 b21 b22 + 256 b18 b19 b21 b22 - 224 b20 b21 b22 + 256 b19 b20 b21 b22 - 892 b23 + 88 b11 b23 + 192 b12 b23 - 32 b11 b12 b23 + 328 b13 b23 - 32 b11 b13 b23 - 96 b12 b13 b23 + 368 b14 b23 - 32 b11 b14 b23 - 64 b12 b14 b23 - 1.6e2 b13 b14 b23 + 408 b15 b23 - 32 b11 b15 b23 - 64 b12 b15 b23 - 128 b13 b15 b23 - 1.6e2 b14 b15 b23 + 432 b16 b23 - 32 b11 b16 b23 - 64 b12 b16 b23 - 96 b13 b16 b23 - 128 b14 b16 b23 - 1.6e2 b15 b16 b23 + 4.4e2 b17 b23 - 64 b12 b17 b23 - 96 b13 b17 b23 - 96 b14 b17 b23 - 128 b15 b17 b23 - 1.6e2 b16 b17 b23 + 432 b18 b23 - 32 b11 b18 b23 - 64 b12 b18 b23 - 96 b14 b18 b23 - 96 b15 b18 b23 - 1.6e2 b16 b18 b23 + 64 b11 b16 b18 b23 - 224 b17 b18 b23 + 128 b12 b17 b18 b23 + 456 b19 b23 - 32 b11 b19 b23 - 64 b12 b19 b23 - 96 b13 b19 b23 - 96 b14 b19 b23 - 32 b15 b19 b23 + 64 b11 b15 b19 b23 - 1.6e2 b16 b19 b23 + 128 b12 b16 b19 b23 - 224 b17 b19 b23 + 192 b13 b17 b19 b23 - 256 b18 b19 b23 + 192 b14 b18 b19 b23 + 4.8e2 b20 b23 - 32 b11 b20 b23 - 64 b12 b20 b23 - 96 b13 b20 b23 - 128 b14 b20 b23 + 64 b11 b14 b20 b23 - 1.6e2 b15 b20 b23 + 128 b12 b15 b20 b23 - 192 b16 b20 b23 + 192 b13 b16 b20 b23 - 96 b17 b20 b23 + 192 b14 b17 b20 b23 - 224 b18 b20 b23 + 192 b15 b18 b20 b23 - 256 b19 b20 b23 + 192 b16 b19 b20 b23 + 488 b21 b23 - 32 b11 b21 b23 - 64 b12 b21 b23 - 128 b13 b21 b23 + 64 b11 b13 b21 b23 - 1.6e2 b14 b21 b23 + 128 b12 b14 b21 b23 - 192 b15 b21 b23 + 192 b13 b15 b21 b23 - 192 b16 b21 b23 + 192 b14 b16 b21 b23 - 192 b17 b21 b23 + 192 b15 b17 b21 b23 - 192 b18 b21 b23 + 192 b16 b18 b21 b23 - 128 b19 b21 b23 + 192 b17 b19 b21 b23 - 256 b20 b21 b23 + 192 b18 b20 b21 b23 + 496 b22 b23 - 32 b11 b22 b23 - 96 b12 b22 b23 + 64 b11 b12 b22 b23 - 1.6e2 b13 b22 b23 + 128 b12 b13 b22 b23 - 192 b14 b22 b23 + 192 b13 b14 b22 b23 - 192 b15 b22 b23 + 192 b14 b15 b22 b23 - 192 b16 b22 b23 + 192 b15 b16 b22 b23 - 192 b17 b22 b23 + 192 b16 b17 b22 b23 - 192 b18 b22 b23 + 192 b17 b18 b22 b23 - 192 b19 b22 b23 + 192 b18 b19 b22 b23 - 224 b20 b22 b23 + 192 b19 b20 b22 b23 - 1.6e2 b21 b22 b23 + 192 b20 b21 b22 b23 - 564 b24 + 88 b12 b24 + 192 b13 b24 - 32 b12 b13 b24 + 224 b14 b24 - 32 b12 b14 b24 - 96 b13 b14 b24 + 2.4e2 b15 b24 - 32 b12 b15 b24 - 64 b13 b15 b24 - 96 b14 b15 b24 + 256 b16 b24 - 32 b12 b16 b24 - 64 b13 b16 b24 - 64 b14 b16 b24 - 96 b15 b16 b24 + 272 b17 b24 - 32 b12 b17 b24 - 64 b13 b17 b24 - 64 b14 b17 b24 - 64 b15 b17 b24 - 96 b16 b17 b24 + 272 b18 b24 - 64 b13 b18 b24 - 64 b14 b18 b24 - 64 b15 b18 b24 - 64 b16 b18 b24 - 96 b17 b18 b24 + 272 b19 b24 - 32 b12 b19 b24 - 64 b13 b19 b24 - 64 b15 b19 b24 - 64 b16 b19 b24 - 96 b17 b19 b24 + 64 b12 b17 b19 b24 - 1.6e2 b18 b19 b24 + 128 b13 b18 b19 b24 + 288 b20 b24 - 32 b12 b20 b24 - 64 b13 b20 b24 - 64 b14 b20 b24 - 64 b15 b20 b24 - 32 b16 b20 b24 + 64 b12 b16 b20 b24 - 128 b17 b20 b24 + 128 b13 b17 b20 b24 - 128 b18 b20 b24 + 128 b14 b18 b20 b24 - 1.6e2 b19 b20 b24 + 128 b15 b19 b20 b24 + 304 b21 b24 - 32 b12 b21 b24 - 64 b13 b21 b24 - 64 b14 b21 b24 - 96 b15 b21 b24 + 64 b12 b15 b21 b24 - 128 b16 b21 b24 + 128 b13 b16 b21 b24 - 128 b17 b21 b24 + 128 b14 b17 b21 b24 - 64 b18 b21 b24 + 128 b15 b18 b21 b24 - 128 b19 b21 b24 + 128 b16 b19 b21 b24 - 1.6e2 b20 b21 b24 + 128 b17 b20 b21 b24 + 3.2e2 b22 b24 - 32 b12 b22 b24 - 64 b13 b22 b24 - 96 b14 b22 b24 + 64 b12 b14 b22 b24 - 128 b15 b22 b24 + 128 b13 b15 b22 b24 - 128 b16 b22 b24 + 128 b14 b16 b22 b24 - 128 b17 b22 b24 + 128 b15 b17 b22 b24 - 128 b18 b22 b24 + 128 b16 b18 b22 b24 - 128 b19 b22 b24 + 128 b17 b19 b22 b24 - 64 b20 b22 b24 + 128 b18 b20 b22 b24 - 1.6e2 b21 b22 b24 + 128 b19 b21 b22 b24 + 3.2e2 b23 b24 - 32 b12 b23 b24 - 96 b13 b23 b24 + 64 b12 b13 b23 b24 - 128 b14 b23 b24 + 128 b13 b14 b23 b24 - 128 b15 b23 b24 + 128 b14 b15 b23 b24 - 128 b16 b23 b24 + 128 b15 b16 b23 b24 - 128 b17 b23 b24 + 128 b16 b17 b23 b24 - 128 b18 b23 b24 + 128 b17 b18 b23 b24 - 128 b19 b23 b24 + 128 b18 b19 b23 b24 - 128 b20 b23 b24 + 128 b19 b20 b23 b24 - 128 b21 b23 b24 + 128 b20 b21 b23 b24 - 96 b22 b23 b24 + 128 b21 b22 b23 b24 - 264 b25 + 88 b13 b25 + 96 b14 b25 - 32 b13 b14 b25 + 104 b15 b25 - 32 b13 b15 b25 - 32 b14 b15 b25 + 112 b16 b25 - 32 b13 b16 b25 - 32 b14 b16 b25 - 32 b15 b16 b25 + 1.2e2 b17 b25 - 32 b13 b17 b25 - 32 b14 b17 b25 - 32 b15 b17 b25 - 32 b16 b17 b25 + 128 b18 b25 - 32 b13 b18 b25 - 32 b14 b18 b25 - 32 b15 b18 b25 - 32 b16 b18 b25 - 32 b17 b18 b25 + 1.2e2 b19 b25 - 32 b14 b19 b25 - 32 b15 b19 b25 - 32 b16 b19 b25 - 32 b17 b19 b25 - 32 b18 b19 b25 + 128 b20 b25 - 32 b13 b20 b25 - 32 b14 b20 b25 - 32 b16 b20 b25 - 32 b17 b20 b25 - 64 b18 b20 b25 + 64 b13 b18 b20 b25 - 64 b19 b20 b25 + 64 b14 b19 b20 b25 + 136 b21 b25 - 32 b13 b21 b25 - 32 b14 b21 b25 - 32 b15 b21 b25 - 32 b16 b21 b25 - 32 b17 b21 b25 + 64 b13 b17 b21 b25 - 64 b18 b21 b25 + 64 b14 b18 b21 b25 - 64 b19 b21 b25 + 64 b15 b19 b21 b25 - 64 b20 b21 b25 + 64 b16 b20 b21 b25 + 144 b22 b25 - 32 b13 b22 b25 - 32 b14 b22 b25 - 32 b15 b22 b25 - 64 b16 b22 b25 + 64 b13 b16 b22 b25 - 64 b17 b22 b25 + 64 b14 b17 b22 b25 - 64 b18 b22 b25 + 64 b15 b18 b22 b25 - 32 b19 b22 b25 + 64 b16 b19 b22 b25 - 64 b20 b22 b25 + 64 b17 b20 b22 b25 - 64 b21 b22 b25 + 64 b18 b21 b22 b25 + 152 b23 b25 - 32 b13 b23 b25 - 32 b14 b23 b25 - 64 b15 b23 b25 + 64 b13 b15 b23 b25 - 64 b16 b23 b25 + 64 b14 b16 b23 b25 - 64 b17 b23 b25 + 64 b15 b17 b23 b25 - 64 b18 b23 b25 + 64 b16 b18 b23 b25 - 64 b19 b23 b25 + 64 b17 b19 b23 b25 - 64 b20 b23 b25 + 64 b18 b20 b23 b25 - 32 b21 b23 b25 + 64 b19 b21 b23 b25 - 64 b22 b23 b25 + 64 b20 b22 b23 b25 + 1.6e2 b24 b25 - 32 b13 b24 b25 - 64 b14 b24 b25 + 64 b13 b14 b24 b25 - 64 b15 b24 b25 + 64 b14 b15 b24 b25 - 64 b16 b24 b25 + 64 b15 b16 b24 b25 - 64 b17 b24 b25 + 64 b16 b17 b24 b25 - 64 b18 b24 b25 + 64 b17 b18 b24 b25 - 64 b19 b24 b25 + 64 b18 b19 b24 b25 - 64 b20 b24 b25 + 64 b19 b20 b24 b25 - 64 b21 b24 b25 + 64 b20 b21 b24 b25 - 64 b22 b24 b25 + 64 b21 b22 b24 b25 - 32 b23 b24 b25 + 64 b22 b23 b24 b25 <= 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 b21 b22 b23 b24 b25 End