Path	Lines of Code
scripts/setup-proof.py	46
scripts/setup.py	29
scripts/util.py	77