autfilt dstar2tgba genaut genltl ltl2tgba ltl2tgta ltlcross ltldo ltlfilt ltlgrind randaut randltl spot spot-x *.a *.1 *.7 lck-*