adding nfa files, forgot to add in previous commit