SZS status Theorem for i/f/patricia_casts/REVERSE__11
