{"schema":"vela.problem-packet.v0.1","problem":2,"statement":"Can the smallest modulus of a covering system be arbitrarily large?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A160559","name":"Minimal covering numbers.","terms":"12,80,90,210,280,378,448,1386,1650,2200,2464,5346,9750,11264,11466,13000,14994,18954,20384,23166,26656,27846,30294,31122","url":"https://oeis.org/A160559"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}