cdex_options([once=true,
	      gen=Gen,
 	      test=[lt_fh(truncate(input*FactorH)+1),
 		    lt_ft(truncate(input*FactorT)+1),
 		    lt_subs],
	      max_level=1000000,
%	      test=[lt_fh(7),lt_ft(18),lt_subs],
	      process_news=reg_first([],[],[])]) :-
	Gen = inc_psp1,
	FactorH = 2,
	FactorT = 3.