#equal
@x
@y
#eq
@x
@y
and
@x
@y
#and
@x
@y
eq
@l1
@l2
eq#1
@l1
@l2
eq#1
::
@x
@xs
@l2
eq#3
@l2
@x
@xs
eq#1
nil
@l2
eq#2
@l2
eq#2
::
@y
@ys
#false
eq#2
nil
#true
eq#3
::
@y
@ys
@x
@xs
and
#equal
@x
@y
eq
@xs
@ys
eq#3
nil
@x
@xs
#false
nub
@l
nub#1
@l
nub#1
::
@x
@xs
::
@x
nub
remove
@x
@xs
nub#1
nil
nil
remove
@x
@l
remove#1
@l
@x
remove#1
::
@y
@ys
@x
remove#2
eq
@x
@y
@x
@y
@ys
remove#1
nil
@x
nil
remove#2
#false
@x
@y
@ys
::
@y
remove
@x
@ys
remove#2
#true
@x
@y
@ys
remove
@x
@ys
#and
#false
#false
#false
#and
#false
#true
#false
#and
#true
#false
#false
#and
#true
#true
#true
#eq
#0
#0
#true
#eq
#0
#neg
@y
#false
#eq
#0
#pos
@y
#false
#eq
#0
#s
@y
#false
#eq
#neg
@x
#0
#false
#eq
#neg
@x
#neg
@y
#eq
@x
@y
#eq
#neg
@x
#pos
@y
#false
#eq
#pos
@x
#0
#false
#eq
#pos
@x
#neg
@y
#false
#eq
#pos
@x
#pos
@y
#eq
@x
@y
#eq
#s
@x
#0
#false
#eq
#s
@x
#s
@y
#eq
@x
@y
#eq
::
@x_1
@x_2
::
@y_1
@y_2
#and
#eq
@x_1
@y_1
#eq
@x_2
@y_2
#eq
::
@x_1
@x_2
nil
#false
#eq
nil
::
@y_1
@y_2
#false
#eq
nil
nil
#true
remove
2
eq#2
1
#equal
2
eq
2
#eq
2
#true
0
#false
0
::
2
and
2
remove#1
2
nub
1
#pos
1
#0
0
#neg
1
remove#2
4
eq#1
2
#and
2
eq#3
3
#s
1
nub#1
1
nil
0
INNERMOST
tct_complexity/raML/duplicates.raml.trs