Update partial-dekker3.txt