Text this: Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams