{"schema":"vela.problem-packet.v0.1","problem":251,"statement":"Is\\[\\sum \\frac{p_n}{2^n}\\]irrational? (Here $p_n$ is the $n$th prime.)","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A098990","name":"Decimal expansion of Sum_{n>=1} prime(n)/(2^n).","terms":"3,6,7,4,6,4,3,9,6,6,0,1,1,3,2,8,7,7,8,9,9,5,6,7,6,3,0,9,0,8,4,0,2,9,4,1,1,6,7,7,7,9,7,5,8,8,7,7,9,4,3,7,3,2,8,3,1,2,2,0,","url":"https://oeis.org/A098990"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}