group3
@l
group3#1
@l
group3#1
::
@x
@xs
group3#2
@xs
@x
group3#1
nil
nil
group3#2
::
@y
@ys
@x
group3#3
@ys
@x
@y
group3#2
nil
@x
nil
group3#3
::
@z
@zs
@x
@y
::
tuple#3
@x
@y
@z
group3
@zs
group3#3
nil
@x
@y
nil
zip3
@l1
@l2
@l3
zip3#1
@l1
@l2
@l3
zip3#1
::
@x
@xs
@l2
@l3
zip3#2
@l2
@l3
@x
@xs
zip3#1
nil
@l2
@l3
nil
zip3#2
::
@y
@ys
@l3
@x
@xs
zip3#3
@l3
@x
@xs
@y
@ys
zip3#2
nil
@l3
@x
@xs
nil
zip3#3
::
@z
@zs
@x
@xs
@y
@ys
::
tuple#3
@x
@y
@z
zip3
@xs
@ys
@zs
zip3#3
nil
@x
@xs
@y
@ys
nil
group3
1
group3#1
1
::
2
group3#2
2
nil
0
group3#3
3
tuple#3
3
zip3
3
zip3#1
3
zip3#2
4
zip3#3
5
INNERMOST
tct_complexity/raML/rationalPotential.raml.trs