Робин Бобин Барабек

Робин Бобин Барабек думает, сколько коров и быка он съест на обед. Он берет шестнадцатеричное число. За одно действие он может заменить один из знаков на соседний (0 заменить на 1 или F, А заменить на 9 или В и т.п.). Он ставит себе ограничение сверху на количество действий и старается максимизировать количество подслов BEEF.
Ваша программа в первой строке ввода получает последовательность цифр от 0 до 9 и букв от А до F. Всего не более 100000 знаков. Во второй строке написано ограничение на число ходов. Оно не превышает 1000.
Программа должна напечатать максимальное число подслов BEEF, которое можно получить, не превышая максимального числа ходов.