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

\(\Sigma(6,3) > 2^{374676382}\)

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

Explanation
The first part is the machine for \(\Sigma(3,3)\). It outputs: _11222...222 (374,676,381 2's) ^

Then for each 2 the number of ones will be duplicated. It uses LittlePeng9's duplication machine.