export single reads in automaton.correct()