SZS status Theorem for i/f/HolSmt/ALL__DISTINCT__NIL
