Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams (ArXiv cs.LO Recent Papers, 2026)