Source files (not including doc.lisp):
------------------------------------
  CODE LINES:
  148073 lines,   6596692 characters
  COMMENT LINES:
   83645 lines,   5057104 characters
  BLANK LINES:
   34827 lines,     34827 characters
  TOTAL:
  266545 lines,  11688623 characters
------------------------------------
Documentation (file books/system/doc/acl2-doc.lisp):
  135941 lines,   6021682 characters
------------------------------------
