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],[an_sort([kp_f_ht]),an_trim(Trim)])]) :-
	Gen = inc_psp1,
	FactorH = 5,
	FactorT = 5,
	Trim = 1000.