Similar Items: Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams