2025-06-30 Explicit Lossless Vertex Expanders