SZS status Theorem for i/f/words/bit__count__is__zero
