PUBS: A Practical Upper Bounds Solver

%********************************Result************************************

%*******************Series Output******************************************

% Upper Bound of filter(A,B) is nat(B)+1
% Upper Bound of eratos(A) is nat(A)* (nat(A)+1)/2+2*nat(A)+1

%********************RAML Output*******************************************
% The number of ticks consumed by filter is at most:
%           n + 1.0
% where
%    n is the length of the second component of the input
% 
% The number of ticks consumed by eratos is at most:
%           0.5*n^2 + 1.5*n + 1.0
% where
%    n is the length of the input
%***************************************************************************