Source files (not including doc.lisp):
------------------------------------
  CODE LINES:
  140884 lines,   6268330 characters
  COMMENT LINES:
   78538 lines,   4716800 characters
  BLANK LINES:
   32971 lines,     32971 characters
  TOTAL:
  252393 lines,  11018101 characters
------------------------------------
Documentation (file books/system/doc/acl2-doc.lisp):
  127484 lines,   5619331 characters
------------------------------------
