(defun read-int-list () (let ((line (read-line))) (with-input-from-string (in line) (loop for x = (read in nil nil) while x collect x)))) (defun main () (let* ((nk (read-int-list)) (n (first nk)) (k (second nk)) (a (read-int-list)) (l (make-array (1+ n) :initial-element 0))) (dolist (x a) (incf (aref l x))) (loop for i from 1 to n do (when (>= (+ (aref l 0) (aref l i)) k) (format t "Yes~%") (return-from main))) (format t "No~%"))) (main)