{"schema":"vela.problem-packet.v0.1","problem":438,"statement":"How large can $A\\subseteq \\{1,\\ldots,N\\}$ be if $A+A$ contains no square numbers?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A363069","name":"Size of the largest subset of {1,2,...,n} such that no two elements sum to a perfect square.","terms":"1,1,1,2,2,3,4,4,4,4,5,5,6,6,6,7,8,8,8,8,9,9,10,10,11,11,12,12,12,13,13,13,13,14,14,14,15,15,16,16,17,17,18,18,18,19,19,1","url":"https://oeis.org/A363069"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}