The OEIS is supported by the many generous donors to the OEIS Foundation.
%I #26 Jan 07 2023 09:43:49
%S 1,0,0,0,2,1,0,0,3,3,1,0,4,6,4,1,6,10,10,5,12,16,20,15,28,28,36,35,64,
%T 56,64,71,136,120,120,135,272,256,240,255,528,528,496,495,1024,1056,
%U 1024,991,2016,2080,2080,2015,4032,4096,4160,4095,8128,8128,8256,8255
%N Lean quaternary temporal logic [LQTL] cumulative column frequencies of LQTL logic in A094266.
%C Appears to satisfy the recurrence: a(n) = 5*a(n-4) - 10*a(n-8) + 10*a(n-12) - 4*a(n-16). - _Chai Wah Wu_, May 25 2016
%C This is a table read by rows of length 4. Every row is formed from the corresponding row of the table A094266 according to the rule: a, b, c, d -> b, c, d, a-1. - _Andrey Zabolotskiy_, Jan 06 2023
%H Robert H. Barbour, <a href="https://www.complex-systems.com/abstracts/v17_i02_a01/">Two-dimensional Four Color Cellular Automaton: Surface Explorations</a>, Complex Systems, 17 (2007), 103-112.
%Y Cf. A094266 (first differences row-wise).
%K easy,nonn
%O 0,5
%A _Robert H Barbour_, Nov 17 2004; corrected Jun 10 2005