with text_io; use text_io; with kozos;
procedure KozosProba is
	p, q: POSITIVE;
begin
	kozos(12,15,p,q);
	Put_Line("lnko(12,15) = " & integer'image(p));
	Put_Line("lkkt(12,15) = " & integer'image(q));
end KozosProba;