
(in-package dump)
(EVAL-WHEN (COMPILE LOAD EVAL)
                       (DATABASE:MAKESYMS '.%%symbol-label%%. 0 16 "dump"))

(setq database:*db-input* (setq .%%symbol-label%%.13 (make-instance 'pail-lib::poolfile :real-contents (list (setq .%%symbol-label%%.14 (make-instance 'pail-lib:pool-item :name-part "stackrules" :start-object (pail-lib::get-file-object "stackrules"))) (setq .%%symbol-label%%.15 (setq .%%symbol-label%%.15 (make-instance 'pail-lib:pool-item :from-button nil :start-object (setq .%%symbol-label%%.16 (make-instance 'pail-lib:ebg-tree :descendants (list (setq .%%symbol-label%%.17 (make-instance 'pail-lib:ebg-tree :descendants (list (setq .%%symbol-label%%.18 (make-instance 'pail-lib:ebg-tree :descendants (list (setq .%%symbol-label%%.19 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :substitutions nil :fact (list 'volume 'book 1))) (setq .%%symbol-label%%.20 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :substitutions nil :fact (list 'density 'book 4)))) :content (setq .%%symbol-label%%.21 (make-instance 'pail-lib:rule :date-part 311091 :doc-part 'no_documentation :type-part 'forward :then-part (list 'weight '?p1 (list '* '?v1 '?d1)) :if-part (list (list 'volume '?p1 '?v1) (list 'density '?p1 '?d1)) :name-part 'rule-a)) :substitutions nil :fact nil)) (setq .%%symbol-label%%.22 (make-instance 'pail-lib:ebg-tree :descendants (list (setq .%%symbol-label%%.23 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :substitutions nil :fact (list 'isa 'this-table 'table)))) :content (setq .%%symbol-label%%.24 (make-instance 'pail-lib:rule :date-part 311091 :doc-part 'no_documentation :type-part 'forward :then-part (list 'weight '?p1 5) :if-part (list (list 'isa '?p1 'table)) :name-part 'rule-c)) :substitutions nil :fact nil)) (setq .%%symbol-label%%.25 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :substitutions nil :fact (list '< (list '* 1 4) 5)))) :content (setq .%%symbol-label%%.26 (make-instance 'pail-lib:rule :date-part 311091 :doc-part 'no_documentation :type-part 'forward :then-part (list 'lighter '?p1 '?p2) :if-part (list (list 'weight '?p1 '?w1) (list 'weight '?p2 '?w2) (list 'lisp '< '?w1 '?w2)) :name-part 'rule-b)) :substitutions nil :fact nil))) :content (setq .%%symbol-label%%.27 (make-instance 'pail-lib:rule :date-part 311091 :doc-part 'no_documentation :type-part 'forward :then-part (list 'safe-to-stack '?p1 '?p2) :if-part (list (list 'lighter '?p1 '?p2)) :name-part 'rule-e)) :substitutions nil :fact nil)) :name-part "stacktree")))) :contents (list (setq .%%symbol-label%%.28 (make-instance 'pail-lib::filentry :classname "rule-set" :poolname "stackrules")) (setq .%%symbol-label%%.29 (make-instance 'pail-lib::filentry :classname "ebg-tree" :poolname "stacktree"))) :filename "")))