cdex_options([once=true,
	      gen=Gen,
	      max_level=10000,
	      test=[lt_fh(truncate(input*Factor)+1),
		    lt_ft(truncate(input*Factor)+1),
		    lt_fv(truncate(input*Factor)+1),
		    lt_dup,
		    lt_subs],
	      process_news=reg([],[],
			       [an_sort([kp_f_ht]),
				an_trim(Trim)]),
	      pre_add_max=PreAddMax,
	      pre_level_timeout=PreLevelTimeout
	     ]) :-
	Gen = inc_tsize1,
	Factor = 2,
	PreAddMax = 1,
	PreLevelTimeout = 5,
	Trim = 3000.