Update problems/p009.json