Live Results of Tan Garret vs Mikolaj Szymanowski on 13/11 in the Irish Open, Singles tournament