(nil (/coi/lists/nth-meta.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 term nil) nil (consp) nil (and if if) nil nil) ((term changed-anything-flg term nil) nil (quotep natp) (equal equal) (if recursive-call) nil nil) ((n changed-anything-flg term nil n t) nil (quote car cadr cadr cadr cadddr) nil nil nil nil) ((update-nth term term term) nil (cadr cadr) nil nil nil nil) ((term term) nil nil nil nil nil nil)) (/coi/lists/nth-meta.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 term) nil (caddr car quote car quote cadr cadr `) nil nil nil nil) ((term update-nth term nth term) nil (caddr cadr) (nth) nil nil nil) ((term term) nil (, unhide) nil nil nil nil) (nil nil (cadr hide) nil nil nil nil)) (/coi/lists/nth-meta.lisp::get-nth-component-of-update-nth-nest-aux (nil nil nil nil (if) nil nil) ((nil) nil (not) nil (if) nil nil) ((nil) nil (consp) nil (and if) nil nil) ((term) nil (quotep natp caddr) (equal equal recursive-call) nil nil nil) ((n term n) nil (quote car cadr cadr cadr cadddr) nil nil nil nil) ((update-nth term term term) nil (cadr cadr) nil nil nil nil) ((term term) nil nil nil nil nil nil)) (/coi/lists/nth-meta.lisp::get-nth-component-of-update-nth-nest (nil nil nil nil (if) nil nil) ((term) nil nil (let*) nil nil nil) (((val (get-nth-component-of-update-nth-nest-aux (cadr (cadr term)) (caddr term)))) nil (consp consp quotep natp) (equal equal) (if) nil nil) ((term val term) nil (caddr car quote car quote cadr cadr `) nil nil nil nil) ((term update-nth term nth term) nil (caddr cadr unhide) nil nil nil nil) ((term term) nil (hide) nil nil nil nil) (nil nil (,) nil nil nil nil)))