% SZS status Timeout for STRING__ACYCLIC_
