a__eq
0
0
true
a__eq
s
X
s
Y
a__eq
X
Y
a__eq
X
Y
false
a__inf
X
cons
X
inf
s
X
a__take
0
X
nil
a__take
s
X
cons
Y
L
cons
Y
take
X
L
a__length
nil
0
a__length
cons
X
L
s
length
L
mark
eq
X1
X2
a__eq
X1
X2
mark
inf
X
a__inf
mark
X
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
length
X
a__length
mark
X
mark
0
0
mark
true
true
mark
s
X
s
X
mark
false
false
mark
cons
X1
X2
cons
X1
X2
mark
nil
nil
a__eq
X1
X2
eq
X1
X2
a__inf
X
inf
X
a__take
X1
X2
take
X1
X2
a__length
X
length
X
a__eq
2
0
0
true
0
s
1
false
0
a__inf
1
cons
2
inf
1
a__take
2
nil
0
take
2
a__length
1
length
1
mark
1
eq
2
INNERMOST
./TRS/TRCSR/inn/Ex1_GL02a_GM.trs