Source files (not including doc.lisp):
------------------------------------
  CODE LINES:
  162562 lines,   7235590 characters
  COMMENT LINES:
   92560 lines,   5615416 characters
  BLANK LINES:
   38285 lines,     38285 characters
  TOTAL:
  293407 lines,  12889291 characters
------------------------------------
Documentation (file books/system/doc/acl2-doc.lisp):
  171637 lines,   7552803 characters
------------------------------------
