Resultados ao vivo de Mahmoud, Aram vs Douce Lucas em 01/10 no torneio Dutch Open (GP), Singles