:- include('tcyl-24-24-2').

:- table(a/2).

tw(X) :- a(X,Y), writeln(a(X,Y)), fail.
tw(_).

ts(X) :- statistics, a(X,_Y), fail.
ts(_) :- statistics.

a(X,Y) :- cyl(X,Y).
a(X,Y) :- cyl(X,Z), a(Z,Y).