View source for 1RB1LA 1RC0RC 1LA1RD 1LE1RD ---1LF 1LE0LA

{{machine|1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA}}
{{TM|1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA|halt}} is a halting [[BB(6)]] TM which runs for about <math>10^{36}</math> steps. It was discovered by mxdys in 2024.

==Analysis by [[User:mxdys|mxdys]]==
<pre>
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.
</pre>