* Roll back use of vector in state history, due to memory problems