% SZS status Timeout for BIT__num__from__bin__stri
