Source files:
------------------------------------
  CODE LINES:
  136197 lines,   6062633 characters
  COMMENT LINES:
    3967 lines,    241432 characters
  BLANK LINES:
   31296 lines,     31296 characters
  TOTAL:
  241420 lines,  10521157 characters
------------------------------------
Documentation (file books/system/doc/acl2-doc.lisp):
  122490 lines,   5387745 characters
------------------------------------