Source files (not including doc.lisp):
------------------------------------
  CODE LINES:
  163747 lines,   7292819 characters
  COMMENT LINES:
   94053 lines,   5703676 characters
  BLANK LINES:
   38726 lines,     38726 characters
  TOTAL:
  296526 lines,  13035221 characters
------------------------------------
Documentation (file books/system/doc/acl2-doc.lisp):
  175049 lines,   7702591 characters
------------------------------------
