((/unicode/two-nats-measure.lisp::cons-list-or-quotep (nil nil nil nil (if) nil nil) (nil nil (atom) (equal) (case) nil nil) ((x x nil) nil (car quote cons) nil nil nil nil) ((x t) nil nil (and) nil nil nil) (nil nil (recursive-call) (eql) nil nil nil) (nil (3) (len third) nil nil nil nil) ((x x) nil nil nil nil nil nil)) (/unicode/two-nats-measure.lisp::nat-list-< (nil nil nil (o<) nil nil nil) (nil nil (nat-list-measure nat-list-measure) nil nil nil nil) ((a b) 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 nil nil nil nil nil nil)))