[math-fun] a certain crop circle and 10 digits of Pi in uk