% SZS status Timeout for antisymmetric__RINTER_
