((/cutil/support.lisp::tuplep (nil nil nil nil nil (mbe) nil) ((:logic :exec) nil nil (and and) nil nil nil) (nil nil (true-listp true-listp) (equal eql) nil nil nil) ((x n x n) nil (len length) 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)) (/cutil/support.lisp::tuple-listp (nil nil nil nil (if) nil nil) ((t) nil (consp) (and) nil nil nil) ((x) nil nil (tuplep recursive-call) nil nil nil) ((n n) 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)) (/cutil/support.lisp::cons-listp (nil nil nil nil (if) nil nil) ((t) nil (consp) (and) nil nil nil) ((x) nil (consp 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)))