234555domain: NAppears in sequencesa(n) = (9*n^4 + 4*n^3 - n)/2.at n=15A047786Number of binary strings of length n with no substrings equal to 0001 0011 or 1110.at n=23A164461