{"schema":"vela.problem-packet.v0.1","problem":418,"statement":"Are there infinitely many positive integers not of the form $n-\\phi(n)$?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A005278","name":"Noncototients: numbers k such that x - phi(x) = k has no solution.","terms":"10,26,34,50,52,58,86,100,116,122,130,134,146,154,170,172,186,202,206,218,222,232,244,260,266,268,274,290,292,298,310,326","url":"https://oeis.org/A005278"},{"id":"A263958","name":"Prime Riesel numbers p that are not Mersenne primes such that 2*p is a noncototient.","terms":"509203,2554843,9203917,9545351,10645867,11942443,14608183,15627133,15811777,16413457,21013423,21465637,25792993,30622663","url":"https://oeis.org/A263958"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}