% SZS status Timeout for LFINITE__rules_
