2118502

Appears in sequences

• Number of affirmative formulas with two connectives (-> and *) and no variables.at n=9A233396