25/11、ATP Challenger Maia, Portugal Men Singlesでの Gastao Elias 対 Henrique Rocha のライブ結果