babylon        2010181  Babylon-2.3
babylon          66362  Babylon-2.3/clII
babylon         379388  Babylon-2.3/doc
babylon          59756  Babylon-2.3/fmcs
babylon         624626  Babylon-2.3/kernel
babylon           9442  Babylon-2.3/kernel/common
babylon         125980  Babylon-2.3/kernel/consat
babylon          87313  Babylon-2.3/kernel/consat/basic
babylon           8098  Babylon-2.3/kernel/consat/mini
babylon          30569  Babylon-2.3/kernel/consat/normal
babylon         132138  Babylon-2.3/kernel/frames
babylon          92407  Babylon-2.3/kernel/frames/basic
babylon          27404  Babylon-2.3/kernel/frames/mini
babylon          12327  Babylon-2.3/kernel/frames/normal
babylon          12529  Babylon-2.3/kernel/freetext
babylon          31574  Babylon-2.3/kernel/meta
babylon          10464  Babylon-2.3/kernel/modules
babylon         146337  Babylon-2.3/kernel/prolog
babylon         107374  Babylon-2.3/kernel/prolog/basic
babylon          28086  Babylon-2.3/kernel/prolog/mini
babylon          10877  Babylon-2.3/kernel/prolog/normal
babylon         149995  Babylon-2.3/kernel/rules
babylon          92005  Babylon-2.3/kernel/rules/basic
babylon          18565  Babylon-2.3/kernel/rules/mini
babylon          39425  Babylon-2.3/kernel/rules/normal
babylon         299177  Babylon-2.3/mac
babylon          89035  Babylon-2.3/mac/io
babylon          89035  Babylon-2.3/mac/io/normal
babylon           3022  Babylon-2.3/mac/modules
babylon         203435  Babylon-2.3/mac/tools
babylon         157127  Babylon-2.3/model-k
babylon           5709  Babylon-2.3/model-k/configs
babylon         150322  Babylon-2.3/model-k/kbs
babylon          61041  Babylon-2.3/model-k/kbs/floor
babylon          89281  Babylon-2.3/model-k/kbs/kads
babylon          82839  Babylon-2.3/samples
babylon           1726  Babylon-2.3/samples/axsets
babylon           5435  Babylon-2.3/samples/configs
babylon          75678  Babylon-2.3/samples/kbs
babylon         243470  Babylon-2.3/texi
babylon          40980  Babylon-2.3/texi/configs
babylon         130093  Babylon-2.3/texi/k1
babylon          71907  Babylon-2.3/texi/k3
babylon          54610  Babylon-2.3/tty
babylon          15477  Babylon-2.3/tty/basic
babylon          22038  Babylon-2.3/tty/cmds
babylon          13853  Babylon-2.3/tty/mini
babylon           1305  Babylon-2.3/tty/modules