graph-rewriting-ski-0.4.5: examples/combinator_birds/turing.ski

((S(K(S((SK)K))))((S((SK)K))((SK)K)))