Wrong chess studies

[Dirt]

Try using a backward analysis on the proposed line: it shows the above correction.

Syzygy tablebases aren't looking for the fastest mate. I'm not sure what you want be to look for. Peter shows that white can delay mate longer: Syzygy bases are not the appropriate tool for looking at this.