{"schema":"vela.problem-packet.v0.1","problem":473,"statement":"Is there a permutation $a_1,a_2,\\ldots$ of the positive integers such that $a_k+a_{k+1}$ is always prime?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A055265","name":"a(n) is the smallest positive integer not already in the sequence such that a(n)+a(n-1) is prime, starting with a(1)=1.","terms":"1,2,3,4,7,6,5,8,9,10,13,16,15,14,17,12,11,18,19,22,21,20,23,24,29,30,31,28,25,34,27,26,33,38,35,32,39,40,43,36,37,42,41,","url":"https://oeis.org/A055265"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}