libera-verify-319178327