ARC‑AGI‑3 benchmark