310962domain: NAppears in sequencesBisection (even part) of number of partitions that do not contain 1 as a part A002865.at n=33A182746Number of affirmative formulas with two connectives (-> and *) and no variables.at n=8A233396