Пусть

- это
A000120, число единиц в двоичной записи

(или бинарный вес

).
Пусть

- это
A006519, максимальная степень двойки на которую делится

.
Пусть задано итерационное преобразование

с начальным параметром

до тех пор, пока не будет достигнуто

.
Пусть

- число итераций, которое необходимо для достижения поставленного в операции выше условия.
Последовательности нет в OEIS, а начинается она так:

Проверить можно на PARI, используя например следующий код:
Код:
a(n)=my(A=n, m=0); until(hammingweight(A)%2, A+=2^valuation(A,2); m=m+1); m
С помощью дополнительной двоичной функции и используя

можно без труда сгенерировать некую последовательность

, которая связана с двоичным представлением

а также с числами Фибоначчи.
Назовите

(она есть в OEIS), а также укажите что это за дополнительная двоичная функция и по какому алгоритму с ее помощью мы получаем

.