Честно говоря по намекам я так и не понял, как эту задачу решали.
Я вчера смог так: сначала задачу надо максимально параметризовать, потом рассмотреть рекуррентное соотношение для суммы, выражающей число из цифр.
Пусть

- множество цифр,

- модуль,

- остаток по модулю,

- основание системы счисления,

- последовательность цифр,

,

(все параметры

не пишу).
Рекуррентное соотношение:

.
Теперь рассмотрим распределение значений величины

- некий вектор размера

(сумма компонент

). Из него легко вычислить распределение значений

- это сумма

векторов, полученных сдвигом

на понятно какую величину. Множество сдвигов каждый раз разное, но периодично с периодом, который делит

, если

простое (если не простое, то то же самое, но картина посложнее). И все, можно просто решить рекуррентное соотношение. В исходном случае это довольно просто, а вот например при

сразу везде лезут числа Фибоначчи.
Можно было бы еще поковырять, что там м.б. интересного в общем случае, но что-то ничего не придумал
