#!/usr/bin/env bash
set -euo pipefail
ROOT="$(cd "$(dirname "$0")/../.." && pwd)"

python3 "$ROOT/code/exact_counts/verify_release_counts.py" \
  --counts "$ROOT/data/counts/oeis_A048833_k0_k10000.txt" \
  --public-snapshot "$ROOT/data/counts/oeis_A048833_public_k0_k750.txt" \
  --output "$ROOT/data/counts/exact_count_verification.txt"

python3 "$ROOT/code/independent_checks/knapsack_check_N1500.py" \
  | tee "$ROOT/data/counts/knapsack_check_N1500.txt"
