[math-fun] Bob Lord's 100 prisoners