Ты просто слишком умный. Я понял, что мне нужны числа, в двоичной записи которых нет двух единиц подряд, нашел их количество (как сумму биномиальных коэффициентов C_{n-i}^{i}), а про эту сумму я уже знал, что она равна соотв. числу Фибоначчи.