a(n) is the least integer m such that M(m) is divisible by prime(n)^2 or -1 if no such m exists