%I #11 Apr 06 2017 07:51:51
%S 1,2,4,8,13,25,33,61,81,116,140,256,282,530,606,692,823,1551,1653,
%T 3173,3391,3805,4177,8049,8345,11524,12508,15294,16204,31692,32048,
%U 63280,70834,77224,82048,91686,93597,185245,196109,212359,218223,432495,436031,867647
%N Number of subsets of {1..n} (including empty set) such that the pairwise GCDs of elements are not distinct.
%C All pairwise GCDs of each subset are equal if there are any.
%C a(n) >= A084422(n).
%H Alois P. Heinz, <a href="/A196720/b196720.txt">Table of n, a(n) for n = 0..60</a>
%e a(5) = 25: {}, {1}, {2}, {3}, {4}, {5}, {1,2}, {1,3}, {1,4}, {1,5}, {2,3}, {2,4}, {2,5}, {3,4}, {3,5}, {4,5}, {1,2,3}, {1,2,5}, {1,3,4}, {1,3,5}, {1,4,5}, {2,3,5}, {3,4,5}, {1,2,3,5}, {1,3,4,5}.
%p b:= proc(n, s) local sn, m;
%p m:= nops(s);
%p sn:= [s[], n];
%p `if`(n<1, 1, b(n-1, s) +`if`(1 >= nops(({seq(seq(
%p igcd(sn[i], sn[j]), j=i+1..m+1), i=1..m)})), b(n-1, sn), 0))
%p end:
%p a:= proc(n) option remember;
%p b(n-1, [n]) +`if`(n=0, 0, a(n-1))
%p end:
%p seq(a(n), n=0..20);
%t b[n_, s_] := b[n, s] = With[{m = Length[s], sn = Append[s, n]}, If[n<1, 1, b[n-1, s] + If[1 >= Length[ Union @ Flatten @ Table[ Table[ GCD[ sn[[i]], sn[[j]]], {j, i+1, m+1}], {i, 1, m}]], b[n-1, sn], 0]]];
%t a[n_] := a[n] = b[n-1, {n}] + If[n == 0, 0, a[n-1]];
%t Table[a[n], {n, 0, 20}] (* _Jean-François Alcover_, Apr 06 2017, translated from Maple *)
%Y Cf. A143823, A196719, A196721, A196722, A196723, A196724.
%K nonn
%O 0,2
%A _Alois P. Heinz_, Oct 05 2011