; Lines / Characters
; Code lines (whitespace followed by non-whitespace other than ; ):
 129425 5752780
; Comment lines ( ; preceded only by whitespace):
  66694 3989660
; Blank lines (only whitespace):
  28636   28655
; TOTAL:
 224755 9771095
 109772 4812594 books/system/doc/acl2-doc.lisp
