Xia, Z.-J.; Lee, J.-H.; Koolen, J. H. A New Feasibility Condition for the AT4 Family. Electron. J. Combin. 2023, 30, P2.7.