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