dumpstate.txt