#!/usr/bin/env bash
set -euo pipefail
ROOT="$(cd "$(dirname "$0")/../.." && pwd)"
WORKDIR="${1:-$ROOT/work/quick_check_N1500}"

OMP_NUM_THREADS="${OMP_NUM_THREADS:-4}" \
  "$ROOT/code/exact_counts/run_exact_counts.sh" 1500 "$WORKDIR"

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