Live uitslagen van Adrian Mannarino tegen Tommy Paul op 12/08 in het ATP Cincinnati, USA Men Singles-toernooi