[math-fun] DanA's puzzle sum