*******************************Result**************************** ***************Series ***************Output******************************************** Upper Bound of firstline(A) is nat(A)+1 Upper Bound of newline(A,B,C) is 4*nat(C)+1 Upper Bound of lcstable(A,B) is 4*nat(A)*nat(B)+nat(B)+2*nat(A)+2 Upper Bound of lcs(A,B) is 4*nat(A)*nat(B)+nat(B)+2*nat(A)+3. ************RAML Output******************************************* The number of ticks consumed by newline is at most: 4.0*m + 1.0 where n is the length of the second component of the input m is the length of the third component of the input The number of ticks consumed by firstline is at most: n + 1.0 where n is the length of the input The number of ticks consumed by lcstable is at most: 4.0*m*n + m + 2.0*n + 2.0 where n is the length of the first component of the input m is the length of the second component of the input The number of ticks consumed by lcs is at most: 4.0*m*n + m + 2.0*n + 3.0 where n is the length of the first component of the input m is the length of the second component of the input *****************************************************************