13479421domain: NAppears in sequencesTotal binary weight (cf. A000120) of all A005251(n) binary sequences of length n not containing any isolated 1's.at n=25A259966