session mpz = NTP4Verif +
theories
  "mpz_Z_mpz_memoqtvc"
  "mpz_Z_unchangedqtvc"
  "mpz_Z_unchanged_transitiveqtvc"
  "mpz_Z_absqtvc"
  "mpz_Z_abs_size_ofqtvc"
  "mpz_Zutil_wmpz_ptr_declqtvc"
  "mpz_Zutil_wmpz_do_reallocqtvc"
  "mpz_Zutil_wmpz_reallocqtvc"
  "mpz_Zutil_mpz_ptr_swapqtvc"
