User:Wythagoras/Rado's sigma function/BB(18,7)

\(\Sigma(18,7) > 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 0 x x r 0 0 ( ( l 2 0 _ _ 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 3 x x l 3 3 [ ( l 3 3 ] ) l 3 3 _ ) l 3 4 ( [ r 4 4 ) ] r 4 4 x x r 4 4 _ x 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 0 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 0