EXPORT Int.

IMPORT Strings.

IMPORT Integers.

PREDICATE ThFl : Integer * Integer;

P : Integer * Integer;

CkLt : Integer * Integer * Integer.

%% CkLt2 : Integer * Integer * Integer.