Lean quaternary temporal logic [LQTL] cumulative column frequencies of LQTL logic in A094266.

Terms

a(0) =1a(1) =0a(2) =0a(3) =0a(4) =2a(5) =1a(6) =0a(7) =0a(8) =3a(9) =3a(10) =1a(11) =0a(12) =4a(13) =6a(14) =4a(15) =1a(16) =6a(17) =10a(18) =10a(19) =5a(20) =12a(21) =16a(22) =20a(23) =15a(24) =28a(25) =28a(26) =36a(27) =35a(28) =64a(29) =56