1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD
1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD
(bbch)
Analysis by @mxdys 9 Jan 2025:
1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD start: (3,1) (0,2+c) --> (4+c,1) (1,c) --> halt (2+2b,c) --> (7+5b+c,1) (3+2b,c) --> (b,4+b+c) (b,c) := 0^inf <A 1^b 00 1^c 0^inf