a
lambda
x
y
lambda
a
x
p
1
a
y
t
a
p
x
y
z
p
a
x
z
a
y
z
a
a
x
y
z
a
x
a
y
z
lambda
x
x
a
x
y
x
a
x
y
y
p
x
y
x
p
x
y
y
2.2
a
p
x
y
z
a
x
z
a
lambda
x
y
lambda
a
x
p
1
a
y
t
a
lambda
x
y
a
y
t
a
lambda
x
y
a
x
p
1
a
y
t
a
a
x
y
z
a
y
z
a
p
x
y
z
a
y
z
a
p
x
y
z
p
a
x
z
a
y
z
a
lambda
x
y
p
1
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
p
x
y
z
a
y
z
a
lambda
x
y
a
y
t
a
a
x
y
z
a
y
z
a
lambda
x
y
a
x
p
1
a
y
t
a
p
x
y
z
a
x
z
true
a
2
1
2
0
1
0
0
lambda
1
0
t
0
0
lambda
1
1
1
p
2
0
p
2
1
0
2
0
0
a
2
1
2
0
a
p
x
y
z
a
x
z
a
a
x
y
z
a
y
z
a
p
x
y
z
a
y
z
a
a
x
y
z
a
x
a
y
z
lambda
x
x
p
x
y
y
a
lambda
x
y
lambda
a
x
p
1
a
y
t
a
a
x
y
z
a
x
a
y
z
a
x
y
x
p
x
y
x
a
x
y
y
a
p
x
y
z
p
a
x
z
a
y
z
a
a
x
y
z
a
y
z
a
a
x
y
z
a
x
a
y
z
a
p
x
y
z
a
y
z
a
p
x
y
z
a
x
z
true
a
2
1
2
1
1
0
16085
lambda
1
0
t
0
33036
lambda
1
1
34723
p
2
0
p
2
1
2
8856
a
2
1
0
a
p
x
y
z
p
a
x
z
a
y
z
false
a
lambda
x
y
lambda
a
x
p
1
a
y
t
false
a
lambda
x
y
p
1
a
y
t
false
NaTT
certifiable-1.6