%I #9 Jun 29 2017 13:47:13
%S 1,3,2,6,4,7,8,12,5,11,9,14,16,15,13,19,21,22,10,23,17,24,18,27,29,30,
%T 26,35,52,38,25,31,32,28,33,47,34,46,20,39,40,44,36,43,37,48,41,75,53,
%U 59,61,54,57,55,58,60,64,51,65,56,66,62,50,71,45,78,42
%N Lexicographically earliest sequence of distinct positive terms such that the product of two consecutive terms has no isolated 1 in its base-2 representation.
%C A144795 gives the numbers without isolated 1's in base-2 representation.
%C This sequence is conjectured to be a permutation of the natural numbers.
%C This sequence has similarities with A269361: here we require that the product of two consecutive terms has no isolated 1, there the product of two consecutive terms has only isolated 1's, in base-2 representation.
%C For any k > 0:
%C - a(2*k-1) belongs to A091072,
%C - a(2*k) belongs to A091067.
%H Rémy Sigrist, <a href="/A289194/b289194.txt">Table of n, a(n) for n = 1..10000</a>
%H Rémy Sigrist, <a href="/A289194/a289194.gp.txt">PARI program for A289194</a>
%e The first terms, alongside a(n)*a(n+1) in binary, are:
%e n a(n) a(n)*a(n+1) in binary
%e -- ---- ---------------------
%e 1 1 11
%e 2 3 110
%e 3 2 1100
%e 4 6 11000
%e 5 4 11100
%e 6 7 111000
%e 7 8 1100000
%e 8 12 111100
%e 9 5 110111
%e 10 11 1100011
%e 11 9 1111110
%e 12 14 11100000
%e 13 16 11110000
%e 14 15 11000011
%e 15 13 11110111
%e 16 19 110001111
%e 17 21 111001110
%e 18 22 11011100
%e 19 10 11100110
%e 20 23 110000111
%t a = {1}; Do[k = 1; While[Nand[! MemberQ[a, k], ! MemberQ[Length /@ DeleteCases[Split[IntegerDigits[k Last[a], 2]], s_ /; First@ s == 0], 1]], k++]; AppendTo[a, k], {n, 2, 67}]; a (* _Michael De Vlieger_, Jun 29 2017 *)
%Y Cf. A091067, A091072, A144795, A269361.
%K nonn,base,look
%O 1,2
%A _Rémy Sigrist_, Jun 28 2017