% SZS status Timeout for transitive__RINT
