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
a
id
x
x
a
1
id
1
a
t
id
t
a
1
p
x
y
x
a
t
p
x
y
y
2.2
a
p
x
y
z
a
y
z
a
lambda
x
y
a
y
t
a
lambda
x
y
a
x
p
1
a
y
t
a
a
x
y
z
a
x
a
y
z
a
p
x
y
z
a
x
z
a
a
x
y
z
a
y
z
true
a
a
x
y
z
a
y
z
a
p
x
y
z
a
x
z
a
a
x
y
z
a
x
a
y
z
a
lambda
x
y
a
y
t
a
lambda
x
y
a
x
p
1
a
y
t
a
p
x
y
z
a
y
z
true
a
2
1
2
0
1
0
0
t
0
0
lambda
1
1
1
p
2
1
0
2
0
0
id
0
11293
a
2
1
2
0
a
p
x
y
z
a
y
z
a
a
x
y
z
a
x
a
y
z
a
p
x
y
z
a
x
z
a
a
x
y
z
a
y
z
a
id
x
x
a
t
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
1
id
1
a
1
p
x
y
x
a
t
id
t
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
1
t
0
1
lambda
1
1
18816
p
2
1
2
1
id
0
62898
a
2
1
0
NaTT
certifiable-1.6