{"schema":"vela.problem-packet.v0.1","problem":1022,"statement":"Is there a constant $c_t$, where $c_t\\to \\infty$ as $t\\to \\infty$, such that if $\\mathcal{F}$ is a finite family of finite sets, all of size at least $t$, and for every set $X$ there are $<c_t\\lvert X\\rvert$ many $A\\in \\mathcal{F}$ with $A\\subseteq X$, then $\\mathcal{F}$ has chromatic number $2$ (in other words, has property B)?","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)"}