(defun main (&rest argv)
  (declare (ignorable argv))
  (let* ((a (read))
         (b (read)))
    (format t "~d~%" (+ (* 50 a) (floor (* 250 a) (+ 4 b))))))

(main)