SZS status Theorem for i/f/string/DEST__STRING__LEMS_c1
