;;;************************************************************
;;; BIG FACT AND DEFGLOBAL CHECKING
;;;
;;; This file tests loading an extremely large fact using
;;; load-facts and a large defglobal using the load and
;;; reset command.
;;;
;;; To test, execute the command (batch "bigbug.tst").
;;; When the test is complete, check the file bigbug.rsl
;;; for the results (differences between expected and 
;;; actual output are listed).
;;;************************************************************