Update partial-dekker10.txt