300101domain: NAppears in sequencesNumber of binary strings of length n with no substrings equal to 0001, 1000 or 1001.at n=21A164485Irregular triangle read by rows: row n lists all of the distinct derivable strings in the MIU formal system that are n characters long.at n=25A369173