User:Wythagoras/Rado's sigma function/BB(6)

\(\Sigma(6)\geq3.514\cdot10^{18267}\) (Kropitz, 2010).

The following machine gives this result: 0 _ 1 r 1 0 1 1 l 4 1 _ 1 r 2 1 1 1 r 5 2 _ 1 l 3 2 1 _ r 1 3 _ 1 r 4 3 1 _ l 2 4 _ 1 l 0 4 1 _ r 3 5 _ 1 r halt 5 1 1 r 2