cp's OEIS Frontend

The single 1's that are considered in this sequence are the 1's between two 2's in the OK sequence A000002 (the first term of A000002 which is indeed a single 1 but not between two 2's is thus not considered here). Each such single 1 is generated by a preceding 1 in the OK sequence that could be single or double, but each single 1 has at least a double 1 in its ancestors since the first 1 of the OK sequence has no descendance except itself. This sequence gives the number of generations between the n-th single 1 in A000002 and its nearest double 1 ancestor. A249942 gives the position of the single 1's in A000002.

The single 1's of the OK sequence are associated with iterated words which develop themselve around each single 1 in two branches; for a description of the iterated words, see comments in A249507 which gives their lengths.

The length of the iterated word around a single 1 is equal to A249507(2*a(n)+1) or to A249507(2*a(n)+2).

Conjecture: this sequence takes all integers k >= 1 as values, so there is no bound to the length of the iterated words that appear in the Kolakoski sequence; the limiting frequency of k is 2/3^k.