group3@lgroup3#1@lgroup3#1::@x@xsgroup3#2@xs@xgroup3#1nilnilgroup3#2::@y@ys@xgroup3#3@ys@x@ygroup3#2nil@xnilgroup3#3::@z@zs@x@y::tuple#3@x@y@zgroup3@zsgroup3#3nil@x@ynilzip3@l1@l2@l3zip3#1@l1@l2@l3zip3#1::@x@xs@l2@l3zip3#2@l2@l3@x@xszip3#1nil@l2@l3nilzip3#2::@y@ys@l3@x@xszip3#3@l3@x@xs@y@yszip3#2nil@l3@x@xsnilzip3#3::@z@zs@x@xs@y@ys::tuple#3@x@y@zzip3@xs@ys@zszip3#3nil@x@xs@y@ysnilgroup31group3#11::2group3#22nil0group3#33tuple#33zip33zip3#13zip3#24zip3#35INNERMOSTtct_complexity/raML/rationalPotential.raml.trs