need to complete the function read_state_from_file() and then start heavy testing