maxsharing-1.0.2: examples/lamping_p20r_qp.l

(λx.(λy.((λf.((λh.(h(λp.(h(λq.p)))))
              (λl.(((f(λn.(l n))) x) y))))
         (λg.(λu.(λv.((g u) (g v))))))))