__
__
X
Y
Z
__
X
__
Y
Z
__
X
nil
X
__
nil
X
X
and
tt
X
activate
X
isNePal
__
I
__
P
I
tt
activate
X
X
2.2
__
__
X
Y
Z
__
Y
Z
and
tt
X
activate
X
__
__
X
Y
Z
__
X
__
Y
Z
true
and
tt
X
activate
X
false
__
__
X
Y
Z
__
X
__
Y
Z
__
__
X
Y
Z
__
Y
Z
true
activate
1
0
and
2
0
activate
1
0
__
2
1
0
isNePal
1
0
isNePal
1
0
nil
0
1
tt
0
0
and
2
0
__
2
1
2
1
NaTT
certifiable-1.6