((/countereg-gen/acl2s-parameter.lisp::mem-tree (nil nil nil nil (if) nil nil) (nil nil (atom) (eq or) nil nil nil) ((tree x tree) nil nil (recursive-call recursive-call) nil nil nil) ((x x) nil (car cdr) nil nil nil nil) ((tree tree) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/countereg-gen/acl2s-parameter.lisp::get-acl2s-random-testing-hints-flag-fn (nil nil nil (and) nil nil nil) ((T) nil nil (mem-tree) nil nil nil) (nil nil (quote override-hints) nil nil nil nil) ((TEST-CHECKPOINT) nil (w) nil nil nil nil) ((state) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/countereg-gen/acl2s-parameter.lisp::set-acl2s-random-testing-flag-fn (nil nil nil (let) nil nil nil) (((flg (if (eq flg :naive) NIL flg))) nil nil nil (if) nil nil) ((get-acl2s-random-testing-hints-enabled) nil nil nil (if if) nil nil) ((flg flg) nil (quote quote) nil (if if) nil nil) (nil nil (value-triple quote quote quote quote value-triple) (eq eq) nil nil nil) ((:REDUNDANT mode :program disable-acl2s-random-testing mode :program enable-acl2s-random-testing :REDUNDANT) nil nil nil (progn progn) nil nil) ((logic disable-acl2s-random-testing program logic enable-acl2s-random-testing program) nil nil nil nil nil nil)))