**************************Series Output*********************************
Upper Bound of zip3(A, B, C) is nat(C)
Upper Bound of group3(A) is nat(A/3)

*************************RAML Output************************************

The number of ticks consumed by zip3 is at most:
          n
where
   n is the length of the first component of the input
   m is the length of the second component of the input
   x is the length of the third component of the input

The number of ticks consumed by group3 is at most:
          0.33333333*n
where
   n is the length of the input