SZS status Theorem for i/f/numposrep/EL__num__to__bin__list
