((/nonstd/powerlists/bitonic-sort.lisp::p-bitonic-merge (nil nil nil nil (if) nil nil) ((x) nil (powerlist-p) (p-zip) nil nil nil) ((x) nil nil (p-min p-max) nil nil nil) (nil nil (recursive-call recursive-call recursive-call recursive-call) nil nil nil nil) (nil nil (p-unzip-l p-unzip-r p-unzip-l p-unzip-r) nil nil nil nil) ((x x x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/powerlists/bitonic-sort.lisp::p-bitonic-sort (nil nil nil nil (if) nil nil) ((x) nil (powerlist-p p-bitonic-merge) nil nil nil nil) ((x) nil nil (p-tie) nil nil nil) (nil nil (recursive-call p-reverse) nil nil nil nil) (nil nil (p-untie-l recursive-call) nil nil nil nil) ((x) nil (p-untie-r) nil nil nil nil) ((x) nil nil nil nil nil nil)))