How large is the codebase (lines of code, by component)?¶

component	files	lines	non-blank
src	18	10485	9903
src/checkers	4	3806	3600
tests	23	6923	6406
total	45	21214	19909