Update partial-dekker7.txt