xsb            3172987  XSB
xsb             473132  XSB/cmplib
xsb             498128  XSB/emu
xsb             120468  XSB/examples
xsb             204447  XSB/lib
xsb            1511687  XSB/manual
xsb             348994  XSB/syslib