# DRAT proofs (8.8 GB shipped locally; regenerable with code/run_boundary_window.py, code/regen_fortcover_proof.py)
*.drat
# reproduction working copies and compiled binaries
results/reproduction/work/
.pydeps/
code/brute_force
code/robustness/ff_brute
code/robustness/beta_brute
code/tools/drat-trim/drat-trim
*.o

# Python
__pycache__/
*.pyc
.pytest_cache/
.venv/

# LaTeX build artifacts (paper/main.pdf IS committed)
paper/*.aux
paper/*.log
paper/*.out
paper/*.toc
paper/*.lof
paper/*.lot
paper/*.fls
paper/*.fdb_latexmk
paper/*.bbl
paper/*.blg
paper/*.spl
paper/*.synctex.gz
paper/*.run.xml
paper/*.bcf
manuscript/main.log

# macOS
.DS_Store