run :-
	 statistics,
	 recfreeze(1).


recfreeze(N) :-
	N mod 100000 =:= 0,
	Log is log(N)/log(10),
	write(10^Log = N),
	nl,
	statistics,
	fail.
recfreeze(N1) :-
	freeze(N2, N2 > 0),
	N2 is N1 + 1,
	recfreeze(N2).