First run where NFA has correct-looking results.
First run of NFA where edges at start states are correct.