Path	Lines of Code
scripts/setup.sh	4
scripts/setup_mathlib.sh	7
scripts/setup_miniF2F.sh	10