graph-rewriting-cl-0.2.2: examples/combinator_birds/becard.ski

((S(K((S(K((S(KS))K)))((S(KS))K))))((S(KS))K))