ite
tt
u
v
u
ite
ff
u
v
v
find
u
v
nil
ff
find
u
v
cons
cons
u
v
E
tt
find
u
v
cons
cons
u2
v2
E
find
u
v
E
complete
u
nil
E
tt
complete
u
cons
v
S
E
ite
find
u
v
E
complete
u
S
E
ff
clique
nil
E
tt
clique
cons
u
K
E
ite
complete
u
K
E
clique
K
E
ff
ite
3
tt
0
ff
0
find
3
nil
0
cons
2
complete
3
clique
2
FULL
./TCT_09/ma6.trs