SZS status Theorem for i/f/bag/SET__OF__BAG__EQ__EMPTY_c0
