Put the number of states in the JSON statistics file.