14/05、ATP Challenger Oeiras 5, Portugal Men Singlesでの Gastao Elias 対 Henrique Rocha のライブ結果