(let* ((a (read))
       (li (loop :repeat a collect (read)))
       (hi 0))
  (map-into li (lambda (n)
            (case (floor n 400)
              (1 1)
              (2 2)
              (3 3)
              (4 4)
              (5 5)
              (6 6)
              (7 7)
              (otherwise (setq hi (1+ hi))))) li)
  (setf li (remove-duplicates li))
  (format t "~A ~A" (if (< (length li) hi)
                        hi (length li)) (+ (length li) hi)))