[(K     (\x (\y x)))
 (S     (\x (\y (\z ((x z) (y z))))))
 (Y     (\f ((\x (f (x x))) (\x (f (x x))))))
 (AY    (\f ((\x (f (\arg ((x x) arg)))) (\x (f (\arg ((x x) arg)))))))]