Segmented sieve witnesses, blocks 50554500-50603999 (group 12 of 20 of part_1_upper)

For every block index $b$ with

every even integer $n$ with $\max(4,10^6 b)\le n\le\min(4\cdot10^{14},10^6(b+1)-1)$ can be written as $n=p+q$ with $p$ a prime, $2\le p\le 5569$, and $q$ a survivor of the sieve by the primes up to $2\cdot10^7$ on $[10^6 b-5569,\ \min(4\cdot10^{14},10^6(b+1)-1)]$ (GoldbachSieve.survivors).

Role: group $12$ of $20$ of Richstein2001.segmented_sieve_block_witnesses_chunk_1_range_1_part_1_upper (blocks $50010000$ to $50999999$); the groups tile that range end to end. Each group has width $49500$ in the block index $b$.

Formalization Note The conclusion matches the parent Richstein2001.segmented_sieve_block_witnesses_chunk_1_range_1_part_1_upper exactly; only the range of $b$ is restricted. This mirrors the already-proved decomposition of the sibling ..._part_1_lower into twenty groups.