(loop(defun r()(case(read-char)(#\`(#1=funcall(r)(r)))(#\k'constantly)(#\i(#2=lambda(x)x))(#\s(#2#(a)(#2#(b)(#2#(c)(#1#(#1#a c)(#1#b c))))))(t(r))))(format t"~D
"(#1#(#1#(r)'1+)0)))