512.nfa 8.58 KB