% SZS status Timeout for EXTRACT__def_
