SZS status Theorem for i/f/numposrep/BIT__num__from__bin__list
