[math-fun] Summary so far: number of longest common substrings problem