%I #9 Dec 16 2013 17:02:57
%S 1,3,40,17,74,265,31,336,11937,1403,8894,3524,33223,126903,3067,
%T 109312,390536,553171,280266,962560
%N First occurrence of exactly n 1's in the binary expansion of sqrt(2).
%e The binary expansion of sqrt(2) is 1.0110101000001..(A004539) and at position 17, there are four 1's, framed by 0's, so a(4)=17.
%Y Cf. A084185, A084187.
%Y Cf. A233836.
%K base,nonn,more,hard
%O 1,2
%A _Ralf Stephan_, May 18 2003
