\ 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 \ 36 1 35 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 37 2 35 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 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + objvar Subject To e1: - objvar - 544 b1 - 1144 b2 + 2.4e2 b1 b2 - 1792 b3 + 232 b1 b3 + 4.8e2 b2 b3 - 32 b1 b2 b3 - 2.48e3 b4 + 224 b1 b4 + 4.8e2 b2 b4 - 64 b1 b2 b4 + 736 b3 b4 - 64 b1 b3 b4 - 96 b2 b3 b4 + 64 b1 b2 b3 b4 - 3.2e3 b5 + 216 b1 b5 + 464 b2 b5 - 64 b1 b2 b5 + 728 b3 b5 - 32 b1 b3 b5 - 128 b2 b3 b5 + 1008 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 - 3944 b6 + 208 b1 b6 + 448 b2 b6 - 64 b1 b2 b6 + 7.2e2 b3 b6 - 64 b1 b3 b6 - 128 b2 b3 b6 + 992 b4 b6 - 64 b1 b4 b6 - 64 b2 b4 b6 - 224 b3 b4 b6 + 64 b1 b3 b4 b6 + 1296 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 - 4704 b7 + 200 b1 b7 + 432 b2 b7 - 64 b1 b2 b7 + 696 b3 b7 - 64 b1 b3 b7 - 128 b2 b3 b7 + 976 b4 b7 - 32 b1 b4 b7 - 128 b2 b4 b7 - 192 b3 b4 b7 + 1272 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.6e3 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 - 5472 b8 + 192 b1 b8 + 416 b2 b8 - 64 b1 b2 b8 + 672 b3 b8 - 64 b1 b3 b8 - 128 b2 b3 b8 + 9.6e2 b4 b8 - 64 b1 b4 b8 - 128 b2 b4 b8 - 192 b3 b4 b8 + 1248 b5 b8 - 64 b1 b5 b8 - 64 b2 b5 b8 - 192 b3 b5 b8 - 288 b4 b5 b8 + 64 b1 b4 b5 b8 + 1568 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 + 1.92e3 b7 b8 - 64 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 - 6.24e3 b9 + 184 b1 b9 + 400 b2 b9 - 64 b1 b2 b9 + 648 b3 b9 - 64 b1 b3 b9 - 128 b2 b3 b9 + 928 b4 b9 - 64 b1 b4 b9 - 128 b2 b4 b9 - 192 b3 b4 b9 + 1224 b5 b9 - 32 b1 b5 b9 - 128 b2 b5 b9 - 192 b3 b5 b9 - 256 b4 b5 b9 + 1536 b6 b9 - 64 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 + 1.88e3 b7 b9 - 64 b1 b7 b9 - 128 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 + 2256 b8 b9 - 64 b1 b8 b9 - 1.6e2 b2 b8 b9 + 64 b1 b2 b8 b9 - 256 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 - 7008 b10 + 192 b1 b10 + 384 b2 b10 - 64 b1 b2 b10 + 624 b3 b10 - 64 b1 b3 b10 - 128 b2 b3 b10 + 896 b4 b10 - 64 b1 b4 b10 - 128 b2 b4 b10 - 192 b3 b4 b10 + 1.2e3 b5 b10 - 64 b1 b5 b10 - 128 b2 b5 b10 - 192 b3 b5 b10 - 256 b4 b5 b10 + 1504 b6 b10 - 64 b1 b6 b10 - 64 b2 b6 b10 - 192 b3 b6 b10 - 256 b4 b6 b10 - 352 b5 b6 b10 + 64 b1 b5 b6 b10 + 1.84e3 b7 b10 - 64 b1 b7 b10 - 128 b2 b7 b10 - 192 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 + 2208 b8 b10 - 64 b1 b8 b10 - 128 b2 b8 b10 - 224 b3 b8 b10 + 64 b1 b3 b8 b10 - 3.2e2 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 + 2608 b9 b10 - 64 b1 b9 b10 - 1.6e2 b2 b9 b10 + 64 b1 b2 b9 b10 - 256 b3 b9 b10 + 128 b2 b3 b9 b10 - 352 b4 b9 b10 + 192 b3 b4 b9 b10 - 448 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 - 7776 b11 + 184 b1 b11 + 400 b2 b11 - 64 b1 b2 b11 + 616 b3 b11 - 64 b1 b3 b11 - 128 b2 b3 b11 + 864 b4 b11 - 64 b1 b4 b11 - 128 b2 b4 b11 - 192 b3 b4 b11 + 1.16e3 b5 b11 - 64 b1 b5 b11 - 128 b2 b5 b11 - 192 b3 b5 b11 - 256 b4 b5 b11 + 1472 b6 b11 - 32 b1 b6 b11 - 128 b2 b6 b11 - 192 b3 b6 b11 - 256 b4 b6 b11 - 3.2e2 b5 b6 b11 + 1.8e3 b7 b11 - 64 b1 b7 b11 - 128 b2 b7 b11 - 96 b3 b7 b11 - 256 b4 b7 b11 - 352 b5 b7 b11 + 64 b1 b5 b7 b11 - 448 b6 b7 b11 + 128 b2 b6 b7 b11 + 2.16e3 b8 b11 - 64 b1 b8 b11 - 128 b2 b8 b11 - 192 b3 b8 b11 - 288 b4 b8 b11 + 64 b1 b4 b8 b11 - 224 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 + 2536 b9 b11 - 32 b1 b9 b11 - 128 b2 b9 b11 - 224 b3 b9 b11 + 64 b1 b3 b9 b11 - 3.2e2 b4 b9 b11 + 128 b2 b4 b9 b11 - 416 b5 b9 b11 + 192 b3 b5 b9 b11 - 512 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 + 2944 b10 b11 - 32 b1 b10 b11 - 128 b2 b10 b11 + 64 b1 b2 b10 b11 - 256 b3 b10 b11 + 128 b2 b3 b10 b11 - 352 b4 b10 b11 + 192 b3 b4 b10 b11 - 448 b5 b10 b11 + 256 b4 b5 b10 b11 - 544 b6 b10 b11 + 3.2e2 b5 b6 b10 b11 - 6.4e2 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 - 8536 b12 + 176 b1 b12 + 384 b2 b12 - 64 b1 b2 b12 + 624 b3 b12 - 64 b1 b3 b12 - 128 b2 b3 b12 + 864 b4 b12 - 64 b1 b4 b12 - 128 b2 b4 b12 - 192 b3 b4 b12 + 1136 b5 b12 - 64 b1 b5 b12 - 128 b2 b5 b12 - 192 b3 b5 b12 - 256 b4 b5 b12 + 1.44e3 b6 b12 - 64 b1 b6 b12 - 128 b2 b6 b12 - 192 b3 b6 b12 - 256 b4 b6 b12 - 3.2e2 b5 b6 b12 + 1.76e3 b7 b12 - 64 b1 b7 b12 - 64 b2 b7 b12 - 192 b3 b7 b12 - 256 b4 b7 b12 - 3.2e2 b5 b7 b12 - 416 b6 b7 b12 + 64 b1 b6 b7 b12 + 2096 b8 b12 - 32 b1 b8 b12 - 128 b2 b8 b12 - 192 b3 b8 b12 - 128 b4 b8 b12 - 352 b5 b8 b12 + 64 b1 b5 b8 b12 - 448 b6 b8 b12 + 128 b2 b6 b8 b12 - 544 b7 b8 b12 + 192 b3 b7 b8 b12 + 2464 b9 b12 - 32 b1 b9 b12 - 96 b2 b9 b12 - 192 b3 b9 b12 - 288 b4 b9 b12 + 64 b1 b4 b9 b12 - 384 b5 b9 b12 + 128 b2 b5 b9 b12 - 288 b6 b9 b12 + 192 b3 b6 b9 b12 - 576 b7 b9 b12 + 256 b4 b7 b9 b12 - 672 b8 b9 b12 + 3.2e2 b5 b8 b9 b12 + 2848 b10 b12 - 32 b1 b10 b12 - 64 b2 b10 b12 - 192 b3 b10 b12 + 64 b1 b3 b10 b12 - 3.2e2 b4 b10 b12 + 128 b2 b4 b10 b12 - 416 b5 b10 b12 + 192 b3 b5 b10 b12 - 512 b6 b10 b12 + 256 b4 b6 b10 b12 - 608 b7 b10 b12 + 3.2e2 b5 b7 b10 b12 - 448 b8 b10 b12 + 384 b6 b8 b10 b12 - 800 b9 b10 b12 + 448 b7 b9 b10 b12 + 3264 b11 b12 - 32 b1 b11 b12 - 96 b2 b11 b12 + 64 b1 b2 b11 b12 - 192 b3 b11 b12 + 128 b2 b3 b11 b12 - 3.2e2 b4 b11 b12 + 192 b3 b4 b11 b12 - 448 b5 b11 b12 + 256 b4 b5 b11 b12 - 544 b6 b11 b12 + 3.2e2 b5 b6 b11 b12 - 6.4e2 b7 b11 b12 + 384 b6 b7 b11 b12 - 736 b8 b11 b12 + 448 b7 b8 b11 b12 - 832 b9 b11 b12 + 512 b8 b9 b11 b12 - 608 b10 b11 b12 + 576 b9 b10 b11 b12 - 9.28e3 b13 + 168 b1 b13 + 368 b2 b13 - 64 b1 b2 b13 + 600 b3 b13 - 64 b1 b3 b13 - 128 b2 b3 b13 + 864 b4 b13 - 64 b1 b4 b13 - 128 b2 b4 b13 - 192 b3 b4 b13 + 1128 b5 b13 - 64 b1 b5 b13 - 128 b2 b5 b13 - 192 b3 b5 b13 - 256 b4 b5 b13 + 1424 b6 b13 - 64 b1 b6 b13 - 128 b2 b6 b13 - 192 b3 b6 b13 - 256 b4 b6 b13 - 3.2e2 b5 b6 b13 + 1.72e3 b7 b13 - 128 b2 b7 b13 - 192 b3 b7 b13 - 256 b4 b7 b13 - 3.2e2 b5 b7 b13 - 384 b6 b7 b13 + 2032 b8 b13 - 32 b1 b8 b13 - 96 b2 b8 b13 - 96 b3 b8 b13 - 256 b4 b8 b13 - 3.2e2 b5 b8 b13 - 416 b6 b8 b13 + 64 b1 b6 b8 b13 - 512 b7 b8 b13 + 128 b2 b7 b8 b13 + 2376 b9 b13 - 32 b1 b9 b13 - 64 b2 b9 b13 - 1.6e2 b3 b9 b13 - 256 b4 b9 b13 - 192 b5 b9 b13 + 64 b1 b5 b9 b13 - 448 b6 b9 b13 + 128 b2 b6 b9 b13 - 544 b7 b9 b13 + 192 b3 b7 b9 b13 - 6.4e2 b8 b9 b13 + 256 b4 b8 b9 b13 + 2752 b10 b13 - 32 b1 b10 b13 - 64 b2 b10 b13 - 128 b3 b10 b13 - 256 b4 b10 b13 + 64 b1 b4 b10 b13 - 384 b5 b10 b13 + 128 b2 b5 b10 b13 - 4.8e2 b6 b10 b13 + 192 b3 b6 b10 b13 - 352 b7 b10 b13 + 256 b4 b7 b10 b13 - 672 b8 b10 b13 + 3.2e2 b5 b8 b10 b13 - 768 b9 b10 b13 + 384 b6 b9 b10 b13 + 3144 b11 b13 - 32 b1 b11 b13 - 64 b2 b11 b13 - 128 b3 b11 b13 + 64 b1 b3 b11 b13 - 256 b4 b11 b13 + 128 b2 b4 b11 b13 - 384 b5 b11 b13 + 192 b3 b5 b11 b13 - 512 b6 b11 b13 + 256 b4 b6 b11 b13 - 608 b7 b11 b13 + 3.2e2 b5 b7 b11 b13 - 704 b8 b11 b13 + 384 b6 b8 b11 b13 - 512 b9 b11 b13 + 448 b7 b9 b11 b13 - 896 b10 b11 b13 + 512 b8 b10 b11 b13 + 3568 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 - 256 b4 b12 b13 + 192 b3 b4 b12 b13 - 384 b5 b12 b13 + 256 b4 b5 b12 b13 - 512 b6 b12 b13 + 3.2e2 b5 b6 b12 b13 - 6.4e2 b7 b12 b13 + 384 b6 b7 b12 b13 - 736 b8 b12 b13 + 448 b7 b8 b12 b13 - 832 b9 b12 b13 + 512 b8 b9 b12 b13 - 928 b10 b12 b13 + 576 b9 b10 b12 b13 - 672 b11 b12 b13 + 6.4e2 b10 b11 b12 b13 - 1e4 b14 + 1.6e2 b1 b14 + 352 b2 b14 - 64 b1 b2 b14 + 576 b3 b14 - 64 b1 b3 b14 - 128 b2 b3 b14 + 832 b4 b14 - 64 b1 b4 b14 - 128 b2 b4 b14 - 192 b3 b4 b14 + 1.12e3 b5 b14 - 64 b1 b5 b14 - 128 b2 b5 b14 - 192 b3 b5 b14 - 256 b4 b5 b14 + 1392 b6 b14 - 32 b1 b6 b14 - 128 b2 b6 b14 - 192 b3 b6 b14 - 256 b4 b6 b14 - 3.2e2 b5 b6 b14 + 1696 b7 b14 - 32 b1 b7 b14 - 96 b2 b7 b14 - 192 b3 b7 b14 - 256 b4 b7 b14 - 3.2e2 b5 b7 b14 - 384 b6 b7 b14 + 1984 b8 b14 - 32 b1 b8 b14 - 1.6e2 b3 b8 b14 - 256 b4 b8 b14 - 3.2e2 b5 b8 b14 - 384 b6 b8 b14 - 4.8e2 b7 b8 b14 + 64 b1 b7 b8 b14 + 2304 b9 b14 - 32 b1 b9 b14 - 64 b2 b9 b14 - 128 b3 b9 b14 - 96 b4 b9 b14 - 3.2e2 b5 b9 b14 - 416 b6 b9 b14 + 64 b1 b6 b9 b14 - 512 b7 b9 b14 + 128 b2 b7 b9 b14 - 608 b8 b9 b14 + 192 b3 b8 b9 b14 + 2.64e3 b10 b14 - 32 b1 b10 b14 - 64 b2 b10 b14 - 96 b3 b10 b14 - 192 b4 b10 b14 - 3.2e2 b5 b10 b14 + 64 b1 b5 b10 b14 - 256 b6 b10 b14 + 128 b2 b6 b10 b14 - 544 b7 b10 b14 + 192 b3 b7 b10 b14 - 6.4e2 b8 b10 b14 + 256 b4 b8 b10 b14 - 736 b9 b10 b14 + 3.2e2 b5 b9 b10 b14 + 3024 b11 b14 - 32 b1 b11 b14 - 64 b2 b11 b14 - 96 b3 b11 b14 - 192 b4 b11 b14 + 64 b1 b4 b11 b14 - 3.2e2 b5 b11 b14 + 128 b2 b5 b11 b14 - 448 b6 b11 b14 + 192 b3 b6 b11 b14 - 576 b7 b11 b14 + 256 b4 b7 b11 b14 - 416 b8 b11 b14 + 3.2e2 b5 b8 b11 b14 - 768 b9 b11 b14 + 384 b6 b9 b11 b14 - 864 b10 b11 b14 + 448 b7 b10 b11 b14 + 3424 b12 b14 - 32 b1 b12 b14 - 64 b2 b12 b14 - 128 b3 b12 b14 + 64 b1 b3 b12 b14 - 192 b4 b12 b14 + 128 b2 b4 b12 b14 - 3.2e2 b5 b12 b14 + 192 b3 b5 b12 b14 - 448 b6 b12 b14 + 256 b4 b6 b12 b14 - 576 b7 b12 b14 + 3.2e2 b5 b7 b12 b14 - 704 b8 b12 b14 + 384 b6 b8 b12 b14 - 800 b9 b12 b14 + 448 b7 b9 b12 b14 - 576 b10 b12 b14 + 512 b8 b10 b12 b14 - 992 b11 b12 b14 + 576 b9 b11 b12 b14 + 3856 b13 b14 - 32 b1 b13 b14 - 96 b2 b13 b14 + 64 b1 b2 b13 b14 - 1.6e2 b3 b13 b14 + 128 b2 b3 b13 b14 - 224 b4 b13 b14 + 192 b3 b4 b13 b14 - 3.2e2 b5 b13 b14 + 256 b4 b5 b13 b14 - 448 b6 b13 b14 + 3.2e2 b5 b6 b13 b14 - 576 b7 b13 b14 + 384 b6 b7 b13 b14 - 704 b8 b13 b14 + 448 b7 b8 b13 b14 - 832 b9 b13 b14 + 512 b8 b9 b13 b14 - 928 b10 b13 b14 + 576 b9 b10 b13 b14 - 1024 b11 b13 b14 + 6.4e2 b10 b11 b13 b14 - 736 b12 b13 b14 + 704 b11 b12 b13 b14 - 10688 b15 + 152 b1 b15 + 336 b2 b15 - 64 b1 b2 b15 + 552 b3 b15 - 64 b1 b3 b15 - 128 b2 b3 b15 + 800 b4 b15 - 64 b1 b4 b15 - 128 b2 b4 b15 - 192 b3 b4 b15 + 1064 b5 b15 - 32 b1 b5 b15 - 128 b2 b5 b15 - 192 b3 b5 b15 - 256 b4 b5 b15 + 1.36e3 b6 b15 - 32 b1 b6 b15 - 96 b2 b6 b15 - 192 b3 b6 b15 - 256 b4 b6 b15 - 3.2e2 b5 b6 b15 + 1.64e3 b7 b15 - 32 b1 b7 b15 - 64 b2 b7 b15 - 1.6e2 b3 b7 b15 - 256 b4 b7 b15 - 3.2e2 b5 b7 b15 - 384 b6 b7 b15 + 1936 b8 b15 - 64 b2 b8 b15 - 128 b3 b8 b15 - 224 b4 b8 b15 - 3.2e2 b5 b8 b15 - 384 b6 b8 b15 - 448 b7 b8 b15 + 2232 b9 b15 - 32 b1 b9 b15 - 64 b2 b9 b15 - 192 b4 b9 b15 - 288 b5 b9 b15 - 384 b6 b9 b15 - 4.8e2 b7 b9 b15 + 64 b1 b7 b9 b15 - 576 b8 b9 b15 + 128 b2 b8 b9 b15 + 2.56e3 b10 b15 - 32 b1 b10 b15 - 64 b2 b10 b15 - 96 b3 b10 b15 - 1.6e2 b4 b10 b15 - 96 b5 b10 b15 - 384 b6 b10 b15 + 64 b1 b6 b10 b15 - 512 b7 b10 b15 + 128 b2 b7 b10 b15 - 608 b8 b10 b15 + 192 b3 b8 b10 b15 - 704 b9 b10 b15 + 256 b4 b9 b10 b15 + 2904 b11 b15 - 32 b1 b11 b15 - 64 b2 b11 b15 - 96 b3 b11 b15 - 128 b4 b11 b15 - 256 b5 b11 b15 + 64 b1 b5 b11 b15 - 384 b6 b11 b15 + 128 b2 b6 b11 b15 - 288 b7 b11 b15 + 192 b3 b7 b11 b15 - 6.4e2 b8 b11 b15 + 256 b4 b8 b11 b15 - 736 b9 b11 b15 + 3.2e2 b5 b9 b11 b15 - 832 b10 b11 b15 + 384 b6 b10 b11 b15 + 3.28e3 b12 b15 - 32 b1 b12 b15 - 64 b2 b12 b15 - 96 b3 b12 b15 - 1.6e2 b4 b12 b15 + 64 b1 b4 b12 b15 - 256 b5 b12 b15 + 128 b2 b5 b12 b15 - 384 b6 b12 b15 + 192 b3 b6 b12 b15 - 512 b7 b12 b15 + 256 b4 b7 b12 b15 - 6.4e2 b8 b12 b15 + 3.2e2 b5 b8 b12 b15 - 4.8e2 b9 b12 b15 + 384 b6 b9 b12 b15 - 864 b10 b12 b15 + 448 b7 b10 b12 b15 - 9.6e2 b11 b12 b15 + 512 b8 b11 b12 b15 + 3688 b13 b15 - 32 b1 b13 b15 - 64 b2 b13 b15 - 128 b3 b13 b15 + 64 b1 b3 b13 b15 - 192 b4 b13 b15 + 128 b2 b4 b13 b15 - 256 b5 b13 b15 + 192 b3 b5 b13 b15 - 384 b6 b13 b15 + 256 b4 b6 b13 b15 - 512 b7 b13 b15 + 3.2e2 b5 b7 b13 b15 - 6.4e2 b8 b13 b15 + 384 b6 b8 b13 b15 - 768 b9 b13 b15 + 448 b7 b9 b13 b15 - 896 b10 b13 b15 + 512 b8 b10 b13 b15 - 6.4e2 b11 b13 b15 + 576 b9 b11 b13 b15 - 1088 b12 b13 b15 + 6.4e2 b10 b12 b13 b15 + 4128 b14 b15 - 32 b1 b14 b15 - 96 b2 b14 b15 + 64 b1 b2 b14 b15 - 1.6e2 b3 b14 b15 + 128 b2 b3 b14 b15 - 224 b4 b14 b15 + 192 b3 b4 b14 b15 - 288 b5 b14 b15 + 256 b4 b5 b14 b15 - 384 b6 b14 b15 + 3.2e2 b5 b6 b14 b15 - 512 b7 b14 b15 + 384 b6 b7 b14 b15 - 6.4e2 b8 b14 b15 + 448 b7 b8 b14 b15 - 768 b9 b14 b15 + 512 b8 b9 b14 b15 - 896 b10 b14 b15 + 576 b9 b10 b14 b15 - 1024 b11 b14 b15 + 6.4e2 b10 b11 b14 b15 - 1.12e3 b12 b14 b15 + 704 b11 b12 b14 b15 - 800 b13 b14 b15 + 768 b12 b13 b14 b15 - 11336 b16 + 144 b1 b16 + 3.2e2 b2 b16 - 64 b1 b2 b16 + 528 b3 b16 - 64 b1 b3 b16 - 128 b2 b3 b16 + 752 b4 b16 - 32 b1 b4 b16 - 128 b2 b4 b16 - 192 b3 b4 b16 + 1008 b5 b16 - 32 b1 b5 b16 - 96 b2 b5 b16 - 192 b3 b5 b16 - 256 b4 b5 b16 + 1.28e3 b6 b16 - 32 b1 b6 b16 - 64 b2 b6 b16 - 1.6e2 b3 b6 b16 - 256 b4 b6 b16 - 3.2e2 b5 b6 b16 + 1584 b7 b16 - 32 b1 b7 b16 - 64 b2 b7 b16 - 128 b3 b7 b16 - 224 b4 b7 b16 - 3.2e2 b5 b7 b16 - 384 b6 b7 b16 + 1872 b8 b16 - 32 b1 b8 b16 - 64 b2 b8 b16 - 96 b3 b8 b16 - 192 b4 b8 b16 - 288 b5 b8 b16 - 384 b6 b8 b16 - 448 b7 b8 b16 + 2.16e3 b9 b16 - 32 b1 b9 b16 - 96 b3 b9 b16 - 1.6e2 b4 b9 b16 - 256 b5 b9 b16 - 352 b6 b9 b16 - 448 b7 b9 b16 - 544 b8 b9 b16 + 64 b1 b8 b9 b16 + 2464 b10 b16 - 32 b1 b10 b16 - 64 b2 b10 b16 - 96 b3 b10 b16 - 224 b5 b10 b16 - 3.2e2 b6 b10 b16 - 448 b7 b10 b16 + 64 b1 b7 b10 b16 - 576 b8 b10 b16 + 128 b2 b8 b10 b16 - 672 b9 b10 b16 + 192 b3 b9 b10 b16 + 2.8e3 b11 b16 - 32 b1 b11 b16 - 64 b2 b11 b16 - 96 b3 b11 b16 - 128 b4 b11 b16 - 192 b5 b11 b16 - 128 b6 b11 b16 + 64 b1 b6 b11 b16 - 448 b7 b11 b16 + 128 b2 b7 b11 b16 - 576 b8 b11 b16 + 192 b3 b8 b11 b16 - 704 b9 b11 b16 + 256 b4 b9 b11 b16 - 800 b10 b11 b16 + 3.2e2 b5 b10 b11 b16 + 3152 b12 b16 - 32 b1 b12 b16 - 64 b2 b12 b16 - 96 b3 b12 b16 - 128 b4 b12 b16 - 192 b5 b12 b16 + 64 b1 b5 b12 b16 - 3.2e2 b6 b12 b16 + 128 b2 b6 b12 b16 - 448 b7 b12 b16 + 192 b3 b7 b12 b16 - 3.2e2 b8 b12 b16 + 256 b4 b8 b12 b16 - 704 b9 b12 b16 + 3.2e2 b5 b9 b12 b16 - 832 b10 b12 b16 + 384 b6 b10 b12 b16 - 928 b11 b12 b16 + 448 b7 b11 b12 b16 + 3536 b13 b16 - 32 b1 b13 b16 - 64 b2 b13 b16 - 96 b3 b13 b16 - 1.6e2 b4 b13 b16 + 64 b1 b4 b13 b16 - 224 b5 b13 b16 + 128 b2 b5 b13 b16 - 3.2e2 b6 b13 b16 + 192 b3 b6 b13 b16 - 448 b7 b13 b16 + 256 b4 b7 b13 b16 - 576 b8 b13 b16 + 3.2e2 b5 b8 b13 b16 - 704 b9 b13 b16 + 384 b6 b9 b13 b16 - 512 b10 b13 b16 + 448 b7 b10 b13 b16 - 9.6e2 b11 b13 b16 + 512 b8 b11 b13 b16 - 1056 b12 b13 b16 + 576 b9 b12 b13 b16 + 3936 b14 b16 - 32 b1 b14 b16 - 64 b2 b14 b16 - 128 b3 b14 b16 + 64 b1 b3 b14 b16 - 192 b4 b14 b16 + 128 b2 b4 b14 b16 - 256 b5 b14 b16 + 192 b3 b5 b14 b16 - 3.2e2 b6 b14 b16 + 256 b4 b6 b14 b16 - 448 b7 b14 b16 + 3.2e2 b5 b7 b14 b16 - 576 b8 b14 b16 + 384 b6 b8 b14 b16 - 704 b9 b14 b16 + 448 b7 b9 b14 b16 - 832 b10 b14 b16 + 512 b8 b10 b14 b16 - 9.6e2 b11 b14 b16 + 576 b9 b11 b14 b16 - 704 b12 b14 b16 + 6.4e2 b10 b12 b14 b16 - 1184 b13 b14 b16 + 704 b11 b13 b14 b16 + 4384 b15 b16 - 32 b1 b15 b16 - 96 b2 b15 b16 + 64 b1 b2 b15 b16 - 1.6e2 b3 b15 b16 + 128 b2 b3 b15 b16 - 224 b4 b15 b16 + 192 b3 b4 b15 b16 - 288 b5 b15 b16 + 256 b4 b5 b15 b16 - 352 b6 b15 b16 + 3.2e2 b5 b6 b15 b16 - 448 b7 b15 b16 + 384 b6 b7 b15 b16 - 576 b8 b15 b16 + 448 b7 b8 b15 b16 - 704 b9 b15 b16 + 512 b8 b9 b15 b16 - 832 b10 b15 b16 + 576 b9 b10 b15 b16 - 9.6e2 b11 b15 b16 + 6.4e2 b10 b11 b15 b16 - 1088 b12 b15 b16 + 704 b11 b12 b15 b16 - 1216 b13 b15 b16 + 768 b12 b13 b15 b16 - 864 b14 b15 b16 + 832 b13 b14 b15 b16 - 11936 b17 + 136 b1 b17 + 304 b2 b17 - 64 b1 b2 b17 + 488 b3 b17 - 32 b1 b3 b17 - 128 b2 b3 b17 + 704 b4 b17 - 32 b1 b4 b17 - 96 b2 b4 b17 - 192 b3 b4 b17 + 936 b5 b17 - 32 b1 b5 b17 - 64 b2 b5 b17 - 1.6e2 b3 b5 b17 - 256 b4 b5 b17 + 1.2e3 b6 b17 - 32 b1 b6 b17 - 64 b2 b6 b17 - 128 b3 b6 b17 - 224 b4 b6 b17 - 3.2e2 b5 b6 b17 + 1.48e3 b7 b17 - 32 b1 b7 b17 - 64 b2 b7 b17 - 96 b3 b7 b17 - 192 b4 b7 b17 - 288 b5 b7 b17 - 384 b6 b7 b17 + 1792 b8 b17 - 32 b1 b8 b17 - 64 b2 b8 b17 - 96 b3 b8 b17 - 1.6e2 b4 b8 b17 - 256 b5 b8 b17 - 352 b6 b8 b17 - 448 b7 b8 b17 + 2072 b9 b17 - 64 b2 b9 b17 - 96 b3 b9 b17 - 128 b4 b9 b17 - 224 b5 b9 b17 - 3.2e2 b6 b9 b17 - 416 b7 b9 b17 - 512 b8 b9 b17 + 2368 b10 b17 - 32 b1 b10 b17 - 64 b2 b10 b17 - 128 b4 b10 b17 - 192 b5 b10 b17 - 288 b6 b10 b17 - 384 b7 b10 b17 - 512 b8 b10 b17 + 64 b1 b8 b10 b17 - 6.4e2 b9 b10 b17 + 128 b2 b9 b10 b17 + 2.68e3 b11 b17 - 32 b1 b11 b17 - 64 b2 b11 b17 - 96 b3 b11 b17 - 128 b4 b11 b17 - 256 b6 b11 b17 - 384 b7 b11 b17 + 64 b1 b7 b11 b17 - 512 b8 b11 b17 + 128 b2 b8 b11 b17 - 6.4e2 b9 b11 b17 + 192 b3 b9 b11 b17 - 768 b10 b11 b17 + 256 b4 b10 b11 b17 + 3024 b12 b17 - 32 b1 b12 b17 - 64 b2 b12 b17 - 96 b3 b12 b17 - 128 b4 b12 b17 - 1.6e2 b5 b12 b17 - 256 b6 b12 b17 + 64 b1 b6 b12 b17 - 1.6e2 b7 b12 b17 + 128 b2 b7 b12 b17 - 512 b8 b12 b17 + 192 b3 b8 b12 b17 - 6.4e2 b9 b12 b17 + 256 b4 b9 b12 b17 - 768 b10 b12 b17 + 3.2e2 b5 b10 b12 b17 - 896 b11 b12 b17 + 384 b6 b11 b12 b17 + 3384 b13 b17 - 32 b1 b13 b17 - 64 b2 b13 b17 - 96 b3 b13 b17 - 128 b4 b13 b17 - 192 b5 b13 b17 + 64 b1 b5 b13 b17 - 256 b6 b13 b17 + 128 b2 b6 b13 b17 - 384 b7 b13 b17 + 192 b3 b7 b13 b17 - 512 b8 b13 b17 + 256 b4 b8 b13 b17 - 352 b9 b13 b17 + 3.2e2 b5 b9 b13 b17 - 768 b10 b13 b17 + 384 b6 b10 b13 b17 - 896 b11 b13 b17 + 448 b7 b11 b13 b17 - 1024 b12 b13 b17 + 512 b8 b12 b13 b17 + 3776 b14 b17 - 32 b1 b14 b17 - 64 b2 b14 b17 - 96 b3 b14 b17 - 1.6e2 b4 b14 b17 + 64 b1 b4 b14 b17 - 224 b5 b14 b17 + 128 b2 b5 b14 b17 - 288 b6 b14 b17 + 192 b3 b6 b14 b17 - 384 b7 b14 b17 + 256 b4 b7 b14 b17 - 512 b8 b14 b17 + 3.2e2 b5 b8 b14 b17 - 6.4e2 b9 b14 b17 + 384 b6 b9 b14 b17 - 768 b10 b14 b17 + 448 b7 b10 b14 b17 - 544 b11 b14 b17 + 512 b8 b11 b14 b17 - 1024 b12 b14 b17 + 576 b9 b12 b14 b17 - 1152 b13 b14 b17 + 6.4e2 b10 b13 b14 b17 + 4184 b15 b17 - 32 b1 b15 b17 - 64 b2 b15 b17 - 128 b3 b15 b17 + 64 b1 b3 b15 b17 - 192 b4 b15 b17 + 128 b2 b4 b15 b17 - 256 b5 b15 b17 + 192 b3 b5 b15 b17 - 3.2e2 b6 b15 b17 + 256 b4 b6 b15 b17 - 384 b7 b15 b17 + 3.2e2 b5 b7 b15 b17 - 512 b8 b15 b17 + 384 b6 b8 b15 b17 - 6.4e2 b9 b15 b17 + 448 b7 b9 b15 b17 - 768 b10 b15 b17 + 512 b8 b10 b15 b17 - 896 b11 b15 b17 + 576 b9 b11 b15 b17 - 1024 b12 b15 b17 + 6.4e2 b10 b12 b15 b17 - 736 b13 b15 b17 + 704 b11 b13 b15 b17 - 1.28e3 b14 b15 b17 + 768 b12 b14 b15 b17 + 4624 b16 b17 - 32 b1 b16 b17 - 96 b2 b16 b17 + 64 b1 b2 b16 b17 - 1.6e2 b3 b16 b17 + 128 b2 b3 b16 b17 - 224 b4 b16 b17 + 192 b3 b4 b16 b17 - 288 b5 b16 b17 + 256 b4 b5 b16 b17 - 352 b6 b16 b17 + 3.2e2 b5 b6 b16 b17 - 416 b7 b16 b17 + 384 b6 b7 b16 b17 - 512 b8 b16 b17 + 448 b7 b8 b16 b17 - 6.4e2 b9 b16 b17 + 512 b8 b9 b16 b17 - 768 b10 b16 b17 + 576 b9 b10 b16 b17 - 896 b11 b16 b17 + 6.4e2 b10 b11 b16 b17 - 1024 b12 b16 b17 + 704 b11 b12 b16 b17 - 1152 b13 b16 b17 + 768 b12 b13 b16 b17 - 1.28e3 b14 b16 b17 + 832 b13 b14 b16 b17 - 928 b15 b16 b17 + 896 b14 b15 b16 b17 - 1.248e4 b18 + 128 b1 b18 + 272 b2 b18 - 32 b1 b2 b18 + 448 b3 b18 - 32 b1 b3 b18 - 96 b2 b3 b18 + 6.4e2 b4 b18 - 32 b1 b4 b18 - 64 b2 b4 b18 - 1.6e2 b3 b4 b18 + 864 b5 b18 - 32 b1 b5 b18 - 64 b2 b5 b18 - 128 b3 b5 b18 - 224 b4 b5 b18 + 1104 b6 b18 - 32 b1 b6 b18 - 64 b2 b6 b18 - 96 b3 b6 b18 - 192 b4 b6 b18 - 288 b5 b6 b18 + 1376 b7 b18 - 32 b1 b7 b18 - 64 b2 b7 b18 - 96 b3 b7 b18 - 1.6e2 b4 b7 b18 - 256 b5 b7 b18 - 352 b6 b7 b18 + 1664 b8 b18 - 32 b1 b8 b18 - 64 b2 b8 b18 - 96 b3 b8 b18 - 128 b4 b8 b18 - 224 b5 b8 b18 - 3.2e2 b6 b8 b18 - 416 b7 b8 b18 + 1984 b9 b18 - 32 b1 b9 b18 - 64 b2 b9 b18 - 96 b3 b9 b18 - 128 b4 b9 b18 - 192 b5 b9 b18 - 288 b6 b9 b18 - 384 b7 b9 b18 - 4.8e2 b8 b9 b18 + 2256 b10 b18 - 32 b1 b10 b18 - 96 b3 b10 b18 - 128 b4 b10 b18 - 1.6e2 b5 b10 b18 - 256 b6 b10 b18 - 352 b7 b10 b18 - 448 b8 b10 b18 - 576 b9 b10 b18 + 64 b1 b9 b10 b18 + 2.56e3 b11 b18 - 32 b1 b11 b18 - 64 b2 b11 b18 - 96 b3 b11 b18 - 1.6e2 b5 b11 b18 - 224 b6 b11 b18 - 3.2e2 b7 b11 b18 - 448 b8 b11 b18 + 64 b1 b8 b11 b18 - 576 b9 b11 b18 + 128 b2 b9 b11 b18 - 704 b10 b11 b18 + 192 b3 b10 b11 b18 + 2.88e3 b12 b18 - 32 b1 b12 b18 - 64 b2 b12 b18 - 96 b3 b12 b18 - 128 b4 b12 b18 - 1.6e2 b5 b12 b18 - 3.2e2 b7 b12 b18 + 64 b1 b7 b12 b18 - 448 b8 b12 b18 + 128 b2 b8 b12 b18 - 576 b9 b12 b18 + 192 b3 b9 b12 b18 - 704 b10 b12 b18 + 256 b4 b10 b12 b18 - 832 b11 b12 b18 + 3.2e2 b5 b11 b12 b18 + 3232 b13 b18 - 32 b1 b13 b18 - 64 b2 b13 b18 - 96 b3 b13 b18 - 128 b4 b13 b18 - 1.6e2 b5 b13 b18 - 224 b6 b13 b18 + 64 b1 b6 b13 b18 - 3.2e2 b7 b13 b18 + 128 b2 b7 b13 b18 - 192 b8 b13 b18 + 192 b3 b8 b13 b18 - 576 b9 b13 b18 + 256 b4 b9 b13 b18 - 704 b10 b13 b18 + 3.2e2 b5 b10 b13 b18 - 832 b11 b13 b18 + 384 b6 b11 b13 b18 - 9.6e2 b12 b13 b18 + 448 b7 b12 b13 b18 + 3.6e3 b14 b18 - 32 b1 b14 b18 - 64 b2 b14 b18 - 96 b3 b14 b18 - 128 b4 b14 b18 - 192 b5 b14 b18 + 64 b1 b5 b14 b18 - 256 b6 b14 b18 + 128 b2 b6 b14 b18 - 3.2e2 b7 b14 b18 + 192 b3 b7 b14 b18 - 448 b8 b14 b18 + 256 b4 b8 b14 b18 - 576 b9 b14 b18 + 3.2e2 b5 b9 b14 b18 - 384 b10 b14 b18 + 384 b6 b10 b14 b18 - 832 b11 b14 b18 + 448 b7 b11 b14 b18 - 9.6e2 b12 b14 b18 + 512 b8 b12 b14 b18 - 1088 b13 b14 b18 + 576 b9 b13 b14 b18 + 4e3 b15 b18 - 32 b1 b15 b18 - 64 b2 b15 b18 - 96 b3 b15 b18 - 1.6e2 b4 b15 b18 + 64 b1 b4 b15 b18 - 224 b5 b15 b18 + 128 b2 b5 b15 b18 - 288 b6 b15 b18 + 192 b3 b6 b15 b18 - 352 b7 b15 b18 + 256 b4 b7 b15 b18 - 448 b8 b15 b18 + 3.2e2 b5 b8 b15 b18 - 576 b9 b15 b18 + 384 b6 b9 b15 b18 - 704 b10 b15 b18 + 448 b7 b10 b15 b18 - 832 b11 b15 b18 + 512 b8 b11 b15 b18 - 576 b12 b15 b18 + 576 b9 b12 b15 b18 - 1088 b13 b15 b18 + 6.4e2 b10 b13 b15 b18 - 1216 b14 b15 b18 + 704 b11 b14 b15 b18 + 4416 b16 b18 - 32 b1 b16 b18 - 64 b2 b16 b18 - 128 b3 b16 b18 + 64 b1 b3 b16 b18 - 192 b4 b16 b18 + 128 b2 b4 b16 b18 - 256 b5 b16 b18 + 192 b3 b5 b16 b18 - 3.2e2 b6 b16 b18 + 256 b4 b6 b16 b18 - 384 b7 b16 b18 + 3.2e2 b5 b7 b16 b18 - 448 b8 b16 b18 + 384 b6 b8 b16 b18 - 576 b9 b16 b18 + 448 b7 b9 b16 b18 - 704 b10 b16 b18 + 512 b8 b10 b16 b18 - 832 b11 b16 b18 + 576 b9 b11 b16 b18 - 9.6e2 b12 b16 b18 + 6.4e2 b10 b12 b16 b18 - 1088 b13 b16 b18 + 704 b11 b13 b16 b18 - 768 b14 b16 b18 + 768 b12 b14 b16 b18 - 1344 b15 b16 b18 + 832 b13 b15 b16 b18 + 4864 b17 b18 - 32 b1 b17 b18 - 96 b2 b17 b18 + 64 b1 b2 b17 b18 - 1.6e2 b3 b17 b18 + 128 b2 b3 b17 b18 - 224 b4 b17 b18 + 192 b3 b4 b17 b18 - 288 b5 b17 b18 + 256 b4 b5 b17 b18 - 352 b6 b17 b18 + 3.2e2 b5 b6 b17 b18 - 416 b7 b17 b18 + 384 b6 b7 b17 b18 - 4.8e2 b8 b17 b18 + 448 b7 b8 b17 b18 - 576 b9 b17 b18 + 512 b8 b9 b17 b18 - 704 b10 b17 b18 + 576 b9 b10 b17 b18 - 832 b11 b17 b18 + 6.4e2 b10 b11 b17 b18 - 9.6e2 b12 b17 b18 + 704 b11 b12 b17 b18 - 1088 b13 b17 b18 + 768 b12 b13 b17 b18 - 1216 b14 b17 b18 + 832 b13 b14 b17 b18 - 1344 b15 b17 b18 + 896 b14 b15 b17 b18 - 9.6e2 b16 b17 b18 + 9.6e2 b15 b16 b17 b18 - 11936 b19 + 128 b2 b19 + 272 b3 b19 - 32 b2 b3 b19 + 448 b4 b19 - 32 b2 b4 b19 - 96 b3 b4 b19 + 6.4e2 b5 b19 - 32 b2 b5 b19 - 64 b3 b5 b19 - 1.6e2 b4 b5 b19 + 864 b6 b19 - 32 b2 b6 b19 - 64 b3 b6 b19 - 128 b4 b6 b19 - 224 b5 b6 b19 + 1104 b7 b19 - 32 b2 b7 b19 - 64 b3 b7 b19 - 96 b4 b7 b19 - 192 b5 b7 b19 - 288 b6 b7 b19 + 1376 b8 b19 - 32 b2 b8 b19 - 64 b3 b8 b19 - 96 b4 b8 b19 - 1.6e2 b5 b8 b19 - 256 b6 b8 b19 - 352 b7 b8 b19 + 1664 b9 b19 - 32 b2 b9 b19 - 64 b3 b9 b19 - 96 b4 b9 b19 - 128 b5 b9 b19 - 224 b6 b9 b19 - 3.2e2 b7 b9 b19 - 416 b8 b9 b19 + 1984 b10 b19 - 32 b2 b10 b19 - 64 b3 b10 b19 - 96 b4 b10 b19 - 128 b5 b10 b19 - 192 b6 b10 b19 - 288 b7 b10 b19 - 384 b8 b10 b19 - 4.8e2 b9 b10 b19 + 2256 b11 b19 - 32 b2 b11 b19 - 96 b4 b11 b19 - 128 b5 b11 b19 - 1.6e2 b6 b11 b19 - 256 b7 b11 b19 - 352 b8 b11 b19 - 448 b9 b11 b19 - 576 b10 b11 b19 + 64 b2 b10 b11 b19 + 2.56e3 b12 b19 - 32 b2 b12 b19 - 64 b3 b12 b19 - 96 b4 b12 b19 - 1.6e2 b6 b12 b19 - 224 b7 b12 b19 - 3.2e2 b8 b12 b19 - 448 b9 b12 b19 + 64 b2 b9 b12 b19 - 576 b10 b12 b19 + 128 b3 b10 b12 b19 - 704 b11 b12 b19 + 192 b4 b11 b12 b19 + 2.88e3 b13 b19 - 32 b2 b13 b19 - 64 b3 b13 b19 - 96 b4 b13 b19 - 128 b5 b13 b19 - 1.6e2 b6 b13 b19 - 3.2e2 b8 b13 b19 + 64 b2 b8 b13 b19 - 448 b9 b13 b19 + 128 b3 b9 b13 b19 - 576 b10 b13 b19 + 192 b4 b10 b13 b19 - 704 b11 b13 b19 + 256 b5 b11 b13 b19 - 832 b12 b13 b19 + 3.2e2 b6 b12 b13 b19 + 3232 b14 b19 - 32 b2 b14 b19 - 64 b3 b14 b19 - 96 b4 b14 b19 - 128 b5 b14 b19 - 1.6e2 b6 b14 b19 - 224 b7 b14 b19 + 64 b2 b7 b14 b19 - 3.2e2 b8 b14 b19 + 128 b3 b8 b14 b19 - 192 b9 b14 b19 + 192 b4 b9 b14 b19 - 576 b10 b14 b19 + 256 b5 b10 b14 b19 - 704 b11 b14 b19 + 3.2e2 b6 b11 b14 b19 - 832 b12 b14 b19 + 384 b7 b12 b14 b19 - 9.6e2 b13 b14 b19 + 448 b8 b13 b14 b19 + 3.6e3 b15 b19 - 32 b2 b15 b19 - 64 b3 b15 b19 - 96 b4 b15 b19 - 128 b5 b15 b19 - 192 b6 b15 b19 + 64 b2 b6 b15 b19 - 256 b7 b15 b19 + 128 b3 b7 b15 b19 - 3.2e2 b8 b15 b19 + 192 b4 b8 b15 b19 - 448 b9 b15 b19 + 256 b5 b9 b15 b19 - 576 b10 b15 b19 + 3.2e2 b6 b10 b15 b19 - 384 b11 b15 b19 + 384 b7 b11 b15 b19 - 832 b12 b15 b19 + 448 b8 b12 b15 b19 - 9.6e2 b13 b15 b19 + 512 b9 b13 b15 b19 - 1088 b14 b15 b19 + 576 b10 b14 b15 b19 + 4e3 b16 b19 - 32 b2 b16 b19 - 64 b3 b16 b19 - 96 b4 b16 b19 - 1.6e2 b5 b16 b19 + 64 b2 b5 b16 b19 - 224 b6 b16 b19 + 128 b3 b6 b16 b19 - 288 b7 b16 b19 + 192 b4 b7 b16 b19 - 352 b8 b16 b19 + 256 b5 b8 b16 b19 - 448 b9 b16 b19 + 3.2e2 b6 b9 b16 b19 - 576 b10 b16 b19 + 384 b7 b10 b16 b19 - 704 b11 b16 b19 + 448 b8 b11 b16 b19 - 832 b12 b16 b19 + 512 b9 b12 b16 b19 - 576 b13 b16 b19 + 576 b10 b13 b16 b19 - 1088 b14 b16 b19 + 6.4e2 b11 b14 b16 b19 - 1216 b15 b16 b19 + 704 b12 b15 b16 b19 + 4416 b17 b19 - 32 b2 b17 b19 - 64 b3 b17 b19 - 128 b4 b17 b19 + 64 b2 b4 b17 b19 - 192 b5 b17 b19 + 128 b3 b5 b17 b19 - 256 b6 b17 b19 + 192 b4 b6 b17 b19 - 3.2e2 b7 b17 b19 + 256 b5 b7 b17 b19 - 384 b8 b17 b19 + 3.2e2 b6 b8 b17 b19 - 448 b9 b17 b19 + 384 b7 b9 b17 b19 - 576 b10 b17 b19 + 448 b8 b10 b17 b19 - 704 b11 b17 b19 + 512 b9 b11 b17 b19 - 832 b12 b17 b19 + 576 b10 b12 b17 b19 - 9.6e2 b13 b17 b19 + 6.4e2 b11 b13 b17 b19 - 1088 b14 b17 b19 + 704 b12 b14 b17 b19 - 768 b15 b17 b19 + 768 b13 b15 b17 b19 - 1344 b16 b17 b19 + 832 b14 b16 b17 b19 + 4864 b18 b19 - 32 b2 b18 b19 - 96 b3 b18 b19 + 64 b2 b3 b18 b19 - 1.6e2 b4 b18 b19 + 128 b3 b4 b18 b19 - 224 b5 b18 b19 + 192 b4 b5 b18 b19 - 288 b6 b18 b19 + 256 b5 b6 b18 b19 - 352 b7 b18 b19 + 3.2e2 b6 b7 b18 b19 - 416 b8 b18 b19 + 384 b7 b8 b18 b19 - 4.8e2 b9 b18 b19 + 448 b8 b9 b18 b19 - 576 b10 b18 b19 + 512 b9 b10 b18 b19 - 704 b11 b18 b19 + 576 b10 b11 b18 b19 - 832 b12 b18 b19 + 6.4e2 b11 b12 b18 b19 - 9.6e2 b13 b18 b19 + 704 b12 b13 b18 b19 - 1088 b14 b18 b19 + 768 b13 b14 b18 b19 - 1216 b15 b18 b19 + 832 b14 b15 b18 b19 - 1344 b16 b18 b19 + 896 b15 b16 b18 b19 - 9.6e2 b17 b18 b19 + 9.6e2 b16 b17 b18 b19 - 11336 b20 + 128 b3 b20 + 272 b4 b20 - 32 b3 b4 b20 + 448 b5 b20 - 32 b3 b5 b20 - 96 b4 b5 b20 + 6.4e2 b6 b20 - 32 b3 b6 b20 - 64 b4 b6 b20 - 1.6e2 b5 b6 b20 + 864 b7 b20 - 32 b3 b7 b20 - 64 b4 b7 b20 - 128 b5 b7 b20 - 224 b6 b7 b20 + 1104 b8 b20 - 32 b3 b8 b20 - 64 b4 b8 b20 - 96 b5 b8 b20 - 192 b6 b8 b20 - 288 b7 b8 b20 + 1376 b9 b20 - 32 b3 b9 b20 - 64 b4 b9 b20 - 96 b5 b9 b20 - 1.6e2 b6 b9 b20 - 256 b7 b9 b20 - 352 b8 b9 b20 + 1664 b10 b20 - 32 b3 b10 b20 - 64 b4 b10 b20 - 96 b5 b10 b20 - 128 b6 b10 b20 - 224 b7 b10 b20 - 3.2e2 b8 b10 b20 - 416 b9 b10 b20 + 1984 b11 b20 - 32 b3 b11 b20 - 64 b4 b11 b20 - 96 b5 b11 b20 - 128 b6 b11 b20 - 192 b7 b11 b20 - 288 b8 b11 b20 - 384 b9 b11 b20 - 4.8e2 b10 b11 b20 + 2256 b12 b20 - 32 b3 b12 b20 - 96 b5 b12 b20 - 128 b6 b12 b20 - 1.6e2 b7 b12 b20 - 256 b8 b12 b20 - 352 b9 b12 b20 - 448 b10 b12 b20 - 576 b11 b12 b20 + 64 b3 b11 b12 b20 + 2.56e3 b13 b20 - 32 b3 b13 b20 - 64 b4 b13 b20 - 96 b5 b13 b20 - 1.6e2 b7 b13 b20 - 224 b8 b13 b20 - 3.2e2 b9 b13 b20 - 448 b10 b13 b20 + 64 b3 b10 b13 b20 - 576 b11 b13 b20 + 128 b4 b11 b13 b20 - 704 b12 b13 b20 + 192 b5 b12 b13 b20 + 2.88e3 b14 b20 - 32 b3 b14 b20 - 64 b4 b14 b20 - 96 b5 b14 b20 - 128 b6 b14 b20 - 1.6e2 b7 b14 b20 - 3.2e2 b9 b14 b20 + 64 b3 b9 b14 b20 - 448 b10 b14 b20 + 128 b4 b10 b14 b20 - 576 b11 b14 b20 + 192 b5 b11 b14 b20 - 704 b12 b14 b20 + 256 b6 b12 b14 b20 - 832 b13 b14 b20 + 3.2e2 b7 b13 b14 b20 + 3232 b15 b20 - 32 b3 b15 b20 - 64 b4 b15 b20 - 96 b5 b15 b20 - 128 b6 b15 b20 - 1.6e2 b7 b15 b20 - 224 b8 b15 b20 + 64 b3 b8 b15 b20 - 3.2e2 b9 b15 b20 + 128 b4 b9 b15 b20 - 192 b10 b15 b20 + 192 b5 b10 b15 b20 - 576 b11 b15 b20 + 256 b6 b11 b15 b20 - 704 b12 b15 b20 + 3.2e2 b7 b12 b15 b20 - 832 b13 b15 b20 + 384 b8 b13 b15 b20 - 9.6e2 b14 b15 b20 + 448 b9 b14 b15 b20 + 3.6e3 b16 b20 - 32 b3 b16 b20 - 64 b4 b16 b20 - 96 b5 b16 b20 - 128 b6 b16 b20 - 192 b7 b16 b20 + 64 b3 b7 b16 b20 - 256 b8 b16 b20 + 128 b4 b8 b16 b20 - 3.2e2 b9 b16 b20 + 192 b5 b9 b16 b20 - 448 b10 b16 b20 + 256 b6 b10 b16 b20 - 576 b11 b16 b20 + 3.2e2 b7 b11 b16 b20 - 384 b12 b16 b20 + 384 b8 b12 b16 b20 - 832 b13 b16 b20 + 448 b9 b13 b16 b20 - 9.6e2 b14 b16 b20 + 512 b10 b14 b16 b20 - 1088 b15 b16 b20 + 576 b11 b15 b16 b20 + 4e3 b17 b20 - 32 b3 b17 b20 - 64 b4 b17 b20 - 96 b5 b17 b20 - 1.6e2 b6 b17 b20 + 64 b3 b6 b17 b20 - 224 b7 b17 b20 + 128 b4 b7 b17 b20 - 288 b8 b17 b20 + 192 b5 b8 b17 b20 - 352 b9 b17 b20 + 256 b6 b9 b17 b20 - 448 b10 b17 b20 + 3.2e2 b7 b10 b17 b20 - 576 b11 b17 b20 + 384 b8 b11 b17 b20 - 704 b12 b17 b20 + 448 b9 b12 b17 b20 - 832 b13 b17 b20 + 512 b10 b13 b17 b20 - 576 b14 b17 b20 + 576 b11 b14 b17 b20 - 1088 b15 b17 b20 + 6.4e2 b12 b15 b17 b20 - 1216 b16 b17 b20 + 704 b13 b16 b17 b20 + 4416 b18 b20 - 32 b3 b18 b20 - 64 b4 b18 b20 - 128 b5 b18 b20 + 64 b3 b5 b18 b20 - 192 b6 b18 b20 + 128 b4 b6 b18 b20 - 256 b7 b18 b20 + 192 b5 b7 b18 b20 - 3.2e2 b8 b18 b20 + 256 b6 b8 b18 b20 - 384 b9 b18 b20 + 3.2e2 b7 b9 b18 b20 - 448 b10 b18 b20 + 384 b8 b10 b18 b20 - 576 b11 b18 b20 + 448 b9 b11 b18 b20 - 704 b12 b18 b20 + 512 b10 b12 b18 b20 - 832 b13 b18 b20 + 576 b11 b13 b18 b20 - 9.6e2 b14 b18 b20 + 6.4e2 b12 b14 b18 b20 - 1088 b15 b18 b20 + 704 b13 b15 b18 b20 - 768 b16 b18 b20 + 768 b14 b16 b18 b20 - 1344 b17 b18 b20 + 832 b15 b17 b18 b20 + 4624 b19 b20 - 32 b3 b19 b20 - 96 b4 b19 b20 + 64 b3 b4 b19 b20 - 1.6e2 b5 b19 b20 + 128 b4 b5 b19 b20 - 224 b6 b19 b20 + 192 b5 b6 b19 b20 - 288 b7 b19 b20 + 256 b6 b7 b19 b20 - 352 b8 b19 b20 + 3.2e2 b7 b8 b19 b20 - 416 b9 b19 b20 + 384 b8 b9 b19 b20 - 4.8e2 b10 b19 b20 + 448 b9 b10 b19 b20 - 576 b11 b19 b20 + 512 b10 b11 b19 b20 - 704 b12 b19 b20 + 576 b11 b12 b19 b20 - 832 b13 b19 b20 + 6.4e2 b12 b13 b19 b20 - 9.6e2 b14 b19 b20 + 704 b13 b14 b19 b20 - 1088 b15 b19 b20 + 768 b14 b15 b19 b20 - 1216 b16 b19 b20 + 832 b15 b16 b19 b20 - 1344 b17 b19 b20 + 896 b16 b17 b19 b20 - 9.6e2 b18 b19 b20 + 9.6e2 b17 b18 b19 b20 - 10688 b21 + 128 b4 b21 + 272 b5 b21 - 32 b4 b5 b21 + 448 b6 b21 - 32 b4 b6 b21 - 96 b5 b6 b21 + 6.4e2 b7 b21 - 32 b4 b7 b21 - 64 b5 b7 b21 - 1.6e2 b6 b7 b21 + 864 b8 b21 - 32 b4 b8 b21 - 64 b5 b8 b21 - 128 b6 b8 b21 - 224 b7 b8 b21 + 1104 b9 b21 - 32 b4 b9 b21 - 64 b5 b9 b21 - 96 b6 b9 b21 - 192 b7 b9 b21 - 288 b8 b9 b21 + 1376 b10 b21 - 32 b4 b10 b21 - 64 b5 b10 b21 - 96 b6 b10 b21 - 1.6e2 b7 b10 b21 - 256 b8 b10 b21 - 352 b9 b10 b21 + 1664 b11 b21 - 32 b4 b11 b21 - 64 b5 b11 b21 - 96 b6 b11 b21 - 128 b7 b11 b21 - 224 b8 b11 b21 - 3.2e2 b9 b11 b21 - 416 b10 b11 b21 + 1984 b12 b21 - 32 b4 b12 b21 - 64 b5 b12 b21 - 96 b6 b12 b21 - 128 b7 b12 b21 - 192 b8 b12 b21 - 288 b9 b12 b21 - 384 b10 b12 b21 - 4.8e2 b11 b12 b21 + 2256 b13 b21 - 32 b4 b13 b21 - 96 b6 b13 b21 - 128 b7 b13 b21 - 1.6e2 b8 b13 b21 - 256 b9 b13 b21 - 352 b10 b13 b21 - 448 b11 b13 b21 - 576 b12 b13 b21 + 64 b4 b12 b13 b21 + 2.56e3 b14 b21 - 32 b4 b14 b21 - 64 b5 b14 b21 - 96 b6 b14 b21 - 1.6e2 b8 b14 b21 - 224 b9 b14 b21 - 3.2e2 b10 b14 b21 - 448 b11 b14 b21 + 64 b4 b11 b14 b21 - 576 b12 b14 b21 + 128 b5 b12 b14 b21 - 704 b13 b14 b21 + 192 b6 b13 b14 b21 + 2.88e3 b15 b21 - 32 b4 b15 b21 - 64 b5 b15 b21 - 96 b6 b15 b21 - 128 b7 b15 b21 - 1.6e2 b8 b15 b21 - 3.2e2 b10 b15 b21 + 64 b4 b10 b15 b21 - 448 b11 b15 b21 + 128 b5 b11 b15 b21 - 576 b12 b15 b21 + 192 b6 b12 b15 b21 - 704 b13 b15 b21 + 256 b7 b13 b15 b21 - 832 b14 b15 b21 + 3.2e2 b8 b14 b15 b21 + 3232 b16 b21 - 32 b4 b16 b21 - 64 b5 b16 b21 - 96 b6 b16 b21 - 128 b7 b16 b21 - 1.6e2 b8 b16 b21 - 224 b9 b16 b21 + 64 b4 b9 b16 b21 - 3.2e2 b10 b16 b21 + 128 b5 b10 b16 b21 - 192 b11 b16 b21 + 192 b6 b11 b16 b21 - 576 b12 b16 b21 + 256 b7 b12 b16 b21 - 704 b13 b16 b21 + 3.2e2 b8 b13 b16 b21 - 832 b14 b16 b21 + 384 b9 b14 b16 b21 - 9.6e2 b15 b16 b21 + 448 b10 b15 b16 b21 + 3.6e3 b17 b21 - 32 b4 b17 b21 - 64 b5 b17 b21 - 96 b6 b17 b21 - 128 b7 b17 b21 - 192 b8 b17 b21 + 64 b4 b8 b17 b21 - 256 b9 b17 b21 + 128 b5 b9 b17 b21 - 3.2e2 b10 b17 b21 + 192 b6 b10 b17 b21 - 448 b11 b17 b21 + 256 b7 b11 b17 b21 - 576 b12 b17 b21 + 3.2e2 b8 b12 b17 b21 - 384 b13 b17 b21 + 384 b9 b13 b17 b21 - 832 b14 b17 b21 + 448 b10 b14 b17 b21 - 9.6e2 b15 b17 b21 + 512 b11 b15 b17 b21 - 1088 b16 b17 b21 + 576 b12 b16 b17 b21 + 4e3 b18 b21 - 32 b4 b18 b21 - 64 b5 b18 b21 - 96 b6 b18 b21 - 1.6e2 b7 b18 b21 + 64 b4 b7 b18 b21 - 224 b8 b18 b21 + 128 b5 b8 b18 b21 - 288 b9 b18 b21 + 192 b6 b9 b18 b21 - 352 b10 b18 b21 + 256 b7 b10 b18 b21 - 448 b11 b18 b21 + 3.2e2 b8 b11 b18 b21 - 576 b12 b18 b21 + 384 b9 b12 b18 b21 - 704 b13 b18 b21 + 448 b10 b13 b18 b21 - 832 b14 b18 b21 + 512 b11 b14 b18 b21 - 576 b15 b18 b21 + 576 b12 b15 b18 b21 - 1088 b16 b18 b21 + 6.4e2 b13 b16 b18 b21 - 1216 b17 b18 b21 + 704 b14 b17 b18 b21 + 4184 b19 b21 - 32 b4 b19 b21 - 64 b5 b19 b21 - 128 b6 b19 b21 + 64 b4 b6 b19 b21 - 192 b7 b19 b21 + 128 b5 b7 b19 b21 - 256 b8 b19 b21 + 192 b6 b8 b19 b21 - 3.2e2 b9 b19 b21 + 256 b7 b9 b19 b21 - 384 b10 b19 b21 + 3.2e2 b8 b10 b19 b21 - 448 b11 b19 b21 + 384 b9 b11 b19 b21 - 576 b12 b19 b21 + 448 b10 b12 b19 b21 - 704 b13 b19 b21 + 512 b11 b13 b19 b21 - 832 b14 b19 b21 + 576 b12 b14 b19 b21 - 9.6e2 b15 b19 b21 + 6.4e2 b13 b15 b19 b21 - 1088 b16 b19 b21 + 704 b14 b16 b19 b21 - 768 b17 b19 b21 + 768 b15 b17 b19 b21 - 1344 b18 b19 b21 + 832 b16 b18 b19 b21 + 4384 b20 b21 - 32 b4 b20 b21 - 96 b5 b20 b21 + 64 b4 b5 b20 b21 - 1.6e2 b6 b20 b21 + 128 b5 b6 b20 b21 - 224 b7 b20 b21 + 192 b6 b7 b20 b21 - 288 b8 b20 b21 + 256 b7 b8 b20 b21 - 352 b9 b20 b21 + 3.2e2 b8 b9 b20 b21 - 416 b10 b20 b21 + 384 b9 b10 b20 b21 - 4.8e2 b11 b20 b21 + 448 b10 b11 b20 b21 - 576 b12 b20 b21 + 512 b11 b12 b20 b21 - 704 b13 b20 b21 + 576 b12 b13 b20 b21 - 832 b14 b20 b21 + 6.4e2 b13 b14 b20 b21 - 9.6e2 b15 b20 b21 + 704 b14 b15 b20 b21 - 1088 b16 b20 b21 + 768 b15 b16 b20 b21 - 1216 b17 b20 b21 + 832 b16 b17 b20 b21 - 1344 b18 b20 b21 + 896 b17 b18 b20 b21 - 928 b19 b20 b21 + 9.6e2 b18 b19 b20 b21 - 1e4 b22 + 128 b5 b22 + 272 b6 b22 - 32 b5 b6 b22 + 448 b7 b22 - 32 b5 b7 b22 - 96 b6 b7 b22 + 6.4e2 b8 b22 - 32 b5 b8 b22 - 64 b6 b8 b22 - 1.6e2 b7 b8 b22 + 864 b9 b22 - 32 b5 b9 b22 - 64 b6 b9 b22 - 128 b7 b9 b22 - 224 b8 b9 b22 + 1104 b10 b22 - 32 b5 b10 b22 - 64 b6 b10 b22 - 96 b7 b10 b22 - 192 b8 b10 b22 - 288 b9 b10 b22 + 1376 b11 b22 - 32 b5 b11 b22 - 64 b6 b11 b22 - 96 b7 b11 b22 - 1.6e2 b8 b11 b22 - 256 b9 b11 b22 - 352 b10 b11 b22 + 1664 b12 b22 - 32 b5 b12 b22 - 64 b6 b12 b22 - 96 b7 b12 b22 - 128 b8 b12 b22 - 224 b9 b12 b22 - 3.2e2 b10 b12 b22 - 416 b11 b12 b22 + 1984 b13 b22 - 32 b5 b13 b22 - 64 b6 b13 b22 - 96 b7 b13 b22 - 128 b8 b13 b22 - 192 b9 b13 b22 - 288 b10 b13 b22 - 384 b11 b13 b22 - 4.8e2 b12 b13 b22 + 2256 b14 b22 - 32 b5 b14 b22 - 96 b7 b14 b22 - 128 b8 b14 b22 - 1.6e2 b9 b14 b22 - 256 b10 b14 b22 - 352 b11 b14 b22 - 448 b12 b14 b22 - 576 b13 b14 b22 + 64 b5 b13 b14 b22 + 2.56e3 b15 b22 - 32 b5 b15 b22 - 64 b6 b15 b22 - 96 b7 b15 b22 - 1.6e2 b9 b15 b22 - 224 b10 b15 b22 - 3.2e2 b11 b15 b22 - 448 b12 b15 b22 + 64 b5 b12 b15 b22 - 576 b13 b15 b22 + 128 b6 b13 b15 b22 - 704 b14 b15 b22 + 192 b7 b14 b15 b22 + 2.88e3 b16 b22 - 32 b5 b16 b22 - 64 b6 b16 b22 - 96 b7 b16 b22 - 128 b8 b16 b22 - 1.6e2 b9 b16 b22 - 3.2e2 b11 b16 b22 + 64 b5 b11 b16 b22 - 448 b12 b16 b22 + 128 b6 b12 b16 b22 - 576 b13 b16 b22 + 192 b7 b13 b16 b22 - 704 b14 b16 b22 + 256 b8 b14 b16 b22 - 832 b15 b16 b22 + 3.2e2 b9 b15 b16 b22 + 3232 b17 b22 - 32 b5 b17 b22 - 64 b6 b17 b22 - 96 b7 b17 b22 - 128 b8 b17 b22 - 1.6e2 b9 b17 b22 - 224 b10 b17 b22 + 64 b5 b10 b17 b22 - 3.2e2 b11 b17 b22 + 128 b6 b11 b17 b22 - 192 b12 b17 b22 + 192 b7 b12 b17 b22 - 576 b13 b17 b22 + 256 b8 b13 b17 b22 - 704 b14 b17 b22 + 3.2e2 b9 b14 b17 b22 - 832 b15 b17 b22 + 384 b10 b15 b17 b22 - 9.6e2 b16 b17 b22 + 448 b11 b16 b17 b22 + 3.6e3 b18 b22 - 32 b5 b18 b22 - 64 b6 b18 b22 - 96 b7 b18 b22 - 128 b8 b18 b22 - 192 b9 b18 b22 + 64 b5 b9 b18 b22 - 256 b10 b18 b22 + 128 b6 b10 b18 b22 - 3.2e2 b11 b18 b22 + 192 b7 b11 b18 b22 - 448 b12 b18 b22 + 256 b8 b12 b18 b22 - 576 b13 b18 b22 + 3.2e2 b9 b13 b18 b22 - 384 b14 b18 b22 + 384 b10 b14 b18 b22 - 832 b15 b18 b22 + 448 b11 b15 b18 b22 - 9.6e2 b16 b18 b22 + 512 b12 b16 b18 b22 - 1088 b17 b18 b22 + 576 b13 b17 b18 b22 + 3776 b19 b22 - 32 b5 b19 b22 - 64 b6 b19 b22 - 96 b7 b19 b22 - 1.6e2 b8 b19 b22 + 64 b5 b8 b19 b22 - 224 b9 b19 b22 + 128 b6 b9 b19 b22 - 288 b10 b19 b22 + 192 b7 b10 b19 b22 - 352 b11 b19 b22 + 256 b8 b11 b19 b22 - 448 b12 b19 b22 + 3.2e2 b9 b12 b19 b22 - 576 b13 b19 b22 + 384 b10 b13 b19 b22 - 704 b14 b19 b22 + 448 b11 b14 b19 b22 - 832 b15 b19 b22 + 512 b12 b15 b19 b22 - 576 b16 b19 b22 + 576 b13 b16 b19 b22 - 1088 b17 b19 b22 + 6.4e2 b14 b17 b19 b22 - 1216 b18 b19 b22 + 704 b15 b18 b19 b22 + 3936 b20 b22 - 32 b5 b20 b22 - 64 b6 b20 b22 - 128 b7 b20 b22 + 64 b5 b7 b20 b22 - 192 b8 b20 b22 + 128 b6 b8 b20 b22 - 256 b9 b20 b22 + 192 b7 b9 b20 b22 - 3.2e2 b10 b20 b22 + 256 b8 b10 b20 b22 - 384 b11 b20 b22 + 3.2e2 b9 b11 b20 b22 - 448 b12 b20 b22 + 384 b10 b12 b20 b22 - 576 b13 b20 b22 + 448 b11 b13 b20 b22 - 704 b14 b20 b22 + 512 b12 b14 b20 b22 - 832 b15 b20 b22 + 576 b13 b15 b20 b22 - 9.6e2 b16 b20 b22 + 6.4e2 b14 b16 b20 b22 - 1088 b17 b20 b22 + 704 b15 b17 b20 b22 - 768 b18 b20 b22 + 768 b16 b18 b20 b22 - 1.28e3 b19 b20 b22 + 832 b17 b19 b20 b22 + 4128 b21 b22 - 32 b5 b21 b22 - 96 b6 b21 b22 + 64 b5 b6 b21 b22 - 1.6e2 b7 b21 b22 + 128 b6 b7 b21 b22 - 224 b8 b21 b22 + 192 b7 b8 b21 b22 - 288 b9 b21 b22 + 256 b8 b9 b21 b22 - 352 b10 b21 b22 + 3.2e2 b9 b10 b21 b22 - 416 b11 b21 b22 + 384 b10 b11 b21 b22 - 4.8e2 b12 b21 b22 + 448 b11 b12 b21 b22 - 576 b13 b21 b22 + 512 b12 b13 b21 b22 - 704 b14 b21 b22 + 576 b13 b14 b21 b22 - 832 b15 b21 b22 + 6.4e2 b14 b15 b21 b22 - 9.6e2 b16 b21 b22 + 704 b15 b16 b21 b22 - 1088 b17 b21 b22 + 768 b16 b17 b21 b22 - 1216 b18 b21 b22 + 832 b17 b18 b21 b22 - 1.28e3 b19 b21 b22 + 896 b18 b19 b21 b22 - 864 b20 b21 b22 + 896 b19 b20 b21 b22 - 9.28e3 b23 + 128 b6 b23 + 272 b7 b23 - 32 b6 b7 b23 + 448 b8 b23 - 32 b6 b8 b23 - 96 b7 b8 b23 + 6.4e2 b9 b23 - 32 b6 b9 b23 - 64 b7 b9 b23 - 1.6e2 b8 b9 b23 + 864 b10 b23 - 32 b6 b10 b23 - 64 b7 b10 b23 - 128 b8 b10 b23 - 224 b9 b10 b23 + 1104 b11 b23 - 32 b6 b11 b23 - 64 b7 b11 b23 - 96 b8 b11 b23 - 192 b9 b11 b23 - 288 b10 b11 b23 + 1376 b12 b23 - 32 b6 b12 b23 - 64 b7 b12 b23 - 96 b8 b12 b23 - 1.6e2 b9 b12 b23 - 256 b10 b12 b23 - 352 b11 b12 b23 + 1664 b13 b23 - 32 b6 b13 b23 - 64 b7 b13 b23 - 96 b8 b13 b23 - 128 b9 b13 b23 - 224 b10 b13 b23 - 3.2e2 b11 b13 b23 - 416 b12 b13 b23 + 1984 b14 b23 - 32 b6 b14 b23 - 64 b7 b14 b23 - 96 b8 b14 b23 - 128 b9 b14 b23 - 192 b10 b14 b23 - 288 b11 b14 b23 - 384 b12 b14 b23 - 4.8e2 b13 b14 b23 + 2256 b15 b23 - 32 b6 b15 b23 - 96 b8 b15 b23 - 128 b9 b15 b23 - 1.6e2 b10 b15 b23 - 256 b11 b15 b23 - 352 b12 b15 b23 - 448 b13 b15 b23 - 576 b14 b15 b23 + 64 b6 b14 b15 b23 + 2.56e3 b16 b23 - 32 b6 b16 b23 - 64 b7 b16 b23 - 96 b8 b16 b23 - 1.6e2 b10 b16 b23 - 224 b11 b16 b23 - 3.2e2 b12 b16 b23 - 448 b13 b16 b23 + 64 b6 b13 b16 b23 - 576 b14 b16 b23 + 128 b7 b14 b16 b23 - 704 b15 b16 b23 + 192 b8 b15 b16 b23 + 2.88e3 b17 b23 - 32 b6 b17 b23 - 64 b7 b17 b23 - 96 b8 b17 b23 - 128 b9 b17 b23 - 1.6e2 b10 b17 b23 - 3.2e2 b12 b17 b23 + 64 b6 b12 b17 b23 - 448 b13 b17 b23 + 128 b7 b13 b17 b23 - 576 b14 b17 b23 + 192 b8 b14 b17 b23 - 704 b15 b17 b23 + 256 b9 b15 b17 b23 - 832 b16 b17 b23 + 3.2e2 b10 b16 b17 b23 + 3232 b18 b23 - 32 b6 b18 b23 - 64 b7 b18 b23 - 96 b8 b18 b23 - 128 b9 b18 b23 - 1.6e2 b10 b18 b23 - 224 b11 b18 b23 + 64 b6 b11 b18 b23 - 3.2e2 b12 b18 b23 + 128 b7 b12 b18 b23 - 192 b13 b18 b23 + 192 b8 b13 b18 b23 - 576 b14 b18 b23 + 256 b9 b14 b18 b23 - 704 b15 b18 b23 + 3.2e2 b10 b15 b18 b23 - 832 b16 b18 b23 + 384 b11 b16 b18 b23 - 9.6e2 b17 b18 b23 + 448 b12 b17 b18 b23 + 3384 b19 b23 - 32 b6 b19 b23 - 64 b7 b19 b23 - 96 b8 b19 b23 - 128 b9 b19 b23 - 192 b10 b19 b23 + 64 b6 b10 b19 b23 - 256 b11 b19 b23 + 128 b7 b11 b19 b23 - 3.2e2 b12 b19 b23 + 192 b8 b12 b19 b23 - 448 b13 b19 b23 + 256 b9 b13 b19 b23 - 576 b14 b19 b23 + 3.2e2 b10 b14 b19 b23 - 384 b15 b19 b23 + 384 b11 b15 b19 b23 - 832 b16 b19 b23 + 448 b12 b16 b19 b23 - 9.6e2 b17 b19 b23 + 512 b13 b17 b19 b23 - 1088 b18 b19 b23 + 576 b14 b18 b19 b23 + 3536 b20 b23 - 32 b6 b20 b23 - 64 b7 b20 b23 - 96 b8 b20 b23 - 1.6e2 b9 b20 b23 + 64 b6 b9 b20 b23 - 224 b10 b20 b23 + 128 b7 b10 b20 b23 - 288 b11 b20 b23 + 192 b8 b11 b20 b23 - 352 b12 b20 b23 + 256 b9 b12 b20 b23 - 448 b13 b20 b23 + 3.2e2 b10 b13 b20 b23 - 576 b14 b20 b23 + 384 b11 b14 b20 b23 - 704 b15 b20 b23 + 448 b12 b15 b20 b23 - 832 b16 b20 b23 + 512 b13 b16 b20 b23 - 576 b17 b20 b23 + 576 b14 b17 b20 b23 - 1088 b18 b20 b23 + 6.4e2 b15 b18 b20 b23 - 1152 b19 b20 b23 + 704 b16 b19 b20 b23 + 3688 b21 b23 - 32 b6 b21 b23 - 64 b7 b21 b23 - 128 b8 b21 b23 + 64 b6 b8 b21 b23 - 192 b9 b21 b23 + 128 b7 b9 b21 b23 - 256 b10 b21 b23 + 192 b8 b10 b21 b23 - 3.2e2 b11 b21 b23 + 256 b9 b11 b21 b23 - 384 b12 b21 b23 + 3.2e2 b10 b12 b21 b23 - 448 b13 b21 b23 + 384 b11 b13 b21 b23 - 576 b14 b21 b23 + 448 b12 b14 b21 b23 - 704 b15 b21 b23 + 512 b13 b15 b21 b23 - 832 b16 b21 b23 + 576 b14 b16 b21 b23 - 9.6e2 b17 b21 b23 + 6.4e2 b15 b17 b21 b23 - 1088 b18 b21 b23 + 704 b16 b18 b21 b23 - 736 b19 b21 b23 + 768 b17 b19 b21 b23 - 1216 b20 b21 b23 + 832 b18 b20 b21 b23 + 3856 b22 b23 - 32 b6 b22 b23 - 96 b7 b22 b23 + 64 b6 b7 b22 b23 - 1.6e2 b8 b22 b23 + 128 b7 b8 b22 b23 - 224 b9 b22 b23 + 192 b8 b9 b22 b23 - 288 b10 b22 b23 + 256 b9 b10 b22 b23 - 352 b11 b22 b23 + 3.2e2 b10 b11 b22 b23 - 416 b12 b22 b23 + 384 b11 b12 b22 b23 - 4.8e2 b13 b22 b23 + 448 b12 b13 b22 b23 - 576 b14 b22 b23 + 512 b13 b14 b22 b23 - 704 b15 b22 b23 + 576 b14 b15 b22 b23 - 832 b16 b22 b23 + 6.4e2 b15 b16 b22 b23 - 9.6e2 b17 b22 b23 + 704 b16 b17 b22 b23 - 1088 b18 b22 b23 + 768 b17 b18 b22 b23 - 1152 b19 b22 b23 + 832 b18 b19 b22 b23 - 1184 b20 b22 b23 + 832 b19 b20 b22 b23 - 800 b21 b22 b23 + 832 b20 b21 b22 b23 - 8536 b24 + 128 b7 b24 + 272 b8 b24 - 32 b7 b8 b24 + 448 b9 b24 - 32 b7 b9 b24 - 96 b8 b9 b24 + 6.4e2 b10 b24 - 32 b7 b10 b24 - 64 b8 b10 b24 - 1.6e2 b9 b10 b24 + 864 b11 b24 - 32 b7 b11 b24 - 64 b8 b11 b24 - 128 b9 b11 b24 - 224 b10 b11 b24 + 1104 b12 b24 - 32 b7 b12 b24 - 64 b8 b12 b24 - 96 b9 b12 b24 - 192 b10 b12 b24 - 288 b11 b12 b24 + 1376 b13 b24 - 32 b7 b13 b24 - 64 b8 b13 b24 - 96 b9 b13 b24 - 1.6e2 b10 b13 b24 - 256 b11 b13 b24 - 352 b12 b13 b24 + 1664 b14 b24 - 32 b7 b14 b24 - 64 b8 b14 b24 - 96 b9 b14 b24 - 128 b10 b14 b24 - 224 b11 b14 b24 - 3.2e2 b12 b14 b24 - 416 b13 b14 b24 + 1984 b15 b24 - 32 b7 b15 b24 - 64 b8 b15 b24 - 96 b9 b15 b24 - 128 b10 b15 b24 - 192 b11 b15 b24 - 288 b12 b15 b24 - 384 b13 b15 b24 - 4.8e2 b14 b15 b24 + 2256 b16 b24 - 32 b7 b16 b24 - 96 b9 b16 b24 - 128 b10 b16 b24 - 1.6e2 b11 b16 b24 - 256 b12 b16 b24 - 352 b13 b16 b24 - 448 b14 b16 b24 - 576 b15 b16 b24 + 64 b7 b15 b16 b24 + 2.56e3 b17 b24 - 32 b7 b17 b24 - 64 b8 b17 b24 - 96 b9 b17 b24 - 1.6e2 b11 b17 b24 - 224 b12 b17 b24 - 3.2e2 b13 b17 b24 - 448 b14 b17 b24 + 64 b7 b14 b17 b24 - 576 b15 b17 b24 + 128 b8 b15 b17 b24 - 704 b16 b17 b24 + 192 b9 b16 b17 b24 + 2.88e3 b18 b24 - 32 b7 b18 b24 - 64 b8 b18 b24 - 96 b9 b18 b24 - 128 b10 b18 b24 - 1.6e2 b11 b18 b24 - 3.2e2 b13 b18 b24 + 64 b7 b13 b18 b24 - 448 b14 b18 b24 + 128 b8 b14 b18 b24 - 576 b15 b18 b24 + 192 b9 b15 b18 b24 - 704 b16 b18 b24 + 256 b10 b16 b18 b24 - 832 b17 b18 b24 + 3.2e2 b11 b17 b18 b24 + 3024 b19 b24 - 32 b7 b19 b24 - 64 b8 b19 b24 - 96 b9 b19 b24 - 128 b10 b19 b24 - 1.6e2 b11 b19 b24 - 224 b12 b19 b24 + 64 b7 b12 b19 b24 - 3.2e2 b13 b19 b24 + 128 b8 b13 b19 b24 - 192 b14 b19 b24 + 192 b9 b14 b19 b24 - 576 b15 b19 b24 + 256 b10 b15 b19 b24 - 704 b16 b19 b24 + 3.2e2 b11 b16 b19 b24 - 832 b17 b19 b24 + 384 b12 b17 b19 b24 - 9.6e2 b18 b19 b24 + 448 b13 b18 b19 b24 + 3152 b20 b24 - 32 b7 b20 b24 - 64 b8 b20 b24 - 96 b9 b20 b24 - 128 b10 b20 b24 - 192 b11 b20 b24 + 64 b7 b11 b20 b24 - 256 b12 b20 b24 + 128 b8 b12 b20 b24 - 3.2e2 b13 b20 b24 + 192 b9 b13 b20 b24 - 448 b14 b20 b24 + 256 b10 b14 b20 b24 - 576 b15 b20 b24 + 3.2e2 b11 b15 b20 b24 - 384 b16 b20 b24 + 384 b12 b16 b20 b24 - 832 b17 b20 b24 + 448 b13 b17 b20 b24 - 9.6e2 b18 b20 b24 + 512 b14 b18 b20 b24 - 1024 b19 b20 b24 + 576 b15 b19 b20 b24 + 3.28e3 b21 b24 - 32 b7 b21 b24 - 64 b8 b21 b24 - 96 b9 b21 b24 - 1.6e2 b10 b21 b24 + 64 b7 b10 b21 b24 - 224 b11 b21 b24 + 128 b8 b11 b21 b24 - 288 b12 b21 b24 + 192 b9 b12 b21 b24 - 352 b13 b21 b24 + 256 b10 b13 b21 b24 - 448 b14 b21 b24 + 3.2e2 b11 b14 b21 b24 - 576 b15 b21 b24 + 384 b12 b15 b21 b24 - 704 b16 b21 b24 + 448 b13 b16 b21 b24 - 832 b17 b21 b24 + 512 b14 b17 b21 b24 - 576 b18 b21 b24 + 576 b15 b18 b21 b24 - 1024 b19 b21 b24 + 6.4e2 b16 b19 b21 b24 - 1088 b20 b21 b24 + 704 b17 b20 b21 b24 + 3424 b22 b24 - 32 b7 b22 b24 - 64 b8 b22 b24 - 128 b9 b22 b24 + 64 b7 b9 b22 b24 - 192 b10 b22 b24 + 128 b8 b10 b22 b24 - 256 b11 b22 b24 + 192 b9 b11 b22 b24 - 3.2e2 b12 b22 b24 + 256 b10 b12 b22 b24 - 384 b13 b22 b24 + 3.2e2 b11 b13 b22 b24 - 448 b14 b22 b24 + 384 b12 b14 b22 b24 - 576 b15 b22 b24 + 448 b13 b15 b22 b24 - 704 b16 b22 b24 + 512 b14 b16 b22 b24 - 832 b17 b22 b24 + 576 b15 b17 b22 b24 - 9.6e2 b18 b22 b24 + 6.4e2 b16 b18 b22 b24 - 1024 b19 b22 b24 + 704 b17 b19 b22 b24 - 704 b20 b22 b24 + 768 b18 b20 b22 b24 - 1.12e3 b21 b22 b24 + 768 b19 b21 b22 b24 + 3568 b23 b24 - 32 b7 b23 b24 - 96 b8 b23 b24 + 64 b7 b8 b23 b24 - 1.6e2 b9 b23 b24 + 128 b8 b9 b23 b24 - 224 b10 b23 b24 + 192 b9 b10 b23 b24 - 288 b11 b23 b24 + 256 b10 b11 b23 b24 - 352 b12 b23 b24 + 3.2e2 b11 b12 b23 b24 - 416 b13 b23 b24 + 384 b12 b13 b23 b24 - 4.8e2 b14 b23 b24 + 448 b13 b14 b23 b24 - 576 b15 b23 b24 + 512 b14 b15 b23 b24 - 704 b16 b23 b24 + 576 b15 b16 b23 b24 - 832 b17 b23 b24 + 6.4e2 b16 b17 b23 b24 - 9.6e2 b18 b23 b24 + 704 b17 b18 b23 b24 - 1024 b19 b23 b24 + 768 b18 b19 b23 b24 - 1056 b20 b23 b24 + 768 b19 b20 b23 b24 - 1088 b21 b23 b24 + 768 b20 b21 b23 b24 - 736 b22 b23 b24 + 768 b21 b22 b23 b24 - 7776 b25 + 128 b8 b25 + 272 b9 b25 - 32 b8 b9 b25 + 448 b10 b25 - 32 b8 b10 b25 - 96 b9 b10 b25 + 6.4e2 b11 b25 - 32 b8 b11 b25 - 64 b9 b11 b25 - 1.6e2 b10 b11 b25 + 864 b12 b25 - 32 b8 b12 b25 - 64 b9 b12 b25 - 128 b10 b12 b25 - 224 b11 b12 b25 + 1104 b13 b25 - 32 b8 b13 b25 - 64 b9 b13 b25 - 96 b10 b13 b25 - 192 b11 b13 b25 - 288 b12 b13 b25 + 1376 b14 b25 - 32 b8 b14 b25 - 64 b9 b14 b25 - 96 b10 b14 b25 - 1.6e2 b11 b14 b25 - 256 b12 b14 b25 - 352 b13 b14 b25 + 1664 b15 b25 - 32 b8 b15 b25 - 64 b9 b15 b25 - 96 b10 b15 b25 - 128 b11 b15 b25 - 224 b12 b15 b25 - 3.2e2 b13 b15 b25 - 416 b14 b15 b25 + 1984 b16 b25 - 32 b8 b16 b25 - 64 b9 b16 b25 - 96 b10 b16 b25 - 128 b11 b16 b25 - 192 b12 b16 b25 - 288 b13 b16 b25 - 384 b14 b16 b25 - 4.8e2 b15 b16 b25 + 2256 b17 b25 - 32 b8 b17 b25 - 96 b10 b17 b25 - 128 b11 b17 b25 - 1.6e2 b12 b17 b25 - 256 b13 b17 b25 - 352 b14 b17 b25 - 448 b15 b17 b25 - 576 b16 b17 b25 + 64 b8 b16 b17 b25 + 2.56e3 b18 b25 - 32 b8 b18 b25 - 64 b9 b18 b25 - 96 b10 b18 b25 - 1.6e2 b12 b18 b25 - 224 b13 b18 b25 - 3.2e2 b14 b18 b25 - 448 b15 b18 b25 + 64 b8 b15 b18 b25 - 576 b16 b18 b25 + 128 b9 b16 b18 b25 - 704 b17 b18 b25 + 192 b10 b17 b18 b25 + 2.68e3 b19 b25 - 32 b8 b19 b25 - 64 b9 b19 b25 - 96 b10 b19 b25 - 128 b11 b19 b25 - 1.6e2 b12 b19 b25 - 3.2e2 b14 b19 b25 + 64 b8 b14 b19 b25 - 448 b15 b19 b25 + 128 b9 b15 b19 b25 - 576 b16 b19 b25 + 192 b10 b16 b19 b25 - 704 b17 b19 b25 + 256 b11 b17 b19 b25 - 832 b18 b19 b25 + 3.2e2 b12 b18 b19 b25 + 2.8e3 b20 b25 - 32 b8 b20 b25 - 64 b9 b20 b25 - 96 b10 b20 b25 - 128 b11 b20 b25 - 1.6e2 b12 b20 b25 - 224 b13 b20 b25 + 64 b8 b13 b20 b25 - 3.2e2 b14 b20 b25 + 128 b9 b14 b20 b25 - 192 b15 b20 b25 + 192 b10 b15 b20 b25 - 576 b16 b20 b25 + 256 b11 b16 b20 b25 - 704 b17 b20 b25 + 3.2e2 b12 b17 b20 b25 - 832 b18 b20 b25 + 384 b13 b18 b20 b25 - 896 b19 b20 b25 + 448 b14 b19 b20 b25 + 2904 b21 b25 - 32 b8 b21 b25 - 64 b9 b21 b25 - 96 b10 b21 b25 - 128 b11 b21 b25 - 192 b12 b21 b25 + 64 b8 b12 b21 b25 - 256 b13 b21 b25 + 128 b9 b13 b21 b25 - 3.2e2 b14 b21 b25 + 192 b10 b14 b21 b25 - 448 b15 b21 b25 + 256 b11 b15 b21 b25 - 576 b16 b21 b25 + 3.2e2 b12 b16 b21 b25 - 384 b17 b21 b25 + 384 b13 b17 b21 b25 - 832 b18 b21 b25 + 448 b14 b18 b21 b25 - 896 b19 b21 b25 + 512 b15 b19 b21 b25 - 9.6e2 b20 b21 b25 + 576 b16 b20 b21 b25 + 3024 b22 b25 - 32 b8 b22 b25 - 64 b9 b22 b25 - 96 b10 b22 b25 - 1.6e2 b11 b22 b25 + 64 b8 b11 b22 b25 - 224 b12 b22 b25 + 128 b9 b12 b22 b25 - 288 b13 b22 b25 + 192 b10 b13 b22 b25 - 352 b14 b22 b25 + 256 b11 b14 b22 b25 - 448 b15 b22 b25 + 3.2e2 b12 b15 b22 b25 - 576 b16 b22 b25 + 384 b13 b16 b22 b25 - 704 b17 b22 b25 + 448 b14 b17 b22 b25 - 832 b18 b22 b25 + 512 b15 b18 b22 b25 - 544 b19 b22 b25 + 576 b16 b19 b22 b25 - 9.6e2 b20 b22 b25 + 6.4e2 b17 b20 b22 b25 - 1024 b21 b22 b25 + 704 b18 b21 b22 b25 + 3144 b23 b25 - 32 b8 b23 b25 - 64 b9 b23 b25 - 128 b10 b23 b25 + 64 b8 b10 b23 b25 - 192 b11 b23 b25 + 128 b9 b11 b23 b25 - 256 b12 b23 b25 + 192 b10 b12 b23 b25 - 3.2e2 b13 b23 b25 + 256 b11 b13 b23 b25 - 384 b14 b23 b25 + 3.2e2 b12 b14 b23 b25 - 448 b15 b23 b25 + 384 b13 b15 b23 b25 - 576 b16 b23 b25 + 448 b14 b16 b23 b25 - 704 b17 b23 b25 + 512 b15 b17 b23 b25 - 832 b18 b23 b25 + 576 b16 b18 b23 b25 - 896 b19 b23 b25 + 6.4e2 b17 b19 b23 b25 - 9.6e2 b20 b23 b25 + 704 b18 b20 b23 b25 - 6.4e2 b21 b23 b25 + 704 b19 b21 b23 b25 - 1024 b22 b23 b25 + 704 b20 b22 b23 b25 + 3264 b24 b25 - 32 b8 b24 b25 - 96 b9 b24 b25 + 64 b8 b9 b24 b25 - 1.6e2 b10 b24 b25 + 128 b9 b10 b24 b25 - 224 b11 b24 b25 + 192 b10 b11 b24 b25 - 288 b12 b24 b25 + 256 b11 b12 b24 b25 - 352 b13 b24 b25 + 3.2e2 b12 b13 b24 b25 - 416 b14 b24 b25 + 384 b13 b14 b24 b25 - 4.8e2 b15 b24 b25 + 448 b14 b15 b24 b25 - 576 b16 b24 b25 + 512 b15 b16 b24 b25 - 704 b17 b24 b25 + 576 b16 b17 b24 b25 - 832 b18 b24 b25 + 6.4e2 b17 b18 b24 b25 - 896 b19 b24 b25 + 704 b18 b19 b24 b25 - 928 b20 b24 b25 + 704 b19 b20 b24 b25 - 9.6e2 b21 b24 b25 + 704 b20 b21 b24 b25 - 992 b22 b24 b25 + 704 b21 b22 b24 b25 - 672 b23 b24 b25 + 704 b22 b23 b24 b25 - 7008 b26 + 128 b9 b26 + 272 b10 b26 - 32 b9 b10 b26 + 448 b11 b26 - 32 b9 b11 b26 - 96 b10 b11 b26 + 6.4e2 b12 b26 - 32 b9 b12 b26 - 64 b10 b12 b26 - 1.6e2 b11 b12 b26 + 864 b13 b26 - 32 b9 b13 b26 - 64 b10 b13 b26 - 128 b11 b13 b26 - 224 b12 b13 b26 + 1104 b14 b26 - 32 b9 b14 b26 - 64 b10 b14 b26 - 96 b11 b14 b26 - 192 b12 b14 b26 - 288 b13 b14 b26 + 1376 b15 b26 - 32 b9 b15 b26 - 64 b10 b15 b26 - 96 b11 b15 b26 - 1.6e2 b12 b15 b26 - 256 b13 b15 b26 - 352 b14 b15 b26 + 1664 b16 b26 - 32 b9 b16 b26 - 64 b10 b16 b26 - 96 b11 b16 b26 - 128 b12 b16 b26 - 224 b13 b16 b26 - 3.2e2 b14 b16 b26 - 416 b15 b16 b26 + 1984 b17 b26 - 32 b9 b17 b26 - 64 b10 b17 b26 - 96 b11 b17 b26 - 128 b12 b17 b26 - 192 b13 b17 b26 - 288 b14 b17 b26 - 384 b15 b17 b26 - 4.8e2 b16 b17 b26 + 2256 b18 b26 - 32 b9 b18 b26 - 96 b11 b18 b26 - 128 b12 b18 b26 - 1.6e2 b13 b18 b26 - 256 b14 b18 b26 - 352 b15 b18 b26 - 448 b16 b18 b26 - 576 b17 b18 b26 + 64 b9 b17 b18 b26 + 2368 b19 b26 - 32 b9 b19 b26 - 64 b10 b19 b26 - 96 b11 b19 b26 - 1.6e2 b13 b19 b26 - 224 b14 b19 b26 - 3.2e2 b15 b19 b26 - 448 b16 b19 b26 + 64 b9 b16 b19 b26 - 576 b17 b19 b26 + 128 b10 b17 b19 b26 - 704 b18 b19 b26 + 192 b11 b18 b19 b26 + 2464 b20 b26 - 32 b9 b20 b26 - 64 b10 b20 b26 - 96 b11 b20 b26 - 128 b12 b20 b26 - 1.6e2 b13 b20 b26 - 3.2e2 b15 b20 b26 + 64 b9 b15 b20 b26 - 448 b16 b20 b26 + 128 b10 b16 b20 b26 - 576 b17 b20 b26 + 192 b11 b17 b20 b26 - 704 b18 b20 b26 + 256 b12 b18 b20 b26 - 768 b19 b20 b26 + 3.2e2 b13 b19 b20 b26 + 2.56e3 b21 b26 - 32 b9 b21 b26 - 64 b10 b21 b26 - 96 b11 b21 b26 - 128 b12 b21 b26 - 1.6e2 b13 b21 b26 - 224 b14 b21 b26 + 64 b9 b14 b21 b26 - 3.2e2 b15 b21 b26 + 128 b10 b15 b21 b26 - 192 b16 b21 b26 + 192 b11 b16 b21 b26 - 576 b17 b21 b26 + 256 b12 b17 b21 b26 - 704 b18 b21 b26 + 3.2e2 b13 b18 b21 b26 - 768 b19 b21 b26 + 384 b14 b19 b21 b26 - 832 b20 b21 b26 + 448 b15 b20 b21 b26 + 2.64e3 b22 b26 - 32 b9 b22 b26 - 64 b10 b22 b26 - 96 b11 b22 b26 - 128 b12 b22 b26 - 192 b13 b22 b26 + 64 b9 b13 b22 b26 - 256 b14 b22 b26 + 128 b10 b14 b22 b26 - 3.2e2 b15 b22 b26 + 192 b11 b15 b22 b26 - 448 b16 b22 b26 + 256 b12 b16 b22 b26 - 576 b17 b22 b26 + 3.2e2 b13 b17 b22 b26 - 384 b18 b22 b26 + 384 b14 b18 b22 b26 - 768 b19 b22 b26 + 448 b15 b19 b22 b26 - 832 b20 b22 b26 + 512 b16 b20 b22 b26 - 896 b21 b22 b26 + 576 b17 b21 b22 b26 + 2752 b23 b26 - 32 b9 b23 b26 - 64 b10 b23 b26 - 96 b11 b23 b26 - 1.6e2 b12 b23 b26 + 64 b9 b12 b23 b26 - 224 b13 b23 b26 + 128 b10 b13 b23 b26 - 288 b14 b23 b26 + 192 b11 b14 b23 b26 - 352 b15 b23 b26 + 256 b12 b15 b23 b26 - 448 b16 b23 b26 + 3.2e2 b13 b16 b23 b26 - 576 b17 b23 b26 + 384 b14 b17 b23 b26 - 704 b18 b23 b26 + 448 b15 b18 b23 b26 - 768 b19 b23 b26 + 512 b16 b19 b23 b26 - 512 b20 b23 b26 + 576 b17 b20 b23 b26 - 896 b21 b23 b26 + 6.4e2 b18 b21 b23 b26 - 928 b22 b23 b26 + 6.4e2 b19 b22 b23 b26 + 2848 b24 b26 - 32 b9 b24 b26 - 64 b10 b24 b26 - 128 b11 b24 b26 + 64 b9 b11 b24 b26 - 192 b12 b24 b26 + 128 b10 b12 b24 b26 - 256 b13 b24 b26 + 192 b11 b13 b24 b26 - 3.2e2 b14 b24 b26 + 256 b12 b14 b24 b26 - 384 b15 b24 b26 + 3.2e2 b13 b15 b24 b26 - 448 b16 b24 b26 + 384 b14 b16 b24 b26 - 576 b17 b24 b26 + 448 b15 b17 b24 b26 - 704 b18 b24 b26 + 512 b16 b18 b24 b26 - 768 b19 b24 b26 + 576 b17 b19 b24 b26 - 832 b20 b24 b26 + 6.4e2 b18 b20 b24 b26 - 864 b21 b24 b26 + 6.4e2 b19 b21 b24 b26 - 576 b22 b24 b26 + 6.4e2 b20 b22 b24 b26 - 928 b23 b24 b26 + 6.4e2 b21 b23 b24 b26 + 2944 b25 b26 - 32 b9 b25 b26 - 96 b10 b25 b26 + 64 b9 b10 b25 b26 - 1.6e2 b11 b25 b26 + 128 b10 b11 b25 b26 - 224 b12 b25 b26 + 192 b11 b12 b25 b26 - 288 b13 b25 b26 + 256 b12 b13 b25 b26 - 352 b14 b25 b26 + 3.2e2 b13 b14 b25 b26 - 416 b15 b25 b26 + 384 b14 b15 b25 b26 - 4.8e2 b16 b25 b26 + 448 b15 b16 b25 b26 - 576 b17 b25 b26 + 512 b16 b17 b25 b26 - 704 b18 b25 b26 + 576 b17 b18 b25 b26 - 768 b19 b25 b26 + 6.4e2 b18 b19 b25 b26 - 800 b20 b25 b26 + 6.4e2 b19 b20 b25 b26 - 832 b21 b25 b26 + 6.4e2 b20 b21 b25 b26 - 864 b22 b25 b26 + 6.4e2 b21 b22 b25 b26 - 896 b23 b25 b26 + 6.4e2 b22 b23 b25 b26 - 608 b24 b25 b26 + 6.4e2 b23 b24 b25 b26 - 6.24e3 b27 + 128 b10 b27 + 272 b11 b27 - 32 b10 b11 b27 + 448 b12 b27 - 32 b10 b12 b27 - 96 b11 b12 b27 + 6.4e2 b13 b27 - 32 b10 b13 b27 - 64 b11 b13 b27 - 1.6e2 b12 b13 b27 + 864 b14 b27 - 32 b10 b14 b27 - 64 b11 b14 b27 - 128 b12 b14 b27 - 224 b13 b14 b27 + 1104 b15 b27 - 32 b10 b15 b27 - 64 b11 b15 b27 - 96 b12 b15 b27 - 192 b13 b15 b27 - 288 b14 b15 b27 + 1376 b16 b27 - 32 b10 b16 b27 - 64 b11 b16 b27 - 96 b12 b16 b27 - 1.6e2 b13 b16 b27 - 256 b14 b16 b27 - 352 b15 b16 b27 + 1664 b17 b27 - 32 b10 b17 b27 - 64 b11 b17 b27 - 96 b12 b17 b27 - 128 b13 b17 b27 - 224 b14 b17 b27 - 3.2e2 b15 b17 b27 - 416 b16 b17 b27 + 1984 b18 b27 - 32 b10 b18 b27 - 64 b11 b18 b27 - 96 b12 b18 b27 - 128 b13 b18 b27 - 192 b14 b18 b27 - 288 b15 b18 b27 - 384 b16 b18 b27 - 4.8e2 b17 b18 b27 + 2072 b19 b27 - 32 b10 b19 b27 - 96 b12 b19 b27 - 128 b13 b19 b27 - 1.6e2 b14 b19 b27 - 256 b15 b19 b27 - 352 b16 b19 b27 - 448 b17 b19 b27 - 576 b18 b19 b27 + 64 b10 b18 b19 b27 + 2.16e3 b20 b27 - 32 b10 b20 b27 - 64 b11 b20 b27 - 96 b12 b20 b27 - 1.6e2 b14 b20 b27 - 224 b15 b20 b27 - 3.2e2 b16 b20 b27 - 448 b17 b20 b27 + 64 b10 b17 b20 b27 - 576 b18 b20 b27 + 128 b11 b18 b20 b27 - 6.4e2 b19 b20 b27 + 192 b12 b19 b20 b27 + 2232 b21 b27 - 32 b10 b21 b27 - 64 b11 b21 b27 - 96 b12 b21 b27 - 128 b13 b21 b27 - 1.6e2 b14 b21 b27 - 3.2e2 b16 b21 b27 + 64 b10 b16 b21 b27 - 448 b17 b21 b27 + 128 b11 b17 b21 b27 - 576 b18 b21 b27 + 192 b12 b18 b21 b27 - 6.4e2 b19 b21 b27 + 256 b13 b19 b21 b27 - 704 b20 b21 b27 + 3.2e2 b14 b20 b21 b27 + 2304 b22 b27 - 32 b10 b22 b27 - 64 b11 b22 b27 - 96 b12 b22 b27 - 128 b13 b22 b27 - 1.6e2 b14 b22 b27 - 224 b15 b22 b27 + 64 b10 b15 b22 b27 - 3.2e2 b16 b22 b27 + 128 b11 b16 b22 b27 - 192 b17 b22 b27 + 192 b12 b17 b22 b27 - 576 b18 b22 b27 + 256 b13 b18 b22 b27 - 6.4e2 b19 b22 b27 + 3.2e2 b14 b19 b22 b27 - 704 b20 b22 b27 + 384 b15 b20 b22 b27 - 768 b21 b22 b27 + 448 b16 b21 b22 b27 + 2376 b23 b27 - 32 b10 b23 b27 - 64 b11 b23 b27 - 96 b12 b23 b27 - 128 b13 b23 b27 - 192 b14 b23 b27 + 64 b10 b14 b23 b27 - 256 b15 b23 b27 + 128 b11 b15 b23 b27 - 3.2e2 b16 b23 b27 + 192 b12 b16 b23 b27 - 448 b17 b23 b27 + 256 b13 b17 b23 b27 - 576 b18 b23 b27 + 3.2e2 b14 b18 b23 b27 - 352 b19 b23 b27 + 384 b15 b19 b23 b27 - 704 b20 b23 b27 + 448 b16 b20 b23 b27 - 768 b21 b23 b27 + 512 b17 b21 b23 b27 - 832 b22 b23 b27 + 576 b18 b22 b23 b27 + 2464 b24 b27 - 32 b10 b24 b27 - 64 b11 b24 b27 - 96 b12 b24 b27 - 1.6e2 b13 b24 b27 + 64 b10 b13 b24 b27 - 224 b14 b24 b27 + 128 b11 b14 b24 b27 - 288 b15 b24 b27 + 192 b12 b15 b24 b27 - 352 b16 b24 b27 + 256 b13 b16 b24 b27 - 448 b17 b24 b27 + 3.2e2 b14 b17 b24 b27 - 576 b18 b24 b27 + 384 b15 b18 b24 b27 - 6.4e2 b19 b24 b27 + 448 b16 b19 b24 b27 - 704 b20 b24 b27 + 512 b17 b20 b24 b27 - 4.8e2 b21 b24 b27 + 576 b18 b21 b24 b27 - 800 b22 b24 b27 + 576 b19 b22 b24 b27 - 832 b23 b24 b27 + 576 b20 b23 b24 b27 + 2536 b25 b27 - 32 b10 b25 b27 - 64 b11 b25 b27 - 128 b12 b25 b27 + 64 b10 b12 b25 b27 - 192 b13 b25 b27 + 128 b11 b13 b25 b27 - 256 b14 b25 b27 + 192 b12 b14 b25 b27 - 3.2e2 b15 b25 b27 + 256 b13 b15 b25 b27 - 384 b16 b25 b27 + 3.2e2 b14 b16 b25 b27 - 448 b17 b25 b27 + 384 b15 b17 b25 b27 - 576 b18 b25 b27 + 448 b16 b18 b25 b27 - 6.4e2 b19 b25 b27 + 512 b17 b19 b25 b27 - 704 b20 b25 b27 + 576 b18 b20 b25 b27 - 736 b21 b25 b27 + 576 b19 b21 b25 b27 - 768 b22 b25 b27 + 576 b20 b22 b25 b27 - 512 b23 b25 b27 + 576 b21 b23 b25 b27 - 832 b24 b25 b27 + 576 b22 b24 b25 b27 + 2608 b26 b27 - 32 b10 b26 b27 - 96 b11 b26 b27 + 64 b10 b11 b26 b27 - 1.6e2 b12 b26 b27 + 128 b11 b12 b26 b27 - 224 b13 b26 b27 + 192 b12 b13 b26 b27 - 288 b14 b26 b27 + 256 b13 b14 b26 b27 - 352 b15 b26 b27 + 3.2e2 b14 b15 b26 b27 - 416 b16 b26 b27 + 384 b15 b16 b26 b27 - 4.8e2 b17 b26 b27 + 448 b16 b17 b26 b27 - 576 b18 b26 b27 + 512 b17 b18 b26 b27 - 6.4e2 b19 b26 b27 + 576 b18 b19 b26 b27 - 672 b20 b26 b27 + 576 b19 b20 b26 b27 - 704 b21 b26 b27 + 576 b20 b21 b26 b27 - 736 b22 b26 b27 + 576 b21 b22 b26 b27 - 768 b23 b26 b27 + 576 b22 b23 b26 b27 - 800 b24 b26 b27 + 576 b23 b24 b26 b27 - 544 b25 b26 b27 + 576 b24 b25 b26 b27 - 5472 b28 + 128 b11 b28 + 272 b12 b28 - 32 b11 b12 b28 + 448 b13 b28 - 32 b11 b13 b28 - 96 b12 b13 b28 + 6.4e2 b14 b28 - 32 b11 b14 b28 - 64 b12 b14 b28 - 1.6e2 b13 b14 b28 + 864 b15 b28 - 32 b11 b15 b28 - 64 b12 b15 b28 - 128 b13 b15 b28 - 224 b14 b15 b28 + 1104 b16 b28 - 32 b11 b16 b28 - 64 b12 b16 b28 - 96 b13 b16 b28 - 192 b14 b16 b28 - 288 b15 b16 b28 + 1376 b17 b28 - 32 b11 b17 b28 - 64 b12 b17 b28 - 96 b13 b17 b28 - 1.6e2 b14 b17 b28 - 256 b15 b17 b28 - 352 b16 b17 b28 + 1664 b18 b28 - 32 b11 b18 b28 - 64 b12 b18 b28 - 96 b13 b18 b28 - 128 b14 b18 b28 - 224 b15 b18 b28 - 3.2e2 b16 b18 b28 - 416 b17 b18 b28 + 1792 b19 b28 - 32 b11 b19 b28 - 64 b12 b19 b28 - 96 b13 b19 b28 - 128 b14 b19 b28 - 192 b15 b19 b28 - 288 b16 b19 b28 - 384 b17 b19 b28 - 4.8e2 b18 b19 b28 + 1872 b20 b28 - 32 b11 b20 b28 - 96 b13 b20 b28 - 128 b14 b20 b28 - 1.6e2 b15 b20 b28 - 256 b16 b20 b28 - 352 b17 b20 b28 - 448 b18 b20 b28 - 512 b19 b20 b28 + 64 b11 b19 b20 b28 + 1936 b21 b28 - 32 b11 b21 b28 - 64 b12 b21 b28 - 96 b13 b21 b28 - 1.6e2 b15 b21 b28 - 224 b16 b21 b28 - 3.2e2 b17 b21 b28 - 448 b18 b21 b28 + 64 b11 b18 b21 b28 - 512 b19 b21 b28 + 128 b12 b19 b21 b28 - 576 b20 b21 b28 + 192 b13 b20 b21 b28 + 1984 b22 b28 - 32 b11 b22 b28 - 64 b12 b22 b28 - 96 b13 b22 b28 - 128 b14 b22 b28 - 1.6e2 b15 b22 b28 - 3.2e2 b17 b22 b28 + 64 b11 b17 b22 b28 - 448 b18 b22 b28 + 128 b12 b18 b22 b28 - 512 b19 b22 b28 + 192 b13 b19 b22 b28 - 576 b20 b22 b28 + 256 b14 b20 b22 b28 - 6.4e2 b21 b22 b28 + 3.2e2 b15 b21 b22 b28 + 2032 b23 b28 - 32 b11 b23 b28 - 64 b12 b23 b28 - 96 b13 b23 b28 - 128 b14 b23 b28 - 1.6e2 b15 b23 b28 - 224 b16 b23 b28 + 64 b11 b16 b23 b28 - 3.2e2 b17 b23 b28 + 128 b12 b17 b23 b28 - 192 b18 b23 b28 + 192 b13 b18 b23 b28 - 512 b19 b23 b28 + 256 b14 b19 b23 b28 - 576 b20 b23 b28 + 3.2e2 b15 b20 b23 b28 - 6.4e2 b21 b23 b28 + 384 b16 b21 b23 b28 - 704 b22 b23 b28 + 448 b17 b22 b23 b28 + 2096 b24 b28 - 32 b11 b24 b28 - 64 b12 b24 b28 - 96 b13 b24 b28 - 128 b14 b24 b28 - 192 b15 b24 b28 + 64 b11 b15 b24 b28 - 256 b16 b24 b28 + 128 b12 b16 b24 b28 - 3.2e2 b17 b24 b28 + 192 b13 b17 b24 b28 - 448 b18 b24 b28 + 256 b14 b18 b24 b28 - 512 b19 b24 b28 + 3.2e2 b15 b19 b24 b28 - 3.2e2 b20 b24 b28 + 384 b16 b20 b24 b28 - 6.4e2 b21 b24 b28 + 448 b17 b21 b24 b28 - 704 b22 b24 b28 + 512 b18 b22 b24 b28 - 736 b23 b24 b28 + 512 b19 b23 b24 b28 + 2.16e3 b25 b28 - 32 b11 b25 b28 - 64 b12 b25 b28 - 96 b13 b25 b28 - 1.6e2 b14 b25 b28 + 64 b11 b14 b25 b28 - 224 b15 b25 b28 + 128 b12 b15 b25 b28 - 288 b16 b25 b28 + 192 b13 b16 b25 b28 - 352 b17 b25 b28 + 256 b14 b17 b25 b28 - 448 b18 b25 b28 + 3.2e2 b15 b18 b25 b28 - 512 b19 b25 b28 + 384 b16 b19 b25 b28 - 576 b20 b25 b28 + 448 b17 b20 b25 b28 - 6.4e2 b21 b25 b28 + 512 b18 b21 b25 b28 - 416 b22 b25 b28 + 512 b19 b22 b25 b28 - 704 b23 b25 b28 + 512 b20 b23 b25 b28 - 736 b24 b25 b28 + 512 b21 b24 b25 b28 + 2208 b26 b28 - 32 b11 b26 b28 - 64 b12 b26 b28 - 128 b13 b26 b28 + 64 b11 b13 b26 b28 - 192 b14 b26 b28 + 128 b12 b14 b26 b28 - 256 b15 b26 b28 + 192 b13 b15 b26 b28 - 3.2e2 b16 b26 b28 + 256 b14 b16 b26 b28 - 384 b17 b26 b28 + 3.2e2 b15 b17 b26 b28 - 448 b18 b26 b28 + 384 b16 b18 b26 b28 - 512 b19 b26 b28 + 448 b17 b19 b26 b28 - 576 b20 b26 b28 + 512 b18 b20 b26 b28 - 608 b21 b26 b28 + 512 b19 b21 b26 b28 - 6.4e2 b22 b26 b28 + 512 b20 b22 b26 b28 - 672 b23 b26 b28 + 512 b21 b23 b26 b28 - 448 b24 b26 b28 + 512 b22 b24 b26 b28 - 736 b25 b26 b28 + 512 b23 b25 b26 b28 + 2256 b27 b28 - 32 b11 b27 b28 - 96 b12 b27 b28 + 64 b11 b12 b27 b28 - 1.6e2 b13 b27 b28 + 128 b12 b13 b27 b28 - 224 b14 b27 b28 + 192 b13 b14 b27 b28 - 288 b15 b27 b28 + 256 b14 b15 b27 b28 - 352 b16 b27 b28 + 3.2e2 b15 b16 b27 b28 - 416 b17 b27 b28 + 384 b16 b17 b27 b28 - 4.8e2 b18 b27 b28 + 448 b17 b18 b27 b28 - 512 b19 b27 b28 + 512 b18 b19 b27 b28 - 544 b20 b27 b28 + 512 b19 b20 b27 b28 - 576 b21 b27 b28 + 512 b20 b21 b27 b28 - 608 b22 b27 b28 + 512 b21 b22 b27 b28 - 6.4e2 b23 b27 b28 + 512 b22 b23 b27 b28 - 672 b24 b27 b28 + 512 b23 b24 b27 b28 - 704 b25 b27 b28 + 512 b24 b25 b27 b28 - 4.8e2 b26 b27 b28 + 512 b25 b26 b27 b28 - 4704 b29 + 128 b12 b29 + 272 b13 b29 - 32 b12 b13 b29 + 448 b14 b29 - 32 b12 b14 b29 - 96 b13 b14 b29 + 6.4e2 b15 b29 - 32 b12 b15 b29 - 64 b13 b15 b29 - 1.6e2 b14 b15 b29 + 864 b16 b29 - 32 b12 b16 b29 - 64 b13 b16 b29 - 128 b14 b16 b29 - 224 b15 b16 b29 + 1104 b17 b29 - 32 b12 b17 b29 - 64 b13 b17 b29 - 96 b14 b17 b29 - 192 b15 b17 b29 - 288 b16 b17 b29 + 1376 b18 b29 - 32 b12 b18 b29 - 64 b13 b18 b29 - 96 b14 b18 b29 - 1.6e2 b15 b18 b29 - 256 b16 b18 b29 - 352 b17 b18 b29 + 1.48e3 b19 b29 - 32 b12 b19 b29 - 64 b13 b19 b29 - 96 b14 b19 b29 - 128 b15 b19 b29 - 224 b16 b19 b29 - 3.2e2 b17 b19 b29 - 416 b18 b19 b29 + 1584 b20 b29 - 32 b12 b20 b29 - 64 b13 b20 b29 - 96 b14 b20 b29 - 128 b15 b20 b29 - 192 b16 b20 b29 - 288 b17 b20 b29 - 384 b18 b20 b29 - 416 b19 b20 b29 + 1.64e3 b21 b29 - 32 b12 b21 b29 - 96 b14 b21 b29 - 128 b15 b21 b29 - 1.6e2 b16 b21 b29 - 256 b17 b21 b29 - 352 b18 b21 b29 - 384 b19 b21 b29 - 448 b20 b21 b29 + 64 b12 b20 b21 b29 + 1696 b22 b29 - 32 b12 b22 b29 - 64 b13 b22 b29 - 96 b14 b22 b29 - 1.6e2 b16 b22 b29 - 224 b17 b22 b29 - 3.2e2 b18 b22 b29 - 384 b19 b22 b29 + 64 b12 b19 b22 b29 - 448 b20 b22 b29 + 128 b13 b20 b22 b29 - 512 b21 b22 b29 + 192 b14 b21 b22 b29 + 1.72e3 b23 b29 - 32 b12 b23 b29 - 64 b13 b23 b29 - 96 b14 b23 b29 - 128 b15 b23 b29 - 1.6e2 b16 b23 b29 - 3.2e2 b18 b23 b29 + 64 b12 b18 b23 b29 - 384 b19 b23 b29 + 128 b13 b19 b23 b29 - 448 b20 b23 b29 + 192 b14 b20 b23 b29 - 512 b21 b23 b29 + 256 b15 b21 b23 b29 - 576 b22 b23 b29 + 3.2e2 b16 b22 b23 b29 + 1.76e3 b24 b29 - 32 b12 b24 b29 - 64 b13 b24 b29 - 96 b14 b24 b29 - 128 b15 b24 b29 - 1.6e2 b16 b24 b29 - 224 b17 b24 b29 + 64 b12 b17 b24 b29 - 3.2e2 b18 b24 b29 + 128 b13 b18 b24 b29 - 1.6e2 b19 b24 b29 + 192 b14 b19 b24 b29 - 448 b20 b24 b29 + 256 b15 b20 b24 b29 - 512 b21 b24 b29 + 3.2e2 b16 b21 b24 b29 - 576 b22 b24 b29 + 384 b17 b22 b24 b29 - 6.4e2 b23 b24 b29 + 448 b18 b23 b24 b29 + 1.8e3 b25 b29 - 32 b12 b25 b29 - 64 b13 b25 b29 - 96 b14 b25 b29 - 128 b15 b25 b29 - 192 b16 b25 b29 + 64 b12 b16 b25 b29 - 256 b17 b25 b29 + 128 b13 b17 b25 b29 - 3.2e2 b18 b25 b29 + 192 b14 b18 b25 b29 - 384 b19 b25 b29 + 256 b15 b19 b25 b29 - 448 b20 b25 b29 + 3.2e2 b16 b20 b25 b29 - 288 b21 b25 b29 + 384 b17 b21 b25 b29 - 576 b22 b25 b29 + 448 b18 b22 b25 b29 - 608 b23 b25 b29 + 448 b19 b23 b25 b29 - 6.4e2 b24 b25 b29 + 448 b20 b24 b25 b29 + 1.84e3 b26 b29 - 32 b12 b26 b29 - 64 b13 b26 b29 - 96 b14 b26 b29 - 1.6e2 b15 b26 b29 + 64 b12 b15 b26 b29 - 224 b16 b26 b29 + 128 b13 b16 b26 b29 - 288 b17 b26 b29 + 192 b14 b17 b26 b29 - 352 b18 b26 b29 + 256 b15 b18 b26 b29 - 384 b19 b26 b29 + 3.2e2 b16 b19 b26 b29 - 448 b20 b26 b29 + 384 b17 b20 b26 b29 - 512 b21 b26 b29 + 448 b18 b21 b26 b29 - 544 b22 b26 b29 + 448 b19 b22 b26 b29 - 352 b23 b26 b29 + 448 b20 b23 b26 b29 - 608 b24 b26 b29 + 448 b21 b24 b26 b29 - 6.4e2 b25 b26 b29 + 448 b22 b25 b26 b29 + 1.88e3 b27 b29 - 32 b12 b27 b29 - 64 b13 b27 b29 - 128 b14 b27 b29 + 64 b12 b14 b27 b29 - 192 b15 b27 b29 + 128 b13 b15 b27 b29 - 256 b16 b27 b29 + 192 b14 b16 b27 b29 - 3.2e2 b17 b27 b29 + 256 b15 b17 b27 b29 - 384 b18 b27 b29 + 3.2e2 b16 b18 b27 b29 - 416 b19 b27 b29 + 384 b17 b19 b27 b29 - 448 b20 b27 b29 + 448 b18 b20 b27 b29 - 4.8e2 b21 b27 b29 + 448 b19 b21 b27 b29 - 512 b22 b27 b29 + 448 b20 b22 b27 b29 - 544 b23 b27 b29 + 448 b21 b23 b27 b29 - 576 b24 b27 b29 + 448 b22 b24 b27 b29 - 384 b25 b27 b29 + 448 b23 b25 b27 b29 - 6.4e2 b26 b27 b29 + 448 b24 b26 b27 b29 + 1.92e3 b28 b29 - 32 b12 b28 b29 - 96 b13 b28 b29 + 64 b12 b13 b28 b29 - 1.6e2 b14 b28 b29 + 128 b13 b14 b28 b29 - 224 b15 b28 b29 + 192 b14 b15 b28 b29 - 288 b16 b28 b29 + 256 b15 b16 b28 b29 - 352 b17 b28 b29 + 3.2e2 b16 b17 b28 b29 - 416 b18 b28 b29 + 384 b17 b18 b28 b29 - 448 b19 b28 b29 + 448 b18 b19 b28 b29 - 448 b20 b28 b29 + 448 b19 b20 b28 b29 - 448 b21 b28 b29 + 448 b20 b21 b28 b29 - 4.8e2 b22 b28 b29 + 448 b21 b22 b28 b29 - 512 b23 b28 b29 + 448 b22 b23 b28 b29 - 544 b24 b28 b29 + 448 b23 b24 b28 b29 - 576 b25 b28 b29 + 448 b24 b25 b28 b29 - 608 b26 b28 b29 + 448 b25 b26 b28 b29 - 416 b27 b28 b29 + 448 b26 b27 b28 b29 - 3944 b30 + 128 b13 b30 + 272 b14 b30 - 32 b13 b14 b30 + 448 b15 b30 - 32 b13 b15 b30 - 96 b14 b15 b30 + 6.4e2 b16 b30 - 32 b13 b16 b30 - 64 b14 b16 b30 - 1.6e2 b15 b16 b30 + 864 b17 b30 - 32 b13 b17 b30 - 64 b14 b17 b30 - 128 b15 b17 b30 - 224 b16 b17 b30 + 1104 b18 b30 - 32 b13 b18 b30 - 64 b14 b18 b30 - 96 b15 b18 b30 - 192 b16 b18 b30 - 288 b17 b18 b30 + 1.2e3 b19 b30 - 32 b13 b19 b30 - 64 b14 b19 b30 - 96 b15 b19 b30 - 1.6e2 b16 b19 b30 - 256 b17 b19 b30 - 352 b18 b19 b30 + 1.28e3 b20 b30 - 32 b13 b20 b30 - 64 b14 b20 b30 - 96 b15 b20 b30 - 128 b16 b20 b30 - 224 b17 b20 b30 - 3.2e2 b18 b20 b30 - 352 b19 b20 b30 + 1.36e3 b21 b30 - 32 b13 b21 b30 - 64 b14 b21 b30 - 96 b15 b21 b30 - 128 b16 b21 b30 - 192 b17 b21 b30 - 288 b18 b21 b30 - 3.2e2 b19 b21 b30 - 352 b20 b21 b30 + 1392 b22 b30 - 32 b13 b22 b30 - 96 b15 b22 b30 - 128 b16 b22 b30 - 1.6e2 b17 b22 b30 - 256 b18 b22 b30 - 288 b19 b22 b30 - 3.2e2 b20 b22 b30 - 384 b21 b22 b30 + 64 b13 b21 b22 b30 + 1424 b23 b30 - 32 b13 b23 b30 - 64 b14 b23 b30 - 96 b15 b23 b30 - 1.6e2 b17 b23 b30 - 224 b18 b23 b30 - 256 b19 b23 b30 - 3.2e2 b20 b23 b30 + 64 b13 b20 b23 b30 - 384 b21 b23 b30 + 128 b14 b21 b23 b30 - 448 b22 b23 b30 + 192 b15 b22 b23 b30 + 1.44e3 b24 b30 - 32 b13 b24 b30 - 64 b14 b24 b30 - 96 b15 b24 b30 - 128 b16 b24 b30 - 1.6e2 b17 b24 b30 - 256 b19 b24 b30 + 64 b13 b19 b24 b30 - 3.2e2 b20 b24 b30 + 128 b14 b20 b24 b30 - 384 b21 b24 b30 + 192 b15 b21 b24 b30 - 448 b22 b24 b30 + 256 b16 b22 b24 b30 - 512 b23 b24 b30 + 3.2e2 b17 b23 b24 b30 + 1472 b25 b30 - 32 b13 b25 b30 - 64 b14 b25 b30 - 96 b15 b25 b30 - 128 b16 b25 b30 - 1.6e2 b17 b25 b30 - 224 b18 b25 b30 + 64 b13 b18 b25 b30 - 256 b19 b25 b30 + 128 b14 b19 b25 b30 - 128 b20 b25 b30 + 192 b15 b20 b25 b30 - 384 b21 b25 b30 + 256 b16 b21 b25 b30 - 448 b22 b25 b30 + 3.2e2 b17 b22 b25 b30 - 512 b23 b25 b30 + 384 b18 b23 b25 b30 - 544 b24 b25 b30 + 384 b19 b24 b25 b30 + 1504 b26 b30 - 32 b13 b26 b30 - 64 b14 b26 b30 - 96 b15 b26 b30 - 128 b16 b26 b30 - 192 b17 b26 b30 + 64 b13 b17 b26 b30 - 256 b18 b26 b30 + 128 b14 b18 b26 b30 - 288 b19 b26 b30 + 192 b15 b19 b26 b30 - 3.2e2 b20 b26 b30 + 256 b16 b20 b26 b30 - 384 b21 b26 b30 + 3.2e2 b17 b21 b26 b30 - 256 b22 b26 b30 + 384 b18 b22 b26 b30 - 4.8e2 b23 b26 b30 + 384 b19 b23 b26 b30 - 512 b24 b26 b30 + 384 b20 b24 b26 b30 - 544 b25 b26 b30 + 384 b21 b25 b26 b30 + 1536 b27 b30 - 32 b13 b27 b30 - 64 b14 b27 b30 - 96 b15 b27 b30 - 1.6e2 b16 b27 b30 + 64 b13 b16 b27 b30 - 224 b17 b27 b30 + 128 b14 b17 b27 b30 - 288 b18 b27 b30 + 192 b15 b18 b27 b30 - 3.2e2 b19 b27 b30 + 256 b16 b19 b27 b30 - 352 b20 b27 b30 + 3.2e2 b17 b20 b27 b30 - 384 b21 b27 b30 + 384 b18 b21 b27 b30 - 416 b22 b27 b30 + 384 b19 b22 b27 b30 - 448 b23 b27 b30 + 384 b20 b23 b27 b30 - 288 b24 b27 b30 + 384 b21 b24 b27 b30 - 512 b25 b27 b30 + 384 b22 b25 b27 b30 - 544 b26 b27 b30 + 384 b23 b26 b27 b30 + 1568 b28 b30 - 32 b13 b28 b30 - 64 b14 b28 b30 - 128 b15 b28 b30 + 64 b13 b15 b28 b30 - 192 b16 b28 b30 + 128 b14 b16 b28 b30 - 256 b17 b28 b30 + 192 b15 b17 b28 b30 - 3.2e2 b18 b28 b30 + 256 b16 b18 b28 b30 - 352 b19 b28 b30 + 3.2e2 b17 b19 b28 b30 - 384 b20 b28 b30 + 384 b18 b20 b28 b30 - 384 b21 b28 b30 + 384 b19 b21 b28 b30 - 384 b22 b28 b30 + 384 b20 b22 b28 b30 - 416 b23 b28 b30 + 384 b21 b23 b28 b30 - 448 b24 b28 b30 + 384 b22 b24 b28 b30 - 4.8e2 b25 b28 b30 + 384 b23 b25 b28 b30 - 3.2e2 b26 b28 b30 + 384 b24 b26 b28 b30 - 544 b27 b28 b30 + 384 b25 b27 b28 b30 + 1.6e3 b29 b30 - 32 b13 b29 b30 - 96 b14 b29 b30 + 64 b13 b14 b29 b30 - 1.6e2 b15 b29 b30 + 128 b14 b15 b29 b30 - 224 b16 b29 b30 + 192 b15 b16 b29 b30 - 288 b17 b29 b30 + 256 b16 b17 b29 b30 - 352 b18 b29 b30 + 3.2e2 b17 b18 b29 b30 - 384 b19 b29 b30 + 384 b18 b19 b29 b30 - 384 b20 b29 b30 + 384 b19 b20 b29 b30 - 384 b21 b29 b30 + 384 b20 b21 b29 b30 - 384 b22 b29 b30 + 384 b21 b22 b29 b30 - 384 b23 b29 b30 + 384 b22 b23 b29 b30 - 416 b24 b29 b30 + 384 b23 b24 b29 b30 - 448 b25 b29 b30 + 384 b24 b25 b29 b30 - 4.8e2 b26 b29 b30 + 384 b25 b26 b29 b30 - 512 b27 b29 b30 + 384 b26 b27 b29 b30 - 352 b28 b29 b30 + 384 b27 b28 b29 b30 - 3.2e3 b31 + 128 b14 b31 + 272 b15 b31 - 32 b14 b15 b31 + 448 b16 b31 - 32 b14 b16 b31 - 96 b15 b16 b31 + 6.4e2 b17 b31 - 32 b14 b17 b31 - 64 b15 b17 b31 - 1.6e2 b16 b17 b31 + 864 b18 b31 - 32 b14 b18 b31 - 64 b15 b18 b31 - 128 b16 b18 b31 - 224 b17 b18 b31 + 936 b19 b31 - 32 b14 b19 b31 - 64 b15 b19 b31 - 96 b16 b19 b31 - 192 b17 b19 b31 - 288 b18 b19 b31 + 1008 b20 b31 - 32 b14 b20 b31 - 64 b15 b20 b31 - 96 b16 b20 b31 - 1.6e2 b17 b20 b31 - 256 b18 b20 b31 - 288 b19 b20 b31 + 1064 b21 b31 - 32 b14 b21 b31 - 64 b15 b21 b31 - 96 b16 b21 b31 - 128 b17 b21 b31 - 224 b18 b21 b31 - 256 b19 b21 b31 - 288 b20 b21 b31 + 1.12e3 b22 b31 - 32 b14 b22 b31 - 64 b15 b22 b31 - 96 b16 b22 b31 - 128 b17 b22 b31 - 192 b18 b22 b31 - 224 b19 b22 b31 - 256 b20 b22 b31 - 288 b21 b22 b31 + 1128 b23 b31 - 32 b14 b23 b31 - 96 b16 b23 b31 - 128 b17 b23 b31 - 1.6e2 b18 b23 b31 - 192 b19 b23 b31 - 224 b20 b23 b31 - 256 b21 b23 b31 - 3.2e2 b22 b23 b31 + 64 b14 b22 b23 b31 + 1136 b24 b31 - 32 b14 b24 b31 - 64 b15 b24 b31 - 96 b16 b24 b31 - 1.6e2 b18 b24 b31 - 1.6e2 b19 b24 b31 - 192 b20 b24 b31 - 256 b21 b24 b31 + 64 b14 b21 b24 b31 - 3.2e2 b22 b24 b31 + 128 b15 b22 b24 b31 - 384 b23 b24 b31 + 192 b16 b23 b24 b31 + 1.16e3 b25 b31 - 32 b14 b25 b31 - 64 b15 b25 b31 - 96 b16 b25 b31 - 128 b17 b25 b31 - 1.6e2 b18 b25 b31 - 192 b20 b25 b31 + 64 b14 b20 b25 b31 - 256 b21 b25 b31 + 128 b15 b21 b25 b31 - 3.2e2 b22 b25 b31 + 192 b16 b22 b25 b31 - 384 b23 b25 b31 + 256 b17 b23 b25 b31 - 448 b24 b25 b31 + 3.2e2 b18 b24 b25 b31 + 1.2e3 b26 b31 - 32 b14 b26 b31 - 64 b15 b26 b31 - 96 b16 b26 b31 - 128 b17 b26 b31 - 1.6e2 b18 b26 b31 - 192 b19 b26 b31 + 64 b14 b19 b26 b31 - 224 b20 b26 b31 + 128 b15 b20 b26 b31 - 96 b21 b26 b31 + 192 b16 b21 b26 b31 - 3.2e2 b22 b26 b31 + 256 b17 b22 b26 b31 - 384 b23 b26 b31 + 3.2e2 b18 b23 b26 b31 - 416 b24 b26 b31 + 3.2e2 b19 b24 b26 b31 - 448 b25 b26 b31 + 3.2e2 b20 b25 b26 b31 + 1224 b27 b31 - 32 b14 b27 b31 - 64 b15 b27 b31 - 96 b16 b27 b31 - 128 b17 b27 b31 - 192 b18 b27 b31 + 64 b14 b18 b27 b31 - 224 b19 b27 b31 + 128 b15 b19 b27 b31 - 256 b20 b27 b31 + 192 b16 b20 b27 b31 - 288 b21 b27 b31 + 256 b17 b21 b27 b31 - 3.2e2 b22 b27 b31 + 3.2e2 b18 b22 b27 b31 - 192 b23 b27 b31 + 3.2e2 b19 b23 b27 b31 - 384 b24 b27 b31 + 3.2e2 b20 b24 b27 b31 - 416 b25 b27 b31 + 3.2e2 b21 b25 b27 b31 - 448 b26 b27 b31 + 3.2e2 b22 b26 b27 b31 + 1248 b28 b31 - 32 b14 b28 b31 - 64 b15 b28 b31 - 96 b16 b28 b31 - 1.6e2 b17 b28 b31 + 64 b14 b17 b28 b31 - 224 b18 b28 b31 + 128 b15 b18 b28 b31 - 256 b19 b28 b31 + 192 b16 b19 b28 b31 - 288 b20 b28 b31 + 256 b17 b20 b28 b31 - 3.2e2 b21 b28 b31 + 3.2e2 b18 b21 b28 b31 - 3.2e2 b22 b28 b31 + 3.2e2 b19 b22 b28 b31 - 3.2e2 b23 b28 b31 + 3.2e2 b20 b23 b28 b31 - 352 b24 b28 b31 + 3.2e2 b21 b24 b28 b31 - 224 b25 b28 b31 + 3.2e2 b22 b25 b28 b31 - 416 b26 b28 b31 + 3.2e2 b23 b26 b28 b31 - 448 b27 b28 b31 + 3.2e2 b24 b27 b28 b31 + 1272 b29 b31 - 32 b14 b29 b31 - 64 b15 b29 b31 - 128 b16 b29 b31 + 64 b14 b16 b29 b31 - 192 b17 b29 b31 + 128 b15 b17 b29 b31 - 256 b18 b29 b31 + 192 b16 b18 b29 b31 - 288 b19 b29 b31 + 256 b17 b19 b29 b31 - 3.2e2 b20 b29 b31 + 3.2e2 b18 b20 b29 b31 - 3.2e2 b21 b29 b31 + 3.2e2 b19 b21 b29 b31 - 3.2e2 b22 b29 b31 + 3.2e2 b20 b22 b29 b31 - 3.2e2 b23 b29 b31 + 3.2e2 b21 b23 b29 b31 - 3.2e2 b24 b29 b31 + 3.2e2 b22 b24 b29 b31 - 352 b25 b29 b31 + 3.2e2 b23 b25 b29 b31 - 384 b26 b29 b31 + 3.2e2 b24 b26 b29 b31 - 256 b27 b29 b31 + 3.2e2 b25 b27 b29 b31 - 448 b28 b29 b31 + 3.2e2 b26 b28 b29 b31 + 1296 b30 b31 - 32 b14 b30 b31 - 96 b15 b30 b31 + 64 b14 b15 b30 b31 - 1.6e2 b16 b30 b31 + 128 b15 b16 b30 b31 - 224 b17 b30 b31 + 192 b16 b17 b30 b31 - 288 b18 b30 b31 + 256 b17 b18 b30 b31 - 3.2e2 b19 b30 b31 + 3.2e2 b18 b19 b30 b31 - 3.2e2 b20 b30 b31 + 3.2e2 b19 b20 b30 b31 - 3.2e2 b21 b30 b31 + 3.2e2 b20 b21 b30 b31 - 3.2e2 b22 b30 b31 + 3.2e2 b21 b22 b30 b31 - 3.2e2 b23 b30 b31 + 3.2e2 b22 b23 b30 b31 - 3.2e2 b24 b30 b31 + 3.2e2 b23 b24 b30 b31 - 3.2e2 b25 b30 b31 + 3.2e2 b24 b25 b30 b31 - 352 b26 b30 b31 + 3.2e2 b25 b26 b30 b31 - 384 b27 b30 b31 + 3.2e2 b26 b27 b30 b31 - 416 b28 b30 b31 + 3.2e2 b27 b28 b30 b31 - 288 b29 b30 b31 + 3.2e2 b28 b29 b30 b31 - 2.48e3 b32 + 128 b15 b32 + 272 b16 b32 - 32 b15 b16 b32 + 448 b17 b32 - 32 b15 b17 b32 - 96 b16 b17 b32 + 6.4e2 b18 b32 - 32 b15 b18 b32 - 64 b16 b18 b32 - 1.6e2 b17 b18 b32 + 704 b19 b32 - 32 b15 b19 b32 - 64 b16 b19 b32 - 128 b17 b19 b32 - 224 b18 b19 b32 + 752 b20 b32 - 32 b15 b20 b32 - 64 b16 b20 b32 - 96 b17 b20 b32 - 192 b18 b20 b32 - 224 b19 b20 b32 + 800 b21 b32 - 32 b15 b21 b32 - 64 b16 b21 b32 - 96 b17 b21 b32 - 1.6e2 b18 b21 b32 - 192 b19 b21 b32 - 224 b20 b21 b32 + 832 b22 b32 - 32 b15 b22 b32 - 64 b16 b22 b32 - 96 b17 b22 b32 - 128 b18 b22 b32 - 1.6e2 b19 b22 b32 - 192 b20 b22 b32 - 224 b21 b22 b32 + 864 b23 b32 - 32 b15 b23 b32 - 64 b16 b23 b32 - 96 b17 b23 b32 - 128 b18 b23 b32 - 128 b19 b23 b32 - 1.6e2 b20 b23 b32 - 192 b21 b23 b32 - 224 b22 b23 b32 + 864 b24 b32 - 32 b15 b24 b32 - 96 b17 b24 b32 - 128 b18 b24 b32 - 128 b19 b24 b32 - 128 b20 b24 b32 - 1.6e2 b21 b24 b32 - 192 b22 b24 b32 - 256 b23 b24 b32 + 64 b15 b23 b24 b32 + 864 b25 b32 - 32 b15 b25 b32 - 64 b16 b25 b32 - 96 b17 b25 b32 - 128 b19 b25 b32 - 128 b20 b25 b32 - 128 b21 b25 b32 - 192 b22 b25 b32 + 64 b15 b22 b25 b32 - 256 b23 b25 b32 + 128 b16 b23 b25 b32 - 3.2e2 b24 b25 b32 + 192 b17 b24 b25 b32 + 896 b26 b32 - 32 b15 b26 b32 - 64 b16 b26 b32 - 96 b17 b26 b32 - 128 b18 b26 b32 - 128 b19 b26 b32 - 1.6e2 b21 b26 b32 + 64 b15 b21 b26 b32 - 192 b22 b26 b32 + 128 b16 b22 b26 b32 - 256 b23 b26 b32 + 192 b17 b23 b26 b32 - 3.2e2 b24 b26 b32 + 256 b18 b24 b26 b32 - 352 b25 b26 b32 + 256 b19 b25 b26 b32 + 928 b27 b32 - 32 b15 b27 b32 - 64 b16 b27 b32 - 96 b17 b27 b32 - 128 b18 b27 b32 - 128 b19 b27 b32 - 1.6e2 b20 b27 b32 + 64 b15 b20 b27 b32 - 192 b21 b27 b32 + 128 b16 b21 b27 b32 - 96 b22 b27 b32 + 192 b17 b22 b27 b32 - 256 b23 b27 b32 + 256 b18 b23 b27 b32 - 288 b24 b27 b32 + 256 b19 b24 b27 b32 - 3.2e2 b25 b27 b32 + 256 b20 b25 b27 b32 - 352 b26 b27 b32 + 256 b21 b26 b27 b32 + 9.6e2 b28 b32 - 32 b15 b28 b32 - 64 b16 b28 b32 - 96 b17 b28 b32 - 128 b18 b28 b32 - 1.6e2 b19 b28 b32 + 64 b15 b19 b28 b32 - 192 b20 b28 b32 + 128 b16 b20 b28 b32 - 224 b21 b28 b32 + 192 b17 b21 b28 b32 - 256 b22 b28 b32 + 256 b18 b22 b28 b32 - 256 b23 b28 b32 + 256 b19 b23 b28 b32 - 128 b24 b28 b32 + 256 b20 b24 b28 b32 - 288 b25 b28 b32 + 256 b21 b25 b28 b32 - 3.2e2 b26 b28 b32 + 256 b22 b26 b28 b32 - 352 b27 b28 b32 + 256 b23 b27 b28 b32 + 976 b29 b32 - 32 b15 b29 b32 - 64 b16 b29 b32 - 96 b17 b29 b32 - 1.6e2 b18 b29 b32 + 64 b15 b18 b29 b32 - 192 b19 b29 b32 + 128 b16 b19 b29 b32 - 224 b20 b29 b32 + 192 b17 b20 b29 b32 - 256 b21 b29 b32 + 256 b18 b21 b29 b32 - 256 b22 b29 b32 + 256 b19 b22 b29 b32 - 256 b23 b29 b32 + 256 b20 b23 b29 b32 - 256 b24 b29 b32 + 256 b21 b24 b29 b32 - 256 b25 b29 b32 + 256 b22 b25 b29 b32 - 1.6e2 b26 b29 b32 + 256 b23 b26 b29 b32 - 3.2e2 b27 b29 b32 + 256 b24 b27 b29 b32 - 352 b28 b29 b32 + 256 b25 b28 b29 b32 + 992 b30 b32 - 32 b15 b30 b32 - 64 b16 b30 b32 - 128 b17 b30 b32 + 64 b15 b17 b30 b32 - 192 b18 b30 b32 + 128 b16 b18 b30 b32 - 224 b19 b30 b32 + 192 b17 b19 b30 b32 - 256 b20 b30 b32 + 256 b18 b20 b30 b32 - 256 b21 b30 b32 + 256 b19 b21 b30 b32 - 256 b22 b30 b32 + 256 b20 b22 b30 b32 - 256 b23 b30 b32 + 256 b21 b23 b30 b32 - 256 b24 b30 b32 + 256 b22 b24 b30 b32 - 256 b25 b30 b32 + 256 b23 b25 b30 b32 - 256 b26 b30 b32 + 256 b24 b26 b30 b32 - 288 b27 b30 b32 + 256 b25 b27 b30 b32 - 192 b28 b30 b32 + 256 b26 b28 b30 b32 - 352 b29 b30 b32 + 256 b27 b29 b30 b32 + 1008 b31 b32 - 32 b15 b31 b32 - 96 b16 b31 b32 + 64 b15 b16 b31 b32 - 1.6e2 b17 b31 b32 + 128 b16 b17 b31 b32 - 224 b18 b31 b32 + 192 b17 b18 b31 b32 - 256 b19 b31 b32 + 256 b18 b19 b31 b32 - 256 b20 b31 b32 + 256 b19 b20 b31 b32 - 256 b21 b31 b32 + 256 b20 b21 b31 b32 - 256 b22 b31 b32 + 256 b21 b22 b31 b32 - 256 b23 b31 b32 + 256 b22 b23 b31 b32 - 256 b24 b31 b32 + 256 b23 b24 b31 b32 - 256 b25 b31 b32 + 256 b24 b25 b31 b32 - 256 b26 b31 b32 + 256 b25 b26 b31 b32 - 256 b27 b31 b32 + 256 b26 b27 b31 b32 - 288 b28 b31 b32 + 256 b27 b28 b31 b32 - 3.2e2 b29 b31 b32 + 256 b28 b29 b31 b32 - 224 b30 b31 b32 + 256 b29 b30 b31 b32 - 1792 b33 + 128 b16 b33 + 272 b17 b33 - 32 b16 b17 b33 + 448 b18 b33 - 32 b16 b18 b33 - 96 b17 b18 b33 + 488 b19 b33 - 32 b16 b19 b33 - 64 b17 b19 b33 - 1.6e2 b18 b19 b33 + 528 b20 b33 - 32 b16 b20 b33 - 64 b17 b20 b33 - 128 b18 b20 b33 - 1.6e2 b19 b20 b33 + 552 b21 b33 - 32 b16 b21 b33 - 64 b17 b21 b33 - 96 b18 b21 b33 - 128 b19 b21 b33 - 1.6e2 b20 b21 b33 + 576 b22 b33 - 32 b16 b22 b33 - 64 b17 b22 b33 - 96 b18 b22 b33 - 96 b19 b22 b33 - 128 b20 b22 b33 - 1.6e2 b21 b22 b33 + 600 b23 b33 - 32 b16 b23 b33 - 64 b17 b23 b33 - 96 b18 b23 b33 - 96 b19 b23 b33 - 96 b20 b23 b33 - 128 b21 b23 b33 - 1.6e2 b22 b23 b33 + 624 b24 b33 - 32 b16 b24 b33 - 64 b17 b24 b33 - 96 b18 b24 b33 - 96 b19 b24 b33 - 96 b20 b24 b33 - 96 b21 b24 b33 - 128 b22 b24 b33 - 1.6e2 b23 b24 b33 + 616 b25 b33 - 32 b16 b25 b33 - 96 b18 b25 b33 - 96 b19 b25 b33 - 96 b20 b25 b33 - 96 b21 b25 b33 - 96 b22 b25 b33 - 128 b23 b25 b33 - 192 b24 b25 b33 + 64 b16 b24 b25 b33 + 624 b26 b33 - 32 b16 b26 b33 - 64 b17 b26 b33 - 96 b18 b26 b33 - 96 b20 b26 b33 - 96 b21 b26 b33 - 96 b22 b26 b33 - 128 b23 b26 b33 + 64 b16 b23 b26 b33 - 192 b24 b26 b33 + 128 b17 b24 b26 b33 - 256 b25 b26 b33 + 192 b18 b25 b26 b33 + 648 b27 b33 - 32 b16 b27 b33 - 64 b17 b27 b33 - 96 b18 b27 b33 - 96 b19 b27 b33 - 96 b20 b27 b33 - 128 b22 b27 b33 + 64 b16 b22 b27 b33 - 1.6e2 b23 b27 b33 + 128 b17 b23 b27 b33 - 192 b24 b27 b33 + 192 b18 b24 b27 b33 - 224 b25 b27 b33 + 192 b19 b25 b27 b33 - 256 b26 b27 b33 + 192 b20 b26 b27 b33 + 672 b28 b33 - 32 b16 b28 b33 - 64 b17 b28 b33 - 96 b18 b28 b33 - 96 b19 b28 b33 - 96 b20 b28 b33 - 128 b21 b28 b33 + 64 b16 b21 b28 b33 - 1.6e2 b22 b28 b33 + 128 b17 b22 b28 b33 - 96 b23 b28 b33 + 192 b18 b23 b28 b33 - 192 b24 b28 b33 + 192 b19 b24 b28 b33 - 192 b25 b28 b33 + 192 b20 b25 b28 b33 - 224 b26 b28 b33 + 192 b21 b26 b28 b33 - 256 b27 b28 b33 + 192 b22 b27 b28 b33 + 696 b29 b33 - 32 b16 b29 b33 - 64 b17 b29 b33 - 96 b18 b29 b33 - 96 b19 b29 b33 - 128 b20 b29 b33 + 64 b16 b20 b29 b33 - 1.6e2 b21 b29 b33 + 128 b17 b21 b29 b33 - 192 b22 b29 b33 + 192 b18 b22 b29 b33 - 192 b23 b29 b33 + 192 b19 b23 b29 b33 - 192 b24 b29 b33 + 192 b20 b24 b29 b33 - 96 b25 b29 b33 + 192 b21 b25 b29 b33 - 192 b26 b29 b33 + 192 b22 b26 b29 b33 - 224 b27 b29 b33 + 192 b23 b27 b29 b33 - 256 b28 b29 b33 + 192 b24 b28 b29 b33 + 7.2e2 b30 b33 - 32 b16 b30 b33 - 64 b17 b30 b33 - 96 b18 b30 b33 - 128 b19 b30 b33 + 64 b16 b19 b30 b33 - 1.6e2 b20 b30 b33 + 128 b17 b20 b30 b33 - 192 b21 b30 b33 + 192 b18 b21 b30 b33 - 192 b22 b30 b33 + 192 b19 b22 b30 b33 - 192 b23 b30 b33 + 192 b20 b23 b30 b33 - 192 b24 b30 b33 + 192 b21 b24 b30 b33 - 192 b25 b30 b33 + 192 b22 b25 b30 b33 - 192 b26 b30 b33 + 192 b23 b26 b30 b33 - 96 b27 b30 b33 + 192 b24 b27 b30 b33 - 224 b28 b30 b33 + 192 b25 b28 b30 b33 - 256 b29 b30 b33 + 192 b26 b29 b30 b33 + 728 b31 b33 - 32 b16 b31 b33 - 64 b17 b31 b33 - 128 b18 b31 b33 + 64 b16 b18 b31 b33 - 1.6e2 b19 b31 b33 + 128 b17 b19 b31 b33 - 192 b20 b31 b33 + 192 b18 b20 b31 b33 - 192 b21 b31 b33 + 192 b19 b21 b31 b33 - 192 b22 b31 b33 + 192 b20 b22 b31 b33 - 192 b23 b31 b33 + 192 b21 b23 b31 b33 - 192 b24 b31 b33 + 192 b22 b24 b31 b33 - 192 b25 b31 b33 + 192 b23 b25 b31 b33 - 192 b26 b31 b33 + 192 b24 b26 b31 b33 - 192 b27 b31 b33 + 192 b25 b27 b31 b33 - 192 b28 b31 b33 + 192 b26 b28 b31 b33 - 128 b29 b31 b33 + 192 b27 b29 b31 b33 - 256 b30 b31 b33 + 192 b28 b30 b31 b33 + 736 b32 b33 - 32 b16 b32 b33 - 96 b17 b32 b33 + 64 b16 b17 b32 b33 - 1.6e2 b18 b32 b33 + 128 b17 b18 b32 b33 - 192 b19 b32 b33 + 192 b18 b19 b32 b33 - 192 b20 b32 b33 + 192 b19 b20 b32 b33 - 192 b21 b32 b33 + 192 b20 b21 b32 b33 - 192 b22 b32 b33 + 192 b21 b22 b32 b33 - 192 b23 b32 b33 + 192 b22 b23 b32 b33 - 192 b24 b32 b33 + 192 b23 b24 b32 b33 - 192 b25 b32 b33 + 192 b24 b25 b32 b33 - 192 b26 b32 b33 + 192 b25 b26 b32 b33 - 192 b27 b32 b33 + 192 b26 b27 b32 b33 - 192 b28 b32 b33 + 192 b27 b28 b32 b33 - 192 b29 b32 b33 + 192 b28 b29 b32 b33 - 224 b30 b32 b33 + 192 b29 b30 b32 b33 - 1.6e2 b31 b32 b33 + 192 b30 b31 b32 b33 - 1144 b34 + 128 b17 b34 + 272 b18 b34 - 32 b17 b18 b34 + 304 b19 b34 - 32 b17 b19 b34 - 96 b18 b19 b34 + 3.2e2 b20 b34 - 32 b17 b20 b34 - 64 b18 b20 b34 - 96 b19 b20 b34 + 336 b21 b34 - 32 b17 b21 b34 - 64 b18 b21 b34 - 64 b19 b21 b34 - 96 b20 b21 b34 + 352 b22 b34 - 32 b17 b22 b34 - 64 b18 b22 b34 - 64 b19 b22 b34 - 64 b20 b22 b34 - 96 b21 b22 b34 + 368 b23 b34 - 32 b17 b23 b34 - 64 b18 b23 b34 - 64 b19 b23 b34 - 64 b20 b23 b34 - 64 b21 b23 b34 - 96 b22 b23 b34 + 384 b24 b34 - 32 b17 b24 b34 - 64 b18 b24 b34 - 64 b19 b24 b34 - 64 b20 b24 b34 - 64 b21 b24 b34 - 64 b22 b24 b34 - 96 b23 b24 b34 + 400 b25 b34 - 32 b17 b25 b34 - 64 b18 b25 b34 - 64 b19 b25 b34 - 64 b20 b25 b34 - 64 b21 b25 b34 - 64 b22 b25 b34 - 64 b23 b25 b34 - 96 b24 b25 b34 + 384 b26 b34 - 32 b17 b26 b34 - 64 b19 b26 b34 - 64 b20 b26 b34 - 64 b21 b26 b34 - 64 b22 b26 b34 - 64 b23 b26 b34 - 64 b24 b26 b34 - 128 b25 b26 b34 + 64 b17 b25 b26 b34 + 400 b27 b34 - 32 b17 b27 b34 - 64 b18 b27 b34 - 64 b19 b27 b34 - 64 b21 b27 b34 - 64 b22 b27 b34 - 64 b23 b27 b34 - 96 b24 b27 b34 + 64 b17 b24 b27 b34 - 128 b25 b27 b34 + 128 b18 b25 b27 b34 - 1.6e2 b26 b27 b34 + 128 b19 b26 b27 b34 + 416 b28 b34 - 32 b17 b28 b34 - 64 b18 b28 b34 - 64 b19 b28 b34 - 64 b20 b28 b34 - 64 b21 b28 b34 - 96 b23 b28 b34 + 64 b17 b23 b28 b34 - 128 b24 b28 b34 + 128 b18 b24 b28 b34 - 128 b25 b28 b34 + 128 b19 b25 b28 b34 - 128 b26 b28 b34 + 128 b20 b26 b28 b34 - 1.6e2 b27 b28 b34 + 128 b21 b27 b28 b34 + 432 b29 b34 - 32 b17 b29 b34 - 64 b18 b29 b34 - 64 b19 b29 b34 - 64 b20 b29 b34 - 64 b21 b29 b34 - 96 b22 b29 b34 + 64 b17 b22 b29 b34 - 128 b23 b29 b34 + 128 b18 b23 b29 b34 - 64 b24 b29 b34 + 128 b19 b24 b29 b34 - 128 b25 b29 b34 + 128 b20 b25 b29 b34 - 128 b26 b29 b34 + 128 b21 b26 b29 b34 - 128 b27 b29 b34 + 128 b22 b27 b29 b34 - 1.6e2 b28 b29 b34 + 128 b23 b28 b29 b34 + 448 b30 b34 - 32 b17 b30 b34 - 64 b18 b30 b34 - 64 b19 b30 b34 - 64 b20 b30 b34 - 96 b21 b30 b34 + 64 b17 b21 b30 b34 - 128 b22 b30 b34 + 128 b18 b22 b30 b34 - 128 b23 b30 b34 + 128 b19 b23 b30 b34 - 128 b24 b30 b34 + 128 b20 b24 b30 b34 - 128 b25 b30 b34 + 128 b21 b25 b30 b34 - 64 b26 b30 b34 + 128 b22 b26 b30 b34 - 128 b27 b30 b34 + 128 b23 b27 b30 b34 - 128 b28 b30 b34 + 128 b24 b28 b30 b34 - 1.6e2 b29 b30 b34 + 128 b25 b29 b30 b34 + 464 b31 b34 - 32 b17 b31 b34 - 64 b18 b31 b34 - 64 b19 b31 b34 - 96 b20 b31 b34 + 64 b17 b20 b31 b34 - 128 b21 b31 b34 + 128 b18 b21 b31 b34 - 128 b22 b31 b34 + 128 b19 b22 b31 b34 - 128 b23 b31 b34 + 128 b20 b23 b31 b34 - 128 b24 b31 b34 + 128 b21 b24 b31 b34 - 128 b25 b31 b34 + 128 b22 b25 b31 b34 - 128 b26 b31 b34 + 128 b23 b26 b31 b34 - 128 b27 b31 b34 + 128 b24 b27 b31 b34 - 64 b28 b31 b34 + 128 b25 b28 b31 b34 - 128 b29 b31 b34 + 128 b26 b29 b31 b34 - 1.6e2 b30 b31 b34 + 128 b27 b30 b31 b34 + 4.8e2 b32 b34 - 32 b17 b32 b34 - 64 b18 b32 b34 - 96 b19 b32 b34 + 64 b17 b19 b32 b34 - 128 b20 b32 b34 + 128 b18 b20 b32 b34 - 128 b21 b32 b34 + 128 b19 b21 b32 b34 - 128 b22 b32 b34 + 128 b20 b22 b32 b34 - 128 b23 b32 b34 + 128 b21 b23 b32 b34 - 128 b24 b32 b34 + 128 b22 b24 b32 b34 - 128 b25 b32 b34 + 128 b23 b25 b32 b34 - 128 b26 b32 b34 + 128 b24 b26 b32 b34 - 128 b27 b32 b34 + 128 b25 b27 b32 b34 - 128 b28 b32 b34 + 128 b26 b28 b32 b34 - 128 b29 b32 b34 + 128 b27 b29 b32 b34 - 64 b30 b32 b34 + 128 b28 b30 b32 b34 - 1.6e2 b31 b32 b34 + 128 b29 b31 b32 b34 + 4.8e2 b33 b34 - 32 b17 b33 b34 - 96 b18 b33 b34 + 64 b17 b18 b33 b34 - 128 b19 b33 b34 + 128 b18 b19 b33 b34 - 128 b20 b33 b34 + 128 b19 b20 b33 b34 - 128 b21 b33 b34 + 128 b20 b21 b33 b34 - 128 b22 b33 b34 + 128 b21 b22 b33 b34 - 128 b23 b33 b34 + 128 b22 b23 b33 b34 - 128 b24 b33 b34 + 128 b23 b24 b33 b34 - 128 b25 b33 b34 + 128 b24 b25 b33 b34 - 128 b26 b33 b34 + 128 b25 b26 b33 b34 - 128 b27 b33 b34 + 128 b26 b27 b33 b34 - 128 b28 b33 b34 + 128 b27 b28 b33 b34 - 128 b29 b33 b34 + 128 b28 b29 b33 b34 - 128 b30 b33 b34 + 128 b29 b30 b33 b34 - 128 b31 b33 b34 + 128 b30 b31 b33 b34 - 96 b32 b33 b34 + 128 b31 b32 b33 b34 - 544 b35 + 128 b18 b35 + 136 b19 b35 - 32 b18 b19 b35 + 144 b20 b35 - 32 b18 b20 b35 - 32 b19 b20 b35 + 152 b21 b35 - 32 b18 b21 b35 - 32 b19 b21 b35 - 32 b20 b21 b35 + 1.6e2 b22 b35 - 32 b18 b22 b35 - 32 b19 b22 b35 - 32 b20 b22 b35 - 32 b21 b22 b35 + 168 b23 b35 - 32 b18 b23 b35 - 32 b19 b23 b35 - 32 b20 b23 b35 - 32 b21 b23 b35 - 32 b22 b23 b35 + 176 b24 b35 - 32 b18 b24 b35 - 32 b19 b24 b35 - 32 b20 b24 b35 - 32 b21 b24 b35 - 32 b22 b24 b35 - 32 b23 b24 b35 + 184 b25 b35 - 32 b18 b25 b35 - 32 b19 b25 b35 - 32 b20 b25 b35 - 32 b21 b25 b35 - 32 b22 b25 b35 - 32 b23 b25 b35 - 32 b24 b25 b35 + 192 b26 b35 - 32 b18 b26 b35 - 32 b19 b26 b35 - 32 b20 b26 b35 - 32 b21 b26 b35 - 32 b22 b26 b35 - 32 b23 b26 b35 - 32 b24 b26 b35 - 32 b25 b26 b35 + 184 b27 b35 - 32 b18 b27 b35 - 32 b20 b27 b35 - 32 b21 b27 b35 - 32 b22 b27 b35 - 32 b23 b27 b35 - 32 b24 b27 b35 - 32 b25 b27 b35 - 64 b26 b27 b35 + 64 b18 b26 b27 b35 + 192 b28 b35 - 32 b18 b28 b35 - 32 b19 b28 b35 - 32 b20 b28 b35 - 32 b22 b28 b35 - 32 b23 b28 b35 - 32 b24 b28 b35 - 64 b25 b28 b35 + 64 b18 b25 b28 b35 - 64 b26 b28 b35 + 64 b19 b26 b28 b35 - 64 b27 b28 b35 + 64 b20 b27 b28 b35 + 200 b29 b35 - 32 b18 b29 b35 - 32 b19 b29 b35 - 32 b20 b29 b35 - 32 b21 b29 b35 - 32 b22 b29 b35 - 64 b24 b29 b35 + 64 b18 b24 b29 b35 - 64 b25 b29 b35 + 64 b19 b25 b29 b35 - 64 b26 b29 b35 + 64 b20 b26 b29 b35 - 64 b27 b29 b35 + 64 b21 b27 b29 b35 - 64 b28 b29 b35 + 64 b22 b28 b29 b35 + 208 b30 b35 - 32 b18 b30 b35 - 32 b19 b30 b35 - 32 b20 b30 b35 - 32 b21 b30 b35 - 32 b22 b30 b35 - 64 b23 b30 b35 + 64 b18 b23 b30 b35 - 64 b24 b30 b35 + 64 b19 b24 b30 b35 - 32 b25 b30 b35 + 64 b20 b25 b30 b35 - 64 b26 b30 b35 + 64 b21 b26 b30 b35 - 64 b27 b30 b35 + 64 b22 b27 b30 b35 - 64 b28 b30 b35 + 64 b23 b28 b30 b35 - 64 b29 b30 b35 + 64 b24 b29 b30 b35 + 216 b31 b35 - 32 b18 b31 b35 - 32 b19 b31 b35 - 32 b20 b31 b35 - 32 b21 b31 b35 - 64 b22 b31 b35 + 64 b18 b22 b31 b35 - 64 b23 b31 b35 + 64 b19 b23 b31 b35 - 64 b24 b31 b35 + 64 b20 b24 b31 b35 - 64 b25 b31 b35 + 64 b21 b25 b31 b35 - 64 b26 b31 b35 + 64 b22 b26 b31 b35 - 32 b27 b31 b35 + 64 b23 b27 b31 b35 - 64 b28 b31 b35 + 64 b24 b28 b31 b35 - 64 b29 b31 b35 + 64 b25 b29 b31 b35 - 64 b30 b31 b35 + 64 b26 b30 b31 b35 + 224 b32 b35 - 32 b18 b32 b35 - 32 b19 b32 b35 - 32 b20 b32 b35 - 64 b21 b32 b35 + 64 b18 b21 b32 b35 - 64 b22 b32 b35 + 64 b19 b22 b32 b35 - 64 b23 b32 b35 + 64 b20 b23 b32 b35 - 64 b24 b32 b35 + 64 b21 b24 b32 b35 - 64 b25 b32 b35 + 64 b22 b25 b32 b35 - 64 b26 b32 b35 + 64 b23 b26 b32 b35 - 64 b27 b32 b35 + 64 b24 b27 b32 b35 - 64 b28 b32 b35 + 64 b25 b28 b32 b35 - 32 b29 b32 b35 + 64 b26 b29 b32 b35 - 64 b30 b32 b35 + 64 b27 b30 b32 b35 - 64 b31 b32 b35 + 64 b28 b31 b32 b35 + 232 b33 b35 - 32 b18 b33 b35 - 32 b19 b33 b35 - 64 b20 b33 b35 + 64 b18 b20 b33 b35 - 64 b21 b33 b35 + 64 b19 b21 b33 b35 - 64 b22 b33 b35 + 64 b20 b22 b33 b35 - 64 b23 b33 b35 + 64 b21 b23 b33 b35 - 64 b24 b33 b35 + 64 b22 b24 b33 b35 - 64 b25 b33 b35 + 64 b23 b25 b33 b35 - 64 b26 b33 b35 + 64 b24 b26 b33 b35 - 64 b27 b33 b35 + 64 b25 b27 b33 b35 - 64 b28 b33 b35 + 64 b26 b28 b33 b35 - 64 b29 b33 b35 + 64 b27 b29 b33 b35 - 64 b30 b33 b35 + 64 b28 b30 b33 b35 - 32 b31 b33 b35 + 64 b29 b31 b33 b35 - 64 b32 b33 b35 + 64 b30 b32 b33 b35 + 2.4e2 b34 b35 - 32 b18 b34 b35 - 64 b19 b34 b35 + 64 b18 b19 b34 b35 - 64 b20 b34 b35 + 64 b19 b20 b34 b35 - 64 b21 b34 b35 + 64 b20 b21 b34 b35 - 64 b22 b34 b35 + 64 b21 b22 b34 b35 - 64 b23 b34 b35 + 64 b22 b23 b34 b35 - 64 b24 b34 b35 + 64 b23 b24 b34 b35 - 64 b25 b34 b35 + 64 b24 b25 b34 b35 - 64 b26 b34 b35 + 64 b25 b26 b34 b35 - 64 b27 b34 b35 + 64 b26 b27 b34 b35 - 64 b28 b34 b35 + 64 b27 b28 b34 b35 - 64 b29 b34 b35 + 64 b28 b29 b34 b35 - 64 b30 b34 b35 + 64 b29 b30 b34 b35 - 64 b31 b34 b35 + 64 b30 b31 b34 b35 - 64 b32 b34 b35 + 64 b31 b32 b34 b35 - 32 b33 b34 b35 + 64 b32 b33 b34 b35 <= 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 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 End