1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA

1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA (bbch) is a halting BB(6) TM which runs for about $10^{36}$ steps. It was discovered by mxdys in 2024.

Analysis by mxdys

1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA
Start: (0,3,0)
(a,3b,c) -> (0,a+3b+c+2,0)
(a,3b+1,c) -> (a+b+2,c+2b,0)
(a,3b+2,c) -> (0,a+b-1,c+2b+4),
if a+b>0 (a,3b+2,c) -> halt,
if a+b=0 (a,b,c) := 0^inf 1^a 0 1^b <A 0 1^(c+2) 0^inf
Halts after 933,995,238,981 rule applications.