Difficulty verification at the beginning, actual run starts at 12:25. Almost cut a minute off the last record! With some good RNG, it can go even shorter!