User:Wythagoras/Rado's sigma function/BB(22,4)

\(\Sigma(22,4) > f_{\omega+2046}^9(4)\) 0 _ 1 l 1 0 1 3 r 0 0 2 1 l 0 0 3 1 l 0 1 _ 1 r 1 1 1 1 r 0 1 2 _ l 15 1 3 2 l 1 2 _ _ r 12 2 2 2 r 2 2 1 _ l 8 3 2 1 l 3 3 1 1 l 3 3 _ 1 l 5 4 2 1 l 9 4 1 1 l 4 4 _ 2 r 6 5 _ 1 r 5 5 1 _ l 5 5 2 1 r 11 6 1 1 r 6 6 2 2 * 4 6 _ _ r 18 7 1 1 l 7 7 2 2 l 7 7 _ 1 l 5 8 2 2 l 8 8 1 1 r 4 8 _ 1 l 13 9 1 1 l 9 9 2 3 l 9 9 _ 2 r 10 10 _ 2 l 7 10 1 1 r 10 10 2 2 * 4 10 3 2 r 10 11 1 2 l 3 11 2 2 r 2 11 _ _ r 12 12 _ 1 r halt 12 1 _ l 8 12 2 3 r 14 13 1 2 l 13 13 2 2 l 13 13 _ 1 l 5 14 2 3 r 14 14 1 2 l 15 14 _ 1 r halt 15 3 _ l 16 15 1 2 l 7 15 _ 2 l 10 16 3 2 l 16 16 _ 1 l 17 17 2 1 l 17 17 1 1 l 17 17 _ _ l 4 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 5 21 1 1 l 21 21 2 2 l 21 21 _ _ l 20