Live Results of Lei Lanxi vs Anders Antonsen on 16/07 in the Japan Open, Singles tournament