{"schema":"vela.problem-packet.v0.1","problem":11,"statement":"Is every large odd integer $n$ the sum of a squarefree number and a power of 2?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A001220","name":"Wieferich primes: primes p such that p^2 divides 2^(p-1) - 1.","terms":"1093,3511","url":"https://oeis.org/A001220"},{"id":"A377587","name":"a(n) is the smallest odd integer m with m-2^k not squarefree for all 1<=k<=n.","terms":"11,29,533,849,434977,10329791,28819433,129747557,6915752957,2569472629649,23373845739407,60690478781437","url":"https://oeis.org/A377587"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}