cdex_options([once=true,
	      gen=Gen,
	      max_level=10000,
	      test=[lt_dup,
		    lt_subs],
	      process_news=reg([],[],
			       [an_sort([kp_f_ht]),
				an_trim(Trim)]),
	      pre_add_max=PreAddMax
	     ]) :-
	Gen = inc_tsize1,
	PreAddMax = 1,
	Trim = 1000.