{"schema":"vela.problem-packet.v0.1","problem":202,"statement":"Let $n_1<\\cdots < n_r\\leq N$ with associated $a_i\\pmod{n_i}$ such that the congruence classes are disjoint (that is, every integer is $\\equiv a_i\\pmod{n_i}$ for at most one $1\\leq i\\leq r$). How large can $r$ be in terms of $N$?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A389975","name":"Maximum cardinality of a set of disjoint congruence classes with distinct moduli, each at most n.","terms":"1,1,1,2,2,2,2,3,3,3,3,4,4,4,4,5,5,6,6,6,6,6,6,7,7,7,7,7,7,8,8,8,8,8,8,9,9,9,9,10,10,10,10,10,10,10,10,11,11,12,12,12,12,","url":"https://oeis.org/A389975"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}