[math-fun] Judge Embeds a Puzzle in 'Da Vinci Code' Ruling