dumpstate.txt
