   Lines of code:
    1875 motor.c
    3859 rules.c
     165 hash.c
     182 proof.h
      22 hash.h
      92 stuff.h
    6195 total
                                                                                   Disk usage:
-rw-r--r--  1 latta        4096 Sep 20 14:18 ../lib/lexicon.dir
-rw-r--r--  1 latta     2097152 Sep 23 15:17 ../lib/lexicon.pag
-rwxr-xr-x  1 latta      164524 Sep 23 11:03 proof
