a
lambda
x
y
lambda
a
x
1
a
lambda
x
y
lambda
a
x
a
y
t
a
a
x
y
z
a
x
a
y
z
lambda
x
x
a
x
y
x
a
x
y
y
2.2
a
lambda
x
y
a
x
a
y
t
a
lambda
x
y
lambda
a
x
1
a
lambda
x
y
a
x
1
a
a
x
y
z
a
y
z
a
lambda
x
y
a
y
t
a
lambda
x
y
lambda
a
x
a
y
t
a
a
x
y
z
a
x
a
y
z
true
a
a
x
y
z
a
x
a
y
z
a
lambda
x
y
a
y
t
a
a
x
y
z
a
y
z
a
lambda
x
y
a
x
1
a
lambda
x
y
a
x
a
y
t
true
a
2
1
2
0
1
0
0
lambda
1
0
t
0
0
lambda
1
1
1
a
2
1
2
0
a
a
x
y
z
a
y
z
a
a
x
y
z
a
x
a
y
z
lambda
x
x
a
lambda
x
y
lambda
a
x
1
a
a
x
y
z
a
x
a
y
z
a
x
y
x
a
x
y
y
a
lambda
x
y
lambda
a
x
a
y
t
a
a
x
y
z
a
y
z
a
a
x
y
z
a
x
a
y
z
true
a
2
1
2
1
1
0
0
lambda
1
0
t
0
41141
lambda
1
20163
a
2
1
0
a
lambda
x
y
lambda
a
x
a
y
t
false
a
lambda
x
y
lambda
a
x
1
false
NaTT
certifiable-1.6