Solution (source code)

= Solution

\b[True.] The length-one and length-two registers in part (ii), with the displayed nonzero fills, provide an explicit example. Register length need not equal the minimal recurrence length of every <sequence> it can generate.