I'm not that interested as I'd prefer to count each move and prove it that way, but perhaps Peter (orlp) is interested?