((/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::make-user-var-entry (nil nil (`) nil nil nil nil) (nil nil nil nil (user-var-entry) nil nil) ((, i-var) nil (,) nil nil nil nil) ((a-var) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::uv-entryp (nil nil nil (eq) nil nil nil) (nil nil (quote car) nil nil nil nil) ((user-var-entry entry) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::uve-a-var (nil nil (cadr) nil nil nil nil) ((entry) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::uve-i-var (nil nil (cddr) nil nil nil nil) ((entry) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::make-user-arg-entry (nil nil (`) nil nil nil nil) (nil nil nil (user-arg-entry) nil nil nil) ((, i-expr) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::ua-entryp (nil nil nil (eq) nil nil nil) (nil nil (quote car) nil nil nil nil) ((user-arg-entry x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::uae-i-expr (nil nil (cdr) nil nil nil nil) ((ua-entry) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::make-uae-list (nil nil nil (cond) nil nil nil) (nil nil ((endp i-expr-list) t) nil nil nil nil) (nil nil nil (revappend recursive-call) nil nil nil) ((acc nil) nil (cdr) (cons) nil nil nil) ((i-expr-list acc) nil (make-user-arg-entry) nil nil nil nil) (nil nil (car) nil nil nil nil) ((i-expr-list) nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::make-user-un-fn-entry (nil nil (`) nil nil nil nil) (nil nil nil nil (user-un-fn-entry) nil nil) ((,) nil nil ((, fn) make-uae-list) nil nil nil) ((, nil) nil (ufe-defined-var ufe-arg-list) nil nil nil nil) ((uf-entry uf-entry) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::uuf-entryp (nil nil nil (eq) nil nil nil) (nil nil (quote car) nil nil nil nil) ((user-un-fn-entry x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::uufe-fn (nil nil (car) nil nil nil nil) (nil nil (car) nil nil nil nil) (nil nil (cdr) nil nil nil nil) ((uuf-entry) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::uufe-lhs (nil nil (cdr) nil nil nil nil) (nil nil (car) nil nil nil nil) (nil nil (cdr) nil nil nil nil) ((uuf-entry) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::uufe-args (nil nil (cdr) nil nil nil nil) (nil nil (cdr) nil nil nil nil) ((uuf-entry) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::invalid-user-entry ((nil) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::valid-user-entryp (nil nil (consp) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::user-entry-i-expr (nil nil nil nil nil (cond) nil) (nil nil ((uuf-entryp entry) (uv-entryp entry) (ua-entryp entry) t) nil nil nil nil) (nil nil (uufe-lhs uve-i-var uae-i-expr) nil nil (er) nil) ((entry entry entry hard User expression of unexpected type: ~x0~% entry) nil (quote) nil nil nil nil) ((user-entry-ivar) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::user-entry-i-var (nil nil nil nil (cond) nil nil) (nil nil ((uuf-entryp entry) (uv-entryp entry) t) nil nil nil nil) (nil nil (uufe-lhs uve-i-var) nil nil (er) nil) ((entry entry hard User expression of unexpected type: ~x0~% entry) nil (quote) nil nil nil nil) ((recursive-call) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::uae-list-vals (nil nil nil (cond) nil nil nil) (nil nil ((endp uae-list) t) nil nil nil nil) (nil nil nil (revappend let*) nil nil nil) ((acc nil (val (eval-i-expr (uae-i-expr (car uae-list)) $sat))) nil nil nil (recursive-call) nil nil) (($sat) nil (cdr) (cons) nil nil nil) ((uae-list acc) nil (`) nil nil nil nil) (nil nil (quote) nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::uufe-arg-vals (nil nil nil nil (uae-list-vals) nil nil) ((nil $sat) nil (uufe-args) nil nil nil nil) ((entry) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::simplify-entry (nil nil nil nil (cond) nil nil) (nil nil ((uuf-entryp entry) (uv-entryp entry) t) nil nil nil nil) (nil nil (` uve-a-var) nil nil (er) nil) ((entry hard User expression of unexpected type: ~x0~% entry) nil (quote) ((, (uufe-fn entry))) nil nil nil) ((, user-entry-ivar) nil nil (uufe-arg-vals) nil nil nil) ((entry $sat) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::full-uve-list1 (nil nil nil (cond) nil nil nil) (nil nil ((endp alist) t) nil nil nil nil) ((acc) nil nil (recursive-call) nil nil nil) (nil nil (cdr) (cons) nil nil nil) ((alist acc) nil nil (make-user-var-entry) nil nil nil) (nil nil (caar cdar) nil nil nil nil) ((alist alist) nil nil nil nil nil nil)) (/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp::full-uve-list (nil nil nil (full-uve-list1) nil nil nil) ((nil) nil (input-alist) nil nil nil nil) (($sat) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))