\ 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 \ 31 1 30 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 32 2 30 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 + objvar Subject To e1: - objvar - 1624 b1 - 2.88e3 b2 + 432 b1 b2 - 3952 b3 + 424 b1 b3 + 688 b2 b3 - 32 b1 b2 b3 - 4848 b4 + 416 b1 b4 + 696 b2 b4 - 64 b1 b2 b4 + 912 b3 b4 - 64 b1 b3 b4 - 64 b2 b3 b4 + 64 b1 b2 b3 b4 - 5568 b5 + 408 b1 b5 + 688 b2 b5 - 64 b1 b2 b5 + 904 b3 b5 - 32 b1 b3 b5 - 64 b2 b3 b5 + 1088 b4 b5 - 64 b1 b4 b5 - 96 b2 b4 b5 + 64 b1 b2 b4 b5 - 64 b3 b4 b5 + 64 b2 b3 b4 b5 - 6.12e3 b6 + 400 b1 b6 + 6.8e2 b2 b6 - 64 b1 b2 b6 + 912 b3 b6 - 64 b1 b3 b6 - 64 b2 b3 b6 + 1.08e3 b4 b6 - 64 b1 b4 b6 - 32 b2 b4 b6 - 96 b3 b4 b6 + 64 b1 b3 b4 b6 + 1216 b5 b6 - 64 b1 b5 b6 - 96 b2 b5 b6 + 64 b1 b2 b5 b6 - 96 b3 b5 b6 + 64 b2 b3 b5 b6 - 64 b4 b5 b6 + 64 b3 b4 b5 b6 - 6504 b7 + 392 b1 b7 + 672 b2 b7 - 64 b1 b2 b7 + 904 b3 b7 - 64 b1 b3 b7 - 64 b2 b3 b7 + 1072 b4 b7 - 32 b1 b4 b7 - 64 b2 b4 b7 - 64 b3 b4 b7 + 1208 b5 b7 - 64 b1 b5 b7 - 64 b2 b5 b7 - 64 b3 b5 b7 + 64 b1 b3 b5 b7 - 96 b4 b5 b7 + 64 b2 b4 b5 b7 + 1296 b6 b7 - 64 b1 b6 b7 - 96 b2 b6 b7 + 64 b1 b2 b6 b7 - 96 b3 b6 b7 + 64 b2 b3 b6 b7 - 96 b4 b6 b7 + 64 b3 b4 b6 b7 - 64 b5 b6 b7 + 64 b4 b5 b6 b7 - 6.72e3 b8 + 384 b1 b8 + 648 b2 b8 - 64 b1 b2 b8 + 896 b3 b8 - 64 b1 b3 b8 - 64 b2 b3 b8 + 1.08e3 b4 b8 - 64 b1 b4 b8 - 64 b2 b4 b8 - 64 b3 b4 b8 + 1.2e3 b5 b8 - 64 b1 b5 b8 - 32 b2 b5 b8 - 64 b3 b5 b8 - 96 b4 b5 b8 + 64 b1 b4 b5 b8 + 1288 b6 b8 - 64 b1 b6 b8 - 64 b2 b6 b8 - 96 b3 b6 b8 + 64 b1 b3 b6 b8 - 64 b4 b6 b8 + 64 b2 b4 b6 b8 - 96 b5 b6 b8 + 64 b3 b5 b6 b8 + 1328 b7 b8 - 64 b1 b7 b8 - 96 b2 b7 b8 + 64 b1 b2 b7 b8 - 96 b3 b7 b8 + 64 b2 b3 b7 b8 - 96 b4 b7 b8 + 64 b3 b4 b7 b8 - 96 b5 b7 b8 + 64 b4 b5 b7 b8 - 64 b6 b7 b8 + 64 b5 b6 b7 b8 - 6768 b9 + 376 b1 b9 + 6.4e2 b2 b9 - 64 b1 b2 b9 + 856 b3 b9 - 64 b1 b3 b9 - 64 b2 b3 b9 + 1072 b4 b9 - 64 b1 b4 b9 - 64 b2 b4 b9 - 64 b3 b4 b9 + 1192 b5 b9 - 32 b1 b5 b9 - 64 b2 b5 b9 - 64 b3 b5 b9 - 64 b4 b5 b9 + 1.28e3 b6 b9 - 64 b1 b6 b9 - 64 b2 b6 b9 - 32 b3 b6 b9 - 96 b4 b6 b9 + 64 b1 b4 b6 b9 - 96 b5 b6 b9 + 64 b2 b5 b6 b9 + 1336 b7 b9 - 64 b1 b7 b9 - 96 b2 b7 b9 - 96 b3 b7 b9 + 64 b1 b3 b7 b9 - 96 b4 b7 b9 + 64 b2 b4 b7 b9 - 64 b5 b7 b9 + 64 b3 b5 b7 b9 - 96 b6 b7 b9 + 64 b4 b6 b7 b9 + 1328 b8 b9 - 64 b1 b8 b9 - 128 b2 b8 b9 + 64 b1 b2 b8 b9 - 96 b3 b8 b9 + 64 b2 b3 b8 b9 - 96 b4 b8 b9 + 64 b3 b4 b8 b9 - 96 b5 b8 b9 + 64 b4 b5 b8 b9 - 96 b6 b8 b9 + 64 b5 b6 b8 b9 - 64 b7 b8 b9 + 64 b6 b7 b8 b9 - 6656 b10 + 368 b1 b10 + 632 b2 b10 - 64 b1 b2 b10 + 848 b3 b10 - 64 b1 b3 b10 - 64 b2 b3 b10 + 1016 b4 b10 - 64 b1 b4 b10 - 64 b2 b4 b10 - 64 b3 b4 b10 + 1.2e3 b5 b10 - 64 b1 b5 b10 - 64 b2 b5 b10 - 64 b3 b5 b10 - 64 b4 b5 b10 + 1288 b6 b10 - 64 b1 b6 b10 - 64 b2 b6 b10 - 64 b3 b6 b10 - 64 b4 b6 b10 - 96 b5 b6 b10 + 64 b1 b5 b6 b10 + 1328 b7 b10 - 64 b1 b7 b10 - 96 b2 b7 b10 - 64 b3 b7 b10 - 64 b4 b7 b10 + 64 b1 b4 b7 b10 - 96 b5 b7 b10 + 64 b2 b5 b7 b10 - 96 b6 b7 b10 + 64 b3 b6 b7 b10 + 1352 b8 b10 - 64 b1 b8 b10 - 96 b2 b8 b10 - 1.6e2 b3 b8 b10 + 64 b1 b3 b8 b10 - 96 b4 b8 b10 + 64 b2 b4 b8 b10 - 96 b5 b8 b10 + 64 b3 b5 b8 b10 - 64 b6 b8 b10 + 64 b4 b6 b8 b10 - 96 b7 b8 b10 + 64 b5 b7 b8 b10 + 1296 b9 b10 - 64 b1 b9 b10 - 128 b2 b9 b10 + 64 b1 b2 b9 b10 - 1.6e2 b3 b9 b10 + 64 b2 b3 b9 b10 - 96 b4 b9 b10 + 64 b3 b4 b9 b10 - 96 b5 b9 b10 + 64 b4 b5 b9 b10 - 96 b6 b9 b10 + 64 b5 b6 b9 b10 - 96 b7 b9 b10 + 64 b6 b7 b9 b10 - 64 b8 b9 b10 + 64 b7 b8 b9 b10 - 6496 b11 + 3.6e2 b1 b11 + 624 b2 b11 - 64 b1 b2 b11 + 8.4e2 b3 b11 - 64 b1 b3 b11 - 64 b2 b3 b11 + 1008 b4 b11 - 64 b1 b4 b11 - 64 b2 b4 b11 - 64 b3 b4 b11 + 1144 b5 b11 - 64 b1 b5 b11 - 96 b2 b5 b11 - 64 b3 b5 b11 - 64 b4 b5 b11 + 1.28e3 b6 b11 - 32 b1 b6 b11 - 96 b2 b6 b11 - 64 b3 b6 b11 - 64 b4 b6 b11 - 64 b5 b6 b11 + 1352 b7 b11 - 64 b1 b7 b11 - 96 b2 b7 b11 - 96 b3 b7 b11 - 64 b4 b7 b11 - 96 b5 b7 b11 + 64 b1 b5 b7 b11 - 96 b6 b7 b11 + 64 b2 b6 b7 b11 + 1344 b8 b11 - 64 b1 b8 b11 - 96 b2 b8 b11 - 128 b3 b8 b11 - 96 b4 b8 b11 + 64 b1 b4 b8 b11 - 64 b5 b8 b11 + 64 b2 b5 b8 b11 - 96 b6 b8 b11 + 64 b3 b6 b8 b11 - 96 b7 b8 b11 + 64 b4 b7 b8 b11 + 1336 b9 b11 - 64 b1 b9 b11 - 96 b2 b9 b11 - 1.6e2 b3 b9 b11 + 64 b1 b3 b9 b11 - 192 b4 b9 b11 + 64 b2 b4 b9 b11 - 96 b5 b9 b11 + 64 b3 b5 b9 b11 - 96 b6 b9 b11 + 64 b4 b6 b9 b11 - 64 b7 b9 b11 + 64 b5 b7 b9 b11 - 96 b8 b9 b11 + 64 b6 b8 b9 b11 + 1232 b10 b11 - 64 b1 b10 b11 - 128 b2 b10 b11 + 64 b1 b2 b10 b11 - 1.6e2 b3 b10 b11 + 64 b2 b3 b10 b11 - 192 b4 b10 b11 + 64 b3 b4 b10 b11 - 96 b5 b10 b11 + 64 b4 b5 b10 b11 - 96 b6 b10 b11 + 64 b5 b6 b10 b11 - 96 b7 b10 b11 + 64 b6 b7 b10 b11 - 96 b8 b10 b11 + 64 b7 b8 b10 b11 - 64 b9 b10 b11 + 64 b8 b9 b10 b11 - 6328 b12 + 352 b1 b12 + 616 b2 b12 - 64 b1 b2 b12 + 832 b3 b12 - 64 b1 b3 b12 - 64 b2 b3 b12 + 1016 b4 b12 - 64 b1 b4 b12 - 96 b2 b4 b12 - 64 b3 b4 b12 + 1136 b5 b12 - 64 b1 b5 b12 - 96 b2 b5 b12 - 64 b3 b5 b12 - 64 b4 b5 b12 + 1.24e3 b6 b12 - 64 b1 b6 b12 - 96 b2 b6 b12 - 128 b3 b6 b12 - 64 b4 b6 b12 - 64 b5 b6 b12 + 1344 b7 b12 - 64 b1 b7 b12 - 64 b2 b7 b12 - 128 b3 b7 b12 - 64 b4 b7 b12 - 64 b5 b7 b12 - 96 b6 b7 b12 + 64 b1 b6 b7 b12 + 1384 b8 b12 - 64 b1 b8 b12 - 96 b2 b8 b12 - 128 b3 b8 b12 - 128 b4 b8 b12 - 96 b5 b8 b12 + 64 b1 b5 b8 b12 - 96 b6 b8 b12 + 64 b2 b6 b8 b12 - 96 b7 b8 b12 + 64 b3 b7 b8 b12 + 1328 b9 b12 - 64 b1 b9 b12 - 96 b2 b9 b12 - 128 b3 b9 b12 - 192 b4 b9 b12 + 64 b1 b4 b9 b12 - 96 b5 b9 b12 + 64 b2 b5 b9 b12 - 64 b6 b9 b12 + 64 b3 b6 b9 b12 - 96 b7 b9 b12 + 64 b4 b7 b9 b12 - 96 b8 b9 b12 + 64 b5 b8 b9 b12 + 1288 b10 b12 - 64 b1 b10 b12 - 96 b2 b10 b12 - 1.6e2 b3 b10 b12 + 64 b1 b3 b10 b12 - 192 b4 b10 b12 + 64 b2 b4 b10 b12 - 224 b5 b10 b12 + 64 b3 b5 b10 b12 - 96 b6 b10 b12 + 64 b4 b6 b10 b12 - 96 b7 b10 b12 + 64 b5 b7 b10 b12 - 64 b8 b10 b12 + 64 b6 b8 b10 b12 - 96 b9 b10 b12 + 64 b7 b9 b10 b12 + 1184 b11 b12 - 64 b1 b11 b12 - 128 b2 b11 b12 + 64 b1 b2 b11 b12 - 1.6e2 b3 b11 b12 + 64 b2 b3 b11 b12 - 192 b4 b11 b12 + 64 b3 b4 b11 b12 - 224 b5 b11 b12 + 64 b4 b5 b11 b12 - 96 b6 b11 b12 + 64 b5 b6 b11 b12 - 96 b7 b11 b12 + 64 b6 b7 b11 b12 - 96 b8 b11 b12 + 64 b7 b8 b11 b12 - 96 b9 b11 b12 + 64 b8 b9 b11 b12 - 64 b10 b11 b12 + 64 b9 b10 b11 b12 - 6152 b13 + 344 b1 b13 + 608 b2 b13 - 64 b1 b2 b13 + 8.4e2 b3 b13 - 64 b1 b3 b13 - 96 b2 b3 b13 + 1008 b4 b13 - 64 b1 b4 b13 - 96 b2 b4 b13 - 64 b3 b4 b13 + 1.16e3 b5 b13 - 64 b1 b5 b13 - 96 b2 b5 b13 - 128 b3 b5 b13 - 64 b4 b5 b13 + 1232 b6 b13 - 64 b1 b6 b13 - 96 b2 b6 b13 - 128 b3 b6 b13 - 64 b4 b6 b13 - 64 b5 b6 b13 + 1288 b7 b13 - 32 b1 b7 b13 - 96 b2 b7 b13 - 128 b3 b7 b13 - 1.6e2 b4 b7 b13 - 64 b5 b7 b13 - 64 b6 b7 b13 + 1376 b8 b13 - 64 b1 b8 b13 - 96 b2 b8 b13 - 96 b3 b8 b13 - 1.6e2 b4 b8 b13 - 64 b5 b8 b13 - 96 b6 b8 b13 + 64 b1 b6 b8 b13 - 96 b7 b8 b13 + 64 b2 b7 b8 b13 + 1384 b9 b13 - 64 b1 b9 b13 - 96 b2 b9 b13 - 128 b3 b9 b13 - 1.6e2 b4 b9 b13 - 192 b5 b9 b13 + 64 b1 b5 b9 b13 - 96 b6 b9 b13 + 64 b2 b6 b9 b13 - 96 b7 b9 b13 + 64 b3 b7 b9 b13 - 96 b8 b9 b13 + 64 b4 b8 b9 b13 + 1.28e3 b10 b13 - 64 b1 b10 b13 - 96 b2 b10 b13 - 128 b3 b10 b13 - 192 b4 b10 b13 + 64 b1 b4 b10 b13 - 224 b5 b10 b13 + 64 b2 b5 b10 b13 - 96 b6 b10 b13 + 64 b3 b6 b10 b13 - 64 b7 b10 b13 + 64 b4 b7 b10 b13 - 96 b8 b10 b13 + 64 b5 b8 b10 b13 - 96 b9 b10 b13 + 64 b6 b9 b10 b13 + 1256 b11 b13 - 64 b1 b11 b13 - 96 b2 b11 b13 - 1.6e2 b3 b11 b13 + 64 b1 b3 b11 b13 - 192 b4 b11 b13 + 64 b2 b4 b11 b13 - 224 b5 b11 b13 + 64 b3 b5 b11 b13 - 256 b6 b11 b13 + 64 b4 b6 b11 b13 - 96 b7 b11 b13 + 64 b5 b7 b11 b13 - 96 b8 b11 b13 + 64 b6 b8 b11 b13 - 64 b9 b11 b13 + 64 b7 b9 b11 b13 - 96 b10 b11 b13 + 64 b8 b10 b11 b13 + 1168 b12 b13 - 64 b1 b12 b13 - 128 b2 b12 b13 + 64 b1 b2 b12 b13 - 1.6e2 b3 b12 b13 + 64 b2 b3 b12 b13 - 192 b4 b12 b13 + 64 b3 b4 b12 b13 - 224 b5 b12 b13 + 64 b4 b5 b12 b13 - 256 b6 b12 b13 + 64 b5 b6 b12 b13 - 96 b7 b12 b13 + 64 b6 b7 b12 b13 - 96 b8 b12 b13 + 64 b7 b8 b12 b13 - 96 b9 b12 b13 + 64 b8 b9 b12 b13 - 96 b10 b12 b13 + 64 b9 b10 b12 b13 - 64 b11 b12 b13 + 64 b10 b11 b12 b13 - 6008 b14 + 336 b1 b14 + 664 b2 b14 - 64 b1 b2 b14 + 848 b3 b14 - 64 b1 b3 b14 - 128 b2 b3 b14 + 1048 b4 b14 - 64 b1 b4 b14 - 128 b2 b4 b14 - 128 b3 b4 b14 + 1168 b5 b14 - 64 b1 b5 b14 - 128 b2 b5 b14 - 128 b3 b5 b14 - 64 b4 b5 b14 + 1288 b6 b14 - 64 b1 b6 b14 - 128 b2 b6 b14 - 128 b3 b6 b14 - 1.6e2 b4 b6 b14 - 64 b5 b6 b14 + 1312 b7 b14 - 64 b1 b7 b14 - 128 b2 b7 b14 - 128 b3 b7 b14 - 1.6e2 b4 b7 b14 - 64 b5 b7 b14 - 64 b6 b7 b14 + 1.32e3 b8 b14 - 64 b1 b8 b14 - 64 b2 b8 b14 - 128 b3 b8 b14 - 1.6e2 b4 b8 b14 - 192 b5 b8 b14 - 64 b6 b8 b14 - 96 b7 b8 b14 + 64 b1 b7 b8 b14 + 1392 b9 b14 - 64 b1 b9 b14 - 128 b2 b9 b14 - 128 b3 b9 b14 - 128 b4 b9 b14 - 192 b5 b9 b14 - 96 b6 b9 b14 + 64 b1 b6 b9 b14 - 128 b7 b9 b14 + 128 b2 b7 b9 b14 - 96 b8 b9 b14 + 64 b3 b8 b9 b14 + 1368 b10 b14 - 64 b1 b10 b14 - 128 b2 b10 b14 - 128 b3 b10 b14 - 1.6e2 b4 b10 b14 - 224 b5 b10 b14 + 64 b1 b5 b10 b14 - 256 b6 b10 b14 + 128 b2 b6 b10 b14 - 96 b7 b10 b14 + 64 b3 b7 b10 b14 - 96 b8 b10 b14 + 64 b4 b8 b10 b14 - 96 b9 b10 b14 + 64 b5 b9 b10 b14 + 1264 b11 b14 - 64 b1 b11 b14 - 128 b2 b11 b14 - 128 b3 b11 b14 - 192 b4 b11 b14 + 64 b1 b4 b11 b14 - 256 b5 b11 b14 + 128 b2 b5 b11 b14 - 256 b6 b11 b14 + 64 b3 b6 b11 b14 - 96 b7 b11 b14 + 64 b4 b7 b11 b14 - 64 b8 b11 b14 + 64 b5 b8 b11 b14 - 96 b9 b11 b14 + 64 b6 b9 b11 b14 - 96 b10 b11 b14 + 64 b7 b10 b11 b14 + 1272 b12 b14 - 64 b1 b12 b14 - 128 b2 b12 b14 - 1.6e2 b3 b12 b14 + 64 b1 b3 b12 b14 - 224 b4 b12 b14 + 128 b2 b4 b12 b14 - 224 b5 b12 b14 + 64 b3 b5 b12 b14 - 256 b6 b12 b14 + 64 b4 b6 b12 b14 - 288 b7 b12 b14 + 64 b5 b7 b12 b14 - 96 b8 b12 b14 + 64 b6 b8 b12 b14 - 96 b9 b12 b14 + 64 b7 b9 b12 b14 - 64 b10 b12 b14 + 64 b8 b10 b12 b14 - 96 b11 b12 b14 + 64 b9 b11 b12 b14 + 1.2e3 b13 b14 - 64 b1 b13 b14 - 1.6e2 b2 b13 b14 + 64 b1 b2 b13 b14 - 192 b3 b13 b14 + 128 b2 b3 b13 b14 - 192 b4 b13 b14 + 64 b3 b4 b13 b14 - 224 b5 b13 b14 + 64 b4 b5 b13 b14 - 256 b6 b13 b14 + 64 b5 b6 b13 b14 - 288 b7 b13 b14 + 64 b6 b7 b13 b14 - 96 b8 b13 b14 + 64 b7 b8 b13 b14 - 96 b9 b13 b14 + 64 b8 b9 b13 b14 - 96 b10 b13 b14 + 64 b9 b10 b13 b14 - 96 b11 b13 b14 + 64 b10 b11 b13 b14 - 64 b12 b13 b14 + 64 b11 b12 b13 b14 - 5896 b15 + 328 b1 b15 + 656 b2 b15 - 64 b1 b2 b15 + 968 b3 b15 - 64 b1 b3 b15 - 128 b2 b3 b15 + 1072 b4 b15 - 64 b1 b4 b15 - 128 b2 b4 b15 - 192 b3 b4 b15 + 1.24e3 b5 b15 - 64 b1 b5 b15 - 128 b2 b5 b15 - 192 b3 b5 b15 - 1.6e2 b4 b5 b15 + 1312 b6 b15 - 64 b1 b6 b15 - 128 b2 b6 b15 - 192 b3 b6 b15 - 1.6e2 b4 b6 b15 - 64 b5 b6 b15 + 1.4e3 b7 b15 - 64 b1 b7 b15 - 128 b2 b7 b15 - 192 b3 b7 b15 - 1.6e2 b4 b7 b15 - 192 b5 b7 b15 - 64 b6 b7 b15 + 1.36e3 b8 b15 - 32 b1 b8 b15 - 128 b2 b8 b15 - 192 b3 b8 b15 - 1.6e2 b4 b8 b15 - 192 b5 b8 b15 - 64 b6 b8 b15 - 64 b7 b8 b15 + 1336 b9 b15 - 64 b1 b9 b15 - 128 b2 b9 b15 - 96 b3 b9 b15 - 1.6e2 b4 b9 b15 - 192 b5 b9 b15 - 224 b6 b9 b15 - 96 b7 b9 b15 + 64 b1 b7 b9 b15 - 128 b8 b9 b15 + 128 b2 b8 b9 b15 + 1392 b10 b15 - 64 b1 b10 b15 - 128 b2 b10 b15 - 192 b3 b10 b15 - 1.6e2 b4 b10 b15 - 1.6e2 b5 b10 b15 - 256 b6 b10 b15 + 64 b1 b6 b10 b15 - 128 b7 b10 b15 + 128 b2 b7 b10 b15 - 1.6e2 b8 b10 b15 + 192 b3 b8 b10 b15 - 96 b9 b10 b15 + 64 b4 b9 b10 b15 + 1384 b11 b15 - 64 b1 b11 b15 - 128 b2 b11 b15 - 192 b3 b11 b15 - 1.6e2 b4 b11 b15 - 224 b5 b11 b15 + 64 b1 b5 b11 b15 - 288 b6 b11 b15 + 128 b2 b6 b11 b15 - 3.2e2 b7 b11 b15 + 192 b3 b7 b11 b15 - 96 b8 b11 b15 + 64 b4 b8 b11 b15 - 96 b9 b11 b15 + 64 b5 b9 b11 b15 - 96 b10 b11 b15 + 64 b6 b10 b11 b15 + 1296 b12 b15 - 64 b1 b12 b15 - 128 b2 b12 b15 - 192 b3 b12 b15 - 192 b4 b12 b15 + 64 b1 b4 b12 b15 - 256 b5 b12 b15 + 128 b2 b5 b12 b15 - 3.2e2 b6 b12 b15 + 192 b3 b6 b12 b15 - 288 b7 b12 b15 + 64 b4 b7 b12 b15 - 96 b8 b12 b15 + 64 b5 b8 b12 b15 - 64 b9 b12 b15 + 64 b6 b9 b12 b15 - 96 b10 b12 b15 + 64 b7 b10 b12 b15 - 96 b11 b12 b15 + 64 b8 b11 b12 b15 + 1336 b13 b15 - 64 b1 b13 b15 - 128 b2 b13 b15 - 224 b3 b13 b15 + 64 b1 b3 b13 b15 - 224 b4 b13 b15 + 128 b2 b4 b13 b15 - 288 b5 b13 b15 + 192 b3 b5 b13 b15 - 256 b6 b13 b15 + 64 b4 b6 b13 b15 - 288 b7 b13 b15 + 64 b5 b7 b13 b15 - 3.2e2 b8 b13 b15 + 64 b6 b8 b13 b15 - 96 b9 b13 b15 + 64 b7 b9 b13 b15 - 96 b10 b13 b15 + 64 b8 b10 b13 b15 - 64 b11 b13 b15 + 64 b9 b11 b13 b15 - 96 b12 b13 b15 + 64 b10 b12 b13 b15 + 1.28e3 b14 b15 - 64 b1 b14 b15 - 1.6e2 b2 b14 b15 + 64 b1 b2 b14 b15 - 256 b3 b14 b15 + 128 b2 b3 b14 b15 - 256 b4 b14 b15 + 192 b3 b4 b14 b15 - 224 b5 b14 b15 + 64 b4 b5 b14 b15 - 256 b6 b14 b15 + 64 b5 b6 b14 b15 - 288 b7 b14 b15 + 64 b6 b7 b14 b15 - 3.2e2 b8 b14 b15 + 64 b7 b8 b14 b15 - 96 b9 b14 b15 + 64 b8 b9 b14 b15 - 96 b10 b14 b15 + 64 b9 b10 b14 b15 - 96 b11 b14 b15 + 64 b10 b11 b14 b15 - 96 b12 b14 b15 + 64 b11 b12 b14 b15 - 64 b13 b14 b15 + 64 b12 b13 b14 b15 - 5896 b16 + 336 b1 b16 + 648 b2 b16 - 64 b1 b2 b16 + 976 b3 b16 - 64 b1 b3 b16 - 128 b2 b3 b16 + 1272 b4 b16 - 64 b1 b4 b16 - 128 b2 b4 b16 - 192 b3 b4 b16 + 1296 b5 b16 - 64 b1 b5 b16 - 128 b2 b5 b16 - 192 b3 b5 b16 - 256 b4 b5 b16 + 1432 b6 b16 - 64 b1 b6 b16 - 128 b2 b6 b16 - 192 b3 b6 b16 - 256 b4 b6 b16 - 192 b5 b6 b16 + 1456 b7 b16 - 64 b1 b7 b16 - 128 b2 b7 b16 - 192 b3 b7 b16 - 256 b4 b7 b16 - 192 b5 b7 b16 - 64 b6 b7 b16 + 1512 b8 b16 - 64 b1 b8 b16 - 128 b2 b8 b16 - 192 b3 b8 b16 - 256 b4 b8 b16 - 192 b5 b8 b16 - 224 b6 b8 b16 - 64 b7 b8 b16 + 1408 b9 b16 - 64 b1 b9 b16 - 64 b2 b9 b16 - 192 b3 b9 b16 - 256 b4 b9 b16 - 192 b5 b9 b16 - 224 b6 b9 b16 - 64 b7 b9 b16 - 96 b8 b9 b16 + 64 b1 b8 b9 b16 + 1352 b10 b16 - 64 b1 b10 b16 - 128 b2 b10 b16 - 192 b3 b10 b16 - 128 b4 b10 b16 - 192 b5 b10 b16 - 224 b6 b10 b16 - 288 b7 b10 b16 + 64 b1 b7 b10 b16 - 128 b8 b10 b16 + 128 b2 b8 b10 b16 - 1.6e2 b9 b10 b16 + 192 b3 b9 b10 b16 + 1424 b11 b16 - 64 b1 b11 b16 - 128 b2 b11 b16 - 192 b3 b11 b16 - 256 b4 b11 b16 - 192 b5 b11 b16 - 224 b6 b11 b16 + 64 b1 b6 b11 b16 - 3.2e2 b7 b11 b16 + 128 b2 b7 b11 b16 - 1.6e2 b8 b11 b16 + 192 b3 b8 b11 b16 - 192 b9 b11 b16 + 256 b4 b9 b11 b16 - 96 b10 b11 b16 + 64 b5 b10 b11 b16 + 1448 b12 b16 - 64 b1 b12 b16 - 128 b2 b12 b16 - 192 b3 b12 b16 - 256 b4 b12 b16 - 224 b5 b12 b16 + 64 b1 b5 b12 b16 - 288 b6 b12 b16 + 128 b2 b6 b12 b16 - 352 b7 b12 b16 + 192 b3 b7 b12 b16 - 384 b8 b12 b16 + 256 b4 b8 b12 b16 - 96 b9 b12 b16 + 64 b5 b9 b12 b16 - 96 b10 b12 b16 + 64 b6 b10 b12 b16 - 96 b11 b12 b16 + 64 b7 b11 b12 b16 + 1376 b13 b16 - 64 b1 b13 b16 - 128 b2 b13 b16 - 192 b3 b13 b16 - 288 b4 b13 b16 + 64 b1 b4 b13 b16 - 256 b5 b13 b16 + 128 b2 b5 b13 b16 - 3.2e2 b6 b13 b16 + 192 b3 b6 b13 b16 - 384 b7 b13 b16 + 256 b4 b7 b13 b16 - 3.2e2 b8 b13 b16 + 64 b5 b8 b13 b16 - 96 b9 b13 b16 + 64 b6 b9 b13 b16 - 64 b10 b13 b16 + 64 b7 b10 b13 b16 - 96 b11 b13 b16 + 64 b8 b11 b13 b16 - 96 b12 b13 b16 + 64 b9 b12 b13 b16 + 1448 b14 b16 - 64 b1 b14 b16 - 128 b2 b14 b16 - 224 b3 b14 b16 + 64 b1 b3 b14 b16 - 3.2e2 b4 b14 b16 + 128 b2 b4 b14 b16 - 288 b5 b14 b16 + 192 b3 b5 b14 b16 - 352 b6 b14 b16 + 256 b4 b6 b14 b16 - 288 b7 b14 b16 + 64 b5 b7 b14 b16 - 3.2e2 b8 b14 b16 + 64 b6 b8 b14 b16 - 352 b9 b14 b16 + 64 b7 b9 b14 b16 - 96 b10 b14 b16 + 64 b8 b10 b14 b16 - 96 b11 b14 b16 + 64 b9 b11 b14 b16 - 64 b12 b14 b16 + 64 b10 b12 b14 b16 - 96 b13 b14 b16 + 64 b11 b13 b14 b16 + 1408 b15 b16 - 64 b1 b15 b16 - 1.6e2 b2 b15 b16 + 64 b1 b2 b15 b16 - 256 b3 b15 b16 + 128 b2 b3 b15 b16 - 352 b4 b15 b16 + 192 b3 b4 b15 b16 - 3.2e2 b5 b15 b16 + 256 b4 b5 b15 b16 - 256 b6 b15 b16 + 64 b5 b6 b15 b16 - 288 b7 b15 b16 + 64 b6 b7 b15 b16 - 3.2e2 b8 b15 b16 + 64 b7 b8 b15 b16 - 352 b9 b15 b16 + 64 b8 b9 b15 b16 - 96 b10 b15 b16 + 64 b9 b10 b15 b16 - 96 b11 b15 b16 + 64 b10 b11 b15 b16 - 96 b12 b15 b16 + 64 b11 b12 b15 b16 - 96 b13 b15 b16 + 64 b12 b13 b15 b16 - 64 b14 b15 b16 + 64 b13 b14 b15 b16 - 6008 b17 + 328 b1 b17 + 656 b2 b17 - 64 b1 b2 b17 + 968 b3 b17 - 64 b1 b3 b17 - 128 b2 b3 b17 + 1296 b4 b17 - 64 b1 b4 b17 - 128 b2 b4 b17 - 192 b3 b4 b17 + 1576 b5 b17 - 64 b1 b5 b17 - 128 b2 b5 b17 - 192 b3 b5 b17 - 256 b4 b5 b17 + 1.52e3 b6 b17 - 64 b1 b6 b17 - 128 b2 b6 b17 - 192 b3 b6 b17 - 256 b4 b6 b17 - 3.2e2 b5 b6 b17 + 1624 b7 b17 - 64 b1 b7 b17 - 128 b2 b7 b17 - 192 b3 b7 b17 - 256 b4 b7 b17 - 3.2e2 b5 b7 b17 - 224 b6 b7 b17 + 1.6e3 b8 b17 - 64 b1 b8 b17 - 128 b2 b8 b17 - 192 b3 b8 b17 - 256 b4 b8 b17 - 3.2e2 b5 b8 b17 - 224 b6 b8 b17 - 64 b7 b8 b17 + 1608 b9 b17 - 32 b1 b9 b17 - 128 b2 b9 b17 - 192 b3 b9 b17 - 256 b4 b9 b17 - 3.2e2 b5 b9 b17 - 224 b6 b9 b17 - 256 b7 b9 b17 - 64 b8 b9 b17 + 1456 b10 b17 - 64 b1 b10 b17 - 128 b2 b10 b17 - 96 b3 b10 b17 - 256 b4 b10 b17 - 3.2e2 b5 b10 b17 - 224 b6 b10 b17 - 256 b7 b10 b17 - 96 b8 b10 b17 + 64 b1 b8 b10 b17 - 128 b9 b10 b17 + 128 b2 b9 b10 b17 + 1416 b11 b17 - 64 b1 b11 b17 - 128 b2 b11 b17 - 192 b3 b11 b17 - 256 b4 b11 b17 - 1.6e2 b5 b11 b17 - 224 b6 b11 b17 - 288 b7 b11 b17 + 64 b1 b7 b11 b17 - 352 b8 b11 b17 + 128 b2 b8 b11 b17 - 1.6e2 b9 b11 b17 + 192 b3 b9 b11 b17 - 192 b10 b11 b17 + 256 b4 b10 b11 b17 + 1504 b12 b17 - 64 b1 b12 b17 - 128 b2 b12 b17 - 192 b3 b12 b17 - 256 b4 b12 b17 - 3.2e2 b5 b12 b17 - 256 b6 b12 b17 + 64 b1 b6 b12 b17 - 288 b7 b12 b17 + 128 b2 b7 b12 b17 - 384 b8 b12 b17 + 192 b3 b8 b12 b17 - 192 b9 b12 b17 + 256 b4 b9 b12 b17 - 224 b10 b12 b17 + 3.2e2 b5 b10 b12 b17 - 96 b11 b12 b17 + 64 b6 b11 b12 b17 + 1.56e3 b13 b17 - 64 b1 b13 b17 - 128 b2 b13 b17 - 192 b3 b13 b17 - 256 b4 b13 b17 - 352 b5 b13 b17 + 64 b1 b5 b13 b17 - 288 b6 b13 b17 + 128 b2 b6 b13 b17 - 352 b7 b13 b17 + 192 b3 b7 b13 b17 - 416 b8 b13 b17 + 256 b4 b8 b13 b17 - 448 b9 b13 b17 + 3.2e2 b5 b9 b13 b17 - 96 b10 b13 b17 + 64 b6 b10 b13 b17 - 96 b11 b13 b17 + 64 b7 b11 b13 b17 - 96 b12 b13 b17 + 64 b8 b12 b13 b17 + 1504 b14 b17 - 64 b1 b14 b17 - 128 b2 b14 b17 - 192 b3 b14 b17 - 288 b4 b14 b17 + 64 b1 b4 b14 b17 - 384 b5 b14 b17 + 128 b2 b5 b14 b17 - 3.2e2 b6 b14 b17 + 192 b3 b6 b14 b17 - 384 b7 b14 b17 + 256 b4 b7 b14 b17 - 448 b8 b14 b17 + 3.2e2 b5 b8 b14 b17 - 352 b9 b14 b17 + 64 b6 b9 b14 b17 - 96 b10 b14 b17 + 64 b7 b10 b14 b17 - 64 b11 b14 b17 + 64 b8 b11 b14 b17 - 96 b12 b14 b17 + 64 b9 b12 b14 b17 - 96 b13 b14 b17 + 64 b10 b13 b14 b17 + 1448 b15 b17 - 32 b1 b15 b17 - 96 b2 b15 b17 - 192 b3 b15 b17 + 64 b1 b3 b15 b17 - 288 b4 b15 b17 + 128 b2 b4 b15 b17 - 384 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 - 288 b8 b15 b17 + 64 b6 b8 b15 b17 - 3.2e2 b9 b15 b17 + 64 b7 b9 b15 b17 - 352 b10 b15 b17 + 64 b8 b10 b15 b17 - 96 b11 b15 b17 + 64 b9 b11 b15 b17 - 96 b12 b15 b17 + 64 b10 b12 b15 b17 - 64 b13 b15 b17 + 64 b11 b13 b15 b17 - 96 b14 b15 b17 + 64 b12 b14 b15 b17 + 1.28e3 b16 b17 - 32 b1 b16 b17 - 96 b2 b16 b17 + 64 b1 b2 b16 b17 - 192 b3 b16 b17 + 128 b2 b3 b16 b17 - 288 b4 b16 b17 + 192 b3 b4 b16 b17 - 384 b5 b16 b17 + 256 b4 b5 b16 b17 - 3.2e2 b6 b16 b17 + 3.2e2 b5 b6 b16 b17 - 224 b7 b16 b17 + 64 b6 b7 b16 b17 - 256 b8 b16 b17 + 64 b7 b8 b16 b17 - 288 b9 b16 b17 + 64 b8 b9 b16 b17 - 3.2e2 b10 b16 b17 + 64 b9 b10 b16 b17 - 96 b11 b16 b17 + 64 b10 b11 b16 b17 - 96 b12 b16 b17 + 64 b11 b12 b16 b17 - 96 b13 b16 b17 + 64 b12 b13 b16 b17 - 96 b14 b16 b17 + 64 b13 b14 b16 b17 - 64 b15 b16 b17 + 64 b14 b15 b16 b17 - 6152 b18 + 3.2e2 b1 b18 + 632 b2 b18 - 64 b1 b2 b18 + 9.6e2 b3 b18 - 64 b1 b3 b18 - 128 b2 b3 b18 + 1256 b4 b18 - 64 b1 b4 b18 - 128 b2 b4 b18 - 192 b3 b4 b18 + 1.6e3 b5 b18 - 64 b1 b5 b18 - 128 b2 b5 b18 - 192 b3 b5 b18 - 256 b4 b5 b18 + 1864 b6 b18 - 64 b1 b6 b18 - 128 b2 b6 b18 - 192 b3 b6 b18 - 256 b4 b6 b18 - 3.2e2 b5 b6 b18 + 1728 b7 b18 - 64 b1 b7 b18 - 128 b2 b7 b18 - 192 b3 b7 b18 - 256 b4 b7 b18 - 3.2e2 b5 b7 b18 - 384 b6 b7 b18 + 1.8e3 b8 b18 - 64 b1 b8 b18 - 128 b2 b8 b18 - 192 b3 b8 b18 - 256 b4 b8 b18 - 3.2e2 b5 b8 b18 - 384 b6 b8 b18 - 256 b7 b8 b18 + 1728 b9 b18 - 64 b1 b9 b18 - 128 b2 b9 b18 - 192 b3 b9 b18 - 256 b4 b9 b18 - 3.2e2 b5 b9 b18 - 384 b6 b9 b18 - 256 b7 b9 b18 - 64 b8 b9 b18 + 1688 b10 b18 - 64 b1 b10 b18 - 64 b2 b10 b18 - 192 b3 b10 b18 - 256 b4 b10 b18 - 3.2e2 b5 b10 b18 - 384 b6 b10 b18 - 256 b7 b10 b18 - 288 b8 b10 b18 - 96 b9 b10 b18 + 64 b1 b9 b10 b18 + 1536 b11 b18 - 64 b1 b11 b18 - 128 b2 b11 b18 - 192 b3 b11 b18 - 128 b4 b11 b18 - 3.2e2 b5 b11 b18 - 384 b6 b11 b18 - 256 b7 b11 b18 - 3.2e2 b8 b11 b18 + 64 b1 b8 b11 b18 - 128 b9 b11 b18 + 128 b2 b9 b11 b18 - 1.6e2 b10 b11 b18 + 192 b3 b10 b11 b18 + 1528 b12 b18 - 64 b1 b12 b18 - 128 b2 b12 b18 - 192 b3 b12 b18 - 256 b4 b12 b18 - 3.2e2 b5 b12 b18 - 192 b6 b12 b18 - 288 b7 b12 b18 + 64 b1 b7 b12 b18 - 352 b8 b12 b18 + 128 b2 b8 b12 b18 - 416 b9 b12 b18 + 192 b3 b9 b12 b18 - 192 b10 b12 b18 + 256 b4 b10 b12 b18 - 224 b11 b12 b18 + 3.2e2 b5 b11 b12 b18 + 1632 b13 b18 - 64 b1 b13 b18 - 128 b2 b13 b18 - 192 b3 b13 b18 - 256 b4 b13 b18 - 3.2e2 b5 b13 b18 - 416 b6 b13 b18 + 64 b1 b6 b13 b18 - 3.2e2 b7 b13 b18 + 128 b2 b7 b13 b18 - 352 b8 b13 b18 + 192 b3 b8 b13 b18 - 448 b9 b13 b18 + 256 b4 b9 b13 b18 - 224 b10 b13 b18 + 3.2e2 b5 b10 b13 b18 - 256 b11 b13 b18 + 384 b6 b11 b13 b18 - 96 b12 b13 b18 + 64 b7 b12 b13 b18 + 1.56e3 b14 b18 - 32 b1 b14 b18 - 96 b2 b14 b18 - 1.6e2 b3 b14 b18 - 224 b4 b14 b18 - 3.2e2 b5 b14 b18 + 64 b1 b5 b14 b18 - 416 b6 b14 b18 + 128 b2 b6 b14 b18 - 3.2e2 b7 b14 b18 + 192 b3 b7 b14 b18 - 384 b8 b14 b18 + 256 b4 b8 b14 b18 - 448 b9 b14 b18 + 3.2e2 b5 b9 b14 b18 - 4.8e2 b10 b14 b18 + 384 b6 b10 b14 b18 - 96 b11 b14 b18 + 64 b7 b11 b14 b18 - 96 b12 b14 b18 + 64 b8 b12 b14 b18 - 96 b13 b14 b18 + 64 b9 b13 b14 b18 + 1376 b15 b18 - 32 b1 b15 b18 - 64 b2 b15 b18 - 128 b3 b15 b18 - 224 b4 b15 b18 + 64 b1 b4 b15 b18 - 3.2e2 b5 b15 b18 + 128 b2 b5 b15 b18 - 416 b6 b15 b18 + 192 b3 b6 b15 b18 - 3.2e2 b7 b15 b18 + 256 b4 b7 b15 b18 - 384 b8 b15 b18 + 3.2e2 b5 b8 b15 b18 - 448 b9 b15 b18 + 384 b6 b9 b15 b18 - 3.2e2 b10 b15 b18 + 64 b7 b10 b15 b18 - 96 b11 b15 b18 + 64 b8 b11 b15 b18 - 64 b12 b15 b18 + 64 b9 b12 b15 b18 - 96 b13 b15 b18 + 64 b10 b13 b15 b18 - 96 b14 b15 b18 + 64 b11 b14 b15 b18 + 1336 b16 b18 - 32 b1 b16 b18 - 64 b2 b16 b18 - 128 b3 b16 b18 + 64 b1 b3 b16 b18 - 224 b4 b16 b18 + 128 b2 b4 b16 b18 - 3.2e2 b5 b16 b18 + 192 b3 b5 b16 b18 - 416 b6 b16 b18 + 256 b4 b6 b16 b18 - 3.2e2 b7 b16 b18 + 3.2e2 b5 b7 b16 b18 - 384 b8 b16 b18 + 384 b6 b8 b16 b18 - 256 b9 b16 b18 + 64 b7 b9 b16 b18 - 288 b10 b16 b18 + 64 b8 b10 b16 b18 - 3.2e2 b11 b16 b18 + 64 b9 b11 b16 b18 - 96 b12 b16 b18 + 64 b10 b12 b16 b18 - 96 b13 b16 b18 + 64 b11 b13 b16 b18 - 64 b14 b16 b18 + 64 b12 b14 b16 b18 - 96 b15 b16 b18 + 64 b13 b15 b16 b18 + 1.2e3 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 - 3.2e2 b5 b17 b18 + 256 b4 b5 b17 b18 - 416 b6 b17 b18 + 3.2e2 b5 b6 b17 b18 - 3.2e2 b7 b17 b18 + 384 b6 b7 b17 b18 - 192 b8 b17 b18 + 64 b7 b8 b17 b18 - 224 b9 b17 b18 + 64 b8 b9 b17 b18 - 256 b10 b17 b18 + 64 b9 b10 b17 b18 - 288 b11 b17 b18 + 64 b10 b11 b17 b18 - 96 b12 b17 b18 + 64 b11 b12 b17 b18 - 96 b13 b17 b18 + 64 b12 b13 b17 b18 - 96 b14 b17 b18 + 64 b13 b14 b17 b18 - 96 b15 b17 b18 + 64 b14 b15 b17 b18 - 64 b16 b17 b18 + 64 b15 b16 b17 b18 - 6328 b19 + 312 b1 b19 + 624 b2 b19 - 64 b1 b2 b19 + 9.2e2 b3 b19 - 64 b1 b3 b19 - 128 b2 b3 b19 + 1248 b4 b19 - 64 b1 b4 b19 - 128 b2 b4 b19 - 192 b3 b4 b19 + 1528 b5 b19 - 64 b1 b5 b19 - 128 b2 b5 b19 - 192 b3 b5 b19 - 256 b4 b5 b19 + 1872 b6 b19 - 64 b1 b6 b19 - 128 b2 b6 b19 - 192 b3 b6 b19 - 256 b4 b6 b19 - 3.2e2 b5 b6 b19 + 2136 b7 b19 - 64 b1 b7 b19 - 128 b2 b7 b19 - 192 b3 b7 b19 - 256 b4 b7 b19 - 3.2e2 b5 b7 b19 - 384 b6 b7 b19 + 1.92e3 b8 b19 - 64 b1 b8 b19 - 128 b2 b8 b19 - 192 b3 b8 b19 - 256 b4 b8 b19 - 3.2e2 b5 b8 b19 - 384 b6 b8 b19 - 448 b7 b8 b19 + 1.96e3 b9 b19 - 64 b1 b9 b19 - 128 b2 b9 b19 - 192 b3 b9 b19 - 256 b4 b9 b19 - 3.2e2 b5 b9 b19 - 384 b6 b9 b19 - 448 b7 b9 b19 - 288 b8 b9 b19 + 1824 b10 b19 - 32 b1 b10 b19 - 128 b2 b10 b19 - 192 b3 b10 b19 - 256 b4 b10 b19 - 3.2e2 b5 b10 b19 - 384 b6 b10 b19 - 448 b7 b10 b19 - 288 b8 b10 b19 - 64 b9 b10 b19 + 1.8e3 b11 b19 - 64 b1 b11 b19 - 128 b2 b11 b19 - 96 b3 b11 b19 - 256 b4 b11 b19 - 3.2e2 b5 b11 b19 - 384 b6 b11 b19 - 448 b7 b11 b19 - 288 b8 b11 b19 - 352 b9 b11 b19 + 64 b1 b9 b11 b19 - 128 b10 b11 b19 + 128 b2 b10 b11 b19 + 1664 b12 b19 - 64 b1 b12 b19 - 128 b2 b12 b19 - 192 b3 b12 b19 - 256 b4 b12 b19 - 1.6e2 b5 b12 b19 - 384 b6 b12 b19 - 448 b7 b12 b19 - 3.2e2 b8 b12 b19 + 64 b1 b8 b12 b19 - 384 b9 b12 b19 + 128 b2 b9 b12 b19 - 1.6e2 b10 b12 b19 + 192 b3 b10 b12 b19 - 192 b11 b12 b19 + 256 b4 b11 b12 b19 + 1528 b13 b19 - 32 b1 b13 b19 - 96 b2 b13 b19 - 1.6e2 b3 b13 b19 - 224 b4 b13 b19 - 288 b5 b13 b19 - 352 b6 b13 b19 - 224 b7 b13 b19 + 64 b1 b7 b13 b19 - 3.2e2 b8 b13 b19 + 128 b2 b8 b13 b19 - 384 b9 b13 b19 + 192 b3 b9 b13 b19 - 448 b10 b13 b19 + 256 b4 b10 b13 b19 - 224 b11 b13 b19 + 3.2e2 b5 b11 b13 b19 - 256 b12 b13 b19 + 384 b6 b12 b13 b19 + 1504 b14 b19 - 32 b1 b14 b19 - 64 b2 b14 b19 - 128 b3 b14 b19 - 192 b4 b14 b19 - 256 b5 b14 b19 - 352 b6 b14 b19 + 64 b1 b6 b14 b19 - 448 b7 b14 b19 + 128 b2 b7 b14 b19 - 3.2e2 b8 b14 b19 + 192 b3 b8 b14 b19 - 352 b9 b14 b19 + 256 b4 b9 b14 b19 - 448 b10 b14 b19 + 3.2e2 b5 b10 b14 b19 - 256 b11 b14 b19 + 384 b6 b11 b14 b19 - 288 b12 b14 b19 + 448 b7 b12 b14 b19 - 96 b13 b14 b19 + 64 b8 b13 b14 b19 + 1448 b15 b19 - 32 b1 b15 b19 - 64 b2 b15 b19 - 96 b3 b15 b19 - 1.6e2 b4 b15 b19 - 256 b5 b15 b19 + 64 b1 b5 b15 b19 - 352 b6 b15 b19 + 128 b2 b6 b15 b19 - 448 b7 b15 b19 + 192 b3 b7 b15 b19 - 3.2e2 b8 b15 b19 + 256 b4 b8 b15 b19 - 384 b9 b15 b19 + 3.2e2 b5 b9 b15 b19 - 448 b10 b15 b19 + 384 b6 b10 b15 b19 - 4.8e2 b11 b15 b19 + 448 b7 b11 b15 b19 - 96 b12 b15 b19 + 64 b8 b12 b15 b19 - 96 b13 b15 b19 + 64 b9 b13 b15 b19 - 96 b14 b15 b19 + 64 b10 b14 b15 b19 + 1296 b16 b19 - 32 b1 b16 b19 - 64 b2 b16 b19 - 96 b3 b16 b19 - 1.6e2 b4 b16 b19 + 64 b1 b4 b16 b19 - 256 b5 b16 b19 + 128 b2 b5 b16 b19 - 352 b6 b16 b19 + 192 b3 b6 b16 b19 - 448 b7 b16 b19 + 256 b4 b7 b16 b19 - 3.2e2 b8 b16 b19 + 3.2e2 b5 b8 b16 b19 - 384 b9 b16 b19 + 384 b6 b9 b16 b19 - 448 b10 b16 b19 + 448 b7 b10 b16 b19 - 288 b11 b16 b19 + 64 b8 b11 b16 b19 - 96 b12 b16 b19 + 64 b9 b12 b16 b19 - 64 b13 b16 b19 + 64 b10 b13 b16 b19 - 96 b14 b16 b19 + 64 b11 b14 b16 b19 - 96 b15 b16 b19 + 64 b12 b15 b16 b19 + 1272 b17 b19 - 32 b1 b17 b19 - 64 b2 b17 b19 - 128 b3 b17 b19 + 64 b1 b3 b17 b19 - 192 b4 b17 b19 + 128 b2 b4 b17 b19 - 256 b5 b17 b19 + 192 b3 b5 b17 b19 - 352 b6 b17 b19 + 256 b4 b6 b17 b19 - 448 b7 b17 b19 + 3.2e2 b5 b7 b17 b19 - 3.2e2 b8 b17 b19 + 384 b6 b8 b17 b19 - 384 b9 b17 b19 + 448 b7 b9 b17 b19 - 224 b10 b17 b19 + 64 b8 b10 b17 b19 - 256 b11 b17 b19 + 64 b9 b11 b17 b19 - 288 b12 b17 b19 + 64 b10 b12 b17 b19 - 96 b13 b17 b19 + 64 b11 b13 b17 b19 - 96 b14 b17 b19 + 64 b12 b14 b17 b19 - 64 b15 b17 b19 + 64 b13 b15 b17 b19 - 96 b16 b17 b19 + 64 b14 b16 b17 b19 + 1168 b18 b19 - 32 b1 b18 b19 - 96 b2 b18 b19 + 64 b1 b2 b18 b19 - 1.6e2 b3 b18 b19 + 128 b2 b3 b18 b19 - 224 b4 b18 b19 + 192 b3 b4 b18 b19 - 288 b5 b18 b19 + 256 b4 b5 b18 b19 - 352 b6 b18 b19 + 3.2e2 b5 b6 b18 b19 - 448 b7 b18 b19 + 384 b6 b7 b18 b19 - 3.2e2 b8 b18 b19 + 448 b7 b8 b18 b19 - 1.6e2 b9 b18 b19 + 64 b8 b9 b18 b19 - 192 b10 b18 b19 + 64 b9 b10 b18 b19 - 224 b11 b18 b19 + 64 b10 b11 b18 b19 - 256 b12 b18 b19 + 64 b11 b12 b18 b19 - 96 b13 b18 b19 + 64 b12 b13 b18 b19 - 96 b14 b18 b19 + 64 b13 b14 b18 b19 - 96 b15 b18 b19 + 64 b14 b15 b18 b19 - 96 b16 b18 b19 + 64 b15 b16 b18 b19 - 64 b17 b18 b19 + 64 b16 b17 b18 b19 - 6496 b20 + 304 b1 b20 + 600 b2 b20 - 64 b1 b2 b20 + 912 b3 b20 - 64 b1 b3 b20 - 128 b2 b3 b20 + 1192 b4 b20 - 64 b1 b4 b20 - 128 b2 b4 b20 - 192 b3 b4 b20 + 1.52e3 b5 b20 - 64 b1 b5 b20 - 128 b2 b5 b20 - 192 b3 b5 b20 - 256 b4 b5 b20 + 1784 b6 b20 - 64 b1 b6 b20 - 128 b2 b6 b20 - 192 b3 b6 b20 - 256 b4 b6 b20 - 3.2e2 b5 b6 b20 + 2128 b7 b20 - 64 b1 b7 b20 - 128 b2 b7 b20 - 192 b3 b7 b20 - 256 b4 b7 b20 - 3.2e2 b5 b7 b20 - 384 b6 b7 b20 + 2376 b8 b20 - 64 b1 b8 b20 - 128 b2 b8 b20 - 192 b3 b8 b20 - 256 b4 b8 b20 - 3.2e2 b5 b8 b20 - 384 b6 b8 b20 - 448 b7 b8 b20 + 2096 b9 b20 - 64 b1 b9 b20 - 128 b2 b9 b20 - 192 b3 b9 b20 - 256 b4 b9 b20 - 3.2e2 b5 b9 b20 - 384 b6 b9 b20 - 448 b7 b9 b20 - 512 b8 b9 b20 + 2104 b10 b20 - 64 b1 b10 b20 - 128 b2 b10 b20 - 192 b3 b10 b20 - 256 b4 b10 b20 - 3.2e2 b5 b10 b20 - 384 b6 b10 b20 - 448 b7 b10 b20 - 512 b8 b10 b20 - 3.2e2 b9 b10 b20 + 1952 b11 b20 - 64 b1 b11 b20 - 64 b2 b11 b20 - 192 b3 b11 b20 - 256 b4 b11 b20 - 3.2e2 b5 b11 b20 - 384 b6 b11 b20 - 448 b7 b11 b20 - 512 b8 b11 b20 - 3.2e2 b9 b11 b20 - 96 b10 b11 b20 + 64 b1 b10 b11 b20 + 1.8e3 b12 b20 - 32 b1 b12 b20 - 96 b2 b12 b20 - 1.6e2 b3 b12 b20 - 96 b4 b12 b20 - 288 b5 b12 b20 - 352 b6 b12 b20 - 416 b7 b12 b20 - 4.8e2 b8 b12 b20 - 3.2e2 b9 b12 b20 + 64 b1 b9 b12 b20 - 384 b10 b12 b20 + 128 b2 b10 b12 b20 - 1.6e2 b11 b12 b20 + 192 b3 b11 b12 b20 + 1536 b13 b20 - 32 b1 b13 b20 - 64 b2 b13 b20 - 128 b3 b13 b20 - 192 b4 b13 b20 - 256 b5 b13 b20 - 128 b6 b13 b20 - 384 b7 b13 b20 - 4.8e2 b8 b13 b20 + 64 b1 b8 b13 b20 - 3.2e2 b9 b13 b20 + 128 b2 b9 b13 b20 - 384 b10 b13 b20 + 192 b3 b10 b13 b20 - 192 b11 b13 b20 + 256 b4 b11 b13 b20 - 224 b12 b13 b20 + 3.2e2 b5 b12 b13 b20 + 1416 b14 b20 - 32 b1 b14 b20 - 64 b2 b14 b20 - 96 b3 b14 b20 - 1.6e2 b4 b14 b20 - 224 b5 b14 b20 - 288 b6 b14 b20 - 384 b7 b14 b20 + 64 b1 b7 b14 b20 - 224 b8 b14 b20 + 128 b2 b8 b14 b20 - 3.2e2 b9 b14 b20 + 192 b3 b9 b14 b20 - 384 b10 b14 b20 + 256 b4 b10 b14 b20 - 448 b11 b14 b20 + 3.2e2 b5 b11 b14 b20 - 256 b12 b14 b20 + 384 b6 b12 b14 b20 - 288 b13 b14 b20 + 448 b7 b13 b14 b20 + 1424 b15 b20 - 32 b1 b15 b20 - 64 b2 b15 b20 - 96 b3 b15 b20 - 128 b4 b15 b20 - 192 b5 b15 b20 - 288 b6 b15 b20 + 64 b1 b6 b15 b20 - 384 b7 b15 b20 + 128 b2 b7 b15 b20 - 4.8e2 b8 b15 b20 + 192 b3 b8 b15 b20 - 3.2e2 b9 b15 b20 + 256 b4 b9 b15 b20 - 352 b10 b15 b20 + 3.2e2 b5 b10 b15 b20 - 448 b11 b15 b20 + 384 b6 b11 b15 b20 - 288 b12 b15 b20 + 448 b7 b12 b15 b20 - 3.2e2 b13 b15 b20 + 512 b8 b13 b15 b20 - 96 b14 b15 b20 + 64 b9 b14 b15 b20 + 1384 b16 b20 - 32 b1 b16 b20 - 64 b2 b16 b20 - 96 b3 b16 b20 - 128 b4 b16 b20 - 192 b5 b16 b20 + 64 b1 b5 b16 b20 - 288 b6 b16 b20 + 128 b2 b6 b16 b20 - 384 b7 b16 b20 + 192 b3 b7 b16 b20 - 4.8e2 b8 b16 b20 + 256 b4 b8 b16 b20 - 3.2e2 b9 b16 b20 + 3.2e2 b5 b9 b16 b20 - 384 b10 b16 b20 + 384 b6 b10 b16 b20 - 448 b11 b16 b20 + 448 b7 b11 b16 b20 - 4.8e2 b12 b16 b20 + 512 b8 b12 b16 b20 - 96 b13 b16 b20 + 64 b9 b13 b16 b20 - 96 b14 b16 b20 + 64 b10 b14 b16 b20 - 96 b15 b16 b20 + 64 b11 b15 b16 b20 + 1264 b17 b20 - 32 b1 b17 b20 - 64 b2 b17 b20 - 96 b3 b17 b20 - 1.6e2 b4 b17 b20 + 64 b1 b4 b17 b20 - 224 b5 b17 b20 + 128 b2 b5 b17 b20 - 288 b6 b17 b20 + 192 b3 b6 b17 b20 - 384 b7 b17 b20 + 256 b4 b7 b17 b20 - 4.8e2 b8 b17 b20 + 3.2e2 b5 b8 b17 b20 - 3.2e2 b9 b17 b20 + 384 b6 b9 b17 b20 - 384 b10 b17 b20 + 448 b7 b10 b17 b20 - 448 b11 b17 b20 + 512 b8 b11 b17 b20 - 256 b12 b17 b20 + 64 b9 b12 b17 b20 - 96 b13 b17 b20 + 64 b10 b13 b17 b20 - 64 b14 b17 b20 + 64 b11 b14 b17 b20 - 96 b15 b17 b20 + 64 b12 b15 b17 b20 - 96 b16 b17 b20 + 64 b13 b16 b17 b20 + 1256 b18 b20 - 32 b1 b18 b20 - 64 b2 b18 b20 - 128 b3 b18 b20 + 64 b1 b3 b18 b20 - 192 b4 b18 b20 + 128 b2 b4 b18 b20 - 256 b5 b18 b20 + 192 b3 b5 b18 b20 - 3.2e2 b6 b18 b20 + 256 b4 b6 b18 b20 - 384 b7 b18 b20 + 3.2e2 b5 b7 b18 b20 - 4.8e2 b8 b18 b20 + 384 b6 b8 b18 b20 - 3.2e2 b9 b18 b20 + 448 b7 b9 b18 b20 - 384 b10 b18 b20 + 512 b8 b10 b18 b20 - 192 b11 b18 b20 + 64 b9 b11 b18 b20 - 224 b12 b18 b20 + 64 b10 b12 b18 b20 - 256 b13 b18 b20 + 64 b11 b13 b18 b20 - 96 b14 b18 b20 + 64 b12 b14 b18 b20 - 96 b15 b18 b20 + 64 b13 b15 b18 b20 - 64 b16 b18 b20 + 64 b14 b16 b18 b20 - 96 b17 b18 b20 + 64 b15 b17 b18 b20 + 1184 b19 b20 - 32 b1 b19 b20 - 96 b2 b19 b20 + 64 b1 b2 b19 b20 - 1.6e2 b3 b19 b20 + 128 b2 b3 b19 b20 - 224 b4 b19 b20 + 192 b3 b4 b19 b20 - 288 b5 b19 b20 + 256 b4 b5 b19 b20 - 352 b6 b19 b20 + 3.2e2 b5 b6 b19 b20 - 416 b7 b19 b20 + 384 b6 b7 b19 b20 - 4.8e2 b8 b19 b20 + 448 b7 b8 b19 b20 - 3.2e2 b9 b19 b20 + 512 b8 b9 b19 b20 - 128 b10 b19 b20 + 64 b9 b10 b19 b20 - 1.6e2 b11 b19 b20 + 64 b10 b11 b19 b20 - 192 b12 b19 b20 + 64 b11 b12 b19 b20 - 224 b13 b19 b20 + 64 b12 b13 b19 b20 - 96 b14 b19 b20 + 64 b13 b14 b19 b20 - 96 b15 b19 b20 + 64 b14 b15 b19 b20 - 96 b16 b19 b20 + 64 b15 b16 b19 b20 - 96 b17 b19 b20 + 64 b16 b17 b19 b20 - 64 b18 b19 b20 + 64 b17 b18 b19 b20 - 6656 b21 + 296 b1 b21 + 592 b2 b21 - 64 b1 b2 b21 + 872 b3 b21 - 64 b1 b3 b21 - 128 b2 b3 b21 + 1184 b4 b21 - 64 b1 b4 b21 - 128 b2 b4 b21 - 192 b3 b4 b21 + 1448 b5 b21 - 64 b1 b5 b21 - 128 b2 b5 b21 - 192 b3 b5 b21 - 256 b4 b5 b21 + 1776 b6 b21 - 64 b1 b6 b21 - 128 b2 b6 b21 - 192 b3 b6 b21 - 256 b4 b6 b21 - 3.2e2 b5 b6 b21 + 2024 b7 b21 - 64 b1 b7 b21 - 128 b2 b7 b21 - 192 b3 b7 b21 - 256 b4 b7 b21 - 3.2e2 b5 b7 b21 - 384 b6 b7 b21 + 2368 b8 b21 - 64 b1 b8 b21 - 128 b2 b8 b21 - 192 b3 b8 b21 - 256 b4 b8 b21 - 3.2e2 b5 b8 b21 - 384 b6 b8 b21 - 448 b7 b8 b21 + 2.6e3 b9 b21 - 64 b1 b9 b21 - 128 b2 b9 b21 - 192 b3 b9 b21 - 256 b4 b9 b21 - 3.2e2 b5 b9 b21 - 384 b6 b9 b21 - 448 b7 b9 b21 - 512 b8 b9 b21 + 2.24e3 b10 b21 - 64 b1 b10 b21 - 128 b2 b10 b21 - 192 b3 b10 b21 - 256 b4 b10 b21 - 3.2e2 b5 b10 b21 - 384 b6 b10 b21 - 448 b7 b10 b21 - 512 b8 b10 b21 - 576 b9 b10 b21 + 2104 b11 b21 - 96 b2 b11 b21 - 1.6e2 b3 b11 b21 - 224 b4 b11 b21 - 288 b5 b11 b21 - 352 b6 b11 b21 - 416 b7 b11 b21 - 4.8e2 b8 b11 b21 - 544 b9 b11 b21 - 3.2e2 b10 b11 b21 + 1824 b12 b21 - 32 b1 b12 b21 - 64 b2 b12 b21 - 32 b3 b12 b21 - 192 b4 b12 b21 - 256 b5 b12 b21 - 3.2e2 b6 b12 b21 - 384 b7 b12 b21 - 448 b8 b12 b21 - 512 b9 b12 b21 - 3.2e2 b10 b12 b21 + 64 b1 b10 b12 b21 - 128 b11 b12 b21 + 128 b2 b11 b12 b21 + 1688 b13 b21 - 32 b1 b13 b21 - 64 b2 b13 b21 - 96 b3 b13 b21 - 1.6e2 b4 b13 b21 - 64 b5 b13 b21 - 288 b6 b13 b21 - 352 b7 b13 b21 - 416 b8 b13 b21 - 512 b9 b13 b21 + 64 b1 b9 b13 b21 - 3.2e2 b10 b13 b21 + 128 b2 b10 b13 b21 - 384 b11 b13 b21 + 192 b3 b11 b13 b21 - 192 b12 b13 b21 + 256 b4 b12 b13 b21 + 1456 b14 b21 - 32 b1 b14 b21 - 64 b2 b14 b21 - 96 b3 b14 b21 - 128 b4 b14 b21 - 192 b5 b14 b21 - 256 b6 b14 b21 - 96 b7 b14 b21 - 416 b8 b14 b21 + 64 b1 b8 b14 b21 - 512 b9 b14 b21 + 128 b2 b9 b14 b21 - 3.2e2 b10 b14 b21 + 192 b3 b10 b14 b21 - 384 b11 b14 b21 + 256 b4 b11 b14 b21 - 224 b12 b14 b21 + 3.2e2 b5 b12 b14 b21 - 256 b13 b14 b21 + 384 b6 b13 b14 b21 + 1352 b15 b21 - 32 b1 b15 b21 - 64 b2 b15 b21 - 96 b3 b15 b21 - 128 b4 b15 b21 - 1.6e2 b5 b15 b21 - 224 b6 b15 b21 - 3.2e2 b7 b15 b21 + 64 b1 b7 b15 b21 - 416 b8 b15 b21 + 128 b2 b8 b15 b21 - 224 b9 b15 b21 + 192 b3 b9 b15 b21 - 3.2e2 b10 b15 b21 + 256 b4 b10 b15 b21 - 384 b11 b15 b21 + 3.2e2 b5 b11 b15 b21 - 448 b12 b15 b21 + 384 b6 b12 b15 b21 - 288 b13 b15 b21 + 448 b7 b13 b15 b21 - 3.2e2 b14 b15 b21 + 512 b8 b14 b15 b21 + 1392 b16 b21 - 32 b1 b16 b21 - 64 b2 b16 b21 - 96 b3 b16 b21 - 128 b4 b16 b21 - 1.6e2 b5 b16 b21 - 224 b6 b16 b21 + 64 b1 b6 b16 b21 - 3.2e2 b7 b16 b21 + 128 b2 b7 b16 b21 - 416 b8 b16 b21 + 192 b3 b8 b16 b21 - 512 b9 b16 b21 + 256 b4 b9 b16 b21 - 3.2e2 b10 b16 b21 + 3.2e2 b5 b10 b16 b21 - 352 b11 b16 b21 + 384 b6 b11 b16 b21 - 448 b12 b16 b21 + 448 b7 b12 b16 b21 - 3.2e2 b13 b16 b21 + 512 b8 b13 b16 b21 - 352 b14 b16 b21 + 576 b9 b14 b16 b21 - 96 b15 b16 b21 + 64 b10 b15 b16 b21 + 1368 b17 b21 - 32 b1 b17 b21 - 64 b2 b17 b21 - 96 b3 b17 b21 - 128 b4 b17 b21 - 192 b5 b17 b21 + 64 b1 b5 b17 b21 - 256 b6 b17 b21 + 128 b2 b6 b17 b21 - 3.2e2 b7 b17 b21 + 192 b3 b7 b17 b21 - 416 b8 b17 b21 + 256 b4 b8 b17 b21 - 512 b9 b17 b21 + 3.2e2 b5 b9 b17 b21 - 3.2e2 b10 b17 b21 + 384 b6 b10 b17 b21 - 384 b11 b17 b21 + 448 b7 b11 b17 b21 - 448 b12 b17 b21 + 512 b8 b12 b17 b21 - 4.8e2 b13 b17 b21 + 576 b9 b13 b17 b21 - 96 b14 b17 b21 + 64 b10 b14 b17 b21 - 96 b15 b17 b21 + 64 b11 b15 b17 b21 - 96 b16 b17 b21 + 64 b12 b16 b17 b21 + 1.28e3 b18 b21 - 32 b1 b18 b21 - 64 b2 b18 b21 - 96 b3 b18 b21 - 1.6e2 b4 b18 b21 + 64 b1 b4 b18 b21 - 224 b5 b18 b21 + 128 b2 b5 b18 b21 - 288 b6 b18 b21 + 192 b3 b6 b18 b21 - 352 b7 b18 b21 + 256 b4 b7 b18 b21 - 416 b8 b18 b21 + 3.2e2 b5 b8 b18 b21 - 512 b9 b18 b21 + 384 b6 b9 b18 b21 - 3.2e2 b10 b18 b21 + 448 b7 b10 b18 b21 - 384 b11 b18 b21 + 512 b8 b11 b18 b21 - 448 b12 b18 b21 + 576 b9 b12 b18 b21 - 224 b13 b18 b21 + 64 b10 b13 b18 b21 - 96 b14 b18 b21 + 64 b11 b14 b18 b21 - 64 b15 b18 b21 + 64 b12 b15 b18 b21 - 96 b16 b18 b21 + 64 b13 b16 b18 b21 - 96 b17 b18 b21 + 64 b14 b17 b18 b21 + 1288 b19 b21 - 32 b1 b19 b21 - 64 b2 b19 b21 - 128 b3 b19 b21 + 64 b1 b3 b19 b21 - 192 b4 b19 b21 + 128 b2 b4 b19 b21 - 256 b5 b19 b21 + 192 b3 b5 b19 b21 - 3.2e2 b6 b19 b21 + 256 b4 b6 b19 b21 - 384 b7 b19 b21 + 3.2e2 b5 b7 b19 b21 - 448 b8 b19 b21 + 384 b6 b8 b19 b21 - 512 b9 b19 b21 + 448 b7 b9 b19 b21 - 3.2e2 b10 b19 b21 + 512 b8 b10 b19 b21 - 384 b11 b19 b21 + 576 b9 b11 b19 b21 - 1.6e2 b12 b19 b21 + 64 b10 b12 b19 b21 - 192 b13 b19 b21 + 64 b11 b13 b19 b21 - 224 b14 b19 b21 + 64 b12 b14 b19 b21 - 96 b15 b19 b21 + 64 b13 b15 b19 b21 - 96 b16 b19 b21 + 64 b14 b16 b19 b21 - 64 b17 b19 b21 + 64 b15 b17 b19 b21 - 96 b18 b19 b21 + 64 b16 b18 b19 b21 + 1232 b20 b21 - 32 b1 b20 b21 - 96 b2 b20 b21 + 64 b1 b2 b20 b21 - 1.6e2 b3 b20 b21 + 128 b2 b3 b20 b21 - 224 b4 b20 b21 + 192 b3 b4 b20 b21 - 288 b5 b20 b21 + 256 b4 b5 b20 b21 - 352 b6 b20 b21 + 3.2e2 b5 b6 b20 b21 - 416 b7 b20 b21 + 384 b6 b7 b20 b21 - 4.8e2 b8 b20 b21 + 448 b7 b8 b20 b21 - 544 b9 b20 b21 + 512 b8 b9 b20 b21 - 3.2e2 b10 b20 b21 + 576 b9 b10 b20 b21 - 96 b11 b20 b21 + 64 b10 b11 b20 b21 - 128 b12 b20 b21 + 64 b11 b12 b20 b21 - 1.6e2 b13 b20 b21 + 64 b12 b13 b20 b21 - 192 b14 b20 b21 + 64 b13 b14 b20 b21 - 96 b15 b20 b21 + 64 b14 b15 b20 b21 - 96 b16 b20 b21 + 64 b15 b16 b20 b21 - 96 b17 b20 b21 + 64 b16 b17 b20 b21 - 96 b18 b20 b21 + 64 b17 b18 b20 b21 - 64 b19 b20 b21 + 64 b18 b19 b20 b21 - 6768 b22 + 288 b1 b22 + 568 b2 b22 - 64 b1 b2 b22 + 864 b3 b22 - 64 b1 b3 b22 - 128 b2 b3 b22 + 1128 b4 b22 - 64 b1 b4 b22 - 128 b2 b4 b22 - 192 b3 b4 b22 + 1.44e3 b5 b22 - 64 b1 b5 b22 - 128 b2 b5 b22 - 192 b3 b5 b22 - 256 b4 b5 b22 + 1688 b6 b22 - 64 b1 b6 b22 - 128 b2 b6 b22 - 192 b3 b6 b22 - 256 b4 b6 b22 - 3.2e2 b5 b6 b22 + 2016 b7 b22 - 64 b1 b7 b22 - 128 b2 b7 b22 - 192 b3 b7 b22 - 256 b4 b7 b22 - 3.2e2 b5 b7 b22 - 384 b6 b7 b22 + 2248 b8 b22 - 64 b1 b8 b22 - 128 b2 b8 b22 - 192 b3 b8 b22 - 256 b4 b8 b22 - 3.2e2 b5 b8 b22 - 384 b6 b8 b22 - 448 b7 b8 b22 + 2592 b9 b22 - 64 b1 b9 b22 - 128 b2 b9 b22 - 192 b3 b9 b22 - 256 b4 b9 b22 - 3.2e2 b5 b9 b22 - 384 b6 b9 b22 - 448 b7 b9 b22 - 512 b8 b9 b22 + 2.6e3 b10 b22 - 32 b1 b10 b22 - 96 b2 b10 b22 - 1.6e2 b3 b10 b22 - 224 b4 b10 b22 - 288 b5 b10 b22 - 352 b6 b10 b22 - 416 b7 b10 b22 - 4.8e2 b8 b10 b22 - 544 b9 b10 b22 + 2096 b11 b22 - 32 b1 b11 b22 - 64 b2 b11 b22 - 128 b3 b11 b22 - 192 b4 b11 b22 - 256 b5 b11 b22 - 3.2e2 b6 b11 b22 - 384 b7 b11 b22 - 448 b8 b11 b22 - 512 b9 b11 b22 - 544 b10 b11 b22 + 1.96e3 b12 b22 - 32 b1 b12 b22 - 96 b3 b12 b22 - 1.6e2 b4 b12 b22 - 224 b5 b12 b22 - 288 b6 b12 b22 - 352 b7 b12 b22 - 416 b8 b12 b22 - 4.8e2 b9 b12 b22 - 512 b10 b12 b22 - 3.2e2 b11 b12 b22 + 64 b1 b11 b12 b22 + 1728 b13 b22 - 32 b1 b13 b22 - 64 b2 b13 b22 - 96 b3 b13 b22 - 192 b5 b13 b22 - 256 b6 b13 b22 - 3.2e2 b7 b13 b22 - 384 b8 b13 b22 - 448 b9 b13 b22 - 512 b10 b13 b22 + 64 b1 b10 b13 b22 - 3.2e2 b11 b13 b22 + 128 b2 b11 b13 b22 - 1.6e2 b12 b13 b22 + 192 b3 b12 b13 b22 + 1608 b14 b22 - 32 b1 b14 b22 - 64 b2 b14 b22 - 96 b3 b14 b22 - 128 b4 b14 b22 - 1.6e2 b5 b14 b22 - 32 b6 b14 b22 - 288 b7 b14 b22 - 352 b8 b14 b22 - 448 b9 b14 b22 + 64 b1 b9 b14 b22 - 512 b10 b14 b22 + 128 b2 b10 b14 b22 - 3.2e2 b11 b14 b22 + 192 b3 b11 b14 b22 - 384 b12 b14 b22 + 256 b4 b12 b14 b22 - 224 b13 b14 b22 + 3.2e2 b5 b13 b14 b22 + 1408 b15 b22 - 32 b1 b15 b22 - 64 b2 b15 b22 - 96 b3 b15 b22 - 128 b4 b15 b22 - 1.6e2 b5 b15 b22 - 192 b6 b15 b22 - 256 b7 b15 b22 - 96 b8 b15 b22 + 64 b1 b8 b15 b22 - 448 b9 b15 b22 + 128 b2 b9 b15 b22 - 512 b10 b15 b22 + 192 b3 b10 b15 b22 - 3.2e2 b11 b15 b22 + 256 b4 b11 b15 b22 - 384 b12 b15 b22 + 3.2e2 b5 b12 b15 b22 - 256 b13 b15 b22 + 384 b6 b13 b15 b22 - 288 b14 b15 b22 + 448 b7 b14 b15 b22 + 1336 b16 b22 - 32 b1 b16 b22 - 64 b2 b16 b22 - 96 b3 b16 b22 - 128 b4 b16 b22 - 1.6e2 b5 b16 b22 - 192 b6 b16 b22 - 256 b7 b16 b22 + 64 b1 b7 b16 b22 - 352 b8 b16 b22 + 128 b2 b8 b16 b22 - 448 b9 b16 b22 + 192 b3 b9 b16 b22 - 224 b10 b16 b22 + 256 b4 b10 b16 b22 - 3.2e2 b11 b16 b22 + 3.2e2 b5 b11 b16 b22 - 384 b12 b16 b22 + 384 b6 b12 b16 b22 - 448 b13 b16 b22 + 448 b7 b13 b16 b22 - 3.2e2 b14 b16 b22 + 512 b8 b14 b16 b22 - 352 b15 b16 b22 + 576 b9 b15 b16 b22 + 1392 b17 b22 - 32 b1 b17 b22 - 64 b2 b17 b22 - 96 b3 b17 b22 - 128 b4 b17 b22 - 1.6e2 b5 b17 b22 - 224 b6 b17 b22 + 64 b1 b6 b17 b22 - 288 b7 b17 b22 + 128 b2 b7 b17 b22 - 352 b8 b17 b22 + 192 b3 b8 b17 b22 - 448 b9 b17 b22 + 256 b4 b9 b17 b22 - 512 b10 b17 b22 + 3.2e2 b5 b10 b17 b22 - 3.2e2 b11 b17 b22 + 384 b6 b11 b17 b22 - 352 b12 b17 b22 + 448 b7 b12 b17 b22 - 448 b13 b17 b22 + 512 b8 b13 b17 b22 - 352 b14 b17 b22 + 576 b9 b14 b17 b22 - 352 b15 b17 b22 + 576 b10 b15 b17 b22 - 96 b16 b17 b22 + 64 b11 b16 b17 b22 + 1384 b18 b22 - 32 b1 b18 b22 - 64 b2 b18 b22 - 96 b3 b18 b22 - 128 b4 b18 b22 - 192 b5 b18 b22 + 64 b1 b5 b18 b22 - 256 b6 b18 b22 + 128 b2 b6 b18 b22 - 3.2e2 b7 b18 b22 + 192 b3 b7 b18 b22 - 384 b8 b18 b22 + 256 b4 b8 b18 b22 - 448 b9 b18 b22 + 3.2e2 b5 b9 b18 b22 - 512 b10 b18 b22 + 384 b6 b10 b18 b22 - 3.2e2 b11 b18 b22 + 448 b7 b11 b18 b22 - 384 b12 b18 b22 + 512 b8 b12 b18 b22 - 448 b13 b18 b22 + 576 b9 b13 b18 b22 - 448 b14 b18 b22 + 576 b10 b14 b18 b22 - 96 b15 b18 b22 + 64 b11 b15 b18 b22 - 96 b16 b18 b22 + 64 b12 b16 b18 b22 - 96 b17 b18 b22 + 64 b13 b17 b18 b22 + 1328 b19 b22 - 32 b1 b19 b22 - 64 b2 b19 b22 - 96 b3 b19 b22 - 1.6e2 b4 b19 b22 + 64 b1 b4 b19 b22 - 224 b5 b19 b22 + 128 b2 b5 b19 b22 - 288 b6 b19 b22 + 192 b3 b6 b19 b22 - 352 b7 b19 b22 + 256 b4 b7 b19 b22 - 416 b8 b19 b22 + 3.2e2 b5 b8 b19 b22 - 4.8e2 b9 b19 b22 + 384 b6 b9 b19 b22 - 512 b10 b19 b22 + 448 b7 b10 b19 b22 - 3.2e2 b11 b19 b22 + 512 b8 b11 b19 b22 - 384 b12 b19 b22 + 576 b9 b12 b19 b22 - 416 b13 b19 b22 + 576 b10 b13 b19 b22 - 192 b14 b19 b22 + 64 b11 b14 b19 b22 - 96 b15 b19 b22 + 64 b12 b15 b19 b22 - 64 b16 b19 b22 + 64 b13 b16 b19 b22 - 96 b17 b19 b22 + 64 b14 b17 b19 b22 - 96 b18 b19 b22 + 64 b15 b18 b19 b22 + 1336 b20 b22 - 32 b1 b20 b22 - 64 b2 b20 b22 - 128 b3 b20 b22 + 64 b1 b3 b20 b22 - 192 b4 b20 b22 + 128 b2 b4 b20 b22 - 256 b5 b20 b22 + 192 b3 b5 b20 b22 - 3.2e2 b6 b20 b22 + 256 b4 b6 b20 b22 - 384 b7 b20 b22 + 3.2e2 b5 b7 b20 b22 - 448 b8 b20 b22 + 384 b6 b8 b20 b22 - 512 b9 b20 b22 + 448 b7 b9 b20 b22 - 544 b10 b20 b22 + 512 b8 b10 b20 b22 - 3.2e2 b11 b20 b22 + 576 b9 b11 b20 b22 - 352 b12 b20 b22 + 576 b10 b12 b20 b22 - 128 b13 b20 b22 + 64 b11 b13 b20 b22 - 1.6e2 b14 b20 b22 + 64 b12 b14 b20 b22 - 192 b15 b20 b22 + 64 b13 b15 b20 b22 - 96 b16 b20 b22 + 64 b14 b16 b20 b22 - 96 b17 b20 b22 + 64 b15 b17 b20 b22 - 64 b18 b20 b22 + 64 b16 b18 b20 b22 - 96 b19 b20 b22 + 64 b17 b19 b20 b22 + 1296 b21 b22 - 32 b1 b21 b22 - 96 b2 b21 b22 + 64 b1 b2 b21 b22 - 1.6e2 b3 b21 b22 + 128 b2 b3 b21 b22 - 224 b4 b21 b22 + 192 b3 b4 b21 b22 - 288 b5 b21 b22 + 256 b4 b5 b21 b22 - 352 b6 b21 b22 + 3.2e2 b5 b6 b21 b22 - 416 b7 b21 b22 + 384 b6 b7 b21 b22 - 4.8e2 b8 b21 b22 + 448 b7 b8 b21 b22 - 544 b9 b21 b22 + 512 b8 b9 b21 b22 - 576 b10 b21 b22 + 576 b9 b10 b21 b22 - 3.2e2 b11 b21 b22 + 576 b10 b11 b21 b22 - 64 b12 b21 b22 + 64 b11 b12 b21 b22 - 96 b13 b21 b22 + 64 b12 b13 b21 b22 - 128 b14 b21 b22 + 64 b13 b14 b21 b22 - 1.6e2 b15 b21 b22 + 64 b14 b15 b21 b22 - 96 b16 b21 b22 + 64 b15 b16 b21 b22 - 96 b17 b21 b22 + 64 b16 b17 b21 b22 - 96 b18 b21 b22 + 64 b17 b18 b21 b22 - 96 b19 b21 b22 + 64 b18 b19 b21 b22 - 64 b20 b21 b22 + 64 b19 b20 b21 b22 - 6.72e3 b23 + 2.8e2 b1 b23 + 5.6e2 b2 b23 - 64 b1 b2 b23 + 824 b3 b23 - 64 b1 b3 b23 - 128 b2 b3 b23 + 1.12e3 b4 b23 - 64 b1 b4 b23 - 128 b2 b4 b23 - 192 b3 b4 b23 + 1368 b5 b23 - 64 b1 b5 b23 - 128 b2 b5 b23 - 192 b3 b5 b23 - 256 b4 b5 b23 + 1.68e3 b6 b23 - 64 b1 b6 b23 - 128 b2 b6 b23 - 192 b3 b6 b23 - 256 b4 b6 b23 - 3.2e2 b5 b6 b23 + 1912 b7 b23 - 64 b1 b7 b23 - 128 b2 b7 b23 - 192 b3 b7 b23 - 256 b4 b7 b23 - 3.2e2 b5 b7 b23 - 384 b6 b7 b23 + 2.24e3 b8 b23 - 64 b1 b8 b23 - 128 b2 b8 b23 - 192 b3 b8 b23 - 256 b4 b8 b23 - 3.2e2 b5 b8 b23 - 384 b6 b8 b23 - 448 b7 b8 b23 + 2248 b9 b23 - 32 b1 b9 b23 - 96 b2 b9 b23 - 1.6e2 b3 b9 b23 - 224 b4 b9 b23 - 288 b5 b9 b23 - 352 b6 b9 b23 - 416 b7 b9 b23 - 4.8e2 b8 b9 b23 + 2368 b10 b23 - 32 b1 b10 b23 - 64 b2 b10 b23 - 128 b3 b10 b23 - 192 b4 b10 b23 - 256 b5 b10 b23 - 3.2e2 b6 b10 b23 - 384 b7 b10 b23 - 448 b8 b10 b23 - 4.8e2 b9 b10 b23 + 2376 b11 b23 - 32 b1 b11 b23 - 64 b2 b11 b23 - 96 b3 b11 b23 - 1.6e2 b4 b11 b23 - 224 b5 b11 b23 - 288 b6 b11 b23 - 352 b7 b11 b23 - 416 b8 b11 b23 - 448 b9 b11 b23 - 4.8e2 b10 b11 b23 + 1.92e3 b12 b23 - 64 b2 b12 b23 - 96 b3 b12 b23 - 128 b4 b12 b23 - 192 b5 b12 b23 - 256 b6 b12 b23 - 3.2e2 b7 b12 b23 - 384 b8 b12 b23 - 416 b9 b12 b23 - 448 b10 b12 b23 - 4.8e2 b11 b12 b23 + 1.8e3 b13 b23 - 32 b1 b13 b23 - 64 b2 b13 b23 - 128 b4 b13 b23 - 1.6e2 b5 b13 b23 - 224 b6 b13 b23 - 288 b7 b13 b23 - 352 b8 b13 b23 - 384 b9 b13 b23 - 416 b10 b13 b23 - 4.8e2 b11 b13 b23 + 64 b1 b11 b13 b23 - 3.2e2 b12 b13 b23 + 128 b2 b12 b13 b23 + 1.6e3 b14 b23 - 32 b1 b14 b23 - 64 b2 b14 b23 - 96 b3 b14 b23 - 128 b4 b14 b23 - 192 b6 b14 b23 - 256 b7 b14 b23 - 3.2e2 b8 b14 b23 - 352 b9 b14 b23 - 416 b10 b14 b23 + 64 b1 b10 b14 b23 - 4.8e2 b11 b14 b23 + 128 b2 b11 b14 b23 - 3.2e2 b12 b14 b23 + 192 b3 b12 b14 b23 - 192 b13 b14 b23 + 256 b4 b13 b14 b23 + 1512 b15 b23 - 32 b1 b15 b23 - 64 b2 b15 b23 - 96 b3 b15 b23 - 128 b4 b15 b23 - 1.6e2 b5 b15 b23 - 192 b6 b15 b23 - 288 b8 b15 b23 - 352 b9 b15 b23 + 64 b1 b9 b15 b23 - 416 b10 b15 b23 + 128 b2 b10 b15 b23 - 4.8e2 b11 b15 b23 + 192 b3 b11 b15 b23 - 3.2e2 b12 b15 b23 + 256 b4 b12 b15 b23 - 384 b13 b15 b23 + 3.2e2 b5 b13 b15 b23 - 256 b14 b15 b23 + 384 b6 b14 b15 b23 + 1.36e3 b16 b23 - 32 b1 b16 b23 - 64 b2 b16 b23 - 96 b3 b16 b23 - 128 b4 b16 b23 - 1.6e2 b5 b16 b23 - 192 b6 b16 b23 - 224 b7 b16 b23 - 288 b8 b16 b23 + 64 b1 b8 b16 b23 - 96 b9 b16 b23 + 128 b2 b9 b16 b23 - 416 b10 b16 b23 + 192 b3 b10 b16 b23 - 4.8e2 b11 b16 b23 + 256 b4 b11 b16 b23 - 3.2e2 b12 b16 b23 + 3.2e2 b5 b12 b16 b23 - 384 b13 b16 b23 + 384 b6 b13 b16 b23 - 288 b14 b16 b23 + 448 b7 b14 b16 b23 - 3.2e2 b15 b16 b23 + 512 b8 b15 b16 b23 + 1.32e3 b17 b23 - 32 b1 b17 b23 - 64 b2 b17 b23 - 96 b3 b17 b23 - 128 b4 b17 b23 - 1.6e2 b5 b17 b23 - 192 b6 b17 b23 - 256 b7 b17 b23 + 64 b1 b7 b17 b23 - 3.2e2 b8 b17 b23 + 128 b2 b8 b17 b23 - 352 b9 b17 b23 + 192 b3 b9 b17 b23 - 416 b10 b17 b23 + 256 b4 b10 b17 b23 - 224 b11 b17 b23 + 3.2e2 b5 b11 b17 b23 - 3.2e2 b12 b17 b23 + 384 b6 b12 b17 b23 - 384 b13 b17 b23 + 448 b7 b13 b17 b23 - 448 b14 b17 b23 + 512 b8 b14 b17 b23 - 3.2e2 b15 b17 b23 + 512 b9 b15 b17 b23 - 3.2e2 b16 b17 b23 + 512 b10 b16 b17 b23 + 1376 b18 b23 - 32 b1 b18 b23 - 64 b2 b18 b23 - 96 b3 b18 b23 - 128 b4 b18 b23 - 1.6e2 b5 b18 b23 - 224 b6 b18 b23 + 64 b1 b6 b18 b23 - 288 b7 b18 b23 + 128 b2 b7 b18 b23 - 352 b8 b18 b23 + 192 b3 b8 b18 b23 - 384 b9 b18 b23 + 256 b4 b9 b18 b23 - 416 b10 b18 b23 + 3.2e2 b5 b10 b18 b23 - 4.8e2 b11 b18 b23 + 384 b6 b11 b18 b23 - 3.2e2 b12 b18 b23 + 448 b7 b12 b18 b23 - 352 b13 b18 b23 + 512 b8 b13 b18 b23 - 416 b14 b18 b23 + 512 b9 b14 b18 b23 - 3.2e2 b15 b18 b23 + 512 b10 b15 b18 b23 - 3.2e2 b16 b18 b23 + 512 b11 b16 b18 b23 - 96 b17 b18 b23 + 64 b12 b17 b18 b23 + 1384 b19 b23 - 32 b1 b19 b23 - 64 b2 b19 b23 - 96 b3 b19 b23 - 128 b4 b19 b23 - 192 b5 b19 b23 + 64 b1 b5 b19 b23 - 256 b6 b19 b23 + 128 b2 b6 b19 b23 - 3.2e2 b7 b19 b23 + 192 b3 b7 b19 b23 - 384 b8 b19 b23 + 256 b4 b8 b19 b23 - 416 b9 b19 b23 + 3.2e2 b5 b9 b19 b23 - 448 b10 b19 b23 + 384 b6 b10 b19 b23 - 4.8e2 b11 b19 b23 + 448 b7 b11 b19 b23 - 3.2e2 b12 b19 b23 + 512 b8 b12 b19 b23 - 352 b13 b19 b23 + 512 b9 b13 b19 b23 - 384 b14 b19 b23 + 512 b10 b14 b19 b23 - 384 b15 b19 b23 + 512 b11 b15 b19 b23 - 96 b16 b19 b23 + 64 b12 b16 b19 b23 - 96 b17 b19 b23 + 64 b13 b17 b19 b23 - 96 b18 b19 b23 + 64 b14 b18 b19 b23 + 1344 b20 b23 - 32 b1 b20 b23 - 64 b2 b20 b23 - 96 b3 b20 b23 - 1.6e2 b4 b20 b23 + 64 b1 b4 b20 b23 - 224 b5 b20 b23 + 128 b2 b5 b20 b23 - 288 b6 b20 b23 + 192 b3 b6 b20 b23 - 352 b7 b20 b23 + 256 b4 b7 b20 b23 - 416 b8 b20 b23 + 3.2e2 b5 b8 b20 b23 - 448 b9 b20 b23 + 384 b6 b9 b20 b23 - 4.8e2 b10 b20 b23 + 448 b7 b10 b20 b23 - 512 b11 b20 b23 + 512 b8 b11 b20 b23 - 288 b12 b20 b23 + 512 b9 b12 b20 b23 - 3.2e2 b13 b20 b23 + 512 b10 b13 b20 b23 - 352 b14 b20 b23 + 512 b11 b14 b20 b23 - 1.6e2 b15 b20 b23 + 64 b12 b15 b20 b23 - 96 b16 b20 b23 + 64 b13 b16 b20 b23 - 64 b17 b20 b23 + 64 b14 b17 b20 b23 - 96 b18 b20 b23 + 64 b15 b18 b20 b23 - 96 b19 b20 b23 + 64 b16 b19 b20 b23 + 1352 b21 b23 - 32 b1 b21 b23 - 64 b2 b21 b23 - 128 b3 b21 b23 + 64 b1 b3 b21 b23 - 192 b4 b21 b23 + 128 b2 b4 b21 b23 - 256 b5 b21 b23 + 192 b3 b5 b21 b23 - 3.2e2 b6 b21 b23 + 256 b4 b6 b21 b23 - 384 b7 b21 b23 + 3.2e2 b5 b7 b21 b23 - 448 b8 b21 b23 + 384 b6 b8 b21 b23 - 4.8e2 b9 b21 b23 + 448 b7 b9 b21 b23 - 512 b10 b21 b23 + 512 b8 b10 b21 b23 - 512 b11 b21 b23 + 512 b9 b11 b21 b23 - 288 b12 b21 b23 + 512 b10 b12 b21 b23 - 288 b13 b21 b23 + 512 b11 b13 b21 b23 - 96 b14 b21 b23 + 64 b12 b14 b21 b23 - 128 b15 b21 b23 + 64 b13 b15 b21 b23 - 1.6e2 b16 b21 b23 + 64 b14 b16 b21 b23 - 96 b17 b21 b23 + 64 b15 b17 b21 b23 - 96 b18 b21 b23 + 64 b16 b18 b21 b23 - 64 b19 b21 b23 + 64 b17 b19 b21 b23 - 96 b20 b21 b23 + 64 b18 b20 b21 b23 + 1328 b22 b23 - 32 b1 b22 b23 - 96 b2 b22 b23 + 64 b1 b2 b22 b23 - 1.6e2 b3 b22 b23 + 128 b2 b3 b22 b23 - 224 b4 b22 b23 + 192 b3 b4 b22 b23 - 288 b5 b22 b23 + 256 b4 b5 b22 b23 - 352 b6 b22 b23 + 3.2e2 b5 b6 b22 b23 - 416 b7 b22 b23 + 384 b6 b7 b22 b23 - 4.8e2 b8 b22 b23 + 448 b7 b8 b22 b23 - 512 b9 b22 b23 + 512 b8 b9 b22 b23 - 512 b10 b22 b23 + 512 b9 b10 b22 b23 - 512 b11 b22 b23 + 512 b10 b11 b22 b23 - 288 b12 b22 b23 + 512 b11 b12 b22 b23 - 64 b13 b22 b23 + 64 b12 b13 b22 b23 - 64 b14 b22 b23 + 64 b13 b14 b22 b23 - 96 b15 b22 b23 + 64 b14 b15 b22 b23 - 128 b16 b22 b23 + 64 b15 b16 b22 b23 - 96 b17 b22 b23 + 64 b16 b17 b22 b23 - 96 b18 b22 b23 + 64 b17 b18 b22 b23 - 96 b19 b22 b23 + 64 b18 b19 b22 b23 - 96 b20 b22 b23 + 64 b19 b20 b22 b23 - 64 b21 b22 b23 + 64 b20 b21 b22 b23 - 6504 b24 + 272 b1 b24 + 536 b2 b24 - 64 b1 b2 b24 + 816 b3 b24 - 64 b1 b3 b24 - 128 b2 b3 b24 + 1064 b4 b24 - 64 b1 b4 b24 - 128 b2 b4 b24 - 192 b3 b4 b24 + 1.36e3 b5 b24 - 64 b1 b5 b24 - 128 b2 b5 b24 - 192 b3 b5 b24 - 256 b4 b5 b24 + 1592 b6 b24 - 64 b1 b6 b24 - 128 b2 b6 b24 - 192 b3 b6 b24 - 256 b4 b6 b24 - 3.2e2 b5 b6 b24 + 1904 b7 b24 - 64 b1 b7 b24 - 128 b2 b7 b24 - 192 b3 b7 b24 - 256 b4 b7 b24 - 3.2e2 b5 b7 b24 - 384 b6 b7 b24 + 1912 b8 b24 - 32 b1 b8 b24 - 96 b2 b8 b24 - 1.6e2 b3 b8 b24 - 224 b4 b8 b24 - 288 b5 b8 b24 - 352 b6 b8 b24 - 416 b7 b8 b24 + 2016 b9 b24 - 32 b1 b9 b24 - 64 b2 b9 b24 - 128 b3 b9 b24 - 192 b4 b9 b24 - 256 b5 b9 b24 - 3.2e2 b6 b9 b24 - 384 b7 b9 b24 - 416 b8 b9 b24 + 2024 b10 b24 - 32 b1 b10 b24 - 64 b2 b10 b24 - 96 b3 b10 b24 - 1.6e2 b4 b10 b24 - 224 b5 b10 b24 - 288 b6 b10 b24 - 352 b7 b10 b24 - 384 b8 b10 b24 - 416 b9 b10 b24 + 2128 b11 b24 - 32 b1 b11 b24 - 64 b2 b11 b24 - 96 b3 b11 b24 - 128 b4 b11 b24 - 192 b5 b11 b24 - 256 b6 b11 b24 - 3.2e2 b7 b11 b24 - 352 b8 b11 b24 - 384 b9 b11 b24 - 416 b10 b11 b24 + 2136 b12 b24 - 32 b1 b12 b24 - 64 b2 b12 b24 - 96 b3 b12 b24 - 128 b4 b12 b24 - 1.6e2 b5 b12 b24 - 224 b6 b12 b24 - 288 b7 b12 b24 - 3.2e2 b8 b12 b24 - 352 b9 b12 b24 - 384 b10 b12 b24 - 416 b11 b12 b24 + 1728 b13 b24 - 32 b1 b13 b24 - 96 b3 b13 b24 - 128 b4 b13 b24 - 1.6e2 b5 b13 b24 - 192 b6 b13 b24 - 256 b7 b13 b24 - 288 b8 b13 b24 - 3.2e2 b9 b13 b24 - 352 b10 b13 b24 - 384 b11 b13 b24 - 448 b12 b13 b24 + 64 b1 b12 b13 b24 + 1624 b14 b24 - 32 b1 b14 b24 - 64 b2 b14 b24 - 96 b3 b14 b24 - 1.6e2 b5 b14 b24 - 192 b6 b14 b24 - 224 b7 b14 b24 - 256 b8 b14 b24 - 288 b9 b14 b24 - 3.2e2 b10 b14 b24 - 384 b11 b14 b24 + 64 b1 b11 b14 b24 - 448 b12 b14 b24 + 128 b2 b12 b14 b24 - 3.2e2 b13 b14 b24 + 192 b3 b13 b14 b24 + 1456 b15 b24 - 32 b1 b15 b24 - 64 b2 b15 b24 - 96 b3 b15 b24 - 128 b4 b15 b24 - 1.6e2 b5 b15 b24 - 224 b7 b15 b24 - 224 b8 b15 b24 - 256 b9 b15 b24 - 3.2e2 b10 b15 b24 + 64 b1 b10 b15 b24 - 384 b11 b15 b24 + 128 b2 b11 b15 b24 - 448 b12 b15 b24 + 192 b3 b12 b15 b24 - 3.2e2 b13 b15 b24 + 256 b4 b13 b15 b24 - 224 b14 b15 b24 + 3.2e2 b5 b14 b15 b24 + 1.4e3 b16 b24 - 32 b1 b16 b24 - 64 b2 b16 b24 - 96 b3 b16 b24 - 128 b4 b16 b24 - 1.6e2 b5 b16 b24 - 192 b6 b16 b24 - 224 b7 b16 b24 - 256 b9 b16 b24 + 64 b1 b9 b16 b24 - 3.2e2 b10 b16 b24 + 128 b2 b10 b16 b24 - 384 b11 b16 b24 + 192 b3 b11 b16 b24 - 448 b12 b16 b24 + 256 b4 b12 b16 b24 - 3.2e2 b13 b16 b24 + 3.2e2 b5 b13 b16 b24 - 384 b14 b16 b24 + 384 b6 b14 b16 b24 - 288 b15 b16 b24 + 448 b7 b15 b16 b24 + 1312 b17 b24 - 32 b1 b17 b24 - 64 b2 b17 b24 - 96 b3 b17 b24 - 128 b4 b17 b24 - 1.6e2 b5 b17 b24 - 192 b6 b17 b24 - 224 b7 b17 b24 - 256 b8 b17 b24 + 64 b1 b8 b17 b24 - 288 b9 b17 b24 + 128 b2 b9 b17 b24 - 96 b10 b17 b24 + 192 b3 b10 b17 b24 - 384 b11 b17 b24 + 256 b4 b11 b17 b24 - 448 b12 b17 b24 + 3.2e2 b5 b12 b17 b24 - 3.2e2 b13 b17 b24 + 384 b6 b13 b17 b24 - 384 b14 b17 b24 + 448 b7 b14 b17 b24 - 288 b15 b17 b24 + 448 b8 b15 b17 b24 - 288 b16 b17 b24 + 448 b9 b16 b17 b24 + 1288 b18 b24 - 32 b1 b18 b24 - 64 b2 b18 b24 - 96 b3 b18 b24 - 128 b4 b18 b24 - 1.6e2 b5 b18 b24 - 192 b6 b18 b24 - 256 b7 b18 b24 + 64 b1 b7 b18 b24 - 288 b8 b18 b24 + 128 b2 b8 b18 b24 - 3.2e2 b9 b18 b24 + 192 b3 b9 b18 b24 - 352 b10 b18 b24 + 256 b4 b10 b18 b24 - 384 b11 b18 b24 + 3.2e2 b5 b11 b18 b24 - 224 b12 b18 b24 + 384 b6 b12 b18 b24 - 3.2e2 b13 b18 b24 + 448 b7 b13 b18 b24 - 352 b14 b18 b24 + 448 b8 b14 b18 b24 - 384 b15 b18 b24 + 448 b9 b15 b18 b24 - 288 b16 b18 b24 + 448 b10 b16 b18 b24 - 288 b17 b18 b24 + 448 b11 b17 b18 b24 + 1344 b19 b24 - 32 b1 b19 b24 - 64 b2 b19 b24 - 96 b3 b19 b24 - 128 b4 b19 b24 - 1.6e2 b5 b19 b24 - 224 b6 b19 b24 + 64 b1 b6 b19 b24 - 288 b7 b19 b24 + 128 b2 b7 b19 b24 - 3.2e2 b8 b19 b24 + 192 b3 b8 b19 b24 - 352 b9 b19 b24 + 256 b4 b9 b19 b24 - 384 b10 b19 b24 + 3.2e2 b5 b10 b19 b24 - 416 b11 b19 b24 + 384 b6 b11 b19 b24 - 448 b12 b19 b24 + 448 b7 b12 b19 b24 - 288 b13 b19 b24 + 448 b8 b13 b19 b24 - 288 b14 b19 b24 + 448 b9 b14 b19 b24 - 352 b15 b19 b24 + 448 b10 b15 b19 b24 - 288 b16 b19 b24 + 448 b11 b16 b19 b24 - 288 b17 b19 b24 + 448 b12 b17 b19 b24 - 96 b18 b19 b24 + 64 b13 b18 b19 b24 + 1352 b20 b24 - 32 b1 b20 b24 - 64 b2 b20 b24 - 96 b3 b20 b24 - 128 b4 b20 b24 - 192 b5 b20 b24 + 64 b1 b5 b20 b24 - 256 b6 b20 b24 + 128 b2 b6 b20 b24 - 3.2e2 b7 b20 b24 + 192 b3 b7 b20 b24 - 352 b8 b20 b24 + 256 b4 b8 b20 b24 - 384 b9 b20 b24 + 3.2e2 b5 b9 b20 b24 - 416 b10 b20 b24 + 384 b6 b10 b20 b24 - 448 b11 b20 b24 + 448 b7 b11 b20 b24 - 448 b12 b20 b24 + 448 b8 b12 b20 b24 - 256 b13 b20 b24 + 448 b9 b13 b20 b24 - 288 b14 b20 b24 + 448 b10 b14 b20 b24 - 3.2e2 b15 b20 b24 + 448 b11 b15 b20 b24 - 3.2e2 b16 b20 b24 + 448 b12 b16 b20 b24 - 96 b17 b20 b24 + 64 b13 b17 b20 b24 - 96 b18 b20 b24 + 64 b14 b18 b20 b24 - 96 b19 b20 b24 + 64 b15 b19 b20 b24 + 1328 b21 b24 - 32 b1 b21 b24 - 64 b2 b21 b24 - 96 b3 b21 b24 - 1.6e2 b4 b21 b24 + 64 b1 b4 b21 b24 - 224 b5 b21 b24 + 128 b2 b5 b21 b24 - 288 b6 b21 b24 + 192 b3 b6 b21 b24 - 352 b7 b21 b24 + 256 b4 b7 b21 b24 - 384 b8 b21 b24 + 3.2e2 b5 b8 b21 b24 - 416 b9 b21 b24 + 384 b6 b9 b21 b24 - 448 b10 b21 b24 + 448 b7 b10 b21 b24 - 448 b11 b21 b24 + 448 b8 b11 b21 b24 - 448 b12 b21 b24 + 448 b9 b12 b21 b24 - 256 b13 b21 b24 + 448 b10 b13 b21 b24 - 256 b14 b21 b24 + 448 b11 b14 b21 b24 - 288 b15 b21 b24 + 448 b12 b15 b21 b24 - 128 b16 b21 b24 + 64 b13 b16 b21 b24 - 96 b17 b21 b24 + 64 b14 b17 b21 b24 - 64 b18 b21 b24 + 64 b15 b18 b21 b24 - 96 b19 b21 b24 + 64 b16 b19 b21 b24 - 96 b20 b21 b24 + 64 b17 b20 b21 b24 + 1336 b22 b24 - 32 b1 b22 b24 - 64 b2 b22 b24 - 128 b3 b22 b24 + 64 b1 b3 b22 b24 - 192 b4 b22 b24 + 128 b2 b4 b22 b24 - 256 b5 b22 b24 + 192 b3 b5 b22 b24 - 3.2e2 b6 b22 b24 + 256 b4 b6 b22 b24 - 384 b7 b22 b24 + 3.2e2 b5 b7 b22 b24 - 416 b8 b22 b24 + 384 b6 b8 b22 b24 - 448 b9 b22 b24 + 448 b7 b9 b22 b24 - 448 b10 b22 b24 + 448 b8 b10 b22 b24 - 448 b11 b22 b24 + 448 b9 b11 b22 b24 - 448 b12 b22 b24 + 448 b10 b12 b22 b24 - 256 b13 b22 b24 + 448 b11 b13 b22 b24 - 256 b14 b22 b24 + 448 b12 b14 b22 b24 - 64 b15 b22 b24 + 64 b13 b15 b22 b24 - 96 b16 b22 b24 + 64 b14 b16 b22 b24 - 128 b17 b22 b24 + 64 b15 b17 b22 b24 - 96 b18 b22 b24 + 64 b16 b18 b22 b24 - 96 b19 b22 b24 + 64 b17 b19 b22 b24 - 64 b20 b22 b24 + 64 b18 b20 b22 b24 - 96 b21 b22 b24 + 64 b19 b21 b22 b24 + 1328 b23 b24 - 32 b1 b23 b24 - 96 b2 b23 b24 + 64 b1 b2 b23 b24 - 1.6e2 b3 b23 b24 + 128 b2 b3 b23 b24 - 224 b4 b23 b24 + 192 b3 b4 b23 b24 - 288 b5 b23 b24 + 256 b4 b5 b23 b24 - 352 b6 b23 b24 + 3.2e2 b5 b6 b23 b24 - 416 b7 b23 b24 + 384 b6 b7 b23 b24 - 448 b8 b23 b24 + 448 b7 b8 b23 b24 - 448 b9 b23 b24 + 448 b8 b9 b23 b24 - 448 b10 b23 b24 + 448 b9 b10 b23 b24 - 448 b11 b23 b24 + 448 b10 b11 b23 b24 - 448 b12 b23 b24 + 448 b11 b12 b23 b24 - 256 b13 b23 b24 + 448 b12 b13 b23 b24 - 64 b14 b23 b24 + 64 b13 b14 b23 b24 - 64 b15 b23 b24 + 64 b14 b15 b23 b24 - 64 b16 b23 b24 + 64 b15 b16 b23 b24 - 96 b17 b23 b24 + 64 b16 b17 b23 b24 - 96 b18 b23 b24 + 64 b17 b18 b23 b24 - 96 b19 b23 b24 + 64 b18 b19 b23 b24 - 96 b20 b23 b24 + 64 b19 b20 b23 b24 - 96 b21 b23 b24 + 64 b20 b21 b23 b24 - 64 b22 b23 b24 + 64 b21 b22 b23 b24 - 6.12e3 b25 + 264 b1 b25 + 528 b2 b25 - 64 b1 b2 b25 + 776 b3 b25 - 64 b1 b3 b25 - 128 b2 b3 b25 + 1056 b4 b25 - 64 b1 b4 b25 - 128 b2 b4 b25 - 192 b3 b4 b25 + 1288 b5 b25 - 64 b1 b5 b25 - 128 b2 b5 b25 - 192 b3 b5 b25 - 256 b4 b5 b25 + 1584 b6 b25 - 64 b1 b6 b25 - 128 b2 b6 b25 - 192 b3 b6 b25 - 256 b4 b6 b25 - 3.2e2 b5 b6 b25 + 1592 b7 b25 - 32 b1 b7 b25 - 96 b2 b7 b25 - 1.6e2 b3 b7 b25 - 224 b4 b7 b25 - 288 b5 b7 b25 - 352 b6 b7 b25 + 1.68e3 b8 b25 - 32 b1 b8 b25 - 64 b2 b8 b25 - 128 b3 b8 b25 - 192 b4 b8 b25 - 256 b5 b8 b25 - 3.2e2 b6 b8 b25 - 352 b7 b8 b25 + 1688 b9 b25 - 32 b1 b9 b25 - 64 b2 b9 b25 - 96 b3 b9 b25 - 1.6e2 b4 b9 b25 - 224 b5 b9 b25 - 288 b6 b9 b25 - 3.2e2 b7 b9 b25 - 352 b8 b9 b25 + 1776 b10 b25 - 32 b1 b10 b25 - 64 b2 b10 b25 - 96 b3 b10 b25 - 128 b4 b10 b25 - 192 b5 b10 b25 - 256 b6 b10 b25 - 288 b7 b10 b25 - 3.2e2 b8 b10 b25 - 352 b9 b10 b25 + 1784 b11 b25 - 32 b1 b11 b25 - 64 b2 b11 b25 - 96 b3 b11 b25 - 128 b4 b11 b25 - 1.6e2 b5 b11 b25 - 224 b6 b11 b25 - 256 b7 b11 b25 - 288 b8 b11 b25 - 3.2e2 b9 b11 b25 - 352 b10 b11 b25 + 1872 b12 b25 - 32 b1 b12 b25 - 64 b2 b12 b25 - 96 b3 b12 b25 - 128 b4 b12 b25 - 1.6e2 b5 b12 b25 - 192 b6 b12 b25 - 224 b7 b12 b25 - 256 b8 b12 b25 - 288 b9 b12 b25 - 3.2e2 b10 b12 b25 - 352 b11 b12 b25 + 1864 b13 b25 - 64 b2 b13 b25 - 96 b3 b13 b25 - 128 b4 b13 b25 - 1.6e2 b5 b13 b25 - 192 b6 b13 b25 - 192 b7 b13 b25 - 224 b8 b13 b25 - 256 b9 b13 b25 - 288 b10 b13 b25 - 3.2e2 b11 b13 b25 - 352 b12 b13 b25 + 1.52e3 b14 b25 - 32 b1 b14 b25 - 64 b2 b14 b25 - 128 b4 b14 b25 - 1.6e2 b5 b14 b25 - 192 b6 b14 b25 - 192 b7 b14 b25 - 192 b8 b14 b25 - 224 b9 b14 b25 - 256 b10 b14 b25 - 288 b11 b14 b25 - 352 b12 b14 b25 + 64 b1 b12 b14 b25 - 416 b13 b14 b25 + 128 b2 b13 b14 b25 + 1432 b15 b25 - 32 b1 b15 b25 - 64 b2 b15 b25 - 96 b3 b15 b25 - 128 b4 b15 b25 - 192 b6 b15 b25 - 192 b7 b15 b25 - 192 b8 b15 b25 - 192 b9 b15 b25 - 224 b10 b15 b25 - 288 b11 b15 b25 + 64 b1 b11 b15 b25 - 352 b12 b15 b25 + 128 b2 b12 b15 b25 - 416 b13 b15 b25 + 192 b3 b13 b15 b25 - 3.2e2 b14 b15 b25 + 256 b4 b14 b15 b25 + 1312 b16 b25 - 32 b1 b16 b25 - 64 b2 b16 b25 - 96 b3 b16 b25 - 128 b4 b16 b25 - 1.6e2 b5 b16 b25 - 192 b6 b16 b25 - 192 b8 b16 b25 - 192 b9 b16 b25 - 224 b10 b16 b25 + 64 b1 b10 b16 b25 - 288 b11 b16 b25 + 128 b2 b11 b16 b25 - 352 b12 b16 b25 + 192 b3 b12 b16 b25 - 416 b13 b16 b25 + 256 b4 b13 b16 b25 - 3.2e2 b14 b16 b25 + 3.2e2 b5 b14 b16 b25 - 256 b15 b16 b25 + 384 b6 b15 b16 b25 + 1288 b17 b25 - 32 b1 b17 b25 - 64 b2 b17 b25 - 96 b3 b17 b25 - 128 b4 b17 b25 - 1.6e2 b5 b17 b25 - 192 b6 b17 b25 - 192 b7 b17 b25 - 192 b8 b17 b25 - 32 b9 b17 b25 + 64 b1 b9 b17 b25 - 256 b10 b17 b25 + 128 b2 b10 b17 b25 - 288 b11 b17 b25 + 192 b3 b11 b17 b25 - 352 b12 b17 b25 + 256 b4 b12 b17 b25 - 416 b13 b17 b25 + 3.2e2 b5 b13 b17 b25 - 3.2e2 b14 b17 b25 + 384 b6 b14 b17 b25 - 352 b15 b17 b25 + 384 b7 b15 b17 b25 - 256 b16 b17 b25 + 384 b8 b16 b17 b25 + 1232 b18 b25 - 32 b1 b18 b25 - 64 b2 b18 b25 - 96 b3 b18 b25 - 128 b4 b18 b25 - 1.6e2 b5 b18 b25 - 192 b6 b18 b25 - 192 b7 b18 b25 - 224 b8 b18 b25 + 64 b1 b8 b18 b25 - 256 b9 b18 b25 + 128 b2 b9 b18 b25 - 288 b10 b18 b25 + 192 b3 b10 b18 b25 - 128 b11 b18 b25 + 256 b4 b11 b18 b25 - 352 b12 b18 b25 + 3.2e2 b5 b12 b18 b25 - 416 b13 b18 b25 + 384 b6 b13 b18 b25 - 288 b14 b18 b25 + 384 b7 b14 b18 b25 - 3.2e2 b15 b18 b25 + 384 b8 b15 b18 b25 - 256 b16 b18 b25 + 384 b9 b16 b18 b25 - 256 b17 b18 b25 + 384 b10 b17 b18 b25 + 1.24e3 b19 b25 - 32 b1 b19 b25 - 64 b2 b19 b25 - 96 b3 b19 b25 - 128 b4 b19 b25 - 1.6e2 b5 b19 b25 - 192 b6 b19 b25 - 224 b7 b19 b25 + 64 b1 b7 b19 b25 - 256 b8 b19 b25 + 128 b2 b8 b19 b25 - 288 b9 b19 b25 + 192 b3 b9 b19 b25 - 3.2e2 b10 b19 b25 + 256 b4 b10 b19 b25 - 352 b11 b19 b25 + 3.2e2 b5 b11 b19 b25 - 384 b12 b19 b25 + 384 b6 b12 b19 b25 - 192 b13 b19 b25 + 384 b7 b13 b19 b25 - 256 b14 b19 b25 + 384 b8 b14 b19 b25 - 288 b15 b19 b25 + 384 b9 b15 b19 b25 - 3.2e2 b16 b19 b25 + 384 b10 b16 b19 b25 - 256 b17 b19 b25 + 384 b11 b17 b19 b25 - 256 b18 b19 b25 + 384 b12 b18 b19 b25 + 1.28e3 b20 b25 - 32 b1 b20 b25 - 64 b2 b20 b25 - 96 b3 b20 b25 - 128 b4 b20 b25 - 1.6e2 b5 b20 b25 - 224 b6 b20 b25 + 64 b1 b6 b20 b25 - 256 b7 b20 b25 + 128 b2 b7 b20 b25 - 288 b8 b20 b25 + 192 b3 b8 b20 b25 - 3.2e2 b9 b20 b25 + 256 b4 b9 b20 b25 - 352 b10 b20 b25 + 3.2e2 b5 b10 b20 b25 - 384 b11 b20 b25 + 384 b6 b11 b20 b25 - 384 b12 b20 b25 + 384 b7 b12 b20 b25 - 384 b13 b20 b25 + 384 b8 b13 b20 b25 - 224 b14 b20 b25 + 384 b9 b14 b20 b25 - 224 b15 b20 b25 + 384 b10 b15 b20 b25 - 288 b16 b20 b25 + 384 b11 b16 b20 b25 - 256 b17 b20 b25 + 384 b12 b17 b20 b25 - 256 b18 b20 b25 + 384 b13 b18 b20 b25 - 96 b19 b20 b25 + 64 b14 b19 b20 b25 + 1288 b21 b25 - 32 b1 b21 b25 - 64 b2 b21 b25 - 96 b3 b21 b25 - 128 b4 b21 b25 - 192 b5 b21 b25 + 64 b1 b5 b21 b25 - 256 b6 b21 b25 + 128 b2 b6 b21 b25 - 288 b7 b21 b25 + 192 b3 b7 b21 b25 - 3.2e2 b8 b21 b25 + 256 b4 b8 b21 b25 - 352 b9 b21 b25 + 3.2e2 b5 b9 b21 b25 - 384 b10 b21 b25 + 384 b6 b10 b21 b25 - 384 b11 b21 b25 + 384 b7 b11 b21 b25 - 384 b12 b21 b25 + 384 b8 b12 b21 b25 - 384 b13 b21 b25 + 384 b9 b13 b21 b25 - 224 b14 b21 b25 + 384 b10 b14 b21 b25 - 224 b15 b21 b25 + 384 b11 b15 b21 b25 - 256 b16 b21 b25 + 384 b12 b16 b21 b25 - 256 b17 b21 b25 + 384 b13 b17 b21 b25 - 96 b18 b21 b25 + 64 b14 b18 b21 b25 - 96 b19 b21 b25 + 64 b15 b19 b21 b25 - 96 b20 b21 b25 + 64 b16 b20 b21 b25 + 1.28e3 b22 b25 - 32 b1 b22 b25 - 64 b2 b22 b25 - 96 b3 b22 b25 - 1.6e2 b4 b22 b25 + 64 b1 b4 b22 b25 - 224 b5 b22 b25 + 128 b2 b5 b22 b25 - 288 b6 b22 b25 + 192 b3 b6 b22 b25 - 3.2e2 b7 b22 b25 + 256 b4 b7 b22 b25 - 352 b8 b22 b25 + 3.2e2 b5 b8 b22 b25 - 384 b9 b22 b25 + 384 b6 b9 b22 b25 - 384 b10 b22 b25 + 384 b7 b10 b22 b25 - 384 b11 b22 b25 + 384 b8 b11 b22 b25 - 384 b12 b22 b25 + 384 b9 b12 b22 b25 - 384 b13 b22 b25 + 384 b10 b13 b22 b25 - 224 b14 b22 b25 + 384 b11 b14 b22 b25 - 224 b15 b22 b25 + 384 b12 b15 b22 b25 - 224 b16 b22 b25 + 384 b13 b16 b22 b25 - 96 b17 b22 b25 + 64 b14 b17 b22 b25 - 96 b18 b22 b25 + 64 b15 b18 b22 b25 - 64 b19 b22 b25 + 64 b16 b19 b22 b25 - 96 b20 b22 b25 + 64 b17 b20 b22 b25 - 96 b21 b22 b25 + 64 b18 b21 b22 b25 + 1288 b23 b25 - 32 b1 b23 b25 - 64 b2 b23 b25 - 128 b3 b23 b25 + 64 b1 b3 b23 b25 - 192 b4 b23 b25 + 128 b2 b4 b23 b25 - 256 b5 b23 b25 + 192 b3 b5 b23 b25 - 3.2e2 b6 b23 b25 + 256 b4 b6 b23 b25 - 352 b7 b23 b25 + 3.2e2 b5 b7 b23 b25 - 384 b8 b23 b25 + 384 b6 b8 b23 b25 - 384 b9 b23 b25 + 384 b7 b9 b23 b25 - 384 b10 b23 b25 + 384 b8 b10 b23 b25 - 384 b11 b23 b25 + 384 b9 b11 b23 b25 - 384 b12 b23 b25 + 384 b10 b12 b23 b25 - 384 b13 b23 b25 + 384 b11 b13 b23 b25 - 224 b14 b23 b25 + 384 b12 b14 b23 b25 - 224 b15 b23 b25 + 384 b13 b15 b23 b25 - 64 b16 b23 b25 + 64 b14 b16 b23 b25 - 64 b17 b23 b25 + 64 b15 b17 b23 b25 - 96 b18 b23 b25 + 64 b16 b18 b23 b25 - 96 b19 b23 b25 + 64 b17 b19 b23 b25 - 96 b20 b23 b25 + 64 b18 b20 b23 b25 - 64 b21 b23 b25 + 64 b19 b21 b23 b25 - 96 b22 b23 b25 + 64 b20 b22 b23 b25 + 1296 b24 b25 - 32 b1 b24 b25 - 96 b2 b24 b25 + 64 b1 b2 b24 b25 - 1.6e2 b3 b24 b25 + 128 b2 b3 b24 b25 - 224 b4 b24 b25 + 192 b3 b4 b24 b25 - 288 b5 b24 b25 + 256 b4 b5 b24 b25 - 352 b6 b24 b25 + 3.2e2 b5 b6 b24 b25 - 384 b7 b24 b25 + 384 b6 b7 b24 b25 - 384 b8 b24 b25 + 384 b7 b8 b24 b25 - 384 b9 b24 b25 + 384 b8 b9 b24 b25 - 384 b10 b24 b25 + 384 b9 b10 b24 b25 - 384 b11 b24 b25 + 384 b10 b11 b24 b25 - 384 b12 b24 b25 + 384 b11 b12 b24 b25 - 384 b13 b24 b25 + 384 b12 b13 b24 b25 - 224 b14 b24 b25 + 384 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 - 96 b19 b24 b25 + 64 b18 b19 b24 b25 - 96 b20 b24 b25 + 64 b19 b20 b24 b25 - 96 b21 b24 b25 + 64 b20 b21 b24 b25 - 96 b22 b24 b25 + 64 b21 b22 b24 b25 - 64 b23 b24 b25 + 64 b22 b23 b24 b25 - 5568 b26 + 256 b1 b26 + 504 b2 b26 - 64 b1 b2 b26 + 768 b3 b26 - 64 b1 b3 b26 - 128 b2 b3 b26 + 1e3 b4 b26 - 64 b1 b4 b26 - 128 b2 b4 b26 - 192 b3 b4 b26 + 1.28e3 b5 b26 - 64 b1 b5 b26 - 128 b2 b5 b26 - 192 b3 b5 b26 - 256 b4 b5 b26 + 1288 b6 b26 - 32 b1 b6 b26 - 96 b2 b6 b26 - 1.6e2 b3 b6 b26 - 224 b4 b6 b26 - 288 b5 b6 b26 + 1.36e3 b7 b26 - 32 b1 b7 b26 - 64 b2 b7 b26 - 128 b3 b7 b26 - 192 b4 b7 b26 - 256 b5 b7 b26 - 288 b6 b7 b26 + 1368 b8 b26 - 32 b1 b8 b26 - 64 b2 b8 b26 - 96 b3 b8 b26 - 1.6e2 b4 b8 b26 - 224 b5 b8 b26 - 256 b6 b8 b26 - 288 b7 b8 b26 + 1.44e3 b9 b26 - 32 b1 b9 b26 - 64 b2 b9 b26 - 96 b3 b9 b26 - 128 b4 b9 b26 - 192 b5 b9 b26 - 224 b6 b9 b26 - 256 b7 b9 b26 - 288 b8 b9 b26 + 1448 b10 b26 - 32 b1 b10 b26 - 64 b2 b10 b26 - 96 b3 b10 b26 - 128 b4 b10 b26 - 1.6e2 b5 b10 b26 - 192 b6 b10 b26 - 224 b7 b10 b26 - 256 b8 b10 b26 - 288 b9 b10 b26 + 1.52e3 b11 b26 - 32 b1 b11 b26 - 64 b2 b11 b26 - 96 b3 b11 b26 - 128 b4 b11 b26 - 1.6e2 b5 b11 b26 - 1.6e2 b6 b11 b26 - 192 b7 b11 b26 - 224 b8 b11 b26 - 256 b9 b11 b26 - 288 b10 b11 b26 + 1528 b12 b26 - 32 b1 b12 b26 - 64 b2 b12 b26 - 96 b3 b12 b26 - 128 b4 b12 b26 - 1.6e2 b5 b12 b26 - 1.6e2 b6 b12 b26 - 1.6e2 b7 b12 b26 - 192 b8 b12 b26 - 224 b9 b12 b26 - 256 b10 b12 b26 - 288 b11 b12 b26 + 1.6e3 b13 b26 - 32 b1 b13 b26 - 64 b2 b13 b26 - 96 b3 b13 b26 - 128 b4 b13 b26 - 1.6e2 b5 b13 b26 - 1.6e2 b6 b13 b26 - 1.6e2 b7 b13 b26 - 1.6e2 b8 b13 b26 - 192 b9 b13 b26 - 224 b10 b13 b26 - 256 b11 b13 b26 - 288 b12 b13 b26 + 1576 b14 b26 - 32 b1 b14 b26 - 96 b3 b14 b26 - 128 b4 b14 b26 - 1.6e2 b5 b14 b26 - 1.6e2 b6 b14 b26 - 1.6e2 b7 b14 b26 - 1.6e2 b8 b14 b26 - 1.6e2 b9 b14 b26 - 192 b10 b14 b26 - 224 b11 b14 b26 - 256 b12 b14 b26 - 3.2e2 b13 b14 b26 + 64 b1 b13 b14 b26 + 1296 b15 b26 - 32 b1 b15 b26 - 64 b2 b15 b26 - 96 b3 b15 b26 - 1.6e2 b5 b15 b26 - 1.6e2 b6 b15 b26 - 1.6e2 b7 b15 b26 - 1.6e2 b8 b15 b26 - 1.6e2 b9 b15 b26 - 1.6e2 b10 b15 b26 - 192 b11 b15 b26 - 256 b12 b15 b26 + 64 b1 b12 b15 b26 - 3.2e2 b13 b15 b26 + 128 b2 b13 b15 b26 - 384 b14 b15 b26 + 192 b3 b14 b15 b26 + 1.24e3 b16 b26 - 32 b1 b16 b26 - 64 b2 b16 b26 - 96 b3 b16 b26 - 128 b4 b16 b26 - 1.6e2 b5 b16 b26 - 1.6e2 b7 b16 b26 - 1.6e2 b8 b16 b26 - 1.6e2 b9 b16 b26 - 1.6e2 b10 b16 b26 - 192 b11 b16 b26 + 64 b1 b11 b16 b26 - 256 b12 b16 b26 + 128 b2 b12 b16 b26 - 3.2e2 b13 b16 b26 + 192 b3 b13 b16 b26 - 384 b14 b16 b26 + 256 b4 b14 b16 b26 - 3.2e2 b15 b16 b26 + 3.2e2 b5 b15 b16 b26 + 1168 b17 b26 - 32 b1 b17 b26 - 64 b2 b17 b26 - 96 b3 b17 b26 - 128 b4 b17 b26 - 1.6e2 b5 b17 b26 - 1.6e2 b6 b17 b26 - 1.6e2 b7 b17 b26 - 1.6e2 b9 b17 b26 - 192 b10 b17 b26 + 64 b1 b10 b17 b26 - 224 b11 b17 b26 + 128 b2 b11 b17 b26 - 256 b12 b17 b26 + 192 b3 b12 b17 b26 - 3.2e2 b13 b17 b26 + 256 b4 b13 b17 b26 - 384 b14 b17 b26 + 3.2e2 b5 b14 b17 b26 - 288 b15 b17 b26 + 3.2e2 b6 b15 b17 b26 - 224 b16 b17 b26 + 3.2e2 b7 b16 b17 b26 + 1.16e3 b18 b26 - 32 b1 b18 b26 - 64 b2 b18 b26 - 96 b3 b18 b26 - 128 b4 b18 b26 - 1.6e2 b5 b18 b26 - 1.6e2 b6 b18 b26 - 1.6e2 b7 b18 b26 - 1.6e2 b8 b18 b26 - 192 b9 b18 b26 + 64 b1 b9 b18 b26 - 64 b10 b18 b26 + 128 b2 b10 b18 b26 - 256 b11 b18 b26 + 192 b3 b11 b18 b26 - 288 b12 b18 b26 + 256 b4 b12 b18 b26 - 3.2e2 b13 b18 b26 + 3.2e2 b5 b13 b18 b26 - 352 b14 b18 b26 + 3.2e2 b6 b14 b18 b26 - 256 b15 b18 b26 + 3.2e2 b7 b15 b18 b26 - 288 b16 b18 b26 + 3.2e2 b8 b16 b18 b26 - 224 b17 b18 b26 + 3.2e2 b9 b17 b18 b26 + 1136 b19 b26 - 32 b1 b19 b26 - 64 b2 b19 b26 - 96 b3 b19 b26 - 128 b4 b19 b26 - 1.6e2 b5 b19 b26 - 1.6e2 b6 b19 b26 - 1.6e2 b7 b19 b26 - 192 b8 b19 b26 + 64 b1 b8 b19 b26 - 224 b9 b19 b26 + 128 b2 b9 b19 b26 - 256 b10 b19 b26 + 192 b3 b10 b19 b26 - 288 b11 b19 b26 + 256 b4 b11 b19 b26 - 1.6e2 b12 b19 b26 + 3.2e2 b5 b12 b19 b26 - 3.2e2 b13 b19 b26 + 3.2e2 b6 b13 b19 b26 - 3.2e2 b14 b19 b26 + 3.2e2 b7 b14 b19 b26 - 224 b15 b19 b26 + 3.2e2 b8 b15 b19 b26 - 256 b16 b19 b26 + 3.2e2 b9 b16 b19 b26 - 224 b17 b19 b26 + 3.2e2 b10 b17 b19 b26 - 224 b18 b19 b26 + 3.2e2 b11 b18 b19 b26 + 1144 b20 b26 - 32 b1 b20 b26 - 64 b2 b20 b26 - 96 b3 b20 b26 - 128 b4 b20 b26 - 1.6e2 b5 b20 b26 - 1.6e2 b6 b20 b26 - 192 b7 b20 b26 + 64 b1 b7 b20 b26 - 224 b8 b20 b26 + 128 b2 b8 b20 b26 - 256 b9 b20 b26 + 192 b3 b9 b20 b26 - 288 b10 b20 b26 + 256 b4 b10 b20 b26 - 3.2e2 b11 b20 b26 + 3.2e2 b5 b11 b20 b26 - 3.2e2 b12 b20 b26 + 3.2e2 b6 b12 b20 b26 - 3.2e2 b13 b20 b26 + 3.2e2 b7 b13 b20 b26 - 1.6e2 b14 b20 b26 + 3.2e2 b8 b14 b20 b26 - 192 b15 b20 b26 + 3.2e2 b9 b15 b20 b26 - 224 b16 b20 b26 + 3.2e2 b10 b16 b20 b26 - 256 b17 b20 b26 + 3.2e2 b11 b17 b20 b26 - 224 b18 b20 b26 + 3.2e2 b12 b18 b20 b26 - 224 b19 b20 b26 + 3.2e2 b13 b19 b20 b26 + 1.2e3 b21 b26 - 32 b1 b21 b26 - 64 b2 b21 b26 - 96 b3 b21 b26 - 128 b4 b21 b26 - 1.6e2 b5 b21 b26 - 192 b6 b21 b26 + 64 b1 b6 b21 b26 - 224 b7 b21 b26 + 128 b2 b7 b21 b26 - 256 b8 b21 b26 + 192 b3 b8 b21 b26 - 288 b9 b21 b26 + 256 b4 b9 b21 b26 - 3.2e2 b10 b21 b26 + 3.2e2 b5 b10 b21 b26 - 3.2e2 b11 b21 b26 + 3.2e2 b6 b11 b21 b26 - 3.2e2 b12 b21 b26 + 3.2e2 b7 b12 b21 b26 - 3.2e2 b13 b21 b26 + 3.2e2 b8 b13 b21 b26 - 3.2e2 b14 b21 b26 + 3.2e2 b9 b14 b21 b26 - 192 b15 b21 b26 + 3.2e2 b10 b15 b21 b26 - 1.6e2 b16 b21 b26 + 3.2e2 b11 b16 b21 b26 - 224 b17 b21 b26 + 3.2e2 b12 b17 b21 b26 - 224 b18 b21 b26 + 3.2e2 b13 b18 b21 b26 - 224 b19 b21 b26 + 3.2e2 b14 b19 b21 b26 - 96 b20 b21 b26 + 64 b15 b20 b21 b26 + 1192 b22 b26 - 32 b1 b22 b26 - 64 b2 b22 b26 - 96 b3 b22 b26 - 128 b4 b22 b26 - 192 b5 b22 b26 + 64 b1 b5 b22 b26 - 224 b6 b22 b26 + 128 b2 b6 b22 b26 - 256 b7 b22 b26 + 192 b3 b7 b22 b26 - 288 b8 b22 b26 + 256 b4 b8 b22 b26 - 3.2e2 b9 b22 b26 + 3.2e2 b5 b9 b22 b26 - 3.2e2 b10 b22 b26 + 3.2e2 b6 b10 b22 b26 - 3.2e2 b11 b22 b26 + 3.2e2 b7 b11 b22 b26 - 3.2e2 b12 b22 b26 + 3.2e2 b8 b12 b22 b26 - 3.2e2 b13 b22 b26 + 3.2e2 b9 b13 b22 b26 - 3.2e2 b14 b22 b26 + 3.2e2 b10 b14 b22 b26 - 192 b15 b22 b26 + 3.2e2 b11 b15 b22 b26 - 192 b16 b22 b26 + 3.2e2 b12 b16 b22 b26 - 192 b17 b22 b26 + 3.2e2 b13 b17 b22 b26 - 192 b18 b22 b26 + 3.2e2 b14 b18 b22 b26 - 96 b19 b22 b26 + 64 b15 b19 b22 b26 - 96 b20 b22 b26 + 64 b16 b20 b22 b26 - 96 b21 b22 b26 + 64 b17 b21 b22 b26 + 1.2e3 b23 b26 - 32 b1 b23 b26 - 64 b2 b23 b26 - 96 b3 b23 b26 - 1.6e2 b4 b23 b26 + 64 b1 b4 b23 b26 - 224 b5 b23 b26 + 128 b2 b5 b23 b26 - 256 b6 b23 b26 + 192 b3 b6 b23 b26 - 288 b7 b23 b26 + 256 b4 b7 b23 b26 - 3.2e2 b8 b23 b26 + 3.2e2 b5 b8 b23 b26 - 3.2e2 b9 b23 b26 + 3.2e2 b6 b9 b23 b26 - 3.2e2 b10 b23 b26 + 3.2e2 b7 b10 b23 b26 - 3.2e2 b11 b23 b26 + 3.2e2 b8 b11 b23 b26 - 3.2e2 b12 b23 b26 + 3.2e2 b9 b12 b23 b26 - 3.2e2 b13 b23 b26 + 3.2e2 b10 b13 b23 b26 - 3.2e2 b14 b23 b26 + 3.2e2 b11 b14 b23 b26 - 192 b15 b23 b26 + 3.2e2 b12 b15 b23 b26 - 192 b16 b23 b26 + 3.2e2 b13 b16 b23 b26 - 192 b17 b23 b26 + 3.2e2 b14 b17 b23 b26 - 64 b18 b23 b26 + 64 b15 b18 b23 b26 - 96 b19 b23 b26 + 64 b16 b19 b23 b26 - 64 b20 b23 b26 + 64 b17 b20 b23 b26 - 96 b21 b23 b26 + 64 b18 b21 b23 b26 - 96 b22 b23 b26 + 64 b19 b22 b23 b26 + 1208 b24 b26 - 32 b1 b24 b26 - 64 b2 b24 b26 - 128 b3 b24 b26 + 64 b1 b3 b24 b26 - 192 b4 b24 b26 + 128 b2 b4 b24 b26 - 256 b5 b24 b26 + 192 b3 b5 b24 b26 - 288 b6 b24 b26 + 256 b4 b6 b24 b26 - 3.2e2 b7 b24 b26 + 3.2e2 b5 b7 b24 b26 - 3.2e2 b8 b24 b26 + 3.2e2 b6 b8 b24 b26 - 3.2e2 b9 b24 b26 + 3.2e2 b7 b9 b24 b26 - 3.2e2 b10 b24 b26 + 3.2e2 b8 b10 b24 b26 - 3.2e2 b11 b24 b26 + 3.2e2 b9 b11 b24 b26 - 3.2e2 b12 b24 b26 + 3.2e2 b10 b12 b24 b26 - 3.2e2 b13 b24 b26 + 3.2e2 b11 b13 b24 b26 - 3.2e2 b14 b24 b26 + 3.2e2 b12 b14 b24 b26 - 192 b15 b24 b26 + 3.2e2 b13 b15 b24 b26 - 192 b16 b24 b26 + 3.2e2 b14 b16 b24 b26 - 64 b17 b24 b26 + 64 b15 b17 b24 b26 - 64 b18 b24 b26 + 64 b16 b18 b24 b26 - 64 b19 b24 b26 + 64 b17 b19 b24 b26 - 96 b20 b24 b26 + 64 b18 b20 b24 b26 - 96 b21 b24 b26 + 64 b19 b21 b24 b26 - 64 b22 b24 b26 + 64 b20 b22 b24 b26 - 96 b23 b24 b26 + 64 b21 b23 b24 b26 + 1216 b25 b26 - 32 b1 b25 b26 - 96 b2 b25 b26 + 64 b1 b2 b25 b26 - 1.6e2 b3 b25 b26 + 128 b2 b3 b25 b26 - 224 b4 b25 b26 + 192 b3 b4 b25 b26 - 288 b5 b25 b26 + 256 b4 b5 b25 b26 - 3.2e2 b6 b25 b26 + 3.2e2 b5 b6 b25 b26 - 3.2e2 b7 b25 b26 + 3.2e2 b6 b7 b25 b26 - 3.2e2 b8 b25 b26 + 3.2e2 b7 b8 b25 b26 - 3.2e2 b9 b25 b26 + 3.2e2 b8 b9 b25 b26 - 3.2e2 b10 b25 b26 + 3.2e2 b9 b10 b25 b26 - 3.2e2 b11 b25 b26 + 3.2e2 b10 b11 b25 b26 - 3.2e2 b12 b25 b26 + 3.2e2 b11 b12 b25 b26 - 3.2e2 b13 b25 b26 + 3.2e2 b12 b13 b25 b26 - 3.2e2 b14 b25 b26 + 3.2e2 b13 b14 b25 b26 - 192 b15 b25 b26 + 3.2e2 b14 b15 b25 b26 - 64 b16 b25 b26 + 64 b15 b16 b25 b26 - 64 b17 b25 b26 + 64 b16 b17 b25 b26 - 64 b18 b25 b26 + 64 b17 b18 b25 b26 - 64 b19 b25 b26 + 64 b18 b19 b25 b26 - 64 b20 b25 b26 + 64 b19 b20 b25 b26 - 96 b21 b25 b26 + 64 b20 b21 b25 b26 - 96 b22 b25 b26 + 64 b21 b22 b25 b26 - 96 b23 b25 b26 + 64 b22 b23 b25 b26 - 64 b24 b25 b26 + 64 b23 b24 b25 b26 - 4848 b27 + 248 b1 b27 + 496 b2 b27 - 64 b1 b2 b27 + 728 b3 b27 - 64 b1 b3 b27 - 128 b2 b3 b27 + 992 b4 b27 - 64 b1 b4 b27 - 128 b2 b4 b27 - 192 b3 b4 b27 + 1e3 b5 b27 - 32 b1 b5 b27 - 96 b2 b5 b27 - 1.6e2 b3 b5 b27 - 224 b4 b5 b27 + 1056 b6 b27 - 32 b1 b6 b27 - 64 b2 b6 b27 - 128 b3 b6 b27 - 192 b4 b6 b27 - 224 b5 b6 b27 + 1064 b7 b27 - 32 b1 b7 b27 - 64 b2 b7 b27 - 96 b3 b7 b27 - 1.6e2 b4 b7 b27 - 192 b5 b7 b27 - 224 b6 b7 b27 + 1.12e3 b8 b27 - 32 b1 b8 b27 - 64 b2 b8 b27 - 96 b3 b8 b27 - 128 b4 b8 b27 - 1.6e2 b5 b8 b27 - 192 b6 b8 b27 - 224 b7 b8 b27 + 1128 b9 b27 - 32 b1 b9 b27 - 64 b2 b9 b27 - 96 b3 b9 b27 - 128 b4 b9 b27 - 128 b5 b9 b27 - 1.6e2 b6 b9 b27 - 192 b7 b9 b27 - 224 b8 b9 b27 + 1184 b10 b27 - 32 b1 b10 b27 - 64 b2 b10 b27 - 96 b3 b10 b27 - 128 b4 b10 b27 - 128 b5 b10 b27 - 128 b6 b10 b27 - 1.6e2 b7 b10 b27 - 192 b8 b10 b27 - 224 b9 b10 b27 + 1192 b11 b27 - 32 b1 b11 b27 - 64 b2 b11 b27 - 96 b3 b11 b27 - 128 b4 b11 b27 - 128 b5 b11 b27 - 128 b6 b11 b27 - 128 b7 b11 b27 - 1.6e2 b8 b11 b27 - 192 b9 b11 b27 - 224 b10 b11 b27 + 1248 b12 b27 - 32 b1 b12 b27 - 64 b2 b12 b27 - 96 b3 b12 b27 - 128 b4 b12 b27 - 128 b5 b12 b27 - 128 b6 b12 b27 - 128 b7 b12 b27 - 128 b8 b12 b27 - 1.6e2 b9 b12 b27 - 192 b10 b12 b27 - 224 b11 b12 b27 + 1256 b13 b27 - 32 b1 b13 b27 - 64 b2 b13 b27 - 96 b3 b13 b27 - 128 b4 b13 b27 - 128 b5 b13 b27 - 128 b6 b13 b27 - 128 b7 b13 b27 - 128 b8 b13 b27 - 128 b9 b13 b27 - 1.6e2 b10 b13 b27 - 192 b11 b13 b27 - 224 b12 b13 b27 + 1296 b14 b27 - 64 b2 b14 b27 - 96 b3 b14 b27 - 128 b4 b14 b27 - 128 b5 b14 b27 - 128 b6 b14 b27 - 128 b7 b14 b27 - 128 b8 b14 b27 - 128 b9 b14 b27 - 128 b10 b14 b27 - 1.6e2 b11 b14 b27 - 192 b12 b14 b27 - 224 b13 b14 b27 + 1272 b15 b27 - 32 b1 b15 b27 - 64 b2 b15 b27 - 128 b4 b15 b27 - 128 b5 b15 b27 - 128 b6 b15 b27 - 128 b7 b15 b27 - 128 b8 b15 b27 - 128 b9 b15 b27 - 128 b10 b15 b27 - 128 b11 b15 b27 - 1.6e2 b12 b15 b27 - 224 b13 b15 b27 + 64 b1 b13 b15 b27 - 288 b14 b15 b27 + 128 b2 b14 b15 b27 + 1072 b16 b27 - 32 b1 b16 b27 - 64 b2 b16 b27 - 96 b3 b16 b27 - 128 b4 b16 b27 - 128 b6 b16 b27 - 128 b7 b16 b27 - 128 b8 b16 b27 - 128 b9 b16 b27 - 128 b10 b16 b27 - 128 b11 b16 b27 - 1.6e2 b12 b16 b27 + 64 b1 b12 b16 b27 - 224 b13 b16 b27 + 128 b2 b13 b16 b27 - 288 b14 b16 b27 + 192 b3 b14 b16 b27 - 352 b15 b16 b27 + 256 b4 b15 b16 b27 + 1048 b17 b27 - 32 b1 b17 b27 - 64 b2 b17 b27 - 96 b3 b17 b27 - 128 b4 b17 b27 - 128 b5 b17 b27 - 128 b6 b17 b27 - 128 b8 b17 b27 - 128 b9 b17 b27 - 128 b10 b17 b27 - 1.6e2 b11 b17 b27 + 64 b1 b11 b17 b27 - 192 b12 b17 b27 + 128 b2 b12 b17 b27 - 224 b13 b17 b27 + 192 b3 b13 b17 b27 - 288 b14 b17 b27 + 256 b4 b14 b17 b27 - 3.2e2 b15 b17 b27 + 256 b5 b15 b17 b27 - 256 b16 b17 b27 + 256 b6 b16 b17 b27 + 1008 b18 b27 - 32 b1 b18 b27 - 64 b2 b18 b27 - 96 b3 b18 b27 - 128 b4 b18 b27 - 128 b5 b18 b27 - 128 b6 b18 b27 - 128 b7 b18 b27 - 128 b8 b18 b27 - 1.6e2 b10 b18 b27 + 64 b1 b10 b18 b27 - 192 b11 b18 b27 + 128 b2 b11 b18 b27 - 224 b12 b18 b27 + 192 b3 b12 b18 b27 - 256 b13 b18 b27 + 256 b4 b13 b18 b27 - 256 b14 b18 b27 + 256 b5 b14 b18 b27 - 288 b15 b18 b27 + 256 b6 b15 b18 b27 - 224 b16 b18 b27 + 256 b7 b16 b18 b27 - 192 b17 b18 b27 + 256 b8 b17 b18 b27 + 1016 b19 b27 - 32 b1 b19 b27 - 64 b2 b19 b27 - 96 b3 b19 b27 - 128 b4 b19 b27 - 128 b5 b19 b27 - 128 b6 b19 b27 - 128 b7 b19 b27 - 128 b8 b19 b27 - 1.6e2 b9 b19 b27 + 64 b1 b9 b19 b27 - 192 b10 b19 b27 + 128 b2 b10 b19 b27 - 96 b11 b19 b27 + 192 b3 b11 b19 b27 - 256 b12 b19 b27 + 256 b4 b12 b19 b27 - 256 b13 b19 b27 + 256 b5 b13 b19 b27 - 256 b14 b19 b27 + 256 b6 b14 b19 b27 - 256 b15 b19 b27 + 256 b7 b15 b19 b27 - 192 b16 b19 b27 + 256 b8 b16 b19 b27 - 224 b17 b19 b27 + 256 b9 b17 b19 b27 - 192 b18 b19 b27 + 256 b10 b18 b19 b27 + 1008 b20 b27 - 32 b1 b20 b27 - 64 b2 b20 b27 - 96 b3 b20 b27 - 128 b4 b20 b27 - 128 b5 b20 b27 - 128 b6 b20 b27 - 128 b7 b20 b27 - 1.6e2 b8 b20 b27 + 64 b1 b8 b20 b27 - 192 b9 b20 b27 + 128 b2 b9 b20 b27 - 224 b10 b20 b27 + 192 b3 b10 b20 b27 - 256 b11 b20 b27 + 256 b4 b11 b20 b27 - 256 b12 b20 b27 + 256 b5 b12 b20 b27 - 128 b13 b20 b27 + 256 b6 b13 b20 b27 - 256 b14 b20 b27 + 256 b7 b14 b20 b27 - 256 b15 b20 b27 + 256 b8 b15 b20 b27 - 1.6e2 b16 b20 b27 + 256 b9 b16 b20 b27 - 192 b17 b20 b27 + 256 b10 b17 b20 b27 - 192 b18 b20 b27 + 256 b11 b18 b20 b27 - 192 b19 b20 b27 + 256 b12 b19 b20 b27 + 1016 b21 b27 - 32 b1 b21 b27 - 64 b2 b21 b27 - 96 b3 b21 b27 - 128 b4 b21 b27 - 128 b5 b21 b27 - 128 b6 b21 b27 - 1.6e2 b7 b21 b27 + 64 b1 b7 b21 b27 - 192 b8 b21 b27 + 128 b2 b8 b21 b27 - 224 b9 b21 b27 + 192 b3 b9 b21 b27 - 256 b10 b21 b27 + 256 b4 b10 b21 b27 - 256 b11 b21 b27 + 256 b5 b11 b21 b27 - 256 b12 b21 b27 + 256 b6 b12 b21 b27 - 256 b13 b21 b27 + 256 b7 b13 b21 b27 - 256 b14 b21 b27 + 256 b8 b14 b21 b27 - 128 b15 b21 b27 + 256 b9 b15 b21 b27 - 1.6e2 b16 b21 b27 + 256 b10 b16 b21 b27 - 1.6e2 b17 b21 b27 + 256 b11 b17 b21 b27 - 192 b18 b21 b27 + 256 b12 b18 b21 b27 - 192 b19 b21 b27 + 256 b13 b19 b21 b27 - 192 b20 b21 b27 + 256 b14 b20 b21 b27 + 1072 b22 b27 - 32 b1 b22 b27 - 64 b2 b22 b27 - 96 b3 b22 b27 - 128 b4 b22 b27 - 128 b5 b22 b27 - 1.6e2 b6 b22 b27 + 64 b1 b6 b22 b27 - 192 b7 b22 b27 + 128 b2 b7 b22 b27 - 224 b8 b22 b27 + 192 b3 b8 b22 b27 - 256 b9 b22 b27 + 256 b4 b9 b22 b27 - 256 b10 b22 b27 + 256 b5 b10 b22 b27 - 256 b11 b22 b27 + 256 b6 b11 b22 b27 - 256 b12 b22 b27 + 256 b7 b12 b22 b27 - 256 b13 b22 b27 + 256 b8 b13 b22 b27 - 256 b14 b22 b27 + 256 b9 b14 b22 b27 - 256 b15 b22 b27 + 256 b10 b15 b22 b27 - 1.6e2 b16 b22 b27 + 256 b11 b16 b22 b27 - 128 b17 b22 b27 + 256 b12 b17 b22 b27 - 1.6e2 b18 b22 b27 + 256 b13 b18 b22 b27 - 192 b19 b22 b27 + 256 b14 b19 b22 b27 - 192 b20 b22 b27 + 256 b15 b20 b22 b27 - 96 b21 b22 b27 + 64 b16 b21 b22 b27 + 1.08e3 b23 b27 - 32 b1 b23 b27 - 64 b2 b23 b27 - 96 b3 b23 b27 - 128 b4 b23 b27 - 1.6e2 b5 b23 b27 + 64 b1 b5 b23 b27 - 192 b6 b23 b27 + 128 b2 b6 b23 b27 - 224 b7 b23 b27 + 192 b3 b7 b23 b27 - 256 b8 b23 b27 + 256 b4 b8 b23 b27 - 256 b9 b23 b27 + 256 b5 b9 b23 b27 - 256 b10 b23 b27 + 256 b6 b10 b23 b27 - 256 b11 b23 b27 + 256 b7 b11 b23 b27 - 256 b12 b23 b27 + 256 b8 b12 b23 b27 - 256 b13 b23 b27 + 256 b9 b13 b23 b27 - 256 b14 b23 b27 + 256 b10 b14 b23 b27 - 256 b15 b23 b27 + 256 b11 b15 b23 b27 - 1.6e2 b16 b23 b27 + 256 b12 b16 b23 b27 - 1.6e2 b17 b23 b27 + 256 b13 b17 b23 b27 - 1.6e2 b18 b23 b27 + 256 b14 b18 b23 b27 - 128 b19 b23 b27 + 256 b15 b19 b23 b27 - 96 b20 b23 b27 + 64 b16 b20 b23 b27 - 96 b21 b23 b27 + 64 b17 b21 b23 b27 - 96 b22 b23 b27 + 64 b18 b22 b23 b27 + 1072 b24 b27 - 32 b1 b24 b27 - 64 b2 b24 b27 - 96 b3 b24 b27 - 1.6e2 b4 b24 b27 + 64 b1 b4 b24 b27 - 192 b5 b24 b27 + 128 b2 b5 b24 b27 - 224 b6 b24 b27 + 192 b3 b6 b24 b27 - 256 b7 b24 b27 + 256 b4 b7 b24 b27 - 256 b8 b24 b27 + 256 b5 b8 b24 b27 - 256 b9 b24 b27 + 256 b6 b9 b24 b27 - 256 b10 b24 b27 + 256 b7 b10 b24 b27 - 256 b11 b24 b27 + 256 b8 b11 b24 b27 - 256 b12 b24 b27 + 256 b9 b12 b24 b27 - 256 b13 b24 b27 + 256 b10 b13 b24 b27 - 256 b14 b24 b27 + 256 b11 b14 b24 b27 - 256 b15 b24 b27 + 256 b12 b15 b24 b27 - 1.6e2 b16 b24 b27 + 256 b13 b16 b24 b27 - 1.6e2 b17 b24 b27 + 256 b14 b17 b24 b27 - 1.6e2 b18 b24 b27 + 256 b15 b18 b24 b27 - 64 b19 b24 b27 + 64 b16 b19 b24 b27 - 64 b20 b24 b27 + 64 b17 b20 b24 b27 - 64 b21 b24 b27 + 64 b18 b21 b24 b27 - 96 b22 b24 b27 + 64 b19 b22 b24 b27 - 96 b23 b24 b27 + 64 b20 b23 b24 b27 + 1.08e3 b25 b27 - 32 b1 b25 b27 - 64 b2 b25 b27 - 128 b3 b25 b27 + 64 b1 b3 b25 b27 - 192 b4 b25 b27 + 128 b2 b4 b25 b27 - 224 b5 b25 b27 + 192 b3 b5 b25 b27 - 256 b6 b25 b27 + 256 b4 b6 b25 b27 - 256 b7 b25 b27 + 256 b5 b7 b25 b27 - 256 b8 b25 b27 + 256 b6 b8 b25 b27 - 256 b9 b25 b27 + 256 b7 b9 b25 b27 - 256 b10 b25 b27 + 256 b8 b10 b25 b27 - 256 b11 b25 b27 + 256 b9 b11 b25 b27 - 256 b12 b25 b27 + 256 b10 b12 b25 b27 - 256 b13 b25 b27 + 256 b11 b13 b25 b27 - 256 b14 b25 b27 + 256 b12 b14 b25 b27 - 256 b15 b25 b27 + 256 b13 b15 b25 b27 - 1.6e2 b16 b25 b27 + 256 b14 b16 b25 b27 - 1.6e2 b17 b25 b27 + 256 b15 b17 b25 b27 - 64 b18 b25 b27 + 64 b16 b18 b25 b27 - 64 b19 b25 b27 + 64 b17 b19 b25 b27 - 64 b20 b25 b27 + 64 b18 b20 b25 b27 - 64 b21 b25 b27 + 64 b19 b21 b25 b27 - 96 b22 b25 b27 + 64 b20 b22 b25 b27 - 64 b23 b25 b27 + 64 b21 b23 b25 b27 - 96 b24 b25 b27 + 64 b22 b24 b25 b27 + 1088 b26 b27 - 32 b1 b26 b27 - 96 b2 b26 b27 + 64 b1 b2 b26 b27 - 1.6e2 b3 b26 b27 + 128 b2 b3 b26 b27 - 224 b4 b26 b27 + 192 b3 b4 b26 b27 - 256 b5 b26 b27 + 256 b4 b5 b26 b27 - 256 b6 b26 b27 + 256 b5 b6 b26 b27 - 256 b7 b26 b27 + 256 b6 b7 b26 b27 - 256 b8 b26 b27 + 256 b7 b8 b26 b27 - 256 b9 b26 b27 + 256 b8 b9 b26 b27 - 256 b10 b26 b27 + 256 b9 b10 b26 b27 - 256 b11 b26 b27 + 256 b10 b11 b26 b27 - 256 b12 b26 b27 + 256 b11 b12 b26 b27 - 256 b13 b26 b27 + 256 b12 b13 b26 b27 - 256 b14 b26 b27 + 256 b13 b14 b26 b27 - 256 b15 b26 b27 + 256 b14 b15 b26 b27 - 1.6e2 b16 b26 b27 + 256 b15 b16 b26 b27 - 64 b17 b26 b27 + 64 b16 b17 b26 b27 - 64 b18 b26 b27 + 64 b17 b18 b26 b27 - 64 b19 b26 b27 + 64 b18 b19 b26 b27 - 64 b20 b26 b27 + 64 b19 b20 b26 b27 - 64 b21 b26 b27 + 64 b20 b21 b26 b27 - 64 b22 b26 b27 + 64 b21 b22 b26 b27 - 96 b23 b26 b27 + 64 b22 b23 b26 b27 - 96 b24 b26 b27 + 64 b23 b24 b26 b27 - 64 b25 b26 b27 + 64 b24 b25 b26 b27 - 3952 b28 + 2.4e2 b1 b28 + 472 b2 b28 - 64 b1 b2 b28 + 7.2e2 b3 b28 - 64 b1 b3 b28 - 128 b2 b3 b28 + 728 b4 b28 - 32 b1 b4 b28 - 96 b2 b4 b28 - 1.6e2 b3 b4 b28 + 768 b5 b28 - 32 b1 b5 b28 - 64 b2 b5 b28 - 128 b3 b5 b28 - 1.6e2 b4 b5 b28 + 776 b6 b28 - 32 b1 b6 b28 - 64 b2 b6 b28 - 96 b3 b6 b28 - 128 b4 b6 b28 - 1.6e2 b5 b6 b28 + 816 b7 b28 - 32 b1 b7 b28 - 64 b2 b7 b28 - 96 b3 b7 b28 - 96 b4 b7 b28 - 128 b5 b7 b28 - 1.6e2 b6 b7 b28 + 824 b8 b28 - 32 b1 b8 b28 - 64 b2 b8 b28 - 96 b3 b8 b28 - 96 b4 b8 b28 - 96 b5 b8 b28 - 128 b6 b8 b28 - 1.6e2 b7 b8 b28 + 864 b9 b28 - 32 b1 b9 b28 - 64 b2 b9 b28 - 96 b3 b9 b28 - 96 b4 b9 b28 - 96 b5 b9 b28 - 96 b6 b9 b28 - 128 b7 b9 b28 - 1.6e2 b8 b9 b28 + 872 b10 b28 - 32 b1 b10 b28 - 64 b2 b10 b28 - 96 b3 b10 b28 - 96 b4 b10 b28 - 96 b5 b10 b28 - 96 b6 b10 b28 - 96 b7 b10 b28 - 128 b8 b10 b28 - 1.6e2 b9 b10 b28 + 912 b11 b28 - 32 b1 b11 b28 - 64 b2 b11 b28 - 96 b3 b11 b28 - 96 b4 b11 b28 - 96 b5 b11 b28 - 96 b6 b11 b28 - 96 b7 b11 b28 - 96 b8 b11 b28 - 128 b9 b11 b28 - 1.6e2 b10 b11 b28 + 9.2e2 b12 b28 - 32 b1 b12 b28 - 64 b2 b12 b28 - 96 b3 b12 b28 - 96 b4 b12 b28 - 96 b5 b12 b28 - 96 b6 b12 b28 - 96 b7 b12 b28 - 96 b8 b12 b28 - 96 b9 b12 b28 - 128 b10 b12 b28 - 1.6e2 b11 b12 b28 + 9.6e2 b13 b28 - 32 b1 b13 b28 - 64 b2 b13 b28 - 96 b3 b13 b28 - 96 b4 b13 b28 - 96 b5 b13 b28 - 96 b6 b13 b28 - 96 b7 b13 b28 - 96 b8 b13 b28 - 96 b9 b13 b28 - 96 b10 b13 b28 - 128 b11 b13 b28 - 1.6e2 b12 b13 b28 + 968 b14 b28 - 32 b1 b14 b28 - 64 b2 b14 b28 - 96 b3 b14 b28 - 96 b4 b14 b28 - 96 b5 b14 b28 - 96 b6 b14 b28 - 96 b7 b14 b28 - 96 b8 b14 b28 - 96 b9 b14 b28 - 96 b10 b14 b28 - 96 b11 b14 b28 - 128 b12 b14 b28 - 1.6e2 b13 b14 b28 + 976 b15 b28 - 32 b1 b15 b28 - 96 b3 b15 b28 - 96 b4 b15 b28 - 96 b5 b15 b28 - 96 b6 b15 b28 - 96 b7 b15 b28 - 96 b8 b15 b28 - 96 b9 b15 b28 - 96 b10 b15 b28 - 96 b11 b15 b28 - 96 b12 b15 b28 - 128 b13 b15 b28 - 192 b14 b15 b28 + 64 b1 b14 b15 b28 + 968 b16 b28 - 32 b1 b16 b28 - 64 b2 b16 b28 - 96 b3 b16 b28 - 96 b5 b16 b28 - 96 b6 b16 b28 - 96 b7 b16 b28 - 96 b8 b16 b28 - 96 b9 b16 b28 - 96 b10 b16 b28 - 96 b11 b16 b28 - 96 b12 b16 b28 - 128 b13 b16 b28 + 64 b1 b13 b16 b28 - 192 b14 b16 b28 + 128 b2 b14 b16 b28 - 256 b15 b16 b28 + 192 b3 b15 b16 b28 + 848 b17 b28 - 32 b1 b17 b28 - 64 b2 b17 b28 - 96 b3 b17 b28 - 96 b4 b17 b28 - 96 b5 b17 b28 - 96 b7 b17 b28 - 96 b8 b17 b28 - 96 b9 b17 b28 - 96 b10 b17 b28 - 96 b11 b17 b28 - 128 b12 b17 b28 + 64 b1 b12 b17 b28 - 1.6e2 b13 b17 b28 + 128 b2 b13 b17 b28 - 192 b14 b17 b28 + 192 b3 b14 b17 b28 - 224 b15 b17 b28 + 192 b4 b15 b17 b28 - 256 b16 b17 b28 + 192 b5 b16 b17 b28 + 8.4e2 b18 b28 - 32 b1 b18 b28 - 64 b2 b18 b28 - 96 b3 b18 b28 - 96 b4 b18 b28 - 96 b5 b18 b28 - 96 b6 b18 b28 - 96 b7 b18 b28 - 96 b9 b18 b28 - 96 b10 b18 b28 - 128 b11 b18 b28 + 64 b1 b11 b18 b28 - 1.6e2 b12 b18 b28 + 128 b2 b12 b18 b28 - 192 b13 b18 b28 + 192 b3 b13 b18 b28 - 192 b14 b18 b28 + 192 b4 b14 b18 b28 - 192 b15 b18 b28 + 192 b5 b15 b18 b28 - 224 b16 b18 b28 + 192 b6 b16 b18 b28 - 192 b17 b18 b28 + 192 b7 b17 b18 b28 + 832 b19 b28 - 32 b1 b19 b28 - 64 b2 b19 b28 - 96 b3 b19 b28 - 96 b4 b19 b28 - 96 b5 b19 b28 - 96 b6 b19 b28 - 96 b7 b19 b28 - 96 b8 b19 b28 - 96 b9 b19 b28 - 32 b10 b19 b28 + 64 b1 b10 b19 b28 - 1.6e2 b11 b19 b28 + 128 b2 b11 b19 b28 - 192 b12 b19 b28 + 192 b3 b12 b19 b28 - 192 b13 b19 b28 + 192 b4 b13 b19 b28 - 192 b14 b19 b28 + 192 b5 b14 b19 b28 - 192 b15 b19 b28 + 192 b6 b15 b19 b28 - 192 b16 b19 b28 + 192 b7 b16 b19 b28 - 1.6e2 b17 b19 b28 + 192 b8 b17 b19 b28 - 1.6e2 b18 b19 b28 + 192 b9 b18 b19 b28 + 8.4e2 b20 b28 - 32 b1 b20 b28 - 64 b2 b20 b28 - 96 b3 b20 b28 - 96 b4 b20 b28 - 96 b5 b20 b28 - 96 b6 b20 b28 - 96 b7 b20 b28 - 96 b8 b20 b28 - 128 b9 b20 b28 + 64 b1 b9 b20 b28 - 1.6e2 b10 b20 b28 + 128 b2 b10 b20 b28 - 192 b11 b20 b28 + 192 b3 b11 b20 b28 - 96 b12 b20 b28 + 192 b4 b12 b20 b28 - 192 b13 b20 b28 + 192 b5 b13 b20 b28 - 192 b14 b20 b28 + 192 b6 b14 b20 b28 - 192 b15 b20 b28 + 192 b7 b15 b20 b28 - 192 b16 b20 b28 + 192 b8 b16 b20 b28 - 128 b17 b20 b28 + 192 b9 b17 b20 b28 - 1.6e2 b18 b20 b28 + 192 b10 b18 b20 b28 - 1.6e2 b19 b20 b28 + 192 b11 b19 b20 b28 + 848 b21 b28 - 32 b1 b21 b28 - 64 b2 b21 b28 - 96 b3 b21 b28 - 96 b4 b21 b28 - 96 b5 b21 b28 - 96 b6 b21 b28 - 96 b7 b21 b28 - 128 b8 b21 b28 + 64 b1 b8 b21 b28 - 1.6e2 b9 b21 b28 + 128 b2 b9 b21 b28 - 192 b10 b21 b28 + 192 b3 b10 b21 b28 - 192 b11 b21 b28 + 192 b4 b11 b21 b28 - 192 b12 b21 b28 + 192 b5 b12 b21 b28 - 192 b13 b21 b28 + 192 b6 b13 b21 b28 - 96 b14 b21 b28 + 192 b7 b14 b21 b28 - 192 b15 b21 b28 + 192 b8 b15 b21 b28 - 192 b16 b21 b28 + 192 b9 b16 b21 b28 - 128 b17 b21 b28 + 192 b10 b17 b21 b28 - 128 b18 b21 b28 + 192 b11 b18 b21 b28 - 1.6e2 b19 b21 b28 + 192 b12 b19 b21 b28 - 1.6e2 b20 b21 b28 + 192 b13 b20 b21 b28 + 856 b22 b28 - 32 b1 b22 b28 - 64 b2 b22 b28 - 96 b3 b22 b28 - 96 b4 b22 b28 - 96 b5 b22 b28 - 96 b6 b22 b28 - 128 b7 b22 b28 + 64 b1 b7 b22 b28 - 1.6e2 b8 b22 b28 + 128 b2 b8 b22 b28 - 192 b9 b22 b28 + 192 b3 b9 b22 b28 - 192 b10 b22 b28 + 192 b4 b10 b22 b28 - 192 b11 b22 b28 + 192 b5 b11 b22 b28 - 192 b12 b22 b28 + 192 b6 b12 b22 b28 - 192 b13 b22 b28 + 192 b7 b13 b22 b28 - 192 b14 b22 b28 + 192 b8 b14 b22 b28 - 192 b15 b22 b28 + 192 b9 b15 b22 b28 - 96 b16 b22 b28 + 192 b10 b16 b22 b28 - 128 b17 b22 b28 + 192 b11 b17 b22 b28 - 128 b18 b22 b28 + 192 b12 b18 b22 b28 - 128 b19 b22 b28 + 192 b13 b19 b22 b28 - 1.6e2 b20 b22 b28 + 192 b14 b20 b22 b28 - 1.6e2 b21 b22 b28 + 192 b15 b21 b22 b28 + 896 b23 b28 - 32 b1 b23 b28 - 64 b2 b23 b28 - 96 b3 b23 b28 - 96 b4 b23 b28 - 96 b5 b23 b28 - 128 b6 b23 b28 + 64 b1 b6 b23 b28 - 1.6e2 b7 b23 b28 + 128 b2 b7 b23 b28 - 192 b8 b23 b28 + 192 b3 b8 b23 b28 - 192 b9 b23 b28 + 192 b4 b9 b23 b28 - 192 b10 b23 b28 + 192 b5 b10 b23 b28 - 192 b11 b23 b28 + 192 b6 b11 b23 b28 - 192 b12 b23 b28 + 192 b7 b12 b23 b28 - 192 b13 b23 b28 + 192 b8 b13 b23 b28 - 192 b14 b23 b28 + 192 b9 b14 b23 b28 - 192 b15 b23 b28 + 192 b10 b15 b23 b28 - 192 b16 b23 b28 + 192 b11 b16 b23 b28 - 128 b17 b23 b28 + 192 b12 b17 b23 b28 - 96 b18 b23 b28 + 192 b13 b18 b23 b28 - 128 b19 b23 b28 + 192 b14 b19 b23 b28 - 128 b20 b23 b28 + 192 b15 b20 b23 b28 - 1.6e2 b21 b23 b28 + 192 b16 b21 b23 b28 - 96 b22 b23 b28 + 64 b17 b22 b23 b28 + 904 b24 b28 - 32 b1 b24 b28 - 64 b2 b24 b28 - 96 b3 b24 b28 - 96 b4 b24 b28 - 128 b5 b24 b28 + 64 b1 b5 b24 b28 - 1.6e2 b6 b24 b28 + 128 b2 b6 b24 b28 - 192 b7 b24 b28 + 192 b3 b7 b24 b28 - 192 b8 b24 b28 + 192 b4 b8 b24 b28 - 192 b9 b24 b28 + 192 b5 b9 b24 b28 - 192 b10 b24 b28 + 192 b6 b10 b24 b28 - 192 b11 b24 b28 + 192 b7 b11 b24 b28 - 192 b12 b24 b28 + 192 b8 b12 b24 b28 - 192 b13 b24 b28 + 192 b9 b13 b24 b28 - 192 b14 b24 b28 + 192 b10 b14 b24 b28 - 192 b15 b24 b28 + 192 b11 b15 b24 b28 - 192 b16 b24 b28 + 192 b12 b16 b24 b28 - 128 b17 b24 b28 + 192 b13 b17 b24 b28 - 128 b18 b24 b28 + 192 b14 b18 b24 b28 - 128 b19 b24 b28 + 192 b15 b19 b24 b28 - 96 b20 b24 b28 + 192 b16 b20 b24 b28 - 64 b21 b24 b28 + 64 b17 b21 b24 b28 - 96 b22 b24 b28 + 64 b18 b22 b24 b28 - 96 b23 b24 b28 + 64 b19 b23 b24 b28 + 912 b25 b28 - 32 b1 b25 b28 - 64 b2 b25 b28 - 96 b3 b25 b28 - 128 b4 b25 b28 + 64 b1 b4 b25 b28 - 1.6e2 b5 b25 b28 + 128 b2 b5 b25 b28 - 192 b6 b25 b28 + 192 b3 b6 b25 b28 - 192 b7 b25 b28 + 192 b4 b7 b25 b28 - 192 b8 b25 b28 + 192 b5 b8 b25 b28 - 192 b9 b25 b28 + 192 b6 b9 b25 b28 - 192 b10 b25 b28 + 192 b7 b10 b25 b28 - 192 b11 b25 b28 + 192 b8 b11 b25 b28 - 192 b12 b25 b28 + 192 b9 b12 b25 b28 - 192 b13 b25 b28 + 192 b10 b13 b25 b28 - 192 b14 b25 b28 + 192 b11 b14 b25 b28 - 192 b15 b25 b28 + 192 b12 b15 b25 b28 - 192 b16 b25 b28 + 192 b13 b16 b25 b28 - 128 b17 b25 b28 + 192 b14 b17 b25 b28 - 128 b18 b25 b28 + 192 b15 b18 b25 b28 - 128 b19 b25 b28 + 192 b16 b19 b25 b28 - 64 b20 b25 b28 + 64 b17 b20 b25 b28 - 64 b21 b25 b28 + 64 b18 b21 b25 b28 - 32 b22 b25 b28 + 64 b19 b22 b25 b28 - 96 b23 b25 b28 + 64 b20 b23 b25 b28 - 96 b24 b25 b28 + 64 b21 b24 b25 b28 + 904 b26 b28 - 32 b1 b26 b28 - 64 b2 b26 b28 - 128 b3 b26 b28 + 64 b1 b3 b26 b28 - 1.6e2 b4 b26 b28 + 128 b2 b4 b26 b28 - 192 b5 b26 b28 + 192 b3 b5 b26 b28 - 192 b6 b26 b28 + 192 b4 b6 b26 b28 - 192 b7 b26 b28 + 192 b5 b7 b26 b28 - 192 b8 b26 b28 + 192 b6 b8 b26 b28 - 192 b9 b26 b28 + 192 b7 b9 b26 b28 - 192 b10 b26 b28 + 192 b8 b10 b26 b28 - 192 b11 b26 b28 + 192 b9 b11 b26 b28 - 192 b12 b26 b28 + 192 b10 b12 b26 b28 - 192 b13 b26 b28 + 192 b11 b13 b26 b28 - 192 b14 b26 b28 + 192 b12 b14 b26 b28 - 192 b15 b26 b28 + 192 b13 b15 b26 b28 - 192 b16 b26 b28 + 192 b14 b16 b26 b28 - 128 b17 b26 b28 + 192 b15 b17 b26 b28 - 128 b18 b26 b28 + 192 b16 b18 b26 b28 - 64 b19 b26 b28 + 64 b17 b19 b26 b28 - 64 b20 b26 b28 + 64 b18 b20 b26 b28 - 64 b21 b26 b28 + 64 b19 b21 b26 b28 - 64 b22 b26 b28 + 64 b20 b22 b26 b28 - 64 b23 b26 b28 + 64 b21 b23 b26 b28 - 64 b24 b26 b28 + 64 b22 b24 b26 b28 - 96 b25 b26 b28 + 64 b23 b25 b26 b28 + 912 b27 b28 - 32 b1 b27 b28 - 96 b2 b27 b28 + 64 b1 b2 b27 b28 - 1.6e2 b3 b27 b28 + 128 b2 b3 b27 b28 - 192 b4 b27 b28 + 192 b3 b4 b27 b28 - 192 b5 b27 b28 + 192 b4 b5 b27 b28 - 192 b6 b27 b28 + 192 b5 b6 b27 b28 - 192 b7 b27 b28 + 192 b6 b7 b27 b28 - 192 b8 b27 b28 + 192 b7 b8 b27 b28 - 192 b9 b27 b28 + 192 b8 b9 b27 b28 - 192 b10 b27 b28 + 192 b9 b10 b27 b28 - 192 b11 b27 b28 + 192 b10 b11 b27 b28 - 192 b12 b27 b28 + 192 b11 b12 b27 b28 - 192 b13 b27 b28 + 192 b12 b13 b27 b28 - 192 b14 b27 b28 + 192 b13 b14 b27 b28 - 192 b15 b27 b28 + 192 b14 b15 b27 b28 - 192 b16 b27 b28 + 192 b15 b16 b27 b28 - 128 b17 b27 b28 + 192 b16 b17 b27 b28 - 64 b18 b27 b28 + 64 b17 b18 b27 b28 - 64 b19 b27 b28 + 64 b18 b19 b27 b28 - 64 b20 b27 b28 + 64 b19 b20 b27 b28 - 64 b21 b27 b28 + 64 b20 b21 b27 b28 - 64 b22 b27 b28 + 64 b21 b22 b27 b28 - 64 b23 b27 b28 + 64 b22 b23 b27 b28 - 64 b24 b27 b28 + 64 b23 b24 b27 b28 - 96 b25 b27 b28 + 64 b24 b25 b27 b28 - 64 b26 b27 b28 + 64 b25 b26 b27 b28 - 2.88e3 b29 + 232 b1 b29 + 464 b2 b29 - 64 b1 b2 b29 + 472 b3 b29 - 32 b1 b3 b29 - 96 b2 b3 b29 + 496 b4 b29 - 32 b1 b4 b29 - 64 b2 b4 b29 - 96 b3 b4 b29 + 504 b5 b29 - 32 b1 b5 b29 - 64 b2 b5 b29 - 64 b3 b5 b29 - 96 b4 b5 b29 + 528 b6 b29 - 32 b1 b6 b29 - 64 b2 b6 b29 - 64 b3 b6 b29 - 64 b4 b6 b29 - 96 b5 b6 b29 + 536 b7 b29 - 32 b1 b7 b29 - 64 b2 b7 b29 - 64 b3 b7 b29 - 64 b4 b7 b29 - 64 b5 b7 b29 - 96 b6 b7 b29 + 5.6e2 b8 b29 - 32 b1 b8 b29 - 64 b2 b8 b29 - 64 b3 b8 b29 - 64 b4 b8 b29 - 64 b5 b8 b29 - 64 b6 b8 b29 - 96 b7 b8 b29 + 568 b9 b29 - 32 b1 b9 b29 - 64 b2 b9 b29 - 64 b3 b9 b29 - 64 b4 b9 b29 - 64 b5 b9 b29 - 64 b6 b9 b29 - 64 b7 b9 b29 - 96 b8 b9 b29 + 592 b10 b29 - 32 b1 b10 b29 - 64 b2 b10 b29 - 64 b3 b10 b29 - 64 b4 b10 b29 - 64 b5 b10 b29 - 64 b6 b10 b29 - 64 b7 b10 b29 - 64 b8 b10 b29 - 96 b9 b10 b29 + 600 b11 b29 - 32 b1 b11 b29 - 64 b2 b11 b29 - 64 b3 b11 b29 - 64 b4 b11 b29 - 64 b5 b11 b29 - 64 b6 b11 b29 - 64 b7 b11 b29 - 64 b8 b11 b29 - 64 b9 b11 b29 - 96 b10 b11 b29 + 624 b12 b29 - 32 b1 b12 b29 - 64 b2 b12 b29 - 64 b3 b12 b29 - 64 b4 b12 b29 - 64 b5 b12 b29 - 64 b6 b12 b29 - 64 b7 b12 b29 - 64 b8 b12 b29 - 64 b9 b12 b29 - 64 b10 b12 b29 - 96 b11 b12 b29 + 632 b13 b29 - 32 b1 b13 b29 - 64 b2 b13 b29 - 64 b3 b13 b29 - 64 b4 b13 b29 - 64 b5 b13 b29 - 64 b6 b13 b29 - 64 b7 b13 b29 - 64 b8 b13 b29 - 64 b9 b13 b29 - 64 b10 b13 b29 - 64 b11 b13 b29 - 96 b12 b13 b29 + 656 b14 b29 - 32 b1 b14 b29 - 64 b2 b14 b29 - 64 b3 b14 b29 - 64 b4 b14 b29 - 64 b5 b14 b29 - 64 b6 b14 b29 - 64 b7 b14 b29 - 64 b8 b14 b29 - 64 b9 b14 b29 - 64 b10 b14 b29 - 64 b11 b14 b29 - 64 b12 b14 b29 - 96 b13 b14 b29 + 648 b15 b29 - 64 b2 b15 b29 - 64 b3 b15 b29 - 64 b4 b15 b29 - 64 b5 b15 b29 - 64 b6 b15 b29 - 64 b7 b15 b29 - 64 b8 b15 b29 - 64 b9 b15 b29 - 64 b10 b15 b29 - 64 b11 b15 b29 - 64 b12 b15 b29 - 64 b13 b15 b29 - 96 b14 b15 b29 + 656 b16 b29 - 32 b1 b16 b29 - 64 b2 b16 b29 - 64 b4 b16 b29 - 64 b5 b16 b29 - 64 b6 b16 b29 - 64 b7 b16 b29 - 64 b8 b16 b29 - 64 b9 b16 b29 - 64 b10 b16 b29 - 64 b11 b16 b29 - 64 b12 b16 b29 - 64 b13 b16 b29 - 96 b14 b16 b29 + 64 b1 b14 b16 b29 - 1.6e2 b15 b16 b29 + 128 b2 b15 b16 b29 + 664 b17 b29 - 32 b1 b17 b29 - 64 b2 b17 b29 - 64 b3 b17 b29 - 64 b4 b17 b29 - 64 b6 b17 b29 - 64 b7 b17 b29 - 64 b8 b17 b29 - 64 b9 b17 b29 - 64 b10 b17 b29 - 64 b11 b17 b29 - 64 b12 b17 b29 - 96 b13 b17 b29 + 64 b1 b13 b17 b29 - 128 b14 b17 b29 + 128 b2 b14 b17 b29 - 128 b15 b17 b29 + 128 b3 b15 b17 b29 - 1.6e2 b16 b17 b29 + 128 b4 b16 b17 b29 + 608 b18 b29 - 32 b1 b18 b29 - 64 b2 b18 b29 - 64 b3 b18 b29 - 64 b4 b18 b29 - 64 b5 b18 b29 - 64 b6 b18 b29 - 64 b8 b18 b29 - 64 b9 b18 b29 - 64 b10 b18 b29 - 64 b11 b18 b29 - 96 b12 b18 b29 + 64 b1 b12 b18 b29 - 128 b13 b18 b29 + 128 b2 b13 b18 b29 - 128 b14 b18 b29 + 128 b3 b14 b18 b29 - 128 b15 b18 b29 + 128 b4 b15 b18 b29 - 128 b16 b18 b29 + 128 b5 b16 b18 b29 - 1.6e2 b17 b18 b29 + 128 b6 b17 b18 b29 + 616 b19 b29 - 32 b1 b19 b29 - 64 b2 b19 b29 - 64 b3 b19 b29 - 64 b4 b19 b29 - 64 b5 b19 b29 - 64 b6 b19 b29 - 64 b7 b19 b29 - 64 b8 b19 b29 - 64 b10 b19 b29 - 96 b11 b19 b29 + 64 b1 b11 b19 b29 - 128 b12 b19 b29 + 128 b2 b12 b19 b29 - 128 b13 b19 b29 + 128 b3 b13 b19 b29 - 128 b14 b19 b29 + 128 b4 b14 b19 b29 - 128 b15 b19 b29 + 128 b5 b15 b19 b29 - 128 b16 b19 b29 + 128 b6 b16 b19 b29 - 128 b17 b19 b29 + 128 b7 b17 b19 b29 - 128 b18 b19 b29 + 128 b8 b18 b19 b29 + 624 b20 b29 - 32 b1 b20 b29 - 64 b2 b20 b29 - 64 b3 b20 b29 - 64 b4 b20 b29 - 64 b5 b20 b29 - 64 b6 b20 b29 - 64 b7 b20 b29 - 64 b8 b20 b29 - 64 b9 b20 b29 - 96 b10 b20 b29 + 64 b1 b10 b20 b29 - 64 b11 b20 b29 + 128 b2 b11 b20 b29 - 128 b12 b20 b29 + 128 b3 b12 b20 b29 - 128 b13 b20 b29 + 128 b4 b13 b20 b29 - 128 b14 b20 b29 + 128 b5 b14 b20 b29 - 128 b15 b20 b29 + 128 b6 b15 b20 b29 - 128 b16 b20 b29 + 128 b7 b16 b20 b29 - 128 b17 b20 b29 + 128 b8 b17 b20 b29 - 96 b18 b20 b29 + 128 b9 b18 b20 b29 - 128 b19 b20 b29 + 128 b10 b19 b20 b29 + 632 b21 b29 - 32 b1 b21 b29 - 64 b2 b21 b29 - 64 b3 b21 b29 - 64 b4 b21 b29 - 64 b5 b21 b29 - 64 b6 b21 b29 - 64 b7 b21 b29 - 64 b8 b21 b29 - 96 b9 b21 b29 + 64 b1 b9 b21 b29 - 128 b10 b21 b29 + 128 b2 b10 b21 b29 - 128 b11 b21 b29 + 128 b3 b11 b21 b29 - 128 b12 b21 b29 + 128 b4 b12 b21 b29 - 64 b13 b21 b29 + 128 b5 b13 b21 b29 - 128 b14 b21 b29 + 128 b6 b14 b21 b29 - 128 b15 b21 b29 + 128 b7 b15 b21 b29 - 128 b16 b21 b29 + 128 b8 b16 b21 b29 - 128 b17 b21 b29 + 128 b9 b17 b21 b29 - 96 b18 b21 b29 + 128 b10 b18 b21 b29 - 96 b19 b21 b29 + 128 b11 b19 b21 b29 - 128 b20 b21 b29 + 128 b12 b20 b21 b29 + 6.4e2 b22 b29 - 32 b1 b22 b29 - 64 b2 b22 b29 - 64 b3 b22 b29 - 64 b4 b22 b29 - 64 b5 b22 b29 - 64 b6 b22 b29 - 64 b7 b22 b29 - 96 b8 b22 b29 + 64 b1 b8 b22 b29 - 128 b9 b22 b29 + 128 b2 b9 b22 b29 - 128 b10 b22 b29 + 128 b3 b10 b22 b29 - 128 b11 b22 b29 + 128 b4 b11 b22 b29 - 128 b12 b22 b29 + 128 b5 b12 b22 b29 - 128 b13 b22 b29 + 128 b6 b13 b22 b29 - 128 b14 b22 b29 + 128 b7 b14 b22 b29 - 64 b15 b22 b29 + 128 b8 b15 b22 b29 - 128 b16 b22 b29 + 128 b9 b16 b22 b29 - 128 b17 b22 b29 + 128 b10 b17 b22 b29 - 96 b18 b22 b29 + 128 b11 b18 b22 b29 - 96 b19 b22 b29 + 128 b12 b19 b22 b29 - 96 b20 b22 b29 + 128 b13 b20 b22 b29 - 128 b21 b22 b29 + 128 b14 b21 b22 b29 + 648 b23 b29 - 32 b1 b23 b29 - 64 b2 b23 b29 - 64 b3 b23 b29 - 64 b4 b23 b29 - 64 b5 b23 b29 - 64 b6 b23 b29 - 96 b7 b23 b29 + 64 b1 b7 b23 b29 - 128 b8 b23 b29 + 128 b2 b8 b23 b29 - 128 b9 b23 b29 + 128 b3 b9 b23 b29 - 128 b10 b23 b29 + 128 b4 b10 b23 b29 - 128 b11 b23 b29 + 128 b5 b11 b23 b29 - 128 b12 b23 b29 + 128 b6 b12 b23 b29 - 128 b13 b23 b29 + 128 b7 b13 b23 b29 - 128 b14 b23 b29 + 128 b8 b14 b23 b29 - 128 b15 b23 b29 + 128 b9 b15 b23 b29 - 128 b16 b23 b29 + 128 b10 b16 b23 b29 - 64 b17 b23 b29 + 128 b11 b17 b23 b29 - 96 b18 b23 b29 + 128 b12 b18 b23 b29 - 96 b19 b23 b29 + 128 b13 b19 b23 b29 - 96 b20 b23 b29 + 128 b14 b20 b23 b29 - 96 b21 b23 b29 + 128 b15 b21 b23 b29 - 128 b22 b23 b29 + 128 b16 b22 b23 b29 + 672 b24 b29 - 32 b1 b24 b29 - 64 b2 b24 b29 - 64 b3 b24 b29 - 64 b4 b24 b29 - 64 b5 b24 b29 - 96 b6 b24 b29 + 64 b1 b6 b24 b29 - 128 b7 b24 b29 + 128 b2 b7 b24 b29 - 128 b8 b24 b29 + 128 b3 b8 b24 b29 - 128 b9 b24 b29 + 128 b4 b9 b24 b29 - 128 b10 b24 b29 + 128 b5 b10 b24 b29 - 128 b11 b24 b29 + 128 b6 b11 b24 b29 - 128 b12 b24 b29 + 128 b7 b12 b24 b29 - 128 b13 b24 b29 + 128 b8 b13 b24 b29 - 128 b14 b24 b29 + 128 b9 b14 b24 b29 - 128 b15 b24 b29 + 128 b10 b15 b24 b29 - 128 b16 b24 b29 + 128 b11 b16 b24 b29 - 128 b17 b24 b29 + 128 b12 b17 b24 b29 - 96 b18 b24 b29 + 128 b13 b18 b24 b29 - 64 b19 b24 b29 + 128 b14 b19 b24 b29 - 96 b20 b24 b29 + 128 b15 b20 b24 b29 - 96 b21 b24 b29 + 128 b16 b21 b24 b29 - 96 b22 b24 b29 + 128 b17 b22 b24 b29 - 96 b23 b24 b29 + 64 b18 b23 b24 b29 + 6.8e2 b25 b29 - 32 b1 b25 b29 - 64 b2 b25 b29 - 64 b3 b25 b29 - 64 b4 b25 b29 - 96 b5 b25 b29 + 64 b1 b5 b25 b29 - 128 b6 b25 b29 + 128 b2 b6 b25 b29 - 128 b7 b25 b29 + 128 b3 b7 b25 b29 - 128 b8 b25 b29 + 128 b4 b8 b25 b29 - 128 b9 b25 b29 + 128 b5 b9 b25 b29 - 128 b10 b25 b29 + 128 b6 b10 b25 b29 - 128 b11 b25 b29 + 128 b7 b11 b25 b29 - 128 b12 b25 b29 + 128 b8 b12 b25 b29 - 128 b13 b25 b29 + 128 b9 b13 b25 b29 - 128 b14 b25 b29 + 128 b10 b14 b25 b29 - 128 b15 b25 b29 + 128 b11 b15 b25 b29 - 128 b16 b25 b29 + 128 b12 b16 b25 b29 - 128 b17 b25 b29 + 128 b13 b17 b25 b29 - 96 b18 b25 b29 + 128 b14 b18 b25 b29 - 96 b19 b25 b29 + 128 b15 b19 b25 b29 - 96 b20 b25 b29 + 128 b16 b20 b25 b29 - 64 b21 b25 b29 + 128 b17 b21 b25 b29 - 64 b22 b25 b29 + 64 b18 b22 b25 b29 - 64 b23 b25 b29 + 64 b19 b23 b25 b29 - 96 b24 b25 b29 + 64 b20 b24 b25 b29 + 688 b26 b29 - 32 b1 b26 b29 - 64 b2 b26 b29 - 64 b3 b26 b29 - 96 b4 b26 b29 + 64 b1 b4 b26 b29 - 128 b5 b26 b29 + 128 b2 b5 b26 b29 - 128 b6 b26 b29 + 128 b3 b6 b26 b29 - 128 b7 b26 b29 + 128 b4 b7 b26 b29 - 128 b8 b26 b29 + 128 b5 b8 b26 b29 - 128 b9 b26 b29 + 128 b6 b9 b26 b29 - 128 b10 b26 b29 + 128 b7 b10 b26 b29 - 128 b11 b26 b29 + 128 b8 b11 b26 b29 - 128 b12 b26 b29 + 128 b9 b12 b26 b29 - 128 b13 b26 b29 + 128 b10 b13 b26 b29 - 128 b14 b26 b29 + 128 b11 b14 b26 b29 - 128 b15 b26 b29 + 128 b12 b15 b26 b29 - 128 b16 b26 b29 + 128 b13 b16 b26 b29 - 128 b17 b26 b29 + 128 b14 b17 b26 b29 - 96 b18 b26 b29 + 128 b15 b18 b26 b29 - 96 b19 b26 b29 + 128 b16 b19 b26 b29 - 96 b20 b26 b29 + 128 b17 b20 b26 b29 - 64 b21 b26 b29 + 64 b18 b21 b26 b29 - 64 b22 b26 b29 + 64 b19 b22 b26 b29 - 32 b23 b26 b29 + 64 b20 b23 b26 b29 - 64 b24 b26 b29 + 64 b21 b24 b26 b29 - 96 b25 b26 b29 + 64 b22 b25 b26 b29 + 696 b27 b29 - 32 b1 b27 b29 - 64 b2 b27 b29 - 96 b3 b27 b29 + 64 b1 b3 b27 b29 - 128 b4 b27 b29 + 128 b2 b4 b27 b29 - 128 b5 b27 b29 + 128 b3 b5 b27 b29 - 128 b6 b27 b29 + 128 b4 b6 b27 b29 - 128 b7 b27 b29 + 128 b5 b7 b27 b29 - 128 b8 b27 b29 + 128 b6 b8 b27 b29 - 128 b9 b27 b29 + 128 b7 b9 b27 b29 - 128 b10 b27 b29 + 128 b8 b10 b27 b29 - 128 b11 b27 b29 + 128 b9 b11 b27 b29 - 128 b12 b27 b29 + 128 b10 b12 b27 b29 - 128 b13 b27 b29 + 128 b11 b13 b27 b29 - 128 b14 b27 b29 + 128 b12 b14 b27 b29 - 128 b15 b27 b29 + 128 b13 b15 b27 b29 - 128 b16 b27 b29 + 128 b14 b16 b27 b29 - 128 b17 b27 b29 + 128 b15 b17 b27 b29 - 96 b18 b27 b29 + 128 b16 b18 b27 b29 - 96 b19 b27 b29 + 128 b17 b19 b27 b29 - 64 b20 b27 b29 + 64 b18 b20 b27 b29 - 64 b21 b27 b29 + 64 b19 b21 b27 b29 - 64 b22 b27 b29 + 64 b20 b22 b27 b29 - 64 b23 b27 b29 + 64 b21 b23 b27 b29 - 64 b24 b27 b29 + 64 b22 b24 b27 b29 - 32 b25 b27 b29 + 64 b23 b25 b27 b29 - 96 b26 b27 b29 + 64 b24 b26 b27 b29 + 688 b28 b29 - 32 b1 b28 b29 - 96 b2 b28 b29 + 64 b1 b2 b28 b29 - 128 b3 b28 b29 + 128 b2 b3 b28 b29 - 128 b4 b28 b29 + 128 b3 b4 b28 b29 - 128 b5 b28 b29 + 128 b4 b5 b28 b29 - 128 b6 b28 b29 + 128 b5 b6 b28 b29 - 128 b7 b28 b29 + 128 b6 b7 b28 b29 - 128 b8 b28 b29 + 128 b7 b8 b28 b29 - 128 b9 b28 b29 + 128 b8 b9 b28 b29 - 128 b10 b28 b29 + 128 b9 b10 b28 b29 - 128 b11 b28 b29 + 128 b10 b11 b28 b29 - 128 b12 b28 b29 + 128 b11 b12 b28 b29 - 128 b13 b28 b29 + 128 b12 b13 b28 b29 - 128 b14 b28 b29 + 128 b13 b14 b28 b29 - 128 b15 b28 b29 + 128 b14 b15 b28 b29 - 128 b16 b28 b29 + 128 b15 b16 b28 b29 - 128 b17 b28 b29 + 128 b16 b17 b28 b29 - 96 b18 b28 b29 + 128 b17 b18 b28 b29 - 64 b19 b28 b29 + 64 b18 b19 b28 b29 - 64 b20 b28 b29 + 64 b19 b20 b28 b29 - 64 b21 b28 b29 + 64 b20 b21 b28 b29 - 64 b22 b28 b29 + 64 b21 b22 b28 b29 - 64 b23 b28 b29 + 64 b22 b23 b28 b29 - 64 b24 b28 b29 + 64 b23 b24 b28 b29 - 64 b25 b28 b29 + 64 b24 b25 b28 b29 - 64 b26 b28 b29 + 64 b25 b26 b28 b29 - 64 b27 b28 b29 + 64 b26 b27 b28 b29 - 1624 b30 + 224 b1 b30 + 232 b2 b30 - 32 b1 b2 b30 + 2.4e2 b3 b30 - 32 b1 b3 b30 - 32 b2 b3 b30 + 248 b4 b30 - 32 b1 b4 b30 - 32 b2 b4 b30 - 32 b3 b4 b30 + 256 b5 b30 - 32 b1 b5 b30 - 32 b2 b5 b30 - 32 b3 b5 b30 - 32 b4 b5 b30 + 264 b6 b30 - 32 b1 b6 b30 - 32 b2 b6 b30 - 32 b3 b6 b30 - 32 b4 b6 b30 - 32 b5 b6 b30 + 272 b7 b30 - 32 b1 b7 b30 - 32 b2 b7 b30 - 32 b3 b7 b30 - 32 b4 b7 b30 - 32 b5 b7 b30 - 32 b6 b7 b30 + 2.8e2 b8 b30 - 32 b1 b8 b30 - 32 b2 b8 b30 - 32 b3 b8 b30 - 32 b4 b8 b30 - 32 b5 b8 b30 - 32 b6 b8 b30 - 32 b7 b8 b30 + 288 b9 b30 - 32 b1 b9 b30 - 32 b2 b9 b30 - 32 b3 b9 b30 - 32 b4 b9 b30 - 32 b5 b9 b30 - 32 b6 b9 b30 - 32 b7 b9 b30 - 32 b8 b9 b30 + 296 b10 b30 - 32 b1 b10 b30 - 32 b2 b10 b30 - 32 b3 b10 b30 - 32 b4 b10 b30 - 32 b5 b10 b30 - 32 b6 b10 b30 - 32 b7 b10 b30 - 32 b8 b10 b30 - 32 b9 b10 b30 + 304 b11 b30 - 32 b1 b11 b30 - 32 b2 b11 b30 - 32 b3 b11 b30 - 32 b4 b11 b30 - 32 b5 b11 b30 - 32 b6 b11 b30 - 32 b7 b11 b30 - 32 b8 b11 b30 - 32 b9 b11 b30 - 32 b10 b11 b30 + 312 b12 b30 - 32 b1 b12 b30 - 32 b2 b12 b30 - 32 b3 b12 b30 - 32 b4 b12 b30 - 32 b5 b12 b30 - 32 b6 b12 b30 - 32 b7 b12 b30 - 32 b8 b12 b30 - 32 b9 b12 b30 - 32 b10 b12 b30 - 32 b11 b12 b30 + 3.2e2 b13 b30 - 32 b1 b13 b30 - 32 b2 b13 b30 - 32 b3 b13 b30 - 32 b4 b13 b30 - 32 b5 b13 b30 - 32 b6 b13 b30 - 32 b7 b13 b30 - 32 b8 b13 b30 - 32 b9 b13 b30 - 32 b10 b13 b30 - 32 b11 b13 b30 - 32 b12 b13 b30 + 328 b14 b30 - 32 b1 b14 b30 - 32 b2 b14 b30 - 32 b3 b14 b30 - 32 b4 b14 b30 - 32 b5 b14 b30 - 32 b6 b14 b30 - 32 b7 b14 b30 - 32 b8 b14 b30 - 32 b9 b14 b30 - 32 b10 b14 b30 - 32 b11 b14 b30 - 32 b12 b14 b30 - 32 b13 b14 b30 + 336 b15 b30 - 32 b1 b15 b30 - 32 b2 b15 b30 - 32 b3 b15 b30 - 32 b4 b15 b30 - 32 b5 b15 b30 - 32 b6 b15 b30 - 32 b7 b15 b30 - 32 b8 b15 b30 - 32 b9 b15 b30 - 32 b10 b15 b30 - 32 b11 b15 b30 - 32 b12 b15 b30 - 32 b13 b15 b30 - 32 b14 b15 b30 + 328 b16 b30 - 32 b1 b16 b30 - 32 b3 b16 b30 - 32 b4 b16 b30 - 32 b5 b16 b30 - 32 b6 b16 b30 - 32 b7 b16 b30 - 32 b8 b16 b30 - 32 b9 b16 b30 - 32 b10 b16 b30 - 32 b11 b16 b30 - 32 b12 b16 b30 - 32 b13 b16 b30 - 32 b14 b16 b30 - 64 b15 b16 b30 + 64 b1 b15 b16 b30 + 336 b17 b30 - 32 b1 b17 b30 - 32 b2 b17 b30 - 32 b3 b17 b30 - 32 b5 b17 b30 - 32 b6 b17 b30 - 32 b7 b17 b30 - 32 b8 b17 b30 - 32 b9 b17 b30 - 32 b10 b17 b30 - 32 b11 b17 b30 - 32 b12 b17 b30 - 32 b13 b17 b30 - 64 b14 b17 b30 + 64 b1 b14 b17 b30 - 64 b15 b17 b30 + 64 b2 b15 b17 b30 - 64 b16 b17 b30 + 64 b3 b16 b17 b30 + 344 b18 b30 - 32 b1 b18 b30 - 32 b2 b18 b30 - 32 b3 b18 b30 - 32 b4 b18 b30 - 32 b5 b18 b30 - 32 b7 b18 b30 - 32 b8 b18 b30 - 32 b9 b18 b30 - 32 b10 b18 b30 - 32 b11 b18 b30 - 32 b12 b18 b30 - 64 b13 b18 b30 + 64 b1 b13 b18 b30 - 64 b14 b18 b30 + 64 b2 b14 b18 b30 - 64 b15 b18 b30 + 64 b3 b15 b18 b30 - 64 b16 b18 b30 + 64 b4 b16 b18 b30 - 64 b17 b18 b30 + 64 b5 b17 b18 b30 + 352 b19 b30 - 32 b1 b19 b30 - 32 b2 b19 b30 - 32 b3 b19 b30 - 32 b4 b19 b30 - 32 b5 b19 b30 - 32 b6 b19 b30 - 32 b7 b19 b30 - 32 b9 b19 b30 - 32 b10 b19 b30 - 32 b11 b19 b30 - 64 b12 b19 b30 + 64 b1 b12 b19 b30 - 64 b13 b19 b30 + 64 b2 b13 b19 b30 - 64 b14 b19 b30 + 64 b3 b14 b19 b30 - 64 b15 b19 b30 + 64 b4 b15 b19 b30 - 64 b16 b19 b30 + 64 b5 b16 b19 b30 - 64 b17 b19 b30 + 64 b6 b17 b19 b30 - 64 b18 b19 b30 + 64 b7 b18 b19 b30 + 3.6e2 b20 b30 - 32 b1 b20 b30 - 32 b2 b20 b30 - 32 b3 b20 b30 - 32 b4 b20 b30 - 32 b5 b20 b30 - 32 b6 b20 b30 - 32 b7 b20 b30 - 32 b8 b20 b30 - 32 b9 b20 b30 - 64 b11 b20 b30 + 64 b1 b11 b20 b30 - 64 b12 b20 b30 + 64 b2 b12 b20 b30 - 64 b13 b20 b30 + 64 b3 b13 b20 b30 - 64 b14 b20 b30 + 64 b4 b14 b20 b30 - 64 b15 b20 b30 + 64 b5 b15 b20 b30 - 64 b16 b20 b30 + 64 b6 b16 b20 b30 - 64 b17 b20 b30 + 64 b7 b17 b20 b30 - 64 b18 b20 b30 + 64 b8 b18 b20 b30 - 64 b19 b20 b30 + 64 b9 b19 b20 b30 + 368 b21 b30 - 32 b1 b21 b30 - 32 b2 b21 b30 - 32 b3 b21 b30 - 32 b4 b21 b30 - 32 b5 b21 b30 - 32 b6 b21 b30 - 32 b7 b21 b30 - 32 b8 b21 b30 - 32 b9 b21 b30 - 64 b10 b21 b30 + 64 b1 b10 b21 b30 - 64 b11 b21 b30 + 64 b2 b11 b21 b30 - 32 b12 b21 b30 + 64 b3 b12 b21 b30 - 64 b13 b21 b30 + 64 b4 b13 b21 b30 - 64 b14 b21 b30 + 64 b5 b14 b21 b30 - 64 b15 b21 b30 + 64 b6 b15 b21 b30 - 64 b16 b21 b30 + 64 b7 b16 b21 b30 - 64 b17 b21 b30 + 64 b8 b17 b21 b30 - 64 b18 b21 b30 + 64 b9 b18 b21 b30 - 64 b19 b21 b30 + 64 b10 b19 b21 b30 - 64 b20 b21 b30 + 64 b11 b20 b21 b30 + 376 b22 b30 - 32 b1 b22 b30 - 32 b2 b22 b30 - 32 b3 b22 b30 - 32 b4 b22 b30 - 32 b5 b22 b30 - 32 b6 b22 b30 - 32 b7 b22 b30 - 32 b8 b22 b30 - 64 b9 b22 b30 + 64 b1 b9 b22 b30 - 64 b10 b22 b30 + 64 b2 b10 b22 b30 - 64 b11 b22 b30 + 64 b3 b11 b22 b30 - 64 b12 b22 b30 + 64 b4 b12 b22 b30 - 64 b13 b22 b30 + 64 b5 b13 b22 b30 - 32 b14 b22 b30 + 64 b6 b14 b22 b30 - 64 b15 b22 b30 + 64 b7 b15 b22 b30 - 64 b16 b22 b30 + 64 b8 b16 b22 b30 - 64 b17 b22 b30 + 64 b9 b17 b22 b30 - 64 b18 b22 b30 + 64 b10 b18 b22 b30 - 64 b19 b22 b30 + 64 b11 b19 b22 b30 - 64 b20 b22 b30 + 64 b12 b20 b22 b30 - 64 b21 b22 b30 + 64 b13 b21 b22 b30 + 384 b23 b30 - 32 b1 b23 b30 - 32 b2 b23 b30 - 32 b3 b23 b30 - 32 b4 b23 b30 - 32 b5 b23 b30 - 32 b6 b23 b30 - 32 b7 b23 b30 - 64 b8 b23 b30 + 64 b1 b8 b23 b30 - 64 b9 b23 b30 + 64 b2 b9 b23 b30 - 64 b10 b23 b30 + 64 b3 b10 b23 b30 - 64 b11 b23 b30 + 64 b4 b11 b23 b30 - 64 b12 b23 b30 + 64 b5 b12 b23 b30 - 64 b13 b23 b30 + 64 b6 b13 b23 b30 - 64 b14 b23 b30 + 64 b7 b14 b23 b30 - 64 b15 b23 b30 + 64 b8 b15 b23 b30 - 32 b16 b23 b30 + 64 b9 b16 b23 b30 - 64 b17 b23 b30 + 64 b10 b17 b23 b30 - 64 b18 b23 b30 + 64 b11 b18 b23 b30 - 64 b19 b23 b30 + 64 b12 b19 b23 b30 - 64 b20 b23 b30 + 64 b13 b20 b23 b30 - 64 b21 b23 b30 + 64 b14 b21 b23 b30 - 64 b22 b23 b30 + 64 b15 b22 b23 b30 + 392 b24 b30 - 32 b1 b24 b30 - 32 b2 b24 b30 - 32 b3 b24 b30 - 32 b4 b24 b30 - 32 b5 b24 b30 - 32 b6 b24 b30 - 64 b7 b24 b30 + 64 b1 b7 b24 b30 - 64 b8 b24 b30 + 64 b2 b8 b24 b30 - 64 b9 b24 b30 + 64 b3 b9 b24 b30 - 64 b10 b24 b30 + 64 b4 b10 b24 b30 - 64 b11 b24 b30 + 64 b5 b11 b24 b30 - 64 b12 b24 b30 + 64 b6 b12 b24 b30 - 64 b13 b24 b30 + 64 b7 b13 b24 b30 - 64 b14 b24 b30 + 64 b8 b14 b24 b30 - 64 b15 b24 b30 + 64 b9 b15 b24 b30 - 64 b16 b24 b30 + 64 b10 b16 b24 b30 - 64 b17 b24 b30 + 64 b11 b17 b24 b30 - 32 b18 b24 b30 + 64 b12 b18 b24 b30 - 64 b19 b24 b30 + 64 b13 b19 b24 b30 - 64 b20 b24 b30 + 64 b14 b20 b24 b30 - 64 b21 b24 b30 + 64 b15 b21 b24 b30 - 64 b22 b24 b30 + 64 b16 b22 b24 b30 - 64 b23 b24 b30 + 64 b17 b23 b24 b30 + 400 b25 b30 - 32 b1 b25 b30 - 32 b2 b25 b30 - 32 b3 b25 b30 - 32 b4 b25 b30 - 32 b5 b25 b30 - 64 b6 b25 b30 + 64 b1 b6 b25 b30 - 64 b7 b25 b30 + 64 b2 b7 b25 b30 - 64 b8 b25 b30 + 64 b3 b8 b25 b30 - 64 b9 b25 b30 + 64 b4 b9 b25 b30 - 64 b10 b25 b30 + 64 b5 b10 b25 b30 - 64 b11 b25 b30 + 64 b6 b11 b25 b30 - 64 b12 b25 b30 + 64 b7 b12 b25 b30 - 64 b13 b25 b30 + 64 b8 b13 b25 b30 - 64 b14 b25 b30 + 64 b9 b14 b25 b30 - 64 b15 b25 b30 + 64 b10 b15 b25 b30 - 64 b16 b25 b30 + 64 b11 b16 b25 b30 - 64 b17 b25 b30 + 64 b12 b17 b25 b30 - 64 b18 b25 b30 + 64 b13 b18 b25 b30 - 64 b19 b25 b30 + 64 b14 b19 b25 b30 - 32 b20 b25 b30 + 64 b15 b20 b25 b30 - 64 b21 b25 b30 + 64 b16 b21 b25 b30 - 64 b22 b25 b30 + 64 b17 b22 b25 b30 - 64 b23 b25 b30 + 64 b18 b23 b25 b30 - 64 b24 b25 b30 + 64 b19 b24 b25 b30 + 408 b26 b30 - 32 b1 b26 b30 - 32 b2 b26 b30 - 32 b3 b26 b30 - 32 b4 b26 b30 - 64 b5 b26 b30 + 64 b1 b5 b26 b30 - 64 b6 b26 b30 + 64 b2 b6 b26 b30 - 64 b7 b26 b30 + 64 b3 b7 b26 b30 - 64 b8 b26 b30 + 64 b4 b8 b26 b30 - 64 b9 b26 b30 + 64 b5 b9 b26 b30 - 64 b10 b26 b30 + 64 b6 b10 b26 b30 - 64 b11 b26 b30 + 64 b7 b11 b26 b30 - 64 b12 b26 b30 + 64 b8 b12 b26 b30 - 64 b13 b26 b30 + 64 b9 b13 b26 b30 - 64 b14 b26 b30 + 64 b10 b14 b26 b30 - 64 b15 b26 b30 + 64 b11 b15 b26 b30 - 64 b16 b26 b30 + 64 b12 b16 b26 b30 - 64 b17 b26 b30 + 64 b13 b17 b26 b30 - 64 b18 b26 b30 + 64 b14 b18 b26 b30 - 64 b19 b26 b30 + 64 b15 b19 b26 b30 - 64 b20 b26 b30 + 64 b16 b20 b26 b30 - 64 b21 b26 b30 + 64 b17 b21 b26 b30 - 32 b22 b26 b30 + 64 b18 b22 b26 b30 - 64 b23 b26 b30 + 64 b19 b23 b26 b30 - 64 b24 b26 b30 + 64 b20 b24 b26 b30 - 64 b25 b26 b30 + 64 b21 b25 b26 b30 + 416 b27 b30 - 32 b1 b27 b30 - 32 b2 b27 b30 - 32 b3 b27 b30 - 64 b4 b27 b30 + 64 b1 b4 b27 b30 - 64 b5 b27 b30 + 64 b2 b5 b27 b30 - 64 b6 b27 b30 + 64 b3 b6 b27 b30 - 64 b7 b27 b30 + 64 b4 b7 b27 b30 - 64 b8 b27 b30 + 64 b5 b8 b27 b30 - 64 b9 b27 b30 + 64 b6 b9 b27 b30 - 64 b10 b27 b30 + 64 b7 b10 b27 b30 - 64 b11 b27 b30 + 64 b8 b11 b27 b30 - 64 b12 b27 b30 + 64 b9 b12 b27 b30 - 64 b13 b27 b30 + 64 b10 b13 b27 b30 - 64 b14 b27 b30 + 64 b11 b14 b27 b30 - 64 b15 b27 b30 + 64 b12 b15 b27 b30 - 64 b16 b27 b30 + 64 b13 b16 b27 b30 - 64 b17 b27 b30 + 64 b14 b17 b27 b30 - 64 b18 b27 b30 + 64 b15 b18 b27 b30 - 64 b19 b27 b30 + 64 b16 b19 b27 b30 - 64 b20 b27 b30 + 64 b17 b20 b27 b30 - 64 b21 b27 b30 + 64 b18 b21 b27 b30 - 64 b22 b27 b30 + 64 b19 b22 b27 b30 - 64 b23 b27 b30 + 64 b20 b23 b27 b30 - 32 b24 b27 b30 + 64 b21 b24 b27 b30 - 64 b25 b27 b30 + 64 b22 b25 b27 b30 - 64 b26 b27 b30 + 64 b23 b26 b27 b30 + 424 b28 b30 - 32 b1 b28 b30 - 32 b2 b28 b30 - 64 b3 b28 b30 + 64 b1 b3 b28 b30 - 64 b4 b28 b30 + 64 b2 b4 b28 b30 - 64 b5 b28 b30 + 64 b3 b5 b28 b30 - 64 b6 b28 b30 + 64 b4 b6 b28 b30 - 64 b7 b28 b30 + 64 b5 b7 b28 b30 - 64 b8 b28 b30 + 64 b6 b8 b28 b30 - 64 b9 b28 b30 + 64 b7 b9 b28 b30 - 64 b10 b28 b30 + 64 b8 b10 b28 b30 - 64 b11 b28 b30 + 64 b9 b11 b28 b30 - 64 b12 b28 b30 + 64 b10 b12 b28 b30 - 64 b13 b28 b30 + 64 b11 b13 b28 b30 - 64 b14 b28 b30 + 64 b12 b14 b28 b30 - 64 b15 b28 b30 + 64 b13 b15 b28 b30 - 64 b16 b28 b30 + 64 b14 b16 b28 b30 - 64 b17 b28 b30 + 64 b15 b17 b28 b30 - 64 b18 b28 b30 + 64 b16 b18 b28 b30 - 64 b19 b28 b30 + 64 b17 b19 b28 b30 - 64 b20 b28 b30 + 64 b18 b20 b28 b30 - 64 b21 b28 b30 + 64 b19 b21 b28 b30 - 64 b22 b28 b30 + 64 b20 b22 b28 b30 - 64 b23 b28 b30 + 64 b21 b23 b28 b30 - 64 b24 b28 b30 + 64 b22 b24 b28 b30 - 64 b25 b28 b30 + 64 b23 b25 b28 b30 - 32 b26 b28 b30 + 64 b24 b26 b28 b30 - 64 b27 b28 b30 + 64 b25 b27 b28 b30 + 432 b29 b30 - 32 b1 b29 b30 - 64 b2 b29 b30 + 64 b1 b2 b29 b30 - 64 b3 b29 b30 + 64 b2 b3 b29 b30 - 64 b4 b29 b30 + 64 b3 b4 b29 b30 - 64 b5 b29 b30 + 64 b4 b5 b29 b30 - 64 b6 b29 b30 + 64 b5 b6 b29 b30 - 64 b7 b29 b30 + 64 b6 b7 b29 b30 - 64 b8 b29 b30 + 64 b7 b8 b29 b30 - 64 b9 b29 b30 + 64 b8 b9 b29 b30 - 64 b10 b29 b30 + 64 b9 b10 b29 b30 - 64 b11 b29 b30 + 64 b10 b11 b29 b30 - 64 b12 b29 b30 + 64 b11 b12 b29 b30 - 64 b13 b29 b30 + 64 b12 b13 b29 b30 - 64 b14 b29 b30 + 64 b13 b14 b29 b30 - 64 b15 b29 b30 + 64 b14 b15 b29 b30 - 64 b16 b29 b30 + 64 b15 b16 b29 b30 - 64 b17 b29 b30 + 64 b16 b17 b29 b30 - 64 b18 b29 b30 + 64 b17 b18 b29 b30 - 64 b19 b29 b30 + 64 b18 b19 b29 b30 - 64 b20 b29 b30 + 64 b19 b20 b29 b30 - 64 b21 b29 b30 + 64 b20 b21 b29 b30 - 64 b22 b29 b30 + 64 b21 b22 b29 b30 - 64 b23 b29 b30 + 64 b22 b23 b29 b30 - 64 b24 b29 b30 + 64 b23 b24 b29 b30 - 64 b25 b29 b30 + 64 b24 b25 b29 b30 - 64 b26 b29 b30 + 64 b25 b26 b29 b30 - 64 b27 b29 b30 + 64 b26 b27 b29 b30 - 32 b28 b29 b30 + 64 b27 b28 b29 b30 <= 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 End