The reason behind multiplying primes to c is to coerce the new column and the factors within the a[t]. Once we do that, we can even determine which a[t] = pq (for some p). We can even control which t has q as a prime factor. I'm unsure how to turn this into a lookup, but I'm still trying to get an understanding of this method.