SZS status Theorem for i/f/words/EXTRACT__ALL__BITS
