{"schema":"vela.problem-packet.v0.1","problem":1142,"statement":"Are there infinitely many $n$ (or any $n&#62;105$) such that $n-2^k$ is prime for all $1&#60;2^k&#60;n$?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A039669","name":"Numbers n > 2 such that n - 2^k is a prime for all k > 0 with 2^k < n.","terms":"4,7,15,21,45,75,105","url":"https://oeis.org/A039669"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}