### Do You Need Five Hundred Random Lambda-Expressions?

 ; Just in case ... ; ; Newlisp source: (set 'random-var (lambda(nvars)(sym (char (+ 97 (rand nvars)))))) ; (random-^-expr nvars nocc) returns random lambda-expression ; with at most nvars variables in total of exactly nocc occurences (set 'random-^-expr    (lambda(nvars nocc)       (cond ((= nocc 1) (random-var nvars))             ((> nocc 1)              (amb (let ((r (+ (rand (- nocc 1)) 1)))                        (list (random-^-expr nvars r)                              (random-^-expr nvars (- nocc r))))                   (list '^                         (random-var nvars)                         '.                         (random-^-expr nvars (- nocc 1)))))))) (set 'pretty-form    (lambda(t)       (replace " . " (replace "^ " (replace ") (" (string t) ")(") "^") "."))) (for(nvars 1 25 1)   (for(nocc 1 20 1)              (println (pretty-form (random-^-expr nvars nocc))))) (exit) a (^a.a) (^a.(a a)) (^a.(^a.(^a.a))) (a (^a.(a (a a)))) (^a.((a a)(^a.(a a)))) (^a.((^a.(a a))(^a.(^a.a)))) (^a.(a (a ((a a)(a (a a)))))) ((^a.((a a)(a a)))(^a.(a (^a.a)))) (^a.((((a a) a)(a (^a.a)))(a (a a)))) ((a a)(((^a.(^a.a)) a)(^a.(^a.((a a) a))))) (^a.((a (^a.(^a.(^a.(^a.((a a)(^a.(^a.a)))))))) a)) (a (((^a.a)(^a.(^a.(^a.(^a.((a a)(^a.a)))))))(a a))) ((^a.(^a.(^a.(^a.(((a a) a)(^a.((^a.((a a) a)) a))))))) a) (^a.((a (^a.((a a) a)))(a ((^a.(^a.a))((^a.(a a))(^a.a)))))) (^a.(^a.(^a.(^a.((^a.((a a)(^a.((^a.(^a.(a a)))(^a.a)))))(^a.a)))))) (^a.(^a.(^a.(^a.((^a.(((^a.a)(a a))(^a.((a a)(^a.(a a))))))(a a)))))) (^a.(^a.(((^a.((^a.((a a)(^a.(a a)))) a))(a a))((^a.(a (a a)))(^a.a))))) (^a.((^a.(^a.(^a.(((^a.a)(^a.(^a.a)))(((a a)(a a))(^a.((^a.a) a)))))))(a a))) (^a.(((a (^a.((^a.((a a) a)) a)))((^a.(a ((^a.a) a))) a))(^a.(^a.((^a.a)(^a.a)))))) a (a a) ((^a.b) b) (((^a.b) b) a) (((^a.a) a)(a a)) (^a.(^a.(^a.(^b.(a b))))) (^a.(^b.(^b.((^a.(a a)) a)))) (^b.(^b.(^a.(((b b)(^b.a)) a)))) ((^a.(b ((^a.b)(^a.a))))(^a.(^b.a))) (b ((^b.b)(^a.(b (^b.((^b.a)(b a))))))) (^a.(^a.(((^b.b)(b b))(((a a)(^b.a)) a)))) (^a.((^b.((^b.(^a.((^b.b)((a a) a))))(b a))) b)) ((^b.((^a.(^b.(((^b.(^a.b))(b a)) a)))(a a)))(b a)) (^b.(^b.(^a.(^a.(^b.((b (^a.b))(b (^a.(^a.(a (b b))))))))))) (^b.((a (^a.(^a.(^b.(^b.(a b))))))((((^b.(^a.a)) b) a)(^a.b)))) (^a.(^a.(^b.(^a.(((^a.(a a)) a)(^b.(b ((^b.(^a.(^b.a)))(a b))))))))) ((^b.(b b))(^b.((^b.((^a.b)((b (^b.a)) b)))((^b.(b b))(a (b a)))))) (^a.((^a.(^a.(a ((^b.a)(b (b (^a.a)))))))((^b.(b b))((^b.(a b))(^a.a))))) (^b.((a (^a.(^a.(^b.(^b.(^b.(^b.a)))))))(^b.((b a)(^a.((^a.a)(^b.(^a.(b a))))))))) (^b.(^b.(^b.(((((^b.a)(^a.(b a)))(^b.b))(^b.((b a)((a (a b)) b))))(^b.(^a.a)))))) c (a a) (b (^a.c)) ((^a.(c c)) c) (^b.(a (a (^b.b)))) (^b.(^c.((^a.(a c)) c))) (^a.(((((a c) b) a) a) b)) (^c.(^a.((^a.(^a.((b c) c))) b))) ((((^a.a) c)(((a b) b) b))(c a)) (((c b) c)(b (c ((^c.(^b.(c b))) c)))) ((((^c.(^a.(^b.b))) b)(^a.(^c.(^c.b))))(^a.c)) ((^a.(^b.(^a.(^a.c))))((^b.(^b.((^c.a)(b a)))) a)) (^c.(((b (a c)) a)(^a.(^a.(^b.(a (b (c (^a.b))))))))) (^c.((^c.(((^c.(c (^a.(b (^a.(c c)))))) c)(^a.c)))(^c.a))) (^a.(^a.(((c a)((^c.((^a.a) c))((^b.b) c)))((^a.(^c.c)) a)))) (^c.(^b.((((a (b b))(c c)) c)((c b)(^b.(^b.(a (^c.(^c.b))))))))) (^a.(c (^b.((^c.(^b.(^b.((c a)(^c.a)))))(b (^a.(^c.(^b.(^b.(b a)))))))))) (^a.((a (^b.a))((a b)(^b.(^b.(^a.(((^c.(((^a.c) a)(a b))) c)(b c)))))))) (b (^b.(((^c.((b (^a.a))(^c.(^c.(^a.((b ((^c.b) a))(^a.(b c))))))))(a c)) a))) ((^c.(^a.(c (^b.c))))(^c.((^b.(^c.(^a.(^a.(^b.c)))))((b c)(^a.((c a)(^b.(b b)))))))) b (^c.d) (d (^b.c)) (a (^a.(c b))) (^c.(d (^d.(c b)))) (^c.(^a.((^c.a)(b b)))) (((^c.(^a.d))(^c.(a b))) a) (^d.((^b.a)(a (c (^d.(^d.a)))))) (^b.((^b.b)(^d.((b ((^c.b) d)) b)))) (^d.(^b.(((^d.a)((^d.a) a))(^c.(d b))))) (^d.((^a.(^a.(^a.((^c.((^d.(b a)) a)) d)))) a)) (^b.((^c.(b (b c)))(^d.(^b.((^b.(d b))(^a.b)))))) (^d.(^b.(^d.(((^b.(^d.(d c)))(^d.((^a.a) c)))(^c.a))))) (^b.((^b.((^d.d)(^b.c)))(^b.(^c.(((c d) c)(^b.(^c.b))))))) ((^c.(((^d.c) b)(^b.(^b.((^d.a)(a a))))))(^b.((d d)(b a)))) (^a.(^c.(^a.((^a.(((^b.(^a.b))(b c))(^b.((^b.(c b)) d))))(a a))))) ((^d.b)((^c.(^d.(^d.((^c.(^b.(^d.(^c.(d d))))) b))))(^a.(^d.(^b.(a b)))))) (^c.(^c.(b ((b ((c (^c.b)) c))((^c.(c (^c.(^c.(^a.(b c))))))(^a.(^c.c))))))) ((((b (^c.(^c.(^c.(^d.c)))))(^a.(^c.(^b.(c b)))))(((^c.c) a) d))(^c.((c a) a))) (((^d.((^c.(((^c.(a b))(^b.((^b.c) b)))(^a.a)))(^a.(b (b (c (b b)))))))(c b)) c) d (^e.d) (^a.(^d.c)) (^c.((^d.b) a)) ((b a)(^d.(d e))) ((^d.((^a.e) e))(c a)) (^c.(d ((^c.(^d.d))(d e)))) ((^b.(^e.e))(e (^b.((^b.c) d)))) (((d b)(^d.(^c.(^b.a))))(c (^d.e))) (^e.((^b.((b (^e.(^c.(^c.b))))(^e.d))) c)) (^a.((^d.(^e.(^c.c)))((^d.(a (^d.c)))(^a.b)))) ((^b.(^d.(^b.(((d b)((^c.a) d)) e))))(a (e b))) (^e.(^b.(^d.((^d.(((b (^b.(^b.e)))(^b.(e b))) e)) e)))) ((((^b.a) d)(^c.((^a.d)(^b.b))))(((^c.e) d)((a d) e))) ((c (^c.(^c.(d d))))((^a.(^c.(((^d.(^e.(e b)))(e e)) c))) a)) ((^c.(^e.((b b) a)))((^e.(^e.(^c.e)))(^d.(((e c) e)((d e) e))))) (^c.(^a.((((^b.e)(^e.((^b.a)(^b.(^c.a)))))((^c.d)((b d) e)))(d e)))) ((^c.(^e.(^d.d)))(^e.(^c.((^d.(^c.(((d d) c)(e c))))((^e.(b a))(^e.a)))))) (^e.(((b (^b.(b c)))((^b.((^e.(^b.b))((d c) c)))(c e)))(^a.(^a.(^b.(c c)))))) (^e.(^a.(^c.((c (^b.(^e.(^e.(((^a.(^c.(^a.(^d.(c (e e))))))(d b))(^c.(^d.c))))))) a)))) e (d b) (d (d c)) (b (^a.(^a.f))) (c ((^f.(^d.b)) d)) (^e.((^c.(e f))(a a))) (^c.((e (^f.(^d.b)))(^a.c))) (^e.(^e.((^a.(b d))(^f.(^f.d))))) (^d.(^a.(^a.(^b.(^b.(^f.((^e.a) e))))))) (^a.((^c.(^e.(a (a f))))(^e.(^d.(^b.d))))) (^d.(((a (^b.e))(f c))(((^b.(^d.a)) f) a))) (((^f.(^b.e))(^b.((^a.(^c.c))(^a.c))))(^e.(^c.a))) (((^e.c)(f (c (^e.f))))((^b.(^b.c))(^c.(b (^a.d))))) ((((^f.(^d.(d c))) c)(b ((^c.a)(a e))))((b f)(a a))) (^d.((^f.((^f.d)(^b.((^b.d)(f a)))))(a (^a.((e f)(^c.d)))))) ((^b.((^c.(a (^f.c)))((f c)(^b.(^c.(b (^f.f)))))))(^f.(^d.(c d)))) (^e.(^f.(^c.(^f.((^c.d)(^c.(^d.(^b.(^f.((^d.b)(^b.(^e.(^a.(a a)))))))))))))) (^e.((f (^f.(^e.((e c)(^e.d)))))(((^e.f) c)((^f.((^a.d) c))(d (f e)))))) (((c d)(^a.(^b.(f (^c.c)))))((^a.(^b.(c (^e.(^c.(^a.e))))))(^d.(^f.((^b.c) e))))) (^d.(^a.(((^c.(^c.(^b.(^e.(^f.((^c.(a c))(^f.(f a)))))))) e)((^a.(^b.((e e) c))) c)))) d (e g) ((d b) d) (^e.(e (^c.e))) (^g.(^d.((f a) a))) (^c.(^e.(^e.(f (g e))))) ((b c)(^b.((^d.e)(c f)))) (^f.(^d.(d (^d.(^d.(b (c a))))))) (^f.((f ((g (b g)) b))(^b.(c f)))) ((^b.(^b.e))(^g.(((f e) b)(^a.(^g.a))))) (^f.(^a.((e (d (^e.a)))(^d.(^f.(^d.(c a))))))) (^e.((f (c (^c.b)))((a g)((g f)((e b) f))))) (^c.(^e.((^g.(((^e.c)(^a.e))(a (a (f (^a.b)))))) f))) (^a.(^e.(^a.((^d.(^f.((^c.(^f.((f b) d)))(^c.(^g.f))))) g)))) (^e.(^e.(((^a.(^d.d))(b f))(((^b.b) c)(^a.(^b.((^g.d) f))))))) (((b d)((^f.((^c.g) a)) b))(^e.((^e.(^e.(^c.((^f.(b e)) e)))) e))) (^g.((^g.(g (^e.(((b f)((f f)(a a)))(^a.(f (^a.b)))))))(^g.(b f)))) ((^e.((^d.(e b)) g))((^b.(^a.(^c.(^f.((e (f (^c.g)))(d a))))))((b e) c))) (^a.(^e.(((^a.e) b)(^g.(^a.((g (^d.((c e)((c (c b))(^a.f)))))(^a.(^f.f)))))))) (^g.((((^a.((c g)(^a.e)))((c (^a.(a (^d.b))))(c ((^g.f) d)))) d)(^c.(^b.(^e.c))))) b (e d) (^d.(^c.b)) ((^a.(c h)) d) (^b.(c (^d.(d g)))) ((^c.(f (c c)))(f b)) (^c.((f (^c.d))(^g.(g c)))) ((^b.((^d.c)(^h.a)))(^e.(^a.e))) (((^h.((^c.a) d)) d)((^f.(d f)) g)) (^a.(^g.((^c.(^a.d))(^b.((^d.(d d)) d))))) ((^b.(^g.(^b.((^e.c) g))))(^f.(^d.(h (^c.h))))) ((^c.(c (^d.(((^d.(^e.b))((^c.c) a)) f))))(g d)) ((^h.(^h.((^d.(d a))(^g.(^a.((^h.((d h) g)) h)))))) g) ((^e.((((^c.((^a.b) f))(^h.c))(^g.a))(^f.(e c))))(^g.d)) ((^h.(^b.(^b.(^g.(d (c g))))))(^d.(^e.((^d.(^g.(f g)))(c b))))) ((h f)((^h.(e g))((^e.(c (a d)))(h (((b (d (f f))) d) a))))) (^c.((^c.(^f.(^d.(^g.(((^g.a)(^c.(e (^a.e)))) h)))))((e g)(^h.(a b))))) ((e ((^f.e) a))(^e.((^h.(^f.((^d.(^e.d))(b h))))(^g.(^f.((^g.(f a)) d)))))) (^d.(^d.(^a.(^h.(((^b.b) e)(^h.(^b.(a (^f.((^g.(^b.((a (^e.a))(d d)))) g)))))))))) ((^b.(((((^f.(^b.e))(^f.e)) a) c)(d b)))(((^a.(h d))(^f.(^f.(^a.(^d.(a h)))))) b)) c (i b) (^b.(c i)) ((g a)(b c)) (^b.((b d)(d e))) (^c.(^b.(a ((h c) f)))) ((c (^b.(h b)))((^e.f) b)) (^e.(^e.(^g.(^c.((^f.d)(^b.c)))))) (^c.((^a.((^e.i) i))(^d.(^a.(i c))))) ((^e.(d ((^c.(^b.((g (i i)) a))) i))) i) ((^f.(^b.i))((^d.(((^d.(a d)) h) c))(^a.b))) (((^g.f)(^c.(^b.((^b.((^h.(^g.h))(e a))) f)))) g) (^f.(((^h.(a f))(^e.(^h.(^a.f))))(^h.(c ((i h) i))))) (^e.((i f)(((^e.(e h))(^h.(^f.d)))(f ((^g.(^d.h)) a))))) ((^d.(^f.d))(^e.(^f.(^h.((g (d (i i)))((c d)(^h.(^b.d)))))))) (^f.(((^d.(f e))(^d.((^e.(((i a) f) i))(^g.(^c.e)))))((^i.f) a))) (^c.((^a.(^f.(^e.i)))(^i.((e (^c.(c (^e.h))))(^f.(((d g)(^b.h)) i)))))) ((i f)((^g.((^g.a) d))(^e.(((^b.(^c.g))(^a.f))((f a)(^f.(a (f a)))))))) (((^a.(^h.(^c.(^b.(^f.g))))) e)((^g.(^h.(e (^i.(^e.(^b.e))))))(^g.((h g)(^b.d))))) (((^c.(^g.(^g.(^c.((^i.(^h.(^a.i))) a))))) h)(^g.((^b.(^i.(i (^i.((^g.h) e)))))(e g)))) e (^i.h) (^d.(^b.h)) (^a.(^a.(d g))) (c ((^j.e)(f b))) (^d.(^c.(i (^h.(^b.j))))) (((j (d e))(h h))(f i)) ((c b)(((i (^j.(g a))) b) e)) ((^j.b)(^b.((^f.(j h))(^i.(a e))))) ((^f.((i c)(^g.((^g.d) c))))((^e.f) e)) ((h ((d i) b))((i (^b.((h d) i)))(c h))) (((e f) d)(^g.(((e (^g.(^g.d))) j)(j (i d))))) ((((^a.(j e)) j)(^g.((^j.c)((j d) c))))(b (^i.h))) ((^a.((^g.(^a.h))(^d.(^c.e))))(^b.(h (^e.(^a.((j h) h)))))) (((^b.(i j))((^g.a) f))(^e.(^f.((^g.e)(h ((^f.(^i.d)) a)))))) ((^b.(^g.((^j.(^g.i))(^g.(g i)))))(^e.(h (((f j)(^f.e))(^i.j))))) (((^b.(((b h) a)((^i.f) d)))(^h.(^c.(b ((j (h (^h.j)))(^i.j)))))) d) (^j.(((^h.(a b))(c (^c.(^a.((^e.g) j)))))(^h.(d (^i.(^c.(^d.(b (^f.j))))))))) ((^g.(^g.(^h.(((^d.a) j)(j j)))))(^i.(^e.(^f.(^a.(^c.(g ((g (j c))(i a))))))))) (^a.(^b.((((b ((e b) g))(^c.(g f)))(^j.(^f.(^c.((^i.((^g.(i f)) a))(^f.d)))))) f))) k (^j.j) (^g.(h i)) ((^f.(^i.c)) c) (^i.(^d.((^b.d) f))) (((d g) g)(h (d c))) ((^a.(^e.(^c.(e (e i))))) j) (((j f) b)(^g.(^a.(b (a d))))) (^f.(^j.(^j.(^b.(^j.(^f.((^k.c) k))))))) ((^j.a)(^f.(^f.(^d.(^b.(^e.(c (^c.g)))))))) ((^c.(^j.(((b h) f) d)))((a e)(i (^h.f)))) (((((^g.g)(^g.d)) c)((i (j i))((h d) k))) d) ((^b.(i (^d.(g h))))((^k.b)((^e.((^g.f)(f g))) a))) (^g.(^j.(((^c.(g (^b.f)))(^f.((((^a.i) c) d)(^c.b)))) a))) (^g.(((e b)(((^h.(^a.(^k.(^c.(g b))))) g)(j (^b.e))))(j a))) ((h (^d.e))((^i.(^e.(^f.(g (^h.f)))))(^h.(f (^c.((^g.(b h)) h)))))) (((^k.(^f.(i (^e.(e (^c.e))))))(c h))(^f.(((a i)((e g) d))(k b)))) (^g.(^k.((k a)(((e f)((^e.a)(^d.(k b))))(^f.(d (^a.(g ((^j.f) k))))))))) (((^d.h)(^a.((e a)((^f.(^b.d))(^a.(k b))))))(^j.(^c.((b (g ((a f) d))) c)))) (^i.(^g.(^j.((^g.(g (^i.j)))(^c.((^h.(h (^j.(^g.(k g)))))((^i.((g k) j))(^a.c)))))))) j (d l) (^f.(^g.i)) (((^c.b) g) c) ((^i.(^b.(f i))) c) (f ((^l.(j (a g))) l)) (^l.(^l.(((^i.e) c)(g i)))) (h (^h.((l j)(^e.(^d.(k e)))))) (^b.((a k)(k (^d.(^e.(g (e a))))))) ((l f)((^g.(k i))(^f.(^d.(^e.(h f)))))) (^f.(^g.(^i.(^k.(^k.(^b.(^c.(g (^c.(^g.j)))))))))) (^h.(((^j.((^h.g)(^b.(h f))))(h g))(^l.(^a.c)))) (^b.(^f.((^j.((^f.b)(^b.(^f.(^k.((j b)(g j))))))) b))) (^g.(^h.(((f f)(j (^l.i)))(^j.(^j.((l i)(^e.(^b.a)))))))) (^f.((((^e.(a b))(^d.(^l.(k ((^g.d) h)))))(j e))(^a.(^k.i)))) ((a (^g.h))(^h.((^e.((^f.((^a.(c i)) e))(^h.(j (^a.(f f)))))) e))) ((^h.((^l.k)(^i.(^b.(^f.(^a.(^h.j)))))))(^k.((^i.(^i.((^b.(h c)) k))) d))) ((^g.(^d.(^e.((k (^i.d))(^k.((^g.i) i))))))((^e.((f (k g))(^e.k)))(d i))) (^e.((b ((^j.((i (^c.((c a) a))) h))((^k.i) k)))(e (^g.(^b.(^k.(j (^i.f)))))))) (((^j.((^e.(j d))(h g)))(^b.(^e.(^k.(^f.(^h.(^f.(^h.((c a) f)))))))))(^e.((^b.l) e))) m (l k) ((a f) h) ((k m)(h i)) (^h.(^a.(^c.(l d)))) (^d.(^h.(k (^a.(k i))))) (e (^j.((^k.(i h))(g k)))) ((c (^j.(^m.(^l.d))))(^k.(f e))) (^l.(^a.((^a.(m e))(^j.((g m) e))))) (((c l) e)(^m.((^e.(^g.(b f)))(^k.g)))) ((^f.(f (^d.(^h.(^i.(^f.a))))))(^m.(f (h f)))) (^h.((^e.(^b.((^f.f) e)))(((^a.f)(h e))(^m.b)))) (^k.((^b.(((^m.(f (h h)))(^j.(^g.(^a.j)))) e))(^h.e))) (^g.((^i.(^a.(^f.(^k.((^d.(e (l (^k.k)))) f)))))(c (c m)))) (((j a)((((c a)(k g)) k) b))(^g.(^c.(^m.((c (f j)) i))))) (^g.(^i.(^h.(^m.((^f.(^g.(^b.((^f.(e k))(^i.(i (^f.g)))))))(^j.a)))))) (^i.(^l.((^a.((((b i)(^j.a))(^b.(i m))) g))((l (^i.(^j.m)))(^m.l))))) (^d.(^h.((i ((l c)(^k.((^b.(d i))(((((j e) h) j) c)(l e))))))(^l.h)))) ((^i.(^a.(((h b)(((l c) h)(l f)))(f (^i.h)))))((^g.(^m.j))(^f.((e k) j)))) (^m.((^a.(^a.(((^a.(^e.(^a.(^l.a))))(^b.((k (^e.h)) d)))(^h.(^d.((^a.(j f)) l)))))) c)) m (^j.h) (c (b k)) ((d c)(^l.f)) (^d.(^c.((n m) n))) ((^a.((^i.a) h))(g g)) (d (^j.((^d.(b h))(^g.c)))) (((i a)((^h.k)((j f) c))) b) (^j.((a (k (^c.k)))((l n)(e i)))) ((^i.(e e))(^b.(^e.((^j.(m d))(^h.c))))) ((c (^e.((a n) h)))(k (a (f (d (^h.j)))))) (^m.(^j.(^h.(((^e.c)(^n.((n (^b.l)) m)))(^m.d))))) (^i.((^e.(h (^n.g)))(^a.(^i.((^g.(l (a i)))(^c.l)))))) (((n ((^l.(e b))(^k.(^e.(^n.(n e))))))(^h.((^n.c) i))) l) (^e.((^b.(((^b.(^i.(c (b b))))(^c.((j (c i)) f)))(^m.a))) b)) ((j (^d.(^f.e)))((^n.((^i.k)(^c.(^e.(^f.((^b.e) j))))))(^f.(^g.n)))) (^d.((^m.(^f.(^f.(((g d) n)(^d.((^f.c) f))))))(((^h.n)(m f))(^d.c)))) ((^h.(^g.((^f.(^a.d))(((^a.d)(^a.(^n.(^g.e)))) m))))(^i.((b (e b))(g b)))) (((^n.(^d.j))((^k.(^g.k)) c))(^d.(^e.((^a.(^e.n))(^f.((^j.j)((j c)(m g)))))))) (^n.((^n.(^j.(^h.((n g)(^m.(^b.((h c) d)))))))(^e.(^e.((^d.(^c.(^a.(a (^k.l))))) g))))) n (^f.l) (^m.(k c)) (^b.(^a.(^j.i))) ((l b)(^n.(^i.j))) (^o.((c h)(d (^n.m)))) ((n l)(^d.((^o.c)(^c.n)))) (^e.(((^n.j) j)(^m.(e (g n))))) (((^e.(^o.(^l.c)))((^d.n) c))(^i.n)) ((^n.(((^j.c)((^i.c) l))(^k.f)))(^d.j)) ((l g)(^j.(^e.(((^m.(b (c l))) i)(f o))))) (^i.(((^e.(^d.i))(^f.(^f.(^h.h))))(^b.(e (a j))))) ((^k.o)(^o.(^e.(^b.(((^e.d)(^g.l))(^j.(^n.(^n.o)))))))) ((^l.(^h.(o (f a))))((^d.(^f.(^i.(i ((d k) d)))))(a j))) ((^l.(^i.((o ((^b.((^b.j) g)) j))((^i.k)(^j.(^m.(k f))))))) l) (((j (^e.(b c)))(h (h e)))(^c.(^j.((i (^o.(g c)))(^k.(h h)))))) (^g.((^f.(^l.(^m.(^h.m))))(^a.(((^n.(^e.b))(((c h) c)(h o)))(k c))))) ((^a.(a ((^e.(^f.j))(^n.(^j.d)))))(^j.((^b.(n ((d h) d)))(^i.(^d.(j l)))))) ((^d.(^j.(((i (^g.b))(^c.j))(n m))))(((^i.(^j.(^d.l))) d)(^n.(^m.(^m.(e o)))))) ((^e.(^f.((^n.(^b.(l (^a.(^g.(^m.(^g.j)))))))(l (^m.e)))))(((^l.(b d))(o m))(^f.c))) j (^m.m) ((n n) k) (^l.(^b.(m o))) ((^n.(^a.(^l.b))) i) (f (^g.((h o)(^j.d)))) (^c.(^i.(^i.((l (c c)) i)))) (((^p.(^j.n))(g e))(^n.(a p))) ((^a.((k (^m.e))(^m.c)))((^p.h) h)) (^e.(^c.((p ((h i) f))(^l.((f b) d))))) (((((f j)(n (k g)))((b h)(^n.i))) p) b) (((^g.(^f.l))((^h.e)(^c.(^a.(^f.(^o.i))))))(^h.o)) (^c.(^l.(((^e.k)(((^b.h)(^a.j))((k (j l)) c))) o))) (^p.(^m.((^e.(e (((k i)(f j))(^p.l))))(^b.(^m.(^b.n)))))) (^i.(((^n.(m d)) i)(((b i)((^k.c) p))(^h.(^a.((^l.d) n)))))) (((^n.((^j.(^o.(^g.j))) n))(^o.((^g.c) b)))(^d.(^n.(^a.(^l.(d l)))))) (^k.(((e (^p.(h (g j))))((^n.((^o.n)(^k.(^b.c))))(p o)))(p (^o.b)))) (^c.((^d.(d (^h.((e (^n.(^c.(e c)))) l))))(^k.(((^k.c) n)(g (^f.(a g))))))) ((^e.((^k.f)(d i)))((^k.(c ((^o.c)(^k.(^c.f)))))((^p.(^g.(^c.(j h))))(c m)))) (((^j.((((k ((m p)(^c.j))) a)(^m.((a n)(^e.(^f.e))))) j))(^i.d))(^n.(^g.(g p)))) a (^c.d) (^h.(i p)) (^h.((h m) m)) ((c g)(g (^m.f))) (^h.(^f.(^f.(^p.(o k))))) (^h.((^m.((b h) d))(^q.f))) (^b.(^f.(^q.((^h.o)(^g.(^i.g)))))) (^k.((g c)((p (o (^n.f)))(e l)))) (^c.(^f.(^i.(^e.(^i.(((^g.(^k.k)) g) m)))))) ((^l.((l ((^c.b)(^a.n)))(^m.(g (q d))))) f) ((^m.(m (g l)))((p a)(^h.(g (^e.(^e.(e j))))))) (^l.(((^q.((^c.(^h.e)) a)) a)((^e.(^b.c))(^j.(^h.m))))) (^g.((^o.(((b a) j)(^q.(^k.(^f.(o (^e.(^j.b))))))))(a k))) (^j.(^a.((^a.(((^h.(^i.(^n.(^c.k))))(e d))(((h e) n) j))) a))) ((^p.((^h.((h m) f))(((g o)(q k))(a b))))(^d.(^j.(^f.(^d.p))))) (^f.(^h.(^e.(^q.(^l.((^j.m)((n i)((^b.e)(^b.((^m.(^f.i))(e q))))))))))) (^p.(^k.(^j.(^h.(^a.(^d.((^n.(^l.((^q.(l (j q))) d)))((^q.p)((g q) n))))))))) (^n.((^g.(^f.(^p.(((^h.(^d.p))(^d.(^d.i)))(^h.(^j.((e c) m)))))))(^c.(f (e q))))) (((d (^j.g))(q ((^o.h) a)))(^f.(^a.((^i.(^i.(^q.(^f.(^p.(^n.(^h.(l (^p.l))))))))) h)))) h (^l.o) (j (l i)) (^p.(^k.(j e))) (j (^o.(f (b l)))) ((^i.(^c.(a a)))(k r)) ((^o.(^c.n))(c ((g p) d))) ((^f.(((a l) k) g))(f (i h))) (((^n.(^j.(^f.(f (^b.e)))))(o r)) e) (^l.(^c.(^g.(^n.(^c.(g ((^g.c)(d q)))))))) (^j.(^r.(^b.((^l.(^g.b))(^m.(^n.((f n) h))))))) ((^c.(^p.((^l.d) i)))(^d.(^n.(^c.((p h)(^e.m)))))) (l (^m.(^d.(((^r.(j (^o.(^p.g))))(g (^a.j)))(^h.b))))) ((r ((^o.e)(h j)))(m ((^j.l)(^c.(^r.(i (b (n i)))))))) ((^i.((^r.(q k))((^q.(^c.(d (a (^l.m)))))((^p.m)(^j.f))))) q) ((^a.(^i.((^j.(d j))(^k.n))))(^r.((((p (r n)) g)(m n))(e c)))) (((p a)(c (g c)))(((^l.a) r)(^m.(((f o)(n f))(c ((^r.n) a)))))) ((^b.(^f.(^a.(^l.b))))(^j.(^l.(a (^h.(^o.(^a.(((^e.q) k)(h (j (^m.d))))))))))) (^j.(^r.(^i.(^m.(^f.(^o.(((h n)(q ((q e) r)))(^i.(^b.(((m r) b)(^h.l))))))))))) ((((^l.(l k))(i b))((^d.f)(p q)))(^e.((q o)(^i.(^b.((a (^l.g))(^n.(^p.e)))))))) c (b b) (^c.(a q)) (n (^a.(^r.c))) (^j.(^k.((n k) m))) ((^e.(^l.(g i)))(^d.k)) (^h.((i k)(e (m (^h.g))))) (((s d)(^r.(^l.(a h))))(^a.r)) (^j.((^a.(^c.c))((^n.(^o.(h p))) q))) (((((h a)(^q.j))(^g.p))(p (r h))) g) (p ((k b)((^i.(^p.((p (^c.a)) g)))(l c)))) (^g.(^s.(^a.(^c.((^r.(^j.(^s.(^g.g))))(^q.(a i))))))) (^b.(((h (m o))(j (^h.((^c.d) e))))(^e.((h c) i)))) ((r o)(q ((^c.(^m.(s c)))(^c.(^b.((j e)(^k.(^m.a)))))))) ((^d.(^r.((n (j s))((^a.(i m))(^h.a)))))(^c.((^m.(l p)) l))) (^o.((b n)(^l.((((^e.(^a.q))(l (^a.(^p.o)))) e)((^c.(n l)) g))))) ((^s.(^n.(^h.(((n (q q)) n)((^r.k) e)))))(^a.(^k.((m (l i))(k k))))) ((^i.(^p.(^i.q)))((((^e.(^p.(^k.(^b.((a (^l.d)) a)))))(g (^o.(o h)))) k) k)) (^d.(^o.(^o.((^e.(^l.(^n.(^f.(^r.((k a)(a j)))))))(^r.(((^j.(p p)) p)(g f))))))) (((((^g.(q j))(^c.l)) d)(^r.(^d.c)))(^j.(^j.(^l.(((^q.g) p)(^b.(^e.(^j.(^d.i))))))))) j (^f.r) (^d.(j t)) (^r.(^k.(^c.f))) (^m.(^o.(^q.(^j.f)))) ((h (^f.(^j.(i h)))) j) (((e j)(b f))((n k) m)) (^p.(((^g.((o (^r.f)) p)) n) b)) (^d.(((^k.h) e)((^k.(m l))(^g.o)))) (^m.(b (^c.(((^f.c) e)((^m.(s j)) c))))) ((^j.(c (((^j.(f m))(^g.(^l.(^f.q)))) e))) i) ((^n.((r k)((^n.(d (^j.(^t.(j q)))))(o f)))) r) (^n.(^t.((^p.((((o d) k) a)(e b)))((f (^q.a)) r)))) (^c.(^m.(^l.(^j.(((^c.a)(b (^p.(^q.g))))(^h.((e l) s))))))) (^i.((^o.(q (s (^j.h))))(^q.(^g.((d i)(m (^k.(^o.(^j.k))))))))) (^a.((^p.((^a.(^t.((^o.l)((^k.((f n)((^c.r) p))) s))))(t c))) l)) ((((((c (^l.h))(o (^s.i)))((^n.j)(a q))) h)(^s.n))(j (^c.(^s.n)))) ((((^s.s) p)(l (^p.(e (^l.h)))))(^s.(q (((((s e)(^d.n))(h f)) p) c)))) ((^l.(^s.(^b.(^p.(^n.(^a.(^i.(^j.(((^f.d) n)(n (d l)))))))))))(^i.(^p.((r l) l)))) ((^i.(^s.q))(((^c.((^k.(^k.(^d.q)))(d (^t.g))))(^j.(^q.p)))(c (^r.((^d.t)(^l.b)))))) p (b p) (o (o t)) ((^m.j)(^p.t)) (((^r.(^o.n)) n) j) (^g.(^m.((^f.(o m)) e))) (^e.((^f.(a (^n.(^f.o)))) a)) (^g.((n c)(^b.(^a.(^p.(q n)))))) (^a.((^o.(((^l.(^k.e))(l g)) p)) a)) ((d (^c.(l (^o.(l o)))))((^r.(u d)) a)) ((^o.(^f.(^u.(^j.s))))((^n.(((b c) h) s)) u)) (^a.((^l.(^t.((^j.o)(^m.(^q.((^u.t)(g j))))))) g)) (^k.((((^d.r) u)(c e))(^m.(^a.(^m.((j n)(^r.j))))))) (^g.(f (^k.(^n.(^g.((r (^k.p))((^n.(^s.i))(^a.(^s.b))))))))) (((((^c.e) l)(s k))((^u.((^o.g) q))((f b) f)))((^p.m) l)) ((^t.(^n.((p (p (^s.(^f.p))))(^f.m))))(^j.(^k.(^p.(b (^a.(g o))))))) ((o (n r))(^d.(^e.(^f.(((^f.(^k.(q j)))(a l))((o (^a.n))(^j.t))))))) (^c.(^k.(^q.(^s.(((p (^k.i))((i (^q.q))(n m)))(j (^n.(^n.((b n) c))))))))) ((^c.((^l.(^f.(((^m.(^e.(^r.d)))(^g.e)) c)))(^a.(^l.(^t.(^p.(^q.(^d.k))))))))(^k.n)) (^k.(^e.(^o.((^e.(((u (e (^c.a)))(^t.((^u.h) a)))(^l.(^d.(^k.(^h.c))))))(^f.(e p)))))) j (^q.b) (e (f m)) (^c.(k (^l.l))) (^n.(r (^h.(^m.l)))) ((^l.(^l.(u a)))(v s)) (^h.(^j.(^g.(^q.((s t) d))))) (((^d.((t p) g))(^t.e))(b t)) (^i.(^p.(^i.(^u.(^t.((^m.(v m)) d)))))) ((^p.(^h.(^o.b)))(j (^o.((b (s f)) a)))) (^d.((((^f.(^t.e)) b)(^o.(^q.((o f) h)))) q)) (^v.((^c.(^i.(p d)))(^q.(^n.(^e.(((r e) k) b)))))) (^j.((^n.((^g.((t v)((k p) m)))((^u.o) q)))(^o.s))) (^h.((^a.(^s.(^g.(((q o)(^m.d))(s c)))))(q ((^k.r) n)))) (((^s.(^n.k))((h f) c))((^u.d)(^j.((^b.(l (l t)))(s t))))) ((((r m) v)(^m.((^k.(^p.(p (a e))))(u k))))(^s.(^l.(v (s c))))) ((^l.((^d.(^t.(^e.(^o.(^l.t)))))(t e)))(^b.(v ((i f)(e ((^k.r) b)))))) (((^t.((t (^v.(^i.(t (^d.f)))))((g (^f.r)) u)))(^a.((^i.(j d)) j)))(^p.f)) (((^e.(i ((i t)((^f.o) d))))((c (m v)) b))(^t.(^v.(((^e.r) q)((^i.v) v))))) (^r.(^u.(^b.(e (((^g.(d (^n.(((^h.q)(i (g (^g.m)))) c))))((k c) u))(^n.(^e.v))))))) p (^q.n) (^d.(i m)) (^l.(^h.(^a.c))) (^r.((u l)(^j.h))) (^b.((^o.(g p))(^u.h))) (^h.((^u.(g (^k.j)))(n i))) ((^g.(a g))(o (o (^e.(^b.f))))) (^h.(((h m)(^l.(f (q (q w))))) l)) (((r (^i.k)) f)(^k.(^k.((f a)(^e.u))))) ((^n.(^e.k))((^h.(k (^p.(n ((^b.f) d))))) b)) (^a.((^u.(^u.(^j.(^s.((^j.(^m.e)) q)))))((p d) n))) ((q (^t.e))(^g.((n (^d.h))(^m.((^f.(f o))(^c.u)))))) ((^t.(^v.((^p.n)(c v))))(^o.(((g v)(j m))((q g) s)))) ((((^i.(^h.(^s.n)))(w (o a)))(h (^g.(^l.(e h)))))(m (^m.c))) (^t.(^j.((((n l)(^e.u)) c)(^l.(^w.((p (^v.(^j.(^o.m))))(g a))))))) (^t.((^c.(^c.((^c.(((w (^l.(^w.(d d))))(^n.j))(d (^p.j))))(^d.r)))) r)) ((^q.((^t.(^v.(^j.(^p.j))))(^q.(^g.((l l) u)))))(^c.((o ((^l.(l r)) a)) r))) ((^v.((^q.(^v.p))((e (^j.(o i)))(^b.o))))((i (p (c (a o))))((^b.r)(^b.q)))) (((^t.(^b.(e (k g))))(^k.(^t.((k h)(^l.(^m.m))))))((((^e.h)(^b.t)) d)(b (^n.o)))) w (^j.f) (d (^m.r)) (^g.(^h.(i d))) ((x b)(e (^i.u))) (^v.(^i.(^n.(^s.(^n.g))))) (^m.(^t.(^j.(o (^o.(n u)))))) (^f.(^u.(^u.((e (j v))(^c.o))))) (a ((^h.(l ((^i.((^m.f) g)) j))) f)) (i (j (^d.((^u.(s (^r.(^o.(p g))))) g)))) (^g.((^m.(r x))(((^u.((t u) i))(i b)) v))) ((b (p k))(^v.(^e.(((^n.s)(^q.v))(^v.(f l)))))) (((^p.((^q.i)(^s.(^s.(^n.((^e.q)(^n.x))))))) s)(l r)) (((^m.(^u.(t c)))(((^w.(f m)) w)(d k)))(^r.(^k.(j t)))) (^e.((^m.d)(((^h.a) d)(((d (a d))((^j.x) v))(^g.(^q.r)))))) (^c.(^h.((((^r.((^n.f)(v e)))(^n.(^j.u))) o)((n (m k))(j e))))) (^m.(^f.(x (^b.((((u (r j)) e) r)(^f.((((^m.r) o) r)(^v.(c x))))))))) (^q.(^x.((^q.(^i.v))(((^s.(u n))(x c))(^f.(^e.((^w.(^p.(m m)))(^q.m)))))))) (^a.(^j.(^o.(((((^u.a) c)(d (x (f n))))(l o))(^k.(s (^h.(u (^d.(^k.f)))))))))) (^w.(n ((^m.(h (^m.(^w.((^g.q)(^e.((r n) i)))))))((^o.(b ((^e.d)(^w.(w n))))) d)))) i (^w.a) (^t.(^s.k)) (b (^s.(^p.o))) (^g.(^n.(^h.(k g)))) (d (((o y) l)(q x))) (^g.(^e.(^r.(l ((^y.y) e))))) ((n (^t.o))(^l.(v (^y.(t u))))) ((^x.v)(((^l.v)((^o.j) j))(h s))) (^u.(^d.(^x.(^u.(^g.(^t.(^l.((f h) p)))))))) (((^v.(o p)) k)((^l.(m (h j)))(n (v s)))) (^s.((m j)(p (((^v.(q (h e)))(^k.h))(^q.f))))) ((^r.(m ((u (l w))(^r.x))))(^e.(^l.(^i.(g (c q)))))) (^g.((^g.m)(^n.((^n.(^u.((e v)(a e))))(^a.(d (h s))))))) ((^t.((u (^k.t))(^f.(^a.(^q.(((^g.h) h)(^h.(^b.r))))))))(r m)) (^d.(^t.(((^i.s)(^q.(^r.(^x.(l b)))))((^t.(^u.(^c.(n i))))(x v))))) (^i.((^t.(k (n t)))(^n.(((^p.d) t)(^o.(^e.(^u.(^r.(q (u (^t.s))))))))))) ((^o.((^y.v)(^e.(^b.((^i.(^e.(^v.((f t)(n s)))))(^l.u))))))((^s.q)(s v))) (^s.((((x e)(^k.i)) s)(^d.(^s.(((^l.(^y.t))(y l))((^b.o)(^y.(c (c b))))))))) (^q.(^u.(^c.((((x k)(^w.(^s.b)))(a (h t)))(^i.(^m.(^e.(^j.(^k.((^o.f)(o g)))))))))))

--