{"schema":"vela.problem-packet.v0.1","problem":773,"statement":"What is the size of the largest Sidon subset $A\\subseteq\\{1,2^2,\\ldots,N^2\\}$? Is it $N^{1-o(1)}$?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A390813","name":"a(n) is the size of the largest Sidon subset of the first n positive perfect squares.","terms":"1,2,3,4,5,6,6,7,8,9,9,9,10,10,11,12,12,13,13,13,14,14,14,15,16,17,17,17,17,18,19,19,19,20,20,20,21,21,22,22,22,22,23,24,","url":"https://oeis.org/A390813"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}