Round 42 of TCEC Season 10 Superfinal 2017