SZS status Theorem for i/f/patricia/PERM__NOT__REMOVE
