SZS status Theorem for i/f/patricia/KEYS__PEEK
