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

\(\Sigma(26,3) > f_{\omega+374676381}^2(4)\) 0 _ 1 l bb1 0 1 2 r 0 0 2 1 r bb2 bb1 _ _ r 0 bb1 1 2 l bb1 bb1 2 1 r bb1 bb2 _ 1 l 23 bb2 1 1 l 0 bb2 2 1 l bb2 1 1 2 l 3 1 2 2 r 2 1 _ _ r 12 2 _ _ r 12 2 2 2 r 2 2 1 2 l 8 3 2 1 l 3 3 1 1 l 3 3 _ 1 l 22 4 2 1 r 5 4 1 1 l 4 4 _ 2 r 6 5 2 2 l 9 5 1 2 l 7 5 _ _ l 7 6 1 1 r 6 6 2 2 * 4 6 _ 2 r 8 7 1 1 l 7 7 2 2 l 7 7 _ 1 l 22 8 2 2 l 8 8 1 1 r 4 8 _ _ r 18 9 1 1 l 9 9 2 2 l 9 9 _ 2 r 10 10 2 2 r 10 10 1 1 r 11 10 _ 1 l 22 11 1 1 r 11 11 2 2 * 4 11 _ 1 l 13 12 _ 1 r halt 12 1 _ l 11 12 2 2 r 14 13 1 2 l 13 13 2 2 l 13 13 _ 1 l 22 14 2 2 r 14 14 1 2 l 15 14 _ 1 r halt 15 2 _ l 16 15 _ 2 l 10 16 2 2 l 16 16 _ 1 l 17 17 2 1 l 17 17 1 1 l 17 17 _ _ l 6 18 _ 1 l 21 18 1 1 r 18 18 2 1 l 19 19 2 2 r 20 19 1 1 l 19 19 _ _ r 20 20 1 2 r 18 20 2 2 l 20 20 _ 1 l 22 21 1 1 l 21 21 2 2 l 21 21 _ _ l 20 22 _ 1 r 22 22 1 _ l 22 22 2 1 r 1 23 1 1 l 23 23 2 2 l 23 23 _ _ l 15

Explanation
The first part is the machine for \(\Sigma(3,3)\), state 23 is used to finish the output. Then the machine works like an double Ackermann machine. It uses LittlePeng9's duplication machine.