584  ./CITATION.cff
1097  ./CODE_SCOPE.md
1262  ./DATASETS.md
1982  ./ENVIRONMENT.md
479  ./LICENSE_STATUS.md
485  ./Makefile
5067  ./README.md
3691  ./RESULTS.md
695  ./SOURCE_STATE.md
3319  ./SUMMARY.json
6216  ./code/README.md
3808  ./code/audit.md
727  ./code/dell.sh
4543  ./code/l5spec.md
710  ./code/mac.sh
2712  ./code/plan.md
64  ./code/pytest.ini
96  ./code/req.txt
442  ./code/rev.sh
1476  ./code/scripts/an.py
98  ./code/scripts/bench.py
10231  ./code/scripts/dyck.py
1097  ./code/scripts/hwcmd.py
3233  ./code/scripts/lm.py
1435  ./code/scripts/mk.py
10728  ./code/scripts/mod.py
41909  ./code/scripts/run10.py
1375  ./code/scripts/sel.py
5382  ./code/scripts/toy.py
4826  ./code/scripts/vis.py
180  ./code/tests/conftest.py
2349  ./code/tests/test10.py
8645  ./code/tests/test_lp.py
10050  ./code/tests/testf.py
7194  ./code/tests/testhw.py
0  ./code/weakm/__init__.py
15961  ./code/weakm/ana.py
5750  ./code/weakm/bench.py
24373  ./code/weakm/dset.py
59956  ./code/weakm/full.py
10263  ./code/weakm/hw.py
1236  ./code/weakm/io.py
31459  ./code/weakm/lp.py
26352  ./code/weakm/net.py
14827  ./code/weakm/soft.py
1718  ./code/weakm/stat.py
71861873  ./data/raw/dell.jsonl
51406032  ./data/raw/mac.jsonl
5146  ./provenance/dell_run_notes.txt
4441  ./provenance/mac_run_notes.txt
28  ./requirements-analysis.txt
96  ./requirements-rerun.txt
976  ./requirements-verification.txt
310288  ./results/banked/all_an.json
304710  ./results/banked/all_sel.json
41666  ./results/claim_rows.csv
7349  ./results/headline.json
1351  ./results/table.csv
13310  ./scripts/reproduce_claims.py
6966  ./scripts/verify_package.py
