Source files (not including doc.lisp):
------------------------------------
  CODE LINES:
  160368 lines,   7156252 characters
  COMMENT LINES:
   90941 lines,   5517983 characters
  BLANK LINES:
   37729 lines,     37786 characters
  TOTAL:
  289038 lines,  12712021 characters
------------------------------------
Documentation (file books/system/doc/acl2-doc.lisp):
  164945 lines,   7232622 characters
------------------------------------
