{"schema":"vela.problem-packet.v0.1","problem":185,"statement":"Let $f_3(n)$ be the maximal size of a subset of $\\{0,1,2\\}^n$ which contains no three points on a line. Is it true that $f_3(n)=o(3^n)$?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A003142","name":"Largest subset of 3 X 3 X ... X 3 cube (in n dimensions) with no 3 points collinear.","terms":"0,2,6,16,43,124,353","url":"https://oeis.org/A003142"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}