(defun check-binary-relation (a b) (labels ((check-bits (a b power) (if (< a power) (format t "Yes~%") (if (> (logand a power) (logand b power)) (format t "No~%") (check-bits a b (* power 2)))))) (check-bits a b 1))) (defun main () (let ((a (read)) (b (read))) (check-binary-relation a b))) (main)