{"schema":"vela.problem-packet.v0.1","problem":246,"statement":"Let $(a,b)=1$. The set $\\{a^kb^l: k,l\\geq 0\\}$ is complete - that is, every large integer is the sum of distinct integers of the form $a^kb^l$ with $k,l\\geq 0$.","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}