SZS status Theorem for i/f/float/ERROR__AT__WORST__LEMMA
