circ
cons
a
s
t
cons
msubst
a
t
circ
s
t
circ
cons
lift
s
cons
a
t
cons
a
circ
s
t
circ
cons
lift
s
cons
lift
t
cons
lift
circ
s
t
circ
circ
s
t
u
circ
s
circ
t
u
circ
s
id
s
circ
id
s
s
circ
cons
lift
s
circ
cons
lift
t
u
circ
cons
lift
circ
s
t
u
subst
a
id
a
msubst
a
id
a
msubst
msubst
a
s
t
msubst
a
circ
s
t
circ
2
cons
2
msubst
2
lift
0
id
0
subst
2
FULL
./TRS/secret05/cime2.trs