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([],[ipt_mgt,red_n],[])]) :-
	Gen = inc_psp1,
	FactorH = 3,
	FactorT = 4.