% SZS status Timeout for FINITELY__INJECTIVE__IMAGE__FINI
