User:Wythagoras/Rado's sigma function/BB(19,5)

\(\Sigma(19,5) > f_{\varepsilon_0}(1.7\cdot10^{352})\) 0 _ x r 1 0 x ( l 0 0 ( x r 0 0 y ( l 1 0 ) ( l 0 1 _ _ l 0 1 x ( r 1 1 ( y r 1 1 y ) r 0 1 ) x l 28 0a x x r 0a 0a ( ( l 2 0a _ _ r halt 2 x y r 2 2 ( ( r 2 2 ) ) r 2 2 y ( r 2 2 _ _ l 13 3 ) _ r 4 3 y x l 33 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 _ ) r 26 13 ) _ l 13 13 ( _ l 3 14 ( ( l 14 14 ) ) l 14 14 _ ( r 28 16 ( ( r 16 16 ) ) r 16 16 y y r 16 16 _ ( l 18 18 ( ( l 18 18 ) ) l 18 18 y y l 18 18 x ( r 28 18 _ ) r 28 20 ) ) r 20 20 ( ( r 20 20 y y r 20 20 _ ) l 18 26 ( ( l 26 26 ) ) l 26 26 x x l 26 26 y x l 28 26 _ y l 14 28 x y r 29 28 _ x r 0a 28 ( x r 16 28 ) _ r 20 28 y y l 26 29 x x r 29 29 ( ( r 29 29 ) ) r 29 29 y _ r 29 29 _ y l 14 33 ( ( l 33 33 ) ) l 33 33 x x l 33 33 y x l 33 33 _ x r 0a