SZS status Theorem for i/f/bag/SUB__BAG__EMPTY_c1
