Update partial-dekker4.txt