Update partial-dekker9.txt