%I #2 Mar 30 2012 17:30:44
%S 1,2,3,6,12,15,20,28,40,45,77,88,104,126,165,198,209,273,322,390,522,
%T 570,609,714,851,1066,1160,1363,1470,1870,1887,2220,2296,2747,2760,
%U 3572,3871,3950,4180,4895,5820,7236,7521,7980,9348,10112,10191,12816
%N Records in the Conway's alimentary function A070871.
%t a[0] = 1; a[n_] := a[n] = If[OddQ[n], a[n/2 - 1/2], a[n/2] + a[n/2 - 1]]; m = 0; Do[ If[ a[n]*a[n - 1] > m, m = a[n]*a[n - 1]; Print[m]], {n, 1, 10^4}]
%Y Cf. A070871, A070924.
%K easy,nonn
%O 1,2
%A _Robert G. Wilson v_, May 20 2002