Изменения

<tex>(\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x x))) </tex><tex> (\lambda f.\lambda x.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.n (\lambda c.\lambda a.\lambda b.b) </tex><tex> (\lambda a.\lambda b.a)) </tex><tex> (x)) </tex><tex> (\lambda s.\lambda z.s z) </tex><tex> ((\lambda n.\lambda m.\lambda s.n (m s)) </tex><tex> (x) </tex><tex> (f ((\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p)))</tex><tex>((\lambda a.\lambda b.\lambda t.t a b)\\ </tex><tex>(z) </tex><tex> z))) (x)))))</tex>

<tex>\lambda list.(\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x x))) </tex><tex> (\lambda f.\lambda n.\lambda m.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.n (\lambda c.\lambda a.\lambda b.b) </tex><tex> (\lambda a.\lambda b.a)) </tex><tex> ((\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x x))) </tex><tex> (\lambda mod.\lambda n.\lambda m.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.\lambda m.(\lambda n.\lambda m.(\lambda n.n\\(\lambda c.\lambda a.\lambda b.b) </tex><tex> (\lambda a.\lambda b.a)) </tex><tex> ((\lambda n.\lambda m.m (\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m)) (n) </tex><tex> ((\lambda n.\lambda s.\lambda z.(\lambda p.p \\(\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) (m))) </tex><tex> (n) </tex><tex> m) n (mod ((\lambda n.\lambda m.m (\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p \\(\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m) m)) n m)) ((\lambda n.\lambda s.\lambda z.s (n s z)) </tex><tex> (f ((\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x x))) </tex><tex> (\lambda div.\lambda n.\lambda m.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.\lambda m.(\lambda n.\lambda m.(\lambda n.n (\lambda c.\lambda a.\lambda b.b) \\</tex><tex> (\lambda a.\lambda b.a)) </tex><tex> ((\lambda n.\lambda m.m (\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m)) (n) </tex><tex> ((\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n \\(\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) (m))) </tex><tex> (n) </tex><tex> m) (\lambda s.\lambda z.z) </tex><tex> ((\lambda n.\lambda s.\lambda z.s (n s z)) </tex><tex> (div ((\lambda n.\lambda m.m (\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda \\b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m) m))) n m) m)) (\lambda s.\lambda z.z)) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (list)) </tex><tex> ((\lambda i.(\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x x))) </tex><tex> (\lambda f.\lambda p.\lambda i.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.n \\(\lambda c.\lambda a.\lambda b.b) </tex><tex> (\lambda a.\lambda b.a)) </tex><tex> (i)) </tex><tex> p (f ((\lambda p.(\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x x))) </tex><tex> (\lambda f.\lambda p.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda p.(\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x x))) </tex><tex> (\lambda f.\lambda p.\lambda i.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.\lambda m.(\lambda n.n (\lambda c.\lambda a.\lambda b.b) </tex><tex> (\lambda \\a.\lambda b.a)) </tex><tex> ((\lambda n.\lambda m.m (\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m)) (p) </tex><tex> i) (\lambda a.\lambda b.a) </tex><tex> ((\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.n (\lambda \\c.\lambda a.\lambda b.b) </tex><tex> (\lambda a.\lambda b.a)) </tex><tex> ((\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x x))) </tex><tex> (\lambda mod.\lambda n.\lambda m.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.\lambda m.(\lambda n.\lambda m.(\lambda n.n (\lambda c.\lambda a.\lambda b.b) </tex><tex> (\lambda a.\lambda b.a)) </tex><tex> ((\lambda n.\lambda m.m (\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.\\(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m)) (n) </tex><tex> ((\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) \\</tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) (m))) </tex><tex> (n) </tex><tex> m) n (mod ((\lambda n.\lambda m.m (\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m) m)) p i)) (\lambda a.\lambda b.b) \\</tex><tex> (f p ((\lambda n.\lambda s.\lambda z.s (n s z)) </tex><tex> (i))))) </tex><tex> p (\lambda s.\lambda z.s (s z))) </tex><tex> (p)) </tex><tex> p (f ((\lambda n.\lambda s.\lambda z.s (n s z)) </tex><tex> (p)))) </tex><tex> ((\lambda n.\lambda s.\lambda z.s (n s z)) </tex><tex> (p))) </tex><tex> (p)) </tex><tex> ((\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda \\b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) (i)))) </tex><tex> (\lambda s.\lambda z.s (s z)) </tex><tex> i) ((\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (list))))</tex>

<tex>\lambda list.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> ((\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (list))) </tex><tex> ((\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda \\x.f (x x))) </tex><tex> (\lambda f.\lambda n.\lambda m.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.n (\lambda c.\lambda a.\lambda b.b) </tex><tex> (\lambda a.\lambda b.a)) </tex><tex> ((\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x x))) </tex><tex> (\lambda mod.\lambda n.\lambda m.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.\lambda m.(\lambda n.\lambda m.(\lambda n.n (\lambda c.\lambda a.\lambda b.b) </tex><tex> (\lambda a.\lambda b.a)) </tex><tex> ((\lambda \\n.\lambda m.m (\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m)) (n) </tex><tex> ((\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda \\b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) (m))) </tex><tex> (n) </tex><tex> m) n (mod ((\lambda n.\lambda m.m (\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda \\b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m) m)) n m)) (f ((\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x x))) </tex><tex> (\lambda div.\lambda n.\lambda m.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.\lambda m.(\lambda n.\lambda m.(\lambda n.n (\lambda c.\lambda a.\lambda b.b) </tex><tex> (\lambda a.\lambda b.a)) </tex><tex> ((\lambda n.\lambda m.m (\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda \\a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m)) (n) </tex><tex> ((\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p \\(\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) (m))) </tex><tex> (n) </tex><tex> m) (\lambda s.\lambda z.z) </tex><tex> ((\lambda n.\lambda s.\lambda z.s (n s z)) </tex><tex> (div ((\lambda n.\lambda m.m (\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) \\</tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m) m))) n m) m) n) ((\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (list)) </tex><tex> ((\lambda i.(\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x x))) </tex><tex> (\lambda f.\lambda p.\lambda i.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.n (\lambda c.\lambda a.\lambda b.b) </tex><tex> (\lambda a.\lambda b.a)) </tex><tex> (i)) </tex><tex> p (f ((\lambda p.(\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x \\x))) </tex><tex> (\lambda f.\lambda p.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda p.(\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x x))) </tex><tex> (\lambda f.\lambda p.\lambda i.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.\lambda m.(\lambda n.n (\lambda c.\lambda a.\lambda b.b) </tex><tex> (\lambda a.\lambda b.a)) </tex><tex> ((\lambda n.\lambda m.m (\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.\\(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m)) (p) </tex><tex> i) (\lambda a.\lambda b.a) </tex><tex> ((\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.n (\lambda c.\lambda a.\lambda b.b) </tex><tex> (\lambda a.\lambda b.a)) </tex><tex> ((\lambda f.(\lambda x.f (x x)) </tex><tex> (\lambda x.f (x x))) </tex><tex> (\lambda \\mod.\lambda n.\lambda m.(\lambda p.\lambda t.\lambda e.p t e) </tex><tex> ((\lambda n.\lambda m.(\lambda n.\lambda m.(\lambda n.n (\lambda c.\lambda a.\lambda b.b) </tex><tex> (\lambda a.\lambda b.a)) </tex><tex> ((\lambda n.\lambda m.m (\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda \\b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m)) (n) </tex><tex> ((\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) (m))) </tex><tex> (n) </tex><tex> m) n (mod ((\lambda n.\lambda m.m (\lambda n.\lambda \\s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) n) (n) </tex><tex> m) m)) p i)) (\lambda a.\lambda b.b) </tex><tex> (f p ((\lambda n.\lambda s.\lambda z.s (n s z)) </tex><tex> (i))))) </tex><tex> p (\lambda s.\lambda z.s (s z))) </tex><tex> (p)) </tex><tex> p (f ((\lambda \\n.\lambda s.\lambda z.s (n s z)) </tex><tex> (p)))) </tex><tex> ((\lambda n.\lambda s.\lambda z.s (n s z)) </tex><tex> (p))) </tex><tex> (p)) </tex><tex> ((\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) (i)))) </tex><tex> (\lambda s.\lambda z.s (s z)) </tex><tex> i) \\((\lambda n.\lambda s.\lambda z.(\lambda p.p (\lambda a.\lambda b.b)) </tex><tex> (n (\lambda p.(\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (s ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (p))) </tex><tex> ((\lambda a.\lambda b.\lambda t.t a b) </tex><tex> (z) </tex><tex> z))) ((\lambda p.p (\lambda a.\lambda b.a)) </tex><tex> (list)))))</tex>