**************************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