% SZS status Timeout for finite__rules_
