States: read from file, print them all out