The main line, as often seen in life-and-death problems, is this sequence from to .
Here, reduces the number of liberties of the chain to only two, so becomes an atari which nullifies the possible eye at .
13 moves later, does not revive the corner but creates endgame aji.
Reference: Link to game record in GoBase
[1]
AWA's questions about the solution have been moved to /discussion.