45283domain: NAppears in sequencesa(n) = 29 + 73*n + 37*n^2.at n=34A145980Number of binary strings of length n with no substrings equal to 0000 0011 or 0101.at n=20A164426The numbers of plain simply typable lambda terms of natural size n.at n=13A294450