ten windows distinct: True
(3) unique continuations: right neighbour of W(s,t) is W(s,t-1), lower neighbour is W(s,t+s): True
(2) all windows of the lattice configurations are among the ten: True
(4) every non-A cell of the lattice configurations lies on a binary appearance: True
each A-cell of the lattice j = 2i starts appearances in all 8 directions: True
