131870domain: NAppears in sequencesa(n) is the number of subsets of {1,...,n} containing no solutions to x+y=z with x and y distinct (one version of "sum-free subsets").at n=25A085489Number of binary strings of length n with no substrings equal to 0001 0011 or 0100.at n=18A164453