Path	Lines of Code
spec/bounds_safety/pictures/build-pics.tex	12
spec/bounds_safety/pictures/rel-align-picture1.tex	32