% SZS status Timeout for finite__prefixes__inj__ima
