% SZS status Timeout for EQUIV__REFL__SYM__TRA
