6334772562

Appears in sequences

• Number of negative formulas with two connectives (-> and *) and no variables.at n=14A233130