((/centaur/4v-sexpr/g-sexpr-eval.lisp::num-varmap (nil nil nil (let*) nil nil nil) (nil nil (hons-copy) nil nil nil ((keys (hons-remove-duplicates keys)))) ((onoff-al) nil (nkeys onsets offsets onoff onoff-al) nil nil nil nil) (nil nil (len) (pairlis$ pairlis$) (numlist numlist) nil nil) ((keys n nkeys nkeys onsets offsets keys onoff) (2 2) nil (+) nil nil nil) ((n) (1) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/g-sexpr-eval.lisp::4v-sexpr-eval-by-faig (nil nil nil (let*) nil nil nil) (nil nil (faig-const->4v) ((vars (alist-keys al))) nil nil nil) (nil nil (onoff-al faig-eval-al) (faig-eval) nil nil nil) ((faig-eval-al) nil (make-fast-alist) (sig-al-to-svar-al 4v-sexpr-to-faig) nil nil nil) ((onoff-al x onoff-al) nil (4v-alist->faig-const-alist) (num-varmap) nil nil nil) ((vars al) (0) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/g-sexpr-eval.lisp::4v-sexpr-eval-by-faig-list (nil nil nil (let*) nil nil nil) (nil nil (faig-const-list->4v-list) ((vars (alist-keys al))) nil nil nil) (nil nil (onoff-al faig-eval-al) (faig-eval-list) nil nil nil) ((faig-eval-al) nil (make-fast-alist) (sig-al-to-svar-al 4v-sexpr-to-faig-list) nil nil nil) ((onoff-al x onoff-al) nil (4v-alist->faig-const-alist) (num-varmap) nil nil nil) ((vars al) (0) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/g-sexpr-eval.lisp::len-of-each (nil nil nil nil (if) nil nil) ((nil) nil (atom) (cons) nil nil nil) ((x) nil (len recursive-call) nil nil nil nil) (nil nil (car cdr) nil nil nil nil) ((x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/g-sexpr-eval.lisp::append-lists (nil nil nil nil (if) nil nil) ((nil) nil (atom) (append) nil nil nil) ((x) nil (car recursive-call) nil nil nil nil) ((x) nil (cdr) 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)) (/centaur/4v-sexpr/g-sexpr-eval.lisp::take-lists (nil nil (Declare) nil nil nil nil) (nil nil nil (xargs) nil nil nil) ((:guard) nil (true-listp) 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)))