{"schema":"vela.problem-packet.v0.1","problem":13,"statement":"Let $A\\subseteq \\{1,\\ldots,N\\}$ be such that there are no $a,b,c\\in A$ such that $a\\mid(b+c)$ and $a<\\min(b,c)$. Is it true that $\\lvert A\\rvert\\leq N/3+O(1)$?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A002264","name":"Nonnegative integers repeated 3 times.","terms":"0,0,0,1,1,1,2,2,2,3,3,3,4,4,4,5,5,5,6,6,6,7,7,7,8,8,8,9,9,9,10,10,10,11,11,11,12,12,12,13,13,13,14,14,14,15,15,15,16,16,","url":"https://oeis.org/A002264"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}