The save file isn't encoded there, so you can do it more simply:
Load the save, buy a hero in the location where you want another hero to appear under him, and save. In this second save, just change a couple of bytes. That's it, the hero available for hire will be the one you need. All that's left is to load the modified file again. All the mines will be explored in about 30 seconds.