45754956054domain: NAppears in sequencesNumber of negative formulas with two connectives (-> and *) and no variables.at n=15A233130