[math-fun] underpromotions in real chess games, 50 move rule, etc