Class OutputWriters.AutomatonStats