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

\(\Sigma(36,3) > f_{\varepsilon_0}(7)\) 0 _ ) l bb1 0 ) ( r bb1 0 ( ( l 8 bb1 _ ( r 0 bb1 ) ( l bb1 bb1 r bb1 0a ( ( r 0a 0a ) _ l 24 0a _ _ l 24 1 _ _ r halt 1 ( ( r 2 2 ( ( r 2 2 ) ) r 2 2 _ _ l 13 3 ) _ r 4 3 _ _ l 25 3 ( _ r 6 4 ( ( r 4 4 ) ) r 4 4 x x r 4 4 _ x l 5 5 x x l 5 5 ( ( l 5 5 ) ) l 5 5 _ ) l 3 6 ( ( r 6 6 ) ) r 6 6 x x r 6 6 _ _ l 7 7 x _ l 8 7 _ _ r 13 7 ) ) r 13 8 x x l 8 8 ( ( l 8 8 ) ) l 8 8 _ ( l 3 13 _ ) l 14 13 ) _ l 13 13 ( _ l 3 14 ( ( l 14 14 ) ) l 14 14 _ ( r 15 15 ( x r 16 15 ) x r 20 15 _ _ l 26 16 ( ( r 16 16 ) ) r 16 16 _ _ r 17 17 ( ( r 17 17 ) ) r 17 17 _ ( l 18 18 ( ( l 18 18 ) ) l 18 18 _ _ l 18 18 x ( r 15 20 ) ) r 20 20 ( ( r 20 20 _ _ r 21 21 ( ( r 21 21 ) ) r 21 21 _ ) l 22 22 ( ( l 22 22 ) ) l 22 22 _ _ l 22 22 x ) r 15 24 r 24 24 _ _ r 1 25 ( ( l 25 25 ) ( l 25 25 _ ( r 0a 26 ( ( l 26 26 ) ) l 26 26 _ _ l 27 27 ( ( l 27 27 ) ( l 28 28 r 29 28 _ _ r 31 29 ( ( r 29 29 _ _ r 30 30 ( ( r 30 30 ) ) r 30 30 _ ( r 15 31 ( ( r 31 31 _ _ r 32 32 ( ( r 32 32 ) ) r 32 32 _ ( l 33 33 ( ( l 33 33 ) ) l 33 33 _ _ l 25