Showing detailed stats for user michael_wzq in the Lehmers Birthday Challenge