cond
true
x
cond
and
even
x
gr
x
0
p
x
and
x
false
false
and
false
x
false
and
true
true
true
even
0
true
even
s
0
false
even
s
s
x
even
x
gr
0
x
false
gr
s
x
0
true
gr
s
x
s
y
gr
x
y
p
0
0
p
s
x
x
cond
2
true
0
and
2
even
1
gr
2
0
0
p
1
false
0
s
1
y
0
FULL
./TRS/Beerendonk/5.trs