IP List distribution Shallit J. The Logical Approach to Automatic Sequences 2022, total 0