Initial state: 1307229