“…It required about two thousand core years of computation, accumulated over a period of almost three years on a wide variety of computers world-wide. The current record calculation of the second category is the shared factorization of 2 m − 1 for m ∈ {1007, 1009, 1081, 1111, 1129, 1151, 1153, 1159, 1177, 1193, 1199} which required about five thousand core years over a period of almost five years [22,45].…”