1# DRAT proofs (8.8 GB shipped locally; regenerable with code/run_boundary_window.py, code/regen_fortcover_proof.py)2*.drat3# reproduction working copies and compiled binaries4results/reproduction/work/5.pydeps/6code/brute_force7code/robustness/ff_brute8code/robustness/beta_brute9code/tools/drat-trim/drat-trim10*.o1112# Python13__pycache__/14*.pyc15.pytest_cache/16.venv/1718# LaTeX build artifacts (paper/main.pdf IS committed)19paper/*.aux20paper/*.log21paper/*.out22paper/*.toc23paper/*.lof24paper/*.lot25paper/*.fls26paper/*.fdb_latexmk27paper/*.bbl28paper/*.blg29paper/*.spl30paper/*.synctex.gz31paper/*.run.xml32paper/*.bcf33manuscript/main.log3435# macOS36.DS_Store37