a(n) is the number of well-formed formulas (wffs) of zeroth-order logic containing n characters (see comments).

A344900

a(n) is the number of well-formed formulas (wffs) of zeroth-order logic containing n characters (see comments).

Terms

    a(0) =1a(1) =1a(2) =13a(3) =25a(4) =37a(5) =61a(6) =97a(7) =561a(8) =1869a(9) =4437a(10) =9097a(11) =17097a(12) =54101a(13) =194189a(14) =583857a(15) =1490017a(16) =3371997a(17) =8916485a(18) =28974361a(19) =94338361a(20) =277239461a(21) =728378813a(22) =1938657473a(23) =5839518033a(24) =18961970605a(25) =59883346869a(26) =174804016553a(27) =493085118121

External references