PUBS: A Practical Upper Bounds Solver
```
*******************************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
*****************************************************************

```