Jiri Lehecka def. Adrian Mannarino 7-6(4) 6-4 2-6 6-2, US Open 2025 | DeepCourt