Source files (not including doc.lisp):
------------------------------------
  CODE LINES:
  163909 lines,   7300871 characters
  COMMENT LINES:
   94149 lines,   5710019 characters
  BLANK LINES:
   38766 lines,     38766 characters
  TOTAL:
  296824 lines,  13049656 characters
------------------------------------
Documentation (file books/system/doc/acl2-doc.lisp):
  175204 lines,   7709681 characters
------------------------------------
