User:Wythagoras/Rado's sigma function

\(\Sigma(6,3)\)
0 _ 1 r 1 0 1 2 l 0 0 2 1 l 2 1 _ _ l 0 1 1 2 r 1 1 2 1 l 1 2 _ 1 l 3 2 1 1 r 0 2 2 1 r 2 3 _ 1 r 3 3 1 _ l 3 3 2 1 r 4 4 _ 1 l halt 4 2 2 l 5 5 1 1 l 5 5 2 2 l 5 5 _ _ r 3 \(\Sigma(6,3) > 2^{374676382} > 10^{112788829}\)

Progress on \(\Sigma(5)\)
see here

Multi-headed TMs
see here