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