This repository is generated from the canonical Vela record. Do not edit by hand. Each witness is re-verified from scratch by the frozen Rust verifier (vela reproduce). The source of truth is the Vela frontier records; this is a published projection for OEIS %H links.
Regenerate: python3 scripts/emit_verified_combinatorics.py