DFSA input: