sortSu
circ
sortSu
cons
te
`a`
sortSu
`s`
sortSu
`t`
sortSu
cons
te
msubst
te
`a`
sortSu
`t`
sortSu
circ
sortSu
`s`
sortSu
`t`
sortSu
circ
sortSu
cons
sop
lift
sortSu
`s`
sortSu
cons
te
`a`
sortSu
`t`
sortSu
cons
te
`a`
sortSu
circ
sortSu
`s`
sortSu
`t`
sortSu
circ
sortSu
cons
sop
lift
sortSu
`s`
sortSu
cons
sop
lift
sortSu
`t`
sortSu
cons
sop
lift
sortSu
circ
sortSu
`s`
sortSu
`t`
sortSu
circ
sortSu
circ
sortSu
`s`
sortSu
`t`
sortSu
`u`
sortSu
circ
sortSu
`s`
sortSu
circ
sortSu
`t`
sortSu
`u`
sortSu
circ
sortSu
`s`
sortSu
id
sortSu
`s`
sortSu
circ
sortSu
id
sortSu
`s`
sortSu
`s`
sortSu
circ
sortSu
cons
sop
lift
sortSu
`s`
sortSu
circ
sortSu
cons
sop
lift
sortSu
`t`
sortSu
`u`
sortSu
circ
sortSu
cons
sop
lift
sortSu
circ
sortSu
`s`
sortSu
`t`
sortSu
`u`
te
subst
te
`a`
sortSu
id
te
`a`
te
msubst
te
`a`
sortSu
id
te
`a`
te
msubst
te
msubst
te
`a`
sortSu
`s`
sortSu
`t`
te
msubst
te
`a`
sortSu
circ
sortSu
`s`
sortSu
`t`
sortSu
1
circ
2
cons
2
te
1
msubst
2
sop
1
lift
0
id
0
subst
2
FULL
./TRS/secret05/cime1.trs