(nil (/coi/lists/nth-meta2.lisp::drop-irrelevant-update-nth-calls-from-update-nth-nest-aux (nil nil nil nil (if) nil nil) (nil nil (not) nil (if if) nil nil) ((changed-anything-flg nil) nil (consp `) nil (and if if) nil nil) ((term changed-anything-flg nil) nil (quotep natp ` `) (nth equal equal) (recursive-call) nil nil) ((n n t) nil (quote unhide quote car cadr cadr cadr unhide cadddr) (nth) nil nil nil) ((update-nth term term term) nil (, hide cadr cadr hide quote unhide) nil nil nil nil) ((n term term) nil (, , , hide) nil nil nil nil)) (/coi/lists/nth-meta2.lisp::drop-irrelevant-update-nth-calls-from-update-nth-nest (nil nil nil nil (if) nil nil) ((term) nil nil (let) nil nil nil) (((result (drop-irrelevant-update-nth-calls-from-update-nth-nest-aux (cadr (cadr term)) (caddr term) nil))) nil (consp consp quotep natp) (equal equal) (if) nil nil) ((term result result term) nil (caddr car quote car quote cadr cadr) nil nil nil nil) ((term update-nth term nth term) nil (caddr cadr) nil nil nil nil) ((term term) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))