[math-fun] concatenated primes