Hasil langsung August Holmgren vs Henrique Rocha pada 02/10 di turnamen ATP Challenger Porto 2, Portugal Men Singles