User:Wythagoras/Rado's sigma function/BB(17,8)

\(\Sigma(17,8) > 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 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 14 [ ( l 14 14 ] ) l 14 14 y y l 14 14 x ( r 28 14 c ) r 28 16 ( [ r 16 16 ) ] r 16 16 y y r 16 16 _ ( l 14 20 ) ] r 20 20 ( [ r 20 20 y y r 20 20 _ ) l 14 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 ) c 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