SZS status Theorem for i/f/bag/SING__EL__BAG
