(nil (/centaur/aig/vuaig.lisp::from-vu (nil nil nil nil nil (cond) nil) (nil nil ((equal vu (quote (t))) (equal vu (quote (nil))) (equal vu (quote (t . t))) (equal vu (quote (nil . t)))) nil nil nil nil) (nil (1 0) (quote quote) nil nil nil nil) ((x z) 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)) nil (/centaur/aig/vuaig.lisp::from-fv (nil nil nil nil nil (cond) nil) (nil nil ((equal vu (quote (t))) (equal vu (quote (nil))) (equal vu (quote (t . t))) (equal vu (quote (nil . t)))) nil nil nil nil) (nil (1 0) (quote quote) nil nil nil nil) ((z 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)) (/centaur/aig/vuaig.lisp::from-vxz (nil nil nil (b*) nil nil nil) ((((vxz v x z) a)) nil nil nil (if) nil nil) ((x) nil (quote) nil (if) nil nil) ((x z) nil (quote) nil (if) nil nil) ((z v) (1 0) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))