Theorems from propositional calculus, translated into decimal digits.

Terms

a(0) =171a(1) =181a(2) =272a(3) =282a(4) =1531a(5) =1631a(6) =2532a(7) =2632a(8) =3151a(9) =3161a(10) =3252a(11) =3262a(12) =11711a(13) =11811a(14) =12712a(15) =12812a(16) =14171a(17) =14181a(18) =14271a(19) =14272a(20) =15171a(21) =15172a(22) =16171a(23) =16181a(24) =17141a(25) =17161a(26) =17162a(27) =17261a(28) =17331a(29) =17910