Функция `is_valid` в LyndonWord не проверяет, что цифры двоичные! Тест: `valid 3 1 2 3` (вектор длины 3 из чисел 1, 2 и 3), ответ `1`, а должен быть `0`.