% SZS status Timeout for nightmare__implies__L
