% SZS status Timeout for BAG__IMAGE__FINITE__UNI
